) composite?
True
Let h = -23 - -102. Is h a prime number?
True
Suppose 2*y + 2*o = 796, -4*o - 440 = -y - 47. Is y composite?
False
Let a(u) = u. Let p be a(2). Let w = -2 - p. Let f(m) = -4*m - 6. Is f(w) a prime number?
False
Let r(d) be the third derivative of -d**4/24 + 11*d**3/6 - d**2. Let y be r(8). Suppose -3*w + 8 = k - y, 0 = k - 4*w - 18. Is k prime?
False
Suppose -4*v = z - 403, v + v = -8. Is z composite?
False
Let k(a) = -a**3 - 6*a**2 + a. Let f be k(-6). Let p(r) be the first derivative of -27*r**2/2 + r + 1. Is p(f) prime?
True
Let o(i) = 5*i - 11*i + 1 - 30*i. Is o(-1) prime?
True
Let c be ((-4)/(-6))/(2/18). Let b(j) = -j**2 - j + 3. Let z be b(c). Let v = z - -74. Is v a prime number?
False
Let a = 20 + 33. Let x = a - -30. Is x prime?
True
Let d(p) = 16*p**2 - 2*p + 7. Is d(-3) a prime number?
True
Let f(q) be the third derivative of -q**2 + 0*q - 2/3*q**3 + 0 - 1/24*q**4. Is f(-8) composite?
True
Let l(i) = i**2 + 7*i + 9. Let o = -16 + 10. Let n be l(o). Suppose n*v = -3, -8*z - 2*v = -3*z - 123. Is z composite?
True
Suppose -143 = -4*p + 37. Suppose 5*c = -2*j - 0*j + p, 3*c + 5 = 2*j. Is j composite?
True
Suppose -5*u = -2*u - 1140. Suppose 2*k - u = -2*k. Is k a composite number?
True
Suppose -3*q + 15 = 3*s, 6 = 2*q + 5*s - 4. Suppose q*y = 3*y + 26. Let i = y + 22. Is i a composite number?
True
Suppose 3*a + 10 + 5 = -5*u, -4*u - 2*a - 12 = 0. Let r = u - -1. Is ((-69)/9)/(r/6) prime?
True
Let h(f) = 2*f**2 + f + 12. Let j be h(0). Let g = 83 + j. Is g a composite number?
True
Suppose k - 3*k + 124 = 0. Let t = -36 + k. Is t a prime number?
False
Suppose -99 = -2*y - 437. Let t = 9 - y. Is t composite?
True
Let p(s) = 3*s - 10. Let t = 20 + -12. Is p(t) composite?
True
Suppose -3 = -3*u - 5*c - 25, 0 = 3*u - c + 28. Let n = -99 - u. Let f = -53 - n. Is f a composite number?
False
Let z(y) = y - 4. Let g be z(4). Let a(j) = j + j - 5 + 9*j**2 - j**2 + g - j**3. Is a(6) a prime number?
True
Let z(t) = -3*t + 1. Let p be z(-1). Suppose f - u - 64 = 0, 2*f - 113 = -5*u + p*u. Is f prime?
True
Let v(x) = x**2 - 4*x - 50. Is v(-17) composite?
False
Suppose 4*f - 3*b - 508 = -0*f, 127 = f + 4*b. Is f composite?
False
Let r(i) = -i**3 - 7*i**2 + 8*i + 2. Let l be r(-8). Suppose 5*z + 2*u = 565, -l*z + 2*u - 61 + 301 = 0. Is z a prime number?
False
Suppose 44 = 2*q + 2*q. Suppose -4*t + 4*j = -5*t + q, 3*t + 5*j = 26. Suppose 3*h - 4*l + t*l - 66 = 0, 66 = 3*h - 3*l. Is h composite?
True
Let n(s) = -s**3 + 18*s**2 - 18*s - 21. Is n(16) a composite number?
True
Is (-37)/(5/2 + -3) a composite number?
True
Let o(x) be the first derivative of x**3 - x**2/2 + 3*x - 3. Let b = -13 - -20. Is o(b) a prime number?
False
Let i(q) = q**3 + 5*q**2 - 3*q - 7. Let r be i(-5). Let p(k) = k**2 - 4*k + 5. Is p(r) prime?
True
Let f(u) = u + 1. Let b(c) = c. Let m(k) = 5*b(k) + f(k). Is m(2) a prime number?
True
Let s = -1522 + 2399. Is s a composite number?
False
Suppose 5*c = q + 594, 5*c - 248 = -2*q + 349. Is c composite?
True
Let i be ((-6)/(-4))/(12/40). Suppose -i*t + 90 = 4*q - 101, -3*t = -2*q - 97. Is t composite?
True
Is (-15088)/(-32) - (-2)/(-4) prime?
False
Suppose -92 = -4*m - 12. Suppose -5*c = -5*y + m, 4*y + c - 7 = 2*c. Is (1 + y)*(-249)/(-6) composite?
False
Let c(f) = f. Let u be c(7). Let m = 3 + u. Suppose 4*j + m = 5*j. Is j a prime number?
False
Suppose 0 = -3*m - 4*q + 520 + 3187, 3*m = 3*q + 3672. Is m a composite number?
False
Suppose 0 = 3*s - 2*o - 5401, -3*s + 3*o - 4*o + 5404 = 0. Is s composite?
False
Let i(c) = 7*c**2 - 26*c + 20. Let a(d) = -10 - d + d + 13*d - 3*d**2. Let u(s) = 5*a(s) + 2*i(s). Is u(9) a prime number?
False
Let y = 229 + -146. Is y composite?
False
Let g = 379 + 2380. Is g a prime number?
False
Suppose -20 = -5*w + 2*k, -2*w + 3*k + 14 = -5. Suppose 91 = -w*i + 3*i. Is i composite?
True
Is (4 - 0)/4 + (-61)/(-1) a composite number?
True
Let o(q) = 2*q**2 + 3*q + 1. Let h be o(-2). Suppose -79 = -h*w - 34. Is w prime?
False
Is 346/6 - (-14)/(-21) a composite number?
True
Let i = 1639 - 104. Is i composite?
True
Let h = -242 - -1231. Is h composite?
True
Suppose -u = u + 24. Let x(w) = -w**2 - 15*w + 11. Is x(u) a prime number?
True
Suppose 3*f + 2*q - 541 = 0, -3*f = -0*f - 2*q - 557. Suppose 2*d = 5*z + f, 4*d - 4*z = -0*z + 372. Is d a prime number?
False
Suppose 0 = 22*c - 18*c - 19644. Is c composite?
True
Suppose -4*m - 2*q = -m - 11, -2 = -2*q. Suppose m*k - d = -k - 285, 4*k - 2*d = -286. Is -2 + (-5 - -3 - k) composite?
False
Suppose -3*f = 5*k - 526 - 2709, -2*k = -4*f - 1294. Is k a composite number?
False
Let h = -925 + 628. Let t = h - -509. Suppose 0 = 5*c - c - t. Is c a composite number?
False
Suppose 3*n = v + 275, -5*n - v - 5 = -466. Suppose n = 2*p + 2*p. Is p composite?
False
Let x(i) = -4*i**3 - 4*i**2 + i - 13. Is x(-6) prime?
True
Suppose -6252 = 5*c - 9*c. Is c prime?
False
Let n = 193 + -331. Let c = n + 265. Is c prime?
True
Suppose 3*u = 6*u. Is 242 + -9 + u/1 prime?
True
Let g = 6 - 3. Suppose y + 1 - g = 0. Suppose -y*v + 189 = -s, 0*s = v + 2*s - 107. Is v prime?
True
Let r = 145 - 70. Let n be (-16)/(-2 + 30/16). Let l = n - r. Is l prime?
True
Let s = 1186 + -507. Is s composite?
True
Let n = 4 + -2. Let x(z) = 2 - z**3 + 2*z**2 + n*z + 0 - 4. Is x(-2) prime?
False
Let b(k) = -k**2 + 8*k - 18. Let a be b(12). Is (-3 + 2)*(1 + a) a composite number?
True
Let i(t) be the first derivative of -5 - t - 1/4*t**4 + 10/3*t**3 + 15/2*t**2. Is i(10) a composite number?
False
Is -2*(-3)/21 + (-1998)/(-14) a composite number?
True
Suppose 0 = y - 4*y - 3*h + 540, -908 = -5*y - h. Let t = y + -85. Is t a prime number?
True
Let p = 131 + -34. Is p a composite number?
False
Let h(r) = r**2 + r + 2. Let g = -5 - -8. Suppose 2*y = -g*y. Is h(y) a prime number?
True
Let h(u) = 20*u**2 + 2*u - 1. Is h(3) prime?
False
Let q(y) = y**3 - 4*y**2 - 5*y + 3. Let f be q(5). Suppose -f*b + b = -254. Is b a composite number?
False
Suppose 4*t - m = -0*m + 316, -2*t + 158 = -3*m. Is t composite?
False
Suppose -4*b - 3*j + 368 = 0, -425 = -3*b - j - 154. Is b a prime number?
True
Suppose -3*c + 436 = -3*n + 7*n, c = 2*n - 218. Is n a composite number?
False
Let h = 461 - 135. Is h a prime number?
False
Let r be (9 - 0)/(30/(-20)). Let v be (-166)/(-8) + (-2)/(-8). Let w = r + v. Is w a prime number?
False
Suppose 0 = -4*o + 16 - 4. Suppose -3*g + o*q = 2*g - 7, -2*q = -2*g + 2. Suppose -5*c = -y + 6, -y + 6*c = g*c - 9. Is y composite?
True
Let t be 2/(-9) - (-112)/18. Let r(v) = 4*v - v - v**2 + 2*v**2 - t. Is r(-7) a composite number?
True
Suppose 4*b = -b + 4*i + 1180, 4*b - 3*i = 944. Suppose 3*y + y = b. Is y a prime number?
True
Is (3 - (-1)/(-2))*38 prime?
False
Is 6/(-3) + (-1055)/(-5) composite?
True
Suppose 0*v + 40 = -2*v. Is 43 + (-5)/(v/12) prime?
False
Suppose -12 = -5*w + 2*w, -690 = -5*z + 5*w. Is z a composite number?
True
Let p = 12 - 7. Let o(c) = 13*c**2 + 3*c - 11. Is o(p) composite?
True
Suppose 0 = 3*g - 5 - 13. Is (2/g)/(4/228) composite?
False
Suppose 0 = -3*t + 6, i + 0*t - 193 = -t. Let c = i + -96. Is c a composite number?
True
Suppose -3*r = 2*r - 705. Suppose h + r = 4*h. Is h composite?
False
Suppose 480 = -5*h - 200. Is 2/(h/70 + 2) a composite number?
True
Suppose -j = -2*c - 167, -5*c + 69 = j - 70. Is j prime?
False
Suppose 3*k - 6 = 4*k. Let r = k + 8. Suppose -r*x = x - 21. Is x a prime number?
True
Let g(y) = -y**2 - 3*y - 8. Let u(t) = t**2 + 2*t + 7. Let v(p) = -5*g(p) - 6*u(p). Let o be v(2). Let b(d) = d**2 + d + 337. Is b(o) composite?
False
Suppose 0 = 5*l + 3*d - 5845, -2*l - 2*l + 2*d = -4676. Suppose -4*b = -2*z + 598, -l = -4*z - 2*b + b. Is z a composite number?
False
Let t(z) = 2*z**3 - 5*z**2 + 3*z - 3. Is t(3) a composite number?
True
Let i = 771 - 480. Is i composite?
True
Let w(y) = -199*y**3 + 2*y**2 + y. Let t be w(-1). Let z = t - -57. Is z a composite number?
False
Suppose -4*n + 26227 - 6403 = 0. Is n/(-18)*3/(-2) a composite number?
True
Let f = -27 + 2734. Is f a composite number?
False
Suppose 5832 = 3*g - 5*d, 3*d = 2*g - 2*d - 3883. Is g a prime number?
True
Suppose -5*f - 4 = -6*f. Suppose 20 = -2*p + f*p. Is p a prime number?
False
Suppose 4*m - 251 = 3*m. Is m a composite number?
False
Suppose -2*c - 130 = -7*c. Let 