b = z - 140. Is b composite?
False
Suppose -26*t + 32*t - 4722 = 0. Is t prime?
True
Let h(i) = i**3 + 2*i**2 + 1. Let u be h(-3). Let j(g) = -g**3 - 8*g**2 - 3*g - 18. Let a be j(u). Is 3/((a/93)/2) a prime number?
False
Suppose -3*g + 14754 = -4*h, -g - 34426 = -8*g + h. Is g prime?
False
Let j = 58 - -107. Let d = -72 + j. Is d a composite number?
True
Is (-7726)/(-2)*6/24*4 a prime number?
True
Let r(h) = 24*h**2 - 14*h - 5. Suppose -22*y + 20*y - 16 = 0. Is r(y) composite?
True
Let k = -1369 - -3406. Suppose -j = -2*h - k, 5*j - 10221 = 4*h - 3*h. Is j composite?
True
Let h(t) = 2*t + 17. Let i be h(-7). Suppose -i*o = 1 + 5. Let d(r) = -145*r - 3. Is d(o) prime?
False
Let g be (-27)/(-36) - (1114/(-8) - 0). Suppose g = 3*p + p. Is p composite?
True
Suppose -4*u + 594 = -u. Let p = u - 139. Is p composite?
False
Suppose -3*n = -5*y - 0 + 10, -y = n - 10. Let h be (-2)/n + 34/10. Is (6/h)/4*166 a prime number?
True
Suppose -570*o = -578*o + 67864. Is o a composite number?
True
Suppose 4 = -7*f + 8*f. Suppose -2*u + 4*a = -886, -u + 522 = f*a + 61. Is u prime?
True
Let j(h) = 4*h**2 - 24*h + 31. Is j(-14) a prime number?
True
Let b = -840 + 1252. Suppose -w + 179 = -b. Is w a prime number?
False
Let v be (-7 + 3)/(-1 - -2). Let h(l) = l**2 + l - 3. Let g be h(v). Is g/(3 - 0) - -84 a prime number?
False
Let q(g) = -207*g - 1. Let y be q(1). Let b = 467 + y. Is b composite?
True
Let a(w) be the second derivative of -w**7/2520 + 7*w**5/24 - 5*w**4/12 - 3*w. Let g(j) be the third derivative of a(j). Is g(0) prime?
False
Suppose -12 = 4*x, 2*c + x - 2*x - 29 = 0. Let j = c + -11. Suppose j*d = -2*r + r + 141, r = -5*d + 135. Is r a composite number?
True
Let f = -2237 + 4130. Suppose 3*u + 0*u = f. Is u a composite number?
False
Suppose 46*c - 2122 = 47*c. Let m = c - -3023. Is m composite?
True
Suppose -3546 - 4366 = -8*j. Is j a composite number?
True
Suppose -4*r + 20 = -0*r. Let h be (0 - r)*18/(-15). Suppose -2*b + h = 2. Is b a composite number?
False
Let x = 9964 + -6813. Is x composite?
True
Let a = 72472 + -41459. Is a prime?
True
Let c(i) be the first derivative of 1/4*i**4 + 14/3*i**3 + i**2 - 12*i + 9. Is c(-11) composite?
True
Let k be 18/(-90) - (-36)/5. Is ((-616)/98)/((-2)/k) a composite number?
True
Let j be ((1 + -2)*-105)/1. Let a = -20 + j. Is a composite?
True
Is 519*((-1360)/(-15))/16 prime?
False
Suppose 15 = -3*o - 15. Let v = o + 8. Is 1/(((-2)/v)/211) a prime number?
True
Let y be 6/10 - (-56)/(-35). Let c be y/(-3)*3 - -1. Is c/(-3) - (-14336)/48 a prime number?
False
Let m = -2226 - -988. Let i = -369 - m. Is i a composite number?
True
Let g(y) = -38*y - 6. Let v be g(-3). Let r = 21 + v. Let h = 238 - r. Is h a prime number?
True
Let s(g) be the third derivative of 1/120*g**6 + 0*g - 6*g**2 + 0 - 13/24*g**4 + 11/6*g**3 + 11/60*g**5. Is s(-12) prime?
True
Let g be 0 - 1 - (-14 + 1). Let k(f) be the second derivative of f**5/20 - f**4 + f**3/3 + 7*f**2 - 8*f. Is k(g) composite?
True
Suppose 4*a - z = 6548, 0*z - 4*z = -a + 1637. Is a a prime number?
True
Suppose 0 = i + i - 434. Suppose 0 = -4*f - i + 1169. Suppose n + n - f = 0. Is n a prime number?
False
Is ((-304035)/(2 - 7))/3 a prime number?
True
Let u(w) = 64*w**3 - w**2 - w + 2. Let p be u(1). Is (-2)/(-8) + 4/(p/16684) a prime number?
False
Let x = 5 - 0. Let g(d) = d**3 + 2*d**2 - 7*d + 1. Let o be g(x). Suppose o = 5*k - 14. Is k a prime number?
True
Let q(o) = 1848*o**2 + 18*o + 25. Is q(-4) a composite number?
True
Suppose -17*c - 7251 = -20*c. Is c a prime number?
True
Let h(g) = 788*g + 25. Is h(8) prime?
True
Suppose -66*s + 267168 = -209154. Is s a prime number?
False
Suppose 4*l = -2*q - 2*q + 10844, -2*q + 5450 = -5*l. Let h = q + -1396. Is h a composite number?
False
Let t(y) = 270*y**2 - y + 2. Let h = -37 - -40. Is t(h) composite?
True
Suppose -2*v + 470 = -2. Let c(n) = 8*n + 86. Let r be c(-16). Let s = r + v. Is s a prime number?
False
Let t = 3688 + 55683. Is t prime?
False
Suppose 0 = 4*k - 7*z + 4*z - 3, -3*z = -5*k + 6. Let b(n) = -n**k - 2 + 12*n - 4*n + 7 - n**2. Is b(-5) composite?
True
Suppose 3*x - 139188 + 23091 = 0. Is x a composite number?
False
Let t(x) = x**3 - 15*x**2 + 15*x - 9. Let i be t(14). Suppose 0 = -5*c - i*a + 1270, -4*c - 5*a + 984 + 27 = 0. Is c a prime number?
False
Suppose -2*f - 3*f = -12715. Suppose -f - 872 = -5*m. Is m composite?
False
Let i be 2/20*12*-5. Let t be i/10 - 6/15. Is (-6024)/(-36)*(2 - t) composite?
True
Suppose 0 = 2*u + 6, u + 697 = -5*g - 371. Let h be (-18)/9*g/2. Suppose 6*i - h = 3*i. Is i a prime number?
True
Let k(o) = o**2 + 10*o - 25. Let g be k(-11). Let j(i) = -i - 6. Let z be j(g). Is (1/(-3))/(z/(-4296)) a composite number?
False
Suppose 6954 = 5*w + 539. Is w + (-1)/(4 - 3) composite?
True
Suppose -f = 3*y + 958, 0 = f - y + 1013 - 55. Let k = f - -1703. Is k a composite number?
True
Let a = 1 - -4. Suppose a*t - 19 = -4. Suppose -3*n + t*c + 153 = 0, 224 = 4*n + 3*c - 2*c. Is n a prime number?
False
Let u be (-348)/8*(3 - 1). Let w = 490 + u. Is w a prime number?
False
Let i(a) be the third derivative of 2*a**5/15 + a**4/6 - 5*a**3/6 + 4*a**2. Suppose -5*h + h + 24 = 0. Is i(h) a composite number?
False
Suppose -42126 = -o - 41*o. Is o a prime number?
False
Let r = -3825 + 13748. Is r a composite number?
False
Let o(j) be the third derivative of j**6/120 + j**5/5 + j**4/6 + 7*j**3/6 + j**2. Is o(-10) composite?
False
Suppose 0 = -3*y - y. Suppose -f + w + 3 = y, 4*f - 3*w - 3 - 4 = 0. Is -2 + 2 - 2518/f composite?
False
Let w(s) = 2 - 21 + 7*s + 10. Is w(24) composite?
True
Is 92354/10 + 6/(-45)*3 a composite number?
True
Suppose w + 5*h = 33013, -4*w + 2*h = -12896 - 119266. Is w prime?
False
Let s(c) be the first derivative of c**5/5 - c**4/24 - 7*c**3/3 - 3*c**2 - 2. Let r(b) be the second derivative of s(b). Is r(-7) a prime number?
False
Suppose -v + 8333 = 4*k, 26316 = 4*v + 4*k - 7076. Is v composite?
False
Let b = -1048 - -2314. Let m = -20 + 22. Suppose -8*f + b = -m*f. Is f prime?
True
Let l = -8868 + 19669. Is l a prime number?
False
Let y(q) be the first derivative of q**4/4 + 13*q**3/3 - q**2/2 - 7*q - 5. Is y(-12) a prime number?
True
Suppose -r + 669 = 3*o, 3*r - 4*o - 149 - 1858 = 0. Is r prime?
False
Let s = 8723 + 45108. Is s a composite number?
False
Let x = -29509 + 48690. Is x a prime number?
True
Let l(k) = 11 + 13*k + 1 + 10*k. Let h be l(8). Suppose 2*m = 586 + h. Is m prime?
False
Let p(l) = -31*l - 7. Suppose -5*m = -10*m - 30. Let y be 27/(-6)*(-8)/m. Is p(y) a prime number?
True
Suppose 15*t - 98 = 8*t. Suppose t*h - 3*h = 15191. Is h a prime number?
True
Suppose 3*x = -5*p + 15915, p - x = -1028 + 4211. Is p composite?
True
Is 6/16 - 499555/(-56) prime?
False
Let g(w) be the third derivative of -67*w**5/30 - w**4/12 - w**3/6 - 6*w**2. Let q(c) = c**2. Let n(d) = -g(d) - 6*q(d). Is n(-1) a composite number?
False
Let d be 2*(-2)/(0 + -2). Suppose d*h - 129 - 169 = 0. Is h composite?
False
Let s(q) be the third derivative of q**5/30 + 5*q**4/24 - 5*q**3/6 + 15*q**2. Is s(-6) a prime number?
True
Suppose 2*m + 1644 = 4*l, 2*l - 3*m = 30 + 788. Suppose -2*b + 220 = 2*a, -5*b + l = 2*a - 153. Is b composite?
True
Let i = -8 - -14. Suppose -4*t - 5*x + 30 = 0, 2*x = -2*t + 8 + i. Let c(w) = 43*w**2 + 3*w - 3. Is c(t) prime?
True
Suppose 3*n = -i + 5968, -2*n + n = 3. Suppose -5*d - 1222 = -i. Is d prime?
False
Let o(p) = -44*p**2 + 173*p - 4. Is o(3) prime?
False
Let t = 41 - 38. Suppose 12 = -3*z, -t*k + 1897 = 3*z - 4*z. Is k a composite number?
False
Let j be (-12)/(-20) + (-553221)/(-15). Is (j/81)/((-4)/(-6)) a composite number?
False
Let z = 3 - 11. Let t(d) be the third derivative of -11*d**4/12 + 5*d**3/2 + 2*d**2. Is t(z) prime?
True
Let p be (9 + -1)*(6 + -5). Suppose -p*c + 2*c + 24 = 0. Suppose c*s = 4*a + 2708, 2*s + 653 = 3*s + 5*a. Is s a prime number?
True
Suppose -5*r + 3*n = -2320, -944 = -2*r + 13*n - 15*n. Is r composite?
False
Let p(h) = 3*h**2 + 10*h - 421. Is p(30) a prime number?
True
Suppose 0 = -3*v + 15593 + 27700. Is v a prime number?
True
Let b(g) = g**2 - 2*g + 3. Let p be b(3). Is p/(-10) + 9882/45 composite?
True
Let p be -12*((-52)/(-8) - 2). Let c = 137 + p. Is c prime?
True
Suppose 4*o - j = 184, -o - 4*j + 63 = -0*o. Is