ite number?
False
Suppose 19 = -3*y + q, 13 = -4*y - 2*q - 9. Suppose -4*s + 8 = 0, 4*z + z = 5*s + 20. Is (4/z)/(y/(-27)) a composite number?
False
Let m(c) be the third derivative of -47*c**4/24 - 4*c**3/3 - 4*c**2. Is m(-9) prime?
False
Let u = 289 + -78. Suppose -4*b + 85 = -u. Suppose -2*n + b = -36. Is n prime?
False
Let u(m) = 2*m**2 + 9*m + 5. Let x be u(-7). Suppose 11 = w - x. Is w prime?
False
Is 631 + -1 + 3/3 composite?
False
Let o be 0/(-3 - (1 + -6)). Suppose -3 = -l - o*l. Suppose l*y - 40 = -y. Is y a prime number?
False
Let d = 355 + -228. Is d a prime number?
True
Let s(q) = 17*q - 1 - 14*q - 71*q. Is s(-3) composite?
True
Suppose g + 7*w - 192 = 4*w, 0 = 4*w - 12. Is g a prime number?
False
Let o = -4 + -1. Let z = -1 - o. Let p(a) = 2*a**2 - 2*a - 1. Is p(z) a prime number?
True
Let d(k) be the first derivative of 41*k**4/4 + k**3/3 - k**2 + 3*k + 6. Is d(2) prime?
True
Let c(h) = -h + 8. Let v be c(6). Let b be 1/(-2) - (-53)/v. Suppose -y + 0*y = -b. Is y composite?
True
Suppose 0 = -4*o + 336 + 328. Is o prime?
False
Let n be 8/6 - 2/6. Let x be (6/3 - 3)/n. Let h = x - -8. Is h composite?
False
Let w(s) = -8*s + 4. Suppose -r - 5 = -2. Let c be w(r). Suppose 2*g = c + 46. Is g a composite number?
False
Is 6522/(-30)*(3 + -8 + 0) composite?
False
Let g(a) = a**3 + 7*a**2 + 6*a + 1. Let d be g(-4). Let z = 18 - d. Let u(l) = -2*l - 1. Is u(z) composite?
False
Suppose 8*b - 146 = 7*b. Is b composite?
True
Is (3 + -4 - -60)/(2/10) a composite number?
True
Let y(w) = -w + 19. Is y(0) a composite number?
False
Suppose -4 = 5*m - 24. Suppose 2*h + s - 118 = -25, 0 = -m*h - s + 191. Is h composite?
True
Suppose 0 = -2*f + 10*f - 8296. Is f composite?
True
Is (4472/(-2))/(-2) - 3 a prime number?
False
Let l(q) = q**3 + 8*q**2 + 8*q + 10. Let w be l(-7). Let b be (-21)/(-9) - 1/w. Is 47/b + (-1)/2 composite?
False
Let c = 44 + 10085. Is c prime?
False
Let a = -242 + 535. Is a prime?
True
Suppose 0 = -5*p - 8*p + 18707. Is p prime?
True
Let x = 2426 - 1731. Is x a prime number?
False
Let v(d) = d**2 + 19*d - 6. Let g be v(-8). Suppose 624 = 5*x - 231. Let a = g + x. Is a a composite number?
True
Suppose 9 = m - 6. Is m a composite number?
True
Let m be (1 + -3)*4/2. Let q = 638 - 329. Is q/21 + m/(-14) a prime number?
False
Let g be 0 - (3 - -3) - 1. Let a be 4 - (-9)/(-3) - g. Let k(q) = q**2 + 8*q + 5. Is k(a) a prime number?
False
Let q(o) = -o - 1. Let g be q(8). Let b = g - -14. Suppose -2*z + 197 = b*v + 64, 2*v - 301 = -5*z. Is z a composite number?
False
Let r(c) be the second derivative of -c**3/6 + 11*c**2/2 + c. Is r(-8) composite?
False
Let h = 35 - -18. Is h a composite number?
False
Let y be (1 - 1)/(16/8). Let w = 0 + 3. Suppose -w*t - 2*t + 595 = y. Is t prime?
False
Suppose 0 = -6*w + 19 + 11. Suppose 2*v = -w + 79. Is v a composite number?
False
Suppose -2*g - 3*g + 510 = 0. Suppose 83 + g = 5*m - f, 3*f = 3*m - 111. Is m a prime number?
True
Let k = -2539 + 1504. Let v = 1772 + k. Is v composite?
True
Let i = -9 - -188. Is i a prime number?
True
Let j be (-3)/(-2)*(0 + 2). Suppose -2*u - 2*q = -49 + 237, j*u - 2*q = -282. Let r = u - -159. Is r prime?
False
Let v = -6 - -8. Suppose v*b = -m - 7, -20 = 3*m - 0*m + 5*b. Let n = 14 - m. Is n a composite number?
False
Suppose i + 1143 = 4*i. Is i a prime number?
False
Let o(w) = 10*w**2 + 28*w + 26. Is o(-18) a composite number?
True
Let l = -26 + 63. Suppose 3*j - l = 2*j. Is j prime?
True
Let f = -990 - -1511. Is f composite?
False
Let a(d) = -5*d + 0*d**2 - 2 + 5 + d**2. Let c be a(6). Suppose -3*v + c = -0*v. Is v a prime number?
True
Suppose 0 = -2*q - 3*q. Is 52/(1 + q) + -3 composite?
True
Suppose 2*b + 275 = 19. Is 0/4 + -1 - b a composite number?
False
Let v(i) = -i**3 - 3*i**2 - 2*i - 5. Let a(c) = -c + 2. Let b be a(6). Is v(b) prime?
True
Suppose 3*x = 8*x + 3*i - 737, -i = -5*x + 741. Suppose 4*u + 135 = 4*s + 11, 4*u = -4*s + x. Is s a prime number?
False
Suppose 4 = 2*t, -3*u - u + 5*t - 18 = 0. Let d(y) = 2*y**2 + 3*y + 1. Let w be d(u). Suppose 0 = 2*b - w*n - 57, -5*n + 2 = 27. Is b a composite number?
True
Suppose 64 + 514 = 5*k + 3*r, -2*r = -3*k + 362. Suppose 3*q - 143 = -0*q + 4*c, 2*q - k = -3*c. Is q a composite number?
False
Let x(p) = -11*p - 6. Let m be 30/(-4)*(-4)/6. Suppose 4*r = f + 21, 0 = -0*r + m*r - 20. Is x(f) prime?
False
Let j(v) = -106*v + 1. Let a = 7 - 9. Is j(a) composite?
True
Suppose -3*i + 4*f = -1133, 0 = 5*i - 4*f + 5*f - 1896. Is i prime?
True
Let p = -465 - -126. Suppose -4*q + 380 = 972. Let m = q - p. Is m a prime number?
True
Let l = 47 - 49. Let o = 9 + -5. Is 581/o + l/8 a composite number?
True
Suppose 980 = 2*r + 2*r. Suppose -s - 261 = -5*a - 2*s, -5*a - 5*s + r = 0. Is a composite?
False
Let t = -1162 + 1949. Is t a prime number?
True
Let o(i) = i**2 - 10*i - 8. Let a be (-28)/(-5) - (-20)/50. Let h(x) = x**2 - 5*x + 7. Let g be h(a). Is o(g) prime?
True
Is (-1895)/3*12/(-4) prime?
False
Let a = -15 - -25. Is a composite?
True
Let m(x) = x**3 - 4*x**2 - 6*x + 6. Let g be m(4). Let b = -7 - g. Is b composite?
False
Let j(k) be the first derivative of 25*k**2/2 - 11*k - 1. Is j(6) prime?
True
Suppose 5*g + 1537 - 62 = 5*i, 5*i - 1463 = -g. Is i a prime number?
True
Suppose -5*k + 3*c + 13 = -0*k, 35 = 3*k + 5*c. Suppose -3*f + 153 = -2*f - 2*m, 695 = k*f + 4*m. Suppose 5*l + f = j + 41, 2*j + l = 149. Is j prime?
False
Let i = 1 - -2. Suppose -t - 280 = i*t. Let z = t + 123. Is z prime?
True
Let w(q) = -128*q - 19. Is w(-10) composite?
True
Let i = 3 - 0. Let k(d) = 4*d**3 + 2*d**2 - 5. Is k(i) composite?
True
Let v be (-2)/12 - (-228)/72. Suppose v*a + 111 = 6*a. Is a a prime number?
True
Let s(g) = g**3 + 6*g**2 + 6*g + 7. Let k = 0 - 5. Let n be s(k). Suppose -2*h - 5*z = h - 176, -4*h + n*z + 278 = 0. Is h a composite number?
False
Let q = -14 + 20. Let c be (-6)/(2/((-8)/q)). Suppose -c*t - 25 + 149 = -4*k, 124 = 4*t + 5*k. Is t a composite number?
False
Suppose 2*v = 3*z - 0*z + 2, 8 = -z - 3*v. Is 4/z*87/(-2) a prime number?
False
Suppose -4*b + 3*b = 66. Is 2/11 + (-3486)/b prime?
True
Let d = -3 + 4. Is (d - 3)*7/(-1) prime?
False
Let x be (2/(-4))/((-3)/18). Suppose x*l - 305 = -2*l. Let f = 96 - l. Is f composite?
True
Let l(s) = s**3 + 3*s**2 - 2*s - 1. Let n be l(-2). Let c(t) = 5*t + 5. Let d be c(n). Suppose -d = -i - 4*i + r, -2*r = 2*i - 4. Is i composite?
False
Let h(p) = p**3 + 10*p**2 + 15*p + 13. Is h(-6) prime?
True
Let i = 14 + -3. Is i a prime number?
True
Let d = -29 - -182. Suppose -h - 4*t + d = 0, 3*h + 4*t = h + 314. Is h a prime number?
False
Suppose 2*a + v + 14 = 233, -3*v = 5*a - 545. Suppose -a = -2*t + 5*o, -5*t + 3*o = -o - 280. Suppose 2*m = 74 + t. Is m prime?
False
Let k(l) = 27*l. Let p be k(2). Let r = -32 + p. Is r a prime number?
False
Let q(v) = 78*v**2 - 1. Let n(c) be the second derivative of -c**5/20 + c**4/4 + 2*c**3/3 + c**2/2 + 2*c. Let f be n(4). Is q(f) a composite number?
True
Let c be 2/(-8) + 19/(-4). Let t be 26/5 + 1/c. Suppose 0 = -4*x + t*x, -g + 69 = 3*x. Is g composite?
True
Let h be ((-28)/(-16))/(1/4). Suppose -183 = -h*y + 34. Is y a composite number?
False
Let w(g) = -38*g + 6 + 1 + 2. Let f be w(-9). Let p = f - 208. Is p prime?
False
Is (2 - 45)*(7 - 8) a prime number?
True
Let g = -1311 + 2062. Is g composite?
False
Let t(p) = p + 2 + 3*p - 3. Let u be t(1). Suppose 4*s - 31 = -u. Is s composite?
False
Suppose -2*o + 3*o - 220 = 0. Let b = -59 + o. Is b a prime number?
False
Let u(n) = -n + 6. Is u(-5) a composite number?
False
Let a(b) = 2 + 4*b - 2*b + 2 - 9*b**2 - 3. Let u be a(-4). Let g = 245 + u. Is g a prime number?
False
Suppose q - 4*q - 45 = 0. Let n = 58 - 29. Let b = q + n. Is b a prime number?
False
Let d = 266 - 139. Is d composite?
False
Suppose -6*m + 2124 = -798. Is m prime?
True
Suppose -3 = -3*r + 5*w, w = r - 4*w + 9. Let z(b) = -b**2 + 0*b**2 + 2*b**2 - 4*b - 2. Is z(r) a prime number?
False
Suppose 3*g - 8*g + 30 = 0. Let n(t) be the first derivative of t**3/3 + t**2/2 - 5*t - 1. Is n(g) a prime number?
True
Let a be (-1 + (-2 - -2))*-2. Suppose a = p - 3*p. Is 0*p/(-3) + 19 a composite number?
False
Suppose 0 = 4*y, -r = -3*r - 4*y. Suppose -q + 121 = -r*q + 3*c, -c + 661 = 5*q. Is q composite?
True
Let r(g) = 66*g