 = 0, -3*n + 1218 = -f*y - 548. Is n a prime number?
False
Suppose -3*x + 9765 = 3*n, 5*n = -0*n - 3*x + 16267. Is n a composite number?
False
Let b = 6006 + 30285. Is b prime?
False
Let q be (8 - 7)/(1/641). Is (-2)/2*q/(-1) composite?
False
Suppose 0 = -2*d + 6, -2*h = -2*d - 2*d. Let k be (h/(-3) - -998)/1. Suppose 4*r - k = 200. Is r composite?
True
Suppose 15702 = -154*c + 157*c. Is c prime?
False
Let q be ((-10)/(-35))/(1/7). Suppose 126 + 4 = -q*b. Let k = b + 114. Is k prime?
False
Suppose -298 + 1352 = 2*a - 4*z, -a - 2*z + 543 = 0. Is a prime?
False
Let k be (-70)/(-4)*(-125 - 1). Let m = k + 3350. Is m prime?
False
Let j = 1089 - 596. Let y = 747 - j. Let g = -127 + y. Is g composite?
False
Let i(f) = f**2 - 3*f + 3. Let j(a) = a**3 + a**2 - 6*a + 7. Let s be j(2). Let r be i(s). Suppose 0 = -0*t - t + r. Is t composite?
False
Let i be (-7 - (-6 + 3)) + 494. Suppose -7*k + 105 = -i. Is k prime?
False
Suppose y + 17877 = 4*s - 312840, 4*s - 3*y = 330719. Is s composite?
True
Let x(j) = 35*j**3 - 9*j**2 + 15. Is x(7) a prime number?
True
Let z be 9/(-12)*(-16)/6. Is 3/(6/1895)*z a composite number?
True
Let y be 2/(-8) + (5 - (-58)/8). Let a(k) = 37*k - 37. Is a(y) prime?
False
Let g(z) = z**3 - z**2 - z + 2. Let t be g(2). Suppose -4*q = q - 2*m + 142, t*q + 3*m = -109. Is q/(-8)*14 - -2 prime?
False
Let m be (-3)/(-2)*(1 + 49). Let v = 134 + m. Is v a prime number?
False
Let v(j) be the third derivative of j**8/1344 + j**7/504 + 7*j**6/720 + j**5/10 + 8*j**2. Let n(k) be the third derivative of v(k). Is n(-8) a prime number?
True
Suppose -4*o + 3*t = 111, 146 + 7 = -5*o - t. Is ((-3683)/6 - (-5)/o)/(-2) a composite number?
False
Let t(g) = 19*g + 8. Let i(q) = 57*q + 23. Let r(b) = 2*i(b) - 7*t(b). Is r(-13) a prime number?
False
Let g be (-1)/2*(1 + -1)/1. Suppose 4*u - 4*q - 1696 = g, -u - 4*q = -110 - 289. Is u a prime number?
True
Suppose 9 - 5 = 4*z. Suppose b - 4 = -z. Suppose -n + 150 = -b*g + 5*g, 5*g = -20. Is n composite?
True
Let u = 188 + -48. Suppose -80 = -2*c - 4*s + 60, 4*s = 2*c - u. Let m = 15 + c. Is m a prime number?
False
Let s be -4 + 18/(12/4). Suppose s*t + 8*t = 7610. Is t a composite number?
False
Let c be (-19)/(-3)*3 + 2. Is 2860 + 4/(-10) + c/15 a composite number?
False
Let c(f) = f**3 - 6*f**2 + 5*f + 1. Let p be c(5). Let o(i) = -6 + 2 - p - 3 - 73*i. Is o(-3) a prime number?
True
Suppose 5*a - 13 = 12. Suppose a*p = 3*d + 9, 4*d + 23 = 8*d + 5*p. Is d/(-2) - (-4 - 124) a composite number?
False
Let z be -2*(-2 - (-4)/(-16)*6). Suppose 5*v + 374 = z*v. Is v prime?
False
Suppose 4*i = -3*w + 1091, 2*w - 1359 = -5*i + 3*w. Suppose -2*k + 6*k + i = 0. Is (-1 - 0)/(2/k) composite?
True
Let k(v) = -58*v**3 - 7*v**2 - 4*v - 38. Is k(-5) a composite number?
False
Let b = 952 - -871. Is b composite?
False
Suppose -28*f + 140760 = 4*a - 23*f, 3*f = -a + 35183. Is a a composite number?
True
Let d = 33 + 37. Is 153/4 + d/(-56) a composite number?
False
Suppose 2*v + 205 = -h + 8192, 3*v + 7967 = h. Is h a composite number?
True
Suppose 0 = -9*u + 7323 + 12729. Suppose -2*z - u = -4*b, -3*b + 684 + 987 = -z. Is b prime?
True
Let t(s) = 136*s**2 - 25*s + 19. Is t(-8) prime?
True
Suppose 0*y - 5*a = 3*y - 3765, -a - 1255 = -y. Let z be (32/12 + -3)*0 + 3. Suppose -3*x = -v - y, v = -z*x - 2*v + 1263. Is x composite?
False
Let z(r) = r**3 + 8*r**2 - 2*r - 3. Suppose -3*i + 2 - 14 = 0. Is z(i) a prime number?
False
Let g(p) = p**3 - 5*p**2 + 3*p + 5. Let f be g(4). Suppose -3*q - f = -4. Let r(d) = 203*d**2 - 2*d + 2. Is r(q) a prime number?
False
Is 3/((-9)/33834*-1) prime?
False
Let m = -1091 - -4090. Is m composite?
False
Let q(g) = g**3 - g**2 - 12. Let w be q(0). Let b be 3*-5*(-116)/w. Let f = -78 - b. Is f prime?
True
Suppose -4*o - 2*w + 101 = -399, 0 = -5*o + w + 611. Suppose 0 = 4*a - a - o. Let q = a + -19. Is q a prime number?
False
Is (-7 - 0) + 7 + 70261/17 prime?
True
Let p be (-30)/(-7) + 12/(-42). Suppose -6 = 2*g, 4*g - 2*g = p*n - 1594. Is n prime?
True
Let s(k) = k**2 + 5*k - 2. Let n be s(-6). Suppose 0 = -n*v + 2*f - 8, -20 = 5*v - 5*f. Suppose v = -r - 0*r + 685. Is r prime?
False
Let p(c) = 57*c**3 + 4*c**2 - 5*c - 5. Is p(8) a composite number?
True
Suppose -4*i - 3*q + 172 = q, 0 = -4*i + 3*q + 200. Suppose i = 3*v - 16. Is v a composite number?
True
Let t(j) = -1518*j - 211. Is t(-10) prime?
True
Let l = -35916 - -55675. Is l a prime number?
True
Is (-277896)/(-36) + 55/33 composite?
True
Let o(b) = b**2 - 4*b - 8. Let v be 2/10 - 168/(-35). Let p be o(v). Is (-11)/(2/6*p) prime?
True
Let x be ((-1)/2)/((-3)/(-324)). Let y = 237 + x. Suppose -y = -3*n - 3*i, 4*i - 62 = -n + 5. Is n composite?
False
Let b = -3562 + 6305. Is b a prime number?
False
Let l(n) = -12*n**3 - 16*n**2 - 20*n + 39. Is l(-10) composite?
False
Let s = 9 - 20. Let d = s + 14. Suppose 3*x = -d*a + 288, -x + 2*a + 0*a = -90. Is x a composite number?
True
Let z(t) = -t**3 + t + 84. Let l be z(0). Suppose 2*s - l = 4*s. Let o = -27 - s. Is o a prime number?
False
Let l = 10 + -2. Suppose 0 = 2*y - l*y + 1560. Let s = y - 181. Is s prime?
True
Suppose 7*u - 284 = -6927. Let i = u + 2036. Is i a prime number?
True
Let b(a) = 2*a**3 - 19*a**2 - 12*a - 5. Let t(y) = -3*y**3 + 37*y**2 + 23*y + 10. Let o(x) = -5*b(x) - 3*t(x). Is o(-16) a prime number?
True
Is (-1 - 4) + -3 - -8005 prime?
False
Let v be -3 - ((-13251)/49 + (-3)/(-7)). Suppose -45*b + v = -44*b. Is b a composite number?
True
Let m be (-42790)/77 - (-4)/(-14). Let k = m - -1050. Let o = k - 171. Is o a prime number?
False
Suppose 350314 = -77*o + 1986333. Is o prime?
True
Let f(d) = -14*d**2 + 6*d. Let i be f(2). Is (-12606)/i*4/6 a prime number?
True
Is (-1 - 20492/12)/(8/(-12)) prime?
False
Let f be 0 + 22/5 + (-24)/60. Suppose -6*w - f*m + 764 = -2*w, -4*w + 3*m = -764. Is w a composite number?
False
Suppose -94*r + 143*r - 925267 = 0. Is r composite?
True
Suppose -t - 45 = -10*t. Suppose -2*i = -5*b - t*i + 2923, -1162 = -2*b - 3*i. Is b a prime number?
True
Let z(k) = -k**3 - 5*k**2 + 19*k + 17. Is z(-10) composite?
True
Suppose 0 = -5*o - 25, 4*a - o = 153 + 792. Let q = 4 - 0. Suppose 145 + a = q*i. Is i a prime number?
False
Suppose -9 + 15 = -2*d. Let r(n) = 163*n**2 - n - 5. Let i be r(d). Suppose i = -7*s + 12*s. Is s composite?
False
Suppose 0 = 6*l + 43*l - 898121. Is l a composite number?
False
Suppose 5*f + 5*p + 917 = p, 4*f = -3*p - 733. Suppose 5*z = -4*n - 2183, 3*z - 6*n + 11*n = -1315. Let v = f - z. Is v a composite number?
True
Let r(c) = c**3 + 24*c**2 + 17*c + 11. Let y be r(-12). Let n(m) = m**2 + m + 4. Let o be n(0). Suppose -o*p - p = -y. Is p a prime number?
True
Suppose -210*i + 203*i = -19117. Is i a prime number?
True
Is (-5816 + 22)*(-1)/2 a prime number?
True
Let y(d) = 12*d**2 - 9. Suppose 5*i + 33 = 2*h, -2*h = 2*i - 6*i - 28. Is y(i) a composite number?
True
Let r(j) = 110*j**2 - 3*j + 3. Let y(s) = 109*s**2 - 4*s + 4. Let p = 2 + -5. Let k(c) = p*y(c) + 4*r(c). Is k(-1) a prime number?
True
Suppose -2*w = -0*w + 4*s + 1030, 0 = -2*w - 5*s - 1026. Let z = 1028 + w. Is z prime?
False
Suppose 0*q + 64 = 4*q. Let b be q/(-7) + 2/7. Let y(p) = 29*p**2 - p + 1. Is y(b) composite?
True
Let s(i) = -i**3 - 2*i**2 + 9*i + 13. Let n be s(-8). Suppose 1911 = 5*w - 3*c, 4*w + 4*c + n = 1873. Is -1*(-3 + w)/(-3) a prime number?
True
Suppose 0*t - 13 = -m + t, -2*t = 3*m - 49. Suppose -4*p - 3669 = -3*i, m = -2*p - 3*p. Is i a composite number?
True
Let c(h) = -h**3 + 2*h**2 - 86. Let o be c(0). Let i = 615 + o. Is i a composite number?
True
Let t = -1072 + 295. Let w = t + 3434. Is w a composite number?
False
Suppose -44*k = -34*k - 64690. Is k a composite number?
False
Suppose 4748 = 76*y - 72*y. Is y prime?
True
Suppose 9*b + 15 = 12*b. Suppose -3*t = 5*p - 22, 0 + 2 = -b*p + 3*t. Suppose 0 = v - p*o + o - 39, -8 = 4*o. Is v composite?
False
Suppose 8*b - 159 = 1433. Is b a composite number?
False
Is -5*1 + 3/(36/69168) a composite number?
True
Is (66/9)/(2/1137) a composite number?
True
Let l(x) = -2*x + 20. Let g be l(9). Suppose 0 = -3*r + 7*r + 16, -1066 = -2*h - g*r. Is h prime?
False
Suppose 8*h - 12*h + 1348 = 0. Is h a prime number?
True
Let d be (-1)/((-3)/18) - 1. Suppose -d*y = -709 - 81. Is y prime?
False
Suppose 0 = -10*