4640758)/(-808) prime?
True
Let t be (-8308)/12 - 1/(-3). Is t/(-15) - (-16)/(-120) a composite number?
True
Let o = 519 + -1192. Suppose -4*m + 5*p = 1799 - 450, -1012 = 3*m - 4*p. Let j = m - o. Is j composite?
False
Let i = -1767 + 2320. Is i prime?
False
Suppose 0*y = -3*y + 4197. Let g = y - 527. Is g/14 - 2/7 a prime number?
False
Let t(m) = m + 114*m**3 - 5*m + 19*m**2 - 23 - 113*m**3. Is t(-17) prime?
False
Let o(a) = -a**3 - 9*a**2 - 12*a - 12. Let r be o(-8). Let h be r/(-4)*(-12)/(-5). Let n = h - -25. Is n composite?
False
Suppose -14*s - 6*s + 40 = 0. Let p(b) be the second derivative of 11*b**5/20 - b**4/12 - b**3/2 + 5*b**2/2 + b. Is p(s) a composite number?
False
Is -2 + 1 + (-2 - (-2 - 380)) prime?
True
Let q = 994 - 548. Is ((-4)/4)/((-2)/q) composite?
False
Let f = -1 - -11. Suppose -f*o = -12*o - 1276. Is o/(-4) - 30/(-20) prime?
False
Suppose -3*s - 2*n = 3*n - 21004, 0 = 3*n + 3. Is s a composite number?
True
Suppose -3*a + y + 4 = 0, -5*a + 1 + 3 = -y. Let g(m) = -m**3 + m**2 + 2. Let w be g(a). Suppose 8*u - 3*u = w*b + 1983, -b = 3*u - 1181. Is u composite?
True
Let d = -18 + 20. Let v be (d*-1)/((-2)/16). Let z = v + 9. Is z a prime number?
False
Suppose 4*g = 4*k + 25624, -12*k + 32040 = 5*g - 7*k. Is g a composite number?
True
Let q be -1 + 0 + -9 + 12. Suppose -h - 2*h - 961 = -4*u, 0 = q*u - h - 483. Suppose 4*w - u = 4*y, w + 2*y - 33 = 22. Is w composite?
False
Let b = 8470 - 953. Is b prime?
True
Suppose 37*i - 30*i - 3787 = 0. Is i prime?
True
Let g(f) = -2*f**2 + 7*f + 5. Let s be g(-4). Let d = s - -86. Suppose -206 + d = -5*a. Is a a composite number?
True
Suppose -317202 = 7*t - 13*t. Is t a prime number?
False
Let i = 67 + -62. Suppose -4579 = -4*k + i*w, -k + 0*w = -w - 1144. Is k prime?
False
Suppose -x = -4*x - 3117. Let h = 1986 + x. Let w = 1396 - h. Is w a composite number?
False
Suppose -2*r = 4*r + r. Suppose 2*l - 5*h - 1357 = r, 2*l + 5*h = 1477 - 70. Is l a prime number?
True
Let s be 0 + (7 - 0) - 1. Let l(d) = -d**2 + 6*d + 53. Let o be l(10). Let r = o + s. Is r a composite number?
False
Let g(l) = l**2 - 5*l - 9. Let n(r) = r**3 - 3*r**2 - 3*r + 1. Let p be n(3). Is g(p) composite?
True
Suppose -4*d + 3*y + 66272 = 0, 0*d - 49683 = -3*d - 3*y. Is d composite?
True
Suppose 92694 - 26254 = 3*i - p, -4*i + 3*p + 88585 = 0. Is i a composite number?
False
Let y(h) = -h**3 + 6*h**2 + 16*h + 17. Let j be y(13). Let x = j + 1779. Is x composite?
False
Let v(u) = -u**2 - u - 2. Let o be v(2). Let d be 3 + 668/o*-2. Suppose d = 2*a - 3*h, -3*h - 253 = -3*a + 2*h. Is a a composite number?
True
Let w(t) = -t - 18. Let i(h) = 17. Let p(z) = -3*i(z) - 2*w(z). Let c be p(5). Is (134/(-8))/(c/60) a prime number?
False
Let i(h) = 32*h**2 + 28*h - 29. Is i(12) composite?
True
Let g be (20/(-25))/((-2)/(-10)). Let z be (398 - 2) + g + 5. Suppose 0*l - l + z = 0. Is l composite?
False
Suppose 16*w = 21*w - 18805. Is w a composite number?
False
Suppose -2 = -5*r + 3, -c = r - 36. Let b = 70 - c. Let z = -16 + b. Is z composite?
False
Let q(y) = 6122*y**2 + 7*y - 8. Is q(1) a composite number?
False
Suppose -f + 12 = 4*k - 4*f, 3*f = 3*k - 6. Suppose k*s = 3*s - 12. Let x(a) = -77*a - 9. Is x(s) a prime number?
False
Suppose 62*q = 54*q + 52168. Is q composite?
False
Let g(f) = -f**3 - 4*f**2 - 3*f + 3. Let y be g(-3). Suppose -y*n + 1760 = 41. Is n a prime number?
False
Is 7/126*-3 - 15789/(-18) a composite number?
False
Let n = -1913 + 1321. Let o = -161 - n. Suppose -1310 + o = -3*s. Is s prime?
True
Let q = -22 + 308. Let f(g) = g**3 + 2*g**2 - 4*g - 1. Let c be f(-3). Suppose -q = c*v - 4*v. Is v a prime number?
False
Suppose -l + 3706 = -5*c, -l - 7370 = -3*l - 4*c. Is l a prime number?
True
Let b(q) = 12*q**2 + 8*q - 10. Let j be b(5). Suppose 108 + j = 2*s - l, -5*s + 1089 = -l. Is s prime?
False
Let l be (2 - 5) + 6/2. Suppose s + 82 - 12 = l. Is 1/((-1)/s) + -1 composite?
True
Let x(v) = -127*v + 126. Is x(-11) a prime number?
True
Let y be (-270)/(-36)*4/(-6). Let h(v) = 12*v + 11. Let j(l) = -24*l - 22. Let m(d) = 5*h(d) + 3*j(d). Is m(y) a prime number?
False
Suppose 4 = -m, 3*m + 12 = p - 0*m. Suppose p*c - 3*c + 201 = 0. Is c composite?
False
Suppose -9*r + 12976 + 68015 = 0. Is r prime?
True
Let n be (-6)/27 - 183/27. Let c(y) be the first derivative of -y**4/4 - 4*y**3/3 + 7*y**2/2 - 3*y + 15. Is c(n) a composite number?
True
Suppose -c = 9 - 12. Suppose c*f = 17 + 220. Is f a composite number?
False
Suppose -160*j + 3129 = -157*j. Is j composite?
True
Is 3 + -9 + (-2873)/(-17) prime?
True
Let u = -20 - -31. Let g(n) = 5*n - n**2 + 0*n - 3*n**3 - u*n**3 - 4*n + 1. Is g(-4) composite?
False
Let t(m) = 7*m**3 - 5*m**2 + m + 1. Let p be t(7). Suppose 7*i + p = 11*i. Is i composite?
False
Suppose n - 257 = 2*a + 824, -4*a + 4324 = 4*n. Is n composite?
True
Is (-31)/(-186) + 57029/6 prime?
False
Suppose -o = 3*u - 13, 0 = u - 7*o + 3*o - 13. Suppose -7*x - 1792 = -u*x. Let y = -629 - x. Is y a prime number?
False
Suppose 1135 = 2*u - 1237. Let h = u - 756. Suppose h = -2*k + 4*k - 2*j, 3*k - 653 = 5*j. Is k prime?
True
Let w(q) = -2*q**3 - 7 + 3*q - 3*q**2 + 4*q**3 + 7. Let a be w(3). Is 339/4 + 9/a a prime number?
False
Let j be (-109)/(-2)*-12 + 2. Let n = 427 + 668. Let z = j + n. Is z a composite number?
False
Suppose -5*s - 1009 = -2714. Suppose -2*z - s = -1287. Is z composite?
True
Let f(z) = -z**2 + 11*z - 1. Let c be f(11). Let m(i) = -1758*i**3 + 3*i**2 + i - 1. Is m(c) a composite number?
False
Let j(q) = q**2 + 6*q + 2. Let i be j(-6). Suppose 0 = -i*o + 272 + 54. Is o prime?
True
Suppose 2*x + 4*p = 24, -p + 7 = -4*x + 2*p. Suppose x*d - 2*i = 460 + 166, 0 = d + 5*i - 289. Is d a composite number?
True
Let v(d) = d**2 - 2*d - 9. Let j be v(4). Let o(y) = 2 - 410*y + 4 - 2 - 5. Is o(j) prime?
True
Suppose 26108 = 7*q - 22101. Is q a composite number?
True
Let s be -4 + 1 - (1 + 1). Let y(f) = -47*f + 4. Is y(s) a prime number?
True
Let p(b) = -2*b**2 - 10*b + 4. Let z be p(-5). Let x be -12 + z - (-9 + 5). Is (2/x)/(4/(-1688)) composite?
False
Suppose -4*j + 70591 = -3*w, -w - 5916 = -3*j + 47026. Is j a composite number?
True
Suppose -101*g + 448789 = -90*g. Is g a composite number?
True
Let n(r) = -2*r**3 + 5*r**2 - 17*r - 241. Is n(-31) a composite number?
True
Suppose -14*x = -74826 + 3496. Is x prime?
False
Let d(a) = 58*a**3 + 7*a**2 - 3*a - 3. Is d(8) composite?
True
Let c(j) = -35*j**3 + 5*j**2 - 2*j - 3. Let z be c(-5). Is z/6 + 1/(-6) prime?
True
Let b = -2203 + 3992. Suppose 0 = -5*n + b + 2686. Is n prime?
False
Let i = -4730 - -26599. Is i prime?
False
Let t(v) = v**3 + 5*v**2 - 7*v + 1. Let p be t(-6). Suppose p*g - 2*g = -10. Is 253 + -2 + (g - -2) a composite number?
False
Let d(s) = -s**3 - 4*s**2 + 6*s + 11. Let v be d(-5). Suppose -v*m + 1731 = -3735. Is m a prime number?
True
Let c = 1658 + 1299. Is c composite?
False
Let n = 8935 - 5770. Suppose l = 6*l - n. Is l prime?
False
Let m = 11190 + -4171. Is m composite?
False
Let q(l) = -12 - 74*l + 4 - 63*l - 160*l. Is q(-5) a composite number?
True
Suppose -4292 + 18748 = -2*w. Let j = -5089 - w. Suppose -5*u - j = -4*p, -2*u - 1062 = -2*p + 2*u. Is p a prime number?
True
Let y(k) = -16*k**3 - 6*k**2 - 8. Let f(v) = -16*v**3 - 7*v**2 - v - 9. Let d(b) = 3*f(b) - 4*y(b). Is d(2) prime?
True
Suppose c - 61521 = -2*h, 3*h - 92299 = 17*c - 15*c. Is h composite?
False
Let z(v) be the second derivative of -v**3/6 + 3*v**2 + 12*v. Let t be z(-7). Let k = t - -114. Is k prime?
True
Suppose -2*p + 4*k + 4826 = 0, 3*p - 7239 = 5*k - k. Is p prime?
False
Suppose -3*t = 0, -9*t = -2*f - 5*t + 11582. Is f prime?
True
Let g(z) = -z**3 - 6*z**2 - 2*z + 7. Let f be g(-5). Let n = f + 6. Is 37 - ((n - -3) + 1) a composite number?
True
Suppose -31*s + 33*s = 1130. Is s a prime number?
False
Let l(d) = -d**3 + 14*d**2 - 8*d - 14. Let t = 15 + -6. Is l(t) composite?
True
Let h(d) be the first derivative of 7*d**3/3 - d**2 - 4*d - 9. Is h(11) composite?
False
Let s be ((-39)/(-4))/(5/1080). Suppose 4*u = s - 70. Is u a prime number?
True
Let c = 4481 - 2298. Is c composite?
True
Let o be 892/((-6)/(-40) - (-26)/(-65)). Let u = -2309 - o. Is u a prime number?
True
Let y(m) = 432*m**2 - 3*m + 14. Is y(5) composite?
False
Let b = 893 + -152