. Let c be l(4). Let m(t) = 14*t - 3. Let v be m(c). Suppose -4*u + 4*b = -112, 10 = 3*u + 4*b - v. Is u prime?
True
Suppose -4*h = -7*h + 105. Is h a composite number?
True
Let v(o) = 3*o + 18 + 2*o - 4*o. Let t(p) = -p - 18. Let b(r) = -5*t(r) - 4*v(r). Is b(-8) composite?
True
Let f(d) = d**3 + 8*d**2 + d + 7. Let w(c) = -2*c**3 - 16*c**2 - 3*c - 13. Let q(m) = 5*f(m) + 2*w(m). Is q(-7) prime?
False
Is (-6)/(-12)*8 - -817 a composite number?
False
Suppose -35 = -5*r + 5*f, -5*f - 21 + 0 = 2*r. Suppose -5*x + 1967 = -r*s, 5*s - 407 = -x + 2*s. Is x a composite number?
True
Suppose -3*n + 5*z + 0*z = -6846, 0 = -n - 5*z + 2302. Is n prime?
True
Suppose 2*y = 4*y + 12. Is (-3576)/y*2/8 a composite number?
False
Let z(s) = 113*s + 27. Is z(4) composite?
False
Let z = -2 - -2. Suppose -93 = -z*h - 3*h. Is h prime?
True
Suppose -c - 2*c + 1041 = 0. Is c prime?
True
Let o(p) = 5*p**2 - p. Let t be o(-1). Suppose -l = -t*l. Suppose -2*y = -l*y - 124. Is y composite?
True
Let f be 8/20 + (-46)/(-10). Suppose -6 = -f*k + 14. Suppose -3*o = -k*g + 2*o + 173, -101 = -3*g - 2*o. Is g composite?
False
Suppose -626 + 2511 = 5*c. Is c prime?
False
Let r(o) = o + 1. Let y(n) = 5*n**2 + 7*n + 4. Let p(l) = -5*r(l) + y(l). Is p(-2) composite?
True
Let k = 201 - 118. Is k a prime number?
True
Suppose -3*v - 2782 = -5*g, -2*g - 323 + 1440 = 3*v. Is g a prime number?
True
Suppose -2*u = 2*u - 8. Suppose 23 = 4*j - f, 2*j + 0*f - 13 = f. Suppose -j*s - 227 = -u*t, -2*t + s = t - 334. Is t prime?
False
Let k(n) = -n**2 + 7*n + 2. Let y be k(7). Suppose 0 = 3*o - y*o - 185. Is o a composite number?
True
Let x(o) = -6*o**3 - 8*o**2 + 2*o - 5. Let j(l) = -13*l**3 - 15*l**2 + 3*l - 9. Let p(r) = 4*j(r) - 7*x(r). Is p(-3) a composite number?
False
Let t = 3 - 2. Is t - (-1 + 1) - -148 a prime number?
True
Suppose -12*a + 8*a + 5540 = 0. Is a a prime number?
False
Let d = -200 + 134. Let x = 305 - 142. Let r = x + d. Is r a prime number?
True
Suppose 14 = 5*i - 41. Let y(j) = -j - 1. Let s(v) = 2*v + 29. Let c(b) = s(b) + 3*y(b). Is c(i) a composite number?
True
Let o = 7784 - 5079. Is o prime?
False
Let f be 10/4*6/(-3). Let x = f - -8. Suppose 0*s = -x*s + 66. Is s a composite number?
True
Suppose -5*o + 569 = 2*v, o = 3*v + 70 + 37. Is o a prime number?
True
Let i(x) = 3*x**2 + x + 2. Let g be i(-2). Is 123/g - 2/8 a prime number?
False
Let p(y) = -y**3 - 2*y**2 + 3*y + 3. Let o be p(-2). Let n(j) = j**3 + 2*j**2 - 2*j - 3. Let t be n(o). Is 26 - (-1 + t/(-3)) a composite number?
True
Let a = 353 + -211. Is a prime?
False
Suppose a = 2*a - 5. Let u = 5 + -7. Is a*25 + -2 + u a composite number?
True
Is 2 + 2*(3 + (-1628)/(-8)) composite?
True
Let b = 112 + -45. Is b a composite number?
False
Suppose -5296 = -2*b - 6*b. Is b a composite number?
True
Let q be (-11)/(-22) + 13/2. Let z(y) = 2*y**3 - 8*y**2 - 10*y - 1. Is z(q) a composite number?
False
Is (-4 + 1 + (-4)/1)*-263 a composite number?
True
Suppose 2*q - h = 4, 4*h = 4*q - 2*q - 10. Suppose -q = 5*u - 11. Suppose s = l - u*s - 26, -l - 4 = 3*s. Is l a prime number?
True
Suppose -y + 27 = -3*n + 5, -n + 46 = 5*y. Suppose -31 = -2*g - 4*i - 1, g - 3*i + y = 0. Suppose -g*d + 40 = -65. Is d composite?
True
Suppose 0 = 5*d + 98 - 38. Is (-1328)/d + (-1)/(-3) a prime number?
False
Let z(n) = 10*n**2 + 8*n - 3. Let w(s) = -20*s**2 - 17*s + 7. Let d(p) = 4*w(p) + 9*z(p). Suppose -3 = -2*c + 3. Is d(c) composite?
False
Let y(u) = 2*u**2 + 21*u - 13. Is y(14) a composite number?
False
Let a be (-4)/(-14) + (-506)/7. Let s = -35 - a. Is s a prime number?
True
Let m = -80 + 373. Is m a prime number?
True
Let l(s) = s**2 - s. Let u be l(-2). Let w(p) = -p**3 + 9*p**2 - 3*p - 1. Is w(u) prime?
True
Let k be (0 + -1)*(5 - 3). Let u be 77/1*(-1 - k). Let x = 110 + u. Is x a composite number?
True
Suppose -5*x = 5*a - a - 2653, 0 = 3*x - 4*a - 1611. Let u = 5 + -3. Suppose 3*v = -u*v + 3*c + x, 347 = 3*v + 5*c. Is v a prime number?
True
Let a be 6/27 - 331/(-9). Suppose -4*p + v = 43, -7*p - a = -3*p + v. Is 0 - p - (1 + -2) a composite number?
False
Let o(b) = -b**3 + 3*b + 3. Let z be o(-2). Suppose x = z*h + 380, -2*x = -h - 3*h - 304. Let w = h - -173. Is w a composite number?
False
Let f = -27 + 45. Let q = -67 + 138. Let a = q - f. Is a a prime number?
True
Let r be 9/(-6)*(-8 + 2). Let k be (-31224)/(-54) + (-2)/r. Suppose 55 = 3*n - k. Is n a prime number?
True
Suppose -3*d + 4 + 8 = 0. Suppose 2*q + 4*z + 102 = 7*q, d*q = -2*z + 92. Is q a composite number?
True
Is 2361/7 - ((-36)/(-28) + -1) prime?
True
Let l(p) = 25*p**2 - 4*p + 4. Is l(3) a prime number?
False
Let w(n) = -n**2 - 5*n + 2. Let j(s) = s**2 + s - 5. Let y be j(0). Let r be w(y). Suppose 275 = 3*x + r*x. Is x a prime number?
False
Let x(v) = -v**3 + 4*v**2 - 2*v - 3. Let w be x(3). Suppose w = g + 6 - 53. Is g a prime number?
True
Let u(p) = p**2 + 13*p - 11. Let v be u(-14). Suppose v*x = 82 + 65. Is x prime?
False
Suppose -p + 12 = 3*p. Suppose -p*u + 390 = -198. Let h = u + -69. Is h a prime number?
True
Suppose v + 4*t - 20 = 0, -4*v = 2*t - 33 - 5. Let f(l) = -l + 9. Let m be f(v). Suppose 0 = -i + r + 11, -5*r = -i - r - m. Is i prime?
False
Let r be -2*2*(-63)/28. Suppose 14*c - r*c = 3175. Is c a composite number?
True
Suppose 5*m + 2*a - 16 = 0, 0*a - 11 = -4*m - a. Suppose 3*h = -0*t + t + 9, -5*t - 2*h = -6. Suppose m*f - f - 4 = t. Is f a composite number?
True
Let v(r) = -r**2 + 11*r + 3. Let n be v(12). Let h be (3/n)/(2/(-606)). Let t = h + -48. Is t a composite number?
False
Suppose -6*i = -3*n - 4*i + 477, 3*n + 4*i - 459 = 0. Is n prime?
True
Let o(t) = 6*t**3 - t**2 - t + 1. Suppose 4*z = d + 18, 12 + 7 = -3*d + 5*z. Is o(d) prime?
True
Suppose 8*z = 9*z - 166. Is z prime?
False
Is 2*(-2)/(-4) + 6944/8 a prime number?
False
Suppose 3*v + 12 - 123 = 0. Is v composite?
False
Suppose 28 = 5*f - 122. Suppose 2*l = b - 49, -l + 245 = 5*b + 2*l. Let d = b - f. Is d composite?
False
Suppose -532 = -3*a - v + 4158, -5*v = 2*a - 3131. Is a composite?
True
Let k = 21 - 15. Is (-2 - -21)/(2/k) prime?
False
Let u(q) = -q**2 + 9*q + 8. Let o be u(10). Is ((-4)/(-12))/(o/(-762)) composite?
False
Let z be (-4 + 2)/(4/(-766)). Suppose -3*t + 4*l + 413 = 0, -4*t + 7*t = -2*l + z. Is t a prime number?
True
Let d(f) = f**2 - 2*f - 3. Let a be d(4). Suppose -r = 2*x - 0*x - 134, 3*x - a*r = 227. Is x a prime number?
False
Let a = 12 + -22. Let w(f) be the second derivative of -f**5/20 - 3*f**4/4 - 5*f**3/3 + 3*f**2/2 + f. Is w(a) composite?
True
Suppose -2*n + 18 = -4*n. Let q be (6/n)/(2/(-6)). Suppose 3*m - q*y - 59 = 0, -71 = -4*m - 6*y + y. Is m a prime number?
True
Suppose 1 + 8 = -3*u, -5*s + 4*u + 177 = 0. Is s a prime number?
False
Let t(v) = 2*v**2 + 7*v + 5. Let s be t(-4). Let d = -7 + s. Suppose -d*a = 4*q - 30 - 44, 2*a - 74 = 4*q. Is a composite?
False
Suppose 2*l - 272 - 230 = 0. Is l prime?
True
Let h be 9/2 - 6/4. Suppose h*d + 119 = g, 5*g - 969 = d - 304. Is g prime?
False
Suppose l = 3*l - 4. Let t be 467/l - (-4)/8. Is 6/(-15) - t/(-10) a prime number?
True
Let d = 3 + -1. Let o be (1*d)/((-4)/(-8)). Suppose 0 = -3*v - 2*y + 145, 7*v + 5*y = o*v + 133. Is v prime?
False
Let x(n) = -17*n + 13. Is x(-8) a composite number?
False
Suppose 2*d + 3 = 13. Let i = 258 - 178. Suppose -5*w + 60 = 5*s + 10, 5*s = d*w + i. Is s a prime number?
True
Let p be -3 - (2 - (-2 - -3)). Let b(w) = -31*w - 5. Is b(p) composite?
True
Let z(a) = -a**2 + 12*a + 19. Is z(10) a composite number?
True
Let t(l) = -37*l**3 - l. Let q be t(1). Let w = 135 + q. Is w composite?
False
Let m(t) be the third derivative of t**5/60 - 5*t**3/6 + t**2. Let a be m(0). Let u = 80 - a. Is u a prime number?
False
Suppose 3*k + 116 = -1. Let z = k - -85. Is z a composite number?
True
Let t be ((-556)/(-6))/(2/27). Suppose -4*p + 2*p = 5*s - t, 3*s - 761 = 4*p. Is s prime?
True
Let u(o) be the first derivative of 5*o**3/3 + 2*o**2 + 4*o - 2. Let s be 70/(-22) - (-4)/22. Is u(s) a prime number?
True
Let n = -2 - 4. Let s = -4 - -7. Is (s/n)/((-2)/152) composite?
True
Let a = 2675 + -1908. Is a prime?
False
Let c(v) = 33*v**2 - 2*v - 1. Is c(2) a prime number?
True
Suppose 2*g - 125 = 399. Is g a composite number?
True
Is (-2)/(-1)*5755/10 composite?
False
Let u(z) = 65*z*