. Suppose 2*s = h - 252 - m, -2*s - 792 = -2*h. Is h a prime number?
False
Let h be ((-2)/(-6))/(2/24). Suppose x + 93 = h*x. Is x prime?
True
Let m = 809 - 488. Is m a composite number?
True
Let x(d) = 9*d**2 - 2*d - 71. Is x(12) composite?
False
Suppose 5*r - 4*b = 600, 108 - 703 = -5*r + 3*b. Let j = r - 47. Is j prime?
False
Let k be (29620/25)/((-8)/(-20)). Suppose -7*r + k = -5*r. Is r composite?
False
Let q(j) = 2*j**2 - 3*j + 3. Let h be q(2). Suppose h*d - 2*d = 45. Is (5/d)/(2/462) a composite number?
True
Suppose -3*m + 4*p - p - 432 = 0, 2*p = -m - 153. Let b = m - -212. Is b composite?
True
Let t(s) = 7*s + 159. Let y(p) = 11*p + 239. Let o(c) = 8*t(c) - 5*y(c). Let h = -5 - -5. Is o(h) prime?
False
Let d(p) = 32*p + 1. Let v be d(3). Suppose t = -5*z + v + 87, -2*z - 5*t + 69 = 0. Is z a composite number?
False
Suppose 46*r - 22 = 48*r. Suppose 3*q - 152 + 17 = 0. Let d = r + q. Is d composite?
True
Let q = 200 - -85. Let o = q - 180. Let p = o - 22. Is p prime?
True
Suppose 0 = 2*t + 37 + 201. Let l = t + 208. Is l a composite number?
False
Let l(v) = v**3 - v**2 + 1. Let z(b) = -5*b**3 + 12*b**2 + 6*b - 15. Let j(q) = -6*l(q) - z(q). Is j(-8) a prime number?
False
Suppose 2 = -5*c + 6*c. Let k be (-5)/2*c*-53. Suppose 5*b - k = 4*m, 5*m = -b - b + 73. Is b a prime number?
False
Suppose 4*o + o - 5 = 0. Suppose -o = -w + 30. Is w prime?
True
Let q(z) = 7*z**2 + 3*z - 5. Let r be q(4). Suppose -r = 5*l - 6*l. Is l a composite number?
True
Suppose 2*y - 4*c - 28 = c, -y = 2*c - 14. Let v be (-4)/y + 60/(-35). Is -4 - -2 - (-223 + v) composite?
False
Let s be 1/(-3) + (-8)/3. Let w = s - 9. Is ((-66)/4)/(9/w) prime?
False
Let c(d) = 48*d**2 + 13*d - 23. Let b(r) = 24*r**2 + 6*r - 11. Let m(x) = 5*b(x) - 2*c(x). Is m(-5) composite?
False
Let b = 0 + 0. Suppose b = -5*q + 158 - 28. Let t = 7 + q. Is t a composite number?
True
Suppose 2*i = -3*i - 3*w + 3, -5*i = -4*w + 4. Suppose 0 = 3*n, k - 535 = -i*k + 4*n. Is k prime?
False
Let r = 0 - 5. Let m = 8 + r. Suppose -4*l = -m*o - 0*l + 67, 4*o - 83 = -l. Is o composite?
True
Let k(b) = -2*b + 37. Let q be k(0). Let g = -16 + q. Is g a prime number?
False
Let d = 6699 - 4508. Is d a prime number?
False
Let j(q) be the third derivative of q**5/60 - q**4/12 - q**3/3 - 2*q**2. Let b be j(3). Let a(p) = 56*p - 1. Is a(b) prime?
False
Let b(t) = -5*t**2 - t - 9. Let j(d) = -6*d**2 - 2*d - 10. Let h(s) = -3*b(s) + 2*j(s). Is h(-4) a composite number?
False
Suppose 4*z - 229 = -3*o, 2*o - 46 - 135 = 3*z. Is o composite?
False
Let a = -13 - -51. Is a a composite number?
True
Suppose -r + 5*r = 224. Suppose 93 = 4*b + 97. Is (r - b) + 3 + -2 prime?
False
Suppose 0 = -0*u - 3*u + 753. Is u a prime number?
True
Is (4/(-6))/((-14)/4263) prime?
False
Let n(r) = -r**2 + 10*r - 11. Let g be n(8). Let d(z) = -2*z**2 + 370. Let l be d(0). Suppose -g*f + l = -0*f. Is f composite?
True
Suppose -s + d + 4 - 3 = 0, 0 = -5*s - 5*d + 35. Suppose 4*v + 0*v = 0. Suppose v*z + 469 = 3*z + 2*t, z + s*t - 143 = 0. Is z prime?
False
Let v be 1/4*6*6. Suppose 2*k + 2*z - 290 = 0, 3*k = 4*z - v*z + 427. Is k a composite number?
False
Suppose -s - h = h - 12, -s + 2*h = 0. Suppose 2*v - s*v = 5*c - 351, -4*v = -3*c + 185. Is c prime?
True
Let h be ((-84)/(-7))/(3/560). Suppose -4*f + 4*s = -0*f - h, -4*f - 5*s + 2213 = 0. Is f prime?
True
Suppose c - 925 = -4*c. Is (6 - 5)/(1/c) composite?
True
Let b(n) = -n**2 + n + 8. Let c be b(6). Let k = 61 + c. Is k prime?
False
Let v(c) = -c**2 + 20*c - 7. Suppose 0*m + 2*m + 54 = 5*u, -5*m = -3*u + 21. Is v(u) prime?
True
Let f(v) be the third derivative of 13*v**4/24 + v**3/3 - 2*v**2. Let r be f(8). Suppose -7*l + 4*l - 5*p = -r, 2*p = -3*l + 109. Is l a prime number?
True
Let g(m) = -m**3 + 12*m**2 - 9*m - 9. Let r be g(12). Let c = 196 + r. Is c prime?
True
Suppose 0 = -3*w - 0*q + q + 808, 5*w - 1350 = 5*q. Is w composite?
False
Let a(k) = k**2 + 5*k - 3. Let h be a(-6). Let n be (-3)/((9/h)/(-3)). Is ((-18)/3)/n - -8 a composite number?
True
Suppose -2*n + 3*n = 5*a - 655, -4*n = 5*a - 680. Suppose a = 2*g - 98. Is g composite?
True
Let i(l) = -l**3 - 5*l**2 - 6*l - 5. Let g be (-10)/(-5) - 2*3. Let n be i(g). Suppose q + n = 70. Is q composite?
False
Let c(z) = -30*z - 5. Is c(-4) a composite number?
True
Suppose -4*n + 221 = -3*n - 5*q, 213 = n - q. Is n a prime number?
True
Let l(x) = -x**3 + x**2 - x - 4. Is l(-3) prime?
False
Let i = -118 + 165. Suppose -2*o + i + 87 = 0. Is o a prime number?
True
Suppose -2*z + 8 = -6*z. Let n be 1/(-3 - z)*3. Is (-2379)/(-9) - 2/n a composite number?
True
Let s = 172 - -43. Is s a prime number?
False
Let y = 1310 + -783. Is y prime?
False
Let g = 2754 - 1417. Is g composite?
True
Let j(k) = -k**3 - 5*k**2 + 8*k - 7. Suppose -4*g - n = 32, -2*g + 5*g = 3*n - 24. Is j(g) prime?
False
Suppose 0 = 2*k + 3*k - 5. Is 3*(31/3 + k) composite?
True
Suppose 4*a - b - 193 = 189, 0 = -3*a - 3*b + 279. Is a a composite number?
True
Is 3 - (-1898)/6 - (-1)/(-3) composite?
True
Suppose k = 4*k - 12, 0 = -3*a - 4*k + 649. Is a prime?
True
Let w(o) = 2 + 1 + 2 + o. Let b be w(0). Suppose b*r - 243 - 92 = 0. Is r a prime number?
True
Let u(z) = -z**2 + 3*z - 2. Let g be u(2). Suppose g = 3*x + 3*i - 90, x + 3*x - 116 = -5*i. Suppose -4*j = 2*p - 99 - 9, -x = -p + 3*j. Is p prime?
False
Let b(n) = 4*n - 5. Suppose 0 = 5*i - 79 + 19. Is b(i) prime?
True
Let d(q) = -q**3 + 8*q**2 + 6*q - 11. Suppose 2*a = -a + 24. Is d(a) a prime number?
True
Let x(f) = f**3 + 3*f**2 - 5*f - 1. Let m be x(-4). Let b be 1/m - 24/(-9). Suppose -b*a + 114 = 3. Is a a prime number?
True
Suppose -k = -6 - 8. Suppose 649 = 5*q + k. Is q prime?
True
Let a(v) = -5*v + 5. Let g(c) = c**3 + 6*c**2 + 2*c + 6. Let j be g(-6). Is a(j) a prime number?
False
Let r = -25 - -17. Let i = r - -14. Is i prime?
False
Let u(f) = -f**3 + 9*f**2 + f - 8. Let l be u(9). Let m(o) = -3*o**2. Let q be m(l). Let j = q - -5. Is j prime?
True
Is (-12)/8*(-4164)/18 composite?
False
Let i(y) = 2*y**3 - 5*y**2 - 9*y - 9. Is i(8) a composite number?
True
Let p = 74 + -11. Let b be p/5 + (-6)/10. Let y = 11 + b. Is y a composite number?
False
Let p be (-2)/12 + (-38)/(-12). Suppose 3*d = -p*s + 12, -3*s - d = -4*s + 6. Suppose -2*w = -2*o + 106, -o - s*w = 4*o - 265. Is o a prime number?
True
Let w = 102 + -44. Is w a composite number?
True
Let n be (4/6)/(3/(-54)). Let y be (4/n)/((-1)/3). Is (1 - 26)*-1*y composite?
True
Suppose -3*z - 2*y = -639, 3*z - 5*y = 574 + 44. Is z composite?
False
Let i be 14/(1 + 1)*-1. Let r = i + 12. Suppose r*n - 667 = -62. Is n a composite number?
True
Is -1 - ((-231)/1 + (-8 - -5)) a composite number?
False
Is (-2 - 2)*(-382)/8 a prime number?
True
Suppose -13*d - 11*d = -151464. Is d prime?
True
Let v be (-10)/8*(0 - -4). Let t be 36/15 - (-2)/v. Suppose t*h = 0, -h + 105 = u + 2*u. Is u prime?
False
Suppose -5*r + 2*r = 9. Is r + (193 - (-4 + 3)) a composite number?
False
Let a(v) = -43*v. Let t be (-2)/6 + (-4)/6. Is a(t) prime?
True
Let r(c) = c**3 - 6*c**2. Let j(y) = 2*y**2 + 5*y + 3. Let n be j(-3). Let v be r(n). Suppose v = -2*k + 203 + 35. Is k a composite number?
True
Let m(x) = x**2 - 3*x + 3. Let u be m(3). Suppose -1 - u = -o. Suppose p - 21 = -4*l, -5*l + 0*l + 84 = o*p. Is p prime?
False
Suppose -554 + 6 = -2*i. Is i prime?
False
Suppose 7 = 2*n + 1. Suppose 0 = m - 3*m - 4*r, r + 10 = -n*m. Let l(v) = v**3 + 5*v**2 - v - 1. Is l(m) prime?
True
Suppose 2*x = 3*y - 391, -5*y + 163 = 4*x - 518. Is y prime?
False
Let h be (-8)/(-12) + 832/3. Suppose 5*u - h = 3*u. Is u composite?
False
Let u(v) be the first derivative of v**3/3 - v - 2. Is u(2) composite?
False
Let v(m) = m**2 + 7*m + 13. Let n be v(-6). Let d(z) = z**3 - 5*z**2 - 5*z + 8. Is d(n) a composite number?
False
Suppose -8 = -q + 4*l + 10, -5*l = -5*q + 30. Suppose -2*n - q*n + 268 = 0. Is n prime?
True
Let x(m) = 1070*m - 35. Is x(6) prime?
False
Suppose b + 2228 = 5*b. Is b composite?
False
Suppose -4*l - 2*v = -2, -3*l + v = -2*v - 6. Is (28/8)/(l/46) a composite number?
True
Let y(j) = 60*j**3 - 3*j**2 + j - 1. Is y(2) prime?
False
Let h = -11 - 10. Let i = -14 - h. Suppose i = w - 0*w. Is w a prime number?
True
Suppose 4*m - w = 310, -3*m + 237 = 4*w - 7*w. Is m prime?
False
Let k = -