 = -89*t + 22. Let p(k) = -90*k + 22. Let i(u) = -5*l(u) + 6*p(u). Is i(-9) prime?
True
Suppose 8242948 = 34*l - 2236498. Is l composite?
False
Let f be (-2)/(-1) - 59 - -2. Suppose -39*t = -15*t + 384. Let q = t - f. Is q a composite number?
True
Let h = -4844 - -806. Let z = -1319 - h. Is z composite?
False
Let z(q) be the third derivative of -q**6/120 + 11*q**5/30 + q**4 - 10*q**3/3 - 27*q**2. Let n be z(23). Suppose n*r = 2*r + 982. Is r composite?
True
Let c(u) = -u**3 + 3*u**2 + 2*u + 5. Let l(h) = -h**3 - 13*h**2 - 11*h + 14. Let d be l(-12). Suppose -x = -d*x - 6. Is c(x) composite?
False
Is ((-35)/15)/((-17)/66351) a composite number?
True
Suppose 38*t - 5724 = 11642. Let f = t - -84. Is f a composite number?
False
Suppose 3654 = j - 4808. Suppose j = 5*a - 5933. Is a prime?
True
Let f be (12292/(-56))/(3/(-18)). Suppose 3160 = 4*o - 9*o. Let p = f - o. Is p a composite number?
False
Let p(h) = 5*h - 24*h + 9*h**2 + 34*h**2 + 6*h + 26. Let a(j) = 21*j**2 - 6*j + 13. Let s(k) = 13*a(k) - 6*p(k). Is s(4) composite?
True
Suppose -37*u + 14*u - 285766 + 2127399 = 0. Is u a prime number?
True
Is (18783/18)/(7/154) a composite number?
True
Let t(i) be the third derivative of 821*i**5/60 + i**4/6 + 5*i**3/3 + 242*i**2. Is t(3) prime?
True
Let x(c) = -31*c**3 + c**2 - 2*c + 1. Let o be x(2). Let z = 225 + -345. Let l = z - o. Is l composite?
False
Let p = 1946 - -6412. Let d = 11 + -6. Suppose d*y = p - 2083. Is y composite?
True
Let s be (-136)/(-6)*(2 - 4/8). Is 94422/s + (-18)/153 a prime number?
True
Suppose -2*m + 7*m = -4*v + 243, -2*m = 4*v - 102. Let x = m - 334. Let f = 756 + x. Is f a composite number?
True
Suppose -11669 = -y - 4*g, 91*y - 92*y - 2*g = -11675. Is y a composite number?
False
Let b be -3 - 12/(-2) - (-2 + 5). Let t be -19 - b/(3 - 7). Let y = -13 - t. Is y composite?
True
Let t be (1072/6)/(0 + 5/30). Suppose t = i - 789. Is i composite?
False
Let c(n) = -16*n - 77. Let u be c(-5). Suppose u*j = -4*g + 15585, 21355 - 579 = 4*j + 4*g. Is j composite?
True
Suppose 52*s - 1092504 - 1731668 = 0. Is s composite?
False
Let o be (-4 + (-78)/(-9))*-48. Let p be (-2)/(-6) + (-1054)/3. Let w = o - p. Is w composite?
False
Let u(j) = -955*j + 1098. Is u(-31) prime?
True
Let f(w) = 157*w**2 - 3*w - 36. Let n be f(-8). Let c = 15887 - n. Is c a prime number?
True
Let r(v) be the first derivative of -35*v**4/4 - 4*v**3 - 21*v**2 + 9*v - 177. Is r(-8) composite?
False
Suppose -76*w + 74*w + 2018219 = 3*f, 0 = 3*f + 3*w - 2018214. Is f composite?
False
Let s(i) = -2004*i - 1999. Is s(-90) a prime number?
True
Suppose -12*f + 59 - 11 = 0. Suppose 5*y + 10 = 0, 3*y = f*k - k - 8829. Is k composite?
True
Suppose 392 - 106 = 5*k + v, -3*k - 3*v + 174 = 0. Let o = 61 - k. Suppose p - o*c = 57, -p + 2*c + 270 = 3*p. Is p a prime number?
False
Let f = -28 + 49. Let p = 37 - f. Is (323/4)/((36/p)/9) a composite number?
True
Suppose 0 = -s - 3*s + 3*l - 13014, -4*s = -4*l + 13012. Let w = s + 6454. Is w prime?
False
Is 3*(-3)/(-108) + (-11181940)/(-528) composite?
True
Let v(m) = -268*m**2 + m + 4. Let x be v(7). Let k = 27635 + x. Suppose -19*a + 5797 = -k. Is a prime?
True
Suppose 3*l = -4*g + 4*l - 21323, l + 26656 = -5*g. Let q = -3040 - g. Is q a composite number?
True
Let c(u) = -9831*u**2 + 14*u - 25. Let v be c(2). Is (-1 + v)*(-11)/22 composite?
False
Let x(c) = 4203*c + 11111. Is x(78) prime?
False
Let a = 1147 - -2411. Let o = -336 - 643. Let l = o + a. Is l composite?
False
Let q(c) be the third derivative of -253*c**4/24 - 7*c**3/6 + 173*c**2. Suppose 2*w + 3*a - 4 = 7*w, 4*w + 10 = -a. Is q(w) a composite number?
False
Let g(i) = 16 - 4*i + 0*i - 9*i**2 - i**3 - i - 2*i. Let t be g(-8). Is 2870/t + (-2)/(-8) + 0 prime?
True
Let f(g) = -g**3 - 3*g**2 + 5*g - 9. Let b be f(-6). Let t = b + 398. Suppose 2*n + 316 = k - t, -3*k = 2*n - 2381. Is k composite?
True
Suppose -5*o + u = -101 + 5, 2*o = 4*u + 24. Suppose 19*h = o*h - 1057. Is h prime?
False
Let x = 3945 + 6896. Is x a composite number?
True
Suppose 3*g + 17*w = 22*w + 586362, g + 2*w - 195443 = 0. Is g a prime number?
False
Let k(v) = v**2 + v - 2. Let s be k(1). Suppose 5*l + 16 = n - 12, 3*n + 5*l + 16 = s. Let c(r) = 106*r - 11. Is c(n) a prime number?
True
Let i(h) = 144*h**2 - 17*h - 87. Let v be i(-6). Suppose -4*a + v = -a. Is a composite?
False
Let v = 6069 - 5128. Is v prime?
True
Is (-4388270)/90*(0 - 9) a composite number?
False
Let h(b) be the first derivative of -23/2*b**2 - 2*b + 29. Is h(-21) prime?
False
Is (-3)/3*-1677201*(-9)/(-27) prime?
True
Let l = -49 - -49. Let w = 3 - l. Is (w - (-40)/(-15))*99 a prime number?
False
Is 1419444/((-135)/(-15)) + 1 a composite number?
True
Suppose 2212027 = 51*u - 3494822. Is u a prime number?
False
Let c be 3/(2 - -1) + 0 + 0. Let r be c/(5/(-3 - -12788)). Let b = r - 1656. Is b prime?
False
Suppose 4*h = 6*h - 10*h + 582856. Is h composite?
True
Let v = -96 + 33. Is (-2)/7 + ((-1001520)/v)/4 a prime number?
False
Suppose -105 = -d + 50*j - 51*j, 5*d - 4*j - 570 = 0. Suppose -5*w + 334 = -5*i + 1059, 2*i + 3*w = 280. Let o = d + i. Is o a prime number?
False
Let w be 498/(-8)*(32/(-6) + 0). Suppose 5*k = 333 + w. Suppose 0 = 3*r + 4*t - 369, -3*r + k = -t - 251. Is r a prime number?
True
Let q(m) be the second derivative of m**6/120 - 7*m**5/60 - 2*m**4/3 + m**3/6 - 7*m. Let j(f) be the second derivative of q(f). Is j(-13) a composite number?
False
Is 15*(3/1 + -4)*68955/(-45) prime?
False
Suppose -57*o = -63*o + 21096. Let n = -1555 + o. Is n composite?
True
Let b(r) = 2*r + 32. Let k be b(-15). Let t be 13/(-39) - (k + 2329/(-3)). Is t/27*3/2 a prime number?
True
Let q = 51 + -45. Suppose 94123 - 27829 = q*j. Is (-4 - j/(-33)) + (-6)/(-33) prime?
True
Let z be 9/2*(-47384)/(-6). Is -1*z/9*9/(-6) composite?
False
Suppose -5*b + 13*b = 134128. Let k = b - 11905. Is k a composite number?
False
Let r be (4/12)/((-5)/(-5610)). Let l = r + -277. Is l composite?
False
Suppose -11803*f = -11831*f + 2101036. Is f a composite number?
False
Let k = -135882 + 229249. Suppose k = 3*d - 2*o, 2*d - 16706 - 45546 = 5*o. Is d a composite number?
False
Let u(t) = -207*t**3 + 36*t**2 + 233*t + 69. Is u(-13) a composite number?
False
Let m = 400 + -392. Is (30/m)/(((-234)/4584)/(-13)) a prime number?
False
Let m be 231/9 - 4/6. Suppose 0*s + 5*s - m = 0, s = 5*r - 13930. Is r a prime number?
False
Suppose 70 = -4*f - 0*o - 5*o, -24 = 2*f - 3*o. Is (f/9 - -1)/((-20)/3690) composite?
True
Let b = 7275 - 3824. Suppose 0*p = -2*i - 5*p + 2307, b = 3*i - 2*p. Is i a prime number?
True
Let p = 125 - 83. Suppose 19*w - p*w = -14605. Is w a composite number?
True
Let w(u) be the first derivative of -10*u**3/3 + 5*u**2/2 + 16*u + 6. Let x be w(-8). Let r = x - -1341. Is r a composite number?
False
Suppose 5*l - 3476 = -x, -x + 13841 = 3*x - l. Suppose -2*s - 5*i + 1763 = 0, 3*i + x = 4*s - 0*i. Is s prime?
False
Let v(w) = 2*w**3 + 8*w**2 - 6*w - 5. Let f be 3*(-1 + 5)/4. Suppose -5*z - 4*c - 8 = -f*z, -5*z + 55 = -5*c. Is v(z) a composite number?
True
Let k(t) = 2*t**3 - t**2 + 3*t - 11. Let h(f) = 2*f**2 - 1. Let d(i) = -6*h(i) + k(i). Is d(8) a composite number?
False
Let d = 255043 - -585364. Is d prime?
False
Let j = 12 - 9. Suppose -f = h - 5, -4*f + f + j*h - 3 = 0. Suppose -3*b - 3*m = -111, -3*b + 19 = -f*b - 5*m. Is b composite?
True
Suppose 3*s - 241133 = -2*y, 4*s + 4*y - 241123 = s. Is s a composite number?
True
Let w = 28128 + 916651. Is w a prime number?
False
Let t(k) = 13*k**3 + 3*k**2 + 3*k + 26. Let l be t(7). Let j = l + -3292. Is j prime?
True
Let s be 4/(-6) - 1927/(-123). Suppose 0 = -5*g + c + 43, -3*g - 3*c = -0*c - s. Suppose -13662 = -g*o + 5554. Is o composite?
True
Let l(t) = t**3 + 131*t**2 - 140*t - 843. Is l(-122) composite?
False
Suppose -3*q = -4*b + 5893, -5*b + 7378 - 38 = 5*q. Suppose -3*y - 2*s = 2*s - 6794, 0 = -3*y + s + 6769. Let t = y - b. Is t a composite number?
False
Let i = 59487 + -26950. Is i a composite number?
False
Is (-5070)/(-338) - 26*-761 a prime number?
True
Suppose 1274*j + 114010 = 1279*j. Suppose -172*l - j = -198*l. Is l a prime number?
True
Let b = 1931 - 1305. Let w = b + 243. Is w prime?
False
Suppose 11036 = -2*c - 5*g, -4*c + 15*g - 13*g - 22120 = 0. Is (66/88)/((-6)/c) a pr