 2*y. Let n = y + z. Is n composite?
True
Suppose -i = -0*i. Suppose -w + 661 + 531 = i. Suppose -w = -4*m - 156. Is m a prime number?
False
Let g(d) = 5*d**2 + 56*d - 170. Is g(-49) prime?
True
Suppose 37372 = 3*j + 3*l - 2*l, -4*l = 20. Is j composite?
True
Let v(f) = 273*f**2 - 4*f + 3. Suppose 5*n = 3*d + 2, -3*d + 0*n + 14 = -n. Let j be d*(-5)/(1*-15). Is v(j) composite?
False
Suppose -4*h = h - 20. Suppose -h*w + w = 75. Let z = 29 + w. Is z composite?
True
Suppose 3*j + 18*j = 147819. Is j composite?
False
Let b(q) = -367*q - 3. Suppose -10 = -4*f - f + 5*v, -5 = -2*f + v. Let l be b(f). Is 8/28 + l/(-7) a composite number?
True
Let z(m) = -m + 5. Let k be z(2). Suppose 2*r + 3*d + 40 = k*r, -4*d + 47 = r. Is r composite?
False
Let a(x) be the second derivative of -197*x**6/720 + x**5/120 + x**4/6 - 2*x. Let q(i) be the third derivative of a(i). Is q(-2) a prime number?
False
Let u(d) be the first derivative of -243*d**2/2 - 25*d - 51. Is u(-4) composite?
False
Let m(y) = -1177*y**2 + y + 1. Suppose 4*b - 3*b - 15 = -4*o, -2*b + 2 = o. Let s be m(b). Is s/(-3) + (-28)/21 a composite number?
True
Let o be (1 - 11)/(-2) - 3. Suppose -p = 3*w - 30, p = -o*w + 26 - 6. Let l(x) = 15*x - 5. Is l(w) a composite number?
True
Let x = 4121 + 3108. Suppose -2424 = -7*d + x. Is d prime?
False
Let g be -2 + 4 + -2 + 1992. Let l(c) = 1133*c + 4. Let s be l(-1). Let m = g + s. Is m a prime number?
True
Suppose -2*n = 0, 0 = -4*m + 5*m + 4*n + 662. Is (10 + -8)*m/(-4) a composite number?
False
Suppose -18 + 6 = 4*k - 2*r, -2*k - 5*r = -18. Let c(m) be the third derivative of -149*m**6/120 - m**5/60 + m**3/6 + 276*m**2. Is c(k) prime?
True
Let s = 1134 + -544. Suppose 0 = 5*l - 4437 - 8. Let d = l - s. Is d a prime number?
False
Let g = -17 - -10. Let n(o) = 8 - 19*o - 2*o**2 + 8 + o**2 - 26. Is n(g) a composite number?
True
Suppose 0 = -2*s + 4*w + 2082, 10*w - 11*w = -2*s + 2091. Is s composite?
True
Suppose -3*f = -3580 + 1345. Is f prime?
False
Let a(p) = -57*p - 3. Let k be a(4). Let m = k - -392. Is m a prime number?
False
Let q(y) = -y**3 - 4*y**2 + 6*y + 7. Let b be q(-7). Let i = -52 + 30. Let x = b - i. Is x a composite number?
True
Let k(w) = -2*w**3 - 17*w**2 - 24*w + 1. Suppose 4*c + 13 = -27. Is k(c) composite?
False
Suppose -o - o + 608 = 0. Suppose 26 - 10 = 4*t, -5*n - t = -o. Suppose -n - 18 = -3*a. Is a a composite number?
True
Suppose -5*r - 4 = -14. Suppose -r*j + 4*q = -316, -4*j + 2*q + 662 = 4*q. Suppose j - 1297 = -b - 2*c, 1133 = b - 5*c. Is b composite?
True
Let n be (2/6 - -1)/((-6)/(-9)). Suppose -n*s = -3*s + 1439. Is s a composite number?
False
Let j(q) be the second derivative of 27*q**5/20 + q**4/6 + q**3/2 - 5*q**2/2 + 3*q. Let s(i) be the first derivative of j(i). Is s(-2) a prime number?
False
Suppose -3*a - 15*a = -5958. Is a prime?
True
Let n = 12049 - 1176. Is n a prime number?
False
Is (1/(5/(-185)))/(3/(-111)) prime?
False
Let b = 10507 + -2134. Is b a prime number?
False
Let v(w) = 4*w**2 + 18*w + 6. Let k be v(-13). Suppose -5*u + 587 = 4*h, -3*h + k + 21 = 4*u. Is u a prime number?
False
Let s(f) = -f**2 - 13*f + 17. Let w be s(-14). Let z be (0 - (3 - w))*1. Suppose 3*r = -z*r + 438. Is r prime?
False
Suppose 17*i - 20*i + 27 = 0. Is i/(-15) - 6290/(-25) a prime number?
True
Let p = 2 + -14. Let l = 9 + p. Let o = l + 22. Is o prime?
True
Let b(r) be the third derivative of -r**6/60 + r**5/12 - 7*r**4/24 + 4*r**3/3 + 16*r**2. Is b(-6) a composite number?
True
Is (0 + (-5)/10)*-2426 prime?
True
Let w = -11 - -3. Let i(n) = -5*n + 3. Let p be i(w). Suppose 4*j - p = 3*j. Is j composite?
False
Suppose 2*k + 2*k + 5*r - 46859 = 0, 2*k - r = 23447. Is k a composite number?
True
Let z = 27 + -45. Let l be (z/(-4))/(21/(-28)). Let w(a) = -a**3 - 2*a**2 + 9*a + 7. Is w(l) composite?
False
Let k(m) be the second derivative of 5*m**4/12 - 5*m**3/6 + m**2/2 + 6*m. Is k(7) composite?
False
Is ((-2)/(-5))/(((-6)/451315)/(-3)) composite?
False
Let m = -11962 + 22671. Is m a composite number?
False
Suppose 3 = c + 5*n, -c = -5*n + 5 + 2. Let z be c/1 - (-2364 - 2). Suppose 5*o = -z + 6439. Is o a composite number?
True
Suppose -13*c - 511 + 30 = 0. Let s = 30 - c. Is s prime?
True
Let w be (-2)/(-4) - (-150)/20. Suppose 0 = 9*b - w*b + 5. Let p(z) = z**3 + 8*z**2 + 8. Is p(b) a composite number?
False
Let s(r) = 10*r**3 - 55*r**2 + 30*r - 30. Let b(n) = 7*n**3 - 37*n**2 + 20*n - 20. Let l(i) = 7*b(i) - 5*s(i). Is l(15) composite?
True
Let b be (-16)/(-24) + 20/(-3). Let g be ((-10)/b - 1)*2361. Suppose 0*r - 2*r = -g. Is r prime?
True
Let j = -4 - -8. Let r(y) = 6*y**2 + 5*y - 6. Let o be r(j). Suppose 3*q - 7*p - 165 = -2*p, 2*q - 4*p - o = 0. Is q a composite number?
True
Let b(t) = -12*t. Let z be b(-2). Let q = z + -17. Suppose -1855 = -q*c + 2*c. Is c composite?
True
Let f = 3346 - 1193. Is f composite?
False
Let l(w) = -93*w - 1. Let r = 64 + -66. Is l(r) prime?
False
Let h = 3403 + 5674. Is h prime?
False
Suppose -r + 3*o + 2*o = -79, -3*o + 158 = 2*r. Let u = r - 24. Is 3*((u - 4) + -4) composite?
True
Suppose 2*l = r + 1 + 6, 0 = -2*r + 2. Suppose 12 = l*t - t. Suppose -t*g + 5*z = -892, 0 = -2*g + 3*g - z - 223. Is g composite?
False
Let t be (-4)/10*(-40)/8. Suppose t*l + 2*h - 969 = h, 0 = 4*h + 20. Is l composite?
False
Let g(f) = f**2 - 6*f + 1. Let k be g(6). Let t(m) = 290*m + 3. Is t(k) a composite number?
False
Let v(w) = 52*w - 5. Let h(p) = -p**2 + 2 + 7*p + 0 - 10. Let k be h(4). Is v(k) a composite number?
True
Suppose -4*j + 14 = -3*j. Let x = j - 13. Suppose k + x = 12. Is k prime?
True
Suppose -6*j = 3*j - 2007. Is j a prime number?
True
Let h be -3 - (3 - 11) - (-4 - -1). Suppose h*x = 6*x + 334. Is x a composite number?
False
Let j(m) be the second derivative of m**2/2 + 2*m. Let p(q) = -q**3 + 12*q**2 - 13*q - 10. Let s(z) = j(z) - p(z). Is s(11) a prime number?
False
Let d(o) = -4*o**2 - 11*o + 3. Let j(l) = 2*l**2 + 6*l - 1. Let r(k) = 4*d(k) + 7*j(k). Let x be r(4). Let a = 94 + x. Is a a composite number?
False
Let z = -21702 - -33419. Is z prime?
True
Let v = -1398 + 13637. Is v composite?
False
Is (-2 - 0)*144573/(-66) prime?
False
Let h = 5980 + 1129. Is h composite?
False
Suppose 8*y - 4*y = -2*p - 16, -p = 3*y + 11. Is (-7 + 8 - 190*p) + -2 prime?
True
Let v(r) be the third derivative of -r**5/15 + r**4/4 + r**3/6 + 4*r**2. Let m be v(5). Is 11/((12/m)/(-4)) composite?
True
Let y(l) = 72*l - 13. Is y(15) a prime number?
False
Let l = 185265 - 124174. Is l composite?
False
Suppose 2*i + 5*v = 5831, -2*i + 2431 = -4*v - 3355. Is i composite?
False
Let i(v) = -v + 17. Let h be i(14). Suppose y + 0*a + 2*a = 120, -3*a = h. Is y composite?
True
Let i = 39 - 73. Let n = -31 - i. Suppose 0 = -v - n*v + 4*t + 224, 60 = v + t. Is v a composite number?
True
Suppose 0 = -4*g - 844 - 476. Let b = 2873 - g. Is b prime?
True
Let o(v) = 35*v**2 - 3*v**2 - 29*v**2 + 72*v**2 - 5 + 4*v. Is o(6) prime?
True
Let x(k) = k**3 - k**2 - 4*k. Let f be x(-2). Let u(g) = -1 + g**3 + 0 + 3*g**2 + g**2 - 4*g. Is u(f) a composite number?
True
Suppose -13*h + 0*h + 11843 = 0. Is h composite?
False
Let j(w) = 5 + 12 - 15 + 51*w + 5. Is j(8) prime?
False
Let p(b) = 259*b**2 - 5*b + 17. Is p(3) composite?
False
Let d be 2*(-3)/(-6) + 0. Suppose -2*f - 133 = -d. Let g = -20 - f. Is g composite?
True
Suppose 4*w = q + 5, 7 + 3 = 5*w. Let i(l) = 100*l - 7. Is i(q) a prime number?
True
Let g(b) = -b**2 - 9*b + 1. Let q be g(-10). Let u be q/(-2) - (-3)/(-2). Suppose -4*v = 2*z - 98, u*z - 5*v + 96 = 5*z. Is z prime?
True
Suppose 0 = 4*h + y - 26400, 401*h - 404*h - 5*y + 19817 = 0. Is h a prime number?
True
Let o(s) = 42*s**3 + 23*s**2 - 5*s + 27. Is o(11) a composite number?
False
Suppose -2*m = 3*k - 413, -5*m = -k - m + 147. Is k prime?
True
Let z be ((-36)/(-3))/(3/116). Suppose 2*m - 302 = 3*s - 84, 0 = 4*m + s - z. Let d = m + 54. Is d composite?
True
Let z(p) = 149*p**2 - 7*p - 1. Suppose -q + 2 = -5*o + 4*o, 2*q = 3*o + 9. Is z(q) composite?
False
Let u be -4 + -6*10/(-15). Suppose 0 = 2*t + t + 5*i - 629, 2*i - 8 = u. Is t a composite number?
True
Let y(m) = -m**3 - 2*m**2 + 5*m - 7. Let q be y(-4). Suppose q*v - 677 - 918 = 0. Is v a composite number?
True
Suppose -d + 5*a + 809 = -1182, 0 = -4*d - 3*a + 8079