*l, 0 = -j + 2*l + r. Is j a composite number?
False
Suppose -4*l - 6 = -2*s, 2*l - 12 = -2*s - 2*s. Suppose l = -2*d - 0*d - 5*h - 8, 0 = 4*d - 3*h - 36. Is d prime?
False
Suppose -3*t - 4*b + 29 = -14, 12 = t - b. Let m(q) = 1 - 6*q - t*q - 4*q. Is m(-2) a prime number?
True
Let d = 5 + -9. Is (2 + 1)*(-3 - d) prime?
True
Let a(y) = -y**3 - 18*y**2 - 6*y - 25. Is a(-18) a prime number?
True
Let r(i) = -6*i**2 - 2*i + 9. Let o be r(-4). Let p = 172 + o. Is p a prime number?
False
Let d = 13 - 11. Is (325/(-15))/(d/(-6)) prime?
False
Let t = -1 + 5. Suppose -499 = -4*g + 209. Suppose -33 - 80 = -2*p - o, -3*p - t*o = -g. Is p a prime number?
False
Let r(j) = 2*j**3 + 4*j**2 - 14*j + 11. Let p be r(10). Suppose 5*w + 506 - p = 0. Is w a composite number?
False
Let q = 3 + 0. Suppose 0 = 4*h - q*o + 7, -24 - 1 = -5*o. Suppose -h*a = -2*g - 38, a + g + 3*g = -6. Is a a composite number?
True
Suppose -2 = -z + v + 39, 0 = 3*v - 6. Is z composite?
False
Let u = -1303 - -2402. Is u a prime number?
False
Is (1/((-1)/548) - -1)/(-1) prime?
True
Let a(p) = p**2 - 2*p - 6. Let j be a(5). Let o = j - -25. Is o a composite number?
True
Let r = -1002 + 445. Let l = -264 - r. Is l a composite number?
False
Let j(b) = -b**3 - 5*b**2 - 4*b - 7. Let m be 6*((-16)/6)/(-4). Suppose 2*v = m*v + 10. Is j(v) a prime number?
True
Suppose 0 = 4*u - 632 + 156. Is u a prime number?
False
Suppose -3*k + 8 = -k. Let s = 41 - k. Is s a composite number?
False
Let m(y) = 135*y**2 + 8*y + 16. Is m(-5) a prime number?
False
Suppose 0 = -2*l + 5*y - 3*y - 2, -l + 4*y = 4. Suppose -4 = 5*b - 9*k + 5*k, -5*b = 3*k - 3. Suppose l = p - b*p - 67. Is p composite?
False
Let q = -3 + 3. Suppose 0 = 3*y - q*y - 1719. Is y a composite number?
True
Suppose -4*l - u = -25, 0 = 4*u - u - 15. Let f(h) = h**2 - 7*h + 6. Let k be f(l). Let b(z) = z**2 + 4*z + 6. Is b(k) a composite number?
True
Let h(z) be the second derivative of -z**7/840 + 7*z**6/360 - z**5/40 - z**3/3 - z. Let t(f) be the second derivative of h(f). Is t(5) composite?
True
Suppose -2*l + 1170 = 184. Is l prime?
False
Suppose -5*t = -6 - 19. Suppose -2*a = -5*x + 1, -5 = -t*a + 5*x - 0*x. Suppose 3*f - 725 = -a*f. Is f prime?
False
Let k(f) = 58*f - 8. Let q be k(6). Let w = 731 - q. Is w composite?
True
Suppose 2 - 22 = -u. Suppose 0 = -h + 5*h + 3*f + 68, 2*h - 2*f + u = 0. Let n = 17 - h. Is n composite?
False
Let x be -3 + 1/(-1) + 97. Let b(a) = a**3 + 7*a**2 - 5*a + 3. Let k be b(-7). Let s = x - k. Is s a composite number?
True
Suppose 104 = 3*w + u - 81, 4*w + 2*u = 244. Let c(n) = n**3 - 8*n**2 + n - 3. Let b be c(8). Suppose -w = -j - b. Is j a composite number?
True
Suppose b + 1096 = 4*r - 4*b, -274 = -r - 5*b. Is r composite?
True
Suppose -4*t + 9 = -t. Is (t - 0)*(13 - -4) composite?
True
Is 2/(-6)*(-113 - -2) prime?
True
Let o be (-1)/((2 - -1)/(-6)). Suppose 0 = o*h + 2*h - 964. Suppose -5*s - 216 = -4*u, s - h = -0*u - 5*u. Is u a prime number?
False
Let v = -4 - -9. Let u(c) = -c**3 + 4*c**2 + 6*c + 1. Let g be u(v). Suppose 889 = -2*m + g*m - t, -5*t + 238 = m. Is m composite?
False
Suppose -p = 3*a - 1252, 0*p + 1277 = 3*a - 4*p. Is a composite?
False
Let y(n) = -14*n + 7. Is y(-2) a prime number?
False
Let j be -2*4/(16/10). Is j*(-1 + 392/(-20)) prime?
True
Suppose 4*o - 299 - 567 = -2*l, 0 = 5*l + 4*o - 2183. Suppose 3*r - l = 32. Is r a composite number?
False
Suppose 2*q - 380 = 7*q. Let u = -25 - q. Is u a composite number?
True
Suppose -841 = -4*o - 3*c - 198, 2*c = 5*o - 821. Is o composite?
False
Let z(x) = -x**2 - 11*x + 3. Let q be z(-7). Suppose 3*g + q = 304. Is g a prime number?
False
Let s be 2 - (-6 + 2 - -2). Let j = -15 - s. Let w = j + 76. Is w a composite number?
True
Suppose 4*m = -0*m. Suppose m = -d + v + 5, 9 = v - 4*v. Suppose a + d*g = 10, 4*g - 2*g = 4*a - 60. Is a composite?
True
Let o(w) = 3*w + 82. Is o(0) a composite number?
True
Suppose 2*j + 3*f + 2*f = -24, -2*j - 16 = 3*f. Let o be 3/j*(-60)/18. Suppose -2*n + 413 = 5*a, -a + 43 = -o*n - 45. Is a composite?
False
Let i(x) = x**3 + 5*x**2 - 5*x + 4. Let d be i(-6). Let f(u) = 184*u + 5. Let o(p) = -37*p - 1. Let s(z) = d*f(z) - 11*o(z). Is s(2) a composite number?
False
Suppose -5*f - 3 = -0*n - 4*n, 2*n - 5 = -f. Let a be ((-1)/(-1))/(4/16). Suppose a*c + 2*q - 56 = 0, 2*q + 3 = -f. Is c a prime number?
False
Is (7/2)/((-2)/(-1556)) a composite number?
True
Let g be (12/10)/((-8)/(-20)). Let f be 32/(-3)*g/(-1). Suppose -y + 14 = -f. Is y a composite number?
True
Let t(b) = -80*b - 3. Is t(-2) composite?
False
Let x(u) = u**3 + 15*u**2 - 5*u - 15. Let l(m) = m**3 + 14*m**2 - 6*m - 14. Let q be (-12 - -5)/(0 + -1). Let r(z) = q*l(z) - 6*x(z). Is r(-9) a prime number?
True
Let q = 21 - 12. Suppose 0*s = -3*s + q. Suppose 2*n - 2*k + 134 = 6*n, -4*n + s*k + 129 = 0. Is n a composite number?
True
Suppose 3*c - f - 3*f = 0, 2*c + 4 = 4*f. Suppose -4*d = -y - d - 13, -3*y = -2*d + c. Is (88/4)/(y + 0) a composite number?
False
Suppose 270 = 3*l - 717. Is l composite?
True
Suppose -5*s = 4*r - 227, 5*r - 3*s - 150 = 2*r. Is r composite?
False
Let t = 31 + -3. Let o = -14 + t. Is o a prime number?
False
Is -3 - 0 - ((-2 - 127) + 5) a prime number?
False
Suppose 3*v + 0*f - 3*f - 28971 = 0, 3*f + 9649 = v. Is v composite?
False
Let f be ((-2)/7)/(2/(-14)). Suppose 4*x - 10 = -v - v, 3*x = -v + f. Is v a prime number?
True
Suppose -4*y + 4*l = -980, 3*y + 3*l = 5*l + 737. Is y composite?
True
Is 980/6 + (-4)/12 prime?
True
Let g = -6 - -2. Let p be (-6)/g - (-1)/(-2). Is 15*p - (6 - 5) a composite number?
True
Suppose 4*t - 1896 = -f, -4*f - 1880 = -4*t - f. Is t a composite number?
True
Suppose -10*d + 8555 = -6875. Is d prime?
True
Suppose 0 = j - 4*j + 381. Is j composite?
False
Let h(m) = -5 - 4 + 3 - 4 + 27*m. Is h(7) composite?
False
Let o(d) = -d**3 + 5*d**2 + 2*d - 1. Let x be o(4). Let n be (12 - (-4 + 3))/(-1). Let t = n + x. Is t composite?
True
Suppose -5*l = -0*l - 220. Suppose -b = -439 + l. Suppose 8*x - b = 3*x. Is x composite?
False
Is 80/(-24)*27/(-15) composite?
True
Suppose -3*c - 2*x = -x + 1, x = -c - 1. Let v = 9 - c. Suppose -2*l - 3 = -v. Is l prime?
True
Let f be 6/9 + (-1)/(-3). Let l(v) = 4 - 3 - 2*v - 11*v**2 + 235*v**2. Is l(f) a composite number?
False
Suppose -5*c + 0*c + 960 = 0. Suppose -h = -4*n - 82 + 235, -c = -5*n + 2*h. Is n a prime number?
False
Let r be 1 + -3 - (-1 + -58). Suppose 0 = 3*g - r. Is g composite?
False
Suppose 560 = -4*b - 5*j, -3*b - j = -3*j + 443. Suppose g + 55 + 1 = 0. Let z = g - b. Is z a prime number?
True
Let i = 1107 + -676. Is i a prime number?
True
Suppose 42 = 3*p + 3*l, 2*l + 26 = p + 6*l. Suppose 0 = -2*b - 4*n - 12, n = b - n - p. Is 14 + (b - 2) + 0 a composite number?
True
Let a = 22 + 65. Is a a composite number?
True
Let o = 8 - 14. Is (2/4)/(o/(-552)) a composite number?
True
Let n = 521 + 230. Is n a composite number?
False
Let y(u) = -8*u**2. Let z(x) = x**2 + x + 1. Let h(i) = -y(i) - z(i). Is h(-1) a prime number?
True
Let w(p) = -14*p + 5. Is w(-11) composite?
True
Suppose 5*m - 6 - 4 = 0. Suppose -m*k - 3*i + 6 = 3, 4*i - 4 = 5*k. Is 32 - ((-1 - k) + 2) a composite number?
False
Suppose 53 = 6*o - 3*o + l, l + 1 = 0. Suppose -3*k = o - 147. Is k a prime number?
True
Is (-7467)/(-11) - (210/55 - 4) a prime number?
False
Let l = 1620 - 721. Is l prime?
False
Suppose 5*v - v + 20 = 0. Let s(t) be the first derivative of -t**3/3 - 3*t**2 + 6*t + 1. Is s(v) a composite number?
False
Suppose 0 = s + 2*s + 6, -3*s = q + 28. Suppose -38 = -2*g - h + 49, h = 4*g - 159. Let f = g + q. Is f a composite number?
False
Suppose 2*x + 9 = -x. Let d(s) = 6*s**2 + 3*s + 2. Is d(x) composite?
False
Let s = -5 + 7. Let x be -1 + (11 - s)*-1. Let n(h) = -2*h - 13. Is n(x) a composite number?
False
Suppose 938 = v + v. Is v a prime number?
False
Let j(x) = 2*x**3 - x**2 - 2*x - 5. Is j(6) a composite number?
False
Let f be 1/4 - (-75)/20. Suppose 0 = v - f*v + 21. Is v prime?
True
Suppose -12*w = -12120 - 3300. Is w a prime number?
False
Let s be ((-4)/3)/((-6)/9). Suppose s*p = 5*v + 24, -v = v. Let u = 79 + p. Is u a prime number?
False
Suppose 0*d - 2*n - 967 = -d, -5*n + 3933 = 4*d. Is (-6)/45 - d/(-15) a prime number?
False
Suppose -3*p + 3 + 1 = -j, 0 = -3*p