 a prime number?
True
Let s = 13693 - 8832. Is s a composite number?
False
Let l = 64 - 58. Suppose 5*t = 3*t + 10. Suppose -21 = -l*w + t*w. Is w a prime number?
False
Suppose 0 = 4*u - 6*u + 8. Suppose 0 = u*a - 5*v + 3*v - 578, 0 = -5*v + 15. Is a + (1 - (2 + 0)) a prime number?
False
Suppose -3*z + 0 + 9 = 0. Suppose 0 = 4*c + 4*o - o + 2684, -z*c - 1984 = -5*o. Is c/(-2) - (4 - 7) prime?
True
Suppose -12751 = -7*s + 2922. Suppose o - 5*o = -3*y - 8939, -5*y = -o + s. Is o a composite number?
True
Let c(u) = u**2. Let x be c(2). Suppose x*w = -3*k + 629, -4*k = -2*k + 3*w - 418. Suppose f - 2 = 0, q - k = -2*f + 108. Is q a prime number?
False
Let v be 3/18 - (3639/18 + -1). Let p = -106 - v. Is p a composite number?
True
Let q be (-1)/4 + (2215/(-20) - 6). Let s = 340 + q. Is s composite?
False
Let o be 3 + (-1)/(2 - 3). Let w = o - -2. Suppose 0 = k + j - 53, -k + w*k - 300 = 2*j. Is k a composite number?
True
Suppose 2*g = j - 10001, 12*j = 7*j - g + 50038. Is j prime?
True
Let t(n) = -28*n**3 - 7*n - 11. Is t(-6) composite?
False
Suppose 0*u + 37160 = 8*u. Is u a prime number?
False
Suppose 5*o = 5*w, 0 = -2*o + o + 5. Suppose 113 = w*s - 222. Is s a prime number?
True
Is ((-6)/(-2))/(0 + (-21)/(-8743)) a composite number?
False
Suppose 5*h = -h + 4488. Suppose -5*y + 935 = -3*o, 0 = -5*y + y + 4*o + h. Is y a prime number?
False
Let b(a) be the third derivative of -a**6/120 + a**4/8 + 3*a**3/2 + 6*a**2. Is b(-7) a prime number?
True
Let w(v) = 2*v**2 + 28*v + 11. Let r(z) = 2*z**2 + 27*z + 12. Suppose 19*a + 18 = 16*a. Let u(s) = a*w(s) + 7*r(s). Is u(-17) a composite number?
False
Let s be -3 + 8 + 0/(-2). Suppose -2*c = -s - 3. Suppose -123 - 105 = -n + 5*z, 0 = c*n + 4*z - 888. Is n a prime number?
True
Is -4 + 4 + 3 + 68 composite?
False
Let f(m) = -m**2 + 7*m - 1. Let p be f(5). Let y = 24 - p. Is y composite?
True
Let v = 1755 + 1330. Suppose -5*b + 1350 + v = 0. Is b prime?
True
Suppose 5*k + 33 = 28. Let x(p) = -295*p - 2. Is x(k) a prime number?
True
Is 70404/2 - 10/10 prime?
True
Let k(v) = -30*v**2 - 2*v - 6. Let w be k(-5). Is (w/(-4))/((-11)/2 - -6) composite?
False
Suppose 0 = -5*z - 105691 + 337686. Is z a composite number?
False
Suppose j = -j + 8. Let d = 3 + 0. Suppose -j*b + d*b + 121 = 0. Is b a composite number?
True
Let v be (-6)/21 + 3684/(-42). Let x = v + 125. Is x prime?
True
Suppose 25 = 5*x, -a - 120 = 4*a - 3*x. Let c = 52 + a. Is c a composite number?
False
Let i = -6474 + 29291. Is i prime?
True
Let k = 1471 - 978. Suppose -y = 116 - k. Is y a prime number?
False
Let c(q) = 479 + 4*q - q - 2*q**2 - 4*q. Is c(0) a prime number?
True
Suppose -t + 245 = 3*q, 9*q - 2*t - 390 = 4*q. Is (2176/40)/(2/q) + -3 prime?
False
Let j(l) = -25*l + 10. Let i(s) = s**3 + s**2 - 2*s. Let p be i(-2). Let w be (-22)/(-66)*(p - 21). Is j(w) prime?
False
Let b be 2*((-12)/(-3))/4. Suppose -b*m + 3*o = 0, m - o = -4*m. Suppose 7*s - 2*s - 35 = m. Is s prime?
True
Let q(z) = z + 4. Let u be q(-10). Let v = 0 + u. Is 20/6 - 4/v prime?
False
Let y(k) be the first derivative of 9*k**2 + 19*k + 1. Let p(w) = 19*w + 20. Let f(g) = 6*p(g) - 7*y(g). Is f(-8) composite?
False
Let w(a) = 22*a + 835. Is w(0) prime?
False
Let h be 2/5*10*1. Suppose 5*i - h*i = 5. Suppose -2*x + 11 = l, 0 = -i*l + 4*l - 1. Is x prime?
False
Is 1485954/162 + (-8)/(-18) prime?
True
Let j = 112 + 1128. Is 9/(-21) - j/(-35) composite?
True
Let f = 4413 + -1936. Is f a composite number?
False
Suppose 5*y - 121 = -4*f, 5*f - 180 = -3*y - 45. Let u(o) = 24*o - 105. Is u(f) composite?
True
Suppose -2*j = -0*j - 10. Suppose m - 3*u - 129 = -u, u + j = 0. Is m a composite number?
True
Let f be 14/(-49) - 10/14. Is 1753 - 1/f - -3 composite?
True
Let p(t) be the first derivative of t**4/4 + t**3 + 5*t**2/2 - 4*t + 1. Suppose -4*g - 4*c = -20, -50*g = -53*g - 4*c + 15. Is p(g) a prime number?
False
Suppose 0 = 29*k - 379815 + 145118. Is k prime?
True
Let l be (1751 - -3) + 3/3. Suppose l = 5*h + 5*i, 5*h = -0*i + i + 1773. Is 1*-3 - h/(-3) prime?
False
Let t be -1 - (0 - (-74)/(-2)). Let z = t + 10. Let d = 13 + z. Is d prime?
True
Suppose -f + 0*h = 2*h - 14733, 3*f + 5*h - 44203 = 0. Is f a composite number?
False
Let z = -45 - -51. Suppose -5*i - 60 = 5*f, -5*i - 51 = -2*i - 2*f. Is (1268/z)/((-10)/i) prime?
True
Suppose 17*u - 6*u - 58003 = 0. Is u a prime number?
True
Let j(d) = -d**3 + 5*d**2 - 3*d + 12. Suppose 2*v + 0*v - 15 = -5*g, -5*g + 5 = 4*v. Let o be j(g). Is ((-191)/o)/((-1)/(-3)) prime?
True
Let i(l) = 167*l**2 - 3*l - 5. Let w(x) = -4*x + 22. Let b be w(6). Is i(b) composite?
True
Let m(g) = -g**2 + 5*g + 1. Let w be m(4). Let l be (-5)/(w/4) + 1664. Suppose 2*u = 6*u - l. Is u composite?
True
Let l be 1 + -2 + 1 + -2. Let v(s) = -27*s**3 + s**2 - 2*s - 3. Is v(l) composite?
True
Suppose 2*i = -i - 9, -9677 = -2*w - 3*i. Is w prime?
False
Let q(w) = 2*w**3 - 63*w**2 - 31*w + 57. Is q(32) composite?
False
Let f(k) be the third derivative of -k**6/120 - k**3/6 - 2*k**2. Let q(s) = -2*s**3 + s**2 + 4*s - 10. Let y(h) = -f(h) + q(h). Is y(-5) a composite number?
True
Let u(f) = 1072*f**2 - 10*f - 23. Is u(-3) prime?
False
Let t(b) = 63*b**2 + 19*b - 63. Is t(13) a composite number?
False
Suppose 0 = -54*w + 46*w + 24088. Is w a prime number?
True
Let a(k) = 30*k**2 + 15*k + 28. Let f be a(10). Let o = -1919 + f. Is o a prime number?
True
Is (-2 + (-3)/(-6))/((-1)/2102) prime?
False
Let v(x) be the first derivative of 55*x**3/3 + 2*x**2 - 7*x - 2. Let b = 2 + 2. Is v(b) prime?
False
Let o(k) = -1 - 3 + k + 4. Let q(y) = -3*y**2 + 6*y - 1. Let z(s) = -2*o(s) - q(s). Is z(-6) a composite number?
False
Let k be -1*(0 + (-5 - 2)). Suppose 0*t + t + k = 0. Let h(l) = 6*l**2 + 3*l - 14. Is h(t) prime?
False
Suppose 50399 = 8*s + 9879. Is s prime?
False
Let a be (-2)/(-7) + (-375)/(-35). Suppose -1068 = -a*o + 461. Is o a prime number?
True
Let h be 2/(-4)*(0/1)/(-2). Suppose h = 4*o - 223 - 5. Is o composite?
True
Let h(i) = -2*i - 900. Let q be h(0). Let s = 1579 + q. Is s a composite number?
True
Suppose 36731 = -23*m + 247848. Is m composite?
True
Let b(v) = 82*v**2 - 11*v - 22. Is b(9) a prime number?
True
Suppose -4*m = 5*s - 11324, -44*m + 2*s = -46*m + 5662. Is m composite?
True
Suppose -8*g + 25 = -3*g. Suppose 0*m - m + 2*h = 3, -2*h = -5*m + 17. Suppose -z + 1590 = 2*w - g*z, -2*z + 3987 = m*w. Is w composite?
False
Let o = -26 - -33. Suppose -122 = -n - 4*r, o*r + 725 = 5*n + 4*r. Is n a composite number?
True
Let s(g) = -g**3 + 9*g**2 - 38*g + 59. Is s(-18) a prime number?
True
Let g(r) = r**3 - 34*r**2 + 5*r - 10. Let s be g(20). Is s/(-6) - (60/18 - 4) a prime number?
True
Let y = 5738 - 3809. Suppose 0*q - 1279 = -2*q - x, 3*q - 2*x - y = 0. Is q a composite number?
False
Suppose 2*r - 3218 = -4*s, 4*s + 99 = 3*r + 3342. Is s composite?
True
Suppose -6*p - 10886 + 48824 = 0. Is p prime?
True
Let a(m) = -9*m - 55. Let c be a(-9). Let f be 1 - 1/((-2)/8). Let r = f + c. Is r composite?
False
Let d = 35 - 32. Is (9/d)/((-3)/(-55)) composite?
True
Let g(l) = -182*l + 11. Let j(b) = 8190*b - 494. Let p(o) = -91*g(o) - 2*j(o). Is p(3) composite?
True
Let q(d) = 77*d**3 + 3*d**2 + 3. Is q(2) composite?
False
Let m = -147 + 207. Let w be (-6 + 0)/(3/m). Is (-47352)/w - (-4)/10 composite?
True
Let c(l) = 35*l**3 - 3*l**2 - 9*l - 36. Is c(5) a prime number?
True
Suppose -2*j - 8 = 0, m + 2*j + 2 + 8 = 0. Is 978 - (-4)/8*m a prime number?
True
Suppose 2*z - 220 = -9*z. Suppose -2*w - z = -2*q + 968, 3*q - w = 1488. Is q composite?
True
Let r = -5 - -4. Let s = r + 5. Suppose s*x = 776 + 1052. Is x a composite number?
False
Let z be 1/2*(2 + 4). Suppose -4*f + 6*f = -2*b + 2136, f - z*b = 1088. Is f a composite number?
True
Suppose h = 2*h - 358. Suppose -5*l + 37 = -h. Let r = 284 - l. Is r prime?
False
Let o = 1 - -29. Suppose 1430 = 4*t + o. Suppose t = 3*y - 439. Is y a prime number?
True
Suppose -5*j - 7 = 8, -o + 6 = -2*j. Suppose -p + 211 = -o*p. Is p a composite number?
False
Suppose 10*s = 57814 - 1184. Is s composite?
True
Suppose -1401 - 133 = 3*m + 2*a, -528 = m + 4*a. Let r = -285 - m. Is r a composite number?
False
Let o(q) = -17471*q - 27. Is o(-2) a prime number?
False
Suppose -3*x + i + 5505 = 0, -3*x - 3*i + 5487 = 2*i. Let a = -669 + 