) = -k**3 - 7*k**2 + 7*k - 7. Let j be s(-8). Suppose -m = -r - j. Is r a composite number?
True
Is (2/3)/((-38)/(-30039)) a composite number?
True
Let q = -3 - -6. Let j = q - 1. Suppose 0 = -2*o + 3*x + 5, j*o + o - 4*x = 8. Is o a prime number?
False
Let s(f) = -f + 17. Let m be s(9). Is m - 5/((-20)/8) composite?
True
Suppose -2*h = 2*h - 596. Is h a composite number?
False
Let i(g) be the third derivative of -g**7/504 - g**6/240 - g**5/20 + 2*g**2. Let l(r) be the third derivative of i(r). Is l(-5) a prime number?
True
Suppose -253 - 787 = -4*b. Suppose -h = -3*r + 162, 5*h = 5*r - 0*r - b. Is r a composite number?
True
Suppose c + 5*d - 1899 = 4*d, -c - 5*d + 1907 = 0. Is c prime?
False
Suppose 2*w = -9 - 1. Let p = w - 0. Is (p + 4)*-37*3 prime?
False
Let u = -5 - -7. Suppose -26 = -4*w + 3*i, -4*w + 2*w + 2*i = -14. Suppose z - 15 = 4*z, -w*p + u*z = -45. Is p a composite number?
False
Let w = -1034 - -1533. Is w composite?
False
Is (1964/(-12) - -4)*-3 a prime number?
True
Let t = 24 + -29. Is (-3710)/(-25) - 3/t prime?
True
Suppose 7*l = 2*l + 25. Suppose -41 - 149 = -l*j. Suppose 15 = 5*u - 5, -2*u + j = 3*q. Is q a composite number?
True
Suppose 5*a - 2465 = x, 0*x + x - 2465 = -5*a. Is a a composite number?
True
Suppose 4*p = -v + 34, -2*v + 16 = -5*p + 52. Let t = 15 - p. Is t + 2 + -1 + 1 composite?
True
Suppose -3*a + 4 = -a. Suppose -168 = -a*s + 406. Is s composite?
True
Let w(d) = -d**3 + 3*d**2 - 2*d + 3. Let u(k) = k**2 - 6*k + 7. Let p(y) = y**3 + 5*y**2 + 5*y + 2. Let r be p(-3). Let h be u(r). Is w(h) a composite number?
False
Let s(r) = -769*r**3 - 10*r**2 - 7*r + 7. Let x(w) = -513*w**3 - 7*w**2 - 5*w + 5. Let j(l) = 5*s(l) - 7*x(l). Is j(-1) prime?
False
Let r(d) = d**3 + 7*d**2 + d + 9. Let f be r(-7). Let m = -4 + f. Is (-66)/(-2) - (0 - m) composite?
False
Let d(o) = 78*o + 85. Is d(9) a composite number?
False
Let u = 19 - 15. Suppose -2*o = n - 505 - 181, 5*n - 1384 = -u*o. Is o composite?
True
Is (-140)/6*30/(-20) prime?
False
Let g = -42 - -81. Is g a composite number?
True
Let v be (2 - 2) + (-12)/(-3). Is (-2)/4 - (-30)/v a prime number?
True
Is (42/6)/(1/5) a composite number?
True
Is -1*22*208/(-32) a composite number?
True
Suppose 179 = -15*m + 16*m. Is m prime?
True
Let g(t) = 2*t - 7. Let a be g(5). Suppose -6*n = 3*x - n - 17, -2*x - a*n = -11. Suppose -x*o + 3*m = -266, 2*m - 1 = -o + 60. Is o composite?
True
Let o(z) = -z**3 - z**2 + 1347. Is o(0) a composite number?
True
Suppose -2*n = 0, 315 = -5*y - 2*n + n. Let g = 274 + y. Is g a prime number?
True
Let u(d) be the second derivative of -37*d**3/6 + 7*d**2 + 3*d. Is u(-9) a composite number?
False
Suppose 0*r + 2045 = 5*r. Let m = r - 203. Suppose -4*x + 2*k + m = 0, -3*x + 97 + 54 = 2*k. Is x a composite number?
True
Let p(z) = -z**2 + 14*z + 14. Let b(v) = -3*v - 7. Let f be b(-6). Is p(f) prime?
True
Let i = 9 - -12. Is i prime?
False
Let f(q) = 61*q - 1. Is f(14) a prime number?
True
Let y be (-9 + 5)*2*-2. Suppose 14 + y = 2*f. Is f composite?
True
Let a(d) = 11*d + 1. Let o(c) = -2*c + 1. Let s = 8 + -9. Let f be o(s). Is a(f) prime?
False
Suppose 0 = -m + 7*m - 4206. Is m a prime number?
True
Suppose -5*v + 2 = -3*v, -4*a - v - 879 = 0. Let u = a - -599. Is u prime?
True
Suppose -2*c - y - 35 = -5*c, 0 = 3*c + 3*y - 39. Suppose 0 = -0*p - 3*p + c. Suppose 0 = -p*q + 2*m + 3*m + 18, -4*q + 2*m = -24. Is q prime?
True
Suppose 6 = 4*d - d. Let o be -1*1*(d - 1). Is ((-39)/(-6))/(o/(-2)) a composite number?
False
Let s be (148/10)/((-4)/(-20)). Let b = -28 + 140. Suppose 4*l - p - b = 3*p, p = 3*l - s. Is l a prime number?
True
Suppose 0 = 4*n - 0*g - 2*g - 622, -4*n + 619 = -3*g. Is n a composite number?
False
Let c = 464 - 301. Is c prime?
True
Let j be (-2)/(-4) - (-1719)/6. Suppose -b - 55 = -r, 3*r = 8*r - b - j. Is r prime?
False
Is (-62008)/(-32) - (-9)/(-12) composite?
True
Let k = 2 + 1. Suppose 0 = 4*t - k*n + 26 - 3, 0 = 3*n - 15. Is (t/2)/(1/(-127)) a prime number?
True
Suppose 56 + 4 = -5*u. Let r(s) = -9*s + 11. Is r(u) a composite number?
True
Suppose 2*d - 28 = -3*k, 0 = d - 3*k - 2*k - 27. Let y = -11 + d. Is y a composite number?
True
Let w = 3 - 5. Let u = w - -2. Suppose u = -5*d + p + 4*p + 340, -2*d - 4*p = -142. Is d a prime number?
False
Suppose 0 = -j + 5*v - 3*v + 116, 4*v = 3*j - 352. Let i = j - 31. Is i a prime number?
True
Let i(v) = 94*v**3 + 1. Suppose 2*h = 5*k - 3, -3*k = -h - 2*k. Let j be i(h). Suppose 0 = -p + 6*p - j. Is p composite?
False
Let a be 18/45 - (-26)/10. Is a - (-600)/9*3 prime?
False
Let n(b) = 479*b**3 - b**2 - b + 2. Is n(1) a prime number?
True
Let i(h) be the third derivative of -h**6/120 - 7*h**5/60 - 3*h**4/8 - 2*h**3/3 + h**2. Is i(-7) a prime number?
True
Let w(r) be the second derivative of 57*r**5/20 + r**4/6 - r**3/6 + 3*r. Is w(1) a composite number?
True
Let m be 2/6 - (-1858)/6. Suppose 3*q + 3*d = 135, 0 = 2*q + 3*d + 2*d - 78. Suppose -3*f + m = q. Is f composite?
True
Let p(o) be the first derivative of -o**4/4 - 4*o**3 - 17*o**2/2 - 15*o + 1. Is p(-11) composite?
True
Let w = 17 + -11. Suppose -w*r + 3*r + 1761 = 0. Is r a composite number?
False
Suppose -b + 5*b + 16 = 0. Let r(w) be the first derivative of 4*w**3/3 + 3*w**2/2 + w - 9. Is r(b) a prime number?
True
Let c(n) = -n + 4. Let j be c(0). Suppose 2*h = -0 + 8, -24 = -j*d - h. Suppose -d*m + 4*r = -0*r - 210, -28 = -m - 2*r. Is m a prime number?
False
Let m = -6 + 7. Let h = 4 - m. Suppose 0*c + h*b + 108 = 5*c, 107 = 5*c - 2*b. Is c composite?
True
Let i(x) be the second derivative of -4*x**3/3 + 2*x**2 - x. Let j be i(-5). Let o = j - 9. Is o a prime number?
False
Suppose -o + 2*v + 3 = -4, 0 = 4*o - 2*v + 2. Is (-74)/o*15/2 composite?
True
Let r(o) = -71*o**3 - o**2. Let l be r(-1). Suppose -6*w + w = -l. Is w prime?
False
Let h = -1724 - -2601. Is h a prime number?
True
Let x(c) = -c**2 + 4*c + 3. Let d be x(-2). Is d/(-27) - (-388)/6 a prime number?
False
Let c(i) = -i**2 + 4*i - 3. Let t be c(3). Suppose 2*w - 73 - 25 = t. Suppose -w = -0*q - q. Is q composite?
True
Let j(h) = -3*h**2 + h + 5. Let p(f) = -f**2 + f + 1. Let z(y) = j(y) - 4*p(y). Let s be z(2). Is 1 + -2*3/s a composite number?
False
Let f(m) = 18*m**2 - 3 - m + 6*m - 2 + m. Is f(4) composite?
False
Let p = -27 + 43. Suppose 0 = -4*x + 4*r - 4, 5*x - 4*r + 4 - 3 = 0. Is (-1 + p/x)*15 composite?
True
Let x = -4 + 8. Suppose x*i = 5*i - 5. Suppose 2*f = 2*o - 5*o, -4*o = i*f - 14. Is f a prime number?
False
Suppose q + 36 = 4*q + c, -5*c + 36 = 3*q. Suppose -3*b + q = -3*v, 4*b - 7 = 5*v + 12. Is (-488)/v + (-5)/(-15) a composite number?
False
Suppose -185 - 90 = -5*i. Is i composite?
True
Let d be ((-7)/5 - -1)*-15. Let x(t) = 2*t**3 - 7*t**2 - 4*t + 1. Let g be x(d). Suppose -3*a = 2*z + 3*z - 126, 3*z - g = -4*a. Is a prime?
True
Let n be 2/(0 - 2/5). Let m be 3/n + 5784/15. Suppose 239 = 3*b - v, 2*b = 7*b + 5*v - m. Is b a composite number?
False
Let f = 38 - -51. Is f a composite number?
False
Let t = -2 + -1. Let b be 0 - -2 - (-109 - t). Suppose -4*h + b = -4*c, h + h + 2*c = 70. Is h a prime number?
True
Let x(y) = 4*y**3 + 7*y**2 + 10. Is x(5) composite?
True
Suppose 3*g - 11 + 2 = 0. Suppose -26 = 4*u - g*t, -2*u = 3*u + 5*t + 15. Is 3 + u - (-1 - 32) prime?
True
Suppose -2*g + 4*g = 3*n - 569, 5*g + 394 = 2*n. Is n a composite number?
True
Suppose -4 = -4*c + 2*p, -2*c = -0*p + 2*p - 8. Suppose 0*k - 6 = -k + c*i, -4*k + i = 4. Is (-1449)/(-12) - k/8 composite?
True
Let k(y) = 42*y**2 + 4*y + 11. Is k(-4) composite?
True
Let m = 145 + -75. Suppose -g + 376 = 3*a, 536 = 3*a - g + 162. Let f = a - m. Is f a composite number?
True
Suppose 4*r = -4*w + 2*r, 0 = -4*r + 16. Let c(n) = -n**2 - 2*n - 1. Let l be c(-2). Is -1 - w - 68/l composite?
True
Let h = 8 - 10. Let z(p) be the third derivative of p**5/2 + p**4/8 + p**3/6 - p**2. Is z(h) prime?
False
Suppose -5*j + 0*j + 4018 = -l, j + 5*l = 788. Is j a prime number?
False
Let q(m) = 22*m + 9. Is q(7) a prime number?
True
Let m be 1/(-2)*(-3 + 5). Let c be 58/6*(-21)/m. Suppose -5*b - c = -1288. Is b composite?
True
Let w(g) be the third derivative of -17*g**4/24 + g**2. Let f(a) = -7*a**3 + 2*a**2 - 2*a. Let i be f(1). Is w(i) composite?
True
Is (-9)/(-3)*(-2)/(12/(-2302)) prime?
True