(-21)/(-12))/(-7) + z/20 composite?
True
Is (-108)/(-11) + -10 - 1703750/(-22) a prime number?
False
Is -1 + (-17812)/(-3) - (-168)/252 composite?
True
Suppose 5*x = 2*l - 7085, 17720 = 10*l - 5*l - 5*x. Is l composite?
True
Let i(l) = -26*l - 65. Let y be i(7). Let g = y - -378. Is g composite?
False
Suppose -5*d = -3*i + 12, -14 = -3*i + 2*d + 7. Let r(j) = j**3 - 7*j**2 - 13. Is r(i) composite?
False
Suppose 1613 = 5*u + 3*p, -2*p - 2*p - 1284 = -4*u. Suppose -3*r = -10*r + u. Is r a prime number?
False
Let s = -47 - -51. Suppose 736 = x + 5*k - 137, 2*x + s*k = 1722. Is x a composite number?
False
Suppose s + 4*q - 431 = 468, 0 = 4*s - 5*q - 3701. Is s prime?
True
Let a = 4 + -1. Suppose -5*o + 2*o + s = -789, a*o - 789 = 4*s. Is o prime?
True
Suppose -5*f = -4*w - 6999, -3*f + 2529 = -2*w - 1670. Is f a prime number?
True
Let x = -4956 - -8603. Is x composite?
True
Suppose 283 + 307 = 4*s + 2*k, 0 = 4*k + 20. Suppose s = u - 11. Is u composite?
True
Suppose 2*r + 48 = s - 664, 0 = -s + 5*r + 706. Suppose 5*c - s - 4679 = 0. Is c a prime number?
False
Let r(z) = z. Let j = -8 + 10. Let n be r(j). Suppose 0 = 3*v + l - 66, -2*v = 3*l + n*l - 31. Is v prime?
True
Suppose 2*b = 2 + 8. Let d = b + -6. Is (-4074)/(-49) + d/7 composite?
False
Is (27 - 48)/(3/(-19)) a prime number?
False
Is (1 - 39)*-866 - (-3 - -2) a prime number?
True
Let j(c) be the first derivative of c**4/6 - 5*c**3/6 + c**2/2 + 2*c - 5. Let b(y) be the first derivative of j(y). Is b(-4) prime?
True
Let w(v) = 11*v + 53. Let o be w(22). Suppose 23*q + o = 28*q. Is q prime?
True
Suppose 9*f - 13*f - 5620 = 0. Let c = f - -5790. Is c a composite number?
True
Let x(f) = 2*f + 6187. Let m be x(0). Suppose -m - 162 = -h. Is h a prime number?
False
Let i = 149 + 318. Suppose i = -3*j + 4*j. Is j a composite number?
False
Let t(r) = 103*r**2 + 75*r - 41. Is t(31) composite?
False
Is (12/(-9) + 1)*-9597 a prime number?
False
Let s = -135 - -52. Let w = 384 - s. Is w a prime number?
True
Let m(h) = -3*h**3 + h**2 - 1. Let j be m(-1). Suppose i - j = 2*i, i + 2023 = 2*u. Suppose 0 = 4*v - u + 118. Is v a prime number?
True
Suppose -2*x = 3*d + 14, -d - 10 = -x + 3*x. Is (-36)/(-24) + (-630)/x prime?
False
Suppose 0 = -2*x + 4*r - 9 - 5, -3*r + 12 = 0. Is -1*(1 - 1 - 127*x) a composite number?
False
Suppose -3*i + r = 3*r - 19, 0 = 5*i + r - 27. Suppose -3*q + 4*q + 127 = i*a, -5*q = -15. Suppose 3*g + 150 = s - a, 4*s - 3*g = 749. Is s a composite number?
False
Let z(k) = 2*k + 14. Let g be z(0). Suppose o - 2*o = 4*b - 17, 2*o + g = 4*b. Is (b - 0)*1940/16 a prime number?
False
Is 6042/(-4)*(56/12)/(-7) prime?
False
Let y(x) = 2*x + 19. Let z be y(8). Let b = z - 33. Suppose 355 = r - 3*j, 168 + 197 = r + b*j. Is r prime?
False
Suppose -2*q + 24 = 2*q. Suppose -q = 2*r, -6*z + 2*r = -2*z - 10. Let k(v) = 192*v**2 - 1. Is k(z) composite?
False
Let m be (6/(-5))/(51/170). Let o(x) = -100*x - 3. Is o(m) composite?
False
Let d = 21 + -19. Let u(c) = 4*c**d + 9*c - 18*c + 3 + 3*c**3 + 10*c. Is u(4) prime?
True
Let d(t) = t**3 + t**2 + t - 7. Let h be d(4). Suppose -h*k + 1774 = -76*k. Is k prime?
False
Let j(t) = -5 + 9 - 497*t - 6 + 1. Suppose -y + 5*y - 2*u = -10, 1 = -3*y - 5*u. Is j(y) composite?
True
Let c(d) = 210*d**2 + 18*d - 33. Is c(-6) a composite number?
True
Let q = 4 - 0. Let w(f) = 126*f + 15. Is w(q) a prime number?
False
Suppose -o + 7 = 4*s, 2*s - 5 = -3*s - 5*o. Is (-1)/(1053/527 - s) a composite number?
True
Let n(p) = p**3 - 29*p**2 - 117*p + 81. Is n(40) a prime number?
True
Let d(f) = -4*f**3 + 4*f**2 - 3*f + 50. Is d(-13) composite?
True
Let s(x) = 4*x**2 - 6*x - 43. Let z(k) = k**3 - k**2 - 2*k - 18. Let l be z(0). Is s(l) composite?
False
Suppose 3 - 3 = -6*l. Suppose -5*m + 5*y = -375, -306 = -4*m + y - l*y. Is m a prime number?
False
Let s(h) = 5*h - 14*h + 9*h**2 - 3*h + 11. Is s(8) prime?
True
Let o be (-9)/(-6)*12/(-18). Is -2 + o - -2 - -1674 prime?
False
Let s(u) = -1121*u**2 - 3*u - 1. Let m be s(-2). Let g = -7813 - m. Let a = -2355 - g. Is a composite?
True
Suppose 5*k = 2*w + 48975, 68*k - 66*k = -w + 19599. Is k a prime number?
False
Suppose -3*c = -2*v - 25379, 3*c + 8467 = 4*c + 3*v. Is c prime?
True
Is (-13531)/(-14)*18 + 4 a composite number?
False
Let n = 1923 + 1258. Is n a prime number?
True
Let v = -886 + 1844. Is v composite?
True
Let q = -273 + 467. Is q composite?
True
Let u = 1 - -24. Suppose -2*j + 7*j = -u. Let c(k) = -11*k - 4. Is c(j) a composite number?
True
Suppose 0 = 5*p, c - p = -2*p - 37. Let m be c*(-3)/6*16. Suppose -d + m = -11. Is d composite?
False
Let l = 14 + -9. Suppose -3 = q - 3*c, -l*c = q + 4*q - 25. Is (83 - 2) + (1 - q) prime?
True
Suppose 0 = -21*x + 17*x + 4016. Suppose 0 = -5*q - 12 + 32. Suppose 8*a = q*a + x. Is a prime?
True
Suppose -4*m - 64977 = -h, 38*m - 40*m = -2*h + 129924. Is h prime?
False
Let o(r) = -3*r**3 - 20*r**2 + 5*r + 9. Let t(a) = -a**3 - 7*a**2 + 2*a + 3. Let z(s) = 3*o(s) - 8*t(s). Suppose 2*p + 2*y = 3*y - 13, 15 = 3*y. Is z(p) prime?
True
Let h(n) = 193*n + 1. Suppose 0 = -3*b + 3*y + 32 - 5, 2*y + 6 = b. Is h(b) a composite number?
True
Let c(b) = -b**2 + 13*b - 12. Let g be c(12). Suppose -9 = 3*m, g*o - 3*m + 8006 = 5*o. Is o prime?
False
Let f(r) = 50*r**2 + 46*r**2 - 9*r + 21 + 84*r**2 - 10. Is f(4) a prime number?
False
Let f(j) = -j**2 + 7*j - 12. Let r be f(6). Let p be ((-4)/r)/((-8)/(-10428)). Suppose t - p = -0*t. Is t composite?
True
Let v be 30/5 + (-5 - -1). Suppose v*i - 2084 - 26 = 0. Suppose m = -4*m + i. Is m composite?
False
Let b = 842 + -453. Is b prime?
True
Let c be (-4)/(-2)*10/4. Suppose 7*d + 2 = -c. Is (8 + -1)*(1 - d) prime?
False
Let u = 14 + -13. Suppose -6 = -d - u. Suppose 3*p - d*s - 397 = 0, 3*p - 6*s = -2*s + 395. Is p composite?
True
Let f(t) = t**3 - 5*t**2 + 3*t - 6. Let n be f(5). Let k be n/(-6)*8/(-12). Is (102/8)/(k/4) a prime number?
False
Let f(d) = -4*d + 1. Let o be f(-5). Suppose o + 78 = -a. Let x = 173 + a. Is x a prime number?
False
Let r(k) = 1229*k + 33. Is r(14) a prime number?
True
Let s(q) = -41*q - 3. Let i be s(1). Let u be (i/8)/((-1)/2). Suppose 15*v - u*v - 4276 = 0. Is v a prime number?
True
Let n = -2681 + 1654. Let q = 2344 + n. Is q a prime number?
False
Let v(w) = -168*w + 1. Let x be v(-6). Is (1 + 0/2)*x composite?
False
Let g be -3*1 + 77/11. Suppose t = -5 + g. Is (t + -2 - -91) + -1 a composite number?
True
Let i(f) = 6*f**3 + 25*f**2 + 4*f + 46. Is i(11) a prime number?
False
Let y = 69 + -4. Let m = 2034 + y. Is m a prime number?
True
Is (17 + 0)/((-20)/(-40)) composite?
True
Suppose 1002 = -3*v - 3*a, 4*a = 6*a + 2. Let f = v + 920. Is f a prime number?
True
Suppose 0 = 4*a - u - 12, -a = -3*a + 3*u - 4. Let f(h) be the first derivative of 2*h**4 + 4*h**3/3 - 2*h**2 - 3*h + 2. Is f(a) prime?
True
Let g(q) = 2*q - 12. Suppose 33 = 4*f - s, -2*f + 2*s = 4*s - 24. Let n be g(f). Suppose 0 = -5*k - 2*d + 2061, -1662 = 2*k - n*k + 5*d. Is k composite?
True
Let o(u) = u**3 + 15*u**2 + 21*u + 17. Let r be o(-9). Suppose 0 = -2*y + 4*y - r. Is y composite?
False
Let n(f) = 819*f**2. Let s be n(1). Suppose 167 = -d + s. Suppose 5*u = d + 663. Is u prime?
True
Is 0 + (-8)/(-12) + (-35823)/(-9) composite?
True
Suppose -2*l + 7*l - 12989 = -4*m, -2*l - 3257 = -m. Is m a composite number?
False
Suppose 94*d = 83*d + 8261. Is d composite?
False
Let n(x) = -2*x**3 - 5*x**2 + 2*x + 7. Let g(w) = w**3 - 3*w**2 - 4*w + 2. Let o be g(4). Let j(m) = m - 6. Let k be j(o). Is n(k) composite?
False
Let c(a) = 251*a**2. Suppose 0 = 5*l + 8 - 3. Is c(l) composite?
False
Let a(u) = -2*u + 51. Let o be a(25). Is (-20 - 2559)*(o + -2 - 0) a prime number?
True
Let k be (-6)/(-7)*(12 - -107). Suppose 4*n - 3*y - 724 = 0, y - 8 = -y. Suppose -k - n = -g + 3*h, -h + 818 = 3*g. Is g prime?
False
Let n be 41163*(-3)/(-45)*5. Suppose -4*w - n = -3*h, -2*h - 3*w = 4223 - 13359. Is h a prime number?
False
Let o = -125 + 127. Is (-26)/(36/804*o/(-3)) composite?
True
Suppose 5*y + f = 82417, -y + 5*f + 12901 + 3572 = 0. Is y composite?
True
Suppose 6*t = 7*t - 641. Is t a prime number?
True
Suppose 3*l + 12 = -w, w - 4*l - 15 = 1. Suppose w = -5*v - 5*p + 1320, -5*p + 3*p = -2*v + 532. Is v a prime number?
False
Let j(h) = 750*h - 247. Is j(15) prime?