True
Let n = 0 - -7. Let o(t) = t**3 - 7*t**2 + 6*t + 1. Is o(n) composite?
False
Suppose 3*i + 0*i = -42. Is 4/(-14) - 88/i prime?
False
Suppose 3525 = 2*v + 2*r + 801, 5*r = 5*v - 6800. Is v a prime number?
True
Suppose -3*r + 3022 = -r. Is r composite?
False
Let n(v) = 4*v + 12 + 2 - 3*v. Is n(-7) composite?
False
Let y = 81 + -47. Let f be (-6)/(-27) - y/(-9). Suppose -24 = -2*x - 3*s, f*x - 19 - 25 = -5*s. Is x a composite number?
True
Let u = 0 - -1. Let w = 19 - 17. Is ((-125)/(-10))/(u/w) a composite number?
True
Suppose -3*s - 2*s - 10 = 0. Is 0 - (-168 + 2/s) prime?
False
Suppose 0 = -3*m + m + 6. Let u be (-1 - -2)/(m/(-6)). Is ((79 - 3)/u)/(-2) composite?
False
Let r be (-1 + -2)/((-3)/118). Is (r/(-3))/(12/(-18)) composite?
False
Let h(c) = c**3 + 9*c**2 + 9*c + 10. Let k be h(-8). Let s be (-62 + 1)/(k/(-4)). Suppose -5*l - 5*a + s = -a, 36 = l - 5*a. Is l prime?
False
Let g(c) = -c**3 - 6*c**2 + c + 7. Let x be g(-6). Let t = x + 1. Is (0 - t/4)*-86 prime?
True
Let q(j) be the second derivative of -j**3/6 + 3*j**2/2 + 3*j. Let n be q(0). Suppose 2*b = -n*b + 105. Is b composite?
True
Suppose -37 - 7 = -4*n. Let j = n + -6. Suppose 5*z + j*h = 265, -2*z + 0*h + 100 = -h. Is z a prime number?
False
Suppose 4*g = g + 339. Is g a prime number?
True
Suppose 71 = 5*b - 2*u + 4*u, 4*b - 2*u = 64. Is b a composite number?
True
Let l be 3684/(-8) + 2/4. Let b = 725 + l. Is b prime?
False
Let t(q) = 45*q**3 + 2*q + 1. Let a be t(2). Let c = a + -166. Is c a prime number?
True
Let x(n) = -3*n**3 + n**2 + 3. Is x(-3) a composite number?
True
Suppose 1 = 3*w - 5. Let v(x) = w - 6 - 3*x + 2*x + 8*x**2. Is v(3) prime?
False
Let g = -2172 + 3326. Is g composite?
True
Let i be 12/(-15)*5/(-2). Suppose a - 12 + i = -3*b, 20 = 2*b - 2*a. Suppose -2*o + 45 = -b*z, -3*o - 30 = -4*o + z. Is o a composite number?
True
Let b = 803 + -408. Is b a prime number?
False
Suppose -w - 3*w + 92 = 0. Is w a prime number?
True
Suppose 2*c = l - 0*c - 9, -9 = 2*l + 5*c. Suppose l*r = -1 - 2. Is (33/(-6))/(r/14) prime?
False
Let j(b) = -b + 1. Let h(s) = -4*s - 11. Let o(v) = -h(v) + 2*j(v). Let y be o(10). Let t = 22 + y. Is t composite?
True
Suppose -4*o = -45 - 123. Let w = -11 + o. Is w a prime number?
True
Let d = -350 + 945. Let n = 888 - d. Is n composite?
False
Let f be (1 + 0)/((-2)/(-4)). Suppose 3*r + f*r = 1055. Is r composite?
False
Let s(n) = -61*n - 3. Let k be s(3). Let p = k + 112. Let j = p + 127. Is j prime?
True
Suppose -4*y - n = -450, 2*n - 448 = -y - 3*y. Let b = y - 73. Let s = b - 9. Is s a prime number?
True
Let u(n) be the first derivative of -n**5/20 + n**4/24 - 2*n**3/3 + 1. Let i(t) be the third derivative of u(t). Is i(-1) prime?
True
Suppose 754 = 2*k - q, 4*q - 1149 = -3*k + q. Is k a composite number?
False
Let p = -790 - -1148. Suppose 3*m = 5*x - p, 3*x + 6*m - 2*m - 238 = 0. Is x a prime number?
False
Let r(k) = -k**2 + 11*k - 13. Let o be r(9). Suppose -7*s + 575 = -2*s - o*u, -5*s - 4*u + 539 = 0. Let p = s - 77. Is p a prime number?
False
Let c(n) = -2 + 3 + 22*n**2 - 6*n + n + 6*n. Is c(-1) composite?
True
Let u = -162 + 277. Is u a prime number?
False
Let x(b) = 24*b - 13. Let p be x(-12). Let w = p + 560. Is w a prime number?
False
Suppose 8*h + 518 - 2526 = 0. Is h a prime number?
True
Suppose -4*m - 4 = -3*q, 0 = 5*m - 0*q - 4*q + 6. Is ((-1)/m)/(11/(-748)) a prime number?
False
Let s = 130 + -56. Is s composite?
True
Let o(m) be the third derivative of 7*m**4/8 + m**3/3 - m**2. Suppose 0*z - 13 = -3*q - 4*z, -5 = -3*q + 4*z. Is o(q) a prime number?
False
Suppose 0 = -0*r - 5*r - 50. Let u = 15 + r. Suppose u*a = -259 + 1434. Is a composite?
True
Let d be (-6)/(-30) - (-1)/(-5). Suppose -4*m + d*m = -60. Is m composite?
True
Suppose -71*o + 70*o = -1361. Is o a composite number?
False
Let g(l) be the second derivative of l**6/90 - l**5/24 - l**3/6 - 2*l. Let m(f) be the second derivative of g(f). Is m(7) prime?
False
Let c(w) = 294*w**2 - 1. Suppose x - 1 = 2. Suppose 6*t = 3*t + x. Is c(t) composite?
False
Suppose 10*b - 7554 = 4*b. Is b prime?
True
Let d = -1 + -3. Let h = 7 - 3. Is d + h + 8 + -1 prime?
True
Let t = 7 + -5. Suppose 4*a - 12 = -b, -5*b - 4*a + 6*a + 16 = 0. Is 31 + (t - b/2) a composite number?
False
Let v(b) = b**2 - 11*b + 23. Is v(11) a prime number?
True
Let t(h) be the third derivative of 0*h + 0 - 1/60*h**5 + 11/6*h**3 - 3*h**2 - 5/12*h**4. Is t(-10) composite?
False
Let x(v) = -105*v + 1. Is x(-2) composite?
False
Let l(w) = w**3 - 7*w**2 + w - 3. Let n be l(7). Let h be 123 - (0 - 2 - 0). Suppose q = -n*q + h. Is q a composite number?
True
Let h be 0 - 0/(1 + -2). Let k(w) = -w + 8. Let j be k(h). Suppose 0*p - 2*p = 5*a - j, p - a = 11. Is p a composite number?
True
Suppose v = 4*s - 319, -4*v = -v + 9. Is 1/((2/s)/2) composite?
False
Let n(t) = 3*t**2. Let p be n(1). Suppose 8*q - p*q = 0. Is -1 - (-32)/2 - q prime?
False
Let u(o) = -o**2 - 4*o + 4. Let q be u(-4). Suppose q*t - 3*t = -2, m + 2*t - 35 = 0. Is m composite?
True
Let m be 0/(0 + 1 + 1). Suppose -2*x - 12 = -m*x. Is 2908/6 - 2/x a composite number?
True
Is (-4948)/(-12) + 4/6 a composite number?
True
Let x = -15 + 1. Let o(m) = -m**3 - 8*m**2 + 20*m - 1. Is o(x) prime?
False
Suppose -45*a + 46*a - 1657 = 0. Is a prime?
True
Let w = 13 + -15. Let x(d) = 3 + 12*d**2 + 23*d**2 + 4*d + 22*d**2. Is x(w) a composite number?
False
Let z(d) = d**2 + 11*d + 2. Let m(p) = -p**2 + 6*p - 7. Let l be m(5). Let n(g) = -g**2 - 12*g - 2. Let b(y) = l*n(y) - 3*z(y). Is b(-8) prime?
False
Suppose 2*i - 9*i + 6349 = 0. Is i composite?
False
Let u = 1877 + -1320. Is u prime?
True
Let a(c) = 310*c**2 - c. Is a(-1) a composite number?
False
Let s(l) be the third derivative of l**7/315 + l**6/720 - l**5/60 - 2*l**2. Let i(t) be the third derivative of s(t). Is i(6) composite?
False
Is 5/(20/1184) + -3 a composite number?
False
Let f = -15 - -21. Let x(o) = -1 + 5 - 3 + f*o**2. Is x(-2) a composite number?
True
Let d(u) be the first derivative of 7*u**6/360 + u**5/24 - 7*u**4/24 - 2*u**3/3 - 1. Let l(t) be the third derivative of d(t). Is l(-6) composite?
True
Let q(u) = 42*u**2 - 3*u + 1. Is q(2) prime?
True
Suppose 4*o = 6*o, -177 = 3*j - 2*o. Is -1 + (-1 + 0 - j) composite?
True
Let z(y) = y**2 + 11*y + 16. Let q be z(11). Let r = q - 101. Is r composite?
False
Suppose 957 = -0*x + x + k, 4*k = 8. Is x composite?
True
Let j(r) = -r**2 + 7*r - 2. Let u be j(6). Suppose 3*q - 205 = -4*t, u*t - 90 - 150 = 4*q. Is t a prime number?
False
Let l(q) be the second derivative of q**4/4 + q**3 + q**2 - 4*q. Is l(6) a prime number?
False
Let u(w) = -4*w**2 - 2*w - 3. Let l be u(7). Let s = 358 + l. Is s prime?
False
Suppose 8 = -2*y, -2*y - 112 = -5*t + t. Is t prime?
False
Suppose -4*p + 246 = -0*p + 2*k, 0 = 3*k - 3. Let x(i) = -8*i**3 - 2*i**2 + 3*i + 3. Let n be x(-2). Suppose p = 3*o - n. Is o composite?
True
Let q(m) = 17*m**2 + 5*m - 10. Let l be q(-6). Suppose -4*t + 92 = -l. Is t prime?
False
Suppose -4*v = -5*t - 1469 - 556, -5*v + t + 2526 = 0. Is v composite?
True
Let z = 19 - 23. Let o be -1*6 + (-3 - -1). Is (-108)/o - 2/z composite?
True
Let v(m) be the second derivative of m**3/2 - 3*m**2/2 - 2*m. Is v(4) composite?
True
Let y(h) be the second derivative of -h**5/20 - h**4/12 + 7*h**3/6 + 7*h**2/2 + 6*h. Is y(-6) composite?
True
Suppose x = -4*x + 265. Is x a prime number?
True
Suppose -4*q - 3*v + 5*v + 138 = 0, 0 = -v + 3. Suppose 0 = p + 3*p - q. Suppose -w + 4*a + a = p, 0 = -5*w + 4*a + 18. Is w prime?
False
Let j(u) = 4*u**2 + u. Let k be j(1). Suppose -4*i - 4*s = -3*s - 139, k*s - 65 = -2*i. Is i prime?
False
Let h = 365 - 1407. Is h*(-1 + 4)/(-6) a composite number?
False
Suppose 0 = -2*o + 6, x + 2*o = 250 + 247. Is x a composite number?
False
Suppose r + 11 = 32. Suppose 7*p - 4*p - r = 0. Suppose -p = 5*n - 22, -5*n = 2*l - 83. Is l a composite number?
True
Let m(k) = -2*k + 14. Let n be m(6). Suppose 2*l = l + n, -4*q + 5*l + 138 = 0. Is q composite?
False
Let u(x) = -77*x. Suppose -5*g = -1 - 4. Let a = g - 2. Is u(a) composite?
True
Let u(t) = -11*t + 0 - 2 + 0 - 2. Let f(o) = -5*o - 2. Let x(q) = -10*f(q) + 4*u(q). Is x(3) prime?
False
Let m(h) = 14*h**2 + 1. Let v(a) = -a - 2. Let o be v(0). Is m(o) composite?
True
Let z =