 y(t) = 16*t**3 - 9*t**2 - 5*t + 4. Let u(f) = 3*c(f) - 7*y(f). Suppose -4 - 2 = h. Is u(h) a composite number?
True
Suppose -5*p + 13374 + 54641 = 0. Is p composite?
True
Suppose 96 + 420 = -d. Let w = 1340 + d. Suppose 4*c - w = 524. Is c a prime number?
True
Let k be -2 - 1*(-4 - 0). Let v = 7 + -4. Suppose -v*g - k*g + 1293 = m, 0 = -3*g + 3*m + 783. Is g a composite number?
True
Suppose 3*w - 3*s = w + 5542, 0 = 3*s. Is w composite?
True
Suppose 2*c - 47 = 3*y + 475, c = 4*y + 696. Let g = y - -292. Is g a composite number?
True
Let z(d) = 8*d - 35. Let r be ((-122)/(-8) - 14/56) + 0. Is z(r) a composite number?
True
Suppose -11*y = -r - 7*y + 2186, 2*r - 4*y = 4360. Is r a prime number?
False
Let d(r) = r + 2. Let z(m) = -m - 1. Let u(j) = d(j) - 4*z(j). Let h be u(-2). Is 10/(-20) + (-2118)/h prime?
False
Let b = 15674 + -8484. Suppose 0 = -37*l + 35*l + b. Is l a prime number?
False
Suppose 0 = 4*z + 4*h - 4, 0 = -4*z - z + 3*h + 13. Let m be (2 + -2 - 0)/(-1). Suppose 3*x - 635 = -z*n, m = 8*x - 4*x + 5*n - 849. Is x a composite number?
False
Suppose 3*h + 2*i - 3 = 4, -1 = -2*h - 5*i. Let y(f) = -30*f**h + 0 - 6*f**3 + 1 - 3*f**2 + f**2. Is y(-1) composite?
True
Let m = 138722 + -97509. Is m prime?
True
Let x(s) = 179*s**3 - s**2. Let o be x(-1). Let b = 452 - 70. Let g = b + o. Is g composite?
True
Suppose -2 = 2*u + 12. Let d = u - -11. Is d/14 - (-740)/7 composite?
True
Let y = 35 + -8. Let g = y - 24. Suppose 0 = g*n - 2026 + 367. Is n a prime number?
False
Let g be 18/(-24) + 31740/16. Suppose -u + 4*j = -754 + 2154, 5*u = j - 6981. Let z = g + u. Is z a composite number?
False
Suppose 20*n - 18*n - 21949 = -5*v, -2*n - 6 = 0. Is v prime?
True
Suppose 2*m = 2*b + 4, -2*m + 2*b = 5*b + 6. Suppose 0*w + 4*w + 384 = m. Let u = 23 - w. Is u a composite number?
True
Suppose 2*m + 4*g = 16, -2*m - 4 = -5*g + 7. Suppose x = j, j - 2*j + 9 = m*x. Suppose -2*l + y + 26 = 0, x*y = -3*l - 0*y + 48. Is l a prime number?
False
Let y = -26744 + 39195. Is y a composite number?
False
Let m = 42462 + -4163. Is m prime?
True
Suppose 0 = -0*a - a + 4. Suppose -2*q - a = -3*q. Is q/22 - (-9537)/121 composite?
False
Suppose 0*d + 14*d = 196546. Is d composite?
True
Suppose 3*m - 27 = -3*v, 6*m = v + 2*m + 11. Suppose 27 + 3 = v*y. Suppose -3*s = -2*x + y*x - 106, -4*s + 160 = -4*x. Is s a composite number?
True
Suppose -8*r = -5*i - 3*r + 45, 2*i - 4*r = 28. Suppose -3*v = -5*l + 1330, -i*l + 360 = 4*v - 672. Is l composite?
False
Suppose 1402 + 2444 = -3*q. Is (-2)/(0 + 4/q) composite?
False
Suppose -z + 4*z = -15, j - 3*z - 375 = 0. Suppose 6*h - 8*h = -j. Suppose 3*m - 897 = h. Is m a prime number?
True
Suppose 9*n - 27022 = 3371. Is n composite?
True
Let p(a) be the third derivative of a**5/20 - a**4/24 + a**3/6 - 7*a**2. Is p(-8) prime?
False
Suppose -3*z - 23 + 6 = 4*r, 1 = -5*r + 3*z. Is 2/r*(-4 + -415) composite?
False
Let a = 294 + 1685. Is a a prime number?
True
Let m = 9 - 3. Let z be ((-1904)/(-12))/2*m. Suppose 5*x - z = x. Is x prime?
False
Let i(m) = -168*m - 145. Is i(-18) a composite number?
False
Suppose -298*i + 30570 = -292*i. Is i composite?
True
Let z(m) = -m**3 + 44*m**2 - 3*m - 35. Is z(24) composite?
True
Let h be 3 - (18/(-3))/(-2). Let x(o) = -o**2 + o + 5. Let i be x(h). Suppose 482 = y - 5*r, -i*r + 1122 + 731 = 4*y. Is y composite?
False
Suppose -409538 = 27*v - 73*v. Is v prime?
False
Suppose -1983 = -8*g + 6129. Suppose 2*u = 2264 + g. Is u prime?
False
Let j(u) = u**3 - 11*u**2 - 12*u + 13. Let f be j(12). Suppose f*t = 10*t - 24. Is (0 - (-3310)/t)*-4 a composite number?
True
Let y = -24620 + 52503. Is y composite?
False
Suppose -x - 2*x = 0. Suppose x = -2*b - b - 4*q + 71, 5*b - 5*q = 165. Let u = b + 137. Is u a composite number?
True
Let a be (4 + -3)/(1 - 0). Suppose 4*f + a + 11 = 0. Let k(h) = -53*h + 4. Is k(f) prime?
True
Let z(s) = -s**2 - 2*s - 123. Let m be z(0). Let b = m - -374. Is b prime?
True
Let f(j) = -13*j + 12. Let r be f(6). Let c = r - -103. Is c a prime number?
True
Let v be (6 + 2)*(-3 + 5). Is 7082/v - (-30)/80 prime?
True
Is 7720 + 6*3/6 a composite number?
False
Let b = -9 + 24. Suppose 16*k - b*k - 71 = 0. Is k prime?
True
Let k(a) = -a**3 - 3*a**2 + 4*a + 5. Let b be k(-4). Suppose 0 = s + v - 2745, -b*s = 2*v - 11136 - 2577. Is s composite?
False
Suppose -2*a - 332 = 2328. Is 48/(-72) - a/6 prime?
False
Suppose 21*q - 25*q = -12. Suppose -342 = -3*c + p + 359, -3*c = q*p - 717. Is c composite?
True
Let o be (-1 - (-5)/3)/((-2)/(-363)). Let v = -90 + o. Is v composite?
False
Suppose -o - 3 = 2*c, 0*o + 4*c + 10 = 2*o. Is ((-340)/o)/(-5) + 3 a prime number?
True
Suppose 6*t = t + 6755. Suppose 2*r + 2 = 3*r, f - t = 5*r. Is f a composite number?
False
Suppose 1810*n - 1813*n = -197337. Is n a composite number?
True
Let q = 12910 - 6149. Is q a prime number?
True
Is (-3973802)/(-2058) + (-2)/(-21) composite?
False
Let o(k) = -11 + 10 + 2*k - 6*k + 2*k + 886*k**2. Is o(-1) a prime number?
True
Let j(b) = 490*b + 1. Let z be j(2). Let w be 2270*((-2)/(-10) + (-9)/(-15)). Let s = w - z. Is s a prime number?
False
Let s(b) be the second derivative of 43*b**4/2 - 5*b**3/6 + b**2 - 9*b. Is s(3) composite?
False
Let r(w) be the third derivative of w**5/60 + w**4/24 + 287*w**3/2 - 9*w**2. Let s be r(0). Let x = s + -514. Is x prime?
True
Let j(w) = -w**3 + w**2 + 2*w + 7. Let d be 45/12*(-12)/3. Let g = -19 - d. Is j(g) composite?
False
Let n = 13998 - 6359. Is n composite?
False
Suppose 24503 = 4*j + 2595. Suppose 0 = -p + 4*l + 1831, 4*p - 4*l - j = p. Is p composite?
False
Let r(v) = 15*v**2 - 27*v - 269. Is r(-20) a prime number?
True
Suppose 0 = q + 2*q - c - 1132, -4*q + 3*c = -1511. Is q composite?
True
Let v(m) = -m**3 - 5*m**2 - 5*m - 2. Let a be v(-4). Suppose -o = -k - a*o + 257, -5*o = -4*k + 983. Suppose 4*f = k + 1064. Is f prime?
False
Let i be -4 + 8 + 0 + -3. Let g(f) = 149*f**3 - f + 1. Is g(i) a composite number?
False
Let q = -26512 + 43431. Is q prime?
False
Let s(t) = t**3 - 5*t**2 + t - 39. Let g be s(6). Suppose 3*r - 3*p = 2247, -r - g*p + 216 = -541. Is r a prime number?
True
Let v be (-15)/(-9)*6/2. Suppose -53 = c - 0*a + a, v*c - a + 259 = 0. Let b = 287 + c. Is b composite?
True
Suppose 44398 = 4*w + y, 2*w = 2*y + 6778 + 15416. Is w a composite number?
True
Let d(l) = -748*l - 5. Let h(v) = 748*v + 5. Let i(x) = -3*d(x) - 2*h(x). Is i(2) a prime number?
False
Let q be ((-12860)/(-18))/2 + (-28)/126. Is 1/(-4 + q/89) composite?
False
Let y = -88 - -212. Suppose -2*d = 2*a - 5*d - y, -2*d + 232 = 4*a. Is a a prime number?
True
Is 69/92 + 33465/4 a prime number?
False
Suppose 2*j = -4*j. Suppose j = -3*t - c + 62, 3*t + 2*c + 3*c - 70 = 0. Is 5013/4 + (-5)/t composite?
True
Let t(c) = -259*c - 82. Is t(-15) prime?
True
Is 1/((-3)/(-129)) - 0 composite?
False
Suppose -3*c = 6, 2*b - 4*c = 747 + 771. Is b composite?
True
Let s(c) = 66*c**2 - 13*c - 22. Is s(-8) a prime number?
False
Suppose 2*s + 7 = 3. Suppose -v = 2 - 4. Is 5 - (v + -1 + s) a prime number?
False
Let d(g) = -g**3 + 12*g**2 + 4*g - 6. Let v be d(12). Suppose -38*i = -v*i + 4276. Is i a prime number?
True
Let u(w) = -46*w**3 - 3*w - 3. Let t(n) = n - 13. Let f = -17 + 28. Let k be t(f). Is u(k) prime?
False
Let y = -493 + 2795. Suppose -z - y = -3*z. Is z a composite number?
False
Is 5 + 1253 + 4/4 prime?
True
Suppose 524*l + 46715 = 529*l. Is l a composite number?
False
Let v(k) = -26*k + 20*k - k**2 + 2*k**2 - 11. Let q be v(15). Suppose 4*d - q = b - 3*b, b + 4 = 0. Is d a prime number?
False
Let v = 2657 + -204. Is v a prime number?
False
Let k(u) = -u**2 + 2*u. Let q be k(4). Is (-13098)/q - (-3)/24*-2 a prime number?
True
Suppose 20*s = 17*s + 1413. Is s composite?
True
Let j be 2/12 - (-142)/12. Let y be j/(-5) - 18/(-45). Is y/(-3) - (-14308)/12 composite?
False
Let g(f) be the first derivative of -21*f**2/2 - 7*f + 8. Let k = 11 - 17. Is g(k) prime?
False
Let c be 8 + (-3 - 1) + -3. Let p(y) = 3*y**2. Let g be p(c). Suppose 5*a = -5*t + 8360, -a - g*t + t = -1671. Is a a composite number?
True
Is 8222/(-10)*80/(-64)*12 prime?
False
Suppose -p + 11809 + 17580 = -2*l, -4*l - 12 = 0. Is p a prime number?
True
Let l = -340 + 201. Let m = 255 + l. Let v = m + 177. Is v composite?
False
Suppose 3*