se
Let l(a) = 4*a - 5. Let p be l(2). Suppose 0 = p*j - 0*j + 21. Let x(c) = 3*c**2 + c - 9. Is x(j) prime?
True
Suppose -4*r + 5*w = -2*r - 22, 74 = 5*r - 3*w. Suppose 5*h + 0*h = -3*z + 33, 2*h - 18 = -2*z. Is 24/r*28/z composite?
False
Let a(x) = x**3 + 31*x**2 - 6*x + 89. Is a(-28) a prime number?
True
Suppose -6*f + 2*f - 2*s = 0, -24 = 4*f - 4*s. Is 743/5 + f/(-5) a prime number?
True
Let x(r) = 5*r**3 - 3*r**2 - 10*r**2 + 4 + 17*r**2 - 4*r. Let j(h) = h**3 + h**2 + 1. Let q(i) = -6*j(i) + x(i). Is q(-3) a prime number?
True
Suppose -3*j - 3 = 0, 3*i - 2*j - 24 = -7. Suppose -d + 1 = -2*d, i*d - 174 = -o. Is o a composite number?
False
Let w(g) be the third derivative of 47*g**5/60 - g**4/8 - g**3/2 - 3*g**2. Suppose 5*p - 13 = 4*x, -7 = -0*x + x - 5*p. Is w(x) a prime number?
True
Let b(x) = -x**3 + 3*x**2 + 5. Let h be b(3). Suppose 5*g = -3*v + 6793, -h*v + 3956 = 4*g - 1468. Is g composite?
False
Let k be (-2)/(-2 + (-6)/(-4)). Suppose -k*g + 8083 = r, 6888 = 3*g - 2*r + 812. Suppose 3*s - 4*s = 4*p - 509, -4*s - 2*p + g = 0. Is s composite?
True
Suppose 0*a - 28 = -4*a. Suppose -2*u = -4*g - 4, 0 = -3*u - 2*u + g + 19. Suppose u = t, 0 = 4*w - t - a - 13. Is w a prime number?
False
Suppose -5*h - 3*p + 2 = -p, 0 = 4*h - 2*p - 16. Suppose 6*n = n + 4*i - 2, -h*n = -i - 1. Suppose -y + n*s - 1990 = -5*y, -y = 3*s - 490. Is y composite?
False
Let s be (-3 + 9)*(-1)/(-2). Suppose 8 = -s*a + a. Is (520/(-12))/(a/6) prime?
False
Suppose 2*v - 29 - 43 = -q, 3*v - 70 = -q. Suppose q - 203 = -k. Is k a prime number?
True
Is (14/7 + -4)/((-2)/19319) composite?
False
Let z = 35062 + -19971. Is z prime?
True
Suppose 2594 = c + 4*m, 10404 = 4*c + 6*m - 4*m. Is c a prime number?
False
Let v = 10 + -10. Let b be v/((-1 + 2)*1). Suppose b = z + z - 902. Is z a composite number?
True
Let u(d) = 8*d - 6. Let w be u(3). Let j = w - 12. Suppose 0 = -2*q + t - j*t + 313, 4*q - 611 = -5*t. Is q a prime number?
True
Suppose -18*s + 17*s + 1224 = 0. Let g = s - 805. Is g a composite number?
False
Suppose 7 + 12 = -3*v - 5*u, 2*v = 2*u + 14. Is 4533/(-2)*v/(-3) a composite number?
False
Let z(r) = 2*r**3 - 5*r**2 - 14*r - 6. Suppose 15 = 3*a - 9. Is z(a) a composite number?
True
Suppose 11 = 3*g - 4. Suppose 2103 = g*m - 2*m. Is m a prime number?
True
Suppose 4*b - b + 135 = 0. Let c be ((-4)/6)/(5/b). Let y(v) = -v**3 + 7*v**2 + 7*v - 1. Is y(c) a prime number?
False
Let h be (2440/4)/((-2)/(-3)). Let v = h + -608. Is v a composite number?
False
Let r(q) = -2*q - 3. Let y be r(0). Is ((-61)/(-3))/(y/(-63)) a composite number?
True
Is 10564 - (-7)/(-21)*-9 a prime number?
True
Let k be (-2)/(-12) + (-2782)/(-12). Let w = k + -105. Is w a composite number?
False
Is (17 + -12 - 1) + 19 a composite number?
False
Let t = 1813 + 3218. Suppose 1244 - t = -7*o. Is o a composite number?
False
Suppose 4*r = -2*c - 266, -5*r - 526 = 2*c + 2*c. Let m = 208 + -24. Let n = m + c. Is n a prime number?
False
Suppose 0 = -6*l + 53071 - 20443. Is l composite?
True
Suppose 0 = -0*k + 6*k - 6. Let r(h) = 26*h - k - 4 + 6. Is r(2) prime?
True
Let h = -1 - -8. Suppose -h = -4*b + 17. Is (4 - (-119)/2)*b a prime number?
False
Let v be ((-4)/10)/((-6)/15). Let y = 85 + v. Let c = y - 49. Is c composite?
False
Let b be -8 - (-10965)/6 - 2/4. Suppose v + 3*z = 3005, 0 = -v + z + 4840 - b. Is v a prime number?
False
Let r(w) = -38*w + 28. Let k be r(-8). Is (-3)/(3/k*(3 - 5)) composite?
True
Let v(c) = 3*c**3 + 59*c**2 - 139*c + 6. Let q(g) = -g**3 - 20*g**2 + 46*g - 2. Let d(i) = -8*q(i) - 3*v(i). Is d(-21) a composite number?
False
Suppose -5*m - 110479 = -3*d, 8*d = 5*d - 5*m + 110519. Is d prime?
True
Let t(c) = -c + 6. Let h be t(3). Suppose 3*y + 7*s - 5*s = 15109, 0 = h*y - 3*s - 15129. Is y a prime number?
True
Suppose 33028 + 10943 = 5*g - 4*s, 8779 = g + 3*s. Is g a composite number?
True
Let s = -19 + 23. Suppose -2*l = h - l - 6297, -s*h = l - 25191. Is h/6 - 6/9 a composite number?
False
Suppose 3683 + 57353 = 4*f. Is f a prime number?
True
Let u(t) = -30*t + 11. Let b(j) = 4*j + 2. Let q(o) = 4*b(o) + u(o). Let x = 6 + -12. Is q(x) a composite number?
False
Suppose 4*z + 1390 = 3*n - 1328, 0 = 2*z. Suppose 14 - n = -2*v. Is v a prime number?
False
Suppose 3*s + f - 90957 = 9272, -3*s = 5*f - 100237. Is s composite?
False
Let r(o) = -28 + 4*o**2 + 6*o**2 - 4*o**2 - o**2. Is r(-17) a prime number?
False
Let b = -3260 - -5706. Suppose 0 = -3*r + b + 1592. Is r a composite number?
True
Suppose 467 - 6093 = -o + 3*l, 5*o + 5*l = 28210. Is o a composite number?
True
Let i(v) = 66*v**2 - 3. Let y(c) = -67*c**2 - c + 4. Let p(d) = 5*i(d) + 4*y(d). Let u = 32 - 34. Is p(u) a composite number?
False
Let r(d) = -2*d + 5. Let p(l) = -l. Let z(v) = -3*p(v) + r(v). Let m be z(-3). Suppose -5*h + 1766 = j, 0*h + 5*j = m*h - 701. Is h a composite number?
False
Let y = 801 - 1639. Let x = y + 1487. Is x a composite number?
True
Suppose 10*j + 446 - 10846 = 0. Is j/(-16)*1*(-2 + 1) composite?
True
Let s = -1725 - -2986. Is s prime?
False
Let o be -7*(0 + -2) + 1. Let m(z) = -4*z + 3*z + 9*z + o. Is m(14) a prime number?
True
Let s be (-1)/((1/111)/(3/9)). Let h = 56 + s. Is h a composite number?
False
Suppose -6*t + 7*t - 25 = 0. Suppose -986 = -3*g + t. Is g prime?
True
Suppose -5*z + 2 + 8 = 0. Suppose -z*s = -440 - 2862. Is s a composite number?
True
Suppose -6*q + h - 5319 = -8*q, 0 = -2*q + 4*h + 5314. Is q a composite number?
False
Is (-1061)/(6 - 95/15) composite?
True
Suppose 0 = -4*u + 2*l + 32, -3*u + 4*l + l + 38 = 0. Is (-36)/(-28) + u/(-21) - -630 composite?
False
Let f(l) = 38*l**2 + 48*l - 166. Let c(i) = -13*i**2 - 16*i + 55. Let r(z) = -16*c(z) - 5*f(z). Is r(6) composite?
True
Let c(y) = 4*y**3 - 2*y**2 + 2*y - 1. Let j = 9 - 12. Let z = 6 + j. Is c(z) composite?
True
Let b = 3584 + -643. Is b composite?
True
Let c be 1*(-4)/8 - (-2)/4. Suppose 2*p = 0, c = 4*b + p + 23 - 259. Is b a composite number?
False
Suppose -6*b = 4*f - b + 97, 0 = 2*f - 4*b + 16. Let t be (-104)/(-18) - 4/f. Suppose -t*k - 110 = -11*k. Is k a prime number?
False
Let b = -5 + 5. Suppose -2*o + 9 = -k, 6 = 4*o - k + 3*k. Suppose -5*i + 779 = n - 0*i, b = 2*n - o*i - 1532. Is n a composite number?
False
Suppose 0 = 4*d - l - 778, 0 = -3*l + 9 - 3. Let w be d/27 - 10/45. Is (0 + w/2)*158 a prime number?
False
Let h(z) = 8*z**2 - 5*z + 6. Let d be h(-12). Let r = d + -851. Is r composite?
False
Let p = -2964 + 31045. Is p a composite number?
False
Let c = 10570 - -3393. Is c prime?
True
Suppose 40*l = 3*l + 777037. Is l a prime number?
True
Suppose -2*r + 10 = 0, -5*n + 33402 = -n - 2*r. Is n a prime number?
True
Let b be 1/(4/35)*-12. Let o = 143 - 181. Let s = o - b. Is s a composite number?
False
Suppose -9*w + 23304 = -w. Suppose -2*m - 2*j + 2948 = 0, -6*j - w = -2*m - j. Is m a composite number?
True
Let k be (-46)/6 - 2/6. Let m be (-368)/(-64) + 6/k. Suppose m*r = 395 + 320. Is r a prime number?
False
Suppose 0 = -4*g + 10*g + 84. Let y(j) = -j**3 - 10*j**2 - 7*j + 5. Is y(g) prime?
True
Let c = -10 - 3. Let o(w) = w + 4. Let m be o(c). Let v = m - -142. Is v composite?
True
Suppose -407 + 5706 = y + 4*b, 4*y + 5*b - 21196 = 0. Is y composite?
True
Let h(i) = 840*i**2 + i + 2. Suppose 3*n - 2*j + 13 = -0*n, 3*n + j = 2. Is h(n) composite?
True
Let s(m) = m**3 - 11*m**2 + 3. Let n be s(11). Suppose q - 4*x = -6*x + 3, n*x + 8 = q. Is 412/20 + 2/q a composite number?
True
Let f(t) = t**2 + 3*t. Let o be f(-3). Suppose -2*i + 15 = 3*g - i, -4*i = o. Suppose -3*h + 94 = -4*s, -s + g*s = -16. Is h composite?
True
Is ((-512957)/(-62))/(1/2) composite?
False
Let s(w) = w**2 - w + 1. Let l(a) = 2*a**2 + 15*a + 11. Let t(c) = l(c) + 5*s(c). Is t(-7) composite?
True
Let m(f) = 17*f - 86. Let v be m(5). Let o be 1/(-2) - (-2)/(-4). Is (127 - v) + o/1 a composite number?
False
Suppose 0 = -254*f + 252*f + 10442. Is f composite?
True
Suppose -5*f - 5*z + 0 = 20, -2*z = -5*f - 20. Is 8/6*(-474)/f composite?
True
Let j be (-10)/(-3)*(-18)/(-15). Suppose -25*y - 735 = -32*y. Suppose j*z = 5*n + 819, z - 126 = -4*n + y. Is z a prime number?
True
Suppose 0 = -2*q - 5*h + 19511, 13385 = 3*q + 5*h - 15869. Is q prime?
True
Suppose -5*w - 74 = 3*l, 2*w - l = -w - 50. Let p be ((-546)/4)/(4/w). Is 8/(-12)*p