9 = -2*l. Is s a prime number?
True
Let o(i) = 7*i**2 - 5*i - 1. Suppose 0 = 3*b + 2*z + 3*z + 20, 2*b - 5*z = -5. Is o(b) a composite number?
False
Let j(h) = -8*h - 11. Let z be j(-15). Let v = 32 + -20. Suppose 0 = -t - 5*c + z, 2*c - v = -c. Is t a prime number?
True
Suppose -8*n = -3*n - 695. Is n a composite number?
False
Let p = -102 + 35. Let j = p + 115. Suppose -5 - j = -f. Is f a composite number?
False
Let k = -1235 - -2124. Is k a composite number?
True
Let r be 0/(-1) - (-2 + 2). Suppose -7*j + 4*j = r. Suppose j = -2*a + 4*a - 178. Is a composite?
False
Let u be ((-24)/18)/(4/6). Let n(p) = -37*p - 2. Let j be n(u). Let k = j + -49. Is k composite?
False
Let m = 3 - 2. Suppose -2*p = m - 7. Suppose 429 = -0*g + p*g. Is g composite?
True
Suppose -3*z + 0*z + 1041 = 0. Is z composite?
False
Let u(a) = -3*a - 5. Let h be u(-3). Suppose b - g - 2*g - 40 = 0, h*b = 3*g + 169. Is b prime?
True
Let q be (4/8)/((-4)/776). Suppose -k + 0*k - 6 = 0. Let g = k - q. Is g a composite number?
True
Let j be 2/2 - 4/(-2). Let b be 59 + 1 + -5 + j. Let l = 61 + b. Is l composite?
True
Suppose -t + 4 = -v, -2*t + 2*v - 6*v = 4. Let n be t*(-3)/12*-10. Suppose 12 + 63 = n*a. Is a composite?
True
Suppose -4*v = -g - 541, -5*g = -3*v - 2*g + 408. Let w = v - 46. Is w a prime number?
True
Let i be (-24)/9*6/(-4). Suppose o = -3*c + 37, 2*o + 2*o = i*c - 28. Is c composite?
False
Let t = -79 - -165. Suppose 3*n = -3*g + 90, 2*n - t = -n - 4*g. Suppose s = 15 + n. Is s prime?
False
Let u(p) = 6*p**2 + 9*p + 5*p**3 - 4*p**3 - 2*p**2 - 2 + 9*p**2. Is u(-12) composite?
True
Let h(i) = i**3 - 8*i**2 + 7*i + 5. Let l be h(7). Suppose 0 = l*o - 6*o + 19. Is o prime?
True
Let v = -1104 + 1603. Suppose 673 + v = 2*a. Is a prime?
False
Suppose 0 = -3*h - 2*h + 25. Suppose 7*x - 3*x + h*w - 120 = 0, -5*x = 4*w - 159. Is x prime?
False
Let b = 253 + -135. Is b prime?
False
Let f(l) = 3*l**3 - 5*l**2 - 2*l - 2. Let h be f(6). Let d = h + -243. Is d a prime number?
True
Suppose 5*k - 2940 = 5*g, 3*k - 5*k + 1197 = 5*g. Is k a prime number?
False
Let y(h) = 10*h + 9. Let k be y(-8). Let j be (-2)/3 - (-382)/(-3). Let v = k - j. Is v a prime number?
False
Let b(y) = 4*y**2 + 3*y - y**2 - 2*y**2 - 2. Let p be b(-3). Let l(v) = -6*v**3 - v**2 + 3*v + 1. Is l(p) a prime number?
False
Suppose 9 = -4*p - 7. Let a(j) = 16*j + 6. Let w be a(p). Let x = w + 137. Is x composite?
False
Suppose 0 = 4*l - 9 + 1. Let p be (4 - l) + (-2 - -2). Is (p - 4) + (7 - -2) a composite number?
False
Let x(k) = k**2 - 3*k - 1. Suppose 4*m - 5*n - 47 = 0, 0 = 4*m + 4*n - 32 - 24. Suppose -5 = 2*b - m. Is x(b) prime?
True
Let s be (-38)/(-4) + 1/2. Suppose -4*a - s = 6. Let b = a + 14. Is b composite?
True
Let f(h) = -h**2 + h + 2. Let q be f(0). Suppose -j + 0*u = u - 38, q*u + 183 = 5*j. Is j prime?
True
Let q be (6 - 3)/(-6)*-4. Suppose -q*p = -p - 111. Is p a composite number?
True
Suppose 443 = 4*r - 617. Is r prime?
False
Let z(m) = m**3 + 10*m**2 - 5*m + 1. Is z(-9) a composite number?
False
Let t = -11 - -87. Let b = 119 - t. Is b a composite number?
False
Suppose 0 = 2*i - 3*v - 12, 4*i - 8 = 2*v + 8. Suppose -1 = i*g - 166. Is g composite?
True
Let y(z) = -47*z - 2. Is y(-5) a composite number?
False
Suppose -4*r = -4 - 20. Is (-4)/r + 226/6 composite?
False
Let i = 10 + -19. Let p be (-4 - 2)/(i/132). Suppose -s - p = -5*s. Is s a composite number?
True
Suppose 2*d - 10 = 0, -4*c + 3*d = 8*d - 33. Let l be 1/2*(-28)/c. Let p = l - -13. Is p a composite number?
True
Suppose 5*m - 5*z = 465, 4*m - 473 = -m + z. Is m prime?
False
Let n(w) = 107*w**2 - 2*w - 10. Is n(-2) a composite number?
True
Let h(r) = r**3 - 7*r**2 - 7*r - 5. Let i be h(8). Suppose -3*n = -4*s - 2*n + 742, i*s - 4*n = 563. Is s a composite number?
True
Let w(j) = 7*j + 6*j**2 - j**3 - 6*j**2 + 1. Let t be w(5). Let x = t + 142. Is x composite?
False
Let z(j) = -j**3 - 7*j**2 - 7*j - 8. Suppose -g - 6 = -0*g. Let l be z(g). Is (-255)/(-6) + l/(-4) a prime number?
True
Suppose -7*o + 41 + 596 = 0. Is o prime?
False
Suppose -5*m = -56 - 109. Is m a prime number?
False
Let t be 4*-2*3/(-12). Suppose c + t*c - 447 = 0. Is c prime?
True
Let u(w) = 2*w**2 - 16*w + 17. Is u(14) prime?
False
Let x be (-1)/(1 - (-174)/(-173)). Let k = -120 + x. Is k composite?
False
Suppose -5*p + 50 = -0*p. Let o(i) = -i**2 + 12*i - 5. Is o(p) prime?
False
Suppose 0*l = -5*l - 90. Is 2139/27 + 4/l prime?
True
Suppose -5*w - 3*l = 0, 0 = -w - w - 2*l - 4. Let q(u) = 3*u + u**2 - 6*u + 0 + w. Is q(4) composite?
False
Let g = 878 - -335. Is g a composite number?
False
Let v = -2 + 2. Suppose v = -5*d + 3*d - 6. Is (-2 - -3)/(d/(-33)) a prime number?
True
Let o = 71 + 42. Is o a composite number?
False
Let v = 44 - -45. Is v prime?
True
Is (-6)/(-2) + (21 - 3)/3 a composite number?
True
Suppose 0 = -3*w + 427 + 116. Is w a composite number?
False
Let y be 378/4*(-8)/(-6). Let x = y - 89. Is x a composite number?
False
Let w(g) = -2*g**3 + 2*g - 15. Is w(-8) a prime number?
False
Let g(j) = -7 + 0*j**2 - 37*j + 40*j + 5*j**2. Is g(4) a prime number?
False
Let z(s) = 2*s + 12 - 4*s**3 - 13 + 2*s**2 + 16*s**3. Is z(3) composite?
False
Suppose -2*d - 2*f = 60 + 96, 0 = -3*d + 5*f - 250. Let k = d + 193. Is k a prime number?
True
Let y(l) = -4*l**2 - 9*l - 6. Let g(r) = -r**2. Let o(f) = -6*g(f) + y(f). Is o(-4) a prime number?
False
Suppose 3*i - 10 = -4*u + 4*i, -4*u = 3*i - 2. Suppose -u*n + 221 = 51. Suppose 0 = -5*d - w - 3*w + 187, -2*d - 5*w + n = 0. Is d prime?
False
Is (-4)/2*(-2635)/10 a prime number?
False
Let k(o) = -5*o - 8. Let j be k(4). Is (-16)/j + 3915/21 a composite number?
True
Is (1188 - -7)*(-2)/(-2) composite?
True
Let h be (-8 - -3)*(-6)/15. Suppose -3*b = -h*b - 3. Suppose 311 = 4*v - 3*u, -u + 61 = b*v - 169. Is v composite?
True
Suppose -3*w + 8*w = 2925. Suppose q + 2*g = 3*q - 394, 3*q - w = g. Is q a composite number?
True
Let n(j) = 118*j**2 + 4*j - 3. Let k be n(2). Is 2/(3*6/k) composite?
False
Suppose -519 = -4*u + 805. Is u composite?
False
Let l(c) = c**2 - 7*c - 1. Let u be l(5). Let a be (1/1 - 0) + u. Is (-28)/(-10) + (-2)/a prime?
True
Let w = -5 - -8. Is 267*(-1)/(-9)*w a composite number?
False
Is 6 + 0 + -2 - 54/(-3) a composite number?
True
Let m(l) = 118*l**2 + 2*l - 1. Is m(-5) prime?
True
Suppose -444 = -6*c + 450. Is c prime?
True
Is -1262*-1*(-5)/(-10) a prime number?
True
Suppose -27 - 23 = 5*d. Let f = 35 + d. Suppose -f = -c + 14. Is c composite?
True
Suppose -1335 = 5*r - 0*r. Let c = -56 - r. Is c a prime number?
True
Let r = -19 - -11. Let g(z) = 2*z**2 - z - 9. Is g(r) a prime number?
True
Suppose -5*y + 3273 = 943. Suppose -78 + y = 4*a. Is a prime?
True
Let z = 12 - 21. Let i = 5 + z. Is i/(-6) + 506/6 composite?
True
Let x(c) = c**2 - 8*c + 9. Suppose 4*l = -l + 30. Let b be x(l). Is (b - 5/(-4))*-28 prime?
False
Suppose -2*h + 12740 = 3*h - 3*u, -5*u = 25. Is h a composite number?
True
Let j be 1/5 + 4/(-20). Suppose j = -4*g - s + 103, -2*g = -0*s + 4*s - 34. Suppose -4*k + g = -25. Is k a composite number?
False
Is 1745/1 + (-26 - -28) a composite number?
False
Let k be (-3354)/(-10) - 6/15. Suppose 0*g = -5*g + k. Is g prime?
True
Let q = -936 + 1687. Is q a composite number?
False
Is 1*(-4 + 0) + 2207 a composite number?
False
Suppose 0 = j + j - 6. Suppose -o + j*z + 52 = -0*o, -o = 2*z - 77. Is o a composite number?
False
Suppose -2671 = -3*s - 2*y, 0 = -3*y - y + 8. Is s a composite number?
True
Suppose 3*y + 20 = -h - y, 0 = -3*y + 3. Let s = -11 - h. Is s prime?
True
Let c = -2 - 0. Let v be 2/(-11) - c/11. Suppose -5*z - 9 + 84 = v. Is z a prime number?
False
Suppose -142 - 73 = -5*w. Suppose 14 = l - 4*h - w, 5*l = -h + 285. Is l prime?
False
Suppose -3*i = 3*s - 1185, -5*s - 189 = -2*i - 2178. Is s composite?
False
Let z(k) = -13*k - 21. Is z(-16) a composite number?
True
Let y = -592 + 1085. Is y a composite number?
True
Let v(s) = -1 - 1 + s + 21*s**2 + 3 - 2*s. Is v(1) prime?
False
Suppose 5*z + 3*d + 6 = 0, -4 = 2*z - 3*d - 10. Suppose -2*o = -z*o, 0 = -5*f + 2*o + 605. Is f prime?
False
Suppose -355 = -7*u + 2*u. Is u a composite number?
False
Suppose 2*h + 14 = 4*i - 0*h, h = -5*i + 28. Suppose -t - 3 = -i. Suppose -t*b + 78 + 20 = 0. Is b composite?
True
Let w be 52