a prime number?
True
Let i = 12 + -11. Let b(q) = 381*q**3. Let m be b(i). Let y = m + -116. Is y a composite number?
True
Let g be (-18)/(-90) - 28/(-10). Suppose -3*x + r = -66, -g*x - 2*r = -0*r - 57. Is x composite?
True
Let i = -4 - -14. Suppose -6*t = 4 - i. Let q = 11 - t. Is q a prime number?
False
Suppose 2*k = -2*o + 7968, 0 = -5*o + 91*k - 94*k + 19930. Is o prime?
True
Let i be (3 + (-21)/6)*2*-3. Let a(n) = 457*n + 18. Is a(i) a prime number?
False
Let r(k) = k**3 - 7*k**2 - 7*k - 8. Let a be r(8). Suppose 4*m + a*m - 1228 = 0. Suppose 0 = 4*l, v = -4*l + 3*l + m. Is v a prime number?
True
Let u be (0 - -1) + (12 - 11). Suppose 2*k + k + 15 = -u*f, f - 4*k = 20. Suppose f*s - 158 = -s. Is s a prime number?
False
Suppose 0 = 150*x - 154*x + 4, 0 = -2*g - 4*x + 52346. Is g composite?
False
Let w = 184 + 145. Let b = 66 + w. Is b a prime number?
False
Suppose -5*l + 34 = 4. Let b(d) = 118*d + 7. Let k be b(l). Suppose 0*g = -5*g + k. Is g a prime number?
False
Let r(a) = -40*a - 103. Is r(-7) a composite number?
True
Let i = -180 + 16973. Is i composite?
True
Suppose -6013 + 17650 = -9*a. Let x = -182 - a. Is x prime?
False
Let p be ((-4)/(-6))/((-2)/(-12)). Suppose 13*t - p*t - 8055 = 0. Is t composite?
True
Let p be 3 - ((-4)/10)/(1/(-55)). Let i = 57 + p. Is i a prime number?
False
Suppose -4*q - 2*t - 6682 = 1788, q - 4*t = -2104. Let s = q - -3381. Suppose 4*k - 747 = s. Is k prime?
True
Let i(n) = 2924*n**3 + 2*n - 3. Is i(1) prime?
False
Let m = 2405 - 1338. Is m prime?
False
Let r(m) = 19*m**2 - 2*m - 16. Let y be r(5). Suppose -5*b + y = 139. Is b composite?
True
Suppose -3*u - 2*n = -8 - 13, 2*u = 5*n - 5. Suppose -2*w = -u*h + 8279, 4*h + w - 6622 = 2*w. Is h composite?
True
Suppose -8 = -2*m + 2. Suppose -5*a + 3350 = -5*u, a + u - 667 = m*u. Is a composite?
True
Suppose -o + x = 26, -4*x = -o - 0*o - 41. Let m = o + 130. Is m prime?
True
Let c be 11/((-55)/(-1260)) - 2. Let b = c + -176. Is b a prime number?
False
Suppose 4*w + 12329 = g + 2202, 0 = 3*w - 6. Is g composite?
True
Suppose 5*z = -1819 - 946. Let l = z - -1140. Is l composite?
False
Suppose 44*p = -3879 + 160123. Is p a composite number?
True
Suppose 4*z + 532 - 4830 = -2*j, z = -j + 1072. Is z a composite number?
True
Is (-158)/(-12)*-3*-38 prime?
False
Let f(t) = 12452*t**3 - t**2 - 3*t + 3. Is f(1) a composite number?
False
Suppose -297418 = -31*j + 9*j. Is j a composite number?
True
Suppose -5*h - 5*h = -60. Let q(c) = 6*c**3 - 8*c**2 + 11*c + 8. Let a(l) = l**3 - l**2 + l + 1. Let t(o) = -3*a(o) + q(o). Is t(h) composite?
False
Let v be 1/(-2) + 206367/14. Is v/10*(-1)/(-2) a composite number?
True
Let k(c) = -8*c**3 + 4*c**2 - 11*c - 58. Is k(-7) a prime number?
False
Is (-692)/(-2) - (-15 + 14) a composite number?
False
Let l(f) = -f**2 - 21*f - 21. Let v = -19 - -2. Let k = v + 3. Is l(k) a composite number?
True
Let u(g) = g**3 - 8*g**2 + 9*g + 9. Let d be u(7). Let x(i) = 4*i**2 + 4*i + 8. Let p be x(-5). Let w = d + p. Is w a composite number?
True
Let m = 24 + -26. Is ((-1)/(-3))/(m/(-2778)) a prime number?
True
Let t = -3440 - -6198. Is 9/(-27) + t/3 prime?
True
Suppose 9*o - 42637 = 1112. Is o prime?
True
Suppose -5*f = -144423 - 99772. Is f prime?
False
Suppose 4*r + 40 + 86 = 2*p, 5*p - 333 = 4*r. Is p prime?
False
Let g(l) = -l**2 - 3*l - 2. Let z be g(2). Is 3/z + 4757/4 prime?
False
Let b(w) be the second derivative of w**4/12 + 2*w**3/3 + 3*w**2/2 + w. Let d be b(-3). Let r = d - -19. Is r composite?
False
Let d(w) = -w - 11. Suppose -p + 0*p + 31 = -4*f, -2*p + 6 = 0. Let u be d(f). Is 145/(-3 - 1*u) prime?
False
Let l = 45 - 27. Let p = -15 + l. Suppose p*i - 586 = 1103. Is i a composite number?
False
Let f be (-762)/18 - 2/(-6). Let n = 8 - f. Suppose -3*o - l + 192 = 0, 0*o - o + n = 5*l. Is o prime?
False
Suppose 5*z + 16*s - 71855 = 14*s, 28742 = 2*z + 4*s. Is z a prime number?
False
Suppose -2971 = 5*h - u, 3*u = 3*h + 1365 + 408. Let a = h - -1148. Is a prime?
False
Is -14 - 708/(-48) - 103810/(-8) composite?
True
Let x(s) = s**3 + 39*s**2 + 18*s - 107. Is x(-38) prime?
True
Let a be ((-2)/6)/(0 - 9/3591). Suppose 171 + a = 8*z. Is z prime?
False
Let n(r) = 909*r**2 + 43*r**2 + 554*r**2 + 1. Is n(1) composite?
True
Suppose 0 = 2*g - o - 3, -3*g = -o - 3*o + 8. Let c be g/(-10) + 14/35. Suppose 2*h + c*h = 794. Is h prime?
True
Let n(g) = 12*g**2 - 5*g + 175. Is n(26) composite?
True
Let k be 2*(-1 + 5/2). Suppose -88 = -k*g + 4433. Is g prime?
False
Let w(c) = -c**2 + 19*c - 1. Suppose 4*y = -y + 50. Is w(y) a composite number?
False
Suppose -7*a + 4 = -3. Let x = a - -552. Is x prime?
False
Is (-2)/(-2*6/(-13218)*-1) prime?
True
Let p(k) = 1364*k + 1. Is p(2) a composite number?
False
Suppose q = -q + 648. Suppose q + 388 = 8*d. Is d prime?
True
Let q(t) = -22*t**3 + 2*t**2 - 5*t + 5. Is q(-6) a composite number?
True
Let j = 54 - -325. Is j prime?
True
Suppose 0 = -3*u + 2*u + 5. Suppose 48 + 5277 = u*n. Suppose 0 = 5*p - 7*d + 2*d - n, -2*p = 5*d - 440. Is p composite?
True
Let j(k) = 21328*k + 27. Is j(1) composite?
True
Let q = 2643 - 617. Is q composite?
True
Suppose -105*b = -98*b - 18235. Is b composite?
True
Let n = 52888 - 29655. Is n composite?
True
Suppose -4*k = 12, 5358 = 3*j - 0*j + 4*k. Suppose 1082 = 3*a - 2*n + n, 5*a = -n + j. Is a a prime number?
True
Suppose 3085 = u - 296. Let y = u - 2138. Is y composite?
True
Suppose 5*c - 4*v = -51, c - 2*v + 11 = -v. Is 0 + (c - -4) + 398 prime?
False
Let c be (0/(-1) + 3)/1. Suppose c*w = 494 + 766. Suppose -5*s + 2*z - z = -w, 3*z + 15 = 0. Is s composite?
False
Let d be 5/(-2) - (-387)/6. Let v(a) = 59*a + 6. Let o be v(5). Suppose -2*u + h = -d - 101, o = 4*u + 3*h. Is u a prime number?
True
Let w be (-2)/(8/138)*(-32)/16. Suppose 3*g + g - 1896 = 0. Suppose -c - g = -5*b, 3*c - w - 29 = -b. Is b a prime number?
False
Let b(i) = 91*i**2 - 21*i - 5. Is b(-8) prime?
True
Let f = 0 + 3. Suppose -4*g + 6 = -i, -i = -4*g + f*i. Suppose 0 = g*p + 26 - 100. Is p a composite number?
False
Let y = -24188 + 58609. Is y a prime number?
True
Suppose -3*v - 3*v - 174 = 0. Suppose 2*y = -0*y - 96. Let i = v - y. Is i composite?
False
Suppose 4*c - r = 3*r + 172, r = -2*c + 95. Suppose -54 = -5*u + z, -3*z + c = 5*u + 8. Is (-684)/(-30)*u/4 composite?
True
Let a = 80 + -84. Is (-14)/21*(-2)/(a/(-1986)) composite?
True
Let x(f) = 3*f**2 - 3*f + 1. Let k be x(2). Let n(y) = -212*y + 4 - 411*y - 8*y - k. Is n(-2) composite?
False
Let k(z) = 2*z**3 - 52*z**2 - 12*z + 53. Is k(27) a prime number?
True
Let k(i) = -19*i**2 + 8*i - 4. Let z(j) = -9*j**2 + 4*j - 2. Let t(s) = 3*k(s) - 7*z(s). Is t(4) prime?
False
Suppose 0 = -2*a - s - 26, 6*a - s + 51 = a. Let b = -9 - a. Suppose x + 36 = -b*r + 153, r - 53 = 5*x. Is r prime?
False
Let t = -29 + 20. Is (t/(-6) + -2)*-22 a prime number?
True
Suppose 6*u - 69 - 297 = 0. Suppose 2*b + 9 = 93. Let g = u - b. Is g a prime number?
True
Suppose 760 = -2*d - 5*l + 3*l, -1506 = 4*d - 3*l. Let c = d + 1031. Is c composite?
False
Let o = 7393 - 4652. Is o composite?
False
Suppose -2*n + 4*n - 12 = 0. Is (-7 + n)/(434/218 - 2) a prime number?
True
Let p(q) = -140*q + 6. Let f(b) = 139*b - 5. Let y(h) = 5*f(h) + 4*p(h). Let z be y(4). Suppose 4*i = -0*s - 3*s + 330, 5*s + 3*i = z. Is s composite?
True
Let p(u) be the second derivative of 8*u**3 - 7*u**2/2 - 16*u. Is p(4) prime?
False
Let f(r) = r**2 - 18*r - 41. Is f(-22) prime?
True
Suppose -33 = 5*s + d, 5*s + d = -3*d - 42. Let p(a) = -14*a - 50. Is p(s) a composite number?
True
Suppose -o + 14 = -l, 4*o + 5*l = 5 + 24. Suppose 3 = -4*g + o. Suppose 17 = g*m - 9. Is m a prime number?
True
Let s(r) = -15*r**2 - 10*r - 17. Let j be s(-8). Let c = 508 - j. Is c a prime number?
False
Let a be 2*9*1573/39. Let u = a - 224. Is u prime?
False
Let l(o) = 4*o**3 - 4*o**2 - 12*o + 23. Is l(7) a composite number?
True
Suppose -3*v = -4*v + 5, -3*p + 5*v = 67. Let k be (-1)/(((-6)/p)/(-3)). Let t = 44 - k. Is t a composite number?
False
Let w = 9 - 4. Let d(m) = 41*m**2 + 13*m - 3. Is d(w) composite?
False
Let j = 2860 - 1937. Suppose -t - 241 + j = -m, 4*m - 3437 = -5*t. Is t a composite number?
True
Let f(g) = 10*g**3 + 2*g**2 - 4*g - 7. Let z be f(5). Let r = -692 + z. Is r a composite number?
True
Let w