ite?
False
Suppose 112380 = -45*o + 2956515. Is o composite?
True
Suppose 4*y - 3*z = -2*z + 4, -2*y + 16 = -4*z. Suppose y = -4*p + 5*p - 3*k - 1638, 2*p = 3*k + 3261. Is p composite?
True
Let u(t) = t + 14. Let z be u(-12). Suppose z*f - 28 = -2*f. Is (-1)/f - 2616/(-84) a prime number?
True
Let s = -35 - -35. Suppose 4*m - 8 = s, -5*k - 4*m = 1187 - 8000. Is k a prime number?
True
Is (-9644)/(-24)*(15 + -3) a prime number?
False
Let g(v) = 9*v**2 + 6*v + 2. Let r be g(-4). Suppose 584 - r = 6*z. Is z composite?
True
Suppose 0 = 2*g + 4*b - 652, 8*g - 1605 = 3*g - 5*b. Let h(m) = 113*m - 1. Let s be h(2). Let n = g - s. Is n prime?
False
Let c(w) = 228*w**3 - 4*w**2 + 4*w - 2. Is c(2) composite?
True
Suppose -4*a - 20 = -2*a + 5*j, 5*j = -20. Suppose 4*q - 4*l - 8 - 4 = 0, a = -q + 2*l + 4. Is 267/q - (-12)/(-24) composite?
True
Let v be (-15)/6*(-6)/5. Suppose -29 = -v*r + 4*r. Let h = r - -100. Is h a composite number?
False
Let v = 11566 - -3345. Suppose -v = -12*r - r. Is r prime?
False
Let c(a) = -2785*a + 34. Is c(-1) a composite number?
False
Let i be 0/(-1) + 6/24*8. Is (-173888)/(-80) - i/(-5) a prime number?
False
Suppose -4*b + 297 = -467. Suppose -b = 5*f - 1096. Is f composite?
False
Let t = 409 - 230. Is t a prime number?
True
Suppose -20 = 5*b - b, 4*w - 374848 = 4*b. Is w composite?
True
Let y(g) be the first derivative of 7*g**2/2 - 2*g + 15. Is y(13) composite?
False
Let g = -26 + 29. Suppose 0 = 2*n - 2*f - 1570, g*f = -n + 2*f + 789. Is n prime?
True
Suppose 3*z - 6*z - 3 = -5*p, 0 = 4*p - 2*z - 4. Suppose -677 = -s + 2*l, 0 = p*s - 2*l - 2711 + 688. Is s a prime number?
True
Is (-328)/123 - (-2831)/3 a composite number?
False
Let w(x) = -2247*x + 13. Is w(-2) a composite number?
False
Suppose 5*i - 10874 = -f - 0*f, 2*i + 4 = 0. Suppose 0 = -4*q + 2*h + f, 0*q - 5*h - 2739 = -q. Is q a composite number?
False
Suppose 0 = -x - 3*g + 10, x + 0*g - 10 = 3*g. Let o(w) = -w**2 + 9*w + 4. Let l be o(x). Is (-472)/l + 3/9 a composite number?
False
Let u be (9/6)/(6/(-40)). Let v = u - -12. Suppose 3*h - 407 = -4*m + 40, -298 = -v*h + 3*m. Is h a prime number?
True
Let j(t) = -25*t**3 - t**2 - 17*t - 17. Is j(-6) a prime number?
True
Suppose -5*y - 13 = 4*c, 2*c + y = 4*y + 21. Let l(h) be the second derivative of 35*h**4/6 + h**3/3 - 5*h**2/2 + 9*h. Is l(c) a prime number?
True
Suppose 4*h - 64006 = 2*j, 2*h = -h - 2*j + 48001. Is h a composite number?
False
Let f be -7 + (-16)/(-4) - 0. Let p(w) = w**2 + 3*w - 3. Let h be p(f). Let b(o) = -167*o - 4. Is b(h) a prime number?
False
Let z(r) = 2*r**2 - 2*r - 18. Let p be z(-3). Let h(x) = 77*x**2 + 3*x - 11. Is h(p) a prime number?
False
Let f(p) = -2*p + 16. Let z be f(5). Let r(c) = -15*c - 14. Let j(k) = k + 1. Let w(x) = -3*j(x) - r(x). Is w(z) prime?
True
Suppose 0 = -7*d + 2*d. Let f be -8 - 12/(d + 4). Let y = 24 + f. Is y composite?
False
Suppose 0 = 3*l + 12, -4*l - 192 = 4*s - l. Let g = 4 - s. Let c = -18 + g. Is c prime?
True
Let o = 29 + -27. Suppose -14 = -m + 2*d, -7 = 3*d + o. Suppose -m*k + 11*k - 1506 = 0. Is k a prime number?
False
Let w be (4 - 0)*(3 + (2 - 3)). Let n = 2107 - w. Is n a prime number?
True
Let p(j) = 29570*j**3 + 6*j**2 - 3*j - 2. Is p(1) prime?
False
Let x = -10257 + 72142. Is x a prime number?
False
Suppose -12168 = 13*o - 47554. Is o prime?
False
Let w = 1346 + 1661. Is w a prime number?
False
Let m(g) = g**3 - 3*g**2 - 4*g + 4. Let i be m(3). Let t(u) = -u**3 - 9*u**2 - 7*u + 11. Let c be t(i). Suppose c*r - 794 = 127. Is r a composite number?
False
Let x be (-2)/(10/7427) - 36/60. Is (0 + x/(-10))/(7/35) composite?
False
Let q(a) = -a**3 + 5*a**2 - 3*a - 2. Let y be q(4). Suppose 180 = y*r - 1258. Is r prime?
True
Suppose -3*m + 152 = m. Suppose -m*p + 12930 = -32*p. Is p a prime number?
False
Let w be (-1 - (-14)/6) + (-58344)/(-36). Let y = w - 987. Is y prime?
False
Suppose c = -5*y + 288 - 8, 3*y = -3*c + 168. Let r = y - 18. Let i = 44 + r. Is i composite?
True
Let k = -17802 - -25998. Is ((-6)/9)/((-8)/k) a prime number?
True
Let x(k) = -3*k**3 + 4*k**2 - k. Let j(p) = -2*p**3 + 5*p**2 - 2*p + 1. Let s(w) = 2*j(w) - 3*x(w). Let v be s(1). Is (v + -38)/(2/(-5)) a composite number?
True
Let u be (4/14)/(10/2170). Suppose 3*f + 32 - 83 = 0. Let z = f + u. Is z prime?
True
Let f be (-8)/(-6)*27/18 + -4. Is ((-2054)/4)/(5/f - -2) composite?
True
Is 306064/352 + ((-2)/4 - 0) a prime number?
False
Suppose 5*x + 271 = -3*j + 3098, 5*x + 4*j = 2831. Let g = -222 + x. Suppose 3*c - 136 - g = 0. Is c prime?
False
Let r = -476 + 1322. Let i = r + -444. Suppose -11*v + i = -8*v. Is v a prime number?
False
Let n be 1704/5 + ((-16)/20)/1. Let s be 2/((8/(-1002))/(-2)). Let q = s - n. Is q composite?
True
Suppose 7779 = y + 5*w, -2129 - 5632 = -y + 4*w. Is y prime?
False
Let c(p) be the second derivative of 104*p**3/3 + 3*p**2/2 + 6*p. Is c(1) a composite number?
False
Let d = 4 + -4. Suppose d = -12*v + 8*v - 932. Let g = v + 472. Is g a prime number?
True
Let n = -1923 + 3413. Suppose -2*r - 4*a + n = -0*a, 4*r - a = 2971. Is r prime?
True
Let j(h) = 620*h + 47. Is j(16) a composite number?
False
Let k(g) = -55*g + 24. Suppose -u + 5*u = -44. Is k(u) composite?
True
Let f(k) = -3*k**3 + 52*k**2 + 53*k + 14. Let x(o) = 2*o**3 - 35*o**2 - 35*o - 9. Let w(h) = 5*f(h) + 7*x(h). Is w(15) a prime number?
True
Suppose 6 - 1 = o. Suppose -h = 3*h - 3*v + 4, 0 = -5*h + 5*v - 10. Suppose 0 = -c, 220 = -h*n + 6*n + o*c. Is n a composite number?
True
Suppose -4*o = -o + 1098. Let i be (5/2)/((-3)/o). Suppose 0 = p + 54 - i. Is p composite?
False
Let b = 301 - -2032. Is b composite?
False
Let d(x) be the third derivative of 5*x**4/12 - x**2. Let j be d(-2). Let k = j + 73. Is k composite?
False
Suppose -5*d - 3*g - 42 = 82, -4*d = -5*g + 114. Let b be 2/(-11) + d/(-22). Is 2 - (-30 + (-1)/b) a prime number?
False
Let s(v) be the first derivative of -101*v**2 - v + 3. Let t be s(-4). Suppose -4*a + 2329 = -p, p = 3*a - t - 941. Is a a prime number?
False
Suppose 5*r - 3*c = 112633, 0 = 4*r - 9*r - 2*c + 112653. Is r composite?
True
Suppose 9*f - 446340 = -113763. Is f composite?
True
Let f(v) = 12*v + 2. Let y be f(-3). Suppose -15*o = -17*o + 24. Let p = o - y. Is p a composite number?
True
Let b = -80228 + 115591. Is b a prime number?
True
Suppose w - 64 = -7*w. Suppose 0 = -w*h - 3*h + 22561. Is h composite?
True
Let z = 28656 + 9211. Is z a composite number?
True
Let w(q) = -q**2 - 15*q + 19. Let u be w(-16). Let f(r) = r + 1 + 4*r**2 + 19*r**2 - 7 + 9. Is f(u) composite?
True
Suppose 4431 - 23 = 2*l. Let r = -1487 + l. Is r composite?
True
Let g = 9 + -8. Suppose -g - 11 = v. Is (0 - v) + (-4)/2 composite?
True
Suppose 2*x - 14203 = 6*y - 7*y, 0 = 2*y - 5*x - 28424. Is y composite?
False
Let x be ((-48)/(-18))/(1/3). Let m(c) = c**2 - x*c + 5*c**2 - 2*c**2 - 7. Is m(7) a prime number?
False
Let n = -4188 - -6659. Suppose 0 = 3*u - 3*l + 62 - n, -4 = -l. Is u prime?
False
Suppose -912 = 2*c - 5038. Is c a prime number?
True
Suppose 0 = -h - 5*t + 66, -124 = h - 3*h - 2*t. Suppose 0 = 12*m - 11*m - h. Suppose -5*a - 3*b + m = 0, -5*a - 4*b + 63 = -0*b. Is a composite?
False
Suppose 0*r - r = -5. Suppose 2073 - 488 = -r*o. Is (o - (2 + -2))*-1 prime?
True
Let t = 295 + 337. Is t/5 + 36/60 composite?
False
Let f(g) be the first derivative of g**3/3 + 11*g**2/2 + 3*g + 4. Let p be f(-12). Is p*((-124)/(-3))/4 prime?
False
Let g(q) = -6 - 1 - 360*q + 20*q. Is g(-2) a composite number?
False
Let n = 504 + 11254. Is n a composite number?
True
Suppose -v = -2*b + 5, 2*v = -3*v + 5*b - 5. Is ((-10)/v)/(30/(-585)) a composite number?
True
Let k(z) = 3*z**2 - 3*z - 1. Let a(b) = -1. Let m(p) = -p**2 - 6*p + 4. Let j(q) = -a(q) + m(q). Let h be j(-6). Is k(h) composite?
False
Let r = 9 - 7. Let l = -127 - -358. Suppose -65 = r*s - l. Is s a composite number?
False
Suppose -28*i + 188635 = 29903. Is i a prime number?
True
Suppose -8*u = -10632 - 16864. Is u composite?
True
Let l(x) be the first derivative of -1/2*x**2 + 1 + 72*x**3 + 0*x. Is l(1) composite?
True
Suppose 3*s - 1853 = -2*g + g, 5*g = s - 639. Let p = s + -134. Is p composite?
True
Suppose 21663 = 8*v - 7033. Is v prime?
False
Let i(u) = 2*u**2 - 32*u**3 - 2*u - 30*u**3 + 57*u**3 + 2 - 5. Suppose -2 =