er?
False
Let a(r) = -64*r**3 + r**2 + r + 1. Let h be a(-1). Suppose 3*n + 0*n - 138 = 0. Let x = h - n. Is x composite?
False
Suppose -o + 3 - 1 = 0. Suppose -j = f - 465, 3*j - 3*f = o*f + 1379. Is j prime?
True
Let p = 17 - 14. Suppose p*o = -2*o + 475. Suppose 170 + o = n. Is n a composite number?
True
Suppose 203586 = 15*i - 9*i. Is i prime?
True
Suppose -5*a + 6375 = -6670. Is a a prime number?
True
Suppose 6 = 4*z - 2. Suppose 4*f = 3*q - 246 - 37, 4*q + z*f - 348 = 0. Suppose -g + 349 = -3*u, -q = -4*g - 3*u + 1247. Is g a prime number?
True
Let z be 2 - ((-40)/5)/(-4). Suppose z = 4*m - 8*m + 3508. Is m a prime number?
True
Let t(h) = 2*h + 9. Let j be t(-4). Let v(x) = 142*x**2 + 2*x - 1. Is v(j) a prime number?
False
Let p(g) = -7*g + 12 + 4*g**2 - 3*g**2 + 1. Is p(-9) a prime number?
True
Let k = -16605 - -76164. Is k prime?
False
Let k(d) = -8 - 4 + 89*d - 2*d + 1. Let z(c) = 173*c - 22. Let n(i) = -5*k(i) + 3*z(i). Is n(5) prime?
True
Let r be 5 + -4 - (-465 - (0 + 3)). Suppose -5*z - 270 - 1193 = -3*s, 3*z - r = -s. Is s prime?
False
Suppose -2*v + v = -2*n - 2167, -v = -3*n - 2172. Is v composite?
True
Suppose 2*n - 1930 = -752. Let b(x) = 21*x**2 + 11*x + 7. Let p be b(-11). Suppose p = 2*f - 5*d, -618 = -f - 4*d + n. Is f a composite number?
True
Suppose 43*d + 43321 = 176750. Is d a composite number?
True
Suppose 691*f - 679*f = 309576. Is f a prime number?
False
Is 1/6*-2*-64659 a composite number?
True
Let v be 15/5 + 172/(-4). Let b be (-64)/v - 4/(-10). Suppose l = -r + 22, b*r + 24 = l + r. Is l a composite number?
False
Suppose -3*l - w = -8*l - 38, -5*w - 18 = l. Let t(i) = 18*i**2 + 8*i - 1. Is t(l) a prime number?
True
Let r(f) = -22*f**3 - 3*f**2 + 14. Let d be r(-7). Suppose -6*s = -13*s + d. Is s a composite number?
True
Let n(a) = 465*a**2 + 44. Is n(-9) prime?
False
Suppose -7142 = -3*k + 2*y + 3017, -y = -4. Is k composite?
False
Is 16566*(-11 + 12) + -1 composite?
True
Is (0/4 - (-6258)/2) + -2 composite?
True
Let u be 46/14 + 4/(-14). Suppose -n - 4*o + 97 = 0, -u*n - o + 343 = -2*o. Is n composite?
False
Let c(q) be the first derivative of 21*q**2/2 + 5*q + 4. Let k be -10*(1 - (-44)/(-20)). Is c(k) composite?
False
Let j be 4/(-6)*12/(-4). Suppose -1 = -h, 10 = 4*l - 2*l + j*h. Suppose 66 + 109 = 5*z + l*g, -2*g = 2*z - 70. Is z composite?
True
Suppose -562 = -v - 0*v. Suppose -2*a - 160 + v = 0. Is a a prime number?
False
Let i be (-1)/(-4) - (-11397)/12. Let b = i - 231. Is b a prime number?
True
Suppose -7*v - 636 = -9*v. Suppose -v = -3*q - 0*q. Is q composite?
True
Is (-6 + 96612 + -8)/2 composite?
False
Suppose -2*r - 9*a + 4*a = -2307, 5*r - 5759 = -4*a. Is r composite?
False
Suppose 7*c = -c + 16. Is c/(10/14065) - (-2 - 0) a composite number?
True
Suppose i - 64 + 721 = 3*h, -h - 3 = 0. Let y = 979 + i. Let q = 1076 - y. Is q composite?
True
Suppose 0 = -2*v + 72 + 82. Is v composite?
True
Suppose 4*p - 680 = t - 3*t, -2*p + 2*t = -340. Let s = -3 - -3. Suppose s*x - p = -2*x. Is x a composite number?
True
Is 2*7229*7/14 prime?
True
Let k(u) be the second derivative of 49*u**4/6 - 3*u**2/2 + 6*u. Is k(-3) prime?
False
Suppose -c = o - 2304, 3*c + 128 = 2*o + 7045. Is c prime?
False
Let i be (-1 - 0 - 0)*-1. Let b(v) = 252*v**2 + 3*v - 2. Is b(i) prime?
False
Let b(y) = 42*y**2 - 6*y + 1. Is b(2) a composite number?
False
Suppose -3*x - 300 = x. Let w = x + 406. Is w a composite number?
False
Suppose 8 = -3*c + 17. Suppose 8*i - 3*i = -4*d - 2765, 1632 = -3*i + c*d. Let n = 803 + i. Is n composite?
True
Let g(i) = i**3 + 3*i**2 - 3*i - 4. Let l be g(-3). Let q = 16 - l. Let p = 25 - q. Is p a prime number?
False
Let j be (-67130)/(-8) + -2*2/16. Suppose 1675 = 7*a - j. Is a composite?
True
Let l(n) = 11*n**2 - 33*n - 57. Is l(-12) prime?
False
Let z(b) = -b**3 - 5*b**2 - 2*b - 7. Let p be (11 - 8) + 16/(-2). Let q be z(p). Suppose -193 = -n - 3*y, q*y + 327 = 3*n - 204. Is n composite?
False
Suppose 25453 = 36*h - 130751. Is h composite?
False
Let g = 1038 + 7549. Is g prime?
False
Let o be 7/3 - (-2)/(-6). Suppose 2*u + 44 = -o*u + i, 4*i = -3*u - 14. Is u/(-25) + (-228)/(-5) composite?
True
Let b = 9 + -3. Suppose 8 = -b*s + 10*s. Suppose s*x - 62 = l - 149, 3*l - 229 = -2*x. Is l prime?
True
Let i = -243 - -15. Let q = 1089 - i. Is q a composite number?
True
Suppose -3*p + 8*p = 0. Suppose p = -7*l + 9773 + 3842. Is l composite?
True
Let y(d) = d**2 + 5*d + 2. Suppose -6*o - 13 = 4*a - 5*o, -4*o = a + 7. Let x be y(a). Let v = 95 + x. Is v a prime number?
False
Let q(r) = r**3 - 7*r**2 + 21*r - 28. Suppose j - 52 = -4*f, -4*f + 52 = -2*j + 4*j. Is q(f) composite?
False
Let b(v) = v**3 + 2*v**2 - 6*v. Let d be b(7). Suppose 0 = -4*t, -j = -4*t - d - 317. Suppose -2634 + j = -2*w. Is w a prime number?
False
Let k = -71 + 2. Let g = 418 + k. Let b = g + -228. Is b a composite number?
True
Suppose 2*v + 1039 = 3*v - 2*m, -3167 = -3*v - 4*m. Is v a composite number?
False
Suppose -3*y - 14*m = -9*m - 15762, 15780 = 3*y - m. Is y composite?
True
Let x(i) = 210*i**3 + i**2 + i - 1. Let u(t) = 2*t - 49. Let n be u(25). Is x(n) prime?
True
Let t be 2*(66/(-5) - (-5)/25). Is -2 - (t - 4)/((-4)/(-30)) a prime number?
True
Let w = 20494 - 13091. Is w prime?
False
Let d = -179 - -293. Suppose d + 58 = w. Let f = w - 49. Is f a prime number?
False
Is 34662*16/24 + 9 composite?
False
Let t(p) = -p**3 + 17*p**2 + 2*p - 25. Let o be t(17). Suppose -4*x + o*x - 12261 = 4*k, 4*x = -3*k + 9815. Is x composite?
True
Let n(g) be the third derivative of g**6/120 + g**4/3 + g**3/3 + 6*g**2. Is n(5) a composite number?
False
Suppose 3*j - 30 = -y - 12, 2*y + 4*j = 26. Is 590 + 1 + (y - 7) prime?
True
Let z(r) = -1210*r + 689. Is z(-12) prime?
False
Let n(u) = -3*u**3 - 10*u**2 - 6*u + 1. Let z be n(-6). Suppose -c + 176 = -z. Is c prime?
False
Let g be ((-5)/2)/(11/(-22)). Suppose -3*i + 2040 = u, g*i - 4*u - 3389 = -2*u. Is i composite?
True
Let d = 63 - 45. Suppose 0 = -p + 5*a - 86 - d, 144 = -p - 5*a. Let h = -45 - p. Is h a composite number?
False
Let n(u) = u - 8. Let y(b) = b - 9. Let v(l) = 2*n(l) - 3*y(l). Let t be v(8). Is (-2 - t)*177/(-15) prime?
True
Let z(a) = 4*a - 38. Let y be z(8). Let d = 59 + y. Is d prime?
True
Let r(w) = -w + 4. Let l be r(0). Let y = 8 - l. Is (971 + 2)/(4/y) prime?
False
Let k(u) = -16339*u + 30. Is k(-1) prime?
True
Let v(j) = 13*j - 14. Let k be v(3). Let l = k - -54. Is l prime?
True
Suppose -28949 = -h - 3*v, 28937 = h + 16*v - 19*v. Is h prime?
False
Let j be (-14)/(-3) + (-6)/9. Suppose n = -3*c - 873, 2*n + 1164 = -j*c + n. Let h = -168 - c. Is h a prime number?
False
Let w be -2 + 1/((-1)/(-2)). Let i be (-1185)/2*(w + -2). Suppose 10*s - i = 5*s. Is s prime?
False
Suppose 3*f - 6 = 3. Suppose -f = 3*z - 12. Let g(j) = 2*j**2 - 2*j + 2. Is g(z) prime?
False
Suppose 7*x = 6 + 1. Is ((-6)/(-3) - x)*419 a composite number?
False
Let y(i) be the third derivative of i**6/240 - 17*i**5/120 - i**4/24 + 3*i**2. Let j(l) be the second derivative of y(l). Is j(13) a composite number?
True
Let r = -59 - -61. Suppose r*j + 7530 = 2*w - 0*j, 0 = 3*j + 12. Is w a composite number?
False
Let p(n) = -3*n + 26. Let u be p(11). Let a be (u - 3)/(2/(-757)). Let k = a - 2242. Is k composite?
False
Suppose 15*h - 5264 = 14*h. Suppose 9*r - h = 775. Is r a prime number?
False
Let q(a) = 2*a**2 - a + 673. Let r(t) = -4*t**2 + 2*t - 1346. Suppose s = 2*n + 13, 20 = 5*s - 0*n - n. Let v(o) = s*r(o) + 7*q(o). Is v(0) composite?
False
Is (-1)/((-4)/47604)*(-3)/(-9) composite?
False
Let x = 2583 + -2589. Let y(o) = 4*o + 2. Let p(h) = -12*h - 7. Let j(k) = 3*p(k) + 8*y(k). Is j(x) composite?
False
Suppose 0 = 15*i + 10*i - 1478525. Is i composite?
False
Let a = 8409 - 2036. Is a prime?
True
Let o(z) = z + 10. Let i be o(7). Suppose 0 = -2*d + i - 13. Suppose -1036 = -4*a - d*p, 3*a - 2*a + 4*p = 273. Is a prime?
True
Let d be (-36)/(-16) - 2/8. Is 1 + d - (-4326 - -2) composite?
False
Let j be 2/4 + 1667/2. Let h be 1*-2 + -2 + j. Suppose -2*i - h = -4*v - 0*v, v - 197 = 4*i. Is v a prime number?
False
Let v be (3 + (-14)/4)*-30. Let i = 21 - v. Is 46/i*27/3 a composite number?
True
Let l = 49 - 48. Is 1/(l - (-2488)/(-2492)) prime?
False
Suppose 79463 = 3*p - 2*g, -2*g = -24*p + 20*p + 105954.