0 = -36. Suppose -t*f = -8*f - 3*w + 18, -11 = -3*f - w. Is 125*f - (4 + -6) composite?
True
Let q(k) = 18*k**2 - 3. Let y(u) = -u**3 - 2*u**2 - 3*u - 3. Let z be y(-2). Is q(z) a prime number?
False
Let f = -933170 + 2014473. Is f a composite number?
False
Let f = -194 + 209. Suppose 19*c - 6092 = f*c. Is c a composite number?
False
Suppose 5*v - 20 + 5 = 0. Suppose -v*x - 14*x = -25823. Let n = 2782 - x. Is n prime?
False
Suppose 3*b = 21 - 12. Suppose -3*w = -b*x - 6994 - 878, 2*w + 5*x = 5283. Is w a composite number?
True
Let j(l) = -35*l**2 + 2*l + 15991. Is j(0) a prime number?
True
Let x(u) be the first derivative of -3*u**5/20 - u**4/3 - u**3/6 - 3*u**2/2 + 22*u + 16. Let w(n) be the first derivative of x(n). Is w(-2) composite?
False
Let v(z) = 5*z**3 + z**2 - 8 + 3*z + 2*z**2 - 6*z**3. Let g be v(3). Is (-5 - g - -5)/(2/(-230)) prime?
False
Suppose -4*z - 93426 = 3*r - 317171, -5*r + 55932 = z. Suppose -25*b = -206438 - z. Is b a prime number?
False
Let s(q) = -6*q**3 - 2*q**2 - q - 3. Let l be s(-2). Is (-6 - l*-32) + 5 a composite number?
True
Let f = -27 + 23. Let t be 1/((-2)/8 + (-2)/f). Is ((-2)/(-6))/((t - 1)/2979) a composite number?
False
Suppose -2*n + 7966 = 2488. Suppose 4*g - 5433 - n = 0. Let y = 3626 - g. Is y composite?
False
Let a(x) = -7*x**3 - 11*x**2 + 26*x + 11. Let g(c) = -30*c**3 - 42*c**2 + 103*c + 43. Let d(f) = 9*a(f) - 2*g(f). Is d(-17) composite?
False
Let r(h) = 634*h**2 - 17*h + 119. Is r(8) prime?
True
Suppose -4*h = -2 - 6. Suppose a + 2 = -c - 2*c, -4*c + h*a + 4 = 0. Is 13641/9*(3 - (c + 0)) a prime number?
True
Suppose 5*o - 393 = -383. Let t(a) = 9639*a + 11. Is t(o) a composite number?
False
Suppose 3*l = 5*c - 113364, 5*l = -4*c + 10*l + 90686. Suppose 3*g + 3*w - c + 7758 = 0, g = -3*w + 4974. Is g prime?
False
Suppose 0 = -m - 142 + 148. Let h(n) be the first derivative of 28*n**2 - 5*n - 1. Is h(m) a prime number?
True
Let w(c) = 172*c + 2052. Let o be w(-7). Suppose 3*h = -3*q + 5133, h + 2 = -0*h. Let u = q - o. Is u a composite number?
True
Let u = -14 - -14. Suppose 9*o - 13*o - 24 = u. Let z(f) = 2*f**2 - 13*f - 1. Is z(o) a prime number?
True
Let f(n) = -2200*n + 10. Let p be f(3). Let m = p + 10633. Is m a prime number?
False
Let v(u) = 276*u + 122. Let b(w) = -275*w - 122. Let s(a) = -4*b(a) - 5*v(a). Is s(-24) composite?
True
Let i(w) = w**3 + 6*w**2 - 3*w - 15. Let j be i(-6). Is (10 + 5)/j - -3204 a composite number?
False
Suppose b = 5*m - 78921, -2*b = -3*m + b + 47355. Suppose 3*h - m = x, -5*x - 6 + 1 = 0. Is h a prime number?
True
Suppose 5*d = 4*j + 25939, -7*d = -3*j - 11*d - 19493. Let i = 22824 + j. Is i prime?
True
Suppose 3*n = -5*y + 94019, -5*y - 150396 = -5*n + 6329. Is n a prime number?
False
Let z be -1 + (-3 - 1) + 1736. Suppose 0 = -4*k - 5*i - z, 2*k + 2*i = -2*k - 1722. Let l = 922 + k. Is l prime?
False
Let u(y) = 65*y**3 + 13*y - 15*y + 6*y - 2. Let l be u(3). Is l + 3/((-18)/24) composite?
True
Let k(u) = 2*u**2 + 8*u + 11. Let g be k(-3). Suppose 3 = g*q - 17. Suppose -v + q*z = -83 + 12, -z - 202 = -3*v. Is v a prime number?
True
Let b be -2*3/((-12)/10). Let d be (10 - (-2 + 12))/((-3)/(-1)). Suppose d = -b*l + 547 + 3168. Is l composite?
False
Let t(w) = 187*w**2 + 252*w + 51. Is t(14) a composite number?
False
Suppose 10600749 = 48*c + 3431901. Is c a composite number?
False
Let s(r) = 311712*r**2 - 237*r - 238. Is s(-1) composite?
False
Suppose -4*b = -9*b + 20. Let w be ((-80)/44)/(42/(-231)). Is 6211/b*(w - 6) a composite number?
False
Let p be (9/(-3))/(3*(-5)/94500). Suppose -i + 4822 = 3*r, -5*i + 5190 = 5*r - p. Suppose -5*z + i = 4*s, 2*s + z - 1203 = s. Is s a composite number?
True
Let r(i) = 352*i**3 + 5*i - 4. Let p(k) = -k**3 - 45*k**2 - 43*k + 45. Let o be p(-44). Is r(o) composite?
False
Let r(m) be the third derivative of m**4/4 - 9*m**3/2 - 27*m**2. Let w be r(6). Is 23*28 + -6 + w a prime number?
True
Let t be (-4 + (-1)/1)*246/205. Is 30751 - 9/t*4 prime?
True
Let r = 104588 - 63849. Is r a prime number?
True
Let l = -1156 - -4836. Let i = l + 10101. Is i a composite number?
False
Suppose 15 = -4*a + 19, 6407 = 4*k - 5*a. Is k prime?
False
Let o = 35022 - -5793. Is 1*-1*o/(-45) prime?
True
Let q(b) = -1168*b - 105. Is q(-23) composite?
False
Suppose 0 = -4*i + 2*n - 6, i - 5*n + 2 = -13. Let h be i + -1 + 7*-38. Is -4 - (-5)/((-5)/h) composite?
False
Let x be (-3)/(((-1)/26)/(4/12)). Suppose x*a + 10 = 24*a. Let f(w) = 12*w**2 - 4*w - 11. Is f(a) a composite number?
True
Let u = -38080 + 67797. Is u composite?
False
Let u(v) = 28825*v + 881. Is u(24) a composite number?
True
Let v = 260 + -257. Suppose -3*p = 2*k + p - 5542, -3*p - v = 0. Is k composite?
True
Is (-2)/(-4) + (-3450387)/(-6) a composite number?
True
Let z(i) = -174*i + 17. Let q(p) = 353*p - 32. Let l(w) = -4*q(w) - 7*z(w). Let a be (-1 - 3) + 2 - 8. Is l(a) prime?
True
Suppose 1660540 - 261975 = -7*j + 42*j. Is j a prime number?
False
Let y = 215220 - 144797. Is y composite?
False
Let f(b) = 19*b + 9. Let k be -16 + (1 - 1) + 4. Let r(l) = -l**2 - 13*l - 8. Let z be r(k). Is f(z) composite?
True
Suppose 0 = s - 6*s + 505. Let d = -46 + s. Suppose f = d + 38. Is f a composite number?
True
Is (-127613)/(-9) - (-31)/(1395/(-10)) composite?
True
Suppose -1802*f - 1638389 = -1821*f. Is f composite?
True
Suppose 0 = -22*c + 1173193 + 322653. Is c a composite number?
False
Let k = -4 + -2. Let w(f) = -30*f**2 + 11. Let i(g) = -61*g**2 - g + 23. Let a(s) = 3*i(s) - 7*w(s). Is a(k) a composite number?
True
Let r(m) = -1437*m - 35. Let u be r(-2). Let t = u - 1920. Is t prime?
True
Let u = 19 + -16. Let b = 9 - 6. Suppose -3 = b*q - 2*q, 0 = 5*s + u*q - 386. Is s composite?
False
Let o = 0 + 0. Suppose 5*g = 30, -j - 9*g = -12*g + 14. Suppose o*l = -j*l, -a + 3*l = -3. Is a prime?
True
Let c(r) = r**3 + 21*r**2 + 6. Let a be c(-21). Suppose -a*h - 17*h + 337709 = 0. Is h prime?
True
Let p = -56 + 55. Let d be (-18)/(-9)*(p + 1 + 3). Suppose 123 = d*a - 249. Is a composite?
True
Let y be (-3)/(27/67356) - 3. Let p = 16476 + y. Is p composite?
True
Let o be 10/(-2) + (-47927 - (-24)/4). Let m = -25137 - o. Is m composite?
True
Let u = 15379 - -16360. Is u a composite number?
True
Suppose -w - 24 = -27. Suppose 0 = w*t, t = -0*r - 5*r + 14745. Is r composite?
True
Is (-2315812)/28*-7 - (1 - 1) a prime number?
False
Suppose 0 = -4*c, 2*b - 2*c - 12615 = -117. Is 1/7*(b - 40) a composite number?
False
Suppose 0 = 2*d - 4*n + 10, 2*n - n - 61 = 5*d. Let j(u) = u**2 - 5*u - 29. Let m be j(d). Suppose v - m = -w, -4*w - 341 = -2*v + 93. Is v prime?
False
Let p = 65916 - -66261. Is p a prime number?
False
Let c = 89527 - 55388. Is c composite?
True
Let v(p) = 2*p + 44. Let r be v(24). Suppose -7256 = -100*b + r*b. Is b a prime number?
True
Let k(j) = -10*j**2 + j + 2. Let n be k(-1). Is (-36)/n - (-80 + -5) a prime number?
True
Suppose 0 = -5*p + 15, -3*i + i = 2*p. Let n be (1370/6)/(500/165 + i). Suppose 2*q = -3*q + n. Is q composite?
True
Let p = 54532 - -51169. Is p composite?
False
Let y be (240/36)/(-20) - (-1)/3. Suppose 3*h - 26136 = -y*h - 3*n, 17422 = 2*h + 4*n. Is h prime?
True
Let v(l) = l**2 + 192*l - 954. Is v(133) composite?
True
Let m(v) = 10*v**2 - 41*v + 147. Is m(-32) prime?
True
Let z be (3 - 0) + -1 + 4. Let u be (1 + -4)*-2*z/12. Suppose 0 = u*x + x - 708. Is x prime?
False
Let x = 251383 - 165120. Is x a prime number?
True
Let r(c) = -267*c**3 - 2*c**2 - 4*c + 5. Let h(y) = -y**3 - y**2 + y - 2. Let v(a) = -h(a) - r(a). Is v(2) composite?
True
Let x(b) be the second derivative of -b**4 - 19*b**3/6 + b**2 - 22*b. Let s(h) be the first derivative of x(h). Is s(-7) a prime number?
True
Let l(x) = -3218*x + 16. Let g be l(-4). Is 320/64 - g/(-2) prime?
True
Let w(f) = 3589*f**3 - f**2 + 2*f - 19. Is w(3) composite?
True
Let w(g) = g**3 + 5*g**2 + 6*g + 14. Let p be w(-4). Suppose -p*j = 2*j - 1552. Is j a composite number?
True
Suppose 2*n + 2*r - 25 = -3*n, 2*n - 3*r + 9 = 0. Suppose f - 3345 = y, -y = -1 + n. Is f composite?
False
Let b be ((-90)/(-3))/(-5) + 7 + -2. Let d(w) = -4568*w**3 + w**2 - 3*w - 3. Is d(b) a prime number?
False
Suppose 6 - 1 = g. Suppose 4*r - 9379 = -0*r - n, 5*r + 4*n = 11721. Suppose -r + 299 = -l + w, -g*l - w = -10260. Is l a prime 