+ f + 3*f**2. Is z(-3) composite?
False
Suppose 4 + 0 = -u. Let q be (44/(-33))/(u/6). Suppose 5*c - 3*j = 424, -c - q*j = j - 74. Is c a composite number?
False
Let i(d) be the first derivative of -17*d**5/120 + d**4/24 - 2*d**3 + 6. Let t(g) be the third derivative of i(g). Is t(-4) a prime number?
False
Let y(d) = 5*d**3 + d**2 - 7*d - 5. Let s(c) = c**2 - 5*c - 30. Let a be s(9). Is y(a) a composite number?
False
Is (0 - 12 - -13)*4691 composite?
False
Let k(w) = w**3 + 10*w**2 + 1. Let t be k(-10). Let s be 1/(-5)*0*t. Suppose s = 4*m + 2*c - 140 - 8, 3*c = 2*m - 74. Is m composite?
False
Let m be 28462/42 - (-1)/3. Suppose -4*h + 6*h - m = 0. Is h composite?
True
Let r(n) = 353*n**2 + n. Suppose -3*m + 4 - 1 = 0. Let v be r(m). Suppose -v = 4*u - 6*u. Is u a composite number?
True
Let a(k) = 352*k**2 - 9. Is a(-4) a composite number?
False
Let d be 82/26 - (-52)/(-338). Let n be ((-4)/d)/((-2)/(-4689)). Is (8/(-12))/(4/n) composite?
False
Suppose 0 = -4*n - n. Is 2 + (154 - n) - -3 composite?
True
Let x = -7640 + 14037. Is x a composite number?
False
Suppose 3 = -2*j - m - 2, 0 = -j - 5*m - 25. Let z be 3/(-3)*j - -729. Suppose -4*h + z + 443 = 0. Is h a composite number?
False
Suppose 2*c + 5*q - 109 = 0, -58 = -c + 3*q + 24. Suppose c = -k + 213. Let f = -49 + k. Is f prime?
True
Let m(j) = -j**2 - 4*j + 12. Let d be m(-5). Let t(n) = 9*n**2 - n + 5. Let h be t(d). Suppose 0*o - o + h = 0. Is o prime?
True
Let v(x) = 411*x**3 - 2*x**2 - 18*x + 44. Is v(3) a prime number?
True
Suppose 0 + 3 = 3*i. Let t be 11 - 7 - 2/i. Suppose t*a + 171 = 577. Is a a prime number?
False
Suppose 4*m = 4*b + 123484, -92597 = -6*m + 3*m - b. Is m composite?
True
Suppose -4*c = 2*f - 0*c - 86, -3*f - 4*c + 131 = 0. Suppose 4*x = -x - f. Is x/(18/(-616)) - 1 composite?
False
Suppose 0 = -y - h + 1259, -4*h + 3*h = 2*y - 2513. Suppose 0 = -0*d - 6*d + y. Is d composite?
True
Let v = 12089 - -2754. Is v composite?
False
Let t(a) = -a**2 - 9*a + 12. Let f be t(-10). Let y = f + 1. Suppose -13 - 89 = -y*s. Is s prime?
False
Suppose 23309 - 238608 = -7*y. Is y prime?
True
Let o(w) be the first derivative of 419*w**4/4 + 4*w**3/3 - 2*w**2 + 5*w - 39. Is o(2) a prime number?
False
Suppose -211122 = 1338*b - 1356*b. Is b a prime number?
False
Let g be (2 - 1)*1 - -1648. Let j = g + -948. Is j a composite number?
False
Is 1*-18301*11/(-11) a composite number?
False
Suppose c + 0*c = 2*w - 8, -2*w + 2*c = -12. Suppose -5*o = -2*r + 1130, 0*r - w*r = 4*o - 1130. Is r a composite number?
True
Let t(l) = -2*l**2 + 4*l - 9. Let k be t(-6). Suppose 4*y + 5*d = 293, 0*y = -5*y + 2*d + 358. Let h = y - k. Is h prime?
False
Let u(n) = -172*n + 44. Let l be u(14). Let j = l + 4943. Is j a composite number?
False
Suppose 2*i = 6*w - 10*w + 15354, 0 = i - 5*w - 7649. Is i a composite number?
False
Let v = 966 + -499. Is v a prime number?
True
Is 37499/3 - 2/3 composite?
True
Suppose -4*v + 2*p + 26 = 0, -3*v + 2*p + 0*p + 19 = 0. Let j(q) = -v*q - 22 + 3*q - q - 4*q. Is j(-9) prime?
True
Let r(i) = -i + 127. Let m be r(0). Is 1*(0 + m + 0) prime?
True
Suppose 3*s - 874 = -3*r + 9899, r = -2*s + 7186. Is s a prime number?
False
Let m(u) = u**3 + 2*u**2. Let j be m(-2). Suppose 4*s + 3*k - 17 = 0, 3*s - k + 5*k = 11. Suppose -s*r + 1075 = -j*r. Is r prime?
False
Is (50748 - -1) + 7*(-48)/(-56) composite?
True
Let m(b) = -512*b - 62. Is m(-12) composite?
True
Let l(v) = v + 6. Let c(x) = -11*x**3 + x**2. Let k be c(1). Let y be l(k). Is (-2)/y*-2 + 68 prime?
True
Let s = -13320 + 27071. Is s prime?
True
Let z(j) = -4*j**3 + 4*j**2 + 5*j + 2. Let v be z(-4). Let n = 513 - v. Is n a prime number?
True
Is 1 + 2 + (2160 - (-6 + 8)) composite?
False
Suppose -2486 = 111*c - 113*c. Is c a prime number?
False
Let i(z) = -3*z - 6. Let u be i(-6). Let o(h) = 20*h + u*h + 84*h + 5*h + 8. Is o(9) composite?
False
Is (-75 - -82)*(20476 + (3 - 2)) composite?
True
Let p = 6944 - -656. Suppose -6*o + p = -o. Suppose -373 = -j - 4*c, 430 = 5*j + 3*c - o. Is j a prime number?
False
Suppose -3*m - 1437 = 2*m + 3*i, 3 = 3*i. Is -4 + (-14)/(-2) - m prime?
False
Let m(h) = h**3 + 13*h**2 - 9*h - 13. Let b be m(-13). Suppose q + 134 = -3*n - 6, b = -2*n + 2*q. Let d = n + 71. Is d composite?
False
Let v = -5 + 10. Let o be ((12/4 + -3)/(-1))/1. Suppose o = v*l + 196 - 611. Is l prime?
True
Let s(k) = 11*k**3 + 8*k**2 - 16*k - 22. Is s(4) a composite number?
True
Let n = 860 - 121. Let x = -386 + n. Is x prime?
True
Let x = 29006 - 20653. Is x a prime number?
True
Suppose 0 = -2*i + 4*q + 96, 0 = i + 2*i - 4*q - 138. Let p be (i/4)/((-1)/(-2)). Suppose -3*z - p = -78. Is z composite?
False
Suppose 5*d - 6119 - 1632 = -r, -d = r - 7731. Is r composite?
True
Let n(r) = 416*r**3 - 2*r**2 + 2*r - 1. Let w(q) = q - 5. Let a be w(4). Let g = a + 2. Is n(g) prime?
False
Let c = 1978 + -932. Suppose -4*o - 704 = 2*r - 0*r, -c = 3*r - 4*o. Let k = -159 - r. Is k composite?
False
Let w(c) = c**2 + 17*c + 16. Let v be w(-16). Suppose v = -5*j + 1005 + 460. Is j composite?
False
Suppose l - 2*o + 0*o + 15 = 0, -l - 5*o + 6 = 0. Is 115/15*2*l/(-2) a composite number?
True
Let m be 282/(-4)*(-140)/30. Let j = 254 + m. Is j prime?
False
Let l(r) = -2*r**2 + 12*r - 6. Let w be l(1). Let u(f) = 13*f + 6. Let t(i) = -i - 1. Let h(k) = t(k) + u(k). Is h(w) a composite number?
False
Suppose 34*s - 295687 = -19*s. Is s prime?
False
Suppose 881 + 235 = 4*m. Suppose m = 3*t - 69. Suppose t = i + i. Is i prime?
False
Suppose -3*m + 8*g = 5*g - 63, 3*m = -2*g + 48. Suppose 13*b + 555 = m*b. Is b a composite number?
True
Let y(h) = -h + 2. Let b be y(-5). Suppose -b*q + 2038 = -1777. Is q a composite number?
True
Suppose 16*k - 12*k = 50172. Suppose 0 = 7*h - 10102 - k. Is h prime?
False
Let v = 169 + 1230. Is v composite?
False
Let p be 559*-3*25/15. Let m = p - -4897. Let v = m + -961. Is v a prime number?
False
Let o = -9 - -11. Let h be (-7)/o*(-6)/7. Is (-2 - -1284)*h/6 a prime number?
True
Let b(j) = 971*j + 1. Let c(i) = 1943*i + 3. Let g(z) = 9*b(z) - 4*c(z). Is g(2) composite?
False
Let t(h) = -2*h - 11. Let k be t(-6). Let m(z) = -6 - 2 - 8*z + k. Is m(-8) a composite number?
True
Let m(s) = -s**3 - 7*s**2 - 2*s - 14. Suppose 0 = -5*c - r - 33, 5*r + 11 = -2*c - c. Let v be m(c). Suppose 2*a - a - 127 = v. Is a prime?
True
Suppose 0 = -62*d + 63*d. Suppose 5*n - 2105 = 2*q, -2*n - 3*n - 2*q + 2085 = d. Is n composite?
False
Suppose 22*k = 21*k + 3847. Is k prime?
True
Let x = -38 - 36. Is (-2 - x/(-4))*-74 a composite number?
True
Suppose -4*z - 815579 = -35*z. Is z prime?
True
Suppose -89*n = -86*n - 3. Let v(i) = -1287*i**3 - 7*i**2 - 2*i + 9. Let k(w) = -643*w**3 - 4*w**2 - w + 5. Let t(c) = 7*k(c) - 4*v(c). Is t(n) a prime number?
True
Let i = -23 - -28. Suppose -i*n + n + 2*q + 76 = 0, -19 = -n - 2*q. Is n a composite number?
False
Let q(h) = -h**2 + 3*h + 1. Let u be q(-2). Let t = -7 - u. Suppose -4*g + w + 170 = -182, t*g - 3*w - 186 = 0. Is g composite?
True
Is -1 + (-47691)/(-14)*(-28)/(-21) composite?
True
Let s be 393/3 - (4 + -2 + 0). Let z = 248 - s. Is z composite?
True
Let o(n) = n**2 + 2*n. Let k be o(-3). Suppose -3*s - 5*r + 1626 = 0, -s - 4*s - k*r + 2694 = 0. Suppose -h + 4*h - s = 0. Is h a prime number?
True
Let v(j) = 7 - j**2 + 2 + 3*j**2 + 6*j - 6. Is v(-7) composite?
False
Let f(n) be the first derivative of n**5/20 - 5*n**4/4 + 7*n**3/3 - 19*n**2/2 + n + 12. Let b(s) be the first derivative of f(s). Is b(15) composite?
False
Let h = 1493 + -1061. Suppose h - 30 = 6*g. Is g composite?
False
Suppose -2*k - 4*r - 1782 = -4*k, 3*k - 3*r - 2688 = 0. Is k prime?
False
Suppose 0 = -7*r - 11*r + 386406. Is r a composite number?
False
Suppose g + 3*p = 1156, 3*p = 2*g + 2*p - 2277. Is g a prime number?
False
Let w = 9870 + -6899. Is w prime?
True
Suppose -4*l = -0*l - 16. Let a be 80/12*15/l. Suppose -a = -t + 46. Is t prime?
True
Let j(f) = -f**3 - 6*f**2 + 7*f. Let y be j(-7). Suppose -2*s - 660 = -o + 299, 4*o + s - 3845 = y. Is o composite?
True
Suppose -4*y - 4*w = -2*w - 12, -5*w + 10 = 5*y. Suppose 0 = -5*x + 4*s - 43, -12 - 22 = y*x - 3*s. Let a(h) = -31*h - 6. Is a(x) composite?
False
Let g = -13 - -19. Let b be (-1 - -1)/(g/3). Suppose b = -4*w + 3*u + 1951, -4*u - 979 = -2*w + u. Is w 