number?
True
Suppose 3*w - 12113 = 2*z, -15*w - 5*z + 20180 = -10*w. Is w prime?
False
Let q = 9435 + -3808. Is q a prime number?
False
Let t(h) = 9897*h + 115. Is t(4) composite?
False
Let t(a) = -16629*a**2 + 483*a - 483. Let d(w) be the first derivative of 23*w**3 - w**2 + 2*w - 4. Let g(i) = 483*d(i) + 2*t(i). Is g(-1) a prime number?
False
Suppose 2*v = -4*w + 6912, -5*w + 2082 + 6559 = 3*v. Is w prime?
False
Suppose x = -6*j + 4*j + 6292, 2*x = -5*j + 15731. Is j prime?
False
Let j = -31 + 24. Is (-28)/98 + 0 + (-79)/j composite?
False
Suppose 3*l = -5*h + 40, 5*l = -5*h + 2*h + 40. Suppose 0 = -3*d + h*z - 350, -z = 4*d + 3*z + 456. Let w = d - -249. Is w a composite number?
True
Let n be (80/15)/((-6)/(-9)). Let b be ((-11)/(-88))/(1/n). Suppose -5*q + 5*p = -3830, -b - 8 = -3*p. Is q a composite number?
False
Suppose -279*p = -267*p - 280956. Is p a prime number?
False
Let b(h) be the second derivative of 90*h**3 - 19*h**2/2 + 14*h. Is b(7) a composite number?
False
Let r be -1*1 + (0 - -3). Suppose w = -i + 445, 3*w - 4*i = -r*w + 2225. Is w composite?
True
Let m = 12422 - 8809. Is m a composite number?
False
Let r = 52751 - 10864. Is r a prime number?
True
Let d be 27/15 - (0 - 2/10). Is (d - -1899)/(2/((-4)/(-2))) a composite number?
False
Let b = 196 + 439. Suppose 0 = a + 2*m, 3*a + a = 3*m. Suppose a = -f - 4*f + b. Is f prime?
True
Let y(i) = -303*i + 70. Is y(-29) a composite number?
True
Suppose -4*o + 4522 = -3*o. Suppose 2*j + 2*d = d + o, -5*d - 4546 = -2*j. Is j prime?
False
Suppose 5*c - 20 = n - 4*n, -5*n = -c + 4. Suppose 5*j - 551 + 96 = n. Is j a prime number?
False
Suppose -1032264 = -23*l - 2577. Is l a composite number?
True
Let p = -4762 + 7529. Is p composite?
False
Suppose 2*c + 1251 - 6751 = 0. Suppose 4*y = 1838 + c. Is y prime?
False
Suppose l = 2*o + 1674 - 391, 4*o = -5*l + 6485. Is l composite?
True
Let k(i) = -17*i - 3 + 6*i**2 - 12 + 45. Is k(-17) a composite number?
False
Let s = 167 + -387. Let v = 893 + s. Is v composite?
False
Suppose -3*i + 3*l = 738, l + 969 = -5*i + i. Suppose 2*w - 5 = 5*j + 7*w, 6 = -2*j + 2*w. Is j/(i/237 + 1) a composite number?
False
Suppose -5*h + 2*h + 18 = 0. Let c = h + 191. Suppose -3*u - 4*j + c = 0, -5 + 0 = 5*j. Is u composite?
False
Let z be ((-2)/(-1))/(-2)*(6 + -11). Is -2 + 4 + (2 - z) + 216 composite?
True
Let w(m) = 2 - 10 + 15*m**2 + 3 - 4*m. Is w(-3) composite?
True
Suppose -j = 5*o - 2154, 2*o + 5924 = 5*j - 4711. Let y = -732 + j. Is y a prime number?
False
Let o(n) be the first derivative of -n**4 + 2*n**3/3 + 3*n**2/2 + 4*n + 7. Is o(-3) a composite number?
True
Suppose 174744 = 5*n + i, -5*n = -3*i - 44984 - 129764. Is n a composite number?
False
Suppose -2*o = h + 15, 0*o + 3*o = -5*h - 26. Let d(f) = -3*f**3 + 11*f**2 + 4*f - 9. Is d(o) prime?
True
Suppose 2*h - 4*l - 3962 = 0, 3*h = 5*h + 4*l - 3930. Is h a prime number?
True
Suppose 9*c - 91363 = 34016. Is c a prime number?
True
Let o be (1 + 13)/(5/1325). Let d = -2276 + o. Is ((-3)/6)/((-3)/d) a composite number?
False
Let v = 93 - 93. Let c be 2/(-4) - 20/(-8). Suppose -3*b - c*s + 1413 = v, s + 2*s = 9. Is b composite?
True
Let j = 20 - 26. Let y be 1/2 - (-4431)/j. Let r = -479 - y. Is r prime?
False
Suppose -2*t = 3*t. Let k(x) = -3*x + 691. Is k(t) a prime number?
True
Let f = -190 + 100. Is (3 + -3 - f) + -1 prime?
True
Let o(u) = -205*u + 10. Let l be o(-9). Suppose -q = 4*q - l. Is q a prime number?
False
Let d(t) = 109*t**3 - 2*t**2 + t + 3. Let j = -8 - -11. Is d(j) prime?
False
Let x(q) = 17*q**2 - 19*q + 13. Is x(-10) a prime number?
False
Suppose 4*z = -5*h + z + 100117, 0 = 2*h - z - 40038. Is h prime?
True
Let d(u) be the third derivative of u**5/60 - u**4/8 - 3*u**3/2 + 7*u**2. Is d(-5) prime?
True
Let h be 1/(1 - 6/8). Let r = h + -2. Is 1/(r/3846*3) composite?
False
Suppose 1399 = 16*x - 1449. Is x prime?
False
Let z(w) be the second derivative of w**5/20 + 13*w**4/12 + 5*w**3/3 + 11*w**2/2 - 9*w. Is z(-10) a prime number?
True
Suppose -l - 2*l = -4*q + 158, -3*q + 3*l + 117 = 0. Suppose -40*i - 307 = -q*i. Is i a prime number?
True
Let y = -9134 + 22161. Is y a prime number?
False
Suppose -t = 2*t + 2*f - 2, -3*f = 4*t - 2. Is (-295)/(5 + -4 - t) a prime number?
False
Suppose -39*c = -4*c - 265055. Is c a composite number?
False
Is 1214/(-4)*15/((-90)/84) a prime number?
False
Suppose -4*u - 3*x = -12, u + x = -0*x + 3. Suppose u*h = 22 + 5. Suppose 2*v - 303 = -5*q, 4*v - 7 - h = 0. Is q a prime number?
True
Suppose -15 = 5*v, 4*k - 98*v + 93*v = 540491. Is k composite?
False
Let r(t) = -t**3 + 18*t**2 - 17*t + 8. Let q be r(17). Let g be (q - 10)*(1 - 2). Suppose -5*j + 746 = -3*j + 5*u, -u = -g*j + 746. Is j prime?
True
Suppose -s + 2*s = 2. Suppose 0 = -2*j - s*j. Suppose 0 = t + 4*a - 431, j*t - 5*a = 5*t - 2110. Is t a composite number?
False
Is ((105126/12)/(-7))/((-1)/2) composite?
False
Let f(h) be the third derivative of h**5/30 + 5*h**4/6 - 7*h**3/2 + 40*h**2. Is f(16) a prime number?
True
Let t(p) = -p**2 - 1. Let u(j) = 10*j**2 + 8*j + 15. Let v(x) = 6*t(x) + u(x). Let g be v(-11). Suppose -a = -40 - g. Is a a composite number?
True
Suppose -3*w - 7 = 2. Let o(c) be the first derivative of -3*c**4 - c**2/2 + 4*c + 37. Is o(w) composite?
False
Let b = 26 + -13. Suppose -16*n = -b*n - 2442. Suppose o - 4*v = 395, 3*v - v + n = 2*o. Is o a composite number?
True
Let o(s) = 4*s + 4*s - 3*s + 222*s**2 - 4*s. Is o(1) a prime number?
True
Suppose -6 = n - 4*n. Suppose 5*p + 2*c - c - 23 = 0, -n*p = 2*c - 6. Suppose 5*o + 3*m - 15 = 0, 12 = 4*o + p*m - 0. Is o prime?
True
Suppose -25*h + 11*h = -28. Is 5 + 313 + 2/h a prime number?
False
Suppose -10*p + 27*p - 176239 = 0. Is p composite?
True
Suppose 42*u + 52 = 46*u. Let h = u - -2. Is h composite?
True
Let q(k) = 390*k - 1. Let s(x) = -1170*x + 4. Let g(d) = -10*q(d) - 3*s(d). Let u be g(-1). Suppose -3*j = j - u. Is j a composite number?
False
Let s = -2204 - -3955. Is s a composite number?
True
Let g(v) = -24*v**3 + 3*v**2 + 2*v + 1. Is g(-2) a composite number?
True
Let z(l) = 110*l + 24. Let i(h) = -109*h - 24. Let w(k) = -3*i(k) - 2*z(k). Is w(5) a prime number?
False
Let t(a) be the first derivative of 9*a**4/2 - 4*a**3/3 + 11*a**2/2 - 4*a - 11. Is t(3) prime?
True
Suppose 9954 = 4*z + 3*z. Suppose 11*w - z = 536. Is w a prime number?
False
Let f(u) = 338*u**2 - u. Let w be -2*((-6)/4 + 1). Is f(w) composite?
False
Let c(q) = q**3 - 2*q**2 + 2*q - 1. Let v be c(1). Suppose 3*a - a - 166 = v. Is a a prime number?
True
Let d = 741 + -2351. Let f = 2781 + d. Is f a composite number?
False
Let i = 173 - 124. Let p be i/(-14) - 1/2. Is 134/p*6/(-3) a prime number?
True
Let v(z) = -z + 11. Let r be v(8). Suppose -p - 662 = -r*p. Is p a prime number?
True
Is 20547/27 + (-4)/(-1 - -2) a prime number?
True
Let d = -11018 - -15589. Is d a prime number?
False
Let x(y) = -74*y**3 + 4*y**2 + 5*y - 16. Is x(-3) a composite number?
False
Suppose 6*f = f - 4*t + 809, 0 = 5*f + t - 806. Let u(m) = -39*m**2 - 1. Let x be u(-1). Let v = f - x. Is v composite?
True
Let k(v) = -62*v**3 - 2*v**2 + 1. Let s = 6 - 9. Is k(s) a prime number?
True
Let m(u) = 2*u**2 - u + 6. Let q = -6 + 10. Suppose -6 = -2*z - q*j - 0*j, 5*z + 5*j + 10 = 0. Is m(z) prime?
False
Suppose -5*m - 65 = -18*m. Suppose 0 = -2*g + z + 2*z + 2302, -m*z - 3453 = -3*g. Is g a prime number?
True
Let o(w) = -4*w + 25. Let q be o(6). Is 39004/12 + q + (-1)/3 a prime number?
True
Let n(i) = 151*i**3 - 3*i**2 + 2*i + 4. Let t(m) = 152*m**3 - 3*m**2 + 2*m + 5. Let y(f) = 4*n(f) - 3*t(f). Is y(2) composite?
True
Let u(y) be the second derivative of -y**4/12 + y**3/3 - y**2/2 - 3*y. Let z be u(3). Is z/(12/(-537)) + 0 a prime number?
True
Suppose 4*b = -5*p + 16293, 16317 = 5*p - 8*b + 4*b. Is p prime?
False
Suppose c - 24 = -3*v, -13 + 49 = 3*v - 3*c. Let n(m) = -4*m**3 + 7 + 11*m**2 - 6*m**3 + 9*m - 17 + 9*m**3. Is n(v) prime?
True
Let d(q) = -2*q + 7. Let h = 119 - 127. Is d(h) composite?
False
Is 61472/6 - (-45)/27 a composite number?
False
Suppose -5*g + 10*g - 5*d - 5 = 0, -3*g - 4*d = 4. Suppose 4*y + g*y = 1064. Suppose y = 6*v - 136. Is v a prime number?
True
Suppose 4*a = -4*b + 328, 2*a = -3*b - 0*a + 241. Suppose b = 2*u + 11. Is u a prime number?
False
Suppose