 - 4*t + 373, 2*y - 5*t + 368 = 5*y. Is y a composite number?
False
Let z be 2 + (-2 + 1)*2. Let k(f) = -3 + 0 + z - 10*f. Is k(-5) composite?
False
Let v(w) = 2*w**2 + 2*w + 31. Is v(-10) a composite number?
False
Suppose -614 = 4*j - 174. Is (1 + j/4)*-6 composite?
True
Let f = -8 + 14. Let p(s) = -2*s + s - 5 + f*s. Is p(6) a composite number?
True
Let s be (-2530)/(-15) + 4/(-6). Let k = -89 + s. Is k composite?
False
Let k(v) be the third derivative of -v**6/120 - v**5/30 + v**4/24 - v**3/2 - 2*v**2. Is k(-4) composite?
True
Let k = -292 - -674. Is k a prime number?
False
Let i(r) = r**3 - 8*r**2 - 9*r - 6. Let q be i(9). Let x = 32 - q. Is x a composite number?
True
Suppose -14 = 5*y - 3*y. Let t = 3 + y. Is ((-13)/t)/(3/12) a composite number?
False
Suppose q = -0*q + 24. Suppose -q = c - 2*f, 3*c + 0 + 78 = 4*f. Let v = c - -67. Is v prime?
True
Let i(p) = p**2 + 2*p. Let u be i(-2). Suppose -2*z - 1 = -7, u = 2*s + z - 13. Suppose 2*j = -5*k + 54, 71 = 4*j + s*k - 57. Is j composite?
False
Let v(j) = 3*j + 1. Let o(y) = -y. Let u(m) = -4*o(m) - v(m). Let f(w) = w**3 - 5*w**2 + 7. Let h be f(5). Is u(h) a prime number?
False
Let r(u) be the third derivative of 1/6*u**4 - 1/6*u**3 - 3*u**2 + 0*u + 0 - 1/15*u**5 + 1/30*u**6. Is r(3) composite?
False
Let p = -6 + 4. Let g = p - -5. Suppose g*w - 187 = 50. Is w prime?
True
Let o(n) = 3*n**3 - n**2 + 5*n - 2. Let z(r) = 6*r**3 - 3*r**2 + 11*r - 5. Let c(u) = 7*o(u) - 3*z(u). Let p be c(-1). Is (-1 - p)*(15 - 2) composite?
False
Let v be -1 + (312 + 1 - 0). Suppose -a - 3*a - v = 0. Let s = -47 - a. Is s a composite number?
False
Let t be (-2 + 3)*(1 - 1). Is 46/(1 + t/(-4)) a composite number?
True
Let b be 12/30 + (-4)/10. Suppose 0 = -n + x - 3 + 59, 2*n + 3*x - 107 = b. Is n composite?
True
Let n be (1/(-3))/(6/(-54)). Suppose -5*x + n*x + 102 = 0. Is x composite?
True
Let c(x) = x**3 + 9*x**2 + 8*x + 7. Let i be c(-6). Let d = 90 + i. Is d composite?
False
Let h be 3/(6/2)*1. Is -37*((h - 1) + -1) a prime number?
True
Let w = 141 + 46. Is w prime?
False
Let w = 7 - 9. Let r = 8 + w. Is r prime?
False
Suppose 0 = -2*s + 4*b + 4374, 5*b = 4*s - 3179 - 5572. Is s a prime number?
False
Let z(u) = -u**3 + 16*u**2 + 11*u + 23. Is z(15) composite?
True
Let h = -2299 - -10488. Is h a prime number?
False
Let l(x) = -54*x - 25. Is l(-10) composite?
True
Let a = 411 - 243. Let h = -85 + a. Is h a composite number?
False
Suppose 3*v + 2*v - 150 = 0. Let j be (0/(-4))/1 - 21. Let d = v + j. Is d a composite number?
True
Let m(g) = -5 + g**3 + 2*g**2 + 2*g - 6*g + 0 + g. Is m(4) a prime number?
True
Let o(r) = 6*r + 1 - 43*r + 2*r. Suppose -4*s - 21 = 3*i - 7, 0 = -4*s + 4. Is o(i) a composite number?
False
Suppose 0*g = -2*g + 1114. Is g prime?
True
Suppose 3*d + 471 = 6*d. Is d a composite number?
False
Suppose -4*q = -5 - 7. Let o(u) = -10 - 2*u**3 + 47 + 3*u**q + u**2 - u. Is o(0) prime?
True
Let s = 2161 - -2158. Is s a composite number?
True
Let h be (1 - 1) + 10/1. Let i = -18 + h. Is 6/8 - 386/i a prime number?
False
Is -11*(-222 - (-4 + 5)) composite?
True
Let g = 81 - 38. Is g prime?
True
Let l be 12/(-15)*5/(-2). Suppose 0 = -3*v + 9, -l*j + 88 = -j + 3*v. Is j a prime number?
True
Suppose l + l = 8. Suppose -2*w + 103 = 2*u - 5*w, l*u + 4*w = 216. Is u composite?
False
Let h(a) = -2*a**2 + a + 3. Let d be h(-2). Let t be 4/(12/(-99))*-10. Is (d/3)/((-10)/t) prime?
False
Suppose -2*y - 194 - 92 = -3*z, -5*z + 440 = 4*y. Suppose 0*u - z = -4*u. Is u composite?
False
Suppose -3*s - 2 = 4, 255 = 5*c + 5*s. Let a be (c/(-3))/(1/(-3)). Suppose -o = -0*o - a. Is o prime?
True
Let o = 40 + 121. Is o a prime number?
False
Let c(o) = -o**3 + o + 172. Let q be c(0). Let f = q + -107. Is f prime?
False
Suppose 0 = 2*j + 4 - 6. Suppose 14 + j = 3*g. Suppose -26 = -g*p - 2*m, -3*p + 28 = -m - 4*m. Is p a prime number?
False
Let q(b) = 2 + 4 - 4 - 1. Let l(g) = g**2 - 2*g - 6. Let p(d) = l(d) + 5*q(d). Is p(4) a prime number?
True
Let n be (-3 - (-16)/4) + -4. Is n + 9/((-9)/(-26)) composite?
False
Suppose -5*b - 4*f + 9*f = -650, -2*b + 4*f = -254. Is b a composite number?
True
Suppose c - 5*g + 122 = 2*c, -636 = -5*c + g. Is c prime?
True
Let n(v) = -10*v - 1. Suppose 2*b + 3*g = b - 20, 5*b = -4*g - 56. Is n(b) composite?
False
Let q(g) = 331*g**2 - 2*g + 2. Is q(1) composite?
False
Let r = 7 - 6. Let c = 4 - r. Suppose 0*m - 41 = -z - c*m, -z = 2*m - 43. Is z composite?
False
Suppose 4*f + 36 = -5*a - 51, 47 = -2*f + a. Let j = f - -33. Is j prime?
False
Suppose -5*h + 5*k = -525 - 1770, 4*k = -h + 479. Is h a composite number?
False
Let q(h) = h**2 - h. Let s(f) = -34*f**2 - 2*f + 1. Let o(u) = 2*q(u) - s(u). Is o(-2) prime?
False
Is (-57)/(-38)*16028/6 a prime number?
True
Let z = -14 + 8. Let q be 7/3 + z/(-9). Suppose -2*t = q*t - 70. Is t prime?
False
Suppose 5*q - 23 = q + 3*t, q - 4*t = 22. Suppose -11 = -q*a + a. Let x = 18 - a. Is x composite?
False
Let a(c) = -2*c + 4*c**2 - 2 - c**3 + 0*c - 1. Let i be a(3). Is (-2 - (-567)/3) + i a composite number?
True
Let b(u) = 2*u - 4. Let x be b(5). Suppose x*q = q. Suppose q*l - 3*l = 5*v - 268, -4*l = -4. Is v a prime number?
True
Let r(x) be the first derivative of 31*x**3/3 + 2*x**2 + x + 2. Is r(2) composite?
True
Suppose -2*p + 774 = -5*f, -f + 1195 = -0*p + 3*p. Is p composite?
False
Let b(a) = a**3 + 11*a**2 - 12*a - 1. Let l be b(-12). Is -1 - (-214 - (l + -1)) prime?
True
Let y be (8/20)/((-2)/(-10)). Suppose 6 = -y*w, 0 = r - 3*w - 5 - 2. Is (-5 + 1 - r) + 35 composite?
True
Suppose -5*j = -11 - 94. Let w = 21 + -10. Let f = j - w. Is f composite?
True
Suppose -2*c + 7 + 1 = 0. Let h(g) = -g**2 + 4*g + 10 - c*g + g**3. Is h(0) a prime number?
False
Let m = 16 - 12. Is 6/(-9)*(-186)/m composite?
False
Let l(d) be the third derivative of 7/60*d**5 + 2*d**2 + 2/3*d**3 + 1/120*d**6 + 0 + 7/24*d**4 + 0*d. Is l(-5) a composite number?
False
Suppose -5*w - x = -30 + 97, -w + 5*x = 3. Let t = 20 + w. Is (-20)/7*t/(-2) a composite number?
True
Suppose 251 = 2*f + 2*f + 3*u, -313 = -5*f - 3*u. Let c = f + 71. Is c a prime number?
False
Suppose -2*t + 0*n - 3*n - 3 = 0, t = 2*n + 2. Let d be 0 - t - (-53 + -2). Suppose -4*f = f - d. Is f a prime number?
True
Let p = 6 - 2. Let h be p/(-6)*(246 + 0). Let n = -111 - h. Is n a prime number?
True
Suppose -5*h + 3*i = 8*i - 5, -5*h + 17 = i. Let w = 11 - h. Is w composite?
False
Let r(h) = 19*h**2 - 14*h - 3. Is r(10) a composite number?
True
Suppose 0 = 4*n + 93 - 21. Let o be -5*(n/5 - -3). Suppose 0 = 3*m - 4*j - 1, m - o*m + j = -9. Is m prime?
True
Suppose -2*t = 3*t - 4075. Suppose 0*q = -5*q + t. Is q composite?
False
Let i be -1 + -2 + 6 - -2. Is 984/40 + 2/i a composite number?
True
Suppose -2*m - 2*m = -2*y - 4032, 0 = 3*m - 3*y - 3021. Is m a composite number?
False
Let a(m) = -17*m - 4. Let b be a(6). Let d(r) = r - 8. Let k be d(2). Is b/(-3) + k/18 prime?
False
Suppose -2*x - 2 = -4*y, 0 = 4*x + 4*y - 2*y - 16. Suppose -3*k - 66 = -0*v - 3*v, -x = k. Is v prime?
True
Suppose -4 = 3*c - 1. Let q(d) be the first derivative of -13*d**2/2 + d + 3. Is q(c) prime?
False
Let x(b) = -32*b - 6. Let w be x(5). Let c be (4 - 2) + -117 + 0. Let q = c - w. Is q a composite number?
True
Let h = 1229 - 694. Is h prime?
False
Let q(f) = -f**3 + f. Let y = 29 - 13. Let j be y/(-7) + 2/7. Is q(j) composite?
True
Let x be 130 - -1*(0 - -1). Let y = -78 + x. Is y a composite number?
False
Let m(z) = 47*z. Let h(p) = p**3 - 7*p**2 + 2*p - 4. Let d be h(7). Let q be d/(-25) + (-14)/(-10). Is m(q) composite?
False
Suppose -2 = -c, -3*c + 24 = 5*y - c. Suppose -4*a + 63 = z, y*a - a = -5*z + 332. Is z a composite number?
False
Let l = 8 + 2. Suppose 4*w - l - 10 = 0. Is (-118)/2*(w + -8) a prime number?
False
Suppose 17*v = 12*v - 665. Let l = v - -266. Is l prime?
False
Let c(i) = -i - 1. Let f(t) = -6*t - 4. Let g(v) = -5*c(v) + f(v). Let y be 3/(0 + 1/(-2)). Is g(y) composite?
False
Let b(c) = 31*c**2 + 5 - 2 + 19*c**2. Is b(2) prime?
False
Let o(a) = 37*a + 1. Let q = 0 + 1. Is o(q) a composite number?
True
Let n(q) = -q**3 + 6*q**2 - 6*q + 2. Let f = 11 + -7. Is n(f) composite?
True
Let s(a) = -342*a - 11. Is s(-4) a composite number?
True
Suppose 0 = 4*w + 6*q - 5*q - 7383, q + 5546 = 3*w. Is w prime?
