 Is o prime?
False
Let s(w) be the third derivative of -w**5/30 - w**4/24 + 79*w**3/6 - 9*w**2. Is s(0) composite?
False
Let k(q) be the second derivative of -3*q**3/2 + q**2/2 - 2*q. Suppose 5*a + 7 + 3 = 0. Is k(a) a prime number?
True
Is 9/(-3) + -2 + 220 a prime number?
False
Suppose 8*j - 5*j - 366 = 0. Is j a composite number?
True
Let a = -26 + 37. Suppose -3*t + a = 2*c, 3*t - 6 = -c + 1. Let z(s) = 10*s - 5. Is z(c) a prime number?
False
Let i(v) = -624*v - 41. Is i(-5) a composite number?
False
Let z(m) = -m**3 + 5*m**2 - 3*m. Let t be z(4). Suppose -3*g - 6 = -t*g. Let y(j) = -j**3 + 6*j**2 + 5*j - 9. Is y(g) a composite number?
True
Let u = -36 - -71. Suppose -2 = 2*k - 2*w, -5*k + 0*k - 5*w + u = 0. Suppose k*a = 6*a - 5*r - 334, -5*a = -4*r - 561. Is a prime?
True
Let m(q) = -4*q + 0*q**2 + 3 + q**3 + 10*q**2 + 1. Is m(-5) a composite number?
False
Suppose -2*m + 0 = -6, -5*m - 1 = -4*f. Suppose d - 77 = -0*d - f*t, 0 = 2*t - 10. Is d a prime number?
False
Suppose -5*h - w = -41 + 17, 2*w + 8 = 4*h. Suppose h*j - 16 = x - 3*x, x = 0. Suppose -n - 4*k + 63 = 0, k - 4*k = -j*n + 271. Is n composite?
False
Let r(a) = -a**3 + 3*a**2 + 3. Let y be r(3). Let z(q) = 2*q - 1. Let m be z(2). Suppose 5*w + 2*u + y*u = 195, m*u = -4*w + 154. Is w a composite number?
False
Let q(i) = -1214*i - 1. Is q(-1) a prime number?
True
Let b(x) = -x**2 - 17*x - 5. Is b(-8) a prime number?
True
Suppose 65 + 107 = 2*j. Let w = j + -51. Is w a composite number?
True
Suppose 0*h + 3*h = 279. Is h composite?
True
Let y(i) = i**3 - 15*i**2 + 36*i + 11. Is y(15) prime?
False
Let o = 26 - -19. Let w be ((-8)/6)/(10/o). Is 142/6 + 4/w a composite number?
False
Let m(r) = r**3 + 21*r**2 + 4*r. Let c be m(-10). Suppose -f - 3*f = -c. Is f prime?
False
Let m(w) = -2*w - 8. Let p be m(-6). Suppose p*a + 425 = 5*i, 3*i + 0*i = -4*a + 287. Is i a prime number?
True
Let l = -4 - -189. Is l prime?
False
Let r(v) = -2*v - 2. Let o be r(-2). Suppose 0 = -0*y + o*y - 56. Suppose -3*j + 83 = -y. Is j a prime number?
True
Suppose 0 = 9*a - 0*a - 198. Is a prime?
False
Suppose -r - 3*a = -11, r - 20 = -4*a - 5. Let k(p) = -3*p**2 - 2*p. Let j be k(-1). Is -1 + (-91)/r + j prime?
True
Let b(x) = -x**2 + 7*x + 8. Let a be b(7). Suppose -10 = h + s, 3*h - 49 = a*h + 4*s. Is (66/h - 0)*-3 prime?
False
Let s = 16 - 7. Let y(x) = -x**3 + 10*x**2 - 8*x - 4. Let i be y(s). Suppose -4*c - 23 = -4*v - i*c, -c = -4*v + 33. Is v a composite number?
False
Let g(a) = -33*a + 1. Let c be g(-2). Let h = c - 32. Is h a prime number?
False
Suppose -3860 = -5*p - 3*d, -3*p - 2*d + 690 = -1627. Is p composite?
False
Let p be 16/2 + -3 + 0. Suppose 2*u = -2*g - g + 172, p*u + 2*g = 419. Is u prime?
True
Let r = -8 - -6. Let d = -2 - r. Suppose -3*m - 3*s + 57 + 96 = 0, 3*m - s - 161 = d. Is m a composite number?
False
Suppose -5 - 4 = -3*q. Suppose -2*v + q - 1 = 0. Is v/3 - 1746/(-27) composite?
True
Let t(z) = -2*z**2 + 7*z + 2. Let u be t(5). Let k = 2 - u. Is k a composite number?
True
Let r(f) = 32*f - 6. Let w(z) = 64*z - 11. Let x(l) = 5*r(l) - 3*w(l). Is x(-4) a prime number?
True
Suppose t + 1 + 3 = -4*s, 0 = -t - 3*s - 1. Let f(q) = q**2 + 9*q + 3. Is f(t) a composite number?
False
Let x be (-6 - -8)/((-2)/5). Let i(w) = -w**2 - 10*w + 9. Let n(t) = t**2 + 10*t - 8. Let p(q) = x*n(q) - 4*i(q). Is p(-7) composite?
True
Let q = 1122 + 73. Is q a composite number?
True
Suppose -6*u + 540 = -2*u. Let i = u + -56. Is i a prime number?
True
Let p(u) = 12*u**2 - 1. Suppose 3*f - 13 = 2*b, -b = f - 4*b - 9. Let l be 8/(-6) - (-1)/f. Is p(l) a prime number?
True
Suppose 1411 = 3*m - 671. Suppose w = 8 - 3. Suppose 0 = w*u + 59 - m. Is u a prime number?
True
Suppose -5*z - 2*q = 161, 0 = -2*z + q + q - 70. Suppose 0 = 3*b + 5*l - 253, -170 = -4*b + 2*b - 2*l. Let v = b + z. Is v a prime number?
True
Suppose 0*l = l. Suppose 0*j - 2*j + 474 = l. Is j composite?
True
Is (-74)/(-3)*(-5 + 8) a prime number?
False
Let u be (4/(-3))/(2/(-3)). Suppose 6*j = u*j + 88. Is j a prime number?
False
Let l = -500 + -539. Let a = -624 - l. Suppose n - 5*n = -p + 83, 4*n = 5*p - a. Is p prime?
True
Let i = -3 - -6. Let p = i + 39. Is (-514)/(-14) - (-12)/p a composite number?
False
Suppose -2*a = 3*u - 580, -a - 383 = -2*u - 6*a. Let x = -117 + u. Is x prime?
False
Is (-936)/(-8) - (-1 - 1) prime?
False
Suppose -4*g = 5*v - 2*v + 75, 4*g = -2*v - 78. Let c = g - -34. Let m = c + -2. Is m a composite number?
False
Suppose -5*d - 296 - 314 = 0. Let s = -6 - d. Let m = 137 + s. Is m a composite number?
True
Let z = 454 + -820. Is 1/(z/(-363) + -1) composite?
True
Let a be ((-15)/10)/((-1)/2). Suppose -a*x - 940 = -7*x. Is x a composite number?
True
Suppose 3*l + 3 - 15 = 0. Suppose 0*w + l*w - 596 = 0. Is w prime?
True
Suppose 270 = f + 4*f. Let a = 112 - f. Is a prime?
False
Let f be (-2)/(-6) + (-58)/(-6). Suppose 0 = -m + 2*g + 18, 5*g - 25 = -0*g. Is (m/f)/((-6)/(-30)) a prime number?
False
Suppose -2*t - 2*t = 2*r + 2, -r - 1 = 5*t. Let m = r + 0. Is (308/(-8))/(m/2) a prime number?
False
Is 1548/((-15)/(-5)) + 2 + -1 composite?
True
Let r(z) = -z + 8. Let u be r(4). Suppose -v + 5*v - 512 = 0. Suppose -2*a + 6*a - v = -4*b, 93 = 3*b + u*a. Is b a prime number?
False
Let b(o) = 6 - 2*o - o**2 + o**3 + 7 + o. Suppose -3*g - 4*w = 4, -w - 4*w - 5 = -3*g. Is b(g) composite?
False
Let r(s) = -s**2 - 7*s + 11. Let v be r(-8). Suppose z = -5*d + 4*z - 180, -v*d - 132 = 3*z. Let x = d + 136. Is x prime?
True
Let x be (3 + -15 + -2)*-9. Let q = x + -71. Is q composite?
True
Let u(q) = q**3 + 6*q**2 + 3. Let o be u(-6). Let d be o/(8 + 1)*9. Suppose -d*z = -5*c + 171, 2*c + 3*z = 20 + 40. Is c composite?
True
Suppose 5*m - 2*m - 9 = 0. Suppose m*w - 380 = -29. Is 2/(3/(w/6)) a prime number?
True
Let m = 656 + -339. Is m a prime number?
True
Suppose 0 = -2*y + 5*y. Suppose y = 5*s - 9 - 1. Suppose -s*v + v + 253 = 3*n, n - 3*v = 71. Is n a prime number?
True
Is (3/(-1 - 2) - -2)*382 a prime number?
False
Suppose 0 = k + k - 2. Suppose -s + 4 = k. Suppose 3*g - 21 = s*o - o, -2*g + 4*o = -14. Is g prime?
True
Suppose -5*d + m + 16 = 3*m, -3*m + 9 = 0. Suppose 1 + 5 = 3*t. Suppose -t*a - d*a = -892. Is a a prime number?
True
Let i(f) = f + 8. Let s be i(-11). Let m(y) = 5*y**2 + 2*y - 2. Is m(s) composite?
False
Suppose 5*h = 3*h - 1354. Let j = -192 - h. Is j prime?
False
Suppose -9*b = -6*b - 2391. Is b composite?
False
Suppose 5*t - 738 - 847 = 0. Suppose 0 = -5*x + 148 + t. Is x a prime number?
False
Let q = 0 + 3. Let n be ((-10)/q)/(2/(-3)). Suppose -n*g + 20 = -3*g. Is g a prime number?
False
Let w be (-20)/(3*1/9). Let z = w - -172. Suppose 5*n - 73 = z. Is n prime?
True
Let q = -3273 + 4634. Is q composite?
False
Let u = -886 - -2404. Suppose -4*i + 4*y = -2564, -y = 3*i - u - 393. Suppose 2*d - 379 = -3*s, 3*d = 5*s - 0*s - i. Is s a composite number?
False
Let d(l) = 78*l**2 + l. Is d(1) a composite number?
False
Suppose -5*p + 4*n + 159 = 0, 2*n + 0 - 91 = -3*p. Is p prime?
True
Let l = 813 + -412. Is l composite?
False
Suppose -3*q + 231 = -345. Suppose 0 = -p + g + 93, 6*g = 2*p + g - q. Is p a composite number?
True
Suppose -2*h = 3*h - 385. Is h a composite number?
True
Suppose 4*x - 4*c - 136 = 0, -225 = -4*x - 5*c - 53. Let d = -85 + 130. Suppose -x - d = -z. Is z composite?
False
Suppose 0 = -2*l - 5*q + 72, 74 = -l + 3*l + 4*q. Suppose g - 276 = -l. Suppose 0 = 4*v + 3 - g. Is v prime?
False
Let c(b) = b - 107. Let d(x) = x - 106. Let i(g) = -7*c(g) + 6*d(g). Is i(0) prime?
True
Let u = -5 + 9. Suppose q + 2 = u*m, -4 = -2*m + 2*q - 0. Suppose m*z = 3*z + 5*i - 37, 0 = -3*z + 2*i + 65. Is z a prime number?
True
Let j = 261 + -398. Let z = -42 - j. Is z composite?
True
Suppose x - 2*g + 6 = 2*g, 3*x + 2*g = 10. Suppose x*q = -2*q. Is ((-211)/4 - q)*-4 prime?
True
Let d(z) = -12*z. Let i be d(-1). Let m be 10*(-3)/i*-2. Suppose 384 = 4*t + 5*o + 14, 4*o - 467 = -m*t. Is t a composite number?
True
Suppose 0 = 3*d - 60 - 309. Let z = -58 + d. Is z a prime number?
False
Suppose 2*w - 4*w - 2*n = -988, -474 = -w - 5*n. Is w composite?
False
Let v = 7 + -3. Suppose o = -v*g + 45, 0*g = g - 3*o - 8. Suppose 96 = p + g. Is p a composite number?
True
Suppose 3*w = 2*w + 30. Suppose -2*k - 6 = -4*s + 12, -