 = -870. Is b a composite number?
True
Let w(i) be the third derivative of 7*i**5/12 - i**4/3 + 22*i**3/3 - 54*i**2 + 2*i. Is w(-15) composite?
False
Let z = 321 + -306. Suppose 20*w + s = z*w + 76141, -w + s = -15233. Is w composite?
True
Suppose 0*u = 2*u - 69474. Suppose 4888 = 4*z + 4*n - 22880, 4*n + u = 5*z. Suppose -5*h + z - 1240 = 0. Is h a composite number?
True
Let b be (1 - 4/2)*(129 - 149). Suppose d = 2*s + 9321, -b*s = -19*s - 3. Is d prime?
False
Suppose -h + 251 = 5*m, -h - 2*m = 5 - 259. Let g = 657 - h. Suppose -2*k - 5*s = -168, -3*s = -k + 6*k - g. Is k prime?
True
Let b be (-22)/(-1)*(-46954)/(-68). Let p = b + -9720. Is p prime?
True
Let a be 3/12 - (-5934)/8. Let h(n) = n**2 - 61*n - 1137. Let o be h(-15). Suppose 0 = -5*f - 15, 0*v - o*f + a = v. Is v a prime number?
True
Let w(d) = -5*d**2 + 11*d - 16. Let o be w(-17). Let i = -1169 - o. Is i composite?
False
Let b be 5*(-4 + (-111)/(-15)). Let r(a) = 5*a**2 - 33*a + 23. Is r(b) prime?
True
Let g(i) = -71*i**3 + 8*i**2 - 2*i + 30. Is g(-7) prime?
False
Suppose 0 = -2*v + 7 + 31. Let d(t) = 7*t - 10*t**2 - 7 - v*t - t**3 - 11*t - 30. Is d(-16) a prime number?
True
Let j(k) = -11*k**2 + 63*k + 66. Let t be j(-29). Let w = 25795 + t. Is w a composite number?
False
Let c(a) = a + 54. Let i be c(-15). Let h = -38 + i. Is (2259/(-36))/(h/(-4)) composite?
False
Suppose 2*f + 1 + 3 = 0. Let b be f/12 - (-114)/36. Suppose 2*q - 4*s + 5*s - 506 = 0, q = b*s + 260. Is q a prime number?
False
Let o(m) be the third derivative of 5*m**5/4 - m**4/4 + 19*m**3/3 - 148*m**2. Is o(5) prime?
False
Let x be 18/3 + -1 + 0. Suppose -5736 = -x*p - 176. Suppose 3*m - 550 = p. Is m composite?
True
Let x(a) = 30*a**3 - 24*a - 2. Let y be x(5). Let j = y + -2451. Is j a prime number?
False
Let o be ((-10)/(-6))/(35/105). Let g(x) = 13*x**3 - x**2 + 6*x - 7. Let b be g(o). Suppose -99*k - b = -102*k. Is k prime?
True
Let r = 166 + -115. Let s = 1866 - 1582. Is s/6*r/34 a composite number?
False
Suppose 5*n = -10, 5*s - 29336 = -2*n + 51655. Is s a composite number?
True
Let s be -4*(-33)/(-18)*15. Let v(r) = 12*r**2 - 11*r + 81. Let u be v(4). Let k = s + u. Is k a composite number?
True
Is 10033*((-13)/(-11) + ((-12)/66)/1) a prime number?
False
Let d(x) = x**2 + 8*x + 8. Let u be d(-6). Let c be (-48)/(-60)*(-122270)/u. Suppose -4*n + 3*l = -2*n - 9769, 5*n = -3*l + c. Is n composite?
False
Let g(d) = d**2 + 8*d + 20. Let j(p) = -2*p**2 + 27*p - 18. Let w be j(13). Let n be g(w). Suppose -n*y + 9728 = -1287. Is y prime?
True
Let n(b) = -19*b**3 - 6*b - 11. Let h(y) = y**3 - y**2 + 5*y. Let x(i) = h(i) + n(i). Let r(q) = -7*q**2 + 1. Let o be r(1). Is x(o) prime?
True
Let r be ((-30)/15)/(2/(-15284)). Suppose 3*s - 7*s + r = 0. Is s composite?
False
Let r(i) = 1703*i**2 - 321*i + 7. Is r(3) a prime number?
False
Is -6 + 10 + (131670 - -3) - (4 + -8) composite?
True
Let g be (-24)/3*1/(-2). Suppose 0 = -b + g*n + 8, b + 4*b + 4*n = 16. Suppose 0 = -3*z + 4*t + 459, -z + 143 + 18 = -b*t. Is z prime?
True
Suppose 2976 = 12*g + 83280. Let h = -3271 - g. Is h a composite number?
True
Let m = -29 - -13. Let q be m/5 - -6*12/(-90). Let a = q - -18. Is a a composite number?
True
Suppose 36*c + 5*v - 1808347 = 34*c, 2712555 = 3*c - 4*v. Is c prime?
True
Let i(u) = 253*u**2 + 45*u + 93. Let a(z) = 64*z**2 + 11*z + 23. Let m(g) = 13*a(g) - 3*i(g). Suppose l = 4*l - 33. Is m(l) composite?
False
Let b(h) = -127*h - 6. Let r(v) = -508*v - 25. Let w(q) = 9*b(q) - 2*r(q). Let g be w(10). Let m = g - -1837. Is m a composite number?
False
Let i = -510 + 516. Suppose -i*h = -15*h + 114867. Is h composite?
False
Let x(a) = -507*a**3 - 6*a**2 + 14*a + 1. Is x(-4) prime?
True
Let b = -249 - -257. Suppose 0 = 5*g - b*g + 20403. Is g prime?
False
Is (-219574)/(-30) + (-3)/(4 + 259/14) prime?
False
Suppose -3*w - 5*o + 62295 = 0, -o = 10*w - 7*w - 62307. Suppose -20780 = 6*h - 7*h - 3*x, -h + w = x. Is h a composite number?
True
Let n be 4*(-7)/(-49)*7. Suppose 11824 = 12*t + n*t. Is t prime?
True
Suppose 52 - 140 = 4*s + 4*a, -3*s + 2*a = 76. Let t be (43338/9 - 2) + (-16)/s. Suppose 3*v + 6031 = 5*r, -4*r + 0*r = 3*v - t. Is r prime?
False
Let p(a) = 127031*a**3 + a**2 + 60*a - 61. Is p(1) prime?
True
Let f(n) = 557*n**3 + 2*n**2 + 72*n + 49. Is f(8) composite?
False
Let w be (3/9)/(2/18) + 0. Suppose 144 = 2*g + 5*u, -w*g + 0*u = -5*u - 266. Suppose 5*o = -5*t + 5995, -3*t + g = -2*o + 2480. Is o a prime number?
False
Let o(u) = -394092*u - 3353. Is o(-2) a composite number?
False
Let i = -39 - -44. Suppose 4280 = -3*m - i*m. Let x = 914 + m. Is x a prime number?
True
Suppose 2*m + 5*u = 53, 0*m - 2*m = -u - 35. Suppose m*o = 7*o - 36. Is o - (5062/(-12) + (-2)/12) composite?
False
Suppose w - 2 = 2*w, -4*r - 3*w + 881858 = 0. Is r a composite number?
True
Let r = 800986 + 52519. Is r prime?
False
Is (6 - 34/6)*99402 + 7 + -4 a prime number?
False
Suppose -110872*j = -110855*j - 870927. Is j a composite number?
True
Suppose 20 = -2*n + 7*n. Suppose 4*l + h - 6166 = 0, -l + n*h + 1550 = -0*h. Suppose 0 = -8*c + 12046 - l. Is c a prime number?
False
Suppose -3*w - 26 = -2*i, -3*i + i + w = -30. Let o be (0 - 9130/(-8))/(4/i). Suppose 4*g - z - o = 0, -3*g - 2*z = -0*z - 3421. Is g prime?
False
Let n = 47052 - 30319. Is n composite?
True
Let z(t) = -t**3 + 5*t**2 - 5*t + 2. Suppose -u = -3*x - 2*u + 9, -x = 3*u - 11. Let o be z(x). Suppose -4*i + 35816 = -4*c, -o - 2 = 2*c. Is i a prime number?
True
Is (-107805)/(-195) + ((-7)/(-182))/((-2)/(-8)) a composite number?
True
Suppose -2*y + 1827260 = -3*t, 888*y - 893*y = 4*t - 4568081. Is y a prime number?
False
Let v(k) = 395*k**2 + 105*k + 341. Is v(-54) a prime number?
True
Let s(w) = -w - 18. Let l be s(-8). Let p be (-15)/(-20) - l/8. Suppose p*x = -4*q + 270, 5*x - 469 - 231 = -5*q. Is x a prime number?
False
Suppose 0 = 3*i - 3*w - 124539, 4*i = -0*w - 4*w + 166052. Suppose -13*f - 1330 = -i. Is f a prime number?
False
Is (2 + -3)/(37/(-4232245)) a prime number?
False
Let m(h) be the second derivative of -43*h**3/6 - 20*h**2 - 40*h. Is m(-9) composite?
False
Suppose -d = -5*p + 3150554, -1890345 = 12557*p - 12560*p + 2*d. Is p prime?
False
Suppose 0 = -5*y - 2*i + 69987 + 36125, -i - 106124 = -5*y. Suppose q + 4*c - 5321 = 0, 45*q + c - y = 41*q. Is q a prime number?
False
Let m be -2 + -1 + -3 + 172714 + -4. Suppose m = 7*p + 5*p. Is p/20 + 6/(-10) a composite number?
False
Let l be ((-24)/(-60))/(1/5). Suppose -78 = -5*s + 4*q, l*s + 2*s = q + 58. Is 14/s - (-506)/2 a prime number?
False
Suppose -4*t + 23 = -0*u + u, -2*t = -5*u + 5. Suppose -5*l - u*k = -7 - 1, k - 1 = 0. Is l/(3/663)*(-1 - -2) a composite number?
True
Suppose 3*p + 276*k - 3095257 = 275*k, -2*p = 4*k - 2063498. Is p composite?
False
Let q = 2373 + -2354. Is q a composite number?
False
Suppose 0 = 5*a + 4*r - 8, -4*a - 3*r + 1 + 6 = 0. Suppose 0 = -y + a*d - 3148, -3*d + 9471 = -y - 2*y. Let f = y - -4677. Is f prime?
False
Suppose -w = -3*b + 8, -4*w - 4 = -w - 4*b. Suppose 0 = 2*d - 3*k + 3, 2 - 3 = w*d - k. Suppose 8 = -3*i - i, 4*g - i - 1342 = d. Is g composite?
True
Let c = 281 + -277. Is c/(-2) - (5005/(-7) + 4) a composite number?
False
Suppose -5*k = 5*t - 598640, 7*k - 20 = 3*k. Is t a composite number?
False
Suppose -45 = -5*f + a, -2*a = -f + 2 + 16. Suppose -16*m = -f*m - 8. Is 16/4 + m - -200 a prime number?
False
Let n(d) = 2*d**2 + 2*d - 2. Let k be n(-1). Is 1321 - (17/51)/(k/(-12)) a prime number?
True
Suppose -3*b + 1690 = 1693. Suppose -5*h + h = 0. Is (b + (h - 468))*(2 - 3) a prime number?
False
Let s(d) be the third derivative of d**6/120 + 7*d**5/60 + 3*d**4/8 - 2*d**3/3 - 5*d**2. Let m be s(-5). Is m - (-2 - 737) - (19 + -16) a prime number?
False
Let q(n) = 197*n**3 - 22*n**2 + 94*n - 43. Is q(5) a composite number?
True
Suppose 7*a - 2*a = 6*a - 54889. Is a a composite number?
True
Let o be (-18 - -12)/(1*-2). Suppose 611 = z - 0*z + 4*d, -o*z = -4*d - 1913. Suppose 0 = -a + 5*i + 204, -5*i + z = 3*a - i. Is a composite?
True
Suppose 283*g = 213*g + 4969696 + 2137194. Is g composite?
False
Let u be (5/2 - 0)*20/(-2). Let b = 27 + u. Suppose -2*t - b*g - 886 = -3338, t = -3*g + 1220. Is t prime?
True
Let c = 82 - 84. Let z be 40/(-80) + (-1 - 3/c). Suppose 0 = -4*v -