s q a prime number?
True
Let g(c) be the third derivative of c**4/8 + 5*c**3/6 - 3*c**2. Is g(6) prime?
True
Let o be 1/4 + 2270/40. Let u = 70 + o. Is u a composite number?
False
Suppose n - 2*n - 2 = 0. Let a(q) be the second derivative of -11*q**3/6 - 3*q**2/2 - 2*q. Is a(n) a prime number?
True
Let r = -8 - -12. Suppose -681 = -4*n - 2*h - 117, h + 552 = r*n. Is n a prime number?
True
Suppose -c + 1 = 3. Is (1/c)/(2/(-388)) a prime number?
True
Suppose -4*s + 10 = -9*s. Is (8 - 2/s)*1 prime?
False
Let c = -1372 + 2602. Is (-1)/(2*(-3)/c) prime?
False
Suppose 0*g = -5*g + 20. Suppose -g*d + 319 - 3 = 0. Is d a composite number?
False
Suppose -12*a = -13*a + 3. Suppose -a*b = -5*d - 371, b + 2*d - 133 = -d. Is b composite?
False
Suppose -1102 = -5*a + 943. Is a a prime number?
True
Suppose -6*x = -x - 15. Suppose 2*n - n - 160 = 0. Suppose -2*r = -5*d - 58, x*r - n = -2*r + 5*d. Is r a composite number?
True
Let h = -340 - -1131. Is h prime?
False
Let a(w) = -w - 1. Let k be a(2). Let p = 8 - -16. Let v = k + p. Is v a composite number?
True
Let g = 165 + -23. Is g a composite number?
True
Let s(n) = 4*n + 1. Let h be s(5). Let p be (h/(-14))/((-2)/4). Suppose 2*x - 6*x - 4*g = -504, -p*g = -5*x + 638. Is x prime?
True
Suppose -2*n + 0 + 84 = 0. Let l be n/18 - 2/6. Suppose -u - 4*x + 65 = -l*x, -4*x - 4 = 0. Is u prime?
True
Suppose 2 - 14 = -4*n - 4*d, -1 = 2*n - 5*d. Is (n/3)/((-2)/(-237)) prime?
True
Let y = 108 - 179. Suppose 160 = -5*v - 90. Let m = v - y. Is m a composite number?
True
Let p(r) = -10*r + 0*r**2 - 5 - 7 + 2*r**2 + 2. Is p(8) a prime number?
False
Suppose v - 29 = 5*q, -4*v + 4*q + 121 = 21. Let m = v - 15. Is m prime?
False
Let t(w) be the second derivative of w**5/20 - w**4 - 11*w**3/6 - 13*w**2/2 - 6*w. Is t(13) a prime number?
True
Let f(i) = i - 4*i**2 + 8*i**2 - 2*i. Let r be f(-5). Suppose 0 = 3*q - 6*q + r. Is q a composite number?
True
Suppose -5*c + 11 - 1 = 0. Suppose 0 = 7*h - 2*h - 10. Suppose 0 = -c*y - h*o + 16, -3*o = 4*y - 0 - 27. Is y prime?
True
Suppose -2*p + 3*d + 0 = -22, -4*d - 26 = -2*p. Let o(n) = 5*n**2 - 3*n + 4 - 2 + n**3 - 2. Is o(p) prime?
False
Suppose -3*x + d + 3343 = 0, x + 3*x - 2*d - 4458 = 0. Is x a prime number?
False
Let s = -141 - -254. Is s composite?
False
Let s be ((-2)/4)/(1/(-4)). Suppose -s*k + 184 = 2*k. Suppose 0*y + k = y. Is y composite?
True
Let m be 2/(-6) - (-1264)/(-24). Let q = 180 - 90. Let n = m + q. Is n composite?
False
Suppose -3*a + 3*b = 2*a - 113, a - 3*b - 25 = 0. Is a a prime number?
False
Let m(x) = -7*x + 0 + 4 - 9. Is m(-6) composite?
False
Let t = -164 + 545. Is t prime?
False
Let u(i) = 90*i + 1. Suppose -5*d - 4 = -7*d. Suppose -m - 1 = -d. Is u(m) composite?
True
Let b be ((-5)/2)/((-1)/2). Suppose -b*r = 4*h - 3*h + 21, 2*h - 8 = 0. Let k(z) = 3*z**2 + z - 3. Is k(r) a composite number?
False
Suppose 0 = -m + 82 + 312. Is m a prime number?
False
Let q(t) = 108*t + 4 + 1 - 6. Is q(4) prime?
True
Suppose -3*s + 4*f = 2*s - 441, 162 = 2*s + 2*f. Is s prime?
False
Suppose t - 2*u + 383 = 0, -2*t + 4*u - 764 = 2*u. Let y = 536 + t. Is y prime?
False
Suppose 0 = -y - 2 + 3. Let b be 4/y*(-17)/(-4). Let c = 30 + b. Is c a composite number?
False
Let u = 3 + 5. Let h = 27 - u. Is h prime?
True
Let j(b) be the second derivative of -b**5/20 - b**4/4 - b**3/6 - b**2 + 2*b. Suppose -3*c - 20 = -5. Is j(c) prime?
True
Is (-2934)/(-24) - 9/(-12) a prime number?
False
Let y = -604 + 1349. Is y a composite number?
True
Suppose -2*w + 2*x = w - 1647, 2758 = 5*w + x. Is w composite?
True
Let m(j) = -5*j - 15. Let f be m(-11). Let k = f - -495. Is k a composite number?
True
Is (-3 + 5/2)*-838 composite?
False
Let w be 1*(290 + (-1 - -4)). Suppose -2*n + w = -225. Is n prime?
False
Suppose -5*q + 160 = -495. Is q prime?
True
Suppose -4*q + 6*q + 5*r = 1033, 3*r = -3*q + 1554. Is q composite?
True
Let n be (-5)/(-15) + (-2660)/(-3). Suppose 0 = 5*j + 4*x - n, 3*x = -4*j - 0*j + 710. Is j a prime number?
True
Let o be 30/7 + 14/(-49). Suppose -4 - o = -4*h. Is (-1 - 1)/h - -114 a prime number?
True
Let w = 11 + -8. Suppose -115 = w*v - 376. Is v composite?
True
Let x(t) = 4*t + 1. Let m be x(1). Suppose -m*r + 888 + 227 = 0. Is r a prime number?
True
Suppose 2 = 3*z - 5*z. Let h be 1/(z*(-1)/(-33)). Let y = 56 + h. Is y a prime number?
True
Suppose -2*l - l - 18 = 0. Let c(r) = r**3 + 6*r**2 - 5*r + 7. Is c(l) prime?
True
Let r(y) = 5*y**2 - 2*y - 10. Is r(6) a prime number?
False
Let x(m) = 5044*m**2 + 4*m + 5. Is x(-1) prime?
False
Suppose n = -4*n + 10. Suppose -w + 184 = 5*b + 17, 2*b = -n*w + 366. Is w a composite number?
True
Let s = -95 + 1058. Let l = -660 + s. Is l a composite number?
True
Let s(w) = 71*w + 9. Is s(4) composite?
False
Suppose 2*n = -n + 63. Let h = 59 - n. Is h composite?
True
Let x = 729 + -281. Suppose 0*o + x = 5*o - y, -3*o + 282 = -5*y. Is o a prime number?
True
Let i = 180 + 71. Is i composite?
False
Let q = 14 + -9. Suppose -2*v + 44 = -5*j - 13, q*j = -4*v - 51. Let w = j + 21. Is w a prime number?
False
Let s(m) = 21*m. Let p(y) = y + 9. Let g(f) = -9*f**2 + 2*f - 1. Let o be g(1). Let z be p(o). Is s(z) prime?
False
Let l be 8/6 - 2/(-3). Suppose l*o - 111 = -o. Suppose 2*g = 3*g - o. Is g a composite number?
False
Let y = -7 + 258. Is y a prime number?
True
Let b be 2 + -1 + -2 - -4. Suppose -n = -b*n. Suppose n = 3*q - 4*q + 11. Is q a composite number?
False
Let y = 8 - 5. Let s(g) = -1 + 30*g + g + y. Is s(3) prime?
False
Let y = -4 + 2. Let v be 8/10*25/y. Let g = v - -31. Is g a prime number?
False
Suppose 6*k = 2*k + 2*o - 1728, 423 = -k + 5*o. Let q = 726 + k. Is q a composite number?
False
Suppose -2*t - 407 = -3*t. Is t a prime number?
False
Let q(t) = -t**2 + 2. Let v(w) = -w**2 + w + 1. Let c(a) = a**2 - 2*a - 2. Let y(i) = -c(i) - 2*v(i). Let m(g) = q(g) + 2*y(g). Is m(3) prime?
True
Let s = -158 - -751. Let x = 113 + s. Let v = x + -411. Is v a composite number?
True
Let k = 779 + -527. Let i = k - 41. Is i a composite number?
False
Let x be 1031 + 3 + -3 - 3. Let m = -351 + x. Is m composite?
False
Let j = -12 - -16. Suppose -4*q - 5*a + 882 = 91, j*a = -4. Is q a composite number?
False
Let s(f) = -f**3 + 4*f**2 + 6*f. Let r be s(5). Suppose 5*w - 371 = -4*o + 782, 3*w + r*o = 684. Is w prime?
True
Let q(v) = -4*v**2 + 2*v. Let a be q(2). Let c(p) = -74*p + 5. Is c(a) prime?
False
Suppose -3*u - 59 = -4*u. Suppose u = 5*s - 106. Is s prime?
False
Suppose 3*r + r = 0. Suppose r + 1 = z. Is 8/z*(-7)/(-4) prime?
False
Let x(i) = 36*i**2 - i. Let f be x(2). Suppose n = -n + f. Is n a prime number?
True
Suppose -l - 25 - 70 = 0. Let a be l/((-2)/(1 + -3)). Is 1/(-2)*-4 - a composite?
False
Let u = 4 - -13. Suppose -5*z + 4*z + u = 0. Suppose -3*t - z = -v - 42, -3*v = -4*t + 25. Is t a prime number?
False
Let c(p) = -4*p + 35*p + p + 30*p - 5. Is c(9) a prime number?
False
Suppose l - 24 = -4*u - l, -u - 3*l = -16. Is (-20355)/(-30) + 2/u a prime number?
False
Suppose -2*a + 7*a = 4*m + 1011, 3*a + 4*m - 613 = 0. Is a composite?
True
Let p(o) = o**3 + 3*o**2 - 8*o - 5. Let s be p(-5). Let a be (-1325)/s - 2/6. Suppose a = -f + 5*f. Is f a composite number?
True
Let t be 2/9 + (-58)/18. Let j = -1 - t. Is (9/j)/((-5)/(-10)) a composite number?
True
Let b = -15 - -21. Suppose 5*z = z + 12. Suppose -b - 4 = -5*x, -z*x + 296 = 5*i. Is i a composite number?
True
Let m be (-9)/(-45) - 14/(-5). Suppose -759 = -6*o + m*o. Is o prime?
False
Let c = -3 - -3. Suppose -5*r = 2*w - 193, -4*r + 128 = -0*r - 5*w. Suppose c = y - 0*y - r. Is y prime?
True
Is ((-26)/(-3))/(2/141) a composite number?
True
Suppose -3*c = -5*g - 11, -3*g - 6 + 3 = 0. Suppose v - c*v = 66. Let z = v + 97. Is z a composite number?
False
Let x(w) = 33*w - 9. Let q be x(4). Suppose 4*z - 97 = q. Is z a prime number?
False
Let z = 73 - 52. Let g be 2 + 1*-2 + 0. Suppose g*i = -3*i + z. Is i a prime number?
True
Suppose -5*r - 1545 = -9130. Is r prime?
False
Suppose z - 5 + 0 = 0, z = 2*h - 1837. Is h a prime number?
False
Suppose -3*q - 21 = 3*t - 8*q, -q = 3*t + 3. Is 5574/10 - t/(-5) a prime number?
True
Is (12662/4)/(34/68) a composite number?
True
Let c be (-15)/(-6)*12/10. Is 37*(-2)/(-6)*c prime?
True
Let w = 10 - 10. Suppose 3*m - 269 = 4*b - 6*b, w = 5*