5*l. Is (-534)/q*3/(-9) a prime number?
True
Let w(a) = a**3 - 6*a**2 + 6*a + 5. Let f be w(5). Suppose 0 = 3*v + f - 73. Is v prime?
False
Let c = 0 - -5. Suppose 5*x + 5*f = -35, -f + 13 = -4*x - 2*f. Let u = c + x. Is u a prime number?
True
Let c be 3 + -2 + 0 + 6. Let l(f) = -c - 20*f - 1 + 3. Is l(-5) a composite number?
True
Suppose -5*c + 3*o = -c - 37, -26 = -2*c + 4*o. Is c a prime number?
True
Suppose 0*a = -2*a - 3*f - 4, -5*a + 2*f = -28. Suppose 2*j + 14 = a*j + 2*q, 4*j = -5*q + 31. Suppose 2*k = j*x + 2, -x = 7*k - 4*k - 17. Is x a prime number?
True
Suppose -2*n + 197 = -3*x - 2*x, 5*n - x - 527 = 0. Is n a prime number?
False
Is (4 - 6)*30795/(-6) a prime number?
False
Let k(j) = 22*j**2 + 2*j + 3. Is k(-2) a composite number?
True
Suppose v - 4*v - 3 = 0. Let u be -6 + (v/(-1) - 1). Is (-103)/(-3) + 2/u a composite number?
True
Suppose -3*d = -0*d - 3*f - 36, 15 = d - 2*f. Let s(n) = 12*n + 7 + 7 - 3. Is s(d) composite?
True
Let d(f) = 4*f**2 + 1. Let s = 0 + 6. Let p be -2 + (-3 - -7) - s. Is d(p) composite?
True
Suppose 5*f + 3 = -137. Let x = 211 + -118. Let u = x + f. Is u composite?
True
Suppose 0 = -0*z + 4*z. Let o be (-2 + z)/(4/4). Is o/(-6) - 496/(-6) a composite number?
False
Suppose 4*a = -3*n - 126 + 2142, n = -2*a + 1008. Let q be -5*5/((-75)/a). Suppose -58 - q = -2*u. Is u a prime number?
True
Let i = 1989 + -1340. Is i a prime number?
False
Let s(q) = q**2 - 9*q. Suppose 1 = x - 8. Let y be s(x). Let p(n) = n**2 + n + 85. Is p(y) a prime number?
False
Suppose -8*g + 3*g = -635. Is g a prime number?
True
Let g = 174 - -1385. Is g a prime number?
True
Suppose -4*o = 3*t - 4, 0*t + 4*o = 5*t + 4. Let v be (-7)/2*-2 + t. Let p = v - -64. Is p a composite number?
False
Let n be (-4)/20 - (-38)/(-10). Is (18 - -4)*(-6)/n a composite number?
True
Suppose -15*s = -20*s + 3565. Is s composite?
True
Is (3 - -643) + (-16)/(-4) + -1 prime?
False
Let o = 4932 - 2627. Is o prime?
False
Suppose 2*i - 2*w + 10 = 0, -2*w = -4*i - 9 - 1. Suppose i = 4*x - 2*x + 2*l - 72, x + 2*l - 33 = 0. Is x a composite number?
True
Suppose 17 = 3*v - k, 2*v = 4*v - 3*k - 16. Suppose 0*d - 42 = -5*d + 4*m, -5*d + 15 = v*m. Is d a composite number?
True
Let y = -111 - -42. Is 3 + y/(9/(-3)) composite?
True
Suppose -3*o - 356 = -o. Is (o/3)/(4/(-6)) a composite number?
False
Suppose 0*l + 190 = 2*l. Is l a composite number?
True
Suppose -3*k + 3*t + 675 = 4*t, 2*k = t + 445. Is -5 + 3 + k + -1 a prime number?
False
Let l(m) = m**3 + 11*m**2 - m - 9. Is l(-8) composite?
False
Let o(l) = 2*l + 2 + 9*l**2 - 2*l**3 - 6 + l**3. Let g be o(5). Suppose a = -a + g. Is a prime?
True
Let g(o) = 14*o + 2. Let v be g(-7). Let i = v + 149. Is i composite?
False
Suppose 3*h = -h + 36. Let c be (h/(-6))/((-6)/8). Is (-3)/(c*(-2)/20) prime?
False
Let u(k) = 9*k**2 - 7. Is u(3) prime?
False
Let c(h) be the third derivative of h**4/24 + 59*h**3/6 + 4*h**2. Is c(0) composite?
False
Suppose -2*u + 315 = 3*u. Let q = -44 + u. Is q a prime number?
True
Suppose 2*v + v - 2*n - 16 = 0, 4*v + 4*n - 8 = 0. Suppose 4*f - 5*t - 405 = 0, 2*f - t - 417 = -2*f. Suppose 0*r + d - f = -3*r, v*r - 140 = 5*d. Is r prime?
False
Let w = -8 + 1. Let b = -16 - -36. Let x = w + b. Is x a prime number?
True
Suppose -4*f = -2651 - 789. Let q = f - 395. Is 1/(2/4) + q a composite number?
False
Let x = -388 + 543. Is x prime?
False
Let g(t) = 30*t**2 - t + 1. Is g(2) composite?
True
Let i = 248 - 174. Is i a prime number?
False
Let t(h) = h**3 + h + 97. Is t(0) prime?
True
Let x(p) = -p**2 - 33*p - 13. Is x(-20) prime?
False
Let v(b) = b**3 - 6*b**2 + 6. Let x be v(6). Suppose -c + 4*c = x. Suppose -s + 292 = c*t + t, -5 = -5*s. Is t composite?
False
Suppose 2*h + 2 = -0*h. Let z = h - -3. Is -30*((-10)/4 + z) a prime number?
False
Suppose -2492 = -4*l + 792. Is l a prime number?
True
Let c be 2 + (-5)/(5/(-12)). Let n = -10 + c. Is (-75 + -1)*(-2)/n a prime number?
False
Let n be 1 + (0 + -4)/(-4). Suppose 0 = 4*i - 3*f + 4 + 3, 5*i - f = -6. Is (-145)/n*(i + -1) composite?
True
Let o(j) = -25*j + 8. Let i(t) = 24*t - 7. Let y(l) = 3*i(l) + 2*o(l). Is y(4) a prime number?
True
Let i(v) = -v**3 + 10*v**2 + 2*v - 14. Let x be i(10). Suppose x*o = o + 15. Suppose 2*k - 185 = t, 0*k + 270 = o*k + t. Is k composite?
True
Suppose 3*z - 307 + 55 = 0. Is 10/(-3)*z/(-8) prime?
False
Suppose -3*k + 0*k - 3*x = -1947, -5*x + 1947 = 3*k. Is k composite?
True
Let f(v) = v**3 + 3*v**2 + 3*v - 1. Let k be f(4). Suppose -1292 + 346 = -11*d. Let o = k - d. Is o a prime number?
True
Let a = 30 - 56. Let f = a + 45. Is f a composite number?
False
Let i be ((2 + -291)/1)/(-1). Suppose -4*d - 5*l + 17 = 0, 2*d - 7*l + 29 = -2*l. Is d/(-4)*(i + 1) composite?
True
Suppose 3 - 11 = -2*z. Is 645/z + 4/(-16) composite?
True
Suppose z - 135 = -4*x, 0*x - 75 = -2*x + z. Let s = -1 - -31. Let r = s + x. Is r composite?
True
Suppose -4*d + 3*q = -28, 0 = 5*d - 3*q - 45 + 13. Suppose d*l - 12 = 0, -z - 2*l - 4 = -0*z. Let m = z - -25. Is m composite?
True
Suppose -2*q + 3*j - 25 = -0, -2*q = -2*j + 22. Let c = -2 - q. Is c composite?
True
Let r(v) = 4*v**3 + 2*v**2 - 4*v - 4. Let h be r(-3). Let a = h + 155. Let t = a + -8. Is t a composite number?
True
Let f = -6 - -10. Suppose 0 = 2*i + 3*k - f*k - 12, 0 = i + 2*k - 1. Suppose 0 = i*u - t - 390, -5*u = 5*t - 263 - 97. Is u prime?
False
Let d = -3 - -7. Suppose -64 = d*i - 1788. Is i a composite number?
False
Suppose -5*r + 132 + 143 = 0. Is r a composite number?
True
Let n be -1 - (1 + 0/3). Let h be (8/6)/(n/39). Let b = h + 36. Is b a prime number?
False
Let s(f) = 689*f + 39. Let b(a) = 69*a + 4. Let o(m) = -39*b(m) + 4*s(m). Let z be o(2). Is (6/15)/(2/z) a prime number?
False
Suppose -5*s = -2*m - s + 952, 0 = -3*m - 4*s + 1428. Suppose 3*p - m = -p. Is p prime?
False
Let u = -314 + 799. Is u prime?
False
Let s(g) = -4*g - 3. Let h = -3 - 3. Is s(h) composite?
True
Suppose 18 = 2*b + w, 0 = -2*b - 3*b - 4*w + 45. Suppose 0 = 4*a - b*a + 125. Is a a prime number?
False
Let r(l) = 12 + l + 16*l - 20. Is r(5) prime?
False
Suppose 6*v - 4*v = 28. Is v prime?
False
Suppose -5*a + 5*l + 105 = 0, -l = 4*a + 2*l - 98. Is a a composite number?
False
Let r(b) = 0 + 0 - 2 + b. Let d be r(2). Suppose d*o - o + 26 = 0. Is o prime?
False
Let o(p) be the first derivative of -p**4/2 - 2*p**3 - 5*p**2/2 + p - 1. Is o(-4) prime?
True
Suppose 11*r + 18860 = 31*r. Is r composite?
True
Suppose 7*p = 3*p. Suppose p = -3*w - n + 494, 2*w - 2*n - 182 = 134. Is w composite?
False
Let u be 2*-1 - (-439 + 4). Suppose 0 = -5*w + 582 + u. Is w a prime number?
False
Let i = -9 - -21. Suppose 3*f + i = f. Let p = f + 20. Is p composite?
True
Let h(b) = 32*b - 31. Is h(10) prime?
False
Let f be (-4)/(-18) - 172/(-36). Suppose -f*z + 331 = -339. Is z a prime number?
False
Suppose -5*d + 5*l - 4 = 1, -3*d - 3*l = -21. Suppose -w = -0*w - d. Is w a prime number?
True
Let d(p) = -8*p**3 - 3*p**2 - 255. Let c(k) = -3*k**3 - k**2 - 85. Let l(u) = 11*c(u) - 4*d(u). Is l(0) a prime number?
False
Let n = -2 + 7. Let h(d) be the first derivative of 4*d**3/3 - 2*d**2 + 5*d - 3. Is h(n) a prime number?
False
Let p(u) = u**3 + 21*u**2 - 39*u + 16. Is p(-17) composite?
True
Let z be (0 - 6/4)*-2. Suppose 4*u = -z*f + 131, -3*u = -2*f - 0*u + 110. Is f composite?
True
Let h(j) be the second derivative of -j**4/6 - j**3/3 - 4*j. Let y be h(-3). Let z = -5 - y. Is z a prime number?
True
Suppose 0 = -3*c - 0*c + 12. Suppose -c = -3*g + g. Suppose -g*k + 12 = -62. Is k composite?
False
Let t = 25 - 31. Is 199 - (-1 + t/2) a composite number?
True
Let c(t) = 9*t - 1. Let j be c(4). Suppose -n + j = -0*n. Is n a prime number?
False
Suppose 0*k - 66 = -2*k. Is k a composite number?
True
Let z = 13 + 7. Let v = z - 8. Let f = 27 - v. Is f prime?
False
Let d be 4/18 + 43/9. Suppose 343 = d*q - 4*p - 0*p, -3*p = -q + 73. Is q a composite number?
False
Let r = 416 - -221. Let s = r + -426. Is s composite?
False
Is (-8)/20 - (-1177)/5 a prime number?
False
Let l(u) = u**3 + 7*u**2 - 10*u + 7. Let j(v) = -v**2 + 1. Let n be j(-3). Is l(n) a prime number?
True
Let x(z) = -48*z + 15. Is x(-9) prime?
False
Suppose 6*k - 5 = k. Let a(y) = 25*y**2 - 5*y + 2. Let u be a(4). Is (1 + k)/(4/u) a composite number?
False
Le