True
Let y = 58 + -52. Let o(w) = 123*w - 21. Is o(y) prime?
False
Let r = 453 - 105. Suppose 18*c - 22*c = -r. Is c prime?
False
Let u(q) = q**2 - 25*q - 7. Is u(-21) prime?
False
Let n(l) = -l**2 + 2*l. Let y be n(0). Suppose 0*q = 4*q + 3*o - 5021, -5*q - 3*o + 6280 = y. Is q composite?
False
Suppose 3*p = 5*p - 794. Suppose 538 + p = 5*x. Is x a prime number?
False
Let l(n) = 18*n**2 - 7. Suppose 4*f - 14*f + 30 = 0. Is l(f) a composite number?
True
Let d(g) = g**3 + 2*g**2 - 5. Let b be d(3). Let w = 62 - b. Is w prime?
False
Let t = 2302 + 12841. Is t composite?
True
Suppose -52*w + 45*w = -78491. Is w prime?
True
Suppose -2*n + 2*g + 7349 = 1053, -n + 3143 = 4*g. Is n prime?
False
Let m(s) = 3*s**2 + 24*s + 31. Is m(-25) composite?
True
Let l be (-1)/(-2) - (-2487)/2. Suppose -5*a - l = -9*a. Is a a prime number?
True
Suppose -2*s - 225 = -5*c, -2*c + 0*s + 4*s = -90. Let m = 10 + c. Is m composite?
True
Let g = -1352 + 941. Let n = g - -650. Is n a prime number?
True
Suppose -30 = -f - 11. Suppose -7 = 4*l - f. Is -2 + (l*21)/3 prime?
True
Let h(z) = 238*z - 141. Is h(23) a composite number?
False
Let n be (6/(-4))/(42/(-28)). Suppose 5*w - 3*h = -34, -4*w - 3*h + n = 12. Let x = 88 + w. Is x a composite number?
False
Let j(n) = 9*n**3 - 11*n**2 + 30*n - 9. Is j(11) a composite number?
True
Suppose 4*r - 2 = 6*r. Let m = -37 - -48. Let b = m + r. Is b prime?
False
Let x(j) = -j**3 - 81*j - 143. Is x(-27) a prime number?
True
Suppose -4*q + 4*z = 0, -2*z - 2 = q - 4*z. Suppose -6 + q = -4*r + 2*b, 3*r + b + 2 = 0. Suppose r = -5*c + 2*t + 91, 0 = -3*c + c + 5*t + 28. Is c prime?
True
Suppose -p - 2 = 0, -4*x + 89474 = 63*p - 66*p. Is x composite?
False
Suppose 32*f = 27*f + 2095. Is f a prime number?
True
Suppose -2*j - 5*r - 3 = -4*j, -5*j + 25 = 5*r. Suppose -2*f - 14 + j = -t, -t - 3*f = 5. Suppose 0 = -5*d + 10, -3*o - t*d = -d - 111. Is o a prime number?
False
Let r be ((-314300)/16)/(-7) - 2/8. Suppose -n = j - 961 + 259, -2*j = 4*n - r. Is n prime?
True
Suppose 16*o - 17*o + 9 = 0. Suppose 111 = 2*a - 65. Suppose -o = n - a. Is n a composite number?
False
Let r be -2 + 7 + -2 + (-3 - -3). Suppose -3*o = -4*b - 255, -2*o = r*o + 2*b - 451. Is o prime?
True
Is 31271/4 - (-69)/(-92) composite?
False
Let a(g) = 26*g**2 + 10*g + 4. Let o be a(10). Is o/5 - (-6)/30 composite?
False
Suppose 0 = -5*k - 3*v + 7, 5*v = k + 4*k - 15. Suppose 10 + k = 3*w. Suppose -w*z + 369 - 29 = 0. Is z a composite number?
True
Suppose 0 = -14*x + 12*x. Suppose 0*p - 2*p + 314 = x. Is p a composite number?
False
Let s = 40 + 196. Let n = s - 440. Let y = -1 - n. Is y a prime number?
False
Suppose -5*y = -13 + 3. Suppose 5*a = 5*m + 1135, 0 = -m - 2 - y. Is a a prime number?
True
Suppose -4*u = -7*u + 453. Suppose 9 = a - 2*q, -a - 2*a - 3*q = 0. Suppose -3*w + 3*y + 117 = -0*w, -4*w + u = -a*y. Is w a prime number?
False
Let j(d) = -d**3 + 9*d**2 - 12*d - 5. Let g be j(7). Is -8 + 479 + (-6)/g*3 prime?
False
Suppose 0 = -3*i + 6*i. Suppose i = -0*r - 2*r - 6, -475 = -2*p + 3*r. Is p a composite number?
False
Suppose 2*w + 6*z = z - 37, 43 = -3*w - 5*z. Is 5960/60*w/(-4) a composite number?
False
Let b(z) = z**3 - 2*z + 319. Let l(j) = j**3 + 16*j**2 + 14*j - 15. Let i be l(-15). Is b(i) a prime number?
False
Let o(p) = 18*p**3 - 17*p**2 - 8*p + 3. Let c(k) = -6*k**3 + 6*k**2 + 3*k - 1. Let q(y) = -8*c(y) - 3*o(y). Let i be 2 - 8/(-3 - -5). Is q(i) a prime number?
True
Is ((-50413)/33)/((-3)/9) prime?
True
Suppose 0*h + 4244 = -h - 4*u, -4*h + 4*u = 16876. Let y = -2839 - h. Is y a prime number?
False
Let w = -3 - -6. Suppose w*i - 356 - 484 = 0. Suppose 0 = -5*u - 4*v + 407, 0 = -5*u + v + i + 112. Is u composite?
False
Let c(l) = l**2 + 6*l + 1. Let m be c(-6). Let d = m + -8. Let j(n) = -10*n + 7. Is j(d) prime?
False
Suppose 0 = -2*f - b + 390, 4*f - 583 = f - 2*b. Let i = f + -108. Is i composite?
False
Suppose 8*a - 574 - 30682 = 0. Is a a prime number?
True
Let v = -6171 + 23822. Is v a composite number?
True
Suppose 0 = 5*o - 6*o + 2*v + 12, -v = 5*o - 5. Suppose 5*z - 374 = -o*f, 3*f = -z - 2*f + 84. Is z prime?
False
Suppose 8 = -2*i + 4*i. Suppose -2 = d - 2*f, -5*d = -4*d - i*f. Is 1491/27 - d/(-18) composite?
True
Suppose -1 = -3*c - 13. Let n = 8 + c. Suppose 5*b - 2*i - 563 = 2*i, -n*i - 448 = -4*b. Is b a prime number?
False
Suppose 4*d - 5*h = 20563, -21095 = -4*d + h - 512. Is d a composite number?
False
Let r(d) = 52*d**2 + 26*d - 27. Is r(12) a composite number?
True
Let a(j) = -7*j**2 + 3*j + 10. Let c be a(9). Let u = -428 + -647. Let q = c - u. Is q prime?
False
Let o(r) = 82*r + 7. Let v be o(3). Suppose 0 = -3*m, 3*l - v = 2*l + 4*m. Is l composite?
True
Suppose -d - u + 20231 = 3*d, -4*d + 20211 = 5*u. Is d prime?
True
Suppose 3*k = 4*i - 6047, 5*k + 4538 = -0*i + 3*i. Is i composite?
False
Let b = 493 - 175. Is (36/(-48))/(6/(-4))*b composite?
True
Suppose -2*y + 24 = 2*y. Let c be 0 - -1 - 6/(-3). Suppose -3*w = 3*f - 4449, 5*w = y*w - c*f - 1475. Is w a composite number?
False
Let q = 7532 + -3135. Is q a prime number?
True
Let s = 30 + -30. Suppose s*r = 4*r - 1228. Is r composite?
False
Let u(x) = -3071*x + 53. Is u(-6) a composite number?
True
Suppose 0 = -6*n + 28685 - 6539. Is n prime?
True
Let i(h) = -h**2 + 4*h + 5. Let p be i(4). Let j(r) = -116*r + 18. Let y(b) = -115*b + 16. Let x(a) = 6*j(a) - 7*y(a). Is x(p) a prime number?
True
Let t be 10/6*(-1 - -4). Suppose 1429 = t*m + 2*c, -2*m + 4*c - 275 = -3*m. Is m prime?
False
Suppose 3*h + 0 = -2*p + 12, -5*p = -2*h - 30. Is (-8560)/(-15) + 2/p a prime number?
True
Let z(c) = -c**3 - 8*c + 8. Let a be z(8). Is ((-9)/36)/(2/a) - -3 composite?
True
Suppose 3*n - 2057 = -5*d, -5*d + 653 = n - 1396. Is d a composite number?
False
Suppose 15 = -9*n + 14*n. Suppose -3*j + 4*j = n, 5*c - j = 1627. Is c a composite number?
True
Suppose -5*v - 1784 = -704. Let y = 285 - v. Is y prime?
False
Is (-1 - (-1)/(-3))*(-93768)/16 a prime number?
False
Let y(b) = -b**3 - 3*b**2 + 13*b + 1. Let g(k) = -k - 1. Let c be g(-8). Let r = -17 + c. Is y(r) a composite number?
False
Suppose -25781 = -2*m - c, 0 = 5*c + 34 - 9. Is m a prime number?
True
Suppose 0 = -9*a - a + 51110. Is a prime?
False
Suppose -7*h + 2136 = -4*h. Is 15/10*h/12 a composite number?
False
Let j(v) = -3*v - 8. Let h be j(3). Let x(r) = -31*r**3 - r - 1. Let s be x(-1). Let f = h + s. Is f prime?
False
Suppose i - 5*d - 16132 = 0, d - 64648 = -4*i - 3*d. Is i a composite number?
True
Let o(h) = -2*h + 1 - 3*h**2 + 4*h**2 + h**2 + 2*h**2. Let q be o(1). Is (0 - 251)/(2 - q) a prime number?
True
Suppose 3*d - 4*h = 2, 0 = 3*h - 2 - 1. Let p(j) = 4*j - 2. Let z be p(d). Is 1 + 176*9/z composite?
True
Let c be 142/(-6)*12/4. Let p = c + -16. Let j = 210 + p. Is j prime?
False
Suppose -6*a = -3*a - 15. Suppose -7 = -3*i - a*o, -4*i - 2*o + 11 = 3*o. Is (-1480)/(-2) - (i - 7) a composite number?
False
Suppose -2 = p - k, 3*p + 5 = -k + 15. Is 1 - ((-6)/p + -729) composite?
False
Let a = 6 - -11. Is (a - -2217) + 2/(2/3) composite?
False
Let g = 1765 - 1146. Let a = 1334 - g. Suppose -5*n + 340 = -a. Is n a prime number?
True
Let h = -2130 - -1076. Let f = h + 2883. Is f a composite number?
True
Let v(t) be the first derivative of 2*t**4 + t**3/3 + 3*t**2/2 - 19*t + 19. Is v(3) a prime number?
False
Suppose -2*t = x - 0*t, 0 = x - 2*t - 4. Let c(a) = 24*a**2 - 3*a + 1. Is c(x) a prime number?
False
Let i(r) = -7*r**3 - 4*r**2 - 4. Let k be i(-3). Suppose -212 = -x + k. Is x composite?
True
Let z(y) = 2*y**3 - 13*y**2 - 13*y - 23. Let v = -88 - -102. Is z(v) composite?
True
Let c = -5982 + 31205. Is c a composite number?
True
Let m(u) = -u**3 - 3*u**2 + 15*u + 13. Let n be m(-7). Suppose -n = -4*l + s + 1357, 2*s + 1827 = 5*l. Is l a prime number?
False
Suppose -429719 = -28*u + 476165. Is u a composite number?
False
Let m = 6796 + -10128. Let z = m + 5433. Is z a composite number?
True
Suppose -19258 = -7*y + 24121. Is y a composite number?
False
Let r(w) = 2*w**2 - 3. Let b be r(3). Let f = -16 + b. Is (-38)/(-2)*f/(-1) a prime number?
True
Let v(f) = -f**2 + 14*f + 4. Let u be v(14). Is (-307)/(-3)*(u - 1) prime?
True
Suppose -22*h + 24*h = 35618. Is h a prime number?
False
Suppose -89*v = -88*v + 2, v = 3*g - 151301. Is 