2 - 1. Let m be r(4). Is m/1 + (-2)/z a prime number?
False
Let s(b) be the first derivative of 11*b**2/2 - 6*b - 1. Is s(5) prime?
False
Let w = -2 - -9. Let b(h) be the first derivative of h**4/4 - 7*h**3/3 + h**2/2 + 6*h + 7. Is b(w) a composite number?
False
Let n = -2 - -5. Let r be 10/(-3) + 6/(-9). Is n/r - (-126)/8 a prime number?
False
Suppose -2*g + 17 = -0*g + n, -4*g + 16 = -4*n. Suppose a = g - 3. Is a/(-16) + (-25)/(-4) a prime number?
False
Suppose -4*v = -0*v + 20, -3*r + 563 = 2*v. Is r prime?
True
Let z(c) = c**2 + c + 32. Let v be z(0). Suppose 2*k - v = -2*k. Suppose k*h - 5*h + 5*r = 33, 0 = -5*h - 2*r + 36. Is h composite?
True
Let x be 4 + (-4)/4 + 2. Let i = -4 - -9. Suppose 270 = x*g - i. Is g a composite number?
True
Suppose -4*u = -0*u + 2*c - 20, 0 = 5*u + 3*c - 26. Suppose u*a = 5*k + 174, -a + 98 = a + 3*k. Is a composite?
True
Let k be (-10)/(-35) - (-66)/14. Is 265 + -2 + k + -3 prime?
False
Suppose -6*l + l + 1463 = 3*o, 2*l = -o + 487. Is o composite?
False
Let f(n) = -n**3 - 13*n**2 + 21*n + 7. Is f(-16) prime?
True
Suppose -42 = -5*p + 8. Suppose -p = -s + 5. Is s a prime number?
False
Let d(r) = -r + 209. Is d(0) a composite number?
True
Suppose 0 = -u + b + 2, 0*b = -3*u - b + 6. Let q be (1 - (0 - u))*2. Suppose 2 = 2*k + 5*z, 3*z - q*z = -2*k + 18. Is k a prime number?
False
Let r(j) = -27*j + 13. Let p be 4/2 - (0 + 16). Is r(p) a composite number?
True
Let y(t) be the third derivative of t**5/15 + t**3/6 - 3*t**2. Let c be y(1). Suppose -c*m + 9 + 86 = 0. Is m composite?
False
Is (-100)/(-225) - (-2759)/9 composite?
False
Suppose 5*w - 3510 + 1085 = 0. Is w prime?
False
Suppose 0 = -2*g + 1107 + 551. Is g a prime number?
True
Let y = 134 - 81. Is y composite?
False
Suppose 3*t - 9551 = -2240. Is t prime?
True
Let k be -1*6/(-15)*5. Suppose 0 = -3*m - k*m - 190. Let c = m + 71. Is c a composite number?
True
Suppose -t + 2*c + 136 = -77, 649 = 3*t - c. Is t a composite number?
True
Let m be (218/(-4))/(9/(-18)). Let z = m + -78. Is z prime?
True
Suppose -694 + 238 = 4*b. Suppose -5 = 4*v + 303. Let o = v - b. Is o a composite number?
False
Let a be 4/(-1*4/458). Let j = a + 643. Is j prime?
False
Let w(t) = t**3 + 2*t**2 - 5*t. Let m(o) = 4*o**3 + 9*o**2 - 21*o - 1. Let p(y) = -2*m(y) + 9*w(y). Let q be p(-3). Let s = 31 + q. Is s composite?
True
Is (60/30)/(-2 + 528/263) composite?
False
Let c = -14 - -17. Suppose -2*q - c*q = -595. Is q prime?
False
Suppose 5*q + 51 = 766. Is q a composite number?
True
Let k(a) be the first derivative of 7*a**3/3 + 3*a**2/2 - 5*a - 3. Is k(-4) a composite number?
True
Let a = 967 - 576. Is a a prime number?
False
Let v = 11 + -9. Suppose -v*l + 153 = w, 2*l + 1 = -9. Is w a prime number?
True
Let i be 3 + -5 - 2/1. Let y be (0 - -2)*2/i. Let p = 1 - y. Is p composite?
False
Let s(y) be the first derivative of 9*y**2/2 + y + 1. Is s(1) a prime number?
False
Let c = -11 + -4. Is (-5)/c - 328/(-6) composite?
True
Let m = 66 + -110. Let n be ((-9)/(-2))/(2/m). Let h = 190 + n. Is h prime?
False
Let q(t) = -628*t + 3. Is q(-2) a prime number?
True
Let b(x) = -247*x**3 - 2*x**2 - x. Let w be b(-1). Let p = w - -661. Is p prime?
True
Suppose -2*k = 2*k + 3*x - 24, 2*x = -2*k + 14. Suppose 2*g = -3*g - k*d + 246, 168 = 3*g - 5*d. Is g composite?
True
Let g(c) = 62*c - 3. Let z be g(2). Suppose 0 = 4*y + 5*q - 71, -4*y + 4*q + z = 41. Is y prime?
True
Suppose 3*u - 4*k + 7*k - 6720 = 0, -4*u + 3*k = -8939. Is u prime?
True
Suppose 3*o + 0*o - 2*a - 11363 = 0, 2*o + 3*a - 7571 = 0. Is o a composite number?
True
Suppose 0 = 4*s + 3*x - 15, 0 = -2*s - x - 3*x. Let r = 511 + s. Is r prime?
False
Let o = 5 - 43. Is (14/(-4))/(1/o) composite?
True
Suppose t + 34 = -t. Let q = 45 - 13. Let v = t + q. Is v composite?
True
Let k = -8 + 6. Suppose -2*i + 4 = -6*i + 2*l, -3*i = l + 3. Is 0 - i*(49 + k) composite?
False
Let p(b) = 3 + 3 - 1 + 5*b - 4. Is p(6) prime?
True
Let g = 518 - 49. Is g composite?
True
Suppose 3*p - 4167 = 5*d, 2*d + d = 4*p - 5556. Is p a composite number?
True
Suppose -230 = x - 0*x. Let u = x - -391. Is u a composite number?
True
Let c = -5784 + 11219. Is c a prime number?
False
Let s(y) = -y**3 - 13*y**2 - 20*y - 9. Is s(-13) a prime number?
True
Let q(x) = x - 2. Let p be q(4). Let z(s) = 22*s**3 - s**2 - 3*s + 3. Let j be z(p). Suppose 0 = 4*l - 5*n - 333, l - j = -l + 3*n. Is l prime?
False
Let v(h) = -h + 1. Let g be v(-2). Let s(k) = 7*k + 4. Let f be s(4). Suppose -g*d + 73 = -f. Is d composite?
True
Let g(r) = 746*r + 11. Is g(6) composite?
True
Let x be 0 + 5 - 2 - 0. Let b be -30 - (-1 + x) - 3. Let g = -14 - b. Is g composite?
True
Let l(x) = x**2 - 15*x + 6. Let s be l(14). Let n(t) be the first derivative of -2*t**2 - t - 1. Is n(s) composite?
False
Suppose 4*m + 2*r = 1018, 2*m - 226 - 265 = 5*r. Is m a composite number?
True
Let o be (2/6)/((-3)/(-9)). Let s be (-2 + 0 + o)*-1. Is 2/s*(-147)/(-6) composite?
True
Suppose -3*v - 6 + 0 = 0. Is (178/(-4))/(v/4) composite?
False
Let o(x) = -3652*x - 19. Is o(-3) prime?
True
Suppose 1309 = -10*q + 17*q. Is q composite?
True
Let d(i) = -2*i**3 - 25*i**2 + 9*i - 19. Is d(-14) prime?
True
Suppose 0 = 4*b - 0*b, 0 = -4*m + 2*b + 764. Is m a prime number?
True
Suppose 0 = -2*q + 6*s - 4*s + 468, 2*q - 3*s - 465 = 0. Is q a composite number?
True
Suppose 0*o = 5*o + 5*q + 5, -o - 3*q - 11 = 0. Suppose -84 = -o*i + 232. Is i a prime number?
True
Suppose 14 = -3*p - 64. Is (-4)/(16/p)*2 a composite number?
False
Let y be 3 + (-1)/((-2)/66). Suppose 49 = 3*d - 4*s, -5*d + 3*d + s + y = 0. Is d a prime number?
True
Suppose -1 = 3*m + 5. Let i be (2 + 1 + -7)/m. Is ((-44)/8)/(i/(-20)) a prime number?
False
Let u = 575 - 183. Suppose -u = -4*q + 5*r, 4*r + 0*r + 109 = q. Is q prime?
False
Suppose 0*s + 4*s = 52. Is s prime?
True
Let w be (-4)/(4/(-46) + 0). Suppose -u - 270 = -3*u. Let m = u - w. Is m composite?
False
Let u(c) = 14*c**2 - 2*c + 11. Is u(-5) composite?
True
Suppose 0 = 2*q + 4*o - 208, q + o = 2*o + 98. Suppose -3*v = -6, 2*m - q = 5*v - 0*v. Suppose -3*c + z + m = -329, 5*c = 2*z + 641. Is c composite?
False
Let i(x) = -33*x - 73. Is i(-8) a prime number?
True
Let n(y) = -358*y - 3. Let l(w) = -296425*w - 2485. Let d(v) = 3*l(v) - 2485*n(v). Is d(1) a prime number?
False
Suppose 0 = 10*m - 22*m + 14232. Is m a prime number?
False
Suppose -4*l = 5*n + 30, 3*n - l = 2*n + 3. Let t(o) = -23*o + 1. Is t(n) prime?
True
Let j be -2 - (-4 + 1)/1. Let r = 0 + j. Is -5*(r + -13 + -1) prime?
False
Let o(r) = 10*r**2 + 2*r - 2. Let g be o(2). Let i = -16 - -5. Let u = g - i. Is u prime?
True
Let t(l) = -16*l - 3. Is t(-14) prime?
False
Let t(m) = 3*m**2 - m**3 - 2*m - 2 + 6 + 3*m**3. Is t(3) a prime number?
True
Suppose -t + 6*t - 5*b = 570, t + b - 116 = 0. Let u = t - -12. Is u a prime number?
True
Let c(a) = 17*a**2 + 5*a + 1. Let l be c(4). Let s = l - 183. Suppose s = -3*k + 5*k. Is k prime?
False
Suppose -2*g + 3*g = 5. Suppose -5*i = -g*f - 1475, -3*i - 297 = -4*i + 2*f. Is i composite?
False
Suppose 13643 = -0*h + 7*h. Is h a composite number?
False
Let l be 0 + 2/(-2) - -39. Let i = 69 - l. Is i prime?
True
Let r = 8 - 7. Let s be 136/r - 3/3. Let k = s + -20. Is k composite?
True
Let p be 8/(-3)*6/(-4). Suppose -p*l = -0*l - 2756. Is l composite?
True
Is (63 + -1)*(-21)/(-6) a composite number?
True
Suppose 0 = -4*m - 0*m + 24. Suppose 4*q = 2*q + m. Suppose -202 = -3*g - 5*n, -q*g - 4*n = -235 + 38. Is g a composite number?
False
Suppose 2*a + 2*a - 388 = 0. Is a prime?
True
Let r(u) = 2*u - 1. Let q be r(3). Suppose 5 + q = a. Is a a prime number?
False
Let l(d) = -6*d**2 - 14*d - 7. Let n be l(-14). Is (n/(-6))/(2/4) a prime number?
False
Let j = 6 - 1. Let h = j - 0. Suppose 4*z = 4, -h*m + 13 = -5*z - 32. Is m composite?
True
Let o be 21/(-12) + (-2)/8. Let w be o/8 - 1/(-4). Suppose -2*u - 27 = -b, 4*b + 0*u + 5*u - 82 = w. Is b prime?
True
Let v = -460 - -819. Suppose 3*s + v = 1181. Let w = -125 + s. Is w a composite number?
False
Is 740/7 + (-2)/(-7) prime?
False
Let d(h) = h**2 - h + 3. Let c(w) = 5*w - 1. Let q be c(3). Suppose 2*k + k = 3*g - 27, 0 = 2*g + 2*k - q. Is d(g) composite?
False
Let i(n) = n**2 + 13*n + 9. Is i(-15) composite?
True
Let d = 2544 + -851. Is d composite?
Fals