) prime?
True
Let r(o) = 2*o + 2. Let n be r(3). Suppose 2*w = -2*w + n. Is w*18/(-4)*-1 composite?
True
Let g(a) be the third derivative of a**5/30 + a**4/8 - a**3/2 - a**2. Let y = 1 - -1. Is g(y) a composite number?
False
Suppose 35 = -z + 444. Is z a prime number?
True
Is (-14)/(-7)*298/4 a composite number?
False
Is (4 + -1 - -1210)/1 composite?
False
Let k(b) = 13*b**2 + 6*b - 2. Let i be k(-3). Let o(h) = 2*h**2 + 4*h - 8. Let u be o(-6). Let y = i - u. Is y a composite number?
True
Suppose 7*h - 10 = 2*h. Let j be (0 - -1)*20/h. Is ((-78)/j)/(1/(-5)) a prime number?
False
Let m = 5 - 2. Let u be -1 + (-5 - (-3 + m)). Let z(t) = -t**2 - 8*t - 5. Is z(u) composite?
False
Let z(y) = -3*y**2 + 4*y**2 - 5 - 2*y**2 + 7*y. Let h be z(5). Suppose 3*x + x = 5*n - 167, 0 = h*x - 10. Is n prime?
False
Let m = 16 - -7. Is m composite?
False
Let l(r) = -5*r - 3. Let f be l(-2). Let m(u) = -u + 12. Let z be m(f). Suppose 2*g - 141 = -k - 41, -z*g + 243 = -k. Is g a composite number?
True
Let q = -400 + 1217. Suppose 2*d - 4*n = 92 + 710, 2*d + n = q. Is d a prime number?
False
Let g(z) = z - 15. Let w = -10 - -18. Let l be g(w). Let o(c) = -7*c + 8. Is o(l) composite?
True
Let r(w) = w**3 + 23*w**2 - 24*w - 19. Is r(-23) prime?
False
Let c be (-6)/(4/(-4))*-10. Let h = c + 106. Is h a prime number?
False
Let h = 177 - -46. Is h composite?
False
Suppose -w + 0*a = -2*a - 1969, 5912 = 3*w - 5*a. Is w prime?
True
Let a = -5 - -8. Suppose a*z = 60 + 207. Is z a prime number?
True
Let t(f) be the first derivative of f**4/4 + f**3/3 + 5*f - 3. Let b be t(0). Suppose 0 = -y - 3*y - b*u + 222, -y + 54 = 2*u. Is y composite?
True
Let q = 31 - -92. Is q a prime number?
False
Suppose 0 = -3*d + 1095 + 960. Is d a composite number?
True
Let x = 3 + 1. Let i(n) = n**3 - 4*n**2 - 4. Let p be i(x). Let d(g) = g**2 - g + 1. Is d(p) prime?
False
Suppose 10*m - 42 = 5*m + b, 4*b + 33 = 5*m. Let l(y) = -4*y**2 - 1 - 6*y**2 + 9*y + 4*y + y**3. Is l(m) a prime number?
False
Suppose -4*m - 5*y + 1965 = -1291, -5*m - 3*y = -4057. Is m a prime number?
True
Suppose 0 = d - 5*b - 19, b = -3*d + 5*b + 35. Let r be (-4)/(-6) - (-660)/d. Is (-3 - 3)/((-4)/r) a composite number?
True
Suppose 20 = 4*w + w. Suppose -306 = -w*b - 4*d + 5*d, -79 = -b - d. Is b a prime number?
False
Let q = 21 - 10. Is (-3207)/(-33) - 2/q a prime number?
True
Let g(h) = -5*h**3 + 0*h**3 - h**2 + 3*h**3 + 2*h + 3*h**3 + 3. Is g(5) prime?
True
Let l(j) = -41*j - 26. Let z(g) = 21*g + 13. Let d(v) = 6*l(v) + 13*z(v). Is d(12) a prime number?
True
Let m = -661 + 1423. Suppose 0*t - 2*t = -m. Is t a composite number?
True
Let x(n) = -123*n - 4. Is x(-3) a prime number?
False
Let s(j) be the first derivative of 1/2*j**2 + 2 + 11*j. Is s(8) a prime number?
True
Let b(h) = 34*h + 13. Is b(4) prime?
True
Let l(y) = 18*y - 31. Is l(18) a composite number?
False
Suppose 2 + 8 = -2*j + 2*v, -j - 3*v + 7 = 0. Suppose 0*f + 2 = -2*f. Is (15 - (-1 + f)) + j prime?
False
Suppose -748 = -4*n - o - 3*o, 184 = n + 2*o. Let g be (-4 - (4 + -16)) + -3. Suppose -3*c - n = 2*s - 503, -s = -g*c - 124. Is s a prime number?
True
Let u = -126 - -200. Let z = -3 + 7. Suppose z*m = 2*m + u. Is m composite?
False
Let h be (-6)/(-15) + 462/(-5). Let m(z) = -25*z + 4. Let c be m(-7). Let n = c + h. Is n a prime number?
False
Let r(a) = 9*a - 28. Let m(u) = -5*u + 14. Let w(p) = -7*m(p) - 4*r(p). Let k = -10 - -17. Is w(k) a prime number?
True
Let q be (16/(-20))/(4/(-10)). Suppose -2*p = q*p - 396. Suppose -2*k - p = -5*k. Is k a composite number?
True
Is (-1)/((-2)/314) - -4 composite?
True
Is (83/1)/((-6)/(-30)) composite?
True
Let g(u) = -u**3 - 6*u**2 + 8*u + 10. Let f be g(-7). Suppose 4*t + b - 17 = 0, 0 = f*t - 2*t - 4*b. Let k(i) = 6*i - 5. Is k(t) prime?
True
Let s = -509 + 168. Let b = s - -700. Is b composite?
False
Suppose 4*j = 5*n + 30, 3*j + 13 = 4*j - 4*n. Suppose 4*c = j*c. Suppose z + 0*z + 4 = c, -103 = -5*l + 2*z. Is l a prime number?
True
Suppose 0 = -4*h - 4*w + 112, 53 + 35 = 4*h - 2*w. Let b = -2 + h. Is b composite?
True
Is (-6)/(-27) + 1/((-36)/(-6364)) a prime number?
False
Let v(h) = -73*h + 14. Let p be v(-6). Let q = 257 + p. Is q a composite number?
False
Suppose -6021 = y - 10*y. Is y a composite number?
True
Let o be 1 + (-1 - 2/1). Let p be 41 - (o + (-3)/(-3)). Suppose -5 = -t + p. Is t a composite number?
False
Let i(z) = -37*z**3 + z**2 - 1. Is i(-1) a prime number?
True
Let d(w) = -2*w - 5*w + 5 + w - 3*w. Is d(-6) a prime number?
True
Let o(s) = -9*s**3 + 2*s**2 - s + 1. Let l be o(-2). Suppose -3*w + 24 = -b - l, 3*b = 12. Is w a composite number?
False
Let w(h) = h**3 - 2*h**2 + 8*h - 1. Let f be w(7). Let n = -173 + f. Is n a prime number?
True
Suppose -4*g + 10 = -4*m - 2, m = -2*g + 6. Let a be m + (-53 - 2) - -2. Is (-3)/(-3)*a/(-1) a prime number?
True
Is 193 - 4*(20/8)/5 composite?
False
Is 4/(-1) + 8910/10 prime?
True
Let c = -11 + 15. Suppose -o = 2*a - 79, 4*o + c*a = 77 + 235. Is o composite?
True
Suppose -8*m = -6*m - 1222. Is m composite?
True
Let u(v) = -v - 2. Let h be u(-2). Let w(l) = -l**2 + 53. Is w(h) composite?
False
Is 24/(-42)*(-1414)/4 prime?
False
Let j(y) = -2*y + 10. Let z be (33/3 - -3)/2. Let p be j(z). Let d(w) = -7*w - 6. Is d(p) a composite number?
True
Let x be (15/6 - 1)*2. Suppose 0 = 2*z - x - 3. Is z a prime number?
True
Suppose -2*m + 601 = -h, 626 = 4*m - 4*h - 566. Is m prime?
False
Is -6 - -7 - 6*-53 prime?
False
Let s(m) = 2*m + 2 - 5 - 3*m**2 + 4*m**2. Is s(-6) a prime number?
False
Suppose 4*x + 8 = 0, -5*x - 113 = 3*d + 20. Let k = 226 + d. Is k a prime number?
False
Is 4 - (0 + (-2 - 797)) a prime number?
False
Let v be 2/(-2)*6/1. Is (-690)/(-9) - 2/v a composite number?
True
Suppose 0 = -z - 4*z + 1905. Suppose 5*t - z = -2*o, -3*t + 263 = -5*o + 22. Is t composite?
True
Let j(s) be the third derivative of 15*s**4/8 + 5*s**3/6 + s**2. Is j(4) prime?
False
Suppose 0 = -2*m + 81 + 103. Suppose 0 = -p + 297 - m. Is p composite?
True
Suppose -3*j = -3*y, 6*j - j - 9 = 2*y. Suppose -y*n + 39 = -3*g, 6*g - 2*g = -3*n + 18. Let b = n + 3. Is b composite?
False
Suppose -4*x - 645 = -x. Let d = -148 - x. Is d prime?
True
Let w(b) = b**3 + 7*b**2 - 8*b + 3. Let d be w(-8). Suppose 0 = -d*q + 7 + 11. Is q a prime number?
False
Suppose 726 = -0*h + h - l, 0 = -5*h + l + 3622. Suppose 0*j - 905 = -5*n - 2*j, -3*j = 4*n - h. Is n a prime number?
True
Let i(v) = 2*v. Let n be i(0). Suppose n = k - 3*k + 38. Is k composite?
False
Suppose -2*z - 2*z + 1635 = 5*g, 1308 = 4*g + 2*z. Suppose -4*b = -f - g + 6, -5*b = 2*f - 385. Is b a composite number?
False
Let l(j) = j**3 + 10*j**2 + 8*j - 7. Let p be l(-8). Let q = p + -27. Let r = q + -16. Is r a prime number?
False
Suppose 0 = -4*p - 29 + 177. Is p a prime number?
True
Suppose -4*j - d + 3*d + 876 = 0, -2*j + 454 = 3*d. Is j prime?
False
Suppose 348 = 2*m - 82. Is m composite?
True
Let h = 1 - 9. Let y(d) = -d**3 - 8*d**2 + 4. Let g be y(h). Suppose 99 = g*f + q - 118, -4*f + q + 223 = 0. Is f a prime number?
False
Suppose 0 = 3*n + p - 4*p - 2886, 0 = -n + 3*p + 952. Is n composite?
False
Is 5 + 3045 + 1 - -2 a composite number?
True
Suppose 24530 = -5*x + 15*x. Is x composite?
True
Let t = -493 + 824. Is t a composite number?
False
Let g(x) = 3*x**2 + 4*x + 4. Is g(7) composite?
False
Suppose 2*x = -0*x. Let w be -1*(x - -2) - 77. Is 2/((2/w)/(-1)) composite?
False
Suppose a - 5*z - 22 - 7 = 0, -3*a = 3*z - 51. Is a a composite number?
False
Let q = -66 + 335. Is q composite?
False
Is 3/(-12) - (6036/16)/(-1) a composite number?
True
Suppose 5*u + 3*s = -s - 12, -5*s = 3*u + 15. Let r(x) = x**3 - x**2 - x + 5. Let m be r(0). Suppose u*i + 185 = m*i. Is i prime?
True
Let s = 0 - -2. Suppose 0 = 6*h - s*h + k + 121, -77 = 2*h - 5*k. Let z = h - -74. Is z a prime number?
True
Let r be (-4)/(-1)*(-9)/(-12). Suppose r*a - 4*a = -97. Is a composite?
False
Suppose 2*b + 2*v + 389 = 5*v, -379 = 2*b - v. Let r = b - -282. Is r a composite number?
True
Suppose m = -4*m + 700. Let w(t) = 4*t**2 + 7*t - 8. Let d be w(7). Let u = d - m. Is u prime?
True
Suppose 3*c + 432 = 3*y, -3*c + 53 = -y + 187. Is y a prime number?
True
Let a = 1992 + 185. Is a a composite number?
True
Suppose -267 = -29*a + 26*a. Is a a prime 