 l*j + 189. Suppose 3*x + s - 238 = 0, s - o = -4*x + 140. Is x composite?
False
Let n(u) = -252*u - 1. Let y(m) = -251*m - 1. Suppose h - 6 = -2. Let w(o) = h*y(o) - 3*n(o). Is w(-1) prime?
False
Let f = 385 + -242. Suppose -101 + 760 = 5*l + x, -l - 3*x = -f. Is l prime?
True
Let n(t) = 0*t - 2 - 2*t - 4 + t. Let z = -16 + 8. Is n(z) a composite number?
False
Let u(k) = -k**3 - 6*k**2 - 5*k - 4. Let t be u(-5). Let l = t + 9. Suppose -82 = -j + l*i, 188 = -0*j + 2*j - 2*i. Is j composite?
False
Let g(l) = 2*l**3 + 3*l**2 + 8*l - 7. Is g(8) composite?
True
Suppose 0 = -b - f + 2, 3*b + 3*f = 8*b - 2. Let x(w) be the second derivative of 23*w**5/20 - w**4/12 + w**3/6 - w**2/2 - 14*w. Is x(b) a composite number?
True
Suppose -2*z + 2*g = -7*z + 387, 2*g = -z + 71. Is z composite?
False
Let z(n) = n**3 + 12*n**2 - 10*n - 26. Is z(-12) prime?
False
Let u(h) = 5*h - 3. Let b(g) = 10*g - 5. Let l(k) = 3*b(k) - 5*u(k). Is l(2) composite?
True
Let q(k) be the second derivative of k**4/6 - k**3/3 + 2*k. Let o be q(2). Is (89/2)/(2/o) prime?
True
Suppose 5*b = -3*b + 280. Is b prime?
False
Let c(m) = 47*m**2 + 27*m + 11. Is c(-13) a composite number?
False
Suppose -12 = -5*i + 3. Suppose u + t = -i, 2*u + 0*t - t - 9 = 0. Is 204 + 1*(-2)/u a composite number?
True
Suppose -8*q + 4*q = -628. Is q prime?
True
Let f(i) = -2*i + 149. Let h be f(0). Let u = -18 + h. Is u a prime number?
True
Suppose -9 = -2*s - 5*d, -6*s = -11*s - 5*d + 15. Suppose -3*t + 4*y = -1420, 617 = s*t - 3*y - 329. Suppose 4*m - 8*m + t = 0. Is m prime?
False
Suppose 0 = -4*u + 8*u - 52. Is u prime?
True
Suppose -v - 2618 = 4*y - 9*y, 4*v + 2627 = 5*y. Let p = y + -338. Is p a composite number?
True
Suppose 2*y + 5*b = 2, -5*y + 5*b = -17 - 23. Suppose y*s = 2*s + 652. Let w = -72 + s. Is w prime?
False
Let h = 143 + -92. Is h prime?
False
Let p(w) = w + 1. Let r be p(3). Suppose 0 = -r*i + 247 + 69. Is i a prime number?
True
Let o = -480 - -1345. Is o prime?
False
Let y = -3 - -5. Is 33 - y - (-3 - -1) a prime number?
False
Suppose -3*r = -3*o + 30, -3*o + 4*r + 51 = 2*o. Let i = o - -14. Is i a composite number?
True
Let a(l) = -48*l - 47. Is a(-17) a prime number?
True
Let a(g) = 154*g**2 + 5*g + 10. Is a(-3) a prime number?
True
Suppose -i - 3*i + 88 = 0. Is i prime?
False
Suppose 2*q - 660 - 102 = 0. Suppose 2*o - 1488 = -4*b, -3*o + q = b + 2*o. Is b prime?
False
Suppose 6540 = 7*j + 1997. Is j prime?
False
Let j = -65 + 29. Let h = -13 - j. Is h composite?
False
Let i be 18/8*56/(-21). Let a(m) = 2*m**2 + 2*m + 7. Is a(i) composite?
False
Suppose -10*y - 5762 = -20302. Is y prime?
False
Suppose 2*o = -0*o + 10. Suppose -o*s + 19 = -u, -5*u = -3*s + 22 + 7. Suppose 0 = c + s, -3*q - 3*c + c = -261. Is q prime?
True
Suppose -8*h + 9235 = -3*h. Is h composite?
False
Suppose 0 = 3*n + j - 568, 622 + 117 = 4*n + 5*j. Is n prime?
True
Let r(v) be the second derivative of v**5/120 + 7*v**4/24 + v**3/3 - 2*v. Let h(x) be the second derivative of r(x). Is h(-5) a composite number?
False
Is 30/4*60/18 + -3 a composite number?
True
Suppose 0 = -9*j - 67 + 760. Is j a prime number?
False
Suppose 0*f - 5*f = 3*q - 494, 4*f - 2*q - 404 = 0. Suppose -3*a = 4*w - 218, 2*w - f = 5*a - 2*a. Is w composite?
False
Let m(n) = -7*n + 7. Let f be m(5). Is (-8)/f + (-136)/(-14) composite?
True
Suppose -5*m + 19 = 4. Suppose -3*g - 2*g + 40 = -m*h, 2*h + 34 = 4*g. Is g a composite number?
False
Suppose -w - 2*h + 11 = 4, 0 = w + 5*h - 7. Suppose w = -2*g - 3*b, b + 6 = -g - b. Suppose -y - g*y = -295. Is y a composite number?
False
Let v = -1694 + 3633. Is v prime?
False
Let y = -17 + 17. Suppose -5*s - 11 + 1 = y, -5*s + 610 = 4*f. Is f a prime number?
False
Suppose 2*f = -2*f + 8. Let a = 18 - -3. Suppose f*j - a = -j. Is j a prime number?
True
Let u(n) = -214*n + 13. Is u(-10) a composite number?
False
Let n = 621 - 93. Let b = n + -341. Is b composite?
True
Let j = 47 - -22. Let d be (j - (2 + -1)) + 1. Let o = 124 - d. Is o composite?
True
Let r(w) = 13*w + 2. Suppose -8*k = -3*k - 55. Is r(k) prime?
False
Suppose 2*w - 5*o = -235 + 964, 0 = 4*w + 4*o - 1528. Is w composite?
True
Let k(z) = -z**2 - 4 + 2*z**2 - 3*z**2 - z - 2*z. Let v be k(-4). Let u = v + 43. Is u prime?
True
Let h = -11 - -23. Suppose -h*f = -17*f + 105. Is f a composite number?
True
Let d(a) = -12*a**3 - 3*a**2 - 3*a + 2. Let v = -2 + -1. Let y be d(v). Suppose 0 = 4*p - 4*b - y, 0*b = b. Is p a composite number?
True
Let y(i) = -2*i**3 - 4*i**2 + 2*i - 9. Is y(-7) a composite number?
False
Suppose -21 = -0*o + o. Let c = o - -42. Is c a composite number?
True
Suppose 5*f + 268 = y, -500 = -2*y - f - f. Is y a prime number?
False
Suppose 0 = -4*p + 693 + 271. Suppose p + 224 = 5*y. Is y composite?
True
Let x(g) = 22*g + 2. Let w = -2 - -4. Is x(w) prime?
False
Is 758*(20/8 + -2) prime?
True
Let l(f) = -94*f - 6. Let r be l(-6). Let g = -271 + r. Is g composite?
True
Suppose 0*x = 3*f - 2*x + 54, -4*f - 2*x - 72 = 0. Let r be (-14)/3*f/(-4). Let k = r + 35. Is k a prime number?
False
Suppose 4*r + 6 = 3*x, -4*r = -r - 4*x + 8. Suppose -3*j + 7*j - 2*n - 618 = r, -760 = -5*j + 5*n. Is j composite?
False
Is 1*(-1)/((-3)/201) composite?
False
Let r be (-1 + 2)/(-1 - -2). Let z = 3 - r. Is z/((-2)/(-67) + 0) prime?
True
Suppose -3*h = 2*g + 16, 2*g - 9 + 1 = 0. Let i(c) = c + 7. Let k be i(h). Is (k - 74)*1/(-3) a prime number?
False
Suppose 0 = -n + h + 8, 4*n - 5 = -2*h - 3*h. Suppose j = -2*a + a + 4, 2*a - j = n. Suppose -3*y + 90 = -a*w - 66, -y - 2*w + 55 = 0. Is y a composite number?
False
Suppose 1830 = -6*i + 9996. Is i a composite number?
False
Let t = -10 - -8. Let w(n) = -21*n**3 - 3*n**2 - 4*n - 3. Is w(t) prime?
False
Suppose 0*k = -11*k + 45463. Is k a composite number?
False
Let l(a) = 15*a**2 + 2*a - 4. Is l(5) prime?
False
Let w be 48/1*(-1)/(-2). Is (-491)/(-3) - 16/w a prime number?
True
Suppose -2*s - 3*z - z = -582, -4*s = z - 1171. Is s composite?
False
Let x(v) = v + 49. Let t(h) = -h - 2. Let y be t(-4). Suppose -3*s = -y*s. Is x(s) a prime number?
False
Let w be ((-4)/10)/((-2)/30). Suppose -h + w - 3 = 0. Suppose 4*k + k = l + 432, -5*l = h*k - 276. Is k a prime number?
False
Let m = 44 + -3. Is -3 + m*(2 + -1) prime?
False
Let g be (-3)/((-10)/4 + 1). Suppose 4 + 2 = g*i. Suppose -3*l = z - 52, 0*z + 5*l + 86 = i*z. Is z prime?
True
Let a(b) = b**2 + 4*b + 3. Let l be a(-3). Suppose -3*u + l*u = -30. Is (-14)/(-4)*(0 + u) a prime number?
False
Suppose -6283 = -5*t - 1518. Is t prime?
True
Is (11557/(-13))/(1 + -2) a composite number?
True
Let y be 3/(6/4) - -2. Suppose -6*b + 3*b - 3*d = -198, -4*d = 5*b - 328. Suppose y*h - 68 - b = 0. Is h a composite number?
True
Suppose -s - 360 = 5*y - 8*y, y - 110 = -3*s. Is y a prime number?
False
Suppose 3365 = -44*d + 45*d. Is d prime?
False
Let t(o) = 5*o**2 - 5*o + 4. Let c = 10 + -7. Is t(c) a composite number?
True
Suppose 5*c - 691 - 114 = 0. Is c a composite number?
True
Let g be (-464 - 1)*(-6)/5. Let a = -347 + g. Is a prime?
True
Suppose 0 = -0*a + 5*a - 995. Is a a composite number?
False
Suppose 0 = g + 141 + 648. Let d = -158 - g. Is d a composite number?
False
Suppose -2*v + 5*o + 21 = 0, 3*v - 59 = 4*o - 2*o. Let x = -6 + v. Suppose x = 5*f - 48. Is f a prime number?
True
Suppose -y + 0*y + 449 = q, 4*q - 1760 = 5*y. Is q a prime number?
False
Suppose 2*a = -3*d + d + 234, 242 = 2*d - 2*a. Suppose -4*h + 77 + 32 = 3*m, 3*m - d = h. Is m prime?
False
Suppose 0*k + 760 = 4*k. Let q = 320 - k. Suppose -6*z + z + q = 0. Is z composite?
True
Let i(u) = -u**3 + 19*u**2 + 8*u - 25. Is i(19) a composite number?
False
Suppose -5*q = -3 - 7. Let l = 12 - q. Is l composite?
True
Let h(r) = 15*r**2 - 44*r - 13. Is h(-10) prime?
False
Suppose 0*k = -2*k + 186. Let i be (-2 - (-2 - 0)) + 0. Suppose i = 2*f + f - k. Is f composite?
False
Let n be (-279)/(-12) + 2/(-8). Suppose 0 = 2*o - 2*t - 21 - 17, -2*o + n = t. Is o prime?
False
Suppose -p = -288 - 83. Is p prime?
False
Let w(n) = -n**3 - 8*n**2 - 11*n - 9. Let v be 2/(-5) + 132/(-20). Is w(v) composite?
False
Let h = -4 - -10. Is 4/h*(-186)/(-4) composite?
False
Let q = -899 - -1678. Is q prime?
False
Suppose 0 = 2*m - 0*m - 212. Suppose u - 5*s - m = 0, 6*u - 282 = 3*u + 3*s. Is u prime?
False
Is 10/