848 = 15*u. Is u prime?
True
Suppose 47558 = 21*l - 51751. Is l prime?
True
Let v(j) be the second derivative of j**3/3 - 5*j**2 + 3*j. Let k be v(5). Is (5 - 4) + (334 - k) prime?
False
Let m(l) = 26*l + 35. Let q be m(8). Is q - (20/(-5) + 0) prime?
False
Suppose 498 - 63512 = -2*k - 5*b, 62986 = 2*k - 2*b. Is k composite?
True
Let q(s) be the third derivative of -s**9/60480 + s**7/1680 + s**6/240 - s**5/15 + 5*s**2. Let o(g) be the third derivative of q(g). Is o(-3) composite?
True
Suppose 24*f - 14*f - 1130 = 0. Is f a composite number?
False
Suppose 4*s = 5 + 15, -4*l + 2*s + 10 = 0. Suppose -l*n = -3*z + 11, -5 = -5*z + n + 6. Is 254/(z/6*6) prime?
True
Let i(l) = 11*l**2 + 5*l + 1. Let j(b) = b**3 + b**2 + b. Let x be j(0). Let c be (x - 2) + -2 - 1. Is i(c) a prime number?
True
Let d(z) = 6*z**3 - 4*z**2 + 6*z - 2. Let u be d(2). Suppose 0 = -u*y + 36*y + 2514. Is y a composite number?
False
Suppose 302*x = -2*t + 298*x + 4410, 0 = 5*t - x - 10992. Is t a prime number?
False
Let w = -13274 - -30145. Is w a composite number?
False
Let t be (-4)/(-6)*(-36)/(-8). Suppose -t*f + 205 = u + 2, -4*u - 327 = -5*f. Let k = f + 12. Is k a composite number?
False
Let t(a) = 16*a - 7. Let p be t(1). Let i(q) = -11*q + 1 + 0*q**3 + q**3 + 2*q - 7*q**2. Is i(p) composite?
True
Let m(o) = 10*o**2 + 72*o - 143. Is m(21) a prime number?
True
Suppose 5*g = 7*g - 3*x - 18, -x = -3*g + 13. Suppose -629 = -5*s + 2*w, -3*s + 2*w + g*w = -366. Is s prime?
True
Suppose -6*r + r = 20. Is -121*(6 + -2)/r - -1 composite?
True
Let b be -93*(376/6)/2. Let i = 4702 + b. Suppose w - g = -2*g + i, w - 1783 = -2*g. Is w composite?
True
Suppose 8*o = 5*o - 24. Is (211 - o/2) + -4 a prime number?
True
Suppose 2*v + 8 = -4*u, 4*v - 2*v = -u - 8. Suppose u = -5*z + 75 - 25. Is z a prime number?
False
Is (-83448)/(-38) - 4/(-2) - -3 a composite number?
True
Suppose -4*h - 1129 = 5*t - 6*h, 4*h + 693 = -3*t. Is (24/(-3) + 5)*t a composite number?
True
Let a(w) = -91*w + 103. Is a(-30) a prime number?
True
Let p = -11 - -11. Suppose 4*w + p*w = 2332. Is w a composite number?
True
Suppose 5*a = -2*j - 3*j + 8745, 0 = 3*j + 12. Is a prime?
True
Let x(s) = 51*s + 18. Suppose b = -4*d - 7 - 25, d = 5*b + 55. Let v be x(b). Is v/(-10) + (-4)/10 prime?
True
Let g be (0 - 0) + (-1 - -1). Let u be 0/((-15)/(-10)*(-8)/(-12)). Suppose u*r + r - 111 = g. Is r composite?
True
Suppose 0 = -k + 730 + 925. Is k a prime number?
False
Let x be (-2)/(-4) - 11/(-2). Let c be 53/5 + x/15. Suppose 5*i = c*i - 858. Is i composite?
True
Is 66682/7 - 2/(-2) a prime number?
False
Let l(j) = 23*j**3 + 10*j**2 - j - 11. Is l(6) a composite number?
True
Suppose -3*u = -p + 11, 3*p = -2*u - 3*u + 5. Suppose -5*q = 5*f, -p*q + 4*f = 19 - 1. Is 1/((-77)/39 - q) prime?
False
Let q be (2/(-1))/(4/(-10)). Suppose -6 = -3*s, 0 = 2*z - 4*z + q*s - 4. Suppose z*x = 7*x - 332. Is x a composite number?
False
Let q = -1421 - -427. Let a = -440 - q. Is a a prime number?
False
Suppose -2065 = -5*b - 695. Suppose -l = 6*a - 2*a - b, 2*a + 3*l - 132 = 0. Is a prime?
False
Suppose 11*k = 8*k + 9. Let z(g) = -2*g**2 - 21*g + 5. Let j(h) = -3*h**2 - 21*h + 5. Let s(t) = k*j(t) - 4*z(t). Is s(20) a composite number?
True
Let g(o) = 2*o**3 - 2*o**2 - 6*o + 5. Suppose -4*d - 5*z + 6 = 0, -3*d + 6 + 8 = -z. Is g(d) prime?
False
Let h(z) = -z**3 + 7*z**2 + 19*z - 4. Let a be h(9). Suppose 0*g - a*g = -15445. Is g prime?
True
Let w(b) = -5 - 55*b + 2 - 7 + 2. Suppose 0*n - 18 = 2*n. Is w(n) a composite number?
False
Let c(i) = 13*i**2 + 48*i - 26. Is c(-31) a composite number?
False
Suppose 15*s + 6*s = 101661. Is s prime?
False
Suppose -5013 + 1562 = -29*p. Is p a composite number?
True
Let l(t) = 155*t**2 + 2*t + 10. Let c be l(4). Let r = -539 + c. Is r composite?
True
Suppose -f + 6*f = 26905. Is f prime?
True
Suppose -5*y + 37 - 12 = 0, 12 = -t + 3*y. Suppose -t*g + 7*g = 0. Is 44 + -13 - g/(-2) a prime number?
True
Let f(c) be the third derivative of -11*c**6/120 + c**5/12 + c**4/24 - c**3/3 - 11*c**2. Is f(-3) a composite number?
False
Suppose 0 = -2*f + 9*q - 7*q + 5586, q = 5*f - 13981. Is f a prime number?
True
Suppose 4*m - 25 = -m. Suppose 0 = -m*r - 96 + 1046. Suppose 0*c + 2*c - r = -o, -3*c - 3*o + 285 = 0. Is c a composite number?
True
Let n = 13 + -11. Let i(k) = 14*k - 2*k - n*k + 19*k + 20. Is i(6) prime?
False
Let i(z) = -z**2 + 4. Let u be i(2). Suppose u = -j + 4*j - 4*n - 1386, 0 = -5*j - 5*n + 2345. Suppose s + s = j. Is s a composite number?
False
Suppose 4*v = q - 38 + 15, -28 = -2*q - v. Is 102136/40 - (-9)/q composite?
True
Let m(w) = -w**3 + 6*w**2 - 7*w + 4. Let d be m(5). Let n(t) = -t**3 - 7*t**2 - 7*t + 3. Let q be n(d). Is (-7700)/(-12) + (-6)/q prime?
True
Suppose 0 = 8*g - 3714 + 1266. Is g + (3 - 4) + -3 a prime number?
False
Suppose -4*a = t - 22425, -39*t = -35*t - a - 89768. Is t a prime number?
True
Let w(t) = 56*t - 5. Suppose -2*y + 10 = 2*f, 2*f = 5*y + 4 - 1. Let b be w(f). Suppose -b - 336 = -3*v. Is v a composite number?
True
Let d(q) = -q**3 - 15*q**2 + 15*q + 8. Let c be d(-16). Let k be c/(-36) - (-382)/6. Let l = 110 - k. Is l a prime number?
True
Let t = 511 - 300. Is t a composite number?
False
Let n(m) = m**2 - 8*m - 8. Let p be n(7). Let v = p + 11. Let d(j) = -21*j - 7. Is d(v) a prime number?
False
Let m(a) = 211*a + 43. Let g(w) = 317*w + 64. Let s(t) = 5*g(t) - 7*m(t). Is s(2) prime?
False
Let i = 59 + -89. Let x = i + 963. Is x prime?
False
Suppose 0 = 20*r - 165430 - 66910. Is r prime?
True
Let p = -1485 - -768. Let a = -424 - p. Is a a composite number?
False
Is (35331/4)/(1022/(-56) + 19) composite?
False
Let m(v) = 16*v**3 - 4*v**2 + 7*v - 4. Let u be m(5). Let q = -1069 + u. Is q composite?
True
Let f(k) be the first derivative of 7 + 2*k**2 + 5*k - 11*k**4 + 1/3*k**3. Is f(-2) a composite number?
False
Suppose -4*s - 5*m + 11679 = 0, -4*m + m = s - 2918. Is s a composite number?
True
Let f = 288 + -84. Suppose 6 = 16*t - 14*t. Suppose -2*u - 5*m = -137 - 12, m = -t*u + f. Is u a composite number?
False
Suppose -5*y + 0 + 15 = 0. Suppose -m = -0*m - p - 18, 4*p = -y*m + 26. Is 2958/m + (-6)/21 prime?
True
Let r = 10474 + 10993. Is r a prime number?
True
Suppose -3*x = x + 100. Is ((-15)/x)/((-1)/(-535)) a composite number?
True
Let t be 0/(2/3*3). Let l(p) = 223 + p - 18*p**2 + 12*p**2 + 7*p**2. Is l(t) composite?
False
Suppose 9 = -3*d, 3*g - 2*d - 22038 = 14313. Is g composite?
True
Let z(y) = 190*y**3 - 21*y**2 + 12*y - 14. Is z(7) prime?
False
Let p(g) = g**3 + 9*g**2 + 6*g - 6. Let d be p(-8). Suppose -x - d = -46. Is ((-9)/x)/(1/(-844)) composite?
False
Suppose 2*g + 2 = 0, -5*d - 4 = 2*g + 18. Let a be 1391 - d/(-12)*0. Suppose -4*i - 2*q = -1884, -2*q - a = -3*i + 2*q. Is i a prime number?
False
Let r(d) = -20285*d + 491. Is r(-6) a prime number?
True
Let z be (-944)/(-12)*1*3. Let s = 69 + z. Let l = s + -166. Is l a composite number?
False
Suppose b - 2*b = 2. Is (-29007)/(-21) + b/7 a prime number?
True
Let g(j) = -j + 2. Let t be g(9). Let l(n) = -22*n - 9. Is l(t) prime?
False
Let r = 172 - 6. Let d be ((-279)/(-1) - -2) + -1. Suppose d + r = 2*c. Is c a composite number?
False
Suppose -21*x = -22*x + 409. Is x a composite number?
False
Suppose 5*c = -4*z + 106069, -5*c = -5*z + 11*z - 159111. Is z a composite number?
True
Let l = 135 + -121. Suppose 9*x + 23675 = l*x. Is x composite?
True
Let f = -2034 + 3517. Is f a composite number?
False
Let v(h) = 1823 + 14*h + 14*h - 27*h. Is v(0) prime?
True
Let w = 7 - 28. Let c = 0 - 7. Let b = c - w. Is b prime?
False
Let j(p) = -4*p**2 + 0*p + 22*p**3 - 3*p**2 - 3*p + 3*p**2. Let x be j(-3). Let a = x - -884. Is a a prime number?
True
Let n be ((-3)/(-2))/((-4)/(-8)). Suppose -n*k - 210 = -858. Suppose 267 + k = 3*w. Is w a prime number?
False
Suppose 268*r - 284*r = -31760. Is r a prime number?
False
Suppose 8*x = 3*x - 3*m + 7893, 3*m + 12 = 0. Suppose x = 2*w + 179. Is w a prime number?
True
Let g = -5798 + 12663. Is g prime?
False
Suppose 6 = 3*c, -11*z - 4*c + 42095 = -8*z. Is z a prime number?
True
Let z be 10/(8/4) - 4/4. Suppose 1526 = x - u, 0*x - 4575 = -3*x + z*u. Is x composite?
True
Let t = 1545 + -1074. Suppose -h + 2*x = -309, 815 = 4*h + 2*x - t. Is h prime?
False
Let q(h) = -41*h**3 +