 + 5*x, 4*b - 2692 = -4*x. Is b a prime number?
True
Let v = 19059 - 10006. Is v composite?
True
Let d(a) be the second derivative of 1/3*a**4 - 5*a - 4/3*a**3 - 7/2*a**2 + 0. Is d(7) composite?
True
Let y be ((-8)/(-2))/(-1 - -3). Suppose 0 = y*j + k - 1642, 3*k = 10*j - 6*j - 3284. Is j composite?
False
Let v(g) = 10*g + 1 - 3 - 1. Let i(l) = -2*l**2 + 8*l + 4. Let p be i(4). Is v(p) composite?
False
Let f(s) = -11*s - 1. Let v = 39 - -39. Let l be v/(-21) + 4/(-14). Is f(l) prime?
True
Let z(h) = -h**3 + 17*h**2 + 23*h - 13. Let w(d) = d**3 - 7*d**2 + 8*d + 6. Let o be w(6). Is z(o) prime?
False
Let p = 2987 + 5496. Is p prime?
False
Let l(x) = 820*x + 173. Is l(4) prime?
False
Suppose 5 = -3*f + p - 18, -p - 7 = 2*f. Is (-2280)/(-6) + 3/(3 + f) prime?
True
Suppose -i + 31 = -4*s, i + 2*s = -3*i + 214. Suppose 3*t = 288 + i. Is t a composite number?
False
Let i = -34 - -196. Suppose -2*o - 1908 = -i. Is (-4)/6*o/6 prime?
True
Suppose -16*k = -6*k + 830. Is (-85 - k) + 1/(-1) + 746 a prime number?
True
Let g = 319 + -168. Let l = g - 36. Is l a composite number?
True
Suppose 4 = 4*n, y = -3*y - 4*n + 1428. Let o be (-767)/5 - (-2)/5. Let q = y + o. Is q a composite number?
True
Let g(p) = -365*p + 17. Let n be g(4). Let m = 536 - n. Is m a composite number?
False
Let z(v) = 4*v - 34. Let x be z(8). Is (4/x)/((-8)/1220) a composite number?
True
Suppose -139 - 9613 = -8*v. Is v a prime number?
False
Suppose 17*k - 14055 = 2894. Is k a composite number?
False
Let n(q) = -q**3 - 3*q - 3 + 2*q + 4*q**2 + 4*q. Let i be n(4). Suppose 0 = 3*c + i, 4*r - 2*c = -r + 431. Is r composite?
True
Let d(s) = 4757*s - 136. Is d(1) prime?
True
Suppose 5*i - 2492 = -3*z, z - 5*z = 4*i - 1992. Let g = i + -86. Is g a composite number?
True
Let d(x) = -64*x + 5. Let r be d(-4). Suppose -9*f + r = -12*f. Is (f/6)/((-2)/68) prime?
False
Let x(h) = -3*h - 15. Let i be x(13). Let n = 109 + i. Is (-11)/n + 416/5 prime?
True
Let m(h) = -6*h - 1. Let x be m(-1). Suppose -6*c + x*f + 5495 = -c, 0 = c - 4*f - 1084. Suppose -5*a + c = -2071. Is a a prime number?
False
Let m = 3453 + 1510. Is m a prime number?
False
Suppose 0 = 5*g + 25, p + 3*g = 5*g + 7133. Is p a prime number?
False
Let r = 116 + 58. Suppose 0 = -4*o - n - 494, 5*o - n - r + 796 = 0. Is (o/10)/((-6)/15) a prime number?
True
Let c(x) = -66*x - 65*x - 2 + 140*x + 26*x**2. Is c(-3) a composite number?
True
Let t(k) = -33*k**3 - 6*k**2 + 35*k + 51. Is t(-7) prime?
True
Let o(z) = 57*z**2 - 22*z + 27. Is o(-12) prime?
False
Let l = 33 - 31. Suppose -u - 130 = -l*g, 327 = 5*g - 0*g - 2*u. Is g a composite number?
False
Let q = 11416 - 7929. Is q prime?
False
Suppose -a + 23 = 5*g, 4*g + a + 0 - 19 = 0. Suppose -4*h + 360 + 90 = 2*d, -3*d = -5*h - 675. Suppose 427 + d = g*v. Is v a prime number?
True
Let t = -13444 + 35907. Is t a prime number?
False
Suppose -647587 = -5*k - w, 0*w = k - 4*w - 129509. Is k a composite number?
False
Let v = -62 - -56. Suppose 5*l - 7*n = -2*n - 5, -2 = -l - 2*n. Let k = l - v. Is k a prime number?
False
Suppose 0 = 5*j - 10*j. Is (1 + j)*(183 - 6) prime?
False
Suppose -1265 = -0*u - u + 3*k, -u = k - 1261. Suppose 9*n - u = 5209. Is n a composite number?
False
Suppose -4*j + 9 = -j, 2*q - 2544 = 2*j. Let r = q - -1570. Is r a prime number?
False
Suppose 352*j + 51511 = 355*j + 4*m, -3*j - 3*m = -51507. Is j composite?
True
Let v be ((-18)/(-8))/(18/(-96)). Is 538 - 4/v*-3 prime?
False
Suppose -5*i - 73 = n, 0 = 3*i + 2*n + 62 - 21. Is (-5284)/(-10) + i/(-25) prime?
False
Suppose 0 = -43*f + 341839 + 209034. Is f composite?
True
Suppose -2*l = 0, -4*v - v + 2*l = -5. Let r(y) = -v + 5 + 2 - 9*y + 0. Is r(-3) composite?
True
Suppose 2*m = -0*m - 354. Let h = -20 - m. Suppose 0 = 2*w - 5*q - h, -182 = -4*w + 4*q + 114. Is w composite?
False
Suppose 19*m = 66168 + 30713. Is m composite?
False
Suppose 0 = 4*p + 4*c - 888, -p + c + 218 = 3*c. Let x = 423 - p. Suppose -3*h + 806 - x = 0. Is h composite?
True
Is 10 - (40/8 - 59310) prime?
False
Let q be (-36)/15 - (-2)/5. Is q/(-12) + -1*(-84975)/18 composite?
False
Let y be (-551)/(-171) - 2/9. Suppose 10483 = 5*a + 7*c - 3*c, -2*a + 4196 = y*c. Is a a composite number?
True
Suppose -2*x = 2*q - 36, -69 = 5*x - 3*q - 183. Let a = x + -24. Is 164/(a - 5/(-1)) composite?
True
Suppose p + 0*p = -3*g - 15, g - 55 = 3*p. Let c be p/15*(-1545)/6. Suppose 2*o = 5*o - c. Is o composite?
False
Let b(i) = -157*i**3 + 4*i**2 + 3*i + 5. Let k = 4 - 7. Is b(k) a composite number?
False
Suppose f = 4*n + 229711, -4*n - 357156 = -4*f + 561700. Is f prime?
False
Let h(s) = -s**2 - 8*s - 11. Let z be h(-5). Suppose -3*x = -x - 4. Suppose -o - q = 2*q - 25, x*o + z*q - 50 = 0. Is o a composite number?
True
Let p(r) = r**2 + 6*r - 5. Let f be p(-7). Suppose -f = -3*m - 5. Is 22250/60 - m/6 composite?
True
Suppose -49*w - 34 = -51*w. Let k = w - -41. Is k a prime number?
False
Let o(h) be the third derivative of h**6/120 + 4*h**5/15 - h**4/6 + 4*h**3/3 - h**2. Suppose -2*i + 67 + 3 = -4*n, -3*n = -2*i + 55. Is o(n) a composite number?
False
Suppose -2*r + 5*b = 12, -2*r - 2*b + 12 = -b. Suppose 223 = j - r*c, -5*j + 2*c = 4*c - 1115. Is j prime?
True
Let k(z) = -4*z**3 + 5*z**2 + 4*z + 9. Let l(t) = t - 15. Let g be l(11). Let s be k(g). Let j = 510 - s. Is j a prime number?
True
Suppose 5*v = 2*a + 5395, -83*v + 2*a = -79*v - 4314. Is v a composite number?
True
Let t(b) = b - 3. Let h be t(1). Is (-4 - -6)*(-113)/h composite?
False
Suppose -5*r - 28700 = -5*h, 0*h + 28691 = 5*h - 2*r. Is h composite?
False
Suppose -y = -4*y. Suppose y = u + u. Is ((-1688)/4)/(-2 + u) a composite number?
False
Let u(r) = -18*r - 6. Let q = -18 + 12. Let h be u(q). Let t = h + -7. Is t prime?
False
Let k = 175 - 354. Let f = -4 - k. Let g = 434 - f. Is g a composite number?
True
Let g = 8 + 8. Let d(y) = -y**2 + 15*y + 16. Let v be d(g). Suppose 3*t + 0*t - 1407 = v. Is t prime?
False
Suppose 101*z = -3*r + 106*z + 198216, 2*r + 2*z = 132128. Is r a composite number?
False
Let s = -928 + 2945. Is s a prime number?
True
Let a = 975 + 3908. Is a prime?
False
Suppose -2*f + 0*f + 4*x - 2 = 0, -4*x = -5*f + 19. Suppose 2*h + 0*h = j - 1, 5*h + f = -2*j. Is (h - -1)/4 - -19 a prime number?
True
Let h(x) = 594*x**2 + 8*x - 7. Let j be h(2). Suppose 5*m - 1167 = -f, -m - 3554 = -5*f + j. Is f composite?
False
Let i(u) = -19*u**3 - 3*u**2 - 2*u - 1. Suppose 3 = 2*t - r - 2*r, 0 = 5*t - 4*r - 4. Suppose -g - 9 = 2*m, t = -0*m - m - 2*g - 12. Is i(m) prime?
False
Let w = -1610 + 3261. Is w a composite number?
True
Suppose 3*f - 4*v = -4, 4*f + 0 = v - 1. Suppose f = -3*g + 4 + 5. Suppose 9*o = 4*o - 20, 436 = 4*y - g*o. Is y a prime number?
False
Suppose -110169 = 3*a - 470058. Is a prime?
True
Let p be 27/7 + 1/7. Suppose 3*r + 149 = 5*f, 2*r - 122 = -p*f + 3*r. Is f a composite number?
False
Is 44954 - (9 - (5 + 0) - 3) composite?
False
Let x(d) = 260*d**3 - 5*d**2 + 30*d - 2. Is x(3) a prime number?
False
Let x(n) = 3*n**2 - n - 1. Let b be x(2). Let k be (b/(-6))/((-1)/(-6)). Is (42/k)/((-4)/66) prime?
False
Is (-3086)/(-4)*(8 + -6) prime?
True
Let w(s) = -2*s - 5*s**2 + s**3 - 2*s - 2*s + 3. Let y be w(6). Suppose d - 127 = -4*z, z = y*z. Is d a prime number?
True
Suppose 38*o - 4*x + 8549 = 43*o, 0 = 5*o + 3*x - 8548. Is o prime?
True
Let n be (-1 + 4 - 7) + 10. Suppose -n*r + 422 - 92 = 0. Is r a composite number?
True
Suppose 0 = 5*f + 4 - 19. Suppose -f*q - 6*t + 3*t = -5139, 2*t = 4*q - 6840. Is q a composite number?
True
Let f(k) = -k**3 - 5*k**2 - k - 4. Let v be f(-5). Let l be (-1 + -2 - -4) + v. Suppose 6*w = l*w + 1316. Is w a composite number?
True
Let o be 12/5 - (-10)/(-25). Let x(h) = 5*h**3 - 3*h**o - 4*h**3 + 4*h + 0 - 6. Is x(4) composite?
True
Suppose 28*t - 30*t + 818 = 0. Is t composite?
False
Let y(k) = -k**3 - 14*k**2 + 68*k + 24. Is y(-23) composite?
False
Suppose -5*w + 42364 = -15291. Is w a prime number?
False
Let u be (4/5)/((-17)/85). Let m be u/(-2) + (13 - 3). Let i = m - -1. Is i composite?
False
Suppose -8077 = -2*b + 16549. Is b prime?
False
Let l(f) = -70*f + 29. Let o be l(-8). Suppose 0 = -60*w + 59*w + o. Is w prime?
False
Suppose -19927 = -3*w - 1984. Is w a composite number?
False
Let o(j) = 178*j**2 + 8*j - 11. Is o(6) composite?
T