posite number?
False
Suppose -27*i - 5*p = -32*i + 1232355, i + 3*p - 246463 = 0. Is i prime?
True
Let m(k) = -29 + 0*k**3 + 6 + 24*k - 20*k**2 + k**3. Let y be (-512)/(-26) - (29 + (-11049)/377). Is m(y) a prime number?
True
Let m(o) = -12*o**2. Let x be m(-1). Let g(a) = -a**3 - 13*a**2 - 11*a + 22. Let v be g(x). Suppose -v*s + 3200 + 3130 = 0. Is s prime?
False
Let l(x) = -3*x + 17. Let h be l(7). Let s be 2 - 1 - ((-4776)/h)/(-3). Suppose -109 = -4*i + s. Is i a prime number?
True
Let u be 11/(-2) - 3/(-12)*-2. Let s(z) = z**3 + 7*z**2 + 7*z + 12. Let d be s(u). Suppose 9*t - 10245 = -d*t. Is t composite?
False
Let j(g) = -99*g**3 - 33*g**2 + g - 61. Is j(-6) prime?
True
Is (-1)/(3/(-127902)*(96/(-42))/(-8)) prime?
False
Suppose -4518 = -2*m + 3*w, 3*w + w - 9056 = -4*m. Let x = -1355 + m. Is x a composite number?
False
Suppose 3*n - 19 - 29 = 0. Suppose -2*b + 6*b = n. Suppose -b*y + 11072 = 2860. Is y a composite number?
False
Let f(y) be the third derivative of 89*y**6/24 - y**5/60 - y**4/12 + y**3/2 - 3*y**2 - 21. Is f(1) a prime number?
False
Suppose -5*v - 58744 = -12*v. Suppose v = 3*m + 5*j - 14917, 5*j = -5*m + 38855. Is m prime?
False
Let h be (1*-1)/((-1)/(-5)). Let v(u) = -126*u + 13. Let k be v(h). Suppose 6*t + 2*g - 1895 = 3*t, 0 = t - 5*g - k. Is t prime?
False
Is (-47)/329 - 637416/(-21) a prime number?
False
Let y be ((-17)/21 - (-9)/63)*-3. Suppose y*t + 8*t - 7910 = 0. Is t a composite number?
True
Let z = 45 - 26. Let c = 22 - z. Suppose c*o - 572 = 5*v, -2*o - 117 = v - 520. Is o a prime number?
True
Suppose 7*b + 5 + 9 = 0. Let a be b/(2/(-942)*3). Suppose 3298 = 12*f - a. Is f composite?
True
Let v(z) = 18*z**2 - 33*z - 2. Let m = -527 + 543. Is v(m) a prime number?
False
Let n be (-3)/(-12) - 2*(-4)/(-32). Suppose n = 6*v - 3*v - 12. Suppose v*g - 2*p - 1948 = 0, -g - p + 180 = -307. Is g composite?
False
Let m(u) = -u**3 + 17*u**2 + 19*u - 18. Let i be m(18). Let c be 3 + -1 + -2 + i. Let b(f) = -3*f + 1345. Is b(c) prime?
False
Let w = -7956 + 38695. Is w a prime number?
False
Let z(f) = -79*f**2 + 18*f + 29. Let m(k) = -157*k**2 + 38*k + 57. Let q(x) = 3*m(x) - 7*z(x). Is q(-5) a composite number?
True
Let i = 455 - 444. Suppose i*q = 5*q + 8166. Is q composite?
False
Let n(q) = -q**3 + 4*q**2 + 2*q. Let w be n(4). Is -3 - (-676)/(9 - w) prime?
True
Let p = -154 - -157. Suppose -a + 2*s + 2312 = a, -p*s = 3*a - 3438. Is a a composite number?
False
Suppose 7533094 + 1414352 = 61*g + 2091107. Is g composite?
True
Let u(q) = 28*q + 99. Let r be u(36). Let h = 670 + r. Is h prime?
True
Suppose 5*k - 20111 = 2*b - 283604, -131779 = -b - 4*k. Is b prime?
True
Suppose -2*d - 3 = 1, 1 = -3*t + 4*d. Let p be (-328)/t*162/(-4). Is ((-24)/30)/(-4) - p/10 composite?
False
Let v be (6/2)/(6/(-112)). Let r(w) = w**3 + w**2 - 13*w - 6. Let g be r(3). Is v/(-3) + (-3)/g composite?
False
Let f(i) = -i**3 - 31*i**2 - 22*i - 59. Suppose -4*k = 11*m - 13*m - 58, 0 = 5*m - k + 154. Is f(m) prime?
False
Let z be ((-8)/(-10 + -6))/(2/(-12)). Is 3713 + (-6 - 6/z) composite?
False
Let u(o) = 288*o + 11. Let q(s) = 287*s + 10. Let z(v) = 6*q(v) - 7*u(v). Is z(-12) a composite number?
False
Suppose 0 = 3*b - 3*m + 6 - 15, 0 = -2*b - 4*m. Suppose 4*r = c - 13161, b*c - r - 26243 = 86. Is c a composite number?
True
Let y(u) = 157*u**3 + 17*u**2 + 40*u - 16. Let q(v) = -52*v**3 - 6*v**2 - 13*v + 5. Let d(l) = 8*q(l) + 3*y(l). Is d(5) a prime number?
False
Let i(w) = 200*w + 135. Let g be i(17). Suppose -k = -2*r + 514 + 900, 5*r + 4*k - g = 0. Is r composite?
True
Let t = -365660 - -699517. Is t composite?
False
Suppose 0 = w - s + 6868 - 165721, -4*w = 2*s - 635442. Let l = w + -102103. Is l a composite number?
True
Let b(v) = 11*v**2 - 3*v - 6. Let c be b(7). Suppose -5*a = f + 100 + 448, 0 = f - 4*a + c. Let o = -351 - f. Is o a composite number?
True
Suppose -12473*u + 12443*u + 26366610 = 0. Is u composite?
True
Let t be (-24)/(-9)*18/(-12)*-1. Suppose -3*j - n - 15 + 185 = 0, 4*j - 240 = -t*n. Is j a prime number?
False
Suppose a - 4*b - 3803 = -1467, 5*a - 5*b - 11620 = 0. Suppose -2*x - 3*v - 771 - 409 = 0, -4*v = -4*x - a. Let u = -333 - x. Is u prime?
True
Suppose 5*z = 11*z - 10896. Let v = z + -1247. Let m = v - 52. Is m a prime number?
False
Suppose -3*v - 5*y = -207919, -53897 = 3*v + 2*y - 261828. Is v composite?
False
Suppose -17*z - 11*z + 10*z + 24588 = 0. Let x = 2187 - 1140. Let b = x + z. Is b prime?
False
Suppose 5*i + y - 506219 = 0, 5*i + 155637 = 3*y + 661880. Is i composite?
True
Suppose -2*n = -4, -4*n + 26 = 2*g + 10. Suppose 7985 = 2*u - 3*q, -7*q + 3*q - 15960 = -g*u. Is u a composite number?
True
Let v(l) = -852*l + 439. Is v(-17) prime?
True
Suppose 4*b - 6 = -2*c + 4, 10 = 4*c - 2*b. Suppose -c*g = -7336 - 6107. Is g a prime number?
True
Let x(y) = -79*y**3 + 5*y**2 + 6*y - 5. Let d(j) = -j**3 - 2*j**2 - 1. Let c(q) = -4*d(q) - x(q). Is c(2) prime?
True
Let t = 244729 + 50250. Is t a prime number?
True
Let o(g) = -g**3 - g**2 - 1. Let c(l) = -22*l**3 + 2*l**2 + 8*l + 4. Let h(i) = c(i) + 5*o(i). Is h(-5) composite?
False
Let b = 147777 + -73366. Is b composite?
False
Let m(b) = 395*b + 993. Is m(44) prime?
False
Is ((3/2)/(31 + -28))/((-4)/(-3320728)) prime?
False
Let x(o) = 8*o + 1. Let b(f) = 7*f. Let m(p) = 6*b(p) - 5*x(p). Let y be m(5). Suppose y*k - 2740 = k. Is k prime?
False
Let g(h) be the first derivative of h**4/12 + 2*h**3/3 + 6*h**2 + 53*h + 53. Let q(n) be the first derivative of g(n). Is q(-7) a composite number?
True
Suppose -239096 = -7*q + 93950. Is q composite?
True
Suppose d - 140407 = -2*a, 594*d - 210579 = -3*a + 596*d. Is a composite?
False
Let t(z) = 16 + 1 + 23*z**2 - 279*z + 289*z - 3*z**3. Is t(-9) a prime number?
False
Suppose 0 = -2*m + o + 1200738, -m - 5*o + 267259 = -333132. Is m a prime number?
True
Let r be (-232 - 0)/(-4) - -1. Let j = 34 - -77. Suppose -2*i + j = -r. Is i a prime number?
False
Let m = -31065 - -156118. Is m a composite number?
False
Let j = 128744 - 84811. Is j a composite number?
False
Let s(m) = 173*m**3 + 27*m**2 - 11*m + 14. Let i be s(8). Suppose -i = -6*z - 8*z. Is z prime?
False
Let q be 14/(-28) - 5/(-2). Suppose -4*h = -5*z + 4, 2*h + 3*z + 22 = -q. Is 1262 - 3 - (-6 - h) composite?
False
Suppose 167*f + 81*f = 239656108 + 74976780. Is f composite?
False
Let g be -6 - (4 + -2 + -2220). Suppose -6*v + 3122 = -g. Is v composite?
True
Let a(f) = f - 9. Let r be a(16). Let n(w) be the first derivative of 37*w**2 + 15*w + 112. Is n(r) prime?
False
Let g = -32 + 43. Suppose -4*c - 1 = 5*p, p - c - c - g = 0. Suppose 1459 = p*z + 3*b - 1289, 5*b + 2772 = 3*z. Is z composite?
False
Suppose 1679324 + 657924 = 16*j. Is j prime?
False
Suppose -5*g + 1552073 = 4*n - 894246, -5*g = 5*n - 2446325. Is g a composite number?
True
Suppose 0 = -3*v - 33 + 27. Let a be 1 - 2/6 - v/(-3). Suppose -z + 2282 = 5*g - 5*z, a = -g + z + 456. Is g a prime number?
False
Suppose 5*s - 10 = -2*f + 9, 0 = -2*f - s + 39. Let v(m) = -3*m**3 + m**3 + 0*m**3 + 29*m + m**3 + 3 + 21*m**2. Is v(f) a composite number?
False
Let f = -1580 + 2964. Let c(s) = 217*s**3 - 4*s**2 + 12*s - 17. Let o be c(2). Suppose y = 4*l - f, -5*l + o = -3*y + y. Is l composite?
False
Suppose -5*q = -6*i + 74623, -454*q - 5 = -453*q. Is i prime?
True
Let c be 333/8 + (-210)/(-560). Suppose -66*x + 362424 = -c*x. Is x a prime number?
True
Suppose -11*k + 227911 = 56047. Suppose -5*a - 3*v = k, -5*a = -4*v + 6599 + 9004. Let q = -1606 - a. Is q prime?
False
Suppose -z = -2*j - 5370 + 50086, 3*j - 67081 = 5*z. Is j a prime number?
False
Let k(d) be the third derivative of 2*d**6/15 - 2*d**5/15 - 23*d**4/24 - d**3/6 + 120*d**2. Is k(10) prime?
True
Let d be 301/63 + 6/27. Let y be 1/d + 26136/(-55). Let z = -213 - y. Is z composite?
True
Suppose -2*u = -2*j + 6, 2*j - 6 = -5*u - 0. Suppose d + 0*d + 14 = 2*q, -5*q + j*d = -35. Suppose -370 = 5*h - q*h. Is h a prime number?
False
Suppose 5*r = 75 - 40. Suppose -40 = -u - r*u. Suppose -u*w = -2*k - 7995, -4*k + 3*k + 1592 = w. Is w a prime number?
True
Is (3 - 0)/((1/1)/1062914*6) a prime number?
True
Let i(g) = 38*g**2 - 8*g - 2. Let o = -87 + 80. Let s be i(o). Is (s - (-15)/(-5))*1 prime?
True
Let s = 43859 + 54032. Is s prime?
False
Let g be (-4)/12 - (-