ose w + 5*z - 13 = 4, 12 = y*z. Suppose 0 = -d - w*d + 651. Is d composite?
True
Let q(j) be the second derivative of j**4/3 + j**3/3 - 3*j**2/2 - 5*j. Let a(r) = -r**2 + r - 4. Let b be a(0). Is q(b) prime?
True
Is (-9)/12 - 2301/(-12) composite?
False
Suppose -4*k - l = -7, 0 = 5*k - 3*l - 1 + 5. Is k*(9/(-3) + 17) a prime number?
False
Let s = -115 + 652. Is s composite?
True
Let d = 1 - -4. Suppose d*l - 216 = 109. Is l composite?
True
Let m = 15 - 11. Suppose 775 = m*c + c. Suppose -3*l = -4*u - c, 88 = 3*l - l + 5*u. Is l composite?
True
Let d be 0*2/8 + 157. Suppose 3*b - 2*j = d + 160, -3*j - 94 = -b. Is b prime?
True
Suppose g - 440 = -4*b, 7*g - 3*g - 206 = -2*b. Suppose j - 4*j + b = 0. Is j composite?
False
Let s(a) = -a**3 - 4*a**2 + 3*a - 5. Let m(f) = -f - 10. Let r be m(-5). Let j be s(r). Suppose 3*d - j*d + 252 = -2*h, -5*d + 603 = 4*h. Is d prime?
False
Suppose 2*y + 2*y - 19842 = 5*i, 0 = 5*y + 4*i - 24823. Is y a composite number?
True
Suppose 25 + 35 = -4*m. Is 21/2*(-20)/m a prime number?
False
Let w = -251 + 436. Is w a prime number?
False
Is ((-381)/(-2))/((-6)/(-8)) prime?
False
Let q(r) = 10*r**2 - 6*r - 2. Let v be q(6). Suppose 133 = 5*s - v. Is s composite?
True
Suppose -3*l + 6*l - 2176 = -5*m, -5*l = -4*m + 1763. Is m a prime number?
False
Is (-4)/(-6)*(4 - (-90676)/8) prime?
True
Let n(q) = -1 + 0 + 5*q**3 + 12*q - 8*q**2 - 6*q**3. Is n(-10) prime?
True
Let p = 114 - -97. Is p prime?
True
Let y = -303 - -582. Let z = y - 158. Is z a composite number?
True
Suppose 4*b - 6 - 6 = 0. Let x = b - -30. Is x prime?
False
Let q = 10 + -4. Suppose -q*z = -2*z - 940. Is z composite?
True
Let s(h) = h**3 + 3*h**2 - 6*h - 6. Let p be s(-4). Suppose 3*w + p*w = 200. Suppose -w = -u - 1. Is u a prime number?
False
Let q = -9 + 14. Let u(x) = 9*x**2 - x + 3. Is u(q) a prime number?
True
Is (0 - 7)/7*-1931*1 composite?
False
Suppose -6*s - 110 = -4*z - 3*s, -3*z + 93 = 3*s. Suppose 2*h + 7 = -z. Let l = h + 25. Is l a composite number?
False
Let c be 2/(-6) - (-12)/(-18). Let b(r) = 72*r - 14. Let p(l) = -24*l + 5. Let x(t) = -6*b(t) - 17*p(t). Is x(c) a prime number?
True
Suppose 0 = 4*u - 130 - 874. Is u a prime number?
True
Let n = 3 + -3. Let k = n - -10. Is k a prime number?
False
Let p(t) = 5*t**2 + 6*t - 5. Let n(w) = 4*w**2 + 7*w - 5. Let u(m) = 6*n(m) - 5*p(m). Let q = -10 - -19. Is u(q) a composite number?
True
Let s = 30 - -119. Is s a composite number?
False
Is 16798/8 - (-24)/(-32) prime?
True
Let r(l) = 378*l**3 - 2*l**2 + l. Is r(1) prime?
False
Let o = -189 - -392. Is o composite?
True
Let x(i) = 3*i + 4. Let c be (-4 + 2 - 3)/(-1). Is x(c) a composite number?
False
Let m(t) = t**2 - t. Suppose -2*s = -4*r + 16, -2*r + 4*r = 5*s + 24. Let f be m(r). Is -2 - (2 - (f + 33)) prime?
True
Let q be (-1 - 6)*1 - -2. Let d(t) = -t**2 - 7*t - 4. Is d(q) a composite number?
True
Let w = 175 + 34. Is w a prime number?
False
Let a be -137 - (-1 + (-2)/(-2)). Is a/(-9) + (-2)/9 prime?
False
Let m(b) = 192*b + 7. Is m(5) composite?
False
Let c(v) = -180*v + 7. Is c(-6) a composite number?
False
Suppose -k - 2*s + 119 = 0, 123 = -2*k + 3*k + s. Is k composite?
False
Suppose -96 - 12 = 4*a. Let s = 73 + a. Suppose w = -w + s. Is w composite?
False
Suppose -4*m = 2*u + 9 - 21, 8 = 2*m. Is (-62)/(8/u + 3) composite?
True
Let v(q) be the third derivative of q**4/6 - q**3/6 + 4*q**2. Let o be v(-4). Let a = 36 + o. Is a prime?
True
Suppose -5*m + 1458 = 3*n, 4*m - 861 = 2*n + 301. Suppose -m = -5*c + 2*c. Is c a composite number?
False
Let y = -1 + 3. Let b(i) = 19*i - 1. Is b(y) a prime number?
True
Is 3 - ((-378)/1 + 0) a prime number?
False
Let q = -10 + 14. Suppose 0 = -4*x - v - 1684, 2*v = q*x + 26 + 1670. Is x/3*6/(-4) a composite number?
False
Suppose -2*a + 7*a = 2110. Is a a composite number?
True
Let f = 1 - 1. Suppose f = -5*k + 1313 + 122. Is k composite?
True
Let z(x) = x + 1. Let n(b) = -10*b - 13. Let g(s) = n(s) + 5*z(s). Is g(-15) composite?
False
Suppose -502 = -4*f + 6. Is f a composite number?
False
Suppose -s = 2*s + 3, 2*q = -2*s + 10. Is q a prime number?
False
Let i = -401 + 1168. Is i a composite number?
True
Let u = 3795 + -8754. Is (-2)/(-7) - u/63 prime?
True
Let t(a) = -4*a + 1. Let g be t(-1). Let k = g - 2. Is (-86)/k*-3 - -1 a composite number?
True
Let n be (4 - 4)/(3/(-1)). Suppose -3*f + 45 = -n*f. Is f prime?
False
Let h(p) be the second derivative of 5*p**3/3 - 3*p**2/2 - p. Let y be h(4). Suppose 0 = -m + y. Is m prime?
True
Is ((-5)/(-10))/(4/11752) composite?
True
Suppose 3*g + 9 - 3 = 0. Let x be 3*5/3 + g. Suppose 4*u = 4 - 0, x*i + u - 634 = 0. Is i composite?
False
Suppose -b + 5 = 0, 0*a = 2*a - 3*b + 9. Let n be (-6)/(a*3/(-6)). Suppose -n*c = -2*c - 154. Is c a prime number?
False
Let g(p) = p + 4. Let w be g(-2). Suppose 3*v + q + q - 251 = 0, -3*q = -w*v + 176. Is v composite?
True
Suppose -7*n + 1073 = 282. Is n a prime number?
True
Let r(n) = 22*n**2 + 3*n + 6. Is r(5) a prime number?
True
Suppose 4*k + 3*f = 56, 4*k = f - 3*f + 60. Suppose 3*p = 2*u - k, u - 2*u - 3*p = 14. Let a(b) = 126*b**2 + b. Is a(u) a composite number?
False
Let v = -2 + 7. Suppose -q + v*s + 26 = 0, -5*q + 3*s + 0*s + 108 = 0. Is 141/q + 2/7 a composite number?
False
Let c(h) = -h**3 - 6*h**2 - 7*h - 6. Let f be (-1)/2 + 27/(-6). Let g be c(f). Suppose -g*k + 75 = -k. Is k composite?
True
Let q = 8 + -8. Let z(v) = -v + 11*v - v + 4 + q. Is z(3) a prime number?
True
Let b(t) = 136*t**2 - t + 1. Is b(-2) a composite number?
False
Suppose 5*q - 15 = -0*q. Let d(c) = -3*c**2 + 3*c**2 + 2 - c**q - 3 - 6*c. Is d(-4) a prime number?
False
Let q(u) = -4*u**3 - 3*u + 4. Suppose 4*v + 12 = 5*t, -3 = 4*v - 3*v + t. Is q(v) composite?
True
Let f(r) = r**2 + 2*r - 4. Let h be f(-4). Let p(z) = -2*z**2 + 6*z. Let u be p(h). Let o = u + 34. Is o prime?
False
Suppose 4*m - 11 - 5 = 0. Is 51/15 + m/(-10) prime?
True
Let s(i) = -i**2 + 4*i - 2. Suppose 5*b - 9 = 2*b. Let j be s(b). Is 11 - (2 + (-1 - j)) a composite number?
False
Suppose -2*h + 4*k + 292 + 1210 = 0, 2*h - 1503 = 5*k. Is h a prime number?
False
Suppose 0*k = -2*k + 2. Suppose -k = 2*i - 447. Is i a composite number?
False
Let s = -57 - -66. Let p(i) = -2*i**2 - 4*i. Let v be p(-3). Let h = s + v. Is h a prime number?
True
Let u(a) = -45*a + 24. Is u(-11) composite?
True
Suppose -4*a = -18 + 54. Let c be (1 - a)*(-2)/(-4). Suppose -660 = -c*q + 5*g, 0 = -2*q - 2*g + 45 + 199. Is q prime?
True
Let a(n) = -16*n - 4 - 1 + 4. Let w(s) = -s**2 + 6*s - 6. Let f be w(5). Is a(f) prime?
False
Let z = -860 + 1339. Suppose 0 = -5*u + 4*u + z. Is u a composite number?
False
Let c = 77 + 216. Is c a composite number?
False
Suppose 3 = -0*m - m. Is (2 - 1)/((-1)/m) a composite number?
False
Let w be (0*(-3)/(-6))/2. Suppose 0 = -w*b - 5*b + 50. Is b a composite number?
True
Suppose 0 = 6*g - 7363 + 2029. Is g prime?
False
Suppose 3*w + 15 = 4*y - 8, -2*w = 5*y - 23. Suppose 0 = -y*a + c + 471, -4*c + 212 + 89 = 3*a. Is a a composite number?
True
Let m = -50 + 73. Let g = m + -16. Suppose i - g = 12. Is i a prime number?
True
Let p(t) = t + 11. Let v be p(-11). Suppose 5*f - 3 - 12 = v. Suppose f*j - 7*j + 308 = 0. Is j prime?
False
Let h(b) = -2 + 10*b**2 + 7 - b**3 - 1 - 2 - 4*b. Is h(6) prime?
False
Let x(v) = -13*v + 1 - 1 - 1. Let d(l) = -26*l - 3. Let s(f) = 3*d(f) - 7*x(f). Is s(3) a prime number?
True
Suppose -3*c + w = -4, 0 = -5*c - 3*w - 0*w + 30. Suppose 2*n + 219 = z, 2*z + c*n - 1043 = -3*z. Is z a composite number?
False
Let u = 216 - 149. Is u composite?
False
Suppose 0 = -5*i + 5976 + 319. Is i composite?
False
Let h(p) = 18*p + 1. Let d = -7 + 11. Let w(c) = -17*c - 1. Let j(i) = d*w(i) + 5*h(i). Is j(3) prime?
True
Let g(o) = 2*o**2 + 23*o + 27. Is g(19) prime?
False
Let j be (4/6)/(2/12). Suppose -5*a = -j*k + 3, k + k - 3 = a. Suppose 0 = k*h + h - 105. Is h a composite number?
True
Let u(t) = -t**2 - 20*t - 2. Is u(-8) a prime number?
False
Suppose 2*b + 3*b - 5 = 0. Let u be 2 + 0 - (517 - b). Is (0 + -2)/(4/u) a prime number?
True
Suppose 0*o = 5*o. Let r = -3 - o. Is 23 - ((3 - 2) + r) a composite number?
True
Suppose 0 = -r - r + 24. Let c = 20 - 14. Suppose -r = -3*v + c. Is v a composite number?
True
Suppose -4*c + 0 = -8. Suppose 0 = -5