)/12)*4 a prime number?
True
Suppose 5 = -3*r + 4*r. Suppose -191 = -r*c + x + 775, -5*x + 408 = 2*c. Is c composite?
True
Let u = -23690 - -118741. Is u composite?
True
Let j = 21891 - 13504. Is j a prime number?
True
Suppose 25*d = 56*d - 824073. Is d a prime number?
False
Let t(j) = 25*j + 745. Is t(0) a composite number?
True
Let z(y) = y**3 - 13*y**2 + 4*y + 25. Is z(18) composite?
True
Suppose -21*a = -12*a - 27. Suppose -a*l = -2825 - 1012. Is l prime?
True
Let t be 3*3/(9/4). Suppose -2*d = -0*d - 2*x, -2*x + 6 = -t*d. Is -1*(d + -34*1) a prime number?
True
Suppose 5*x + 79 = 3*h, -4*x - 1 + 5 = 0. Is -3 - (-11074)/h*(-36)/(-7) a composite number?
True
Let f = 9 - 4. Suppose f*m = -2*l + 111 + 236, 2*m = l - 151. Let c = l + -28. Is c a prime number?
False
Let r be 59/7 + (-3)/7. Let u = 13 - r. Suppose 60 = u*m - 215. Is m a prime number?
False
Let h = 1 - 26. Suppose -5*o + 0*m + 5*m = 535, o + 5*m + 77 = 0. Let a = h - o. Is a a prime number?
False
Suppose -5*b - 769 - 101 = 0. Let o = 249 + b. Is o + -1 + (-6)/(-2) composite?
True
Is (-6071)/(-39)*(49 + 2) composite?
True
Let a = -25 - -12. Let l(k) = k**2 + 9*k + 6. Let u be l(a). Suppose 37 + u = 5*f. Is f composite?
False
Let a = 7273 - 4256. Is a prime?
False
Let x(z) = -z**3 - 9*z**2 - 8*z. Let w be x(-8). Let s(c) = -c**3 + 125. Let u be s(w). Suppose 0 = 2*n - 3*a - u, 4*a - 199 = -4*n + 81. Is n prime?
True
Let u = 925 + -536. Is u a composite number?
False
Let k = 7754 + 12587. Is k prime?
True
Let n = 109 - 107. Is 1399 + 0/(-2 - n) a composite number?
False
Suppose 3*q = -z + 1356875, 6*z + 2261443 = -q + 6*q. Is q a prime number?
False
Let x(o) = 1691*o**3 - o**2 + 2*o - 6. Is x(2) composite?
True
Suppose 16*v + 10860 - 30332 = 0. Is v composite?
False
Suppose 8 = 2*g - 0. Suppose 3*y = g*m + 3769, -4*y + 2*m = -0*m - 5032. Is y a composite number?
False
Let g(h) be the second derivative of -h**5/20 + 5*h**4/6 - 11*h**2/2 + 8*h. Let o be g(10). Let r(f) = f**2 + 8*f + 14. Is r(o) composite?
False
Suppose -5*a + 18 = -3*q, 6*q = -a + 2*q + 22. Let j(c) = -34*c**2 + 12*c + 1. Let f be j(a). Let s = -632 - f. Is s composite?
True
Suppose 0*f = -5*f + 4*x + 165549, 2*f = 5*x + 66223. Is f a prime number?
False
Let l(n) = -6 - 2*n**3 - 22*n**2 - 17*n**2 - 4*n + 24*n**2 - 2*n. Is l(-10) a composite number?
True
Let c(m) = -m**2 + 4*m - 4. Let w be c(4). Let r be 550/(-8) + (-3)/w. Let x = r + 183. Is x composite?
True
Let g(p) = 1087*p**2 - 2*p + 2. Is g(1) a composite number?
False
Suppose -p - 299 = 241. Let f be p/(-7) + 7/(-49). Suppose 0 = -3*w + 2*w + f. Is w composite?
True
Let t(f) = -6*f + 10*f**2 - 3*f + 2*f + 3. Let u(j) = 2*j - 4. Let r be u(5). Is t(r) composite?
True
Suppose 3*l = -s + 1525, -618 = 2*l - s - 1628. Suppose 10*b = 353 + l. Is b a composite number?
True
Suppose 5*t - 90 = 40. Suppose -7*f - 101 = -3*n - 2*f, -3*n - f + 95 = 0. Suppose 0 = -z + n + t. Is z prime?
False
Suppose 0 = 3*v - 12, 2*u - 2*v + 5*v - 48 = 0. Is 1110/14 + u/(-63) a composite number?
False
Let d = 5441 - 1763. Suppose d = 5*l + l. Is l prime?
True
Let a(n) = -n**3 - 14*n**2 + 5*n + 73. Is a(-31) a composite number?
True
Let c be (-1 - -2) + (4 - 1). Suppose 16 = 4*q - 2*r, 16 = -c*r - 0. Suppose -q*w + 2121 = w. Is w prime?
False
Is ((-5)/20)/((-29)/590092) a prime number?
True
Is -442*1*(-8)/16 a prime number?
False
Let o = -69 - -71. Suppose -o*q + 780 = 5*i, -q - 4*i - 124 = -511. Is q composite?
True
Let b be (0 + 0/3)/((-2)/(-2)). Suppose 0*k - 3*k + 1986 = b. Is k composite?
True
Let a = 7703 - 2064. Is a composite?
False
Suppose u + 148 = 4*a, -119 = -2*u + 3*a - 430. Let p(i) = -11*i**2 - 8*i - 14. Let b be p(-3). Let h = b - u. Is h a prime number?
True
Suppose s = 3001 + 3194. Let j = s + -3470. Is j/30 + (-1)/(-6) a prime number?
False
Let p(z) = 209*z**2 + z - 22. Let f be p(-12). Suppose 0 = -4*s + 5*q + f, -3*s + 2515 + 20016 = 4*q. Is s prime?
False
Let o(d) = 1356*d**2 + 2*d + 5. Is o(2) a composite number?
True
Suppose 2*k = 4, -2*f + f = k - 12. Let g be 15/f + 6/(-4). Suppose g*t = -t + 211. Is t a prime number?
True
Suppose 2*l - 18 = -10. Suppose l*s + 564 - 2696 = 0. Is s a composite number?
True
Let u be (-3 + 8 - 1) + (-1790)/(-2). Let j = 1486 - u. Is j a prime number?
True
Let v = -965 - -29. Let r = 3 - 8. Is v/(-30) - (-1)/r a prime number?
True
Let x(f) = -f**2 + 16*f - 11. Let u be x(14). Suppose 16*l = u*l + 4. Is (-2)/((-8)/756) + l composite?
True
Let y be (1044/10)/((-4)/(-10)). Let c = 514 - y. Is c a prime number?
False
Let i be 272722/16 + (-2)/16. Suppose -3*g = -10*g + i. Is g a prime number?
False
Let w(d) = 106*d + 33. Let k be w(15). Suppose -5*v = 4*l - 2164, -3*l - 2*v + 0*v = -k. Is l a composite number?
False
Let j(v) = 4*v + 9. Let c be j(-4). Is (-1 - -1) + c + 2640 composite?
False
Let j be (21/6 + -5)/((-6)/40). Is (-3238)/(-4) + 5*(-1)/j composite?
False
Let w(a) = -5*a**3 + a**2 + 17*a - 1. Is w(-4) a prime number?
False
Let w = 68232 + -39845. Is w composite?
False
Let q(z) = -1. Let r(j) = 36*j - 5. Let k(m) = -3*q(m) + r(m). Suppose -2*a - 10 = 4*x, 0*a + 3*x = -5*a + 10. Is k(a) prime?
False
Let z = -55 - -59. Suppose 4230 = 5*o - p - z*p, 0 = -2*o - p + 1677. Is o prime?
False
Let f be 4/(-9)*6*(17 + 1). Is 4*3*(-412)/f composite?
False
Suppose 2*l + 0*l = 3*c - 8, 2*l + 2*c - 12 = 0. Suppose -2*v - 2*x + 10 = 2*v, 50 = 5*v - 5*x. Suppose 2*p + 11 = s + v*p, 44 = 3*s - l*p. Is s a prime number?
False
Suppose 14*l - 140 = 10*l. Let p = l - 31. Suppose -2*y - 2*a = -p*a - 532, 0 = -5*a - 5. Is y a composite number?
True
Suppose -5*o - 325505 = -8*i + 5*i, -5*i + 4*o = -542517. Is i a prime number?
False
Let q be (3 + -4 + 5)/(-1). Suppose -4*l + 384 = -124. Is 2 + l + 6 + q a prime number?
True
Let b(l) = -45*l - 24. Let x = -78 + 71. Is b(x) composite?
True
Let o(w) = 5*w**2 - 17*w + 79. Is o(16) a composite number?
False
Suppose r + 19 = 4*n + 2, 3*r + 23 = 5*n. Is (-159)/(-3)*(n - 2 - -9) prime?
False
Let z = 3 + -1. Let h be z/7 - (-48681)/63. Suppose -4*k - k - 1018 = -4*a, -k + h = 3*a. Is a a composite number?
False
Let q(f) = -2*f**3 - 39*f**2 - 36*f - 60. Is q(-31) a prime number?
True
Let u be ((-53)/(-2))/(-1)*-2. Let w(f) = -f**2 - 2*f + 6. Let z be w(-3). Suppose -z*h = -454 - u. Is h composite?
True
Let n(m) = -3*m**2 + 63*m + 4. Let b(u) = -2*u**2 + 31*u + 2. Let v(f) = -7*b(f) + 3*n(f). Is v(20) composite?
True
Suppose 2*d = 4*d + 714. Let f = -64 - d. Is f a composite number?
False
Let r(n) = -n**2 + 12*n - 1. Let l(y) = y**2 - 13*y + 1. Let v(c) = -3*l(c) - 2*r(c). Suppose -j = -5*j + 40. Is v(j) prime?
False
Let t be 7656/18 - 3/9. Suppose 0 = 4*m + t - 1309. Is m a prime number?
False
Suppose 30*y - 34*y - 12 = 0, -q = -3*y - 58150. Is q a prime number?
False
Suppose -2984 = 117*p - 125*p. Is p prime?
True
Suppose 3*f + 2*p + 0*p = 0, 3*p = -2*f + 5. Let v(n) = -23*n + 2 - 5 + 0. Is v(f) a composite number?
False
Suppose u + 2*v - 11 = 25, -4*u + v + 117 = 0. Suppose x - 2*s + 3*s - u = 0, 5*s = x - 60. Is x a prime number?
False
Suppose -v + 4 = 8. Is ((-1383)/v)/(15/220) prime?
False
Let c = -3 + -22. Let p be (-3)/(c/(-7) + -4). Suppose 6*t + 134 = p*t. Is t composite?
True
Let o(z) = -z**3 - 33*z**2 - 103*z + 62. Is o(-37) composite?
False
Let l(g) = -3 - 330*g + 5 - 4 + 9. Is l(-3) a prime number?
True
Suppose 0*j - 819 = 7*j. Let b = j - -278. Is b prime?
False
Let l(a) = 9*a**2 - a + 1. Suppose -3*z = -4*z + y + 8, 22 = -z - 5*y. Suppose -w + 0*w + 4*n + 15 = 0, 2*n = z*w - 15. Is l(w) composite?
False
Suppose l = -2*l. Suppose 2*k - 852 - 4066 = l. Is k a composite number?
False
Suppose -p - 12 = -5*p + 4*y, -p - 3*y = 13. Is (-4)/6*(p - (-19086)/(-12)) composite?
False
Suppose -7*p = -4*w - 11*p + 20520, 0 = 4*w + 3*p - 20519. Is w prime?
False
Let w = 3207 + 11362. Is w a prime number?
False
Let j = -7324 + 12095. Is j prime?
False
Suppose 5*y - 4*y + 104 = 5*x, -76 = -3*x + 4*y. Suppose -x = -5*f + 4*c + c, -5*f - 3*c + 20 = 0. Suppose 0 = f*l + 6 - 322. Is l a prime number?
True
Let a(k) = 38*k**2 + 2*k - 4. Let c be a(-4). Let x = -663 + 388. Let b = x + c. Is b a composite number?
True
Let x(h) = 16*h + 9. Let q(f) = 47*f + 27. Let g(p) = -4*q(p) + 11*x(p). Let w be g(-3). Suppose 4*k