se -o + 3 = -4. Let f = o + -4. Suppose 45 = 3*j - f*q, 3*q - 148 + 41 = -5*j. Is j prime?
True
Is (-2)/2*-418 + -3 a prime number?
False
Let p be 96 - 2*2/(-4). Suppose -4*l + 259 = -p. Is l a prime number?
True
Suppose 5*g + 5 = -0. Let b = 4 + g. Suppose -b*t = -4*m + 26 - 135, 16 = -4*m. Is t a prime number?
True
Suppose 2*i - 10090 = -1548. Is i composite?
False
Let k(o) = 19*o - 14. Let n be (-2)/(8/(-12)) + 4. Is k(n) composite?
True
Let m be 12180/9 - 4/12. Suppose 0 = 2*n - m + 87. Is n composite?
True
Suppose 0 = 10*h - 11*h + 381. Is h prime?
False
Let r(q) = 4*q**2 + 3*q + 2. Let z be r(-1). Let s(u) = 12*u - 3. Is s(z) composite?
True
Suppose -y - y - 1469 = -5*a, 0 = 3*a + 3*y - 873. Is a a composite number?
False
Let r(g) = g**2 - 2. Let s be r(2). Suppose 0 = s*a - a - 4. Suppose a*m - 75 = -m. Is m composite?
True
Suppose 0 = -3*p - 5 - 4, 0 = -2*u - 4*p + 850. Is u prime?
True
Let p(l) = 10*l**2 - 8*l + 49. Is p(11) composite?
False
Is (-1)/((-1)/(-3 + 142)) a composite number?
False
Is (17/(-4))/(3/(-36)) prime?
False
Suppose -3*m + 1680 = 2*u + 25, 2210 = 4*m + u. Is m a composite number?
True
Let c(l) = -15*l**3 - 21*l**2 + 6*l + 10. Let j(p) = 7*p**3 + 10*p**2 - 3*p - 5. Let g(w) = 6*c(w) + 13*j(w). Is g(-4) composite?
False
Let h be (-8)/(-3) + (-1)/(-3). Suppose -r = h*r - 212. Is r composite?
False
Let o(x) = 95*x**3 - 3*x**2 - 3*x + 3. Is o(2) prime?
False
Let v(w) = -w**2 - 3*w + 4. Let b be v(-3). Suppose -3*x = h - 350, -2*x + b*x - 240 = -2*h. Is x + (-1 - (-3 + 2)) a prime number?
False
Let n(l) = l**3 + 8*l**2 - 6*l. Let m(w) = 3*w**3 + 24*w**2 - 18*w - 1. Let g(b) = -6*m(b) + 17*n(b). Is g(-9) composite?
True
Suppose 0 = 3*x + 2*l - 8, -2*l - 8 = 5*x - 20. Let z(g) = -2 + 3 + 2*g**x - 3*g + 2*g**3 + 3 - 4*g**2. Is z(3) composite?
False
Suppose -2*c - 12 = 3*r, 3*c + 3*r + 12 = -c. Let o = c + 3. Is 210 - 2*o/(-6) prime?
True
Is 1182/8*(-40)/(-15) a composite number?
True
Let g = 5 - 5. Suppose t = -g*t - 4. Let h = t - -10. Is h prime?
False
Suppose -3*j - 7*j = -970. Is j prime?
True
Let d(g) = -g**2 + 8*g + 7. Let m be d(9). Is m/(-4)*-1*-114 a prime number?
False
Let k = -43 - -111. Suppose 4*p = 3*r - k, 0 = 3*p + r + 11 + 40. Let y = -8 - p. Is y a composite number?
True
Suppose 6 = 3*y, 2*g - 5*y = -g + 527. Is g a composite number?
False
Let c = -4 - -5. Let o be (1 - c)/(7 + -5). Suppose 0 = -5*f - o*f + 70. Is f prime?
False
Let l(w) = 7*w**3 - 15*w**2 + 2*w + 5. Let c(y) = -10*y**3 + 22*y**2 - 3*y - 8. Let k(x) = 5*c(x) + 7*l(x). Is k(4) a prime number?
True
Let z = -40 - -171. Is z composite?
False
Let c = 57 + -115. Is (0 - c)*9/6 prime?
False
Let y = -103 - -573. Suppose 3*w - 1265 = -y. Is w a prime number?
False
Suppose 5*z + 1 = -4*u, -4*u + z + 39 = -2*z. Suppose 5*t - u - 9 = 0. Suppose -221 = -3*r - 5*g, 3*g + 189 = -t*r + 6*r. Is r a composite number?
False
Is (-6)/21 + 2678/14 prime?
True
Let f(g) = -g**3 + 5*g**2 + 8*g - 8. Let p be f(6). Suppose 4*z - p*t = z + 83, -3*z + 81 = -3*t. Is z a prime number?
False
Let j = 62 + -17. Suppose -11 = 5*h - 4*t - 88, 2*t + j = 3*h. Is h a prime number?
True
Let j = 11 + -6. Suppose 0 = -j*z + 217 - 62. Is z a prime number?
True
Let y be 3/2*6/9. Let d = 22 + y. Is d prime?
True
Is (-32)/18 - (-4)/(-18) - -111 composite?
False
Let w(j) = 73*j - 41. Is w(10) composite?
True
Let a(f) = 19*f**2 - 4*f - 1. Let b be a(-2). Suppose h + 0*c = -3*c + b, -4*c = 0. Is h a prime number?
True
Let p(v) = 3*v**2 - 9*v + 13. Is p(7) a prime number?
True
Let x(b) = 423*b + 4. Is x(3) composite?
True
Let d(n) be the first derivative of -7*n + 3*n**3 + 2*n**2 - 3 + 1/4*n**4. Is d(-6) prime?
False
Suppose -b + 10 = b. Suppose 0 = 2*d - b*d - 3*z + 189, 3*d - 4*z - 161 = 0. Is d prime?
True
Let y = 34 - 30. Suppose c - 44 = -5*n, 0*n = c - y*n - 71. Is c prime?
True
Suppose -5*x = -2*l + 141, 5*l + 3*x - 164 = 111. Let w = -13 + l. Suppose h + 2*v - w = 0, 4*v + 178 + 89 = 5*h. Is h prime?
False
Let i = -221 + 395. Suppose x - 4*h + 167 = 4*x, -3*x = -3*h - i. Is x a composite number?
True
Suppose -5*w = 10, 0 = -3*t - 2*w - 2*w + 1. Suppose 2*y + 72 = -2*y. Is (-6)/y - (-152)/t a prime number?
False
Suppose 22 = -4*z + 5*z. Is z a composite number?
True
Let x(a) = -17*a + 13. Is x(-14) a composite number?
False
Let t = 619 - 418. Is t composite?
True
Suppose 7*i - 649 = 1192. Is i a composite number?
False
Let s = 499 - -30. Is s a composite number?
True
Let b(o) = -o**3 + 6*o**2 - 3*o - 4. Let y be b(3). Suppose -5*p - 5*m + 135 = 0, 16 = p + 4*m - y. Is p prime?
False
Let s = -1 + 5. Suppose v - 40 = -v. Suppose 56 + v = s*d. Is d a composite number?
False
Suppose 8*s = 58631 - 14623. Is s a composite number?
False
Suppose 85 + 148 = f - w, 5*f + 2*w - 1193 = 0. Is f a prime number?
False
Suppose -6 = -2*y + 3*d + 11, 5*y + d = 17. Suppose -q - 6 = -y. Let a(m) = -2*m**3 + 2*m**2 + 2*m + 3. Is a(q) a prime number?
True
Suppose -2*o - 82 = 5*r + 93, 3*o + r = -269. Let p = 235 + o. Is p a prime number?
False
Let o(d) = d**3 - 4*d**2 + 3*d + 4. Let m be o(3). Suppose -7 = -m*h + 5. Suppose h*v - 181 - 164 = 0. Is v composite?
True
Let s = -17 + 9. Let y(l) = -6*l + 7. Let v be y(s). Suppose -60 = -4*n - 4*p, -4*n - 2*p + v = -5. Is n composite?
True
Let s = 20 + -1. Suppose 7 = 2*o + 3*r, 4*r + 34 + s = 3*o. Is o composite?
False
Let u(b) be the third derivative of b**6/60 - 2*b**5/15 - b**4/6 - 3*b**3/2 - 6*b**2. Is u(7) composite?
False
Is 519 - (-3)/(6/4) a composite number?
False
Let q be ((-145)/5)/(0 - -1). Let s = q + 43. Suppose -y + s = -4*x, -5*y + 69 + 1 = -3*x. Is y a prime number?
False
Is 4 + -2*537/(-6) composite?
True
Let z(m) = 8*m**3 + 5*m**2 + m - 4. Let k(c) = 17*c**3 + 11*c**2 + 2*c - 9. Let s(y) = -2*k(y) + 5*z(y). Let x be s(3). Suppose 0*r = 5*r - x. Is r composite?
True
Let m(n) = 316*n**2 - 3*n - 2. Let l(q) = -q**2 - 4*q + 11. Let w be l(-6). Is m(w) a composite number?
False
Let u = -75 - -188. Is u composite?
False
Suppose 155 - 895 = -4*c. Is c prime?
False
Suppose u = -v + 181, -3*v + u + 563 = -u. Suppose -v = -4*b - 37. Is b a composite number?
False
Let d(v) = -v**3 + 5*v**2 - 4*v. Let u be d(4). Suppose -4*x + 1 + 15 = u. Suppose 4*b - 2*s - 63 = b, -2*b + 50 = -x*s. Is b a composite number?
False
Let n = 13 - -148. Let k = n - -4. Suppose k = -2*a + 7*a. Is a prime?
False
Let q(x) = 78*x**2 - 2*x + 1. Is q(1) composite?
True
Let t(i) = i**3 - 5*i**2 + 2*i - 9. Is t(6) composite?
True
Suppose d + 2*s - 71 = 0, 0 = -2*d - 3*d + 2*s + 331. Is d composite?
False
Suppose 2 = -i + 5*p - 5, 5*i = -4*p + 52. Suppose -4*s = c, 5*c = 4*s - i + 32. Suppose a = 5*j + 25, -c*a - 5*j = -40 - 10. Is a composite?
True
Let j(u) = 2*u - 14*u - u**2 + 16 - 4*u. Is j(-13) composite?
True
Let z(b) = -b**2 + 10*b + 1. Suppose -4*d + 5*n = -d - 1, 2 = 2*n. Suppose d*m - 20 = -6. Is z(m) composite?
True
Suppose k - 621 = -2*p + 500, 5*p - 2820 = k. Is p a prime number?
True
Suppose 1 = 5*u - 34. Suppose -2*x + u*x = 1040. Let o = x - 131. Is o prime?
False
Let h = 1596 + -911. Is h prime?
False
Let o(z) = -z - 22. Let g be o(9). Let w = g + 64. Is w prime?
False
Let g be 2*1/((-4)/(-42)). Let i = 12 + g. Is i composite?
True
Is 146 + (-4 - (-1 - 0)) a prime number?
False
Let b = 0 - -3. Suppose -5*x + 283 = -2*s - 0*s, 5*x - 288 = -b*s. Is x a composite number?
True
Suppose 226 = f - 155. Is f a prime number?
False
Let h(v) = v - 357. Let o be h(0). Let g = 520 + o. Is g prime?
True
Let b = 190 - -837. Let m = b + -140. Is m composite?
False
Let c = -1 + 13. Is (4/(-6))/(c/(-954)) prime?
True
Suppose -2*b + 5*b + 2084 = 2*f, 2084 = 2*f + 2*b. Is f a prime number?
False
Let v = 2046 + -743. Is v a composite number?
False
Let g(t) = t**2 - 15*t + 17. Let q be 13/4*(-1 - -5). Let i be g(q). Let j(c) = -c**2 - 12*c + 4. Is j(i) a composite number?
False
Suppose 3536 = 5*o - 309. Is o a composite number?
False
Let c(i) = -i + 4. Let j be c(0). Let m be j - (2/(-2) + 3). Suppose 5*p - 2*a = 525, -3*a - 226 = -m*p + a. Is p a prime number?
True
Let u = -54 + -14. Is (7/(-2))/(2/u) a composite number?
True
Let h(m) = -15*m - 1. Let f = -14 - -10. Let j = -5 - f. Is h(j) prime?
False
Let i = 33 + 18. Let f = 178 - i. Is f a composite number?
False
Let y = 105 +