15, 3*n = -2*y + 33616. Is y prime?
True
Let h(b) = b**3 - 165*b**2 - 297*b + 2838. Is h(171) a prime number?
False
Let d(t) = -138*t**3 + 19*t**2 + 13*t - 7. Is d(-14) prime?
False
Suppose -129*j = -101*j - 10248. Let p(g) = g**3 + 7*g**2 - 3*g - 1. Let s be p(-6). Let v = j + s. Is v a prime number?
True
Is (-15)/(-20) - -26314*(-5)/(-8) a composite number?
False
Let i = 255178 + -181560. Is i a composite number?
True
Let z be 5/(-20) + (-3)/(-12) + 1. Let f be (-2)/((4 - z)*(-8)/5592). Let h = 589 + f. Is h a composite number?
True
Let o = 1206 - 34. Suppose 0 = 8*n - 4*n - o. Is n prime?
True
Suppose -3*j - 9468 = -5*j - 3*x, j + 2*x - 4732 = 0. Suppose 3*d - 567 - j = 0. Is d prime?
False
Let w be (-398670)/(-16) + 7/(-1 - -57). Suppose v - 21*x + 25*x = w, -3*v + 74751 = 2*x. Is v composite?
False
Let r = 25387 - 8303. Is r/24*-2*(4 + -7) prime?
True
Let i(k) = -k**3 + 3*k**2 + 5*k - 13. Let l be i(3). Suppose -12*a + 10*a - 5*v + 34959 = 0, 17457 = a - l*v. Is a a prime number?
True
Suppose 136630 = r + 2*f, 2*f = -2*r + 255378 + 17874. Is r composite?
True
Let f(b) = -3530*b - 2057. Is f(-8) a composite number?
False
Let o = 185416 + -84587. Is o a prime number?
True
Suppose 13*i - 17*i + 12 = 0. Suppose i*p = 4*k - 4228 - 1810, k - 1505 = 3*p. Is k composite?
False
Is -2 + -5 + (4 - 13)*-6402 a prime number?
False
Is (-237)/(-553)*(0 + 405601) a prime number?
False
Let c(w) = -2*w**2 - 38*w + 54. Let l be c(-20). Suppose -4*z + l*z - 27770 = 0. Is z a composite number?
False
Suppose 16 = -4*t, -6*o + 254956 = -42*t + 44*t. Is o prime?
False
Suppose 3*h = 4*h + 5*p - 3001695, -4*h + p + 12006738 = 0. Is h composite?
True
Suppose 2*r + 10 + 3 = 3*p, p = -5*r + 10. Is p + 54568/32 - 10/8 composite?
False
Let h = -759 + 1762. Is h a prime number?
False
Let d(c) = c**3 - 21*c**2 - 25*c - 74. Let g(v) = v**2 + 17*v + 39. Let a be g(-16). Is d(a) a composite number?
False
Let h(w) = -31*w**3 - 5*w**2 - 3. Let t(r) = -12*r - 66. Let n(o) = -o - 6. Let q(f) = -68*n(f) + 6*t(f). Let g be q(4). Is h(g) composite?
False
Suppose p + 41 - 47 = 0. Suppose 6 = -2*g, -i + 2*g + 1 = -p. Is (-1)/i*(-3761)/1 prime?
True
Suppose -16 = -4*f - 36, -f = -4*m + 1237. Let i = m + 245. Is i a composite number?
True
Let i(s) = -s**3 + 33*s**2 - 32*s + 45. Let o be i(28). Suppose 6618 + o = b. Is b a prime number?
False
Suppose -19266 = 4*k - 6250. Let i = 4777 + k. Is i composite?
False
Let d(j) = 261*j**2 + 3*j + 2. Let f be d(-3). Let c = 1440 - f. Let t = c + 1381. Is t a composite number?
False
Let h(d) = 7*d**2 - 21*d. Let n be h(15). Suppose -n = -4*r + 4184. Is r a composite number?
False
Let r = 70 + -48. Let t(q) = 2 - 24 - r - 175*q - 7. Is t(-16) composite?
False
Suppose -128*i = -112*i - 261776. Is i a composite number?
False
Suppose 3*u = -3*y + 8772, -2*y + 6*y + u = 11696. Suppose y = 2*z - 6242. Is z prime?
True
Let i(m) = -816*m**3 - 93*m**2 + 35*m - 17. Is i(-9) composite?
True
Suppose -3*a + 183 - 15 = -5*x, -4*a = 16. Let z be -32*(x/27 - (-1)/3). Suppose z*h - 1636 = 28*h. Is h a composite number?
False
Suppose 2*n = -3*g + 23542, 11425 = n + g - 346. Is n prime?
False
Suppose 0 = 27*x - 40*x + 17719. Let w = 3077 - x. Is w composite?
True
Let l be 4/10 - 4584/(-40). Suppose -25*n + 24*n + l = 0. Is n prime?
False
Let g = -49711 - -197020. Is g prime?
False
Let h(g) = -17 + 59*g + 290*g**2 - 43*g + 1702*g**2 - 518*g**2. Is h(1) a prime number?
False
Is (50 - -33954)*4/16 a composite number?
False
Is -3 + (1 - 274*(-423)/18) prime?
False
Let a be ((-30)/45)/(2/(-69)). Let s = -16 + a. Let b(q) = -q**3 + 15*q**2 + 5*q. Is b(s) a prime number?
False
Let y be (-10233)/((3 + 2 - 4)/1). Let h = y - -24574. Is h composite?
False
Suppose 2*w = -2*x + 54, w + 5*x = 3*w - 47. Suppose 0 = b - 5*b - n + w, 2*b - 4*n = 22. Suppose b*v = 6*v + 1361. Is v a composite number?
False
Is (6 - 40/6)/(8/(-1809924)) a composite number?
False
Suppose 1360*p + 18 = 1358*p, -2*p - 166153 = -5*j. Is j composite?
True
Is (-30)/(-270) - 3381250/(-45) a prime number?
False
Suppose 0 = 43*c + 5963 - 16412. Let n = -610 + 1270. Let i = n - c. Is i composite?
True
Let t(k) = 9*k**3 - 4*k**3 + 4 - 4*k**3 - 2*k**3 + 9*k**2 + 2*k. Is t(9) composite?
True
Let a(h) = -163*h + 10. Let q be a(-6). Suppose 2*c - q = -124. Let g = -101 + c. Is g a prime number?
True
Let a(c) be the first derivative of 499*c**3/3 + 7*c**2/2 - 15*c + 54. Is a(4) a composite number?
True
Let q(d) = -d**2 + 5*d + 4. Let v = 33 + -29. Let y be q(v). Suppose -i - 1631 = -y*i. Is i composite?
False
Suppose 22*l = 8*l + 28. Suppose -1555 = l*n - 13349. Is n a composite number?
False
Let j(a) = -3*a**2 - 27*a + 60. Let i be j(-16). Is (502527/i)/((-1)/4) a prime number?
True
Let r(g) = g**2 + 20. Let v be r(0). Suppose v*b - 71142 = -13282. Is b prime?
False
Let w = 50 + -49. Is w/(-3) + (-11492)/(-6) a prime number?
False
Let r(p) be the second derivative of 18*p**4 + p**3/6 - 3*p**2 - 19*p. Let h be r(-3). Suppose -b - 2*b - h = -3*q, 4*b = -q + 655. Is q prime?
True
Is 5 - -230547 - 14/((-98)/(-21)) composite?
True
Let i = 55 - 52. Suppose -i*r = 14 + 4. Is (-1 - 1358/3)/(r/18) composite?
False
Let d(k) = 127*k**2 - 720*k - 5. Is d(-6) prime?
True
Let r(b) = 4629*b**2 + 39*b - 1. Is r(3) a prime number?
True
Suppose 4*q + 24 = 348. Let b = q + -89. Is b/16*(-757 - 1) a composite number?
False
Suppose -3*l + 6 = -2*l - 5*u, -4*u = -4. Suppose -18 = l*p + 48. Is 2818*(-3*(-5)/p + 3) a prime number?
True
Suppose a + 129 = 4*a. Suppose -3*k + 4*k = 3*h - a, 2*k + 44 = 3*h. Let f = 103 - h. Is f a prime number?
True
Suppose 24*p - 375 = -p. Suppose 0 = p*w + 6071 - 75356. Is w composite?
True
Is (731097/(-36))/((-20)/80) a composite number?
False
Let x(m) = 7*m - 34. Let r be x(6). Suppose r*f - 31 = 121. Suppose 15*p = f*p - 1564. Is p a prime number?
False
Let z(u) = 2*u - 18. Suppose -2*i + 3*t - 6*t - 1 = 0, -4*t - 27 = -i. Let r be z(i). Is (-294)/(-3) + 1/(r + 3) composite?
False
Suppose -a + 676 = -4*r - 64, a - 736 = 3*r. Suppose 0 = 5*j - s - 22850, -4*s + 13712 = 3*j - 5*s. Suppose -a + j = 5*v. Is v a prime number?
True
Suppose -r + 4*t + 52329 = 0, 306*t = -3*r + 301*t + 156953. Is r prime?
True
Let x(a) = -2*a**3 + 18*a**2 - 15*a - 8. Let k be x(8). Suppose -14*p + 11*p + 8817 = k. Is p a composite number?
False
Suppose -5*z + 4123 = -2*u, 5*z + 23*u = 22*u + 4111. Suppose 3*v - 19806 = 4*s - z, -2*s - 25314 = -4*v. Is v a composite number?
False
Let y be 7708/14 + (-108)/(-252). Let l = 1980 + y. Is l composite?
False
Let i be (14 - 0)/((-66)/(-1561659)). Suppose -8*p + i = -93979. Is p composite?
True
Suppose o + 229 = 2*k - 3, 5*o + 98 = k. Let a = k + 2833. Is a prime?
False
Let z(o) = -428*o - 82. Let f be z(-10). Let b = f + -2069. Is b a composite number?
False
Let h(l) = -8*l**3 + 58*l**2 + 61*l + 1577. Is h(-24) a prime number?
False
Suppose -9*b = -391 + 49. Suppose -b*z = -34*z - 31268. Is z composite?
False
Let m = -4017 - -137. Let l = m - -8601. Is l a composite number?
False
Let a be (-1 + (-13647)/6)*6/(-9). Suppose y - a = -4*q, 4*y = 2*q - 4*q + 762. Is q prime?
True
Suppose -3*w = 4*b + 136629, -28*b + 15 = -23*b. Is -3 - w - (-26 + 17) a composite number?
False
Suppose -i = i. Let m be -1 + (i/(-3) - -31). Is (-10)/m + (-166)/(-3) a prime number?
False
Let x(y) = 7822*y - 2203. Is x(15) a composite number?
False
Suppose 12822758 = 212*k - 903606. Is k prime?
True
Let y be 118/10 + 2/10. Let v be 76/y - (-1)/(-3). Is (1 - -189) + v/(-3) + 3 a prime number?
True
Let h(r) = 8*r**2 - 24*r - 13. Let j be -16*(-8)/(192/18). Is h(j) composite?
True
Is 2953*(-94)/(-16) + 41/328 prime?
False
Let h(z) = 27*z - 113. Let p be h(7). Is 2585/2 + 114/p a composite number?
True
Suppose k = 1843 - 599. Suppose -4*t + 0*t = 2*t. Suppose t = -4*a + 1608 + k. Is a composite?
True
Let b(t) = 9*t**2 - 7*t + 13. Let v(f) = 7*f**2 - 5*f + 11. Let n(w) = 4*b(w) - 5*v(w). Let m(s) = -2*s**2 - 2*s + 4. Let x be m(-3). Is n(x) prime?
False
Suppose -40*g + 8*g - 192 = 0. Is -6 - (-865 + 36/g) a prime number?
False
Let d(m) be the first derivative of -5*m**4/2 + 14*m**3/3 - 3*m**2 + 3*m - 13. Let z be d(-7). Let w = z - 2948. Is w a prime number?
True
Suppose -3*n + 2118 + 7104 = 0. Is (n/(-4))/((-4)/