uppose m = 5*o - 348 - 14347. Is o a prime number?
True
Suppose 0*y = c - 5*y - 3, -4*c = -2*y + 6. Let n(t) = -524*t**2 + 3*t - 8*t**3 - 487*t**2 + 5 + 1010*t**2. Is n(c) composite?
False
Suppose 0 = -7*g - 11179 + 33523. Suppose -2*z - 2*l + g = -l, 5*l = -z + 1587. Is z a composite number?
False
Let z(r) = 157*r**2 + 18*r + 37. Suppose 5 = -5*o, -3*i - 3*o - 4 - 17 = 0. Is z(i) a composite number?
False
Suppose 2*t = -5*c + 20, 5*c = -4*t + 12 + 18. Suppose u - 6 = -t*g + 4, 0 = -5*u - 25. Suppose 3*p - 295 = 5*f, -2*f = g*p - 236 - 45. Is p prime?
False
Suppose 5*h = -5*t - 4430, 3*t + 1477 = 3*h - 1169. Let r = 555 - t. Is r prime?
True
Let u be -1 + (-30)/(-20) + (-267501)/6. Let a = u + 86026. Is a a prime number?
True
Let s = 5 + -6. Suppose 0 = -3*k, 2*k = -3*v - 2*k - 9666. Is s*(-6)/(-4)*v/27 prime?
True
Suppose 2*i + 2*y = 24, 4*i - 4*y = -0*i + 8. Suppose i*d = 6*d. Suppose d*l + 287 = l. Is l a composite number?
True
Suppose -4*k + g = -614794, -8*k = -12*k - 3*g + 614770. Is k a prime number?
False
Let w(v) be the first derivative of 133*v**2/2 - 10*v + 74. Let r(t) = t**3 + 3. Let n be r(0). Is w(n) a composite number?
False
Let h be (-11)/((-66)/48) - 6. Suppose -5*t = -2*r - 1337, 2*t - 4*r = -h*t + 1072. Is t composite?
True
Suppose -k + 6280 = -5*r - 2*k, -4*r - 4*k = 5040. Let u = r - -4176. Is u a prime number?
False
Let a(k) = -14*k - 44. Let s be a(-4). Let w be ((-14)/(-3))/(2/12). Is 13408/7 - s/w prime?
False
Suppose 21031 = 3*a + 4*b, 5*a = 45*b - 42*b + 35100. Is a a composite number?
True
Let h(g) be the third derivative of -g**6/24 - g**5/30 - g**4/24 + 2*g**3/3 - 10*g**2. Let a be h(-4). Let w = a - -157. Is w a prime number?
False
Suppose -6*q + 63213 - 21087 = 0. Suppose z - 8*z + q = 0. Is z prime?
False
Suppose -54821 = -13*w + 29926. Suppose -w = -8*h + 10753. Is h prime?
False
Suppose -6*q = -9*q + 24. Is (9 + (-68)/q)*1942 a prime number?
True
Let f be (-30)/(-9) - 3 - (-21)/(-9). Let d be 93/(f/(-3) - (-35)/(-45)). Let p = -518 - d. Is p composite?
True
Suppose -3*s = b - 5672, 12*b + 7552 = 4*s + 16*b. Suppose 5*r - r = 3*i + 7571, 0 = -r + i + s. Is r prime?
False
Suppose 4*t = 4*a + 16, 5*t - 5*a = -2*a + 16. Suppose t*c + 15*w - 20*w = 14354, -c = 4*w - 7151. Is c a composite number?
True
Let o(y) = -84*y**2 - 3*y - 3. Let q(c) = 2*c**2 + 2*c + 2. Let l(f) = -o(f) - 2*q(f). Let z(u) = u**3 - 6*u**2 + u - 8. Let k be z(6). Is l(k) a prime number?
False
Let n(a) = 3*a**2 - 8*a + 8. Suppose c - 29 = -3*z, 2*c + 0 = -2. Let y be n(z). Let x = y - -103. Is x composite?
False
Is (-34)/((-5236)/66) - 4/14*-503813 prime?
True
Is ((-691468)/(-24) - 3)/((-280)/(-1680)) a composite number?
False
Suppose 0 = l - z - 38116, 4*l - 152446 = -0*l - 2*z. Is l composite?
False
Let f(n) = -9*n**3 - 2*n - 2. Let o be f(-1). Suppose -o*w = w - 690. Is w composite?
True
Let u(i) = -4370*i**2 + i + 13. Let o be u(4). Let s(v) = -4*v**2. Let j be s(1). Is o/(-45) + j/10 prime?
True
Let r(q) = -4*q - 28. Let u be r(-7). Suppose 2*n = -5*l + 1360 + 1306, 4*l + 16 = u. Is n prime?
False
Let l(p) = 329*p - 305. Let k(m) = -219*m + 204. Let y(i) = -7*k(i) - 5*l(i). Is y(-4) prime?
False
Is (-189)/(-81) + (-223432)/(-6) composite?
True
Suppose 32*t - 217*t - 71*t + 21602048 = 0. Is t a composite number?
True
Suppose -8*z + 6491 + 2309 = 0. Let p = 1989 - z. Is p a composite number?
True
Suppose 286 = 39*f - 26. Suppose 4*o + i - 16805 = 0, i = 11*o - f*o - 12602. Is o composite?
False
Suppose 143 = -33*v - 70 + 48. Let z(n) = n**2 - n + 1. Let g(a) = -2*a**3 - a**2 - 2*a - 6. Let c(m) = g(m) + 2*z(m). Is c(v) a prime number?
False
Let s(n) = 2402*n - 41. Let m(c) = -c**3 + 8*c**2 - 11*c - 3. Let k be m(6). Is s(k) a prime number?
False
Let c(d) = -3*d - 13. Let w be c(16). Let r = w - -65. Suppose -2*a = 5*t - a - 2095, -t + r*a + 419 = 0. Is t composite?
False
Let k = 38553 + -19771. Is k prime?
False
Suppose -8*i = -5*i. Suppose -a + 3*a - 8 = i. Is 524 + ((-9)/(-3) - a) a composite number?
False
Suppose -5*m - 23 = 2*j, -3*m - 23 = m - 3*j. Let l(v) = v + 12. Let r be l(m). Let h(k) = 3*k**3 - 7*k**2 + 13*k + 10. Is h(r) a prime number?
True
Let g(j) = -j**2 + 15*j + 95. Let l be g(20). Let n(v) = -225*v + 22. Is n(l) composite?
True
Let p = 1180 + 6207. Is p a prime number?
False
Let c(a) = 15488*a + 5749. Is c(14) prime?
False
Let o(s) = -47*s**3 - 5*s - 9. Let d(m) be the first derivative of -2*m**3/3 + 3*m**2/2 + 12. Let h be d(2). Is o(h) prime?
False
Let z(t) = 2*t + 18. Let i be z(-7). Suppose 0 = 3*j + 2*j - 3*h - 15785, 3134 = j + i*h. Suppose 11*o = 13175 - j. Is o a prime number?
True
Let w(t) = -4*t - 21. Let g be w(-6). Suppose -5*j + j + l = -23859, -g*l + 23863 = 4*j. Is j prime?
False
Suppose 13*s - 14 - 38 = 0. Suppose -4*m - s*f + 60 = 0, -5*m + m = -2*f - 36. Suppose -l = -m*l + 910. Is l a composite number?
True
Let d be (4/(-8))/(2/(-8)). Suppose 58 = -2*a - d*a + 5*w, 5*a = -3*w - 54. Let g(i) = 3*i**2 + 6*i + 19. Is g(a) composite?
False
Suppose 0 = 3*a - g - 2*g + 1089, -3*a = -g + 1089. Let i = 619 - a. Is i a composite number?
True
Let j(p) = p**2 - 5*p - 18. Let v be j(8). Let q be 1/v - ((-10)/12 - -4). Let o(m) = -5*m**3 - 5*m - 11. Is o(q) prime?
True
Suppose 3*x - 1363984 = g, 317*g - 314*g = -2*x + 909341. Is x prime?
False
Suppose -4*t + d - 7538 = -36915, -t - 2*d + 7333 = 0. Suppose -11*a + 6*a - 4*v = -t, 2*v - 1465 = -a. Is a a prime number?
True
Let w(l) = l**2 + 2*l - 22. Let z be w(-7). Let p = 170 + z. Is p a prime number?
False
Let o(h) = -752*h + 1681. Is o(-42) prime?
False
Suppose 3 = 3*v, -4*v = 4*x - 8737119 + 3259703. Is x a prime number?
False
Let m = 225 - 207. Suppose m*u = 16882 + 15932. Is u a prime number?
True
Let o be (-3 + (-1 - 0))*(-117)/156. Let k = 1618 - 1128. Suppose 4*p = o*a - 1217, 2*p - 715 = -3*a + k. Is a composite?
True
Suppose 11*a - 51 = 48. Let z be 87*3/a*377. Let c = z - 7544. Is c a prime number?
True
Suppose -20 + 10 = -2*r. Suppose 0 = r*i - 6 + 6. Let y(l) = l**2 + 3*l + 839. Is y(i) composite?
False
Let d(t) = -t**3 + t + 28. Let o be d(0). Is 2982/o*472/12 composite?
True
Suppose 6*z - 84 = -30. Is z/12*(-76924)/(-3) prime?
True
Let s = -26 - -31. Let m(l) = 2. Let d(u) = -279*u + 30. Let b(q) = -d(q) - 2*m(q). Is b(s) composite?
False
Let h(c) = -12116*c + 40. Let f be h(-4). Suppose 2*t = 4*m - 0*m + f, 0 = t - 4*m - 24256. Is 30/(-50) - t/(-5) a composite number?
True
Suppose 0 = 28*r - 23*r + 70. Let c be 21/r - (-2414)/4. Suppose -8*p + 5170 = c. Is p composite?
False
Let z(t) = 466*t - 11. Let f be 42/(-9)*3/(-2). Is z(f) a prime number?
True
Let b be ((-888)/(-16) + 5)/(1/2) + 0. Let q(j) = 4*j**3 + 5*j**2 - j + 2. Let k be q(-4). Let m = b - k. Is m composite?
True
Let m = -2 + 3. Let b(d) = 27*d - m + 104*d - 1. Is b(3) a composite number?
True
Suppose -8*c = -4*c - 60. Let n(x) = 2*x**2 + 2*x - 2. Let p be n(2). Suppose 5955 = c*h - p*h. Is h prime?
False
Suppose -8*h = -6 - 10. Suppose 0 = -w - 3, 0 = -3*o + 4*o + h*w - 1667. Is o prime?
False
Let g = 57 - 45. Let j be ((-1)/3)/((-4)/g) + 11905. Suppose 3*m - j = -371. Is m a prime number?
False
Is (-8)/(-48)*-4*-780414*2/8 composite?
False
Let m(n) = -185*n - 3003. Is m(-74) a prime number?
True
Suppose -143*m - 105140 = -147*m. Suppose -39*y + m = -34*y. Is y composite?
True
Suppose -1790*t + 1825*t - 9054185 = 0. Is t a composite number?
False
Suppose -2*a = -i - 284639, -776*a - 2*i + 284660 = -774*a. Is a a composite number?
True
Is 136443*(340/51 + -3) a composite number?
True
Let o be ((-35)/10 - -4)*-6. Let w(v) be the first derivative of -65*v**4/4 - 2*v**3/3 - 3*v**2 + 2*v - 64. Is w(o) a prime number?
False
Let d(r) = 2720*r**2 - 28*r + 145. Is d(6) composite?
True
Suppose -7*f + 3*f + 34280 = 0. Let h = f - 4914. Suppose -4*b = t - 929, -5*t - b + h = -t. Is t a composite number?
True
Suppose 304*c + 185980026 - 451306058 = 0. Is c composite?
True
Let p = -2889 + 5906. Is p a prime number?
False
Suppose 252 = 3*q + q. Suppose 4*y + q - 19 = 0. Is ((-55)/2)/y*(-614)/(-5) prime?
True
Suppose -113*u + 5 = -114*u. Let w(a) = -435*a**2 - a - 20. Let y be w(u). Is (-1)/(4 - y/(-2722)) a composite number?
False
Let z = 103858 - 54951. Is z a composite number?
False
Let l(c) = 