se 2*j - t - 9883 - 2393 = 0, 0 = 4*j + 5*t - 24566. Is j composite?
True
Let i be (-194)/(-6) - 26/(-39). Suppose 0 = i*y - 35*y + 1838. Is y a prime number?
True
Let m = 26 + -26. Let j(x) = x**3 + x**2 + 3*x + 1149. Is j(m) a composite number?
True
Let o = 12072 + -8091. Is o composite?
True
Let b = 27 + -38. Let w be (-13 - b)*(-1262)/4. Let u = -357 + w. Is u a composite number?
True
Suppose -1 = -3*m + 2*m. Is (413 + 1 + -5)/m a prime number?
True
Suppose 62 = z + 289. Suppose 0 = 2*l - 10 + 202. Let i = l - z. Is i a prime number?
True
Let t be (-3)/6*(25 - 1). Let y be (-7511)/(-42) + (-2)/t. Let c = -128 + y. Is c a composite number?
True
Is 3765/10*(-22)/(-3) prime?
False
Let r(m) = -m**3 - 3*m**2 - 6*m + 5. Is r(-5) composite?
True
Let r(p) = -p + 4. Let h be r(0). Suppose -h*s = -8*s + 196. Is s composite?
True
Is 5 + 25/((-125)/(-10560)) prime?
False
Let o = 1144 + -387. Is o composite?
False
Suppose d - 2*s = -143 - 1075, 0 = -5*d + 3*s - 6125. Let n = 1739 + d. Is n a composite number?
True
Let z = -8 + 10. Suppose -z*k + t + 3*t = -110, 220 = 5*k + t. Let n = k - -26. Is n a composite number?
False
Let c(v) = -3*v**3 - 6*v**2 - 5*v + 5. Let w = -348 - -228. Let f be (2/(-4))/((-15)/w). Is c(f) composite?
True
Let g(x) = 46*x**3 + 2*x**2 - 4*x - 3. Let d be g(4). Suppose -z + d = 2*y + 272, -4*z = -4*y + 5400. Is y a prime number?
False
Let f(s) = -51*s**2 + 2*s. Let u(p) = -p - 1. Let a(o) = -f(o) + 2*u(o). Is a(2) prime?
False
Let j be ((-5)/(-3) - 34/17)*-12. Is 2627*j/(0 + 4) composite?
True
Let y(c) = 6356*c**2 - 13*c + 33. Is y(4) a prime number?
False
Let o(d) = -3655*d - 73. Is o(-2) a composite number?
False
Let f = -315 - 63. Let d = f - -206. Let l = d + 317. Is l composite?
True
Suppose -2*a = 6, 3*u + 2*a = -722 - 73. Is 16/40 + u/(-5) a composite number?
False
Suppose -44*p + 31435 = -39*p. Is p a composite number?
False
Is 10/45 + 467912/72 composite?
True
Let m = 23 - 17. Let u(z) = z + 6. Let d be u(-4). Is d/m + 18016/24 composite?
False
Let i(o) = 1 - 2 - 6 - 15*o. Let j be 18/4*(64/12)/(-4). Is i(j) a prime number?
True
Suppose -5*d - 1820 = 3*q + 15, d + 2*q + 367 = 0. Let w = 162 - d. Is w composite?
True
Suppose -398 = -4*s - 2*n + 1276, 2*n = -2*s + 842. Suppose 0*i - s = -4*i. Suppose -2*k = -i - 482. Is k a prime number?
True
Suppose h = 3*q + 2*h - 37859, 2*h = -q + 12623. Is q a composite number?
False
Let y = 599 + -888. Let h(u) = -80*u - 2. Let t be h(2). Let a = t - y. Is a a composite number?
False
Suppose 3*j = -i - 4, 0 = -i - j - j - 6. Let t = i - -11. Let a(m) = 1791*m**2 + 2*m. Is a(t) a composite number?
True
Let f = -29 - -32. Suppose -f*l + 4*l = 1511. Is l a prime number?
True
Let p(i) = 1885*i**2 + 2*i - 3. Is p(2) prime?
True
Let b(q) = q**3 + 5*q**2 + 4*q + 1. Let y be b(-4). Suppose -16 = -5*o - y. Is 3*o/(3/17) a composite number?
True
Let j be (-2)/6 - 384/(-18). Suppose -22*t + j*t = -2. Suppose t*o - 12 = 194. Is o prime?
True
Let c(k) = 49*k**2 + 11*k + 43. Is c(13) a composite number?
False
Suppose -2*y = 3*w - 183029, -10*y = -14*y + w + 366051. Is y prime?
True
Let r = -8020 - -54139. Is r a composite number?
True
Let b = 16 - 14. Suppose 8 = b*o + 2. Suppose -o*g = 3*z - 234, 4*g = 2*z - 223 + 61. Is z a prime number?
True
Let j(o) = 25*o**2 + 107*o + 26. Is j(-20) a prime number?
False
Let q = -16300 - -11609. Let y = -2742 - q. Is y composite?
False
Let i(p) = 10295*p**2 + p + 3. Is i(-1) a composite number?
True
Let i be (-3)/9 - 68/(-6). Let m(r) = -12 - 4*r**2 + 4*r**2 + r + 25 + r**2. Is m(i) composite?
True
Suppose i = 0, -3*n - 3*i + 5*i + 51 = 0. Let r(t) be the first derivative of -t**4/4 + 6*t**3 - 2*t**2 + 2*t - 2. Is r(n) composite?
False
Is (-4 - 294/8)*-12 + 2 prime?
True
Let j = 12810 + -3953. Is j a prime number?
False
Suppose -h + 3*h = -3*m + 36, -5*m = 0. Suppose 9*k - h*k = -12681. Is k prime?
True
Let c(x) be the second derivative of 25*x**3/2 - 7*x**2/2 + 2*x. Suppose -4*i + 3 + 36 = y, 4*y = -5*i + 46. Is c(i) a composite number?
False
Let i(l) = 4*l + 2. Let w be i(-6). Let o = 32 + 0. Let f = w + o. Is f prime?
False
Let o(j) = 5*j**2 - 47*j + 103. Is o(-40) composite?
True
Let z = -13 - -14. Suppose 0 = 5*k + 4 + z. Let h = 1 - k. Is h a prime number?
True
Suppose -4*a + 74798 + 133830 = 0. Is a composite?
True
Suppose 6*t = t + 42605. Is t a prime number?
True
Let v(b) = -385*b - 123. Is v(-8) composite?
False
Let c = -78026 + 119239. Is c prime?
True
Suppose j + 6 - 10 = 0. Suppose 3*v = -j*i + 4, 5*v - 9*v + 5*i = -26. Suppose 2*g = v*o - 218, 5*o - 2*g - 270 = 3*g. Is o composite?
True
Suppose 5*q = 5*w + 2 + 3, 3*q = w + 9. Let h(k) = -71*k + 2. Let z be h(-5). Suppose q*r - z = r. Is r a composite number?
True
Let f(p) = 79*p - 2. Let m(d) be the third derivative of d**4/8 - d**3/3 + 9*d**2. Let j be m(1). Is f(j) a prime number?
False
Let u be 170/45 + (30/27)/5. Suppose -5*a = 2*n + n - 2539, -2*n = u*a - 2032. Is a a prime number?
True
Suppose 2*p + 0*n = 2*n, -5*p + 10 = -3*n. Suppose p*t + 3*j - 35 = 5, -t + 8 = -5*j. Let z(a) = a**3 - 3*a**2 - 4*a - 1. Is z(t) a prime number?
False
Let c be (-1110)/(-2) - (-5 - -3). Suppose -c = -3*z + 2*z. Is z a composite number?
False
Suppose 3*a - 51556 = -3*u + 12224, 5*u - 42523 = -2*a. Is a a composite number?
True
Let f(d) be the first derivative of 13*d**4/6 + 4*d**3/3 - 11*d**2/2 - 5*d + 4. Let q(p) be the first derivative of f(p). Is q(7) a composite number?
False
Suppose 5*c - 1 = 19. Suppose j = -j + c*l + 114, 4*l = 4*j - 216. Is j composite?
True
Suppose 0 = -2*z + 4*z - 18. Let w = z - 7. Suppose w*o - 6*o + 476 = 0. Is o a prime number?
False
Suppose -3*i + 8*i = 25. Suppose -3*o = -5*k - 8*o + 25, -3*k + 39 = -i*o. Suppose -k*s + 3*s + 1537 = -m, 301 = s + 3*m. Is s prime?
True
Let v = 3557 + 3944. Is v composite?
True
Let q(y) = 222*y - 151. Is q(9) prime?
True
Let d(k) = 16*k + 15. Let h be d(-3). Let f = h + 56. Is f a prime number?
True
Suppose 0 = -5*f + 15, 4*j - 4*f - 148 + 0 = 0. Suppose -3*y + j = y. Is ((-12)/y)/((-4)/430) a prime number?
False
Let z(x) = x**2 - 6*x + 7. Let v be z(5). Suppose -v*t - 324 = 160. Is 9/6*t/(-3) a prime number?
False
Let c(b) = 3*b + 43. Let n be c(-10). Suppose -n*q + 18*q = 6085. Is q a prime number?
True
Let w be -2 + 2 - 8*1. Let c(j) = -2*j**3 - 11*j**2 - 10*j + 9. Let f(q) = -q**3 - 6*q**2 - 5*q + 4. Let u(l) = 3*c(l) - 7*f(l). Is u(w) prime?
True
Suppose 14*s + 4333 = 15*s - 3*h, -5*h = 2*s - 8644. Is s composite?
False
Let r(d) = -337*d**3 - 2*d**2 + 10*d + 21. Is r(-4) a composite number?
False
Let f(k) be the third derivative of -k**4 - k**3/3 + 5*k**2. Let r be f(-10). Is (-4)/8 + r/4 a composite number?
False
Suppose 23*p = 11*p + 132348. Is p composite?
True
Is (-1)/(-4) - (-87788)/272 prime?
False
Suppose -t + 6*t - 920 = 0. Suppose 0 = 4*j - t - 276. Is j composite?
True
Suppose 4*m = 2 + 2. Let a(c) = -586*c**2 + 2*c + 1. Let i(x) = -587*x**2 + 3*x + 1. Let l(v) = -3*a(v) + 2*i(v). Is l(m) a composite number?
True
Suppose 15*f - 78932 = 11*f. Is f prime?
False
Suppose -4*h + 7738 = -2*k, 0*h - 1937 = -h + 3*k. Is h prime?
False
Let q = 23 + -14. Let t = q + -7. Let s(z) = 6*z**2 - z + 1. Is s(t) a prime number?
True
Suppose -3*a = 5*j - 978, -4*a - j = -2*a - 645. Let x = 908 - a. Is x prime?
True
Suppose -23*w + 2859173 = -2449388. Is w a composite number?
False
Is (3/2)/((-18)/(-50892)) - 0 composite?
False
Let g be (-4)/(-22) + (-62)/(-22). Let u = -6 - -6. Suppose -g*r - 2*r + p + 1070 = 0, -2*r - 2*p + 416 = u. Is r a composite number?
True
Suppose -3*t + 88576 = -o + 6*o, 0 = 3*o + 4*t - 53139. Is o a prime number?
False
Is (-13)/(-6) - 2 - (-228769)/102 a prime number?
True
Let n be 234 - (-9)/(27/6). Suppose q = -87 + n. Is q composite?
False
Let l = 11 - 8. Suppose -t = l - 6. Let q(f) = 10*f - 4. Is q(t) composite?
True
Let a = 98 - 96. Suppose -4*g + 8130 - 926 = a*r, -2*r - 3602 = -2*g. Is g prime?
True
Suppose 2*u = 6*u - 408. Is 51/6*(u + -8) a composite number?
True
Let l = 121 + 260. Suppose -6*f = -5*f - l. Suppose 3*y - 498 = f. Is y prime?
True
Let g be (3 + -5)*(-6)/4. Let a be -1 - (g + -3 - -2). Is (1 - a/1) + 145 prime?
True
Suppose 3*b - 14 = 10. Suppose -b = -2*k, k = -2*n + 7 + 7. Suppose -n*x + 5*a