z. Is z a prime number?
True
Let x(w) = w + 2. Let p be x(2). Suppose p*v - 2*v = 74. Is v prime?
True
Is (1 + -1)/(2 - 4) + 22229 prime?
True
Suppose -6*s = -5*s + 826. Let g = s - -1205. Is g prime?
True
Suppose 3*a - 3 = -4*m + 8, 2*a - 22 = m. Suppose -4*k = -11 - 1. Let n = a - k. Is n prime?
False
Let d = -4 + 213. Let t = d - 94. Is t a composite number?
True
Suppose -59058 = -2*u + c, 3*u + 27140 = 2*c + 115729. Is u composite?
False
Let l be (-1)/((-4)/16) + 0. Suppose 4*w - 5*w - 4*j = 26, l*j + 50 = -5*w. Let x(m) = -63*m + 11. Is x(w) a composite number?
False
Suppose 0 = -5*y - 41 - 79. Let m(r) = -r**2 - 31*r + 35. Is m(y) prime?
False
Let i = 1315 - -4084. Is i a prime number?
True
Let k(w) = 331*w - 32. Let x(t) = -330*t + 33. Let h(n) = 7*k(n) + 6*x(n). Is h(7) a composite number?
False
Let d = 2573 + -532. Is d composite?
True
Suppose -w - 6436 = -24110. Is w a composite number?
True
Let j be -1 - -4 - 2/(-2). Suppose k + k = j. Suppose 0*y = -k*y + 326. Is y a prime number?
True
Let d(c) = -c**2 - 20*c + 2. Suppose 7 + 1 = w + 5*x, -2*x = -3*w - 61. Is d(w) prime?
True
Suppose 0 = -c + 4*c + 4*v - 270, -276 = -3*c - 2*v. Let j = 93 + c. Is j a composite number?
True
Let q(n) be the third derivative of -n**6/60 - n**5/10 + 3*n**4/8 + 4*n**3/3 - 18*n**2. Is q(-9) a prime number?
False
Suppose 62*k + 25780 = 72*k. Is k composite?
True
Suppose 0 = -3*f - 10 + 28. Is (8/f - -1)*(59 - -34) a prime number?
False
Is (-1614)/(-21) + (-16)/(-112) a prime number?
False
Let s(y) = y + 5. Let u be s(-6). Let r be (u + -3)*10/(-8). Suppose i + 4*z = 169, -4*z + 3*z = r*i - 902. Is i composite?
False
Let u(z) = -z**2 - 11*z + 14. Let j be u(-12). Suppose -5*b + 2*t = -425, 3*b - 224 = j*t - 7*t. Is b a prime number?
True
Suppose -72*p = -46*p - 343954. Is p a prime number?
True
Let r(t) = 434*t**2 - 23*t + 49. Is r(2) a composite number?
True
Let v = 1139 - -2353. Is v/7 - (-13)/91 prime?
True
Let b(s) = 2*s - 6. Let r be b(6). Suppose -r*m + 9*m - 9 = 0. Suppose w - m*w + 254 = 0. Is w a prime number?
True
Let w be (2927 + 4)*(0 - -2). Let m = 10235 - w. Is m a prime number?
True
Let j(z) = 3*z**2 + 3*z + 11. Let d(x) = -x**2 - 15*x - 14. Let k be d(-15). Let m be j(k). Suppose m = 3*p - 4*i, 4*p - 5*i = -3*i + 746. Is p a prime number?
False
Suppose 0 = -2*p + 3*p. Suppose -8 = -a - 2*a + b, p = -5*b + 5. Suppose 4*t + 8 = 0, a*y = t + 653 + 18. Is y a composite number?
False
Let l(z) = -19 + 4*z + 4*z**3 - 22*z + 15*z**2 - 5*z**3. Suppose 0 = -x - 2, 0*r + 2*x - 9 = -r. Is l(r) prime?
False
Is 8 - (18 + -45003)/(0 - -1) a composite number?
True
Suppose 8*b - 721 - 7767 = 0. Is b prime?
True
Suppose -78490 = -16*p + 61974. Is p prime?
True
Let o be (-581475)/50*(-4)/(-6). Let s = o - -14588. Is s a composite number?
True
Let c be (-1 - 3)/(2/12). Let z = c + 26. Suppose 1867 = 4*o + o - l, z*o + 5*l = 736. Is o prime?
True
Let t(v) = 9 - 2 - 81*v + 0 + 4. Suppose d - 16 = 5*x, -3*d = 2*x - 2*d + 12. Is t(x) prime?
False
Suppose 8*o = 24*o - 42032. Is o a prime number?
False
Let v(n) = -587*n + 276. Let s(y) = -147*y + 69. Let d(p) = 9*s(p) - 2*v(p). Is d(-20) prime?
True
Let q = 6052 - 3405. Is q a composite number?
False
Let l(v) = -7*v**3 + 4*v**2 - 9*v + 5. Is l(-9) a composite number?
True
Let n(b) be the second derivative of -3*b**5/20 + 5*b**4/12 + b**3/2 - 9*b**2/2 + 11*b. Is n(-8) a prime number?
True
Let u = 2653 - 1142. Is u a composite number?
False
Let r = 27 + -13. Suppose r*a = 16*a - 178. Is a composite?
False
Is 8 - 9 - 129*-858 a prime number?
True
Suppose 5*c - 1282 = 3*f, 0 = 4*c - 0*f + 3*f - 1031. Is c a composite number?
False
Let k(j) = 89*j + 75. Is k(8) a composite number?
False
Let x = 1832 - -5619. Is x prime?
True
Let t(z) = 3*z**2 - 29*z + 75. Is t(21) a prime number?
False
Suppose -4*y + 16628 = l + l, -4*y + 16648 = -3*l. Is y composite?
False
Suppose 32 = 4*r - 84. Suppose 3*a - 244 = r. Is a composite?
True
Let p = -153 - 369. Let u = 2285 - p. Is u composite?
True
Suppose -4*r + g = -8596, 5*r + 3*g - 10745 = -0*g. Let d = -1476 + r. Is d composite?
False
Is (1740/50 - -4)*55/2 a composite number?
True
Let b = -127 - -109. Let k(t) = 6*t**2 - 5*t + 47. Is k(b) prime?
True
Let k(l) = -23*l**3 - 5*l - 3. Let s = -29 - -27. Is k(s) prime?
True
Let q(b) = 1373*b**2 + 12*b + 41. Is q(-4) prime?
True
Let r(h) = h**2 + 17*h - 14. Let p be r(-18). Suppose 6*w = p*w + 26. Suppose w*f = 8*f + 415. Is f a composite number?
False
Suppose -4*p - 5*q - 5 = -0, -3*q = -3*p + 30. Suppose 0 = -0*c + 5*c + p*x - 510, 16 = -4*x. Is c a composite number?
True
Let c = -25742 - -53305. Is c a composite number?
True
Let n(r) = 2*r - 1. Let x be n(-5). Let k(y) = -23*y + 14. Let j be k(x). Suppose 4*i - s = j, -4*s = -5*i - s + 332. Is i composite?
False
Suppose -8*t - 1126 + 19094 = 0. Suppose 2*k - t = -0*k. Is k a composite number?
False
Suppose 22*i - 23*i + 239 = 0. Suppose -r + 204 = -i. Is r a composite number?
False
Suppose -p = -2*l - 28, 6*l - 2*l + 44 = 5*p. Is 161 + -1 + l + 14 composite?
True
Let h = -1454 - -3147. Is h composite?
False
Let g(s) = s**3 + 4*s**2 - 2*s - 5. Let p be g(-4). Suppose -4117 = -p*t + 4*q, t + 2*t = -4*q + 4085. Is t a prime number?
True
Suppose -h + 6*h + 5*c - 710 = 0, -5*h - 2*c = -725. Is (-27893)/(-7) + 42/h composite?
True
Let r be (-1)/(-2) + 18/4. Suppose 0*g = -3*g + 3*z + 219, -z + 3 = 0. Suppose 4*f = -a - 2, g = 4*a - 0*f - r*f. Is a prime?
False
Let r = 53 - 50. Is 1538 + 1/(-3 - -2)*r prime?
False
Let o(i) = -i**2 - 2*i + 419. Let p(j) = 2*j - 12. Let s be p(6). Is o(s) prime?
True
Let p = 13 + -10. Suppose l + p*l + 12 = 0, 2*l + 1895 = c. Is c a prime number?
True
Suppose 0 = 3*a - 0*a + 72. Let c = a + 28. Suppose -o - 1173 = -c*o. Is o composite?
True
Suppose -4*f - 5*o + 14 = -2*f, -12 = -2*f - 4*o. Let p(w) = -181*w - 59. Let l be p(-1). Suppose 0*u = 2*q + f*u - l, -q + 73 = -2*u. Is q a composite number?
True
Let z(n) = n**3 - 5*n + 3. Let u be z(2). Is u + -2 + (0 - -250) a prime number?
False
Let w(p) = 3*p**3 + 4*p**2 - 2*p + 2. Let c(l) = -3*l**3 - 5*l**2 + 2*l - 3. Let a(s) = -2*c(s) - 3*w(s). Let n be a(2). Is (-3)/24*6*n a prime number?
False
Suppose 1 = 3*z - 2*p - 1, 3*z - 5*p = 14. Is (-407)/z + (-120)/16 + 7 a prime number?
False
Let a(u) = 2*u**3 + 10*u**2 - 4*u - 2. Let j be a(-5). Suppose 13*l + 2665 = j*l. Is l composite?
True
Let v = 49 - 45. Is (16/24)/(v/5106) prime?
False
Let h(a) = -14*a**3 - 12*a**2 + 4*a + 67. Is h(-20) prime?
False
Let a(q) = 21*q**2 - 6*q - 11. Let j be a(8). Suppose -5*h + j = -0*h. Is h a composite number?
False
Let z(h) = h**3 - 16*h**2 - 18*h + 21. Let u be z(17). Suppose 0 = u*q - 6289 + 1725. Is q a composite number?
True
Let g = -228 + 225. Let q(n) = n**2 + 4 + 2 + 8*n**2. Is q(g) prime?
False
Let m(o) = -o**3 + 24*o**2 - 21*o - 43. Let n be m(23). Suppose 11086 = n*l + 4171. Is l composite?
True
Let w(t) = 1978*t**2 + 50*t + 215. Is w(-4) prime?
True
Suppose 0 = 14*w - 15*w + 3071. Is w composite?
True
Let d = 39 + -27. Let w(x) = x**3 - 8*x**2 - 2*x - 4. Let n be w(d). Suppose -5*q - n = -3223. Is q a composite number?
True
Let g(a) = -6*a - 3. Let q be g(-6). Let b = q - -2. Is b composite?
True
Is 2*208524/48*2 composite?
False
Suppose 2*m - 2437 + 271 = 0. Let u = -212 + m. Is u composite?
True
Suppose -27 = 3*x + 6. Let y = x - -19. Is 0 + 1780/y*2 a prime number?
False
Let t(d) = -42*d - 197. Is t(-10) composite?
False
Let w(k) = -15364*k - 525. Is w(-6) composite?
True
Let o be (-23 - -6)*(-1 - -5). Let c = o - -47. Let j = c + 34. Is j composite?
False
Let a(g) = 45*g**2 - 3*g - 9. Let i = -149 - -160. Is a(i) composite?
True
Let p = -11 - -16. Suppose 0 = -0*f - f - 1, -3*b - p = 5*f. Suppose -4*m - m + 165 = b. Is m composite?
True
Let y(m) = m**3 - 5*m**2 + 8*m - 9. Let x be y(4). Let r(v) = 91*v - 4. Is r(x) a prime number?
False
Let o(v) = -v**2 - 9*v - 4. Let a be o(-8). Suppose -7*r + 4*r + 2969 = -a*n, 0 = -3*r - 3*n + 2976. Is r composite?
False
Let r(o) = o**2 + 4*o + 1. Let w be r(-2). Let i be 163 + -2 - (w - 1). Suppose -5*v + 0*l = 2*l - i, 2*v + 4*l = 82. Is v composite?
False
Suppose -2*i + 17 = 3*r, i = -r - 2*i + 8. Suppose -10 = -r*u + 4*u. Suppose 0 = 7*w - u*w + 177. Is w prime?
True
S