11*q**2 + 4*q + 5. Is w(n) composite?
False
Let q be 3*(33/(-9) + 1). Let d = 21 + q. Suppose d = 2*t - 15. Is t a composite number?
True
Let c be 2/(1 + (-2 - -3)). Let z be c/1 + (6 - 7). Is (2 - z) + 8*3 prime?
False
Suppose s - 4608 = -2*f, 2*f = -0*f - 2*s + 4606. Is f a prime number?
False
Suppose -u = 69 - 5. Let c = u + 150. Is c a composite number?
True
Let i be 4/(-18) - (-7652)/9. Suppose -y - 4*y + i = 0. Suppose z + 1 = 0, 2*t - y - 88 = 4*z. Is t prime?
True
Suppose -5*t + 20 = 0, -3*c + t + 3*t - 7 = 0. Suppose -c*l = -448 - 29. Suppose -269 = -5*m + 2*w, -5*w = -3*m - 3*w + l. Is m a composite number?
True
Suppose y - 807 = -4*n, -2*n = y - 0*n - 799. Is y a composite number?
True
Let q be (-3 - -1)/(4/(-70)). Is (-1354)/(-14) + 10/q a prime number?
True
Let p(n) = -4*n + 8 + 5*n - 1. Let g be p(-5). Let t(b) = 5*b**3 + 2*b**2 + 3*b - 3. Is t(g) composite?
True
Let q be (-2 + -4)/(1/(-3)). Let u = q + -46. Is 4*11*u/(-16) prime?
False
Let r(w) = -3*w**2 + 2*w**3 + 15*w**2 - 2 - 8*w - 3*w - 3*w**3. Let v be r(11). Is (-1)/(v/2) + 496 a composite number?
True
Let z = -5 - -10. Suppose r = 4*r - z*o - 16, 5*r - 6 = -2*o. Suppose -3*d + 2*v + 245 = 0, 4*d - 118 - 206 = r*v. Is d a composite number?
False
Let i(m) = -14*m**3 + 6*m - 15. Is i(-6) composite?
True
Suppose 2*c = -i - 2*c + 65, -i + 73 = -4*c. Let z = -36 + i. Is z a composite number?
True
Suppose -10*a + 6*a + 136 = 0. Is a composite?
True
Suppose -7*o + 3*o - 2*r + 78 = 0, 4*r + 12 = 0. Is o/(-49) - (-2498)/14 a prime number?
False
Let v(n) = 10*n - 23. Is v(15) composite?
False
Let n(g) = 13*g**2 + 2*g + 7. Let l(k) = -38*k**2 - 6*k - 20. Let z(f) = -4*l(f) - 11*n(f). Is z(-2) prime?
False
Suppose 4*f + 10 = -2*n, -4*n + 2*n - 10 = 5*f. Suppose 2*l - 10 = f, 4*o - 3*o = -5*l + 203. Is o composite?
True
Is (514/8)/((-2)/(-24)) composite?
True
Suppose -t - 2790 = -6*t. Is t/8 - (-6)/(-8) a composite number?
True
Suppose 24*g - 2222 = 13*g. Is g composite?
True
Let z(u) = -3*u**3 + 4*u**2 + 2*u - 1. Suppose 25 = 4*q + q. Let t be ((-4)/q)/(4/10). Is z(t) composite?
True
Suppose -3*d - 8 = -d, -2*d = 4*v - 2668. Is v a composite number?
True
Suppose -4*a - 2*u - 2*u + 668 = 0, 4*a - 3*u = 668. Is a composite?
False
Is 1257*((-3)/(-6))/((-6)/(-4)) a prime number?
True
Let w(p) = 23*p**3 - 3*p**2 - 14*p + 7. Is w(6) a prime number?
True
Suppose 0*u + 60 = -3*u. Let f = u - -349. Is f a prime number?
False
Let o = 365 - 26. Is o a composite number?
True
Is (-1)/2*(11 - 309) prime?
True
Let u be 2 + (-2 - -1)*-167. Suppose n + 0*n - u = 0. Is n a composite number?
True
Let b = -170 + 1903. Is b composite?
False
Let l(i) = i**3 + 14*i**2 + i + 16. Suppose 0 = 5*r + 80 - 10. Let h be l(r). Suppose 3*u = u + 2*t + 50, h*u + 3*t - 40 = 0. Is u a prime number?
True
Let g = 73 + -130. Is (g/12)/((-2)/8) a composite number?
False
Let f(b) = 2*b + 6. Let s be f(7). Let x = -7 - -10. Let a = x + s. Is a composite?
False
Let g(z) = -59*z. Is g(-2) prime?
False
Let q = 262 - 41. Is q prime?
False
Let q = -1 + -1. Suppose -r = -4*r - 27. Let g = q - r. Is g composite?
False
Let x(c) = -12*c + 2 - 38*c + 1 + 4. Is x(-6) a prime number?
True
Suppose 16 = -4*x, -j + 3*x = j - 18. Suppose -3*m + 105 = s + j*s, 5*m - s = 175. Is m a composite number?
True
Let a(s) = -28*s - 11. Is a(-6) a prime number?
True
Suppose 17207 - 723 = 4*v. Is v composite?
True
Let f(o) be the second derivative of -10*o**3/3 - o**2/2 - 2*o. Is f(-4) prime?
True
Suppose 0*p + 4*p + 1816 = 0. Let u = p - -939. Is u a prime number?
False
Suppose 2*o - 278 = 5*t + 775, 5*o - 2598 = t. Is o prime?
False
Suppose 4*o - 25 = -5*y + 12, 4*o - 2*y - 58 = 0. Is (-7 - o)*(-2)/4 composite?
True
Let k(i) = i**3 - 15*i**2 - 23*i + 4. Suppose -2*m + 17 = -17. Is k(m) prime?
True
Suppose -85 = 5*m + 2565. Let b = m - -1015. Is b a composite number?
True
Suppose 2*r + 358 = -150. Let t be (-3082)/(-6) + 12/(-18). Let n = r + t. Is n composite?
True
Let p(w) = 27*w**3 - 4*w**2 + 3*w - 1. Let t be p(2). Let b = t + -66. Suppose -4*j + 5*z + b = -68, -263 = -5*j + 2*z. Is j prime?
True
Let z(d) be the third derivative of d**5/60 - d**4/8 - 2*d**3/3 + 2*d**2. Let c be z(3). Is (-3 - -1)/(c/70) prime?
False
Let d(g) = -8*g**2 + 7*g - 8. Let j be d(6). Is j/(-6) + (-6)/(-9) composite?
False
Let w = -94 - -230. Suppose 5*l - 144 = -3*x + w, -4*x + 4*l + 320 = 0. Is x a prime number?
False
Let l(z) = 8*z + 1. Let g(c) = c - 1. Let j(v) = 16*v. Let q(d) = g(d) - j(d). Let a(m) = -7*l(m) - 3*q(m). Is a(-5) prime?
False
Suppose -2*v = v. Let o = v - 3. Let p = o - -13. Is p prime?
False
Suppose -178 = -2*a + a. Is a prime?
False
Suppose 2*w - 10 = 2. Let s(p) = -p**3 + 5*p**2 + 7*p - 8. Let c be s(w). Is (-4)/c - -77 - 0 a composite number?
False
Let w(h) = 99*h**2 - 18*h + 10. Is w(5) a prime number?
False
Suppose -3*b - 8 = -5*b. Suppose 1896 = b*t + 5*g, 3*g - 2383 = -6*t + t. Is t composite?
False
Let l = 6 + -4. Let r be ((-488)/(-12))/(l/3). Let j = r + 18. Is j prime?
True
Suppose -4*d + 4*l = 15 - 163, 0 = -3*d - 5*l + 103. Suppose -4*h + d = -h. Let b = 31 - h. Is b composite?
False
Let j(h) = -h**2 - 6*h + 3. Let d be j(-6). Let n(t) = -t**2 + 5*t + 5. Let m be n(5). Suppose m*s + 575 = 2*b, 0 = s + d - 6. Is b composite?
True
Let f be (0 - (-3 + 0))/1. Suppose f*y - 1 = -4. Is (-1)/((-128)/(-130) + y) composite?
True
Let l(w) = 31*w**3 + w**2 - 4*w + 3. Let z be l(2). Suppose -591 = 3*g + k, 2*g + z = -3*k - 147. Is 1/(-4) - g/4 prime?
False
Suppose -3*b - 2*b = 0. Is 1*(b - 74/(-2)) composite?
False
Is -1402*-1*(-4)/(-8) a prime number?
True
Let c(j) = -j**2 - 23*j + 17. Let r = 17 - 29. Is c(r) prime?
True
Suppose -4*n = -17 + 5. Suppose -4*j = 2*m + 3 - 11, 5*m + n*j - 34 = 0. Is (35/2)/(4/m) prime?
False
Let u be (-4)/(-8) - (-18)/4. Suppose -u*d = 27 - 87. Is (37/2)/(6/d) prime?
True
Suppose 4 = f + 1. Suppose -4*r + 5*b = -268, f*r - 5*b - 126 = 75. Is r composite?
False
Let o = -466 + 1149. Is o composite?
False
Let g(c) be the second derivative of -c**3/6 - 2*c**2 + c. Let y be g(-6). Suppose b = 3*o + 37, 6*b + y*o = 3*b + 67. Is b composite?
True
Is (3 - (-185)/(-65)) + 12138/26 composite?
False
Let c(o) = 148*o**2 - 2*o + 3. Is c(1) composite?
False
Is (-24)/(-8) - (-800)/2 prime?
False
Let p = -666 - -1255. Is p a prime number?
False
Let u(a) = a**2 - a - 1. Let x be u(2). Is 3/x + (-11 - -399) a prime number?
False
Suppose 0*u + 5*u - 5 = 0, -2*h = u + 197. Is (26/6)/((-3)/h) a composite number?
True
Let j(x) = x - 4. Let p be j(9). Suppose -r + p = -4*n, 2*n = 4*r - n + 6. Is r/(-6) + 975/6 composite?
False
Let g = 2565 + -1034. Is g a prime number?
True
Let g be -2 + (-24 - (5 - 2)). Let f = -4 - g. Is f a composite number?
True
Suppose 211 = 5*h - 44. Is h a prime number?
False
Suppose 0 = -3*r + 3*c - 12, -c - 8 = 3*r - 0*c. Let i(p) = p**2 + p - 4. Let q be i(r). Suppose 0 = q*m - 62 - 116. Is m a composite number?
False
Let u(f) be the second derivative of -f**4/12 + f**3/6 + 13*f**2/2 + f. Is u(0) a composite number?
False
Let l = 3 - -4. Let i(a) = 3*a**2 - 6*a - 4. Let j(n) = 7*n**2 - 11*n - 7. Let t(s) = -5*i(s) + 2*j(s). Is t(l) prime?
True
Suppose -i + 4*i + 2*r = 23, -26 = -2*i - 4*r. Suppose 0*d - i*d = -75. Is d prime?
False
Suppose -3*n + n = -5*f - 8118, -2*n - 5*f = -8078. Is n a prime number?
True
Suppose 106*p + 16772 = 110*p. Is p a composite number?
True
Let u be (-12)/(-15)*(-4 + -1). Let q(x) = 5*x + 5. Let m(b) = b - 1. Let o(j) = u*m(j) + q(j). Is o(0) prime?
False
Is (-3 - -6)/((-2)/(-22)) a prime number?
False
Let u(y) = -y**3 + 16*y**2 - 14*y - 11. Let z be u(15). Suppose -h - 3*m + 448 - 11 = 0, h - z*m = 451. Is h prime?
True
Let q(i) = 5*i**2 - 2*i + 1. Let j be q(1). Suppose 6 = -j*a - 2*o, -3*a + 2*o - 6 = 3*o. Is 1/a - 466/(-3) a composite number?
True
Suppose -4 = -y - 2. Suppose -6 = -3*c, y = 4*b - 3*c - 4. Suppose 0*l + 111 = b*l. Is l a prime number?
True
Let r be (2 - (1 - 4)) + -2. Suppose -r*b = 19 - 1480. Is b a prime number?
True
Let z = 16 - 13. Is z composite?
False
Let t = -20 + 10. Let x = 35 + t. Is x a composite number?
True
Let r be (-3 - 3)/(-3) - 0. Is (51 - r)/1*1 composite?
True
Is (14/3)/((-10)/(-105)) a prime number?
False
Let b be (-5)/(10/(-16)) - 2. Suppos