Is a a prime number?
True
Let y be (-1)/((2 - -1) + -2). Let v(i) = -20*i + 1. Is v(y) a prime number?
False
Suppose 5*w = w + 260. Is w composite?
True
Let c(v) = v**2 + 5. Is c(-4) composite?
True
Suppose 5 = 5*z + 3*j, -2*z - 2*j + 3 = 5. Let d be (9/3)/(6/z). Suppose 4*m = d*m + 102. Is m composite?
True
Suppose 5*p = -0*g + 2*g - 271, -g + 137 = -2*p. Is g prime?
False
Let x = -1 - -2. Suppose -2*o = -4*o - p - 1, x = -p. Is (o + -5)*(0 - 3) composite?
True
Let s be (10/4)/(3/6). Let q(y) = 41*y + 12. Is q(s) a prime number?
False
Suppose -z = x - 3*x + 2, 2 = -4*x - z. Let c be x - (-21 - (-1 + 2)). Let t = c - -16. Is t a composite number?
True
Let j(u) = -169*u + 5. Let x be j(-4). Let n = x + -422. Is n prime?
False
Let c be (0 - -4) + 4/(-2). Suppose c*w = 4*x - 154, 3*x - x + 4*w - 62 = 0. Is x a composite number?
False
Let f = 7 + -17. Is (-3 + f/(-4))*-38 prime?
True
Suppose 2*f = -q, 0*q = -5*q + 10. Is f/(-3) - 11142/(-27) prime?
False
Let v = 7709 + -4312. Is v prime?
False
Let z = -917 + 1336. Is z a composite number?
False
Let r be ((-7)/1)/(4/(-4)). Suppose r*g = 9*g - 1910. Is g composite?
True
Suppose -4*h = 4*y - 4, 0 = -5*y + 5*h + 39 + 16. Suppose 2*s = -a + 3 + y, a + s = 7. Is 2/(-1)*a*-1 prime?
False
Suppose -3*t - 2*t + 245 = 0. Suppose 5*f - 76 = t. Is f a composite number?
True
Let i = 416 + 381. Is i a composite number?
False
Suppose 3*y + 3 = -0, 0 = -5*w + 5*y + 15. Suppose -w*b + 5*b - 15 = 0. Suppose m - b*x - 7 = 0, -4*m - x + 91 = -0*x. Is m a composite number?
True
Let a(u) = -4*u + 17 + 2*u + 0*u + u. Is a(-14) a composite number?
False
Let k = 161 + 170. Let l = 193 - k. Is ((-12)/(-18))/((-4)/l) a prime number?
True
Suppose 2*y = -8*y + 1490. Is y prime?
True
Suppose 7*f = 6*f + 211. Is f composite?
False
Is (-11)/(-3)*(-2655)/(-15) a composite number?
True
Let d(i) = -10*i**3 + 2*i**2 + 5*i + 5. Is d(-2) a composite number?
False
Suppose 0 = 4*n + n - 1550. Let a = 53 + 19. Suppose 0 = -2*g - a + n. Is g composite?
True
Suppose 5*d = 4*d - 3*c + 7, 0 = d - 2*c - 2. Suppose -41 + 117 = d*s. Is s composite?
False
Let j = -323 + 654. Is j a prime number?
True
Suppose 0 = 5*p - 15. Is (33/22)/(p/236) prime?
False
Let s(b) = -b + 55. Let d(h) = h - 2. Let v be d(5). Let c = v + -3. Is s(c) a prime number?
False
Suppose -2*t + 6*t - 8 = 0. Suppose -n + 152 = 4*h, -t*h + 2*n + 3*n + 54 = 0. Is h a prime number?
True
Is (-2)/(-2) + 2 - (-1148 - 0) composite?
False
Let p = -6 + 6. Is -35*(-4 + p) + 3 a prime number?
False
Let f(j) = 426*j - 5. Is f(3) a prime number?
False
Let i(c) = -c**2 - 27 + 15*c**3 - 1 + 7 + 23*c. Let g(v) = 7*v**3 - v**2 + 11*v - 10. Let y(n) = -13*g(n) + 6*i(n). Is y(6) a composite number?
True
Let r = 13 + -17. Is (-1134)/(-12) + 6/r prime?
False
Suppose 0 = x - 2*x + 27. Let p = 46 - x. Is p a prime number?
True
Suppose -i + 2 = -0. Suppose i*z = -2*z + 16. Suppose -z*d + 124 = -28. Is d prime?
False
Let q(d) = 101*d - 69. Is q(14) a prime number?
False
Suppose -2*p + 0*p = 0. Suppose -5*f = 4*c - 99, -6*c + c - 5*f + 130 = p. Is c composite?
False
Suppose x = a - 6*a + 17, -4*a = -5*x - 31. Suppose -2*t + 3*h + 26 = 0, 2*t + 3*t + a*h = 111. Is t composite?
False
Let s = 1414 - 281. Is s prime?
False
Let z(b) = -7*b**2 + 3*b - 8. Let n = 5 + -2. Let a(w) = 13*w**2 - 5*w + 15. Let y(j) = n*a(j) + 5*z(j). Is y(4) composite?
True
Suppose 0*v + 14 = v. Let g = 81 - v. Is g a composite number?
False
Let w(o) = 0 + 5*o**2 - 5*o**3 - 1 + 4*o**3 + 8*o. Is w(6) a prime number?
True
Let l = -38 + 21. Let t = 24 + l. Is t a prime number?
True
Let t be 2/(-5) - 34/(-10). Suppose -2*i + 33 + 23 = 2*y, -t*y - 41 = -2*i. Suppose 3*v - 17 - i = 0. Is v composite?
True
Let o(p) = -p**3 - 8*p**2 + 10*p + 13. Let c be o(-9). Suppose 342 + 473 = c*i + 3*r, -i + 199 = -4*r. Is i a prime number?
False
Let n(j) = -27*j + 29. Is n(-14) a composite number?
True
Suppose 5*n - 2*j - 1272 = 0, -5*j - 354 - 159 = -2*n. Suppose -n = -v - v. Is v a prime number?
True
Let c be ((-30)/(-25))/((-2)/(-60)). Let m = c - 14. Is m a prime number?
False
Let p(n) = n**2 - 9*n - 24. Is p(19) a prime number?
False
Suppose 2*h - 57 = -3*t, -5*h + 3*t + t = -85. Is h composite?
True
Suppose -5*l = y - 0*y - 40, 5*l = 5*y - 50. Is y a prime number?
False
Suppose -5*d + 50 = -5*m, 3*m + 4*d - 1 = -3. Let z(b) = b**3 + 7*b**2 + 5*b - 3. Let u be z(m). Suppose -u*h = 3*y - 186, -y + 192 = 2*y + h. Is y prime?
False
Let n be (84/36)/((-1)/(-93)). Suppose o = 2*o - n. Is o a composite number?
True
Let m(w) = -w**3 + 3*w**2 - 2*w + 3. Let d be m(2). Suppose 0 = 3*b + d*b - 4206. Is b a composite number?
False
Let w = -26 - -213. Is w a composite number?
True
Let u(z) = z**3 + 27*z**2 + 23*z + 31. Is u(-26) a composite number?
False
Suppose -2425 - 1362 = -p. Is p prime?
False
Let u be 0 - (14 - 6/3). Let p be (-21)/u + (-3)/(-12). Suppose p = -2*n + 88. Is n composite?
False
Let p = 245 + -106. Is p prime?
True
Let b(a) = -109*a**3. Is b(-1) a composite number?
False
Suppose 3 + 13 = -j. Let s be (70/(-8))/(4/j). Is s*-1*-1*1 a prime number?
False
Suppose 4*t + x = -211, t + 5*x = 5*t + 217. Let g = t - -262. Is g prime?
False
Let l = 105 + 574. Is l composite?
True
Suppose l - 4*k = 7 + 34, -2*l + 58 = -2*k. Suppose 4*a - l = -a. Suppose 0 = 4*t + 3*v - 336, 2*t - 7*t - a*v + 415 = 0. Is t composite?
True
Suppose -7*c = -c + 12. Let n be 47/(-2*(-2)/(-4)). Is n/c*(1 - -1) composite?
False
Let n(z) = 11*z**2 - 2*z - 4. Suppose 5*q = 7*q - 6. Is n(q) a composite number?
False
Let t = -205 + 353. Let q = -5 + 7. Suppose 52 = a - 3*j, -a + j + t = q*a. Is a a composite number?
True
Let f = 869 - 490. Is f a composite number?
False
Suppose f + 2*v - 219 = 0, 2*f - 4*v + 3*v = 413. Is f prime?
False
Suppose 6*s - 316 = 2*s. Is s a composite number?
False
Suppose 4*g + 348 = -220. Let q = 276 + g. Is q a composite number?
True
Suppose -4*b + 12 = -p, -3*b = -p - 16 + 6. Let k(f) = -f**3 + 4*f**2 - 4*f + 3. Let o be k(b). Suppose o = -s + 34. Is s a prime number?
True
Let w(a) = -6*a**3. Let m be w(-1). Let b(v) = -v + 4. Let d be b(m). Is (-3 - -56)/(d/(-2)) a prime number?
True
Is (12/(-48))/(1/(-12)) - -136 a prime number?
True
Let r = -1 + 1. Suppose -w = -r*w + 5. Let h(q) = q**3 + 13*q**2 + 2*q - 3. Is h(w) composite?
True
Let a(n) = -2*n**3 - 4*n**2 - n + 2. Suppose -h - 4*g = 2, 0 = -0*h + 2*h + 3*g + 4. Let k be a(h). Suppose -k*j + 3*j = -22. Is j a prime number?
False
Let q(i) = 97*i**2 + 5*i - 11. Is q(3) a prime number?
True
Suppose k = -y, 2*k + 3*y + 10 = 4*k. Let c(f) = -1 - f + f**2 + f. Is c(k) composite?
False
Suppose 4*a + 296 - 996 = 0. Suppose 4*x + a = -x. Let f = 4 - x. Is f a prime number?
False
Let f(h) = 8*h**3 + h**2. Let c be f(-1). Let i(u) = 2*u**2 + 4*u + 9. Is i(c) prime?
True
Suppose -4127 = -3*f - 2*b, -f + 0*b - 5*b + 1354 = 0. Is f prime?
False
Suppose 3*c - 78 = 2*q, -3*c + q + 26 = -49. Is (-2)/(-4)*c/3 prime?
False
Suppose -93 = -4*o + 379. Is o a composite number?
True
Let u(h) = h**3 + h + 31. Let q be (-2)/4*(2 - 2). Let j be u(q). Let p = j - 17. Is p composite?
True
Let v = -2 + 4. Let p(c) = 0*c + v + 1 - 2*c. Is p(-5) prime?
True
Let u = -178 + 389. Is u a composite number?
False
Let z = 1 + -3. Let j be (1*(z - -2))/1. Suppose 0 = -j*c - 2*c + 70. Is c prime?
False
Suppose 3*f + 9 = 3*o - 2*f, 15 = 5*o + 5*f. Is (-314)/(o/(-6)*4) a prime number?
True
Let z(y) = -5*y + 8. Is z(-9) composite?
False
Let l = 2 - 0. Suppose -10 + l = -4*i. Suppose -4*d + 63 = -a, i*d = a - 2*a + 27. Is d a composite number?
True
Suppose 5*f - f = 0. Suppose 3*j - 2*d - 1121 = -f*d, -2*d + 1863 = 5*j. Is j a prime number?
True
Suppose 3*r - 138 = -3*k, -5*r - 22 - 156 = -3*k. Is k a composite number?
True
Is (18/(-6))/(6/(-818)) a prime number?
True
Let h be (-476)/(-70) - (-2)/10. Suppose -1022 = -h*c + 5*c. Is c composite?
True
Suppose -3*f = t - 7*f + 6, -3*t - 2*f = -10. Suppose -t*z + 2 + 4 = 0. Is -25*z/((-6)/2) prime?
False
Suppose 0*p + 15 = 5*p. Let l = -16 - -21. Suppose -l*d + 6 = -p*d. Is d a composite number?
False
Let o(h) be the second derivative of -19*h**3/6 - 5*h**2/2 - 6*h. Suppose 3*x + 4*k = -6, 4*x + 9 = -2*k - 3*k. Is o(x) prime?
True
Let q(r) = r**3 + r + 14. Is q(0) composite?
True
Supp