 Let i = f - 74. Let d = i + 282. Is d a prime number?
True
Suppose 0 = 6*z - 7*z + 11200. Suppose 0 = o - 3*d - 2369 + 117, 3*d + z = 5*o. Is o composite?
False
Let m = -7117 + 18539. Suppose -6*x - 2*c + 6857 = -3*x, -5*x = -3*c - m. Is x a prime number?
False
Let i(n) = 39*n**2 - 13*n. Let w be i(10). Is (1*3)/(-3 - w/(-1255)) a prime number?
False
Suppose -2*c - 4 = -3*a - c, 2*c - 4 = 0. Suppose -5*n - 13125 = -5*g, -2*n = -6 - a. Is g composite?
True
Suppose -143 = -3*b - 23. Suppose -2*o + 4*c - 8 = 0, -5*o - 5*c + 3*c = -b. Let f(g) = 89*g - 13. Is f(o) a composite number?
False
Let m(w) = -w**3 + w - 4. Let r be m(0). Let y be (-94)/(-5)*(-20)/r. Suppose a + 5*u = y, -4*a - 3*u = -0*a - 325. Is a composite?
False
Is -76215*(-10 - -8)/6 a prime number?
False
Is 366/61 + -1 + 17028 composite?
False
Let s(l) be the second derivative of 11/12*l**4 + 0 - 15/2*l**2 + 9*l - l**3 - 1/20*l**5. Is s(9) prime?
False
Is 3943/((20/5)/(-4))*-1 prime?
True
Is 12689/4*(29 - 17) a prime number?
False
Suppose 1377 = k + 4*d, 2*k + 5*d + 0*d - 2745 = 0. Let t = k - -3932. Is t prime?
True
Is ((-2)/(-12) - (-141740)/(-120))*-5 composite?
True
Let d = -1 - -6. Suppose -5*v + 8 + 14 = 4*z, 4 = 4*z - 4*v. Suppose 0*t + 4*t + z*g - 1487 = 0, -d*t = -g - 1854. Is t a composite number?
True
Suppose 10741 = -26*p + 53823. Is p a prime number?
True
Let f(y) = 2*y. Let t = 10 + -12. Let s be f(t). Is s/(-26) - 89/(-13) a composite number?
False
Let f(q) = -2*q**3 - 27*q**2 - 3*q + 24. Let p(l) = -l**3 - 14*l**2 - 2*l + 12. Let g(y) = -6*f(y) + 11*p(y). Let n be g(-9). Let c = n - -88. Is c prime?
True
Suppose -3*l - 2*h = -1891, -3*h - 1475 = -3*l + 436. Suppose 0 = -5*v + 15, -i - 4*v = 2*i - l. Suppose -2*r - r = -i. Is r a composite number?
True
Let j(n) = n**2 - 10*n - 27. Let u be j(11). Is u/(-4) - (-1 - 1268) prime?
False
Suppose 3*f + c - 6 = 0, -6*f - 24 = -11*f + 3*c. Suppose -f*n + 21045 = -3*h - 14496, n = 5*h + 11831. Is n composite?
True
Suppose -9*w - 29345 = -89978. Is w composite?
False
Suppose 15 = -3*v, 5*r - 3647 - 898 = -2*v. Is r a composite number?
False
Suppose 0 = -8*j - 12*j + 7860. Is j composite?
True
Let l(p) = 129*p**2 + 17*p + 3. Let d(g) = -43*g**2 - 6*g - 1. Let i(x) = 8*d(x) + 3*l(x). Is i(4) composite?
False
Suppose 0 = -2*i - 5*k + 14133, -3*i + 8*k - 7*k = -21208. Is i composite?
False
Let w be 9/(-21) - 244/(-14). Suppose -w*u = -19*u + 52. Is u a prime number?
False
Suppose -m + 21834 = 3211. Is m a composite number?
True
Let y = -72 - -76. Suppose 0*b = y*m + 4*b - 19572, 4869 = m - 5*b. Is m a composite number?
False
Let d(m) = m**3 + 7*m**2 - 2*m - 14. Let v be d(-7). Suppose -3*j - 15 = v, -2*q + 4*j + 654 = -0*q. Is q a prime number?
True
Suppose -5*r - 43968 = -2*z - 7331, 3*z - 3*r = 54978. Is z a composite number?
True
Suppose -27*k + 202888 = k. Is k a prime number?
False
Let g(i) = 4*i**3 - 3*i**2 - 22*i + 31. Is g(13) a composite number?
True
Suppose 10*i + 4 = 12*i. Let n be 0 + 5 - 6/i. Suppose -3*o = n*y - 29, -y - 35 = -7*o + 4*o. Is o a prime number?
True
Suppose 59*u = 27*u + 444320. Is u prime?
False
Let t = 11 - 4. Suppose 205 = t*g - 2*g. Let c = g + -4. Is c a composite number?
False
Suppose 2*m - 10 = 3*y, 2*y = -2*m - 3*y + 26. Is ((-530)/40)/((-2)/m) a composite number?
False
Let d = 17 - 13. Suppose -2*z + 34 = 2*l, -2*z = -d*l - 12 + 50. Let r(c) = -c**3 + 13*c**2 - 9*c + 17. Is r(l) a composite number?
False
Let l = 43 + -14. Let d = l + -44. Is (-6762)/(-15) + (-3)/d a composite number?
True
Let i = 2522 - 4937. Let z = 3682 + i. Is z/11 - (-6)/(-33) composite?
True
Let z(w) = 104*w**3 + w**2 - 1. Suppose 4*m = -5*r + 13, 4*m = 5*r + 4 - 1. Let b be z(m). Suppose 5*u = -3*k + 800, 6*k = 5*u + 2*k - b. Is u a prime number?
True
Let l = -22910 - -42367. Is l a composite number?
False
Suppose -3*j = o + j + 550, 2*o = -2*j - 1094. Let x = -29 - o. Is x prime?
False
Let j(g) = g**3 - 9*g**2 - 10*g + 3. Let v be j(10). Let o(r) = 28*r - 10. Is o(v) a composite number?
True
Suppose -10*l + 48 = -6*l. Let r be (427/(-28))/((-1)/l). Let v = r + -26. Is v prime?
True
Suppose -3*y - 4 = -y, 4*r + y - 7062 = 0. Suppose -3*u + r = -u. Is u composite?
False
Let q = 41 - 38. Suppose q*t = 165 + 174. Is t a composite number?
False
Suppose 4*b + 2*o - 12001 - 58637 = 0, -70613 = -4*b + 3*o. Is b composite?
False
Let x be (1/((-2)/(-9)))/((-5)/20). Let r(m) be the third derivative of -m**5/60 - 11*m**4/12 - m**3/2 + m**2. Is r(x) a prime number?
False
Let c = 69 - 146. Let w = c - -1116. Is w a prime number?
True
Suppose 4*v - 5 - 11 = 0. Let d be (v/(-6))/(2/(-222)). Suppose -2*q + d = -0*q. Is q a prime number?
True
Suppose 7*l - 10 = 5*l. Suppose 262 - 2707 = -l*o. Is o prime?
False
Let n = -16 + 30. Let j be (2*-1)/(n/2023). Is j/(-2) + (-7)/(-14) prime?
False
Let v = 1 - -2. Suppose 3*m = v*r - 15, -m + 4*r - 20 = 2*m. Is (60 - -2) + (m - 0) composite?
True
Suppose -4*y - 3*b + 4143 = 42, -3*y + 5*b = -3054. Let s(m) = m + 4. Let q be s(-2). Suppose -q*o - o = -y. Is o composite?
True
Let g = 10 + 8. Let z = g + -19. Let t = z + 8. Is t prime?
True
Let p(q) = -3. Let o(v) = -v - 1. Let i(j) = o(j) + p(j). Let f be i(12). Is -1*(-1 + f + -2) prime?
True
Suppose -193*g + 175*g = -41922. Is g prime?
False
Let o = 221 + -361. Let g be 1696/(-12)*9/(-4). Let x = o + g. Is x prime?
False
Let a = 29 + -13. Suppose a*c + 285 = 19*c. Suppose 0 = 5*f - 4*f - c. Is f composite?
True
Suppose 3*v + 393328 = 3*s - 441647, -4*s + 3*v + 1113296 = 0. Is s composite?
False
Let b = 3291 - 487. Suppose b = 2*i - 5*f, -11 + 1 = 5*f. Is i a composite number?
True
Let r = 826 - 555. Is r prime?
True
Suppose -d = -5*o - 31, -o - 5 = d - 0*d. Let u(y) = -y**3 - 2*y**2 + y + 4. Is u(o) a composite number?
True
Let r be 24/16*8/3. Suppose z = -5*q + 903, -r*z + 7*q - 3*q + 3516 = 0. Suppose -d = -f - z, d - 854 - 37 = -f. Is d composite?
False
Let r = 67 - 62. Suppose r*l = 10*l - 665. Is l a composite number?
True
Let s(b) = 12*b - 16. Let i be s(10). Suppose 2*x - x - 2*j - 26 = 0, -3*j + i = 5*x. Is x prime?
False
Let c = -1513 - -2466. Is c prime?
True
Suppose -8*u = -58931 - 155637. Is u a prime number?
True
Let j(g) = 3*g**2 + 4*g - 4. Let z be j(1). Suppose -f + 1093 = -z*b, 3*f + 1551 - 4814 = b. Is f composite?
False
Let x = 787 - -195. Suppose -1242 - x = -4*n. Let d = n - 351. Is d a composite number?
True
Let j = -666 - 39. Is j/(-19) + (-14)/133 a composite number?
False
Let t be 2261/56*138 + (-2)/(-8). Suppose -t = -70*b + 66*b. Is b prime?
False
Suppose 3*j - 30 - 24 = 0. Let t = -16 + j. Suppose -g - t*r = -2*g + 103, -179 = -2*g - 5*r. Is g prime?
True
Suppose 2*y = -2*z + 4086, 5*z = 2*y - 580 + 10781. Is z composite?
True
Let c = 10 + -6. Is (-39)/52 + 491*5/c prime?
True
Let s(r) = 3 + 2*r - 2*r - 8*r**2 + 47*r**2 - 5*r. Is s(-4) a composite number?
False
Is (5006/4)/(61/122) a composite number?
False
Let c(v) be the first derivative of v**4/4 + 4*v**3 + 6*v**2 - 13*v + 8. Is c(-10) a composite number?
False
Let i be 9235 + 5 - -5 - (1 - 1). Let q = i - 3576. Is q prime?
True
Is -1*5/((-10)/1754) prime?
True
Suppose -8*i + 2*i = -12. Suppose u + 641 = i*t, -5*t - 2*u + 1601 = -4*u. Is t prime?
False
Let u = -175 + 98. Is (-14)/u + 3243/11 prime?
False
Let s be 6/2 + -6 + -4. Let k = 12 + s. Suppose -b + g = -51, 0 = k*b + g - 4*g - 245. Is b a prime number?
False
Let w(v) = -3*v + 6 + 3*v - v. Let r be w(6). Suppose r = f + f - 38. Is f a prime number?
True
Let j = 6654 - 4055. Is j a prime number?
False
Is (60/45)/((-12)/(-624789)) a prime number?
False
Let n be (-38)/6 - (-1)/3. Suppose -6*k = -59 + 5. Is (3699/n)/k*-10 a prime number?
False
Suppose -5*k = -3*k - 14986. Is k a prime number?
False
Is (1 + -98069)*16/(-64) prime?
True
Let q = 5010 + -2823. Suppose -2317 = -8*f + q. Is f composite?
False
Let t be (-4762)/14 + (-1)/(-7). Let x = -185 - t. Is x prime?
False
Suppose -3*c - 4*a + 544 = 0, 0*a = -3*c - a + 541. Let k = c - 53. Is k prime?
True
Suppose 62426 - 15256 = 4*t - 3*y, 2*t = 5*y + 23592. Is t prime?
False
Let n be (4/(-6))/((-1)/(-21)). Let v = n - -14. Is 2*17 - (0 - v) prime?
False
Let g(j) = 76*j + 21. Is g(12) composite?
True
Let f = -69612 + 98401. Is f composite?
False
Suppose i + 6 =