e 2*o + y - 81 = 0. Suppose -5*p + 63 = 4*u, 5*p = -5*u + 57 + o. Is u composite?
True
Let r(u) = 7*u**2 - u + 3. Let v be r(5). Let j(x) = 4*x**2 + 8*x - 2. Let s be j(-6). Let g = v - s. Is g prime?
True
Let m(k) = -4 + 1 - 3 + 18*k + 0. Let g be m(10). Let r = g - 97. Is r prime?
False
Is 0/(-2) + (-4 - 1491/(-3)) a prime number?
False
Let p(o) = -26*o + 3. Is p(-15) a composite number?
True
Suppose -2*d + 2826 = 4*d. Is d composite?
True
Suppose -2*q + 5*q = -15, q = -3*f + 13. Suppose 4*o - 11 = 89. Suppose s - o = -f. Is s prime?
True
Let h(d) = d**2 + 8*d + 10. Let y be h(-7). Suppose 0 = -3*n - 4*l + 4864, l - 4832 = -y*n + 5*l. Suppose 4*i = n - 580. Is i a prime number?
False
Let n(d) = 78*d + 1. Let q be n(1). Is -1*(-1)/(1/q) a composite number?
False
Let l(v) = 2018*v**3 + v**2 - v. Is l(1) a composite number?
True
Let x = 17 + -17. Suppose 4*o - 470 = 3*w - 5*w, x = o. Is w composite?
True
Suppose 2*b - 57 = 229. Is b a composite number?
True
Suppose 5*z + c = 1540, 3*z - 4*c + 3*c - 916 = 0. Is z prime?
True
Suppose -3*r + f - 169 = 267, 0 = 5*r + 4*f + 755. Let j = 217 + -317. Let v = j - r. Is v a composite number?
False
Let n(u) = 98*u + 12. Is n(5) composite?
True
Suppose -b + 593 = -2*q - 586, 0 = -2*b - 2. Let r = -297 - q. Is r a composite number?
False
Let o(d) = d**2 + d + 1. Let h(u) = u**3 - 5*u**2 - 6*u + 3. Let p(z) = h(z) - 4*o(z). Let c be p(10). Let f(w) = -211*w. Is f(c) a prime number?
True
Suppose 5*i + j = i + 179, 3*i - 135 = -j. Is (-554)/(-8) + (-11)/i a composite number?
True
Let w(g) = g**2 - 2. Suppose -3*z - 2*o - 3 - 25 = 0, z + 5*o + 18 = 0. Let n = -1 - z. Is w(n) prime?
True
Suppose -4*d + 1255 = d - 4*j, d = 4*j + 267. Is d composite?
True
Let i = 8 - 8. Let l = 35 + i. Is l a composite number?
True
Let l be ((-2)/(-3))/(2/12). Suppose 2*z - 3*x - 14 = 0, -x = -4*z + 15 + 3. Suppose l*c - 6*c - z*v = -42, -3*c = v - 63. Is c a composite number?
True
Let z = -1 - -1. Suppose z*o - 3*o = -507. Suppose t + 2*t - 5*g = o, 3*g = 3*t - 165. Is t a composite number?
False
Suppose -2*d + 6*d - 12 = 0. Suppose 0 = d*u - 5*u + 430. Is u composite?
True
Is (4/(-6))/(-5*(-14)/(-32235)) a composite number?
False
Let f = 852 + -469. Is f a composite number?
False
Let j(p) be the second derivative of p**3/6 + 5*p**2/2 + 2*p. Is j(-3) composite?
False
Let j(z) = z**2 + z - 14. Is j(12) a composite number?
True
Is -4 - (-45 - (-3 + -1)) composite?
False
Let p(m) = -m + 3 + 0*m + 0*m - 6. Let s be p(-3). Suppose -4*t = -s*t - 60. Is t prime?
False
Is (-4298)/(-4)*(-5 + 7) a prime number?
False
Suppose 2006 = 6*w - 652. Is w a composite number?
False
Let o(q) = q**3 + 11*q**2 + 7*q + 4. Let z be o(-6). Let r = z + -57. Is r a composite number?
True
Let s(p) = 4*p. Suppose -5*v + 2 = 2*i, i - 4*v = 1 - 0. Let m be s(i). Is (38/(-8))/((-1)/m) composite?
False
Let c = -238 - -387. Is c composite?
False
Suppose 5*d - 5 = 0, -3*x + 15 = -x + 5*d. Suppose s - 38 = 2*v, -2*s + x*v + 76 = -0*s. Is s a prime number?
False
Suppose -16 = -4*r, -t - 2*r = 5 - 34. Is t a prime number?
False
Let a(m) = m - 3. Let c be a(6). Let i(n) = n**3 - 4*n**2 + 3*n. Let w be i(c). Suppose l = w, -3*x + 4*l - 3*l = -93. Is x a prime number?
True
Let y = -3917 + 8806. Is y composite?
False
Let b(w) = -4*w - 5 + 0*w + w**3 + 0 + 6 + 5*w**2. Is b(-4) prime?
False
Let a be (-2)/(4/3078*-3). Suppose -6*m - a = -4*s - m, 0 = -4*s + 4*m + 512. Is s a prime number?
True
Let k = -6391 + 9508. Is k composite?
True
Is (5169/(-6))/(4/(-8)) prime?
True
Suppose -u + 645 + 464 = -a, 2*u - 3*a = 2215. Let s = u + -741. Is s a prime number?
False
Let g(q) = -3*q - 4. Let m be g(-3). Let w be (-58)/6 + m/(-15). Is 1665/25 - 4/w composite?
False
Let p(b) = 21*b**3 - 3*b**2 + 5*b + 4. Is p(5) a prime number?
True
Let u be (-3)/((-3)/3 - -2). Let w = 14 + u. Is w a prime number?
True
Let u be (-61)/(-6)*3*2. Let x = u - 42. Is x composite?
False
Suppose -c + 2*u = -499, 5*c - 2477 = 2*u + 2*u. Is c composite?
True
Let c(b) = 2*b**3 - b**2 - 8*b - 2. Is c(6) composite?
True
Suppose 3*q = -3*j + 15, 4*j + 1 - 9 = 0. Suppose -q*b = -7 - 92. Is b a composite number?
True
Let k be (-1)/(-2)*(-1 - 5). Let r(j) = -8*j**3 + 2*j**2 - 1. Is r(k) a prime number?
True
Let o be 2/(-5)*(-10 - 0). Let l = 0 + o. Is l a prime number?
False
Suppose -2*p = -5*p + 3009. Is p composite?
True
Let w be ((-32)/(-12))/(2/3). Suppose 3*a + 5*v + 705 = 7*a, -w*a + 695 = -3*v. Let i = -91 + a. Is i composite?
False
Let i(r) = -75*r**2 - 7*r - 3. Let v(d) = 37*d**2 + 4*d + 2. Let a(p) = -3*i(p) - 5*v(p). Is a(-2) prime?
True
Suppose 15 = -0*q - q + 5*i, -2*i = -8. Suppose -275 = -q*r + 3*z, -4*r - 64 = -3*z - 287. Suppose 3*h = 4*j - r, 65 = 5*j - h - h. Is j prime?
True
Let y be (4 - 1)/((-5)/(-5)). Suppose -669 = -y*f - k + 2*k, -k + 885 = 4*f. Suppose -5*h - 7 + f = 0. Is h composite?
False
Suppose 4*a + 4*t + 140 = 0, -4*a = -t + 187 - 32. Is (a/(-4))/((-1)/(-2)) prime?
True
Is (-5)/((-20)/1804) - 4 a composite number?
True
Let u be (-1)/3*1*-30. Suppose -u*q - 239 = -11*q. Is q a composite number?
False
Let z = 1 - -1. Is 952/(-12)*(-3)/z a prime number?
False
Let z(l) = 2*l - 6 - 3*l + 0*l. Let t be z(-6). Suppose t = 2*b - 0*b - 44. Is b composite?
True
Suppose -4*y = -2*y. Suppose y = -3*z + 415 - 109. Suppose -p - 2*p + z = 0. Is p prime?
False
Let p be (1 + 2)*(3 - 2). Suppose -j + 885 = 2*j - d, -j - p*d = -295. Suppose 0 = -2*y + 7*y - j. Is y a composite number?
False
Suppose 5*a + 3966 = 4*w, -a - 2*w = w + 778. Is (3/5)/((-2)/a) a composite number?
True
Is 214785/259 - (-4)/(-14) a composite number?
False
Let s = -6 - -8. Is -2*s/((-6)/51) prime?
False
Suppose 0*d - 36 = -3*x + 3*d, -5*x = 5*d - 30. Let p(i) = i - 12. Let j be p(x). Is (196/12)/((-1)/j) composite?
True
Suppose 2*h - 5514 = 2*l, 4*h - 8*h + 11064 = 5*l. Is h a prime number?
False
Let a be 3/2*4512/(-18). Let x = a + 555. Is x a prime number?
True
Suppose -49*o = -50*o + 326. Is o composite?
True
Let s = 39 - -359. Is s a composite number?
True
Suppose 0*c = c - 19. Is c a composite number?
False
Let y be (4 - 2)/((-5)/5). Is ((-184)/(-12))/(y/(-21)) a prime number?
False
Suppose 5*t - 8425 + 2920 = 0. Is t a composite number?
True
Let x(n) = -254*n**2 + 2*n - 3. Let u(s) = -127*s**2 + s - 2. Let g(d) = 5*u(d) - 3*x(d). Is g(-1) a prime number?
True
Let n(r) = r**2 - 3*r + 15. Is n(16) a composite number?
False
Let s be 3/(-6*(-2)/8). Suppose 0 = h + z, 0 = s*h - 4*z - 6 + 30. Let f(n) = 2*n**2 - 1. Is f(h) a composite number?
False
Let o = 72 - -1. Suppose -5*c + 37 = -o. Suppose 3*u - c = 8. Is u prime?
False
Let j = -166 + 233. Is j a prime number?
True
Let f = 0 + 0. Suppose f = -2*g + 83 - 13. Is g a composite number?
True
Let s = -183 + 325. Is s prime?
False
Suppose -74 = -f + 3*u, 5*f - u = 35 + 321. Let g = f - 45. Is g prime?
False
Let i(u) = 8*u**2 - 10*u + 29. Is i(9) composite?
False
Suppose 3*t - 19 = 2*r, -3*r + 6*r = -t - 1. Suppose -5*m - 118 = -3*k, t*m - 47 = -2*k + 2*m. Is k prime?
True
Suppose -2*k - 3*k + 40 = 0. Let y be 64/(-11) - k/44. Is y/6*(-91)/1 prime?
False
Let m be 1/(((-16)/(-44))/(-4)). Let g = m + 15. Is g composite?
True
Let l be (-11)/(-2) + 7/(-14). Suppose -3*f - 1207 = -l*h, -547 = -2*h - 5*f - 89. Is h prime?
True
Let i be -2 + (-10)/(-2) + 2. Suppose i*a = -3*g - 176, -g + 0 = -2*a + 66. Let k = g - -100. Is k a prime number?
False
Suppose -3*z = z - 20. Suppose -4*i - 96 = 5*h - 402, 0 = i - z*h - 89. Is i a prime number?
True
Suppose -2*p + 4 = 10. Let i(k) = k**3 + 4. Let v(t) = t**3 + 4. Let q(j) = -5*i(j) + 4*v(j). Is q(p) prime?
True
Suppose -5*j = -2*j + x - 3197, 0 = 2*j + 3*x - 2122. Is j a prime number?
False
Suppose 4 = 3*c + f, 0 = 2*c - c + 5*f + 8. Let v be (-8)/(-1 + -3 + c). Is v/(-14) + 44/7 a composite number?
True
Let i = 1571 - 718. Is i prime?
True
Let o(b) = -7 - 13*b - 13*b + 15*b. Is o(-6) composite?
False
Let j be 1/(3 + 11/(-4)). Suppose t + j*t = 1115. Is t a composite number?
False
Let w be (2/1)/((-20)/(-5950)). Let i(y) = 5*y**2 - 1. Let t be i(1). Suppose -t*z - 4*x = -9*z + w, -3*z = -3*x - 357. Is z composite?
True
Suppose 0 = 2*y, 4*s + 0 - 16 = -2*y. Suppose -175 = -3*d - 5*l, -210 = -s*d + 2*l + 3*l. Is d a prime number?
False
S