*n = 8547. Is k a prime number?
True
Let y(m) be the first derivative of -9*m**5/4 - m**4/24 + 5*m**3/3 + 1. Let r(g) be the third derivative of y(g). Is r(-1) a composite number?
False
Let c(g) = g**2 - g - 1. Let x(k) = 7*k**2 + 12*k + 4. Let b(s) = 6*c(s) - x(s). Let z = -27 + 16. Is b(z) composite?
False
Suppose -5*p = -g + 72681, -4*g + 3*p + 217995 = -g. Is g prime?
True
Let h(f) = 2*f**3 + 8*f**2 - f - 4. Let k be h(-6). Let r be 4/14 + k/7. Is (-1179)/(-4) + (-5)/r a prime number?
False
Suppose -5*w - 4*o = -0*o - 41, -4*w - 3*o + 32 = 0. Suppose 2*i = -w*d + 3*i + 2908, 0 = -4*i - 12. Is d composite?
True
Is (5 - (-4)/(-1))*8691/3 a prime number?
True
Let x = 110 + 156. Suppose -3*o + x + 61 = 0. Is o composite?
False
Let p(r) = 9*r**2 - 153*r - 131. Is p(59) a prime number?
True
Suppose 19*b = 17*b + 4. Suppose 2*t = -b*q + 3270, 4907 = 3*q + t + t. Is q a composite number?
False
Let w(z) = 112*z**2 - 17*z + 3. Let r be w(-7). Let c = 8455 - r. Is c a prime number?
False
Let s be 5*443 - (6 - 14)/4. Suppose 2*u = -m + 4441, -3*m + 7*m = -u + s. Is u prime?
True
Let p be (3 - 3)*3/(-12). Suppose p = -6*i + 2*i. Is 1 - i - (-65 - -13) composite?
False
Let y(z) = 94*z**2 - 17*z - 5. Is y(18) a prime number?
False
Suppose -4*w + 10 = 18. Let s be (77 + w)*150/6. Suppose 3*z - 3106 = -5*a, -z - s = -3*a + z. Is a a prime number?
False
Let m(y) = 17*y**3 + 11*y**2 - 7*y + 2. Let q(s) = 8*s**3 + 6*s**2 - 4*s + 1. Let r = -23 + 26. Let w(v) = r*m(v) - 5*q(v). Is w(4) prime?
False
Let r(j) be the third derivative of 3*j**4/8 + 5*j**3/6 - 4*j**2. Suppose -2*f - 3*f + 4*q + 44 = 0, -4*q = 2*f - 12. Is r(f) prime?
False
Let c = 71 + -39. Suppose 5*u = -4*t + 8 + c, 6 = -u + 2*t. Is u a prime number?
False
Suppose 0 = 2*w + 3*w. Suppose w = -3*j + j + 4*o + 6378, 3*o = 15. Is j a prime number?
False
Suppose 5*x = 12 + 8. Suppose -x*o = -3*o. Let h(f) = f**2 - f + 33. Is h(o) composite?
True
Let a = -3688 + 8479. Is a prime?
False
Suppose -20*z = -6*z - 532490. Is z prime?
False
Is -4 + (130746/(-110))/((-1)/5) a composite number?
False
Let j = -35 - -45. Let n = -352 - -2128. Is (-4)/j + n/15 a composite number?
True
Let o(f) = -13*f**3 - f**2 + f - 5. Let v be o(-3). Let i = v - 131. Is i a composite number?
True
Let w(i) = -4*i**3 + i + 1. Let c be w(-1). Suppose -2*s + 3*s = 0, -5*v - c*s + 6295 = 0. Is v prime?
True
Suppose 4*k = 8*k + 116. Let j = k - -14. Let s = 28 + j. Is s prime?
True
Suppose 0 = 5*s - 25694 - 6021. Is s a prime number?
True
Suppose 8*q = -2*q + 37930. Is q composite?
False
Suppose 0 = -17*a + 16*a + 4. Suppose 0 = -a*i + 15*i - 6941. Is i a composite number?
False
Let j(x) = 14*x**2 - 5*x + 10. Let d be j(-5). Let p = d + -228. Is p a composite number?
False
Let i(f) = 154*f + 5. Let p(b) = -925*b - 30. Let r(x) = 35*i(x) + 6*p(x). Suppose v - t = -4*v - 33, -v - 5*t = -9. Is r(v) a prime number?
False
Let h = 2514 + -1040. Suppose -5*b + h = -3*b. Is b composite?
True
Suppose m - 1617 = -2*o, 1559 = -3*o - 5*m + 3974. Let q = -365 + o. Suppose 0 = -5*c + 2*w + 1008 + q, 288 = c - 3*w. Is c prime?
False
Let y(m) = -35*m**3 - 27*m**2 + 25*m + 1. Is y(-10) composite?
False
Let n = 8170 - 4377. Is n a prime number?
True
Suppose 9*v - 607032 = -106821. Is v a composite number?
False
Suppose -77*o - 5*d = -78*o + 6599, d = -3*o + 19861. Is o composite?
False
Suppose 6*m = 971 + 11983. Is m prime?
False
Suppose 1 = -5*a + 31. Suppose a*g + 463 = -341. Is (g/4)/((-5)/10) a prime number?
True
Is 26521/(-44)*(4 + -8) prime?
True
Let o = 1 + 4. Suppose -249 = -i - a, 2*a - 4*a + 1257 = o*i. Is i a composite number?
True
Suppose -5*f - 8*f + 52 = 0. Suppose f*p - 927 = -131. Is p prime?
True
Suppose 5028 = 5*u - 2*u. Suppose -a - a = -12. Is (u/a)/((-18)/(-27)) a prime number?
True
Suppose 8 = 5*n - 7*n. Let g = 8 + n. Suppose -323 = -5*s + g*y, -s - s + 119 = -5*y. Is s a prime number?
True
Suppose -17*k = -23*k + 2154. Is k prime?
True
Suppose -3*y + 2*z - 7*z = -4, -z = 4. Suppose -y*s + 3*s + 11605 = 5*n, -5*s = -4*n - 11569. Is s a composite number?
True
Suppose 10*u = 7*u - 15, -5*x - 5*u = 1715. Let n = -310 + 1807. Let m = n + x. Is m composite?
True
Let b be ((-180)/48)/((-3)/16). Suppose b*o = 17*o + 393. Is o a prime number?
True
Let c(h) be the second derivative of -h**5/20 + h**4/12 + 67*h**2/2 + 21*h - 1. Let l = 0 + 0. Is c(l) composite?
False
Let a be -2*2/((-4)/3). Let d be (-12)/27 + 5/(270/186). Suppose 6 = -5*m + d*m, -4*g = -a*m - 3245. Is g a composite number?
False
Is (3 - 2)/((30/8043)/10) prime?
False
Suppose -4*l = 30 - 10. Let r(d) = d**3 + 7*d**2 + 6*d + 1. Is r(l) composite?
True
Let y(d) = d**2 + 2*d + 4. Let p be y(-4). Let j = -11 + p. Is j/(3/(-129))*-5 a composite number?
True
Let j = -3006 - -5339. Is j prime?
True
Let y be 105164/9 - -2*3/54. Suppose 3*h + y = 3*x, 5*h + 341 = 2*x - 7437. Is x prime?
False
Let n be 12/(-8)*-68 - -2. Suppose 4*f + n = 3*i, 2*i + 71 = 4*i - 3*f. Suppose -i = -u - 9. Is u a prime number?
True
Suppose 5*x - 6*x + 1 = 0. Suppose 36 = 3*z - 0*z. Is ((-789)/z)/(x/(-4)) a composite number?
False
Is 1/((-8)/(-46186)) - (-9)/12 composite?
True
Let a be (-156)/(-39) + (-1 - -1 - 9). Is (a + 9 + -5)*-701 prime?
True
Let a = 23 + -27. Let n(v) = 27*v**2 - 10*v + 7. Is n(a) a composite number?
False
Let h be 1 + (-6 - 1 - -4). Is (10/(-15))/(67664/(-33828) - h) a composite number?
False
Let b be ((-3303)/(-12))/(-2*5/40). Is ((-15)/((-15)/(-2)))/(2/b) prime?
False
Let y be 9/(-18)*(9 - -1). Let m = y - -7. Suppose 0 = 2*a + m*c - 370 - 212, c + 2 = 0. Is a prime?
True
Suppose 11019 = 4*x + 5*n, -10*n = 5*x - 9*n - 13800. Is x a prime number?
False
Let i(j) = -310*j - 1623*j + 223*j - 1. Is i(-1) prime?
True
Is (-6 - -10) + 6349 + (-4 - -4) composite?
False
Let n(q) = q**3 + 7*q**2 + 7*q - 6. Let j be n(-6). Is 1/(-2*(-2)/j) - -194 composite?
False
Let o(d) = 46*d**2 + 2*d - 41. Is o(7) prime?
False
Let g(h) = -24*h**3 + 2*h**2 - 2*h + 5. Is g(-8) composite?
False
Let r be 3 + -2 - (-461 + 3). Is (r/(-36))/(6/(-16)) composite?
True
Suppose 4*l + 5*i = 6*l + 16, -l = -3*i + 9. Let s be l/(-4) + 12/48. Is (130 - (-1 + -1)) + s prime?
False
Let m(o) = 290*o - 49. Is m(4) a prime number?
False
Let k = -5859 + 15250. Is k prime?
True
Suppose 3*p - 5*k = -5 + 39, -2*k - 16 = -2*p. Is (391/p)/((-1)/(-3)) a composite number?
True
Suppose 5*x = 7*x - 102. Suppose 3*q - 2*q = 2*c + x, 2*q + 4*c - 110 = 0. Is q prime?
True
Suppose -y - 1 = -3*b, -3*y + 5 + 2 = -4*b. Suppose 2*t + 3*t + y*h = 660, 2*t - 263 = -3*h. Is t a composite number?
True
Suppose 0 = -2*g - 2 + 6. Suppose -3 = -4*p + 17, g*o + 5*p = 69. Is o a prime number?
False
Suppose 1 = 5*d - 9. Suppose -3*p = -2*p + d*w - 769, 5*p = -w + 3890. Is p composite?
True
Let y = 7325 - 4248. Is y prime?
False
Suppose 5*m - 538 = r - 2780, -2*r = 3*m - 4536. Let y = 3919 - r. Is y a prime number?
True
Let v(u) = -75*u - 1. Let z be v(-2). Is (1 + -1 - 4/(-4))*z composite?
False
Let i(b) be the third derivative of -6*b**4 - 37*b**3/6 + b**2 - 3. Is i(-9) composite?
False
Suppose 5*f - 11*j + 15*j = 18015, 18045 = 5*f - 2*j. Is f prime?
True
Is (-1892612)/(-28) - (-2)/(-7) prime?
False
Let x(o) = 3*o**2 - 3*o - 1. Let g = 8 - 3. Let a = -10 + g. Is x(a) composite?
False
Let f(k) = 4*k**2 + 4*k - 7. Let d be f(10). Suppose -571 = -4*p + d. Is p composite?
False
Let l = -118 - -120. Let g be (1 - 0) + 89 - 1. Suppose l*p - 137 = g. Is p prime?
True
Suppose 5*z = -5, -3*h - 4*z - 679 = 2*h. Suppose -476 = 6*c - 4*c. Let g = h - c. Is g prime?
True
Let w = 4286 + -2029. Is w composite?
True
Let v = -924 + 929. Let m(l) = -l**2 - 19*l - 5. Let c(i) = 9*i + 2. Let s(n) = -7*c(n) - 3*m(n). Is s(v) a prime number?
False
Let a(g) = -15*g**3 + 5*g**2 - 4*g - 3. Let n be a(-3). Let t = 1150 - n. Is t prime?
True
Suppose 0*w - 15 = -3*w. Suppose 0 = -4*m + a + 372, -w*a + 2*a = -5*m + 465. Suppose 0 = -2*z + 5*z - m. Is z composite?
False
Suppose -16*z - 55 = -21*z. Suppose -31 = 4*q - z. Is (-10)/q - -263*3 a composite number?
True
Suppose -7*k + 3*k + 16 = 0. Suppose -k*u + 5538 = 2*u. Is u a composite number?
True
Let f = -56303 + 86080. Is f a composite number?
True
Let d(f) be the first derivative of 3 + 4*f - 2*f**2 + 3*f - 2*f**2. Is d(