Let m = 108 - 14. Is m prime?
False
Suppose -3*v + 0*v = 2*z - 907, 443 = z - 2*v. Is z a composite number?
False
Let x(b) = -4*b**3 + 6*b**2 + 3*b + 19. Is x(-6) composite?
True
Let m be (72/27)/(2/3). Is m/3 - (-4)/6 prime?
True
Let n be (9 + -1)*(-638)/(-44). Let b = n + 61. Is b a composite number?
True
Is 7860/100 - (-4)/10 a prime number?
True
Let c(h) = 114*h - 5. Is c(5) a prime number?
False
Suppose x - 65 = 14. Is x a composite number?
False
Suppose x = -2*x, 2*j - 5*x = 2. Let z be (j + -11)*7/(-14). Suppose 15 = 3*t, c + 0*t - z*t = 30. Is c a composite number?
True
Let b = 2 + 1. Suppose b*y = -0*y + 159. Is y composite?
False
Let g be 3/5 + (-291)/(-15). Let w = 1 + 0. Is ((-45)/g)/(w/(-4)) composite?
True
Let p = 45 - 30. Suppose 3*h + 10 = -b + h, -p = 5*h. Is b - -73 - (-4)/(-2) a composite number?
False
Let h(l) = l**3 - 25*l**2 + 35*l + 51. Is h(26) prime?
True
Let w(j) be the second derivative of j**4/6 - j**3/2 + j**2 + 3*j. Let y = 23 - 16. Is w(y) prime?
True
Let x(h) = -h**2 - 11*h + 1. Suppose 2*r = -m - 8, 6 = 4*r + 3*m + 20. Is x(r) a composite number?
False
Suppose -2*o - 3*o - 25 = -2*g, -5*g + 3*o = -15. Suppose 0 = 4*p + 4, -2*p + g = 2*d + 6. Let y(c) = -8*c - 3. Is y(d) prime?
True
Suppose 1 = 2*s + 95. Let r = 253 - s. Is r/9 + 2/(-6) a composite number?
True
Suppose -2 = t - 62. Suppose -x + 4*m - m = -t, -198 = -4*x - 2*m. Is x composite?
True
Let s = -28 - -219. Is s prime?
True
Suppose 0 = 4*u - 4. Is 0/2*u + 37 composite?
False
Suppose d + 5*z = 447, 4*z - 527 - 792 = -3*d. Is d a prime number?
False
Let l = 4 - 6. Is (-605)/(-10) - (-3)/l a prime number?
True
Let h(b) = b**2 - 6*b + 6. Is h(8) prime?
False
Suppose 123*w - 128*w + 635 = 0. Is w composite?
False
Suppose 0 = j + n - 9, -3*j + 2*n + 52 = -0*n. Is j a composite number?
True
Is (2 - 3)*-1 + (1048 - -6) prime?
False
Is (-517)/(-77) - (-4)/14 prime?
True
Let s(p) = -p**3 + 0 + 2*p + 0*p + 4 + 7*p**2. Let x be s(7). Is 346/x - 12/54 composite?
False
Let d = -2212 - -5475. Is d prime?
False
Let u(w) = 2*w**3 - 7*w**2 - 2*w - 5. Let s be u(6). Suppose -2*l - 4*y + 7*y + 113 = 0, 3*l + 2*y = s. Is l prime?
False
Let b(m) = m - 10. Let t be b(9). Is 263 + ((-2)/(-2) - t) a composite number?
True
Let p(s) = -s**3 - 6*s**2 + 9*s - 13. Is p(-9) a composite number?
False
Let s = 4 - -5. Suppose -2*t = -28 - 0. Let u = s + t. Is u a composite number?
False
Suppose 3*x = 2*s + 1579, -7*x + 4*s = -6*x - 523. Is x composite?
True
Suppose -5*w = -0*j + 3*j - 200, 3*w - 86 = 5*j. Is w composite?
False
Let b be (-22)/(-3) + 4/6. Let u(l) = -5*l - 7. Let v(o) = o. Let j(p) = -u(p) - 4*v(p). Is j(b) a prime number?
False
Let w(s) = 22*s + 5. Let q(o) = o**2 - 3*o - 5. Let y be q(5). Is w(y) composite?
True
Is -2 + (-5)/((-5)/129) a composite number?
False
Let f(w) = 24*w**2 - 3. Let y be f(2). Suppose -k - 2*k = -y. Is k composite?
False
Suppose j - 4*f = 2*j, -2*f = -2. Let b(p) = -23*p + 3. Is b(j) a prime number?
False
Suppose 4*r + 4 = 4*q, -2*q - 2 = 2*r + 4. Is 615/20 + r/(-8) a prime number?
True
Let t be 3*(-82)/(-3) + 1. Let k be 0 + -1 + 51 - -2. Let s = t - k. Is s prime?
True
Suppose -4*s = 5*b - 206 - 231, -2*s + 263 = 3*b. Is b a composite number?
False
Suppose o - 6*o = -2050. Suppose -4*m = 114 - o. Let z = m + -53. Is z composite?
True
Let u = 18 + -8. Suppose b + u = -0*b. Let x = b + 16. Is x a composite number?
True
Suppose -4*d + 34 = -3*j - 211, d = -4*j + 85. Is d a prime number?
False
Let l(t) = -t + 131. Let m be (0 + 2)*(-1)/(-2). Let s be (m + -1)/(-2 - -3). Is l(s) composite?
False
Suppose 5*r + 2954 = 7*r. Is r a prime number?
False
Let q = 3517 - 984. Is q a composite number?
True
Suppose -4 = 6*c - 2*c. Let b be ((-32)/(-5))/(c/(-15)). Is b/7 - 4/(-14) a prime number?
False
Let w(c) be the first derivative of c**4/2 - 5*c**2/2 + 4*c + 4. Is w(3) a composite number?
False
Let x(a) = -a**2 + 13*a + 2. Let j be x(13). Is (20/j)/(8/12) a composite number?
True
Let r be 3 - 3*(-3)/(-9). Let d(o) = 92*o**2 - 2*o + 1. Is d(r) a prime number?
False
Suppose -4*q - 7*b = -2*b + 151, 0 = 2*q - 5*b + 53. Let n = 175 + q. Is n a composite number?
True
Let u(i) = 892*i + 15. Is u(8) composite?
False
Let u(r) be the third derivative of r**6/120 + r**5/6 - 7*r**4/12 + 2*r**3/3 - 8*r**2. Is u(-11) a prime number?
True
Suppose 4*o = 4 + 8. Is o*179*(-1)/(-3) composite?
False
Is 1*(-27)/(-1) + -1 prime?
False
Let w(u) = -2*u - 1 - 3*u + 0*u + 2*u. Let h be w(-2). Suppose -66 = -h*p + 119. Is p a prime number?
True
Let g(p) = 7*p**2 + 12*p + 46. Is g(-7) a prime number?
False
Let u(x) = x**3 - 9*x**2 - x + 12. Let d be u(9). Is (2 + 1)*26/d composite?
True
Let o(h) = 10*h**3 - 2*h**2 + h. Let v be (2/(-3))/(1/(-3)). Let g be (v - (-1)/(-1))/1. Is o(g) prime?
False
Let k(f) be the second derivative of 2*f**2 + 0 + 1/2*f**3 + 1/12*f**4 + 3*f. Is k(-6) a prime number?
False
Let u = 7 - 5. Suppose 5*t + 4*m - 2*m = 4, 2 = -u*t + m. Suppose -3*y + t*y + 105 = 0. Is y a prime number?
False
Let x = -7 - -56. Is x prime?
False
Let j(m) = m**2 - 3*m - 5. Let u be j(-5). Suppose -5*l + 0 = u. Let g(z) = 2*z**2 + 3*z - 10. Is g(l) prime?
True
Suppose 4*m - 352 = 4*u + 20, -8 = 4*u. Is m a prime number?
False
Let x(r) = -4*r + 4*r - 5 - 7*r - r**2. Let n = -7 + 3. Is x(n) composite?
False
Let l(w) be the second derivative of w**4/12 + 5*w**3/6 - 2*w**2 - 3*w. Is l(-6) composite?
False
Let f(d) = 7*d. Let p be 4/(-3)*(-3)/2. Suppose 0 = -4*a + w, 0*w + 4 = -4*a + p*w. Is f(a) a prime number?
True
Suppose -5*m - 5*l + 15 = 0, m + 0*l - 5 = l. Suppose -m*u = -2*u + 4*x + 2, 5*u - 7 = -4*x. Is (25/(-2) + u)*-2 prime?
True
Let x = 60 - -31. Suppose -x - 74 = -3*k. Is k composite?
True
Suppose -109 = 2*g + 39. Let l = g + 213. Suppose l + 518 = 3*d. Is d a composite number?
True
Suppose 4*x - 22 = -6. Suppose -5*a = 5*b - 85, 5*b = x*a - 0*b - 41. Is a a prime number?
False
Let p be (1 + -2 + 1)/2. Suppose -2*w - 5*l + 367 = -0*l, 5*w + l - 952 = p. Is w prime?
True
Suppose -2 = 5*y + 48. Let t(l) = l**3 + 11*l**2 + 14*l - 2. Let u be t(y). Let x = 37 - u. Is x a prime number?
True
Let n = -41 + 12. Let u = 57 + n. Suppose -u = w - 3*w. Is w a composite number?
True
Suppose 2*t + l - 4 = 0, 2*t + 2*t - 4*l = 8. Let b = 0 + -1. Is 56 - -7 - b*t a prime number?
False
Let i(x) = x**3 - 3*x**2 - 4. Let m be i(4). Is 3*4/m + 418 a prime number?
True
Is (988 - (-2 - 0)) + 1 a composite number?
False
Suppose 4*x - 21 = -9. Suppose -42 = -5*j + x*z - 4*z, 2 = -j + 5*z. Suppose 23 = r - j. Is r composite?
False
Let s(g) = -g**2 - 8*g + 3. Let w be s(-6). Suppose w = 3*o - 5*n - 34, 5*n + 10 = 0. Is o prime?
True
Let k be ((-1)/2)/((-3)/18). Suppose 3*a = a + 5*l + 427, 2*a + k*l = 419. Is a composite?
False
Suppose -41*n + 651 = -38*n. Is n a prime number?
False
Is (-3)/6*(-896 + 2*-1) composite?
False
Suppose -1417 - 4068 = -5*u. Is u prime?
True
Let y = 7 + -4. Let u(c) = -c**2 + 2*c. Let p be u(2). Suppose 5*x + 2*o - 25 = p, y*x - 16 = 6*x - 5*o. Is x prime?
True
Let w(c) = -c**3 + c**2 + c - 1. Let f(m) = 2*m**3 + 3*m**2 - 2*m - 1. Let i(s) = f(s) + w(s). Is i(-4) prime?
True
Let a be -1 + 5 + (-3 - -1). Suppose 0 = -4*v - 2 - a. Let k = v - -11. Is k a composite number?
True
Let l(a) = a**3 + a**2 - a. Let t be 0/(-3 - (-2 + 2)). Let y be l(t). Suppose y = s + s - 94. Is s composite?
False
Let g(z) = z**3 + 10*z**2 + 7*z - 10. Let q be g(-9). Suppose 3*w = -3*n, -2*w = -n - w + q. Let h(b) = 14*b - 3. Is h(n) composite?
False
Is (-6 + -157)*(0 - 3/3) composite?
False
Let w(g) = -1 + 3*g + 4 + 2*g**2 - 1. Let f be w(-2). Suppose -255 = -6*h + h - f*i, -4*h + 193 = i. Is h prime?
True
Let b(o) = o**3 + o + 5. Let n be b(-5). Let j = 264 + n. Is j a composite number?
False
Let t = 16 - 11. Suppose -10 = -t*f - 5*y, 4*f = -3*y - 0*y + 8. Suppose f*m = -2*r + 162, -4*m = r - 8*m - 61. Is r a composite number?
True
Suppose 4*s = -4*h - 0*h + 56, 5*s - 46 = -3*h. Let u(i) = 2*i - 4. Let z(p) = -p + 2. Let q(m) = -3*u(m) - 7*z(m). Is q(h) composite?
True
Suppose 4*t + 18 + 14 = 4*v, 0 = -4*t + v - 26. Let i(s) = -26*s + 1. Is i(t) composite?
False
Suppose -a + 16 = -4*j, 4*a = 2*j + 132 - 40. Let b be 1/(3 - a/9). Suppose b*s = 3, 3*s = -l - 0*s + 161. Is l a prime number?
Fa