6*2/4)/(-3)). Suppose -1884 = -7*m - z. Is m composite?
False
Suppose -963 = 8*f - 8619. Is -5*(-4)/60*f composite?
True
Let c = -21 - -5. Let m be (-66236)/c - (-2)/8. Suppose -4*u + 5*u - 5*q = 1360, -3*u + 3*q = -m. Is u prime?
False
Let f(k) = 3*k. Let w be f(-2). Let s = w + 9. Suppose -s*t - 102 = -3*h, 3*t = h + t - 37. Is h a prime number?
True
Let y = 468 + -1106. Let x = -243 - y. Is x composite?
True
Suppose -27*f = -29*f + 18226. Is f composite?
True
Let h = -1 + 5. Suppose 2*s + 16 = 4*n, 0 = -4*n - 5*s + 25 + 5. Suppose 488 = 4*m - n*j, 2*m - 378 = h*j - 140. Is m composite?
False
Let o(z) = 3*z + 14. Let g be o(-5). Let k = g + 8. Suppose -k*s + 1450 = -76. Is s a prime number?
False
Let f be (-280)/(-42) - (-1)/3. Suppose 0 = f*p - 4758 - 989. Is p composite?
False
Suppose -9*h - 6761 = -10*h. Is h composite?
False
Let y(k) = -5*k - 2 + 1 - 141*k**3 + 0*k + 4*k. Let o be y(-1). Suppose -3*t = -2*t - o. Is t a prime number?
False
Let k(g) = -28*g - 29*g - 7 - 2 - 7*g. Let x = 4 - 15. Is k(x) a composite number?
True
Let y(g) = -g**2 + 4*g - 4. Let o be y(4). Is (844/6)/(o/(-6)) prime?
True
Suppose 0 = 3*h - 71 - 40. Let p be h + -1*(-4 - -8). Suppose 3*k - 317 = 4*n, 5*k - n - p = 518. Is k prime?
False
Suppose 5*s = 3*o - 0*o + 62842, -o = -2*s + 25137. Is s a composite number?
False
Let a be (2 - -6)*4 - 1. Suppose 5*r + 15 = -2*w, 5*r + 19 + a = 5*w. Suppose w*d = 8*d - 3297. Is d composite?
True
Let s(w) = 18811*w - 83. Is s(4) a prime number?
True
Let p be (746/8)/((-4)/32). Suppose -2*k - 6 = 18. Is p/k + 7/(-42) a prime number?
False
Let t(u) = -2*u**2 - 20*u + 3779. Is t(0) a composite number?
False
Let h(x) = -x**2 + 2*x + 11. Let d be h(4). Suppose 0 = -d*w - w - 16, 4*w - 2379 = -5*t. Is t a prime number?
True
Let r(k) = -14*k**3 - k**2 - k - 23. Is r(-9) a prime number?
True
Let x(b) = -b**2 + 18*b + 50207. Is x(0) composite?
False
Suppose 5*z + 6 = 8*z. Suppose z*i - 5*i + 6 = 0. Suppose -5*x + 63 = -i*x. Is x composite?
True
Let i(q) be the second derivative of q**4/12 - 3*q**2/2 - 2*q. Let d be i(2). Is d/(2 + 169/(-85)) prime?
False
Suppose 41*f - 521355 = 154940. Is f a prime number?
False
Let d be 0/((8 + -3 - -1)/(-2)). Let w be 39/(-2)*(-40)/2. Suppose -a = 3*t - w - 29, d = 3*a + t - 1289. Is a prime?
True
Let d = 74994 + -34777. Is d composite?
True
Is 5902 - -1*(-4 - (-8 - -3)) prime?
True
Suppose 3 = -0*q - q, -2*p + 5*q + 23 = 0. Suppose p*j + 256 - 2788 = 0. Is j composite?
True
Is 64 - -32702 - (-10)/4*2 prime?
True
Suppose -4*n - 4*q + 15764 = 0, -5980 - 5847 = -3*n - q. Is n a prime number?
True
Let l = -57 - -37. Is ((-2)/10 - 19064/l)/1 prime?
True
Suppose -b = -6*b. Let c(j) = -j**2 + 1. Let v(q) = -q**3 - 5*q**2 - q + 59. Let p(m) = -6*c(m) + v(m). Is p(b) a composite number?
False
Let y = 32 - 22. Let h = -22 + y. Let g(c) = c**3 + 12*c**2 - 2*c - 1. Is g(h) prime?
True
Let m(v) = 66*v**3 + v**2 - 5*v - 3. Let c be m(-3). Is 9/(36/(-16)) - c a prime number?
False
Let x(j) = 2*j**3 + 5*j**2 - 6*j + 11. Suppose 12 = 2*m - 0*m. Suppose d = m*d - 30. Is x(d) prime?
True
Suppose 0 = 3*b + 9, 22*p - 18*p - 41236 = 4*b. Is p composite?
True
Let u = -338 - -479. Let s = -76 + u. Is s prime?
False
Suppose -4*f - 5940 = 4*u, 4*f - 2*u + 3*u + 5955 = 0. Let o = f - -2828. Suppose -5*r = r - o. Is r a prime number?
True
Let w = 2360 - 3654. Is (32/16)/(4/(-6)) - w a prime number?
True
Let u(z) be the second derivative of 31*z**4/12 - z**3/2 + z**2/2 - z. Is u(4) prime?
False
Let k be (2/(-3) + (-116)/12)*-132. Let u = 969 + k. Is u prime?
True
Let w = -4 + 7. Suppose w*z + 4 = z - 4*a, -29 = -5*z + 3*a. Is (-3)/(((-36)/111)/z) prime?
True
Suppose 3*s - 1514 = -2*l + 2265, -6 = 3*l. Is s a prime number?
False
Let o(h) = h**3 + 20*h**2 + 8*h - 22. Is o(-14) prime?
False
Let u(b) = 3164*b**2 - 3*b - 91. Is u(8) a prime number?
True
Let d = 13 - 8. Suppose -3*j = 5*v + 662 - 2875, -d*j + 2205 = 5*v. Is v a composite number?
True
Let s = -1395 + 1410. Suppose 171 - 42 = 3*c. Let m = c + s. Is m a composite number?
True
Suppose -6459 = 10*c - 31049. Is c a composite number?
False
Let w(h) = -23*h - 53. Let y be w(-19). Let j = y + 4747. Is j a composite number?
True
Is (-24)/(-16)*((-45633)/(-9) + 1) prime?
True
Let l(p) = 6*p - 1. Let s be l(1). Suppose -4*w - 48 = 4*g, s*w = 2*g - 9 - 23. Let c(f) = -f**3 - 8*f**2 - 3*f - 2. Is c(w) a prime number?
False
Is ((-168)/(-96))/(1/(-25478))*-2 a prime number?
False
Suppose -2*j = -67377 + 441. Is j/(-2)*2/(-12) prime?
True
Let o = -1215 + 1718. Let d = -118 + o. Suppose -d = -0*x - 5*x. Is x a prime number?
False
Suppose 0*d = 2*d - 120. Suppose d = 3*t - 297. Is t a composite number?
True
Let l(j) = 5*j**3 - 6*j**2 - j - 4. Let h be l(5). Suppose 5*u - 452 = -3*o + 134, 4*u + o = h. Let m = u - 69. Is m composite?
False
Let s(y) = -59*y - 69*y + 3 + 18*y. Let r = 705 + -707. Is s(r) composite?
False
Let s = 14 + -9. Suppose -j + s*f = -206, j - 98 - 114 = 3*f. Is j a composite number?
True
Let h(b) = 4*b - 14. Let q be (0 + 1)/(2/(-22)). Let v be h(q). Let s = v - -249. Is s prime?
True
Suppose -23*l = -108882 - 259877. Is l a prime number?
True
Suppose -3*z - 384 = 192. Let n = z - -449. Is n a prime number?
True
Let d(i) = 1 + 4*i - i - i**2 - 5*i + 7*i. Let v be d(4). Suppose m + 2924 = v*m. Is m composite?
True
Let k be (5/(-10))/(2/(-12740)). Suppose -c - 2*c - t + k = 0, 6 = 3*t. Is c composite?
False
Let h = -813 + 13192. Is h prime?
True
Suppose 347*p + 1575321 = 358*p. Is p a prime number?
False
Let r(f) = 28*f**3 - 10*f**2 + 22*f - 71. Is r(7) a prime number?
False
Let z be 81/5 + (-2)/10. Is 6106/26 + z/104 composite?
True
Suppose -19*u + 2*u = -25483. Is u prime?
True
Let h(y) = -y**2 + 17*y + 37. Let n = -45 - -60. Is h(n) a prime number?
True
Let r be -1 + 2 + -2 - -5. Let k(j) = 2*j**2 - 2*j + 2. Let h be k(r). Suppose 0 = -3*q - g + 19, 3*q - h + 6 = -2*g. Is q a composite number?
True
Suppose -4391 = -11*l + 3056. Is l a composite number?
False
Let a = -26 - -47. Suppose -5*t = -3*f, -5*f + 2*f = 2*t - a. Suppose 2*h - 949 = -5*s, 2*s - 198 - 175 = -t*h. Is s composite?
False
Is (-54 + 50)*26054/(-8) prime?
False
Let t(x) = 192*x**2 + 47*x - 4. Is t(9) a prime number?
True
Suppose 0 = 374*b - 361*b - 390377. Is b a prime number?
True
Let q be 2/11 + (-220)/(-121). Suppose q*z + 8 = 6. Is (-4 - 892/z) + 1 prime?
False
Is (-5)/1 + 87*9 composite?
True
Let j(s) = -24*s + 11. Let d be j(-12). Suppose -5*m = -0*m - 5*p - 730, -730 = -5*m - 4*p. Suppose 5*g - m = d. Is g a composite number?
False
Suppose -6 = -3*b + 3, -l - 5*b = -181. Is l composite?
True
Let h(i) = 16*i**3 - 13*i**2 + 12*i - 5. Is h(8) composite?
False
Suppose 3048 = 3*i - 3*y, i - 4*y + 5*y = 1026. Suppose 3*t - i = -142. Is t a prime number?
True
Suppose 137*y = 138*y - 6547. Is y a composite number?
False
Let h be (2/(-6))/((-6)/90). Suppose 0*c + h*w + 786 = c, 5*c - 3959 = -4*w. Is c composite?
True
Let b be ((-4)/(-5))/(12/30). Suppose -b*k = 3*o - 5*k - 12, 2*k + 11 = 5*o. Is -1*(-37 - 0/o) a composite number?
False
Suppose 0 = -17*i + 14*i + 7287. Is i a prime number?
False
Let f(n) be the second derivative of -n**5/20 - 2*n**4/3 + 5*n**3/6 + 5*n**2 + 20*n. Let y = 0 - 9. Is f(y) prime?
False
Let j = 677 + 4452. Is j composite?
True
Let f = 861 - 394. Is f prime?
True
Suppose i - 2*i + 3 = 2*h, -4*h + 5*i = -13. Let t(x) = 9*x**3 + 0*x - 2*x + 3 + 3*x**3. Is t(h) a prime number?
False
Is (-148)/(-185) + 97962/10 a prime number?
False
Suppose -5*b + 18 - 3 = -5*h, -h - b = -5. Suppose -5*l + 6*l = -h. Is ((-83)/(-2))/(l/(-2)) a prime number?
True
Let v = -39 - -57. Suppose 0 = 23*i - v*i - 5095. Is i a composite number?
False
Suppose 3*b = w - 0*b + 16, 2*w + 12 = b. Let s = w - -3. Is (-1)/s - (-88)/4 prime?
True
Suppose 2403*n - 2399*n = 4348. Is n a composite number?
False
Suppose -4*f + 336 = -0*f. Let m(n) = -14*n + f*n + 8*n + 6*n + 1. Is m(3) composite?
True
Suppose -102 = -3*z + 5*z. Let v = 77 + z. Suppose 63 + v = m. Is m prime?
True
Let r(k) = 6*k**2 - 24*k + 29. Suppose -x = 4*x - 2*f - 35, 0 = 4*x + 3*f - 51. Is r(x) a prime number?
False
Let l(n) = -n**3 - 3*n**2 + 7*n + 14. Let r be l(-4). Suppose 0 = r*q + 2772 - 12686. Is q a prime number?
True
Let k(x) = x*