alse
Let h = -7 - -11. Let w(z) = -2*z + 11. Let m be w(-8). Suppose -d = -h - m. Is d prime?
True
Suppose -4*b - 36 + 144 = 0. Suppose y - 2*h - b = 0, -3*h + 0*h - 23 = -y. Is y composite?
True
Let v = -676 - -1587. Is v prime?
True
Let i(j) = j**3 - 12*j**2 - 5*j + 11. Is i(13) prime?
False
Suppose -3*f - 1 + 7 = 0. Suppose -4*x + f*x = 0. Suppose -5*i + 45 = -x*i. Is i a prime number?
False
Let z be 68*(-3)/(-3) + 1. Suppose 5*u + 14 = z. Is u a composite number?
False
Let y = 5 - 5. Suppose y = 3*d - 8*d + 20, 125 = 3*v + 5*d. Is v composite?
True
Let i(u) = -23*u - 3. Suppose 0 = w - 5*x + 22 + 7, -x = -5. Is i(w) prime?
True
Suppose -4*a + 34 = 2. Let i = a + -5. Is (-53)/(-4) - i/(-4) composite?
True
Let r = 665 - 336. Is r a prime number?
False
Let n = -236 - 11. Let f = -62 - n. Is f composite?
True
Suppose 0*x + 2*z = x - 112, 106 = x + z. Suppose 2*g + 4 = 50. Suppose u - x = -g. Is u a composite number?
True
Let b be (0 - 1)*(-346 - 1). Suppose -4*z + b = -5*o, 3*z - 240 = -3*o - 0*o. Is z prime?
True
Let z be (-1 + 1)*5/(-5). Suppose -2*p + 307 + 211 = z. Is p a prime number?
False
Let k = -834 - -1249. Is k prime?
False
Let q = -3 - -9. Let i be (2 - 2/(-4))*q. Is (-2)/(-10) + 342/i a prime number?
True
Let v be (1 - (1 + 1)) + 245. Let p = v - 165. Is p a composite number?
False
Let t(x) = 4*x**2 - 21*x - 4. Is t(15) composite?
True
Let u(i) = -i**3 - 6*i**2 - i + 1. Let b be u(-6). Suppose 0 = 2*g + 1 - b. Suppose -2*n = -g*r + 31, r + n + 35 = 4*r. Is r composite?
False
Suppose 12 = i - 98. Let p = 207 - i. Is p prime?
True
Suppose 0 = -p - 2*z - 11, 4 = p - 0*p - z. Let u = 1 + p. Suppose -12 = 2*j + j, u = -2*f + 4*j + 140. Is f a prime number?
False
Let z be 2 - (-1 + 7/1). Let f(b) be the second derivative of b**4/3 - b**3/6 - b**2/2 - 6*b. Is f(z) prime?
True
Let o(j) = 5*j**3 + 4. Is o(3) a prime number?
True
Suppose 0 = -5*h + 4*i + 1717, 0*h - 2*i = -5*h + 1711. Is h a prime number?
False
Let b = -459 - -950. Is b composite?
False
Suppose -7*s - 1407 = -10*s. Is s prime?
False
Let z(v) = -6*v**3 - v**2 + 7 - 6 + 0*v**2. Let j be z(1). Let s(r) = -2*r + 7. Is s(j) composite?
False
Suppose 0 = -4*i + 5*j - 40, 5*j + 33 = -5*i - 62. Let c be (-42)/(-5) - i/25. Let l(q) = q**2 + 3*q - 13. Is l(c) prime?
False
Let j = 33 + -16. Suppose 5*h - j = -2. Is (1 - 2) + h*16 a prime number?
True
Let k = 517 + -281. Suppose -333 = -5*n + 502. Let c = k - n. Is c composite?
True
Suppose 4*l + 8 = -2*c, 0 = 4*c + 2*l - 5 - 3. Suppose -4*w - c*j + 110 = -54, -4*j + 201 = 5*w. Is w prime?
True
Is 720 + 5/(-1 + -4) composite?
False
Let m be (-1892)/(-2)*(-9)/(-6). Is (m/6 - 3)*2 prime?
True
Let z be (-1 + 5)*9*9. Suppose z = 3*t - t. Suppose u + 2*u = 3*i + t, -219 = -4*u + 5*i. Is u a prime number?
False
Let o be 27/6 + (-6)/(-4). Suppose -75 = -o*d + d. Let i = d - 2. Is i prime?
True
Suppose 3*w = -2*w - 25. Let l = w - -9. Is (745/(-10))/((-2)/l) prime?
True
Is (-15)/(-6)*1884/10 prime?
False
Suppose 0*z = z - 3, w + 4*z - 17 = 0. Suppose 4*f = -w*p - 20 + 151, p + 5 = 0. Is f a prime number?
False
Let o(d) = -d**3 - 2*d**2 - 3*d - 7. Let f be 9/6*(-10)/3. Is o(f) prime?
True
Is (-4)/(-6) - 11350/(-30) prime?
True
Let x = -1 + -1. Is (-2 - x) + 30/3 a composite number?
True
Let s be 1/(-4) - 200/(-32). Suppose 2*q = 3*g - s*g + 43, -2*q = 2*g - 28. Suppose h - 16 = g. Is h prime?
True
Let f(p) = -3*p + 2. Let c be f(-4). Let t = c - 20. Let g = t + 39. Is g a composite number?
True
Let i be 1*-2*(-1)/(-1). Let x = i + 4. Is (136 + 1 + -3)/x prime?
True
Let h = -303 - -488. Is h a composite number?
True
Suppose 3 + 175 = 2*m. Is m prime?
True
Suppose 0 = -o - 5*u + 16, 2*u - 4 + 8 = -3*o. Let z be (1 - -3)*o/8. Is 15 + 3/(3/z) prime?
True
Let a(z) = -16*z + 37 + 18*z + 9*z**2 + 14 + 28*z. Let t(c) = -c**2 - 3*c - 5. Let s(r) = -2*a(r) - 21*t(r). Is s(-4) prime?
False
Let l(w) = 3*w. Let x be l(2). Let z(p) = -p**3 + 6*p**2 + 7*p - 5. Is z(x) a composite number?
False
Suppose 5*a = -5*l + 1750, -4*l - 2*a + 1735 = l. Suppose -5*i + l = -2*i + 4*c, -c - 598 = -5*i. Is i composite?
True
Let x = -20 + 35. Suppose -z = -112 - x. Is z a composite number?
False
Suppose 4*g + 4*r + 0*r = -8, 0 = -4*r - 16. Suppose g*f - 2793 = -1015. Is f prime?
False
Suppose 5*d + 2*p = 4*p - 619, 5*d - 5*p = -610. Is 1 - (2 + d - -1) a composite number?
True
Let p = -7 - -3. Let q(l) = -10*l**3 - l**2 + 9*l - 1. Is q(p) prime?
True
Let y(w) be the second derivative of w**5/20 + 3*w**4/4 + 2*w**3/3 - 7*w**2/2 + 4*w. Is y(-8) a composite number?
True
Let x(b) = 4*b - b**3 - 6*b**2 + 3*b - 2 - 2*b - 3*b. Let o be x(-7). Suppose -13 = 2*p - o. Is p prime?
False
Suppose -i + 3*h + 587 = h, 2*i - 1172 = 3*h. Is i a composite number?
True
Let x be 4 + (-1 - 1) + -2. Suppose -2*q + b + 636 = 0, 5*q - b - 1542 - 45 = x. Is q composite?
False
Let u = -1466 - -2119. Is u prime?
True
Let g = -78 - -469. Is g a prime number?
False
Is 6/4*(-978)/(-9) a prime number?
True
Suppose -1 - 4 = -l. Suppose l*r - 81 = 9. Suppose 0 = c + r - 55. Is c a composite number?
False
Let d be (17/3)/((-1)/18). Let y = -135 - -334. Let a = y + d. Is a composite?
False
Let m(h) = h**2 - 8*h + 9. Let q be m(6). Let r = 3 - q. Suppose -p + r = -5. Is p a prime number?
True
Let x(g) be the third derivative of 1/30*g**5 + 5/24*g**6 + 1/24*g**4 + 0 + 1/6*g**3 + 2*g**2 + 0*g. Is x(2) a composite number?
False
Let n(t) = 15*t + 5. Let l(f) = -f. Let c(z) = 3*l(z) + n(z). Is c(6) a composite number?
True
Let d(z) = 14*z**2 + 2*z - 1. Let w = -8 - -10. Is d(w) prime?
True
Let m(q) = 6*q**3 - 3*q**2 + 3*q + 1. Suppose 2*g = -1 + 7. Is m(g) a composite number?
True
Let g = 4 - -1. Let j(u) = 3*u**2 - u - 1. Is j(g) a composite number?
True
Suppose -2667 = -s - 2*s. Is s composite?
True
Suppose -4*m + 3 = 19. Is ((-249)/12)/(1/m) composite?
False
Let v(p) = 9*p**3 - 5*p**2 + 8*p - 1. Is v(7) prime?
True
Let o be 894*((-12)/(-9) - 1). Suppose 2*q - 709 = -5*j - 2*q, 2*j - 2*q = o. Is j a composite number?
True
Is (-1)/(-4)*-4 - -94 a composite number?
True
Suppose -6*y = -5396 - 2188. Let s = y - 883. Is s composite?
True
Let a = 313 + -108. Let z be 70/(-9) + 2/(-9). Is 2/z - a/(-20) composite?
True
Suppose -13*d + 10*d = -261. Is d prime?
False
Let c(m) = -m**3 + 10*m**2 + 8*m - 11. Let a(w) = w + 2. Let v be a(8). Let q be c(v). Let b = 120 - q. Is b prime?
False
Suppose 0 = l - 0*l + 3*i + 41, 3*i = 5*l + 151. Suppose -3*z = 2*n - 145, n - 5 - 42 = -z. Let m = l + z. Is m a prime number?
True
Suppose 2*v + 3 = -5*u, 3*v + 26 = 4*v - 3*u. Is (-1174)/(-4) - v/22 a prime number?
True
Let d be 2 - -2*(-3)/(-6). Suppose -26 = 2*o - d*o. Is o a prime number?
False
Let s(z) = -z**2 - 5*z + 1. Let q be s(-4). Let h = 8 - q. Suppose -h*j = j - 764. Is j a composite number?
False
Let t = 1 + 1. Suppose 5*n = 5*s + 55, -2*s = -t*n + n + 16. Is n a prime number?
False
Let w(i) = -i**3 + 5*i**2 - i - 5. Let o be w(5). Let r be 2/o - 1704/30. Let g = 104 + r. Is g prime?
True
Let f(r) = -r**3 - 4*r**2 - 4*r - 7. Let n = 38 + -27. Let x = 5 - n. Is f(x) composite?
False
Let k(j) = 3*j - 5. Let z(c) = 1. Let v(x) = k(x) + 3*z(x). Let d be v(-3). Is (d + 2)/((-1)/1) a composite number?
True
Let n(m) = 139*m**2 - 2*m - 7. Let b(q) = 70*q**2 - q - 4. Let s(c) = -5*b(c) + 3*n(c). Is s(2) composite?
True
Suppose 6*y = 4*y - 50. Let o = 44 + y. Is o prime?
True
Let i = 8 - 15. Let r(w) = -2*w + 0 + 0. Is r(i) prime?
False
Suppose 1 = c + 4. Let o(j) = -j**3 - 3*j**2 + 2. Let x be o(c). Is 53/1*(x - 1) a prime number?
True
Let b(c) = 46*c**2 - 3*c - 3. Is b(-2) a composite number?
True
Let o(j) = 56 - 2*j + 6*j - 3*j - 9. Is o(0) a prime number?
True
Let y(x) = -6 + 8*x + 7 + 5. Is y(5) a prime number?
False
Suppose 0 = o - 3*o + 100. Let q = 17 + o. Is q a prime number?
True
Let n = -1 + 1. Suppose 4*c = 16, -r + 5*r - c - 1216 = n. Is r a composite number?
True
Suppose 4*z - 2168 = -r, -3*z + z + 1094 = 3*r. Is z composite?
False
Let u be ((-6)/(-6))/(1/4). Suppose -2*w + 3*h + 10 = 2*w, -2*h - u = 0. Is w + 2 + -2 + 5 a composite number?
True
Let j be 2/(-3)*(-15)/2. Suppose 4*i = -2*h - 34, j*h - 21 + 106 = i. Let n = -8 - h. Is n a prime number?
False
Let s be (-1)/(-6) - 13348/24. Is s/(-16) - 1/(-4) a prime 