e o - 3 = -2*l + l, 0 = -5*l. Suppose -4*c = o*i - 1002, -6*i + 1670 = -i - 2*c. Is i prime?
False
Let y(q) = -q**2 + 24*q + 8. Is y(17) composite?
False
Let n = 319 + -192. Is n a composite number?
False
Is (-3 + (-849)/(-9))*3 a prime number?
False
Let f = -2484 + 3965. Is f composite?
False
Suppose 0 = -c - 2*j - 38, 4*c + 4*j = 3*j - 180. Is c/(1 - (-36)/(-28)) prime?
False
Let r(l) be the first derivative of -l**4/4 + l**3/3 - l**2/2 + 35*l - 2. Is r(0) a composite number?
True
Suppose x - g = 759, 1514 = 2*x - 5*g + g. Is x composite?
False
Suppose 5*u = 3*y - 5*y + 5, 0 = 5*u - 3*y - 30. Suppose u*h - 3*p - 616 = -220, -3*p = 15. Is h a prime number?
True
Is -1*1*(-90 + 35/(-5)) a composite number?
False
Let u be 1/(2 - 27/15). Suppose -c = -u*c + 8. Suppose 0 = c*x - 185 + 55. Is x prime?
False
Let d = 6 + -7. Is 160 - (d - 1) - 3 a composite number?
True
Let m = 64 - 41. Is m a prime number?
True
Let s be (-1 + 2)*5*-3. Suppose -4*h = -h + 87. Let c = s - h. Is c prime?
False
Let a(f) = 2*f + 12*f + 7 - 4. Is a(6) a prime number?
False
Suppose 2 = 2*j, 0 = 5*p - 4*j + 5*j - 21. Suppose -260 = -p*g + 84. Is g prime?
False
Is (1 + 10/(-6))/(2/(-4011)) a prime number?
False
Suppose 3*y = 33 + 105. Suppose 3*k - 4*g = -y, -k + 3*g = -2*g + 19. Let q = 23 + k. Is q a prime number?
False
Let l(t) be the third derivative of -t**7/2520 + t**6/80 + t**5/120 - t**4/12 + 2*t**2. Let q(u) be the second derivative of l(u). Is q(7) prime?
False
Suppose -2*s + 158 = -12. Is s prime?
False
Let l be (-2)/(-11) + (-784)/(-44). Let u = 51 - l. Is u prime?
False
Let t be (-3 - 513/(-6))*2. Let f = t - 8. Is f a prime number?
True
Let g be (8/10)/(10/25). Suppose g*z - 4*p - 37 = 7, -3*p - 83 = -4*z. Suppose -c = c - z. Is c a prime number?
False
Let u(c) = 52*c + 3. Let b(q) = -26*q - 2. Let x(j) = 5*b(j) + 3*u(j). Let v be x(5). Suppose 3*o = v + 120. Is o a prime number?
True
Let q(u) be the third derivative of 3*u**4/8 + 8*u**3/3 + 2*u**2. Is q(7) a prime number?
True
Is -4 + 153/45 + (-13996)/(-10) a prime number?
True
Suppose 2*l - 225 = -3*l. Suppose -4*u + 9*u - l = 0. Let f = u + 13. Is f a prime number?
False
Is ((6 + -3)/3)/(2/502) composite?
False
Suppose -48 - 15 = -3*y. Suppose -5*z = 1 - y. Is z a prime number?
False
Suppose 2*t - p - 585 - 1000 = 0, 3*t + 5*p = 2358. Is t a composite number?
True
Suppose -449 - 59 = -4*v. Is v composite?
False
Let o = 399 - -1312. Is o a prime number?
False
Let q(t) = 483*t**2 - 1. Let l be q(-1). Let f = l + -327. Is f prime?
False
Is (-10 + 0)*(-265)/10 a composite number?
True
Let n be 2 - 2 - (-8 + -1). Suppose 0 = 2*o + h - n, -2*h - h + 13 = -o. Suppose s = 5*l + 3, -2*l + 42 = o*s - 12. Is s a composite number?
False
Let l(c) = -c**3 - 3*c**2 + 3. Let d be l(-3). Suppose -3 - d = -2*v. Is v a composite number?
False
Is 480 + -2 + (5 - 4) prime?
True
Suppose 5*x + 26 = 2*b, -b + 6*b - 4*x - 65 = 0. Let f = b - 2. Is f a prime number?
True
Suppose -15 = 5*x, s = -0*x - 2*x - 3. Let z(c) = 2*c**3 + s*c**2 + 4*c**2 - c**3 - 1. Is z(-6) composite?
True
Suppose 0 = 5*a + 5*o - 4*o - 1528, -601 = -2*a + 3*o. Is a a prime number?
False
Suppose -5*q + p - 2*p = -4191, -3372 = -4*q + 4*p. Is q prime?
True
Let i(a) = 10*a**2 + 7*a - 4. Is i(13) a prime number?
True
Let c be -1 - (-3 + 1 - 2). Suppose c*r = 258 + 189. Is r a composite number?
False
Let z be 7*(27/21 + -1). Let c(b) = 4*b**3 - b**2 + 5*b - 2 - 2*b**z - b**2. Is c(3) a composite number?
True
Suppose 0 = 3*h - 35 - 1. Is 7/(-42) + 158/h composite?
False
Let r = -17 + 19. Is r*-1*(-2597)/14 a composite number?
True
Let c be -2*4/8 - -179. Suppose 0*f = 2*f - c. Is f composite?
False
Let s(h) = -h**2 + 8*h - 2. Let l be s(8). Let n be 0 - -2*l/4. Is (-23 + 0/3)/n prime?
True
Is (-3480)/(-22) + 12/(-66) a composite number?
True
Let o = -714 + 2249. Is o prime?
False
Let t(s) = -19*s + 13. Is t(-10) a composite number?
True
Suppose 6*c - 3*a - 648 = 3*c, -819 = -4*c - 5*a. Is c prime?
True
Let z(w) = w**2 - 13*w - 22. Let n = 2 + 14. Is z(n) composite?
True
Let c(i) = 5*i**2 + 4. Let v(l) = l. Let j(f) = c(f) + 2*v(f). Is j(-3) composite?
False
Suppose -3*z = z - 40. Let h = 5 + z. Is h composite?
True
Suppose 3*x = 4*g - 11, -5*g + 0*x - 4*x + 37 = 0. Suppose 510 = g*d - 125. Is d a composite number?
False
Let o(q) = -q**2 - 4*q + 6. Let b be o(-5). Let p(r) = 1 + 6*r + 3*r**2 + b + 3. Is p(6) composite?
False
Let x(t) = -435*t**2 - 1. Let o be x(-1). Let g = -225 - o. Is g a composite number?
False
Suppose 3*b = 8*b - 5. Let g be (b*18)/(-2) - 0. Is 21/g*-1*3 a prime number?
True
Let g be 0/1 - (-3 - 8). Suppose t - 33 = -g. Is t a composite number?
True
Suppose -5*l - t = 4, 0 = l - 0*t - 2*t + 3. Let z = l + 3. Suppose z*o = -2*o + 76. Is o prime?
True
Let c be (-1)/1*(-2 - -2). Let r(l) = -l**2 - l - 5. Let h be r(c). Is 6/(-15) - 1187/h composite?
True
Suppose t - 1587 = -2*t. Is t prime?
False
Suppose 25 = 2*j + 3. Let d(n) = -j - 1 + 2 + 13*n. Is d(11) a composite number?
True
Let c = -50 - -131. Suppose u + 0*g - g = -c, 5*u = 2*g - 420. Let o = 141 + u. Is o a composite number?
True
Suppose 3*w = h - 4*h - 15, -5*h = 4*w + 22. Let q be -2 - w - 15/3. Let t = -1 - q. Is t a composite number?
False
Is 197 - (-1)/(3/6) composite?
False
Suppose -1 - 3 = 2*c. Suppose -2 = 2*o - 4*a, 0*a + 2*a = -2*o + 16. Let r = o + c. Is r prime?
True
Let j be (2/(-2))/(3/3). Is 0 + 1/j + 584 a prime number?
False
Is (-12 + 98)/(1 + 30/(-34)) a composite number?
True
Let j = 8 + -14. Is 57/j*-6 - 2 a composite number?
True
Let w(p) = p + 10. Let l be w(-8). Suppose 1169 = -l*k + 3*k. Is k a composite number?
True
Suppose 0 = 3*l - 15, 5 + 27 = 4*a + 4*l. Suppose -a*c = -0*c - 507. Is c a prime number?
False
Is (-1 - -14) + (-6)/3 a composite number?
False
Is (1/3)/(3/26397) prime?
False
Let w(z) = -z**3 + 7*z**2 + 8*z + 2. Let j be w(8). Suppose -k + 98 = 3*k + 3*g, -2*k + j*g = -42. Is k a prime number?
True
Let g(w) = w**3 + 11*w**2 + 8*w - 1. Is g(-9) a composite number?
False
Suppose -1054 = -q + 4*t, -t + 4817 = 3*q + 1694. Is q/((1 - 2)*-2) a composite number?
False
Suppose -4*p - 2*n + 14 = 0, -3*n - 3 = -4*n. Suppose -4 = -r, -3*a = r - 5*r - p. Is a composite?
True
Suppose -54 + 150 = -3*q. Is 2*(-4)/(q/2164) composite?
False
Let q be (-27)/(3/(-20)*1). Suppose 5*j + r - 193 = 0, -5*j - 2*r = -11 - q. Is j prime?
False
Is 9/12 + 201/(-24)*-22 a prime number?
False
Let y = -5 - -5. Suppose 20 + 46 = 2*z + 4*b, y = 5*z + 2*b - 173. Is z a prime number?
False
Let l = 16 - 22. Let t(k) = -k**3 - 2*k**2 + 7*k - 7. Is t(l) prime?
False
Let g(w) = w**2 + 4*w + 2. Let a be g(-4). Suppose 0 = 5*q - a*j + 238, q + 4*j + 100 = -q. Let f = q - -115. Is f a composite number?
False
Let v(l) = -44*l + 13. Is v(-11) a composite number?
True
Suppose 0 = -5*b + t + 2*t + 992, -3*t = 4*b - 799. Is b a prime number?
True
Suppose -3*c = 2*c - 2785. Is c prime?
True
Let f(l) be the third derivative of l**5/60 + l**4/8 - 3*l**3/2 + 3*l**2. Is f(-11) a composite number?
False
Let q(d) = -2*d + 8. Let j be q(6). Let g(k) = 33*k + 6. Let v be g(j). Is (1/(-2))/(3/v) prime?
False
Let s = -7 + 64. Is s prime?
False
Suppose 5*s = 3*s + 22. Let n(y) = 32 - y + s - 4. Is n(0) prime?
False
Let o(v) = 3*v**3 - 10*v**2 - 9. Is o(8) prime?
True
Let f(t) = 180*t**2 + t + 1. Is f(-2) a prime number?
True
Let q be (-4011)/(-6) + (-3)/(-6). Suppose -5*x + i - 3*i = -3405, x - q = 2*i. Is x a composite number?
True
Let p(u) = u**2 + u**2 + 5*u - 3 + u**2. Is p(4) prime?
False
Suppose -4*j + 743 = -3*j + s, 0 = 5*s. Is j composite?
False
Let u(i) = -6*i - 2 + i - i - 6. Is u(-11) prime?
False
Suppose -4*u = -0*u - 508. Is u composite?
False
Let g(i) = i - 5. Let a be g(9). Let h be (-2 - 4)*18/(-4). Suppose -3 + h = a*s. Is s a composite number?
True
Let x be (11/1)/(1/2). Is 6975/55 - (-4)/x a prime number?
True
Let j = 9 + -6. Suppose 4*v = j*v + 163. Is v a composite number?
False
Is 4971/9 - 12/9 composite?
True
Let v be -179*(2 - (3 - 2)). Let o = v + 274. Is o a composite number?
True
Suppose 8*n = 9*n - 5. Is -2 - (0 + n)*-9 a prime number?
True
Suppose v = -5*r + 12, r = -5*v + 13 - 1. Suppose 0 = f - 1 - v. Is ((-237)/(-9) - 0)*f a prime number?
True
Is 2/(8/948) - 0 a prime num