rue
Let j(a) = 4*a**2 - 10*a + 7. Suppose -3*p = -4*s + 31, -8 = -4*s + 2*p + 22. Is j(s) prime?
False
Is (((-1662)/(-4))/1)/((-8)/(-16)) prime?
False
Suppose 4*b - 8 = 5*n, n + 0*n - 4*b = -8. Suppose 0*l + 5*l = n. Suppose l = -3*d - 0*d + 27. Is d composite?
True
Suppose 0*d = -4*d + 80. Is (-18)/(-4)*d/6 a prime number?
False
Let s = -33 - -52. Is s composite?
False
Let x = 7 - 3. Suppose -x*f - 3*y = -194, f - 2*f + 49 = y. Is f a prime number?
True
Let t be -1 - (-3 - -1 - 3). Suppose 2*q - 2*z - z = 227, -424 = -4*q - t*z. Is q composite?
False
Suppose 0*m = -5*c - m + 1249, -3*m = -3*c + 735. Let i = c - 178. Is i prime?
True
Suppose 4*l = -0*l. Suppose -j - 22 = -5*a, 3*j + 4*a = -l*j + 10. Is (j - (4 - 3)) + 38 a composite number?
True
Suppose -4*t - 5*c = -c - 1012, 0 = -3*t - 2*c + 759. Is t prime?
False
Let b = -1 + 4. Suppose -k + b*k - 50 = 0. Is k composite?
True
Suppose -5*c + 1 = 11. Is (178 + -1)*c/(-6) a prime number?
True
Suppose 4*k = 80 + 156. Suppose k = z - 0*z. Is z prime?
True
Let p(b) = 19*b + 3 - 30*b + 1. Let r(w) = w**2 - 6*w - 10. Let h be r(7). Is p(h) prime?
True
Let l(d) = d + 7. Let s be l(-4). Suppose o + o - 2 = 0, -2*o - 289 = -s*v. Is v a prime number?
True
Let i be 3 + 2/2*9. Is -4*(-3 + (-9)/i) prime?
False
Let f(g) = 2*g - 3*g + 2*g - 4*g - 11. Let n(c) = 3*c + 10. Let h(q) = 3*f(q) + 2*n(q). Is h(-12) a prime number?
True
Is (-4)/(-8) + 1113/2 a composite number?
False
Let w(p) be the second derivative of p**4/12 + 4*p**3/3 - 7*p**2/2 - 2*p. Is w(-10) composite?
False
Let t = 99 + -22. Is t a prime number?
False
Let p = 35 - -32. Is p composite?
False
Suppose 286 = -4*r + 6*r. Is r a prime number?
False
Let z = 339 + -152. Is z a composite number?
True
Is (-1)/(-3) - 1547/(-21) composite?
True
Let b(x) = 5*x**2 + 2 - 3 - 1 + 1. Is b(1) a composite number?
True
Let g(w) = w**2 + 7*w. Let s be g(-7). Suppose s*h - 6 = -2*h. Suppose k + h*k = -x + 217, k + 5*x = 40. Is k composite?
True
Suppose -95 = -2*i + i. Is i a composite number?
True
Suppose -5*m = -m. Suppose 4*w = -m*w + 16. Suppose 3*k = -5*t + 90, -w*t - 5*k = t - 80. Is t a prime number?
False
Suppose x - 217 = -5*o + 2*o, 0 = 3*x - 2*o - 596. Let p = -119 + x. Is p composite?
False
Let s be (-1)/2 + 30/4. Suppose 285 = 6*p - 3*p. Suppose -2*n - p = -s*n. Is n composite?
False
Suppose 2*r = -2*r + 12, -5*j + 1586 = -3*r. Is j composite?
True
Let i be 6/(-27) - (-148)/18. Suppose h + i = 25. Let w = h - -126. Is w a composite number?
True
Let g = -8 + 11. Suppose -255 = -g*p - 2*p. Is p a composite number?
True
Let t = -196 - -831. Is t composite?
True
Let p be (3 + -5 + -2)/(-2). Suppose -s + 101 = 4*a, 252 = 2*s + p*a - 4*a. Is s a composite number?
True
Let l(w) = 6*w**2 - 2*w - 1. Let b be l(-1). Suppose 0 = -f - 0*f + b. Let a = f + 26. Is a a composite number?
True
Let o(z) = 128*z**2 + 10*z - 13. Is o(7) a composite number?
False
Let d be (-2)/(-5) + 3080/50. Let h = d - 16. Is h composite?
True
Suppose 3*w = 2*w - 3. Let z = 5 + w. Let y(r) = 13*r**2 - 3*r. Is y(z) prime?
False
Let c be (-3)/((45/(-6))/5). Suppose n + 2*n + 263 = 5*y, 5*y - 267 = c*n. Is y a composite number?
True
Suppose 20 = 4*r - 3*x + 2, 4*r + 5*x - 34 = 0. Let d be 8/12 - (-68)/r. Suppose -2*v + 5*p + 24 = 0, 4 = -2*p + d. Is v composite?
True
Suppose 6 = -x - 0. Let z(h) = h**3 + 2*h**2 + 8*h + 4. Let d be z(x). Is d/(-10) + 2/10 composite?
False
Suppose -9*y = -7*y + 306. Let g = 238 + y. Is g composite?
True
Suppose -5*f = -4*x - 2*f + 334, 5*f = 3*x - 245. Is x a composite number?
True
Suppose -c = -5*s + 998, 5*s - 2*c = s + 802. Is s a composite number?
False
Let m(s) = 158*s + 2. Suppose -2*r - 7 = r + g, r + 5*g = -7. Let z be m(r). Is z/(-10) + (-2)/5 a composite number?
False
Let u = 85 - 54. Is u a prime number?
True
Suppose -2*u - u - 9 = 0. Let x = 4 + u. Suppose -x - 69 = -5*q. Is q prime?
False
Let g be 1 - 7/(21/(-6)). Suppose -g*h = -4*r - 331, r = 3*h + 2*r - 341. Is h a prime number?
True
Let k = 3 + 0. Let f = k + 8. Let u = -1 + f. Is u a composite number?
True
Let u(n) = 3 + 0*n**2 + 6*n + 0*n**2 + 2*n**2. Let c be (10*1)/(-5 + 3). Is u(c) a prime number?
True
Suppose -4*l - 486 = -2*r, -l - 749 = -3*r + l. Let j be 43/9 - (-12)/54. Is 4/10 + r/j a prime number?
False
Let u be (-4 + 2 - -279) + 1. Is (-6)/(-4)*u/3 composite?
False
Is (0 + -1)/(9/(-3231)) a prime number?
True
Let t = -470 + 723. Is t prime?
False
Let w(n) = 26*n**2 - 5*n - 1. Let s be w(-4). Suppose 4*t - s = -t. Is t a composite number?
True
Let d(m) = 58*m**2 - 15*m + 42. Is d(7) a composite number?
True
Let a = 56 - 35. Suppose -x + a = -32. Is x prime?
True
Let o be (0 + 1)*(-3 + 3). Let q(w) = w + 3. Let c be q(o). Suppose c*y - 4*y + 37 = 0. Is y prime?
True
Is (17/7 - (-3)/(-7))*727 composite?
True
Let d = 95 + 2054. Is d prime?
False
Suppose -4*b = -2*m - 16, 5 = b + 1. Suppose m = d + 3*k - 76, d - 116 = 4*k + k. Is d prime?
False
Suppose -5*n + n + 1756 = 0. Is n a composite number?
False
Let b = -14 + 7. Let z(c) be the third derivative of -5*c**4/12 - c**3/2 - 2*c**2. Is z(b) composite?
False
Let j = 2839 - 446. Is j a prime number?
True
Let c(r) = -r**3 + 7*r**2 - r + 10. Let y be c(7). Is (-465*1)/y*-1 a prime number?
False
Let d be (-1)/5 + (-6142)/(-10). Suppose 3*n = n + d. Is n a composite number?
False
Let c be (2/(-4))/((-3)/30). Suppose 0 = c*u - 2510 + 685. Is u a composite number?
True
Suppose -2*p = 2*p - 16. Suppose -51 - 186 = -5*j + 2*x, -p*j = 3*x - 185. Is j a prime number?
True
Is 6/(-9) + 1165/15 a composite number?
True
Let m(l) = -10*l - 5. Let c be m(-4). Suppose -3*p + 143 = -3*s - 22, -c = -p - 4*s. Is p prime?
False
Let m(a) = -3*a - 17. Let h(f) = 2*f + 8. Let o(u) = -7*h(u) - 3*m(u). Suppose 5*y = -z - 8, 0 = 2*z - y - y + 16. Is o(z) prime?
False
Let a = 136 + -19. Suppose 4*l - 12 + 164 = 0. Let x = a + l. Is x a prime number?
True
Let v(f) = f**3 - 7*f**2 + 7*f - 3. Let z be v(5). Suppose 0 = 4*l - 3*c + 2*c - 156, 5*c = 5*l - 180. Let d = z + l. Is d prime?
False
Let q(u) = 4*u + 2*u + u + 7*u**2 - 4 - 5*u. Is q(-3) prime?
True
Let l = -82 + -91. Let v = l - -270. Is v prime?
True
Let v = -9 - -9. Let f(a) = 2*a + 7. Is f(v) prime?
True
Suppose 3*j - 498 = 3*u, -2*u + 2 = -6. Let x = j + -79. Is x composite?
True
Suppose -2*l + b - 10 = 3*b, -5*l + 3*b + 15 = 0. Let c = 9 + l. Is c a composite number?
True
Let z(p) = 35*p - 3. Let g be z(-9). Is (1 - g/4)*2 a composite number?
True
Let x = -1630 + 2625. Is x composite?
True
Let i = -3 - 5. Let g = 86 - i. Is g prime?
False
Suppose 4*u + 10 = 2*z, -8 - 1 = -3*z + 4*u. Let v be -6*(2*z)/4. Suppose -v*m = -3 - 15. Is m composite?
True
Let w = 36 - 13. Is w prime?
True
Suppose 6*o = 5*o + 389. Is o composite?
False
Let q be (-14)/77 - (-70)/22. Suppose 4*y - 2*i = 40 - 2, 0 = 5*y - q*i - 47. Is y prime?
False
Suppose -115 = -2*j - 3*j. Is j prime?
True
Suppose 11*n = -4797 + 55628. Is n prime?
True
Let l = -89 + 328. Is l prime?
True
Let a(q) = q**2 - 3*q - 3. Let f be a(4). Let c = 3 + f. Is (-891)/(-15) - c/10 prime?
True
Let b = -3 - 5. Let k(m) = m**3 + 9*m**2 - m + 7. Is k(b) a composite number?
False
Suppose -x - 4*r - 1285 = -6*x, 3*r + 257 = x. Is x a composite number?
False
Let z(g) = -12*g**3 - 11*g**2 - 17*g + 21. Let u(l) = 4*l**3 + 4*l**2 + 6*l - 7. Let d(j) = -17*u(j) - 6*z(j). Is d(6) a composite number?
True
Let g(o) = 27*o + 22. Is g(9) a composite number?
True
Let w be (-96)/15 + 4/10. Let d be (-2)/(-7) + w/21. Suppose 2*k + 4*p - 330 = 0, k - 168 = -d*k - 5*p. Is k a composite number?
False
Suppose 2*i - 246 = -68. Suppose 5*y = 304 - i. Suppose 2*h = h + y. Is h composite?
False
Suppose 2*p - 6*p = 2*j + 318, 0 = 2*p + 5*j + 171. Let c = 176 - p. Is c composite?
True
Let t(b) = -23*b**2 - 4*b - 3. Let l be t(-3). Let w = 361 + l. Is w a composite number?
False
Let j(k) = -4*k - k**3 - 3*k**2 - k + 2*k**3 + 5. Let d be j(4). Suppose -o + d + 7 = -u, 26 = 4*o + 2*u. Is o prime?
True
Let n = 3434 - 565. Suppose -5*x + n = 524. Is x prime?
False
Let o(b) = b**3 - 3*b**2 + 7*b. Is o(5) prime?
False
Suppose z = 9 - 2. Suppose -2*s - z = -17. Let f = s + 62. Is f prime?
True
Let y(h) = -11*h**3 + h**2 + h - 1. Let o be y(2). Let a = o + 161. Suppose 6*s = 4*s + a. Is s 