 v = p - -22. Is v a prime number?
True
Suppose 5*y + 0*y + 4*d = -4, 0 = -2*y + 3*d + 3. Suppose r - 2 = y, -3*u + r = -104 - 173. Is u a composite number?
True
Suppose 5*b - 35 = 4*j, b + 5*j = -4*b + 35. Suppose 11 = -3*h - b. Is ((-134)/3)/(4/h) composite?
False
Let d = 225 - 14. Is d prime?
True
Suppose 0 = 4*o - 0 + 4, o = -b + 253. Is b a composite number?
True
Let q(b) = -2*b - 8. Let a be q(-7). Suppose 0 = -3*j - 5*h + 810, -3*j + 217 = -3*h - 569. Suppose -a*f + j = -f. Is f composite?
False
Let f(q) = 2*q**2 - 9*q + 2. Is f(7) composite?
False
Let f be 0 - (-2 - (1 - 1)). Suppose 3*s = 3*q - 60, 35 = 3*q + f*s - 0. Is q prime?
False
Let u = 91 - 26. Let c = -31 + u. Is c composite?
True
Let b(w) be the second derivative of w**5/20 - w**4/3 - 7*w**3/6 - 5*w**2/2 + 2*w. Is b(6) a composite number?
True
Let n be (3/6)/((-2)/(-20)). Suppose n*u - 5*t = 430, 5*u - t = -5*t + 457. Is u a prime number?
True
Let n(b) = -b**3 - 6*b**2 - 4*b - 5. Is n(-8) composite?
True
Suppose 0 = -m - 0 - 5. Let f(d) = -d**2 - 7*d - 7. Let s be f(m). Suppose 99 = s*x - 3*w - 0*w, 0 = 5*w + 10. Is x a composite number?
False
Suppose -4*h + 3*t = -3252, -2*t = -3*h - 6*t + 2439. Let i = -562 + h. Suppose -4*s = -3*s - 4*z - 79, 4*s = 3*z + i. Is s prime?
True
Let l(v) = -v**2. Let z(f) = f**3 - 6*f + 7. Let p(k) = 2*l(k) + z(k). Is p(6) a composite number?
True
Let x(d) = d**3 - 9*d**2 + d - 3. Let m be x(9). Let r = m - -31. Is r composite?
False
Let y(q) = 3*q**2 + 8. Let r = -1 + -4. Is y(r) prime?
True
Let q(y) = 8*y**2 + 3*y - 1. Let u be q(4). Suppose 4*w + 2*w - 24 = 0. Suppose w*x - 93 - u = -2*p, -122 = -2*x - 4*p. Is x a composite number?
True
Let l be 2/6 - 2/6. Suppose -3*x + l*x = -1305. Suppose -q - 2*q + x = 0. Is q prime?
False
Let v(s) = s**3 + 8*s**2 - 3*s + 1. Let w be v(-7). Suppose d - 16 = w. Is d composite?
True
Suppose -2*q = 5*z - 4530, 2*z - q - 2186 = -374. Suppose 2098 = 4*n - z. Is n composite?
False
Let d = -59 + 222. Is d composite?
False
Is (-1963)/(-4) + (-3)/(-12) composite?
False
Let p be 8*(-4)/(16/(-22)). Let j be p + (1 + -1)/3. Suppose 0 = 4*o - 0*o - j. Is o a prime number?
True
Let l(z) = -213*z**3 + 2*z**2 - z. Let j be l(1). Let q = j + 379. Suppose 0 = -3*v - 4*y + q, 2*v + 3*y - 24 = 88. Is v a prime number?
True
Let o = -39 - -136. Suppose 2*y = o - 1101. Is 2/(-3) - y/6 a prime number?
True
Suppose 8*p = 10*p - 256. Let c = -91 + p. Is c a composite number?
False
Let z be ((-6)/(-4))/(2/20). Let t = z - 7. Is 17/2 + 4/t prime?
False
Let h(r) = 4*r**2 + 3*r + 1. Let k be h(3). Suppose -2*m - 2*i - 3*i + k = 0, 5*m = 4*i + 181. Is m composite?
True
Suppose 0 = -3*d - 480 - 516. Let s = d + 543. Is s prime?
True
Let o = 20 + -14. Is (-402)/4*o/(-9) a prime number?
True
Let n = 604 - -965. Is n a prime number?
False
Let s(d) = -100*d - 11. Is s(-8) a prime number?
False
Let k(s) be the third derivative of 17*s**5/20 - s**4/12 - s**3/6 - s**2. Is k(2) a composite number?
False
Suppose -5*b = -m - 19, 2*m = 1 + 1. Let l(s) = 2*s**3 + 3*s**2 - 7*s - 5. Is l(b) a composite number?
True
Let s = 1855 - 501. Is s prime?
False
Let n(r) = 6*r - 4. Let k be n(2). Let s(x) = -x**3 + 10*x**2 + 9*x + 9. Is s(k) prime?
False
Is (4/16)/(1/12) - -86 prime?
True
Is (-118)/6*(-19 - -16) composite?
False
Let d = 147 + 64. Is d prime?
True
Let j = -1 + 6. Suppose 0 = j*g - g - 740. Is g prime?
False
Suppose 2*z - 1116 = 5*y, -7*z - 3*y = -4*z - 1695. Is z a prime number?
True
Suppose -121 = -4*x + 5*p + 3, 3*x = 5*p + 93. Is x composite?
False
Let s(q) = -q**3 - q**2 + 8*q + 3. Let g be s(-5). Suppose 4*h - 4*j - g = 161, -2*h - 3*j = -107. Is h a composite number?
True
Suppose -3*h + 647 = -232. Is h prime?
True
Suppose -3*k = k - 12. Suppose -4*h + 73 = 2*r - 65, 102 = k*h + 3*r. Is h a prime number?
False
Is 1/(-2) - (-2115)/10 a composite number?
False
Let y be 2/(-9) + 114/27. Suppose -4*c - 35 = 3*t + y, -2*c + 2*t - 2 = 0. Is ((-99)/c)/((-1)/(-2)) prime?
False
Let m = -190 + 381. Is m prime?
True
Let g(b) = -7*b**3 + b**2. Let i be g(-3). Suppose -i + 0 = 2*h. Is (-2)/(-3)*h/(-6) prime?
True
Suppose 0 = -5*z + 4*l + 595, 709 = 5*z + l + 89. Is z composite?
True
Let f be (-4)/(-3)*(-18)/4. Let g = f - -13. Is g composite?
False
Let g(p) = 124*p**2 + 2*p - 1. Is g(-3) prime?
True
Let f(b) = b**3 + 5*b**2 - 2*b - 1. Let i be f(-5). Suppose -t - 2*n + 7 = 0, 3*t = -0*t + 4*n - i. Is (-14)/(-3)*3/t a composite number?
True
Let i(w) = w - 5. Let g be i(9). Suppose 0 = g*x - 0*x - 72. Let p = 15 + x. Is p prime?
False
Let q be (2/4)/(-1)*26. Let l = -10 - q. Suppose 2*d = l*p - 429, -p + d - 148 = -2*p. Is p a prime number?
False
Let z = 113 + -58. Is z composite?
True
Let l = 59 + -88. Let u = -15 - l. Is u a prime number?
False
Let x = 208 - 399. Let m = -126 - x. Is m composite?
True
Suppose -2*d + 4 = -0*d. Suppose -3 = d*k + 3. Is (-1)/((-238)/79 - k) a composite number?
False
Let k = 12 - 4. Let o(f) = -f**2 + 14*f + 5. Is o(k) composite?
False
Suppose 2880 = 5*q - 0*q - 5*l, 1738 = 3*q - l. Is q composite?
True
Suppose 0 = -3*h + 7*h - 140. Suppose -3*z + 668 = h. Is z a composite number?
False
Let t be (0 - 2)/(2/8). Let q = -4 - t. Suppose d - 136 = -2*f, -q*f + 35 + 223 = -5*d. Is f prime?
True
Let s(t) = -25*t + 9. Let f(i) = 13*i - 5. Let r(w) = 11*f(w) + 6*s(w). Let h be r(1). Is 1/(-1 + h/(-7)) prime?
True
Suppose 0*l = 2*l - 1346. Is l composite?
False
Let i = -225 - -683. Is i prime?
False
Let z be (-504)/(-15) + (-6)/10. Let l = z + -22. Is l composite?
False
Let l(j) = j**3 + 15*j**2 - 10*j + 8. Let o be l(-8). Let y = -117 + o. Is y prime?
True
Suppose 2*c - 133 = -0*n - 3*n, -3*c - 59 = -n. Is n a prime number?
True
Let i(d) = -20*d**2 + d - 1. Let b(h) = -60*h**2 + 2*h - 3. Let x(q) = -3*b(q) + 8*i(q). Is x(-1) composite?
False
Suppose 0 = r + 2*j + 2, -10 = 4*r + r - 2*j. Suppose k - 32 = 3*p, p + p = k - 23. Let s = r - p. Is s prime?
True
Let x = -15 - -234. Suppose 4*t - 153 = x. Is t a prime number?
False
Let l(h) = 5*h**2 - 17*h - 157. Let q(p) = -p**2 + 4*p + 39. Let k(v) = 2*l(v) + 9*q(v). Is k(0) a prime number?
True
Let t(v) = 2*v**3 - 26*v**2 - 40*v - 17. Let h(j) = -j**3 + 13*j**2 + 20*j + 8. Let l(b) = 7*h(b) + 3*t(b). Is l(14) a prime number?
True
Let c(o) be the third derivative of o**4/4 + o**3/6 - 2*o**2. Is c(6) a composite number?
False
Let q be (5 - 0)/1 + 2. Suppose 3*c + 12 = q*c. Is c/15 - 888/(-10) prime?
True
Suppose -t + 4*p = 13, 3*t + p + 2*p = 21. Suppose 4*n = 5*m - 320, 5*m = t*n + 217 + 108. Suppose 2*f - m = -0*f. Is f a prime number?
False
Suppose -4*x + 2243 = -489. Is x composite?
False
Suppose 190 = -11*a + 13*a. Is a composite?
True
Is (-4)/(-6) + (-6436)/(-12) a composite number?
True
Suppose 0 = c - 2, 3*f - c = -0*c + 10777. Is f composite?
False
Suppose 2*a - 15 - 7 = 0. Suppose 0 = 3*j - a - 10. Is j composite?
False
Suppose -5*j - 27 + 98 = -4*v, -j + 2*v = -13. Let m = 15 - -21. Let l = m - j. Is l a composite number?
True
Let h(m) = 287*m**2 + m + 1. Is h(-1) a prime number?
False
Let z(q) = 3 - 14*q + 6*q - 2*q**3 + 3*q**3 + 7*q**2. Let b(m) = m**3 + 10*m**2 + 9*m - 7. Let i be b(-9). Is z(i) prime?
True
Let i = -274 + 538. Suppose -3*v + 723 = -i. Is v prime?
False
Suppose 5 = 5*i - 5*l - 5, 0 = 2*i + 3*l + 21. Let p = -3 - i. Suppose -2*k + 3*k - 22 = p. Is k composite?
True
Let x = 1539 - 1056. Suppose -2*l = l - x. Is l composite?
True
Let r be (-9)/3*(-548)/6. Let k = 410 - r. Let j = k - 77. Is j prime?
True
Suppose 0 = g - k - 6, 2*g - k + 4*k = 7. Suppose y = g*m + 3, y + m = 2*y + 1. Let p(x) = -25*x**3 - 2*x**2 + x + 1. Is p(y) composite?
False
Let b(y) = 28*y**2 + 3*y - 2. Is b(3) a prime number?
False
Let r(z) = z**2 - 3*z - 17. Is r(-13) a composite number?
False
Let c(y) = -2*y**2 + 3*y + 9*y**3 + 0 - 4*y**3 - 3 + 0. Is c(2) a prime number?
False
Let k = -3 - -5. Is k + 14*9/6 composite?
False
Let n be (-4)/(-6) - 1894/6. Let f = 525 + -53. Let i = n + f. Is i prime?
True
Suppose 5*x = 2*b + 290, x - 4*b - 220 = -3*x. Let s = x - -17. Is s a prime number?
False
Suppose 10*f - 3*f - 29379 = 0. Is f a prime number?
False
Suppose -3*y - y - 20 = -5*b, 5*b = -20. Suppose 0 = 2*r - 36 + 2. Let c = r + y. Is c composite?
False
Let z be 2/5 + (-27)/5. Is 4