?
True
Let h = -5 + 5. Suppose h = 5*f + 3*l - l - 6, -3*f = -l + 3. Suppose 0 = -f*w - 3*w + 42. Is w composite?
True
Is -8 + 7 + -5 - -8167 a composite number?
False
Let o be (5 + -6)*(-5)/1. Suppose 865 = 5*m - 5*s, o*m - 4*m - 2*s = 168. Is m composite?
True
Suppose 0 = 11*h - 52*h + 296963. Is h composite?
False
Let c(l) = -l**2 + 6*l - 6. Let w be c(3). Suppose -5*v = w*s - 1601, 2 = -3*v - 4. Is s composite?
True
Let u = 2257 - 1440. Suppose -4*q + 331 = -u. Is q composite?
True
Let j = 105 - 103. Suppose 74033 = 5*t + z + 25653, -j*z = -2*t + 19364. Is t a composite number?
False
Let o(r) = 2*r + 32. Let v be o(-16). Let y = 31 - v. Is y a prime number?
True
Let x(u) = u**3 + 22*u**2 - 7*u - 35. Is x(-21) a prime number?
False
Let g(t) = -2*t**3 + 6*t**2 + 20*t - 19. Is g(-9) composite?
True
Let h(k) = -64*k**2 - 1. Let i(g) be the second derivative of -g**3/6 - g**2/2 + 3*g. Let q(f) = -h(f) + 2*i(f). Is q(-2) a composite number?
True
Let k be (-30)/(-25) - 4/(-5). Suppose -o = 4*r - 3*o - 10, k = -2*o. Suppose -5*j - 3*b + 315 = r*b, -2*j = 4*b - 118. Is j a composite number?
False
Let u be (-1495)/45 + 6/27. Let q(j) = -19*j**3 + 3*j**2 + 3*j + 2. Let y be q(-2). Let s = y + u. Is s composite?
False
Let i be 10/(-2)*1*-1. Suppose -3508 = -9*v + i*v. Is v composite?
False
Suppose 5*c - 190 = 5*p + 360, 5*p + 4*c = -505. Is (-116515)/p + (-2)/3 prime?
True
Let d(s) = 183*s**3 - 3*s**2. Let g be d(2). Let m = -6 + 11. Suppose -3*c + g = 3*u - 0*c, m*c + 1963 = 4*u. Is u composite?
False
Let u be ((-3)/(-15)*0)/2. Let z(f) = -f**3 - 2*f + 993. Is z(u) composite?
True
Let d = -217 - -193. Suppose -4*i - 7 + 19 = 0. Is i/d*2*-764 composite?
False
Let q(z) be the second derivative of 3*z**5/5 + 5*z**4/12 - z**3/3 - z**2 - 3*z. Is q(4) a composite number?
True
Suppose 0*s - 3315 = -s. Let y = -1654 + s. Is y composite?
True
Let l(m) be the second derivative of -m**5/20 - 11*m**4/12 - 3*m**3/2 + 4*m**2 - 3*m. Let t be l(-10). Is (-237)/(-6)*-1*t a composite number?
False
Suppose -p - s = 2, 4*p + 2*s = 7*s + 37. Let w(c) = 1263*c - 4. Is w(p) a prime number?
False
Let f(c) = 2*c**2 + 4*c. Let s be f(-8). Let x be s + 0 + 0 - 1. Suppose 0 = -7*k + 12*k - x. Is k prime?
True
Let u(y) = -99*y - 18. Let l be u(-8). Let p = l + -293. Is p a prime number?
False
Suppose -7*j = 5*i - 3*j - 15737, 2*i = j + 6287. Suppose b = 5*g - 5450, -5*g + 2320 + i = 2*b. Is g prime?
True
Let w(v) = v**3 - 11*v**2 - 13*v + 15. Let h be w(12). Let u(j) = -4*j**3 - 5 + 17*j**3 + 7*j**3 - 2*j**h + 5*j. Is u(2) prime?
True
Let b(w) = -4*w. Let a be b(-5). Suppose c - 2*c = 0, 3*s = 2*c + 15. Suppose -s*v = a, t = -t - v + 352. Is t a composite number?
True
Suppose 5*f + b = 3*b + 17, -b = -4. Suppose f*x = 5, l - x - 28 = -9. Suppose 2*o + l = -3*o, -428 = -4*r + o. Is r a prime number?
False
Let i = 4 + -6. Suppose 4*x - 7 = -19, 4*g - 3*x - 1 = 0. Is (g - 420)*1/i prime?
True
Is ((-1171)/2)/(8 + (-243)/30) prime?
False
Is ((-8425875)/(-300))/(2/8) prime?
False
Is (-34 - -33)/(1/(199371/(-3))) prime?
True
Suppose -7*c - 19*c + 517426 = 0. Is c prime?
False
Suppose 4*t = u - 21, 8*u = 3*u - 4*t + 9. Let k(w) = 124*w - 35. Let i(a) = -41*a + 12. Let p(g) = 8*i(g) + 3*k(g). Is p(u) composite?
False
Suppose -2*m + 7*m = 8780. Is (-5)/(-15) - m/(-6) prime?
True
Let b(v) = -229*v + 3. Let l be b(7). Let g = -921 - l. Is g composite?
True
Let t = -224 - -1781. Suppose 2*z - 8117 = t. Is z a prime number?
False
Suppose -21*b + 5210 = -16*b. Is b prime?
False
Let f be 9048/10 - 4/(-20). Let i = -322 + f. Is i a composite number?
True
Let h(d) = -2*d - 4. Let z(q) = 9*q + 21. Let f(p) = 11*h(p) + 2*z(p). Let r be f(-1). Suppose r*o - 1245 = -o. Is o a prime number?
False
Suppose 12*b = 55200 - 7884. Is b a composite number?
False
Suppose -7*x + 42530 = -43059. Is x prime?
True
Suppose -5 - 1 = 3*t, 0 = -4*i - 2*t + 15952. Is i a prime number?
True
Let k(y) = -2*y**3 - 12*y**2 + 6*y + 209. Is k(-14) prime?
False
Let t(y) = -1189*y + 896. Is t(-15) a composite number?
False
Let o(q) = q**3 - 7*q**2 + 6*q + 5. Let p be o(6). Suppose i + 3458 = -0*v + p*v, -2*v - i + 1379 = 0. Is v composite?
False
Suppose 0 = 3*h - 168 + 66. Let r be 149 - (7/2 - (-15)/(-10)). Let t = r - h. Is t prime?
True
Suppose -2*d + 4*j - 1110 = 0, 3*d + 2*j + 1124 = -549. Is (-7 - -6)*(d - 0) a composite number?
False
Suppose 0 = -4*o + 29 - 9. Suppose -4650 = -5*p - 4*j, -o*p + 5*j - 847 = -5542. Is (p/6)/(3/9) a prime number?
True
Suppose -5*r + 2*o = -0*r - 23, -4*r + 32 = -5*o. Let f(d) = -1 - d + 2*d + 6*d - r*d. Is f(2) a prime number?
True
Is (626 + 7)/(-4*(-12)/16) prime?
True
Let u = 587 + -214. Is u composite?
False
Suppose -2*b = 5*h - 285, -4*b + 3*h = 4*h - 615. Suppose 8*i - b = 3*i. Is i a prime number?
True
Let a = -1175 + 2289. Let w = a - 228. Is w composite?
True
Let j(y) = 139*y**2 + 2*y + 2. Let a be (6/18)/(1/9). Is j(a) composite?
False
Let l(k) = -713*k. Suppose -3*x - 4 = x. Let m be l(x). Suppose 0*t + m = t. Is t a prime number?
False
Let g(h) = 2*h - 18. Let r be g(17). Is 85 - 5/((-20)/r) a composite number?
False
Suppose 4*j = 3*j - 5*t - 7, 0 = -2*t - 10. Is (1462/(-51))/((-4)/j) composite?
True
Suppose 4*w + d - 63 = 0, 2*w + w - 4*d = 52. Let o be 10/(-3)*(-24)/w. Let m(i) = 5*i**2 - 4*i - 8. Is m(o) prime?
True
Let g(b) = -b**2 + 10*b + 15. Let j be g(11). Let r(q) = -q**3 + 3*q**2 + 5*q - 2. Let l be r(j). Suppose l*k + 2*k - 1916 = 0. Is k a prime number?
True
Let m be ((-450)/4)/(-5)*(-948)/(-5). Suppose 5*l - 1484 = -5*n + m, -3*n + 3429 = -4*l. Is n a prime number?
False
Suppose -4*o - 11 - 9 = 0. Let x = o + 10. Suppose 4*s - 1988 = -0*j - x*j, -3*j - 497 = -s. Is s prime?
False
Suppose -y - 1187 + 3832 = 3*t, 871 = t + 3*y. Suppose -5*l = -4*x - t, 4*l - 707 = 2*x + x. Is l a prime number?
True
Let r(a) be the first derivative of -6*a + 3*a**3 + 3 + 0*a**2 - 1/4*a**4. Is r(5) a prime number?
False
Suppose -17 = 2*g - 3*s, -8*g = -3*g - 2*s + 37. Is 3 + -4 - 5*g a prime number?
False
Suppose -5*k - 552 = -2*o + 2136, -2*k = 3*o - 4013. Suppose o = 11*u - 4370. Is u composite?
True
Suppose -20*a = -26*a. Suppose a*b - 5752 = -8*b. Is b a prime number?
True
Let f(t) = 10*t**2 + 7*t + 169. Is f(16) prime?
False
Let u(r) = 20027*r + 25. Is u(4) prime?
False
Let f(j) = 19*j - 6. Suppose 0 = 2*q - 7*q + 560. Let h be ((-2)/(-4))/(8/q). Is f(h) composite?
False
Suppose 13241 + 5891 = 4*h. Is h a prime number?
True
Let w be 1 + 0 + 8/8. Let g(i) = -5*i + i**2 - w*i**2 + 2*i**2 + i**2 + 9. Is g(6) composite?
True
Let f be (1 - 4/10)*235. Suppose -17 - f = -2*a. Is a + 2 - 2*-1 a composite number?
False
Let o(a) = 2*a**3 + 6*a**2 - 17*a - 2. Is o(7) prime?
True
Let s = -50 - -86. Is (59625/s - 7) + 2/(-8) a composite number?
True
Is 41007*(-56)/(-84)*(-2)/(-4) prime?
True
Let n(d) = -d**3 - 3*d**2 + 17*d - 10. Let m be n(8). Let c = m - -1211. Is c a composite number?
True
Suppose 0 = -11*m + 11267 - 3666. Is m composite?
False
Suppose 5*r - 11 = -5*u + 9, 14 = 3*r + u. Suppose r*x + 0*x + z = 715, 0 = 4*z. Is x prime?
False
Let t = 4848 + 34417. Is t a prime number?
False
Suppose -20*x + 209261 = -188679. Is x a composite number?
True
Let t = 5113 - 2654. Is t prime?
True
Suppose -46*q + 43658 = 6444. Is q composite?
False
Let w(s) = s**2 + 10*s + 4. Suppose -3*m - 10 = 4*a, 14 - 44 = 5*m + 4*a. Let n be w(m). Suppose -5*y + 481 = 5*x + 41, 2*y - n*x = 182. Is y prime?
True
Let y be 15/(-20) + (-22)/(-8). Let o(g) = g**3 - 2*g + 1. Let m be o(y). Suppose 0 = -m*l + 7*l - 30. Is l composite?
True
Let l(q) = q**2 - 3*q + 1. Let t be l(4). Suppose t*r - 67 = -7. Suppose 4*h - r = 0, 2*h - 74 = -5*d + 997. Is d a prime number?
False
Is (4/8)/(23/376510) a prime number?
False
Let q = -14358 + 22811. Suppose 1113 = -4*f - 5*d + q, -4*f + 7340 = 4*d. Is f a composite number?
True
Let o(b) = -b**3 + 5*b**2 + 7*b - 2. Let m be (-12)/((-16)/4) + 3. Let z be o(m). Suppose -7*l = -u - 2*l + 464, -z*u = -l - 1799. Is u a prime number?
True
Suppose -4*c + 0*p - 1670 = -5*p, 5*p = -2*c - 820. Let g = c - -704. Is g a prime number?
False
Let o be (-16)/12*6/(-4). Suppose 3*k + o*k = 5*d - 1270, -3*k = -2*d + 503. Is d composite?
True
Let t(x) = x. Let n be t(-12). Is (-674)/(-10) + n/