. Is k a prime number?
True
Let l(z) = -z - 13. Let d be l(-7). Is (-2)/(d/141 + 0) a composite number?
False
Suppose -2*b = 4*k - 46, 2*b - 2*k = -5*k + 42. Let v = b + -6. Suppose -3*c + v + 0 = 0. Is c composite?
False
Let i(p) = -2*p - 7. Let x be i(-6). Suppose 5*d - 51 = -5*s - 6, 3*s = x*d - 13. Suppose -d*y + 501 = 4*h, 0 = -y + 3*y + 2*h - 202. Is y a composite number?
False
Let i = 152 - 76. Let w = i + -39. Is w a prime number?
True
Let c(t) = t**3 + t**2 + t + 5. Let w be c(0). Suppose -d + 5 = 2*i, -8 = -5*i + d - w*d. Suppose i*u + u = 445. Is u a composite number?
False
Is ((-4)/2)/((-8)/956) prime?
True
Is 9738/(-54)*(-1 + -2) a composite number?
False
Let w be (-21)/14*2/(-3). Let v = w - -4. Suppose j + 5*u - 19 = -8, 3*j - 33 = -v*u. Is j composite?
False
Let u(a) = 159*a - 13. Is u(8) composite?
False
Suppose 23361 = 3*s + 10*s. Is s a prime number?
False
Let a be -1 + 1 - (9 + -9). Suppose -5*u - 4*y = -u - 260, a = -2*u + 5*y + 109. Is u a composite number?
True
Suppose -10 = -m + 23. Let b = 15 + m. Suppose y = 2*c + 41, -5*c = 3*y - 53 - b. Is y a composite number?
False
Let h(i) = -4*i**3 - 17*i**2 - 6*i + 5. Is h(-7) prime?
False
Let g(t) = 289*t**2 + 4*t + 3. Is g(-2) prime?
True
Suppose 0 = 2*o + 2*o - 4. Suppose x + 18 = -x. Is (2 - 1)*(o - x) a composite number?
True
Suppose -7*s = -2*s - 17555. Is s composite?
False
Suppose 3*y + 2*m + 36 = 0, 0*y + 4*m = -y - 22. Is 12*(y/(-4) + -2) a composite number?
True
Let f = -11 - -30. Suppose 2*k - f - 299 = 0. Suppose 0*m = 3*m - k. Is m a composite number?
False
Suppose 2*r - 8 = 16. Suppose -h - 2*h - r = -3*f, -4 = -f - 2*h. Let p = f + 47. Is p composite?
True
Is 4/4*(330 - -1) composite?
False
Suppose 0*h - 38 = -h. Let w = h + -21. Suppose 2*s - 67 + w = 0. Is s a composite number?
True
Let b = -7 - -12. Suppose b*i = t + 2*t - 50, -4*t = -3*i - 52. Suppose 40 = 2*k - t. Is k a prime number?
False
Let i be (-16)/24 + 1568/(-6). Is 2 + -2 + i/(-2) composite?
False
Let u(k) = -k**3 - 3*k**2 - 3*k - 4. Let m be u(4). Let b = m + 179. Is b a composite number?
True
Suppose 0 = 8*w - 9*w + 751. Is w prime?
True
Suppose 2*d - 13 = -t + 2, 4*d - 45 = -5*t. Suppose -b + 1 = -f + t*f, 0 = -f + 4*b + 13. Is -131*(3 - (f - -3)) a composite number?
False
Let v = 178 - 54. Let c = v - -3. Is c prime?
True
Suppose -2*s + 258 = 4*s. Is s a prime number?
True
Suppose -j - 155 = -4*z, -5*z + 5*j + 79 = -126. Suppose v - z = -0*v. Suppose v = 4*h - 2*h. Is h a prime number?
True
Suppose -3*s + 3*q - 1020 = -6*s, 1670 = 5*s - 5*q. Is s a composite number?
False
Suppose -348 = -4*z + 156. Suppose -w + 461 = z. Is w composite?
True
Suppose 5*d - 12 - 8 = 0. Suppose w = d*w - 147. Is w prime?
False
Is 4/10 + (-1268)/(-5) composite?
True
Suppose 0 = -3*r - y + 476, 4*r - 741 + 118 = y. Is r prime?
True
Let a(l) = 308*l + 7. Let g(s) = -103*s - 2. Let x(k) = -2*a(k) - 7*g(k). Let f be x(6). Suppose -4*d + f = 186. Is d prime?
False
Let z be 2/(8/4) - -58. Suppose -3*f = -2*f - z. Is f composite?
False
Let t(o) = o**2 + 10*o - 2. Suppose 5*j - 15 = -5, -n = 2*j - 6. Let v(y) = -4*y**2 + 2*y - 1. Let u be v(n). Is t(u) composite?
False
Let v(z) = 19*z + 8. Suppose 0 = 2*q - a + 2 - 20, 4*a = -2*q + 38. Is v(q) composite?
True
Let g(x) = -x**3 + 19*x**2 + 2*x - 17. Is g(8) a prime number?
False
Let g(h) = -2*h - 3. Let k be g(-4). Suppose -3 = -k*a + 17. Suppose 99 = t - a*l, 5*t - l + 3*l = 385. Is t a composite number?
False
Is 95 + (0 + 0)*-1 a composite number?
True
Suppose -2 - 4 = -3*t. Let u be 94 + 0 + (-4)/t. Is (u*1 + -1)*1 prime?
False
Suppose -4*h - 74 = -314. Let k = h - 21. Is k composite?
True
Let s = 372 - -79. Is s composite?
True
Let g = 22 + -10. Suppose -6*a = -2*a - g. Let o = 122 - a. Is o a prime number?
False
Let i be (-2)/(-4) - 4/(-8). Suppose 4*y + a - 12 = i, y - a - 2 = 0. Suppose 3*k + 5*t - 4 = 2*k, y*k + 3*t - 24 = 0. Is k a prime number?
False
Suppose 687 - 193 = -2*x + 5*n, 707 = -3*x - n. Is (-3)/(18/x)*2 composite?
False
Suppose 0*t = -2*t - 2*o, -o = -5*t + 24. Suppose 3*c = -4*r + 311, t*r - 3*c - 382 = -r. Is r a prime number?
False
Let c be (-3 + 3)*2/(-4). Let w be (-3)/1*(-1 - c). Suppose 0 = -w*q - 3*p + 420, -2*q + 55 = -3*p - 220. Is q prime?
True
Suppose 5*g - 179 = -3*p + 2744, -g - 4*p + 571 = 0. Is g a composite number?
False
Suppose -4*d + 2*r = -2482, 3*d - 3*r + 93 - 1947 = 0. Is d a prime number?
False
Let x = 832 + -533. Is x prime?
False
Let w(n) = 32*n**3 + n**2. Let y = -12 + 13. Is w(y) prime?
False
Let d = 170 + 627. Is d composite?
False
Suppose 0 = -3*b + 3*s + 12, 0 = -4*b + 5*s + 6 + 14. Let x be (b - 0)/(1 + 1). Suppose -q = -5*u - 5*q + 50, x = -5*u + 4*q + 90. Is u composite?
True
Let a be -4 - 5/((-15)/9). Let n(b) = -36*b**3 + b**2 + b + 1. Is n(a) prime?
True
Suppose -f - 24 = -2*s, 3*s + f + 0*f = 36. Let o = 22 - s. Is o a composite number?
True
Is 957 + -1 + (2 - -7 - 7) a prime number?
False
Let s = 83 + 0. Is s composite?
False
Let z(t) = t - 4. Let y be z(6). Suppose 8 = 2*m - 4*p, -m - y*p - 3 = 1. Suppose j + 4*x - 111 = m, 5*x = -3*j + x + 293. Is j prime?
False
Is -8*(-2)/(-4) + (-226)/(-2) a composite number?
False
Suppose 5*v - 4*v = 143. Is v a composite number?
True
Let s be 2/(-5) + (-24)/15. Let b be (321/(-9))/(s/(-12)). Is (-4)/6 - b/6 a prime number?
False
Let m(t) = 28*t**2 + t - 3. Let b be m(3). Suppose 4*u - b = -2*l + 2*u, -2*l + 255 = -u. Is l a composite number?
False
Suppose 0 = -5*x - 5, 3*x + 6 = 4*l + 3. Suppose -3*w + 4*c - 6 = l, -2*w + 0*w + c - 4 = 0. Is -14*(-1)/(0 - w) a prime number?
True
Suppose 0 = -3*t - 0*t - 2*p + 5, -t = -p - 10. Suppose -35 = -2*d + d + 4*m, t*d + 5*m = 50. Is d prime?
False
Let i(x) be the third derivative of -x**6/120 - 11*x**5/60 + 5*x**4/12 + x**3/2 - 6*x**2. Is i(-13) prime?
True
Let j = 37 + 3. Suppose -a = -1, 6*d - 2*d + 4*a - j = 0. Is d a prime number?
False
Suppose 36*c - 46420 = 16*c. Is c a prime number?
False
Is ((-5028)/(-30))/((-2)/(-10)) a prime number?
False
Let v = 223 + -155. Let z = -37 + v. Is z a composite number?
False
Suppose -8 - 12 = -4*n. Suppose -2*q - 4*l + l = -80, -q - n*l + 47 = 0. Is q a composite number?
False
Let u = 20 + -8. Suppose 9 = 2*d + j - 0, u = d - j. Let t = 7 + d. Is t prime?
False
Let o = 214 + 5167. Is o a composite number?
False
Suppose -3*n = -5*n - 14. Let s(o) = o**3 + 10*o**2 + 7*o - 9. Is s(n) composite?
False
Let t(m) = 6*m - 3. Let s = -4 + 10. Let f = -3 + s. Is t(f) composite?
True
Let j = 8334 + -3625. Is j a prime number?
False
Suppose -6*g + 11*g = -30. Let b(k) = -2*k**3 - 6*k**2 - 9*k - 5. Is b(g) prime?
False
Is (7/(-2) + 3)*-382 a composite number?
False
Suppose -159 = 14*a - 17*a. Is a a prime number?
True
Let o = -13 + 3. Is (-386)/o + (-15)/25 a prime number?
False
Let g = -4 + 4. Let u = g + 2. Suppose b - 111 = -u*b. Is b a prime number?
True
Let f = -39 + 124. Suppose -i - w - f = -4*i, -4*i + 100 = 2*w. Suppose -5*q - 2*g = -67, i = 2*q - q - 3*g. Is q a prime number?
False
Is (-11)/(-55) - (-12514)/5 a composite number?
False
Let n = 5 - -2. Let c = n - -534. Is c prime?
True
Let c be (-2*(-225)/(-6))/1. Let h = c + 122. Is h a prime number?
True
Suppose -19*f = -16*f - 9. Suppose f*g + 73 = 1030. Is g a composite number?
True
Suppose -412 + 1 = -v. Is v a prime number?
False
Let o = 18058 + -8667. Is o composite?
False
Let q = -12 - -7. Is (-18)/30 - 188/q a prime number?
True
Suppose -3*o + o = 2. Is 55/1 - (o - -1) composite?
True
Suppose -2*p - s + 669 = 0, 2*p - 339 = p + 4*s. Is p a prime number?
False
Let n = 10 + 6. Is (-4)/n - 298/(-8) a composite number?
False
Suppose 5*n + 5*c = 2405, n + 0*n = 5*c + 505. Is n prime?
False
Is (-7108)/(-8)*6/3 a prime number?
True
Let f(r) be the first derivative of 2*r**3/3 - 3*r**2/2 - 6*r - 1. Let i(z) = -z**2 - z. Let c(n) = -f(n) - 4*i(n). Is c(-4) prime?
False
Let v(r) = 5*r**2 + 3*r - 1. Is v(-4) composite?
False
Suppose 8 - 2 = 3*y. Suppose 13 = 3*x + 4*h, 2*x - 4*h = 4*x - 2. Let k = y + x. Is k composite?
False
Suppose 4*o - 3*o = 1. Let v = 3 - o. Is 3/(v*1/10) a prime number?
False
Let i(h) = 51*h**2 + h + 1. Is i(7) a composite number?
True
Suppose -170 = -5*y - 5*q, -5*y + 61 = -5*q - 159. Let h = y - 57. Let f = 15 - h. Is f co