, -5*o - 800 = 5*u - 10*u. Is u a prime number?
False
Suppose -f - 5*o + 1 = 3, 34 = -2*f + 5*o. Let l be (-16)/f*3/2. Is 42 - (0 + l - -1) composite?
True
Suppose 0 = -2*z - 3*a + 2, -3*z + 3*a + 2 = -z. Let h be 5/(-15)*(-7 + z). Suppose 0 = -3*i - h*p + p + 55, 6 = -3*p. Is i a composite number?
False
Let y(c) = -1150*c**3 - 2*c - 1. Is y(-1) prime?
True
Let g = 2450 - 1459. Is g composite?
False
Suppose 5*r + 5 - 20 = 0. Is (-72)/16*(-58)/r a composite number?
True
Suppose -h - 3*h = -8780. Is h prime?
False
Is (-1)/((-4)/392) + -1 composite?
False
Let y(v) = -v**3 - 5*v**2 + 11*v + 6. Let w(g) = g**2 - g + 1. Let k(d) = w(d) + y(d). Suppose -2*b - 6 = 6. Is k(b) a prime number?
True
Let r(l) = 1 - 1 + 146*l - 1 + 2. Let m be r(3). Suppose -3*v = 2*v - 2*b - m, 2*b - 95 = -v. Is v composite?
False
Suppose -3*w = -1184 - 43. Is w prime?
True
Let r(m) = -1. Let j(n) = 3*n - 2. Let h(p) = -j(p) + 5*r(p). Is h(-14) a composite number?
True
Suppose 5 = 3*i - 7. Suppose -i*f + 440 = -52. Let h = 172 - f. Is h a composite number?
True
Let s(y) = -y**3 + 7*y**2 - 7. Is s(5) a prime number?
True
Suppose 98 = j + a, -j - a + 3*a + 95 = 0. Is j prime?
True
Suppose -20 = -2*p - 4*f, 2*p - 2*f + 1 + 3 = 0. Suppose -2*c = -5*k + p*k + 209, k - 3*c = 79. Is k composite?
False
Let q be 14/6 + (-4)/12. Suppose -109 + 11 = -2*b - 2*k, -q*k = -b + 40. Is b a prime number?
False
Let p = -353 + 502. Is p prime?
True
Let w(m) = m**3 - 3*m**2 - 2*m - 2. Let y be w(-3). Let p = 141 + y. Is p a composite number?
True
Let n(a) = -9*a - 2. Let o(d) = d. Let q(p) = n(p) + o(p). Let h be q(-6). Let r = h + 115. Is r composite?
True
Is (-22)/(-77) - 12927/(-7) a prime number?
True
Let s(x) = x**3 + 5*x**2 - x + 2. Let j be s(-5). Let l be 7/((-14)/4) + j. Suppose 2*t + 0*t = l*p - 579, 4*p - 5*t - 470 = 0. Is p a composite number?
True
Let h = -167 - -344. Is h prime?
False
Suppose 15*w - 18*w + 2850 = 0. Suppose j - w = -4*j + 5*l, 3*l + 761 = 4*j. Is j composite?
False
Is 2 + 6227/4 + (-1)/(-4) a composite number?
False
Let k = 9 - 6. Let a(i) = i**3 - 2*i**2 - 2*i - 3. Let r be a(k). Suppose n = -r*n + 35. Is n prime?
False
Suppose 3*k + 4 = -4*m + 3, 4*k = 5*m + 40. Suppose -2*y = -2, 3*q - k*y = -3*y + 613. Is q a prime number?
False
Suppose -q - 48 = 3*q. Suppose -45 = -5*w + 80. Let b = q + w. Is b a composite number?
False
Let d = -579 + 2176. Is d a composite number?
False
Suppose 0 = 3*j + 3*j + 18. Let a(u) = 7*u**2 - 2*u. Is a(j) a prime number?
False
Suppose 7*o - 12*o = 0. Suppose o = 3*q - 491 - 1726. Is q prime?
True
Let w(r) = -22*r - 2. Suppose -2*l = 3*l - 10. Let y be w(l). Let j = 1 - y. Is j composite?
False
Let y(m) = 3*m**2 + m + 1. Suppose 3*l = -1 - 5. Is y(l) prime?
True
Suppose 4*w = -1 + 9. Let r(s) = -34*s + 3. Let b(x) = -34*x + 3. Let n(p) = 2*b(p) - 3*r(p). Is n(w) prime?
False
Suppose -5 = -o, 2*o + 0*o = -5*p + 25. Suppose -y - 10 = -p*y. Let a = y - -8. Is a prime?
True
Let m(g) = -472*g**3 + 2*g**2 + 2*g + 1. Is m(-1) a prime number?
False
Let c = 39 + 88. Is c prime?
True
Suppose 0 = 2*x - 4 - 2. Suppose -2*i - 2*i = -4*h + 36, -h = 2*i + x. Let g(q) = -2*q**3 - 2*q**2 + 4*q + 5. Is g(i) a composite number?
True
Let h = 18 - 13. Is ((-2)/h)/((-2)/2735) composite?
False
Let u(l) = l**3 - 5*l**2 + 4*l + 2. Let j be u(4). Suppose -y + j*y = -n + 124, 0 = 5*y - 3*n - 644. Is y prime?
True
Let n(z) = z**2 + 6*z - 11. Let q be n(-9). Suppose -3*c = -137 - q. Is c prime?
False
Let m(d) = d**2 - 6*d + 1. Let l be m(6). Let a(q) = -q + 2. Let g be a(l). Let i = 2 + g. Is i composite?
False
Let g(c) = c**2 + 2*c. Let v be g(-3). Suppose l + 2 = -x - 0*x, x = v*l + 6. Suppose x = 5*n - 411 + 66. Is n a prime number?
False
Let j(i) = -i - 2. Let s be j(-7). Suppose -2*o - 63 = -s*o. Is o a composite number?
True
Let l(b) = -b**3 + 5*b**2 + 8*b - 9. Let a be l(6). Suppose -2*t - 3 = 5*y + t, a*y + 21 = 3*t. Is 22 - (9/y)/3 composite?
False
Let a = 18 - -1. Is a a prime number?
True
Let f = 1 - -3. Let y = f - -1. Is (y/10)/(2/620) composite?
True
Let a be 4/16 + (-543)/(-4). Suppose 46 - a = 3*n. Let q = -11 - n. Is q a prime number?
True
Suppose 0*h - 8 = 2*v + 2*h, 0 = v - 2*h + 4. Let m be (6 + -2 - 2) + v. Is (m - -1)/((-2)/98) prime?
False
Let b = 1405 + 442. Is b composite?
False
Let f(q) = 50*q**2 + q - 28. Is f(-5) a prime number?
True
Let u(r) = 8*r - 5. Let n(i) = -24*i + 15. Let h(s) = 6*n(s) + 17*u(s). Is h(-4) prime?
True
Let g(k) = 17*k + 4. Let y be g(2). Suppose 0 = -9*o + 11*o - y. Is o composite?
False
Let t = 53 - 0. Is t a prime number?
True
Suppose -2*v = -10 + 6. Suppose -4*h + v*h = -818. Is h a prime number?
True
Let t(d) = 10*d**3 - 2*d**2 - 4*d - 5. Is t(4) prime?
True
Suppose 3*o = 5*o - 302. Suppose -4*b = -4*c + 787 - o, 20 = 5*b. Is c a prime number?
True
Let j(y) = -7*y - 8. Let m(g) = -1. Let k(h) = -j(h) + 3*m(h). Let u be k(-5). Is u/(-2) - (5 - 3) a composite number?
False
Let l be 140/(-8)*4/(-5). Let s = l + -3. Let n = s - -8. Is n prime?
True
Let s(o) = -o**2 + 6*o - 3. Let u be s(4). Is 1/u - (-882)/15 prime?
True
Let s = 826 - 489. Is s a prime number?
True
Suppose 11604 = 9*v + 867. Is v composite?
False
Suppose 15 = -i + 6*i. Suppose -2*k + 345 = i*k. Is k a composite number?
True
Let h(x) be the second derivative of -x**4/12 + 5*x**3/3 + 5*x**2 + 4*x. Is h(9) a prime number?
True
Let c be (-30)/(-2)*2/6. Suppose -f - 74 = -c*p, -4*f = 5*p - 85 + 6. Is p a prime number?
False
Let z be 3 + -3 + 5 - 1. Suppose w - 2 + 14 = s, -z*s - 4*w + 32 = 0. Is s prime?
False
Suppose w = 3*w - 2522. Is w prime?
False
Let k(l) be the first derivative of -l**3/3 - 2*l**2 + 5*l - 2. Let c be k(-4). Suppose 0 = 2*v - c*x - 91, -v + 206 = 3*v - 2*x. Is v prime?
True
Suppose -4 = o, -2*n - 2*o = -4*n + 182. Is n prime?
False
Let g(c) = c**2 + 3*c + 3. Let b be g(-3). Suppose 393 = x - 5*v, 3*v + 1357 = 4*x - 198. Suppose -b*s = s - x. Is s a prime number?
True
Is 2/5 + (-1653)/(-5) a prime number?
True
Suppose 3*g = 7*g - 652. Is g a prime number?
True
Suppose -3*d - 4*p + 34 = 0, 0*d = -2*d + 3*p. Let i(u) = u**3 + 2*u**2 - 13*u - 1. Is i(d) composite?
True
Let l(c) = -c + 12. Let v(u) = u - 8. Let k(a) = -5*l(a) - 8*v(a). Is k(-5) a prime number?
True
Let y(v) be the second derivative of -v**4/12 - 3*v**3/2 + 3*v**2 - v. Let w be y(-5). Suppose 3*g = 4*g - w. Is g composite?
True
Let h be 4 + (3 + -5 - -3). Suppose 3*q = 10 + h. Suppose -q*p + 136 = -p. Is p prime?
False
Suppose -5*m + 2*k = k - 3725, 0 = 4*m + k - 2980. Let f(h) = 19221*h. Let w(c) = 155*c. Let d(b) = m*w(b) - 6*f(b). Is d(1) a composite number?
False
Let k = 144 - -35. Is k prime?
True
Let y(w) = -2*w + 4. Let x = -15 + 10. Is y(x) a composite number?
True
Suppose -5*h + 11 + 14 = 0. Suppose -n + 3*n + 3*q = 110, -h*n + 300 = -5*q. Is n prime?
False
Let p(w) = 6*w - 18. Let t be p(12). Suppose 0 = 5*c - 111 - t. Is c a prime number?
False
Let g(m) = -22*m**3 + m**2 - 6*m - 7. Is g(-3) a composite number?
True
Let n be ((-16)/20)/((-4)/(-10)). Is 208/91 + n/7 prime?
True
Suppose -15 = 3*f - 3*v, 5 = -2*f - 0*v + v. Suppose g - 94 + 27 = f. Is g a prime number?
True
Suppose 2*j + 57 = -5*k, 0 = -5*k - 16 + 1. Let x = 190 - j. Is x prime?
True
Suppose 0 = 6*y - 10*y + 8132. Is y a composite number?
True
Let d(y) = -98*y - 23. Is d(-5) a composite number?
False
Suppose -3*z + 425 = -3*f - 22, -5*z - 3*f + 713 = 0. Is z composite?
True
Let g = -9 + 13. Suppose 356 = 3*c - g*n, -2*c - n = n - 256. Let s = 19 + c. Is s a prime number?
False
Suppose -i = 3*i. Suppose -4 = -f - i. Is 1050/8 + (-1)/f composite?
False
Let c = 8 - 5. Suppose -5*g - 4*w = -575, c*g = -2*g + 5*w + 575. Is g a prime number?
False
Let q = 50 + -15. Is q a composite number?
True
Let x(s) = -s + 3. Let p = 0 - 0. Is x(p) a composite number?
False
Suppose 4*q = -2*u + 36, 34 = 4*u - 5*q - 25. Let p = -9 + u. Let x(v) = v**2 - 4*v - 7. Is x(p) prime?
False
Suppose 5*o + 0*o = 95. Is o a composite number?
False
Suppose 0*f = 3*f - g - 1262, 0 = 2*g + 10. Is f prime?
True
Let v = 22 + -19. Is v a composite number?
False
Suppose 2*s - 3*k = 0, -5*s + 5*k = -s - 2. Suppose 22 = s*y - 245. Is y a prime number?
True
Let s(n) = -9*n**2 + 2*n + 4. Let b be s(-2). Is 0 - b - (-2)/1 a prime n