 -b - 163, 4*d - 2*b - 648 = -n*d. Is d prime?
False
Suppose 59*u - 28*u - 599819 = 0. Is u a prime number?
False
Suppose -852 = -2*i - o, 0*o = -5*i - o + 2133. Let x = i + -224. Is x prime?
False
Let r(q) = 7*q**3 - 4*q**2 - 11*q + 53. Is r(8) prime?
False
Suppose -u - 1 = -5. Suppose d - 16 = -u*j, -7*d + 3*d + 46 = -2*j. Is (-4)/(16/d) - -58 a prime number?
False
Suppose -18*b + 11*b = -49. Suppose 4814 = b*g - 3243. Is g a composite number?
False
Let o(r) = 165*r + 9. Let a(h) = -166*h - 9. Let m(q) = -4*a(q) - 5*o(q). Let b be m(-3). Suppose 7*z - b = z. Is z composite?
False
Suppose 6*d = 12*d - 36042. Is d prime?
True
Let f be 1*8/6*3. Suppose f*u + 2*n - 217 = n, -4*n = 4*u - 232. Is u a prime number?
True
Let s = -949 + 1956. Let o = 10 - 9. Is o*1/(1/s) composite?
True
Suppose 5*j + 547 = -b - 311, -5*j - 1731 = 2*b. Is (b/(-6))/(3/4) prime?
False
Is (-10 - (-19)/2)*-32822 a prime number?
True
Let y(p) = 10*p - 5. Let f be 18/8 - 24/(-32). Let i(n) = n + 1. Let u(q) = f*i(q) - y(q). Is u(-9) composite?
False
Suppose -2*k + 20941 + 3809 = -4*g, 0 = 4*k - g - 49493. Is k prime?
True
Suppose -5*i - 2*o = -26580, 4*i - i = -4*o + 15962. Is i a composite number?
True
Let x be 2*(-1)/((-6)/(-9)). Let v(g) = -13*g**3 - 3*g**2 + g - 2. Is v(x) prime?
False
Let l(d) = -d**3 - d**2 - d + 43. Let s(r) = 5*r + 5*r - 6 + r**3 + 7*r**2 - 5*r. Let v be s(-6). Is l(v) prime?
True
Suppose -6 = -3*o + o. Suppose 0 = -o*s + 13 + 71. Is (-21)/s + (-1262)/(-8) composite?
False
Suppose 5*n + 2923 = -l - 1251, 0 = 2*n + 5*l + 1665. Let v = -270 - n. Is v a prime number?
False
Suppose 7*w - 63090 + 19011 = 0. Is w a prime number?
False
Suppose 0 - 15 = 5*h, 0 = -r + 4*h + 603. Is r a composite number?
True
Let d = -33 - -33. Suppose d = 2*s + 9 - 7. Is ((-2)/(-1) - s) + 248 a prime number?
True
Let n(x) = x**3 - 11*x**2 + 5. Let k be n(11). Suppose 0*q - 2*q + 174 = 4*j, 0 = -2*j + k*q + 105. Suppose 0 = z - 22 - j. Is z a composite number?
False
Is (4 + -3)/(-3*(-4)/52908) a prime number?
True
Suppose -4*f = -3*r - 2968, 10 - 30 = 5*r. Is f prime?
True
Let i be 3/6*(2 + 2). Suppose 3*l = 5*l + q - 4667, 2*q = i. Is l a composite number?
False
Is 3/(21/32893 - 0) a prime number?
False
Suppose 5*z + 2*q = 5318, -1824 = -2*z + 4*q + 284. Let i = z + -35. Is i composite?
True
Suppose 2934 = 4*m + 2*o, 9*o + 1 = 10*o. Is m composite?
False
Let u(k) = 3*k**3 - 19*k**2 + 22*k - 17. Is u(14) a composite number?
False
Let z(u) = -11*u - 10. Let c be z(-3). Let v(n) = -n + 8. Let x be v(6). Suppose -5*h + 3*b = -111 - c, -x*b + 69 = 3*h. Is h composite?
True
Let q(c) = -100*c - 5. Let l be q(7). Let d = 305 - 745. Let v = d - l. Is v composite?
True
Suppose i = -2*a + 931 + 1295, -12 = 3*i. Is a a prime number?
False
Let k = -27 - -29. Is (k/6)/(15/1170) a composite number?
True
Let f(n) = 144*n**2 - 4*n + 13. Is f(-4) prime?
True
Suppose 2*w = b - 403, -2 = -3*w + 13. Suppose -2*x = 0, 5*r - 3*x - 2*x = -1130. Let y = b + r. Is y prime?
False
Let z(w) = 4*w - 10. Let t be z(8). Suppose -62 = -2*p + t. Let a = 73 - p. Is a composite?
False
Let o(x) = 52*x**2 - 15*x - 10. Is o(7) a composite number?
True
Suppose -3*q - 3*b + 2 = -7, 5*q + 2*b = 18. Suppose 1705 + 959 = q*t. Let m = 985 - t. Is m composite?
True
Let t be (17/2)/((-1)/(-8)). Suppose t = -5*o - 92. Let i = o + 111. Is i a composite number?
False
Let s(f) = f - 1. Let i(d) = 2*d**2 + 18*d + 13. Let o(a) = i(a) + 2*s(a). Let k = -45 - -32. Is o(k) composite?
False
Is (-2 + 5 - 10)/(1/(-251)) prime?
False
Let s(l) = l**3 - 2*l**2 - l + 2. Let f be s(0). Suppose -2*m + 638 = b, -b + 3*m = f*m - 632. Is b composite?
True
Suppose 4*b + 5*j = 0, -31 = 5*j - 11. Suppose 3*h = -3*u + 1413, 2*u = -b*h + 4*h + 938. Let q = u - 94. Is q a composite number?
False
Suppose -19*d + 86929 + 149374 = 0. Is d a prime number?
True
Let n(j) = 10*j**3 - 7*j**2 + 6*j - 7. Is n(6) composite?
True
Let a(o) = 418*o**2 - 50*o - 249. Is a(-8) composite?
False
Let c(q) = 5 - 22*q**2 - 14*q**2 + 20*q + 4*q**3 + 7*q**2 + 5*q**2. Is c(9) prime?
False
Let v(q) = 291*q - 41. Is v(4) prime?
True
Let o be -7*(2 + (-176)/28). Suppose -c - 4*n = -2*n - o, 5*n = -c + 27. Is (-5352)/c*16/(-6) a prime number?
False
Let l = -17 + 21. Suppose 3*o + 10 = -s, -3*s - l*o = -0*o + 10. Suppose 2*u + s*u - 436 = 0. Is u composite?
False
Suppose n + 12 = -2*n, -4*m = 2*n - 20. Let z(c) = 21*c - 8. Let j be z(m). Suppose 0 = u - 2*a - j, -99 - 318 = -3*u - a. Is u a prime number?
True
Let r be (-5)/15*0/1. Let n(q) = -3*q**3 - 2*q**2 - 3*q + 1495. Let m(v) = -5*v**3 - 3*v**2 - 5*v + 2243. Let f(z) = -5*m(z) + 8*n(z). Is f(r) composite?
True
Let z = 10227 + -5678. Suppose -5*p = -2*b + 4*b - z, 4*b = 3*p - 2745. Is p a composite number?
False
Suppose 0 = 8*n - 9720 - 15376. Is n composite?
False
Suppose 5*h + 10 = -40. Let i = 17 + h. Let r = i + 24. Is r a composite number?
False
Suppose 4*j - 33038 = -3*h + 9*j, 2*j = 10. Is h composite?
True
Let b = 294600 - 91955. Is b a composite number?
True
Let m be (-1772)/(-28) + (-2)/7. Suppose -3*a = 21 - m. Is (-1863)/(-21) + 4/a prime?
True
Let m be (2 - 1)*-9*(-1 - 0). Is 3898/(-4)*-2 - (-9 + m) prime?
True
Let i be (123 + 0)*(-2)/6. Let t = i - -138. Suppose d + 3*f - 65 = -f, 0 = 2*d - 3*f - t. Is d a prime number?
True
Let z(v) = 369*v - 13. Let j(m) = -1108*m + 40. Let w(p) = 2*j(p) + 7*z(p). Is w(10) a composite number?
False
Let h = -3 + 5. Suppose 2566 = 2*z - 2*v, 5*z = 2*z + 2*v + 3844. Suppose 0 = -3*p - h*p - 5*w + 1600, -4*p - 2*w + z = 0. Is p composite?
True
Suppose 4*m + 7*l = 10*l - 35, -2*m - 19 = -3*l. Is 1 + (m + -1)*-102 composite?
False
Let a(s) = 197*s**2 + 3*s - 51. Is a(5) a prime number?
True
Let x(k) be the second derivative of -55*k**3/6 + k. Let v be 2/4 - (3 + 3/(-2)). Is x(v) composite?
True
Let u be ((-1)/(-4))/(13/16484). Let m(c) = -31*c + 2. Let k be m(2). Let v = u + k. Is v a composite number?
False
Let f be (-1)/(-2) + 354/12. Suppose 2*m + 8 = 0, 5*r - 5*m + 5 = f. Is ((-13)/(-2))/(r/22) prime?
False
Suppose g + 0*g + 23 = 4*o, -5*g - 35 = -4*o. Suppose -4*a + 2255 = -a - 2*i, 5*a = -o*i + 3725. Is a prime?
False
Let h = -358 + 1836. Is h composite?
True
Suppose -289*x + 283*x = -8790. Is x composite?
True
Let s = 10 - 4. Let c(y) = 6*y - 30. Let z be c(6). Suppose -s = 2*u, 5*r - 1870 = -z*u + u. Is r composite?
True
Let x(g) = g**3 - 11*g**2 + 17*g - 67. Let t be x(10). Let h(p) = 3 - 5 - 18*p + 51*p. Is h(t) composite?
False
Let d(m) = -2*m**3 + 3*m**2 + 3*m - 10. Let r be d(-8). Let h = -295 + r. Is h a composite number?
False
Let l(b) be the second derivative of 2*b**5/5 - b**4/6 + 7*b**3/6 + 2*b**2 - 43*b. Is l(3) a prime number?
True
Let s = -13 - -33. Is (8/s - (-13)/5) + 136 a prime number?
True
Let f(w) = 5*w**3. Let d be f(1). Suppose 3*l = 2*m - 757, d*m - 5*l + 0*l - 1905 = 0. Let u = -229 + m. Is u a composite number?
False
Let m = -90121 - -138938. Is m a prime number?
True
Let j(w) = -3*w + 5. Let r be j(2). Is 3/(r/1906*-2) a prime number?
False
Let t(x) = -x**3 - 10*x**2 - 17*x + 2. Let c = 3 - 16. Let p be t(c). Suppose 5*k - 4*k - 4*h - 215 = 0, -5*h + p = 3*k. Is k a prime number?
False
Suppose -17*g + 201786 = -38033. Is g a composite number?
False
Is 24320 - ((-203)/(-58) - 1/2) composite?
False
Suppose -b = 5*l - 1256, 254 = 2*l - l + 3*b. Let a be -4*(2 + l/4). Is (-1 - a) + 0 + -4 a prime number?
False
Suppose p + a - 3 = -5, p + 11 = -4*a. Let h(q) = q**2 + q. Let v be h(p). Suppose 2*i = 2*k - 326, 3*k - 5*k + 338 = v*i. Is k composite?
True
Let v(j) = 2*j - 11. Let i be v(6). Is i - (-1 + -3 - 2826) prime?
False
Let m be -1*(4 + (-24)/(-3)). Let w be ((-93)/m - 4)*4. Let j = w + 74. Is j composite?
False
Suppose -20*q + 25*q = 15. Is (-3)/((-18)/3278)*q a prime number?
False
Let h(c) = 64*c**2 + 7*c + 10. Let z be h(-2). Let v = -67 + z. Is v a composite number?
True
Suppose 0 = -10*v - 13*v + 10442. Is v a composite number?
True
Is 1*115*(-1219)/(-115) a prime number?
False
Let a(b) = -207*b**3 - 5*b**2 + 6*b + 5. Let c be a(5). Is c/(-33) + (-8)/(-44) prime?
True
Suppose 3*x = 2*u + 4*x - 53, 2*x - 82 = -3*u. Let g be u/(-30)*5/(-2). Is 2 + ((-1258)/g)/(-1) prime?
True
Let r be (4/(-6))/((-32)/(-48)). Is (-16126)/(-55) + r/5 a compos