 + 0. Let f be ((-58)/3)/(n/(-12)). Let b = f - 33. Is b a prime number?
True
Suppose 2*r + 6 = 4*r. Suppose -505 = -4*a + 3*o, 0 = -4*a + 3*a + r*o + 124. Is a prime?
True
Suppose 2*i + 371 = 3*a - 1084, 0 = -a + 5*i + 472. Is a a prime number?
True
Suppose 3*j = 3*l - 18, 3*l = 2*j + 2*l + 10. Let m(g) = 3*g + 7. Let a(z) = -4*z - 8. Let d(c) = 5*a(c) + 6*m(c). Is d(j) prime?
False
Let a(f) = f**3 - 5*f**2 - 3*f + 6. Let u be a(5). Let d be (-43)/(-9) - 2/u. Suppose 2*n - 155 = -d*r, 2*r + 2*n + 2*n - 62 = 0. Is r a composite number?
False
Let l(o) = -o**3 + o + 1190. Let c be l(0). Is 8/12 + c/6 a prime number?
True
Suppose 4*f = 5*v + 15, -2*v - v - 9 = 3*f. Let a = v + 7. Suppose -18 = -a*g + g. Is g prime?
False
Let v = 7 + -2. Suppose 3*b - 175 = v*q + 457, 2*b + 116 = -q. Let j = 203 + q. Is j prime?
True
Let c = 7 + -4. Suppose 0 = -c*j + 4*j + 3. Is (-56)/j + (-1)/(-3) a prime number?
True
Let a = -12 + 19. Suppose 3*t = -1 + a. Suppose -t*c - 2*l = -63 + 17, 23 = c + 2*l. Is c composite?
False
Suppose 5*m - 20 = -5*c, -20 = -5*c + 2*m - 5*m. Suppose -c*a = -a. Suppose a = -2*t + 31 + 67. Is t prime?
False
Let w = -92 + 179. Is w a prime number?
False
Suppose 5*a = 2*a. Suppose a*s + 1141 = s. Is s a composite number?
True
Is ((-70)/(-4))/(2/4) a composite number?
True
Let v(d) = d**3 - 3*d**2 - d + 1. Let h be -15*((-21)/9 - -2). Is v(h) prime?
False
Let t = -3 - -3. Suppose 0 = -t*m - 5*m. Let g(r) = -r**3 + r + 19. Is g(m) a prime number?
True
Let t(c) = -c**3 - c**2 + 86. Is t(0) prime?
False
Suppose -r - 2*r + 2*t = -19, 0 = -2*r + 2*t + 10. Let s be 12 + 2/((-6)/r). Suppose 2*h = s + 13. Is h a prime number?
True
Let t(f) be the second derivative of -f**5/20 - f**4/4 + 4*f**3/3 - f**2/2 - 2*f. Is t(-6) a prime number?
True
Suppose 3*c - 8*c = 990. Let f = c + 344. Let m = f - 93. Is m composite?
False
Let k(i) = 14*i**2 - 14*i - 7. Is k(7) a composite number?
True
Let m(l) = 60*l**2 + 2*l + 1. Is m(-1) a prime number?
True
Suppose 0 = 2*s - 2*a - 22, 3*s - 33 = -0*a - 4*a. Let n = s - 18. Let g(r) = r**3 + 8*r**2 - 4*r. Is g(n) a composite number?
True
Suppose 6*a - 1659 = -a. Is a a composite number?
True
Let u(y) = 4*y + 6. Let q be u(-5). Let x = -78 - q. Let v = -33 - x. Is v a composite number?
False
Suppose -8 = -3*l - 2. Suppose l*g = 7*g - 15. Is g a composite number?
False
Suppose 2*z - 3*p - 378 - 6913 = 0, -4*z - 3*p + 14555 = 0. Is z a prime number?
False
Suppose f + 23 = 2*f + 4*j, 0 = -2*f - 5*j + 31. Suppose 3*t + 0*q - 369 = 4*q, 4*q = -f*t + 393. Is t a composite number?
False
Is (-57666)/(-49) + 4/(-28)*-1 a composite number?
True
Let g = 98 - 7. Is g prime?
False
Let y(k) = -k**3 - k**2 - k + 2679. Let v be y(0). Is v/12 - (-1)/(-4) a prime number?
True
Let i(q) = 23*q**2 - 6*q - 10. Is i(11) a composite number?
False
Suppose 2*w = 203 + 85. Let t = 263 - w. Is t composite?
True
Let b be 2 + (51 - (-3 - -2)). Suppose 18 = 2*u - b. Suppose 3*k + 0*k = 2*q + 33, 3*k = q + u. Is k composite?
False
Let f be (1 - 0) + 0 - -2. Suppose -3*z + 3*n = 9, 1 + 0 = -f*z + n. Is (z - 3)*(-106)/4 composite?
False
Let w(y) = 11*y**3 - 2*y**2. Let s be w(2). Suppose 2*g + 26 = 2*m - m, 4*m + 4*g = s. Is m a composite number?
True
Suppose 11901 = 11*n - 4390. Is n composite?
False
Is (-1986)/(-5) - 2/10 composite?
False
Suppose -1800 = 2*m - 6*m - t, -2*t + 2253 = 5*m. Is m composite?
False
Let n = -25 - -152. Is n composite?
False
Suppose -3*q = -12*q + 459. Is q composite?
True
Let v(z) be the second derivative of -z**4/12 - z**3/6 + 3*z**2/2 + z. Let s be v(-3). Let n = s + 98. Is n composite?
True
Suppose -5*i = -7647 + 642. Is i a composite number?
True
Suppose 0*w + 16 = w. Is w/12*(-348)/(-8) a prime number?
False
Let n(f) = f**2 + 5*f - 57. Let t(z) = -z + 1. Let y(h) = -n(h) - 4*t(h). Is y(0) composite?
False
Let m = 102 - -60. Let x = m - 115. Is x composite?
False
Suppose -s + h = -1394, 7*h - 4217 = -3*s + 3*h. Is s prime?
True
Let f = -10 + 4. Let p be (-4)/f + 28/12. Suppose h + p = u, 3*u + 2 = 4*h + 7. Is u a prime number?
True
Suppose -5*r = -r + 8. Is (35/r)/((-5)/10) a composite number?
True
Suppose -530 = 5*z - 2775. Is z composite?
False
Is (-96)/(-14) - (-1)/7 composite?
False
Let l(d) be the second derivative of d**4/4 + 3*d**3 - 17*d**2/2 + 3*d. Let f(q) = -2*q**2 - 9*q + 8. Let b(u) = -5*f(u) - 3*l(u). Is b(10) composite?
True
Let x be (0 - 2)/((-4)/22). Suppose -4*o + 36 = 4*h, h = 3*o - 4*h - x. Suppose 2*u - 50 = -4*z, u - 2*z = 10 + o. Is u prime?
False
Let k(v) = v. Let o be k(5). Suppose -c = o*b - 0*b + 456, 0 = -b - 5*c - 72. Let z = b - -129. Is z composite?
False
Let h = -13 + 18. Suppose 0 = h*o - 45 - 30. Is o prime?
False
Let c be (-28)/21*(-9)/6. Let y = -1 - -1. Suppose y*i = -c*i + 130. Is i a prime number?
False
Is 869 - (8/6)/(-2)*3 prime?
False
Let b(x) = -x**3 + 2*x**2 + 9*x + 5. Is b(-6) a prime number?
True
Let s be 68/6*(-18)/(-4). Let u = s - 28. Is u prime?
True
Let g(s) = 3*s - 3. Suppose -2*f = 3*f. Let x = 6 + f. Is g(x) composite?
True
Suppose -3*p + 2*p = 17. Let w be p/5 + 4/10. Is w/(-1*(-3)/(-83)) a prime number?
True
Let u(k) = -k**3 + 10*k**2 + 10*k + 7. Let n be u(11). Let a = -9 + -136. Is (a/2)/(2/n) prime?
False
Suppose -2*a + 4*y - 34 - 62 = 0, -124 = 3*a - 2*y. Let w = a - -127. Is w a prime number?
True
Is (3 + -5 - -9)*131 a composite number?
True
Suppose 0 = -7*i + 3*i + 16. Suppose -3*q - 357 = -2*h - 27, q - i = 0. Suppose 0 = 5*u - h - 14. Is u a composite number?
False
Suppose 7*v - q - 4614 = 2*v, -2*q + 1848 = 2*v. Is v prime?
False
Suppose 8*v - 1563 = -371. Is v prime?
True
Let p(w) = 5*w. Let c be p(3). Is 1/(1/c) + -1 composite?
True
Let c = 1983 + -1234. Is c a prime number?
False
Is (-3)/5 - (-7664)/40 a composite number?
False
Suppose h = 3*h - 194. Is h prime?
True
Suppose -2*h = -0*h + 5*o + 41, 0 = 2*h - 3*o + 33. Let d = h - -29. Is d a composite number?
False
Let s(a) = 14*a**2 + 11*a - 13. Is s(6) a composite number?
False
Suppose -2*y + 28452 = 10*y. Is y a composite number?
False
Let r = 25 + -47. Let q = 48 + -24. Is (r/8)/((-2)/q) prime?
False
Suppose -4*n + 2*z = -n - 1849, -z = -3*n + 1844. Is n a composite number?
False
Let y(g) = -35*g - 6. Is y(-4) prime?
False
Suppose 393 = -4*w - 3*x, w + 6*x = x - 94. Is (-12)/9*w/6 a composite number?
True
Suppose -4*o = 5*k - 50, -5*o = -5*k - o + 10. Suppose -4*y - 5*r = -148, -31 = -y + 5*r + k. Is y composite?
False
Suppose -5*a + 0*r = r - 10, -5*a - 5*r - 10 = 0. Suppose -a*d - 4*s = -665, s + 246 + 424 = 3*d. Is d a composite number?
False
Let z be (2*1)/((-6)/(-15)). Let r(j) = -j - 4*j + z + 9*j. Is r(4) composite?
True
Suppose 2*j - j = 16. Is (12/j)/((-1)/(-28)) a composite number?
True
Let i = 24 + 61. Is i prime?
False
Let l(v) = 1125*v - 2. Is l(1) prime?
True
Let l(y) = -2*y**3 - 18*y**2 + 8*y + 1. Is l(-13) prime?
True
Let u = 8 - 5. Is (844/6)/(2/u) prime?
True
Is (-9138)/2*-3*(-4)/(-36) a composite number?
False
Let j be (2/6)/(1/15). Suppose z - 1 = 0, z = -j*v - z + 72. Is v a prime number?
False
Let z be 0 + 3 + 3/(-3). Suppose -z*a - 4 = -4*a. Is (1 - 2)*a*-2 a prime number?
False
Let l(v) = -41*v**3 + 2*v + 1. Let b be l(-1). Suppose 3*j = -5*u + 63 + b, 2*u + 3*j = 34. Is u a prime number?
True
Suppose 4*x - 2*x + 72 = 0. Let s = x + 73. Is s a prime number?
True
Suppose -s + 5*a + 129 = 0, s + 5*a - 179 = -0*s. Suppose 3*f - 5*f + s = -5*p, p + 44 = -4*f. Let c = p - -53. Is c a prime number?
False
Let z = 11 - 7. Suppose -5*c = -z*w - 4*c + 607, 2*w - c = 301. Suppose -4*l + w = -l. Is l a composite number?
True
Let x = 23 + -10. Let t = x + -8. Suppose t*h + 3*v = 2*h + 30, v - 24 = -3*h. Is h prime?
True
Let b = 1 + -1. Suppose 0 = -5*w + 4*w. Suppose 838 = 4*a - 2*g - b*g, 3*g - 9 = w. Is a prime?
True
Let v(o) = -98*o - 19. Is v(-9) prime?
True
Let l be ((-16)/(-28))/((-2)/(-7)). Suppose 26 + 76 = l*v - 4*i, 3*v = -i + 181. Is v prime?
True
Suppose 3*z = -2*d + 174, 2*z + 4*d - 1 = 115. Is z a prime number?
False
Let c = 1 - 19. Let w be 14/6 - 12/c. Is (-2)/6 - (-256)/w prime?
False
Let v(f) = f**3 - f + 91. Suppose -2*z - 15 = 3*a, a + 5 = -z - 0. Suppose z = -3*i - i. Is v(i) a composite number?
True
Let v(x) = 3*x**3 - 9*x**2 + 13*x - 4. Let q(y) = -y**3 +