+ 4*j - 115. Is j prime?
True
Let y = 11 - 17. Let o(f) = 5*f**2 + 5. Let g(a) = 4*a**2 + 4. Let l(d) = -6*g(d) + 5*o(d). Is l(y) composite?
False
Let i be 2 + (6 - 3) - 2. Is -1 - (-328)/(-1 + i) prime?
True
Let m(z) = 3*z**2 - 6*z + 1. Let g be m(4). Suppose w + 2*w = -3. Let i = g - w. Is i a composite number?
True
Let a(q) = q**2 + 82. Is a(0) a prime number?
False
Let k(y) = -y**3 - 12*y**2 - 12*y + 1. Suppose 5*d - 35 = -10. Suppose d*a = 4*p + 46 + 22, 4*p - a + 52 = 0. Is k(p) composite?
True
Let x = -17 + 13. Suppose 4*l - l - 2688 = 0. Is l/88 - x/(-22) a composite number?
True
Is (-5 - -6) + (1 - 1733)*-1 composite?
False
Suppose -5*a + 160 + 2555 = 5*d, -2*d + 541 = a. Is a composite?
True
Let w(r) = 51*r - 5. Let u be w(-5). Let k = u - -451. Is k a composite number?
False
Let i = 44 + -23. Suppose 3 = 4*h - i. Is h composite?
True
Let m(x) = -x**3 + 2*x**2 - 1. Let v be m(-1). Suppose -4*y - 4*h = -h + 41, -y + v*h = 24. Is (y/2)/(1/(-1)) a prime number?
True
Suppose -3*z = -5*g + 1076 + 1600, 2*g = 4*z + 1062. Is g composite?
True
Let z = -5 - -8. Suppose -2*y + 29 = 5*g, -y + z*g - 13 = -0*y. Suppose -k - 2*u = u - 95, y = u. Is k a prime number?
True
Let s be (70/21)/(4/18). Let t be ((-10)/s)/((-2)/105). Suppose 2*c + 7 - t = 0. Is c prime?
False
Let i(h) = h**2 - 9*h + 18. Let j be i(6). Suppose -4 = -4*x + 3*x. Suppose 0 = -4*q, j = -2*u + 3*u + x*q - 53. Is u a prime number?
True
Let z(m) = 2*m - 6. Let h be z(4). Suppose -18 = -3*t + 3*s, -2*t - h*s + 0*s + 32 = 0. Is t a composite number?
False
Let q(n) = 6*n - 1. Let b(w) = w**3 + 11*w**2 + 11*w + 13. Let s be b(-10). Let h be q(s). Let l = -10 + h. Is l a prime number?
True
Let y = -2579 + -15151. Is y/(-70) - 2/7 prime?
False
Suppose -4*z + 3*h + 1217 = 4*h, 0 = -2*z + 4*h + 586. Is z a prime number?
False
Let s = 5 - 3. Is s a composite number?
False
Let l be (-1 - (-1 - 73))/(-1). Is (-9)/12*(l - 3) a composite number?
True
Suppose 2*t + 4*o = 590, -3*o = t + 2*o - 286. Is t composite?
True
Let c(y) = -y + 10. Let f be c(9). Suppose -2*w = -2*l - 14, 0 = -2*l - f - 9. Suppose 0 = -4*n - 5 - 11, -2*n = -w*q + 102. Is q a prime number?
True
Let a(i) = 554*i**3 - i**2 - i + 1. Is a(1) a composite number?
True
Let z be 2/(-4) + (-19)/(-2). Let p = 61 - z. Suppose -4*g + 0*g + p = -2*b, -b + 4 = 0. Is g a prime number?
False
Suppose 4*r - 575 = 2045. Is (r/(-10))/((-1)/2) a composite number?
False
Let s(q) = 96*q - 3. Is s(4) a prime number?
False
Let z(o) = 3*o**3 + 2*o**2 - 2*o - 7. Is z(4) prime?
False
Let d be 1469 - (3 + -2)*1. Suppose -x + d = 3*x. Is x composite?
False
Is -74*((-2)/12 - 2/6) prime?
True
Let k = 1675 + -836. Is k a prime number?
True
Let r = 650 - 385. Suppose 5*y + 0*y = r. Is y a composite number?
False
Let o(v) = -42*v. Let g be o(-3). Suppose -3*h + 287 = 5*a, -2*a + 3*h + g = 7*h. Is a a composite number?
True
Suppose 0 = 2*k - 4*k + 8. Let c = 6 - k. Suppose 0 = 4*y - 5*d - 53, c*d + 36 = 3*y - d. Is y composite?
False
Let d = 77 - 8. Is d a composite number?
True
Let o(a) = 17*a**2 - a + 17. Is o(12) a composite number?
True
Let n be (-32)/(-10)*(-10)/(-4). Let q = n - 5. Suppose 5*u = -2*m + 329, q*u + 0*m = 5*m + 216. Is u a composite number?
False
Let s(f) = -2*f**3 - 4*f**2 + 5*f - 9. Is s(-8) prime?
True
Let h be 79/2 + (-2)/(-4). Let a(v) = -v**2 + 4*v + 2. Let g be a(4). Suppose -h = -2*l - g. Is l a composite number?
False
Suppose -g + 3*a + a - 7 = 0, 5*g = -a - 35. Let d = 12 + g. Suppose 0 = d*b - 61 - 14. Is b a prime number?
False
Suppose 2*i - 5*z = 148, -171 = -3*i - 2*z + 89. Let u = i + -50. Is u a prime number?
False
Let k = 15 + -26. Let g = 15 + k. Suppose -19 = -2*a - y, 0*a - g*y + 6 = -2*a. Is a composite?
False
Suppose 4*y + v - 9 = 0, -3*y + 2*v + 0*v = -15. Suppose -3*p = -3*c - 19 + 1, 0 = 3*c + y*p + 36. Is ((-66)/c)/(6/27) prime?
False
Let f = 3549 - 2192. Is f a composite number?
True
Let m be (1 - 0)/(3/15). Let w = 1 + m. Let f(j) = -j**3 + 6*j**2 + 8*j + 5. Is f(w) a prime number?
True
Let i(c) = c**3 + 5*c**2 - c - 3. Let x be i(-5). Suppose 2*b + x*n = -3*n + 99, 4*n - 159 = -3*b. Suppose -d - b = -4*d. Is d composite?
False
Suppose 2*n + 2*n = 9916. Let w = n + -4864. Is 1/2 - w/18 a prime number?
False
Let t be ((-568)/12)/((-2)/(-9)). Let l = 121 + t. Let o = 171 + l. Is o prime?
True
Is (4 - -153) + 2 + -2 a composite number?
False
Let v = 4 - 3. Let s be 1651 - v*(-3)/3. Is s/20 - (-4)/10 prime?
True
Let y = 30 + -52. Let j = y + 53. Suppose -4*g + 25 = -j. Is g a composite number?
True
Let h(z) = 5*z**3 - z**2 - 5. Let j(m) = -11*m**3 + 3*m**2 + 11. Let c(w) = -13*h(w) - 6*j(w). Let s be c(5). Is ((-14)/2)/(0 + s) a prime number?
True
Let l be 0 + -3 + 3/1. Suppose j - 4*j + 231 = l. Is j a prime number?
False
Suppose 2*w + 914 = i + 2*i, -3*w = -i + 314. Is i prime?
False
Let u be (-2)/3 - 15020/(-12). Suppose 0 = -2*z - z + u. Is z a composite number?
True
Let r(u) = 12*u**2 + u + 7. Let s = 14 + -8. Is r(s) prime?
False
Let i(r) = -r**3 - 5*r**2 + 8. Let j be i(-6). Suppose d + 3*d = j. Is d a composite number?
False
Suppose 0*v = 2*v - 624. Suppose -4*c = 5*m - v, 0 = -3*m - 7 - 5. Is c a prime number?
True
Let p(i) be the second derivative of i**4/12 + i**3/6 - 5*i**2/2 - 3*i. Is p(6) prime?
True
Let s = -844 + 2603. Is s composite?
False
Suppose -7 = -2*i + 3. Suppose 204 = 4*n - i*w + 30, n - w - 44 = 0. Suppose l = 4*l - 2*q - 151, -l + 5*q + n = 0. Is l prime?
False
Suppose 0*h - 424 = h. Let q = h + 678. Suppose -2*w - q = -4*w. Is w a prime number?
True
Suppose 5*n - j - 8 = -0*j, 2 = 3*n - 2*j. Suppose 746 = 4*q - d, -n*q + 2*d = -d - 368. Is q a composite number?
True
Suppose 2*v - 164 = 2*h, 0 = -0*v + 2*v - 4*h - 170. Is v composite?
False
Let h(s) = -s**3 - 15*s**2 - 8*s - 5. Is h(-15) a composite number?
True
Let z be (18/(-12))/(2/(-48)). Let d = 89 - z. Is d prime?
True
Let d be (12/(-10))/(24/(-660)). Suppose -3*z - 4 = -2*x, 2*x - 5*z = -0*z. Suppose d + 32 = x*r. Is r a composite number?
False
Let m(n) = 2*n**2 + 5*n + 1. Let y be m(-4). Is (-303)/(-9)*(2 + y) prime?
False
Suppose -4*c - 2*q = -16, -5*q + 12 = 3*c - 8*q. Suppose c*p = p. Suppose -s + 6*s - 175 = p. Is s a prime number?
False
Let i(u) = -67*u**2 - u + 1. Let p be i(1). Let a = 117 + p. Is 1 + (a - -2 - 0) a prime number?
True
Let m = -15 - -19. Suppose 6*l = -m + 46. Is l a prime number?
True
Let g be -3*(30/9 + -2). Let t be 58/((-1)/6*g). Suppose 148 = 5*f - t. Is f prime?
True
Let p(a) = a + 187. Suppose 6*w - 2*w = 0. Is p(w) a prime number?
False
Let n = 213 - 58. Suppose -841 = -6*k + n. Is k a prime number?
False
Let z(h) = h**2 - 6*h + 3. Let g be z(6). Suppose -g*r = -4*s - 96 - 233, -r = -s - 108. Is r composite?
False
Suppose -4*i + 292 = 4*v, 3*v + 320 = -2*i + 6*i. Let g = 156 - i. Is g composite?
False
Let r(h) = -2*h**3 - 7*h - 5. Is r(-6) a prime number?
False
Suppose 723 = 5*q - 4*s, -2*s = s + 6. Is q a prime number?
False
Let w(z) = 2*z**2 - 6*z + 5. Let h(t) = -3*t**2 + 6*t - 5. Let d(x) = -3*h(x) - 2*w(x). Is d(6) composite?
False
Suppose -n = -5*b - 14, 2*b - 12 = -0*b - 4*n. Let d be -1 + (b + 3)*15. Is 11/1 - d/7 composite?
True
Suppose -2*u - 120 = -4*n, 3*n - u = -2*n + 153. Is n a prime number?
True
Let b = -26 - -60. Is b prime?
False
Suppose 3 = -3*p + 4*p. Suppose y = -p*y + 20. Suppose -7*a + 43 = -2*a + 4*d, y*a - 64 = 3*d. Is a composite?
False
Suppose -s = 2*b - 187 - 116, -b + 147 = -s. Suppose 0 = -5*u + b - 5. Let n = u + 38. Is n composite?
False
Let r(i) = i**2 - i + 5. Let a be r(0). Suppose 3*b - 2*g + a*g = 21, -3*g = -4*b - 7. Suppose o - b*o = -13. Is o a prime number?
True
Let j be -1 + -1 + 0 + 5. Let f(z) = 0 - z**2 - 5 - 2*z**3 - 4*z + j. Is f(-3) composite?
True
Suppose c = -g - 2*g + 1107, 1110 = 3*g + 2*c. Is g/12 - 1/(-3) composite?
False
Suppose m = -3*m + 844. Is m prime?
True
Let a(d) = 16*d**2 - 3*d + 1. Suppose -3*f + 5 + 1 = 0. Is a(f) composite?
False
Let q(z) = 60*z + 6. Let n be q(6). Suppose -x + n = x. Is x a composite number?
True
Let b = 1034 - 400. Is b composite?
True
Let k be (0/(-1))/1 + 5. Let v(o) be the third derivative of o**6/120 - o**5/12 + o**4/4 + o**3/2 + 22*o**2. Is v(k) prime?
False
Let m = 72 - -215. Is m a prime number?
False
Le