k. Let m be x(2). Suppose m*v + 10 = -2*v. Let n = 30 - v. Is n composite?
True
Suppose 20 = b + 3*b. Suppose 102 - 1272 = -b*k. Let x = k - 160. Is x a prime number?
False
Let x(s) = -s**3 - 2*s**2 - 4*s - 2. Suppose a + 3 = -1. Is x(a) a composite number?
True
Let o(y) = -y**3 - 2*y**2 + 11*y + 9. Is o(-7) a composite number?
True
Suppose 4*o - 251 - 393 = 0. Is o a composite number?
True
Let k(l) = 3*l**2 + l + 7. Let x be k(5). Suppose i - x = -4*f, f - 4*f + 6 = 0. Is i a prime number?
True
Let s(w) = 0*w**2 + 1 + w**2 + 2*w + 0. Is s(-4) a prime number?
False
Let v(z) = -z**3 - 9*z**2 - 8*z - 17. Is v(-9) composite?
True
Let j(l) = 7*l**2 + 7*l - 6. Let v be 3/(-9)*-3 + 5. Let x(d) = d**2 - d - 1. Let b(h) = v*x(h) - j(h). Is b(-11) a composite number?
True
Let z(n) = n. Let q be z(4). Suppose 0*t + q*t = 1156. Is t a composite number?
True
Let z be (-3 + -46)*(-1 - 2). Let c = -2 + z. Is c a prime number?
False
Suppose -2*c + 29 = -245. Is 1 + -1 + 6 + c a prime number?
False
Let v be 32/1*(3 + -2). Suppose 2*z = -3*z - 4*b + 40, -4*z + v = -b. Suppose g - 4*h - 11 - 3 = 0, -3*g + z = 5*h. Is g a composite number?
True
Let r = 3915 + -256. Is r composite?
False
Let h(t) = 2*t. Suppose -6*l + l = -20. Let p be h(l). Suppose -3*o - a + 15 = -p, 2*a = -4*o + 32. Is o composite?
False
Suppose -4*m + 4 + 8 = 0, 5*j + 2*m = 34021. Is j a composite number?
False
Let c(j) = -6*j**2 - 4*j - 5. Let q be c(-5). Let f = 182 - q. Is f a prime number?
True
Let u = -2 - -5. Suppose 3*c + k - 8 = -c, -5*c - 3*k + u = 0. Suppose -m + 37 = -s, 0*m = -2*m - c*s + 74. Is m a composite number?
False
Is (-1 - -1) + (-11 - -1238) a prime number?
False
Suppose 3*v + z + 224 = -0*z, -4*z - 304 = 4*v. Is (-6)/4*v/3 a prime number?
True
Let u(a) = -a**3 - 8*a**2 + 8*a - 9. Let t be u(-9). Let c(d) = -3*d + d**2 + 4 + t*d + 0*d**2. Is c(3) a composite number?
True
Suppose 5*u - 4*t = 1665, u - 3*t - 344 = -0*t. Is u prime?
False
Suppose 9*c - 14*c + 19715 = 0. Is c a composite number?
False
Suppose -n - 3*n = 0. Suppose -2*v + 3*v - 2 = n. Is -1 + 76/v - 0 composite?
False
Let s = 103 + -12. Is s composite?
True
Let n(q) be the second derivative of q**4/12 + q**3/2 + q**2/2 + 14*q. Suppose -3 = -2*b + 3. Is n(b) a composite number?
False
Let i(q) = -13*q**2 + 2*q + 2. Let f be i(-3). Let n = 42 - f. Is n composite?
False
Let g be (-24)/(-10) + 4/(-10). Suppose g*y + y - 159 = 0. Is y prime?
True
Let d(w) = 2*w**2 - 4*w - 7. Let f be d(5). Suppose 2*p = -r + 1, 0 = -p - 3*p + 5*r + f. Suppose 2*u + 2*u - 3*b = 227, -3*u + p*b = -171. Is u composite?
False
Is 333/6*30/9 prime?
False
Suppose 5*b - 2781 = -7*y + 5*y, -3*b = 3*y - 1665. Is b a composite number?
False
Let a(z) = 53*z**3 - z**2 - z. Let h be a(-1). Let f = -6 - h. Is f prime?
True
Suppose -2*d + 1 + 3 = 0. Let u be -6*d/(-4) - 6. Is (-1)/u + (-62)/(-3) prime?
False
Let g = -5 - -6. Is 3/g*57/9 composite?
False
Let g = 58 - 15. Is g prime?
True
Let d = -7 - -3. Let p(s) = 3*s + 7. Let n(r) = 9*r + 20. Let x(c) = -6*n(c) + 17*p(c). Is x(d) prime?
True
Suppose 5*y = 0, z - 15 = -2*z - 3*y. Let l = -29 + 41. Suppose -5*s - z*o = -l - 528, 3*o = -5*s + 542. Is s prime?
True
Let w = 2127 - 434. Is w a composite number?
False
Is -1 - -52*52/8 prime?
True
Let h(u) = 4*u**2 - 7*u - 9. Is h(-6) prime?
False
Suppose 14 + 4 = 2*l. Let g be 0 - -2 - (-3)/(-1). Is (g - 0)*l/(-3) composite?
False
Let i(y) = -38*y - 3. Suppose 0 = 2*l + l + 12. Is i(l) composite?
False
Suppose -2*l = 4*l - 1986. Is l a prime number?
True
Let a = 80 - -92. Let h = -98 + a. Is h a prime number?
False
Let t = -44 - -19. Let q = 91 + -32. Let g = t + q. Is g a prime number?
False
Is 2 + 1 + 261 + -1 a prime number?
True
Let o(c) be the third derivative of 149*c**4/24 + c**3/6 + 6*c**2. Is o(2) a prime number?
False
Let t(p) = 18*p**2 + 16*p - 1. Is t(-7) prime?
True
Let c be (6/(-2) + 2)*-51. Suppose a - c = -2*o, 3*a - a - 2 = 0. Is o a prime number?
False
Suppose 0 = n - 3*n + 6. Suppose -3*d + n = 0, -5*h - 5 = -0*h + 5*d. Is -1*(-17 - (0 - h)) a prime number?
True
Let q = 2 - 7. Let j be (q + 0)*(-59 - 3). Suppose -4*u + 3*r = -j, 5*u - 181 = -2*r + 218. Is u composite?
False
Suppose -135 = -m + 4*t, -m - 3*t + 119 = t. Is m a composite number?
False
Let o(s) = -24*s - 7. Is o(-4) prime?
True
Let t = -246 - -157. Let p = t - -172. Is p prime?
True
Let o = 2 - -3. Let m(k) = 3*k**2 + 6*k - 7. Let v be m(-7). Suppose -v = -4*y - 2*f + 24, 2*y - o*f = 67. Is y a composite number?
False
Let s be -3 - (-2)/(-2)*-1. Let l be 1/(0 - s/10). Suppose -c = -l*c + 2*f + 228, 0 = -2*c + 4*f + 126. Is c a prime number?
False
Suppose -2*y = -10*l + 5*l + 12, 3*l - y - 7 = 0. Suppose f - 14 + 6 = -2*h, l = f. Suppose 2*z - 49 + 430 = 5*o, 0 = 3*o + h*z - 237. Is o prime?
False
Let h(x) = x**3 + 5*x - 2. Let z = 5 + 0. Let c be h(z). Suppose -4*k - c = -8*k. Is k composite?
False
Suppose -4*w = -w - 1143. Is w a prime number?
False
Let c(f) = 1 + 4*f + 2*f**2 - 3 + 3. Let p = 71 + -68. Is c(p) composite?
False
Let f(n) = n**3 + 9*n**2 + 7*n + 10. Let d be f(-9). Let b = 122 + d. Is b composite?
True
Let k(v) = -5*v**3 + 5*v**2 + 11*v + 4. Let l(t) = -2*t**3 + 2*t**2 + 5*t + 2. Let y(r) = -3*k(r) + 7*l(r). Is y(4) prime?
False
Let z be 2/4*2 + 340. Let b be 2/7 + z/7. Suppose -2*x + b = -25. Is x a composite number?
False
Let g(f) = -f**2 - 6*f - 2. Let d be g(-6). Let i = -8 - d. Is ((-334)/i)/((-4)/(-12)) a composite number?
False
Let v be (-3 - -34)*(0 + 2). Suppose 5*h = 5*n + 30, 5*n + h + 2*h = -v. Let t(g) = g**3 + 11*g**2 + 8*g - 6. Is t(n) composite?
True
Suppose 5*r - 4*f = 1595, 0*f + 1276 = 4*r + f. Is r a composite number?
True
Let l = -2 + 6. Suppose -u = 4*u - l*x - 1144, -5*u = -3*x - 1148. Let r = u - 69. Is r a composite number?
False
Is 134/4 + 20/(-40) a prime number?
False
Let v(z) = 26*z**3 - 249*z**3 + 1 + 0*z**3 + z. Is v(-1) prime?
True
Let u(g) = -30*g + 5. Is u(-11) a prime number?
False
Let p(t) = -t**3 - 11*t**2 - 4*t + 17. Is p(-13) prime?
False
Let i = -7 + 4. Is (-2 - (-576)/i)/(-2) a composite number?
False
Is 21/28 - 67396/(-16) a composite number?
True
Let f = -6 + 6. Suppose f*k + 268 = 4*k. Is k prime?
True
Let p = -29 - -220. Let w = p + -133. Is w a prime number?
False
Let f(n) = -19*n + 3. Suppose s + 2 + 2 = 0. Is f(s) prime?
True
Suppose 6*w = 3*t + w - 29, -4*w = -2*t + 22. Suppose -s - 3*r = -t*s + 41, 4*r = -12. Suppose -s = -7*q + 3*q. Is q prime?
False
Let f = 23 + -51. Let k be 10/4*f/(-35). Suppose -2*d = w - 74, -14 - 97 = -3*d - k*w. Is d a prime number?
True
Let u(c) = c**3 + c**2 + c + 2. Suppose 0 = 3*w - 2*w. Let v be u(w). Suppose -v*b + 1 = -3*p - 13, 2*b + p = 30. Is b a composite number?
False
Suppose -2*c - 4*v + 8 = -8*v, 16 = -5*c + v. Is c/(-1)*(-42)/(-8) a prime number?
False
Let c(z) = 6*z**2 - 4*z - 1. Let x be 4*(2 + 1/(-1)). Suppose 3*g - 3*t - 18 = 0, 14 - 6 = -x*t. Is c(g) composite?
False
Suppose -4 = -0*m - m. Suppose -2*r + m*h = -12, 0 = 4*r - 9*r + h + 3. Suppose r = -2*c - 0*c + 164. Is c a composite number?
True
Let m = 235 - 161. Is m a composite number?
True
Let v be ((-3)/6 + 0)*-398. Is (v + -5)*(-2)/(-4) a prime number?
True
Let f(v) = 5*v + 4. Let y = -2 - -3. Suppose y + 2 = x. Is f(x) a composite number?
False
Let u = -36 + 67. Let m = 62 - u. Is m composite?
False
Let b = -5 + 5. Let o = -221 - -327. Suppose 0*y - 2*y + o = b. Is y prime?
True
Let v(x) = -x**3 + x - 42. Let g be v(0). Let p = 61 + g. Is p a prime number?
True
Let s be 0/(1 - (-1 + -1)). Suppose 4*r - 164 - 600 = s. Is r a composite number?
False
Let n(s) be the second derivative of -2*s + 0*s**3 - s**2 + 1/20*s**5 + 0 - 2/3*s**4. Is n(9) prime?
True
Let j(k) = k**2 - 7*k - 7. Let i be j(7). Let m(u) = -15*u + 10. Is m(i) prime?
False
Suppose 0 = -3*a + 3*k + 108, 0 = 3*a + 2*k - 4*k - 110. Is a a composite number?
True
Let x(b) = b**2 + 5*b + 7. Let z be x(-5). Let r(i) = i**2 + 2*i - 8. Is r(z) prime?
False
Let l(b) = -2*b + 7 - 1 + 7 + 28*b**2 - 17. Is l(-3) composite?
True
Suppose 5*y - 6459 = -2*r, -5*y - 4*r + 5415 = -1048. Is y a composite number?
False
Let j(i) be the third derivative of 23*i**5/15 + i**4/8 - i**3/6 + 5*i**2. Is j(2) prime?
True
Suppose -2*h + 15 = -5*h. Let o be h/(-10) + 2