prime?
True
Suppose 5*o + 4082 = -4*v, -3*v = -8*v + 2*o - 5086. Let z = 237 - v. Is z prime?
False
Let q(b) = -359*b + 17. Let j(p) = 539*p - 26. Let s = 31 + -38. Let g(k) = s*q(k) - 5*j(k). Is g(-5) prime?
False
Let a(l) = 46*l + 27. Suppose -2*m - m + 12 = 0. Is a(m) composite?
False
Suppose 0*j + 6 = 2*j. Suppose -j = -2*n - 29. Let s(u) = 3*u**2 + 16*u - 6. Is s(n) prime?
True
Let u(b) be the third derivative of b**5/60 + b**4/8 + 2*b**2. Let z be u(-3). Suppose -3*q - l + 1443 = -0*l, 5*q - 3*l - 2419 = z. Is q a prime number?
False
Let p = 14 + -14. Suppose 2*g - 6*g - 359 = 5*l, 3*g + 4*l + 270 = p. Let b = g + 123. Is b prime?
True
Suppose -2*l + 0*l + 3*n + 5 = 0, 3*l - 5*n = 7. Suppose -3*h = -l*h + 19. Is h + 3/9*0 prime?
True
Suppose -14*t = -17*t - 24. Is 6/(-2) - (t - -3) a composite number?
False
Let l = 1115 - 251. Let z = -3 + 5. Suppose -442 - l = -z*f. Is f a prime number?
True
Let p be 1 + -745 + (-3 - -5). Let w = 430 + p. Let o = -145 - w. Is o a composite number?
False
Is 5188 + 32 + 0 + -1 a composite number?
True
Suppose 2*o - 88 = y, 3*o - y - 63 = 67. Suppose 23 = b - o. Is b a composite number?
True
Let l(v) = 7*v**2 - 11*v - 11. Let z be l(9). Suppose 0 = 4*w - 3*n + 119 - z, 5*w + 5*n = 405. Is w a prime number?
True
Is (14506/4)/((-5)/(-10)) a composite number?
False
Suppose -k = -6*k + 565. Let r = 172 - k. Is r composite?
False
Let y(o) = 2*o - 48. Let l be y(14). Is l/(-140) + -1 + (-18955)/(-7) a prime number?
True
Let n = -3746 - -5545. Let c = -126 + n. Is c a composite number?
True
Suppose 0 = 4*r - t - 3991, -3*t - 987 = -r + 8. Is r prime?
False
Suppose 3*v - 4*v = -47. Suppose -1156 = -3*n + v. Let y = n + 230. Is y prime?
True
Suppose 369*z = 363*z + 10758. Is z composite?
True
Suppose 609885 = -438*a + 447*a. Is a a prime number?
False
Let q(a) = 2286*a + 141. Is q(8) composite?
True
Let o = -2167 + 3379. Let q = 2279 - o. Is q prime?
False
Suppose c = -2 + 7. Suppose -5*p + 3 = 3*l - 4, -c*p + 13 = -3*l. Is (-3 - l) + 1 + 114 a composite number?
False
Let q(j) = 35*j - 12. Let z(d) = 0*d + 1 + 6*d**2 + 5*d - 3*d. Let n be z(-1). Is q(n) a composite number?
False
Let n be (-604)/6*(-48)/32. Suppose 0 = 3*q - 2*j + n, -2*q - 93 = -4*j + 21. Let c = 27 - q. Is c a composite number?
True
Let n be (-4)/(1 - (-3)/(-2)). Suppose -z = -m + n, 4*z = -4*m + 1 + 7. Suppose 0 = m*v - 914 + 169. Is v composite?
False
Suppose 5*c + 3*s - 2177 = 711, 2*s + 2883 = 5*c. Suppose 0 = -3*w + 6, -3*f - 2*w + 1802 - c = 0. Is f a composite number?
True
Let c(u) = 3*u + 1. Let t be c(1). Suppose -t*h = -5*s - 1686, 2*h - 560 = -5*s + 268. Is h a prime number?
True
Let d be -2 + 10 + 1 + 3. Let l be (-6)/(-36) - (-7726)/d. Suppose 9*x - 5*x = l. Is x prime?
False
Suppose -5*a = 3*o - 17660 + 5094, -a + 12562 = 3*o. Suppose -2*s = 5*v + 3329, 4*v - 1523 + o = -2*s. Let b = v + 1092. Is b prime?
False
Is (-2273788)/66*3/(-2) a prime number?
False
Let b(l) = -l + 11. Let q be b(7). Suppose -4*h = -3*o - 714, q*h = 2*o - 0*o + 712. Is h a composite number?
True
Suppose 3*t - 15 = -0. Let x = 82 + -21. Suppose t*a - 54 = x. Is a a prime number?
True
Suppose 0 = 217*f - 206*f - 15301. Is f a prime number?
False
Let r = -50704 - -71589. Is r a composite number?
True
Suppose 34*i - 83480 = 26*i. Is i composite?
True
Suppose 5*t - 28 = -n, 4*t + 6*n - 2*n = 16. Suppose 0 = t*x - 9*x + 675. Suppose 0 = 3*o - 5*v - 222, 4*o - o = 4*v + x. Is o prime?
True
Let m(v) = 141*v + 22. Let k be m(-14). Let u(f) = 17*f**3 - 4*f**2 - 3. Let o be u(-4). Let n = o - k. Is n a composite number?
False
Let g = 11793 + -514. Is g a prime number?
True
Let a(y) be the third derivative of y**7/126 + y**6/48 - y**5/15 + 2*y**2. Let z(q) be the third derivative of a(q). Is z(7) a composite number?
True
Let y(p) be the second derivative of 907*p**4/12 + p**3/6 - p**2/2 - 5*p. Let q be y(1). Let b = q - 644. Is b a prime number?
True
Let p(x) = -x**3 - x**2 + x - 5. Let s(y) = -y**2 + 5*y - 10. Let k be s(3). Is p(k) composite?
True
Let s(y) = 23*y**2 - 2*y - 5. Let d be s(-4). Suppose 5*c = -4*n - 351, -7*n - c = -3*n + d. Let i = -7 - n. Is i prime?
False
Let j(h) = h**2 + 127. Let w be 0/2*(-8 - -7). Is j(w) a composite number?
False
Let p = -5454 + 12433. Is p prime?
False
Let u = -1 + 2. Let f be (-4)/(5 - u) + 221. Suppose -3*q + 11 = -f. Is q a prime number?
False
Let k(a) be the third derivative of -7*a**5/60 + a**4/12 + 2*a**3/3 - 4*a**2. Let o(z) = 7*z**2 - z - 3. Let g(r) = 6*k(r) + 7*o(r). Is g(-4) prime?
False
Let b(f) = -f**3 - 8*f + 5. Let j(m) = -m**3 + 7*m**2 - 8*m + 4. Let v be j(6). Is b(v) composite?
True
Suppose 0 = 3*k + 172 - 181, -3*k + 11974 = 5*v. Is v a prime number?
True
Let t = 27 + -24. Suppose 2 + 4 = t*f - 3*q, -10 = 2*f + 5*q. Suppose f = -y + 523 + 168. Is y a composite number?
False
Let w(c) = 0 + 0*c**3 + 1 + 9*c**3 + c**2 + 3*c**3. Let p be w(-2). Let x = p - -170. Is x prime?
True
Let u = 3 + 0. Suppose u*k = -2386 - 3893. Is k/(-5) + (-18)/(-45) composite?
False
Let o be 6/(-21) + 4/14. Let z(b) = -b**2 - b + 1067. Is z(o) composite?
True
Let t = 76915 - 39749. Is t prime?
False
Let b(d) = d**3 + 44*d**2 + 66*d + 20. Let n be b(-42). Let s = 157 + -368. Let q = s + n. Is q prime?
False
Suppose 48121 = 4*f - 3427. Suppose q = 3*q + g - 8573, 4*g + f = 3*q. Is q composite?
False
Let v(w) = w**2 + 13*w + 17. Let b be v(-12). Suppose -4*t + 606 = 5*o, t - b*o - 139 = -0*t. Is t prime?
True
Suppose -7*t + 3*t - 2*q = -14354, -4*t + 14333 = -5*q. Is t composite?
True
Let a(n) = -n**2 + 6*n + 6. Let f be a(6). Suppose -4*z + 2*d + 214 = 0, 2*z - 3*d - 87 = -f*d. Suppose o = 2 + z. Is o a composite number?
False
Let o be (-4)/(-10) - 506/(-110). Suppose -3*p + 3*n + 3 = -12, -5*p - 4*n = -16. Suppose q = p*z - 9*z + 577, -567 = -o*z + 4*q. Is z a composite number?
True
Suppose 3170 = 5*x + 5*i, -5*x - 3*i + 506 = -2658. Is x prime?
True
Let f(o) = o**3 - 15*o**2 + 13*o - 9. Let s be f(14). Let i = s - -143. Let g = i + 71. Is g a prime number?
True
Let y = -6 + 10. Suppose -8 = y*t - 2*q, -5*t + 7*q = 2*q + 20. Suppose 4*s + t*s - 88 = 0. Is s prime?
False
Suppose 3*w = g - 278, 0 = 2*g + 4*w + 1 - 607. Suppose 2*v - 4 = -2. Is g*(-2 + v)*-1 composite?
False
Let b(m) = -522*m + 781. Is b(-34) prime?
False
Suppose m = -3*g - 2 - 5, 3*m - 3*g = 15. Suppose h - m = a, 25 - 3 = 4*a + 2*h. Is a + (355 - 3)/1 a composite number?
True
Suppose 12*i + 75970 - 205942 = 0. Is i a composite number?
False
Let p be 12/20 + 328/20. Let g(f) = 46*f + 5. Is g(p) a prime number?
True
Let q be 26/8 + (-3)/12. Suppose 0 - 3 = 2*t + q*j, -25 = -5*t - j. Suppose t*z = z + 35. Is z a prime number?
True
Is (-1)/((-1)/3)*(-270669)/(-63) composite?
False
Let j(f) = -3*f**2 + 9*f + 22. Let x be j(-9). Let c = x + 795. Is c prime?
False
Let l(z) = 1607*z + 41. Is l(4) composite?
False
Let p be ((-9)/9)/((-1)/1). Let o be 1 + p + -14 + 6. Is ((-182)/(-4))/((-3)/o) a composite number?
True
Let x = 0 + 1. Let c be (-2 - (2 - 2))/x. Is (-388)/c*3/6 composite?
False
Suppose -3*z + p + 976 = 0, -4*z - 5*p = -944 - 332. Let i = z - -85. Is i composite?
False
Let y = 94 + -50. Suppose 3*s - y = 1. Is -1*s/(-3)*19 a prime number?
False
Let w(k) = -3*k**3 + 11*k**2 + 5*k - 15. Let n be w(-7). Suppose -n = -7*u - 475. Is u a composite number?
False
Let f(l) = 2*l**2 + 9*l - 11. Let z be f(-10). Let m = z + 35. Is m composite?
True
Let f(b) = 26*b + 1. Suppose n = 3*n - 12. Is f(n) prime?
True
Let m(i) = 51*i + 163. Is m(6) a prime number?
False
Suppose -15*v = -13*v - 6. Suppose -v*y = -5*y + 154. Is y composite?
True
Let r(f) = -1497*f - 54. Let x(t) = 1496*t + 55. Let n(d) = -6*r(d) - 7*x(d). Is n(-7) composite?
False
Let f(h) = 15*h**2 + 4*h + 4. Suppose 5*u + 100 = 5*s, -4*s + 3*u + 43 + 34 = 0. Suppose 3*g + 4 = -v - 1, s = g + 5*v. Is f(g) prime?
True
Suppose -2*u + 6 = 0, 56779 = 3*z + 5*u + 18463. Is z prime?
False
Let l = 17165 + -11248. Is l prime?
False
Let t(o) = 2*o**2 - 25*o + 9. Let u(b) = b**2 - b. Let g(q) = t(q) - 3*u(q). Is g(-14) prime?
False
Let o = 2145 + -82. Is o a prime number?
True
Let l(y) = -y**3 - 30*y**2 + 4*y - 30. Let h be l(-21). Is h/6*(-1 + -1) composite?
False
Is (-1)/(47870/(-7978) + 6) a prime number?
True
Let j(z) = -54