et g = -4977 - -12778. Is g a composite number?
True
Suppose 37*d = 50*d - 74399. Is d prime?
False
Let x(f) = -41*f - 4. Let c(d) = d**3 - 3*d**2 - d. Let n be c(3). Is x(n) prime?
False
Let w(f) be the second derivative of -f**4/12 - 2*f**3 + 21*f**2 + 9*f. Is w(-11) a composite number?
False
Let q = 859 - 1318. Let o = q + 852. Is o prime?
False
Suppose -5*n + n + 28348 = 0. Is n a composite number?
True
Suppose 5*z = -5*x + 1300, 2*z = 7*z - x - 1318. Let o(h) = 2*h + 18. Let p be o(-8). Suppose -p*q = -q - z. Is q composite?
False
Suppose 2*z - 11 = -0*z + 3*f, -z + f = -8. Suppose -z*m + 11871 = -4*m. Is m a prime number?
True
Suppose 3*p - 40 - 162 = -5*d, -5*d - 74 = -p. Let j = p - 119. Let q = -19 - j. Is q composite?
False
Let w(u) = -u**3 + 17*u**2 - 13*u - 13. Let i be w(18). Let g = 1524 + i. Is g composite?
False
Suppose -7 = 3*y - 19. Suppose -5*h - 4 = -y*c, 4*h - 2*c = -0*c - 2. Let x(s) = -2*s + 251. Is x(h) a prime number?
True
Let o = 516 + 67. Is o composite?
True
Is 19/(855/(-9738))*5/(-1) a composite number?
True
Let m be (2 - 0)*(-21 - -1). Let z(q) = q + 14. Let f be z(-13). Is -3 - m/f - -2 a prime number?
False
Let n = 14 + -12. Suppose -4 = -2*g, n*v - g - 319 = 473. Is v a prime number?
True
Is 2920 - ((-2)/(-4))/((-3)/6) a composite number?
True
Let l = -2977 - -1985. Let f = -519 - l. Is f composite?
True
Suppose -8*b + 2*v + 35157 = -7*b, -140573 = -4*b - 3*v. Is b composite?
True
Suppose 1890553 = 74*z - 57*z. Is z a composite number?
True
Suppose 2*g + 5*z - 32579 = 0, -5*g + 125908 = -3*z + 44538. Is g a composite number?
True
Let s = 2974 - 1175. Is s a composite number?
True
Suppose -8008 = -32*r + 9816. Is r prime?
True
Suppose -5*r + 782 = -20223. Is r a composite number?
False
Let y be (-2)/(-5) - (-39)/15. Suppose 1767 = 3*v - y*b, -2*b = 3*v + 2*b - 1753. Is v composite?
False
Let w = 523 - -384. Is w a composite number?
False
Let a(b) = 11*b - 14. Let q(h) = -4*h + 5. Let i(l) = 3*a(l) + 8*q(l). Let o be i(0). Let g = o + 117. Is g a prime number?
False
Let m(j) = 15*j**3 - 8*j**2 + j + 16. Let z be m(-6). Let y = -1419 - z. Is y composite?
False
Suppose 4*k - 13 - 1267 = 0. Suppose m = -5*q + k, -5*q + 817 = 3*m - 93. Is m a prime number?
False
Suppose -5*s - 2*u = -18, -4*s - 14 = -7*s - 2*u. Suppose -2*g = -3*x - 99, -12 = -s*g - 5*x + 95. Is g a prime number?
False
Let y be -3 - (-4)/(16/5900). Suppose -3*n + y = n. Let d = -153 + n. Is d a prime number?
False
Suppose -7*h + 803024 = 235429. Is h a composite number?
True
Suppose -3*s = -3*m - 25110, s - 4*s - 4*m + 25103 = 0. Is s a composite number?
False
Let z(b) = -b**3 + 8*b**2 + b - 11. Let u be z(8). Is 91 - ((-3)/u + -1) a composite number?
True
Is (-10)/(-4) - (-5 + 42526/(-4)) prime?
True
Suppose 5*t - 3*t + 10 = 0. Let w be t*(3 - 39)/(-4). Let m = w - -91. Is m a prime number?
False
Let p = -31 + 29. Let n(h) = 177*h**2 + h + 1. Is n(p) prime?
False
Let p = 911 + 11090. Is p a composite number?
True
Let y = 14140 + -7895. Is y a composite number?
True
Suppose 20*i - 2*i = 22662. Is i composite?
False
Let y(h) = -h**3 - 2*h**2 - 8*h + 4. Let m = -61 - -54. Is y(m) composite?
True
Let j = 3106 - -11687. Is j a prime number?
False
Suppose -v - 3*v = -56572. Is v a composite number?
False
Let b be 20/(-8)*18/(-5). Let h(u) be the third derivative of u**5/60 - u**4/24 + 7*u**3/6 - u**2. Is h(b) prime?
True
Let j(g) = -444*g**3 - g**2 - 30*g - 21. Is j(-4) a prime number?
True
Let h be ((-2)/(-10))/((-7)/(-35)). Let x be (5 - 3)*4646*h. Is (-2)/11 + x/44 a prime number?
True
Suppose 0 = s - g - 5724 - 41291, -20 = 5*g. Is s composite?
True
Let b be ((-234)/(-10))/(6/90). Suppose -c - c + 2*i - 132 = 0, -5*c - 2*i = b. Let z = c - -196. Is z prime?
True
Let j be (-1 - (-7)/3)*(-8055)/10. Let p = j + 1987. Is p a composite number?
True
Suppose 0 = -2*l - 3*l - 65. Let b(p) = -14*p + 9. Is b(l) prime?
True
Let k be 2 + -5730 + (8 + -4 - 3). Let q = -1408 - k. Is q prime?
False
Let f(y) = -27*y - 40. Let s be f(-10). Suppose r = 2*g - s - 732, 0 = -5*g + 2*r + 2405. Is g composite?
True
Suppose 3*v - a - 3938 = 0, -v + 1311 = -3*a + a. Is v a composite number?
True
Suppose 4*z - 5*z + 4*l + 7081 = 0, 2*z - 14202 = -2*l. Is z a prime number?
False
Suppose 2*h + 12*h - 3486 = 0. Let j = h - 131. Is j a prime number?
False
Let z(d) be the third derivative of d**5/6 - d**4/6 + d**3/6 + 8*d**2. Suppose -4*c + 21 = k - 2, -3*c + 17 = k. Is z(c) prime?
True
Let p(h) = -694*h + 127. Is p(-15) a composite number?
True
Let f be 410/5 - 2/(-2). Suppose 464 = 3*o + f. Is o a prime number?
True
Let g(b) = b**3 + 2*b**2 + b + 1. Let n be g(-4). Let a = n - -88. Is a composite?
False
Let l(w) = -w**3 + 6*w**2 - 74*w + 17. Is l(-10) a prime number?
True
Let m(o) = 921*o**3 - o**2 - o + 3. Suppose -q + 1 + 0 = 0. Is m(q) a prime number?
False
Is 7404 - 6/18*-21 prime?
True
Let a(q) = 4*q**2 + 26*q + 7. Let m be a(-6). Let o(y) be the first derivative of y**3/3 - 3*y**2/2 - 5*y - 1. Is o(m) prime?
False
Is (-51466)/(-8) - 3/12 composite?
True
Is (2 - 215)/((-12)/52) prime?
False
Let z(j) = 430*j**3 - 13*j**2 + 11*j + 3. Is z(5) prime?
False
Let k(d) = -d - d**3 - d - 24*d + 17*d**2 + 18 + 2*d. Let w be k(16). Let q = -57 - w. Is q prime?
True
Let x be (6 - 26/4)*24/(-1). Suppose -18*b = -x*b - 10542. Is b a prime number?
False
Suppose 10 - 15 = 5*z. Is -31*(z - -70)/(-3) composite?
True
Suppose l = -4*u - 2*l + 28, 20 = -5*l. Let q(i) = -i**3 + 17*i**2 - i + 12. Let f be q(u). Let r = -203 + f. Is r a composite number?
False
Suppose -l - 2066 = -2*z + 7510, 23939 = 5*z - 2*l. Suppose -3*k = -2*k + 4*d - 971, -3*d + z = 5*k. Is k prime?
False
Let r be 34/(-51) + (-1487)/(-3). Let c = r + 1148. Is c prime?
False
Let l(i) = -26*i. Let f be l(2). Is 13/f - (-7642)/8 a prime number?
False
Let g(n) = n + 3. Let p be g(0). Suppose p*k + c = 6*k - 5, 2*k - 5 = -c. Suppose -k*o + 1001 = 5*o. Is o prime?
False
Let u = -134 + 34. Let f = -235 - -536. Let v = u + f. Is v a composite number?
True
Let t(b) = -34*b**3 + 2*b**2 - b + 1. Let p be t(2). Let n = 468 + p. Is n prime?
False
Let y be (-50)/(-3)*195/(-2). Let q = 2987 + y. Suppose q + 675 = 3*f. Is f a prime number?
False
Let d(q) = q**2 + 2*q - 1. Let h be d(-3). Suppose 4*k = -2*b + 372, 2*b - h*k - 381 + 33 = 0. Let r = 89 + b. Is r a composite number?
True
Let f(o) = -80*o**2 - 8*o + 3. Let n = 22 + -19. Let z be f(n). Is (2 - 0)/((-26)/z) composite?
True
Suppose 0*h + 2*h + 4*z = 132, 65 = h + 3*z. Let p(s) = s**2 + 15*s - 35. Let f be p(-18). Let c = h - f. Is c a composite number?
True
Let g be (-296)/16 + 7 + (-2)/4. Is (-3*69)/(g/8) - -1 composite?
False
Let v = -3715 - -5256. Is v a composite number?
True
Let y(j) = 21871*j**3 - 7*j**2 + 15*j - 8. Is y(1) a prime number?
True
Suppose 4*o - h - 3*h - 21044 = 0, 2*o + 3*h = 10522. Is o a composite number?
False
Suppose p - 47 = -4*y, -30 = y - 4*y + p. Is y a composite number?
False
Suppose 0 = 2*r - 7*r + 20. Is ((-22)/(-6) - r)*-555 prime?
False
Suppose -5*p - 5*j = 5887 - 1557, -3*j - 4326 = 5*p. Let k(s) = s**2 - 487. Let x be k(0). Let w = x - p. Is w a prime number?
False
Let a be 2 - (6 - 2 - 7). Suppose -a*o + 4*p + 4657 = 0, 0*o = 2*o + 2*p - 1852. Is o composite?
False
Let c(p) = 2*p - 13. Let d be c(10). Let x(y) = 4*y**2 - 14*y - 15. Is x(d) a composite number?
False
Suppose 3*z - 6 = -0. Let c(w) = -w**3 + 6*w**2 + 23*w + 38. Let t be c(9). Suppose -3*d = -v - 2167, -d + 2171 = z*d - t*v. Is d a composite number?
True
Let q(r) = -r**3 + 26*r**2 + 19*r - 153. Is q(23) composite?
False
Let c be (-12)/9*18/(-4). Suppose -q + c = 2. Suppose 4*k = g - 481, 0*g + q*g - 1957 = 5*k. Is g a prime number?
False
Let v(s) = -8*s + 9. Let i be v(-9). Suppose -246 = -5*z - 76. Let u = z + i. Is u prime?
False
Let b(j) = -1434*j + 1145. Is b(-57) a composite number?
False
Is ((-95307)/6)/(17/(-34)) prime?
True
Let v(r) = r**3 - 2*r**2 + r**3 - 1 - 6*r + 0*r**3 - 2. Let q be v(5). Let l = 324 - q. Is l a prime number?
True
Let j(g) = g**2 - 2*g - 8. Let i be j(-2). Suppose -6*b + 11*b - 4555 = i. Is b prime?
True
Suppose -7*i + 10*i = 6. Suppose -4*n = -3*n + 4*o - 459, -i*o = 10. Is n a prime number?
True
Let z(d) = 5146*d**2 - 26*d - 25. Is z(-1) a prime nu