= -486*m - 51. Let p be u(-7). Let x = -1952 + p. Is x a prime number?
True
Let t(d) = 138*d**3 + 10*d**2 - 17. Is t(3) a prime number?
False
Let b(k) = 5*k**3 - 7*k**2 + 2*k + 13. Let y be b(-7). Let z = y - -1430. Let r = z - -1134. Is r a prime number?
False
Suppose 15*p - 38*p = -52946. Suppose -x + p + 7857 = 0. Is x a composite number?
False
Suppose -10*t = -5*t - 6275. Let g(z) = -220*z**2 - 2. Let p be g(-2). Let v = t + p. Is v a prime number?
True
Suppose j = -3*q + 19, 0*j + 2 = 2*q - 2*j. Suppose 5*s - 4*o - 1492 = 1032, q*o = 20. Suppose 5*u - s = u. Is u composite?
False
Let p = -349 - -607. Suppose -5*t + 436 + 264 = -k, 4*k - p = -2*t. Is t prime?
True
Suppose -4*r = 17 - 917. Let j = 319 - r. Suppose -3*l + 5*q + 185 = 0, 36 + j = 2*l - 5*q. Is l a composite number?
True
Suppose 3 = -2*d + 7. Suppose 2*p = d*f - 103 + 413, 2*p - 312 = f. Is p a composite number?
False
Let f = -2005 + 6762. Is f composite?
True
Let f be -5*4/(-20)*-8. Let y = f - -54. Is y composite?
True
Suppose 3*c = -c. Let r be (-2 + c)/(3/(-1419)). Suppose -p + r = p. Is p a composite number?
True
Suppose 11*h - 513 = 14458. Is h a composite number?
False
Let z(y) = -148*y**3 + 4*y**2 + 3*y. Let r be -1*(-1 - 0) - 2. Is z(r) composite?
False
Let y(h) = 3*h - 4. Let v be y(6). Suppose 0 = -v*r + 10*r + 6100. Let t = r - 468. Is t composite?
True
Suppose -56263 = -5*r - 23*l + 25*l, -l = -5*r + 56259. Is r prime?
True
Let a be 3/(1 + 2) - 14266. Is 8/(-6)*a/30 prime?
False
Suppose 562771 = 5*y + 4*i, -y + 147885 = -4*i + 35350. Is y composite?
True
Suppose 0 = -5*b - 4*n + 24, -2*b + 1 + 4 = -3*n. Suppose -424 + 1268 = b*i. Is i a prime number?
True
Suppose 0 = 3*p - 5*t - 10, t + 0*t + 2 = -4*p. Suppose -15 = 5*z, -3*q - 4*z + 52 + 8 = p. Let h = 13 + q. Is h a prime number?
True
Suppose -2*l - 5*c = -15946, -4*l = 3*c - 48478 + 16614. Is l a prime number?
True
Suppose 5*d + 3*t - 50882 = 0, -t = d - 0*d - 10176. Is d composite?
False
Suppose 20*i = 18*i - 282. Let c = i - -550. Is c prime?
True
Let g(v) be the second derivative of -33*v**3/2 + 2*v**2 - 3*v. Is g(-9) a composite number?
True
Let z(f) = -4*f**3 - 34*f**2 + 28*f - 17. Is z(-15) composite?
False
Suppose -771 = -15*z + 14*z. Is z a prime number?
False
Let m(o) = 25*o**2 + 15*o + 10. Let f be m(-14). Let j be f/6 - 11/33. Let g = j + -466. Is g composite?
False
Let y = 39 - 32. Let t(j) = 58*j + 1. Is t(y) a prime number?
False
Let i = 31 - 33. Is 1114 - (-4)/4 - i/1 a prime number?
True
Let o(l) = -8*l**3 - l**2 - 5*l - 7. Let c be o(5). Let s = -614 - c. Is s composite?
False
Suppose 0 = -4*j + 198 + 1246. Suppose 4*a + 753 = 3*i, 2*i - 5*a - 141 - j = 0. Is i a composite number?
False
Let w = -70 + 75. Suppose -170 - 485 = -w*b. Is b prime?
True
Let p(g) = 142*g**2 - 2*g + 1. Let w(a) = -a**2 + 8*a + 8. Let t be w(9). Let r be t/(-2) + 2/4. Is p(r) a prime number?
False
Suppose -4*i = 5*k - 293041, 5*i = -21*k + 16*k + 366300. Is i composite?
False
Is -4*-1097*11/4 composite?
True
Let b(w) = w**2 + 5*w - 17. Let y be b(-7). Let i be 108/60 + 2/10. Is y - -368 - (2 - i) composite?
True
Let a(m) = -461*m + 53. Is a(-12) prime?
False
Let x(v) = -29*v + 31. Let a be x(-12). Let s = 678 - a. Is s composite?
True
Let q(d) = 19*d**2 - 5*d + 8. Let w(i) = i**2 + 13*i + 9. Let x be w(-13). Let r(y) = -y + 15. Let g be r(x). Is q(g) a prime number?
False
Suppose -99*d = -101*d + 4366. Is d a composite number?
True
Suppose -w + 3*n + 187 = 0, -4*w + 3*n + 531 = -w. Let h = w + -54. Suppose 3*j - 149 - h = 0. Is j composite?
False
Let w(s) = 87*s**2 - 21*s + 157. Is w(8) a composite number?
False
Let v be 2/1 - 6*-62. Suppose v = 4*z - 134. Is z a composite number?
False
Let p(y) = 29 + 36 - 60 - 15*y + 9*y**2. Is p(-8) a composite number?
False
Suppose 5*f + 11 = -4*i - 8, 0 = i - 4*f + 10. Let v be (-4 - i) + (-6)/(-2). Suppose 0 = v*n - 161 - 94. Is n prime?
False
Suppose 2*j = -5*z + 7, 0*j + 19 = 4*j + 5*z. Let g be (0 - -1)/((-3)/j). Is (-6)/(-12) + (-117)/g a composite number?
False
Let k(i) = i**2 - 10*i + 18. Let h be k(3). Is 618/4 - h/(-18)*-3 a prime number?
False
Let l be (1 - 0)*440 - (-1 + -3). Suppose -2*j = 10*j - l. Is j a prime number?
True
Is (0 - (-489531)/2)*(-48)/(-72) a composite number?
True
Let g(d) be the second derivative of 7*d**3/2 + 4*d**2 - 3*d. Let j be 1/3*105/5. Is g(j) a composite number?
True
Let q(n) = 76*n**2 - n. Suppose -2*a + 6 = -4. Suppose 1 = -5*i + s, 0 = -a*i - 4*s - 1 - 20. Is q(i) a prime number?
False
Let w(y) = -13*y**2 - 3*y + 5. Let c(t) = 13*t**2 + 3*t - 5. Let h(r) = 4*c(r) + 3*w(r). Is h(4) prime?
False
Let a = 141 - 177. Let u(d) = 11*d + 4. Let v be u(-9). Let q = a - v. Is q composite?
False
Suppose 93*z = 118*z - 765775. Is z composite?
False
Let n(w) = -32*w - 1. Let x be (1/(-2))/((-12)/(-96)). Is n(x) a prime number?
True
Let z(m) be the third derivative of m**6/60 - 13*m**5/60 - m**4/3 - 3*m**3/2 + 33*m**2. Is z(10) prime?
False
Let y(o) = -2*o**3 + o**2 + 2*o - 11. Let h be y(6). Let t = h + 749. Suppose 1107 = 3*r + t. Is r prime?
True
Suppose 0 = -34*d + 6*d + 279076. Is d a composite number?
False
Let z = 478 - -2103. Is z composite?
True
Let h(o) = -15*o**2 + 2*o - 22. Let t be h(6). Let z = t - -933. Is z a prime number?
True
Let r = 13319 + -7072. Is r prime?
True
Suppose 2*q + q - b + 307 = 0, -q - 2*b = 114. Let s = q + 549. Is s a prime number?
False
Is (-2)/(2 - 6) + (-513)/(-2) a prime number?
True
Suppose l - 2*l + 11 = 0. Let u(t) = -l*t**2 + 2*t**3 + 3*t**3 - 4*t**3 + 7*t + 6. Is u(11) prime?
True
Let l = 24 - 16. Suppose 7*j = 5*j + l. Is (1 - j)*(-157)/3 prime?
True
Let f(z) be the first derivative of -z**4/4 + z**3/3 - z**2/2 + 439*z + 16. Is f(0) a prime number?
True
Let h = 3949 + -1844. Suppose -5*z + h = -d, -4*z + d + 1528 = -155. Is z composite?
True
Suppose -a - 5*i = 583, -3*i + 1451 = -2*a + 246. Let m = a - -889. Is m a prime number?
False
Let v = 26049 - 14662. Is v a composite number?
True
Suppose -2*c = 5*w - 12519, 2493 = -3*w + 4*w - 5*c. Is w composite?
False
Let l = 35 - 30. Suppose -3*u + f + 2443 + 494 = 0, -l*u - 3*f = -4895. Is u a composite number?
True
Let b(x) = 14*x + 3 - 41*x**3 - 3*x**2 + x**2 - 7*x - 6*x. Is b(-2) composite?
True
Let q(a) = 2*a - 20. Let k be q(10). Suppose -1290 = -3*h + 3*v + 180, 4*h + 4*v - 1968 = k. Is h a composite number?
False
Let y(p) = p - 1. Let j be y(3). Suppose -j*a = 3*k - 23, -k + 0*k - 3*a = -17. Suppose -k*c + 419 = -4*c. Is c prime?
True
Let k = -746 - -1179. Let n = k + 628. Is n prime?
True
Let g(j) be the first derivative of j**7/840 - 7*j**6/360 - j**5/10 + 13*j**4/24 - 4*j**3/3 - 2. Let f(i) be the third derivative of g(i). Is f(9) prime?
True
Suppose 2 + 10 = 4*z. Suppose -w + 1942 = -0*w - 3*a, -z*a = 3. Is w composite?
True
Suppose -3*r = -4*o - 50, -o = r - 6 - 6. Suppose -m = 116 - r. Let d = 289 + m. Is d prime?
False
Suppose -3*z + 206 = -k, -2*z = k - 24 - 115. Is z a composite number?
True
Suppose 0 = -8*g - 764 - 804. Let s = g + 445. Is s a prime number?
False
Let a(g) be the first derivative of -g**4/4 + 14*g**3/3 - 11*g + 2. Let f = -145 - -158. Is a(f) a prime number?
False
Let f = 7796 - 3505. Is f a composite number?
True
Let r(w) = -4*w**2 - 6*w + 6. Let j(z) = 7*z**2 + 11*z - 11. Let v(u) = 3*j(u) + 5*r(u). Let p be (2 + 28/(-12))/((-4)/120). Is v(p) a composite number?
False
Is (-3)/(-1) + (2 - -13916) a composite number?
False
Suppose 7*z = 3*z - 240. Let v be (z/20)/(6/(-8)). Suppose 56 = v*c - 156. Is c a composite number?
False
Suppose 0 = j + 3*m + 29, -2*m + 7*m - 3 = 2*j. Let r = j + 18. Suppose 2*l = r*p - 1062, -p - 5*l + 501 = p. Is p a prime number?
True
Let k(v) = -8*v**3 - 19*v**2 + 25*v - 11. Is k(-14) a prime number?
False
Suppose -3*d = -190 - 56. Let u = -45 + d. Is u composite?
False
Suppose -2*b - 24*d + 140530 = -27*d, -3*d = -12. Is b a composite number?
False
Suppose -3*y + 24104 = -y + 5*t, -36151 = -3*y - 5*t. Is y a prime number?
False
Let p = 3 - -379. Is p a prime number?
False
Let p(r) = -r**3 + 7 - r**2 - 3*r**2 - 4*r - 2*r**2. Suppose 2 = -d - 2*k + 6, 2*k = -2*d - 2. Is p(d) a prime number?
True
Let i be (-16)/(4 - 0) - -9. Suppose -25 = -3*m - 4*u, -i*m + 42 = 2*u + 5. Suppose m*l - 747 = 4*l. Is l co