2/14 - (-7)/((-245)/15) composite?
True
Suppose 0 = 2*d + 2 - 10. Let m(s) be the first derivative of 3*s**3 + 5*s + 2. Is m(d) prime?
True
Is (15/(-4) - -3) + (-3740)/(-16) composite?
False
Suppose -1864 = -7*o + 7397. Let k = o + -928. Is k prime?
False
Suppose -2*j - 4*c + 38 = 0, j + c + 19 = 2*j. Let u = 30 - j. Is u a prime number?
True
Let t be ((-6)/4)/(5/10). Let c be (-16)/t*(-3)/(-2). Is (132/16)/(2/c) a prime number?
False
Let t be 44/3 + 3/9. Suppose 6*n - t = n. Suppose 2*h - n*h = -149. Is h composite?
False
Suppose 2*m + 0 - 10 = 0. Suppose 2 = n, 4*p + 5*n - 11 = m*p. Is p/(-4) - (-1017)/12 composite?
True
Let i(t) = 2*t + 15. Let p be i(-7). Is (460/(-8))/(p/(-2)) prime?
False
Let c(g) = -g - 18. Let n be c(0). Let i be (-4)/(-18) - 788/n. Let f = 63 - i. Is f prime?
True
Suppose -d + 3*d = 4. Suppose 4*t = d*y + 70, -20 = 3*t - y - 72. Suppose 2*f + 4*o - t = 5, 2*f + 5*o - 22 = 0. Is f a composite number?
False
Let u be (12/9 - 1)*843. Suppose -4*r + u = -35. Is r a prime number?
True
Let v(f) = 40*f - 1. Let l be v(3). Let m be l*1 - (2 + -2). Suppose -m = -3*z - 41. Is z a composite number?
True
Suppose -4*o + 4922 = 3*n - 12427, -5*n + o + 28892 = 0. Is n a prime number?
True
Suppose -3*y + h = -104 + 15, -3*y = 4*h - 109. Is y prime?
True
Suppose -x + 373 + 24 = 0. Is x a prime number?
True
Let i be 50*(1/2 - 0). Suppose -4*c + i = 5*w, 7*c - 3*c + 5 = w. Suppose -w*a + 3*a + 18 = 0. Is a composite?
True
Let s(q) = -q**2 + 4*q - 3. Let k be s(3). Suppose k*a + 99 = 3*a. Is a composite?
True
Let r(k) = -56*k**3 + k**2. Let u(b) = -113*b**3 + 3*b**2. Let t(q) = 5*r(q) - 2*u(q). Suppose -1 + 2 = -o. Is t(o) a composite number?
False
Let u = 2 + 0. Let i be 0*((-6)/u)/(-6). Is 382*(-1)/(i + -2) composite?
False
Let v(t) = t + 3. Let n be v(0). Let h(k) = -k + 13. Let c be h(11). Suppose 0 = x + n*x + c*s - 46, -x - s = -9. Is x prime?
False
Let z(j) be the second derivative of -j**5/20 - j**4 - 3*j**3/2 + 11*j**2/2 - 2*j. Let k = -2 + -10. Is z(k) composite?
True
Suppose y = 2*v - 3*y - 6074, -4*y = -v + 3039. Is v a composite number?
True
Let o(h) = 37*h**2 - 10*h - 16. Is o(7) prime?
False
Suppose 5*h - 217 = -4*m - 43, 2*h + 3*m = 64. Is h a prime number?
False
Is (-586)/(2*5/(-5)) a prime number?
True
Let a = 466 + -243. Is a a composite number?
False
Let m(r) = 39*r - 26. Is m(11) a prime number?
False
Let p(r) be the third derivative of r**5/12 + r**4/8 + r**3/6 - 2*r**2. Is p(-6) composite?
False
Let d be (1904/(-40))/((-2)/10). Suppose n - 56 + d = 0. Let u = n - -279. Is u a prime number?
True
Let q(l) = l**3 - 10*l**2 - 3. Let p(d) = d**3 - 9*d**2 + 0 - 2 - 1. Let o(i) = 7*p(i) - 6*q(i). Is o(4) prime?
True
Let j(v) be the first derivative of v**3/3 - v**2/2 + 8*v + 2. Let i(c) = -2*c**2 + 2*c - 9. Let r(y) = -5*i(y) - 6*j(y). Is r(-4) a composite number?
True
Let f(c) = 242 - 39 + 6*c**2 - 5*c**2. Is f(0) a composite number?
True
Let t = 8425 + -4352. Is t composite?
False
Is 0/2 - 3 - -3574 composite?
False
Let b(c) = 3*c**2 + 8*c + 6. Let x be 58/(-8) + 1/4. Is b(x) composite?
False
Suppose -a - 2*v = -47 - 0, 5*v + 15 = 0. Is a prime?
True
Let g = -3 + 3. Let x = -2 + g. Let f = x - -6. Is f a prime number?
False
Let a(i) = i**2 + 7. Is a(18) prime?
True
Let x = 70 + -37. Is x prime?
False
Let v be (-2)/(-9) - (-35)/45. Suppose -3 = -b + v. Suppose 3*j - 5*x - 16 = 37, -4*j = b*x - 28. Is j prime?
True
Is (-453)/(-9) + (-8)/(-12) prime?
False
Let l be 176/(-12)*(-3)/(-2). Let k(o) = -42*o**2 + 2*o - 1. Let t be k(1). Let j = l - t. Is j a composite number?
False
Let u(r) = r**3 - 3*r**2 + 8*r - 1. Suppose -2*g + 7 = -7. Is u(g) composite?
False
Suppose -755 = -4*s - g + 565, -4*g = 2*s - 646. Is s prime?
True
Let s = -25 - -23. Suppose l + 43 = 2*t + 4*l, -2*t - 4*l = -40. Is t/4 - 1/s a composite number?
False
Let v(b) = 9*b**2 + 2*b - 12. Is v(-5) prime?
False
Let f = -6 - -6. Let t be 93/(-3) + f + 1. Let i = 45 + t. Is i a prime number?
False
Let g(b) = -b**2 - 7*b - 6. Let d be g(-5). Suppose 0 = 5*q - 4*i - 163, 3*q = -q + d*i + 128. Is q a prime number?
False
Let q be (-19)/(-95) - 9/(-5). Suppose 5*k = -j + 378, -437 = -q*j - k + 283. Is j prime?
False
Let o = -310 + 1427. Is o composite?
False
Suppose 0*q + a + 306 = 3*q, 5*q = 4*a + 517. Suppose 2 - q = -3*i. Is i prime?
False
Suppose 0 = -2*c + 5 - 1. Suppose -2*d + 5*d + 2*z + c = 0, 4*d - 4*z = 4. Is (-413)/(-14)*(d - -2) a composite number?
False
Let w be (1114/4)/((-1)/(-2)). Let u = w - 346. Is u composite?
False
Let t = 810 - 388. Let p be ((-2)/3)/((-2)/12). Is t/p*10/5 prime?
True
Let p(u) = u**3 - 9*u**2 + 11*u - 11. Let l(g) = g**3 + 6*g**2 + 8. Let q be l(-6). Is p(q) composite?
False
Let k(i) = i**2 + 2*i + 2. Let d be k(-2). Suppose 3*q - 8*q + 700 = -5*c, 4*q = -d*c - 298. Let b = -64 - c. Is b composite?
False
Let v = 4 + -2. Suppose -2*u + 8 = 2*m, 2*m - v + 12 = 4*u. Suppose k = 2*d - 52, u*k = 6*d - d - 130. Is d a prime number?
False
Let b(m) = -m**3 + m - 1. Suppose -3*w - 4 = 11. Let x be 3/(-6) + w/2. Is b(x) a composite number?
False
Let j(b) = b. Let a(v) = -1. Let k(l) = 3*a(l) + 2*j(l). Is k(8) composite?
False
Let k = -1945 + 2988. Is k a prime number?
False
Suppose 5*y = 4*o - 2, -3*o - 5*y + 3*y = 10. Let r be (-8)/o + (-2 - -2). Suppose r*g + v - 99 = 6*v, 2*v + 114 = 4*g. Is g a prime number?
True
Let m(b) = 7*b**2 + 2 - 5*b**2 - 7 + 0*b**2 - 8*b. Suppose 0 + 7 = v. Is m(v) a prime number?
True
Is 188 + 3 - (-1 - -1) composite?
False
Let b(z) be the third derivative of z**5/12 + z**4/12 - z**3 - 4*z**2. Is b(-5) prime?
True
Let r = -8 - -10. Suppose 106 = r*h + 4*t - 2*t, 0 = 5*h - 4*t - 310. Is h a composite number?
True
Let y(p) = 8 + 2*p + 3*p + p**3 - 5*p**2 - 2*p**2. Let b be y(6). Suppose c = -b*c + 21. Is c a prime number?
True
Let m(r) = -r - 2. Let t be m(-2). Suppose -4*a = -t*a + 8. Is a - (-3 - 90)*1 a composite number?
True
Let l be (-2)/(-4)*(2 + -4). Is -4 + 96 + l + 0 prime?
False
Suppose 5*o = -x - 2*x + 2750, 4*x - 1639 = -3*o. Is o a composite number?
True
Suppose -4*x + 4 = -0*x + 2*s, 0 = -3*x - 5*s - 11. Suppose t + 160 = p, -2*p - x*t = t - 308. Suppose 2*z = 4*z - p. Is z prime?
True
Let a be 2 + (1 - 5) - 0. Let b be 47/(-2) + a/(-4). Is (b/(-2))/((-6)/(-12)) prime?
True
Let i(k) = 3078*k**2 + 1. Is i(-1) prime?
True
Let y be 3864/44 + (-4)/(-22). Let x be (-2)/(2/(-7)) - 2. Suppose 23 = -x*r + y. Is r a prime number?
True
Let g = 17 + -11. Let k(m) = m**2 - 2*m. Let z be k(g). Let s = z - 13. Is s a prime number?
True
Suppose -5*l - 24 = -104. Let w = l + -7. Is (42/w)/(6/63) composite?
True
Let x = -1 - -3. Is x + 20 + -1 + 0 a composite number?
True
Let a(b) = 2*b - 7. Let c be a(7). Suppose 5*i - c*i = -154. Is i a composite number?
True
Suppose -3*o - o + 172 = 0. Suppose p = -o + 120. Is p composite?
True
Let s(k) be the second derivative of -k**5/20 + k**4/12 + k**3/6 + 43*k**2/2 + 3*k. Let j be s(0). Let i = 80 - j. Is i composite?
False
Suppose 6*s = 3*s. Let t(c) = c**3 - c + 20. Let n be t(s). Suppose 0 = -3*j + 2*j + 5*b + n, 0 = -5*j - 3*b + 184. Is j composite?
True
Let j(a) = a**3 - 2*a + 1. Let x be j(1). Suppose -2*p - p + 12 = x. Is p prime?
False
Suppose -5*y = 3582 - 10577. Is y a composite number?
False
Let o = -61 - -126. Is o prime?
False
Let n(i) = 112*i + 27. Is n(5) composite?
False
Suppose 4*v + 3*t - 7 = -1, -2*v - 5*t - 4 = 0. Let z(i) = i + 72*i**v + 16*i**3 - 2*i + 2*i**2. Is z(1) composite?
False
Let y be 1398/(-4)*(-18)/27. Let h = 568 - y. Is h a prime number?
False
Let b = 12 + -7. Suppose -5*t - 9 = 3*o, b*o + 0*o + 15 = -t. Suppose 0 = -4*j + 3*s + 284, j + t*s = -s + 71. Is j prime?
True
Let d(v) = -v**3 - 2*v**2 - 2*v + 7. Is d(-8) prime?
False
Suppose 2*a = b - 5*b + 16, 2*a - 5*b - 25 = 0. Is a composite?
True
Suppose 3*a - 5246 = t, a + 0*t = 4*t + 1767. Is a a composite number?
False
Suppose -2*n + 0*n + 15 = -j, 5*n - 4*j - 33 = 0. Let a(u) = u**2 - 5*u - 17. Is a(n) composite?
False
Let a = 10 + 21. Is a a prime number?
True
Suppose -3*f + 4*a = 12, a = 3*f - a + 6. Suppose -5*t - 50 = -f*t. Let g = 79 + t. Is g a composite number?
True
Let o(s) = 10*s - 3. Suppose -15 = -4*p + 17. Suppose -p = -3*d + d. Is o(d) a composite number?
False
Let r(y