 -19*z**3/6 + 5*z**2 - 2*z. Let m be b(-9). Suppose m = 3*s - 86. Is s a prime number?
True
Let u(l) = 23*l - 11. Is u(6) prime?
True
Suppose -14*y = -4*y - 42010. Is y composite?
False
Suppose -5*v + 21 = 3*r, 2*v - 12 = -2*v. Is (r - -21)*(1 + 6) a composite number?
True
Let o = 6 - 6. Suppose -2*t + 69 + 37 = o. Is t prime?
True
Suppose -2*a - 4*m + 2397 = -a, 0 = 5*a - 4*m - 11961. Is a prime?
True
Suppose -2*q = -g + 2*q + 123, -5*q = -2*g + 240. Is g a composite number?
True
Suppose 3*g + g + 2673 = 3*x, x = -4*g + 875. Is x prime?
True
Let i = -9 + 13. Suppose 0*q + i*q = 52. Is q a composite number?
False
Suppose -3*u + 194 + 207 = 2*j, 403 = 3*u + j. Let d be 0 + 0 + 236/2. Suppose a - d = u. Is a composite?
True
Let v(s) = -38*s - 1. Let y be v(3). Let u = 198 + y. Let i = -48 + u. Is i prime?
False
Suppose -496 + 162 = -2*s. Let a = s - -300. Is a a prime number?
True
Let i be (267/6)/(2/20). Suppose 183 = -2*g + i. Is g prime?
True
Let a = -167 - -93. Is (3 - a)*(1 + 0) composite?
True
Let c be (2/(-6))/(2/(-36)). Let j(m) = -4*m - 7*m**2 + 2*m - 3*m + 2*m**3 - 7. Is j(c) composite?
True
Suppose 0 = -2*z + 4*s + s + 593, 3*z = 3*s + 894. Is z a composite number?
True
Suppose -35 = 3*s - 569. Is s composite?
True
Suppose 2*o + 2*o = 1016. Let n = o - 171. Is n a prime number?
True
Let k(y) = y**2 + 3*y - 4. Let r be k(-5). Let i = -4 + -1. Is (i/(-3))/(r/90) a prime number?
False
Let g(b) be the third derivative of -15*b**4/4 + b**3/6 + 4*b**2. Is g(-1) prime?
False
Let o = 6 - 6. Suppose o = 4*q - 4*w - 196, -7*q - 5*w = -3*q - 196. Is q a prime number?
False
Let i = -5917 + 11540. Is i prime?
True
Let m(u) = -u + 4. Let w be m(3). Let t be 2 + 6*w/2. Suppose -t*y + 5*j + 100 = 0, 0*j = -y - 5*j - 10. Is y a prime number?
False
Suppose 2*g = 8*g - 48. Is (-120 + -1)/(-9 + g) composite?
True
Let d(w) = w**2 + 2*w - 1. Let i be d(6). Let b be ((-118)/4)/((-7)/28). Let m = b - i. Is m a composite number?
False
Let z = -55 - -137. Let x(l) = 2*l**2 - 4*l - 1. Let a be x(3). Suppose -a*b = -z - 13. Is b prime?
True
Let k = -96 - -150. Let h = -22 - -3. Let t = k + h. Is t composite?
True
Suppose -4*h = -3*f - 249, -5*h + 217 = -2*f - 103. Let q = h - 35. Is q prime?
True
Let n = 140 + 58. Suppose -5*x = -n + 73. Is x a composite number?
True
Let k(l) = 7*l + 23. Is k(6) a prime number?
False
Let l = -1 + 4. Let t(u) = u**2 - 4*u + 1. Let g be t(3). Is l/6 + (-133)/g prime?
True
Let g = 23 + -11. Suppose -3*u = u - g, 0 = -4*l - 5*u - 441. Let a = l - -229. Is a prime?
False
Is -3 + 3 + -2 - -61 a composite number?
False
Let n(o) = -2*o - 8. Let u be n(-6). Let h = -7 + u. Is 6/(h*1)*-2 composite?
True
Let o be (-1)/(1/63) - -1. Let s = 67 + 30. Let k = s + o. Is k prime?
False
Let v(f) = -57*f + 22. Let l(i) = -28*i + 11. Let a(x) = 5*l(x) - 2*v(x). Is a(-12) a prime number?
False
Let f = -392 + 254. Let r = -9 + 4. Is (r/15)/(2/f) a prime number?
True
Let z = 23 + -14. Suppose -4*c + 1 = 2*k + z, -4*c = -2*k. Is k*(0 + (-1 - 6)) prime?
False
Is (-35)/14*328/(-10) a prime number?
False
Suppose 2*z = -5*g + 21, 3*z + 3*g - 5 = 4. Let v(o) = -2 + 3 - o + 0. Is v(z) a composite number?
False
Suppose 4*n + 31 = 5*n. Is n a prime number?
True
Let c = 20 + -10. Suppose c = -2*g, -g + 2*g = 2*f + 17. Let p = 46 + f. Is p a prime number?
False
Suppose 0*s + 1495 = s - 2*i, 4483 = 3*s - 4*i. Suppose -d = 5*a - 1739 - 127, -4*a - d = -s. Is a composite?
False
Let a(h) = 50*h**2 - 3*h + 4. Let f(g) = 99*g**2 - 5*g + 7. Let u(c) = -5*a(c) + 3*f(c). Let x be u(1). Let s = -25 + x. Is s a composite number?
False
Let l(c) = 2*c - 6. Let n be l(4). Let s be 101 - (1 - (-2 - -3)). Suppose 0 = -5*d - 2*i + s, 3*d = n*i + 11 + 40. Is d a prime number?
True
Suppose a + 4*t - 85 = 0, t + 27 = a - 63. Suppose 0 = 3*s + 2*o - 6*o - a, 4*o = -5*s + 95. Is s prime?
True
Let u(l) = -2*l**3 - 13*l**2 - 15*l + 1. Is u(-12) a prime number?
False
Let p = 6 - 10. Is (-2)/(-4) + (-54)/p composite?
True
Suppose 5*r = 5*z - 3*z - 533, -4*z = -5*r - 1051. Is z composite?
True
Let o(h) = 3*h - 6 - h**2 + 10*h - 2*h. Let l be o(8). Let a = l + 139. Is a prime?
True
Suppose -f = 5*u - 0*f - 1059, -2*f = 3*u - 641. Is u a composite number?
False
Let c(k) = 33*k - 5. Is c(4) prime?
True
Let v(r) be the second derivative of -9*r**3/2 + r**2/2 - 4*r. Is v(-2) a composite number?
True
Let c(g) = 11*g**3 + 6*g**2 + g + 8. Is c(6) composite?
True
Suppose 39 = 3*i - 3. Let a = -6 + i. Suppose -a*w + 3*w + 298 = 4*b, 0 = 5*w + 10. Is b a prime number?
False
Let i = 12 + -12. Suppose i = -13*v + 12*v + 82. Is v prime?
False
Suppose -3*b + 24 = -7*b. Let r be (b/(-5))/(6/15). Is 1 + (-3)/r + 217 a composite number?
True
Suppose 0 = -3*m + 8*m - 10. Let s = m + 0. Suppose 2*a + a - s = y, -4*a + 66 = 5*y. Is y a composite number?
True
Let j be (7 + -8)/((-2)/4). Suppose -j*y + y + 121 = 4*r, -3*r = y - 119. Is y a composite number?
False
Suppose 3*o + 1391 = 6*o - 4*t, 4*o - t - 1872 = 0. Is o a composite number?
True
Let t(w) = -w**2 + 6*w - 3. Let g be t(5). Let i be (g/(-7))/((-2)/14). Suppose i*f - 64 = 10. Is f a prime number?
True
Let o(d) = 2*d**2 - 4*d + 6. Let b be o(9). Suppose 0 = 2*x + x + 4*f - 141, -3*x + b = f. Suppose -c - 2*k + 9 = 0, 3*c + 6 = -4*k + x. Is c composite?
False
Let d = 713 + -217. Suppose 0 = 3*l + 5*q - d, -476 = -3*l - 0*q - q. Is l prime?
True
Suppose -b + 3*q = -6, -3*b + 5*q + 2 + 8 = 0. Suppose 5*j = -b*j. Let a(m) = m**2 + 11. Is a(j) composite?
False
Let b be 1/(-4) + (-21)/(-4). Let n = -7 + b. Is (-4)/n*(-19)/(-2) a composite number?
False
Suppose -2*z - 4*b + 192 = 0, -z + 467 = 4*z - 3*b. Suppose -w - w + z = 0. Is w composite?
False
Let n(z) = -2*z. Let y be n(2). Let r(c) = -c**3 - 4*c**2 - 2*c - 1. Is r(y) a composite number?
False
Let c be (-45)/(-5)*2/6. Suppose -3*j + 8*j = 5*k - 195, 0 = c*j - 9. Suppose 2*y + 0*y = k. Is y prime?
False
Let j = 2 + -1. Is j*(131 - 0 - 0) a composite number?
False
Suppose 3*l - k = -26, -3*k + 7*k - 55 = 5*l. Let p(d) = 5*d + 1. Let i be p(-6). Let r = l - i. Is r a prime number?
False
Suppose 5*g = 4*g. Suppose g = -m - m + 12. Is 118/m - (-2)/(-3) prime?
True
Let k = -112 - -218. Is k a composite number?
True
Suppose 25 = -4*v - 11. Is 0 + (-5 - -2) - v composite?
True
Let t = 83 - 47. Suppose -t = -4*n - 4. Let q = 5 + n. Is q a composite number?
False
Let b(u) = -14*u + 13. Let d be b(-6). Suppose -3*f - d = -2*l + 43, -l - f = -65. Is l composite?
False
Let z = -17 + 15. Is 0/(z - -3) - -187 prime?
False
Suppose -4*b = b - 45. Suppose 4*x + 0*v - 37 = -5*v, 3*v = -b. Suppose j - q = x, 3*q + 20 = 5*j - 49. Is j prime?
False
Let c = -6 - -10. Let k(j) = 11*j - 1. Is k(c) a composite number?
False
Let t be 6/14 - (-2030)/(-49). Let j = t + 72. Is j a prime number?
True
Suppose -4*a + 26 = 5*o, -4*o + 4 = -4. Suppose a*s - 485 = -s. Is s a composite number?
False
Suppose 4*z = -0*z. Let g be z/(1 - -1) - -14. Suppose -4*v = -g - 26. Is v a composite number?
True
Suppose -z + 1 = 2. Let i be -2 + z + 1 - -6. Suppose 5*y - i*n + 0 = 121, 0 = 5*y + 4*n - 89. Is y composite?
True
Is 2/2 + 3 + 303/1 a prime number?
True
Let i be 21/(-7)*(0 + 1). Let t(j) = -41*j + 4. Is t(i) a composite number?
False
Suppose 0 = s - 0*y + y + 15, 0 = -5*s - 4*y - 74. Let f(g) = -g**3 - 12*g**2 + 10*g + 15. Is f(s) prime?
False
Is (878/2)/((-7)/98*-2) composite?
True
Let s be (-3 + 0)/((-2)/12). Let w be 40/s + (-2)/9. Suppose -w*o + 95 = 3*o. Is o composite?
False
Let o(i) = i**3 + 8*i**2 - 10*i - 4. Let q be o(-9). Suppose q*y - 110 = 25. Suppose 0*h - y = -3*h. Is h prime?
False
Suppose 198 = -5*y + 543. Is y a composite number?
True
Let b = 1 - -3. Suppose r = b*n + 22, 0*n = -2*r + 5*n + 56. Is (0 - r/(-1))/2 a prime number?
True
Let f(d) = -13*d**3 + 2*d**2 + 4*d + 5. Is f(-2) prime?
True
Let j = -3 + 5. Let v(k) = 4*k**j + k**2 - 3*k**2 - 2*k - 2. Is v(3) composite?
True
Suppose -2*h + 5*p = -101, 3*h - p - 117 = -5*p. Let w = -10 + h. Is w a composite number?
True
Let h(g) = -3*g**2 - 8*g + 1. Let l(n) = n**2 + 4*n. Let y(b) = -3*h(b) - 7*l(b). Let p be y(4). Let d = -6 + p. Is d a composite number?
False
Let g be -1 + 4 - (-7 + 2). Suppose -f - g = f. Is f/(0 + 4/(-58)) prime?
False
Let g be 2*2/(-4)*-2. Suppo