1 = -59*w, -2*b + 26474 = 4*w. Is b composite?
True
Let r(g) = g**3 + 22*g**2 + 25*g + 43. Is r(-14) a prime number?
False
Let g(u) = 3*u**2 - 2*u + 1. Let p be g(1). Suppose 84 = 2*n + p*n. Suppose 5*y - n = -4*f + 174, -3*y - 5*f + 130 = 0. Is y prime?
False
Suppose t - 2724 = -2*a, -5*a = -3*t + t - 6801. Is a prime?
True
Let v(c) = c + 27. Let g(l) = -3*l - 53. Let x(f) = 3*g(f) + 7*v(f). Let q be x(14). Suppose 3*w + 3*z - 70 = 83, q*w - 4*z - 90 = 0. Is w composite?
True
Suppose g + 0*g = 1303. Let i = g - 750. Is i a prime number?
False
Suppose 2*k - 6*k = -4*z + 996, -1239 = -5*z + 2*k. Is (-6 - -2)*-1 + z a composite number?
False
Let y(s) = -80*s + 9. Let t(f) = f**2 + 18*f + 12. Let c be t(-17). Is y(c) prime?
True
Let d(u) = -u**2 + 15*u + 5. Let m be d(15). Suppose 0 = 2*j + 3*z - 330, -m*j - 3*z + 816 = -0*z. Suppose 5*g = w - j, 2*g + 59 = w - 100. Is w prime?
True
Let d = -3 - 0. Is d*5/5 + 332 prime?
False
Suppose -4*a = 12, -3*r + 2*a - 75 = 5*a. Let g = 20 + r. Is g/(-14) - 1803/(-21) a composite number?
True
Let g(p) = -16*p**2 + 46*p + 51. Let r(i) = 3*i**2 - 9*i - 10. Let z(q) = -2*g(q) - 11*r(q). Let m be z(7). Is 4/(m/(-332)*-1) prime?
False
Suppose -4*f - 5*i + 21 = 0, 6*i = -5*f + 2*i + 24. Suppose 0 = -x - f*t + 8, 2*x + t - 4 = 5. Suppose -x + 22 = 2*a. Is a composite?
True
Let w = 4695 + -1876. Is w prime?
True
Is (-20889)/(-8) + 16/(-128) a composite number?
True
Suppose -65*f + 13466 = -63*f. Is f composite?
False
Suppose -u + 5*r + 367 = 0, 5*u = 4*r - 3*r + 1931. Suppose -4 = -2*g + 3*g, i + 2*g = 168. Let q = u - i. Is q composite?
False
Let r = 635 - -1410. Is r composite?
True
Suppose -4*l = -5*l - 8. Let v(w) = -81*w + 19. Is v(l) a composite number?
True
Let q be 1128/(-9) - (-1)/(-6)*-2. Let z(n) = 3*n**3 + 6*n**2 - 3*n + 6. Let r be z(4). Let f = r + q. Is f prime?
True
Let b = 123 + -122. Let l(f) be the third derivative of 17*f**4/12 - f**3/6 + 2*f**2. Is l(b) composite?
True
Let p(k) = -4*k - 22. Let r be p(-7). Suppose 13 = r*b - 5. Suppose -4*i = z - 2937 + 1153, -b*i = z - 1339. Is i prime?
False
Suppose 3*i = -0*i + 12. Suppose -4*g - 499 = -c, 0*c + c = -i*g + 459. Is c prime?
True
Let y = -56 - -46. Is (-31272)/(-39) + y/(-65) composite?
True
Suppose -b - 7 = -0*b. Let z(x) = x. Let r(k) = 3*k + 1. Let p(v) = 4*r(v) - 18*z(v). Is p(b) a prime number?
False
Let p = 14 + -14. Suppose 5*f = a + 5864, -2*a + 2 = -p*a. Suppose 5*m - n - f = 0, 0 = 3*m - 4*m - 3*n + 241. Is m a composite number?
True
Let i = 1 + -6. Let y(x) = 27*x + 6. Let g be y(i). Let k = g - -920. Is k a composite number?
True
Let u be (-201)/(-12) + (-9)/12. Let p(o) = 12*o**2 - o**3 + 7*o + 7*o**2 - o**2 - 21 - 2*o**2. Is p(u) prime?
False
Let x(b) = b**2 + 3*b - 1. Let i be x(-4). Suppose k - 5*g = -i, 2*g - 4 - 4 = -3*k. Is (-1)/k*38/(-1) a prime number?
True
Suppose 0 = t, -7*c - 21515 = -12*c - 3*t. Is c a composite number?
True
Let c = -520 - -11. Let j = c + 1132. Is j prime?
False
Suppose 0 = f + 3*f - 60. Suppose 2*z + z = f. Suppose 3*b = z*b - 1402. Is b a prime number?
True
Let a = -13 + 1006. Let h(k) = 0*k**2 + 172 + a - k**2. Is h(0) a composite number?
True
Suppose 4 + 10 = -b. Let r = b + 18. Is r/10 - (-1263)/5 composite?
True
Let h(s) be the first derivative of 5 + 5/2*s**2 - 3*s. Is h(8) a composite number?
False
Let g be (9/(-3) - 2)*(-11)/11. Suppose 0 = -2*y + 5*s + 10, 4*y = -y - 5*s - 10. Suppose -g*k + 0*k - 3*n + 5206 = y, -4*n - 4184 = -4*k. Is k prime?
False
Suppose 9*l = 4*l - 430. Let j(k) = 4*k**3 + 3*k**2 - 4*k. Let u be j(3). Let g = u + l. Is g a prime number?
True
Let u(m) = -7*m - 47. Let y be u(-6). Let d(c) = 3 + c + 0 - 5*c**2 + 4 - 2*c**3. Is d(y) composite?
False
Let s(c) = c**3 + 10*c**2 + 10*c + 15. Let b be s(-9). Suppose p + 746 = b*p + l, p - 147 = 2*l. Is p composite?
False
Suppose 3*k - 5*u + 10 = 0, 2*u - 7 + 2 = k. Let z be -4 - (-2 + k/5). Is (1 + 93 - z) + 0 a composite number?
False
Suppose -976 = -10*i + 12*i. Let n be (i/(-6))/((-13)/39). Is (-5 - -3) + 5 - n composite?
True
Let n(m) = -m**2 + m + 1. Suppose -c + 0*c = 6. Let l(q) = -46*q**2 - 3*q - 8. Let j(v) = c*n(v) - l(v). Is j(-3) a prime number?
True
Suppose 5*o - o - 4*a = 12, 0 = 4*o + a + 13. Let q(n) = -9*n + 2. Let v(k) = -4*k + 1. Let r(s) = 6*q(s) - 11*v(s). Is r(o) composite?
True
Suppose -6534 + 868 = -2*h. Is h a prime number?
True
Let o = -31718 + 48195. Is o a prime number?
True
Let n = 12 + -12. Suppose 3*i + 2*i - 1530 = n. Suppose 0 = 4*v - i - 146. Is v prime?
True
Let w(k) = -12*k + 4. Let y be w(-4). Let t be -51*1*y/(-12). Suppose 4*p = 817 - t. Is p prime?
True
Let i(o) = 332*o - 53. Is i(3) a prime number?
False
Let c(v) be the third derivative of -v**6/10 + v**5/12 + v**4/3 + v**3/3 - 27*v**2. Is c(-3) a composite number?
False
Let k be 31 + 3 - (2 + 1). Suppose 2*x = 3*x - k. Suppose 0 = -a + 5*c - 3*c + x, 34 = a - c. Is a prime?
True
Suppose -1109 = -13*w + 269. Let g = w - -483. Is g a prime number?
False
Let j = 22 - 19. Suppose j*h + 2941 = 4*k, -15 = -h + 6*h. Is k a prime number?
True
Let h be (-4)/(-8)*(1 - 1). Let m(t) = t**2 + 749. Is m(h) composite?
True
Let v = -1503 + 8500. Is v a prime number?
True
Let h(n) = -n**3 - n**2 - 3*n - 24. Let c be h(0). Let j be (-263)/4*(-1 - 3). Let r = c + j. Is r a prime number?
True
Suppose 6 = 2*v + 5*x, 4*v + 2*x + 2*x = 12. Suppose 0 = -5*r + 2*t - 40, 0*t = -v*t + 15. Is (3/2)/(r/(-276)) prime?
False
Suppose -21*o = -180527 - 235126. Is o a composite number?
False
Let p(q) = -136*q + 21. Let x be p(-21). Is (6/9)/(2/x) a prime number?
False
Is (-17492)/(-6)*((-117)/(-18) + -5) prime?
True
Suppose 2*v + 720 = i - 96, -2*v + 4*i = 804. Let c = -115 - v. Suppose q = 6*q - c. Is q a prime number?
True
Suppose -25*x - 224079 = -1258354. Is x prime?
False
Let d = -9 + 13. Suppose 3*p + a - 2338 = 2*a, 0 = d*p - 4*a - 3120. Is p a prime number?
False
Suppose 0 = k - 61 - 599. Suppose 0 = -2*g - 0*g + k. Is (-3)/3 + 2 + g prime?
True
Let a be (-4 + 1)*(0 - 1). Suppose 0 = 3*t - 9, 153 = -f + a*t - 37. Let m = f + 322. Is m composite?
True
Suppose 0 = -7*s + 2*s - 3*n - 32, 5*n - 12 = s. Let q(a) = 15*a**2 - 8*a - 10. Is q(s) a prime number?
False
Suppose 0 = 4*t - 2*y + 808, -t - 209 = -0*t + 3*y. Let j = -72 - t. Is j a composite number?
False
Let n = -64 + 66. Is (-2 - 2333)*n/(-2) prime?
False
Let t(u) = 2960*u - 23. Is t(5) a prime number?
False
Is -3734*(3 + 210/(-12) + 6) a prime number?
False
Let n(v) = v**2 - 3*v + 15. Let m = 57 - 51. Is n(m) a prime number?
False
Let s = 2 + 4. Let z be (0 + -6)*4/s. Is (-507)/(-27) + z/(-18) prime?
True
Let w(x) = 2*x**3 - 11*x**2 - x - 14. Let k be w(6). Let l(p) = -p**3 + 21*p**2 - 4*p - 5. Is l(k) prime?
False
Let i(n) = -19*n**3 + n**2 + 4*n - 3. Let r be i(2). Let o = 46 - r. Suppose 5*c + b - o = 866, -5*c = 2*b - 1055. Is c prime?
True
Let b be (13 + -27)*(-4)/14. Suppose 3*g - 2*u - 34 = 0, -4*g - g + 42 = b*u. Is g a prime number?
False
Suppose -3*z - w - 991 = -5402, 0 = 5*z + 2*w - 7353. Let u = z - 30. Is u composite?
False
Suppose -3*i - 6830 = -5*c, -5*i - 4114 = -7*c + 4*c. Is c composite?
True
Let p = -43 - -45. Suppose -1630 = -p*g - 3*g. Is g composite?
True
Let o(t) = -t**3 - 8*t**2 - 2*t - 12. Let k be o(-8). Suppose -k*x + x = 5*d - 84, -2*x = 2*d - 60. Is x a composite number?
True
Let u(a) = -20*a**3 - 8*a**2 + a + 10. Let d(w) = -19*w**3 - 7*w**2 + 2*w + 9. Let t(n) = -5*d(n) + 4*u(n). Is t(6) a composite number?
False
Let l(s) = s + 75. Is l(4) a composite number?
False
Suppose -4*u - 3*p = p - 644, -814 = -5*u - 2*p. Suppose u = -2*d + 4*d. Is d prime?
False
Suppose 45*w - 48*w = -2439. Let l = w + -506. Is l a composite number?
False
Let r be 0/(0/(-1) - 1). Suppose i + 5 = -r*i, -3*j - i = -154. Is j a prime number?
True
Let c be (-2)/(2 - 1660/1658*2). Let m = c + -264. Is m prime?
False
Let i = -88 + 124. Let c be (-83095)/(-9) + i/162. Suppose 6*m = -m + c. Is m a composite number?
False
Let v = -15 + 14. Let b be (v + 3 - 2)/2. Suppose b = -4*c + 73 - 17. Is c a composite number?
True
Let l = 18 - 11. Let q(t) = -2*t**3 + 7*t**2 + 12*t + 3. Let u(v) = -v**3 + 4*v**2 + 6*v + 2. Let f(o) = -4*q(o) + 9*u(o). Is f(l) prime?
True
Let s be 1 + -2 - (-372 - -1). Let i be (-1368