Let s(h) = -2*h - 1. Let f be s(-3). Suppose -787 = k - 4*k - 4*b, -5*b - 1265 = -f*k. Is (-4)/(2 + -6)*k composite?
False
Suppose 16790 = 11*z - 19917. Is z a prime number?
False
Let n be -24*(3 + -2)/(-2). Suppose -3*w - n = 0, 4*l + 5*w + 382 = 1158. Is l prime?
True
Let j = -15 - -19. Suppose j*n - 1600 + 8144 = 0. Is n/2*2/(-4) a prime number?
True
Suppose -10*g + 6*g = 988. Let t = g + 452. Is t a composite number?
True
Let m(q) = 11*q - 16. Let j(p) = -2 - p**2 + 3*p - p + 6*p + 0. Let o be j(3). Is m(o) a prime number?
True
Let x = 4123 - 1188. Is (-6)/(30/x)*(-2 - -1) prime?
True
Is (17/(136/(-256912)))/(-2) a composite number?
False
Suppose -4*m - p = -0*p - 11446, -5*p = -10. Is m prime?
True
Let l(a) = -552*a - 11. Is l(-1) a prime number?
True
Let h(s) = -s**3 + 7*s**2 - 4*s + 9. Let m be h(7). Let l = 2 - -40. Let q = m + l. Is q prime?
True
Let t = -189615 + 275396. Is t a prime number?
True
Let p(i) be the first derivative of i**2 + 10*i - 4. Let f be p(-5). Suppose 0 = -2*x + 5*q + 65, -x - 3*x - 3*q + 143 = f. Is x composite?
True
Suppose 3*a + 9 = 24. Suppose 0 = 2*l - 2*i - 120, 0 = -2*i + 5*i + 6. Suppose -154 = -a*v - 0*v - f, 2*v + 4*f = l. Is v a prime number?
True
Let c be (-8)/(-10) - -3561*2/10. Let a = 1066 - c. Is a composite?
False
Let t be (-6)/(-9) + (-10)/(-3). Suppose 0*p + 8 = t*p. Suppose p*s - 112 - 634 = 0. Is s prime?
True
Let r(q) = q. Let s be r(0). Suppose 291 = 3*h - 183. Suppose s = 2*x - 10, -4*a + 88 + h = 2*x. Is a a prime number?
True
Let d(j) = -11 + 16*j + 0*j**2 - 310*j**3 + 309*j**3 + j**2. Let w be d(-14). Suppose -2*o = 3*o - w. Is o composite?
False
Suppose 18 = u + 4*k, u = 3*k - 6 + 3. Is u a composite number?
True
Let j(q) be the first derivative of 2/3*q**3 + 1 + 8*q - 7/2*q**2. Is j(-9) a composite number?
False
Let i be (-180)/156 + (-2)/(-13). Let j(y) = -438*y**3 + y**2 + 2*y + 2. Is j(i) composite?
False
Let a(p) = -2*p + 151. Is a(31) prime?
True
Let p(s) = 155*s**2. Let m be p(1). Suppose 3*t - 6 = 0, 3*r - 4*t - 1698 = -7*t. Let q = m + r. Is q prime?
True
Let x(g) = -g**3 - 51*g**2 - 45*g - 102. Is x(-53) prime?
True
Let k be (-20)/(-50) - 26/(-10). Suppose -a + b = -0 - 3, -2*b = -k*a + 8. Suppose 52 = 2*m - 2*n, a*m + n = 17 + 32. Is m a prime number?
False
Suppose b + 4*v - 112866 - 10837 = 0, 2*v + 247356 = 2*b. Is b composite?
True
Let g(o) = 2*o**3 - 27*o**2 - 21*o + 23. Is g(16) a prime number?
True
Let m(s) be the third derivative of -85*s**4/12 + 5*s**3/6 + 11*s**2. Is m(-3) prime?
False
Let i = 2887 + -1986. Let w = 2832 - i. Is w prime?
True
Let n = 2598 + -1801. Is n a composite number?
False
Suppose -19*f + 73107 = -10*f. Is f prime?
True
Suppose 2*y + 0*y - 1666 = 0. Suppose 7*r + 0*r = y. Is r a prime number?
False
Let g(u) = 2*u - 3. Let w be g(3). Suppose 53 = -2*i + w*i. Is i prime?
True
Let g(j) = -j**3 - 7*j**2 - 6*j + 2. Let s be g(-6). Suppose c + 275 - 922 = s*f, -4*c = -4*f - 2576. Let x = 1108 - c. Is x a composite number?
False
Suppose 16*v - 27*v + 21439 = 0. Is v prime?
True
Suppose w = -s + 11, -3*s + 3*w - w = -23. Let i(h) = 0 + 3*h + 20*h + 4. Is i(s) prime?
True
Suppose 2*y + 4 = 0, 2*n - 3*y = -y + 7882. Suppose -3*t = 6*j - 2*j - n, 2*j = 5*t - 6591. Is t a composite number?
True
Let q = 237 + -1704. Let g = q + 2164. Is g a prime number?
False
Suppose 0 = 2*s - 778 - 292. Suppose 0*i + s = i. Is i a prime number?
False
Let w(r) = -24*r**2 + 2*r + 61*r**2 + 149*r**2 - 3*r. Is w(1) a composite number?
True
Suppose 2*h = -h + 31071. Is h a prime number?
True
Let a(c) = 3*c**3 - 3*c**2 - c + 4. Suppose 0*p + 66 = -2*p. Let g = -30 - p. Is a(g) a composite number?
True
Is 4 + 32247/(0 + 3) prime?
True
Let g(a) = -7127*a - 34. Is g(-9) a composite number?
False
Let p(i) = 33*i. Let k be p(3). Suppose 236 = 5*f + 66. Let n = k + f. Is n a composite number?
True
Suppose -4*m - 3 = 3*n + 2, -5 = 2*n + 3*m. Suppose 0 = d + 4, 1521 = n*h + 2*d - d. Is h prime?
False
Suppose -3*l + 11*l = 50056. Is l composite?
False
Suppose 215195 = -143*i + 148*i. Is i composite?
True
Suppose 0 = -5*s + 63 + 642. Let z(c) = -c**3 - c**2 + 2. Let k be z(0). Suppose k*n - s = 65. Is n composite?
False
Let g(d) = 4*d**2 + d. Suppose 2*w - 3 = 3*q + 2*q, q - 4 = 5*w. Let f be g(q). Suppose -f*j + 247 = -26. Is j composite?
True
Let h(p) = 512*p + 57. Suppose -141 = -14*q - 43. Is h(q) a composite number?
True
Suppose n - 1 = -3*d, -2*n = -7*n - 4*d + 49. Let a = 7 + n. Is (a/(-30))/((-2)/27) a composite number?
True
Suppose 0 = -81*b + 85*b + 8. Is (418 + 1)*(-4 + 3)*b prime?
False
Let g(m) = 137*m**2 - 16*m - 24. Is g(-11) a prime number?
True
Let m(j) = -j**2 - 12*j + 3. Suppose 5 = -3*n + 17. Suppose 1 = -n*c - 31. Is m(c) prime?
False
Suppose 0 = -4*o - 0*r - r + 5265, 0 = -4*o + 5*r + 5283. Is o a prime number?
False
Let w(b) = -b**3 + 11*b**2 + 14*b + 7. Let s be 22 - (-6 + 3 - -5). Suppose 5*j = -k + 2*k + 64, j - s = 2*k. Is w(j) a composite number?
False
Suppose 3*k = -5*t + 2*k + 293196, t = 3*k + 58636. Is t composite?
True
Let k(o) be the second derivative of -5*o**4/6 + 3*o**3/2 - 5*o**2 - 3*o. Let z(c) = 5*c**2 - 4*c + 5. Let y(n) = 6*k(n) + 13*z(n). Is y(-4) prime?
False
Let w be (40/12 + -3)*0. Suppose v = -w*v. Suppose -a + 4*a - 291 = v. Is a prime?
True
Let z(w) = 5333*w**2 - 37*w - 109. Is z(-3) composite?
True
Suppose 0 = 6*b + 6882 - 126480. Is b a prime number?
False
Suppose -12 - 3 = -5*p. Suppose -676 = p*r + r. Let t = r + 348. Is t composite?
False
Suppose r + 362 = -4*a - 2853, -4*r - 12928 = -a. Let s = 2157 + r. Is ((-12)/(-18))/((-4)/s) composite?
False
Let g(z) = -317*z + 3. Let m be g(1). Let p = 525 + m. Is p prime?
True
Let j(p) = -479*p + 21. Let r be j(-10). Let t = r + -3138. Is t a prime number?
False
Let f(a) = 106*a**2 - 23*a + 12. Is f(9) composite?
True
Let i be 1/4 - 16779/28. Let r = -408 - i. Is r composite?
False
Suppose 325355 = 5*j + 5*x, -3*j + 118012 = -x - 77193. Is j a composite number?
True
Let w(d) = -110*d**3 - 8*d**2 - 33*d - 5. Is w(-4) a prime number?
True
Suppose 87035 = 24*y - 76237. Is y a prime number?
True
Let p(v) = 881*v**2 - 18*v - 55. Is p(-6) prime?
True
Let a(i) = 3*i**3 + 2*i**2 + 9*i + 9. Let r be -3*(-2)/(-4)*6. Let j be a(r). Let n = -814 - j. Is n prime?
True
Let s(q) = -2793*q - 140. Is s(-9) a prime number?
False
Let g = -5199 - -12522. Is g composite?
True
Suppose -4*c + 4*z + 373 = -971, z = -5. Suppose -4*t = a + 4*a - 33, 20 = 2*a + 5*t. Suppose p = -a*d + 400, 4*d - p = -4*p + c. Is d a prime number?
True
Suppose 0 = -v + f + 19 + 11, 0 = -2*f. Suppose 4*g + 36 - 142 = -5*n, 3*g = -n + v. Is (-554)/(-10) - n/45 prime?
False
Let x = -43850 + 80449. Is x prime?
True
Let t(g) = -8*g**3 - 10*g**2 + 4*g - 2. Let j(n) = 8*n**3 + 9*n**2 - 4*n + 2. Let z(p) = 5*j(p) + 4*t(p). Is z(3) prime?
True
Suppose 0 = -302*b + 325*b - 269537. Is b composite?
False
Let b(q) = -q**3 - 9*q**2 + 14*q + 45. Let i be b(-10). Suppose -i*s = -3784 - 661. Is s a composite number?
True
Let q(k) = -1617*k - 157. Is q(-4) prime?
True
Suppose 60*y - 290728 = 52*y. Is y composite?
False
Let i = 51572 + -36789. Is i a composite number?
False
Let g(s) = -s**3 + 7*s**2 + 20*s - 1. Suppose 2*d = 6*d - 28. Is g(d) composite?
False
Suppose -19*u = -14*u + 40. Let o be ((-1)/2)/(1/u). Let g(b) = 9*b**2 - 5*b + 7. Is g(o) a prime number?
True
Let d = 8 - 5. Suppose 36 = d*x + 3*x. Is (2/x)/(8/2328) composite?
False
Suppose 2*r = 20*r - 35874. Is r prime?
True
Let t(k) = 8*k**3 - 11*k**2 + 3*k + 9. Let a(m) = 7*m**3 - 11*m**2 + 4*m + 8. Let w(o) = 4*a(o) - 3*t(o). Is w(7) a prime number?
True
Suppose -5*t + 12 = 5*j - 3, -2*j = 3*t - 4. Is (1/(-2))/(((-15)/23394)/j) composite?
True
Suppose 0 = 7*r - 2*r - 30. Let h be (2/r)/((-1)/(-12)). Suppose -3*z = 2*z - 2*c - 575, 0 = h*z + 4*c - 432. Is z a prime number?
True
Let c = 9 + -13. Let i(o) = 3*o**2 - 8*o - 9. Let g be i(c). Is -2*(g - -2)*-1 composite?
True
Let h(j) = 378*j + 1. Is h(9) prime?
False
Suppose 0 = 4*i + 2*f - 7*f - 2378, 0 = 4*i + 5*f - 2358. Suppose 640 = 2*o - 1218. Let a = o - i. Is a composite?
False
Let r be (1/2)/((-3)/(-18)). Suppose 0 = -r*o + 3 + 3. Is (3 + o + -4)*337 composite?
False
Suppose m + 9 - 8 = 0. Let g be (-48 - (1 + -2))/m. Suppose 5*h - g -