. Let t = 3 - 9. Is y(t) prime?
True
Suppose 0 = -n - 4 - 5. Is (12/n)/4*-33 a composite number?
False
Suppose -3*h + 8 = -4*h. Let v(s) = 3*s**2 + 8*s - 9. Is v(h) prime?
False
Suppose 3*j + 12 = 3*m, 4*m - 4*j = 8*m. Let b(l) = 52*l**2 - 4*l + 3. Is b(m) a prime number?
False
Let u(n) = 2*n**3 - n**2 - n + 7. Is u(8) a prime number?
False
Let n(o) = -267*o**2 + 2*o - 1. Let p be n(-2). Let a = -702 - p. Is a a prime number?
False
Suppose -27 = -5*k + 3*v - 7, -2*k = -4*v - 22. Suppose y - 6 = -k. Suppose -2*g - 3*q = -20, -2*g + y*q + 40 = 2*g. Is g composite?
True
Let p(k) = 6*k**2 - 3*k - 13. Is p(-4) a composite number?
True
Let d = 2797 - 1104. Is d a prime number?
True
Suppose 0 = -2*x - 0*x - 12. Let n(u) = -51*u - 13. Is n(x) a composite number?
False
Let x be 15100/90 - 4/(-18). Let a = -89 + x. Is a prime?
True
Suppose a + 3*z - 2 = 0, 2*a + 3*a + z = 10. Suppose -435 = -a*r - 3*r. Is r prime?
False
Let o be -1 + ((-6)/(-2) - 0). Let h = o + 53. Is h prime?
False
Let a be (1/2)/(4/(-8)). Let i = a - -3. Suppose -2*n = i - 14. Is n a composite number?
True
Let v be 2/3 + (-3)/(-9). Let y = v + 1. Suppose 0 = -5*i + y*i + 105. Is i composite?
True
Suppose -3*y + 332 = -553. Is y a prime number?
False
Suppose 2*w = 4*w - y - 243, 0 = -4*w - 5*y + 451. Suppose 4*u + w = 5*u. Let g = u - 82. Is g a composite number?
False
Let f(j) = 15*j + 17. Suppose 4*h = -0*k + 5*k + 43, -47 = -5*h + 4*k. Is f(h) a prime number?
False
Suppose -68 = -p - 26. Suppose s + 5 - p = 0. Is s composite?
False
Let z(o) = 6*o - 13. Is z(12) prime?
True
Let a be 2*((-6)/(-4) - 0). Suppose -b - 3*s = -60, b - 285 = -3*b + a*s. Suppose -p = 2*p - b. Is p a composite number?
False
Let d be (-2 - -3) + (1 - -1). Suppose -q + d*q = 6. Suppose -q*a - 66 = -225. Is a prime?
True
Is (4/2)/(30/885) composite?
False
Let z(m) = m**3 - 3*m. Let r be z(3). Suppose 8 = w + w, -3*y + r = 3*w. Is (-37 + 0)/(y - 3) a composite number?
False
Let h = -889 + 2684. Is h a prime number?
False
Suppose 4*r - 2 = 6. Let o be (0/r)/(-3 + 1). Suppose 3*p - 7*p - 5*f + 356 = o, 89 = p - 4*f. Is p a composite number?
False
Let f be 4 + (2 - (-3 + 4)). Suppose 3*p + 6 = f*h - 14, -p - 16 = -3*h. Is h a composite number?
False
Suppose 3*l + 4*o - 42 = 0, 3*o = -2*o - 15. Suppose -l = w - 62. Suppose -2*q - 2*n = -w, -3*n = q - 6*q + 110. Is q a prime number?
False
Suppose 0 = -4*m + 10 + 2. Let g(l) = 0*l**3 + 5*l**2 + 3*l - 2 - 2*l**m + l**3. Is g(5) a composite number?
False
Suppose -5*y = -2*y - 9. Suppose -5*h - 4*o = -0*o, 0 = -y*h + 5*o. Suppose -m + 11 + 26 = h. Is m composite?
False
Suppose z - 4*z + 2*j - 2 = 0, -3*z - 5*j = -5. Let u = z + 33. Is u a composite number?
True
Let l(r) = 18*r**2 - 17*r + 5. Is l(6) a composite number?
True
Is ((-16)/4)/(0 - 2) + 1247 composite?
False
Suppose -3*x + 21 = -3*n, -3*x + 0 = n - 1. Suppose 0 = -x*z + 7 - 1. Suppose -3*b + 4*a + 1340 = b, z*a = -5*b + 1643. Is b a composite number?
False
Suppose 0*l + l = 5*j - 1267, -j + 3*l = -259. Suppose 3*c + 135 + 211 = 4*w, -3*w - c + j = 0. Is w a prime number?
False
Suppose -b = -5*b + 20. Suppose -3*o = -b*u + 2*o - 30, 4*u = -4*o - 56. Let g(m) = -m**2 - 13*m - 11. Is g(u) a prime number?
True
Suppose -5*d - 26 + 1 = 0. Let s(y) = -y - 3. Let h be s(d). Is -1 + (h - -18*5) a composite number?
True
Let a(r) = r**2 + 1. Let f be a(-1). Is -2*(19/(-2) - f) a composite number?
False
Let a(w) = w**2 + 4*w. Let u be a(-6). Suppose 3*v + 3 = u. Suppose v*h = -2*h + 235. Is h prime?
True
Is 42 - (-1 - -1 - 1) a composite number?
False
Let u be 1/3*-2*-3. Let i be 3 + u/(-1) + 2. Suppose 59 = -i*j + 152. Is j a composite number?
False
Let t = 2 - 12. Let r(j) = -7*j**3 - 16*j**2 + 3*j + 17. Let x(i) = -8*i**3 - 17*i**2 + 2*i + 18. Let n(z) = -7*r(z) + 6*x(z). Is n(t) composite?
False
Let n(k) = -k**3 + 12*k**2 + 4*k - 11. Let h(u) = 5*u. Let o be h(1). Let g(z) = -z**2 + 7*z + 2. Let x be g(o). Is n(x) a composite number?
False
Let f(g) = -20*g. Let z be f(-1). Let d = 13 - z. Is 7*((-6)/d)/1 a prime number?
False
Suppose 4*t = -3*l + 11, -10 = -3*l + 4*t - 9*t. Suppose -l*i = -2*a - 1525, 5*a + 1601 = 5*i + 91. Is i a prime number?
True
Let c = -7 - -10. Suppose -m + 104 = c*u, 0 = 2*u + 6*m - 2*m - 86. Is u composite?
True
Let w = 139 + 1156. Suppose -4*y + o + w = -16, -3*y + 962 = -5*o. Is y prime?
False
Let t = -6 + 10. Let m be 2/(-6) - 10/(-3). Suppose 77 = m*a + t*d, 4*d - 5 = a - 52. Is a prime?
True
Let n(m) = -m**3 + 10*m**2 + 10*m - 15. Is n(10) composite?
True
Is -1*3/(-2) + 499/2 a prime number?
True
Let u be (-5 - -3)/((-4)/98). Let v = 160 - 58. Let b = v - u. Is b prime?
True
Suppose -170 = r - 4*r + w, 4*r + 3*w - 205 = 0. Is r a composite number?
True
Let u be (-1)/((-5)/2 - -2). Let n be (3 + -11)/(u/(-6)). Suppose 0 = -4*a + n + 116. Is a composite?
True
Is 614/(-3)*(-66)/44 prime?
True
Let j = 2 + -7. Is (-597)/j + 4/(-10) composite?
True
Let a(u) = -u**3 + 6*u + 3. Let j be a(6). Let w = j - -100. Let p = w - -196. Is p a prime number?
False
Let p be (-1044)/(-6)*(-2)/(-4). Let i be -60 - -1*(0 - 1). Let f = p + i. Is f a composite number?
True
Let n(m) = 52*m - 9. Is n(8) a prime number?
False
Suppose 8 = -4*v + 2*v. Let p = 0 - v. Suppose p*j = -j + 10. Is j composite?
False
Let z = -17 - -9. Is (-2991)/(-7) - z/(-28) a prime number?
False
Let w(r) = 6*r**3 + 1. Let f be w(-1). Let s(o) = -12*o - 3. Is s(f) composite?
True
Let z = -219 + 340. Is z composite?
True
Let x(o) = -o**2 + 4*o - 1. Let i be x(2). Suppose -p + i*d + 61 = 0, 45 + 57 = 2*p - 2*d. Let s = p - -7. Is s composite?
False
Suppose 0 = f + 5*s - 616, 2*s - 4 = 0. Let g = -18 + f. Let i = g - 403. Is i a prime number?
False
Suppose -2*c + 5*k + 1002 = 0, 2*c + 511 = 3*c - 5*k. Is c composite?
False
Let s(q) = -17*q - 2. Suppose -12 = 2*t - 4. Let c be s(t). Suppose -c = -3*f + 33. Is f composite?
True
Suppose 0*z + 4389 = 5*z - 2*s, 0 = 3*z - 4*s - 2639. Is z prime?
True
Let p(y) = y**3 - 8*y**2 - 11*y + 18. Let s be p(9). Let z(b) = b**2 + b + 17. Let l be z(0). Suppose s = d + l - 42. Is d composite?
True
Suppose -j = -2*c - 153, 4*j + 5*c - 240 = 346. Is j a composite number?
False
Let w(c) = -c + 8. Let f be w(8). Let y(s) = s**3 + s**2 - s + 127. Is y(f) composite?
False
Is (-203)/(3/6*-2) a composite number?
True
Is 1335/9 + (-6)/(-9) a composite number?
False
Suppose -23 - 452 = 5*x. Let j = -44 - x. Is j prime?
False
Let u = 368 - 155. Is u composite?
True
Let w(k) = -k**3 - k. Suppose 1 = -4*u + z, -3*u - 5*z - 27 = -9. Let x(j) = -7*j**3 + 2*j**2 - 6*j + 3. Let p(n) = u*x(n) + 2*w(n). Is p(2) composite?
False
Suppose -10 = 4*k - b, 7*b - 5*b + 2 = -3*k. Let n(w) = -44*w - 1. Is n(k) a composite number?
True
Let y(i) = 6*i**2 - 2*i. Let b be y(2). Suppose -4*q + 2*r + b + 2 = 0, 4*q = 4*r + 32. Is (134/4)/(q/6) a prime number?
True
Let r(g) = 128*g. Let o be r(2). Suppose 0 = 2*t + 2*v - o, -4*v - 128 + 5 = -t. Is t a composite number?
False
Suppose a - 709 - 344 = 5*g, 4*g + 5244 = 5*a. Suppose 2*c = -0*c + 3*v + 527, -4*c + a = -4*v. Is c prime?
False
Let m(g) be the second derivative of g**5/20 - 3*g**4/4 - g**3/6 + 9*g**2/2 - 2*g. Let o be m(9). Suppose 2*k + 10 - 72 = o. Is k a prime number?
True
Suppose 16 = -f + 4*f - 4*m, -5*m - 17 = -3*f. Suppose f*w - 175 = 29. Is w a composite number?
True
Let s = -5 + 5. Suppose p - 4*p - 462 = s. Let q = p + 275. Is q prime?
False
Let w(x) = x**3 + 9*x**2 + 2*x - 7. Is w(-6) a composite number?
False
Let p(a) = 19*a**2 - 9*a - 9. Let u be p(-7). Let x = u - 572. Is x composite?
True
Let l = 5 + 48. Is l composite?
False
Let q = 473 + 2760. Is q a composite number?
True
Let s(q) = 2*q - 2. Let l be s(2). Suppose 16 = v + l. Is -1 + v*4/1 a composite number?
True
Suppose 4*y - 6689 = -141. Is y prime?
True
Suppose -i = 4*s - 159, -2*s + s - 327 = -2*i. Is i composite?
False
Suppose 7*y = 8*y - 127. Is y prime?
True
Suppose -3*p - p + 40 = 4*j, j + 5 = 4*p. Suppose -q + 0*q + j = 0. Is q a composite number?
False
Suppose 2*x - 17 = -5*p, 0 = -0*x + 2*x + 2*p - 2. Let i = -5 - -4. Is (-204)/x + i + 1 a prime number?
False
Let g = -8 + 11. Suppose -g*p = -4*p + 23. Is p prime?
True
Let b(u) = u**2 - 6*u - 9. Let j be b(8). Suppose n - r = 17, 5 = -3*r - j. Is n a