i be c(4). Suppose -4*n = n - i. Is n a composite number?
True
Let r(u) = -u**3 + 2*u**2 + 6*u - 6. Let f(x) = x**3 - 2*x**2 - 7*x + 7. Let k(v) = 3*f(v) + 4*r(v). Let w = -29 - -26. Is k(w) composite?
True
Let u = -24 + 211. Is u prime?
False
Let i be (-16)/40*(-15)/1. Let p(z) = 20*z + 7. Is p(i) prime?
True
Let n = -2 - -4. Let v be (-3 - 1)/(n/(-22)). Suppose 2*s - v = 58. Is s a composite number?
True
Let a(v) = -v + 341. Is a(0) a composite number?
True
Let a(j) = j**3 + 3*j**2 - 6*j - 4. Let u be a(-4). Suppose u*x - 27 = 1. Is x a prime number?
True
Let j(t) = -t + 2*t**2 - 5*t**2 + 2*t**2 - 5. Let v be j(-8). Let r = -24 - v. Is r a prime number?
True
Let l(w) = w**3 - 12*w**2 + 2*w - 1. Is l(14) a composite number?
False
Let f(q) = -3*q**3 - 32*q**2 - 14*q + 1. Is f(-16) prime?
False
Let w(k) = k**2 - k + 4. Let r be w(-11). Suppose 5*o - r = 49. Is o a composite number?
False
Suppose 0 = -2*w + 9 - 1. Let q(p) = 2*p**2 + 2*p - 1. Let y(i) = -i**2 - 3*i + 2. Let a(j) = 5*q(j) + 4*y(j). Is a(w) a prime number?
False
Let r(n) = -12*n - 11. Let s(d) = -d - 1. Let z = -77 + 55. Let c(j) = z*s(j) + 2*r(j). Is c(-5) a prime number?
False
Let z(u) = 4*u + 17. Let j be z(12). Let l = 192 - j. Is l a prime number?
True
Let c(f) = f**3 - 7*f**2 - 6*f - 5. Let w be c(8). Let p = w - 4. Is p a composite number?
False
Is 8/32*(3076 + 0) a prime number?
True
Let h(f) = 11*f - 1. Let r be h(9). Let o = 241 - r. Is o prime?
False
Suppose -3*d + 22 = -a, -2*d - 2*d + 20 = a. Let x(o) be the second derivative of o**3 + 3*o**2/2 - 2*o. Is x(d) a prime number?
False
Let g(t) = 5*t**2 + 5*t - 1. Is g(5) composite?
False
Let m be (3/9)/((-1)/(-9)). Suppose 2*r + 4 = 2*g, 5*r + 0 = -m*g - 2. Is 0 + 145 + g + -1 composite?
True
Suppose 0*r - 32 = -2*r - 2*o, 5*o = 25. Let g = r - 1. Is g prime?
False
Let l = -1 + 1. Suppose -116 = -l*y - 2*y. Is y composite?
True
Let c(i) = i + 2*i - i**2 - 4 + 4 + 4*i**3 - 3. Suppose q = -2*t + 8, -4*q + 1 + 11 = -2*t. Is c(t) a composite number?
False
Let s(b) = -2*b + 2. Let r be s(2). Let d be r + 3 + -4 - -15. Let i = d - -9. Is i prime?
False
Suppose -5 = 4*s - 33. Suppose 0 = s*c - 4*c - 777. Is c a prime number?
False
Suppose 9 + 7 = 2*u. Suppose 2*l - 138 = -u. Suppose 5*s - 3*n + 5*n = l, -26 = -2*s + 5*n. Is s a composite number?
False
Let k(f) = 12*f**2 + 14*f - 18. Is k(8) prime?
False
Suppose 0 = -0*j - 2*j + 10. Suppose -j*v = 2*x - 91, v + v + 242 = 4*x. Is x prime?
False
Let b = 3 - 4. Let v be 7 + 93 - (b - -1). Suppose -z - 31 = -v. Is z a prime number?
False
Let w(v) be the second derivative of -v**5/20 + v**4/4 + 13*v**3/6 + v**2/2 + 5*v. Is w(-6) a prime number?
False
Suppose -5*d = -811 - 1074. Is d composite?
True
Let s be (-1*30)/((-8)/20). Let l = s + -36. Suppose 4*c - 52 = j, 3*c + 5 - l = 2*j. Is c a prime number?
False
Let y = 2 - -18. Suppose r + 5 = y. Is r a prime number?
False
Let o(q) be the first derivative of 20*q**2 - q - 7. Is o(5) a prime number?
True
Suppose -b = j - 4*j + 6, 0 = -5*j + 2*b + 11. Let n be (-3 - -1)/((-4)/(-10)). Is n/((-15)/198) + j prime?
True
Suppose 2*a + 3*a - 1385 = 0. Is a prime?
True
Let q(w) = -w**2 + 10*w - 11. Let j be q(8). Suppose -j*s = 9 + 51. Is 2/8 - 1929/s composite?
True
Let p(h) = h**2. Let a = 2 + 5. Suppose -a*d = -3*d - 8. Is p(d) a composite number?
True
Let c(t) = -t**3 - 10*t**2 - 10*t - 7. Let a be c(-9). Suppose -g + 804 = 3*k + a*g, -k = -g - 258. Is k a composite number?
False
Suppose -4*l = -2*l - 970. Is l composite?
True
Is 0 + 6*15/6 - 0 a composite number?
True
Is 1/(0 - (-3)/165) a composite number?
True
Let j = -3 + 4. Is ((-1)/3)/(j/(-195)) a prime number?
False
Let d be 22/6 + 2/6. Suppose 3*a + 15 = 0, 0*k + k - 22 = 4*a. Let m = k + d. Is m prime?
False
Let n = -5033 + 8662. Is n composite?
True
Suppose -u + 35 = -2*u. Let h = u - -109. Suppose -4*s = j - 67, -h = -2*j - 4*s + 52. Is j composite?
False
Let p(y) = 15*y**2 - 15*y + 58. Is p(5) prime?
False
Suppose 4*z + 2*d = -504, -4*z + 4*d = 638 - 134. Let l = z + 203. Let o = l - 46. Is o prime?
True
Let a(l) = l**2 + 11*l + 12. Let j be a(-9). Let n = -1 + 0. Is (j + n)*(-1 - 2) composite?
True
Let n(x) = 6*x + 2*x**2 - 3*x**2 + 3*x**2 - 1. Is n(-6) a composite number?
True
Let q(c) = c**2 + c + 5. Let b be q(0). Suppose 5*p = -b*d + 210, -d = -0*p + 3*p - 116. Is p a composite number?
False
Suppose -5*g + v + 3674 = -2*v, -v - 1470 = -2*g. Suppose 5*h = -2*u + 913, g = 3*h + h + 3*u. Suppose 7 = -3*i + h. Is i a composite number?
True
Let l(v) = v + 1561. Is l(0) composite?
True
Let f(y) = y**3 + 14*y**2 + 14*y - 9. Is f(-10) composite?
False
Let l(v) = -v - 6. Let s be l(-6). Let t be 0/(0 - (s - 2)). Suppose 4*x - 67 - 117 = t. Is x composite?
True
Suppose -k + 1 = -2. Suppose -k*l - 10 = -l. Let s(i) = -4*i - 6. Is s(l) prime?
False
Suppose 1070 = -0*l + 2*l. Is l a composite number?
True
Suppose 1585 = 4*b + b. Is b a prime number?
True
Let u = -8 - -12. Suppose -u*n + 0 = -16. Suppose z - n*z = -261. Is z a composite number?
True
Suppose 0 = i + p - 2*p - 76, 5*p = -15. Suppose 0 = -2*a + 6, 5*x - a + 2*a = i. Is x prime?
False
Let r = 2426 - 1213. Is r a composite number?
False
Let n(f) = f**3 - 2*f**2 + f - 4. Let m be n(6). Let h = 80 - m. Let l = h + 145. Is l a composite number?
False
Let r = -9 - -9. Is (-4 - -56)/(2 - r) a composite number?
True
Let s = 2 + 0. Suppose -q - 9 = s*q. Is q + 0 + (161 - -1) a composite number?
True
Suppose -2*n - 2*h - 16 = -3*n, 9 = -3*h. Let p = -320 + 83. Is (-2 - n/(-6))*p prime?
True
Suppose -2*c + c + 4 = 0. Suppose a + 45 = -c*a. Let y = 5 - a. Is y a prime number?
False
Let z = 1777 - 1144. Is z a composite number?
True
Suppose 744 = a - 73. Is a composite?
True
Let n = 146 + -25. Is n composite?
True
Let c = -453 - -640. Let s = c - 60. Is s a prime number?
True
Is (-32)/(-48) + (-8)/3 + 163 composite?
True
Let f(x) be the third derivative of -x**5/60 + 2*x**4/3 + 13*x**3/6 - x**2. Let g be f(9). Let h = -53 + g. Is h a prime number?
True
Let j(s) = -s - 2. Let r be j(-1). Let b(m) = 8*m**3 + m**2 + 2*m + 1. Let v be b(r). Is (10/v)/((-3)/24) prime?
False
Let k = -43 - -28. Let w be (-3)/(-2) - k/(-10). Suppose 0 = 4*o + 8, 4*m - 4*o + w*o - 64 = 0. Is m composite?
True
Let p(x) = x**2 - x. Let q be p(-1). Suppose 2*w - 6 + q = 0. Suppose 0*z = -w*z + 22. Is z composite?
False
Suppose -3*s + 1617 = -0*s. Suppose -3*f = x - 578 - s, -5*x = -2*f + 722. Is f a prime number?
False
Suppose -n - 4 = -16. Let l = n + -7. Suppose 2*i - 5*u + 8 = 24, i - l*u = 3. Is i prime?
True
Let v(z) = -z**2 + 12*z - 13. Let p be v(9). Suppose 0 = -3*g - 5*u - 6, 9*u + 9 = -2*g + 4*u. Suppose -g*n + p = -n. Is n prime?
True
Let t = 3009 + -1672. Is t prime?
False
Let u(k) = -k**2 - 1. Let c(a) = 38*a**2 + 2*a + 3. Let w(n) = c(n) + 2*u(n). Let s = 1 + -2. Is w(s) a prime number?
False
Suppose -5*n + 91 = 26. Suppose v = -0*v + n. Is v a prime number?
True
Suppose d = 1073 + 2576. Is d a composite number?
True
Let v(w) = w**3 - 5*w**2 - 4*w - 5. Let h be v(5). Let z = -23 + h. Let d = z + 113. Is d composite?
True
Let s be (-3 - -4)/(2/58). Let h be (24/(-16))/((-6)/200). Let f = h + s. Is f composite?
False
Let o(l) = l**3 + 5*l**2 + 4*l - 1. Let t be o(-4). Let b = t + 6. Suppose -2*s + 307 = b*m - 248, 0 = -4*s. Is m a composite number?
True
Is ((-3)/1 + -674)/(-1) a prime number?
True
Let m(q) = -3*q**2 - 5*q + 2. Let a(t) = -t**2. Let d(o) = 4*a(o) - m(o). Let k(g) be the first derivative of d(g). Is k(-4) a composite number?
False
Suppose 0 = -0*c + 5*c - 5*b - 120, -4*b = c + 1. Is c a prime number?
True
Let x be (1/1 - -6) + -2. Suppose 3*u = -3*j + 30, 6*j - x*u = j. Suppose -356 + 66 = -j*r. Is r a prime number?
False
Suppose 0 = p + 4*k - 31, 2*p - 2*k + 119 = 7*p. Let j = 35 + -21. Let d = p + j. Is d a prime number?
True
Let h(v) = -v**3 - 5*v**2 + 2*v - 5. Is h(-7) composite?
False
Let j = -1 - -58. Suppose j = 5*s - 108. Is s prime?
False
Suppose -5*y + k = -951, -4*y - 3*k - 2*k + 755 = 0. Is (-2 + 4)*y/4 a prime number?
False
Let u(w) = 22*w - 5. Suppose -2*l = -9 - 3. Is u(l) composite?
False
Let t = 39 + -11. Suppose 5*g + 4*u = t, 0 = -3*g + 2*u - u + 10. Suppose -g*h + 4*k = -164, -4*h + 5*k = -0*h - 168. Is h a prime n