s s/(-15) + -4 + (-9618)/(-15) a prime number?
True
Let q = 767 + -112. Is q prime?
False
Suppose 22*a - 4*c = 20*a + 24, 4 = -4*a - 5*c. Suppose -5*j - i = -422, j = -2*j - 5*i + 240. Let k = j + a. Is k a prime number?
True
Suppose -y = -0*y - 2. Suppose 4*g - 359 = -4*r + 121, 0 = y*g + 3*r - 242. Is g prime?
False
Suppose 22*i - 131890 - 85888 = 0. Is i prime?
False
Let q(c) = 6*c - 4*c**2 + 3*c**3 + 7*c**3 - 959 + 955 - 3*c. Is q(7) composite?
False
Let d(z) be the third derivative of -z**6/120 + z**5/20 + 5*z**4/8 + z**3/6 + 10*z**2. Is d(-10) a composite number?
False
Let m(k) = k**2 - 11*k - 23. Let s be m(13). Suppose 3*u - 17165 = -10*z + 5*z, -s*z - 3*u + 10299 = 0. Is z a prime number?
True
Suppose -6*c - 6 = -3*c. Is (-1)/c + 660/8 prime?
True
Let y(q) = 15934*q - 459. Is y(11) prime?
False
Let p(c) = -245*c**3 + 6*c**2 + 39*c + 141. Is p(-4) a prime number?
True
Let l = -2615 + 4224. Suppose -40541 = 25*x - 97491. Let u = x - l. Is u a composite number?
True
Let o = -43 + 39. Is 488 - (-4)/(o - 0) composite?
False
Suppose i - 13040 = -2*u, -u - 6*i + 7*i + 6523 = 0. Is u a composite number?
False
Suppose r - 6*r = h - 8284, -r - 2*h = -1655. Is r a composite number?
False
Suppose -16*c - 27960 + 182984 = 0. Is c a composite number?
False
Let h(n) = -681*n**2 - 32*n - 12. Let t(x) = 227*x**2 + 11*x + 4. Let k(g) = -6*h(g) - 17*t(g). Is k(-1) prime?
False
Suppose 6*b + 5*r = 4*b + 8249, -4125 = -b - 2*r. Is b prime?
True
Suppose 0*u + 3332 = 7*u. Suppose 13*l = 17*l - u. Is l prime?
False
Let p = -28 - -32. Suppose -4*x - 16 = -0, -5*m + 1701 = -p*x. Is m composite?
False
Suppose 5*b - 19138 = -593. Is b composite?
False
Let m = 2759 - 1880. Is m composite?
True
Suppose -45366 = -5*h - 1831. Is h a composite number?
False
Let u(w) = -2*w + 9. Let g be u(3). Suppose 4*a = -r + 4*r - 1683, g*r + 3*a - 1662 = 0. Is r prime?
True
Let t(w) = 7*w**3 - 50*w**2 + 125*w - 65. Is t(26) a composite number?
True
Let z be -4 - 4*1/2. Let v(j) = -149*j + 7. Is v(z) a prime number?
False
Suppose 3*t = -5*o + 5*t + 6711, 5*o = -2*t + 6699. Suppose -4*c - 5*f + 1791 = -0*c, o = 3*c + 3*f. Is 7/((-140)/c)*-5 prime?
False
Let u(v) = 9*v**2 + 2. Let k(j) = -10*j**2 - 1. Suppose -n = -5*n - 12. Let q(i) = n*k(i) - 2*u(i). Is q(2) prime?
True
Let g = 2 + 7. Suppose -g*c = -4*c - 6055. Is c prime?
False
Suppose 3*g + x - 5 = 2*g, x = -5*g + 25. Let w(l) = 2*l - 6. Let r be w(g). Is (r/6)/(4/282) a prime number?
True
Let h(v) = v**2 + 8*v + 6. Let t be h(-7). Is t/2 + 540/8 a prime number?
True
Let y = 1389 - 808. Is y prime?
False
Let h(f) be the second derivative of -6*f + 23/2*f**2 + 0 + 1/2*f**3. Is h(10) a composite number?
False
Let u(n) = -56*n**3 + 6*n**2 - 2*n - 1. Is u(-3) composite?
False
Let d(g) be the first derivative of 21*g**4/4 + 4*g**3 - 11*g**2/2 + 5*g + 3. Is d(4) composite?
True
Suppose 0 = -2*m - 4, -1 = x + 2*m - 0*m. Let y be (x + -8 - -3)*-1. Let p(h) = 15*h**3 + 3*h**2 - 4*h + 3. Is p(y) composite?
False
Let h(j) = -2*j + 32*j + 15 + 9*j + 8*j. Let i be h(11). Let u = -338 + i. Is u composite?
True
Let w(r) = 620*r - 6. Let y be w(-5). Let o = -2005 - y. Is o a prime number?
False
Let l(d) = -d**2 - d. Let g be l(1). Let v(c) = -119*c**2 - 11*c + 8. Let u(z) = -59*z**2 - 5*z + 3. Let r(p) = -5*u(p) + 2*v(p). Is r(g) prime?
True
Suppose -3*x = -3*f + 876, 0*f + 2*f = -2*x + 604. Let k be -2 - ((-10)/(-2) - 3). Let g = f + k. Is g a prime number?
True
Is 3/9*-3*-28901 a prime number?
True
Let i be (-628)/5 - (-18)/(-45). Suppose -1018 = -0*y - 2*y. Let w = y - i. Is w a prime number?
False
Let a(b) = -6*b**2 + 15*b. Let y(i) = 7*i**2 - 16*i. Let p(l) = -6*a(l) - 5*y(l). Let c be p(10). Suppose z - 357 + 104 = c. Is z a composite number?
True
Suppose -10*k - 11711 = -17*k. Is k composite?
True
Let h = 19314 + -5447. Suppose 0*p - h = -7*p. Is p prime?
False
Let k(f) = -f**3 + 5*f**2 - 3*f. Let r be k(4). Suppose l + 1 = 5*b, 2*b - r*b = -3*l - 3. Is 0 - (-2 + l + -124) a prime number?
True
Suppose 0 = 87*o - 85*o - 11338. Is o a prime number?
True
Suppose -j - 21 = -5*s - 77, -3*s - 52 = 4*j. Let k = 1241 - s. Is k a composite number?
True
Let v be (2/(-6))/(2/(-41286)). Suppose 12*h + v = 19*h. Is h composite?
False
Suppose 5*v + 9595 = -5*c, 5001 = -5*c - v - 4574. Is (c/9)/((-4)/6) prime?
False
Let f(j) = -j**3 - 5*j**2 - 9*j + 6. Let b be f(-5). Let t(q) = -q**3 - 5*q**2 - 6*q - 5. Let p be t(-4). Suppose -p*a = -228 + b. Is a prime?
True
Suppose -1467 = -5*c + 1793. Suppose -4*u + 3*z = -c, u + 4*z - 132 = 31. Is u composite?
False
Let z(g) = -g**3 + 5*g**2 + 6*g + 1. Let b be z(6). Suppose -4*k + 5 = -5*o + b, 0 = 5*o - 3*k + 3. Suppose 7*i + o*i = 2317. Is i prime?
True
Suppose 3*h + 3*j - 190 = -2*h, 0 = -5*h - 4*j + 195. Let d be 23/7 + (-10)/h. Suppose 5*i - 4*v - 499 = 0, 0 = 2*i + 4*v - d*v - 210. Is i composite?
False
Let x(y) = -44*y + 12. Let m be x(-4). Is m/6*(-39)/(-2) composite?
True
Suppose 316 = 10*x - 364. Suppose -3*s - t - 2*t = -96, 2*s - 2*t - x = 0. Is s a composite number?
True
Let h = -15 + 19. Suppose h*c - 730 = 2*b, -c - 5*b = c - 347. Suppose 5*n = c + 414. Is n a composite number?
True
Let q(d) = 66*d + 26. Let n be q(8). Suppose l - 3*a - 341 = -l, -3*l = 4*a - n. Is l composite?
True
Let i(c) = c**3 - 13*c**2 - 15*c + 15. Let y be i(14). Let q be 178/y - (13 - 14). Suppose -q - 825 = -4*u. Is u a prime number?
True
Let h(q) = 15*q**3 + 4*q**2 + 5*q - 5. Let l be h(-3). Is -5*l/2*(2 - 0) composite?
True
Let y(s) = s**2 - 7*s - 8. Let u be y(9). Let x = 12 - u. Is x + 99 + 6 + -4 prime?
True
Let b(h) = -113*h + 54. Let q(i) = 76*i - 35. Let u(r) = 5*b(r) + 8*q(r). Let c = 2 + 1. Is u(c) a prime number?
False
Suppose 3*h + 2*h - 15 = 0. Suppose 327 = -h*x + 1494. Is x composite?
False
Suppose -6*x - 6496 = -35002. Is x a prime number?
True
Suppose 0 = 6*q - 4 - 50. Suppose 2034 = q*s - 2619. Is s prime?
False
Let c(p) = 90*p + 1. Let l be c(-8). Let o = l - -1995. Suppose r - 5*r + o = 0. Is r a prime number?
False
Let z(k) = 40*k**2 - 8*k - 51. Is z(-14) a prime number?
True
Let l be ((-2)/6)/((-3)/(-9)). Let n = 5 + l. Suppose -312 = -n*g + 44. Is g a composite number?
False
Let i(g) be the second derivative of 13*g**4/12 - 8*g**3/3 - 5*g**2 + 16*g. Is i(-11) prime?
False
Let g be (844/(-3))/(22/66). Let i = g + 1385. Is i a composite number?
False
Suppose 3*m - 2 = h - 12, -m + 22 = h. Suppose 5*u - h = 11. Suppose 0 = 2*r + 2, 3*r + u + 31 = q. Is q a composite number?
True
Let x(t) = -24*t - 213. Is x(-41) a prime number?
False
Suppose -6*c + 50 = -c. Let a = c + -6. Suppose 12 = -a*g, g - 100 = 4*i - 251. Is i a prime number?
True
Suppose 0 = 11*y - 46647 - 327980. Is y a prime number?
True
Is (-6)/(-8)*(-7422408)/(-162) a prime number?
False
Let c(m) = -2*m - 8. Let w be c(-6). Suppose -2*y = 3*u - 6, -u + 4*y - 2 = -18. Suppose u = o - 1, 5*o = -w*p + 65. Is p prime?
False
Suppose 4*r = -0*r - 24. Let s = r + 10. Suppose 330 + 106 = s*y. Is y a prime number?
True
Suppose -6*p + 7*p = 327. Suppose -4*s - 3*x - 257 = -8*s, -2*x + p = 5*s. Is s prime?
False
Suppose -p + 14827 = 4*p - 2*x, -3*p + 4*x + 8899 = 0. Suppose 0 = 7*i - 11764 + p. Is i a composite number?
True
Suppose -g + 4*k + 11242 = g, 5*g - 2*k - 28129 = 0. Is g prime?
False
Suppose 8*s - 12009 = 150287. Is s a prime number?
True
Let r(m) = -m**3 - 58*m**2 - 44*m + 176. Is r(-63) a prime number?
False
Let p(r) = 2*r + 10. Let h be p(0). Suppose -155 = -q - h. Is q a prime number?
False
Let k be 3/(-24) - 45/24. Let p be (1 - k) + -1 + -3. Is ((-42)/(-18))/(p/(-6)) a composite number?
True
Suppose 438*w + 10923 = 441*w. Is w composite?
True
Suppose -2*s - 3*i = -90118, 3*i = -2*s + 3*s - 45041. Is s a prime number?
True
Suppose -n - 3*n - 5*a = 7535, 0 = 3*n + 5*a + 5650. Let k = 5374 + n. Is 1/(4 - 13953/k) a composite number?
False
Suppose 0 = -17*o + 14*o - 5*c + 49, -57 = -5*o + 4*c. Let w(i) = -5*i**2 - 2*i + 4. Let g(p) = p**2 - p + 1. Let r(f) = -2*g(f) - w(f). Is r(o) a prime number?
False
Let a = -1154 - -7273. Is a a prime number?
False
Let d(p) = p**2 - 7*p - 3. Let o be d(8). Is (-414 - o)/(2 + -3) a composite number?
False
Suppose -5*d + 616 + 309 = 0. Is d a composite number?
True
Let o(a) = 8*a**2 - 4*a - 23. Is 