w = 1734 + -1047. Is w prime?
False
Let f(a) = -39*a. Let y be f(-9). Let b = 644 - y. Is b composite?
False
Is (-252 + 1)*((-7)/1 - 0) prime?
False
Let k = 36 - 80. Suppose 2*b = 5*b + 3*g - 1797, 5*b - g - 3019 = 0. Is (-8)/k + b/11 a prime number?
False
Let r = 13 + 10. Is r a composite number?
False
Suppose 3*n - 5*v + 6 = -8, -3*n + 4*v = 10. Suppose -n + 4 = q. Suppose q*t = -t + 30. Is t prime?
False
Suppose -6*i = 419 - 2801. Is i a prime number?
True
Suppose 46 = 5*n - 59. Is (1652/n)/(4/6) composite?
True
Is -5 - -2 - -86*4 a prime number?
False
Let r(b) = 2*b**3 - 2*b**2 + 11 + b + b**2 - 4*b**2 - 8. Is r(3) composite?
True
Let s(a) = -a**3 - 8*a**2 + 8*a - 4. Let m be s(-9). Suppose -m*x - 3*y + 1947 = -y, -x = -y - 388. Is x a prime number?
True
Let q = 1 + 0. Let w = q + 64. Is w composite?
True
Let u be (6/4)/(6/88). Suppose -2*m + 13 + u = 3*l, 3*m = -4*l + 53. Is m a composite number?
False
Let o(n) = -n + 9. Let r be o(6). Suppose 1072 = r*d + 5*u, -d = -5*u - 49 - 315. Is d prime?
True
Suppose a = 2*x + 3 - 4, -3*x + 3*a = -9. Let i = x + 4. Is i prime?
True
Let d be 6/2 - (-4 + 5). Suppose -3 + 7 = d*v. Suppose -2*i + 2*b + b + 20 = 0, v*b - 10 = -2*i. Is i composite?
False
Let h(t) = 3*t + 2. Let a be h(-2). Let x = 11 + a. Suppose -3 = -f + x. Is f composite?
True
Suppose -p = 6 - 125. Is p composite?
True
Let m = -18 + -35. Let h = -18 - m. Suppose 22 = 3*u - h. Is u composite?
False
Let t(i) = -i**2 + 10*i - 12. Let a be t(8). Is (-3)/(a + 455/(-113)) a prime number?
True
Let g(v) = 1. Let l(h) = -4*h**3 - h - 2. Let i(f) = 2*g(f) + l(f). Let s be i(-1). Suppose 3*q + 583 = s*r, 0*q - 12 = -3*q. Is r prime?
False
Suppose 5*l = 5*f, -f + 0*l = -3*l + 6. Suppose f*m - 5*m + 74 = 0. Is m composite?
False
Let u = -52 - -593. Is u composite?
False
Suppose -3*q - 209 = -5*f - 24, -5*q = 2*f + 267. Let a = -37 - q. Suppose -2*c + 0*c + 21 = -3*r, 2*r = 2*c - a. Is c composite?
True
Let n(p) = -p**3 + p**2. Let h(k) = -81*k**3 + 5*k**2 - k. Let g(f) = -h(f) + 3*n(f). Is g(1) prime?
False
Let i(s) = -s**3 + 4*s**2 + 5*s + 3. Let c be i(5). Suppose -c*x + 4*x = 0. Suppose -5*m + 79 + 196 = x. Is m a prime number?
False
Suppose -5*l + 4*a + 1027 = 0, l = -3*a + 7*a + 215. Is l prime?
False
Let q(i) = -22*i + 35. Is q(-21) prime?
False
Let x be (-1)/(-1) - (-6 - -7). Let n be x + 1272/((-6)/(-3)). Suppose 3*l - 3*t = 642, l = -2*l + 5*t + n. Is l a prime number?
False
Let g(b) = 2*b**2 - 2. Let j be g(2). Let m = 10 - j. Suppose 0*q = 3*w + m*q - 121, 2*q = 5*w - 167. Is w a composite number?
True
Suppose 5*i = -4*u + 155, 0 = -4*i + 3*u - 2*u + 124. Suppose -y + 0 = -i. Is y composite?
False
Let b be (3/1 + 2)*1. Suppose b*k - 4*p = -1, 3*k + 4*p = k + 22. Suppose 0 = k*a - 27 - 66. Is a a prime number?
True
Let v(x) = -x**2 - 16*x + 29. Is v(-12) prime?
False
Let m = 4 + -6. Let y = 2 - m. Suppose 2*z - 5*k = 64, -y*k = -7*k + 6. Is z a composite number?
False
Suppose 3 + 11 = -2*l. Let j(h) = 2*h**2 - 6*h - 9. Let t be j(l). Suppose 0 = d + 40 - t. Is d composite?
True
Suppose 35 = 2*k + 3*k. Suppose 0 = -k*t + 12*t - 2225. Is t prime?
False
Let t(o) = -o**3 + 8*o**2 + 7*o - 7. Let q be t(7). Let w = 174 - q. Is w a composite number?
False
Suppose -6*w + 2801 + 1189 = 0. Suppose -w = 13*a - 18*a. Is a a prime number?
False
Let b be (-1 - 116/(-6))*75. Let s = -907 + b. Suppose 5*p = n - 3 - 96, 0 = -4*n + 2*p + s. Is n prime?
False
Suppose 0 = 5*h - 3*r - 613, -5*r = 4*h - h - 361. Is h a composite number?
True
Let c(s) = 20*s**2 + 2*s - 11. Is c(7) composite?
False
Let i = -1091 + 3502. Is i prime?
True
Suppose -5*a = 0, 3*a - 7982 = -3*y + y. Is y a prime number?
False
Let c(t) = -t - 8. Let x be c(-6). Is 0/x - 12/(-2) a composite number?
True
Let b(j) = 3*j + 2. Let n be b(5). Let k = -7 + n. Is k prime?
False
Suppose -3*w - 4*h + 14 = 0, -3*w - h + 12 = 2*w. Let q(u) = 7*u**3 + 6*u - u**w - 6*u. Is q(1) composite?
True
Suppose -z = -142 - 120. Is z composite?
True
Let i = 606 - 19. Is i a composite number?
False
Let u = -332 + 631. Is u a prime number?
False
Suppose 0 = -y - 3*y + 1860. Let m = y + -284. Suppose l = -f + 7 + 25, 0 = 5*f - 2*l - m. Is f a composite number?
True
Suppose -y - 3*y = -1324. Is y a composite number?
False
Suppose 173 = 2*p - p. Suppose 53 = u + 2*w + 2*w, -3*w - p = -5*u. Is u a prime number?
True
Let b = -5 + 7. Suppose -14 = -b*h - 4. Suppose 0*d - h*d + 86 = 2*y, 45 = y + 3*d. Is y a prime number?
False
Suppose p + 7 = -112. Let m = p - -225. Is m a composite number?
True
Suppose 0*m + 49 = -m - 4*f, 3*m = -5*f - 154. Let p = m + 35. Let s = p + 53. Is s a composite number?
True
Suppose -4*x - x + 595 = 0. Is x a composite number?
True
Suppose 5*x - 357 - 223 = 0. Suppose v = 4*y - y - 17, 5*y - 10 = -2*v. Suppose -328 + x = -y*u. Is u a prime number?
True
Let d = -2 + 4. Suppose -2*t + 3*a + 113 = 30, d*a = -6. Is t a prime number?
True
Suppose -668 = -4*z - 4*n, -2*n + 0*n + 8 = 0. Is z*-2*(-2)/4 composite?
False
Suppose -v + 4*v - w = 4104, 0 = -3*v + 5*w + 4092. Is v composite?
True
Let u be ((-6)/(-5))/(9/30). Suppose u*x = 180 - 20. Suppose -4*h + 52 + x = 0. Is h a composite number?
False
Let o = -18 - -30. Suppose 0 = -5*i + n - 40, 34 = -4*i + 2*i + 4*n. Let q = o - i. Is q prime?
True
Let t be (0 - 2) + 4/1. Suppose 0 = 2*d + 5*u + 15, d - 3*u - 7 - 13 = 0. Suppose -t*v = -d*v + 57. Is v prime?
True
Let y(h) = -58*h - 3. Is y(-2) composite?
False
Suppose -4*j + 7*j = 3. Is (-23)/(j/(10/(-2))) prime?
False
Let d(u) = 93*u**2 + 5*u + 5. Is d(-2) prime?
True
Let u(g) = 14*g + 1. Let m be u(2). Let d = m - 14. Suppose -f = -2*y - 1, 5*y + 4 = f + d. Is f composite?
True
Suppose 2*x - 3*x + 55 = 0. Is x a composite number?
True
Suppose -5*f = -92 - 238. Suppose 413 = i + f. Is i prime?
True
Let l(y) = -9*y**3 - y. Suppose 7 = -3*t + 1. Is l(t) composite?
True
Let h = -11 + 15. Suppose 0 = -0*g - h*g + 2*o + 94, -4*g + 103 = o. Let l = -12 + g. Is l a composite number?
False
Let d(w) = w**3 + 8*w**2 + 2*w - 11. Let z be d(-8). Let v = z - -46. Is v a composite number?
False
Let v(n) = 7*n + 3. Let z be 1/4 - (-45)/12. Is v(z) a composite number?
False
Let k(r) = 4*r**2 - 7*r - 8. Is k(-5) composite?
False
Suppose 11*g = 14*g - 3786. Is g composite?
True
Let j be (-2 + 2)*(-1)/2. Suppose -2*m = -j*m - 26. Is m a composite number?
False
Let a = 1723 - 510. Is a a prime number?
True
Suppose 6*a = -5*g + a + 2075, a = 5*g - 2099. Is g a composite number?
False
Suppose -3*v - 2282 + 8911 = -2*a, -a - 1 = 0. Is v prime?
False
Is (-33876)/(-45) - 2*(-2)/20 composite?
True
Is -1*(1935/(-3))/3 prime?
False
Let o(y) = -y**3 - 4*y - 2. Let f be o(-7). Suppose -16*m - f = -19*m. Is m a prime number?
False
Suppose 20*r = -70203 + 391343. Is r prime?
True
Let i(q) = -2*q - 9. Let u = -23 - -15. Is i(u) composite?
False
Let t be -1 + (5 - 3)*6. Suppose -26 - t = -z. Is z a prime number?
True
Let l = -4 - -6. Suppose -l*o - o = -447. Is o a composite number?
False
Let s = -13 - -13. Suppose 5*n = -s*n + 575. Is n composite?
True
Let o be (-35)/(-11) - 14/77. Let x = o - -18. Is x a composite number?
True
Suppose -112*p = -107*p - 8465. Is p a composite number?
False
Let o = -30 - -19. Is ((-11)/(-2))/(o/(-242)) prime?
False
Let v(m) = 7*m - 3. Let w be v(7). Suppose 4*o = -4*n + 192, 3*n - 204 = -5*o + w. Is o a composite number?
False
Let b = 84 - 19. Is b prime?
False
Let o(d) = -729*d - 30. Is o(-3) composite?
True
Let h = 500 + -249. Is h prime?
True
Let x(p) = 73*p**3 + 2*p**2 - 2*p - 1. Is x(2) a prime number?
True
Suppose 2*o - 20 = -2*o. Let g be (-2)/5 + 472/o. Suppose g = 4*l - 38. Is l a prime number?
False
Let n(q) = q**2 - 2*q + 13. Is n(-8) composite?
True
Let u be 3606/10 - 4/(-10). Let n be 12/(-3) + -2 + -210. Let w = n + u. Is w a prime number?
False
Let b(s) = 570*s**3 + 2*s**2 - s. Is b(1) prime?
True
Let m = -72 - -281. Is m composite?
True
Suppose k - 3*p - 88 = 120, -1051 = -5*k + 4*p. Is k prime?
True
Let g = 10 + -5. Let f = g - 12. Let h = f - -11. Is h a composite number?
True
Suppose 0 = 3*l - 3*q - 1773, -5*l + 0*q = -2*q - 2943. Is l a prime number?
True
Suppose 3384 = 4*h + 4*t, 3*h - 2563 = 3*t - t. Is h a prime number?
False
Suppose -3*y - 5*f - 312 + 2200 = 0, 0 = -y