mposite number?
False
Let n(i) = -6 + 5 - 13*i - 4 - 4. Is n(-6) prime?
False
Suppose 3*d - 5*u = 215, 8*u - 135 = -2*d + 3*u. Suppose -5*z - 25 = -5*k + d, 0 = 4*k - 3*z - 72. Is k composite?
True
Suppose -o + 14 = 2*t, 4*t - 2*o - 42 = 3*o. Let z be -12*(-1 + (-130)/t). Suppose -s + z = 4*b, 2*b - 149 = -b - 2*s. Is b a prime number?
True
Suppose -4*d - 3*v = -347, -2*d + 169 = -0*d + 3*v. Let x = -24 + d. Is x a prime number?
False
Let c = -3 + 6. Suppose -c*r = -202 + 37. Is r prime?
False
Let f be ((-381)/(-6))/(1/14). Suppose 4*j - f = -29. Is j prime?
False
Suppose 5*n - 1 = -l + 26, 19 = 5*n - 3*l. Suppose 3*v + v = -g + 94, -n*g + 10 = 0. Is v a composite number?
False
Let z = -294 + 720. Let t = 613 - z. Is t a composite number?
True
Suppose -15 = u - 6*u. Suppose a = 0, -u*a + a = -4*w + 8. Suppose -25 = w*b - 99. Is b a composite number?
False
Let c be (-1 - -1)/(-2*1). Let h = c + 1. Is ((-18)/12)/(h/(-2)) prime?
True
Let s(i) = 844*i - 3. Is s(2) prime?
False
Let c(m) = 1 + 28*m - 14*m - 2. Is c(7) a prime number?
True
Suppose -2*c = c. Suppose 3*o - 5*u - 6 = -0*u, c = 5*u. Suppose -q = o*y - 145, -y = -4*q - 0*y + 598. Is q a prime number?
True
Let l = 9 + -9. Suppose -g - a + 323 = l, -5*g + 1603 = -0*g + 2*a. Is g a composite number?
True
Let z = 13 + -7. Suppose 2*g + z = 3*f - 5, 0 = -5*f - 3*g + 31. Let b(l) = 19*l - 6. Is b(f) prime?
True
Let w(u) = u**2 - u + 4. Let p be w(0). Suppose p*s = 6*s - 200. Suppose 0 = -3*j - 0*j - h + s, 0 = j - 4*h - 29. Is j composite?
True
Suppose -2*h - 3*p + 2 = 3*h, -5*h + p + 6 = 0. Is -1 + h + 1 + 76 composite?
True
Let g(p) = 4*p**2 - 13*p + 4. Is g(9) composite?
False
Suppose -2646 = -4*m + 2*m. Suppose 3*d - 12 - m = 0. Is d a composite number?
True
Let c(z) = 18*z**3 + 7*z**2 + 4*z - 8. Is c(5) prime?
True
Let m(w) = -w**2 - 6*w + 3. Let x be m(-6). Suppose -2*u + 10 = 0, 3*u + 76 - 22 = x*g. Is g composite?
False
Let c = -260 - -511. Is c a prime number?
True
Suppose -6*q = -q - 40. Let s = 36 - q. Let v = 7 + s. Is v prime?
False
Let h(l) = 2*l**2 - 25*l + 41. Is h(-28) composite?
False
Suppose -2*u + 4 = 8, -1079 = -j + 5*u. Is j a composite number?
False
Suppose 183 - 628 = -p. Is p a composite number?
True
Suppose 13 = -v - 5*f + 3, 0 = v - f - 2. Suppose v = 4*n - 4*b + 3*b - 143, b - 5 = 0. Is n prime?
True
Let j(r) = 2*r**3 - 4*r**2 - 2*r - 5. Is j(4) a prime number?
False
Let g = -10 - -12. Suppose -111 = -2*v - 3*f, -5*v + g*f + 128 + 121 = 0. Is v a prime number?
False
Let k(s) = 204*s**2 - s + 2. Is k(1) prime?
False
Let n(t) = t**2 + 3*t + 3. Let b(d) = -d**2 + d**3 - 2 + 5*d - 5*d + 3. Let k(g) = -2*b(g) + n(g). Is k(-2) a composite number?
False
Let f = 9 + 0. Is 2*f + 4/4 a composite number?
False
Let t(y) be the second derivative of y**4/12 - y**3/3 - y**2/2 + 4*y. Let s be t(2). Is (s/(-3))/((-8)/(-816)) a prime number?
False
Suppose -6*i = -i - 2230. Is i a composite number?
True
Let m(x) = x**3 + 8*x**2 + 4*x + 8. Let d(n) = -3*n**3 - 17*n**2 - 9*n - 15. Let b(u) = -2*d(u) - 5*m(u). Is b(7) composite?
True
Suppose -3*x - 86 = 2*p, 0 = 3*p + 3*x - x + 124. Is 212/p*4*-5 prime?
False
Let r(z) = 2*z - 2. Let m be r(2). Is (0 + m/8)*52 composite?
False
Suppose -2 = -5*z - 12. Is (2/6)/(z/(-894)) prime?
True
Let x(g) = g**2 + 11*g + 4 - 2*g**2 - 2*g. Is x(9) prime?
False
Is 5 + -2 - 6 - -86 prime?
True
Let q(r) = r**2 - 3*r. Let g be q(3). Suppose g = b - 12 - 19. Is b a prime number?
True
Is (-901 + 0)/(-1) - (8 - 8) a composite number?
True
Suppose 3*f + 0*f - 135 = 0. Suppose r - 4*r + f = 0. Is r prime?
False
Suppose 0 = 2*b + 3*a - 33, 6*b = 2*b - 5*a + 61. Let s(q) = -q**2 + 12*q + 6. Is s(b) composite?
True
Let s be (6 + -7)/((-2)/10). Suppose s*m = -2*x + 1031, -621 = 2*m - 5*m - 2*x. Is m a composite number?
True
Suppose 10*w + 106 = 636. Is w a composite number?
False
Let k(l) = 2*l - 2. Let z be k(3). Let d be (-129)/(z/(16/(-3))). Let p = d + -93. Is p prime?
True
Let o(n) = -n**3 + 5*n**2 + 2. Let u be o(5). Suppose u*h + h = -4*j + 159, -106 = -2*h - j. Is h prime?
True
Suppose 2*o + 0*o - 254 = 0. Is o composite?
False
Let m(u) = u**3 - u**2 + 2*u - 3. Let s(i) = -i - 1. Let g be s(-3). Let t be m(g). Let n(b) = 19*b - 6. Is n(t) a composite number?
False
Let k(g) = 5*g + 7. Let z be k(-8). Suppose -m + 2*m = -4*f + 17, -10 = -5*f. Is z/((m/6)/(-1)) prime?
False
Let q(b) = -5*b**2 + 2 - 3*b + b**2 + 5*b**2. Let v be q(2). Suppose -6*n + n + 70 = v. Is n prime?
False
Let d = -1 - -20. Is d prime?
True
Let c(h) be the third derivative of h**5/60 - h**4/6 + 2*h**3/3 - h**2. Let b be c(4). Suppose 0 = -b*x + 2*q + 82, 0*q + 65 = 3*x + 2*q. Is x composite?
True
Let d = -2 + 8. Suppose -653 = -5*f + s, -d*f = -2*f - s - 522. Is f composite?
False
Let d(n) = 16*n - 23. Is d(9) prime?
False
Suppose -2*s = -s + 2*h - 5, -5*s - h + 25 = 0. Is 12/(-30) + 387/s a composite number?
True
Is (-1 + 870)*(-3 + (-20)/(-5)) a prime number?
False
Suppose 0 = -5*u - 150 + 3875. Is u prime?
False
Let q(n) = -18*n. Let y be q(-2). Suppose 2*f = -15 - 15. Let m = y - f. Is m a prime number?
False
Suppose d + 22 = -d. Is 16/(-88) - 563/d a composite number?
True
Let z(j) = -j**2 + 9*j - 10. Let g be z(7). Suppose 2*r - 144 = -2*r + n, -g*r - 3*n = -160. Is r prime?
True
Is (-21850)/(-14) - (-8)/28 prime?
False
Let r(v) = 92*v + 55. Is r(18) composite?
True
Suppose -n - 2515 = -5*m, -m + 4*n + 268 = -216. Let r = -427 + 728. Let c = m - r. Is c a composite number?
True
Suppose -y + 3*p + 209 = y, 5*p = -5*y + 535. Is y prime?
False
Let p(y) = -y**2 - 3*y + 3. Let z be p(-3). Suppose -5*k = -z*k - 298. Is k composite?
False
Suppose 3*p - 440 - 619 = 0. Is p prime?
True
Let h = 13 - 9. Suppose -v + h*c + 49 = 0, -3*c = -2*v - 7*c + 62. Is v a composite number?
False
Is (-2 - -1)*-377 - (5 - 5) a composite number?
True
Let m(n) = n**3 - 16*n**2 + 17*n + 1. Is m(15) composite?
False
Let d(g) = -2*g**2 - 4*g - 8. Let n(q) = -q**2. Let t(j) = d(j) - 3*n(j). Suppose -4 = a, -65 = -5*c + 2*a + 3*a. Is t(c) a composite number?
False
Let m(d) = d**2 - 4*d + 2. Let v be m(4). Suppose -2*t + 260 = -3*h, -t + 119 = v*h + 2*h. Is t prime?
True
Let i(a) be the third derivative of 2*a**5/5 - a**4/24 + a**2. Let g be i(1). Is g + 0 + (-2)/(-1) a composite number?
True
Suppose -4*q = -5*b + 501, -2*b + 3*q = -22 - 184. Let o = b - -58. Is o a composite number?
True
Suppose 2*y = 5*d + 24, 24 = 2*y + d - 2*d. Let c = y - 7. Suppose -113 = -c*w - 3*s, -s = 5*w - 3*w - 46. Is w prime?
False
Let r be (-1)/(-2) - 9081/(-6). Let h = r - 835. Is h a composite number?
True
Let w(p) = p**2 - 4*p + 2. Let y be 2 + 3 + 3 + -4. Let z be w(y). Suppose -11 = -z*l + 3. Is l a prime number?
True
Let w(g) = -g**2 - 6*g + 869. Is w(0) prime?
False
Let w(s) be the first derivative of 9*s**2/2 + 8*s + 5. Is w(9) a composite number?
False
Is (1738/6)/(0 + 5/15) composite?
True
Suppose 5*j + 1960 = 4*l + l, -2*l - 3*j = -794. Is l a prime number?
False
Let d = 291 - 130. Is d prime?
False
Let h(t) = -11*t + 4. Is h(-3) a composite number?
False
Let t = 22 + -10. Let r = 27 - t. Is 208/20 + (-6)/r a prime number?
False
Let u = 325 + 2794. Is u composite?
False
Let c = 9 + -6. Suppose -2*l + 55 = 5*i - 4*l, c*i = l + 33. Suppose i = -3*k + 29. Is k prime?
False
Let n(y) = -18*y**2 - 4*y + 1. Let o(m) = -19*m**2 - 4*m. Let g(p) = 2*n(p) - 3*o(p). Is g(-3) a composite number?
False
Let t(r) = -17*r**2 - 2*r + 6. Let h(u) = -u**2 - u + 1. Let s(w) = 2*h(w) - t(w). Is s(-3) composite?
False
Suppose 0*j = 4*o - 2*j - 7786, 5823 = 3*o + 4*j. Is o prime?
False
Let q(u) = 114*u - 71. Is q(10) composite?
False
Suppose -11*m + 3*m + 11176 = 0. Is m prime?
False
Suppose 5*c = 3 + 17. Suppose 0 = -2*h - c, -h - 167 = -3*j. Is j composite?
True
Suppose 2 = -q - 2*f + 1, -f = 5*q - 13. Suppose 3*w + 19 = 3*a - 53, -q*w - 3 = 0. Is a composite?
False
Suppose 0*f + 2*f - 12 = 0. Suppose -3*h + 4*w - f - 3 = 0, -w = h + 3. Is (-1)/h - 820/(-15) a prime number?
False
Let h = 2 + -7. Let f = h + 9. Is 25/4 - 1/f a prime number?
False
Let w(g) = -61*g + 1 + 295*g**2 + 61*g. Let k be w(1). Suppose 2*s + 2*z = -0*z + k, 5*z + 565 = 4*s. Is s prime?
False
Is -5084*(-4)/8 + 1 + 2 composite?
True
Suppose -22 = 2*q + 62. Let k = -23 - q. 