-4 - 1 prime?
False
Let b be -70*(3/(-15) - -1). Let h = b + 213. Is h a composite number?
False
Let w = -24 + 35. Suppose -2137 = -w*k + 1482. Is k a composite number?
True
Let a = -5844 + 8839. Is a prime?
False
Let l(o) = 4049*o + 2. Let h(x) = -8099*x - 4. Let r(w) = -2*h(w) - 5*l(w). Is r(-1) composite?
True
Let v be (-3 + 1)*(-4 - 0). Suppose -2*g - 2*l + 22512 = 0, -3*l + 22477 = 2*g - v*l. Is g a composite number?
False
Suppose 0 = -u + 2*u - 3*v - 4, -4 = -3*u + v. Let n(y) = 1 + 11*y - 13 - u + y**2. Is n(6) composite?
False
Let t(z) = -2*z**2 + z + 0*z**2 + 17*z**3 - 5*z**3 - 11*z**3. Let p be t(0). Suppose -q + 1 - 2 = 0, p = -3*y + 2*q + 473. Is y a prime number?
True
Let u(h) = h**2 + 11*h + 5. Let l(s) = s**2 + 10*s + 4. Let c(f) = 5*l(f) - 4*u(f). Let q be c(-5). Is q/(-10)*1*1082 composite?
False
Let x(k) = -k**3 + 10*k**2 + 4*k + 27. Let n be (1 - -1)/((-4)/(-20)). Is x(n) a prime number?
True
Let m be -99*4/(16/(-44)). Suppose -2*u + u + m = 0. Suppose -u + 115 = -2*k. Is k a prime number?
True
Is (-13)/(((-3)/(6828/4))/1) composite?
True
Suppose -l - 221 - 571 = -h, 2*h = -4*l + 1608. Suppose 3*x - 2*o - 3421 = h, 0 = -o - 1. Is x composite?
True
Let i be 3/9 + 8/12. Let c(a) = 748*a**3 + a. Let u be c(i). Suppose 4*k - 1777 = -u. Is k prime?
True
Suppose -2761 + 48594 = 5*m - x, -6*m - 3*x + 55008 = 0. Is m prime?
False
Let i be (-2196)/45 - (-2)/(-10). Let m = i + 140. Is m composite?
True
Let w = 40 + -29. Let x(f) = 2*f**2 - 16*f + 8. Is x(w) prime?
False
Suppose -3*t - 12 = -6*t. Suppose 2*a - 594 = -t*d, 3*d - 2*a - 512 = -63. Is d a composite number?
False
Let m(g) = -g**2 - 1. Let c be ((-8)/(-10))/(4/10). Let v be m(c). Let q(o) = o**2. Is q(v) composite?
True
Let h(n) = 3 - 6*n**2 - 91*n + 81*n - 4*n**2. Let p be h(-8). Let q = p + 1008. Is q composite?
True
Let i be ((-3)/21*10)/((-1)/21). Let w(m) = -m**3 - 6*m**2 - m - 2. Let r be w(-6). Suppose 0 = -q - 4*k + i, r*q + 0*q - 55 = -3*k. Is q prime?
False
Let q(f) = 74*f + 63. Is q(14) composite?
True
Let d = -7408 + 15737. Is d prime?
True
Let a(z) = -5*z - 3. Let j be a(-1). Suppose 0 = 5*u - y + 4097, u + j*u = 4*y - 2448. Let m = 1209 + u. Is m composite?
False
Let x(c) = -536*c**2 + 1. Let g be x(-1). Let r = g + 2508. Is r composite?
False
Suppose -2*s + 4958 = -4*a, 31*s + 3*a - 4958 = 29*s. Is s a prime number?
False
Let f(r) = r**3 - 8*r**2 + 5*r + 16. Let v be f(7). Suppose i = -v*i + 615. Is i prime?
False
Suppose -10*g - 68631 + 631961 = 0. Is g prime?
True
Let m(y) be the third derivative of 2*y**5 - y**4/12 - 5*y**3/6 + 18*y**2. Is m(3) prime?
True
Suppose 4*l + 8 + 8 = 4*j, 2*l = j - 7. Let s(n) = -26*n**3 - n**2 + 6*n + 4. Is s(l) a composite number?
True
Let r = 76 + -61. Is ((10/r)/(8/7356))/1 a prime number?
True
Let l(j) = -2*j + j - 5 + 0*j. Let a be l(-7). Suppose a*v = p + 293, 2*p = -2*v - 0*p + 308. Is v prime?
True
Suppose 2*a - 3*q - 13597 = 0, -3*a + 0*q = q - 20412. Is a a composite number?
False
Suppose -71735 = 20*k - 25*k. Is k a prime number?
True
Suppose 4*q + 4*u - 9176 = 27208, 10 = 2*u. Is q composite?
False
Let j = 693 + 2201. Is j a composite number?
True
Let a(r) = -142*r + 841. Is a(-55) composite?
True
Let r be (-4)/(180/184 - 1). Suppose -124 = -o - 4*z + 2*z, o - 145 = 5*z. Suppose 5*n - b = r - 4, -4*n - 2*b = -o. Is n a prime number?
False
Let u = 152 + -147. Let n(t) = 4223*t + 287. Let a(s) = 44*s + 3. Let h(q) = -287*a(q) + 3*n(q). Is h(u) prime?
False
Suppose 0 = 4*u - u - 6. Suppose 2*y - u = -3*h + 2, 12 = 4*h - 4*y. Suppose -w = -f + h*f - 136, -4*w = 5*f - 685. Is f a prime number?
False
Let i(m) = -2*m**3 + 9*m + 65779. Is i(0) a composite number?
True
Let u(z) = -9*z + 9. Let l(n) = 10*n - 9. Let x(m) = -4*l(m) - 5*u(m). Is x(6) a prime number?
False
Suppose -61733 = -87*l + 80*l. Is l composite?
False
Let z be -1555*7/(35/(-2)). Let t = z - 421. Let r = t + -82. Is r prime?
False
Suppose 49*g - 648680 = 9*g. Is g composite?
False
Suppose -3*c = -5*i - 13526 + 580, 3*i - 8599 = -2*c. Is c prime?
False
Let i(g) = -g**3 - 6*g**2 + 6*g - 8. Suppose -17 - 8 = -z. Suppose -z = 6*h - 3*h + 2*b, -10 = h - b. Is i(h) a composite number?
False
Suppose 4*g = 2*t + 9*g - 83505, 3*g + 3 = 0. Suppose t = -6*l + 13*l. Is l prime?
False
Let g = -54 + 57. Suppose g*i - 14*i = -935. Is i a composite number?
True
Let s = 2522 - -17757. Is s prime?
False
Let i(r) = r**3 - 10*r**2 + 80*r + 115. Is i(34) prime?
False
Suppose 0 = 4*i - p - 1642465, 2053076 = 5*i - 6*p + 3*p. Is i a composite number?
False
Let p = 1386 + 155. Is p prime?
False
Let m be ((-2)/6)/((-6)/(-36)). Let j = 5 + m. Suppose j*y = -2*y + 1285. Is y composite?
False
Let d be ((-1 + -2)/(-9))/(2/84). Is 8838/d + 16/(-56) composite?
False
Let t = -2143 + 978. Is (-6)/(-1)*t/(-10) a composite number?
True
Let a be (10/25)/((-2)/(-20)). Suppose 4*l + 8 = 0, 3*c - 1718 - 213 = a*l. Is c prime?
True
Let y = -5 + 19. Suppose -d - y = -4*m + d, 5*m - 7 = -d. Let k(o) = 227*o + 3. Is k(m) composite?
False
Suppose -2*v + 79 = 3*o - 412, -5*v - 860 = -5*o. Let k = o + -82. Is k a prime number?
False
Let b(l) be the first derivative of -l**5/20 - l**4/12 + 4*l**3/3 - 7*l**2/2 + 8*l - 2. Let w(i) be the first derivative of b(i). Is w(-8) a composite number?
True
Let y(q) = 2*q - 6. Let g be y(4). Suppose o - 4*u = 465, -g*o + 3*u = 3*o - 2274. Suppose t = o + 44. Is t a prime number?
False
Let p be -14*(-1 - 12/(-8)). Is 380/2 + p + 8 composite?
False
Suppose 2881*s - 293838 = 2875*s. Is s a composite number?
False
Suppose 18922 = 16*r - 74630. Is r prime?
False
Let k(w) = -103*w - 5. Suppose -10*v + 50 = -5*v. Let m be v/15*(-8 - -2). Is k(m) prime?
False
Let v = -24 + 28. Suppose -v*s - 1044 = -11464. Is s prime?
False
Let q = 13151 + 26338. Is q prime?
False
Suppose -k - 4 = -1. Let b = k + 5. Suppose 3*r - b*t - 769 = 0, -5*t + 776 = 3*r - 0*r. Is r composite?
False
Let n be -1407 - (-1 - (-6)/3). Let q = n + 2673. Suppose -c - q = -6*c. Is c composite?
True
Let n be (2 - 0)/2 + 235. Let c = n + -458. Let h = 319 + c. Is h composite?
False
Let o(a) = 113*a**2 + 20*a - 5. Is o(-6) prime?
True
Suppose 5*r = 3*r + 10. Suppose -r*d + 20 = -d. Suppose -5*x - 321 = -d*u + 739, 2*x = -2. Is u a composite number?
False
Let k(n) = -n**3 - 13*n**2 + 13*n - 12. Suppose 4*x - 3*b + 85 = -x, x = -4*b + 6. Let p be k(x). Is -1*((-294)/p - -4) a composite number?
True
Let u(k) = 59*k**3 - 2*k**2 - k + 1. Is u(5) a prime number?
True
Suppose 5*w + 6 - 36 = 5*t, -2*w - 2*t = -4. Suppose w*q = -k + 74, -3*k + 4*k = -5*q + 78. Is k a composite number?
True
Let p(m) = -m**3 + 18*m**2 - 16*m - 54. Is p(15) composite?
True
Suppose -13*h = 22*h - 370615. Is h a prime number?
True
Let w = 28292 - 18493. Is w a composite number?
True
Let a = 25277 - 9730. Is a composite?
True
Let k = 102 - 259. Let z = 834 - k. Is z composite?
False
Let d(p) = -8*p**2 + 14*p - 6. Let n(y) = 2*y**2 - 5*y + 2. Let l(v) = -4*d(v) - 11*n(v). Let c(h) = -h**2 - 5*h - 3. Let s be c(-5). Is l(s) composite?
True
Let p(x) = 674*x + 14. Let i be p(13). Suppose 0 = -12*v + 4*v + i. Is v prime?
True
Let a(h) = -h**3 + 11*h**2 - 6*h - 6. Let b be a(10). Is (4/(-6))/(b/(-3417)) a composite number?
False
Suppose 13*i - 4*i + 36 = 0. Is (-379)/2*(i + 2) a prime number?
True
Let q(y) = 784*y + 19. Is q(3) composite?
False
Is (9 + 1)/(-10)*(0 + -9967) composite?
False
Let o(z) = z**3 - 6*z**2 + 4*z - 7. Let c be o(6). Suppose 15*s = c*s - 6. Suppose -m - 4*l = -4*m + 439, -s*m + 2*l = -443. Is m a prime number?
True
Let j(l) = 11*l**3 - 11*l**2 + 2*l - 5. Suppose 111*q - 30 = 106*q. Is j(q) a prime number?
True
Suppose 36*h = 34*h + 13126. Is h prime?
True
Suppose 4*x - 2*d - 4226 = 0, 3*x + 4*d - 2432 = 721. Is x composite?
True
Let o(n) = 2*n**2 + 30*n - 1. Let k be o(-15). Let r(x) = 1214*x**2 + x. Is r(k) a prime number?
True
Let j(g) be the second derivative of 23*g**4/6 - g**3/3 - g**2/2 + 4*g + 3. Is j(-3) prime?
True
Let c(f) = -4*f - 17*f**2 - 176*f**3 + 11*f**2 - 4*f - 2 + 7*f**2. Is c(-3) composite?
False
Suppose -3*b + 2*a = -130167, -79*a = -74*a - 15. Is b composite?
False
Let u(q) = 2022*q**2 + 30*q + 1. Is u(1) a composite number?
False
Let z be 3*-9*-3 - (-5 - -5). Suppose 64 = -2*y + m, -3*m - 96 = 5*y -