8 a prime number?
True
Let f be -2 + (618/3 - -2). Let t = f - 2495. Is (-1)/2 - t/14 prime?
True
Let b = -27 - -67. Suppose 4*o - 3*o - b = 0. Let f = 123 + o. Is f prime?
True
Let r = 1 - 1. Suppose -16 = -5*y + 5*c - 3*c, r = -y - 2*c - 4. Is 0 + y - 37/(-1) prime?
False
Let s = 2359 + -1388. Is s prime?
True
Is (13 - 2)*11 - 2 composite?
True
Let z = -1713 + 2962. Is z a composite number?
False
Suppose -3*a = -4*a + 67. Suppose -a = -4*y + 121. Is y composite?
False
Let r be (-2)/6*(-2 + -10). Suppose -4*v + 4 = -r. Is v prime?
True
Let w = -1 + 3. Let o(j) = -j**w - 3*j + 2*j + 9 + 2*j. Is o(0) prime?
False
Suppose -3*z = -2*z - 40. Let p = z - 98. Let d = -35 - p. Is d a composite number?
False
Let k(z) = z**2 - 9*z + 17. Let v be k(12). Let s be 2/4 + 4/8. Is -2 - (-2*s - v) a composite number?
False
Let b = -7 + 5. Let i(w) = -5*w**3 + 3*w**2 + w + 1. Is i(b) a composite number?
True
Let m(d) = -d - 1. Let z(q) = -54*q + 15. Let y(f) = -18*m(f) - z(f). Is y(4) a composite number?
True
Let r(u) = u**3 + 9*u**2 + 5*u - 2. Is r(-8) prime?
False
Let f(c) = 3*c**3 + 6*c**2 + 2*c + 2. Is f(5) prime?
False
Let s = 3 - -3. Is (-2)/(-6)*7*s a composite number?
True
Let i(p) = 270*p - 1. Is i(1) a prime number?
True
Suppose -2 - 229 = 3*z. Let n = z - -110. Is n a prime number?
False
Is (2 - 21/(-6))*158 a prime number?
False
Suppose 2*g - 891 = -b, 0 = 3*g - 4*g - 4*b + 463. Is g composite?
False
Let d(c) = c**3 + 3*c**2 - 5*c - 2. Let a be d(-4). Let v(w) = 5*w**3 - 3*w**2 + 5. Let o be v(5). Suppose -u = a*u - o. Is u a composite number?
True
Let d be (-15)/(-6)*(-24)/2. Let x = d - -44. Is x composite?
True
Suppose 3*d = 4019 + 772. Is d composite?
False
Let l(j) = j**3 + 4*j**2 + 4*j + 3. Let a be l(-2). Is (6 - a)*762/9 a prime number?
False
Let y(d) = -d**3 + 6*d**2 - 4*d + 1. Let q be y(5). Suppose 0 = q*a - 8*a + 182. Is a a prime number?
False
Let c(k) = 9*k**2 - k + 1. Let o be c(1). Suppose 0*a - a = o. Is 3/a + 43/3 prime?
False
Suppose -5*r + 4 = -1. Let l(m) be the third derivative of 7*m**5/30 + m**4/24 + 10*m**2. Is l(r) prime?
False
Suppose 4*t - 2900 = 1344. Is t composite?
False
Suppose 14 + 11 = -2*o - 5*a, o = -3*a - 15. Suppose 3*i = 2*t - 114, 5*t - 2*i - 263 = -o*i. Is t prime?
False
Let y(u) = 63*u**3 + u**2 + 4*u - 7. Is y(2) prime?
True
Suppose -2*j = -j. Suppose 0 = 2*n - 5*w + 265, j*w = -2*n - 4*w - 292. Is (n/16)/(2/(-8)) composite?
True
Suppose -20059 = -3*y - 10*y. Is y composite?
False
Is 2/6 - (-2905)/15 prime?
False
Suppose -2 = k - 4. Let l(j) = 74*j**2 + 2*j - 5. Is l(k) a composite number?
True
Let r = -24 + 199. Let u = -98 + r. Is u prime?
False
Let j(h) = -h**3 + 2*h**2 + 6*h - 5. Is j(-8) prime?
True
Let x be ((-6)/(-4))/(3/(-570)). Let m = -129 - x. Suppose -3*o - 3*g + m - 18 = 0, 3*g - 232 = -5*o. Is o prime?
True
Let i be 6/(-4)*20/(-2). Let u = i - 43. Let c = u - -42. Is c prime?
False
Let f(a) = a**2 - 12*a - 3. Let z(w) = -w**2 - 4*w - 1. Let m be z(-3). Suppose -m*l = 5*h + 26, -2*h + 22 = -3*l + 2. Is f(l) a prime number?
True
Let a(g) = -g**3 + 5*g**2 - 3*g + 1. Let y be a(4). Suppose 3*s + y = -c, -2*c + s + 9 = -2. Suppose 3*j = c*b - 9, b + 9 = 4*j - 5. Is b composite?
True
Suppose -q + 8 = 2*t, 2*t + q + 7 = 5*t. Let a(j) = -3*j - 4. Let p be a(t). Let u = p + 23. Is u a composite number?
True
Let n(t) = 13*t**2 + 1. Let r(x) = -x + 1. Let y(z) = n(z) - 4*r(z). Let c be y(5). Is ((-1)/(-2))/(3/c) a prime number?
False
Let v(m) = -m**3 + 4*m**2 - 3*m + 1. Let x be v(2). Let y(w) = 24*w**3 - 3*w**2 + 3*w + 1. Is y(x) composite?
False
Let a be -5 + (-2)/(2 - 4). Is 1*2/(a/(-102)) composite?
True
Suppose -19 = -5*n - 3*a, -n = -4*n + 4*a - 6. Suppose -n*u - 2*u + 10 = -5*z, 5*z + 10 = -u. Suppose u = s - 13 - 18. Is s a composite number?
False
Suppose -3*x + 18 = -0*x. Let p = -7 + x. Is (p/(-3))/((-11)/(-3729)) composite?
False
Suppose 4 = -2*z + z. Is (z*4)/4 + 237 a composite number?
False
Suppose 5*d = 2*j + 450, -4*d + 9*d - 1155 = 5*j. Is j/(-3) + (-6)/(-9) a prime number?
True
Let s = -18 + 3. Let n be 5/s + (-16)/6. Is (-4)/6 + (-113)/n a composite number?
False
Let v(g) = g - 5*g**3 - 2 + g + 3*g - 3*g**2 + 6*g**3. Is v(4) prime?
False
Suppose 0 = 5*a - 4*c - 70 - 89, -4*a = 3*c - 121. Is a prime?
True
Let w(h) = h + 3. Let n be w(4). Suppose 5*q - 14 = -3*r, 2*q - 4*q - n = -3*r. Suppose -2*f + 19 = 2*p - 1, 3*f - r*p = 36. Is f a composite number?
False
Suppose 4*t - 1051 = -0*t - 5*y, 3*y - 9 = 0. Is t composite?
True
Let s(b) = -23*b + 8. Let z be s(-10). Let t = z - 169. Is t prime?
False
Let i = 183 - -338. Is i a composite number?
False
Let b be 1/((-3)/(-375) + 0). Let c be 3/6*(-1 + b). Suppose -2*s + c = -3*x + 7*x, 5*x - 165 = -5*s. Is s a prime number?
False
Let j = 279 + -716. Let n = j - -628. Is n prime?
True
Let j(f) be the first derivative of 3 - 5*f + 7/2*f**2 - 2/3*f**3 + 1/4*f**4. Is j(4) prime?
False
Let g = -7 + 18. Suppose 2 = -3*q + g. Is q composite?
False
Let c(w) = 4*w**2 + 2*w - 7. Let s = -7 + 13. Is c(s) a composite number?
False
Let s be ((-363)/6 - 3)*-2. Is (-8 - -9)*1*s composite?
False
Let s be 6/21 + (-23)/7. Let r(t) = -t**3 - 3*t**2 - 2*t - 2. Let g be r(s). Suppose -3*u = -g*m - 0 - 187, m - 350 = -5*u. Is u prime?
False
Is (1 + 22)*(1 - -12) prime?
False
Let f = 6201 + -4300. Is f prime?
True
Let n(d) be the first derivative of 1/2*d**2 + 0*d + 1 + 265/4*d**4 - 1/3*d**3. Is n(1) a prime number?
False
Suppose 6*d = 3*d + 471. Let m = d - -54. Is m a composite number?
False
Let t(h) be the second derivative of 5/12*h**4 - 1/20*h**5 - h + 0 + 5/3*h**3 - 9/2*h**2. Is t(6) a prime number?
False
Suppose -m - 2*p = -762, 3*p + 5 = -2*p. Let r = m - 507. Is r a composite number?
False
Let c(p) = 0*p**2 - 2*p + 4*p**3 + 3 + p**2 + 0. Let k be c(2). Let i = 58 - k. Is i a prime number?
True
Is (-2)/(-9) - (-2894)/18 a composite number?
True
Let k(a) = -42*a + 1. Let f be (4/(-12))/(1/6). Is k(f) composite?
True
Let i = 175 + -98. Is i composite?
True
Let q = -57 + 106. Is q a prime number?
False
Is (14/(-4))/((-5)/190) a prime number?
False
Let l(k) = -k**3 + 7*k**2 - 4*k + 1. Let p be l(3). Let i = p - 46. Let m = -10 - i. Is m prime?
True
Let v(n) = -n**2 + 4*n + 5. Let q be v(5). Let r(i) = i**2 - i + 55. Is r(q) a composite number?
True
Suppose -1164 - 98 = -2*p. Is p a prime number?
True
Let k(n) be the first derivative of 13*n**3/3 - 2*n - 2. Let p be k(2). Let a = p + -29. Is a a prime number?
False
Let v(d) = -d - 6. Let z be v(-7). Let t be (-2)/(-2*z/(-124)). Let r = 209 + t. Is r composite?
True
Let n(t) = 69*t**2 - 6*t + 12. Is n(5) composite?
True
Is 1 - (0 + (-162 - -4)) - 1 prime?
False
Let t = 33 + -33. Suppose 0 = 4*f + g - 9, -3*f + 0*f = 2*g - 3. Suppose -2*w - 3*y + 62 = -t*y, -93 = -f*w - 4*y. Is w a composite number?
False
Suppose 16 + 5 = -2*s + 5*h, h - 5 = 0. Suppose -w - 184 = -2*w + 5*o, -5*o + 770 = 5*w. Suppose -p - s*p = -w. Is p prime?
True
Is 1 - (-3 - (-40)/(-4)) a prime number?
False
Let t(k) = 13*k**3 + k**2 - 2*k + 1. Let s(r) = r - 2. Let w be s(3). Is t(w) a composite number?
False
Let o be ((-7866)/95)/(2/(-10)). Suppose -2*c + 748 + o = 0. Is c composite?
True
Suppose 0 = x + l - 0 - 3, 3*l - 21 = 3*x. Is (-601)/(-9) + x/(-9) a prime number?
True
Suppose -y - 3*d = -196, 0*y + 5*y + 4*d - 1035 = 0. Is y composite?
False
Suppose 0 = -m - m + 68. Let u = m - -3. Is u a prime number?
True
Let d be ((-15)/10)/((-3)/4). Suppose 2*q - 7*q = 5*g, -5*g - 2*q + 9 = 0. Suppose g*n - 30 - 60 = 5*z, -d*n - z + 47 = 0. Is n composite?
True
Suppose 17 = -3*r - r - v, -5*r - 5*v - 40 = 0. Suppose 3*z - 4*c - 23 = 0, -4*c = -5*z + 4*z + 21. Is 163 - 0/r*z composite?
False
Let q be (-2)/1*11/2. Let l be 2/q + 666/33. Let x = l - 13. Is x a prime number?
True
Suppose -2*i = -3*i - 3. Let a be 0*1/i + 1. Is (1 - a) + -5 + 36 composite?
False
Let i be 11*(3 + 1 + -3). Let n(t) = 7*t - 10. Is n(i) prime?
True
Let q = 162 - 39. Is q a composite number?
True
Let v(q) be the second derivative of 61*q**5/20 - q**4/6 - q**3/6 + q**2/2 - 9*q. Is v(2) composite?
False
Is -2 + (-90875)/(-30) + 2/(-12) prime?
False
Let s(x) = 2*x - 4*x**2 - 5 - x**2 + 6*x**2 + 4*x**2. Is s(-4) a composite number?
False
Let q(s) = 2*s**2 - 4*s + 4. Let f b