((-2)/(-70)). Let x = r + 0. Is x composite?
True
Let k be (3 - (-18)/(-3)) + 43. Let c = -21 + k. Is c prime?
True
Suppose 5*n + 6 + 19 = 0. Let r = n + 8. Suppose -r*x + 27 = -0*x. Is x composite?
True
Let g(l) = -2*l**3 + 10*l**2 - 2*l + 17. Is g(-10) a composite number?
False
Let s(l) = -l**3 - l**2 + 3*l + 3. Let f be (-2)/7 + 12/(-7). Let k be s(f). Let g(p) = 12*p - 1. Is g(k) prime?
True
Let i = 443 + -234. Is i composite?
True
Suppose 2*y = -4*a + 938, y + 3*y + 5*a - 1879 = 0. Is y composite?
True
Suppose 2*q + q = 3, 4*z - 5*q = 615. Suppose r - 2*r = -z. Is r a composite number?
True
Let r(m) = 46*m - 1. Let k be r(1). Is (10/3)/(10/k) prime?
False
Suppose -1401 - 1994 = -5*b. Is b a composite number?
True
Let x = 35 + -25. Suppose -m + p + 6 = m, 3*m - p = x. Let r(c) = 43*c**2 - c - 5. Is r(m) a prime number?
False
Let l = -3 - -6. Suppose l*n - 7 = -y, -4*n = -3*y - 18 - 13. Let k = y + 15. Is k composite?
True
Let f = 323 + -114. Is f a composite number?
True
Let f(l) = l + 321. Is f(0) a composite number?
True
Let t(i) = i**2 + i + 353. Is t(0) a composite number?
False
Suppose 3*t + p + 11 = 5*p, -2*t - p - 11 = 0. Let v(n) = -7 + 2*n**3 + 4*n + 0*n**3 - 3*n**3 + 2 - 3*n**2. Is v(t) prime?
False
Let m = -3 + -1. Let u be 4/(-6) + m/(-6). Suppose 5*t - 17 - 13 = u. Is t prime?
False
Let i(x) = -2*x - 2. Let b(o) = 5 + 1 - 2*o - 1. Let p be b(4). Is i(p) prime?
False
Suppose -5*j + 38 = -52. Let t = j + 95. Is t prime?
True
Suppose 4*m - k - 66 = 49, 5*m + 4*k - 170 = 0. Suppose 3*v + m = j, -70 = -4*j + 2*v - 0*v. Is -3*1*j/(-3) a prime number?
False
Let w(o) be the second derivative of -23*o**3/3 - 7*o**2/2 - 6*o. Is w(-5) composite?
False
Is 9/(-18) - (-854)/4 composite?
True
Let a(q) be the first derivative of -35*q**2/2 - 2. Let w be a(-4). Let c = w - 51. Is c a prime number?
True
Let h be (-9)/((-2)/8*6). Is h/21 - 677/(-7) a prime number?
True
Let a be (4 - -1*2) + -1. Let o = -18 + 30. Let c = o - a. Is c prime?
True
Suppose 0 = 4*m - 5 - 11. Suppose -3*t + 8*t = o + 4, -5*o = -4*t - 43. Let c = o + m. Is c a composite number?
True
Let p = 650 - -465. Is p composite?
True
Let t = -1 - -3. Let c be (-1)/(-6)*t*6. Suppose -c*g + g + 97 = 0. Is g a prime number?
True
Let l be 6/15 - (-6)/10. Let w be (-26)/(-4) - l/2. Is (-3)/(-9) + 280/w prime?
True
Let i(g) be the second derivative of 5*g**4/6 + g**3/6 - 2*g**2 + 2*g. Let d(c) = -c**3 - c**2 - 1. Let k be d(-2). Is i(k) prime?
True
Is (-7294)/(-4) - 1/2 prime?
True
Is ((-542)/(-4))/(2/4) a composite number?
False
Is (15/6)/(3/582) a composite number?
True
Let q(b) = b + 8. Let w be q(-6). Is 286 + (w - (-2 - -3)) prime?
False
Suppose -j - 4*b = -2*j - 15, 0 = -b + 4. Let n = -5 + j. Let k(a) = -11*a - 5. Is k(n) prime?
False
Suppose q + 4*p + p - 14 = 0, -2 = -q + p. Suppose r + q*k = k + 70, -5*r - 3*k + 290 = 0. Is r composite?
True
Suppose -2*f = 5*k - 447, 3*f = 2*f - 5*k + 216. Suppose -5*b + 2*b + f = 0. Is b prime?
False
Let o(a) = 2*a**2 - 4. Is o(-9) prime?
False
Let u(a) = 41*a + 5. Is u(6) prime?
True
Let f(s) = s**3 - 8*s**2 + 7*s - 5. Let q(a) = 4*a + 1. Let n be q(1). Let h be f(n). Let w = h + 82. Is w a prime number?
True
Is (-27 - 24/(-4))*358/(-6) composite?
True
Let f = -1 + 6. Suppose -f*n - 22 = -157. Suppose -86 = -x + n. Is x prime?
True
Let o be ((-7)/(-1))/(1/47). Let t = o - 216. Is t composite?
False
Let f(g) = 109*g - 14. Let r be f(11). Suppose -4*a + r = a. Suppose -m = 2*m - a. Is m a composite number?
False
Suppose 2*a = -2*q + 46, -4*a + 59 = 3*q + a. Suppose -q + 9 = -x. Is x prime?
True
Let k(b) = b**2 - 10*b + 7. Let n be k(8). Let r(p) be the second derivative of p**5/20 + 3*p**4/4 - 5*p**3/6 + 4*p**2 - p. Is r(n) a composite number?
False
Suppose 11*o - 9*o = 3122. Is o a composite number?
True
Let m = 2 + 0. Suppose -5*r + 10 = -4*r - m*z, -3*r + 40 = 4*z. Let d = 33 - r. Is d composite?
True
Let m be 2/5 + (-1719)/(-15). Suppose g = -1 + 2, -g + m = 2*v. Let p = v + -34. Is p composite?
False
Let q = 22 - 20. Is q*9/(-6) + 100 a composite number?
False
Suppose -2*y + 6 = -0. Suppose 0 = m + y*m - 484. Is m a composite number?
True
Let m(b) = b**3 - 7*b**2 + 7*b - 6. Let x be m(6). Suppose x*q - 28 = -3*f - q, 0 = -4*f - 5*q + 19. Is f - (0/(-1))/(-2) a prime number?
True
Suppose 2*t = q + 3318, 3*t = 3*q - 6*q + 4959. Is t composite?
False
Let i be (-2)/(-5) - (-13)/5. Suppose -h - 257 = -i*w + 3*h, 2*w - 2*h - 168 = 0. Is w composite?
False
Let u(r) = 2*r**3 - 2*r**2 + 3*r. Is u(2) composite?
True
Let t(c) = 3*c**2 + 1. Let j be t(-1). Suppose -2*z - 4*n + 2 = 0, -5*z - n + 30 = j*n. Is z composite?
False
Suppose -3*j - 80 = y, 5*j - 78 + 212 = -2*y. Is (j/3)/(2/(-21)) prime?
False
Suppose -x - 4083 = -4*x. Is x prime?
True
Suppose -2*r = -4*f - 818, -r = 3*f - 4*f - 203. Let w = f + 550. Suppose 3*u = -0*u - h + 263, -4*u = 3*h - w. Is u a composite number?
False
Let m(j) be the first derivative of j**5/20 + j**4/12 + 3*j**2/2 - 2*j - 1. Let z(b) be the first derivative of m(b). Is z(0) composite?
False
Let j(h) be the first derivative of h**3/3 + 35*h - 6. Is j(0) a prime number?
False
Let p be 396/(-4)*1*-1. Suppose 104 = 3*g - 0*y - 2*y, -3*y - p = -3*g. Let t = -17 + g. Is t a prime number?
False
Let i be (1 - -1)/1 - -5. Is i/14 + (-58)/(-4) prime?
False
Suppose -3*j + 7*j + 8 = 0. Let d = j - -13. Is d a prime number?
True
Let u be (-3)/12 + 4474/8. Suppose 3*n - s - u = -0*n, -n = s - 189. Is n prime?
False
Let h(i) = i. Let v be h(-4). Let m be (3/v)/((-3)/(-72)). Let t = 28 + m. Is t a composite number?
True
Suppose -3*v + 2*o = 5 + 39, 2*o = -3*v - 64. Is 1502/6 + (-12)/v a prime number?
True
Let r(f) = 12*f + 5. Suppose -5*p + t + 15 = 0, 16 = 5*p - 2*t + 1. Suppose -15 = 5*v, -4*v - 27 = -p*b - 2*v. Is r(b) composite?
False
Let a = -10 - -14. Let u = -129 + 196. Suppose a*o - 33 = u. Is o a prime number?
False
Let j(r) = 7*r - 12. Let f(q) = -3*q + 6. Let x(i) = -5*f(i) - 2*j(i). Suppose 0*d - o - 14 = -d, o = -5. Is x(d) composite?
False
Let j(r) = 11*r - 4. Let k be j(3). Is (k/2)/((-5)/(-70)) a prime number?
False
Suppose 2*j = -2*o + j + 50, -5*j = o - 7. Let t = o + -16. Is t prime?
True
Let i(x) = 4*x**2 - 11*x - 6. Let v be i(9). Let g = v + -92. Is g a composite number?
False
Let y(i) = -i. Let s be y(-4). Let v = 11 - 14. Is ((-26)/s)/(v/6) prime?
True
Suppose 2*b = -5 - 3. Let d(o) = o**3 - 4*o**2 + 2. Let y be d(b). Is 2*(-1)/(-2) - y a composite number?
False
Let g = -34 - -56. Let d = g - 11. Is d a composite number?
False
Let p = 376 - -70. Is p prime?
False
Suppose 4*t = 2*b + t - 121, 3*b - 134 = -5*t. Is b prime?
True
Let n(u) be the first derivative of -u**4/4 - u**3/3 - 2*u**2 + u - 1. Is n(-3) a composite number?
False
Let m = -1213 - -2498. Suppose -15*z = -10*z - m. Is z a prime number?
True
Let p be ((-22)/(-33))/(1/3). Is -2*p/8*-142 a prime number?
True
Let a = -6 + 10. Suppose -s = a*s - 220. Suppose 0 = o + o - s. Is o prime?
False
Suppose 0 = m - 4*s - 160 + 29, -4*m + 4*s + 512 = 0. Is m prime?
True
Let z = -22 + 40. Let r = -21 - -34. Let q = z + r. Is q a composite number?
False
Let q(c) = -c**3 - 5*c**2 + 6*c - 5. Let z be q(-6). Is ((-5)/z)/((-1)/(-7)) composite?
False
Let c(r) = -4*r**3 - 12*r**2 + 6*r - 7 - 5 + 3*r**3. Is c(-13) prime?
True
Let z = 17 + -44. Let c be (-184)/6*6/(-2). Let i = z + c. Is i a composite number?
True
Suppose -g + 21 + 34 = 0. Let s = 90 - g. Is s a prime number?
False
Suppose d + 60 = 4*a - 3*d, -5*a + 2*d = -87. Is a a prime number?
True
Suppose 16*j = 21*j - 120. Let o = 79 + j. Is o prime?
True
Let n(p) = 10*p - 3. Suppose -2*w = -7*w + 20. Let a = w - 0. Is n(a) prime?
True
Suppose 0 = p - 5*w - 22, -2 - 87 = -2*p - 5*w. Is p prime?
True
Let h(x) = 2 + 2 + 19*x**2 + 10*x**2 - 4*x. Is h(5) prime?
True
Let i(z) = -z + 5. Let m be i(3). Suppose 3460 = -m*b + 6*b. Is b composite?
True
Let t(g) = g**2 - 9*g + 8. Let u be t(8). Suppose 14 = -3*k + 4*f - 18, u = 3*k + 2*f + 2. Is (k/(-6))/(-2)*-147 prime?
False
Suppose -c = u + 2, 2*c - 17 - 7 = 5*u. Is (93/6)/((-2)/u) a composite number?
False
Let u be 20/8*6/5. Let t be u/((-15)/(-6) + -1). Suppose 4*a - 122 = -2*v, -7*a + t*a = -20. Is v prime?
True
Let c(k) be the first derivative of 1/2*k**4 - 1/3*