11*i**2 + 7*i + 7. Let b be j(6). Let f = b - -1030. Is f prime?
True
Let n = 138 - 308. Let v be ((-522)/4)/(2/4). Let a = n - v. Is a a composite number?
True
Let y be 4/(-6) - 55/(-15). Suppose -y = -3*p + 3. Suppose -2*z = p*z - 56. Is z prime?
False
Let r = -1886 - -4263. Suppose 5*p - r = 1963. Is (6/4)/(21/p) a prime number?
False
Suppose 100 = 4*b + b. Let f(h) = -72*h - 6. Let d be f(-1). Let s = d - b. Is s composite?
True
Suppose -59 - 31 = -5*c. Let s = c + -16. Suppose -569 - 261 = -s*o. Is o a prime number?
False
Let g(q) = 6*q**2 - 25*q + 18. Let u be 15 - (0 - (-3 - -1)). Let s(h) = 3*h**2 - 12*h + 9. Let t(d) = u*s(d) - 6*g(d). Is t(-8) a composite number?
True
Suppose 2*u + 1 = 11. Suppose k - 1487 = -p + 1072, -2*k + 5146 = -u*p. Is k composite?
True
Let s(m) = 3*m - 9. Let c be s(6). Let p be (40/(-12))/((-6)/c). Suppose -p*r + r + 140 = 0. Is r a prime number?
False
Let s = 4 - 0. Suppose -3 = -r, -3*q + 51 = -s*r - 0*r. Is q a prime number?
False
Let t(z) be the third derivative of z**5/15 - z**4/24 - z**3/6 + 102*z**2. Let o be (4/(-5))/((-3)/(-15)). Is t(o) a prime number?
True
Suppose -399*z + 393*z + 9858 = 0. Is z a composite number?
True
Let y be 5 - 4 - (1 + (-6 - -4)). Suppose -k + 11361 = y*k. Is k composite?
True
Suppose 4*b + f = 98998, -50*f - 123751 = -5*b - 53*f. Is b composite?
False
Let n(p) = 14*p + 1801. Is n(0) composite?
False
Is (750/625)/(4/19130) composite?
True
Suppose -5*a + 20126 = -10859. Is a a prime number?
True
Suppose -n - 73 = -r, -7*r = -6*r + 5*n - 79. Suppose 2*f + 0*s + 2*s - 124 = 0, f = -5*s + r. Is f a composite number?
False
Let d(h) = -32*h - 1. Let k be ((-39)/(-26))/(2/(-4)). Let s be 0 + (k - -3 - 3). Is d(s) prime?
False
Suppose 0 = 10*s - 6*s - 7060. Is s prime?
False
Let p(a) = -7*a + 2. Let t be p(-1). Let m(f) = f**3 - 8*f**2 + 5*f - 9. Let k be m(t). Suppose -4*i = -k - 1511. Is i prime?
False
Let g = 15344 + -7729. Is g a composite number?
True
Suppose 11*c - 117460 = -9*c. Is c a composite number?
True
Suppose -4*k + 2*f + 1468 = 5*f, -1808 = -5*k + 3*f. Suppose -n - 3*n + k = 0. Let x = 302 - n. Is x composite?
False
Let l = -11 - -3. Let r(h) be the third derivative of h**6/120 + 3*h**5/20 + h**4/24 + 11*h**3/6 - 3*h**2. Is r(l) a prime number?
True
Is (2 - (-2 - -11)) + 5154 a prime number?
True
Is 16/8*(-48021)/(-6) a composite number?
False
Let y(x) = -x**3 + 6*x**2 + 6*x - 1. Let g be y(5). Let q = -39 + g. Suppose 0 = -f + 2*w + 250 + q, 506 = 2*f + 4*w. Is f composite?
True
Let g be 4 - (-2)/8*0. Suppose d = -g, -z + 5*d + 371 = d. Is z a composite number?
True
Suppose 2*z + 0*z + 2*m - 666 = 0, 341 = z - m. Is z a prime number?
True
Suppose -4*a = 3*x - 3673, 5*x + 2*a - 4431 - 1672 = 0. Is x composite?
True
Let l(r) = 700*r + 197. Is l(12) a composite number?
False
Let k(w) = w**3 - 5*w**2 + 4*w + 1. Let s be 6*(-2*2)/(-8). Let a = s + 4. Is k(a) a composite number?
False
Let j(x) = -x**3 - 23*x**2 + 130*x - 19. Is j(-31) a composite number?
True
Let h(o) = 134*o**2 + 3*o + 14. Let b(n) = -n**3 - 16*n**2 - 14*n + 12. Let v be b(-15). Is h(v) a prime number?
False
Suppose -8*u + 11*u - 93 = 0. Let z = 88 - u. Is z a prime number?
False
Let z = -1030 - -4937. Is z composite?
False
Let x(k) = 240*k - 21. Let y(n) = 80*n - 7. Let i(v) = 2*x(v) - 7*y(v). Is i(-12) a prime number?
True
Let i = -6059 + 11982. Is i a prime number?
True
Suppose 5 = 2*t - 9. Suppose t*o = 4*o + 2523. Is o a composite number?
True
Suppose 5*r - 2285 + 490 = 0. Is r composite?
False
Let s(p) = -8*p**3 - 6*p**2 + p + 5. Let z(q) = -17*q**3 - 13*q**2 + 3*q + 11. Let m(h) = 7*s(h) - 3*z(h). Let y = -3 + 1. Is m(y) a prime number?
False
Let l(a) = -a**2 + 5*a + 8. Let t be l(6). Suppose t*j + 2*j = 36. Suppose -14*p + 275 = -j*p. Is p a composite number?
True
Let y(s) = 28*s**2 + 53. Is y(6) prime?
True
Let b(q) = 468*q**3 + q**2 + q - 1. Let g(p) = -2*p. Let j be g(-1). Let w(y) = -y + 3. Let r be w(j). Is b(r) a prime number?
False
Let v(c) = 272*c**2 + 15*c - 13. Is v(-6) prime?
True
Let r = 40 + -38. Suppose -2*p = -0*p + r*d - 4406, -d = 3*p - 6609. Is p composite?
False
Suppose -22*z + 32542 = -49320. Is z a composite number?
True
Suppose -4*o + 48836 + 20808 = 0. Suppose 4*w - o = -1079. Is 5/((-30)/w)*-2 a composite number?
False
Let y(i) = i**3 - 3*i**2 - 10*i - 5. Is y(16) prime?
True
Let b(h) = -8*h - 13 + 33*h - h - 7*h. Is b(6) prime?
True
Let k(n) = -99*n + 5. Let q be (9/6)/((-9)/12). Is k(q) a composite number?
True
Let o(t) = -140*t + 19. Let s be o(5). Let p = 1268 + s. Is p a prime number?
True
Let r = 40 - -35. Suppose -3*n - 2*f = -r, 0 = 4*n + n - 5*f - 150. Suppose 0 = h + 4 - n. Is h composite?
False
Suppose v - z + 6384 = 44707, 5*z = -4*v + 153319. Is v prime?
False
Let k = -408 - -5297. Is k a composite number?
False
Let u(l) = 8*l + 4. Let p be u(-1). Let w(s) = -1. Let q(i) = 67*i + 7. Let x(r) = p*w(r) - q(r). Is x(-4) a prime number?
False
Is 3/6 + 2/((-4)/(-31073)) composite?
True
Let y(k) = -6428*k + 74. Is y(-1) composite?
True
Suppose -20 = 3*y + y. Is (-20)/y*1 - -903 a prime number?
True
Suppose -2*a = -7*a. Let u(m) = -m**3 - m**2 + m + 2. Let o be u(a). Suppose 3*z - 451 = -o*p, 4*z + p = 5*p + 588. Is z a composite number?
False
Let n = 40 - 32. Is (-4)/n*-703*2 prime?
False
Let k(z) be the third derivative of z**5/6 + z**4/24 - z**3/3 - z**2. Let x(g) = 3*g**2 + 78*g + 5. Let m be x(-26). Is k(m) a prime number?
False
Let m(c) = 18*c**2 + 59*c - 18. Is m(7) a composite number?
False
Let s = -6 + -9. Let i = -1 + s. Let h = 19 + i. Is h prime?
True
Let q(z) = 5*z**2 + 4*z - 6. Let l be (-126)/27*6/4. Is q(l) prime?
True
Let c be (4/(-10))/(2/(-60)). Let g = -8 + c. Suppose 0*y - 373 = -2*h - y, -g*y = h - 183. Is h a composite number?
True
Suppose -2*s + 3 = -11. Let n = -10 + s. Is (-3 + n/(-2))*-34 a prime number?
False
Let g(c) = -57*c**3 + 19*c + 9. Is g(-5) prime?
True
Let z(a) = 13*a**3 - a**2 + a + 2. Let k be z(2). Suppose -k = j - 289. Is j composite?
True
Is ((-1)/1)/((10 - 2)/(-27064)) composite?
True
Let d = 5636 - 783. Is d a composite number?
True
Suppose 31363 = 19*y - 151854. Is y a composite number?
False
Suppose -n - 14 = -5*u - 36, 5*n + 2 = -3*u. Suppose -n*b + 50 = -4*y, -2*y = -5*b + 3*b + 26. Is 1336/y*6/(-4) a prime number?
True
Let n be -5 - (-18 + -3 - 2). Let m(h) = 35*h**2 - 43*h + 11. Is m(n) a prime number?
False
Let r(b) = b**2 + 2*b - 11. Let z be r(-5). Is (-1)/4 - (1 + (-2697)/z) a composite number?
False
Suppose 21*c - 23802 = 15*c. Is c composite?
False
Suppose 666 = 2*q + 4*y, -3*q - 122 = 2*y - 1117. Is q prime?
True
Suppose -j + 2648 = -4*h - h, 0 = 2*h + 6. Is j a prime number?
True
Let r be (-4 + 8 - -16) + 2. Suppose -r*l = -25*l + 159. Is l composite?
False
Let m(t) = -t**3 - 30*t**2 - 30*t - 5. Is m(-36) a prime number?
False
Let q = 4266 + -2113. Is q a prime number?
True
Is (2 - -5728) + 2*7/(-14) composite?
True
Suppose -5*x = 4*u - 32248, 4*u + 7*x - 3*x - 32244 = 0. Is u a composite number?
True
Is ((-4)/(-6))/(-5 + 2216485/443295) prime?
False
Suppose -5233 - 6645 = -2*j. Is j prime?
True
Suppose 10*n + 96 = -124. Is ((-41622)/(-132) - 4/n)*2 a composite number?
False
Let s(x) = -2*x**3 + 55*x**2 - 20*x + 34. Is s(27) a prime number?
True
Let k(y) = -y**3 - 12*y**2 - 11*y + 7. Let a be k(-11). Suppose 2*l - a = -15. Let f(u) = -3*u - 2. Is f(l) composite?
True
Suppose 3*t - 11*t = -2*t. Suppose t = 38*u - 35*u - 603. Is u composite?
True
Suppose -3*u - 740 = -u. Let a = u - -701. Let g = -112 + a. Is g prime?
False
Suppose -p + 5485 = p + 3*u, 4*u - 2745 = -p. Is p composite?
False
Let r(a) = a + 12. Let f be r(-9). Suppose -12*b + 3*m - 10 = -13*b, -4*m + 24 = 4*b. Suppose -2*i + 118 = 2*p + 18, f*p - 203 = -b*i. Is i prime?
True
Suppose 0 = 3*w + 38*w - 1459477. Is w composite?
False
Let r = 2765 - 1632. Is r prime?
False
Let k be (-145)/(-10) - (-2)/(-4). Suppose -4*s + 3*t + k + 0 = 0, 3*s - 5*t = 5. Suppose s*q + 112 = 1167. Is q prime?
True
Let s = -1375 + 2048. Is s a prime number?
True
Let v be ((-2)/6)/((-7)/21). Let k be 652/6 + v/3. Suppose j - 140 + 10 = -4*h, -3*h = -j + k. Is j composite?
True
Let c = 75 - 45. Let x(b) = b**3 - 6*b**2 - 4*b + 17. Let i be x(9). Suppose 2*h - c - i = 0. 