z = -176 - -246. Let r = f + z. Is r a prime number?
True
Suppose -2*u + 3*u - 12 = 0. Let f(n) = 10*n**3 - 39*n**2 + 38*n - 8. Let i(k) = 7*k**3 - 26*k**2 + 25*k - 5. Let y(g) = 5*f(g) - 7*i(g). Is y(u) prime?
True
Suppose 0 = 4*j + 5*v - 21, -4*v - 16 = -j - 4*j. Let q(w) be the first derivative of 8*w**3/3 + 5*w**2/2 - 5*w - 4. Is q(j) prime?
False
Let v = -17 - -23. Let h(g) = g**3 - 5*g**2 + g + 5. Is h(v) a composite number?
False
Let k be 3 - (3 - 2 - -2). Suppose k = -5*p + 30 + 15. Let d(g) = 12*g**2 - 14*g + 7. Is d(p) a composite number?
False
Suppose 0 = 6*j - 17410 + 5464. Is j a prime number?
False
Is 30/(-9)*(-20763)/18 a composite number?
True
Let a(t) = -26*t + 6. Let y be a(-10). Suppose -p - 3*u = -u + 1, 0 = 3*p - u - 18. Suppose -4*l = -p*m - y, l - 2*m = -3*l + 272. Is l prime?
False
Suppose 47*t - 228388 = 271739. Is t a prime number?
False
Let g(r) = r**3 - 2*r**2 - 3*r + 4. Let i be g(3). Suppose -5*x - 390 = -c, -3*c - 398 = -i*c - 3*x. Is c a prime number?
False
Let z(p) = -2*p**2 - 5*p + 3. Let n be z(-4). Let t(x) = -4*x**2 - 11*x - 10 + 9*x**2 - 9. Is t(n) a prime number?
False
Let s(u) = -170*u + 1. Let t be (2/4)/(2/(-8)). Is s(t) a composite number?
True
Suppose -5*m + 26 = 3*d, 4*d + 6 = 14. Suppose -m*s + 136 = f - 2*f, -5*f + 145 = 5*s. Suppose q = -2*b + 37, b + s = q - b. Is q composite?
True
Let k(v) = 3089*v + 66. Is k(5) a prime number?
True
Let t = -150 - -211. Let k = 74 + -40. Suppose -4*p + 6 + k = 4*q, t = 4*p - 3*q. Is p a prime number?
True
Let y(l) = 41*l**2 + 90*l + 18. Is y(-26) prime?
False
Is 11/(-55) + (-266)/(-5) prime?
True
Let z = 6 + -5. Let m(l) = -5*l - 1. Let q be m(z). Is q/15 - (-1477)/5 a composite number?
True
Let m be ((-1)/(-2))/((-1)/6). Let k(y) = -y**3 - 11*y**2 + 3. Let g be k(-9). Is (g/6)/(m/6) a composite number?
False
Let l = 24604 + -10441. Is l composite?
True
Let j be -1 - 5/((-20)/24). Let r(m) = -m**2 + 7*m - 7. Let x be r(j). Suppose 3*h = v - 403, 5*v - 1975 = -2*h - x*h. Is v composite?
False
Let d = -253 - -404. Let v = d - 74. Is v composite?
True
Suppose -5*g = -4*y - 60707, -2*g + 21028 = y - 3260. Is g a composite number?
False
Suppose 10*v - 1005 = 4645. Let i = 1084 - v. Is i prime?
False
Let g(a) = -4*a**3 + a**2 + 156. Let q(f) = -7*f**3 + 2*f**2 + 313. Let o(y) = -5*g(y) + 3*q(y). Is o(0) a composite number?
True
Let r be 2 + 0*(-2)/6 - 2. Suppose r = -2*y + 8*y - 1722. Is y prime?
False
Is 6218*5*5/50*1 composite?
False
Suppose -9*k + 5*k + 2980 = 0. Is k a prime number?
False
Suppose -7609 = -n - 2*v, -6*v = n - v - 7621. Is n a composite number?
True
Let v = -11016 + 16981. Let u = v - 3866. Is u prime?
True
Let v = -1149 + 1724. Suppose 1182 + v = 7*g. Is g prime?
True
Let j = 24616 + 2038. Is j a composite number?
True
Let d = -68 - -871. Is d composite?
True
Suppose 4*h - 18926 - 81506 = -3*o, o - 125551 = -5*h. Is h prime?
True
Let y = -37 + 40. Is 4/4 + (-3)/(y/(-490)) a composite number?
False
Suppose 11*b + 16 = 13*b. Suppose 2*l + b*l - 6350 = 0. Is l prime?
False
Let m(y) = -y. Let l be m(4). Let c be (-3)/3 + 0 - l. Suppose -2*u - 127 = -c*u. Is u a prime number?
True
Let o(k) be the second derivative of k**5/20 - k**4/12 - k. Let j be o(0). Suppose j = 3*x - x - 106. Is x a prime number?
True
Suppose -h = 3*h - 20. Suppose 3*i = h*j - j - 125, -2*i - 5*j - 68 = 0. Let a = i - -65. Is a composite?
True
Is (-3*(-1)/3)/(1/5791) a prime number?
True
Let u = -2031 - -8978. Is u a composite number?
False
Let k = 8648 - 3403. Is k a composite number?
True
Is (1573 - -5) + 11 + -5 + -1 a composite number?
False
Suppose -50*b + 211962 + 559088 = 0. Is b a prime number?
False
Suppose 2*n - 66 = -2*d, -2*n - 4*d + 62 = -d. Is n prime?
True
Suppose 24 = -t + 11. Let f be (-9)/2*(t + 15). Is 249 + f/((-36)/8) prime?
True
Let m(a) = 21*a + 1180. Is m(-56) prime?
False
Let m(b) = -78*b - 1. Let c(j) = 79*j + 2. Let w(k) = 2*c(k) + 3*m(k). Is w(-4) a prime number?
False
Let q = 25649 + -12866. Is q prime?
False
Let n be 1 - (-1)/(2/458). Suppose 3*o - n = o. Suppose -629 = -5*m - 2*b, m - o = 2*b + 18. Is m a composite number?
False
Let w be 11/(2*4/8). Suppose 4*i = -3 + w. Suppose -i*t + 582 + 196 = 0. Is t composite?
False
Let i(b) be the second derivative of b**5/10 + b**4/2 + b**3/6 + b**2 + 4*b. Let v(m) be the first derivative of i(m). Is v(-7) composite?
False
Suppose -4*g - 3*g + 20146 = 0. Suppose 0 = b - 4*b - p + g, -2*p + 2 = 0. Is b a composite number?
True
Let g = 11584 + -6071. Is g prime?
False
Let f(y) = -887*y + 8. Let a be f(-4). Suppose -24*c = -20*c - a. Is c a composite number?
True
Suppose 0 = -12*m + 14*m - 16674. Suppose m = -g + 8*g. Is 8/(-20) - g/(-15) composite?
False
Let z be (24/(-16))/((-1)/2). Suppose 2*c + c + 4*b + 346 = 0, 4*c + z*b + 459 = 0. Let s = -75 - c. Is s a composite number?
True
Let k(y) = -58*y**3 - 4*y + 3. Is k(-5) prime?
False
Let s(b) = -b + 17. Let d be s(14). Suppose k = -d*k + 2436. Suppose k = 4*c + 133. Is c composite?
True
Let l(y) = -5*y - 7. Let m be l(6). Is -8*(-1)/(-2) - m a prime number?
False
Suppose -w + 4*r - 26 = 0, -w - 5*r + 26 = 7. Let z be (-56)/w*9/3. Suppose k + k = z. Is k composite?
True
Suppose 6*k - 2*k = 120. Suppose 0 = 4*b + b - k. Suppose -y = -b*y + 215. Is y composite?
False
Suppose -j + 5 = -16. Let n = j - 36. Is (-563 + -2)*6/n prime?
False
Let p(q) = q - 2. Suppose 2*u - 31 = -5*t, 3*t + 3*u - 3 - 12 = 0. Let c be p(t). Suppose -k + 68 + 108 = 5*z, -5*k + 790 = -c*z. Is k a prime number?
False
Suppose -3 = 5*v - 13. Suppose -12*w = v*w - 518. Is w a composite number?
False
Let c(o) = o + 16. Suppose -5*y - 68 = -y. Let m be c(y). Is (m + 2)/(3/201) a prime number?
True
Let l = -4 - -7. Suppose -2*c + 23 = -4*n - 5*c, 11 = 2*n - l*c. Is -4*(-1)/n*-31 prime?
False
Let d(n) = 2*n + n**2 - 3 + 10*n**3 - 5*n**2 + 9*n**3 + 3*n**2. Suppose -5*j + 2 = -4*f - 20, -4*j = f - 5. Is d(j) a composite number?
False
Is 340 - (-28)/6*6/4 a prime number?
True
Suppose 7*w - 10551 = 22636. Suppose w = 5*d - 3914. Is d a composite number?
True
Suppose -3*q + 3*d + 129717 = 0, -d = 4*q - 90503 - 82433. Is q composite?
True
Let p = -268082 + 376081. Is p a composite number?
False
Let v(f) = 12*f**3 + 7*f**2 - 4*f + 5. Suppose -5*l - 2 = -3*z, 4*l + 12 = 2*z + 3*z. Is v(z) prime?
False
Let w be -239*(-4 + 2 - 0). Suppose -u - 5*o - 2370 = -6*u, -u + w = -5*o. Is u a prime number?
False
Let q(x) = -x**3 - 10*x**2 + 16*x - 8. Let w be q(-12). Let y = -32 + w. Is (-1413)/6*y/(-12) prime?
False
Let g(t) = 13*t**2 + 3*t + 2. Let i be g(3). Is -3 + i + 2 + 0 prime?
True
Suppose -s = s - 54. Let p(z) = -z**3 - 20*z**2 - 4*z - 80. Let l be p(-20). Suppose -s = -5*c - 2, -3*d - 5*c + 448 = l. Is d a composite number?
True
Suppose 31*j - 70580 = 22761. Is j a prime number?
True
Let b(z) = -z + 7*z - z + 7*z**2 - 2 + 4. Let m be (-1)/((-26)/(-8) - 3). Is b(m) prime?
False
Let i = 1932 + 667. Is i a prime number?
False
Suppose -136 - 172 = -y. Suppose -2*f - 119 - 183 = 0. Let c = y + f. Is c a composite number?
False
Let c be -3*(1 + 64) + -1. Let j = 249 - c. Is j a prime number?
False
Let w be (6 - -1) + (0 - 8)/4. Suppose -8*r = 5*b - 3*r - 2115, b = -w*r + 427. Is b prime?
False
Suppose -5*j = -3*y - 4, 4*j - 18 = -5*y - 0*y. Let k(f) = -3 + y - 4 - 6*f**2 - 2*f**3 + 2. Is k(-5) a composite number?
False
Let t = -12750 - -30413. Is t a composite number?
True
Let h(p) = p**2 - 8*p + 6. Suppose 3*q = 15, 0 = -5*u - 0*q - 3*q - 35. Let j = u - -19. Is h(j) prime?
False
Let k(g) = g**3 + 11*g**2 - 44*g - 17. Let u be k(-14). Let m(v) = v + 815. Let y be m(0). Suppose -u*b - y = -16*b. Is b a composite number?
False
Let v(u) = u + 3. Let t be v(7). Suppose 0 = -t*s + 5*s. Suppose 3*x + 0*x - 1671 = s. Is x a composite number?
False
Suppose 8 = 5*d - 2. Let f(t) = 11*t + 7*t + 5 + d*t. Is f(7) a composite number?
True
Let q(d) be the third derivative of -d**6/120 + d**5/6 + 2*d**4/3 + 19*d**3/6 - 16*d**2. Is q(10) prime?
True
Let f(b) = 5*b + 10. Let o be f(-2). Suppose 0*y - y + 2509 = o. Is y composite?
True
Let f(y) = 2278*y**2 + 5*y - 4. Is f(1) prime?
False
Let n = 1478 + -601. Is n prime?
True
Is (-8)/(24/(-9)) + 2*267 a composite number?
True
Let q be 5109/27 + (-3 - (-100)/36). Suppose 4*w