794, 9881 = i - c + 6*c. Is i a prime number?
True
Let z(d) = -d**3 - 3*d**2 - 11*d - 10. Let o be z(-7). Suppose -i + 3*a = -o, 4*i - 2*a = -a + 1030. Is i prime?
True
Suppose 3*w = 5 + 10. Suppose -w*u = 4*z - 856 - 1082, u = -2*z + 972. Is z a composite number?
False
Let r(m) = m**3 + 4*m**2 - m - 3. Let x be r(-4). Let q be x/(-4) + 1593/36. Suppose -5*v = -v - q. Is v composite?
False
Suppose -q - 65 = 42. Let u be (1/2)/((-20)/620)*-12. Let n = u - q. Is n composite?
False
Let p = 35 - -144. Let w(x) = x**3 + 5*x**2 + 5*x + 5. Let d be w(-7). Let y = d + p. Is y prime?
False
Let k = -255 + 388. Let y = k + 1338. Is y prime?
True
Let x(g) = g**3 + 22*g**2 + 20*g - 21. Let r be x(-21). Is (r - (-1 - -2))*(-1 - 36) composite?
False
Let g(d) = d**3 + 5*d**2 - 9*d - 4. Suppose -5*m = -q + 17, 22 = -q + 3*q - 4*m. Is g(q) a composite number?
False
Let f(b) = 8*b**2 + 11*b**2 + 16*b + 6*b**2 - 13 - b**3 + 2*b**2. Is f(27) a prime number?
True
Suppose 3*t + 25 = -8. Is (-3883)/t*(0 - -1) composite?
False
Let c be -1 + 2 + -633 - 4. Is 2 - c/(-8)*-14 a composite number?
True
Let j(v) = 228*v**2 + 6*v + 18. Let i be j(-4). Suppose -5586 = -12*b + i. Is b a prime number?
True
Let f be (-24)/(-10) - 3/(-5). Suppose -2*h + 1237 = f*s, 1023 + 618 = 4*s + h. Is s prime?
True
Let n(x) = -3*x + 22. Let w be n(6). Suppose -w*d + 3148 = -16. Is d a composite number?
True
Is (-2*(-1974)/112)/(6/5752) a prime number?
False
Let s(h) = -h**3 + 6*h**2 - 6*h + 2. Let n be s(5). Let b(m) = 2*m**2 + m - 10. Let i be b(7). Is n/6 - i/(-2) composite?
False
Let z(s) = 373*s**2 + 56. Is z(9) prime?
True
Suppose 0 = -2*g - 5*y + 206 + 184, -2*g + 430 = -5*y. Suppose -882 = -k + g. Is k composite?
False
Suppose w = 5*w + 1216. Let k = 213 - w. Is k a prime number?
False
Let v(p) = 14*p**3 - 2*p + 17. Is v(8) composite?
True
Let o be (-4 - 853)/(1 - 0). Let f = 1346 + o. Is f prime?
False
Let a = 3702 + -2407. Suppose -27*w + 22*w = -a. Is w a composite number?
True
Suppose -3*b + 368 = -s, -b - 5*s + 5 + 91 = 0. Is b a prime number?
False
Suppose -1093*t - 78962 = -1095*t. Is t a composite number?
True
Let h(x) be the third derivative of x**6/24 + x**5/60 + 11*x**4/24 - 2*x**3/3 + 14*x**2. Is h(5) composite?
False
Suppose f + 35 = -4*f. Let q(n) = n**3 + 7*n**2 - n - 3. Let w be q(f). Suppose 517 = g - w*s, 0*s + 1020 = 2*g - s. Is g a composite number?
False
Let x = 164 + -248. Let n be x + -3*(-4)/(-3). Let h = -57 - n. Is h a composite number?
False
Let n = -6004 + 9144. Suppose -5*k + n = 675. Is k a composite number?
True
Let b(c) = 13*c**2 + 55*c - 213. Is b(28) a prime number?
True
Suppose 5*b + 0*v - 1681 = -v, 5*v - 5 = 0. Let j = -621 - -407. Let t = b + j. Is t composite?
True
Let u(y) = -2 - 9 + 4 + 54*y + 136*y. Is u(5) composite?
True
Let v(b) = -b**3 - 6*b**2 - 5*b + 4. Let a be v(-4). Let s be 4*((-12)/a + -1). Suppose -5*h + 8 = -2, -s*i + 5*h = -232. Is i composite?
True
Let b = -7818 - -23471. Is b composite?
True
Let m = 1048 + -47. Suppose -z + m = a, 3*z + 5*a = 1396 + 1615. Is z a composite number?
False
Let m be 0/(5 - 4)*(-1 + 2). Let g(l) = l + 647. Is g(m) a prime number?
True
Let a = -1120 + 2254. Suppose 2*q - a = 4*o, -2*q - 5*o + 2760 = 3*q. Is q a prime number?
True
Suppose -4*g - 2*y + 6376 = 0, g + 0*g + 2*y = 1600. Suppose g = f + 7*f. Is f a prime number?
True
Is (614*-5)/((-8)/(-12)*-3) composite?
True
Suppose -3*c - 456 - 1106 = -y, 0 = -2*y + 3*c + 3139. Suppose -9*x - 10*x = -y. Is x composite?
False
Let c(r) = -4*r**3 - 5*r**2 - 8*r - 36. Is c(-5) prime?
True
Let i = -10359 - -43906. Is i a prime number?
True
Suppose -20*g = -10*g - 30430. Is g prime?
False
Let p be (-10196)/(-10) + 12/30. Suppose 734 + p = 2*n. Is n a composite number?
False
Let y be -3 - (-1 + 0 - 74 - 1). Let q = y + 10. Is q composite?
False
Suppose 0*u - 2*u + 1272 = -4*j, 3*u = -2*j + 1892. Let x = 1891 - u. Is x a prime number?
True
Is (-4)/9 - (6 + (-3473574)/54) a composite number?
False
Suppose -5*h = -2*k - 0*k - 12073, 0 = 3*h - k - 7243. Is h a prime number?
False
Let b be 4*(-12)/(-16) + -1. Suppose b*p - 966 = -68. Suppose p = -5*h + 1474. Is h composite?
True
Let w(z) be the third derivative of z**4/24 + z**3/3 + 7*z**2. Let r be w(0). Suppose 4*n + 0*n + r*a = 446, -2*n = -3*a - 235. Is n a composite number?
False
Let a = 37408 + 6247. Is a a composite number?
True
Suppose 0 = 4*t - 2773 - 4887. Is t composite?
True
Let z(m) = -588*m + 1. Is z(-3) a prime number?
False
Suppose -5 - 5 = -5*i. Suppose 0 = 4*o + 20, 5*o + 0*o = i*t - 103. Suppose 0 = -4*w - 2*x + 734, -3*w - t = 2*x - 590. Is w prime?
False
Let v(y) = 2*y**3 + 9*y**2 + 20*y + 3. Is v(11) a prime number?
False
Suppose 11*u = -5593 + 15724. Is u a prime number?
False
Let r(z) = -z - 2. Let u be r(1). Let i(w) = 33*w + 2 + 34*w**2 + 38*w - 70*w. Is i(u) a composite number?
True
Suppose -5*k - 16162 = -4*m + 8459, k - 6162 = -m. Is m composite?
True
Suppose -122*d = -135*d + 607633. Is d a prime number?
False
Suppose 6 = l - 2*w, 0 = 2*l + w - 1 - 1. Suppose 0 = -l*q - i - 3*i + 688, -3*q = -2*i - 1040. Is q a prime number?
False
Suppose -5*x = -6*g + 3*g + 21, -g - 3*x = 7. Let n(r) = 13*r - 1 + g*r**2 + 5 + 25. Is n(-12) a prime number?
False
Is (-1)/(5/34330)*28/(-8) a prime number?
False
Let u(y) = 2*y**2 + 6*y - 9. Let g be u(-7). Suppose -49*n = -g*n - 1358. Is n a prime number?
False
Suppose 34*s + 45*s - 1212571 = 0. Is s a prime number?
True
Is -2721*6/(18/(-7)) a composite number?
True
Let l be (-3)/((-3)/3) - -149. Let i = -116 - l. Let q = -141 - i. Is q composite?
False
Let b = 4444 - 2446. Let i = b + -1367. Is i a composite number?
False
Suppose t = -3*t - 24. Let h be (-45)/t*(-4)/(-6). Suppose -y - 91 = -i, 0 = -h*i + 2*y - 5*y + 439. Is i prime?
True
Suppose -47*o + 44*o - 2*s + 42643 = 0, 0 = -o + 4*s + 14205. Is o composite?
True
Suppose 2*m - 4*y + 47 = y, 2*m = 4*y - 42. Let j(l) = -342 - 4*l**3 + 344 + 2*l**3 + 14*l**2 + 14*l + 3*l**3. Is j(m) composite?
False
Let z(f) = 0*f - 82*f + 6 - 78*f + 7. Is z(-3) a composite number?
True
Suppose 10*q = 4*q + 129186. Is q prime?
False
Let m = 144 - 138. Suppose h - 1 + 0 = 0. Is ((-33)/(-6))/(h/m) composite?
True
Let u = 19 - 14. Suppose u = -q + 6*q. Is (88 + 9)*5*q prime?
False
Suppose -5*a + p + 2*p = -7310, 5*a - 7315 = 4*p. Is a prime?
True
Suppose -4*s + 237258 = 3*h - 42941, -s + 5*h = -70044. Is s prime?
False
Suppose -5*a = 4*x - 537, 5*a = 4*x + 348 + 205. Is a prime?
True
Let j(u) = 14*u**3 + 21*u**2 - 3*u - 3. Is j(4) composite?
False
Let o = 27 - 22. Suppose o*m = 5*i + 30, 5*i + 7*m = 2*m - 20. Is 218/(-4)*10/i prime?
True
Let a = 4185 + -2495. Is a + -4*9/(-12) a prime number?
True
Suppose -2*l - w = w - 32, 4*l - w = 44. Let u(g) = 17*g - 17. Is u(l) a composite number?
True
Suppose -2*h + 13 = 5. Is (h/(-8))/(1/(-254)) composite?
False
Suppose 0 = 4*g + 7*g + 1309. Let f = g + 386. Is f composite?
True
Let x be -4 + -2 + 2 + 40. Let m = x - -128. Suppose -5*s + 2*q + 174 = 0, 2*s + 3*q = -3*s + m. Is s a composite number?
True
Is 3090 + 57 - ((2 - 1) + -1) composite?
True
Let g = 8 - 6. Suppose -2*n - g*y = 34 - 2654, 2*n = 5*y + 2641. Is n prime?
False
Let z = -321736 - -596927. Is z composite?
True
Suppose -2725 = 2*b - 7*b. Suppose -2*g + 6 = -5*w + 25, -2*g + 2*w = 4. Suppose -2*v = g*v - b. Is v prime?
True
Let x(u) = u**2 - 27*u - 54. Let k be x(29). Suppose 0 = -2*o + o - 1, 1800 = 4*d + k*o. Is d prime?
False
Let v(b) = -3*b**3 + 2*b**2 - 1. Let i be v(1). Let r be i/10 + 36/5. Suppose -r*k = -8*k + 551. Is k composite?
True
Let x(f) = -4*f**2 + 6*f + 8. Let c be x(-6). Let g = -381 + 283. Let y = g - c. Is y a composite number?
True
Suppose 0 = 2*v - 1232 - 272. Suppose -3*w = w + 4*y - v, 4*w - y - 767 = 0. Is w composite?
False
Let b = -34994 - -67135. Is b prime?
True
Suppose -2*z + 468 + 28 = 0. Suppose l = 3*l + 2*j - z, -2*j + 611 = 5*l. Let x = l - 63. Is x a composite number?
True
Let i = -27 + 76. Suppose i - 496 = -3*s. Is s prime?
True
Suppose -12*o + 181520 = -342364. Is o a prime number?
False
Suppose -n = 3*v + 20, -v + 0*n + 5*n - 12 = 0. Let h(z) = 3*z**2 - 6*z - 2. Is h(v) a composite number?
True
Suppose -156 = -5*r + 229. Is r composite?
True
Suppose 92*i = 98587 + 463809.