. Is y(-32) a prime number?
True
Let t = 1045 - -1576. Is t composite?
False
Suppose 0 = -6*x + 2*x + 1892. Let q = x + -182. Is q a composite number?
True
Let c be 876/(((-2)/(-3))/1). Let g be c/8 - (-2)/(-8). Let o = 493 - g. Is o a prime number?
False
Let n(y) be the third derivative of 7*y**5/6 - y**3 + 5*y**2. Suppose 0 = -2*r - 3*r + 10. Is n(r) a composite number?
True
Let u(z) = z**2 + 5*z + 1. Let r(g) = -2*g**2 - 2*g. Let q be r(1). Let i be u(q). Is (74/i)/((-2)/21) a composite number?
True
Let c be (-443 - (-3 - -2))/(-2). Let p = 400 - c. Is p a prime number?
True
Let x(k) = k**2. Let r(i) = -6*i**2 - 25*i + 9. Let o(m) = r(m) + 5*x(m). Let f(h) = -h**2 + 3*h - 7. Let n be f(4). Is o(n) composite?
False
Let d = 46 - 34. Suppose 5*n + d + 13 = 0, -3*n = -3*t + 408. Is t composite?
False
Suppose 0*m = 2*m, 4*l = m + 112. Is 71244/28 - (-16)/l a composite number?
True
Suppose -13*q + 3182 = -11781. Is q composite?
False
Suppose 4*a = -x + 17081, -5*a + 0*x + 21367 = -4*x. Is a prime?
True
Is (-15723)/(-1) + (68 - 78) a prime number?
False
Let s = -423 - -682. Is s a prime number?
False
Suppose 3*k = -3*u - 21, -k = 2*u + 4 + 5. Let x(o) = -698*o + 3. Is x(u) a composite number?
False
Let i(n) = -3373*n**3 + 2*n**2 - 2*n - 3. Let k be i(-1). Is k - (-4 + 3)*3 composite?
True
Suppose -4*x - 84 = -8*x. Is 2991/x - (-24)/42 a prime number?
False
Suppose -3*p + 26*o = 25*o - 205680, p - 5*o = 68574. Is p composite?
True
Let j(i) = -23*i**2 - i. Let x be j(2). Let q = x - -61. Is q*4/(-6)*1 composite?
True
Let s(k) = -10*k + 7. Let m be (-4)/(-2)*(-208)/32. Let f = -17 - m. Is s(f) a prime number?
True
Let k(d) = 95*d**2 - 15*d - 3. Is k(-2) a prime number?
False
Suppose 3*x + 3 = -3, 4 = 5*u - 2*x. Suppose -5*g + 5*a + 14 + 11 = u, g = 5*a + 9. Suppose -2*v + 57 = -5*k, g = 5*k - 1. Is v a prime number?
True
Let j(v) = -41*v**2 + 1 + 20*v**2 - 21*v**3 + 19*v**2 - 88*v**3 - 3*v. Is j(-3) prime?
False
Let k(q) = -q**2 - 9*q + 21. Let i(n) = -4*n**2 - 28*n + 62. Let d(y) = -2*i(y) + 7*k(y). Is d(-12) composite?
False
Let x = 47 - 34. Is (x - -1 - 1)*3 composite?
True
Let z(u) = -3*u**2 - 6*u - 16. Let n be z(-15). Let y = -56 - n. Is y a prime number?
False
Let a(p) = -9*p**3 + 6 - 83*p**2 + 80*p**2 + 3 + 4*p. Is a(-5) composite?
False
Suppose t - 5*j = 5*t + 1037, 0 = -2*j - 10. Is -4 - -2 - (t + 0) prime?
True
Let v(p) = p**2 + 7*p - 18. Let h be v(-10). Suppose z + 3*z = 3*f - 19, 0 = 2*f - 2*z - h. Suppose 0*c - f*c = 15, -y + 323 = c. Is y a prime number?
False
Let j = -5 + 102. Is j prime?
True
Suppose -3*j - 3*k = -0*j - 11763, -j + 2*k + 3915 = 0. Is j prime?
True
Suppose 5*l = -3*f + 2640, -f = -4 - 1. Let o = l - 359. Is o prime?
False
Suppose 0 = -22*z + 10*z + 168252. Is z prime?
False
Suppose -4*t - 4 = -5*t. Is 307/t*(7 + -3) a prime number?
True
Let p be (-2)/(-10) - (-1227)/15. Let k = 68 + -95. Let n = p + k. Is n prime?
False
Is 23*1*(51 - -172) prime?
False
Let j = -5 + 11. Is 1 + -2 - (-248 - (j + -2)) a prime number?
True
Suppose 4*d = -5*t + 118, -2*d = 3*t - 0*d - 70. Let c = t - 22. Suppose -o - o + 2758 = c. Is o a prime number?
False
Suppose 401859 = 4*x + 53*h - 58*h, -2*x + 5*h = -200937. Is x a prime number?
False
Suppose 0 = 39*o - 283707 - 273954. Is o a composite number?
True
Let t = 5289 - 2903. Is t a composite number?
True
Suppose 0 = 5*k, -3*k + 40 = 4*o - 8*k. Let r(x) = 2*x**2 + o - 11 + 2*x - 4*x**2 + 254*x**3. Is r(1) composite?
True
Suppose -u - 2 = -2*u. Suppose a - 15 = -5*b, -u*b = -6 - 0. Suppose -7*p + 5*p + 818 = a. Is p prime?
True
Let m(p) be the first derivative of -p**4/4 - p**3 + 5*p**2/2 + 4*p - 5. Let y be m(-4). Suppose -n - 1 + 35 = y. Is n composite?
True
Let r = -2 + 7. Let m(s) = 2*s - 8. Let x be m(r). Is (349 - 8/x) + 2 prime?
True
Suppose 5*z - 5830 = -o + z, -2*o - 5*z = -11663. Let f = 10981 - o. Is f prime?
True
Suppose 161*k - 199912 = 153*k. Is k composite?
False
Let m(x) = 2*x**2 - x**3 - 8 + x**3 + x - 13*x**2 + x**3. Let y be m(11). Suppose 232 = -3*z + y*a + 856, 4*z - 829 = 5*a. Is z a composite number?
False
Suppose -q - 173 = -2*o - 0*q, q = -3*o + 257. Suppose -4*x + 3 = n + 1, -3*n + 4*x + o = 0. Is n prime?
False
Suppose 0 = 106*i - 87*i - 396587. Is i prime?
True
Let a = 18 - 15. Suppose 3*v = -5*i + 35, -2*i = a*v + 2*i - 40. Suppose 4*k = 24 + v. Is k prime?
True
Let m(u) = 16*u**2 - 7*u + 7. Suppose 3*q = q + 12. Is m(q) a composite number?
False
Suppose -2782 = -2*k + 4*c, 32*c - 29*c = -2*k + 2810. Is k composite?
False
Is -9*3/9 - -6624 composite?
True
Let c be 5 - 8277/(-18) - 2/(-12). Is c*(-2 - -3) + 4 composite?
True
Suppose -6*k = k - 1176. Suppose k = 5*z - 4*d - 1281, 0 = 3*z - 5*d - 859. Is z composite?
False
Let x = -39 + 43. Suppose -28 = -0*a - x*a. Is a a composite number?
False
Suppose -4*p = -4*l + 9 - 1, -26 = 3*l + 5*p. Let u be ((-6)/(-18))/(l/(-24)). Suppose 0 = -c + u*c - 267. Is c a prime number?
True
Suppose 5*r = 4*q + 2, 0 = 5*r + 3*q - 22 + 6. Suppose -3*c + 367 = -r*c. Is c composite?
False
Suppose -2*g - 3*a = -2069, 4*g - 4*a - 3146 = g. Is g composite?
True
Let a = -925 + 2288. Is a prime?
False
Let f = 11002 - 4665. Is f a prime number?
True
Let l = -3850 - -9429. Is l a composite number?
True
Let i(v) = 6*v**2 + 19*v - 18. Suppose 21 = -k + 4. Is i(k) prime?
False
Let w(b) be the first derivative of -b**2 + 11*b - 4. Is w(-10) a composite number?
False
Let u = -1217 - -2376. Is u a prime number?
False
Let c = 65 + -47. Let z(s) = 30*s + 22. Is z(c) composite?
True
Let q = -1675 + 6998. Is q prime?
True
Let m be 44/10 + 14/(-35). Suppose 4*i + 42708 = m*z, 0*z - 10679 = i - 2*z. Is i/(-28) + (-2)/8 a composite number?
True
Let s(v) = 7 + 3*v**2 + 3*v**2 - 2*v - 5*v**2 + 181*v**3 - 4*v**2. Is s(3) prime?
True
Suppose 9*d = 13*d - 12. Suppose d*k - 1593 = 4*s, 0*s = 2*s + 6. Is k a prime number?
False
Let f = 21 + -17. Is 5 + (-12)/f + 751 prime?
False
Let r be (-4)/((-8)/(-2))*0. Let x(w) = w + 3. Let b be x(r). Suppose 473 + 196 = b*l. Is l prime?
True
Suppose 1247 + 1124 = w. Is w a composite number?
False
Let v(r) = 170*r**2 + 4*r - 9. Let z be v(8). Suppose -17086 - z = -13*j. Is j prime?
True
Suppose 2*b = 5*h - 2*b - 17161, -5*h - 2*b + 17167 = 0. Is h composite?
False
Let u be 3/2 + (-1)/(-2). Suppose g + u*g = 1347. Is g a prime number?
True
Is (-102)/(-85) - 99537/(-15) a composite number?
False
Suppose -3*o + 5352 = 9*o. Suppose 0 = -11*r + 5319 - o. Is r composite?
False
Let k be 2345/201 - (-2)/(-3). Let n(u) be the second derivative of u**5/20 - 11*u**4/12 + 17*u**3/6 - 3*u**2 + u. Is n(k) a prime number?
True
Suppose -109524 = -19*n + 7*n. Is n composite?
False
Is 19586/(-3)*((-126)/4)/21 composite?
True
Let g(d) = d - 9. Let h be g(14). Suppose -5*z + 5369 = -2*n, -4*z - 13380 = h*n - 8*z. Is 2/(-11) - n/176 a composite number?
True
Suppose 0 = 12*h - 0*h + 3576. Let n = h + 927. Is n prime?
False
Suppose -r = 3*i - 9, 0*i + 3*i + 5*r - 21 = 0. Is (-1228)/(i/2 + -3) a prime number?
False
Let n(o) = 2*o**2 - 5*o + 30531. Is n(0) a prime number?
False
Let s(o) = 4*o + 2. Let n be s(5). Let x = n - 41. Is x/(-5) + 1/5 prime?
False
Let v(i) = i**3 - 3*i**2 - 3*i + 4. Let s be v(4). Is s/(-20) + (-4722)/(-30) composite?
False
Suppose -21*m - 263461 = -64*m. Is m prime?
False
Let h be (-3725)/5*(-2 - -1). Suppose 5*b - 520 = h. Is b a composite number?
True
Let q(i) = 2*i**3 - 2*i**2 - 2*i + 1. Let z be q(2). Suppose 12 = z*x - 3. Suppose x*k - 470 = -137. Is k composite?
True
Let r = 1269 + 9890. Is r prime?
True
Let f be 2*99/30 - 8/(-20). Suppose -2206 = -9*w + f*w. Is w a prime number?
True
Let m(l) = -2*l**3 + l**2 + 22*l + 6. Let b be m(10). Let x = 2471 + b. Is x composite?
False
Let r(v) = -5*v**2 + 11*v - 6. Suppose 0 = 3*c + o + 4, -4*c - 2*o - 7 = o. Let f(n) = -n. Let g(q) = c*r(q) - 5*f(q). Is g(-5) a prime number?
False
Suppose -24285 = -12*v - 3*v. Is v prime?
True
Let v = 19586 + -3747. Is v a prime number?
False
Let d = 58713 + -19378. Is d composite?
True
Let q(k) = -1982*k + 21. Is q(-10) prime?
True
Let c(p) = -3*p**3 + 3*p**2 - p + 1. Let n = 13 + -18. Let z be c(n). Suppose 0 = 2*d - 134 - z. Is d composite?
True
Let g(h) = 74*h**2 - 77. Is g(12) a prime number?
False
Let p(d) = d**2 - 12*d - 13