, -3*o - 5 = -4*x - 8*o. Suppose 8*i - 537 - 191 = x. Is i a prime number?
False
Is ((-1)/2)/((-136495)/136490 + 1) prime?
True
Suppose -p - 2 = -13. Suppose 0 = -p*m + 96888 + 57959. Is m a prime number?
False
Let l(v) = -78*v - 5. Let r = 10 - 18. Let t(a) = a + 4. Let k be t(r). Is l(k) a composite number?
False
Suppose 9*x - 9979 = 3314. Is x composite?
True
Let d(s) be the second derivative of -1/2*s**2 + 0 + 17/12*s**4 - 1/6*s**3 + 4*s. Is d(3) a composite number?
False
Suppose 5*m - 30 = -o, 2*m + 5*o = -m + 18. Let a(k) = 28*k**2 + 8*k + 5. Is a(m) composite?
False
Suppose d = -n, 3*d - 24 = 6*n - n. Suppose -4041 = -5*x - 2*y, -4056 = -5*x + 4*y - d. Is x composite?
False
Suppose -55*v + 33890 = -45*v. Is v a prime number?
True
Suppose 0 = 3*f - 3*d - 24804, 22525 = -5*f - d + 63835. Is f a composite number?
False
Let i(w) = -1353*w - 7. Let q be i(5). Is ((-6)/(-4))/((-6)/q) prime?
True
Let t be (72/(-30))/((9/480)/(-1)). Let u(c) = -c**3 - 2*c**2 - 4*c. Let w be u(-5). Let y = t + w. Is y a prime number?
True
Suppose 0 = 4*j - 4*q - 64748, -4*j - j + 80923 = -2*q. Is j composite?
False
Let c(p) = p**2 - 112*p + 67387. Is c(0) prime?
False
Let y(b) = -766*b - 21. Is y(-28) a prime number?
False
Let q be 6/(-4)*32/(-16). Suppose -q*p = 5*f - 16 - 2, -6 = -3*f + 3*p. Suppose -a - 3*o + 272 = -21, -o + 879 = f*a. Is a composite?
False
Is -34910*(21/(-18) - 2/(-3)) composite?
True
Let v(m) = -5*m**3 - 59*m**2 - 6*m - 59. Let w(y) = -3*y**3 - 39*y**2 - 4*y - 39. Let p(a) = 5*v(a) - 8*w(a). Is p(13) prime?
True
Let b = -4 - -6. Is 1/(b/(-7))*(6 - 28) prime?
False
Suppose 0 = -3*z - 10 + 31. Is 2608 - (7/z)/((-2)/6) composite?
True
Let x = -49 + 56. Suppose 0 = x*h - 5*h - 5798. Is h a composite number?
True
Suppose -17*s = 55*s - 2147112. Is s prime?
False
Let p = -4 - -29. Is 212 + p/(-5) + 2 a composite number?
True
Is (34/(-4) + 10)/(1/3086) a composite number?
True
Suppose 4*d - 21 = -9. Suppose -d*l - 4*h = -9355, -2*h - 12444 = -3*l - l. Is l a composite number?
True
Suppose 5*m - m = -5*k + 22730, 0 = 3*m - 2*k - 17059. Let q = 9796 - m. Is q a composite number?
False
Let x(g) = 1196*g. Let o be x(3). Suppose -4*d = -a + 1851, 3*d - 5644 = -5*a + o. Is a a prime number?
True
Let a(o) = o**2 + 9*o - 16. Let s be a(-13). Is (2799/s)/(1/4) prime?
True
Suppose -1060 = -5*a - 0*a. Let v = a + 87. Is v composite?
True
Suppose -2*c + 176 = -3866. Is c prime?
False
Let c(a) = a + 4. Let i be c(0). Suppose -4*m = 4*h - 8, 3*m + h - i = 2. Suppose -1526 = -m*t - 0*t. Is t prime?
False
Let x(u) = 6*u - 2. Let z be x(1). Suppose -d + 1033 + 142 = z*v, d + 583 = 2*v. Is v a prime number?
True
Let v(i) = 3*i**3 + 3*i**2 - i + 8. Let r be v(4). Let a = 435 - r. Is a prime?
True
Let p(o) = -7*o**3 + 5*o**2 - 6*o + 52. Let y(c) = 3*c**2 - c**3 + 4*c - 5*c - 2*c**2 - 1. Let k(j) = p(j) - 6*y(j). Is k(0) prime?
False
Let a = -96 - -372. Suppose b - 5*b + a = 0. Is b composite?
True
Let u = 18639 - 10772. Is u a prime number?
True
Let u(a) = 5*a**2 - 26*a + 24. Suppose -n + 61 = -4*m + 2*n, -2*m - 38 = -4*n. Is u(m) composite?
True
Suppose -39*z + 47*z - 364976 = 0. Suppose 12*l = z - 11554. Is l a prime number?
False
Let s = -1452 + 3503. Is s composite?
True
Let m(u) = 32*u - 16. Suppose 3*k = -h - k + 28, -h = -5*k + 17. Let z be m(h). Let l = z - 113. Is l prime?
True
Suppose -3*w = t - 389, 297 + 348 = 5*w + 5*t. Suppose l - 16 = w. Suppose -3*k + 370 = 5*d + l, -2*k - 3*d = -151. Is k prime?
True
Let c = 4609 - 188. Is c a prime number?
True
Let g(o) = -o**2 - 8*o - 7. Let l be g(-8). Let w(v) = v**2 + 8*v + 8. Let d be w(l). Is ((-34)/(-6))/(d/6) a composite number?
True
Suppose -4*q + 0*k + 5764 = 5*k, -3*k = 0. Is q a composite number?
True
Suppose 7*n - 6*n = -11. Is (-543 + n)/(1 - 3) a prime number?
True
Let o(v) = -3*v - 4 + 2 + 15*v**2 - 3 + 51*v**2. Is o(-2) composite?
True
Let l be (-5 + (-45)/(-10))*0. Suppose l = 4*r - 8*r + 19828. Is r prime?
True
Let d = -342 - -1031. Is d prime?
False
Let w(f) = 3*f**2 + 51*f + 123. Is w(-18) prime?
False
Is (-3042)/(-312)*88/6 prime?
False
Let h(n) = -n**3 - n**2 + 2*n - 4. Let j be h(-3). Suppose 2*l + 2*l + j = 0. Let t = 35 - l. Is t composite?
False
Is -3*(18570/(-9) - -9) composite?
False
Suppose 0 = s - 3*w - 132, -s - 4*s + 3*w = -612. Suppose 4*t = -s + 476. Is t prime?
True
Let l(v) = v**3 + 10*v**2 + 3*v + 10. Let k = -4 - 4. Let j be l(k). Suppose 0 = -4*x + 82 + j. Is x composite?
True
Let t be (0 + 8)*(-6)/(-3). Let a = 20 - t. Suppose 2372 = a*v - 608. Is v prime?
False
Suppose 3*a = 3 + 9. Suppose c = 2*s + 11, 6*c = 3*c - a*s + 13. Is c prime?
True
Suppose 4*t - c = -414 + 77, 3*t + 255 = 3*c. Is ((-7152)/t)/((-4)/(-14)) a composite number?
True
Let a be (-1813)/(-3) + 12/18. Suppose -574 - 8 = -6*g. Suppose 4*b + g = a. Is b a prime number?
True
Let q(g) = 6*g**2 - g + 1. Let l be q(1). Suppose 7*a - 4*i + 8 = 4*a, 4*a - 2*i - l = 0. Suppose -4*f = -5*j - 0*j + 91, a*j - 2*f = 74. Is j prime?
True
Let m(v) = v**3 + 2*v**2 - v + 1. Let i(h) = 2*h**3 + 3*h**2 - 16*h + 8. Let k(d) = -i(d) + 3*m(d). Let q be 2/4 - (-11)/2. Is k(q) composite?
False
Suppose 3*j = y + 153, -2*j - 3*y + 191 = 2*j. Suppose j = q - 7. Is q a composite number?
True
Suppose 0 = 3*v - 0*a + 2*a - 20, 0 = 2*v + a - 15. Is 1510/6 - (-9)/((-135)/v) prime?
True
Is 751/(-2)*(74 - 80) a prime number?
False
Let l be 5/15 - 284/24*106. Let r = l - -3115. Is r prime?
True
Let i = 37 + -34. Let m be (1/3)/((-1)/(-6)). Suppose 5*p = i*z - 386, m*z + 3*z - 5*p - 640 = 0. Is z a composite number?
False
Let p = 131 - 128. Is 3764/p - (5 - 0)/(-15) a composite number?
True
Suppose 11986 + 16959 = 5*d. Let t = d - -5888. Is t a composite number?
False
Let r(j) = -488*j + 3. Let h(b) = 10*b + 3. Let w be h(-1). Is r(w) prime?
False
Let j = -2084 - -3621. Is j a composite number?
True
Let k(j) = 223 + 174 + 7*j - 6*j - 3*j - j**2. Is k(0) a composite number?
False
Is (23889/6)/((34/(-4))/(-17)) composite?
False
Let q = -35 - -45. Suppose -q*v + 502 = -8*v. Is v composite?
False
Suppose -1 = -4*r + q, 2*r = 3*r + 3*q + 3. Let m(v) = -v**3 - v**2 + 557. Is m(r) composite?
False
Let z = -5171 + 8784. Is z a prime number?
True
Let d(c) be the first derivative of c**4/4 - c**3/3 - c**2/2 - 5*c + 5. Suppose 4 = r + m - 1, 34 = 5*r - 4*m. Is d(r) a composite number?
True
Let l(d) = 3*d - 1. Let a be l(1). Suppose -2*r + 76 = -0*f - 3*f, a*f + 40 = -4*r. Is (-277)/(-4) - (-6)/f composite?
True
Let w = -24921 - -44950. Is w a composite number?
False
Let y = 63383 + -43668. Is y prime?
False
Let o(t) = 3*t**2 + 14*t + 22. Let l = 28 - 34. Let j be ((-6)/10)/(l/(-90)). Is o(j) prime?
True
Suppose 14 = -5*k - 46. Let i be (5 + 1)*(-6)/k. Suppose i*n + 1022 = 4*q + n, 2*q - 3*n - 505 = 0. Is q a prime number?
True
Let b(d) = 2894*d + 523. Is b(17) a prime number?
False
Let w = -14 + 5. Let t be 18/w*291/(-2). Suppose 13*b - 10*b - t = 0. Is b composite?
False
Suppose 0 = 4*q + 2*a - 11506, 0 = -q - 3*q - 3*a + 11503. Is q composite?
True
Suppose 0 = 27*z - 41*z + 2446738. Is z a prime number?
True
Let f(q) = -q**3 + 9*q**2 - q + 11. Suppose 45 = o + 4*o. Let g be f(o). Suppose 0 = -g*p - 33 + 1547. Is p composite?
False
Suppose 14*s + 3 = 11*s, 0 = -4*x + 5*s + 3489. Is x prime?
False
Let k(y) = -499*y - 2. Let j(r) = r**3 - 6*r**2 + 4*r - 3. Let d be j(5). Let s = d - -7. Is k(s) prime?
False
Let h be (-20)/(-2) - (-3 - -3). Suppose -2*v + h = 0, -3*y + 575 = -7*y + 3*v. Let d = y - -259. Is d composite?
True
Let t = 2521 - 1334. Is t a composite number?
False
Let m(z) = 3*z**3 - 7*z**2 + 6*z + 15. Let c be (-4)/14 - 20/(-70). Let s be 0/(-5) + 6 + c. Is m(s) a composite number?
True
Let k be 2*((-36)/(-8))/3. Suppose k*p - 5 - 10 = 0. Suppose -x + 5*x - 156 = -4*n, -p*x - n = -179. Is x a prime number?
False
Let o(v) = -v**2 - 2*v**3 - v**3 + 4 - 2 + v. Let q be o(-1). Suppose 33 = 5*r - 3*g, -q*r + 6 = -g - 17. Is r composite?
True
Suppose 0*l = -3*l + 612. Suppose 5*m = -10, 0 = 2*q - m - l - 836. Is q prime?
False
Let i(t) = 20*t**2 + t + 1. Let n be i(-1). Suppose -3*h + n = 2*h. Suppose f - 3*f - h*z = -134, 1 = z. Is f prime?
False
Let x = -29 + 33. Suppose t + 2*b - 109 = 0, -2*b + 89 = -x*t + 535. Is t a composite number?
Tru