uppose -2*v - 227 = -x, 902 = x + 3*x - 5*v. Is x a prime number?
True
Let l(w) be the second derivative of -w**6/360 - 3*w**5/40 - w**4/6 + w. Let p(s) be the third derivative of l(s). Is p(-8) a composite number?
False
Let o = -237 - -509. Suppose -236 = 4*n + o. Is (-1 + 3)*n/(-2) a composite number?
False
Suppose -974 = -2*n - 96. Suppose 0*y + n = 5*v - 2*y, -2*v + 184 = -5*y. Is v composite?
True
Is (-97)/((-2)/2 + 0) a composite number?
False
Let d(g) = 60*g - 1. Is d(1) a composite number?
False
Let b(a) = 54*a - 3. Is b(6) prime?
False
Let b(z) = -z**3 + 9*z**2 - 12. Let g be b(10). Let h = -38 - g. Is h composite?
True
Let g(f) = 30*f + 2. Let a be g(6). Suppose o - a = -73. Is o a composite number?
False
Suppose 2*m = -5 - 1, -5*g - 4*m + 5603 = 0. Is g a prime number?
True
Suppose -2*d - 6705 = -11*d. Is d a prime number?
False
Let r be (1 + -1)*(-2)/(-4). Suppose r = 7*k - 5*k - 254. Is k a prime number?
True
Let k = 697 - 492. Let o = -120 + k. Is o composite?
True
Suppose -5*p = 2*g + 21, -9 = -2*g - 4*p - 25. Let i be (2/(-4))/(g/12). Let y = 38 + i. Is y composite?
True
Suppose -3*h - 2*h - 982 = -2*w, -4*h - 1940 = -4*w. Is w a composite number?
True
Suppose -c = 2*h - 293, 0*c - 6 = -2*c. Is h a composite number?
True
Let x be 2 + 2 + -2 + -484. Let u = -270 - x. Is (1*-1)/((-4)/u) composite?
False
Is 1*(-6)/3 - (4 - 1093) a composite number?
False
Let n = 13 + 0. Let x(p) = p**2 + 14. Is x(n) composite?
True
Suppose 44 = -5*m - 4*a, -3*m = a + 6 + 19. Let z = m - -18. Is z a prime number?
False
Suppose -2*z = 2*b + 2*b - 648, -3*b = -z - 481. Is b composite?
True
Suppose -86 - 144 = 5*f. Let c = 21 - f. Is c a composite number?
False
Let t(c) = -c**2 - 8*c - 3. Let w be t(-7). Suppose -3*v - 133 = -w*v. Is v prime?
False
Let q be (2 - 2/1)/2. Is -4 - q - (-13)/1 prime?
False
Let k = 0 - 6. Let h(i) = -18*i - 1. Let w be h(k). Let b = 194 - w. Is b a composite number?
True
Let h = 292 + 15. Is h composite?
False
Suppose 0 = 4*c - 3*m - 314, -m = 4*c + 60 - 366. Suppose i = -18 + c. Is i prime?
True
Suppose 3*b - 18 = -3*v, b - 3*v = -0*v + 2. Let k be 1/b + (-96)/(-20). Suppose u - 18 = -u + k*z, 3*u - 3*z - 27 = 0. Is u a prime number?
False
Suppose -u - 8 = 3*w, -4*w + 7 - 39 = -4*u. Let r = w - -7. Is (r/(-6))/(2/(-156)) a prime number?
False
Let h = -2585 + 3664. Is h a prime number?
False
Let j be (18/4)/(1/(-14)). Let x = 127 + j. Suppose -x = -m + 15. Is m a composite number?
False
Let h(a) = a - 2. Let o be h(0). Is ((-232)/6)/(o/3) a prime number?
False
Let l = -414 + 707. Is l a composite number?
False
Is (-68)/2*(-20)/8 a composite number?
True
Suppose 14 = -5*y + 5*a - 11, -y - 17 = 5*a. Let t = y - -29. Suppose -89 = -3*j + t. Is j a composite number?
False
Suppose -2*y - 14 - 50 = 0. Suppose -3*p + 0*p - 65 = -2*m, 46 = -2*p + 2*m. Let d = p - y. Is d a composite number?
False
Suppose -y + 5*m + 2 = 0, 4*m - 5 = y + 2*y. Is (y - -84) + 8/(-4) prime?
True
Let h = -1 - -1. Let i be (h + 0)*(-2)/4. Suppose -4*a + 12 = i, -5*a + 2 = 2*m - 51. Is m a composite number?
False
Suppose -2*f + y - 761 = -6*f, -2*y - 388 = -2*f. Is f a composite number?
False
Let h(q) be the second derivative of -q**5/5 + q**4/12 + q**3/6 + q**2/2 + 3*q. Let c be h(-1). Is c*(2 - 27/(-3)) a composite number?
True
Suppose 0 = -3*r + 3*m + 6240, 8329 = 4*r + m + 4*m. Is r prime?
True
Let a(y) = 4*y**2 - 9*y + 3*y**2 - 4*y**2 - 5. Let m = -5 + 12. Is a(m) prime?
True
Suppose a = 1 + 2. Suppose a*v = -v + 12. Suppose v*i + 56 = 2*u, -4*u = 3*i - 73 - 75. Is u a composite number?
True
Let z = 59 + -13. Is z a prime number?
False
Let h = 246 - 16. Suppose 3*p + 0 = 6. Suppose h = 3*z + p*z. Is z a prime number?
False
Suppose -12 = 3*l, d = -d - 4*l - 4. Suppose 75 = d*c - c. Is c a prime number?
False
Suppose -1 = -2*s - 5*w, 0*s + s - 6 = 3*w. Suppose -5*z = -3*j + 3340, -j - 3*z = s*j - 4463. Is j a prime number?
False
Let j = -15 - -19. Is j/(8/6) + 234 a composite number?
True
Is (-789)/(-21) + (-4)/7 a prime number?
True
Let p = -13 - -22. Let s be (p/12)/(1/76). Let h = s - -32. Is h prime?
True
Let r = 1771 + -132. Is r prime?
False
Let d be 2*-1*(-14 - -2). Is 134/6 + 16/d a prime number?
True
Is ((-507)/12 - -3)*-28 prime?
False
Let n(x) = 6*x - 2. Let c be n(-8). Let h = c - -75. Suppose -5*r = -h, -108 = -2*s + 5*r - 23. Is s a composite number?
True
Let q = -233 + 564. Is q prime?
True
Let q(r) = 29*r - 1. Let k be q(8). Let p = 394 - k. Is p a composite number?
False
Suppose -6*j = -11*j + 3*u + 3247, 3*j - 1933 = -2*u. Is j a prime number?
True
Let k = 17 + -7. Let f be 4/k - 166/(-10). Let c = 6 + f. Is c a prime number?
True
Let f = 2 + 66. Suppose f = -5*d + 393. Is d a prime number?
False
Suppose y = 3*o + 2322 - 393, 5*y = -3*o + 9717. Is y composite?
True
Suppose 986 = 5*j - 4*j - 3*b, 4*j + 2*b = 3902. Is j a composite number?
False
Is 5/(-5) - 756/(-1) a composite number?
True
Let x(q) = 0*q - 1 + 5 - q + q**2. Let t be x(0). Suppose 295 = t*o + o. Is o prime?
True
Let m(b) = 3*b + 15. Is m(12) a composite number?
True
Let p = -504 - -941. Is p prime?
False
Let f(p) = 134*p + 9. Is f(8) a prime number?
False
Let i = -54 - -73. Is i composite?
False
Let c = 3 - -13. Let t = c + 71. Is t a composite number?
True
Let a(o) be the first derivative of -7*o**5/20 - o**4/4 + o**3/2 - 2*o**2 - 2*o + 1. Let i(c) be the first derivative of a(c). Is i(-3) a prime number?
True
Let x = -4 - -5. Let r(u) = 3*u**2 + 2*u - 1. Let p be r(x). Suppose -33 = -2*i - 3*w, 0*w + 20 = p*w. Is i a prime number?
False
Suppose -958 = -2*t - 3*u + 2*u, 2393 = 5*t + 3*u. Is t composite?
True
Let b = -15 - -17. Suppose 2*o - 4*q - 60 = -b*q, 0 = -2*o - 2*q + 64. Is o a prime number?
True
Let u(x) = x**3 + 4*x**2 - 3*x - 1. Let j be u(-6). Let k = -18 - j. Is k a prime number?
True
Suppose -h + 1518 = 6*u - u, -4*u - 7735 = -5*h. Is h composite?
False
Let j be (3 - 3)/(0 - -1). Suppose -155 = -5*t - 0*t - 2*d, j = -4*d - 20. Is t a composite number?
True
Suppose 0*p + 5*p = 4*n - 1, -2*p = 2*n - 14. Let v(x) = 21*x + 1. Is v(n) a composite number?
True
Let z(n) = -49*n - 14. Is z(-13) prime?
False
Suppose 2*c = c + 2*t + 2, -4*t = -4. Suppose -v + 367 = c*h, 4*v - 2*h - 2*h - 1488 = 0. Is v a prime number?
False
Let r = -12 + 17. Let u be 3 + r + -3*1. Suppose 2*l + u*j = 10, -70 = -5*l - 2*j - 3. Is l a prime number?
False
Let t(x) = 95*x**2 - x + 2. Let p be t(-2). Suppose 0 = -4*z + 3*m + 700 - 223, 3*z + 3*m = p. Is z a prime number?
False
Let f = 66 - 31. Is f prime?
False
Let u be 6/(-27) + 2/9. Suppose u = 2*j + 5*d, -2*d - 3*d - 35 = -5*j. Suppose -2*y = h - 115, -j*h = -3*y - 45 + 237. Is y prime?
True
Suppose -5*k - 2*o + 5 = 0, 4*k + 0*o - 4 = -5*o. Is (2 - 0)*15 + k a prime number?
True
Suppose -2*o + 5*o + 2*h = 173, -2*h = -3*o + 169. Suppose 0*s + o = s. Is s a prime number?
False
Suppose -2*h - 23 = -k, -3*k - 4*h + 91 - 22 = 0. Let j be k/(-4) - (-4)/(-16). Is (-81)/j - 2/(-4) prime?
False
Is (-3 + 3 + 31)*3 a composite number?
True
Let d be 4/(12/(-337))*-3. Suppose 2*c + q = 440, 5*c = q + 1444 - d. Is c a composite number?
True
Let h(p) = -p**3 - p. Let y(x) = 5*x**2 + 7. Let n(z) = -h(z) - y(z). Is n(6) a composite number?
True
Let k(s) = -s**2 - 5*s - 4. Let r be k(-4). Let y = 1 + r. Let d(n) = 25*n**3 - n**2 + 1. Is d(y) composite?
True
Suppose l + 2430 = 5*t, 20 = 5*l - 5. Is t composite?
False
Suppose -3*s - 26 = -m + 8, -s + 136 = 4*m. Suppose -m = a - 203. Is a a composite number?
True
Is (-20)/70 - 7746/(-14) a prime number?
False
Is 1 + (24/(-30))/((-2)/5875) a composite number?
False
Let v(c) = c**2 + 8*c - 2. Let p be v(-6). Is p*(-4 - (-4 + 1)) composite?
True
Suppose 0*v + 3730 = 2*v. Is v a prime number?
False
Let x(o) = -o**3 + 9*o**2 + 8*o + 7. Is x(7) prime?
False
Suppose t - 576 = 190. Is t prime?
False
Let x(d) = 91*d - 4. Is x(2) a composite number?
True
Is (-22224)/(-15) + 0 - (-21)/(-35) a prime number?
True
Let s(r) = 57*r**2 + 25*r - 17. Is s(7) a composite number?
True
Suppose 0 = -215*s + 212*s + 15702. Is s composite?
True
Suppose -2*h - 4 = -4*h. Is 0 + h - 1*-21 composite?
False
Suppose 10*q - 3931 = 259. Is q prime?
True
Suppose v = -5*l - 20, 2*v + 3*l - l = -8. Suppose -5*n + v = -5. Is (1/1 + n)*