er?
False
Is (-323)/(-2) - (-3)/(-6) prime?
False
Let o(v) = 6*v**2 - 3*v. Let n be o(2). Let a = n - 12. Is a - (3 - 0) - -154 a composite number?
False
Let v(f) = 22*f**2 + 28*f + 104. Is v(-5) a prime number?
False
Let b(c) = 3*c**2 - 7*c + 15. Let m = -17 - -24. Suppose 0*w = w + 4*k - 19, w - 2*k = m. Is b(w) a composite number?
True
Suppose 1553 = z - b, -4*b + b = -5*z + 7769. Is z a prime number?
False
Let m(f) = f**3 - 3*f - 9*f**3 - 15*f**3 + 2*f**2 - 3. Let i be m(-2). Let y = i - 110. Is y composite?
True
Let r = 1435 + -524. Is r a prime number?
True
Suppose 0 = -5*r + 25, q + 4*r - 8371 = -0*q. Is q a prime number?
False
Suppose 3 = -5*i - 2. Let c(h) = -4*h**2 - h + 6. Let y(x) = x**2 + 1. Let s(d) = i*c(d) - 3*y(d). Is s(-7) a prime number?
False
Suppose -4*w = -6390 + 122. Is w prime?
True
Is 894712/70 + 6/(-10) prime?
True
Suppose 2*t - 14 = -a, 5*a - 2*a - 34 = 2*t. Is ((-33)/a)/(2/(-16)*2) a composite number?
False
Let t(m) = -2*m + 11. Let p be t(6). Is p/(-6) + (-15170)/(-60) composite?
True
Let g = -22 + 25. Suppose -g*b = -9 - 9. Suppose 9*y - 402 = b*y. Is y prime?
False
Let w(b) = b**3 - 3*b + 3. Let p be w(2). Let i(m) be the first derivative of 134*m**2 - 3*m - 97. Is i(p) composite?
True
Let o(j) = j - 3. Let d be o(8). Let h be 12 - (-3 + 0 + d). Suppose f + q - 57 = -3*q, -2*q = h. Is f prime?
False
Suppose -3*l = -0*l - 18. Let i = 323 - 228. Suppose 0 = l*t - t - i. Is t composite?
False
Let w = 4337 - 1410. Is w a composite number?
False
Let v(j) = 2*j**3 - 5*j**2 - 4*j + 4. Let x be v(4). Suppose -p = p - x. Let n = p - -167. Is n prime?
False
Let j(w) = w**3 + 5*w**2 - 4*w + 6. Let f be j(-6). Let n(b) be the third derivative of -b**6/60 - b**5/15 - b**4/24 - 7*b**3/6 - 3*b**2. Is n(f) prime?
False
Suppose -2*b = -2*i - 3998, i = 3*b - 3172 - 2823. Let l(p) = 977*p**2 - 3*p. Let v be l(1). Suppose -4*h + b = -v. Is h composite?
False
Suppose -29 = g - 0. Let x = g - -21. Is (45/(-4) + 2)*x prime?
False
Let t be (2 - 1) + 1 + 11732/4. Suppose -4*f + t = f. Is f prime?
True
Suppose -2*f = -i - 33, 3*f + i - 53 = 6*i. Let n(m) = 2*m**2 + 5*m**3 + 3*m + 19 + 0*m**3 - f + m. Is n(4) composite?
True
Let i be ((-2079)/18)/(2/4). Let w = 859 - i. Suppose 2*f = 3*u - 883, 4*u - w - 86 = 2*f. Is u composite?
False
Is 7/(-2)*(-892026)/189 prime?
True
Suppose -i = -4*r - 14, r = 6*r + 10. Is i/9 + (-1754)/(-6) prime?
True
Let s(u) be the third derivative of -u**6/15 - u**5/30 + 5*u**3/6 + 2*u**2. Let t(l) = -5*l. Let p be t(1). Is s(p) composite?
True
Suppose -v = 1 - 6. Suppose -4*y + x + 2284 = 0, -2*y - y = -v*x - 1713. Is y prime?
True
Suppose 1 - 2 = h. Let w = h + 3. Suppose 4*i - 227 = -g - w*g, 3*i - 84 = -g. Is g a composite number?
True
Let h(j) = j**2 - 4*j + 3. Let q be h(9). Let k = 97 - q. Is k prime?
False
Is (-2 - 3) + (2412 - -6) composite?
True
Suppose -4*u - p = -2*u + 14, -4*p + 9 = -5*u. Is -6*(-3)/90 - 1494/u a composite number?
True
Suppose 46097 + 303984 = 17*v. Is v prime?
True
Let z be (2 - 6/4)*8/(-2). Is (45 - 0)*(z - -43) + 2 composite?
False
Let v(x) be the third derivative of -1/120*x**6 + 1/4*x**5 + 7/6*x**3 + 0*x - 11/24*x**4 + 0 + 2*x**2. Is v(10) a prime number?
True
Suppose 7*m + 6*m - 3809 = 0. Is m prime?
True
Suppose -5*x = a - 0*a - 3520, 5*x - 17540 = -5*a. Is a a composite number?
True
Suppose 0 = -2*c - 3*c - 3235. Let p = c - -1398. Is p prime?
True
Let b(f) = 193*f + 33. Is b(2) a prime number?
True
Let c(q) = 63*q**2 - 8*q + 8. Is c(-7) prime?
False
Suppose -j = -6*p + 2*p + 1096, 827 = 3*p - 2*j. Suppose d - p = 1024. Is d a composite number?
False
Let v(d) = d**3 - d**2 - d + 6. Let f be v(0). Suppose -231 = -f*s + 159. Is s prime?
False
Is (-2)/(-8) - 10/((-120)/153417) a composite number?
True
Let z(j) = -470*j**2 - j - 4. Let w be z(-2). Let n = 3229 + w. Is n a prime number?
False
Let w = -29 - -32. Let d be 4/10 - (-2018)/5. Suppose c - 406 = -3*f, -w*f = c + 2*f - d. Is c a composite number?
False
Let t = 44 - 40. Suppose 0 = -3*i + 12, 5*f = t*i - 5*i + 8289. Is f prime?
True
Let r = -1415 - -3826. Is r a prime number?
True
Let c(h) = -h**3 - 3*h**2 - 4*h - 2. Let d be c(-2). Let q be (2 - d)*(3 - 2). Suppose -4*k + q*k + 472 = 0. Is k composite?
True
Let i be 15/3 + 1 + -2. Suppose g - i*g = -15. Suppose g*p - 2*p = 21. Is p a prime number?
True
Suppose q = -2*r + 5567 + 2235, 5*r - 19483 = 3*q. Is r composite?
True
Let n = 13 - 2. Let p(a) = -27 + 20*a - 30 + 60. Is p(n) prime?
True
Suppose -33*x - 177213 = -52*x. Is x a prime number?
False
Let a = 3575 - 222. Is a composite?
True
Let q(o) = o**3 + 22*o**2 - 4*o - 1. Let s(f) = 9*f + 7. Let y be s(-3). Is q(y) composite?
True
Let w(c) = -27*c + 17 + 76*c**2 + 22*c + 9*c. Is w(-4) a prime number?
True
Let v = -13 + 5. Is (-14410)/v - 4/16 a composite number?
False
Let w(t) = 288*t**2 + 60*t + 47. Is w(12) a composite number?
False
Is (221975/(-20))/(-13) - 6/8 a composite number?
False
Suppose 0 = -4*q + 3*s - 2*s + 17, -q + 18 = -3*s. Suppose -5*z + 28 = q. Suppose 4*o = 5*p + 4026, 6*o = z*o - 5*p + 1019. Is o a composite number?
False
Let w(r) = -37*r**3 + 19*r**2 - 13*r - 33. Let j(z) = 1 - 9*z**3 - 5 + 2 + 5*z**2 - 3*z - 6. Let o(i) = 9*j(i) - 2*w(i). Is o(-5) a composite number?
False
Suppose -3*g - 10 = 8. Let n be (14 + -2)/(g/(-124)). Let h = n + -9. Is h prime?
True
Suppose -7*x = -0*x - 21. Let y(d) = d**x - 5*d**2 + 5*d - d**3 + 3 + 7*d**3 - 3*d**3. Is y(4) a prime number?
True
Is (-21)/35*(-58385)/3 composite?
False
Let s(g) = 6*g - 4*g + 277 - 8*g - 38. Let m(v) = 7*v - 239. Let q(j) = 4*m(j) + 5*s(j). Is q(0) prime?
True
Let v(i) = 38*i**2 - 6*i + 1. Let q be v(3). Suppose s - 5*z - 247 = 0, 2*z - 133 - q = -2*s. Is (3/(-6))/((-2)/s) a prime number?
False
Is 6/(-15) + 0 + (-182637)/(-105) a composite number?
True
Let s(l) be the first derivative of -21*l**2/2 + 11*l + 12. Suppose 5*d + 41 = -39. Is s(d) a prime number?
True
Let c(d) = 276*d - 34. Is c(5) prime?
False
Let m(n) = -131*n**2 + 2*n - 1. Let y be m(1). Let w = y + 24. Let z = w - -189. Is z a composite number?
False
Let y = 96 + -93. Suppose y*w + 0*w = 1833. Is w a composite number?
True
Let z(m) = -m**3 + 5*m**2 + 2*m - 3. Let p be z(5). Let j(a) = 6*a - 4 - p*a**3 + 11 + 3*a**3 + 2*a**3. Is j(-6) composite?
True
Let k = -70 - -75. Suppose -7374 = -2*i - i - k*r, 5*i - 4*r - 12327 = 0. Is i composite?
True
Let i(w) = 3*w - 12. Let o(s) = -4*s + 11. Let a(u) = -6*i(u) - 5*o(u). Let r be a(-9). Is 2 - (1988/r)/4 a prime number?
True
Let v(l) = l**3 + 12*l**2 + 7*l - 10. Let z(a) = -6*a + 7. Suppose 3*b - 3 - 6 = 0. Let o be z(b). Is v(o) prime?
False
Let z = -54 + 58. Is (1 - (-7)/(-21))/(z/9942) prime?
True
Let t be (-12)/9*(-9)/(-3). Let d = -3 - t. Is 8/(-24)*(d + -1138) prime?
True
Let s = -2634 - -7397. Is s composite?
True
Is 5136/(-3)*-1 + (-10 - -7) a prime number?
True
Let a(k) = 2*k + 6. Let l be a(-9). Let f = l + 16. Suppose m + 2*u - 219 = -0*m, 0 = -f*m - 4*u + 884. Is m composite?
False
Suppose -o = 2*o - 6. Suppose -t = -o*t + 21. Is t a composite number?
True
Suppose -2*a + 3 = -a. Let h(x) = 4*x + 17. Let z be h(-5). Is a - (-3 + -74 - z) a composite number?
True
Let y(t) = 2*t**3 - 25*t**2 - 47*t + 37. Is y(21) a prime number?
True
Suppose 5*u - p = 405, -4*u + 2*p = -234 - 84. Is u*17*(-16)/(-32) a composite number?
True
Let i = 2181 - 1280. Is i composite?
True
Suppose 4*v = 3*t + 21032, -3*v - 15775 = -6*v + 2*t. Is v a prime number?
True
Suppose -f = -q - 21003, -4*f - 5*q = -81704 - 2326. Is f a composite number?
True
Suppose 121369 = 7*r - 144743. Suppose 9*i - r = 28899. Is i prime?
False
Let a(k) = k**2 + k - 8. Let c(m) = 2*m**2 + 2*m - 23. Let f = 15 - -2. Let q(n) = f*a(n) - 6*c(n). Is q(-4) a composite number?
True
Let w = -1232 + 2175. Is w composite?
True
Let g = -52601 + 85288. Is g a composite number?
False
Is (-17 - 4)*1*(-33869)/33 prime?
False
Suppose 2*n + 18 = 4*y, -11 = 4*n + y - 4*y. Is (3/6*191)/(n/2) a prime number?
True
Let z = -14240 + 26017. Is z a prime number?
True
Let s be (40/(-5))/(4/184). Let h = -262 - s. Is h a composite number?
True
Suppose 494 = 2*j - 2304. Is j a composite number?
False
Let v(l) = 2*l**2 - l - 1. Suppose 5*k = 2*k - j - 5, -10 = k + 2*j. Suppose o = -k*o - 6. I