+ i = 134. Is l a prime number?
True
Is (-12974)/(-65) + (-6)/10 a prime number?
True
Let y = -4 + -2. Let c be (2 + 15/y)*-290. Suppose -3*l = 34 - c. Is l a prime number?
True
Let l = 408 + -191. Is l a prime number?
False
Let p(r) = r**3 - 4*r**2 + 2*r + 2. Let i be p(3). Is 0 + (18 - (0 + i)) a composite number?
False
Let r(d) = d + 1. Let y be 3*1/(3/(-1)). Let i be r(y). Suppose -3*s + i*s = -18. Is s a prime number?
False
Let x(v) be the third derivative of v**5/60 - v**4/12 - v**3/6 - 2*v**2. Let q be (-18)/(-5) + 2/5. Is x(q) composite?
False
Let q = 98 + -163. Let i = 120 + q. Is i a prime number?
False
Let j = 2119 - 1113. Suppose c = 3*c - j. Is c composite?
False
Let f be 2/(-4) + (-169)/(-2). Let o be 2/4 - f/(-8). Suppose 0 = -0*n + n - o. Is n composite?
False
Let c(l) = 2*l**2 + 2*l + 5. Is c(12) a composite number?
False
Let i = 110 + -4. Suppose 3*v - 44 = i. Let g = 33 + v. Is g prime?
True
Suppose 3*z - 3608 = 5611. Is z composite?
True
Let a = 138 - 43. Suppose 5*v + 0*v - a = 0. Let w = v - -30. Is w prime?
False
Let x(g) = g**2 + 6*g + 3. Let c be 5*(54/(-15))/3. Let u be x(c). Suppose r = u*r - 98. Is r prime?
False
Is (-14*(-1)/2)/1 prime?
True
Suppose 4*q - l - 35 = -0*q, 2*q + 4*l = 4. Let u = 75 - 44. Let b = u + q. Is b composite?
True
Let a(h) = -2*h. Let f be a(-1). Suppose -4*q - 8 = r + 1, 13 = 3*r + f*q. Is r a prime number?
True
Let i = 50 - -65. Is i composite?
True
Suppose -4*t = -8 - 32. Is 1185/t*(-4)/(-3) a prime number?
False
Let l(v) = 17*v**2 + 3*v - 5. Let b be l(-4). Let o(f) = f**2 - 1. Let y be o(-2). Suppose -y*n + b = -0*n. Is n a prime number?
False
Let i = 47 - -22. Is i a prime number?
False
Let q(z) = 39*z**3 - z**2 - 3*z + 1. Let t be q(2). Let o = t - 41. Is o a composite number?
True
Let c(f) = f**2 - 2*f - 8. Let t be -1 + -1 + (0 - -13). Let b = t + -18. Is c(b) composite?
True
Let x = 225 - 74. Suppose b - 72 = x. Is b prime?
True
Suppose 48 = 4*t - d, 3*d - 4 = 5*t - 57. Suppose -4*z = -t - 127. Is z prime?
False
Let c = 2486 + -177. Is c a composite number?
False
Suppose -20 = 4*d + 4. Let b(y) = 2*y**2 + 5. Is b(d) composite?
True
Let x = -10 + 15. Let j be x + 1 - (0 - 0). Suppose -237 = -j*g + 3*g. Is g composite?
False
Suppose 3*k = 5*k - 286. Is k a prime number?
False
Let i = 32 + -16. Let q = 129 + i. Is q a composite number?
True
Suppose 5*q - 2*o = 811, -1 = -2*o + 3. Is q a prime number?
True
Suppose o - 63 = -4*b, 5*b + 0 = -3*o + 84. Let j = 54 + b. Is j composite?
True
Let z(x) = -3 + 0*x**2 - x**2 - 3*x + 2*x**3 - 3*x**3. Let h be z(-2). Suppose h = 2*j - 39. Is j a composite number?
False
Suppose -2*q - 9 + 83 = 0. Is q prime?
True
Suppose 5*p - 25 = 0, y + 9 = -2*y + 3*p. Suppose 3*v = o - 25, 0 = 2*o + y*v - 9 - 1. Is o a composite number?
True
Suppose 0*d = 4*d + 24. Let t = 45 + d. Is t a prime number?
False
Let b be (-1)/2 - 6/(-4). Let h(w) = 22*w**3 - 1. Is h(b) prime?
False
Let m(b) be the second derivative of 0 + 53/12*b**4 + 1/6*b**3 + 2*b - 1/2*b**2. Is m(1) prime?
True
Let w = 2759 - 1838. Is (-1 + 0)/((-3)/w) a composite number?
False
Suppose 3*x - 7*x - m + 4935 = 0, 5*m = -5. Suppose -5*j - 69 + x = 2*h, 4*j - 945 = h. Suppose -4*u = u - j. Is u composite?
False
Let i(t) = 5*t + 22. Is i(9) composite?
False
Suppose -5*j = 1886 + 9754. Let k be 2/(-9) + j/(-27). Suppose 76 = 2*f - w, 5*f - w - k - 101 = 0. Is f a prime number?
True
Let i(x) = 4*x**3 + 5*x**2 + x - 7. Is i(6) a prime number?
False
Let x(r) = 2*r**2 + 2*r - 2. Let d(w) = w**3 - 9*w**2 - w + 13. Let z be d(9). Suppose 28 = -z*n + 4*u, -4*u - u + 23 = -2*n. Is x(n) a prime number?
False
Suppose -3*f + 4*f - 1 = 0, -4*f = 2*d - 14. Suppose -2*k - d = -c + 1, -5*c - 5*k + 90 = 0. Is c composite?
True
Let b(t) = -t**2 - 3*t + 3. Let c be b(-5). Let j(i) = i + 10. Let w be j(c). Suppose -f + 2*p + 72 = 6, -4*p = w*f - 158. Is f a composite number?
True
Is -1 - (813 + -3)/(-3) prime?
True
Let l = -13 + 9. Is (-138)/4*l/6 prime?
True
Let q(i) = -195*i - 4. Is q(-3) a composite number?
True
Let l(i) = 2*i**2 + 28*i - 21. Is l(-28) a composite number?
True
Let d(z) be the second derivative of z**4 - z**3/3 + 7*z**2/2 + z. Is d(-5) a prime number?
True
Let u(i) = i**2 - 2*i - 1. Let h be u(-1). Is 5/h*18/3 a composite number?
True
Suppose 0 = 2*w - 6*w + 24. Let c be w*((-12)/(-2))/3. Is 122/12 + (-2)/c prime?
False
Let f = 7 + -5. Is f/9 - (-1655)/45 a prime number?
True
Let p = 481 + -304. Is p a composite number?
True
Let u be 2*((-1249)/(-2) + 2). Suppose -2*z - u - 73 = -4*t, -5*z - 667 = -2*t. Is t a prime number?
True
Suppose 5*z + 3*g = -g - 5, 3*z + 3*g = -6. Suppose 5*f - 4*f - 2 = 0. Suppose -f*x + 0 = 2, z*b - 109 = 4*x. Is b composite?
True
Let s = 72 + 34. Suppose 0 = 3*r - s - 707. Is r composite?
False
Let c = 418 + 1021. Is c a composite number?
False
Let n = 4 - 4. Suppose n*i - 1045 = -5*i. Is i a prime number?
False
Let y(l) = l**2 - 2*l - 2. Suppose -a = a - 22. Is y(a) prime?
True
Suppose 68 = 3*a - 76. Suppose -2*l - 2*l - 4*z - a = 0, -5*l + 3*z = 76. Let f = l - -21. Is f a prime number?
True
Suppose 0 = 5*w, -3*w = 3*d - 753 - 960. Suppose 5*y + 91 = q, -6*y + d = 5*q - 2*y. Is q a prime number?
False
Let x = 423 - -638. Is x a prime number?
True
Let m = -5 - -16. Let h = 3 + m. Is h composite?
True
Let b = 5 - 5. Suppose 0 = 2*p - 0*p + n - 590, -2*p + 2*n + 590 = b. Is p a prime number?
False
Let l = 440 + -47. Let j be (6 + -3)*l/9. Suppose j = 5*r - 54. Is r composite?
False
Let l = 0 + 0. Suppose -z + 4*k + 157 = 0, l*k + k = -4*z + 594. Is z prime?
True
Is 3 + 1*-6 + 454 composite?
True
Let d(w) = -w**2 - 4*w + 1. Let z = 5 - 8. Let y be d(z). Suppose -4*c - o + 137 = 0, y*o = 2*c - c - 30. Is c a composite number?
True
Let g = 9 + -9. Suppose 5*v + 20 = g, 5*o - v - 429 - 530 = 0. Is o prime?
True
Let i = 13 - 12. Is 1/1*(i + 10) a composite number?
False
Let k = 16 - 22. Let c be 10*-3*k/45. Is ((-134)/c)/((-2)/4) prime?
True
Suppose -6*t = -2*t - 64. Let v(m) = 3*m + 5. Is v(t) prime?
True
Let t(v) = 20*v - 2. Suppose -2*f = -j + 11, j = -0*j - 1. Let b be t(f). Let l = 211 + b. Is l composite?
False
Let p = 40 - 34. Suppose x = -33 + 137. Is 2/p - x/(-12) a composite number?
True
Let z be (-19386)/(-10) + 4/10. Suppose 3*g = -628 + z. Suppose a = -4*a + b + g, 4*a - 4*b = 356. Is a a prime number?
False
Let r(n) = -n**3 - 8*n**2 - n - 3. Let q be r(-8). Suppose 0 = -3*j + q*m + 23, -3*j + 47 = 2*j - 4*m. Let w = 34 - j. Is w a prime number?
True
Suppose 0*v = -4*r + 2*v + 4604, 0 = r + 4*v - 1151. Is r prime?
True
Suppose 5*j - 10 = -0*j, -3*t + 4*j - 62 = 0. Let i be 4/(t/(-8) + -2). Suppose -5*k + i = -9, 0 = -w + k + 28. Is w composite?
True
Suppose 2*h = -0*h - v + 245, -4*h + 487 = 5*v. Is h prime?
False
Let m(p) = p**2 + p - 7. Let f be m(0). Let k(b) = b**2 + 6*b - 2. Let a be k(f). Suppose -539 = -a*x - 124. Is x composite?
False
Is 203/14 + ((-5)/2 - -2) composite?
True
Suppose 5 + 3 = -4*s. Let b be (6/2 + s)*1. Is (b + 145 - 0) + -1 a composite number?
True
Suppose s - 120 - 349 = 0. Is s a prime number?
False
Let l = 147 - 78. Is l composite?
True
Let t(s) = -s**3 + 4*s - 5. Let m(b) = -b**2 - 7*b. Let a be m(-7). Let k be (a - -1)*(-1 + -3). Is t(k) composite?
False
Suppose 3*f = -4*o + 26, 5*f - 4*o + 10 = -0. Suppose p - 32 = 5*i, f*p - 20 = p - i. Is p a composite number?
True
Suppose 6*w - 9*w = 3. Is w*1*(-556)/4 a prime number?
True
Suppose 9 = 3*a, -4*a + 16 = 4*y - 3*y. Suppose -2*n + 3*j + 441 = n, -8 = -y*j. Is n a prime number?
True
Let g(q) = -175*q**3 - 2*q**2 - 3*q. Let v be g(-2). Suppose k = -k + v. Is k a prime number?
False
Let r = 2707 - 1590. Is r a composite number?
False
Let u(i) = -i - 4. Let w be u(-8). Suppose -w*l = -278 - 590. Is l composite?
True
Let n(q) = -37*q - 3. Is n(-2) a composite number?
False
Let s be (4/(-6))/(9/(-27)). Suppose s*d + 5*o + 31 = 0, 0 = -5*d - 2*o - 23 - 2. Is 2/d + 1726/6 prime?
False
Let n = -3 - -10. Let t(o) = 2*o**2 - 5*o + 4. Is t(n) a composite number?
False
Suppose -8*l + 3*l = 4*h - 15, -2*l = 2*h - 6. Suppose -5*s + 2*g + 1265 = 3*g, 3*s - 5*g - 759 = h. Is s prime?
False
Let s(z) = z**2 + 8*z + 17. Is s(-12) a prime number?
False
Is (-471)/(4 + 44/(-8)) a prime number?
False
Let s be