e k + 3*v + 51 + 4 = 0, 2*k + 120 = -4*v. Is (1172/8)/((-5)/k) prime?
False
Suppose -4*x + 91 = 759. Let f(o) = 8*o + 158. Let a be f(39). Let m = a + x. Is m composite?
True
Let u(c) = -c**3 - 2*c**2 - c + 1115. Suppose -s + 1 = -4*z - 2, -9 = -3*s. Is u(z) a prime number?
False
Let z(s) = 2*s**3 - 6*s**2 + s + 14. Let f be z(6). Let g(a) = a**3 + 3*a**2 + 2*a + 2. Let i be g(-3). Is 1/(i*(-1)/f) a prime number?
True
Suppose 417*f = 420*f - 5451. Is f a prime number?
False
Let j(d) = 6*d**3 - 33*d**2 + 20*d + 13. Is j(14) a prime number?
True
Let z = 20 + -18. Let o(m) = m**3 + 7*m**2 - 7*m + 11. Let f be o(-8). Suppose -f*d - 41 = -g + 20, -z*g = -2*d - 130. Is g a prime number?
True
Let f(t) = -9*t**3 + 4*t**2 - 20*t - 8. Is f(-9) a composite number?
False
Suppose 0 = 6*n + 2*n - 19624. Is n a prime number?
False
Let n be 2 + (29*-653)/(-1) + -3. Is ((-2)/(-6))/(4/n*6) composite?
False
Suppose 5*c = -3*f + 31, 7 - 24 = -f - 3*c. Suppose 3*t - 5*o - 31 - 73 = 0, 64 = f*t + 2*o. Is t a prime number?
False
Suppose 9*c - 4*c = 6425. Suppose -4*i - i = -c. Is i a composite number?
False
Let o = 28 - 25. Suppose -o = 4*s - 15, 2*x - 481 = -5*s. Is x prime?
True
Let j(h) = h - 1. Let k be j(2). Is k*(-3)/(6/(-886)) a composite number?
False
Suppose 0 = -8*b + 9*b - 2433. Suppose b = 7*p - 4168. Is p prime?
False
Let u = 13685 + -6367. Is u prime?
False
Let b(x) be the third derivative of 31*x**5/30 + x**4/8 - 2*x**3/3 + 35*x**2. Is b(9) a prime number?
False
Suppose -24 = 4*c + 5*i - 79, 2*c + i - 35 = 0. Suppose -4*h + c = -32. Let b = 36 - h. Is b a prime number?
True
Let d(j) = 12*j**3 - 18*j**2 + 12*j + 37. Is d(13) a prime number?
False
Suppose -2*n - 4*n = -30. Suppose -2348 = -n*d + d. Is d prime?
True
Let b be 264/15 + 10/25. Suppose 0 = x + i - 2, b = 6*x - x + i. Suppose -x*k = k - 2445. Is k a prime number?
False
Let s = -4 + 6. Suppose s*u - 1710 = -2*r, 4*u + r - 574 = 2846. Let m = u - 20. Is m a prime number?
False
Suppose -3132 = 7*b + 312. Let h = b - -851. Is h a composite number?
False
Suppose 8*g + 6 = 7*g. Let m(o) be the first derivative of 4*o**3/3 - 2*o**2 - 7*o - 22. Is m(g) composite?
True
Suppose -5*a + 5*s - 4*s = -52161, 0 = -4*s + 16. Is a a composite number?
False
Is -5*(-12895)/25*1 a composite number?
False
Is (2 - 4)*1*(-535388)/56 composite?
False
Let v = 2380 + 1557. Is v prime?
False
Let i(u) = -3*u**3 + 2*u**2 - 2. Let c = -3 - -5. Suppose -4*q - c*d = d + 24, 4*q = -d - 16. Is i(q) prime?
True
Let n = -15 - -6. Let z(d) = 6*d**2 + d**3 + 0*d**3 + 10 - d**2 + 3*d + 8*d**2. Is z(n) a prime number?
True
Suppose -3*c = -9, -4*u = -5*u - 4*c + 93. Suppose 2*x - 2*f - 15 = 79, 188 = 4*x - 3*f. Let q = u - x. Is q prime?
False
Let s(w) = -w**3 + 3*w**2 + 6*w - 5. Let g be s(4). Suppose -4*m = -16, -v + g*m - 27 = -6*v. Suppose v*k = -3*l + 1089, 3*k + 5*l - 6*l = 1097. Is k prime?
False
Let x(c) = c**2 + 14*c - 68. Let a be x(4). Suppose 2*d - 28 = -3*t, 0*d - d = -5. Suppose -p - t = p, a*p + 646 = 2*q. Is q composite?
False
Let f = 5031 - -15830. Is f a composite number?
True
Let h be 28/(-21)*(-342)/4. Let y = -191 + h. Is 999/7 - 22/y composite?
True
Suppose -3*z - 21 = -3*d, -2*d + 1 = 3*z - 3. Suppose d*y - 6 = 2*y. Suppose y*l - 6*l = -452. Is l prime?
True
Suppose 1760*p = 1773*p - 833963. Is p a prime number?
True
Let l(r) = -r**3 + 8*r**2 - r + 10. Let t be l(8). Let p be 483 - (-4 + (t - -1)). Suppose 3*u - p = -u. Is u composite?
True
Is (-181730)/(-2) - -14*(-3)/21 composite?
False
Suppose 4*n = -48*g + 50*g + 386278, 193127 = 2*n - 5*g. Is n a composite number?
True
Suppose 5*o + 1947 = -2*q - 1414, q + 5*o = -1678. Let t = q - -3120. Is t prime?
False
Let z = 9736 + 485. Is z a prime number?
False
Let m = -54 - -56. Suppose m*k - 4*k + 258 = 0. Is k composite?
True
Let d(g) = 609*g + 250. Is d(9) composite?
True
Is (-788380)/(-30)*9/6 a prime number?
True
Suppose 4*o + 3*u = u + 1388, 0 = -5*o - 2*u + 1735. Is o prime?
True
Is 73 + -66 - (-13246 - (1 - 1)) composite?
True
Suppose 31450 = 8*o - 36286. Is o prime?
True
Suppose 0 = 5*t - t - 8. Suppose 6*n - 4*n - t*h = -4, h = 0. Is (4 - 6)/(n/191) a composite number?
False
Let t(n) = -2*n + 16. Let i be t(7). Suppose -y = 4*l - 2*y - 1641, 808 = 2*l + i*y. Is l prime?
True
Suppose 0 = 6*z - 11173 - 12521. Is z composite?
True
Let n(d) = 7*d**3 + 5*d**2 + 12*d + 1. Is n(10) prime?
True
Suppose -3*z = -4*x - 365, 0 = -3*z + 97*x - 101*x + 397. Is z prime?
True
Is ((-1)/6)/((-10)/173820) composite?
False
Suppose -5*h + 9 = -c - 11, 4*c - 5 = 3*h. Let s be -25*(-2 - 48/h). Suppose -s = -8*i + 6*i. Is i a composite number?
True
Suppose 9 = 3*i, -3*s - 7*i = -3*i - 3966. Is s a composite number?
True
Let n(c) = -c**2 - c. Let a(p) = p**3 - p + 1. Let w(x) = -3*a(x) + 4*n(x). Let s(m) = 3*m - 19. Let d be s(5). Is w(d) prime?
False
Suppose 3*i + 43 = b + 3*b, -4*i + 12 = 0. Is b composite?
False
Let f(j) be the third derivative of j**5/12 + j**4/24 - 7*j**3/6 - 8*j**2. Let v = 0 - -4. Is f(v) a composite number?
True
Suppose -5*o = -17 - 3. Suppose 0 = -o*j - j + 30. Is 289/3 + j/9 composite?
False
Let i = -29079 - -48028. Is i composite?
True
Suppose -25 = -3*r - 16. Let x(u) = 14*u**2 + 5*u - 23. Is x(r) a composite number?
True
Let m be 18372/10 + (-2 - 27/(-15)). Suppose 7*x = 7878 - m. Is x a composite number?
False
Suppose -18*t + 1944 = -20*t. Let m = t - -1459. Is m a composite number?
False
Let c(h) = -4*h**3 + h**2 - h - 1. Let b be c(-1). Let o(g) = -14*g - 4. Let w be o(-4). Suppose -b*k + 3*x + w = 0, -4*k + 15 + 31 = 2*x. Is k a prime number?
True
Let y = -1335 - -8610. Is 1*4/6 + y/9 composite?
False
Let g = -9 + 37. Let y be (2/(-3))/(g/(-42)). Is 290 - (-1)/(y/3) prime?
True
Suppose -179753 = -6*a + 61837. Is a composite?
True
Suppose -r - a = -6, 6*a - a = 5*r - 20. Suppose -r*k = -4*m + 397, m - 108 + 2 = -k. Is m a prime number?
True
Let q be 18/3*(-6)/4. Is 3120/9 + (-3)/q a composite number?
False
Let k = 471 - 164. Is k composite?
False
Let s(w) = 36*w**2 - 5*w - 2. Let m be s(-2). Suppose x = m + 194. Is x a composite number?
True
Let h(i) = -4*i**3 - 5*i**2 - 5*i - 6. Let b(w) = 5*w**3 + 4*w**2 + 4*w + 7. Let l(t) = 5*b(t) + 6*h(t). Let c be l(9). Let d = 335 + c. Is d prime?
True
Let j = 26 + -35. Is ((-5324)/(-12))/1 - (-6)/j a composite number?
False
Let f(k) = -2*k**2 + 30*k - 11. Is f(6) composite?
False
Suppose 2*w - 2368 = -2*w + 4*m, 2*w = -3*m + 1199. Suppose -278 + 230 = -12*a. Suppose a*v - w = -v. Is v composite?
True
Let v be ((-2)/1)/((-6)/6). Suppose -5*a + n + 15 = 0, -n - 1 = -4*a + v*n. Suppose -3*f = 4*m - 269, m + m - 342 = -a*f. Is f prime?
True
Suppose 0 = -3*r - 0*r + 756. Suppose -5*h = -15 - 0. Is ((-9)/h - -2) + r composite?
False
Let b(x) = -15659*x**3 - x**2 - 18*x - 17. Is b(-1) composite?
True
Let r(q) = 3*q**2 + 3*q - 4. Let i be r(1). Suppose -1259 = -3*b + i*b. Is b composite?
False
Let m = 11322 + -4039. Is m composite?
False
Let u(g) = -g**3 + 7*g**2 + g - 7. Let f be u(7). Suppose f = 5*l - 13 - 17. Suppose -c + 550 = 3*b, -728 = 2*b - l*b + 4*c. Is b composite?
True
Let b(o) = -o**3 + 35*o**2 - 38*o + 31. Is b(18) composite?
True
Let c(p) = -324*p + 25. Is c(-7) a prime number?
True
Let i(l) = 10*l - 66. Let j be i(7). Let a(c) = 9*c**3 - 5*c**2 + 10*c + 3. Let q(w) = 8*w**3 - 4*w**2 + 9*w + 2. Let z(p) = -5*a(p) + 6*q(p). Is z(j) prime?
False
Suppose 4*r = 2*r - t + 17087, -3*t - 25644 = -3*r. Is r a prime number?
False
Let j = 7 - 11. Is (28/(-42))/(j/4794) prime?
False
Let x = -21 + 23. Suppose a + 9776 = 5*s, -7816 = -2*s - x*s + 2*a. Suppose y + s = 5*p, 4*p - 3*y + 6*y = 1561. Is p composite?
True
Suppose 3*n + 4 + 2 = 0. Let r(a) = 2*a**2 + 2*a + 1. Let h be r(n). Suppose -h*l + 1535 = -0*l. Is l composite?
False
Suppose 0 = -4*y + 8*y - 1636. Is y prime?
True
Let f = -3041 + 15010. Is f a composite number?
False
Suppose -5*n + 4*d + 1650 = 0, 279 = 4*n + 3*d - 1072. Let g = n + -225. Is g composite?
False
Let k = 2 + 9. Let i = 13 - k. Is ((-1)/i)/((-4)/696) prime?
False
Let t be (-4)/(-10) + 299/115. Suppose 0 = t*l + a - 7306, 0 = 5*l - a - 5344 - 6830. Is l a prime number?
False
Let n(v) = v**3 + 0*v + 19*v**2 + 15 + 3*v - 33*v**2 + 17*v**2. Is n(8) a composite number?
False
Let j(m