12 + n. Is g a prime number?
False
Let l(y) be the third derivative of -y**5/30 + y**4/24 + y**3/2 - y**2. Let t be l(-2). Let z(r) = r**2 - 2*r - 5. Is z(t) a composite number?
True
Suppose 0 = 2*m - 4*l - 20452 - 10810, -4*m + 62518 = -2*l. Is m composite?
False
Let a(x) = x**3 + 7*x**2 - 4*x + 3. Is a(9) prime?
False
Let u be (-1 + -4)/((-1)/(-3)). Let q be (76/6)/(2/u). Let r = 214 + q. Is r a prime number?
False
Let r(q) = 106*q**3 + 15*q**2 - 8*q + 31. Is r(6) a composite number?
True
Let i(r) = 22*r + 3 - 20*r - 55*r. Is i(-8) a composite number?
True
Let j = -1 + 1. Let u(n) = n**2 - n + 127. Is u(j) a prime number?
True
Let t = 22 + 8. Suppose t = -m - 4*m. Let v(l) = 3*l**2 + 5*l - 1. Is v(m) prime?
False
Suppose -1 = -2*v + 9. Suppose 20 = -v*l - 0. Is 0/(l/2) + 127 a composite number?
False
Let o(h) = h - 12. Let t = 9 + -18. Let i be o(t). Is (-9)/i - 18150/(-35) a prime number?
False
Let w be 4 + -2 + 12/4. Suppose -w*v + 2190 = 2*t - 59, 0 = 3*t + 9. Is v composite?
True
Let y(s) = 300*s - 2. Let v be y(5). Suppose 3*r + 4*b - 2220 = b, 0 = 2*r - 4*b - v. Is r a prime number?
True
Let o = 132 - -57. Let m(v) = -4*v + 19. Let i be m(0). Is 57/i + (o - 1) a prime number?
True
Let z(g) = g**3 + 10*g**2 + 7*g - 9. Let d be z(-9). Suppose -d*n + 2159 + 640 = 0. Is n a composite number?
False
Is -1 + (7 - (4 + -20243)) composite?
True
Let u(b) = 333*b**2 + 136*b - 136*b + 5. Is u(-2) prime?
False
Suppose 0 = 25*y + 22*y - 484147. Is y a composite number?
False
Let k(c) = 2*c**2 + 6*c + 13. Let q be k(6). Suppose -387 = -4*i + q. Is i a composite number?
False
Let q = -16 - -22. Suppose 230 = q*g - g. Let v = g + 19. Is v prime?
False
Is (-29)/(-203) - (-13558)/7 composite?
True
Suppose x - 155 + 463 = 0. Let b = 377 - x. Is b a prime number?
False
Let j be -4 + 54/(11 - 5). Suppose -10739 = -j*b - 2*m + 4*m, 2*b = 2*m + 4292. Is b prime?
False
Let g be (-79)/1 - (0 - -2). Let y = g - 170. Is 3/6*0 - y a prime number?
True
Suppose m + 2559 + 4148 = 3*c, 8911 = 4*c + 5*m. Is c composite?
True
Let q = 21 - 12. Let g be (-12)/(-36)*37*q. Suppose 17 = -3*h + u + g, -2*h - 3*u + 59 = 0. Is h composite?
False
Suppose -15*h + 136 = 3046. Let u = h + 985. Is u composite?
True
Let t(k) = 578*k**2 - 28*k + 5. Is t(18) a composite number?
False
Let f be (32/12)/(2/3). Let a be -3*(f/(-6))/1. Is 0 + (a - -19) + 1 composite?
True
Let o be 8/(-6)*30/20. Is (-4 - -5)*(51 - o) composite?
False
Let l = -69 + 48. Let w = 90 + l. Is w a prime number?
False
Suppose -3*p = b - 8635, -3*p + 5*p = 3*b - 25927. Is b a prime number?
True
Let d(c) = 3783*c + 9. Let l be (-35)/(-11) + (-10)/55. Let v be d(l). Is (3/9)/(6/v) composite?
False
Is (-2721)/9*(-26 + 5) prime?
False
Let q(m) = 4*m**2 - 12*m - 9. Let g be q(-9). Suppose -2*z + g = 3*f + z, 0 = 4*f - 2*z - 552. Suppose t - 40 = h, -21 + f = 3*t - 2*h. Is t a prime number?
False
Suppose 0*j = -5*j + 15. Is j/4 - 3880/(-32) composite?
True
Suppose 4*a + 5*j + 59 = 0, -2*a - 3*j - 64 = 3*a. Let f(v) be the first derivative of -2*v**2 + 5*v + 1. Is f(a) a prime number?
False
Suppose 1559 = -2*p + 5*c, -p - 3088 = 3*p - 4*c. Suppose 0 = -4*j - 5*z - 4823, 3*j - 885 = 2*z - 4531. Let d = p - j. Is d prime?
False
Let s(y) = y**3 - 13*y**2 + 7*y + 9. Let u be s(7). Let r = u - -487. Is r composite?
False
Let s = 815 - 137. Suppose -4*o + 2*f + s = 0, -o + 89 = f - 79. Is o a prime number?
False
Suppose 16*a - 4011 = 13*a. Is a a prime number?
False
Let c(b) = -b + 16. Let z be c(14). Suppose -z*t + j + 28 = 3*t, j - 2 = -t. Suppose -128 = -t*x + 617. Is x prime?
True
Suppose 0 = 4*z + 3*k - 1061, 0 = -5*z - 14*k + 13*k + 1318. Is z a composite number?
False
Let y be (-5819)/4 + (-4)/16. Let b = -914 - y. Is b composite?
False
Let k = -180 + 737. Is k composite?
False
Is 296/1628 - ((-116367)/11 - 0) composite?
True
Suppose 0 = -2*x + 3*h + 31, 4*x = 5*h - 0*h + 57. Suppose 2*d + 11 = p + 4, 0 = 4*p - 4*d - x. Is (-2 + p)/((-1)/2) composite?
True
Let d(l) = -l**2 - 11*l + 8. Let w be d(-11). Is 2675/2 + (-2)/w*2 composite?
True
Is (8 + (-30)/4)/(3/21858) a prime number?
True
Suppose -4606 = -2*y + 17860. Is y prime?
False
Suppose 0*w - 2*w + 2*n - 3320 = 0, -w - 5*n = 1672. Is ((-10)/15)/(4/w) a composite number?
False
Suppose -5*z - 4*a = -14315, -2*z + 3*a = -5058 - 668. Is z composite?
True
Suppose 2*k + 36 = 5*x, -2*k - k - 9 = 0. Is x/6 - (-4320 + 3 - 1) composite?
True
Let f(o) = o + 3. Let d be f(-12). Suppose -16 = -12*v + 8*v. Is d/(-18) + 458/v composite?
True
Suppose -2*r + 3*j = -57, -3*j = 23 - 8. Let h = -18 + r. Suppose -s = 2*g - h - 11, s + 4*g - 22 = 0. Is s a prime number?
False
Suppose 5*g - 4*n - 47589 = 0, n = -17*g + 14*g + 28550. Is g a prime number?
False
Suppose 628 - 4144 = -4*b. Is b a composite number?
True
Is (-13)/(146*24/(-1167) + 3) a composite number?
True
Let i be 1/2 + (-2)/4. Let y(x) = 12 + 21*x**2 - 20*x**2 + 9 - x. Is y(i) composite?
True
Suppose -8 = 63*x - 61*x. Is x/(-8)*586 - -2 composite?
True
Suppose -10 = -3*k - n, 34 = 5*n + 14. Suppose -k*h + 6066 = -328. Is h a prime number?
False
Suppose -h = 3*h - 104. Suppose h = -3*g - 106. Let y = -13 - g. Is y a prime number?
True
Let p be (-2)/(1/((-391)/2)). Let c = p - 168. Is c a composite number?
False
Let t(h) = -h**3 + 29*h**2 - 52*h - 13. Let q be t(24). Suppose -q = -3*b + 3*z - 7*z, 0 = z + 1. Is b a prime number?
True
Is ((-5)/(-15) + -1)*-19704 + 5 a composite number?
True
Suppose 2*o = -3*v + 7, 6 = 3*o + 5*v - 4. Let f be (24/(-108))/(1*(-2)/18). Suppose o*p = -3*d + 1638, 5*d - f*p - 535 = 4*d. Is d prime?
True
Let u be (-4 + 9)*(58/(-10) - 1). Let a = 105 + u. Is a composite?
False
Suppose -5*t = 5*c + 5, -2*t = -4*t - 6. Suppose -q + c*y = -211, 0*y = y. Is q a prime number?
True
Suppose -4*k = 7*c - 3*c - 1332, -5*k + 1661 = 4*c. Is k a prime number?
False
Let h = -115 - -306. Is h a prime number?
True
Let r = 22982 - -2105. Is r prime?
True
Suppose -4*w = -63628 + 3520. Is w prime?
False
Let q be ((-5)/2)/(8/16). Is q*1174*3/(-30) composite?
False
Suppose -3 = -4*x + 9. Suppose n - 404 = 3*l, 0*n + n + x*l - 398 = 0. Is n a prime number?
True
Suppose -2*u = -3*u + 5*w - 41, -25 = -5*w. Let r = 1129 - u. Is r a prime number?
False
Suppose r - 1 = 0, 0 = 4*k + 2*r - 0*r + 246. Suppose 9*l - 2168 + 467 = 0. Let g = l + k. Is g a prime number?
True
Let w be 153 - (1 + 1 + -2). Let j = -70 + w. Is j prime?
True
Let k(v) = -2*v**3 - 6*v**2 + 8*v + 7. Let w(f) = f**2 + 7*f + 7. Let t be w(-4). Is k(t) composite?
False
Let i = 3202 + -1035. Is i composite?
True
Let s = -28 - -25. Let g be (-6)/(-9) + (-403)/s. Let p = g - 61. Is p a composite number?
True
Suppose -4*d = -5*v - 8133, -5*d = 18*v - 16*v - 10125. Is d composite?
False
Let u be ((0 - -4) + 1)/(25/10). Is ((-7405)/10)/((-1)/u) prime?
True
Is -3 + -131204*7/(-14) prime?
True
Let q = 2338 - 365. Is q composite?
False
Let r(s) = s**3 + 5*s**2 + 4*s + 1. Let h be r(-2). Suppose h*k - 7362 = -k. Is k composite?
True
Suppose -1505 = 30*i - 31*i. Suppose 9*h + i = 5222. Is h a prime number?
False
Let o be (-3724)/(-42)*(-36)/(-14). Suppose o = 2*r + 66. Let s = r + -50. Is s a composite number?
False
Suppose 8*c + 48 = -0*c. Is c*6/9 + 525 prime?
True
Suppose -3*x = 5*o - 4166, 4*x - 5*o - 3917 = 1591. Is x composite?
True
Let j be (-180479)/(-39) + 2/(-3). Let b = -1608 + j. Is b a composite number?
False
Suppose 5*n - 2*n + 9 = 0. Let b be (3 + 9/n)/1. Let f(j) = -j + 145. Is f(b) a composite number?
True
Let y(k) be the second derivative of k**5/4 - k**2/2 - 4*k. Let n be y(1). Suppose -n*u + 310 = -54. Is u a prime number?
False
Let f(k) be the first derivative of -k**4/2 - k**3/3 + 2*k**2 + 4*k + 6. Let n(p) = 3*p - 15. Let i be n(4). Is f(i) prime?
True
Is 279994/52 + (-14)/4 composite?
False
Let l(u) be the first derivative of 2*u**2 + 34*u - 5. Is l(22) composite?
True
Let j be -1 + (-17)/(-3) + (-12)/18. Suppose 0 = -5*r + 29 - j, 2945 = 5*s - 4*r. Is s prime?
True
Let v(k) = 0*k**2 - 2 - 1 - 4*k + 3*k**2 + 3*k. Let h be v(-2). Suppose f + 1 = h. Is f a prime number?
False
Let z(k) = k - 8. Let j be z(15). Suppose -t + 509 = 4*y, 2*y - j*t = -2*t + 249. Is y composite?
False
Suppose 0 = -2*p + 4*f, p + 2*p = f + 20. Suppose 0 = -4*m + r + 762, 0