?
False
Suppose 5*c = -0*c + 20. Let d = 4 - c. Suppose -f + d*f = -53. Is f prime?
True
Let g = -1834 - -6447. Is g a composite number?
True
Let a(p) = 5*p**3 - 5*p**2 + 12*p - 16. Let z(m) = -6*m**3 + 5*m**2 - 13*m + 17. Let s(t) = 7*a(t) + 6*z(t). Is s(-8) composite?
True
Let m(j) = j**2 + 8*j - 13. Let f be m(6). Let k = f + 0. Is k composite?
False
Let b(u) = 39*u**2 + 61*u + 3. Is b(-6) prime?
False
Let x(d) be the third derivative of -1/20*d**5 - 1/2*d**3 - 2*d**2 + 1/60*d**6 + 0*d**4 + 0*d + 0. Is x(4) composite?
True
Let y(h) be the second derivative of 2*h**4 + h**3/2 + h**2/2 - 6*h. Suppose 5*g - 5 = 3*o, 26 = -2*g - g - 4*o. Is y(g) a prime number?
False
Let u = 9 + -11. Let t(x) = -12*x**3 - 9*x**2 - 6*x + 1. Let o(p) = 11*p**3 + 8*p**2 + 5*p - 1. Let g(a) = -6*o(a) - 5*t(a). Is g(u) composite?
False
Suppose -3*m - 10 = -4*l, -3*m - m - 5*l - 65 = 0. Let s = m - -15. Let u(f) = 11*f. Is u(s) prime?
False
Let w be 5 - (1 + -2 - -2). Let f(q) = 16*q + 1. Is f(w) composite?
True
Is (-4 - -1)*479/(-1) prime?
False
Let y(k) = -k**3 + k. Let f be y(1). Suppose f*c + 2*c = 84. Suppose -6*v + 3*v + c = 0. Is v prime?
False
Let y(q) = 7*q + 4. Let r be y(7). Is 1*r*(3 + -2) prime?
True
Suppose -15 = 8*l - 3*l. Let i = l + 62. Is i composite?
False
Let m(t) = 50*t + 17. Is m(7) a composite number?
False
Suppose 0*m = -m + 1106. Let l = m + -621. Is l prime?
False
Suppose a + 169 = 3*r - 7, -4*a - 124 = -2*r. Is r a composite number?
True
Let t = 11 + -15. Let y(z) = -z - 2. Let l be y(t). Suppose j + 47 = l*j. Is j prime?
True
Suppose -4*m - 65 = 4*w - 6389, -4*w + 6306 = -5*m. Is w composite?
False
Suppose 0 = 4*l + 5*v - 2016, l + 0*v - 2*v = 491. Is l prime?
True
Let m(l) = 18*l**3 - 4*l**2 + 4*l - 7. Is m(4) prime?
True
Suppose 0 = -0*n - n - 24. Let w be 1 - 6*(-2 - 4). Let j = n + w. Is j a composite number?
False
Let z be (-1)/1 - (-2 + 1). Suppose 2*w - w = z. Is w - (2 - 17*3) prime?
False
Suppose -3*d = -5*d - 6. Let v(j) = -2*j**3 + 10*j**2 - 10*j - 2. Let l(q) = -3*q**3 + 11*q**2 - 11*q - 3. Let a(h) = d*l(h) + 4*v(h). Is a(-6) prime?
True
Suppose 7*o - 15*o + 5768 = 0. Is o prime?
False
Let d = -128 + 18. Let f be 2/3 - d/(-3). Let h = 1 - f. Is h a prime number?
True
Is (9/(-3))/(12/(-16444)) a prime number?
True
Let o be 46/10 + 24/60. Is 4/o - (-1622)/10 composite?
False
Is (3 - 0 - 3) + 2757 composite?
True
Is ((-1)/((-4)/12) - 2) + 32 a prime number?
False
Suppose -2*d + 5*d - 1461 = 0. Is d composite?
False
Let g(j) = 3*j**3 + j. Let y = 3 + -2. Let p be g(y). Suppose 0*w - 119 = -5*d - 2*w, p*w = -12. Is d prime?
False
Let n(i) = 2 - 4*i - 7*i - 5*i. Is n(-2) prime?
False
Let o = 29 + -131. Let i be (-1 - -2)/((-2)/o). Suppose -5*n = d - 13, -n = 5*d - i - 14. Is d a composite number?
False
Let l be 44 + 4 + -3 + 1. Let x = l + -31. Suppose -19 = -3*t - t - p, 3*p - x = -5*t. Is t prime?
False
Let c = 15 - 11. Suppose -c*t = -2*t - 4*u + 4, -5*t = 2*u + 22. Is 2/(t - -2) - -206 prime?
False
Suppose 2*n = 0, -5*z = -z - 3*n + 8. Is (z - -4)*-1 + 55 a prime number?
True
Let s = 66 + -43. Suppose -s = -f + 4*q, 0*f - 4*f - 3*q = 3. Suppose f*x + x = 132. Is x composite?
True
Let r be 2 - (4 + -1 + -1). Let q(u) be the second derivative of -u**3/6 + 19*u**2/2 - 6*u. Is q(r) a composite number?
False
Let c(j) = -82*j + 17. Is c(-8) a prime number?
True
Let o(t) = -t**2 - 2*t - 1. Let g be o(-4). Let r be (3 + g/3)/3. Suppose r*w = -3*w + 147. Is w a prime number?
False
Suppose -4*j + 2*j = 3*s - 5, -7 = -s - 2*j. Is (5/2)/(s/(-94)) a prime number?
False
Let y(c) = c**2 - 2*c - 1. Let w be y(3). Suppose 2*h + w*n = 6*h - 16, -h - 5*n = 7. Suppose -s + 170 = 3*m, h*m + 4*s = -s + 190. Is m prime?
False
Suppose 4*f = 5*f - 191. Is f a composite number?
False
Let r be (-2636)/12 - (-4)/6. Let g be 3/((-6)/77)*4. Let o = g - r. Is o composite?
True
Suppose 28 = -2*o - 14. Is (4/6)/((-1)/o) composite?
True
Let q(l) = -183*l + 2. Is q(-1) a composite number?
True
Suppose -4 = -4*v + 2*v. Let g = v - -33. Is g composite?
True
Suppose -6*u + 706 = -5540. Is u composite?
True
Suppose 3*m = 2*m. Suppose 3*k - 49 - 8 = m. Is k prime?
True
Suppose 2*u = 5*o - 13, -5*u - 1 = 2*o - 12. Let y(q) = 15*q. Is y(u) prime?
False
Let h(y) = 2*y**2 + 2*y + 7. Let i = 33 + -20. Let g = -8 + i. Is h(g) composite?
False
Let g be (-3 + 1)/(3/9). Let r(v) = -v**2 - 7*v + 2. Let x be r(g). Suppose -5*m + 3 = x, m = 4*n - 57. Is n prime?
False
Let a(p) = 5*p**2 - 6*p - 6. Is a(-5) a composite number?
False
Suppose y - 52 = 2*d + 55, 2*y - 2*d = 222. Is y composite?
True
Let n(y) = -y + 7. Let b be n(5). Let a be 3*-10*b/6. Is (-1148)/(-35) + (-2)/a prime?
False
Suppose a = 370 - 110. Suppose 75 = 5*g - a. Is g a composite number?
False
Let h(p) = -p**3 + p**2 + p + 655. Let v be h(0). Suppose -y + v = 4*y. Is y composite?
False
Let b = -6 - -95. Is b composite?
False
Let z be 2/4 - (-23)/2. Suppose -107 = -q + 4*o, 0*o + z = -3*o. Is q composite?
True
Let r(h) = h**3 + 9*h**2 - 3*h - 5. Let o be r(-9). Suppose -2*l = -3*l + o. Is l a prime number?
False
Suppose -3*u = 5*t - 1239, u + 3*u - t - 1675 = 0. Let v = -257 + u. Is v a prime number?
False
Let i = 53 - 38. Let n = i + -10. Suppose 0*h = -n*h + 20. Is h prime?
False
Let w = -8 + 14. Suppose 0 = -5*j + 3*j + w. Is (2/j)/(4/402) a composite number?
False
Let c be (0 + 10)*(-2 + -57). Let o be 1 + 1/(-1) - 2. Is (o/(-4))/((-5)/c) prime?
True
Suppose 3*z - 250 - 59 = 0. Is z a prime number?
True
Let g = 7 + 4. Is g prime?
True
Let t(o) = 5168*o**2 + 3*o - 4. Is t(1) a prime number?
True
Suppose -14*o + 573 = -11*o. Is o a composite number?
False
Let h(o) be the second derivative of -77*o**4/12 - o**2/2 - o. Let j be h(-1). Let n = 9 - j. Is n composite?
True
Let h = 1780 + -1253. Let l = h + -238. Is l composite?
True
Let j(y) = 19*y**2 + 10*y + 3 - 8*y**2 + 3*y**3 - 2*y**3. Suppose -5*s + 4*s = -2, 3*s - 26 = 2*r. Is j(r) prime?
True
Let h(p) = -p + 9. Let g be h(5). Suppose o = g, 2*o = 3*b - 328 + 9. Is b prime?
True
Is ((-3666)/(-12))/(1/2) prime?
False
Let q be (-1)/(1/(-7 - 0)). Let v be (q/7)/((-2)/50). Is v/(-10)*12/2 prime?
False
Suppose 0 = 3*k + 1 + 2. Suppose 15 = -2*l - 3*l. Is 0 + k + (l - -39) prime?
False
Let c = 1828 - -1371. Is c a prime number?
False
Let v(h) = -2*h - 4. Let r be v(-3). Suppose -6*n = -r*n + 3*m - 20, 14 = 5*n + m. Suppose -7*j = -n*j - 265. Is j a prime number?
True
Suppose 5*c = s + 1 + 5, 2*c + s = 1. Let p be 460/(-8) - c/(-2). Let j = 176 + p. Is j a prime number?
False
Suppose 0 = 3*y + 15, -y + 1613 = 3*k + y. Is k a prime number?
True
Let t = -20 - -34. Suppose 3*l + 738 = 5*p, 998 = -4*l - p + t. Let x = -164 - l. Is x a prime number?
False
Let z(l) = -15*l + 23*l - 1 + 22*l. Is z(3) composite?
False
Let y(v) = -4*v - 9. Let r be y(-6). Let i = r + -4. Suppose p = -2, n + 2*p - i + 5 = 0. Is n a prime number?
False
Let w(i) = i**2 - 9*i - 79. Is w(27) composite?
True
Suppose -6*k - m = -k - 2137, 0 = -2*m + 4. Is k composite?
True
Let w(c) = -c**2 + 3*c + 7. Let n be w(5). Let d be 2/n*(-3)/1. Suppose -f - 4 = 5*g, 49 = d*f - 5*g + 12. Is f prime?
True
Let c(a) = -5*a - 14. Let m(h) = 14*h + 42. Let p(y) = 17*c(y) + 6*m(y). Let n be p(12). Is (n/5)/(3/75) composite?
True
Suppose -3 = 3*p - 144. Let t = p - 14. Is t a prime number?
False
Suppose 151 = 3*y + 4*j + j, -244 = -4*y + 4*j. Is y prime?
False
Let o(a) = a - 4 - 4*a**2 + 14*a**2 + 27*a**2. Is o(2) a composite number?
True
Let u be 4*3/6 + 0. Let h(p) = 3*p**2 + 5*p**3 - 2*p - 3*p**u - 1 - p**2. Is h(3) composite?
True
Let k(g) = 18*g**2 + 3*g - 9. Is k(10) composite?
True
Suppose 7*f = -2241 + 9710. Is f prime?
False
Let d = -2 + 6. Suppose -4*q = -4*w - 144, -5*q + 2*q + 73 = d*w. Is q prime?
True
Let g be 2/4 - 79/(-2). Let r = -23 + 27. Suppose 0*c + r*c = g. Is c prime?
False
Suppose 0 = -5*u + 4524 + 2861. Is u composite?
True
Let g be (10/15)/((-2)/(-174)). Is g - 3/(-6 - -3) prime?
True
Let d(s) be the first derivative of s**4/4 - 4*s**3/3 - s**2 + 4*s + 2. Let q be d(3). Let t(r) = -r**2 - 13*r - 15. Is t(q) a composite number?
False
Suppose -5*p = -2*w + 51, 13 = -3*p + 4. Suppose -2*i - 86 + w = 0. Is i/(-3)*(-9)/(-2) a prime number?
False
Suppose 3*y - 478 = -43. Is y a composite numb