uppose -8*f - 719 = -9*f. Suppose -5*a - 4*p + 204 + f = 0, 0 = a + 3*p - 178. Is a prime?
False
Is -1 + 2 + (16 - -6656) composite?
False
Suppose 0*q = 2*q + 746. Let i be -1 - -3 - (q + -5). Suppose -3*l = 2*c - c - 194, -2*l - i = -2*c. Is c a composite number?
False
Let o(m) = -90*m + 19. Is o(-10) a prime number?
True
Suppose -3*f + 27 = 4*z, 0*z + 3*f = 4*z + 3. Suppose -621 = -z*k - 3*y, 1051 = 5*k - 0*k + y. Is k composite?
False
Suppose u - 5 = -2. Suppose u*b = -l - 11430 - 897, -l - 12334 = -4*b. Is ((-2)/6)/(10/l) a prime number?
False
Let b(d) = d + 13. Let a be b(-11). Suppose 0 = a*u - 1426 - 276. Let z = -498 + u. Is z composite?
False
Suppose 0 = m - 21697 + 2576. Is m a composite number?
False
Let z = -94619 - -144896. Is z a composite number?
True
Let l(d) be the first derivative of 2*d**3 + 2*d**2 - 13*d + 5. Let f(i) = -6*i**2 - 5*i + 14. Let j(t) = 6*f(t) + 7*l(t). Is j(5) prime?
False
Suppose -15*i = -12*i + 3435. Is i*((-3 - -1) + 1) composite?
True
Let z be (5 - -2)*(4 - 3). Suppose -y - 5106 = -z*y. Is y prime?
False
Suppose -4*o - 2*j - 2 = 0, -j + 3 + 0 = 4*o. Suppose -17088 = -5*x + x - 4*u, o*u + 21353 = 5*x. Is x a composite number?
False
Let o(s) be the second derivative of 4*s**2 + 11*s + 5/12*s**4 + s**3 + 0. Is o(-7) a composite number?
False
Suppose 2*l + 94 = -4*u, 3*u - 4*l + 62 + 14 = 0. Is u/(-16)*(-6628)/(-6) prime?
True
Is 3 + 1*(-1 - -345) prime?
True
Suppose -2*y = -7*y + 25395. Suppose -6*t = -9*t + y. Is t a composite number?
False
Let f(y) be the third derivative of -263*y**7/5040 + y**5/30 + y**2. Let r(l) be the third derivative of f(l). Is r(-1) prime?
True
Let v be ((-16)/4 - -4)/(3/(-1)). Suppose 5*n - 664 - 426 = v. Is n prime?
False
Let o(m) be the first derivative of m**4/4 + 16*m**3/3 + 2*m**2 + 13*m - 18. Is o(-12) a prime number?
True
Let s(r) = -30*r**3 - 2*r**2 - 3*r + 31. Is s(-6) prime?
False
Suppose -138*j - 10428 = -150*j. Is j composite?
True
Suppose 0 = 3*m + 3*u - 18534, -749 = -2*m + 5*u + 11614. Is m a prime number?
False
Let w(d) be the third derivative of d**4/12 + 331*d**3/6 - d**2. Let z be (-180)/(-480) - (-6)/(-16). Is w(z) prime?
True
Let h be 4 - ((-6)/2 - -1). Let f be (-3 - 596/h)*3. Let b = 246 - f. Is b a prime number?
False
Let f be (-120)/(-50)*(-5)/(-2). Let k be 11/(-22)*f/(-1). Is 35 - (1 + (2 - k)) prime?
False
Let a(i) = -i**3 - 20*i**2 - 33*i - 8. Let y be a(-17). Let g = 447 + y. Is g a composite number?
True
Let b(a) = 742*a - 19. Is b(2) composite?
True
Let w(x) = x**3 - x**2 - x + 223. Let v(s) = -2*s - 12. Let q be v(-6). Let u be q/(3/6*-4). Is w(u) prime?
True
Suppose 1305 = 5*c - 5*x, 4*c + 0*c - 1046 = 3*x. Suppose -3*t + c = -850. Is t composite?
True
Let v(r) = 2*r**2 + 1 - 4*r**2 + 2 + r**2 - 5*r. Let c be v(-5). Is (232 + 1)/(c + -2) a prime number?
True
Let d = 14157 + -24159. Let x = -6919 - d. Is x a composite number?
False
Let o(c) = 4*c**2 + 8*c + 2. Let m(d) = d - 7. Let r be m(9). Suppose 9 = -r*a + 21. Is o(a) a composite number?
True
Let q = 265 - 139. Let a(h) = 20*h - 13. Let o be a(5). Let m = q - o. Is m a prime number?
False
Let s = 1008 + 107. Is s prime?
False
Let t be -3*4/(-4) - 0. Let n be -387*((-6)/t + 1). Is n/3 - 1*2 a composite number?
False
Suppose 0 = 3*k - k - 3*m - 329, 0 = -5*k - 2*m + 794. Let n = k - 107. Suppose -n - 17 = -5*a. Is a composite?
True
Suppose 0 = -2*x + 4*s + 12, -x - 5*s = 3*x + 2. Let m(v) = 344*v**2 + 5*v + 3. Is m(x) composite?
True
Suppose -45 = -2*v - 3*z, 10 + 40 = 3*v + z. Suppose k - 130 = -3*t, -3*k + k = 2*t - 80. Suppose v = c + 5*i, -5*i + t = 4*c - c. Is c a composite number?
True
Let s be (1 - 4) + -223 + -3 + 1. Let g = 538 - s. Is g a composite number?
True
Let y be ((-6)/(-9) - 1)*0. Suppose y = -b + 183 + 616. Is b a composite number?
True
Let w = -255 + 536. Let j(o) = -5*o**2 - 4*o - 2. Let m be j(5). Let f = w + m. Is f prime?
False
Let j(p) = -10*p - 3. Suppose 5*d + 2*h - 24 = 0, 4*d + 2*h = -h + 15. Let t be j(d). Let z = t + 440. Is z composite?
True
Suppose 8373 + 7021 = 4*m + 5*b, -5*m = -b - 19228. Suppose 0 = 5*y - m + 256. Is y prime?
False
Suppose -2*y + 1734 = -1070. Is y a composite number?
True
Suppose -4*c - 16 = -5*c. Suppose 0 = -4*a + d + 1768, 0 = 6*d - 2*d - c. Suppose -a = -5*s + 262. Is s a prime number?
False
Suppose b = -b + 8. Let k(u) = 12*u - 9 + 9*u + 14*u + 2. Is k(b) prime?
False
Let h(t) = t. Suppose -2*o = o - 63. Let c(r) = -4*r - 1. Let p(q) = o*h(q) + 3*c(q). Is p(8) a composite number?
True
Let q(x) = -18*x**3 + 2*x**2 - 4*x + 3. Let d be q(1). Let y = 76 + d. Is y a prime number?
True
Suppose 4*c = -12*q + 11*q + 95209, 47612 = 2*c + 2*q. Is c composite?
False
Let g = 222 + -489. Let i = g + 424. Is i a composite number?
False
Suppose 31*h = 39*h - 177832. Is h prime?
True
Let d = 4767 - 3395. Suppose -c = 3*c - d. Suppose -2*a + 1055 = 5*i, 2*i + 2*a - 79 - c = 0. Is i composite?
False
Let r(y) = 498*y - 3. Let q be r(-4). Let x = 110 - q. Is x prime?
False
Suppose 0 = 47*v - 49*v + 5158. Is v a prime number?
True
Suppose w - 3*d = 1444, 4*d = 1 + 19. Is w a prime number?
True
Suppose -4*t - 5*p = -274231, -t - 152*p + 149*p = -68556. Is t a composite number?
True
Let k(z) = 2*z + 8. Let x be k(-4). Suppose x*c - 4*c = -80. Is (-1 - 0)*(c - 57) composite?
False
Let n = -54 - -54. Suppose 4*c + 3*j - 9580 = -j, c + 2*j - 2395 = n. Is c a composite number?
True
Let g(b) = -b**2 - 16*b - 19. Let r be g(-14). Is r/(-36) - (-16410)/8 a composite number?
True
Suppose 20*n - 34678 - 73342 = 0. Is n composite?
True
Is -5 + 93*-1*1264/(-12) a prime number?
True
Let m(d) be the first derivative of -7 - 3*d + 1/2*d**2 + 2*d**3. Is m(4) a composite number?
False
Suppose -6*r - 4095 = -15*r. Suppose h - 3*b = -6*b + 101, -r = -5*h - 5*b. Is h composite?
True
Suppose -3*i - 4*y + 62 = 0, -3*i + 0*y = -y - 37. Suppose -207 - 759 = -i*c. Is c prime?
False
Let u(l) = -33*l**3 - l**2 + 4*l + 4. Let m be u(-4). Suppose 0 = -6*o - 254 + m. Is o a composite number?
True
Let g(a) = 12*a**3 + 8*a**2 - 58*a - 47. Is g(11) a prime number?
False
Let u(x) = 8*x - 13. Let c be u(9). Let g be (4/10)/((-7)/(-70)). Suppose c - 375 = -g*v. Is v composite?
False
Let b = -26 + 25. Is 149/(3/3)*(0 - b) composite?
False
Let q(i) be the second derivative of -7*i**5/20 - 7*i**3/6 - 9*i**2/2 + 40*i. Is q(-4) a composite number?
False
Let w be (-2)/(27/(-15) + 2). Let l = -8 - w. Suppose v - 152 = -5*t + 4*v, -l*v + 95 = 3*t. Is t a prime number?
True
Let n = 14 + 2. Is 11508/n - (-3)/(-12) a prime number?
True
Let b(h) = -h**3 + 6*h**2 + 5. Let y be b(6). Let k(m) = 11*m**3 - 5*m**2 + 4*m + 6. Let p be k(y). Suppose 4*q + p = 8*q. Is q composite?
True
Suppose 3*f - 4878 + 465 = 0. Is f composite?
False
Let f(c) = c**3 + 15*c**2 + 18*c + 25. Is f(15) a prime number?
False
Let f(s) be the first derivative of 14*s**3 - s**2/2 + 2*s + 9. Is f(3) prime?
False
Suppose 6*x - 4*x = 0. Let c be (x - 1)*(0 - 0). Suppose -1 = k, c = -4*r - 2*k - 191 + 1529. Is r a prime number?
False
Let n be (-6)/(-9) - 10/(-3). Is (614/(-8))/((-1)/n) composite?
False
Let l = -1418 + 856. Let n = l + 1067. Is n a composite number?
True
Let z be (6/(-30))/((-2)/20). Is 22/33*1317/z prime?
True
Let m be ((-107952)/65)/(6/20). Let n = m - -8577. Is n prime?
True
Suppose -4*f = -y - 4064, -5*f + 7*y = 2*y - 5095. Suppose 0 = -0*i - 3*i. Suppose -2*t - 3*t + f = i. Is t prime?
False
Suppose 4*x - 58 = -3*d + 535, -4*x + 600 = -4*d. Is x composite?
False
Let k(a) = a**3 + a**2 - 33*a + 26. Is k(23) composite?
True
Let z = 11 + -10. Let w(c) = -z + 2 + 5 - 3 + 3*c. Is w(4) a composite number?
True
Let d be 0*(-2 - -6)/(-4). Suppose d*r - 5*r = 3*b - 2969, -2*b = r - 1977. Is b/12 - (-4)/6 a prime number?
True
Let y(x) = 2*x**2 - 12*x + 18. Let k(q) = q**2 - 13*q + 17. Let z(c) = -3*k(c) + 2*y(c). Let l = 35 + -25. Is z(l) composite?
True
Let s be ((-16)/(-12))/4*3. Let q = s - -434. Suppose -12*o - q = -15*o. Is o a composite number?
True
Let b = 61621 + -26592. Is b a prime number?
False
Let y = 30600 + -7861. Is y prime?
True
Let z = -9781 + 14150. Is z prime?
False
Is 1023150/210 + 24/(-21) a prime number?
True
Is 8/(-10) + (-682524)/(-180) a composite number?
True
Suppose 0 = -5*j + 2*g, -2*j - 4*g = j.