k prime?
True
Suppose 5*a - 30 = -k, -5*a + 6*k = 3*k - 10. Suppose 0 = -a*y - n + 869 - 141, 3*n = 9. Is y a prime number?
False
Suppose -5*r - 895 = 20. Let o = r + 602. Is o prime?
True
Let v(s) = 55*s + 1. Let f be v(5). Suppose 0 = 3*w - 0*g - 5*g, -5*g - 10 = -5*w. Suppose 1499 = w*i - f. Is i composite?
True
Let r(w) be the second derivative of w**4/2 - 5*w**3/6 - w**2 - 29*w. Is r(-3) composite?
False
Suppose 0 = 5*g + g + 72. Is ((-8)/2)/g*2109 a prime number?
False
Suppose -i + 30 = 4*r, 2 = 2*r - 2. Is 14098/i - (-3)/(-33)*-2 a prime number?
True
Let t(c) = c**3 - c**2 - 1. Let l(n) = -2*n**3 - 12*n**2 - 10*n - 16. Let w(u) = l(u) + t(u). Is w(-14) a prime number?
False
Suppose -2*u = 3*u - 700. Suppose -4*p = -2*p + u. Is (-28)/p - 1013/(-5) prime?
False
Suppose -2*q + 1661 = 3*a, 4*q - 2*q - 3*a - 1679 = 0. Suppose 2*t + f = q, -f + 3*f = t - 405. Is t a prime number?
False
Let n be 3 + 0 + 3/(-1). Suppose -3*f + 2007 = -n*f. Is f composite?
True
Suppose 4*z - 14 = -m - m, 5*m = -5*z + 15. Let k be (-558)/((-3 - m) + 1). Suppose 0 = 2*y - y + 4*u - 203, -3*y = -5*u - k. Is y a composite number?
False
Let k(v) = 12*v**2 - 31*v - 2. Is k(-15) composite?
False
Let m = -17100 - -26349. Is m composite?
True
Suppose 15*q - 11*q = 24. Is 18459/q*6/9 a composite number?
True
Suppose 1 = -14*x + 43. Suppose x*q = 2*q + 278. Is q a prime number?
False
Let u(d) be the first derivative of -25*d**2/2 + 10*d - 8. Is u(-19) prime?
False
Suppose 0 = 14*t - 3*t - 75031. Is t a composite number?
True
Let u(i) = 51*i + 14. Suppose 11*f - 75 = 24. Is u(f) composite?
True
Let v(b) = -21*b - 8. Suppose 0 = -3*x + 2*x - 4. Let g be v(x). Let r = -18 + g. Is r a prime number?
False
Suppose -d - 3 = -10. Let z(u) = -u - 1. Let l(h) = -144*h - 1. Let j(y) = -l(y) + 4*z(y). Is j(d) a composite number?
False
Let i(r) = r**2 + 12*r + 19. Let b = -38 + 16. Is i(b) a composite number?
False
Let q(u) = u**2 + 27*u + 25. Is q(24) a prime number?
True
Let a(f) = 20*f**3 - 12 - 16*f - 14*f**2 + f**2 - 3 - 21*f**3. Is a(-12) prime?
False
Suppose 0 = -3*n - 5*x + 48449, x = 3*n + 3*x - 48437. Is n prime?
False
Let x(i) = i**3 - 7*i**2 - i + 9. Let b be x(7). Suppose -753 = -b*c - c. Is c a prime number?
True
Suppose -14*d = -44582 + 2652. Is d a prime number?
False
Let q = -27 - -39. Suppose q = z - 65. Is z a prime number?
False
Let w(n) = -19 + n**3 + 14 + 4*n - 7*n**2 + 0*n**2. Is w(8) a prime number?
False
Let b be (2/(-9))/(11/(-99)). Suppose 2*u = -5*d + 626, 618 = b*u + d + 2*d. Is u prime?
False
Suppose 7*b + 1454 - 29377 = 0. Is b prime?
True
Let w be (10 - 5 - 38)*240/9. Let l = w + 1467. Is l composite?
False
Suppose -15*g + 105583 - 34918 = 0. Is g a prime number?
False
Let q = 571 - -894. Is q a prime number?
False
Let d(f) = -9*f**2 + 6*f + 3. Let n = 18 + -20. Let o(j) = 45*j**2 - 31*j - 16. Let k(p) = n*o(p) - 11*d(p). Is k(4) a prime number?
True
Let y(h) = 72*h**3 - h**2 - 4*h + 3. Let p be y(2). Suppose 4*w = -a + p, 2*a - 5*a = 4*w - 1733. Is a composite?
True
Let n(h) = 19*h**2 + 11*h - 151. Is n(-24) a prime number?
True
Suppose k + 3*k = -4*d + 36, 5*k + 3*d = 35. Is (-2)/k*(5 + -283) composite?
False
Let f(g) = -g**3 - 5*g**2 - 5*g. Let u be f(-4). Let v be (-350)/(-56) - 1/u. Suppose v*l + 111 = 9*l. Is l a prime number?
True
Let r = 546 - 169. Is r prime?
False
Let u = -12 - -23. Suppose -7*s + u*s - 1180 = 0. Is s a prime number?
False
Is -4*8/112 - 24929/(-7) a prime number?
False
Suppose 0 = -3*v + m - 2, 4*v - 6*m = -3*m - 11. Is 1164/18 + v/3 a composite number?
True
Let i be -1*(-4 - -3) + 2. Let b be 1 + 7 + -6 + i. Suppose 8*w - b*w - 354 = 0. Is w composite?
True
Let z = -395 + 516. Is z a composite number?
True
Suppose -3*w + 11175 = 5*m - 706, 7954 = 2*w - 5*m. Is w prime?
True
Let k(f) = -f - 1. Let z be k(-6). Suppose z*d = 7*d - 1174. Is d composite?
False
Let u(p) = -108*p - 37. Let l(m) = -108*m - 36. Let f(k) = -6*l(k) + 5*u(k). Is f(7) a prime number?
True
Let o(z) = 736*z**2 - 2*z - 7. Is o(-4) a prime number?
True
Let z(s) = 1 + 154*s**3 - 35*s**3 - 2*s**3 + s. Is z(2) a composite number?
True
Let p = 28 + -28. Suppose p*m - 24 = -m. Let o = 77 - m. Is o composite?
False
Let q(n) = n**2 + 18*n + 15. Let v be q(-17). Let w be (-1)/v*6/1. Let i = w + 91. Is i a prime number?
False
Let t = 72 + 130. Is t a prime number?
False
Let i(p) = -802*p + 2005. Let f(a) = -1. Let d(m) = -4010*f(m) - 2*i(m). Let j be d(1). Suppose -4*z - 3*o + j = o, o = 3*z - 1203. Is z composite?
False
Suppose 0 = 5*b + 3*x + 5, 3*b - 5*x = 5*b - 17. Is 15/(-20) - 1655/b a composite number?
True
Let q(y) = -879*y - 4. Let f(s) be the second derivative of 110*s**3/3 + s**2/2 - 4*s. Let g(m) = 9*f(m) + 2*q(m). Is g(1) prime?
True
Suppose -2*w + 6*p - 1006 = 2*p, -4*p + 507 = -w. Let b = 750 + w. Is b a prime number?
True
Let l(v) be the first derivative of 29*v**3 - v**2/2 + v + 1. Let q = -38 - -39. Is l(q) prime?
False
Let x = 1015 + -342. Is x composite?
False
Let p be (-40)/70 + 104262/7. Suppose -4*g + 5*b + p = -g, -3*b = 3. Is g prime?
False
Let s(h) be the second derivative of h**5/20 + h**4/2 - 11*h**3/6 - 9*h**2/2 - 12*h. Is s(-7) a composite number?
False
Let o = 1516 - 719. Is o prime?
True
Let i(x) = -2*x - 338*x**2 - 495*x**2 + 96*x**2 + 1. Let r be i(1). Let v = r + 1117. Is v a prime number?
True
Let o = -60 + 52. Let m(p) = 8 - 3 - 2*p + 2. Is m(o) a prime number?
True
Let g be ((-20)/6)/5*-6. Suppose -g*j - 165 = j. Let y = j + 55. Is y a prime number?
False
Suppose 5*b = -3*p + 3625, 3*b - 1520 = p + 641. Let c = 415 + b. Is c a prime number?
False
Suppose 3*f + 15 = 0, 2*f + 22 = -2*s - s. Is -1*(-6200 - (3 + (s - 2))) composite?
False
Let z be 0/(-5) - 6/(-2). Suppose 335 = t - z*n - 234, 5*t + n = 2909. Is t prime?
False
Let w be (-96)/14 + (-1)/7. Is ((-93)/1)/(3/w) prime?
False
Suppose 2*s + 4*h - 84436 = 0, -2*s + 42220 = -s + h. Suppose -s - 29288 = -10*k. Is k composite?
False
Let d(j) = 11*j**3 + 3*j**2 + 2*j + 1. Suppose -5*r = -b - 1, 4*r = 3*b - 2*b. Let k be 1 - (-10)/(r - -4). Is d(k) a composite number?
False
Let k(r) = 9*r**2 - 2*r + 5. Let n be k(-4). Let f(b) = b**3 - 16*b**2 - 35*b - 15. Let d be f(18). Suppose -y - n = -2*x, 201 = 4*x - d*y - 116. Is x prime?
False
Suppose -498885 - 1929830 = -61*d. Is d a prime number?
False
Suppose -72 = -5*m + 28. Let x = m + -16. Is x/(-4 - -2) - -89 prime?
False
Let h(z) = -12 - 6 - 14*z - 26*z. Let g(f) = -60*f - 27. Let y(d) = -5*g(d) + 8*h(d). Is y(-11) a prime number?
True
Suppose x = 4*s + 18, 2*x + 2*s - 16 = 5*s. Let o be 140 + 0 + 0 + x. Let p = 327 - o. Is p a prime number?
False
Suppose -24*m + 22*m + 15934 = 0. Is m a prime number?
False
Let t(v) = -13*v - 2. Let q be (-36)/(-27)*9/(-2). Let s(p) = -p**3 - 7*p**2 - 4*p + 3. Let u be s(q). Is t(u) a prime number?
False
Let s(x) = -13*x**2 + 4 - 3 - 3 + 3. Let z be s(-1). Let g(i) = -i**3 - 10*i**2 + 3*i - 5. Is g(z) composite?
True
Suppose -4*l = -3*t + 11, -3*l - 19 = -2*t + 2*l. Let j(i) = -i**2 - 2*i + 5. Let d be j(t). Suppose 955 = -d*r + 7*r. Is r composite?
False
Let y(p) = 3*p + 22. Let a be y(0). Let v be a/(-6) - 14/(-21). Is 118 + v + (-2 - 0) composite?
False
Suppose 12*s = 5*f + 15*s - 176827, -f - 2*s = -35371. Is f composite?
False
Suppose -252 = -c - 3*c - 4*x, 159 = 3*c - 3*x. Let d be 2*(c/4 - -1). Let a = 222 + d. Is a a prime number?
False
Suppose 2*q - 90989 = -3*c, q - 5*c - 37889 - 7573 = 0. Is q prime?
False
Let m = 371 + -359. Let r(g) = -7*g**3 + 6*g**2 - 4*g + 13. Let c(x) = -8*x**3 + 5*x**2 - 5*x + 13. Let v(o) = -6*c(o) + 7*r(o). Is v(m) prime?
True
Let p = 7 + -11. Let j(b) = b + 5. Let l be j(p). Is 107 + 8*l/2 composite?
True
Let o = -12097 + 20406. Is o a prime number?
False
Let i(d) = -9*d**2. Let m be i(1). Let g be (192 - m) + (-2 - 1). Suppose -3*n + g = 4*f, -f = 4*n - 208 - 43. Is n a composite number?
True
Is ((-25)/(-10))/(-5)*-13822 composite?
False
Let i = 99 + -97. Suppose 3*f = -2*a + 12227, f - 5*f - 12234 = -i*a. Is a prime?
False
Suppose -5*i - 4*x = -36, 0 = -i + 2*x + 1 + 9. Suppose 13*p - 4535 = i*p. Is p a composite number?
False
Suppose -1 = 3*p + 5*j + 8, 0 = 3*p + 2*j. Suppose 12382 = 4*c - 0*c - 2*a, p*a = 5*c - 15480. Is c prime?
False
Suppose 5*d + 2*z +