53 + -42. Is j composite?
False
Let o(v) = -v + 21. Let u be o(12). Suppose -u + 3 = -3*b. Suppose -b*z - 98 + 304 = 0. Is z a composite number?
False
Let p(q) = 3*q + 6. Let k be p(-5). Let s be k*1/9*3. Let b = s - -94. Is b a composite number?
True
Let p(b) = b + 1. Let z be p(-7). Let v(u) = 122*u - 3. Let j be v(z). Let w = -340 - j. Is w composite?
True
Suppose -2*l = -4*o + 16, -3*l - 2*o = -0*l + 16. Is 225 + (l - (0 + -4)) composite?
False
Suppose -79 - 5365 = -2*b. Is ((-5)/10)/(-2 - (-5443)/b) composite?
False
Suppose 0 = -p - 2*i + 447, -8*i - 904 = -2*p - 7*i. Is p composite?
True
Let r = -2881 + 11348. Is r prime?
True
Is 9 + -4 - 0 - -12368 prime?
True
Let n(c) = c**2 + 5*c - 9. Let s be n(-7). Suppose -s*x = -0*x + b, -x = b. Let z = 11 - x. Is z prime?
True
Suppose -9*k = -6*k - 4197. Is k composite?
False
Let w be (-2)/6 + 470/(-3). Let a = 87 + w. Let v = -48 - a. Is v composite?
True
Suppose 15 = 2*g + 7. Suppose -b + 118 = g*w - 97, 3*w - 162 = -b. Is w a composite number?
False
Let d(p) = -p + 6. Let c be d(-6). Let x(w) = w**3 - 14*w**2 + 16*w + 4. Let u be x(c). Is u/(-9) + (-6)/27 composite?
True
Suppose -2*z + 2*k + 16288 = 0, 5*z + 21252 = -4*k + 61999. Is z a composite number?
False
Let a(t) = -t**3 + 10*t**2 - t - 9. Suppose 5*s = 9*s - 16. Is a(s) a composite number?
False
Suppose 3*x - 5*x + 4*v = -127234, -4*x - 2*v + 254478 = 0. Is x composite?
True
Suppose -6*k + 20 = -k. Suppose -5*v = -3*f - 2*v + 36, -k*v = f - 27. Is 30/f*37/2 composite?
False
Let w be -2*(4 + -3)*-5. Suppose 10*v = 5*v + w. Suppose -v*u - 178 = -582. Is u composite?
True
Let f(y) = -y**3 - 6*y**2 + 8*y + 3. Let x = -11 - 2. Is f(x) a composite number?
True
Let r(z) = 5*z**2 - 3*z + 11. Let m(p) be the first derivative of 11*p**3/3 - 5*p**2/2 + 23*p + 2. Let x(w) = -6*m(w) + 13*r(w). Is x(-7) a prime number?
True
Let c = -44632 - -89433. Is c composite?
True
Suppose -129*n - 52529 = -130*n. Is n a prime number?
True
Let h = 2765 - -709. Let t = 5401 - h. Is t prime?
False
Let t = 21600 + -8837. Is t a composite number?
False
Suppose -4*t = 61467 - 173543. Is t composite?
False
Let v = -19 - -16. Let a = 7 + v. Suppose 0*o - 260 = -2*o - 3*r, 498 = a*o - 5*r. Is o a prime number?
True
Suppose 0 = 4*k - 3 - 5. Suppose 0 = -0*f - k*f - 14. Is (-9220)/(-28) - (-2)/f prime?
False
Is (2575*-32)/(-5) - 3 composite?
False
Let i = 54 + 2. Let x be i/10 - (-21)/(-35). Suppose x*j - 179 = -2*r, 0 = -3*r - 10 + 1. Is j a prime number?
True
Suppose 3474 = g + 5*w, -7*g = -4*g + 4*w - 10367. Is g a composite number?
False
Suppose -13971 = -3*v + 14886. Is v prime?
True
Suppose 3*r = -0*r + 6. Suppose 3*w = 3*l - 6, 5 = -3*w - r*w. Let f(j) = 263*j**2 + j - 1. Is f(l) a composite number?
False
Suppose -28 = 5*z - z. Let c be (4/z)/((-18)/63). Is (-2)/c + (315 - -3) a prime number?
True
Let a(u) = -3*u**3 - 7*u**2 - 4*u - 5. Let v be a(-6). Suppose -2*g + v = 3*g. Is g prime?
True
Let h(n) be the second derivative of n**4/3 + 17*n**3/6 + 9*n**2/2 - 2*n. Is h(-6) a prime number?
False
Let m(l) = -3*l + 20. Let c be m(7). Let b be ((-1)/c)/((-7)/(-2555)). Suppose 4*i = 3*p - b, -p - i = -31 - 100. Is p a composite number?
False
Is 193 - -34015 - (1 + -2*2) a prime number?
True
Let k be (0/2)/(-4) + 5. Suppose k*t - 8*t = -1005. Is t a composite number?
True
Suppose -4*p - 23139 = -3*u, -5*u + 5*p + 14622 + 23948 = 0. Is u a prime number?
True
Is (7 + -794)/(2 + (-1 - 2)) a prime number?
True
Suppose j - 14 + 22 = 0. Let k(b) = -2*b**2 - 3*b**3 - 2*b**2 + 2*b**3 - 10*b - 19. Is k(j) composite?
False
Let g(t) = -4 + 168*t + 4 + 5. Let y be g(3). Let u = -304 + y. Is u composite?
True
Let w(a) = -a + 3. Let i be w(5). Is (-966)/28*1*i prime?
False
Suppose 0*z + 28 = 3*k - z, 4*k = 3*z + 34. Suppose 0 = 5*b - 10*b + k. Suppose -b*n + 140 + 282 = 0. Is n composite?
False
Let u(l) = l - 8. Let r be u(7). Let k be r*(-3 + 3)/(-3). Suppose k*v = v - 3. Is v composite?
False
Suppose 6*q - 2486 = -470. Let a = q - 134. Is a composite?
True
Suppose 3*w + 4130 = -11*w. Let q(f) = 555*f**2 - 1. Let n be q(1). Let b = w + n. Is b a prime number?
False
Let m(d) = d**2 + 5*d - 17. Let u be m(-7). Is ((708/2)/u)/((-16)/104) prime?
False
Is -946*((-153)/18 - -8) prime?
False
Suppose -n - 957 = -4*n. Let f = 1316 - n. Is f composite?
False
Let q(m) = -29*m + 2. Let f(y) = -3*y**2. Let h be f(-1). Is q(h) a composite number?
False
Suppose -995 = -9*s + 292. Is s a prime number?
False
Let k(w) = -376*w + 67. Is k(-4) a composite number?
False
Let i(v) = 2*v + 32. Let p be i(-11). Suppose -895 = -11*g + p*g. Is g a prime number?
False
Is 4/18*19407*51/34 prime?
True
Suppose 0 = -7*m + 4*m + 3*u + 6, -m + 4*u + 5 = 0. Let w(v) = 2*v**2 - 5. Let n(i) = -i**2 - i + 1. Let c(x) = m*w(x) - 2*n(x). Is c(-5) a prime number?
True
Let f(o) = 98*o + 14. Let c(q) = -111*q - 14 - 25 + 11 - 84*q. Let a(b) = -3*c(b) - 5*f(b). Is a(7) a prime number?
False
Let m be ((-108)/45)/((-6)/(-20)). Let d = 23 - m. Let y = d - 5. Is y a composite number?
True
Let d(h) = h + 8. Suppose 4*q + 20 = -2*j, -5*q - 2 = 5*j + 18. Let u be d(q). Suppose 794 = u*v - 2*p + 4*p, -1965 = -5*v + 5*p. Is v a prime number?
False
Let w(u) = 44*u**2 - 34*u + 55. Is w(-18) prime?
True
Is ((-3)/((-18)/(-33)))/((-1)/422) a composite number?
True
Let m(c) = -58*c**3 - 21*c**2 - 77*c + 5. Is m(-5) a composite number?
True
Suppose -13*v + 25122 = -7*v. Is v a composite number?
True
Let f(t) = -33469*t + 22. Is f(-3) a prime number?
False
Let t(j) = -j**3 - 22*j**2 + 22*j - 21. Let q be t(-23). Suppose 3*k - 4 = q, 5*v - k = 5273. Is v composite?
True
Let o(b) = -212*b**3 + 4*b**2 + 5*b + 5. Is o(-2) a composite number?
True
Let d(r) = 21*r**2 - 3*r + 6. Let f(x) = -4*x. Let b be f(-1). Let h be d(b). Let k = h - 164. Is k a composite number?
True
Let z = -13 + 15. Let b = z + 4. Suppose -b*y = -y - 1195. Is y a prime number?
True
Let o = -726 + 1664. Let a = -627 + o. Let l = 71 + a. Is l composite?
True
Is 1/(127547/(-21259) - 6*-1) prime?
True
Let t be (8 - 0)*(-2)/(-8). Suppose -t*d + 1883 = 5*d. Is d prime?
True
Let t = 30 + -28. Suppose -t*q + q = -191. Is q a composite number?
False
Let y(c) = 6*c**2 - 73. Is y(-20) prime?
False
Suppose 10*f - 27 - 43 = 0. Let b(r) = 8*r**3 - r**2 + 7*r + 15. Is b(f) a prime number?
False
Let u(g) = 31*g + 23. Is u(12) a composite number?
True
Let m(k) = 3*k**2 - k - 15. Suppose -4*h = -h + 42. Is m(h) composite?
False
Suppose 5*d - 76 + 6 = 0. Suppose i + 4 = -d. Is (-332)/5*45/i composite?
True
Let v(y) = -4264*y + 155. Is v(-4) prime?
False
Let w = 5023 - 1304. Is w a composite number?
False
Suppose -2*d - 3*h = 18, 4*d = -d + 2*h - 7. Is ((-2767)/2)/(d/6) a prime number?
True
Is 5/2 + 49/(-14) - -18672 a composite number?
False
Let q = 32 + 5. Let i(p) = 10 + 15*p - 78*p - 25*p - q*p. Is i(-5) a prime number?
False
Suppose -4*l + 677 = -5*f, l - 131 - 33 = 3*f. Suppose 4*b + 430 = 2*a, 2*a - 5*b - l - 253 = 0. Is a composite?
False
Suppose 0 = 7*x - 12*x + 20005. Is x a prime number?
True
Suppose -5874 = -11*z + 1595. Is z a composite number?
True
Let g(v) = v**2 - 14*v + 4. Let i be g(14). Let t be 6/i*12/(-9). Let k = t - -85. Is k a prime number?
True
Suppose 0*u + u + 3*l = 1727, -8545 = -5*u + 3*l. Let n = 6015 - u. Is n composite?
True
Let k be (-10)/(-4) - 1/2. Let h(t) = 10*t**3 - 2*t**2 - t + 4. Is h(k) a prime number?
False
Suppose -1036 + 70 = -2*f. Let h be ((-304)/5)/(0 - (-1)/(-5)). Let r = f + h. Is r composite?
False
Let s(r) = -2422*r - 33. Is s(-26) prime?
True
Let n = 1329 - 316. Let x(t) = -304*t + 10. Let h be x(-2). Let v = n - h. Is v a prime number?
False
Let u(l) = -20*l**2 - 160*l - 6*l**3 - 8 + 162*l + 1 + 8*l**2. Let m(j) = -7*j**3 - 11*j**2 + 2*j - 7. Let p(d) = -6*m(d) + 5*u(d). Is p(4) a prime number?
True
Suppose -3*a + 2 = -4. Let r = a + 51. Is r prime?
True
Suppose 5*l + 2*s - 7802 = l, -5859 = -3*l - 4*s. Suppose 0*k = -k + l. Is k a composite number?
False
Let s = -6 + 11. Suppose -s*m = 2*d - 0*m - 26, -5*d - 2*m = -23. Suppose d*j + 2*j = -5*f + 150, -5*f = -j + 6. Is j prime?
False
Let f(z) = 368*z**2 + 4*z - 3. Let d(c) = c**3 - 12*c**2 - 15*c + 28. Let g be d(13). Is f(g) composite?
True
Let g(o) = 10*o**2 - 8*o + 11. Suppose -58 + 22 =