l. Is t composite?
False
Let s(d) = -247*d + 10. Is s(-3) prime?
True
Let o = -2 + 1. Let b be o*10*2/4. Let h = 9 + b. Is h prime?
False
Let a(f) = -6*f + 11. Is a(-13) composite?
False
Suppose 132*w - 4143 = 129*w. Is w prime?
True
Suppose -g + 4*g = -2*r - 11, -5*r + 5*g = 40. Let j(k) = 9*k**2 + 3*k - 17. Is j(r) a prime number?
False
Let z be 0 + (-3)/(9/(-12)). Suppose 3 = -z*r - 13. Is ((-33)/(-6))/((-2)/r) composite?
False
Let u be (0 - 87/6)*-4. Suppose u = -3*k + 4*k. Is k composite?
True
Let i(g) = 80*g**2 + 2*g + 3. Let k be i(3). Let a = k + -390. Is a a composite number?
True
Suppose 3*z = m - 2*m + 1160, 0 = -m + 3*z + 1148. Is m a prime number?
False
Suppose 3*d - 2*y - y = -9, 3*y - 9 = -4*d. Suppose d = 4*r + r - 285. Is -2*(-1 + r/(-6)) a prime number?
False
Let j = -1118 + 630. Let z = 699 + j. Is z composite?
False
Let h be -1 - (-2 - (-6)/(-2)). Let x(g) = g**3 - 2*g**2 + 2*g - 3. Is x(h) composite?
False
Let c = -7 + 11. Suppose c*k = -2*z + 250, 3*k - 7*k - 4 = 0. Is z prime?
True
Suppose w - 291 = 392. Let b = w + -390. Is b prime?
True
Is 0 - (-3 - -2)*15 composite?
True
Let h(w) = 3*w**2 - 2*w - 1. Let o be h(-1). Suppose -5*d = 15, -o*q + d = 5*d + 16. Is 7 + 105 - (2 + q) prime?
False
Let a = -42 + 247. Is a prime?
False
Let h(c) = 468*c**3 + c**2 - 2*c + 2. Let v(f) = f**2 + 13*f + 13. Let d be v(-12). Is h(d) prime?
False
Suppose 5*a + 1 - 15 = -3*l, 2*a = l - 1. Is (0 + l - 3) + 23 prime?
True
Suppose 3*x - j - 9 = 2*j, x = -5*j - 27. Is (-148)/(-2)*x/(-4) a prime number?
True
Let g be (-6 - 0)*(-5)/15. Suppose -5*s + 202 = -4*u, 4*s = g*u - 0*u + 158. Is s a prime number?
False
Let c be ((-2)/3)/((-1)/6). Suppose 5*o + 399 = -4*p, -3*p - 5*o + c*o - 313 = 0. Let w = -57 - p. Is w a prime number?
False
Suppose -135 = -2*o + 155. Suppose 4*f = 3*f + o. Is f a prime number?
False
Let u be 0*2/8*2. Let s be -3*(1 + u - 0). Is (-35)/s - (-10)/(-15) a prime number?
True
Is 6/(-4)*(-222)/9 prime?
True
Let b(q) = 213*q + 1. Let g = 5 + -4. Let k be b(g). Suppose -6*v + 2*v = -2*y + k, -5*y + 475 = 2*v. Is y a composite number?
False
Let v(r) = -r**3 + 6*r**2 + 4*r - 6. Let c be v(5). Let u(a) = a**2 - 50. Let w be u(0). Let z = c - w. Is z a composite number?
False
Let o(c) = -c + 1. Let r be o(7). Let p(d) = -d + 13. Is p(r) a composite number?
False
Suppose -3*r - 293 = 3*z - 4*r, -4*r = -z - 94. Let h = z - -197. Let m = h - -20. Is m a prime number?
False
Suppose 4*c = 3*z + 11 + 779, 4*c = -8. Let b = -144 - z. Is b prime?
False
Let c(a) = 70*a**2 - a - 12. Is c(5) a prime number?
True
Let a = -1065 - -2152. Is a composite?
False
Suppose 0*l - 140 = 4*l. Let c = l - -66. Is c a prime number?
True
Let x = -4440 + 6593. Is x a prime number?
True
Let u = -18 - 13. Let l = -5 - u. Is l composite?
True
Let t = -6 - -24. Suppose 4*p - 170 = -t. Suppose 0 = -r + 5*i + p, 0 = -r - 3*i - 2*i + 68. Is r prime?
True
Let j(k) = 21*k**2 - 8*k + 4. Let h be j(5). Is ((-3)/(-9))/(1/h) a composite number?
False
Suppose 7 = 2*j - h - 1, 0 = -5*j + 4*h + 17. Suppose 3*a = -5*w - a + 205, 2*a = j*w - 175. Is w composite?
False
Let r(i) = 70*i - 1. Let k be r(1). Suppose 22 + k = q. Let y = -54 + q. Is y prime?
True
Suppose x - 377 - 438 = 4*p, -412 = 2*p + 4*x. Let o = 61 - p. Is o a composite number?
True
Let l be -6*(21/(-9) + 2). Suppose -2*b - 3*f = -167, 175 = 2*b + l*f + 9. Suppose -5*d + 103 = -b. Is d a prime number?
True
Let t be (2/1)/(6/216). Let c be t/20 + (-2)/(-5). Suppose 108 - 20 = c*b. Is b a prime number?
False
Let m(o) = 30*o**2 - o + 2. Let h be m(-2). Suppose 4*l + 4 = -5*i - 1, 0 = -l + i + 1. Suppose l = 4*x - h - 136. Is x composite?
True
Let t(s) = -s**3 + 5*s**2 - 4*s + 4. Let k be t(4). Suppose 0 = 5*j + r - 13 - 1, k*r + 4 = 0. Is (7/j)/((-1)/(-141)) prime?
False
Let z(n) be the first derivative of -55*n**4/4 + n**2/2 + n - 2. Let r = 1 + -2. Is z(r) prime?
False
Suppose k = -121 - 100. Let w = -58 - k. Is w a prime number?
True
Suppose -u - 3*t + 2 - 10 = 0, 0 = -2*u - 2*t. Let d(c) = 2*c**2 - c + 2. Let r be d(6). Suppose r = -u*k + 6*k. Is k composite?
True
Suppose -391 = -2*u - 5*w, 3*u + 2*w - 603 = -0*u. Is u composite?
True
Suppose 0 = m - 2*m. Suppose -7*v + 3*v + 340 = m. Is v a prime number?
False
Suppose 4*m - 2*m = 134. Is m a composite number?
False
Let x = 25 - -59. Suppose 5*s = 3*r + 104 + 1, 4*r = 4*s - x. Is s a composite number?
True
Let k(q) = q**2 + 3*q**3 + 3*q - 2*q**3 - 2 - 2*q. Let s be k(0). Is (s/3)/(12/(-234)) prime?
True
Is (-2)/(-4) + 11720/16 a composite number?
False
Suppose 3*k = 0, 2*m - 52 = 2*k - 4*k. Is m prime?
False
Is 6/4 + -2 + (-5038)/(-4) a composite number?
False
Let w(u) = u**3 + u + 1. Let l(g) = 3*g**3 + g + 331. Let c(s) = l(s) - 2*w(s). Is c(0) composite?
True
Suppose -8*v = -7*v - 1151. Is v prime?
True
Let t = -283 + 662. Is t a composite number?
False
Is (307*-1)/((5 - 4) + -2) a composite number?
False
Let m(t) = t**3 - 8*t**2 + 6*t + 7. Let b be m(7). Is 60 + (2 - (3 + b)) prime?
True
Let r(t) = 2*t**2 - 4*t + 6. Let a be r(7). Let k = a + -21. Is k a prime number?
False
Suppose 0 = 3*y + 298 - 2665. Let t = y + -38. Is t prime?
True
Let j(h) = 16*h - 2. Let b be j(4). Let v = b + 23. Is v a composite number?
True
Suppose 1746 = 11*c - 5*c. Is c a composite number?
True
Let u(g) = -112*g - 1. Let h be (-6)/((-3)/(-3) - -1). Is u(h) a composite number?
True
Let k(j) = -2*j**3 - 4*j**2 + 6*j + 7. Suppose 4*a = 2*a - 12. Is k(a) a composite number?
True
Is (-1032)/(-10) + (-2)/10 a composite number?
False
Let t be 485*1/3*-6. Let l be t/(-14) + 2/(-7). Let s = -34 + l. Is s a composite number?
True
Suppose 0 = -2*q + 4*q - 24. Let o be 39/q - (-2)/(-8). Suppose 152 = o*w - 49. Is w composite?
False
Suppose 3*h + 120 = 5*h. Is 62/3*h/8 composite?
True
Suppose 2*t + 2*t - 836 = 0. Suppose -3 - t = -4*v. Is v prime?
True
Let f(x) = -17*x**3 - x**2 - 18*x + 5. Is f(-5) a composite number?
True
Suppose 5*v - 4 = 26. Let w = -2 - -2. Suppose 4*p - 66 = 2*d, w = p + 3*d - 8*d + v. Is p a prime number?
True
Suppose 4*w - 219 = -667. Let x be w/(-20) - (-3)/(-5). Suppose d = 3*v + 25 + 67, 400 = x*d - 3*v. Is d a prime number?
False
Let j(y) = -y + 6. Let k be j(4). Suppose 0 = d + 7*g - k*g - 111, 2*d + 5*g = 222. Is d prime?
False
Let r = -23 - -321. Is r a composite number?
True
Let g(p) be the third derivative of -1/24*p**4 - 3*p**2 + 0*p + 0 + 5/2*p**3. Is g(0) prime?
False
Suppose -11*t - 335 = -12*t. Is t a composite number?
True
Is (3 - 1)/(4/70) composite?
True
Suppose -3*s - 110 = -2*o, -2*s + 3*s - 118 = -2*o. Suppose -o = -2*k - 8. Is k a prime number?
False
Suppose r = -r - 12. Let b(d) = 3*d**2 + 4*d + 5. Is b(r) a prime number?
True
Let l(h) = 314*h + 1. Is l(2) a composite number?
True
Let l(a) = -10*a - 2. Let d be (5/(-2) + 1)*2. Let u be l(d). Suppose 2*j = 5*f + u, -j = -2*j - 2*f + 23. Is j a composite number?
False
Suppose 0 = 5*g + 25, -5*w + 0*w + 5*g = -8490. Is w prime?
True
Suppose 5*k + 143 = 2*i + 26, i - 56 = 3*k. Is i a prime number?
True
Let n = -1942 + 3539. Is n composite?
False
Let i(z) = z**3 - 7*z**2 + 7*z - 3. Let k be i(6). Suppose 436 = a + k*a. Is a a prime number?
True
Let q(k) = -k + 3. Let y be q(0). Suppose -y*b - 166 = -5*b. Let h = b - -44. Is h a composite number?
False
Let m = -2 + 6. Suppose m*h - 97 = 115. Is h composite?
False
Is ((-104)/16)/(2/(-28)) a prime number?
False
Is (-115)/46*(-2994)/5 composite?
True
Let k(y) = 6*y - 3*y**3 - 2 - 4*y + 0 + 3 - 2*y**2. Let q(p) = -p**3 - 4*p**2 + 6*p + 3. Let c be q(-5). Is k(c) a prime number?
True
Suppose 20 = 3*z + z - p, -3*p + 12 = 0. Suppose -z*b + 1085 = -b. Suppose -5*m + 0*q + q + 264 = 0, 5*q = -4*m + b. Is m prime?
True
Suppose 4*c + 1069 = 4*b - 2563, 3617 = 4*b + c. Is b a composite number?
True
Suppose 0 = 3*z - 3 - 3. Let m be (-24)/20*(-5)/z. Suppose -d - 46 = -m*d. Is d composite?
False
Let x(g) = -g**3 + 9*g**2 + 2*g - 13. Let m be x(9). Suppose m*q - 813 = 2*k, -3*q + 2*k + 600 = 113. Is q composite?
False
Let l = 1556 - 1015. Is l prime?
True
Let u = 402 - 191. Is u a prime number?
True
Let i = -104 + 54. Let y = 97 + i. Is y a composite number?
False
Suppose -2*k = -0*k - 10. Let i(q) = -2 - 8*q + 4 - k. Is i(-5) a prime number?
True
Is (191/(