0. Is d prime?
False
Is 6*31/124*2/6*156158 a composite number?
False
Let i(x) = 2*x**2 - x - 1. Let n be i(2). Let o(d) = -39*d + 3 + 0 - n - 17. Is o(-8) composite?
False
Let j = 46 + -7. Let l = j + -34. Suppose -5*p + 0*a = -a - 9335, -9335 = -5*p - l*a. Is p a prime number?
True
Suppose 1 - 6 = -p. Suppose 3*k - p*k = 2*g - 14, -3*k + 3*g + 15 = 0. Suppose -3*r - 3*m = -15114, 4*m - 2 + k = 0. Is r prime?
True
Suppose -6020 = 13*q + 4003. Let z = q + 3378. Suppose -17*a = -14*a - z. Is a prime?
False
Let g = 40785 + 28026. Is g prime?
False
Let a(q) = -q**3 + 37*q**2 + 42*q - 150. Let b be a(38). Suppose 4 = -c, b*x = 4*x + 4*c - 298. Is x composite?
False
Suppose 10*q + 21907 = -11923. Let n = 5250 + q. Is n composite?
False
Suppose 0 = -42*l + 29*l - 598. Is (-455892)/(-8) + 161/l a prime number?
True
Let s(z) = 4*z**3 - z**2 + 13*z - 106. Let g be s(21). Suppose -4*h + g = h. Is h a composite number?
True
Let z(i) = i**3 + 46*i**2 + 23*i - 17. Let o be z(-33). Suppose 4*h - 2223 = o. Is h a composite number?
True
Suppose -13 - 7 = -4*c. Suppose -7 = v - 5, c*h = 4*v + 11553. Is h a composite number?
False
Suppose 7*p = 464 + 2476. Let g be 1/(-2)*(-1 + 1). Suppose g*r = r + 3, 0 = 3*c + r - p. Is c prime?
False
Let m(x) be the second derivative of -x**5/4 - x**4/12 + x**3/6 + x**2/2 - 8*x. Let t be m(-1). Is (-15575)/(-15) + t/6 a composite number?
False
Let x be 17 + (3 - 4) - (0 + -2). Is (1143/(-6))/(3*(-3)/x) a composite number?
True
Let r(v) be the second derivative of 2767*v**4/12 - v**3/3 - v**2 + 22*v. Let o be r(-1). Let b = -1541 + o. Is b prime?
False
Is 588734/12 - (531/(-54))/(-59) composite?
True
Suppose -1221*j = -1193*j - 9555532. Is j a prime number?
True
Let f(n) = 223*n**2 - 59*n - 7. Is f(12) a prime number?
True
Let t be 0 + 17 + 9 + -5. Suppose t*u - 10206 - 61887 = 0. Is u a composite number?
False
Suppose -3*k + 11*h = 14*h - 124611, 166154 = 4*k + h. Is k prime?
True
Let r be ((0*(-4)/(-12))/2)/2. Suppose -d + 5*w - 1 = r, 0*w + 2*w = d - 2. Suppose 4*a - 560 = -d*o + 2*a, -o + 149 = 5*a. Is o composite?
False
Suppose 22*k - 81574 + 1428 = 0. Is k prime?
True
Let o(q) = -30*q**3 + 44*q**2 + 77*q - 2. Let y(w) = -15*w**3 + 23*w**2 + 39*w - 1. Let l(c) = -6*o(c) + 11*y(c). Is l(10) composite?
True
Suppose 0 = -38*v + 28*v + 20. Suppose 693 = v*r - 101. Is r a prime number?
True
Let m(u) = -u**3 - 16*u**2 - 25*u + 6. Let o be m(-14). Is ((-12)/o)/((-1)/(-14601)) a composite number?
True
Let c(u) = -78*u + 17. Let s = -17 + 11. Let b be c(s). Suppose y - 734 = b. Is y a composite number?
True
Let k(p) = -p**3 - 8*p**2 + 44*p - 50. Is k(-21) prime?
True
Let c(l) = -6 + 18 + 8*l + l**2 + l - 2*l. Let q be c(-5). Suppose -q*i + 1093 = 199. Is i a composite number?
True
Let t(m) = 128*m**2 - 4*m + 3. Suppose 5*q - 2*s - 29 = 0, 7*q - 3*q = -2*s + 16. Is t(q) composite?
True
Suppose 0 = -26*j + 29*j + 2*k - 8815, -4*k = -j + 2943. Is j a prime number?
True
Let m = 38 - 34. Suppose 7441 = m*l - 2*l + v, l + 5*v - 3707 = 0. Is l a composite number?
True
Let x = 76438 + 28191. Is x a prime number?
False
Let g = 790 + 469. Suppose -21*b - 8856 = 20*b. Let m = b + g. Is m a composite number?
True
Is (-7 + (-140)/(-21))/((-15)/1621665) a prime number?
True
Let n = -3162 - -4920. Suppose -9458 = -4*b + 5*z, -3*b + 8848 - n = -2*z. Is b prime?
False
Let n(w) = 2480*w - 8. Let j be n(-1). Let f(c) = 45*c**2 - 9*c + 5. Let l be f(-9). Let o = l + j. Is o a composite number?
True
Suppose 2092505 = 44*k - 281691. Is k prime?
True
Suppose -5*n - 63*y = -61*y - 498245, 0 = -n - 2*y + 99649. Is n prime?
False
Let v(t) be the third derivative of -t**5/30 + 5*t**4/12 + 2999*t**3/6 + 71*t**2 + t. Is v(0) a composite number?
False
Is 8 + 0 + 983040/33 + (-2)/22 a prime number?
False
Is (-191900)/(-18) - (13 - 2 - (-2548)/(-234)) a prime number?
False
Suppose 3*x - z - 9509 - 17012 = 0, x - 8857 = -3*z. Is x a prime number?
False
Is (-3)/18 - (-15252346)/564 prime?
True
Suppose -2*z = -6*g + g - 23, 15 = -2*g - 5*z. Let i(j) = 1 + 12*j**3 + 18*j**3 + 4*j**2 + 17*j**3 - 51*j**3 + 3*j**2 + 9*j. Is i(g) a composite number?
False
Let k be (0 + -1)/((-3)/27). Let m be 7/((-315)/(-10)) - 5789/k. Let t = m - -1622. Is t a prime number?
False
Suppose 0 = -5*r - 20, -34*h + 33*h - r = -165067. Is h prime?
False
Let u = 9 + -7. Suppose -8*q - 3977 = -5*l - 4*q, -u*l = 4*q - 1602. Is l prime?
True
Suppose -4*l + 49 - 9 = 0. Suppose 3*h = 5*h + 4*q + 160, 0 = 3*h - 4*q + 240. Is (-32)/h + 306/l + 2 a prime number?
False
Let k = -94638 + 165571. Is k composite?
True
Suppose 3923*w - 3913*w - 56660 = 0. Let z = -3 + 8. Is (w/(-2))/(-6 + z) composite?
False
Let a(p) = 8 - 3 + 3*p - 5. Let f be a(0). Suppose f = 6*w - 838 - 488. Is w prime?
False
Let v = 5830 - 3272. Let h = v + 1707. Is h a prime number?
False
Let m = 89 + -36. Suppose 0 = 41*u + 79*u - 36000. Let l = u + m. Is l composite?
False
Let v(q) = -29591*q**3 - q**2 - 8*q - 8. Let i be v(-1). Suppose 0 = -9*b + 19*b - i. Is b a composite number?
True
Let s be 3 - ((-8)/4 + 5). Let i be (2/(-3) + s)*9. Is ((-4)/i)/(15/(147330/4)) composite?
False
Let v = 120 + 111. Let a = v + 839. Let r = a + 339. Is r prime?
True
Suppose -85*b + 59*b + 2408302 = 0. Is b prime?
True
Let y(t) = -t**3 - t**2 + 2*t. Let u be y(1). Suppose 2 = 2*o - 4*d, -o - d = -u*d - 10. Is (33/(-12) + -2)/(o/(-1876)) composite?
True
Is (211524 + -2)/(1*(-3 - (-11 - -6))) a composite number?
False
Is ((-1)/4)/(294/(-168)) + (-402512)/(-14) a composite number?
False
Let y(n) = -5*n + 7. Let k be y(1). Suppose -3*o + 1461 = 5*z - k*o, -3*z = 3*o - 867. Is z a prime number?
True
Let f = -3142 - -5115. Is f a composite number?
False
Let k(x) = -x**3 - 20*x**2 - 2*x - 32. Let n be k(15). Let l = n - -13014. Is l composite?
False
Let m(d) be the second derivative of d**5/20 - d**3/6 - 20*d**2 + 10*d. Let t be m(0). Is (-19870)/(-8) - (-30)/t a composite number?
True
Let a = -704307 - -1537688. Is a prime?
False
Let j = 96 - 90. Let s be ((-86)/j)/(-1 + (-11)/(-12)). Let o = 246 - s. Is o prime?
False
Suppose -2*h - 979122 = -5*y + 2918523, 0 = -2*y - h + 1559067. Is y a composite number?
False
Let y(d) = 6915*d**2 + 1334*d + 4009. Is y(-3) composite?
True
Let a(i) = 28*i**2 + 4*i + 22. Let t(g) = 13*g + 45. Let u be t(-4). Is a(u) a prime number?
False
Suppose -2*s - 7424 = -2*w, 3*s + 14857 = 4*w + 2*s. Suppose g - w = -h, -5*g - 4923 = 2*h - 23486. Is g a prime number?
False
Let l(q) = 1738*q**2 + 39*q - 116. Is l(15) a composite number?
False
Let b = -70 - -74. Suppose u = -u - b*u. Is 2936/4 + 3 + u composite?
True
Suppose -17*x + 262 = -61. Suppose -2*c + 4 = 0, -x = -m - 4*c + 408. Is m a composite number?
False
Let x = -44724 + 19137. Is x/(-12)*12/9 composite?
False
Let y(z) = -222*z**3 + 6*z**2 + 14*z + 401. Is y(-9) prime?
False
Suppose -27*o = -6*o. Is (o + 2/10)/((-36)/(-1988460)) prime?
True
Suppose -4*m + 2827753 = 5*h, -13*h - 2*m + 2827759 = -8*h. Is h a prime number?
True
Let g(m) = 2*m + 3. Let s be g(-9). Let j be 3/s - 66/(-5). Suppose j*c = 12*c + 373. Is c a composite number?
False
Let g(x) = -x + 1. Let z(t) = -26*t**2 + 12*t - 5. Let i(p) = -4*g(p) - z(p). Is i(-9) a composite number?
False
Let t = -56177 - -112018. Is t a composite number?
True
Let f(k) = -8*k**3 + k**2 - 7*k + 7. Let m be f(6). Let z = -2526 - m. Let v = z + 1221. Is v a composite number?
True
Suppose 0 = -4*j + 9*j - 15. Suppose j*y = 108 - 66. Is 6692/y - 2*6/(-4) composite?
True
Let p = 58 + -52. Let c(j) = 15 - 5*j - p*j + 7*j**2 + j + 13*j. Is c(-10) a composite number?
True
Suppose -7*a + 6*a + 3*b - 3 = 0, 4*a + 2*b - 16 = 0. Let r(d) = 7358*d + 43. Is r(a) a prime number?
False
Suppose -2*d = -2, -30944 = 4*l - 3*d - d. Let n = l - -14796. Is n composite?
True
Suppose -5*g + 1 + 11 = 3*v, -5*v = -3*g - 20. Suppose g = 2*w - 0*w + 3*w. Is 4862 + -3 + (1 - (w - 1)) prime?
True
Let q(k) = -147*k - 7. Let s = 58 - 58. Suppose 5*x - 2*f + 14 = s, -f + 17 = -5*x - 0*f. Is q(x) prime?
False
Let h = 19571 + -13253. Suppose -4*u = -5*s + 10517, -3*s - 3*u + 8*u = -h. Is s a prime number?
False
Let q(h) = 21*h**2 - 14*h - 32. Let k(f) = f - 25. Let i be 8/(-28) + (-114)/(-7). Let d be k(i). Is q(d) a prime number?
False
Let m = -86 - -55. 