2, 330 = 5*x + 3*g - r*g. Is x prime?
True
Suppose -4*h = -h. Suppose 0 = -2*b - 2*x + 46, 2*x + x + 12 = h. Suppose 4 + b = v. Is v prime?
True
Let w(s) = s**3 - 7*s**2 - 4*s + 3. Let m be (-7)/(-1)*(-1 - -6). Suppose -3*a + 9 = 3*r, -4*a + 3*a = 5*r - m. Is w(r) a composite number?
True
Let u(v) = 2*v + 293. Is u(0) a prime number?
True
Suppose -4 = -p - 4*g + 5, -p + 6 = 3*g. Let z = 34 - p. Is z composite?
False
Let b(y) = 58*y - 17. Is b(8) a composite number?
True
Let t = -137 + 192. Is t prime?
False
Let y = -77 + 294. Is y prime?
False
Let j be (-4)/2*(-1 + -1). Suppose 149 = -j*i + 3*t, -i + 7*t = 2*t + 50. Is 10/i - 326/(-14) a composite number?
False
Let v = -2 - -5. Let s be 3*2/v + 5. Let k = -4 + s. Is k a composite number?
False
Let i be 9/(-6)*212/(-6). Suppose h = -0*h + i. Is h a prime number?
True
Suppose -2*o + 0*o + 10 = 0. Let n = o - 8. Is 38/(n + (2 - -2)) prime?
False
Is -1*-1*(332 + -1) a prime number?
True
Let z(i) = 15*i + 2. Is z(4) composite?
True
Suppose 0 = 4*a - 4*f - 4596, -5*a + 10*a - f - 5753 = 0. Is a a prime number?
True
Is 371 + (-2 + 0 - -2) prime?
False
Let w(k) = -k**2 + k + 129. Let z be w(0). Suppose 0 = 4*v - v - z. Suppose -5*j + v + 12 = 0. Is j composite?
False
Suppose -4*v + 504 = 4*a, v + a = -a + 125. Is v a prime number?
True
Let u(d) = -d**2 - 6*d - 6. Let y be u(-5). Let a(l) = -175*l**3 - 2*l - 1. Let f be a(y). Let w = f + -87. Is w composite?
False
Let w(b) = 2*b**3 + b**2 - 8*b + 1. Let z(d) = -d**3 + d. Let v(r) = -w(r) - 6*z(r). Is v(2) composite?
False
Let y(l) = 87*l**2 + 2*l. Let r(j) = 348*j**2 + 8*j + 1. Let m(f) = -2*r(f) + 9*y(f). Is m(1) a composite number?
True
Let y = -2 - -1. Let q be ((-37)/3)/((-1)/(-3)). Is (-1)/y - (1 + q) a prime number?
True
Let g = -120 - -311. Is g a composite number?
False
Suppose 0 = 4*m + 12, m + 3*m - 143 = -j. Is j prime?
False
Suppose -k + 22 = -12. Is k a composite number?
True
Suppose 4*p + 4 = 4*t, p + 8*t = 6*t + 2. Let m = 4 + p. Is 3*m/6 + 5 a composite number?
False
Let p(h) be the second derivative of h**5/20 + h**4/2 + 2*h**3/3 + 3*h**2 + 2*h. Is p(-4) prime?
False
Let l be (1 - (-81)/2)*2. Let c = 118 - l. Let u = -25 + c. Is u prime?
False
Let k(l) = 140*l**2 - l. Let t(a) = -a**3 - 9. Let n be t(0). Let u = -10 - n. Is k(u) composite?
True
Suppose 0*q - 3*q + 9 = 0. Suppose q*r - 230 = r. Is r a prime number?
False
Let k be -3*(2 - 2/3). Let m(g) be the first derivative of -5*g**2/2 + g + 1. Is m(k) prime?
False
Suppose -v = -2*h + 5*h - 3, -h + 1 = 0. Suppose -4*q - 4 + v = 0, -2*i + 4*q = -410. Is i a composite number?
True
Suppose -5*f - 5*w + 1645 = 0, 3*f = 6*f - 3*w - 999. Is f a composite number?
False
Let m = 976 - 215. Is m a prime number?
True
Let x = -1 - 1. Let i = 8 + x. Let z(j) = 5*j - 9. Is z(i) a composite number?
True
Let p(l) = 32*l - 2. Let a be p(-2). Let q = 135 + a. Is q composite?
True
Suppose -995 = -5*q - 3*p + p, 2*q + 2*p = 398. Is q a composite number?
False
Suppose 0*l - 3*l + 333 = 0. Is l a prime number?
False
Let o be (-3 - (-1 + -1))/1. Let f be 1 + o - 16/(-4). Suppose f*b = -2*a + 78, -3*b = 5*a - 149 - 60. Is a a composite number?
False
Suppose 145 = 5*t - 4*t. Is t a prime number?
False
Let z(c) = 24*c**2 + 6*c - 16. Is z(-9) prime?
False
Suppose -3*j - 2*n = j - 3366, -j - 5*n + 846 = 0. Is j prime?
False
Is (0 + -2)*36525/(-30) composite?
True
Let h(f) = 2*f**3 - f**2 - f. Let n be h(-1). Let t be 0/(n + 1 - -3). Suppose 0 = -t*c - 3*c + 195. Is c a prime number?
False
Suppose -3*s + 5 = 2. Let f(z) = 71*z**3 + z**2 - 1. Is f(s) a composite number?
False
Suppose -2*s + 19 = -27. Suppose 0 = -2*m - 3*p + s, -2*p - 5 = 3*p. Is m a composite number?
False
Let n(o) = -98*o - 9. Is n(-1) composite?
False
Let u = 622 + -63. Is u a composite number?
True
Let t(d) = d**3 + 6*d**2 + 6*d + 7. Let c be t(-5). Suppose c*j - 356 = -70. Is j prime?
False
Let f(g) = g**2 - 2*g + 4. Let h be f(4). Let s = -8 + h. Suppose -4*b + 707 = 5*z, -b - s*b = -5*z + 725. Is z composite?
True
Suppose 0*u = -5*u. Suppose -2722 = -2*v - t, 3*t = -u*t. Is v a prime number?
True
Let u(a) be the second derivative of 11*a**3/6 - a. Let s be (-1)/3 - (-4)/3. Is u(s) a prime number?
True
Let u(n) = 8*n - 1. Let m be u(5). Let d = m + 19. Is d composite?
True
Let i(k) = 18*k**2 - 2*k - 1. Let o be 2 - 2/(-3)*3. Let a = o + -5. Is i(a) a prime number?
True
Suppose -5*b - 8 = -b. Is (-194)/(-1*(b + 4)) prime?
True
Suppose -40 = 5*h + 2*w, -2*h + 4*h - 4*w - 8 = 0. Let k = 40 + h. Is k composite?
True
Let s(l) = -l**2 - 4*l. Let x be s(-4). Let w(b) = b**2 + b + 69. Is w(x) a prime number?
False
Is 3*(-2)/(-6)*59 a prime number?
True
Suppose -5*n = -n - 5*g + 7, g - 9 = -3*n. Suppose 0 = -4*p - 3*m + 1528, 3*p - n*m + 4*m = 1147. Suppose 0*f + 119 = s - 2*f, -3*s - f + p = 0. Is s prime?
True
Let y be 1/(-1 + (-6)/(-4)). Is (-7)/(y/(-68)*2) composite?
True
Suppose -2*w - 5*h = -6, 3*h + 14 = 2*w - 8. Let n = w + -6. Suppose 217 = -3*o + 6*o + 4*x, -154 = -n*o - 5*x. Is o a prime number?
True
Suppose -6*b = 2438 - 34736. Is b composite?
True
Let w be (-1866)/(-14) - 4/14. Let q = -56 + w. Is q a prime number?
False
Let m = 6 - 4. Suppose m*v - v = 4. Suppose 5*h - 2*h - 49 = v*k, -k = h - 7. Is h a prime number?
True
Let j(u) = -22*u**2 + 17*u + 5. Let h(p) = -6 - 15*p**2 + 5 + 11*p + 0 + 4. Let t(s) = -8*h(s) + 5*j(s). Is t(2) composite?
True
Let r be (-14)/(-21)*(-266 + -1). Is 1/(-3 - 536/r) a prime number?
True
Let i be 6*-3*(-2)/9. Suppose -u + 5*u = -z + 15, -z + 23 = -i*u. Is z composite?
False
Let q(t) = t**3 + 3 + 3*t - t**2 - 2 + 2*t**2 - 6*t**2. Is q(6) prime?
False
Let v(z) = 5*z**3 + 9 - 2*z**3 + z - 8*z**2 - 3*z**2 + 7*z. Let w(b) = b**3 - b**2 + b + 1. Let q(y) = v(y) - 5*w(y). Is q(-5) a prime number?
True
Suppose 1556 = 5*y - 1594. Let w = -311 + y. Is w prime?
False
Let q = 269 + -148. Is q a composite number?
True
Suppose -6 = r - 9. Let k = -13 + 21. Suppose r*h = k*h - 635. Is h composite?
False
Let z(f) = -f**2 + 6*f - 1. Let n be z(5). Suppose n*w = -8 + 68. Is w composite?
True
Let u be -2 + (1 - 1) + 6. Suppose -4*p = u*t + 8 + 4, -7 = -p + t. Suppose 0*a = -p*r - 2*a + 162, 3*r = a + 259. Is r composite?
True
Let p be (-6)/(-9)*30/4. Let d be -1 + 0 + 3 + -2. Suppose d = 4*n - 5*l - 43, 4*l + 12 = -p*n + 35. Is n a composite number?
False
Is 183 - 4/(8/(-4)) prime?
False
Suppose 0 = v + 5*h - 49 + 14, 4*v - h - 35 = 0. Suppose -555 = 5*r - v*r. Is r composite?
True
Let o = 97 - 136. Let g = 5 + 7. Let s = g - o. Is s a prime number?
False
Let p = -13 - -34. Let t be 3 - 2 - p - -1. Let z = 14 - t. Is z a composite number?
True
Let r(v) be the second derivative of v**3/2 - 5*v**2 + 4*v. Let t be r(7). Let j = t + 36. Is j composite?
False
Suppose 5*a + 534 = 3*i, -3*i + 816 = -2*a + 291. Suppose 3*c + j - 585 = i, 1016 = 4*c - 4*j. Is c prime?
False
Let z(n) = 2*n**2 - 4*n - 1. Let t be z(3). Suppose -s + i = 6*i - 10, t*i + 15 = 0. Is s prime?
False
Suppose 0*o - 2*o - 4*d = -66, 48 = 2*o - 2*d. Suppose -3*m - 18 = -4*l - 8*m, -5*m = -5*l. Suppose x + 4*s - 23 = 0, -x = -2*x - l*s + o. Is x composite?
False
Let u be 1/2*2*3. Suppose u*c = -4*k + 64, 4*c + 36 = 4*k - 56. Is k prime?
True
Suppose -5*h + 38 = 3. Suppose -67 = 5*x + 3*j, 6 + 18 = -2*x - 4*j. Let v = h - x. Is v composite?
True
Let r = -16 + 16. Suppose 2*y - 2 = 6. Suppose -y*j = -r*j - 44. Is j a composite number?
False
Suppose 114 = -6*q + 1380. Is q prime?
True
Suppose f - 375 = -68. Is f composite?
False
Let s be 2 - (24/1)/1. Let x = -16 - s. Is ((-4)/x)/(4/(-186)) a composite number?
False
Let j(b) = 7*b**2 - 8*b + 9. Is j(-8) prime?
True
Is ((-7959)/(-28))/((-3)/(-4)) composite?
False
Let s(n) = -n**2 + 10*n - 5. Let q be s(11). Let w(p) = -p**2 - 22*p + 17. Is w(q) composite?
False
Let o(r) = -18*r + 31. Is o(-16) prime?
False
Suppose -2 = -l - 0*l. Suppose 3*q - 262 = -s, 5*q + l*s = -0*s + 435. Suppose 0*r + q = 2*r + 3*f, 4*r - 3*f - 205 = 0. Is r a prime number?
False
Let u(i) = i + 13. Let x be u(-11). Suppose 0 = -x*k - 3*p + 62, 5*k - p - 117 = p. Is k prime?
False
Suppose 2*i - 8*i + 834 = 0. Is i a composite number?
False
Let v = -7 - -10. Suppose 0 = -v*x + 8*x - 265. Is x a composite number?
False
Let c(b) = 2*b + 8. L