3*f, -3*m + s = -4*f - f. Is m a prime number?
False
Suppose -2*n = 3*h - 16, 2*n - 9 = -h + 3. Suppose 2692 = 4*s + w, 0 = 3*s + 2*w - n*w - 2019. Is s prime?
True
Let n(c) = c**3 - c**2 - c + 14969. Is n(0) prime?
True
Suppose 3*l + 2*l = -620. Let y = 921 + l. Is y prime?
True
Suppose 2*v + 3*v = -4*k - 51354, 0 = 4*v - k + 41100. Let o be v/(-99) - (-2)/9. Let g = o - 66. Is g composite?
True
Let n(r) = 18*r**2 + 5*r - 7. Let q be n(4). Let v(w) = -w**2 + 7*w + 2. Let f be v(7). Suppose -d + f*d = q. Is d composite?
True
Let c = 37 - 90. Let k = -20 - c. Is k a composite number?
True
Let v be (-24)/(-15) - (-4)/10. Suppose 5*f = 3*b + 170, 6*f - v*f - 173 = -5*b. Is f prime?
True
Let h = 1845 + -632. Is h a prime number?
True
Let b = -87 + 15. Let w = -37 - b. Is w a prime number?
False
Let h(z) = z**3 - 2*z**2 - z + 2. Let j be h(0). Let d(x) = 26*x**2 + 4*x + 3. Let w be d(7). Suppose 5*a - 3*p - w = j*p, p - 2 = 0. Is a composite?
False
Suppose p = 3*r + 13, -4*r - 8 - 2 = -5*p. Let w be 2/(p - (-1670)/834). Let q = -453 + w. Is q composite?
True
Let s(t) = -21*t + 70*t - 6 + 2. Let j be (-3 + -2)*9/(-15). Is s(j) composite?
True
Is (20031/(-12))/(58/(-232)) composite?
True
Let g = 4609 + -3010. Let d = 2284 - g. Is d prime?
False
Let k(v) be the third derivative of v**6/120 + 3*v**5/10 + 17*v**4/12 + 7*v**3/6 + 21*v**2. Is k(-10) composite?
False
Let w(s) be the first derivative of 38*s**2 - 45*s - 23. Is w(19) a prime number?
True
Let a = 521 + 20. Is a a prime number?
True
Let u(b) = -227*b - 20. Let w be u(5). Let f = -670 - w. Is f prime?
False
Suppose -6*k + 57545 + 42649 = 0. Is k prime?
True
Let l(j) be the second derivative of 7*j**4/12 - 2*j**3 - 10*j**2 + 3*j. Is l(-13) composite?
False
Suppose 0*p - 4*j + 20 = 4*p, 37 = 5*p + 2*j. Let a be 3/3*(1 - -5). Let u = p - a. Is u composite?
False
Suppose 4*z = p - 97, -5*z + 5*p - 24 - 116 = 0. Let i = 76 + z. Is i a composite number?
False
Let j = 66 + -66. Suppose 22458 = 5*z + x + 392, j = -4*z + 4*x + 17648. Is z prime?
False
Suppose q + 2956 = 5*q. Let o = q - 62. Is o composite?
False
Let f = 14 - -55. Let u = f - 36. Is u a composite number?
True
Suppose -2*m - 5*i + 7663 = 0, 15 = 113*i - 118*i. Is m a prime number?
False
Let f = -15 + 5. Let s(d) = 3*d**2 - 14*d + 9. Is s(f) a prime number?
True
Let n(h) = 259*h**2 - 63*h - 3. Is n(-8) a composite number?
False
Is 1*4603 - (13 + -19) composite?
True
Let v(h) = -2*h**3 - 10*h**2 + 17*h - 4. Is v(-13) a prime number?
False
Let k(o) = -42*o**2 - 2*o + 1. Let l be k(3). Let y = l + 246. Let d = y + 268. Is d a composite number?
False
Suppose 0 = 5*c + 2*k + 30, -c - 2*k + 2 = 16. Let d = c + 9. Suppose -3*x - 176 = -3*v - 4*x, -d*v - x = -290. Is v prime?
False
Let d = 136 - 80. Suppose 3*t - 4*f - 80 - 102 = 0, -f = t - d. Is t a prime number?
False
Let w(c) = -6*c**3 - c**2 - 3*c - 1. Suppose -u + 14 = -2*x + 5*x, 3*x = -2*u + 13. Let v be w(u). Let h = 58 - v. Is h a composite number?
True
Suppose 2*p + 28 = -4*a, 2*a + 9 = -2*p - 15. Let r be (6/p)/(4/20). Is ((-1)/(-1) - -28) + r a composite number?
True
Suppose -2*c = 35 - 43. Suppose -398 = -3*r + s, 4*r + c*s - 147 = 357. Is r a prime number?
True
Suppose 5*x + 1798 + 1967 = 0. Let w = x - -1148. Suppose r = 6*r - w. Is r a composite number?
False
Let f(d) = d**2 - 8*d - 16. Let t be 10/8 - (-33)/(-4). Is f(t) prime?
True
Let b(k) be the third derivative of -43*k**6/120 + k**5/20 + k**4/6 + 5*k**3/6 - 16*k**2. Is b(-2) composite?
False
Let i be 6/(-42) + (-716)/(-14). Let v = -75 + i. Let z = -1 - v. Is z composite?
False
Let p = 19 - 12. Suppose -p*c = -10*c + 15. Suppose 0 = 5*i + 5*h - 630, 3*i - 94 = c*h + 292. Is i a prime number?
True
Let n(u) = 2*u**3 + u**2 + 9*u + 12. Suppose -2*f = -4*d - 12, 3*d - 1 = 4*d - f. Let x be n(d). Let c = x - -637. Is c a composite number?
False
Let f(h) = -h**3 - 3*h**2 + 4*h - 2. Let u be f(-5). Suppose 0 = 21*i - 17*i - u. Suppose -i*p - d + 170 = -2*p, 0 = -3*p + d + 110. Is p prime?
False
Suppose -4*h + 16 + 68 = 0. Let v = 72 - h. Is v a prime number?
False
Suppose -32*x + 1176558 - 227342 = 0. Is x prime?
True
Let s(m) = -m + 4. Let j(q) = -3*q - 8. Let a be j(-4). Let v be s(a). Suppose v = 2*y + 4*o + o - 1380, o + 3423 = 5*y. Is y a prime number?
False
Let o = 1026 - 1473. Let r = o + 1816. Is r composite?
True
Let m(p) = 2*p**2 + 2*p + 16. Let q = 13 - 24. Let y be m(q). Is (2/4)/(2/y) a composite number?
False
Is 78/(-13)*208686/(-36) a composite number?
False
Let m = 13338 - 3424. Is m prime?
False
Suppose 0 = -8*t + 26*t - 435546. Is t composite?
False
Let v(d) = 31*d - 24. Let m = -50 - -63. Is v(m) prime?
True
Let d = 1 - -1. Let c be (d/(-6))/(19/(-30837)). Suppose 93 = 2*j - c. Is j composite?
False
Let n = 464 + 1521. Let u = n + -648. Is u a composite number?
True
Let w(r) = -243*r + 164. Is w(-15) a prime number?
False
Let n = -37 - -315. Suppose 0 = 2*c + n + 718. Let q = -31 - c. Is q a prime number?
True
Let f(m) = -5*m**2 - 4. Let w be f(3). Let p = w + 471. Is p composite?
True
Suppose -2*q = -3*a + 111, 7 = -5*a - 8. Let l = -258 - q. Let t = -116 - l. Is t a prime number?
False
Suppose 47*g + p + 128705 = 51*g, -2*p = -4*g + 128702. Is g composite?
True
Let t(s) be the second derivative of 2*s**3/3 - 19*s**2/2 - 9*s. Let w be t(6). Suppose -w*x = x - 2082. Is x a prime number?
True
Let l be (8/(-10))/(5/(-25)). Suppose b = -l*b + 20. Suppose 5 + 3 = 4*k - b*q, 3*q + 18 = 5*k. Is k a prime number?
False
Let v be -1 + (-1 - (-2 + -15)). Suppose v = d - 6*d, -3*c = d - 342. Suppose 4*z + 4*y = z + c, 86 = 2*z + 5*y. Is z composite?
True
Let v(u) = 6*u - 2. Suppose 0 = -4*n + 6 - 50. Let w be v(n). Let s = w - -127. Is s a composite number?
False
Let w = -314 - -316. Let i(q) = -q + 4. Let s be i(3). Is (-754)/((s + -5)/w) composite?
True
Suppose 0 = 3*g + 5*k + 870 - 4509, 0 = 2*g - 3*k - 2426. Is g a prime number?
True
Suppose 296579 = 5*d - 4*c, -10*d = -11*d - c + 59314. Is d a prime number?
False
Let q(i) = 4*i**2 - 20*i + 17. Let y(u) = 2*u**2 - 6*u + 6. Let n(o) = -3*q(o) + 8*y(o). Let g(v) = v**3 - 4*v**2 + 2*v + 5. Let a be g(4). Is n(a) composite?
False
Suppose 3*t - 4*x + 0*x = 1, 3*x = 2*t. Suppose -4 - 1 = 3*b + 4*i, -b + 20 = -t*i. Suppose -n + 44 = b*f, 10 = 2*f + 3*n - 5. Is f composite?
True
Suppose 0*w = -5*b - 4*w, b = 3*w. Let k be (3 + -2)*-47 - b. Let i = -28 - k. Is i a composite number?
False
Let y(w) = w**2 + 6*w - 22. Let p be (2 + -4)*55/10. Is y(p) prime?
False
Suppose -o - 4*v = 2*o + 104, o + 2*v + 34 = 0. Is -4348*(o/16 - -2) prime?
True
Let d be 2/7 - 171/133. Is d*2*(-372)/24 prime?
True
Suppose 8658 = -13*j + 31*j. Is j prime?
False
Let l(i) = -376*i - 197. Is l(-6) prime?
False
Let u(b) = 2*b**2 + 2*b + 11. Let q(c) be the first derivative of 2*c**3/3 + c**2 + 11*c - 8. Let n(k) = -5*q(k) + 6*u(k). Is n(-5) composite?
True
Let f be 1948/5 + (-24)/(-60). Let d be 3*(1 + 0 + -3). Is (2/d)/((-5)/f) prime?
False
Let l(t) = 9*t**2 + 3*t + 1. Let s(r) = 12*r**2 + r + 1. Let j be s(-1). Suppose -2*x - j = 2*x, 2*w + x + 11 = 0. Is l(w) a composite number?
True
Let z(l) = 54*l**3 - 11*l**2 + 7*l - 19. Is z(7) composite?
False
Let i be ((-6)/4)/((-9)/24). Let c(d) = 46*d - 10. Let y be c(i). Let v = y + -47. Is v composite?
False
Let x(d) be the first derivative of -2 + 71*d + 1/2*d**2. Is x(0) prime?
True
Let c(t) = -t**3 - t**2 + 12 + 0 - 10 + 10*t. Let m be c(-7). Suppose -m = -r + 91. Is r a composite number?
False
Let j(c) = c**3 - 10*c**2 - 11*c - 17. Let m be (-16)/(-12)*3 - -12. Is j(m) a composite number?
True
Suppose 5*q = 3*j + 724, 2*j + 3*j + 1236 = q. Let g = j - -1026. Is g a prime number?
False
Let k(m) = m + 2 + 6 + 8 - 1. Let g be k(-4). Suppose 0*r = r - g. Is r a prime number?
True
Is (1927 + 0)*(5 - 4) prime?
False
Suppose 20 = -2*d + 7*d. Suppose 593 = -d*s + 1717. Let a = 12 + s. Is a a composite number?
False
Let t = -13 + 15. Suppose a - 474 = -w, 4*w + t*a = -w + 2385. Is w prime?
True
Let y(q) = 2*q**3 - 23*q**2 + 6*q + 13. Let p be y(11). Is 2 - 12/7 - 68742/p prime?
True
Let d(g) be the third derivative of 13*g**5/12 + g**4/12 - g**3/2 + g**2. Let i be d(-3). Suppose 4*u = -0*u - 4*x + i, -725 = -5*u - 4*x. Is u a prime number?
True
Let v = -53 - -