- 2*j - 2870. Is i prime?
True
Let k = 40 + 32. Suppose 78 + 36 = -6*x. Let l = k + x. Is l a composite number?
False
Suppose -7*o + 11 = 74. Is ((18/(-4))/o)/(3/6186) composite?
False
Let l(f) = 4*f + 4. Let r be l(0). Suppose r*d - 3*i = 345, 0 = -0*d - 5*d - i + 436. Is d prime?
False
Let u = 2 - -1. Suppose -2*s = -2*z - 222, 4*s - 467 = -u*z + 5. Is s composite?
True
Is ((-724)/10)/(36/(-180)) composite?
True
Let u = 491 - -578. Is u composite?
False
Suppose -2*o = 8*o - 50. Suppose -o*k + 3*k + 3086 = 0. Is k prime?
True
Let c be 4/8 - (-6)/4. Suppose c*q - 1588 = -2*q. Is q composite?
False
Suppose 20*v - 169872 = 166988. Is v composite?
False
Let v = 730 + -573. Is v prime?
True
Let y be (-1 - 59)*(-1 + 0). Suppose 0 = a - 6*a - y. Is (a/36)/(1/(-993)) prime?
True
Let y = 13 - 9. Suppose 5*d - 31 = -f, d - 2*d = y*f - 67. Suppose -15*t = -f*t + 319. Is t a prime number?
False
Suppose 0 = 8*m - 10*m + 4. Suppose 2*a - 2079 = -s + 1665, -2*a - m*s + 3746 = 0. Is a a composite number?
False
Let g be (100/16)/(2/16). Let i = -144 + 618. Suppose -w = o - 209, 2*w + g = o + i. Is w prime?
True
Let a = 92600 - -8961. Is a composite?
False
Let o(n) = -n**2 + 2*n + 7. Let f be o(4). Is f/((-3)/666) + (-12)/4 composite?
True
Let m be 2/1 + -119 + 1. Suppose -2*q - 324 = 2*q. Let v = q - m. Is v a composite number?
True
Let v = 397 + -81. Suppose -1258 = -3*p - v. Let o = p + -157. Is o a prime number?
True
Suppose 0 = -y + 35 - 28. Suppose 8*s = y*s + 191. Is s composite?
False
Suppose 4*t - 14 = -2*n - 0*n, n - 5 = -t. Suppose n*l + 2*l = 1650. Suppose -216 = -6*v + l. Is v a prime number?
False
Let o be ((-1)/(-3))/(1/(-723)). Let n be (-2)/(-4) + (-2211)/6. Let j = o - n. Is j composite?
False
Let t be 76 - (-4 + 4/4). Suppose -t = f + 107. Is ((-1)/3)/(2/f) composite?
False
Let y(r) = 3*r**2 + 28*r - 8. Let f be y(-10). Let z be 18008/14 + (-2)/7. Suppose 4*p - 3*s = 9*p - z, -4*s - f = 0. Is p a prime number?
False
Let g be 2350 + -11 + 4 + 3. Let i = g + -1182. Suppose 4*x - i = 344. Is x a composite number?
True
Let y(n) be the third derivative of 13/6*n**3 + 0 + 0*n + 9*n**2 - 59/24*n**4. Is y(-6) a prime number?
True
Suppose -3*f + 12949 = 3460. Is f composite?
False
Let n(z) = 694*z**2 + 2*z - 6. Let i be n(-2). Suppose 3*b - 2*x - 1273 = 1488, -3*b - 3*x = -i. Is b prime?
False
Let u(n) = -112*n**3 + 7*n**2 - 2*n - 14. Is u(-5) composite?
True
Let m(n) = -19*n - 3*n**2 + 1 - 10 + 2*n**2 + 9*n. Let b be m(-8). Suppose 518 = -5*c + b*c. Is c a composite number?
True
Let y be ((-536)/(-20))/((-2)/(-110)). Suppose -5*k = -8*a + 3*a + 7385, 0 = -a + 2*k + y. Is (a/(-16))/(1/(-2)) prime?
False
Suppose -4*a = 3*a - 13097. Is a a composite number?
False
Let p = 1568 + 4821. Is p composite?
False
Let d = 19 - 16. Suppose a + 4*a - 5769 = -d*r, 3*a - 3462 = -2*r. Suppose -4*z = 5*h - 1928 + 443, 4*h - a = 4*z. Is h a composite number?
False
Suppose 21*k - 61098 = -14835. Is k prime?
True
Let s(l) = 7*l**2 - 16*l + 15. Let p be (-54)/90*-4*5. Is s(p) prime?
False
Let g(i) = 5*i**2 + 30*i - 12. Is g(17) a prime number?
False
Let q(x) = x + 34. Is q(-15) composite?
False
Let o(l) = 632*l**2 + 2*l. Let t be o(-1). Let z = t - -219. Is z a composite number?
True
Let a(t) = -2*t**3 - 3*t**2 + 3*t - 2. Let o be a(-3). Suppose -5*d - 4*v = -0*d + 137, -2*d - 44 = -2*v. Is (d/4)/((-4)/o) prime?
False
Let b(q) = -5*q - 229. Let i(y) = -y - 1. Suppose -2*s + 2*k + 0*k + 16 = 0, 0 = 5*s + 4*k - 22. Let o(m) = s*i(m) - b(m). Is o(0) composite?
False
Let d(p) = 332*p**2 + 2*p - 27. Is d(-5) a prime number?
True
Suppose 2*w - t = 2*t + 1234, -5*w = -3*t - 3103. Let y be 1972/(-6) + 2/3. Let a = w + y. Is a composite?
True
Is ((-2)/5)/(10/(-25))*25841 a composite number?
False
Suppose -4*w = -5*x + 27921, -16759 = -3*x - 16*w + 12*w. Is x a prime number?
False
Let j be (-1238)/(-1)*(0 - -4). Let b be j/(-24) + (-2)/(-6). Is (-4)/((-4)/(-3)) - b a composite number?
True
Let f(d) = -d**3 + 5*d**2 - 4*d + 2. Let t be f(4). Suppose -5*h = -5*j + 15, -t*h - 2*j = -3*j + 5. Is -115*(-3 + h - -4) composite?
True
Suppose -137*c + 138*c - 26 = 0. Is (-947 + c)/(0 + -3) a composite number?
False
Let m be 2/(15/(-6) - -3). Suppose -8 = -m*f - 0*f. Suppose -f = -r + 12. Is r a prime number?
False
Let v be -1*5*(-36)/5. Suppose -3*f - 8 = -191. Suppose -l + v = -f. Is l a prime number?
True
Let p(f) = -18*f + 16. Let u be p(7). Is 1296/11 + (-20)/u a composite number?
True
Let z(w) = -w**3 - 14*w**2 - 12*w + 17. Let d be z(-13). Let g be (d + -3)*(3 - -24). Is g/36 + 565/4 a composite number?
True
Suppose -15*j + 17*j = 2*y + 50854, 0 = -4*j - 5*y + 101726. Is j a prime number?
False
Let u(k) = 4*k**3 - 21*k**2 + 36*k + 22. Is u(15) a prime number?
True
Let b(z) = 65*z**3 - 3*z**2 + 5. Is b(3) a composite number?
False
Let m(j) = -j**3 + j**2 + j + 7. Let c be m(-6). Let k = c - -532. Is k a prime number?
False
Suppose -4077 = -6*w - 1587. Is w a prime number?
False
Let q = 350 - 205. Suppose a - q = 331. Suppose -a = -z - 3*z. Is z prime?
False
Let b be 0 + (-16 - 1) - -2. Let m = -11 - b. Is 2619/m + 19/76 a composite number?
True
Suppose 3*i - 30356 = -2*z + 3243, -3*z = -12. Is i a prime number?
True
Let b be (-1 - -4)*20/30. Suppose 0 = b*m + 5*i + 10 + 1, -i = 3*m - 3. Is (-4)/1 + m + 297 a composite number?
True
Let f be 0/(-4) - (-35 - 2). Suppose 29*b - f*b + 456 = 0. Is b prime?
False
Let y(m) = -6910*m - 31. Is y(-2) composite?
False
Suppose 0 = j + 3*g + 9, -5*j + 3*g - 5 - 4 = 0. Is (-1)/j + 1216/6 prime?
False
Let v(c) = -c**3 - 13*c**2 + 17*c - 22. Suppose -2*q = -7*q - 75. Let f be v(q). Let k = -46 + f. Is k composite?
False
Let y(p) = 269*p**2 + p + 5. Suppose -4*n + 0*n + 12 = 0. Is y(n) a prime number?
False
Suppose 3*r = -2*r + 1165. Suppose 0 = -5*x + 2087 + r. Suppose 4*b - 1904 - x = -5*u, 567 = b - 5*u. Is b prime?
True
Suppose -275 = 5*y - 4*m, -y + m + 4*m - 55 = 0. Let i = 126 + y. Is i composite?
False
Let d(v) = 3*v**3 + 74*v**2 + 43*v + 57. Let l(f) = -f**3 - 25*f**2 - 14*f - 19. Let r(y) = 3*d(y) + 8*l(y). Is r(-20) prime?
True
Let q = 1993 - 1075. Let v = 1739 - q. Is v composite?
False
Let u = -10 + 22. Let s = -11 + u. Is 469/21*(s + 2) composite?
False
Let o(l) = -l**3 + 22*l**2 - 40*l - 19. Is o(17) prime?
False
Let b(r) = -2*r - 4*r + 2*r + 6*r. Let i be b(5). Let c(y) = 19*y - 11. Is c(i) a prime number?
True
Suppose 11*g = 13*g - 6842. Is g prime?
False
Let y be (0 + 5)*36/30. Suppose -2*w + y = 0, 5*o - 6*o - 4*w + 24 = 0. Suppose 3 = r - o. Is r composite?
True
Let a = 3 - 1. Suppose -z + 3 = -v, 6*z - a*z - 5*v - 15 = 0. Suppose 2*l - 10 = z, 4*l + 1275 = 2*g + 3*g. Is g a prime number?
False
Suppose -979 - 1012 = -11*d. Is d a prime number?
True
Let o = -2296 - -1597. Let t = -364 - o. Is t composite?
True
Suppose -621 = 157*g - 158*g. Let z = 1090 - g. Is z a composite number?
True
Suppose 4*z = 10*z - 18342. Is z a composite number?
True
Let p(y) = -y**3 + 2*y**2 + 3*y. Let i be p(-1). Suppose i = g - 2*c - 2897, 2*g - 3*c - 14485 = -3*g. Is g a prime number?
True
Is (6049 + 169)*7/2 prime?
False
Suppose 3*f = 5*x + 17 + 3, x + 6 = f. Suppose 0*n + 2*n = -o - 2292, -f*o - n - 11442 = 0. Is 14/(-63) + o/(-9) a prime number?
False
Let w(x) = x + 4. Let b be w(-7). Let m(f) = f + 3. Let g be m(b). Suppose 0 = 5*l - 4*r + 78 - 503, g = -4*l - 4*r + 340. Is l a composite number?
True
Let c = 16 + -11. Suppose 40 + 138 = 2*a + 3*j, 5*a + c*j - 445 = 0. Suppose 4*v + o - 128 = a, -2*v + 119 = -3*o. Is v a prime number?
False
Let y(j) = -j**3 + 11*j**2 - 7*j - 9. Let x(k) = k**3 + 21*k**2 + k + 23. Let z be x(-21). Suppose 0 = -z*t - 0*t + 16. Is y(t) a prime number?
True
Suppose 17 = 4*z + 5. Suppose -2316 = -z*q + 1830. Is q composite?
True
Let t(f) = -f**3 - 6*f**2 + 6*f + 4. Let q be t(-6). Let m be (-66)/(-4) + (-3)/6. Is ((-178)/4)/(m/q) a prime number?
True
Let d(i) = 2*i + 1. Let a(h) = 59*h**2 - 2*h - 18. Let v(b) = a(b) - 2*d(b). Is v(-3) a composite number?
True
Is 3 + -19733*(5 - 9) prime?
False
Suppose -m - 510 = -3*r, -2*r + 205 = -m - 135. Suppose -r = -3*q + 193. Is q a composite number?
True
Suppose -5*t + 9009 = -4*v, -4*t - 6*v + 7200 = -2*v. Is t prime?
True
Suppose t - 804 = -4*n, -t + 5*n + 3174 = 3*t. Let v 