composite?
False
Suppose -5 = -2*c + 7. Let x = -3 + c. Suppose -2*l - l = -15, -5*l + 100 = x*b. Is b prime?
False
Is (-149)/(2 - 7 - -4) a prime number?
True
Let g(c) = -3*c**3 - 30*c**2 + 24*c + 24. Let f(l) = l**3 + 10*l**2 - 8*l - 8. Let p(q) = 7*f(q) + 2*g(q). Is p(-9) a composite number?
True
Let b(a) = 163*a**3 - a**2 + a. Let n(q) = -q**2 + 5*q + 1. Let z(j) = j**3 + 5*j**2 - j. Let m be z(-5). Let o be n(m). Is b(o) a composite number?
False
Is (505 - -21)/((-4)/(-14)) prime?
False
Let t(i) = i**2 - i. Let g be t(1). Suppose -o - 5*m + 8 = -g*m, -4*m = 3*o - 13. Suppose y + 22 = 2*z, -z + 2*y + o*y = -20. Is z composite?
True
Suppose 34*g - 32*g - 42 = 0. Is g a composite number?
True
Let n be 6 - 3*2/3. Suppose -5*m = -2*m - a - 4, 2*m = -n*a + 12. Suppose 0 = 3*j + j + 2*r - 654, m*j = -3*r + 329. Is j a composite number?
False
Let m(l) = -l**3 - l + 1. Let q(n) = 5*n**3 + 7*n**2 + 9*n - 7. Let o(a) = 4*m(a) + q(a). Is o(-4) prime?
False
Suppose h = -7*h + 7304. Is h prime?
False
Let w = 16 + -12. Is (525 - 3) + w/(-4) composite?
False
Suppose -11*v - 7554 = -17*v. Is v a prime number?
True
Let a(u) = -u**3 - 4*u**2 - 3*u + 3. Let d be a(-4). Is ((-206)/(-6))/(5/d) prime?
True
Suppose -18*a = -16*a - 74. Is a prime?
True
Let m(n) = n**3 - 4*n**2 - n + 79. Is m(0) composite?
False
Let n = 119 + 65. Suppose 4*q - 20 = n. Is q prime?
False
Let t(r) = -r**2 + 6*r - 3. Let v be t(3). Is (-226)/(-4) - v/4 a prime number?
False
Suppose 4*t = t. Suppose -4*r = t, 0*b + 14 = -2*b + 3*r. Let z = 40 - b. Is z composite?
False
Suppose -3*c = -5*k - 913, -4*c = k - 4*k - 1221. Let n = c - 203. Is n a composite number?
False
Suppose 0 = d - 5*k + 27, k - 125 - 26 = 3*d. Let z = 87 + d. Is z a composite number?
True
Let i = -1157 + 1714. Is i a prime number?
True
Suppose 443 = 6*j - 619. Is j a prime number?
False
Suppose -2*p + 0*m = 2*m - 1748, -4*m - 4388 = -5*p. Suppose p = 4*l + 32. Is l a composite number?
False
Suppose 0 = 4*b - k + 43, 0 = b - 4*k + k + 8. Let l = 66 + b. Is l a composite number?
True
Let h(b) = 46*b + 23. Is h(8) a prime number?
False
Let l(n) be the second derivative of -14*n**3/3 - 13*n**2/2 - 5*n. Is l(-8) a composite number?
False
Suppose -5*x = -4*n + 117, -5*n - 3*x + 5*x = -125. Suppose 5*u = 107 + n. Is u a prime number?
False
Let h be 2 + (18 - -3)*1. Suppose -4*c - 2*n + 130 = -3*n, c - 5*n = h. Is c a prime number?
False
Let u(y) = 0*y**2 + 4*y**2 + 1 + 13*y**2. Is u(2) prime?
False
Let p = -1330 - -641. Let w = 1108 + p. Is w composite?
False
Suppose -6 = -5*k + 14. Suppose -4*r + o = 14 - 69, -k*r - 5*o = -61. Is r prime?
False
Let s = 641 - 244. Is s a composite number?
False
Let g be (9/(-6) - -1)*12. Let h(n) = 18*n**2 + n - 1. Is h(g) a composite number?
False
Let v = -63 - -125. Is v composite?
True
Let z be (-1)/(-5) + 38/10. Suppose -4*s - 151 = -k, 7*k - z*k + s - 492 = 0. Is k a prime number?
True
Let u be (4/(-2) + 1)/(-1). Let t be (-1 - (-3)/1)*u. Suppose q + 77 = t*q. Is q a composite number?
True
Let v(b) be the third derivative of b**5/30 + b**4/12 - b**3/6 - 3*b**2. Is v(-7) a composite number?
False
Suppose 0*q - 3*q - g - 393 = 0, 257 = -2*q + g. Let r = q + 206. Suppose -3*w = -2*t + 53 + 18, -2*w + r = 2*t. Is t a composite number?
False
Let b be 1/4 + (-57)/(-12). Suppose -5*h = -10*h - b. Is 39 + h + 1 + -2 prime?
True
Let w(u) = 25*u + 2. Let t = 0 - 2. Let l be t - (0 - -2 - 9). Is w(l) composite?
False
Let y = 640 + -301. Is y a prime number?
False
Suppose 5*c + 33 = 13. Is (-81)/(-36)*c/(-3) composite?
False
Let j be 1*(-3 + 6 + 106). Let o = j + -57. Suppose 3*g + o = 7*g. Is g prime?
True
Let k(q) = -4*q**3 - 2*q**2 - 2*q. Let b be k(-2). Is b*(-28)/(-8) + -1 composite?
False
Let m(t) = t. Is m(6) prime?
False
Suppose 2*q + 5384 = 10*q. Is q prime?
True
Suppose 3*s + 1 = 5*a, 4*s = -0*a - 4*a + 20. Let x = 2 + -1. Is -2 - x*a*-6 a prime number?
False
Let j = 1 - 1. Let q(a) = 20*a**3 - 2*a**2 + a + 127 - 19*a**3 + 3*a**2. Is q(j) a composite number?
False
Is (-5 - (0 + -2)) + 125 prime?
False
Let a(i) = 65*i**3 - 2*i**2 + 2*i - 3. Let n be a(2). Is 1/(-5) - n/(-15) a prime number?
False
Let p be (596/(-8))/((-2)/4). Suppose p = d - 0*d. Is d a composite number?
False
Suppose -5*b - 36 = -191. Is b a composite number?
False
Let o(n) = 12*n**2 + 9*n - 9. Let h(u) = 4*u**2 - 4 + 3*u + 3 - 2. Let y(j) = -11*h(j) + 4*o(j). Is y(2) a prime number?
True
Is ((-28)/12*-573)/1 a prime number?
False
Let p(k) = 17*k**2 + 5*k + 5. Is p(-4) a composite number?
False
Suppose 4*x - 779 = -0*x - 3*w, 0 = -x + 4*w + 171. Is x a prime number?
True
Let o(k) = -7*k**2 + k + 1. Let x be o(-1). Let a = -5 - x. Suppose -a*d = -0*d - 178. Is d composite?
False
Let h = -6191 - -9784. Is h a prime number?
True
Suppose 3*v + 2*v - 20 = 0. Let m be 1 - (-4)/(-1 + 3). Suppose 5*t + 31 = m*s, -3*s = -2*s + v*t + 1. Is s a composite number?
False
Suppose 0 = -0*i + 5*i - 5. Suppose 2*a - 3 = -i. Is 1/1*a - -14 prime?
False
Suppose 0 = -0*i + 3*i - 1677. Suppose -i = -3*r - u, -5*r + 522 = 2*u - 409. Is r composite?
True
Let v(r) = 2*r - 31. Let n(l) = -5*l + 0*l - l + 5*l + 16. Let k(m) = -11*n(m) - 6*v(m). Is k(-9) a composite number?
False
Let p(k) = k + 1. Let g(y) = 30*y + 11. Let s(d) = -g(d) - p(d). Is s(-5) a prime number?
False
Suppose -4*m + 9*m = 0. Suppose 12 - 219 = -t - 2*l, m = -3*t - 4*l + 617. Is t composite?
True
Suppose -5 = 4*m - 2*p - 37, -2*m - 5*p = -28. Suppose m*i - 4*i = x - 13, -1 = -i + 2*x. Is (1*-3)/i - -36 composite?
False
Is (-4)/5*115/(-2) prime?
False
Let d be (-10)/2*4/(-5). Suppose 4*b - d = 80. Suppose -3*q + b = -6. Is q a composite number?
True
Suppose 4*i - 23 = 9. Suppose 4*n = i*n - 740. Is n a composite number?
True
Let q(a) = -a + 4. Let z be q(4). Let k = 1 - -1. Suppose k*n - 62 = -z*n. Is n a prime number?
True
Let s(n) be the first derivative of n**4/4 + 7*n**3/3 + 5*n**2/2 + 9*n + 1. Let y(p) = -3*p**2 - 2*p + 2. Let a be y(-2). Is s(a) prime?
False
Let t(y) = y**2 + 8*y - 4. Let g be t(-8). Let i(q) = q**2 + 2*q - 5. Is i(g) composite?
False
Let l be 2/1*1/1. Suppose 0 = 2*i - l*h - 277 - 103, 4*h = -i + 175. Is i prime?
False
Let g(r) = -30*r + 3. Let y be g(2). Let f = y + 100. Is f a composite number?
False
Let w(s) be the second derivative of 7*s**4/6 - s**3/3 - s**2/2 + 4*s. Is w(2) prime?
False
Suppose r - 5*r = 0. Is -2 - r - (4 + -93) prime?
False
Let i be (-288)/(-20) - (-6)/10. Is -3 + (i - -2) + -1 composite?
False
Let i(s) = s**2 + s - 2. Let l(z) = -z. Suppose -3*w = 7 - 19. Let k be l(w). Is i(k) a prime number?
False
Let j(b) = -9*b + 8 + b**3 + 11*b**2 + 6 + b**3. Let u(q) = -q**3 - 6*q**2 + 5*q - 7. Let y(c) = -3*j(c) - 5*u(c). Is y(-6) a composite number?
False
Let p be ((-3)/4)/((-1)/4). Let z be -1 + 1/(-1)*p. Is (-37)/z*(1 + 3) composite?
False
Let n = -1041 - -1918. Is n prime?
True
Suppose -4*x + 1 - 5 = 0, -5*x = 3*f - 190. Is f composite?
True
Suppose a = o + 1753, -4*a - 1510 = 5*o - 8558. Is a prime?
False
Suppose 0 = k - 2. Let h = -4 + k. Is h*(69/(-6))/1 a composite number?
False
Let n be (-51)/(-12) - 1/4. Suppose 0*w - n*w + 87 = c, 4*c - 4*w = 328. Is c prime?
True
Let c(s) = 4*s - 2*s - 5*s - 1 - 2*s. Let o be c(-1). Suppose o*m - 231 = m. Is m composite?
True
Let k = -18 + 13. Suppose 17 = 4*q + 57. Is ((-4)/k)/((-2)/q) a composite number?
True
Suppose -6*x + 4*x = 0. Suppose x = b + 2*v + 3*v - 80, 0 = -b - v + 68. Is b a composite number?
True
Suppose 3*s - 389 = -u + 5*s, 0 = -u + 3*s + 386. Is u prime?
False
Suppose 3*y + 173 - 732 = w, 0 = 4*y + 5*w - 758. Is y a composite number?
True
Let m(x) be the second derivative of x + 13/6*x**3 + 5*x**2 + 0. Is m(9) prime?
True
Let f(b) = b**2. Let o be f(-1). Let p be (3 + o)/(2/3). Suppose 2*z - p*z = -212. Is z a prime number?
True
Suppose 4*v + 16 = -16. Let a = 27 - v. Is a composite?
True
Let l be (636 - (3 + 0)) + 1. Suppose -6*v + l = -4*v. Is v a prime number?
True
Suppose 2*c + 4*g = 1008 + 1066, -4*g + 3105 = 3*c. Is c/5 - 4/20 a composite number?
True
Let a(b) = -b**2 + 6*b + 2. Let c be a(6). Let m(g) = 0*g - 8*g + 1 - c. Is m(-3) composite?
False
Suppose -5*g - 2*x = -0*x - 3401, -4*x = 4*g - 2728. Is g prime?
False
Let g = -3 - -3. Let v = g - 2. Let x(o) = -2*o**