m a composite number?
True
Let b = 2129 + -1305. Let t = 1323 - b. Suppose 4*r + 119 = t. Is r composite?
True
Let k(s) = -s**2 - 8*s + 2. Let m be k(-8). Let d(u) = -7*u**3 + 5*u**3 - 3*u**m + 4*u - 9*u**3 - 9. Is d(-4) a composite number?
False
Suppose -103*j + 7066124 = -51*j. Is j composite?
False
Suppose -314*c + 315*c = n - 3, 5*c = 5. Let i be (3 + -2)*0 + 608. Suppose 4*j + 5*u = -0*u + i, 2*j - 298 = -n*u. Is j prime?
True
Let t = -10377 + 65198. Is t composite?
True
Let l = 2122 + -6536. Let x = 8175 + l. Is x composite?
False
Let f = -517 + 548. Let p be 2/(-9) + (-30880)/36. Let c = f - p. Is c composite?
True
Let j(t) = t**3 - t**2 - 2*t. Let s(w) = -3256*w**3 + 4*w**2 + 10*w + 1. Let z(o) = -5*j(o) - s(o). Is z(1) a prime number?
True
Suppose -2*n = 32 + 76. Let k = 40 + 355. Let j = n + k. Is j composite?
True
Suppose 0 = 216*r - 2538499 - 5333. Is r a prime number?
True
Suppose 10*b - 29623 = -353. Is b prime?
True
Suppose 0 = -12*f + 8*f + 12. Suppose -4*c = -s + 328, 0*s + 1548 = 5*s + f*c. Suppose 0 = v - 9*v + s. Is v prime?
False
Is (-7 - (-10 + 0 + 8)) + 127936 a prime number?
True
Suppose 0 = 8*h + 40, 5*i = -h - 0*h + 417130. Is i a composite number?
True
Let i(n) = n**3 - 2*n + 15. Let z be i(0). Let t = -11 + z. Suppose t*p - 3*o - 5092 = -0*o, -3*p + 3819 = -o. Is p a prime number?
False
Suppose 169426 = 14*z - 192712. Is z a composite number?
False
Suppose 0 = z - 3*s - 18557, 4*z - 74228 = -0*z - s. Suppose -z - 257 = -2*n. Is n composite?
True
Suppose -2*b = -4*q - 24, -q + 7*b - 13 = 3*b. Let a be 2674/q - (-4)/(-20). Let n = 1056 + a. Is n prime?
True
Suppose -2*s + 10 = 0, 98354 = 5*a - 2*s - 223201. Let b = a - 43407. Is b a composite number?
True
Suppose 0 = -194*u + 198*u - 73492. Is u a prime number?
False
Let o = -284 - -304. Is 1*409/(4/o - 0) composite?
True
Suppose -51*l + 776431 = -8623328. Is l prime?
True
Let b be -1 - (-2 - (2 - 8)). Is ((-7)/(-7))/(((-10)/8242)/b) a composite number?
True
Let t = 359 + -156. Let c = t + 542. Is c a prime number?
False
Let l(t) = -8*t + 11. Let b(v) = v. Let q(r) = 6*b(r) + l(r). Let w be q(3). Suppose 3*h + d = 239, -w*d = -4*h + h + 227. Is h composite?
False
Let i = 25 - -349. Let v = -263 + i. Suppose -12*k + v = -9*k. Is k a prime number?
True
Let k(h) be the first derivative of h**3/3 - 3*h**2 + 8*h - 37. Let c be k(4). Suppose m - 3*i + i - 747 = c, 2 = i. Is m composite?
False
Let p be (-450)/2*(9 + -19 - -9). Let r = 3320 + p. Is r composite?
True
Suppose 2*t - 15 = -3*d + 8, d - 3 = 0. Let f be -1 - -2 - 40/(t + -3). Let a(w) = -57*w - 14. Is a(f) a prime number?
True
Suppose 8*u + 76*o = 74*o + 1563344, -2*u - 4*o + 390822 = 0. Is u a prime number?
False
Suppose i + 110050 = -25*d + 27*d, 0 = -5*d + 3*i + 275127. Is d prime?
False
Let c(u) = -6*u - 21. Let v be c(-4). Suppose -a - 3*x + 456 = -511, -v*a = 4*x - 2881. Is a a composite number?
True
Let h(l) = 3*l**2 - 8*l - 4. Let q be h(-6). Let d = q + 4261. Is d prime?
False
Let t = 119203 + -70296. Is t prime?
True
Let b = -15099 - -29059. Let k = -9051 + b. Is k composite?
False
Suppose -3*y - 314 - 163 = 0. Let k = 64 - y. Is k a prime number?
True
Suppose -423*k = -133*k - 47015090. Is k a prime number?
False
Let f = -2157 + 186566. Is f prime?
True
Suppose -2*s - 3*q = -0*q - 259, -3*q = 15. Suppose -2*k = 21 - s. Suppose -k*f - 1492 = -60*f. Is f prime?
False
Suppose -79 + 67 = 3*k, -k = -2*q + 41910. Is q prime?
False
Let m(g) = -g**3 - 21*g**2 + 14*g + 105. Let c be m(-23). Let i = c - -1132. Is i a composite number?
False
Suppose -37*p = -62*p. Suppose p = -4*z, 2*o - 73324 = -2*o + 5*z. Is o a prime number?
False
Let y be 6*(8/(-12))/(-1). Suppose l - y*r = 20361, -16*l = -13*l + 5*r - 61100. Is l a composite number?
True
Let u = 9 - 11. Let x be 0 - (u/3)/((-4)/2994). Let t = -134 - x. Is t a composite number?
True
Let l = -5148431 + 7906008. Is l composite?
False
Is 85/102*(-5 - -106424) - 10/(-4) prime?
False
Suppose 0*h + 3*h = 12. Let r be 1*(4 - h) + -163. Let i = r + 230. Is i a prime number?
True
Let r(m) = 57486*m + 10691. Is r(16) a composite number?
False
Suppose -6*k - 41 = 205. Let d = 45 + k. Suppose 4*c + d*g + 124 - 2048 = 0, g + 489 = c. Is c composite?
True
Let q be 15/(270/6844) + 4/(-18). Suppose q = 2*j - 248. Is j a prime number?
False
Let g = 66397 + -4046. Is g a prime number?
True
Suppose -5*r - 3*t + 1338 = 0, 2*t - 1656 + 586 = -4*r. Is (r - 2)*(1 + 0) composite?
True
Let i = 88391 - 41010. Is i prime?
True
Let o(t) be the first derivative of -19*t**4 + 0*t**2 + 2*t + 10 + 1/3*t**3. Is o(-2) composite?
True
Let d = -1804 + 1139. Let j = 84 - d. Is j prime?
False
Let z be (-8 - -226)/1 - 6. Let x = -2 - -3. Let l = z - x. Is l a composite number?
False
Suppose 863*k - 854*k - 523449 = 645984. Is k a prime number?
True
Let u be 3/(-9) - 21/(-9). Suppose 8*o + u*v = 4*o + 164, -42 = -o - v. Suppose 2*n + 2*g = 26, -2*g + 3*g - o = -4*n. Is n a composite number?
True
Let i(x) = 395*x**2 + 2*x. Let q be i(-3). Let k be 11*(-1 - 614)/3. Let b = k + q. Is b a prime number?
False
Let l = 10 + -6. Suppose -11*x + l = -9*x. Is (-4647)/(-21) - x/7 composite?
True
Let y = 29 - 95. Is 2763 + (-176)/y*(-6)/(-4) composite?
False
Let p(z) = z**2 - 6*z + 8. Let t be p(5). Suppose -t*h - 45 = -5*i + 2*h, -5*i + 72 = 4*h. Suppose 3*l = 3*g + 7836, -4*g + 0*g = i. Is l a prime number?
True
Let w(k) = k**3 + 33*k**2 - 43*k + 55. Let g be w(-31). Suppose 1602 - 7307 = 3*h + 4*u, -h - 4*u = 1907. Let s = g + h. Is s prime?
False
Suppose m = -0*m - 21. Let a(u) = -11*u**2 - 25*u - 35. Let k(s) = 13*s**2 + 24*s + 36. Let b(j) = -5*a(j) - 4*k(j). Is b(m) a composite number?
True
Let z = 18 + -13. Let g be z + 4 + -2 + 2. Is 18402/g + (-2)/(-6) prime?
False
Let g = 9 - 6. Suppose 1481 = 5*a - g*d + 7*d, 5*d = 20. Is (a/(-2))/(-3 + (-10)/(-4)) a composite number?
False
Let z(n) = 1060*n**2 - 8*n - 55. Let a be z(6). Suppose 0 = -5*x - v - 0*v + 38069, 2*v = 5*x - a. Is x a prime number?
False
Suppose -33*y + 104 = 38. Is (-1)/15*y - (-19082392)/840 a composite number?
False
Let d = -107 + 127. Suppose -d*m - 46 = 94. Is 335430/210 + 2/m prime?
True
Suppose 69138 = -37*b + 40*b. Let f = -12637 + b. Is f composite?
True
Let v(t) = 15*t + 117. Let f be v(-8). Is (f - 177/(-6))/(3/66) composite?
True
Let n(b) = b**3 - 27*b**2 + 33*b + 401. Is n(26) a composite number?
True
Let y = 641 + -623. Suppose -2*q = -22 + y, -5*q - 3845 = -3*f. Is f a prime number?
False
Suppose 29 = 3*m + 17. Suppose -1020 = -7*g + m*g. Suppose -53 = i - g. Is i a composite number?
True
Let u(w) = 61*w**3 + 4*w**2 + 4*w + 5. Let v be (-9)/(-3) + 5 + -4. Is u(v) a prime number?
True
Suppose -193*z = -26*z - 230935449. Is z prime?
False
Suppose 7*h - 5*h = 5*v - 1505863, 4*v - h = 1204688. Is v a composite number?
True
Suppose -2*l = -4*z + l + 51, -4*z + l = -41. Suppose 3 = z*i - 6. Is (i + 0)*(7 + 665 + 1) composite?
False
Let t be 3 - ((-8 - 3) + 0). Suppose -2*u + u = 2*c - 18, 2*c + t = u. Let d(x) = 4*x + 23. Is d(u) prime?
False
Is -1 - ((-24)/((-20)/(-5)) + -303635 + 5) a prime number?
False
Let v(a) = a**2 - 16*a - 73. Let l be v(20). Suppose 9808 = l*y - 6453. Is y prime?
False
Let p(q) = -7*q**2 + 9*q - 38. Let z(k) = -3*k**2 + 5*k - 19. Let t(b) = -3*p(b) + 5*z(b). Suppose m + a - 4 = -10, 2*a = -5*m - 36. Is t(m) prime?
True
Let g(f) = 364*f**2 + 5*f - 15. Let d be g(3). Let y = d - 1009. Suppose 2*h = y - 429. Is h a composite number?
False
Let h(d) = d**3 - 3*d**2 + d + 2. Suppose 4*s = -0*t - t + 6, -4*s + 4*t + 16 = 0. Let m be h(s). Suppose r - 2733 + 122 = m. Is r a composite number?
True
Is (250423 - 1) + -45 + 58 a prime number?
False
Suppose -4*w + 4*q + 981328 = 0, 271*w + 736001 = 274*w - 4*q. Is w prime?
False
Let t(n) be the third derivative of n**6/120 + 14*n**5/15 + 2*n**4/3 - 107*n**3/3 + 2*n**2 - 6*n. Is t(-55) prime?
True
Let m(a) = -4*a**3 - 3*a**2 - 7*a - 10. Let q be m(-3). Is 3522/(-9)*-6*253/q a prime number?
False
Let p = 57 + -50. Suppose p = 2*o + n, 5*o + 0*n = n + 7. Suppose -5*c + 4227 = -o*c. Is c a prime number?
True
Let m = 208258 + -3527. Is m a prime number?
False
Is ((-20 + 21)*-2)/(4/(-678122)) a composite number?
True
Suppose -6*x = -5*x - 4. Suppose -a = -4*n - 10, 7*n 