= 27*b - 3447 - 4842. Is b a prime number?
True
Let z(d) be the third derivative of -37/12*d**4 + 0 + 0*d + 1/6*d**3 + 3*d**2. Is z(-2) a composite number?
False
Suppose 5 = a - 4. Let k be (2/(-3) + (-56)/42)*-2. Suppose 0 = -3*f - k*i + 7, 44 - a = 5*f + 2*i. Is f a prime number?
False
Suppose 114 = -11*w + 43817. Is w a prime number?
False
Let l = -37 + 21. Let d be l/(-24) + (-127)/(-3). Suppose -v + 0*v = -d. Is v a prime number?
True
Let c = 8 + -6. Let x(m) = 187*m**c - 2*m - 2 + 3*m**2 + 69*m**2. Is x(-1) composite?
True
Suppose 0 = -z - 2, 0 = -2*r - 2*z + 6898 + 8312. Is r prime?
True
Let y(m) = -m - 11. Let t be y(-16). Suppose -c + 280 = -0*c - t*s, -2*s + 1186 = 4*c. Is c a prime number?
False
Suppose -15 = 2*t - 7*t. Suppose 5*l - 2*h - 760 = 3*l, 1144 = t*l - h. Is l prime?
False
Suppose r - 6*r + 120 = 0. Suppose 2*a - 4*l - r = -2*l, 5*a - 84 = -3*l. Suppose 0 = -2*k - 5*f + 685, -2*f = f + a. Is k composite?
True
Let x(h) = h**3 - 16*h**2 + 5. Let i = 32 + -16. Let a be x(i). Is 320/2 + a + -8 a composite number?
False
Suppose 38087 = 6*c - 23335. Is c a composite number?
True
Let p = -26892 + 48755. Is p prime?
True
Let z(p) = -153*p - 69. Is z(-6) a prime number?
False
Let a = 17 - 13. Suppose 2*c + 90 - 2804 = 4*l, -5448 = -a*c - 2*l. Is c composite?
False
Let w be 6*((-12)/8 - -1). Let y be 2 - w/6*382. Let i = 414 - y. Is i prime?
False
Suppose 0 = 86*u - 74*u - 14052. Is u a prime number?
True
Let v(n) = n**2 - 7*n - 3. Let l be v(7). Let x be -41*(-12 - l) + -2. Suppose -3*u = -x - 248. Is u composite?
True
Suppose -2*l + 4*d - 25 = d, 5*l + 31 = -3*d. Is ((-753)/6)/(4/l) composite?
False
Let y = 114 + -110. Is (14895/30)/((2/y)/1) a prime number?
False
Is (-2)/14 - (8 + 1782880/(-56)) composite?
True
Suppose 0 = -5*o + 30211 + 18034. Is o composite?
False
Let k = -6361 - -8990. Suppose -11301 - k = -10*n. Is n a prime number?
False
Suppose 3*b = 4*p - 14, 2*b - p = 4*p - 21. Suppose 2110 = b*o - 3*l, l + 1140 - 87 = o. Suppose 3*i - o = -170. Is i a composite number?
False
Is 9/(-54) - (-5457368)/48 a prime number?
False
Let p(o) = 3*o**3 - 2*o**2 - 11. Let s(y) be the third derivative of y**6/120 + 2*y**2. Let r(g) = -p(g) + 2*s(g). Is r(-6) a composite number?
True
Suppose 0 = -m + 2*c + 2*c + 4, -2*m - 2*c = -8. Let x(n) = 5*n**3 - 3*n**2 - 9. Is x(m) a composite number?
False
Suppose 4*t - 38396 = 3*r + 49777, 0 = -3*t + r + 66136. Is t composite?
True
Let g(b) = -59*b - 7. Let o(u) = 2*u. Let p(w) = -g(w) - 3*o(w). Is p(23) a prime number?
False
Suppose 0 = 2*s - 6, r + 4*s - 9*s - 5444 = 0. Is r prime?
False
Suppose -4*g = g. Suppose g*c - 1668 = -4*c. Suppose 2*q + q - c = 0. Is q a prime number?
True
Let g(o) = 24*o**3 - 5*o**2 + 12*o - 8. Is g(3) a composite number?
False
Let r(a) = a**3 - 37*a**2 + 37*a + 61. Is r(36) prime?
True
Suppose -3*l + 7640 = 2*l. Let o(p) = p**3 + 5*p**2 + 4*p + 2. Let a be o(-4). Suppose 2*t - 1151 = -t - a*s, 4*t - l = -s. Is t a prime number?
False
Let y be (-2 - (-15)/6)*4. Suppose 0 = 4*l + o - 23, -3*o + 29 = 2*l + y*l. Suppose -l*n + n = -1212. Is n composite?
True
Suppose 23669 = 2*n + 5*d - 2*d, 4*n = 2*d + 47298. Is n composite?
False
Let q = 100 - -65. Suppose q = 11*x - 6*x. Let v = -22 + x. Is v prime?
True
Let l be (-1435)/7*4/(-10). Suppose -2*u = l - 500. Is u a composite number?
True
Let s = -91 - -96. Suppose 3*b + 6 = 0, 3*l + s*b = 1041 + 842. Is l a prime number?
True
Suppose 4*i - 3*v = 32, 2*v + 31 = 3*i - 2*v. Let n = i + 1418. Is n a composite number?
False
Let l = -918 + 1669. Is l a composite number?
False
Suppose 40*q - 39*q + 3 = 0. Is q/3 - -784 - (0 + -4) a prime number?
True
Let q(h) = 5*h**3 + h**2 + 6*h - 13. Let t(d) = 2*d - 4. Let l be t(5). Is q(l) prime?
False
Suppose -88427 = -7*g + 119844. Is g prime?
True
Is -2*(13812/(-8))/(12/92) a composite number?
True
Let p be 3/(-2)*8/(-6). Let s be ((-3)/3)/(1/(-255)). Suppose a - s = -x + 3*a, -781 = -3*x - p*a. Is x a prime number?
False
Let y = 48 + -44. Suppose -3022 = y*j - 6*j. Is j prime?
True
Suppose -5*s + 2*t - 3*t = 2925, -s - 581 = t. Let x = 268 - 631. Let r = x - s. Is r a prime number?
True
Suppose 5*l + 34 = 3*z + 14, 3*z - l - 16 = 0. Suppose -3*g + 3*r + 354 = 0, 0 = 4*g - z*g + 4*r + 115. Is g prime?
False
Is -3*(-7)/42*0 + 7151 composite?
False
Let x(z) = -z - 1 + 4 + 0 + 4*z**2 + 3*z. Is x(-3) composite?
True
Let u(i) = i**3 + 15*i**2 - 14*i + 36. Let p be u(-16). Suppose -r + 886 = 4*r + 3*h, -722 = -p*r + 2*h. Is r a prime number?
True
Suppose 3*y = 5*y + 11546. Let i = -4084 - y. Is i prime?
False
Suppose 0*l - l - 2*q + 12007 = 0, 2*q = 4*l - 48048. Is l a prime number?
True
Let q be (-58)/(-5) - 6/(-15). Suppose 0 = -m + 1, -31 = -4*b - 4*m - 83. Let u = q - b. Is u a prime number?
False
Let u(w) = w**3 - 7*w**2 - 7*w - 13. Let v(q) = 36*q**2 - 3 + 0*q**3 - 40*q**2 + 2*q - q**3. Let c be v(-5). Is u(c) prime?
False
Let q be 0 + 1*808/(-4). Let n be (-4)/(-6)*-3 - -367. Let x = n + q. Is x a prime number?
True
Let o(v) = 2169*v - 304. Is o(7) a composite number?
False
Let a(s) = -s**3 - 15*s**2 + 13*s + 71. Is a(-28) composite?
True
Suppose 31*k - 33416 = -525. Is k prime?
True
Let w be 6/8*(-54 - 2). Is ((-1246)/w)/(1/33) a prime number?
False
Suppose 8*v - 45*v = -273911. Is v a composite number?
True
Let g(y) = y**3 - 6*y**2 + 6*y. Let h be g(5). Suppose 0*r + h = r, 2*k + 3*r = 1533. Suppose -9*v = -6*v - k. Is v a composite number?
True
Suppose -2*x - 8 = -5*h + 2, 2*x + 5*h = 30. Suppose -3*j - 5*t + 5672 = 0, -x*t - 5335 + 1562 = -2*j. Is j prime?
True
Suppose -1646 = 3*z - 22775. Is z a prime number?
True
Suppose -14*y + 35462 = -0*y. Is y a composite number?
True
Suppose 3*x + 11 = 17. Suppose x*g = -15*g + 52241. Is g a composite number?
True
Suppose 5*v - 10629 = -2879. Suppose -5*j + 2*j = -2736. Suppose 3*i + 2*a = -a + j, -5*i = -5*a - v. Is i a composite number?
False
Let q(c) = c**3 + c + 2. Let s be q(0). Suppose 2*m + 3*b + s*b = 49, 5*b = 2*m - 99. Is m a prime number?
True
Let s be 4*7/14 + (0 - 0). Suppose 19 = -s*h + 3*h + 2*q, q + 19 = h. Is h a composite number?
False
Suppose -3*u = -2*u - 510. Is 16/(-88) - u/(-22) a composite number?
False
Suppose -5*q = 5*b - 1814 - 2191, 2395 = 3*q - 5*b. Let s be (q - (3 - 0))*1. Suppose -3*k = -2*i - s, 0*i - i = -4*k + 1061. Is k composite?
True
Let f = 21277 + -13586. Is f composite?
False
Let f(p) = 22*p**2 + 2*p + 20. Let r be f(15). Suppose 3*y + q + 4*q = 3790, -4*q = -4*y + r. Is y a composite number?
True
Let j be (-20)/(-6)*(-6)/(-4). Suppose 0 = -j*g + 3917 - 817. Suppose -4*x - 517 = -4*p - x, -5*x = 5*p - g. Is p prime?
True
Suppose 8201 = 6*c - 4933. Is c prime?
False
Let g = 15757 - 5856. Is g composite?
False
Suppose -59*v = -62*v + 846. Let p = v + -119. Suppose 0*n - p = -n. Is n composite?
False
Let k(x) be the second derivative of -7*x**3/6 + x**2 - 9*x. Let a be k(-2). Is 691 + a/(-4) + 4 a composite number?
False
Suppose 0 = w - 2006 - 133. Suppose -2*c + v = -w, -3*c - v + 1146 + 2050 = 0. Is c composite?
True
Let c be (((-2)/2)/(-1))/1. Let a be 357/(-5) - (-152)/380. Is c - a/(-2)*-12 a composite number?
True
Let i(w) = -w**3 + 3*w**2 + 8*w - 16. Let r be i(-9). Let q = r + -471. Is q a prime number?
False
Let i(g) = 113*g + 7. Is i(20) a prime number?
True
Suppose 0 = -27*z + 16*z + 113179. Is z composite?
False
Suppose -3*t + 2*t = -5. Suppose t*n = -2*n + 11851. Is n prime?
True
Let t = 17326 - 25720. Is (-15)/(-30) + t/(-4) composite?
False
Suppose 2*m + 0 = -14. Let u = m - -19. Is u/4 - 1 - -189 composite?
False
Let z = -31 - -28. Is (-13408)/48*z/2 a prime number?
True
Let y(v) = -v + 8. Suppose -4*z + 15 = -l + 43, -39 = -3*l + 3*z. Let t be y(l). Suppose -4*c + 113 + 147 = t. Is c prime?
False
Suppose 3*r = 7 + 5. Is (-246)/(((-2)/4)/(r/16)) composite?
True
Let j = -20 - -21. Let x be ((2 + 1)/j)/3. Is -2 + 6 - (-255)/x prime?
False
Suppose -3 = -5*f - 3*d, -f + 2*d + 5 = -2*f. Suppose -6*p = -f*p - 2721. Is p composite?
False
Let t(b) = 10*b**2 + 5*b - 9. Let y be t(-5). Suppose -4*r + 16 = -y. Is r prime?
False
Let s(h) = h + 5. Let o be s(-8). Let k be 1614/4*(-2)/o. Suppose 3*j - k = -r, 19 + 1 = -5*r. Is j composite?
True
Let x = 1101 - 1594. Let s = x - -1244. Is s compo