 = -3*q. Is q a composite number?
True
Suppose g = -g + 4. Let w(k) = 14*k**2 + 2*k - 1. Is w(g) a composite number?
False
Let n(x) be the first derivative of 110*x**3/3 - x**2 + 2*x + 4. Let s be n(2). Suppose 3*h - s = 3*o, o - 200 + 56 = -h. Is h a composite number?
True
Suppose 3*h - y = 49 + 22, 0 = -h + y + 27. Suppose -5*k + 177 = h. Is k a composite number?
False
Suppose 0 = 2*o - 465 - 251. Is o composite?
True
Let o be (-175)/2 - 2/4. Let t = -57 - o. Is t a prime number?
True
Suppose 0 = 2*g - 2*z + 10, z - 2 = -g + 1. Let l be -1*(g + 3 + 4). Let s(d) = 7*d**2 + 7*d + 5. Is s(l) prime?
False
Let u be (-2)/10 - (-52)/10. Let t(s) = -s**3 + 4*s**2 + 5*s + 1. Let k be t(u). Is (-124)/(-6) - k/(-3) composite?
True
Is (-3558)/9*(-9)/6 composite?
False
Let a = 176 + 131. Is a prime?
True
Suppose -2*f = -0*f. Suppose f = -2*v + 190 + 142. Is v a composite number?
True
Let s(r) = r**2 - 4*r + 2. Let d be s(4). Suppose 2*v + d*v - 20 = 0. Suppose -4*i = -v*b + 55, 4*b + 4*i = -0*b + 80. Is b a composite number?
True
Let c be 24/14 + 4/14. Suppose c*a - 4*s - 58 = 0, -2*s + 252 = 4*a + 86. Is a prime?
False
Suppose -5*u + 3*i - 13 = 0, 0 = 5*u + i + 2 + 27. Let o = 3 + u. Is ((71 + o)/(-3))/(-1) a composite number?
False
Let b be 4/(-14) + (-114)/(-7). Suppose -s - c - 5 = -2*s, -4*s + 2*c + b = 0. Suppose -s*h + 0*h + 159 = 0. Is h prime?
True
Let l = 5097 + -8060. Let d = -1649 - l. Suppose -a + 0*j + 325 = 3*j, 0 = 4*a + 5*j - d. Is a prime?
True
Let h(l) be the third derivative of 31*l**5/30 + l**4/24 + l**3/6 - 2*l**2. Let z be h(-1). Suppose 4*k - 166 = -k + y, 2*k + 4*y - z = 0. Is k prime?
False
Let t(o) = -o**2 - 6*o + 2. Suppose 2*d = 2*b - 18, 4*d - 3 = 2*b - 33. Let p be t(d). Suppose -25 = -3*q + p*k + 36, 4*q - 4*k = 80. Is q prime?
False
Let c = 293 - 182. Suppose -2*x = -4*d - 0*d + 16, -d - 10 = 3*x. Suppose -4*i + 33 - c = -d*f, 4*f - 2*i - 132 = 0. Is f prime?
True
Suppose -3*l = 4*n - 1643, -3*l + 106 + 1542 = 5*n. Is l a prime number?
True
Let t(s) = 27*s**2 - 9*s - 19. Is t(-7) a prime number?
True
Let j = -6 - -14. Suppose -2*w - 2*o = -j - 0, 2*w - 5*o = 43. Is 57/w + (-1)/3 a prime number?
False
Let w = 2 + -2. Suppose w*y = 2*y + 40. Let q = y - -57. Is q a composite number?
False
Let n(g) = -11*g**3 + 18*g**2 + 29*g + 1. Let m(b) = -7*b**3 + 12*b**2 + 19*b + 1. Let k(h) = 8*m(h) - 5*n(h). Let s be k(7). Is ((-3)/2)/(s/(-52)) prime?
False
Suppose -12666 = -9*o + 7305. Is o prime?
False
Let z(x) = 6*x**2 + 3*x + 5. Let o be (8/(-10))/(1/5). Is z(o) a prime number?
True
Suppose 3*f + 132 = -f. Let w = f - -52. Is w prime?
True
Let j(a) = -4*a**2 + 5*a + 2. Let p be j(5). Let w = p - -104. Is w prime?
True
Let n(m) = m**3 - 3*m**2 + 2. Let x = -5 - -8. Let r be n(x). Suppose -2*i + r*g = i - 71, -5*i + g + 109 = 0. Is i composite?
True
Let d(j) = -5*j. Let c be d(-1). Suppose -41 = c*z - 196. Is z composite?
False
Suppose 5*z - 22 = 13. Suppose -2*m + 9 = -z. Let u(a) = -a + 18. Is u(m) a composite number?
True
Suppose -5547 = -3*p + 2754. Is p prime?
True
Suppose 4*d = -16, -2*u - 1940 = -3*d - d. Let f be (-4)/(-10) - u/5. Suppose 6*l - f = 2*l. Is l prime?
False
Suppose 5*o - 5*l - 18495 = 0, 4*o - 2*l - 12496 - 2290 = 0. Is o composite?
True
Let y(q) = -q**3 + 5*q**2 + 6*q + 3. Let k be y(6). Suppose 0*h + 12 = k*h. Suppose -h*o + 140 = -136. Is o composite?
True
Let q = -47 - -19. Let i = -8 - q. Suppose 2*x = -i + 490. Is x composite?
True
Suppose 2*a = 4*a + 6. Let j(x) = 2*x**2 - x**2 + x + 4 - 4*x. Is j(a) a prime number?
False
Let g(d) = 6*d**2 - 7*d - 6. Is g(-11) prime?
True
Let x = 1 + 8. Suppose -g + 4*g = -i - x, -g + i = -1. Let s(z) = -27*z - 3. Is s(g) prime?
False
Let t = -524 - -757. Is t a composite number?
False
Let w = -54 - -253. Is w composite?
False
Let v be (1/(-2))/(4/(-56)). Let m = 46 + v. Is m composite?
False
Suppose 0 = 7*w - 2*w - 25. Suppose 2*f + 1574 = w*c + 113, -4 = -2*f. Is c a composite number?
False
Let n = 37 - 16. Suppose -4*k = s - 0*s - 27, -n = -k - 5*s. Suppose 2*u - 35 = -q, k*u - 3*u - 65 = -4*q. Is u prime?
False
Let a(g) be the second derivative of 3*g - 1/2*g**3 + 7/12*g**4 + 4*g**2 + 0 - 1/20*g**5. Is a(6) composite?
True
Let l = 208 - 190. Suppose -2*w - 132 = -518. Suppose t - 21 = -m + l, 5*m - w = -3*t. Is m a composite number?
True
Suppose -42 - 218 = -4*d - 4*f, 2*d - 130 = 4*f. Let s = d + -24. Suppose -4*z + 5*x = -0*z - 197, z = 4*x + s. Is z prime?
True
Suppose c = -57 + 202. Is c prime?
False
Let o = 1501 - 600. Is o a composite number?
True
Suppose -4*u - 5*d = -5949, 4*d - 20 = -0*d. Is u prime?
True
Let t(f) = -f - 7. Let n be t(-11). Suppose -s - 169 = n*k, -2*k + 2*s = -k + 40. Let x = k + 61. Is x prime?
True
Let v(t) = t**3 - t**2 + t - 3. Let h be v(-5). Is (-2)/4 + h/(-4) a prime number?
False
Let t(p) = -7*p + 3. Let x be t(-6). Let u = -10 + x. Is u a composite number?
True
Suppose 0*u = 3*u + 12. Is 522/14 - u/(-14) prime?
True
Let d(u) = 5*u**3 - 2*u**2 + 3*u - 3. Let m = -6 + 8. Is d(m) prime?
False
Let q be 14*1/(-2)*-11. Let o = 338 - q. Suppose 0 = 3*u + s - 155, 0*u + o = 5*u + s. Is u prime?
True
Let f(m) = 315*m**2 + 2*m - 5. Is f(2) a composite number?
False
Let v be ((-10)/25)/(2/10). Let c be 45/((-1 - v) + 0). Suppose -c = -3*s - 0*s. Is s a prime number?
False
Let x(s) be the second derivative of 23*s**3/6 + s**2/2 + s. Is x(2) composite?
False
Suppose -2*k + 1832 + 1091 = 5*u, 1466 = k - 2*u. Let w = k + -923. Is w composite?
False
Suppose -2*i - 208 = -0*b + 2*b, -4*b = -4*i + 384. Let h = 61 + b. Let z = 14 - h. Is z prime?
True
Let z = 5 - 4. Suppose 2*t - z = 1. Is (53/1)/(t/1) prime?
True
Let r = 3 - 1. Suppose -6*n = -r*n - 76. Suppose -q + 2*q = n. Is q composite?
False
Let z(s) = -7*s + 2. Let m be z(2). Let u be 474/4*m/(-18). Is (7 + -6)/(1/u) prime?
True
Suppose -190 = -5*t - 4*d, 0 = 2*t - 3*t + 3*d + 19. Suppose -i - n - 4*n = -6, -t = -3*i + n. Is i a composite number?
False
Suppose h + 54 = 2*u - 0*h, -u = 2*h - 27. Is 30165/u - (-6)/(-27) prime?
True
Is 1960 + (-15)/5 - -4 prime?
False
Let b(i) = -i**3 + 4*i**2 + 4*i + 4. Let k be b(5). Let p be (k - -1)/(-3 - -4). Is 18 + p + 2/2 a prime number?
True
Suppose m - 5 = 0, 5*f - 3*f - 4*m - 628 = 0. Suppose 0 = -w - 2*w + f. Let o = w + -69. Is o a composite number?
True
Let p = -5 - -10. Suppose -3*j - p*r = 19, 6*r + 14 = -2*j + 2*r. Is ((-1)/j)/((-1)/(-921)) a composite number?
False
Let h(w) = w**2 - 2*w + 709. Is h(0) a prime number?
True
Let r be (-1)/(-4) + (-6215)/(-20). Suppose -2*p + 154 = g - r, -3*g = p - 235. Suppose f + 4*b - p = -3*f, -b - 296 = -5*f. Is f composite?
False
Let y = -11 + 76. Is y composite?
True
Suppose -8*x = -3187 - 3357. Is x a prime number?
False
Suppose -t - 4*h - 6 = 0, 2*t = -3*h - 10 + 3. Is 37/(1*t/(-2)) composite?
False
Let r(w) = 7*w**2 + 6*w + 4. Let y be 2/(-6) - 5/(-15). Suppose -2*u - 6 = y, 0*n = 4*n - u + 17. Is r(n) prime?
True
Suppose 3*o - 5*o = -1082. Is o a composite number?
False
Let m be (-2 + 16/6)*-3. Let r(o) = 4*o**2 - 3*o - 1. Is r(m) prime?
False
Let u(n) = 3*n**3 - 2*n**2 - 7*n + 11. Is u(4) prime?
False
Suppose -2*n + 6*n - l - 840 = 0, 5*l + 20 = 0. Is n composite?
True
Let b(s) = 39*s**2 - 5*s + 3. Let i(g) = -39*g**2 + 6*g - 4. Let j(q) = 5*b(q) + 4*i(q). Is j(-1) a prime number?
False
Suppose 0 = -2*l + 5*o + 604, o = 2*l - 0*o - 620. Let v = l - 165. Suppose -2*u + v = -287. Is u a prime number?
False
Suppose -5*f + 1886 = -854. Suppose 0 = -3*c - 0*c + 5*w + f, -5*c = -2*w - 945. Is c composite?
False
Let r = -8 + 10. Suppose -5*x - 15 = 0, -733 = -r*i - 3*x - 0*x. Is i a composite number?
True
Suppose -f = -1 - 0. Let y = -3 - -6. Is f/y - 136/(-6) composite?
False
Suppose 14 = 3*m + 44. Let q(v) = -v**2 - 14*v - 5. Is q(m) prime?
False
Is -28*(4 - 621/12) prime?
False
Let q(v) = -v. Let l(o) = 26*o - 1. Let d(f) = l(f) + 6*q(f). Suppose -h = -4*h + 6. Is d(h) prime?
False
Suppose -2*j + 3901 = -x, 10*x - 5835 = -3*j + 6*x. Is j a prime number?
True
Is -93*(1 + (-4)/3) a composite number?
False
Let f(y) = -123*y**3 + 4*y**2 + 2. Is f(-3) a prime number?
True
Is 16672/10 + 5 + (-8)/(-10) prime?
False
Suppose -z = 18 - 61. Suppose -271 = 3*w - z. Let f = w - -127. Is f prime?
False
Suppose -2*m 