 0. Suppose -2 = -q - 0*q. Suppose o = -4*n - m + 177, -q*n + 2*m = 6*m - 106. Is n a prime number?
True
Let x(c) = -135*c - 2. Is x(-1) a prime number?
False
Let w(v) = -v**3 + 5*v**2 - 5. Let a(p) = p + 4. Suppose 0*z = 2*z. Let m be a(z). Is w(m) a composite number?
False
Suppose -h = h + 4, 3*c = 2*h + 31. Suppose y - c = -2*y. Is (-67)/((y/(-3))/1) composite?
False
Let k(n) = -n**2 - 17*n - 11. Let h = -32 - -22. Is k(h) prime?
True
Is 4262 - (-4)/4 - (8 + -4) composite?
False
Let o(b) = -b - 3. Let p(j) = j**3 - 5*j**2 - 5*j. Let c be p(6). Suppose -4*q = -5*z - 9, 4*q = 2*z - 0*q - c. Is o(z) a composite number?
False
Let g(j) = 45*j - 1. Let p be g(1). Let i = -23 + p. Is i a composite number?
True
Let h(p) = -2 - 71*p - 8*p + 0. Let y be h(4). Is (-1)/(-2*(-3)/y) a prime number?
True
Let z be ((-75)/9)/((-6)/(-18)). Let o = z + 82. Is o prime?
False
Is 1/((-2)/(-3))*(-1052)/(-6) composite?
False
Let y = -126 + 275. Is y a composite number?
False
Let d(m) = 5*m - 8. Is d(15) prime?
True
Suppose -z = -7*z + 870. Is z composite?
True
Let i = -1 + 1. Suppose i*g + 161 = g. Is g prime?
False
Let c(g) = g**2 - 5*g - 3. Let s be c(5). Let z = s - -5. Let w = 12 - z. Is w composite?
True
Let h(d) = 14*d**2 + 2*d - 61. Is h(-12) a prime number?
True
Suppose s + 2652 = -5*m, 2*m + s + 530 = -532. Is (-6)/4*m/15 a composite number?
False
Let h = -19 - -15. Is (-1)/(h/1040) + -1 composite?
True
Let h = 310 + -171. Is h a composite number?
False
Let b = 446 + 21. Is b composite?
False
Let i be 6*6 + -2 + 1. Let l(p) = -p**3 - p**2 - p + 3. Let z be l(0). Suppose z*w + 2*w = i. Is w a composite number?
False
Suppose -2*k = -4 - 4. Suppose 491 = k*p - 105. Is p prime?
True
Let a = 410 - -105. Is a composite?
True
Suppose 0 = 5*m - 5*d + 785 + 360, 3*m + 4*d + 722 = 0. Let n = m - -361. Is n prime?
True
Let c = -38 - -137. Suppose t + 0*j = 3*j + 22, -5*j = 2*t - c. Is t a composite number?
False
Is (-1369)/((-3)/6*2) a prime number?
False
Let w(i) = 31*i**3 + 4*i**2 - 5*i + 5. Is w(3) composite?
False
Let v(c) = -c**2 - c + 816. Let z be v(0). Suppose 5*t + a - 140 - z = 0, -5*a = -5*t + 950. Is t prime?
True
Let c = 390 - 179. Is c composite?
False
Let p be (6/15)/((-1)/(-10)). Suppose 2*k = -3*s + 8, 3*s + 8 = -2*s + 2*k. Let q = p - s. Is q composite?
True
Suppose -s + 182 = -3*m, 4*m + 728 = 4*s + 2*m. Let z = s - 346. Let g = z + 283. Is g a composite number?
True
Let c be (-15)/(-6)*(-2 - 0). Is 0 + (c + 2 - -70) a composite number?
False
Suppose -5*w + 2659 - 250 = s, -2*w + 2*s + 954 = 0. Is w prime?
False
Suppose 4*o - 2050 = -2*a, 4104 = 4*a + 3*o + o. Is a prime?
False
Let l = 16 - 7. Let c(b) = b**3 - 10*b**2 + 6*b - 6. Let q be c(l). Is 14/(3 - (-93)/q) composite?
True
Suppose -4*q = 528 + 80. Is (-15)/5 + (0 - q) composite?
False
Let l be (-6)/(-27) - (-7)/9. Is (l - (2 - 215)) + -3 a prime number?
True
Let x = -2 - -10. Is -38*(-4)/x + 3 a composite number?
True
Let o = 2 - 8. Let r = -6 - o. Suppose -4*h + 2*v + 70 = r, -3*h + 5*h - 50 = 4*v. Is h prime?
False
Let f be 30/(-4)*8/(-6). Let q = 28 - f. Suppose h = 109 - q. Is h composite?
True
Let b(o) = 3 + 11*o**3 + 3 + 2*o**3 - 5. Let u be b(1). Suppose r = -3*n + 1, -2*r - u = -4*r - 2*n. Is r a prime number?
False
Is 0 + 34 + 12/4 a prime number?
True
Suppose f = 5*t - 424, -4*t - 2*f + 344 = 2*f. Is t composite?
True
Let d(l) = -l**2 + 5*l + 6. Let n be d(6). Let s = n + 0. Suppose 2*r - 3*x - 47 = s, 0*r - 5*x = r - 4. Is r a prime number?
True
Let c(k) = k**3 + 5*k**2 + 2*k + 3. Let z be c(-4). Is (z/2)/((-6)/(-84)) composite?
True
Let w = -499 + 861. Is w a prime number?
False
Suppose -2*w = 3*o - 4*w - 6721, 0 = -4*o + 3*w + 8960. Is o composite?
False
Let w = 6 - 4. Suppose w*c = -0*n + 3*n + 89, 0 = c + 3*n - 22. Is c composite?
False
Let m(s) = -s + 13. Let c be m(10). Let x be (82/(-8))/((-2)/8). Suppose c*d - 25 = x. Is d a prime number?
False
Let u be (4 - 2) + 0/(-1). Let v = 54 - -7. Suppose -u*r + 167 - v = 0. Is r prime?
True
Is ((-2)/(-3) - (-3)/9)*1249 a prime number?
True
Let l = 214 + -74. Let o = l + 76. Let x = 329 - o. Is x composite?
False
Let h = 227 - -302. Is h composite?
True
Let u = 6 - 1. Suppose -c + 39 - u = 0. Is c prime?
False
Let o(n) = -n + 83. Suppose 3*f + 2 = 14. Let z = f + -4. Is o(z) composite?
False
Let o = 23 - 19. Suppose -3*x - o*h = -2917, 2370 + 1486 = 4*x - 3*h. Is x prime?
True
Let h be 1/(-3) - (-32)/6. Suppose -2 = -2*z - p - 2*p, 0 = -h*z + 4*p - 18. Is (z/(-2))/((-3)/(-21)) composite?
False
Let b = -4 - -9. Let c(d) = d**3 - 2*d**2 - 5*d + 3. Is c(b) a prime number?
True
Let c(a) = -a - 2. Let s be c(-6). Suppose -5*r = -4*f + 8 - 879, s*r - 697 = 3*f. Suppose 5*p - r = -0*p. Is p a composite number?
True
Let r(p) = 2*p**2 - p - 7. Is r(-12) prime?
True
Let u = 112 - 59. Is u a prime number?
True
Suppose 0 = -5*c - 7*b + 2*b + 15, 0 = 5*c - 4*b - 15. Is -3 + (-883 + c)/(-2) a composite number?
True
Let m(t) = 2*t**2 + 5*t - 4. Let r be m(-4). Suppose r*p = 3*p + 3*x + 955, 3*p - 2*x - 573 = 0. Is p a prime number?
True
Suppose -5*w - 4*u + 417 = -0*w, 6 = 2*u. Let n = -133 + w. Is n/(-1) + -2 + -1 a prime number?
False
Let h(u) = u**3 - 12*u**2 + 21*u - 7. Let r be h(9). Let b be (-4)/(-10) - (-1176)/10. Let j = b + r. Is j a prime number?
False
Let r = -36 + 9. Suppose -5*l - 166 = 139. Let t = r - l. Is t a composite number?
True
Let k = -212 - -547. Is k a prime number?
False
Is (296 - -3) + (1 - 1) prime?
False
Suppose -2*q = -w + 123, 0 = -3*w - q - 4*q + 325. Let u = 190 + w. Is u composite?
True
Let g be -94*((-1)/(-2) - 1). Suppose 2*r = r + g. Is r a composite number?
False
Is ((-119)/28)/((-3)/36) composite?
True
Let z(j) = 8*j**2 - j + 1. Is z(2) prime?
True
Let j(s) = 2*s + 4 + 151*s - 23*s. Let t be j(3). Suppose 3*h = -5*y + t, -33 = y + 2*h - 116. Is y a composite number?
True
Is (0 + 1)*(-110)/(-2) prime?
False
Let p = 3048 - 2171. Is p composite?
False
Let w(x) = -x**2 - 7*x + 1. Let t be w(-6). Let v(f) = -f**2 + 10*f + 1. Is v(t) a prime number?
False
Let h(p) = -p + 2. Let r be h(2). Suppose r = -3*i + 6*i + 24. Let b(t) = t**3 + 10*t**2 + 11*t + 3. Is b(i) a prime number?
True
Suppose 0 = 2*d + 2*z - 8, -3*d + 2*z - 4 = -4*d. Suppose -5*a + 60 = -a - v, -d*v = 3*a - 26. Is a prime?
False
Suppose t + 0 + 9 = 4*l, 0 = -5*t + 2*l + 27. Suppose 22 = v + t. Suppose -3*f = -v - 180. Is f prime?
False
Let x(b) = -14*b - 5. Is x(-3) a composite number?
False
Let a = 7 + -3. Let u = -1 - a. Is u + 5 - 1*-47 prime?
True
Suppose -2*o + 180 = 3*m, -5*m - 58 = o - 365. Is m prime?
False
Let n be (-4)/(-6) - (-93)/9. Let o(y) = y**3 - 11*y**2 + 6*y - 9. Is o(n) a prime number?
False
Suppose 0 = 5*g - 2*c - 119, 5*g = -3*c + 4*c + 122. Suppose 0*a - 3*a + 15 = 3*f, 4*f = a + g. Is f composite?
True
Let i(k) = -11*k + 4. Suppose -12 - 20 = -4*f. Let s = f - 13. Is i(s) composite?
False
Let z(x) = -2*x**3 - 5*x**2 - 2*x - 3. Let i(h) = -h**3 - 5*h**2 - 2*h + 4. Let a be i(-4). Is z(a) a prime number?
True
Suppose 79 + 181 = 4*r. Is r composite?
True
Let q(p) = -8*p - 1. Let r(k) = -k. Let l(t) = q(t) + 5*r(t). Is l(-2) composite?
True
Let x be (6/(-6))/((-2)/910). Suppose -z + 295 = -3*d, -4*z - 4*d + 640 = -2*z. Let s = x - z. Is s prime?
False
Suppose q = -8*q + 1899. Is q a composite number?
False
Suppose 0 = -21*z + 20*z + 769. Is z composite?
False
Suppose -4*y - 96 = -2*t + y, -51 = -t + y. Is t a prime number?
True
Let o(h) = h. Let t(y) = -y**2 - 4*y - 37. Let n(l) = -2*o(l) - t(l). Is n(0) a prime number?
True
Let v(s) = 9*s**2 + 3*s + 3. Is v(-2) composite?
True
Let o = 134 - 50. Suppose 0 = 2*c - o - 14. Is c a composite number?
True
Let b be (-1 - 3/(-6))*-2. Let h(x) = 432*x**3 - 2*x + 1. Is h(b) composite?
False
Let i be (2/4)/(1/(-4)). Let v(g) = 28*g - 3. Let n(u) = 28*u - 3. Let z(t) = i*n(t) + 3*v(t). Is z(2) prime?
True
Let u(s) = 10*s**2 + 2*s - 7. Is u(3) prime?
True
Suppose 3*j - 2*d - 321 = 0, 2*d - 7 + 1 = 0. Is j prime?
True
Suppose -48*k + 12607 = -41*k. Is k a composite number?
False
Suppose 4*i + 13 = -2*o + 5, -5*i = 5. Is (1 + 21)/o*-2 prime?
False
Let w be ((-1)/3)/(2/(-6)). Let d be (-2)/5 - (-188)/20. Is 3*(w + 24/d) a prime number?
True
Suppose -r - 3*x = 2*x - 26, -5*r + x + 26 = 0. Su