l + 3 + 3*l + 2*l + 10*l**2 + 0*l. Let f(v) = -10*v**2 - 3. Let a(b) = -4*f(b) - 3*o(b). Is a(-2) prime?
True
Suppose 12 = 5*c - 3. Suppose -4*p = -c*p + 3. Is p/6*6 + 13 composite?
True
Suppose o + 3*k = -2, o - 8 = -5*k - 0*k. Let h = 48 + o. Is h composite?
False
Let j(t) = -t**2 - 5*t + 5. Let f = -4 + 6. Let b(o) = o**2 + 5*o - 5. Let y(i) = f*j(i) + 3*b(i). Is y(4) a composite number?
False
Suppose -5*s + 2231 = -1184. Suppose 0 = -u + 2*u - s. Is u a composite number?
False
Let z(k) = -356*k - 3. Let m(g) = g**2 - 3*g - 2. Let n be m(3). Is z(n) composite?
False
Suppose 5*p + j - 14 = 0, j - 4 = p - 2. Suppose -p*n - 69 = -3*b, n = -b + 5*n + 23. Is b a composite number?
False
Suppose 3*a + 2*i = 2721, 0 = -a - 4*a - i + 4535. Is a a composite number?
False
Suppose -4*n - n = -630. Let t = 427 + n. Is t prime?
False
Let p(a) = a**3 - 3*a**2 + a + 1. Let d be p(2). Let i(h) = 25*h**2 - h - 1. Is i(d) a prime number?
False
Suppose 0 = -3*a + 4*o + 871, -5*a + 0*o - 2*o = -1469. Is a composite?
False
Is ((-34)/(-8))/(3 + (-8510)/2840) composite?
True
Let u = 0 - -2. Suppose -u*h = 5*m - h - 7, -m + 11 = -3*h. Suppose -m = -o + 23. Is o prime?
False
Let u(n) = 3*n**2 + n + 1. Suppose -y = 2*y - 12. Is u(y) composite?
False
Suppose 292 = 5*m - 4*m. Let h = -69 + m. Is h a prime number?
True
Let l = -20 - -25. Suppose 44 = y - l*r, 4*r = 5*y + r - 110. Is y composite?
False
Let q(t) = t**3 - 9*t**2 + 9*t - 4. Let z be q(8). Suppose w = -z*w + 70. Is w composite?
True
Let c(d) = 46*d. Let p be c(-2). Is p/(-3) - 6/(-18) prime?
True
Let o = 12 + -10. Suppose -o*v = -2*j - 372, -v = -2*j + 7*j - 216. Is v prime?
True
Let v = -38 - 16. Let r = -35 - v. Is r a composite number?
False
Suppose 36 - 8 = 4*z. Suppose 5*w + 19 = -2*v, -5*v - 2 + z = 2*w. Suppose -4*x - 186 = -2*t, v*t - 269 = -4*x - 0*x. Is t a prime number?
False
Let g(q) = q**2 - 5*q + 1. Let c be g(5). Let d(b) = -c + 2*b + 6 - 3 - 1. Is d(5) a prime number?
True
Suppose g = -u + 4, 3*g + 1 = 2*u + 3. Let c be g/(-6) - (-260)/6. Suppose 3*o = -5*v + c, 5*o + v - 49 = 4*v. Is o composite?
False
Suppose -5*u + 4*r + 45 = 0, -2*u + 25 = -3*r - 0*r. Suppose p = -5*c + 6*p + 260, -u*c + 272 = -p. Is c prime?
False
Let h = -3 - -7. Let u(y) = 10*y**2 + 5*y - 2. Is u(h) a prime number?
False
Let r(f) = f**3 - 1. Let u(d) = 7*d**3 - d**2 - 3*d - 6. Let b(n) = -6*r(n) + u(n). Is b(5) composite?
True
Suppose 11*y - 6*y - 1475 = 0. Is y prime?
False
Let j(o) be the second derivative of -7*o**3/6 + o**2/2 + o. Is j(-3) a prime number?
False
Suppose -3*v + 4*x = -257, 443 = -0*v + 5*v - 3*x. Is v composite?
True
Let g = 122 + -11. Is g prime?
False
Suppose -3*y - k = -6, -5*y + 2*k + 2*k + 10 = 0. Suppose 22 = y*f - 20. Suppose 0 = 3*x + 5*s - f, 2*x + 7 = 3*x + 3*s. Is x prime?
True
Let v be ((-6)/4)/(6/8). Let c = -2 - v. Suppose c = -h + 3. Is h composite?
False
Suppose 5*h = 3*h + d + 724, 4*h = 3*d + 1448. Let q = h - 145. Is q composite?
True
Suppose -2*l + 312 = 2*l. Suppose 2*b - b = 35. Let w = l - b. Is w a prime number?
True
Let n = 2481 - 1526. Is n prime?
False
Suppose 5*x + z - 18 = 0, x - 2 = z + 4. Suppose 0 = t + x*l - 13, -4*t - 6 = 4*l - 22. Is (441/3 - 2)*t a composite number?
True
Let r(b) = -48*b + 17. Let c(f) = -32*f + 11. Let u(k) = 8*c(k) - 5*r(k). Is u(-11) a prime number?
True
Let i = -3 + 6. Let o(h) = 71*h - 2. Is o(i) prime?
True
Let t(g) = -60*g + 1. Let n be t(-3). Let w = n - 68. Is w composite?
False
Let o(j) = -j**2 + 8*j + 4. Suppose 4*i = 34 - 6. Is o(i) composite?
False
Let f = -8 + 12. Suppose 1456 = 5*l - c, 1691 = f*l - 2*c + 525. Is l a prime number?
False
Let t(s) be the second derivative of -s**5/20 - 5*s**4/12 - s**3/6 - s**2/2 + 2*s. Let l be t(-5). Is l/10 - (-732)/20 a composite number?
False
Suppose -6*r = -6239 - 6331. Is r a prime number?
False
Let l(k) = -135*k + 1. Let h be l(-2). Suppose 0 = 5*b - 2*p - h, 2 = b - 3*p - 47. Is b prime?
False
Let w(q) = q**3 - q**2 - q + 493. Is w(0) a prime number?
False
Let m = 427 - 223. Let z = m - 119. Is z composite?
True
Suppose k - 85 = -4*s, -3*k = -0*k + 2*s - 255. Is k a prime number?
False
Suppose -c + 13 = -3*t, 2*c + 2*t - 14 = -3*c. Suppose c*b + 9 = 5*b. Is b a composite number?
True
Let x(o) = 1. Let a(c) = -2*c + 1. Let q(u) = a(u) + 6*x(u). Let r(h) = 2*h - 6. Let z(t) = 5*q(t) + 6*r(t). Is z(8) a composite number?
True
Suppose 4*y = v - 0*y - 179, 3*v + y = 537. Is v a prime number?
True
Let q = -12 - -12. Let t = 1 - 1. Suppose t = 5*p - 2*y - 65, q = p + 4*y - 21 - 14. Is p a composite number?
True
Let u(o) = 7*o**2 + 2*o - 11. Is u(6) composite?
True
Let i(m) be the third derivative of -1/120*m**6 - m**2 - 1/2*m**3 - 1/4*m**4 + 0*m + 0 + 3/20*m**5. Is i(7) a prime number?
True
Let d(x) = -x + 4. Let s(b) = 3*b - 1. Let a be s(3). Let t be a/36 + 2/(-9). Is d(t) a composite number?
True
Suppose 0 = 3*z - 12764 + 3275. Is z a composite number?
False
Let x = -145 + 242. Is x a composite number?
False
Let s(l) = -1 + l**3 - 3*l - 7*l**2 + 4*l + 5*l + 4. Let u be s(6). Suppose -180 = -h - 2*h + 3*k, 0 = 2*h - u*k - 118. Is h a prime number?
False
Let k(x) = 17*x**2 - 3*x + 2. Let h(w) = 17*w**2 - 3*w + 2. Let s(a) = -5*h(a) + 6*k(a). Is s(3) prime?
False
Suppose 5*q - 2*w - 18 = 0, -q - 5*w - 3 = -3*q. Let u = -4 + q. Suppose 5*a - 55 = -u. Is a composite?
False
Suppose -6*l + 4*l = 256. Let v = 241 + l. Is v a composite number?
False
Let k(h) = -80*h**3 + 2*h**2 + 5*h. Let y(s) = -81*s**3 + 2*s**2 + 4*s. Let f(o) = -3*k(o) + 4*y(o). Is f(-1) a prime number?
False
Let r(u) = 3*u**2 + 3*u - 1. Let n(a) = 36*a**2 - 1. Let y be n(-1). Suppose 4*w + y + 1 = 0. Is r(w) prime?
False
Let w = 1110 + -663. Is w composite?
True
Let y(n) = 33*n**3 + 4*n**2 - 4*n - 8. Is y(5) composite?
True
Let z(b) = -b**3 + 8*b**2 + 5*b + 1. Let g be z(8). Let a = g - -170. Is a prime?
True
Let s = 344 + 110. Suppose -3*n = 115 - s. Is n a composite number?
False
Let q be 18/(-12)*10/(-3). Suppose 1115 = q*v - 2000. Is v composite?
True
Suppose 5*b + 1 = -4, -3*h - b + 1436 = 0. Is h prime?
True
Is 1097 + (-1)/2*-4 composite?
True
Let h = 598 + -331. Let g = h - 76. Is g a composite number?
False
Is -1 + (-2196)/(-15)*20/6 prime?
True
Suppose 0 = 3*n, -3*o + 2*n + 1442 - 299 = 0. Is o a composite number?
True
Let y = 980 - 673. Is y prime?
True
Let m = -2 + 10. Suppose -m*u = -3*u. Suppose -154 = -2*j - u*j. Is j composite?
True
Let v be (2/(-10) + 1)*-5. Let g = 4 + v. Suppose -4*r - x + 0*x + 338 = g, 5*r - 431 = 3*x. Is r a prime number?
False
Let l(d) = 4 + 9*d + 7*d - 2*d + 3*d. Is l(3) composite?
True
Let s(r) = -r**2 + 1. Let m be s(2). Let t(h) = 19*h**2 + 3*h - 1. Is t(m) composite?
True
Suppose 3*p - 6*p = -969. Is p a prime number?
False
Let r(l) = -l**3 - 8*l**2 + 6*l - 4. Let k be r(-7). Let i = k + 148. Suppose 5*q + 109 = 4*p - 103, i = p + 4*q. Is p composite?
False
Suppose -3 = -2*h + 1. Suppose 0*q = 3*p + 5*q - 465, 155 = p - h*q. Is p composite?
True
Is 4/(-12) + 1760/6 composite?
False
Suppose 2*v = w - 0*v, 2*w - 6 = v. Is w prime?
False
Suppose -7*t + 16 = -5*t. Suppose -t = 4*j + 4. Let i(l) = -2*l**3 - 3*l**2 - 3*l + 1. Is i(j) composite?
False
Let t = 17 + -13. Suppose t*r = 1920 - 596. Is r a composite number?
False
Let h(z) = -z + 3. Suppose f - 2*i - 14 + 0 = 0, 0 = f - 5*i - 29. Let b(j) = -j. Let r be b(f). Is h(r) a composite number?
False
Let m be 0 - 26*(-11 - -2). Let x = -147 + m. Is x a composite number?
True
Let g(z) = -z**3 - 6*z**2 - z + 1. Let q = -11 + 17. Suppose -2*y + q = 18. Is g(y) a composite number?
False
Suppose -3*g + k + 1042 = 0, -g + 700 = g + 2*k. Suppose i + 0*i = g. Suppose 3*r - 7*r + i = 0. Is r a composite number?
True
Let t be (-61)/4 + (-2)/(-8). Let p be 3 - 1 - (t + -3). Is (-74)/(-10) + (-8)/p a composite number?
False
Let m = 95 - -128. Is m composite?
False
Suppose d - 2 = 3. Suppose 3*b + 3*x + 15 = 7*b, -d*b - 20 = 4*x. Suppose b = 6*v - v - 275. Is v a composite number?
True
Let h = 9 + -4. Let r = 15 - h. Is r a composite number?
True
Let k(b) = 249*b**2 + b + 1. Is k(4) prime?
True
Let q(z) = 13*z**2 - 4. Suppose 0 = -6*p + 2*p + 2*m + 32, -2*m = 5*p - 31. Suppose p*a - 11 = 4*a + 2*v, -2*a + 4*v + 10 = 0. Is q(a) a composite number?
False
S