number?
False
Let b(i) = 2*i**3 - 3*i**3 + i**2 + 8*i**2 + i - 6. Let s be b(9). Let m = 4 + s. Is m a composite number?
False
Suppose -2*o - 3*k - 2056 = -7457, 5*k = -15. Is o a composite number?
True
Let g = 183 - 29. Suppose 5*o = c - g, -152 = 5*o + c - 4*c. Is -11*(-3 + 4)*o composite?
True
Is 2/(-2)*(-212)/2 a composite number?
True
Suppose j - 191 = 156. Is j composite?
False
Let y(k) = k**3 - 6*k**2 - 6*k + 6. Let d(f) = f**2 + 9*f - 5. Let c be d(-9). Let i = 2 - c. Is y(i) a prime number?
True
Is 0 + (0 - (-203)/1) a composite number?
True
Suppose 0 = 5*c - 2*c - k - 78, -12 = 4*k. Is c composite?
True
Suppose g - 288 = -34. Is g a composite number?
True
Suppose o - 8 = -3*o. Let p = 5 - o. Suppose -5*t - 3*y = -105, p*y = -t + 6*y + 21. Is t prime?
False
Suppose -g + 1 = 0, 2*u = -3*u - g + 1866. Is u a prime number?
True
Let z = 1 - 1. Suppose 0 = 3*m + h - 10 - 2, 4 = -m - 3*h. Suppose 5*n = -z*n - x + 669, -2*n = m*x - 286. Is n a prime number?
False
Suppose 1 = 2*f - 0*s - s, -5*s = -5*f - 10. Suppose 4*w - 55 = -f. Is w prime?
True
Is ((308/(-12))/(-7))/((-2)/(-30)) a composite number?
True
Suppose 0 = -2*l + 24 - 0. Is (-3)/(l/(-518))*2 a prime number?
False
Let x(s) = 5*s - 6. Let o be x(6). Suppose 0 = -5*l + 5*d + 40, -4*l + l - 5*d + o = 0. Suppose 0 = -2*b + l + 6. Is b a composite number?
False
Suppose -2*l + 6*l = 0. Suppose 0 = -5*n + 5, 3*q - q + 3*n - 445 = l. Is q prime?
False
Let h(t) = -7*t**3 + 2*t**2 + 3. Is h(-2) a prime number?
True
Suppose 40 = w - 5*n, -w - 29 = 4*n - 69. Let f = 49 + w. Is f a composite number?
False
Let g be (0 - (-21)/(-9))*-24. Let z = g + -109. Let r = -31 - z. Is r composite?
True
Suppose -5*p + 2*p = -285. Is p a prime number?
False
Let q be (108/(-8))/(6/8). Let g be (q/(-4))/((-1)/(-12)). Let h = g - 7. Is h a composite number?
False
Let n(x) = -2*x. Let u be n(-2). Let i be 0 - 1 - (-24)/u. Let q(j) = -j**2 + 7*j - 1. Is q(i) prime?
False
Suppose 2*q = 153 + 135. Suppose -5*j + 3*p - 136 = -456, -2*j + q = 2*p. Is j a prime number?
True
Suppose -4*q - 29 = 5*u + 1, 5*q = 4*u - 17. Let f(b) = -b**2 - 4*b - 2. Let r be f(u). Suppose 11 = 2*o + w, -3*o + r*w + 30 = -w. Is o composite?
False
Let f be 2*2 - (2 + 4). Is ((-954)/3)/(4/f) a composite number?
True
Suppose -5*k + 4*h + 164 = -k, 5*k = -2*h + 240. Is k a composite number?
True
Let z = -6 - -2. Let o be (7 - (-3 - z)) + 0. Suppose 25 = -y + 3*h + 158, -o = 3*h. Is y a composite number?
False
Let v(i) = -i**3 - 6*i**2 - 4*i + 7. Let b = 11 + -17. Is v(b) prime?
True
Suppose 0 = -3*r + 6, k + 8*r - 64 = 3*r. Suppose 4*n - 7 = 5*d + 44, 2*d + k = 4*n. Is n a prime number?
False
Suppose 5*w = 105 + 30. Suppose 3*d - 4*k - 200 = 0, -74 = -3*d + 2*d + 5*k. Let a = d - w. Is a a prime number?
True
Let q(p) = -17*p + 1. Let y = 4 + 2. Let n(m) = -m. Let s be n(y). Is q(s) prime?
True
Is 292/(-1)*1/(-2) composite?
True
Suppose 7972 = -3*s + 7*s. Is s composite?
False
Suppose -2*a - 4 = -0. Is ((-114)/(-18))/(a/(-42)) a composite number?
True
Suppose -j - 10 = 2*l, j = 4*l + 6*j + 26. Let y = -5 - l. Is y/((-138)/(-141) - 1) a composite number?
False
Let u(h) = -h**3 - 3*h**2 + 8*h + 3. Let d(w) = -w + 4. Let o be d(-4). Let p = -13 + o. Is u(p) composite?
False
Suppose 4 = 5*c + 24. Let w be (c - (-5 + 2)) + 1. Suppose 0 = 3*q + 12, w*a + a = -5*q + 197. Is a a composite number?
True
Let y = -689 - -988. Is y a prime number?
False
Let o = 20 - 70. Is 6*(o/4)/(-5) composite?
True
Let n(s) = 2*s - 6. Let f be n(4). Suppose f*y - 11 = -5*l, 4*l = -5*y - 21 + 6. Is (-7)/(3/3)*y a composite number?
True
Is (-3)/(-12) + (-1449)/(-12) composite?
True
Suppose -4*o - 3*l = -o - 15, 5*l - 10 = 0. Suppose r + 4*j + 15 - 5 = 0, o*r = 4*j + 2. Is (-113)/(-5) - r/5 composite?
False
Suppose -3*r + 1539 = -1866. Is r a prime number?
False
Let k = -454 + 686. Suppose 48 + 57 = n. Let r = k - n. Is r prime?
True
Suppose 3*r + 4*h = 35, 0 = 3*r - 4*h + 1 + 4. Is 2/r - 1866/(-10) prime?
False
Let o(f) = -240*f - 7. Is o(-14) prime?
False
Let x be (-3)/(3 - 16/4). Suppose 4*f + 5*j = 32, x*f = -4*j + 1 + 22. Is f prime?
True
Let v = -39 - -64. Suppose 4*y - 39 = v. Let b = y + 21. Is b prime?
True
Suppose 3*s + 6 = -12. Let u(o) = o**2 - 9*o + 8. Let d(i) = 3*i**2 - 19*i + 17. Let a(h) = 3*d(h) - 7*u(h). Is a(s) a prime number?
True
Let m(b) = 3*b**2 - 3*b. Let i be m(2). Let n = 9 + i. Is n a composite number?
True
Suppose 0 = -d - 2*d - 6. Let s be (-45)/6*d/3. Let i(m) = 6*m**2 - 7*m. Is i(s) a prime number?
False
Let o = 0 - -2. Let t be (o - 2 - -1) + 1. Suppose 0*h - h - t*k = -11, 5*k - 14 = -h. Is h a composite number?
True
Suppose -5*i + 372 = -3*o - 555, -2*o + 2 = 0. Suppose 8*s = 10*s - i. Is s a prime number?
False
Suppose -2*w + 4*a - a = -15, -3*a - 15 = 0. Suppose w = j - 0*j - 2. Is -2*-37*1/j prime?
True
Suppose -5*c = -10 - 5. Let l be 22/(-1 + c) + -2. Is 55/(3/(l/3)) prime?
False
Let j(a) be the first derivative of 3*a**3 + 2*a**2 - 3*a - 1. Is j(4) prime?
True
Let l = -181 - 41. Let k = 109 - l. Suppose -1126 = -5*q - k. Is q a prime number?
False
Let c be (-12)/2*5/(-10). Suppose 0*a + c*a - 129 = 0. Is a prime?
True
Suppose 0 = -2*o + 426 + 112. Is o prime?
True
Suppose 8*f - 3*f - 2065 = 0. Is f prime?
False
Let h(j) = j**2 + 8*j + 12. Suppose m - 36 = 5*m. Let d be h(m). Is (-3)/d + (-246)/(-7) a prime number?
False
Let s(y) = y**2 - 2*y - 1. Let m be s(2). Let c be (-2 - -5) + m + 2. Let o = 23 - c. Is o composite?
False
Suppose -3*n + 16 = -4*g - 8, 40 = 5*n - g. Let q(f) be the second derivative of f**4/3 - 3*f**3/2 - 7*f**2/2 - 3*f. Is q(n) a prime number?
False
Let v(a) = -34*a + 2. Let d be v(-2). Suppose s = -s + d. Is s a composite number?
True
Let y be 2/2 + 6/2. Suppose -y*u - 5*n = -24, 0*n + n = u - 15. Is u a prime number?
True
Let a(w) = -w**2 + w + 29. Let s be a(0). Let h = s + -15. Is h prime?
False
Let f be 125/4 + 1/(-4). Suppose 4*c - f = 17. Suppose -10 = 2*h, -3*k - h + c = -4. Is k a composite number?
False
Let j(c) = -c**3 - 8*c**2 - 3*c + 13. Is j(-11) a composite number?
False
Let s be -15*(2 - (-8)/(-5)). Let g(x) be the second derivative of x**4/12 + x**3/6 + 7*x**2/2 - x. Is g(s) prime?
True
Suppose -4*h - 3*o = -1464, 4*o + 18 = 2. Suppose -5*d + h = -2*d. Is d a composite number?
True
Suppose 4*n + 0*i - 14 = i, 2*n - 4*i = 0. Let g be n/(-6) + 8/3. Is 282/4*g/3 a prime number?
True
Let d = 3 + -23. Let r = d - -39. Is r prime?
True
Let n(y) = -33*y - 4. Is n(-3) a prime number?
False
Let l(y) = y**3 - 4*y**2 - y - 7. Let r be l(7). Let v = r - 82. Is v composite?
True
Let b(t) = -253*t**3 + t**2. Let g be b(-1). Is g/3 + (-2)/(-6) prime?
False
Suppose 0 = -5*h + i + 150, -4*h + 5*i + 91 = -29. Suppose 0 = 3*y - c - 0*c - 11, 5*y - h = 4*c. Let f = y - -11. Is f composite?
False
Let m(r) = 60*r**2 + 2*r + 1. Is m(-1) prime?
True
Let l(b) = -368*b**3 - 3*b + 1. Is l(-2) prime?
False
Is (0 + 1)*(125 + 14) a prime number?
True
Let q = -98 - -165. Is q a composite number?
False
Suppose -2*p = 2*o - 1116, o + 4*p + 112 = 658. Is o composite?
True
Suppose 0 = n - 378 + 83. Is n composite?
True
Suppose 0 = -4*m + 4. Suppose -s = -4 - m. Suppose -l - 84 = -s*l. Is l a composite number?
True
Let h(t) = t - 7. Let l be h(5). Let j(y) = -5*y + 23*y**2 - 4 + 4*y + 3 + 2. Is j(l) a composite number?
True
Let a be (-18)/63 - (-4)/14. Suppose -4*c - 4*y + 12 = a, 5*c - 5*y - 26 - 9 = 0. Is (c + -6)/((-1)/37) a composite number?
False
Let p be ((-405)/(-6))/(1/2). Suppose -2*a + h + 115 = 0, 2*a - 2*h = 3*h + p. Is a a composite number?
True
Let i(a) be the second derivative of a**4/6 - a**3/2 - 3*a. Is i(-7) a prime number?
False
Suppose 94 - 15 = w. Let n = w + -2. Is n prime?
False
Suppose 0 = -m - m + 8. Suppose 4*o = -m, 5*o - 430 = -3*g - 0*g. Is g composite?
True
Let n(a) = a**2 - 2*a - 6. Suppose 2*u - 7 = 3. Let o be n(u). Is (-2 + 5)/o*129 composite?
False
Suppose 2*w + 2*w = -2*q + 330, 5*q + 5*w = 805. Is q a prime number?
True
Is 7175/28 - 3/(-4) composite?
False
Suppose 0 = -2*x - 0*x + 2*k + 12, -2*x + k = -9. Suppose 2*p = -2*d + 216, 181 = 2*p - 8*d + x*d. Is p prime?
True
Let b = 1 - 1. Let c(g) = 3*g**2 + 17 + 6*g**2 - 10*g**2 + 32. Is c(b) a prime number?
False
Let f(d) = -d - 10. Let k be 