-11*x**4/4 - x**3/3 + x**2/2 + x - 5. Is t(-1) composite?
True
Suppose -4*v = -1 - 19. Let p(u) = 31*u - 12. Is p(v) composite?
True
Is ((-2426)/(-4))/(5*1/10) a composite number?
False
Suppose -2*q = 5*o + 1, 4*q = -o + 4*o + 37. Suppose -57 = q*b - 8*b. Is b composite?
True
Let g(s) be the second derivative of -s**7/840 + s**5/120 + s**4/4 - s**3/3 + s. Let x(d) be the second derivative of g(d). Is x(0) a composite number?
True
Suppose 4*g + 234 = 2*c, 3*c = 5*g + 162 + 188. Is c prime?
False
Suppose -3*h + 1495 + 50 = 0. Is h a prime number?
False
Let b(v) = 3*v**2 - 3*v + 26. Is b(-15) prime?
False
Is 1*(-1)/3 + (-3148)/(-3) a composite number?
False
Let o = -179 - -430. Is o a composite number?
False
Let j(g) = g**3 - 4*g - 1. Let c be j(2). Let r = 235 + -126. Is -3 - 1*r/c a prime number?
False
Let o = 15 + -10. Suppose 0 = -3*i + 4*c + 369, 0 = -5*i - o*c + 849 - 269. Is i composite?
True
Suppose -894 = -3*b - a, 4*b - 6*a - 1173 = -a. Suppose -3*o + b + 102 = 0. Is o a composite number?
True
Suppose y - 5*j - 12 = 0, 16 = -y + 5*y - 4*j. Suppose 0 = 4*d - 3*d - y. Suppose 124 = 2*c + d*c. Is c composite?
False
Let i be 14605/(-20) - 2/(-8). Is 1/(-4) - i/8 composite?
True
Let i be ((-1)/2)/((-1)/8). Suppose -173 - 127 = -3*d. Suppose i*v - d = -16. Is v a composite number?
True
Let h(p) be the first derivative of -p**4/4 + 4*p**3/3 - 3*p**2/2 + 3*p - 1. Let x be h(3). Suppose 4*y = x*i + 68, 3*y - 5*i - 48 = y. Is y composite?
True
Suppose -5*d + 47 = -3*y, -y + 2*y - 31 = -3*d. Let s(p) = -8*p + 3. Let k be s(6). Let v = d - k. Is v a composite number?
True
Let i be (1 - (-989 - -4))/2. Let k = 80 + i. Is k a composite number?
True
Let j be 3 + 0*(-2)/(-4). Suppose j*g - 764 = -g. Is g a prime number?
True
Let q = -6 - -11. Let s(z) = -4*z + 2. Let k be s(q). Is (-28)/(-6)*k/(-4) composite?
True
Suppose -s = 2*h - 0*s - 744, 0 = -3*h + 4*s + 1127. Is h a composite number?
False
Let o = 36 + 17. Suppose -o - 1138 = -3*l. Is l a composite number?
False
Suppose 1295 = 2*p + 3*p. Is p a prime number?
False
Let m(a) = a**3 + 8*a**2 + 5*a - 10. Let z be m(-7). Suppose 2*t + z*t - 114 = 0. Is t prime?
True
Suppose 0 = -10*m + 8*m + 1994. Is m a prime number?
True
Let m = -464 - -799. Is m prime?
False
Let q = -416 + 2263. Is q a composite number?
False
Let i(x) = -25*x - 4. Is i(-6) composite?
True
Suppose -10*r + 1335 + 2035 = 0. Is r composite?
False
Let b = -48 + 271. Is b a composite number?
False
Let y = 10 - -1. Let o = -6 + y. Let m(p) = 26*p + 1. Is m(o) a prime number?
True
Suppose f + 4*f = 1470. Suppose 454 = 4*n - f. Is n a composite number?
True
Suppose -41 = -f + 56. Is f a prime number?
True
Let b(y) = -8*y - 1. Is b(-1) a composite number?
False
Let d(t) be the first derivative of -t**3 + t**2/2 + 5*t - 2. Let k be d(-6). Let j = -74 - k. Is j prime?
False
Let x(j) = 205*j. Let b be x(-1). Let z = b + 338. Is z prime?
False
Let y(u) = 28*u - 47. Is y(21) prime?
True
Suppose 18 = 2*v + v. Let u be (-153)/v - (-1)/(-2). Let h = 41 + u. Is h a prime number?
False
Let z = 7 - 4. Suppose -x + z*q = -11, 2*x - 17 + 1 = 4*q. Suppose -16 = -x*g + 4. Is g a prime number?
False
Let j = 4 - 3. Let h be 123*j/(-3)*-1. Let d = 75 - h. Is d composite?
True
Let m = -18 + 44. Suppose 0 = -2*q + 11 + 3. Let l = m - q. Is l a prime number?
True
Suppose -13*y = -14*y + 1889. Is y composite?
False
Let y(u) = u**3 - 11*u**2 - 9*u - 10. Is y(13) a composite number?
False
Let x be (-2)/(-3 - (-17)/5). Let u = x + 8. Suppose 162 = n - b, -n = -u*b - 131 - 39. Is n a composite number?
True
Let o be (-655)/10*-2*(2 + 0). Suppose 0*j = 5*j + 735. Let p = o + j. Is p composite?
True
Let f be -1*4 - (7 - 8). Let x = -4 - f. Is 3 + x*(-144 - 2) a prime number?
True
Suppose t + 0*t - 84 = 0. Suppose -3*f = -p - t - 38, 2*f - p = 83. Is f a prime number?
False
Suppose -5*v - 240 = -5*c, v = -v. Suppose 0 = -5*y - 25, 4*d - c = -0*d + 4*y. Is (-4)/14 + 219/d a composite number?
False
Let o(p) = p**3 - 8*p**2 + 9*p + 2. Is o(8) prime?
False
Suppose -8 - 7 = -5*r. Suppose 0 = r*i - 13 + 94. Let f = i - -49. Is f composite?
True
Let l(x) = x**3 - 5*x**2 + 2*x + 5. Let r be l(5). Let b = -10 + r. Suppose b*z - 3*t = t + 105, -2*z + t = -42. Is z a prime number?
False
Let v(i) = 2*i - 5. Let f be v(4). Suppose 2*a - m + f = 0, 9*m - 4*m = -a + 15. Suppose 3*y - 27 - 12 = a. Is y prime?
True
Let b(f) = -f**2 + 9*f - 8. Let c be b(8). Suppose -4*o + x + x = -390, c = x + 5. Is o prime?
False
Suppose -b - 48 - 2 = -5*p, -3*p - 2*b + 17 = 0. Suppose -m = -p - 12. Suppose m = 3*o - 54. Is o prime?
False
Let h(y) = -y**2 - 3*y - 3. Let c be h(-2). Let a be (-2670)/(-3) - (4 + c). Is (-6)/(-21) - a/(-7) a composite number?
False
Suppose -2 - 10 = -2*q. Is -17*q/(-9)*3 composite?
True
Suppose 11*z - 765 = 2*z. Is z a composite number?
True
Let y(s) = -39*s + 4. Let z be y(-7). Let v = 576 - z. Is v prime?
False
Suppose -4*c + 0*o - 3*o + 6 = 0, -5*o = 3*c + 1. Suppose -2*g + 2 = -2. Suppose -c*w - 70 = -4*n, 3*n - n - 42 = -g*w. Is n prime?
True
Let y(o) = o**2 - 8*o - 9. Let b be y(10). Suppose c - 5*p + 35 = b, p - 4 = 0. Is ((-2)/c)/((-1)/(-98)) a composite number?
True
Suppose q + 0 = -5*z - 13, -53 = -4*q + z. Let j be q/(-3)*11/(-4). Suppose -5*y = -i + j, 0*y = -3*y. Is i a composite number?
False
Suppose -134 = -j - 5*x + 558, 2*j + 5*x - 1369 = 0. Is j composite?
False
Suppose 0 = 3*d - 6, -6 = -2*j + d - 2. Let s(w) = w**2 + 4*w - 3. Let q be s(j). Is q/6 - (-24)/2 a composite number?
True
Is (1 + 284/(-8))*-2 prime?
False
Suppose -2*t + 502 = 3*w, 2*t - 5*t + 753 = 2*w. Is t prime?
True
Let k = -3 + 0. Let y = k + 6. Suppose y + 27 = 2*c. Is c composite?
True
Is -346*(1 + 35/(-10)) a prime number?
False
Is (-159)/(-7) - 8/(-28) a composite number?
False
Suppose 5*a - 366 = -3*m + 446, m + 4*a - 266 = 0. Is m a composite number?
True
Let t(g) = -8*g**3 - 3*g**2 - 2*g. Let q be t(-4). Let r = -286 + q. Suppose -290 - r = -4*w. Is w a composite number?
True
Let s be 2 + -5 + 5 + -1038. Is (-1 - 1)/(8/s) a prime number?
False
Let j(c) = 218*c**2 + 3*c + 2. Let l(s) = -145*s**2 - 2*s - 1. Let m(i) = -5*j(i) - 7*l(i). Let y(z) be the first derivative of m(z). Is y(-2) composite?
True
Suppose -44*s + 40*s = -1052. Is s a prime number?
True
Let f(z) = z**3 - 11*z**2 + 13*z + 2. Suppose -5*c - 31 = -4*u + 8, 5 = 5*c. Is f(u) composite?
True
Let m = -48 + 102. Let q = m + -35. Is q a prime number?
True
Suppose 4*k - 8764 = -2828. Suppose -3*d - d = -k. Is d prime?
False
Suppose -q + 0*q + 915 = 2*s, -4*s = 4*q - 3664. Is q a prime number?
False
Suppose -4*r - 2*p + 3665 - 167 = 0, 2*r - 5*p = 1779. Is r composite?
False
Let c = -2827 - -4746. Is c prime?
False
Let z = 35 + 16. Suppose 2*i + z = 3*i. Is i a prime number?
False
Let l(m) = -m**3 + 10*m**2 - 19*m + 2. Let s(y) = -5*y**2 - 5*y**2 + y**3 - y - 2 + 19*y. Let c(t) = -6*l(t) - 7*s(t). Is c(8) prime?
False
Let a(b) = -b**2 + 8*b + 9. Let w be a(8). Let m be (114/w)/((-1)/(-6)). Suppose c + 9 = m. Is c composite?
False
Let c be (-14)/(-3) - 2/3. Suppose 0*t - 78 = s - 2*t, -s - 68 = -c*t. Let g = s + 219. Is g prime?
True
Is ((-5)/6 + (-22)/(-66))*-14434 a prime number?
False
Let x(u) = u**3 + 6*u**2 + 4*u + 2. Let k be x(-5). Let g be 6/(-4)*10*-2. Let c = g + k. Is c prime?
True
Suppose -40 = 5*m + 4*r, -4*m - 65 = m - r. Is (m/8 + 2)*1262 composite?
False
Suppose 3*o - 2*u - 2004 = 0, 0 = 3*o + 4*u - 668 - 1354. Suppose o = 4*g - 1870. Is g composite?
True
Let i(d) = d**3 - 8*d**2 - 15*d + 8. Let z be i(10). Let n = 69 + z. Is n composite?
False
Suppose -5301 = -5*x + 5494. Is x composite?
True
Suppose -2*g = 2*g - 720. Let b be (38/6)/((-6)/g). Let u = b + 317. Is u a composite number?
False
Let o(u) = 27*u**2 - 4*u - 12. Is o(-5) a prime number?
True
Let z be (-1)/6 - 1/(-6). Suppose z = 3*g - 4*g - 2. Is (259 - 5)*g/(-4) prime?
True
Suppose c - 2 = 4. Suppose 1 + c = -y - 5*g, -g = 1. Let h(d) = 4*d**2 - 1. Is h(y) a composite number?
True
Suppose 10 = 5*q - 5. Let b(f) = 0 + 1 - 2*f - 2*f**2 + 3*f**3 + q*f**2. Is b(3) a composite number?
True
Suppose -2*r = -7*r - 20. Let s(h) = -h - 1 + 3 - 4*h. Is s(r) a prime number?
False
Let w be (16/(-10))/(1/(-5)). Let v(z) = 9*z**2 + 0*z**3 - 7 + 10*z + 2*z**3