l - 43700 - 36150. Is (1 + 0)/((-47915)/l - 6) a prime number?
True
Let a(m) = m**2 + 5*m + 3. Let i(u) = -2*u - 2. Let w be i(2). Let g be a(w). Suppose 2*o - 5*o = 4*f - 1627, 0 = 3*o + g. Is f composite?
False
Let g(y) = y - 3. Let j be g(3). Suppose -2*n + 5*n - 2113 = -2*q, j = 5*n + q - 3510. Is n a composite number?
False
Suppose -3*a + t = -2*t - 126, -178 = -4*a - t. Let n = 88 - a. Suppose n = -3*c + 299. Is c composite?
True
Let i be (32/(-2))/((-2)/24). Let f(x) = -x**3 - 30*x**2 - 30*x - 18. Let h be f(-29). Suppose j - h = i. Is j prime?
False
Let i be (-32996)/(-10) + (-21)/35. Suppose -4*b = -v + 675, -b - i = -v - 4*v. Suppose 4 = -4*t + 8*t, 0 = 2*o + t - v. Is o prime?
False
Suppose -v = 5*p + 10, 2*v = -3*v + 25. Let g be p - (-2)/(-3)*-9. Suppose -4*o = -3*d - 133, -12 = g*d - 3. Is o prime?
True
Let o(z) = 158*z - 63. Is o(14) a prime number?
False
Suppose 6836 = 2*f - 2*d, d - 3410 = -f - 2*d. Suppose 3*i + f = 5*x + 4*i, -1361 = -2*x + 5*i. Is x a composite number?
False
Let d be (-4)/(1/1) + 213. Suppose -1563 = -4*f + d. Is f a prime number?
True
Suppose -349024 - 142569 = -5*o - 4*c, -2*o + 196644 = 5*c. Is o a prime number?
True
Let u = -1344 - -2453. Is u prime?
True
Let k(j) = 3747*j**3 + 2*j**2 - j - 1. Suppose 0*r + 4*z - 6 = -r, -3*r - 3*z = 0. Let y be k(r). Is y/(-77) + (-4)/22 a prime number?
True
Suppose -5*c + 5*d = -1040, 3*c - 568 - 88 = -5*d. Suppose -4*p - 2*k = -1428, k + 1436 = 3*p + 365. Let f = p - c. Is f composite?
True
Let v = -27125 + 40926. Is v composite?
True
Let j(p) = 1280*p**2 + 9*p - 3. Let n(y) = -y**3 - 9*y**2 - 6*y + 14. Let g be n(-8). Is j(g) a composite number?
False
Let b = 55 - 30. Suppose -4*k = -i - 2529, -3*i - b + 10 = 0. Is k composite?
False
Let c(l) = l**2 + 3*l + 2. Let j be c(-4). Let z(y) = y**2 + 6*y + 8. Let q be z(-5). Is 27*q + -8 + j a prime number?
True
Suppose 10*f - 840 = -0*f. Suppose -2*j = -4030 + f. Is j prime?
True
Let w = 11660 - -8643. Is w a prime number?
False
Let v(f) = -f**3 - 3*f**2 - 28*f + 17. Is v(-18) a prime number?
True
Suppose -2*b + 2*o - 4 = 0, -10 = 5*b + 5*o - 3*o. Let u be b - 12/(-3) - -2. Suppose 118 + 94 = u*k. Is k prime?
True
Suppose 14*t - 13*t - 2*u = 6215, -5*t - 3*u + 31049 = 0. Is t a composite number?
False
Suppose -2*w = -5*w. Suppose w = -3*b + 2*y + 590, 5*b = 2*b - 4*y + 566. Let x = b + -108. Is x composite?
True
Let u(x) = 10 - 15 - 59*x + 2*x - 19. Is u(-13) composite?
True
Let w be 9352/36 + (-20)/(-90). Suppose -k = -2*r + 1261, 484 = 3*r - 2*k - 1407. Let g = r - w. Is g prime?
False
Suppose 5*l = -2*t + 6341 + 15674, 0 = -t - 3*l + 11006. Is t prime?
False
Suppose -4*m + 1881 = i, 4*i = 2*m - 6*m + 7560. Is i prime?
False
Let m = -450 + 1133. Is m a prime number?
True
Let a(s) = s**3 - 8*s**2 + 2. Let n be a(8). Let j be ((-48)/20)/(n/(-5)). Is 657/j*(8 + -6) prime?
False
Suppose a = 2735 + 20226. Is a prime?
True
Let q(l) = 86*l**2 + 11*l - 113. Is q(20) prime?
False
Let d(o) = -4*o**2 + 8*o - 11. Let h be d(2). Let s(m) = -62*m + 27. Is s(h) a composite number?
False
Let u = 55 + -55. Suppose 70*k - 66*k - 13084 = u. Is k a prime number?
True
Is ((-6752)/(-96))/(2/6) prime?
True
Suppose 2*f = -3*r - 0*f + 14587, 0 = -5*r + 4*f + 24275. Is r prime?
False
Let c(m) = -85*m - 1 - 33*m - 7*m + 5*m. Is c(-7) a composite number?
False
Let r(g) be the first derivative of g**2 - g + 6. Let u be r(2). Suppose -c = u*c - 572. Is c a composite number?
True
Let w(h) = -h**3 + 11*h**2 - 9*h - 6. Let a be w(7). Let g = -45 + a. Is g composite?
True
Suppose -2*k - 26 = -3*k. Suppose -2*z = 5*c - 22, 5*c - k = 5*z + 24. Suppose 0 = c*y - 5*y - 49. Is y prime?
False
Let k = -7 - -13. Suppose -4*r + 760 = 2*p, 2*r = k*r - 3*p - 770. Is r composite?
False
Let j = 715 - 179. Suppose 110*a - 114*a + j = 0. Is a prime?
False
Suppose -3*g + 52 = g. Let s = -13 + g. Suppose 2*r + 121 = 2*a + 3*a, s = a + 5*r - 8. Is a a prime number?
True
Let m = -343 + 569. Let h be m/6 + 8/24. Suppose c = -c + h. Is c composite?
False
Suppose -7*a = -3*a. Suppose a = -5*j + j. Is 5/((-2)/(-10) - j) a prime number?
False
Let a(b) = b**3 + 8*b**2 + 11*b - 5. Let u be a(-3). Suppose 0 = -f - 5*r + 1918, -4*f + 2*r - u*r + 7657 = 0. Is f prime?
True
Suppose -667 = -2*f + 6607. Is f composite?
False
Suppose 2*z + 2*s + 2*s = 32, 0 = -2*s + 10. Is z/(-12)*-6 - -1496 a prime number?
True
Let a(p) be the second derivative of 41*p**5/20 - p**4/4 - 5*p**3/6 + p**2/2 + 6*p. Let l be a(5). Is 10/60 + l/12 a composite number?
False
Let m(w) = -2*w - 3. Let p be m(-2). Is (-889)/(-1) + (-2)/2 + p prime?
False
Let r be ((-3)/(-2))/(-3*1/(-4)). Suppose r*c = 6*c - 92. Is c a prime number?
True
Suppose -2*l + 20717 = -5*d, 2*d + 41410 = 3*l + l. Is l a prime number?
False
Let q(b) be the third derivative of 57*b**5/20 - b**4/12 + 2*b**3/3 - 5*b**2. Let n be q(3). Suppose 42 = -5*y + n. Is y a prime number?
False
Suppose 0 = 4*l - 2*w + w - 7371, l + 4*w = 1830. Let v = l - 1057. Is v a composite number?
True
Let p(y) = y**3 - 6*y**2 + 5. Suppose 0 = 4*t + 5*z - 34, 5*t - 23 = -4*z + 15. Let g be p(t). Suppose g*l - 313 = -68. Is l prime?
False
Suppose 3*w - 4*s = -2*w + 16, w + s = 5. Is (4 - 6)*((-3702)/w + 2) composite?
False
Let u(f) = 13*f - 13. Let s(w) = 26*w - 27. Let n(o) = 6*s(o) - 13*u(o). Let h = 36 - 40. Is n(h) a prime number?
True
Suppose -5*d + 0 = -3*p + 10, 4*p - 2*d - 18 = 0. Let h(f) = f - 3. Let x be h(p). Suppose x*t - 4*t + 102 = 0. Is t a prime number?
False
Suppose -2*l = -47*l + 1984545. Is l a composite number?
False
Let b(w) = 5857*w**3 + 4*w**2 + 7*w - 13. Is b(2) prime?
False
Let h(x) = x**3 + 33*x**2 - 20*x - 41. Is h(-18) composite?
False
Let t(z) = z**3 + 2*z**2 - 6*z - 5. Let k be t(-3). Suppose 2*b + k*r + 1137 = 3503, 3581 = 3*b - 2*r. Is b composite?
True
Suppose -3*i + 31830 = 3*s, 2*s - 3*i - 53090 = -3*s. Let a = s + -6798. Is a prime?
False
Let o be (0 + -4)*(1 + 10/(-4)). Suppose -o*j + 8488 = 2*j. Is j prime?
True
Let k = -3359 + 5068. Is k a prime number?
True
Let s = -34 - -37. Is 4/(-14) - (s - 2172/7) a prime number?
True
Suppose -17*r + 2295433 = 30*r. Is r a prime number?
False
Let m(g) = -8*g**2 - 7*g - 2. Let j(s) = s**2 + 1. Let i be 2/(-2 + 1) - -1. Let q(z) = i*m(z) - 3*j(z). Is q(-5) a prime number?
True
Suppose 0*w + 1595 = 5*w. Suppose 4*u - 5*f = 15, -4*u - 4*f + 14 + 10 = 0. Suppose z = 2*n - 157, -u*n - 3*z + w = -n. Is n a composite number?
False
Suppose -2*s = 4, 10*o - 6*o = 4*s + 10092. Is o prime?
True
Suppose -4*v - 12 = 4, z = 2*v + 1863. Suppose 33*c + z = 38*c. Is c composite?
True
Let d = 7431 - 15252. Is 2/4*(-7 - d) prime?
True
Let w be 3/5 - (4 + 333/(-45)). Suppose -w*u = 4*u - 67928. Is u composite?
True
Let u(i) = 104*i**2 + i. Let v be u(-1). Let m = 406 + v. Is m a composite number?
False
Suppose 0 = -19*t + 6*t + 6279. Suppose 2*i - 2191 = t. Is i prime?
False
Suppose -4*r = -95 - 89. Let g(w) = -19 - 30*w - 26 + r. Is g(-7) composite?
False
Suppose 4*k + 2 = -14. Let f(z) = z**2 - 4*z + 2. Let x be f(k). Suppose -3*r + 4*r - x = 0. Is r composite?
True
Let w(q) = 2*q**3 - 9*q**2 + 8*q + 49. Is w(16) composite?
True
Let v = -381 + 1310. Suppose -2*b = -1005 - v. Is b composite?
False
Let m be 2/(-5) - 11826/(-15). Let k = 1233 - m. Suppose 0 = -i, -a + 6*a + i = k. Is a prime?
True
Suppose 14*x - 1274 = 3738. Suppose -4*g - x = -6*g. Is g a composite number?
False
Let o(g) be the third derivative of 2*g**7/315 - 13*g**6/720 - g**5/15 - g**2. Let y(x) be the third derivative of o(x). Is y(10) a prime number?
True
Is (-92)/(-690) + 1 + 26336/30 a prime number?
False
Let d = -30 - -25. Let f(p) = p**2 + 5*p + 3. Is f(d) a prime number?
True
Let j = 2152 + -1383. Is j composite?
False
Suppose -4 = -4*j + 508. Suppose 2*h + 126 = -3*h + c, j = -5*h + 3*c. Let s = h - -248. Is s a prime number?
True
Let c = 96 - 91. Suppose 3380 + 875 = c*r. Is r composite?
True
Suppose -5380 = -4*n - 5*h, 3*n - 2308 = -3*h + 1727. Is n a prime number?
False
Let l(z) = -276*z - 4. Let a be l(2). Is -1*a/(1 - -3) composite?
False
Let h(v) = 5*v**2 + 7*v + 9. Let l(q) = -4*q**2 - 6*q - 9. Let b(n) = -3*h(n) - 4*l(n). Is b(-7) composite?
False
Suppose 2*n - 1135 = -3*n. Suppose -2*z + n = 3*g, 293 = z + 2*z - 5*g. 