+ 12. Let b(g) = 2*g**2 + 6*g - 5. Is b(w) prime?
False
Suppose -5*n + 2*n - 2*l = -381, 3*n = -4*l + 381. Is n a composite number?
False
Let x(b) = 3*b - 8. Suppose 2*t + 44 = 5*q + t, t - 10 = -q. Is x(q) prime?
True
Let b = -11 + 20. Is b composite?
True
Suppose -9 = -0*k - k. Let a = k - 7. Is 1/(a/66*3) composite?
False
Suppose -3*f + 2 = -w + 3, -w + 1 = f. Suppose -86 = -h - w. Is h a prime number?
False
Suppose -644 - 45 = -p. Is p a prime number?
False
Suppose 0 = -5*g + 5*n + 10, 4*g - 2*n = -0*n + 14. Suppose y + 5*r - 25 = 0, g*y + 0 = 4*r - 20. Let q = y + 6. Is q a composite number?
True
Let u = -5 + 0. Is ((-132)/(-10))/((-2)/u) composite?
True
Let n be 2 - (-55 - (0 + 1)). Let d = -108 - n. Let y = d + 249. Is y prime?
True
Let f(n) = -n**2 + 6*n + 3. Let z be 96/15 - 2/5. Let i be f(z). Suppose 0 = i*p - 65 - 208. Is p composite?
True
Let t(f) = -f**2 - 3*f - 11. Let s(b) = -b**2 - 4*b - 11. Let n(l) = -7*s(l) + 6*t(l). Let d be n(-8). Let m = d - -96. Is m a prime number?
False
Suppose -4*g + 25 - 7 = 2*x, -5*g + 15 = 0. Let a = x - -11. Is a composite?
True
Let g(j) = -j**2 + 4*j + 4. Let l be g(5). Let o = l + 4. Suppose o*m = -m + 60. Is m prime?
False
Let a(w) be the first derivative of -7/2*w**2 + 2/3*w**3 + 4*w - 2. Is a(7) prime?
True
Let f(b) be the first derivative of -5*b**4/4 - b**3 + 3*b**2 + 3*b + 4. Is f(-4) a composite number?
False
Let b(m) = 7*m**2 + 30*m + 31. Is b(14) a prime number?
True
Let u(b) = -5*b**3 - 4*b**2 - 3*b - 3. Let w(z) = -9*z**3 - 9*z**2 - 6*z - 6. Let o(t) = 7*u(t) - 4*w(t). Is o(-4) prime?
False
Suppose h = 5*i + 13, 5*h - 1 = 2*h - 4*i. Suppose u + 2*z - 117 = 0, -7*z = -5*u - h*z + 655. Is u prime?
True
Suppose 4*o - 244 = -20. Let r = -23 + o. Is r a prime number?
False
Let g(n) be the first derivative of 3*n**4/2 + 2*n**3/3 + n**2 - n + 4. Is g(2) composite?
False
Suppose 7*i - 4*i - 6 = 0. Suppose -4*j = -i*j - 466. Is j composite?
False
Suppose 0*i + 69 = i. Is i a composite number?
True
Let m be (-1)/(-2) - (-4641)/14. Let y = m - 109. Is y a prime number?
True
Let q(p) = -4*p**2 + 2*p - 1. Let b be q(-2). Suppose k = 2*k - 3*c - 28, -4*c + 14 = k. Is (k/(-3))/2*b prime?
False
Suppose -2 = s - 6. Suppose s*r - 405 = 1039. Suppose -2*d + 8 = 0, 24 = z + 3*d - r. Is z a prime number?
True
Let d be 2/(3/3) - 2. Suppose -2*z + z + 22 = -4*s, d = -z + 3*s + 17. Suppose h - z*h + 19 = 0. Is h prime?
True
Let l = -14 + 10. Let j(o) = 32*o**3 - o**2 + 3*o - 7. Let i(f) = 33*f**3 - f**2 + 3*f - 8. Let n(k) = l*i(k) + 5*j(k). Is n(2) composite?
False
Suppose 0 = 7*b - 4*b - 11718. Is (-2)/2 + b/7 composite?
False
Let i = -15 - -7. Let b(z) = z**2 + 9*z + 4. Let l be b(i). Let m = 26 + l. Is m composite?
True
Let x be (2 - (-14 + 0))*1. Suppose -d = -1, -3 = -4*c - 3*d + x. Suppose 4*h - c = 3*h. Is h a prime number?
False
Let k(y) = 21*y - 3. Let h(d) = 104*d - 15. Let j(q) = -2*h(q) + 11*k(q). Is j(2) composite?
False
Suppose -5*j = -2*w - 2, 0 = 4*j + 2*w - w - 12. Suppose j*o - 6*o + 196 = 0. Is o prime?
False
Suppose 4*a - 9222 = -2*a. Is a a composite number?
True
Suppose -3*y - 3*f + 51 = 0, -2*y + 5*f + 18 = -30. Is y a prime number?
True
Suppose -5*t + 55 = -5*k, t - k = -4*t + 51. Let c = t + -5. Suppose -c*d - 50 = -2*f, -f - 2*d = -0*f - 43. Is f composite?
True
Let v(f) = -4*f**2 - 2*f**3 - 3 + 2 + 6*f**2. Let a be v(-2). Suppose 5*x - a = 7. Is x composite?
True
Let n = 19 - -518. Is n a composite number?
True
Let d(t) = -565*t + 11. Is d(-2) a composite number?
True
Let k(o) = -12*o**3 - 2*o**2 - 5*o - 2. Is k(-3) a composite number?
True
Let c be ((-12)/(-10))/((-6)/(-15)). Let z be (-705)/(-4)*(7 - c). Suppose 5*w = 100 + z. Is w composite?
True
Let u(t) = 1 - 8 - 67*t + 7. Is u(-5) composite?
True
Let r(d) = 2*d - 4. Let t be r(5). Let p(m) = 4*m**2 + 3*m - 8. Let n be p(t). Suppose 3*h - 191 - n = 0. Is h composite?
True
Let h(t) = 59*t + 13. Let b be h(9). Let u = b + -257. Is u composite?
True
Let q(i) = 2203*i**3 - 2*i + 2. Is q(1) a composite number?
False
Let j be (0 + -1)/((-1)/79). Let r = j - -87. Let t = r + -77. Is t a prime number?
True
Let x be 3 - (-3 + (1 - -5)). Suppose -2*r - r + 114 = x. Is r composite?
True
Let j(u) = -u**3 - 8*u**2 - 6*u + 7. Let b be j(-7). Let i(z) = 3*z**2 - 7. Let r be i(-5). Suppose 2*f = -b*f + r. Is f a prime number?
False
Let h(d) = d + 0*d + 5 - 2*d. Let v be h(5). Is (v - 4)*(-74)/8 a composite number?
False
Is (-1 - -4)*(-27313)/(-39) composite?
True
Let r(w) = w**3 - 12*w**2 + w - 4. Let t be r(12). Let b = 3 + t. Is b prime?
True
Let w = 95 - -55. Suppose 0 = -5*z + 3*z + w. Let o = z + -42. Is o a prime number?
False
Is 1/(-1) - (13 - 765) a composite number?
False
Suppose -u = -263 - 300. Is u a composite number?
False
Let r be (-1 - 2)/(3/4). Let k = r - -19. Is k a prime number?
False
Suppose 3*q + 10 - 25 = 0. Let v(o) = -q + 3*o + 9*o**2 - o + o**3 - 2. Is v(-6) a prime number?
True
Let r be (-25)/(-2) - 2/(-4). Suppose -4 = -w + r. Let z = w + -10. Is z a composite number?
False
Let f(j) = j**3 - 4*j**2 - 3*j + 3. Is f(6) a prime number?
False
Suppose -2*z - 69 = -3*j + z, -2*j + 5*z = -37. Let p = -12 + 0. Let i = j + p. Is i composite?
True
Suppose s = 32 + 8. Let u = s - -43. Is u composite?
False
Suppose -i + 3*t + 47 = 14, -31 = -2*i - t. Is (38/4)/(3/i) composite?
True
Let o = -176 - -615. Is o a prime number?
True
Suppose -8*t - 5*p = -3*t + 5, p + 3 = 0. Suppose 235 = t*x - v, -104 = -x + 5*v - 0*v. Is x a composite number?
True
Let v = 1 - 0. Suppose -v + 16 = 3*l. Suppose 635 + 380 = l*j. Is j composite?
True
Suppose 2*y - 2*a - 24 = 2*a, -y + 5 = 5*a. Is y a composite number?
True
Let y(j) = -476*j**3 - 1. Let b be y(-1). Suppose 5*i - b = 100. Suppose -2*h + 55 = -i. Is h composite?
True
Is (-12 + 15)/((-3)/(-127)) a composite number?
False
Let y = -1 - -6. Suppose h - 5*b = y*h - 631, -3*h + 487 = b. Let m = -70 + h. Is m a prime number?
False
Suppose -5*h + 3*y = 0, -3*h + 4 = -0*y - y. Let n(q) = 2*q**2 - q - 5. Let s(a) = a**2 - a - 1. Let r(o) = -n(o) + 5*s(o). Is r(h) a composite number?
True
Let n(b) be the second derivative of 2*b**4/3 + 7*b**2/2 - 2*b. Is n(-3) a composite number?
False
Suppose -2*a - 2*y = -4 - 10, 5*y - 11 = 3*a. Suppose -77 - 112 = a*g. Let b = g + 130. Is b prime?
True
Suppose -4*r - 152 = -4*j + 2076, r + 3*j + 545 = 0. Is (-2)/5 + r/(-10) prime?
False
Suppose 0 = 2*f - b - 1, -3*f - 2 = 5*b + 3. Suppose f = -4*u - u. Suppose 0*x + 5*w - 8 = -4*x, -5*x - 5*w + 15 = u. Is x composite?
False
Let d(o) = o**3 - 9*o**2 - o + 13. Let b be d(9). Suppose 11 + 12 = t. Suppose -3*c + b*c = t. Is c a prime number?
True
Let d be -4 + 1 - (-15 - -7). Suppose 4*b - 4*g - 81 = g, 4*b = -d*g + 71. Is b a prime number?
True
Let g = 50 + -18. Let q = 21 + g. Is q a composite number?
False
Let h(r) = 7*r**3 + r**2. Let k be h(-1). Is (11214/(-27))/(4/k) prime?
False
Let v(m) = -7*m - 3. Let j be v(-3). Let f = 56 + j. Is f composite?
True
Suppose -3*z = -7*z + 5196. Suppose 0 = g - 2, -z = d + 5*g + 10424. Is d/(-39) - 4/(-26) a composite number?
True
Suppose 2657 = -2*y + 3*y. Is y composite?
False
Is 1/((-14)/4) + (-19058)/(-14) prime?
True
Suppose 2*w - 8*d = -4*d + 170, 3*w - 277 = -5*d. Is w a composite number?
False
Let g = 3 + -1. Is (g + 1)/((-2)/(-22)) a prime number?
False
Suppose 0 = 4*q - 27 - 1. Let g(c) = -2*c**2 - 3*c + 9. Let h be g(q). Is (-8)/10*h/4 composite?
True
Let c(n) be the first derivative of 2*n**3/3 + n**2 - 7*n - 1. Let r be c(-5). Let q = r + 130. Is q a prime number?
True
Suppose 16*u - 11157 = 7739. Is u a composite number?
False
Let k = 35 - 18. Suppose k = 3*w - 46. Is w composite?
True
Let i be (-5)/(-20) + 19/4. Suppose 4*x = 3*w - 181, -5*x = -0*w - i*w + 295. Is w a composite number?
True
Let g(l) be the third derivative of -l**5/60 + 5*l**4/12 + l**3/2 + l**2. Let o be g(10). Suppose p = o*p - 530. Is p a prime number?
False
Let d(u) = u**3 + 10*u**2 - 2*u - 6. Let m be d(-8). Suppose l - m = 313. Is l prime?
False
Let g(w) be the third derivative of -w**5/60 + w**4/3 - w**3/2 + w**2. Let f be g(7). Let x = f + 27. Is x a prime number?
True
Suppose 0 = -3*q + 4770 + 3129. Is q a prime number?
True
Suppose 5 = -2*t + 5*f, 5*t + 0*f - 3*f = -60. Let s be