
Suppose 0 = o + 2*o - 15. Let k(p) = 2*p**3 + 4*p**2 - 3*p + 1. Let t be k(o). Let h = t + -178. Is h composite?
True
Is ((-1399)/4)/(34/(-8) + 4) a prime number?
True
Let x be (20/(-8) - -2)/((-1)/214). Let a = 216 - x. Is a prime?
True
Suppose m = 5*m. Suppose m = -5*y + 2*y + 123. Let b = 124 - y. Is b a prime number?
True
Suppose 3*q + 3*h + 54 = 0, -2*h - 21 = q - 4. Let o = q + 23. Is 88/o*(-13)/(-2) a prime number?
False
Let v(r) = 3692*r**2 - 12*r - 1. Is v(2) prime?
False
Suppose -s = -31*w + 27*w - 5057, 2*s - 10135 = w. Is s prime?
False
Suppose -9*f - 13 = -10*f. Suppose -11*u - 5042 = -f*u. Is u composite?
False
Let i(w) = -17*w**2 + 7*w - 13. Let o(r) = 34*r**2 - 14*r + 25. Let k(x) = -5*i(x) - 2*o(x). Is k(-8) prime?
False
Suppose 2*v + 5*c = 4*v - 45827, -2*v + 2*c = -45812. Is v a composite number?
False
Let a be (-1)/(-2 + 4 - 3). Suppose 5*u - 24 - a = 0. Suppose -u*y + 895 = -0*y. Is y a prime number?
True
Suppose -u + 8 = u. Let a be (-2 + 4/u)*0. Suppose -2*y - 306 = -4*q, a*q + 296 = 4*q - 4*y. Is q a composite number?
False
Let r = 42 - 55. Let h = r - -566. Is h a composite number?
True
Is (94 + 4927)/((-1)/(-5)) composite?
True
Let h(t) = -t + 5. Let u be h(2). Suppose -u*q - 2*n = -107, -q = 4*n + 2 - 31. Suppose -q = -4*y + 47. Is y prime?
False
Is 6673 + 0/((-21)/3) a composite number?
False
Let o be 145/35 + 3/(-21)*1. Suppose 3*w + 2*q = 6274 - 2173, 0 = 3*w + o*q - 4101. Is w a prime number?
True
Let i = 637 + -128. Is i a prime number?
True
Let l = -37 - -41. Let t(k) = 111*k + 25. Is t(l) a composite number?
True
Let b = -79 + 77. Is b/(8/(-940))*1 a prime number?
False
Let a = 4 - 234. Let f = a + 495. Is f composite?
True
Suppose 10*k = 15*k - 10. Suppose k*m = -h + 73, -5*m - 4*h - h = -180. Suppose 4*s = 3*s + m. Is s a prime number?
True
Suppose 0 = -h - 0*h. Suppose h = l + 3*l. Suppose -2*r = 2*a - r - 102, l = -r + 4. Is a composite?
True
Suppose -49*b + 3509 = 4*r - 46*b, 0 = -r + 3*b + 881. Is r composite?
True
Let w be ((-16)/(-24))/(2/(-12)). Let g(f) = 41*f**2 - 6*f - 7. Is g(w) a prime number?
True
Let t = -120 + -47. Let v = 280 + t. Is v composite?
False
Let y = -12773 - -19144. Suppose 0 = 5*p - 2529 - y. Suppose 0*d = 4*d - p. Is d composite?
True
Let b(c) = 3962*c - 3. Let a be b(-1). Let m = 5562 + a. Is m prime?
True
Suppose s + 3*z - 1534 = 0, 4*z + 1552 = s + z. Is s prime?
True
Let p be -9*(1 - 9) - 4. Let g(r) = 32*r + 113*r + 3 + p*r + 5. Is g(3) composite?
False
Let v = -76230 + 149647. Is v a prime number?
True
Let z be (1 - 2)*(1 + -6). Suppose -4*q + f + 30 = -25, -2*q + z = -5*f. Is q composite?
True
Let t = -2639 + 7993. Is t a composite number?
True
Let i be (-2)/(-1)*(-13)/2. Let w = i + 5. Is (-744 - -2)*4/w a prime number?
False
Suppose 0 = 4*b - 81 - 51. Suppose b + 178 = w. Is w a prime number?
True
Let l be (2264/(-13) - (-2)/13) + -2. Let i = l - -319. Is i a composite number?
True
Let t be (-1)/(-5) + 116/20. Suppose 1260 = -2*k + t*k. Suppose 3*g = 1278 - k. Is g composite?
True
Let j(d) = -d + 3. Let h be j(-14). Let g = 0 + h. Let b = g - 7. Is b composite?
True
Suppose 0 = -6*y + 2571 + 4269. Let c = -691 + y. Is c a prime number?
True
Suppose 55 = -4*i + 39, 4*m - 5*i - 39480 = 0. Is m a composite number?
True
Is -5 + 13/((-26)/(-300)) a composite number?
True
Suppose 32*m = 2182 + 186. Is m composite?
True
Let b(a) = -a**3 + 4*a**2 - 4. Let o be b(4). Let v be 3/(o/(-8) + 0). Is (2/(-3))/(v/(-1278)) a prime number?
False
Let b(o) = 26*o**2 - 25*o + 10. Is b(4) prime?
False
Let j(o) = 3*o**3 - 5*o**2 - o - 8. Let n be j(4). Let t = 137 - n. Is t a composite number?
False
Let r(o) be the second derivative of 1/3*o**4 - 2/3*o**3 + 23/10*o**5 + 0 + 3*o + 3/2*o**2. Is r(2) composite?
False
Suppose 5*t + w - 10027 = 0, -5*t - 5*w = -10*w - 10045. Let g = t + -1371. Is g prime?
False
Is 33*((-13420)/(-30) - -13) composite?
True
Suppose 3*f = 755 + 448. Is f a prime number?
True
Let w(k) = -3 + 3 + 5 + k. Let j be w(-3). Is j/(-1) + (203 - -2) a prime number?
False
Let p(j) = 393*j**2 + 30*j - 5. Is p(8) prime?
False
Suppose 8 = -9*a + 13*a. Suppose -a*b - 15 + 91 = 0. Suppose 5*k = j + 18, -4*j + 0*k + b = 2*k. Is j prime?
True
Let c = 23 - 21. Suppose y = -c*y - 5*k + 900, 0 = 2*y - 3*k - 600. Let n = y - 187. Is n a composite number?
False
Let c(i) = 24*i + 4. Let a be c(3). Let d(m) = m**3 - 3*m**2 - 5*m + 6. Let t be d(4). Suppose -2*u = t*h - a, h + 3*u = 3*h - 56. Is h composite?
True
Suppose 3*y = -4*q + 15883, -3*q - 87*y = -84*y - 11916. Is q a prime number?
True
Let z = 229 + 594. Suppose 0 = n - 0*n - 4*p - z, n + 5*p = 787. Is n prime?
False
Let r(l) = -25*l - 3. Let z be r(3). Let k be (z/4)/(6/(-304)). Suppose -10*g = -6*g - k. Is g a prime number?
False
Let f be ((-8)/30*-3)/((-10)/175). Is 177 - (16/(-7) - 4/f) a prime number?
True
Let v = -4110 + 10417. Suppose -11*f + 4*f = -v. Is f a composite number?
True
Let j(v) = -2629*v. Let u be j(-3). Is (-2)/(-3 - u/(-2631)) prime?
True
Suppose 6141 = j + 4*w, -4*j - 2*w + 24498 - 4 = 0. Is j prime?
True
Suppose 16 = -2*d - 6. Let z = 2 - d. Let a(r) = 2*r + 9. Is a(z) composite?
True
Suppose 0 = -l + 2*t + 922, -l - 4*t + 927 = -5*t. Suppose -1036 = 6*s - 1072. Suppose s*z - 2*z = l. Is z a prime number?
True
Suppose -9*b = -8*b - 4. Suppose 9 = -3*y, -b*y = 3*l + y. Suppose 3*c - l*a - 393 = -136, c - 91 = -a. Is c a composite number?
False
Suppose -5*i = m - 25, 3*i = 5*i + 2*m - 10. Suppose 5*d - 2220 = -i*z, 2*d + 5*z - 885 = 2*z. Is d a prime number?
False
Suppose -4*q + 41*q = 848669. Is q a prime number?
True
Let l be (-1 + -3)/(-2) - -14. Let v(b) = 60*b + 23. Is v(l) a prime number?
True
Suppose 0 = 4*n + 3*v - 1411 + 230, -1166 = -4*n + 2*v. Is n a composite number?
False
Let q(s) = s**3 - 13*s**2 - 3*s + 19. Let r be q(15). Let x = r - 27. Is x a composite number?
False
Let a = -47 + 134. Let q = a + -53. Is q composite?
True
Let z be -3 - (1 + (-6)/4)*-6. Let d(m) = -m**3 - 6*m**2 - 4*m - 1. Let u(h) = -h**3 - 5*h**2 - 3*h - 2. Let l(f) = -3*d(f) + 2*u(f). Is l(z) composite?
True
Suppose k - 15 = 2. Suppose -1335 = -22*w + k*w. Is w a prime number?
False
Let o be ((390/(-4))/(-13))/((-2)/(-100)). Let i = -44 + o. Is i prime?
True
Suppose 0 = 13*b - 15*b - 10, -5*b + 10602 = y. Is y prime?
True
Let k = -58740 - -106960. Is (1/(-2))/((-10)/k) a composite number?
False
Suppose 5*m + p = 49 - 16, 4*m = 5*p + 38. Let j(a) = 3*a**3 - 9*a**2 + 9*a - 4. Is j(m) a composite number?
False
Suppose 81 = q - 39. Let h = q - 41. Is h prime?
True
Suppose -6*n = -9*n - 3*t + 254583, -5*n = -2*t - 424277. Is n a prime number?
True
Suppose 0 = -y + 4*m + 7623, 6*y - 3*m = 3*y + 22851. Is y a prime number?
False
Suppose 2*j = j + h + 1119, -3*j + h + 3347 = 0. Is j prime?
False
Suppose 0*o - 3*o - 4*x = 20, 5*x = -5*o - 30. Let b(d) = 26*d**2 + 4*d - 7. Is b(o) prime?
False
Suppose 4*s + 6 = 22. Suppose -2*b + 3560 = f, 8*f = 13*f - 3*b - 17865. Is (-2)/s - f/(-28) prime?
True
Let v = 5404 + -995. Is v composite?
False
Suppose 14*c - 105292 = 10*c. Is c a composite number?
True
Is 1/(-4) - (-933)/24*54 a composite number?
False
Suppose -33 = -g + 380. Suppose -t + g = -3*p, 4*p + 830 = 3*t - t. Is t prime?
True
Let v = 31 + -37. Let z be 4150/8 + v/(-24). Suppose -3*y - 48 = -z. Is y prime?
True
Let n = 26 + -22. Let b(i) = 34*i**2 + 3*i + 4. Let k be b(n). Is (-11)/(-3 - k/(-188)) prime?
False
Suppose -215*i = -220*i + 23495. Is i a prime number?
False
Suppose -4*v = -2*u - 2234, -4*v - 4951 + 543 = 4*u. Let a = 1648 + u. Is a a prime number?
True
Let b = 30 - -129. Suppose 0*g - b = -g. Is g composite?
True
Let c(i) = -276*i + 13. Let j(x) = 551*x - 26. Let r(d) = -7*c(d) - 3*j(d). Is r(8) prime?
False
Let j be 277 + 1 + (-2 - -3). Suppose 4*p = j + 1165. Is p prime?
False
Let t = 6 + -6. Let j(v) = v**3 - 5*v**2 + 4*v + 3. Let k be j(4). Suppose t = -2*h - 3*z + 313, -h = -6*h + k*z + 730. Is h composite?
False
Let s = -24 - -40. Let v = -26 + s. Let n(o) = -8*o + 3. Is n(v) a composite number?
False
Suppose 2910 = 4*b + b. Let o = b + -139. Is o a composite number?
False
Let w be (-12394)/(-6) + (-4)/6. Suppose -5*g + w = 5*s, g - 3*s - 413 = 2*s. Is g prime?
False
Suppose 2 = 3*p - 2*i + 11, -15 = 5*p - 3*