Let t(n) = -6*n**2 - 8*n + 1. Let u be t(-10). Let w = -370 - u. Is w composite?
False
Suppose -t + 4*x = -763, 6*t - t = 4*x + 3767. Is t prime?
True
Let n be 2/(-4) + (-9)/2. Let s = -2 - n. Let k = 10 - s. Is k a prime number?
True
Let a be (1 - 2)/(1/(-4)). Suppose 4*r + m - 87 = 0, 114 = 3*r + 2*r - a*m. Is r a composite number?
True
Suppose -l + 98 = -107. Is l composite?
True
Suppose 0 = -6*s + 2*s. Is (-370 + s)/(1 - 3) a prime number?
False
Let a(w) = -w**3 - w**2 - w + 1. Let u(d) = -6*d**3 - 4*d**2 - 4*d + 5. Let g be (-12)/(-9) - 1/3. Let r(x) = g*u(x) - 5*a(x). Is r(-3) a prime number?
False
Let p(f) = -f**3 - 4*f**2 - 7*f + 9. Let c be p(-7). Suppose -32 - c = -3*u. Is u prime?
True
Is (-5379)/(-27) - 4/18 composite?
False
Suppose 4*v + 3 = 79. Is v a composite number?
False
Let s = 4730 - 2404. Is s composite?
True
Let s = -144 - -355. Is s a composite number?
False
Is ((-6)/10)/((-19)/8455) a prime number?
False
Let w be 10/(-4)*(0 - 2). Suppose -4*h + u = -17, w*h - 7 = -2*u - 2. Suppose 4*z + 4 = k + 9, -h*z = -4*k + 32. Is k a composite number?
False
Let x = -305 - -544. Suppose -4*k = -4*d + 3*d - x, 106 = 2*k + 4*d. Is k a composite number?
False
Suppose 34 = -3*s + 85. Suppose 3*m = -u + 13, -m + u = -2*u - 21. Suppose -h - m = -s. Is h a prime number?
True
Let y be -231*(-4)/(-12)*-1. Let a = 128 - y. Is a a prime number?
False
Let l(n) = n**3 + 5*n**2 + 2*n - 5. Let y be l(-4). Suppose 0*q = -y*q. Let g(o) = o + 37. Is g(q) a prime number?
True
Let k(d) be the second derivative of d**3/6 - d**2 + 2*d. Let z be k(6). Suppose -y = y + 5*l - 250, 4*y + z*l - 476 = 0. Is y a composite number?
True
Let z(o) = -11*o + 3*o**2 + 0*o**2 - 2*o**2 + 13. Let m(t) = t**3 + 3*t**2 - 4*t - 2. Let u be m(-3). Is z(u) prime?
True
Suppose 0 = -a + 5*z + 6 + 11, 0 = -3*a - 2*z. Let q(j) = -a + 0 + 3 + 52*j. Is q(1) a composite number?
False
Let l = 58 + -15. Is l a prime number?
True
Let y = 4 + -1. Suppose i = -3*i + 16. Is 271/y - i/(-6) composite?
True
Let x = -2780 - -4970. Suppose x - 634 = 4*m. Is m composite?
False
Let i(m) = 2*m**2 + 9. Let l be i(-8). Let p = 22 + l. Is p a composite number?
True
Let g = 650 + 264. Is g prime?
False
Suppose -11 + 12 = d. Is (355/(-10))/(d/(-6)) a composite number?
True
Suppose 0*x = -x + 4. Suppose z + x*z - 65 = 0. Let i = z + -3. Is i composite?
True
Let p = -2470 + 5241. Is p composite?
True
Suppose -13 = 4*y - 37. Is y/10 - (-304)/10 a prime number?
True
Suppose -390 = -17*n + 137. Is n a prime number?
True
Let v be (1 - 0)*(-1 + 446). Suppose 0*n - 5*n + v = 0. Is n prime?
True
Let b(l) = l**3 + 14*l**2 - 11. Is b(-8) a prime number?
True
Let x = 1 + 1. Suppose -x*j = 3*j - 805. Is j prime?
False
Suppose -3*r - 1378 - 1052 = -3*m, 3235 = 4*m - 5*r. Is m a composite number?
True
Is -1*1 + (-1 - -40) composite?
True
Suppose -1526 = -5*g + 3*n, 4*n - 1544 = -5*g + n. Is g a composite number?
False
Let r be (-146)/(-6) + 2/(-6). Suppose 7*w - 2*w = -15. Let y = r + w. Is y composite?
True
Let l(t) = t**3 + 4*t**2 - 5*t - 3. Suppose d = 1 - 0. Suppose 2*p + d = -5. Is l(p) composite?
True
Let a(f) = f**3 + 5*f**2 + 2. Let l be a(-5). Suppose 0 = l*v - 114 - 184. Is v a prime number?
True
Let r(t) = 2*t**2 + 2*t - 1. Let b be r(6). Let o = b - 36. Is o a composite number?
False
Let z = 716 - 423. Is z a prime number?
True
Is (478 - -10) + 4 + -1 prime?
True
Is (-217)/(-3 - (3 + -5)) prime?
False
Let n(j) = -3*j**2 + 15*j - 13. Let k(l) = 5*l**2 - 22*l + 20. Let p(s) = 5*k(s) + 8*n(s). Suppose -3*z = z - 28. Is p(z) a prime number?
False
Suppose 17 - 2 = 5*a. Suppose a*p = -2*p + 25. Suppose 0 = -2*h - 2, 0 = -q - p*h + 124 + 62. Is q a prime number?
True
Let o(q) = -q**2 - 11*q - 6. Suppose 0 = -3*s + s + 10. Suppose -u - 19 = s*t, 4*t + 0 = -3*u - 13. Is o(t) a composite number?
True
Let m(z) be the third derivative of z**5/10 - z**4/12 - z**3/2 + 4*z**2. Is m(-3) composite?
True
Suppose -943 = -0*f - 3*f - 4*k, -4*k + 309 = f. Is f prime?
True
Suppose -7 - 2 = -3*d - z, -3*d + 5*z = 9. Suppose -4*a - d*j = -378, 2*a + 4*j = -0*j + 174. Is a composite?
False
Let t(r) = -1. Let c(f) = -f**3 + 14*f**2 - 5*f + 9. Let n(u) = c(u) - 6*t(u). Is n(13) a prime number?
False
Let n(a) = 43*a - 2. Let z(q) = -4*q**2 - 6*q**2 + 0 - 2*q - 5 + 11*q**2. Let d be z(4). Is n(d) prime?
True
Suppose -r - k = -257, -2*r - 755 = -5*r + k. Is r a composite number?
True
Let v(l) = -l**3 - 5*l**2 + 3. Let k be v(-5). Suppose -k*x + 21 = 2*q - 128, -3*x = 3*q - 150. Is x prime?
False
Suppose -2*t - w - 7529 = -6*t, -2*t = 5*w - 3781. Is t a prime number?
False
Is (-194)/(-18) + (6/27)/1 a prime number?
True
Suppose 74 = 2*x - 2*v, 0*x + 49 = x + 3*v. Suppose m - x = 56. Suppose 2*d = -2*n + 40, 0 = -4*n - 3*d + 7*d + m. Is n a composite number?
True
Let f(s) be the third derivative of 2*s**5/15 - s**4/6 + s**3/6 - 4*s**2. Is f(4) prime?
True
Let r(q) = -36*q**3 - 2*q**2 - q. Let f(b) = -b**2 + 7*b - 4. Let i be f(6). Suppose -4*g - 2 = i. Is r(g) prime?
False
Suppose -1009 = -3*l + 3260. Is l a prime number?
True
Suppose 2*a = 5*a - 669. Is a a prime number?
True
Let m(y) = -y - 4. Let s be m(-8). Suppose -z + s*z - 69 = 0. Is 1*(-1*z)/(-1) a composite number?
False
Let c = 19 + -11. Suppose 5*d - 775 = 2*u, 3*d + 4*u = c*u + 465. Is d composite?
True
Let a = -20 + -32. Is a/6*(-90)/12 prime?
False
Let r be 734/6 + (-2)/(-3). Suppose 0 = -6*y + r - 39. Is y a prime number?
False
Suppose -4*s + 7209 = 6*l - 5*l, 7224 = 4*s + 4*l. Is s a composite number?
False
Suppose 2*k + 4*k = 186. Is k a composite number?
False
Let s(i) be the third derivative of -i**6/120 + i**5/6 - 5*i**4/12 + 3*i**2. Is s(7) composite?
True
Let d(t) = t + 8. Let i be d(-6). Let z be 8*(-2)/(-4) - i. Is 7/((1/z)/1) prime?
False
Suppose x = -4*w + 1342, -5*x = -w - 2*x + 329. Is w prime?
False
Let m = 28 - 28. Suppose m = -k - 160 + 399. Is k a prime number?
True
Let o(i) = -i**3 + 3*i**2 - 3*i + 2. Let k be o(2). Suppose k*x = -5*x - m + 1, 4*x + 2*m - 2 = 0. Suppose 0 = 3*j + a - 37, -3*j - 5*a + 53 = -x*j. Is j prime?
True
Let h(r) = 7*r**3 - r**2 - 3*r + 4. Let f be h(3). Is f/3 - (-11)/(-33) composite?
True
Let n be (3/(-1))/(8/16). Is n/3 + 42 - -3 composite?
False
Let y(l) = 37*l - 16. Is y(21) a prime number?
True
Suppose 0 = g - 2*g + 153. Suppose 0 = -n + g + 154. Is n a composite number?
False
Suppose -6*x = -x - 12235. Is x a prime number?
True
Let a(p) = 27*p**2 + 11*p + 7. Is a(-4) a prime number?
False
Is ((-9)/18)/(2/(-3188)) a prime number?
True
Let c(r) = 3*r - 6*r + 1 + 24*r. Let q = 6 - 4. Is c(q) composite?
False
Is 1267 + -1 - (24/4)/(-6) prime?
False
Let t(d) = -4*d + d**2 + 0 + 3 + 0. Is t(-4) composite?
True
Let x(k) = k**2 + 3*k - 3. Let h be x(-4). Is h/2*1130/5 a prime number?
True
Suppose 0 = 6*b - 426 + 12. Is b a composite number?
True
Suppose d = 3*q - 378, 0*d + 118 = q - 3*d. Is q prime?
True
Let n be (-156)/2*(-7)/2. Suppose -j = -4*g + 625, 2*g - 32 - n = 3*j. Is g a composite number?
False
Let m(x) = -2*x + 3. Let z be m(9). Suppose -s - 117 + 35 = 0. Let b = z - s. Is b a prime number?
True
Let v = 805 - -310. Is v a prime number?
False
Let r be (9/(-6))/(2/4). Let c = 1 + r. Is (3/c)/((-4)/8) a prime number?
True
Suppose 35 = 4*k - s, 3*s + 4 + 5 = 0. Is (-97)/(-3) - k/(-12) composite?
True
Let j = 650 - 427. Is j a prime number?
True
Suppose -a - 5*k = -6*a + 2475, 3*k + 6 = 0. Is a a prime number?
False
Let r be (-5655)/(-20) - (-2)/8. Suppose -4*t + r = 15. Is t a composite number?
False
Let v(l) = l**3 - 3*l**2 - 5*l + 9. Is v(10) prime?
True
Let i be 2/(-9) - (-56)/9. Let w(f) be the first derivative of 5*f**2/2 - 9*f - 2. Is w(i) a prime number?
False
Suppose 2*i = 7*i - 1335. Suppose -4*o + o = -i. Is o a composite number?
False
Suppose v - 1 = -w - 3, -5*w = -5*v + 40. Let n(p) = 2*p**2 + p + 6. Is n(w) a prime number?
False
Let v = 222 - 76. Is v a prime number?
False
Let t = -197 - -300. Is t prime?
True
Let l(x) = x**2 - 7*x - 2. Let i be l(-7). Let o be (3/4)/((-3)/(-12)). Suppose 0 = -3*s - q + i, -51 = o*s - 5*s - 5*q. Is s a prime number?
False
Let m(g) = -g + 2. Suppose 3*s - 3*v + 9 = 0, 0*v - 9 = s - 3*v. Let p be m(s). Suppose p*c = -0*c + 98. Is c prime?
False
Let f(n) = 20*n + 5. Let j(