8, -4*x - 114 = -s. Is s a prime number?
False
Let n = 12996 + -2911. Is n prime?
False
Let y(r) be the second derivative of 4*r**5/5 + r**4/4 - 4*r**3/3 - 5*r**2/2 + 11*r. Is y(6) composite?
False
Is ((7 + -8)/1)/(1/(-1693)) a prime number?
True
Let g be (746/6)/(-2*(-5)/30). Let u = 0 + 5. Suppose 4*k - k - 2*b - g = 0, -u*b = -3*k + 361. Is k a prime number?
True
Let x(r) = r + 8. Let u be x(-4). Suppose 0 = -5*d - h + 1652, d = -u*d - 5*h + 1640. Is d composite?
False
Let q(l) be the second derivative of -l**4/4 + 419*l**2/2 - l. Let m(t) = -t**3 + 4*t**2 - 3*t. Let i be m(3). Is q(i) a composite number?
False
Let u(c) be the second derivative of -1/12*c**4 - c**3 - 5*c + 5/2*c**2 + 0. Is u(-5) prime?
False
Suppose -1 = -w + 17. Suppose 4*t + 0*d - w = -d, 2*t = 3*d + 16. Suppose -2*i - t*m + 143 = 0, -3*i + 0*m = 4*m - 211. Is i a composite number?
True
Let u be (4 + -3)/(10/(-110)). Let j(l) = 5*l**2 - 13*l**2 - l**3 + 4*l - 4 + 2*l. Is j(u) composite?
False
Let z(b) = b**2 - 7*b + 5. Suppose -c + 3*n = -2*c + 24, -4*n = 3*c - 52. Is z(c) a prime number?
False
Let m(q) = -q**2 + 16*q - 15. Let a be m(15). Suppose a = 2*z + 2*z - 6932. Is z a composite number?
False
Let a = 4100 + -2913. Is a prime?
True
Let h = 1824 + -763. Is h composite?
False
Suppose -2*b + b + 4 = -c, -5*c = 2*b + 13. Let l = 6 - b. Suppose 0 = l*d - 944 - 3591. Is d prime?
True
Suppose 3*y + 5*h - 244 = 4986, -1746 = -y + h. Let v = 1408 + y. Is v prime?
False
Let a = 27 + -16. Let x = a - 15. Is 3 - (3 + x - 5) prime?
False
Suppose 6*i + 29 + 91 = 0. Let m be 109*2 + 20/i. Suppose -3*c + 74 = -m. Is c prime?
True
Let r(w) = w**3 + 7*w**2 + 5*w + 20. Let a(y) = -5*y**3 - 29*y**2 - 20*y - 80. Let b(h) = -2*a(h) - 9*r(h). Is b(15) a prime number?
False
Let h = 796 + -426. Let n = -185 + h. Is n a prime number?
False
Let z(a) = 13*a**3 + 6*a**2 - 3*a - 3. Is z(4) composite?
True
Let q be 4 + -6 + (1 - -1). Suppose q = -s + 13 + 174. Is s a prime number?
False
Suppose 0 = -4*o + 3 - 23, c - 10 = 2*o. Is (c - 3) + 4527 + 5 prime?
False
Let n(f) = -75*f - 1. Let z = -75 - -54. Let j = -25 - z. Is n(j) prime?
False
Suppose 63*s = 70*s - 63763. Is s a prime number?
True
Suppose 4*t - 5*y + 13 = 0, -34 = -2*t + 6*t + 2*y. Let q = 5 + t. Is (-738)/(-4) + q/(-4) prime?
False
Suppose 0 = 15*k + 440 - 1805. Is k prime?
False
Let m(v) = v**2 - 6*v + 8. Let i be m(4). Suppose i = -5*p + 736 + 509. Is p composite?
True
Let s = -39 + 227. Is (-5)/(-2)*s/5 a prime number?
False
Let i(f) be the third derivative of -f**6/120 + 2*f**5/5 + f**4/8 + 5*f**3/6 + 14*f**2. Is i(24) prime?
False
Let c be (6 + -1)/5 - -7*2. Let d(q) = -14*q**3 + 34*q**2 + 15*q + 46. Let x(s) = -5*s**3 + 11*s**2 + 5*s + 15. Let p(a) = 4*d(a) - 11*x(a). Is p(c) composite?
True
Suppose -25*n + 18270 = 5*d - 30*n, -5*n - 7323 = -2*d. Is d a prime number?
False
Let x(w) = -427*w**3 + w**2 + 1 - 2*w - 10*w + 14*w. Let q be x(-1). Suppose 2*l + k - 423 = 0, -q = -0*l - 2*l - 5*k. Is l composite?
False
Is 4/(-1) - (7 + 111*-14) prime?
True
Let q = 3376 - -23973. Is q a prime number?
False
Let z(m) = m**3 - 4*m**2 + m - 4. Let v be z(4). Suppose 2*t - 16 + 4 = v. Is (-7911)/(-18)*4/t prime?
True
Let g(n) = -254*n**3 + 6*n**2 - 7*n + 10. Let r be g(-6). Is r/55 - (-6)/10 prime?
False
Suppose r + 4*r - 935 = 0. Suppose -4*o - 4*g = -208, -5*o + o = -3*g - r. Is 1871/7 - 14/o prime?
False
Let o(a) = -4*a - 5 + 8*a - a. Is o(16) composite?
False
Let r be -1 - (-7)/((-21)/(-12)). Suppose -2*p - 4*x - 20 = 0, -r*p - 2*p - 10 = 2*x. Suppose -8*b + 910 + 282 = p. Is b composite?
False
Let s(g) = g**3 - 9*g**2 + 14*g + 6. Let y be s(10). Let i = 13 - 8. Suppose 0 = -i*d + r + 194 + y, 0 = 5*d + r - 450. Is d composite?
False
Let m(q) = 9*q**2 + 4*q + 6. Let v(y) = -y + 1. Let l be v(8). Is m(l) a prime number?
True
Let z(m) = m**3 + 23*m**2 - 17*m - 68. Is z(15) a composite number?
True
Is (-1)/3 - (-519834)/63 composite?
True
Let a(x) = x**2 - x - 2. Let d be a(3). Let n(s) = 157*s - 5. Let w(i) = -314*i + 11. Let m(h) = 13*n(h) + 6*w(h). Is m(d) prime?
False
Let o = 0 + 6. Suppose x - o = -2*r, 3*x - 2*x = -r + 4. Is 36 + 1*(3 - x) a prime number?
True
Suppose 3533 = 3*l - 4543. Suppose 2*x + j - 681 = 665, -5*j + l = 4*x. Is x prime?
True
Suppose -9*o + 6*o + j + 56226 = 0, 5*j - 56226 = -3*o. Is o a composite number?
True
Let n(f) = f**2 + 15*f + 20. Let c be n(-14). Is 12/c*(-1 - 822/(-4)) a prime number?
True
Suppose -20*j + 29516 = -246924. Is j a composite number?
True
Suppose a + 1084 = -5*n + 5425, 2*a - 3*n = 8630. Is a a composite number?
True
Let y(b) = 8*b**2 - 153. Is y(-17) a composite number?
True
Suppose 5*u + 3*u - 16 = 0. Suppose -4*t + 3*r = -14624, 2*t + u*r - 7298 = -0*r. Is t a prime number?
False
Suppose -2926*m + 82791 = -2917*m. Is m prime?
True
Let s be -1 - (-15)/5 - 2. Suppose s = 2*a - a - 211. Is a prime?
True
Let o = 313246 + -221865. Is o prime?
True
Suppose 4*y + 1078 + 378 = 0. Let q = 749 + y. Suppose q = 2*d + z, -4*d - 4*z = -7*d + 561. Is d prime?
True
Let b(x) = -3*x - 9. Let o be b(-3). Suppose 4*u = 6*j - j + 3846, o = -2*u - j + 1916. Is u a prime number?
False
Let v be (-130)/(-39)*(-72)/(-10). Is 6*1090/16 + 6/v a composite number?
False
Let l(g) = -g**3 + 5*g**2 + 7. Let k be l(5). Suppose 2211 - 7874 = -k*z. Is z a prime number?
True
Let o = 1810 + -1023. Is o a composite number?
False
Let f(c) be the second derivative of c**5/20 - c**4/12 + 131*c**2/2 + 16*c. Suppose -5*u = k + 4*k + 10, 0 = -4*k + 3*u + 6. Is f(k) composite?
False
Let y(p) = 2067*p**2 + 55*p - 295. Is y(5) prime?
False
Let l(b) = 146*b**2 - 5. Let o be l(-4). Suppose -4*p = 5*p - o. Is p a composite number?
True
Let d(y) = 2*y**2 + 49*y + 39. Let w be d(-24). Let p(b) = -3*b**3 + 2*b**3 + 14*b**2 - 13 + 13*b + 8*b. Is p(w) composite?
True
Let a = 58 + -480. Is (-1 - (-10)/5)*a/(-2) a composite number?
False
Let h be (-1 + -1 - -8) + -1. Suppose 12 = -2*b + 5*u - 5, h*b = -u - 2. Is b*(-1*253 - -2) composite?
False
Suppose -10*h - 84 = -8*h. Let v = -23 + h. Is v/(-3) + 6/(-9) composite?
True
Suppose -5*d - 2*m = 22, -3*m = -d - 3 + 2. Is 236*46/(d*8/(-4)) a prime number?
False
Let p be (-4)/(-10)*(4 + 16). Let t(j) = j**2 - 9*j + 6. Let w be t(p). Is (-4)/(-4) - (w + -116) composite?
True
Suppose -26550 = -4*a + m, -m = 2*a - 4*m - 13280. Is a prime?
True
Let f(y) = -2*y**3 - 7*y**2 + 10*y - 8. Let o be f(-7). Suppose 0*h + o = h. Is h composite?
True
Let d(b) = -85*b + 15. Let x = 53 - 57. Is d(x) composite?
True
Suppose 3*v = a + 17, 5*v - 20 - 3 = -a. Let g(z) = -z - 4*z + z**2 + v*z + 338*z**3 - z + 1. Is g(1) a prime number?
False
Let v be 18/27 + (-28)/(-3). Let z be v/45 - 38/9. Is (-1940)/(-12) - z/(-6) a composite number?
True
Let y(u) be the second derivative of 71*u**4/12 - u**3/3 - 7*u**2/2 - 8*u. Let q be y(-7). Is (q/(-9))/((-8)/12) a composite number?
True
Suppose 2*l + 3*u = -27, -2*u - 11 + 28 = -l. Is (-5856)/l - 6/(-10) composite?
True
Let o(h) = -17*h**3 + h**2 - h + 3. Let z be 4/(-3) - 2/3. Is o(z) prime?
False
Let g(n) = 9*n**2 - 4*n + 12. Let z = 22 + -27. Is g(z) prime?
True
Let a = -77 - -81. Suppose a*c = 3*g - 153, -c = 2*g + 3*g - 278. Is g composite?
True
Suppose 2*s = -z, 5*s = 3*z + 2*s + 27. Is (-3)/2 + (-591)/z prime?
True
Let f(k) = -62*k**3 + 8*k**2 - 4*k - 55. Is f(-6) prime?
True
Let u be 4/(-14) - 2*16/(-14). Suppose -4*d + 1800 = 4*z, z + 1346 = u*d + d. Is d a composite number?
False
Let k be 6/(-24) + (-1)/(-4). Suppose -t - 6 - 68 = k. Let z = t - -165. Is z prime?
False
Let c(h) = -h**3 + 13*h**2 + 14*h. Let d be c(14). Suppose 6*b - 7*b + 113 = d. Is b a prime number?
True
Let t be -2*(-1)/4*0. Suppose -658 = -t*s - s + 5*p, -5*p - 1341 = -2*s. Suppose -4*i + 345 = -s. Is i prime?
True
Suppose p - 16 = -5*a, 2*a - 17 - 3 = 3*p. Suppose -2*h - 5*v = -2372, -h + 926 = a*v - 260. Is h composite?
True
Let b = -2066 - -5197. Suppose -749 + b = 6*o. Is o composite?
False
Is (-3404)/(-2) - ((-54)/(-9) - 10) a composite number?
True
Suppose 26338 = 5*y - 0*w - 2*w, 4*y + 4*w = 21048. Is y a prime number?
False
Is (-272)/(-528)*8838 - 2/(-22) a prime number?
False
Let s = 18 - -177. Let m be 8/(-2)*s/(-2). Suppose -4*k + 3*f = -k - m, f - 136 = -k. Is k composite?
True
Let