4*c**2 - 4*c**2. Let n(r) = r**3 + 4*r**2 + 4*r + 3. Let y be n(-3). Is w(y) a composite number?
False
Let u(y) = -y**2 + 5*y + 4. Let z be u(-11). Let v = 404 + z. Let m = v + 289. Is m a prime number?
True
Is 93682/248*(5 + -1) composite?
False
Suppose 1013 = -3*m + 2552. Let i be 2 - 4*(-1 + 65). Let s = i + m. Is s a prime number?
False
Let a = 311 + 452. Is a composite?
True
Let y(s) = -5*s**2 + 2*s**2 - 1 + 15*s**3 + 0*s**2 + 2*s**2. Is y(2) a prime number?
False
Let n = 204 - 430. Let k = n + 439. Is k a composite number?
True
Let m(p) = 3*p**2 - 114*p + 245. Is m(44) a prime number?
False
Suppose -87 = 3*m - 1557. Let f = -62 + 63. Is 4/f + m + -7 a prime number?
True
Let t = -6840 + 11987. Is t prime?
True
Suppose -3*r = 2*w + 3*w - 9, 0 = 2*r - 6. Let v(q) = -17*q**3 + 2*q - 1. Let y be v(-2). Suppose -s + y - 8 = w. Is s a prime number?
False
Let p(d) = 102*d**3 + 7*d**2 - 32*d + 13. Is p(6) a prime number?
False
Suppose 2*p + 6542 = 4*p. Is p a composite number?
False
Suppose 5*f + 262 = 8027. Is f prime?
True
Let q = 5811 - 4034. Is q prime?
True
Suppose -10690 = -5*s + 4*w, 6*w = 3*w. Is s composite?
True
Let j(s) = 5*s. Let q be j(-1). Let d(t) = t**3 + 7*t**2 + 8*t - 7. Let g be d(q). Suppose 5*l + 92 = y, -2 = g*l - 2*l. Is y composite?
True
Let d(k) = 3*k**2 - k + 2. Let l(r) = -2*r**3. Let z be l(-1). Let q be d(z). Suppose -326 = -3*u - 2*i, -2*i = i - q. Is u a composite number?
True
Suppose -5 = -0*c + 5*c. Let b be (6/4)/c*-86. Suppose 0 = -2*q + b + 133. Is q composite?
False
Suppose 0*l = 4*l - 8. Suppose -l*i - 9 = -5*i. Suppose 20 = i*r - 1. Is r a composite number?
False
Suppose -4212 = 2*o + y, -2*o = -4*y - 362 + 4554. Let u be o/(-8) - 3/1. Suppose -3*f + 140 = -5*h, 2*f - 3*h = -3*f + u. Is f composite?
True
Suppose g - 18 = -g - 5*a, g + 4*a - 9 = 0. Let o = 9 - g. Suppose o*i + i = 59. Is i prime?
True
Suppose 0 = -u - 46 + 40. Let c(o) = o**3 + 8*o**2 - 3*o - 3. Is c(u) prime?
False
Let i = 12487 - -62524. Is i a composite number?
False
Let y = 2939 + -1452. Suppose 2*p + 4 = 0, -2*c + 3*p + y = -357. Is c prime?
True
Suppose 13 = 5*a - 102. Let u = a + -19. Suppose -u*h + h + 111 = 0. Is h a prime number?
True
Let t(d) = 490*d**2 + 19*d - 6. Is t(-5) a prime number?
True
Let r = -5 + 16. Suppose 0 = 4*b + r - 3351. Is b a composite number?
True
Let f = 6 + -3. Suppose -v = 2*v - 2*g - 40, -g + 34 = 3*v. Suppose l - 109 = -4*a - 0*a, -f*a = -v. Is l composite?
True
Let j be ((-12)/7)/((-18)/63). Suppose 7*a - 4*a - j = 0. Suppose -1543 = -5*i - a*n - 0*n, 933 = 3*i + 3*n. Is i a composite number?
False
Suppose 2*q + 2*q + 3492 = 0. Let c = q - -1270. Is c composite?
False
Let d = -839 - -1716. Is d prime?
True
Is ((-3040)/(-3) + -1)/((-2)/(-6)) a composite number?
False
Let i = 53 + -49. Is 79/i*(-8 - -28) composite?
True
Let b(n) = -788*n - 307. Is b(-12) a prime number?
False
Suppose -18 = -2*j - 5*h, -2 = 2*h - h. Let w = 17 - j. Is (-1226)/(-6) - 4/w a composite number?
True
Let s = 71 - 75. Let y = s + 330. Is y a prime number?
False
Suppose -4*z = -2*p + 11674, -25*p - 2*z - 11676 = -27*p. Is p composite?
False
Let v(b) = b**3 + 5*b**2 + 2*b. Let r be v(-4). Let x(u) = 184*u - 1. Let j be x(r). Suppose j + 2042 = 3*a. Is a a prime number?
True
Let x(j) = 477*j**2 - 5*j - 9. Let p be x(-5). Suppose 5*l - p = -f, -5*l + 15265 - 3328 = -3*f. Suppose 317 = 5*r - l. Is r composite?
False
Suppose -3*o + 788 = 68. Suppose h - 11 = o. Is h a composite number?
False
Suppose 0 = 5*i + 4*b + 10, 6*i - 5*i = -4*b - 18. Is (0/((-6)/i))/2 - -4327 prime?
True
Suppose g = 5*l - 19 - 4, 0 = -2*g + l - 1. Suppose -9 = -g*q - 5. Is (q - (-203)/4)*4 prime?
True
Let g(d) be the third derivative of 3*d**5/10 + 5*d**4/8 + 25*d**3/6 + 9*d**2. Is g(-14) composite?
False
Let s(a) = a**2 + 11*a + 19. Let d be s(-9). Let o be (-8)/d - 18/(-9). Is (26/o - -4)*-879 prime?
True
Suppose -436 = 4*o - 2*g + 92, 4*g + 504 = -4*o. Let b = 537 - o. Is b prime?
False
Suppose -2*b = -4*v, 0 = 3*v - b + 3 - 1. Let j = v - -21. Is j composite?
False
Let w(x) be the third derivative of -29*x**4/12 - x**3/6 + 4*x**2. Let s be 1/(1/2) - 3. Is w(s) composite?
True
Let v(u) = -94*u**3 + u**2 - 4*u + 5. Let c(g) = 281*g**3 - 2*g**2 + 12*g - 15. Let l(s) = 3*c(s) + 8*v(s). Is l(2) a prime number?
True
Let u = -15 - -15. Let z be (8/(-12) + u)*-3. Is (-1)/z + 3295/10 prime?
False
Suppose 315646 - 2077993 = -111*x. Is x a composite number?
False
Let d = -23 + 33. Let i = d + -10. Suppose 3*o + 4*b - 187 = 0, i = 3*o - 2*b - 176 - 23. Is o a composite number?
True
Let b = 15385 + -6658. Is b a prime number?
False
Suppose 5*d = -3*x - 9390 + 66401, -5*x + 10 = 0. Is d a composite number?
True
Let y = -264 - 5. Let j = y - -456. Is j a prime number?
False
Let l(i) = -2*i - 8. Let t be l(-5). Is (t/(-2))/((-3)/1281) composite?
True
Let x = 33 - 35. Let k(p) = -258*p + 1. Is k(x) a composite number?
True
Let x(q) be the third derivative of q**6/120 + q**4/6 + 2*q**3/3 + q**2. Suppose -7*m + 54 = 19. Is x(m) composite?
False
Suppose 40830 = -5*b + 15*b. Is b composite?
True
Let z(c) = -c + 15. Let r be z(18). Let n(d) = -15*d + 14. Is n(r) a prime number?
True
Let i be (-27)/(-15) - 6/(-30). Is ((-545)/i)/((-8)/16) a prime number?
False
Suppose g + 56 = -5*d, d = -3*d - 4*g - 48. Let h be (-2)/d - 75224/(-88). Suppose -4*c + 5*q - 2*q + 680 = 0, h = 5*c - 5*q. Is c a composite number?
False
Suppose 3*k - 93 = 5*c - 10*c, 5*k - 77 = -4*c. Suppose 0 + c = -b - 3*q, 2*q = -4*b - 72. Is (-5278)/b - 12/54 composite?
False
Let o = -41 + 41. Suppose 0 = -2*h + 3*c + 356, -3*h - 2*c = -o*c - 534. Is h prime?
False
Is (-13628)/12*(5 - 8) prime?
True
Let a(g) = 23*g**2 + 4*g - 5. Suppose 5 = 4*h - 55. Let n be -3*(h/9 - 3). Is a(n) a prime number?
True
Let c(b) be the first derivative of b**3 - 23*b**2/2 + 49*b + 12. Is c(21) a composite number?
True
Suppose -8*y = -y - 14. Is 510/45*141/y composite?
True
Is (-1593)/(-135)*(35 - 0) a prime number?
False
Let p(f) be the third derivative of f**6/120 + 3*f**5/20 - f**3/6 + 2*f**2. Let d be p(-9). Is (-2)/d + (1 - -35) a composite number?
True
Let x = 760 + 890. Suppose -5*q + x + 835 = 0. Is q a prime number?
False
Let a(c) = c**3 + 13*c**2 - 13*c - 7. Let p be a(-15). Let m = p + 935. Is m composite?
False
Let b(z) = -z**2 + 19*z - 31. Let y be b(17). Suppose 2*c + 0*c - 684 = -2*s, 4*s + 1061 = y*c. Let x = 538 - c. Is x a prime number?
True
Suppose 302475 = 5*a - 2*j, -a - 3*j = 4*a - 302450. Is a composite?
False
Suppose 2*b + 3*b - 53305 = 0. Is b a prime number?
False
Suppose -4*c - 9 - 31 = 0. Let y(n) = n + 13. Let r be y(c). Suppose 16 + 449 = r*m. Is m a composite number?
True
Let g(x) = -15*x + 1. Let z be g(-1). Is 24/z*148/6 prime?
True
Suppose 0 = -6*j - 5808 + 366. Is j/1*-1 + 0 a prime number?
True
Is (-19)/15*-115*6/2 a prime number?
False
Suppose -4*n - 2100 = -10*n. Let q = 495 - n. Is q composite?
True
Suppose -2*v - 14 = 18. Let k = -3 - v. Is k a composite number?
False
Suppose 33*s + 9436 = 4*a + 34*s, -s = 0. Is a a composite number?
True
Let n be ((-1)/2)/((-13)/(-2678)). Let p = n + 149. Is p a prime number?
False
Suppose 1769 = 2*n - 0*d - 5*d, d + 3 = 0. Is n composite?
False
Is (-35)/(-21) - 171056/(-6) prime?
False
Suppose -15*d = 2*a - 11*d - 25234, 0 = -2*a - 3*d + 25231. Is a composite?
False
Suppose -2*t + f + 1116 = -3129, -5*t + 10605 = 5*f. Is 2*(-4)/((-64)/t)*4 composite?
False
Is ((-1910)/(-70))/(16/1232) prime?
False
Is -3 - (10 - 6763) - (0 - -1) a prime number?
False
Let y = -3478 + -978. Is (y/(-4))/(-1 - -3) composite?
False
Let p = 12 - 8. Suppose -p*v - 293 = -5*v. Is v a prime number?
True
Let m be 2 + (3 + -6 - 5). Let y be 5/(((-3)/m)/1). Is 1576/y + (-10)/(-25) composite?
True
Let s = 27 - 19. Suppose -3*v + n + 194 = 2*n, s = 4*n. Let b = v + -45. Is b a prime number?
True
Let i = -105 + 112. Suppose -30860 = -i*w - 13*w. Is w a composite number?
False
Let s = -1681 - -2532. Is s composite?
True
Suppose -3*h + 6143 = -2*u, 0 = 3*h + 5*u + 2601 - 8779. Suppose -2*o + h = -o - 5*w, o + w - 2027 = 0. Is o prime?
False
Let w(b) = 247*b + 1. Suppose 4*y - 2*y = 2. Let g be w(y). Suppose -5*v + 253 = 4*i, -4*i - v + g = 15. Is i a prime number?
False
Suppose -2*g - 128 = 