-4*w + 4136. Suppose -4*x = 2*y + 184 - w, -y + 856 = 4*x. Is x composite?
True
Let s(h) = h**3 + 8*h**2 + 5. Suppose 6 = -3*l - 18. Let g be s(l). Suppose -11 = 3*q - 5*q - b, -q = -g*b + 11. Is q a composite number?
True
Let r(j) = -j**3 - 18*j**2 - 23*j - 20. Let l be r(-17). Let i = 79 + l. Is i a composite number?
True
Let d be -1 - 3/((-3)/(-1)). Let j(s) = -403*s. Let c be j(d). Suppose -2*p - c = -4*a, 4*a = p + 301 + 508. Is a composite?
True
Let d(b) = 291*b - 34. Is d(3) a composite number?
False
Let x = -50 - -96. Is x a composite number?
True
Let g(t) = -t**3 + 13*t**2 - 8*t + 9. Is g(12) prime?
False
Let u(f) = 6*f - 16. Let v be 60/3 + -2 - 3. Is u(v) prime?
False
Is ((-2)/(-4))/(3/426) a composite number?
False
Let i(q) = 2*q - 10. Let v(d) = d - 14. Let s(l) = -l + 15. Let b(m) = -2*s(m) - 3*v(m). Let g be b(5). Is i(g) a prime number?
False
Suppose 5*x + z - 8433 = 5*z, 12 = 4*z. Is x a composite number?
True
Let j = 156 + -29. Is j prime?
True
Let a be 3/(-12) - 17/(-4). Suppose 0*b = 3*b + a*u - 793, 5*b + 3*u = 1318. Is b composite?
False
Let a(r) = 23*r + 1. Let y be a(-3). Let k = -48 - y. Suppose 0 = -p - 4*p + k. Is p a prime number?
False
Let s = -8 + 5. Let f be (-8)/(-3) + (-1)/s. Suppose -150 = -f*q + 207. Is q prime?
False
Let u = 7 + -7. Let o(r) = r + 259. Is o(u) composite?
True
Suppose -5*d + j - 843 = -7*d, -d - 4*j = -418. Is d composite?
True
Let v(m) = -3*m - 1. Let z be v(2). Is (4 - z)*3/1 a composite number?
True
Let q(k) be the first derivative of -25*k**2 - 1. Let a be q(1). Is (-2 - -3)/((-2)/a) prime?
False
Let s(a) = -7*a - 12. Let v be s(-6). Let k = 61 - v. Is k composite?
False
Is (-1 - 9148/(-22)) + 8/44 composite?
True
Let v(q) = 6*q**2 - 12*q + 7. Suppose 2*h = -1 + 5. Suppose 2*m + c = 11, -h*c + 25 = 5*m - 5. Is v(m) a composite number?
True
Suppose 3*z - 2*z = 0. Suppose z = -0*n + n. Suppose 5*f - f - 52 = n. Is f composite?
False
Suppose 2*m + 0*a - 10956 = 5*a, -4*m = -4*a - 21924. Is m a composite number?
False
Let k = -1 - -8. Is k a composite number?
False
Suppose -2*n + 14 + 4 = 0. Let j be n/2 - (-2)/(-4). Suppose -295 = -j*p + 357. Is p a composite number?
False
Let y be 20/(-2)*1/(-2). Let d(m) = -m**3 + 6*m**2 + 7*m - 7. Is d(y) a prime number?
True
Let l = 309 + -16. Is l a composite number?
False
Suppose -y = -3*m - 37, -4*y = -6*y - 2*m + 114. Suppose -2 = 4*h + 2. Let r = y - h. Is r prime?
True
Let n(g) = 10*g + 11. Let s be n(14). Let k = s - -34. Is k prime?
False
Is 1/((-356)/(-118) + -3) prime?
True
Let r = -27 + -26. Let l = -32 - r. Suppose l - 1 = 2*x. Is x a prime number?
False
Let w = -6 - -9. Suppose n + w*n - 8 = -2*q, 0 = 5*n + q - 13. Suppose 43 + 56 = n*v. Is v composite?
True
Is 119 + 5 + 6/(-2) a prime number?
False
Suppose -9 - 33 = 3*t. Let a = 72 - t. Let m = a - 9. Is m a composite number?
True
Let c = -60 - -259. Is c composite?
False
Let w = 0 - -1. Let p be w + 2*-1 - -1. Suppose p*l - 60 = -4*l. Is l prime?
False
Suppose 2*f - 4*f = 0. Suppose f*x + 46 = x. Is x composite?
True
Is (-29 - -25) + (0 - -1785) prime?
False
Suppose k - 2*z - 91 = 538, 2*z = 2. Is k composite?
False
Suppose -3*q = -7*q + 23924. Is q a prime number?
True
Suppose -15069 = -5*b - 2*z + 5776, -4*z + 4169 = b. Is b composite?
True
Suppose 0*t = -3*s - 2*t + 629, -s + 207 = 2*t. Is s prime?
True
Suppose p - 8 = 23. Is p a composite number?
False
Suppose 0 = 2*s - 3*l - 118, 4*s - l + 116 = 372. Is s a composite number?
True
Let m = -120 + 259. Is m prime?
True
Let y(k) be the second derivative of 1/2*k**2 - 4*k + 1/6*k**3 + 0*k**4 + 1/10*k**5 + 0. Is y(2) a composite number?
False
Let u be 7/3 - (-2)/3. Suppose -2*l - u*w + 5 = 0, -2*l + w + 3*w = -40. Is l a prime number?
False
Is 2976/9 + 4/12 composite?
False
Suppose -j - 2*a + 28 = 0, -j - 99 = -4*j - a. Is j a composite number?
True
Let f(k) be the third derivative of 1/60*k**5 - 3/2*k**3 + 0 + 0*k + 3*k**2 + 1/12*k**4. Is f(8) prime?
True
Suppose 8833 = 17*z - 6*z. Is z prime?
False
Suppose 5*v = -3*x + 64, 4*v = 3*v + 5*x - 4. Let i = -8 + v. Suppose 4*m + 2*t = 364, -i*m + 109 = t - 162. Is m prime?
True
Suppose 0*d + 3*b - 19 = -5*d, 3*d - 12 = -2*b. Suppose w = -f + 3*w + 16, w + d = 0. Suppose -5*v + f = x - 8, x - 29 = -2*v. Is x prime?
False
Let b(k) = k**3 + 6*k**2 - 5*k + 1. Is b(4) prime?
False
Let s(a) = 24*a**3 - a. Let o be s(-1). Is (-9)/3 + 2 - o a composite number?
True
Let i = -3 + 3. Let b be (49 - 2) + (0 - 1). Is (-1)/(-2)*(b - i) prime?
True
Suppose k - 7 + 4 = 0, -2*m = 4*k - 154. Suppose -m = -b - 3*a, -2*a + 126 = 2*b - 0*b. Is b a prime number?
True
Suppose -5*d + 3341 + 4934 = -5*g, -d + 2*g = -1653. Is d a prime number?
True
Let y(a) = a**2 + 4*a. Let d = 0 + -1. Let r be (d/1*7)/1. Is y(r) composite?
True
Let k(v) = -7*v - 1. Let b be k(-1). Let t = b + -2. Suppose 235 = t*n + 15. Is n prime?
False
Suppose -u + 2*d - d = 12, -4*u + d - 45 = 0. Is u*2/(-4)*2 a prime number?
True
Let h(t) = 2*t**3 - 8*t**2 + 6*t - 3. Let x be (5 - 6)*1*-5. Is h(x) composite?
True
Suppose 2*a - 293 - 749 = 0. Let b be (4/(-10))/((-3)/15). Suppose -6*w + b*w = p - a, 250 = 2*w + 4*p. Is w a prime number?
True
Let z = -6 + 83. Is z prime?
False
Let l be (0 - 1)*(0 + 0). Is (-4)/2 + 15 + l a prime number?
True
Is (92/4)/(((-2)/14)/(-1)) a prime number?
False
Let s(i) = 4*i**2 + 15*i + 37. Is s(-20) prime?
False
Suppose -2*x - 3*r = -44 - 50, -5*x + 2*r = -216. Let v = 203 - x. Is v prime?
False
Is ((-131)/2)/((-33)/(-18) - 2) composite?
True
Let z(x) = x**3 - 9*x**2 + x - 11. Let q be z(9). Let v = q + 2. Let d(w) = w + 19. Is d(v) prime?
True
Let a = 5 + 0. Suppose 34 = a*r - 31. Is r a composite number?
False
Let r(j) = -145*j + 1. Is r(-4) prime?
False
Suppose -3*k - k + 168 = 0. Suppose k = 5*t - 373. Is t composite?
False
Suppose -29*p + 25985 = -24*p. Is p a prime number?
True
Let s be 0 - (0 + (0 - 2)). Suppose -4*z = -5*l + 16, s*l = 6*l + 4*z - 20. Is (-14)/l*(-4)/2 prime?
True
Suppose 2*q + 3 = 5. Is 353 - ((-1 - 0) + q) a prime number?
True
Let n be 1/(-2) - 31/(-2). Let v = n + 19. Is v a prime number?
False
Suppose -5*t = -7 - 18. Suppose 205 = t*u + 20. Is u a composite number?
False
Suppose -4*o + o + 1977 = 0. Is o prime?
True
Let q = -17 - -47. Suppose 5*x = 4*s - 9*s - q, -18 = 3*x - s. Is (-194)/x + 6/9 a prime number?
False
Suppose 414 + 1088 = 4*o - 2*j, -3*j = -2*o + 745. Is o a prime number?
False
Let m(y) = 13*y**2 - y**3 - 8*y - 4*y - y**3 + 3 + y**3. Let w be m(12). Suppose 12 = w*u, 4*u + 31 = l - 0*l. Is l a composite number?
False
Let u(l) = 16*l - 25. Is u(21) composite?
False
Is (299 + 2)/(0 - -1) prime?
False
Let u(w) = 31*w**2 - w - 1. Is u(2) a composite number?
True
Is 6/18*24855 + 0/(-2) a composite number?
True
Suppose -4*k + 4 = -2*k. Suppose -f + 3 = -o, -5*f + 4*o - 6 = -22. Let i = f - k. Is i composite?
False
Let t be (228/(-8))/(3/4). Is (t/(-4))/((-2)/(-28)) a composite number?
True
Let g be 0/(2*(-3)/6). Let f be g/(-2 - -4) - -2. Suppose -1 = -f*j + 49. Is j a composite number?
True
Let k = 91 - 0. Is k composite?
True
Suppose 673 + 1501 = 2*p. Is p prime?
True
Suppose 0*l + 12 = 3*l. Suppose -l*t + 3*d = -208, t - 2*d = 83 - 26. Let y = 108 - t. Is y composite?
False
Suppose 4*r = -v - 20, -2*r - 25 = 2*v + 3*r. Let h(t) = t**3 + t**2 + 89. Is h(v) prime?
True
Let j = 647 - 439. Suppose 3*k - 5 = -2, 4*k = 4*n - j. Is n a composite number?
False
Let d(r) = 12*r**2 - r + 12. Is d(5) composite?
False
Let g be (-1)/4 + 18/8. Suppose -4*s + g*w + 1012 = 0, s + w = -2*w + 239. Is s a composite number?
False
Is (-2)/17 - (-136848)/272 a composite number?
False
Suppose -1 = 3*o - 2*a - 12, -o = 3*a. Suppose f - o*f = -314. Is f prime?
True
Suppose -3*k + 381 = -3*y, -4*y = 2*k - 2*y - 270. Is k a composite number?
False
Suppose -5*y + 3*k = -2*y - 432, 0 = -4*k + 20. Is y composite?
False
Let h be (-16)/(-6)*(-3)/(-2). Is 4*((-775)/h)/(-5) prime?
False
Let g(x) = -10*x + 12. Let o be g(7). Suppose 0*s + s = 81. Let d = o + s. Is d a prime number?
True
Suppose 0*m = 4*g - m - 28, 0 = -2*g - 5*m - 8. Suppose -3*i - 1113 = -g*i. Is i composite?
True
Let r(q) = q**3 + 5*q**2 + 1. Let m be r(-5). Suppose -z + 4 = m. Is z*3/9 + 6 a prime number?
True
Suppose -2*k - 2*k - t = -15,