8. Is t prime?
True
Let q be 7/(14/(-3)) + (-103494)/(-4). Suppose 11*t = 451 + q. Is t composite?
False
Let y(x) = 2*x**2 - 51*x + 30. Let c be y(25). Suppose -5*k = -k - c*i - 5459, 0 = -4*k + i + 5447. Is k prime?
True
Let y be 2/6 + (-64)/12. Let l be 2 + (2 + 1 - 0). Is y/l + (-5)/2*-14 composite?
True
Let x = 70237 + -117397. Is (2/4)/(-10*6/x) composite?
True
Let b(m) = 82*m**2 - 28*m - 3359. Is b(60) a composite number?
False
Let x(g) = 938*g - 205. Let t(r) = 932*r - 204. Let w(b) = 2*t(b) - 3*x(b). Is w(-14) a composite number?
True
Let l = -6588 + 17926. Is l a composite number?
True
Let g(p) = 3*p - 30. Let r be g(14). Let k(l) = 3*l**2 + l - 9. Let m be k(r). Let n = m + 80. Is n a composite number?
True
Suppose -15*m = -6*m - 45. Suppose -m*l - 2 = -7*l. Is (-21)/7*l*251/(-3) prime?
True
Let o(z) = 54*z**2 - 154*z + 2335. Is o(142) composite?
True
Suppose 53*f - 3*b = 55*f - 21616, 0 = -2*f + b + 21592. Is f a composite number?
False
Let f be 3/6*(-4)/(-6)*6. Suppose 0*k + 2812 = f*k. Suppose 4*q = -3*l + 2888, 2*l + k + 2181 = 5*q. Is q a composite number?
False
Let r = 74270 - 47081. Is r - 0 - (3 - (1 + -2)) a composite number?
True
Let j(a) = 7*a - 11. Let d be j(4). Suppose 37*u = d*u + 132740. Is u a composite number?
False
Let o = -12 + -2. Let v be (4/(2 - 4))/((-1)/o). Let a = 111 + v. Is a prime?
True
Let u(t) = t**2 - 11*t + 26. Let y be u(8). Let p be (2 - (y + -2) - 3) + 6. Suppose -2*j + 4*j = -p*z + 431, z = 4*j + 73. Is z a prime number?
False
Let l(g) = -420*g + 3. Let c be l(1). Let v be c/2*50/(-15). Suppose 33*x - 38*x = -v. Is x a prime number?
True
Suppose -37*s + 30713 = -329482. Suppose -2*q + s = 13*q. Is q composite?
True
Let i be 42/14 + (-1 - -1). Suppose -5*r + i*r = -84. Is ((-1899)/(-6))/(9/r) composite?
True
Let q = 1628077 + -482850. Is q composite?
False
Suppose -66803 = 9*t - 569543. Suppose 2*o - t = -5*o. Suppose 0 = -9*n - 2301 + o. Is n composite?
False
Suppose -47*m = -75*m + 16045316. Is m a composite number?
False
Is (2 + 663069)/((3 + -5)/(-2)) a composite number?
False
Suppose 8 = -5*l + 223. Suppose -p + l - 39 = 0. Suppose -p*f + 613 = 125. Is f a composite number?
True
Suppose 2*g = -5*c, -g + 8*c = 4*c - 13. Suppose -4*q = -i - 21522, -3*q = q + g*i - 21534. Is q prime?
True
Let x be 6034 + (-10)/(30/9). Suppose -x = 62*a - 63*a. Is a a prime number?
False
Let l(o) = 1589*o + 32. Is l(43) prime?
False
Let t(o) = -77*o**3 + o**2 + 3*o + 2. Suppose 3 = l, 3*d + 0*d = 2*l + 6. Let i be d*(-5)/(-40) + 7/(-2). Is t(i) a prime number?
True
Suppose -3*y + 1648 - 230 = g, 3*g = -5*y + 2358. Let r be (-1)/(-1)*(2 - 0). Suppose r*x - 5*x = -y. Is x prime?
False
Let j(b) = -b**2 + 14*b - 6. Let v be j(7). Let r = v + 314. Is 1 + (r - 2) + 3 a composite number?
False
Let d(y) = 22135*y - 372. Is d(17) prime?
True
Suppose 15*g = 12*g + 9783. Suppose 0 = 4*i + r - 4348, i - 4*i = -r - g. Is i a prime number?
True
Let p(c) = -459593*c - 676. Is p(-1) a composite number?
False
Let p(z) = 12*z**3 - 31*z**2 - 48*z + 97. Is p(24) a composite number?
False
Let d be (-40)/(-12)*24/(-10). Let o = 5515 + d. Is o a prime number?
True
Let g(z) = -17*z**3 + 2*z**2 + 9*z + 7. Let r be g(-4). Let n = -42 + r. Is n a prime number?
True
Suppose -32*w = -3*w - 16704. Suppose 0 = 5*r + 2*v - 18915, r - v = 3200 + w. Is r prime?
False
Suppose -437 - 51 = -8*i. Suppose -5*y = -17450 - 13730. Suppose i*n = 65*n - y. Is n prime?
True
Let s be 6/(-5 - -7) + 0. Suppose 3*o - 12*v + 15*v - 30918 = 0, 2*o + s*v = 20617. Is o composite?
False
Let b(q) be the second derivative of q**5/20 + q**4/4 - q**3/6 + q**2 - 4*q. Let g be b(-3). Suppose d - 1065 = -g*x, -5*d = 3*x - 4*x + 213. Is x composite?
True
Suppose 4 = 4*a - 4. Let l(x) = x**3 - 19*x**2 + 21*x - 14. Let p be l(18). Suppose 0 = a*b - 6*b + p. Is b a composite number?
True
Let m be -3 + (3 - -1) - -80. Let w = -60 + m. Let b(v) = v**3 - 20*v**2 + 17*v - 7. Is b(w) prime?
False
Let x(r) = -6*r + 9. Let z be x(-5). Suppose -35*p + z*p = 42480. Suppose -p + 1550 = -2*b. Is b a prime number?
False
Suppose -1224*u + 19750 = -1219*u. Suppose -14*m + 992 + u = 0. Is m composite?
False
Is (-1569)/(-6)*296 + 11 + -4 composite?
True
Let k = -480 + 1123. Is k/((4/(-8)*3)/(-3)) a prime number?
False
Is ((-42060)/(-120))/(-4 + (-7140)/(-1784)) prime?
False
Suppose -72*o = -11*o + 38*o - 25770789. Is o a prime number?
False
Suppose -137 = -9*j - 29. Suppose -3*d = -2*d + 3*h + j, -25 = 5*h. Let f(l) = 305*l - 8. Is f(d) a composite number?
False
Let a = 8886 + -3823. Is a a prime number?
False
Is (-9930991)/(-4) + ((-33)/(-154))/(2/(-7)) prime?
True
Let z(u) be the first derivative of -u**3/3 + u**2/2 + u + 21. Let t(g) = 7*g**2 - 5*g - 10. Let l(a) = 2*t(a) + 10*z(a). Is l(6) a prime number?
False
Suppose -23 = -4*i + 25. Suppose 284547 = i*b + 32631. Is b a prime number?
False
Let h(c) be the first derivative of -3*c**2 - 37*c - 47. Let b = -35 + 20. Is h(b) a composite number?
False
Let s(d) = -320*d + 4579. Is s(-30) composite?
True
Suppose u + 5*w + 9 = 0, -w = -4*u + 44 + 4. Let d(x) = 39*x + u + 56*x + 77*x. Is d(2) a prime number?
False
Let y be 3 + 19/(-7) + (-8)/28. Suppose 2*o - 6*o - 2988 = y. Let v = 308 - o. Is v composite?
True
Let t(y) = -1157*y - 566. Is t(-29) composite?
False
Let l(w) = -w**3 - 12*w**2 + 8*w - 21. Let j be l(-13). Suppose 41*t = j*t - 1437. Is t prime?
True
Suppose -2*p = 27*m - 31*m + 112298, 56154 = 2*m - 2*p. Suppose -3*q + m = -3359. Is q a composite number?
False
Let g be (72/10)/(1/5). Let b = g - 36. Suppose 8*x - 437 - 435 = b. Is x a prime number?
True
Let p = 83862 + -44492. Suppose 63*n + p = 73*n. Is n a prime number?
False
Suppose 0 = -9*d + 124 - 25. Let q(j) = j**3 - 2*j**2 + 26*j - 13. Let h be q(d). Suppose 5*i = 5423 + h. Is i composite?
True
Suppose 6*u = -2*v + 2*u + 16344, 3*v + 5*u - 24511 = 0. Let g = v - 631. Is g a composite number?
True
Let b(v) = 1061*v**2 + 34*v + 38. Let m be b(10). Suppose -3*o = x - m, 10*o + 3*x = 9*o + 35490. Is o a composite number?
True
Let d(i) = 242*i + 3. Let b be d(-14). Let p = -1672 - b. Suppose -5*t = -p + 248. Is t prime?
True
Suppose 96 = -6*n - 10*n. Let u(r) = -7 + 7*r - 6*r**2 + 3*r**3 - 4*r**3 - 2*r**3. Is u(n) a composite number?
False
Suppose 5*a + 4*n + 376 = 0, 3*a + 227 = -0*a - n. Let h = -368 - -411. Let y = h - a. Is y a prime number?
False
Let f be 7/(-14)*-8 - 2. Suppose -v + 3*v = 2*w - 20038, f*v = -4*w + 40088. Is w a prime number?
False
Suppose 0 = -4*m + 7*m + 57. Let d = 18 + m. Is ((435/10)/3)/(d/(-34)) a composite number?
True
Let s(q) = 1146*q - 12. Let h be s(11). Suppose b + 5*i - h = -2*b, -3*i = -b + 4212. Suppose -837 = -u + 2*r, u - 4*r = -4*u + b. Is u a prime number?
False
Suppose -3*b - 76 = -82. Suppose -2*z - 10450 = -b*j, -2*z - 5229 = -j - 3*z. Is j composite?
False
Let u be 1 + 9422/12 - 9/54. Let r = 263 + u. Let t = r + -316. Is t composite?
False
Let f = 153 + 1601. Let k = f + 1287. Is k composite?
False
Let z(v) = 690*v**2 + 60*v + 3. Let l(x) = 197*x**2 + 17*x + 1. Let f(k) = 18*l(k) - 5*z(k). Let a be f(-7). Suppose -3*c - 2*c + a = 0. Is c composite?
True
Suppose -3340 = a + 388. Let s = a + 5391. Is s a composite number?
False
Let y(j) = -j**2 + j + 9. Let b be y(3). Suppose 3*m - 5822 = -4*a, b*m + 6*a - a = 5821. Suppose 26*l + m = 28*l. Is l composite?
False
Suppose -3*t = 12, t = 6*j - 2*j - 12. Suppose 2*c = -3*f + 5, j*c + 3*f = 4*c + 1. Is (0 - c) + (0 - -1 - -905) a composite number?
True
Suppose 2*k - 4314 - 14740 = -4*p, 19045 = 2*k + p. Is k a prime number?
True
Suppose -5*v = -27 + 22. Let z be 9938/3 - v/(-3). Let k = -1154 + z. Is k a composite number?
True
Suppose 0 = -5*u + 3*c + 27235, -2*u - 206*c + 10894 = -203*c. Is u prime?
False
Let b(w) = 145*w**2 - 83*w + 1091. Is b(14) a composite number?
False
Let d(c) = 3*c**3 - 4*c**2 + c - 4. Let x be d(3). Let t be 96/x + (-10)/55. Suppose o - 203 = 4*w, t*o - 171 = 3*w + 260. Is o a composite number?
False
Let d(z) = 77 + 2*z - 44 + z - 51. Let q be d(12). Suppose q*g - 12*g = 372. Is g prime?
False
Let g(r) = 3*r**3 - 2*r**2 + 2*r - 5. Let f be g(2). Suppose 19*y - f*y - 1228 = 0. Is y a prime number?
True
Let y = -109 - -4. Let b = y + 404. Is b a composite number?
