h(a) = -13*a**3 - 2*a**2 - 5*a - 1. Is h(-3) prime?
True
Suppose -f - 2 = -3*f, 3*b + 4*f - 13 = 0. Is 88 + (-1 + b - 5) a prime number?
False
Suppose -3*h + 9 = -6*h, -3*d + 3*h + 15 = 0. Let m be (0 + 2)*1 - d. Suppose n - 15 + 2 = m. Is n a composite number?
False
Suppose 0*b - 2*b + 481 = 5*x, -b = 4*x - 245. Is b a prime number?
True
Suppose -3442 = 9*u - 10*u - 3*g, -g = u - 3436. Is u a composite number?
False
Suppose 4*n = 4*v + 4, 3*v = 2*v + 2*n - 6. Suppose -v*s - 171 = -2*j - 3*j, 5*s = -4*j + 104. Is j composite?
False
Let f be (1/(-1) - -2)*-1. Let m be 5 + f + -4 + 4. Suppose 0*q + 12 = q + d, -3*q + 41 = m*d. Is q prime?
True
Let k(v) be the second derivative of v**4/6 - 11*v**3/6 - 3*v**2 - 4*v. Is k(8) prime?
False
Let q = 3 + -1. Suppose a = -2*a + 4*g + 29, g = q*a - 21. Is a prime?
True
Let h = 161 - 52. Is h a prime number?
True
Let t(a) be the first derivative of a**4/4 - a**3 - a**2 + 3*a - 3. Let q be t(6). Is q/(-15)*(-10)/2 a prime number?
False
Suppose -5 = -2*k + 9. Let i(u) = 2*u + 17. Is i(k) a prime number?
True
Suppose -6 = -2*l + 8. Let c(o) = 4*o**3 - 3*o**3 + 2 + 3*o - 11*o**2 + 4*o**2 + 8. Is c(l) a prime number?
True
Let w = -85 - -204. Is w prime?
False
Is 20/(-5)*(-2055)/12 a prime number?
False
Let y be 1/2 + (-1941)/(-6). Is 2 + (y - 3)/3 a composite number?
False
Let q(w) = 463*w - 39. Is q(16) a composite number?
False
Let k = 13 + -18. Let q(j) = -45*j + 8. Is q(k) prime?
True
Let y = -89 - -1746. Is y composite?
False
Suppose -8 = -n + 29. Is n composite?
False
Suppose -4*i + 4 = -5*i. Let h be i + 2 + 1 + 4. Suppose 0 = -h*b + 23 + 76. Is b a prime number?
False
Let k(i) = 4*i + 9. Let o be k(4). Is 944/10 - 10/o prime?
False
Let l(c) = c**3 - c**2 - c - 164. Let k be l(0). Let p = 327 + k. Is p composite?
False
Suppose -o - o + 2*n + 3480 = 0, 0 = -5*o - 3*n + 8660. Is o a prime number?
False
Suppose 3*a - 87 = 165. Suppose 3*c + c = a. Suppose 0 = -4*i + v + 7, -2*i - 3*v = -0*v - c. Is i prime?
True
Let p(d) = 4*d**2 + d - 6. Is p(-5) composite?
False
Let g(y) = 1 + 6 + 3*y + 2 + 8*y. Is g(8) a prime number?
True
Let v(r) = -6*r - 11 + 3*r - 5*r - 12*r. Is v(-8) a composite number?
False
Let s(w) = -78*w - 35. Is s(-5) a composite number?
True
Is (-40)/(-12)*(-5055)/(-10) prime?
False
Is ((-10521)/12 - (-2)/(-8))*-7 prime?
False
Let f = 116 + -32. Suppose -4*r - 2*g + 112 = -f, -r - 3*g = -39. Is r a composite number?
True
Suppose -217 = 2*j - 3*j. Is j composite?
True
Suppose 3*k - 4*l + 131 - 4210 = 0, k - 5*l = 1356. Is k prime?
True
Suppose m - 19 = -p, 5*p + 2*m - 42 = 59. Is -2 + p/6*10 a composite number?
True
Let w = -301 - -506. Is w a composite number?
True
Suppose 46 - 1445 = -p. Is p a prime number?
True
Let t be 2/2 + 0 + -47. Let f(o) = 2*o**2 + o - 4. Let j be f(7). Let v = j + t. Is v prime?
False
Let w = 5 - 2. Suppose 7 + 5 = w*d. Suppose -b = -d*s + 85, -s + 3*b + 18 + 6 = 0. Is s a prime number?
False
Suppose 6 = 3*v - 3. Let w be (-74)/2*v/(-3). Let j = -2 + w. Is j a prime number?
False
Suppose 2*b + 30 = 4*x - 0, -2*b = 2*x. Suppose v - 40 = 4*z + 14, 82 = 2*v + x*z. Suppose -9 = -y + v. Is y prime?
False
Suppose 0 = 2*l - r - 0*r - 8, 5*l - 3*r - 18 = 0. Let z(y) = y**3 - 3*y**2 - 5*y + 7. Is z(l) a prime number?
False
Suppose -4*q = -2*q - 12. Let t be 34/q - 8/12. Suppose t = -2*a + 75. Is a a composite number?
True
Let z = -100 - -1473. Is z prime?
True
Let c be ((-6)/10)/(2/(-30)). Let o be 1*-2*(7 - c). Suppose o*w - w - u - 198 = 0, 5*u - 15 = 0. Is w a composite number?
False
Let x = -4 - -15. Is x/22 - 4850/(-4) prime?
True
Suppose 5*t = 2*t + 45. Is t a composite number?
True
Let q = -7692 + 13361. Is q composite?
False
Suppose -h = 3*h - 40. Let s = h + 5. Is s composite?
True
Let t(v) = -9*v - 13 + 4*v**2 - 8 - 1 + 3. Is t(-9) a prime number?
False
Suppose 7*g - 15 = 2*g. Suppose z = g*z. Suppose z*f + 69 = 3*f. Is f a composite number?
False
Suppose 157 = 2*m - 21. Suppose -3*t - m = -3*v - 8*t, -3*t = -2*v + 91. Is v/2*(-1)/(-1) a composite number?
False
Let w(u) = 61*u**3 - 2*u**2 + u - 3. Is w(2) prime?
True
Suppose -4*o - 27 = -0*y + 5*y, 5*y + 11 = -2*o. Let q(m) = m**2 - 4*m. Let p(i) = i**2 - 4*i + 1. Let k(g) = -2*p(g) + 3*q(g). Is k(o) prime?
False
Suppose -5*d - 2*w = 1, -5*d = 3*w + 9 - 5. Let j be ((-1)/(-3))/(d/12). Suppose 0 = -4*h + 5*x + 76, 12 = x - j*x. Is h a composite number?
True
Let p(y) = 38*y + 4. Let k be p(4). Suppose -2*w = w - 477. Suppose 2*g + w = 7*g - 4*m, -5*g + m = -k. Is g prime?
True
Suppose -2*a + 2*g = 14, a = -3*g + g + 5. Let j(d) = d**3 + 4*d**2 + d - 4. Let w be j(a). Suppose w*x - 3*o = -x + 36, 4*x - 53 = 5*o. Is x composite?
False
Let j be 3 - (6/3)/2. Suppose 5*f - j*o - 18 = f, 3*f - 4*o = 16. Suppose 4*s - 32 = -4*k, 0 = -5*k - 0*k - f*s + 36. Is k a prime number?
False
Let k(l) = -30*l**2 - 4*l - 12. Let b be k(10). Let y = -53 + 17. Is b/y + (-2)/(-9) a composite number?
True
Is (-6)/(-4) - (-343)/14 composite?
True
Let i(q) = 84*q**2 + q + 1. Let l be i(-1). Suppose 0 = 8*t - 4*t + l. Is (-7)/t + (-146)/(-3) composite?
True
Let x = 1037 - 466. Is x a composite number?
False
Let k(s) = 122*s + 1. Let v = 2 + -1. Let h be k(v). Let b = h - 65. Is b prime?
False
Let c be 2/(-2) + (-4 - -10). Let s(b) = -4 + 7*b**2 - 4*b + 5 + 3. Is s(c) a prime number?
False
Let y(r) = -1 + 3*r + 5*r + 0. Suppose 0*c = -3*c + 3. Is y(c) a prime number?
True
Let c(o) = -63*o + 25. Is c(-22) prime?
False
Let q(j) = j**2 - 3*j - 6. Let v be q(6). Let m be (v/15)/(4/10). Suppose m*a - 4*i = -2*a + 32, 4*a + i - 57 = 0. Is a composite?
False
Let p(y) = -2*y**3 - 3*y**2 - 2*y + 1. Let q be p(-2). Let h be 2/q - 68/(-18). Suppose -5*j = -3*j + 6, h*j + 50 = 2*a. Is a prime?
True
Suppose 3*u + 0 = -4*f - 1, -3 = -u - 3*f. Let w = u + 5. Suppose 4*r + r = -w*g + 218, -5*g + 545 = r. Is g composite?
False
Suppose 5*d - 15239 = -2*n, 2*n - 6*n + 30408 = -4*d. Is n composite?
False
Let g(b) = -3*b - 5. Let s be g(-4). Let k = s - 3. Suppose -k*n - n = -230. Is n composite?
True
Suppose -2*z + l = 0, z - 4*l + 6*l + 10 = 0. Is (63 - -3 - z) + -3 a prime number?
False
Is (-1 - 14857/(-3))/(18/27) composite?
True
Let y(t) = -8*t - 8. Let c be y(-10). Let a = 37 + c. Is a a composite number?
False
Let y(a) = a**2 - 2*a + 3. Let t be y(3). Suppose s + s + 2 = -3*d, s + 4*d = -t. Suppose s*r - 159 = -r. Is r composite?
False
Let o be 2/13 - 6589/(-13). Let m = 352 - o. Let j = 252 + m. Is j composite?
False
Let d = 2 + -2. Suppose q = -d*q + 37. Is q prime?
True
Is ((-76)/10)/((-6)/75) prime?
False
Suppose 3*f = 2*f + 3. Suppose -f*q - 9 = -2*v, -q + 2 - 9 = -2*v. Suppose -146 - 115 = -v*a. Is a a prime number?
False
Let z = 1057 - 644. Is z a prime number?
False
Suppose -204 = 2*c - 1694. Is c prime?
False
Let o(v) = 13*v. Let f(k) = k**2 + 6*k + 6. Let h be f(-6). Let j be o(h). Is (8/24)/(2/j) a prime number?
True
Let x be 26*(6/(-4) + 1). Let h(l) = -2*l**2 - 3*l + 19. Let q be h(x). Let j = -146 - q. Is j a composite number?
True
Let n = -961 - -1350. Is n prime?
True
Suppose 0 = -11*r + 3430 + 3489. Is r a composite number?
True
Let k(p) = 8*p**2 + 2*p - 5. Is k(4) prime?
True
Suppose -1405 - 1567 = -4*j. Is j composite?
False
Suppose 0*d = -3*c + d + 3, -2 = -4*c + 2*d. Suppose 0*s = -5*q - 5*s + 20, 5*q - s - 26 = 0. Let i = q - c. Is i a composite number?
False
Suppose 2*p - 26 - 100 = 0. Suppose p = -5*m + 488. Is m prime?
False
Let j = 1081 + -521. Suppose -4*b - 278 = -2*a, -j = -3*a - a + 4*b. Is a prime?
False
Suppose -3*z - 2*z - 4*h + 86 = 0, -2*h + 50 = 3*z. Suppose -4*d = -m + 3, -3*m + d + z = -6. Let i(p) = 30*p + 1. Is i(m) prime?
True
Let y be 24/15 + (-2)/(-5). Suppose -y*i + 4*i = 30. Is (i + 0)/((-3)/(-2)) a prime number?
False
Suppose -24 + 4 = -5*f. Suppose -f*c + 9*c - 515 = 0. Is c a composite number?
False
Let j(f) = f**3 - f + 196. Let y be j(0). Let d = y + -105. Is d a prime number?
False
Suppose -g + 10 = -4*g - 4*w, -4*w = g + 14. Suppose 5 = g*k - k. Suppose 0 = -k*x - 11 + 666. Is x prime?
True
Let l be (1 + 12/(-8))*-6. Suppose 4*j - 3*p - 142 = -0*p, 104 = l*j - p. Is j composite?
True
Let d = -22 - -16. Let o(y) be the second derivative of y**4/4 - 5*y**3/3 - 7*y**2/2 - 3*y. Is o(d) prime?
False
Is (-6