 12 + 111. Let p(u) = 27*u**3 - 2*u**2 + 4*u - 2. Let k be p(2). Let y = k - n. Is y a composite number?
True
Suppose 0 + 4 = 2*c. Suppose 0 = c*q - 0*q - 226. Is q prime?
True
Let o(r) = 2*r**2 - 3*r + 13. Is o(-16) a prime number?
False
Let b = 123 - 289. Let f = -39 - b. Is f prime?
True
Let j(k) be the first derivative of 19*k + 2 - 1/2*k**2. Is j(0) prime?
True
Suppose -34 = -3*i + 2*x, i + 30 = 5*i + 5*x. Suppose -i = -5*u - 0*u. Let s(y) = 40*y - 3. Is s(u) a composite number?
True
Suppose 2*r = 5*j + 8 + 8, -3*r + 2*j = -13. Suppose r*n - 12 = -2*y, -n = 4*n - 4*y + 2. Let v(c) = 17*c - 1. Is v(n) a prime number?
False
Suppose -51 = -5*c + 4*j - 8, 47 = 4*c + j. Is c composite?
False
Let s be 3/(-9) + (-58)/6. Is (-9)/15 + (-396)/s composite?
True
Let w(h) = -1. Let i(b) = -13*b + 78. Let t(j) = -i(j) - 65*w(j). Is t(6) composite?
True
Let d(x) = -x**2 - 4*x - 3. Let k be d(-2). Let t be (-2)/3*k*33. Let c = t + 57. Is c a composite number?
True
Suppose -3*l - l + m + 281 = 0, -290 = -4*l - 2*m. Is l a prime number?
True
Suppose 2*j + 5*d + 5299 = 4*j, -5*j = 3*d - 13232. Is j a composite number?
False
Suppose 0 = -3*y + 5*b + 1533, -2*y + 3*b + 2*b = -1022. Is y composite?
True
Let b(a) = -10*a. Let j be b(-7). Suppose 0*d - 2*d = -j. Let z = 70 - d. Is z a prime number?
False
Let k = 138 + 53. Is k a composite number?
False
Let k = 304 + -83. Is k prime?
False
Suppose 4*s - 9*s = -2930. Is s a prime number?
False
Let m = -1148 - -2037. Is m prime?
False
Let n(w) = 156*w**2 + 3*w - 2. Is n(1) composite?
False
Let t(z) be the first derivative of 3*z**3 + 5*z - 5. Is t(4) composite?
False
Let u = -496 + 1385. Is u prime?
False
Is (-1)/3*-15 + 4542 a composite number?
False
Let c be -2 + 1 + -1 - -1. Let i be c/(10/16)*-5. Is i/20 + 383/5 a composite number?
True
Suppose 2*w - 30 = 284. Is w a prime number?
True
Let h = -16215 + 22994. Is h composite?
False
Suppose 464 = 3*d - 91. Is d a composite number?
True
Let n = -70 - -216. Let o = -89 + n. Is o composite?
True
Let u(m) = -8*m - 4 - 2*m + 2*m - 1. Is u(-3) a prime number?
True
Suppose -i + 2 = -3*n, 0 = -i - 4*i - n - 22. Let p = 8 + i. Suppose -p*o = 2*w + 2*w - 224, -217 = -4*w + 3*o. Is w composite?
True
Let z(r) = 3*r**3 - 8*r**2 + 12*r - 12. Is z(5) a prime number?
True
Let w(t) = -t**3 - 6*t**2 + 5*t - 8. Let p be w(-7). Suppose p*q = q - 60. Is (-1878)/(-9) - 4/q composite?
True
Suppose 0 = -4*g - 11 + 3. Is 14*5 + (-3 - g) a prime number?
False
Suppose -3*i - 29 = -8. Let t be (-16)/i + 10/(-35). Suppose -160 = -2*g - 3*s, -g + t*s + 113 = 26. Is g a composite number?
False
Let d(f) = 2*f - 6. Let x be d(6). Is (771/x - 0)*2 a prime number?
True
Suppose 11*q + 1175 = 16*q. Is q prime?
False
Suppose -21 = 2*f - 6*f + 5*b, -18 = -5*f - 2*b. Let s be 21/(-14)*f/(-3). Suppose 0*t + s*t - 74 = 0. Is t composite?
False
Suppose 3*n - 3*g + 12 = 2*n, -5*n - 4*g + 16 = 0. Suppose -k + 131 = 2*f - 3*f, n = 3*f - 6. Is k a composite number?
True
Suppose -2*v + 3*v - 35 = 0. Is v prime?
False
Is (-15)/35 - 2820/(-14) a composite number?
True
Suppose -2*q + 194 = -0*q. Is q composite?
False
Let r(i) = 5*i**3 - i**2 + 3*i + 2. Let v be r(-2). Let t be v/18*(-6)/4. Let q(j) = 3*j**2 + j + 1. Is q(t) a composite number?
False
Let l be 1/(-1)*(-5 + 0). Suppose 15 = a + 2*g, -3*g - l = -5*a + a. Suppose 5*r + v = a*v + 375, 4*v - 20 = 0. Is r a composite number?
False
Let j be ((-30)/9)/((-2)/201). Suppose 0*w - w + j = 0. Is w prime?
False
Suppose -5*p + b = -6*p + 1297, -6471 = -5*p + 2*b. Suppose -3*g + 3*w = g - p, 651 = 2*g - 5*w. Is g a composite number?
True
Is (1 - 744)/(15 - 16) a prime number?
True
Let b = -22 + 36. Suppose 44 = -5*l + b. Let k = 55 + l. Is k composite?
True
Let t be (-2)/(-6)*3 + -6. Let b(z) = z**3 - 1. Let a(u) = 5*u**2 + 3*u + 1. Let w(l) = -a(l) - b(l). Is w(t) a prime number?
False
Let k be 2/(-4)*(5 + -5). Suppose 5*v + k*v = 435. Is v prime?
False
Is 6/(-2) + 32 - -4 composite?
True
Suppose 0 = 2*l + l - 9. Is 23/(-2)*(1 - l) a composite number?
False
Let p = 13 - 6. Let c(f) = -f**2 + f + 1. Let j(o) = o**2 - o - 3. Let g(z) = -5*c(z) - 2*j(z). Is g(p) prime?
True
Let q(z) = 362*z. Let m be q(1). Suppose -m = -4*s + 290. Let j = s - 92. Is j composite?
False
Suppose 0 = 5*b - c - 1342, -4*b - 6*c + 1088 = -2*c. Is b a prime number?
True
Let h = 21 - 14. Let u be 2*(h/2 - 1). Suppose 4*g + 160 = 4*w, -3*g - 23 = -u*w + 183. Is w a prime number?
True
Let q = -71 + 204. Suppose -3*t + 8 - 206 = 0. Let b = t + q. Is b composite?
False
Let o(y) = -y**2 - y - 1. Let b(i) = -5*i**2 + 2*i - 8*i + 3 - 6*i. Let x(q) = b(q) - 4*o(q). Is x(-7) composite?
True
Let a(x) = x**3 - 2*x**2 + 2*x + 4. Let v(m) be the first derivative of -m**2/2 - m - 2. Let k be v(-4). Is a(k) composite?
False
Let t(h) be the third derivative of h**4/24 + h**3/6 + h**2. Let n(j) = -16*j - 12. Let o(z) = -n(z) - t(z). Is o(14) a prime number?
False
Let o = 4 + -4. Suppose 0 = -4*j - 5*b - 271 - 575, 3*j + 5*b + 632 = o. Let p = 425 + j. Is p a prime number?
True
Suppose -2*b - 3*s + 3620 = 0, s - 8 = -3*s. Is b a composite number?
True
Let f(w) = -w**2 - 10*w + 1. Let x(l) = 3*l**2 + 30*l - 4. Let a(m) = -17*f(m) - 6*x(m). Is a(-8) prime?
True
Let a(w) = -3*w + 7. Let z be a(-11). Let q = -1 + 1. Suppose q*r + 2*r - z = -5*g, 4*r + 20 = 0. Is g a composite number?
True
Let l = 495 - 216. Suppose -o + l = -4*n, -2*n - 2*n - 542 = -2*o. Is o a prime number?
True
Is (0 - 330/(-3))/2 prime?
False
Let i(p) = -p**2 + 13*p - 4. Let g be i(10). Suppose -v - v + g = 0. Is v prime?
True
Suppose 3*p - 1669 - 20 = 0. Is p prime?
True
Suppose -5 = -3*r + 4*w, -3*w - 6 = -6*r + 3*r. Suppose 395 = 2*a + r*a. Is a prime?
True
Suppose -4*r + 5*w + 35739 = 0, 4*w = -5*r + 3*w + 44710. Is r a prime number?
True
Is (-4)/8 + (-14)/(-4) a prime number?
True
Is (-3)/(-3*(-1)/(-614)) a prime number?
False
Let a = 73 - 15. Is a composite?
True
Let l(i) be the third derivative of -5*i**4/24 + i**3 - 6*i**2. Is l(-5) a prime number?
True
Let h(k) = 3*k**2 - 8*k - 333. Let s(n) = -2*n**2 + 5*n + 222. Let b(q) = 5*h(q) + 8*s(q). Is b(0) composite?
True
Let i(w) = -306*w + 1. Is i(-2) prime?
True
Suppose -1 = 3*q - 2*q. Let o be (-2)/(-2) - (-2)/q. Is o/2*148/(-2) a composite number?
False
Let l = 576 + -399. Suppose 3 = 3*h - 48. Suppose 2*n - h = l. Is n a composite number?
False
Suppose 4*l = 5*g - 564, 96 = 2*g + 3*l - 148. Suppose 2*q = 680 - g. Suppose -44 - q = -2*d. Is d a prime number?
True
Let h = -848 - -532. Let q = -219 - h. Is q composite?
False
Let x = 143 + 488. Is x a prime number?
True
Is 4788 - (-4)/((-8)/10) composite?
False
Let f be 0 + 1 + -6 + 7. Suppose 0 = -4*m - 5*n + 20, -20 = -4*m - 2*n - 2*n. Suppose m*v - 118 = -3*k, 5*k - f*v + 3*v = 160. Is k a composite number?
False
Suppose 351 = 4*w + g, -3*g - 10 = -g. Is w prime?
True
Suppose 3*t = -2*t. Suppose 5*j = -t*j + 335. Is j a composite number?
False
Suppose 0 = a - 3*a + 10. Let l = 6 + a. Is l composite?
False
Suppose w = -3*d + 4307, -d = -0*d - w - 1441. Is d a prime number?
False
Let m(u) = 2*u**3 + 2*u**2 + 4*u + 11. Is m(5) prime?
True
Suppose u - 181 = -p, 4*p = 4*u - 6*u + 356. Let y = u + -107. Is y a composite number?
True
Suppose -3160 = -5*h - u, -5*h + 1267 = -3*h + u. Is h a prime number?
True
Let a(m) = -378*m + 1. Is a(-5) prime?
False
Let r = -667 - -1824. Is r a composite number?
True
Suppose 4*x + 3*w = -12, 2*x = -4*w - w - 20. Suppose 0*c + 5*q - 128 = 4*c, -4*c + 2*q - 116 = x. Let o = 56 - c. Is o a prime number?
True
Let c(a) = 17*a + 13. Is c(6) a prime number?
False
Let n be (-2)/5 + (-4)/(-10). Suppose -o - 4*o + 195 = n. Is o a prime number?
False
Suppose -4*o = -12 - 12. Let x(n) = n**3 - 5*n**2 - 2*n + 2. Is x(o) prime?
False
Suppose -4*p + 6 = -2, 0 = -y + 2*p + 42. Is y a prime number?
False
Suppose -5*r + 1113 = -3*j - 2878, 5*r = -5*j + 3975. Is r composite?
False
Let q = 27 + 82. Is q composite?
False
Let o(s) = -s + 9*s + 1 + 2*s. Let n be o(-1). Let h = 16 + n. Is h prime?
True
Suppose 275 = 3*y + 5*k, 2*k - 99 - 249 = -4*y. Suppose y = 5*v + 5*j, 4*v - 48 = -0*v + j. Let q = v - 9. Is q composite?
True
Suppose 4*u + 2*m - 17 = -u, -4*m = 5*u - 9. Let f(c) = 5*c**2 + 7 + 6*c - 1 + 0*c. Is f(u) compos