. Is t a composite number?
True
Let c(w) = 1625*w**2 + 40*w - 6. Is c(5) prime?
True
Let f = -114923 - -167064. Is f a composite number?
True
Let v = 131 + -130. Is v/(((-1)/(-2053))/(-2 + 3)) a prime number?
True
Let p(z) = -2163*z**3 - 7*z**2 - 18*z - 3. Is p(-4) prime?
True
Suppose -50*v - 4487588 + 18923515 = 203*v. Is v a prime number?
True
Let a be (-582)/24*-1882 + (-2)/4. Suppose 5*j - 4*k - 45165 - a = 0, -90812 = -5*j + k. Is j composite?
True
Suppose x = 5*x + 2*x. Let y(h) = -h - 30. Let i be y(x). Is (-6)/i - 13602/(-15) a composite number?
False
Suppose -2*q - 58 = -10. Let n be (14/(-4))/(6/q). Suppose -n*b + 5*b = -2979. Is b a prime number?
True
Suppose i = -3*r + 37382, -112146 = -3*i - 37*r + 33*r. Is i a composite number?
True
Let n = -386 - -402. Let j(d) = -d**3 + 26*d**2 - 10*d - 7. Is j(n) prime?
True
Let j be (-7 - -6)*(-2 + -3). Is (-3)/(45/4475)*(-8 + j) prime?
False
Let q(v) = v**2 - 3. Let c be (-36)/3 - (-3 - 10/(-2)). Let m be q(c). Suppose -3*h - 3*u - m = -856, 3*h = -u + 667. Is h a composite number?
False
Let l(k) = -k**2 - 2*k + 3. Let f be l(-7). Is 8/(f/(-45788))*1 a composite number?
False
Let a(x) = 113*x**2 - 98*x - 196. Let q be a(-2). Let b(k) = -30*k + 5. Let h be b(5). Let g = q + h. Is g a prime number?
True
Suppose -3*m + 274428 = 2*g - 1270208, -4*g - 514846 = -m. Is m a prime number?
False
Let v(t) = -2*t**2 + 25*t - 5. Suppose 32 = 50*a - 46*a. Is v(a) prime?
True
Let t(p) = 255*p + 27. Let q be t(6). Let h = -109 + q. Let g = h - -1715. Is g prime?
True
Let f = -920 - -3148. Let x be 3/2*(-40)/(-12). Suppose d + f = x*d. Is d a composite number?
False
Let x(a) = 148*a**3 - 17*a**2 + 59*a + 1. Is x(11) composite?
False
Let l(t) = -263*t**2 - 5*t + 5. Let d be l(4). Let b = d + 7294. Let g = 5133 - b. Is g composite?
True
Suppose 6*r = 5*r - 8*r. Suppose r = 6*m - 28584 - 10230. Is m composite?
False
Suppose 5*w = 3*f - 43, -4*f = w - 3 - 16. Let a(i) = i - 6. Let k be a(f). Let v(z) = 7*z + 563. Is v(k) prime?
True
Let k = -10429 + 54540. Is k composite?
False
Is (-1016588)/(-14) + 496/868 a prime number?
False
Let l = -4524997 + 6476516. Is l composite?
True
Is -2*10/(220/(-333223)) composite?
False
Suppose -4*j + j = -2*o + 22, 3*j = 3*o - 27. Let i(h) = -1803*h - 4885. Let x be i(-4). Suppose -5*v = 5*f - 7*f - x, o*v = -f + 2339. Is v a prime number?
True
Let o = 489 + -343. Suppose -5*w + 4*p = -o, 3*w - 13 = -4*p + 49. Is ((-1 - 0) + -3)/((-4)/w) a composite number?
True
Let g = -7756 + 15099. Let a = -3764 + g. Is a a prime number?
False
Let m(v) = -v. Let p(y) = -1537*y - 19. Let s(t) = -6*m(t) + p(t). Is s(-2) a composite number?
True
Suppose -r + 5*s = r - 4745, 0 = 3*r + 2*s - 7165. Suppose -6997 = -2*k + r. Is k a prime number?
True
Let c be ((-50)/(-20) - (-2 - -1))*4. Let r(b) = b**3 - b**2 + 9. Is r(c) a prime number?
True
Let j(g) = g**3 + 24*g**2 - 26*g - 18. Let v be j(-25). Is (3 - v)/(12/(-18141)) a prime number?
True
Suppose -2*k - 10 = 2*s, 0 = -k + 5*s + 7. Let h(j) = -650*j + 23. Is h(k) prime?
True
Suppose 2*z - 16 = 2*j, -2 = 2*j - 3*z + 12. Is -58*(j + -3) - 3 a prime number?
True
Let d(y) = 2*y**2 + 19*y + 13. Let u be d(-9). Let k be 19/(5/(840/u)). Let i = -452 + k. Is i a prime number?
False
Let h(g) be the second derivative of 0 + 1/3*g**3 + 3*g + 499/2*g**2. Is h(0) a composite number?
False
Let g = 0 + -3. Suppose -11 = -3*l - 2*v, 10*v + 13 = -l + 6*v. Is (-3238)/g - (7/3)/l a prime number?
False
Let b be 16438/4 + 8/(96/18). Suppose 0 = -5*d + 2*f + 8564 + 11988, d = f + b. Suppose -8*z + d = -2*z. Is z prime?
False
Suppose -38 = 2*m + 4*g, 0*m + 5*g = 3*m + 112. Let o be m/((-2)/(-9) + (-345)/1431). Is (-1 - 2 - -4)*o composite?
True
Let c = -81841 - -5601. Let n = -33255 - c. Is n a prime number?
False
Suppose -12022 - 584633 = -45*t. Is t prime?
True
Suppose -7*a = -8*a + 12. Is (-2177)/(-1) + (a - 10) composite?
False
Is ((-117)/6)/39*4*(-117628)/8 a composite number?
True
Suppose -q + 16 - 53 = -3*c, 3*c = 9. Is (24/q)/(16/28)*-20542 prime?
False
Let q(j) = 11*j**2 - 7*j - 11. Let l be q(9). Let f(v) = -9*v**3 + 2*v**2 - 6*v + 2. Let m be f(4). Let d = l + m. Is d a prime number?
True
Let h(w) = -w**3 + 16*w**2 + 2*w - 12. Let u be h(16). Suppose 0 = -4*s - g - u, 5*g + 14 + 11 = -5*s. Let j = 18 - s. Is j prime?
True
Suppose 18*c - 8 = 22*c - 2*m, -c + 1 = m. Let y(b) = -22*b**2 - 3*b - 2. Let t be y(-2). Let q = c - t. Is q composite?
False
Is ((-4)/(-12))/((-61)/(-14641281)) prime?
False
Is (32/(-24))/(-6 - 4758104/(-793020)) a composite number?
True
Let c(h) = 40 + 109*h + 325*h + 142*h + 47*h - 6. Is c(3) composite?
True
Suppose 9 = 3*q, -x = -0*x + 5*q - 31. Suppose -72467 = -x*u + 33245. Is u prime?
True
Is 74414/(-19 - -21) + -20 a prime number?
False
Let t = 71 + -71. Suppose -5*x + 30 = 5*j, -4*j - 11 = -t*x - x. Is ((-4718)/x)/(2*-1) a composite number?
False
Let i = 2872 + -779. Let q = i + -1445. Suppose 3*c - q = -5*x, 419 = 2*c - 4*x + 3*x. Is c composite?
False
Let r be (8643/(-134))/((-3)/1484). Let i = 59229 - r. Is i prime?
False
Let k(b) = 3*b + 3*b**2 + 7*b**2 + 2*b**2 - 4*b. Let s be 7 + 1*(-6)/(-5 + 8). Is k(s) a composite number?
True
Suppose 176348 = -519*q + 520*q + u, 3*q - 529039 = 2*u. Is q a prime number?
True
Let l(f) = -70*f**3 - 6*f**2 + 7. Let m(r) = -71*r**3 - 7*r**2 - r + 8. Let j(n) = 6*l(n) - 5*m(n). Let z be 156/429 - 37/11. Is j(z) composite?
False
Suppose 0 = 253*g - 182*g - 20564227. Is g composite?
False
Let d be (-7 - -1)/(-2) - -9699. Let a = -5821 + d. Is a a prime number?
True
Suppose 10 = 16*h - 18*h. Let z be 3/h - 15834/(-65). Let n = z + -56. Is n prime?
False
Let m(r) = -2500*r - 7797. Is m(-68) composite?
True
Suppose -126*n - 368503268 = -275*n - 74786869. Is n a composite number?
False
Suppose -10*p + 12 = -8*p. Suppose 4*t = 5*c - p + 26, 0 = -3*c. Suppose 3*j - 956 = t*s - 3753, 0 = 4*s + 2*j - 2220. Is s prime?
True
Let t(c) = -4*c - 6. Let d be t(1). Let q be (d/(-15))/(4/(-1884)). Let w = q - -601. Is w prime?
False
Let z be (-11)/(55/(-30)) + (-8)/2. Suppose 0 = z*u + 357 - 10879. Is u a composite number?
False
Suppose -60*c = -220392 - 433488. Is c prime?
False
Suppose -24320 = -15*o + 125545. Is o a composite number?
True
Let i(h) = -11*h**3 - 7*h**2 + h + 9. Let n be 3/((-2)/(-10)*(-40)/24). Let k be i(n). Let b = -4309 + k. Is b a prime number?
False
Let d(m) be the second derivative of 59*m**5/20 + 3*m**4/4 - 4*m**3/3 + 7*m**2/2 + 3*m - 8. Is d(3) composite?
False
Let q be (-2 - -12) + -2 - (-1 - -6). Suppose y - 515 = -k - q*k, 0 = -5*y - 3*k + 2660. Is y prime?
False
Let a be 549/(-6)*6/9. Let l = 109 - 124. Let n = l - a. Is n composite?
True
Suppose 15 - 7 = 4*o. Let f be 1 - (-1 + o - -55). Let u = f - -108. Is u a composite number?
False
Let b = -468091 - -816240. Is b a prime number?
True
Let y(x) = 13*x - 42. Let j be y(-13). Let i = -84 - j. Suppose 5*c - i = -d, 5*c + 0*d - 121 = 2*d. Is c a composite number?
True
Let a = -18 - -34. Let l be ((-30)/80)/((-2)/a). Suppose -4*m = -2*n + 1102, l*n + 8*m - 1677 = 6*m. Is n a prime number?
True
Suppose -2*t - 1 = 29. Let x(c) = -13*c - 394 + 197 - 13*c**2 - c**3 + 187. Is x(t) composite?
True
Let u(h) = -2130*h + 22. Let n(i) = -1064*i + 11. Let k(o) = -5*n(o) + 3*u(o). Is k(-1) a composite number?
True
Suppose -3*i - 4*f = -26, 3*f + 16 = 3*i + 5*f. Suppose -r + 4*r = -i*s + 1, 3*r = 2*s + 17. Suppose -r*h + 102 = -531. Is h composite?
False
Suppose -18*m + 13*m = -595. Let y = m + -101. Is (-16)/(-72) + 18158/y composite?
False
Let k(l) = 2728*l + 367. Is k(25) prime?
True
Suppose 5*k - 43*x - 3237385 = -22*x, -k + 647477 = 5*x. Is k a composite number?
False
Suppose 10*v - 6929 = 6*v - k, 4*k - 1721 = -v. Is v a composite number?
False
Let m(n) = 74374*n - 1513. Is m(10) a prime number?
False
Let u(b) = 233*b**2 + 8*b + 15. Let r be u(-7). Suppose 1269 + r = 5*q. Suppose 3*j = -4*k + q, 5*k - 2*j - 3160 = -7*j. Is k prime?
False
Suppose -2*k + f + 11 = 0, -f - 69 = -66. Is -307*(-6 + 7 - k) a composite number?
True
Is (1/(-2))/(-9 + ((-71218845)/879246)/(-9)) prime?
True
Let a(w) = 8 - 7 - 2538*w + 0. Is a(-2) a composite number?
False
Let j be (2/(-4) - -1) + 12/8. Let o be j + (-5)/2 + 25/10. Suppose -3*w - 2*f = -5*w + 170, 