 + 671. Is m a composite number?
False
Let b be 2218/14 - 6/14. Suppose b = -3*w + 4*w. Is w a prime number?
False
Suppose 3*j - 199 = 2*j. Suppose 3*h - 32 = j. Is h a composite number?
True
Suppose 0 = -2*m - o + 744, 5*m - 4*m - 5*o - 361 = 0. Is m composite?
True
Let y = 2124 - 725. Is y a composite number?
False
Let a(b) = -b**2 + 1. Let d be a(1). Suppose -5*u = d, 828 = 4*h - 3*h + 5*u. Suppose 5*y - 647 - h = 0. Is y composite?
True
Let o(c) = -c**2 - 2*c - 2. Let w be o(-6). Let a = 61 + w. Is a prime?
False
Let n(u) = 3*u**2 - 21*u - 11. Is n(17) prime?
True
Let l(v) = 419*v**3 - v**2 + v - 1. Is l(2) prime?
False
Let t = 6 - 1. Let i = t - 3. Suppose 5*j - 405 = i*n + 44, -3*j = 5*n - 288. Is j a prime number?
False
Let m = 1880 + -969. Is m a prime number?
True
Let s be ((-6)/4)/(1/(-10)). Suppose n = -5, n = -2*x + 7*x - s. Is x prime?
True
Let r be -1 + 1 - -1 - -2. Suppose -3*a = r - 15. Suppose -5*o - 3*s - s = -1103, -a*o - 3*s = -883. Is o a prime number?
True
Let u(l) be the second derivative of 23*l**6/720 + l**5/60 + l**4/6 - l. Let s(n) be the third derivative of u(n). Is s(7) a composite number?
False
Suppose 4*z = 2*z + 4*p + 1798, z = -2*p + 903. Is z composite?
True
Let g(x) = -6*x**2 - 2*x + 3*x + 0*x + 2*x + x**3 + 4. Let i(n) = -n + 12. Let p be i(6). Is g(p) a composite number?
True
Let s(h) = -340*h + 7. Is s(-3) prime?
False
Let t(j) = -j**3 + 5*j**2 - j - 2. Let s be t(2). Suppose 18 = 2*r - s. Is r a prime number?
True
Suppose 4498 = 4*w - 850. Is w a composite number?
True
Suppose 0*r + 2*r - 28 = 0. Let i = r + -10. Suppose -5 = a - i, a = 4*t - 297. Is t composite?
True
Let j(x) = 588*x**2 - 4*x - 5. Let k be j(4). Is k/6*(-2)/(-3) prime?
False
Let r(i) = -249*i - 4. Let z be r(-2). Let v = -196 + z. Is v prime?
False
Let f be (-2)/(2/(-1002) + 0). Let x = f + -676. Is x a composite number?
True
Is (-8)/(-32) + 2022/8 prime?
False
Suppose g + 3*g - 3*z + 9 = 0, 4*g - 4*z = -12. Suppose x + 0*x - 14 = g. Is x a composite number?
True
Let r = 3 + 0. Let p be r/((-6)/8) - 1. Let g(z) = -26*z - 3. Is g(p) prime?
True
Suppose 5*s + h - 471 = 4*h, 5*h = -4*s + 362. Is s a composite number?
True
Suppose 6 = -2*j + 16. Suppose -5*f - 265 = -j*x, -3*f = -0*f - 6. Is x a composite number?
True
Let c be 2/(-8) + 78/24. Suppose 3*n - 3*o = -0*o + 432, 4*n - 583 = -c*o. Is n a composite number?
True
Let k = 12 + -7. Suppose 5*n - 1300 = k*f, -4*n + 1067 = 4*f + f. Is n prime?
True
Let m(r) = r**3 - 8*r**2 - 10*r. Let h be m(8). Is (-1 - h)*(5 + -4) a prime number?
True
Let s(z) = -z - 5. Let g be s(-10). Suppose -g*y + 245 = -140. Is y a composite number?
True
Suppose 2*h + 3*q - 23 = 0, 5*h + 0 = 3*q + 5. Let a = -2 + h. Is 357/27 + a/(-9) a prime number?
True
Let s be 312/54 - (-4)/18. Suppose -k = -s*k + 185. Is k composite?
False
Let b be 162/42 + 1/7. Suppose 131 = 3*k - 2*k + 3*r, k - 131 = -b*r. Is k a composite number?
False
Let s = 0 - -2. Suppose s*n = -n. Suppose 0 = -c - 3*k + 44 - n, 8 = 4*k. Is c composite?
True
Let h(s) = -s**3 + 5*s**2 - 4*s. Let y be h(3). Let r(q) = 161*q + 5. Is r(y) a prime number?
True
Suppose -4*w + 3*v - v - 38 = 0, -v = 3*w + 31. Let r = 31 + w. Is r a prime number?
False
Let y(a) be the third derivative of a**4/12 - 17*a**3/6 + 2*a**2. Is y(16) composite?
True
Let s(d) = d**3 + d**2 + 1. Let u(z) = -40*z**3 + 4*z**2 + 5. Let g(b) = 4*s(b) - u(b). Is g(1) a composite number?
False
Suppose o = 2*j + 19, 4*j + 16 = o + 3*j. Let v(k) = -13*k**2 + 65*k**2 + o*k**2. Is v(-1) a composite number?
True
Suppose 0 = -5*d, -4*k + 2*k - 4*d = -2798. Is k composite?
False
Let t(y) = 72*y - 1. Suppose -h + 4 = 1. Is t(h) prime?
False
Let s(z) = -1919*z**3 - z - 1. Is s(-1) prime?
False
Let y = 70 - -53. Is y a prime number?
False
Let o = 678 + -379. Is o a prime number?
False
Let p(g) be the first derivative of g**7/840 + 7*g**6/360 - g**5/60 - g**4/3 + g**3/3 + 1. Let k(x) be the third derivative of p(x). Is k(-7) a prime number?
False
Let y = 18 - 11. Suppose -y = 4*m + 5. Let d(z) = -z**3 - z**2 + 1. Is d(m) prime?
True
Suppose -121 - 93 = -g. Suppose 3*u - g = -2*u + 2*o, -u + 3*o = -48. Is (u/(-8))/(2/(-8)) a prime number?
False
Let k = 0 - -2. Let u(i) be the first derivative of i**4/2 - 2*i**3/3 - i**2/2 - 2*i + 1. Is u(k) a composite number?
True
Let z = 1015 + -522. Is z a prime number?
False
Let d(k) = 3*k. Suppose -2*j + 1 = -1. Let m be d(j). Is 58/m - (-1)/(-3) a composite number?
False
Let m(d) = -6*d - 57. Is m(-18) prime?
False
Let z be 46*(-1 - (-6)/4). Let m be 82 + (-1 - (2 - 3)). Suppose z = -u + m. Is u a composite number?
False
Suppose -4*l = -5*f + 4, 0 = -l - 3*l + 16. Suppose 3*p = f*p - 2. Is -3 + 3 - (-50)/p a prime number?
False
Suppose 5*i - 2*h = 14, 4*i - 5*h + 0 - 18 = 0. Suppose 0*p = -i*p - 150. Is 2/8 + p/(-4) a composite number?
False
Let v(i) = 10*i + 3. Let m be v(4). Suppose 3*k - m = -u, 82 = 4*u + 3*k - 63. Is u composite?
True
Let x(y) = -19*y + 2. Let b(a) = a - 1. Let j(d) = -3*b(d) - x(d). Let i be j(1). Let h = i - 10. Is h a composite number?
False
Let h = 0 - -8. Suppose h = 4*w - 0. Suppose 2*z - 45 = o - 2*o, -4*o = -w*z + 30. Is z a prime number?
False
Suppose -y - 2*x = -0*y - 8, 0 = -2*y + 2*x - 14. Let t(j) = 4*j**2 - 3*j - 3. Is t(y) composite?
False
Let r = 4 - 1. Suppose r*g = -58 + 253. Is g a prime number?
False
Let y(z) = 2*z**2 - 47*z + 57. Is y(30) a composite number?
True
Suppose -28 = -r + 22. Let d = r + 266. Suppose 0*z = 4*z - d. Is z composite?
False
Let t = 12 + -7. Let x = 30 - t. Let k = x + -18. Is k a composite number?
False
Suppose -2*h = 0, -4*x + 2 = -3*x - 2*h. Is ((-5)/(-2))/(x/52) prime?
False
Suppose 3*o + 2*s = 64, 3*o = -o + 2*s + 62. Let q(z) = 8*z**3 + z**2 - 1. Let f be q(1). Let m = o - f. Is m prime?
False
Let x = -6 - -13. Let v(a) = a**2 - 6*a + 10. Let u(b) = b**2 - 6*b + 9. Let j(c) = 3*u(c) - 2*v(c). Is j(x) a prime number?
False
Let c(z) = 2*z**2 + 16*z + 7. Suppose 3*s + 37 = 1. Is c(s) prime?
True
Suppose 0 = -5*s - 2*f + 5, 0 = -3*s + 2*f - 5*f - 6. Is 4/4 - (-102)/s prime?
False
Suppose s - 5*s + 4*m = -24, -m - 42 = -5*s. Suppose -4*h + 2*o + 37 = o, -s = -3*h - 3*o. Let p(t) = -t**2 + 18*t - 9. Is p(h) composite?
False
Let w(t) = -t**3 - 10*t**2 + 12*t - 14. Is w(-13) a prime number?
True
Let w(d) = 36*d. Let o(q) = -9*q. Let i(r) = -21*o(r) - 5*w(r). Let g be i(3). Suppose 0 = -p + 5*b + g, 77 = 5*p - b - 34. Is p a composite number?
True
Let a = 0 + 2. Suppose 4*c + 2*o = 6, a*o + o + 23 = 2*c. Suppose -c*r = -3*l + 79, 3*r - 6*r = -5*l + 117. Is l prime?
False
Is (-29199)/(-24) - (-9)/24 composite?
False
Let r be (-4)/(-10) + 24/15. Let w(a) = 1 - 2 + 97*a**r - 35*a**2 + 58*a**2. Is w(-1) composite?
True
Let i be ((-10)/(-4))/((-1)/(-2)). Suppose -52 = -z - i*c, -2*c + 13 = 3. Suppose -25 = -2*j - 4*b + z, 0 = 3*j - b - 78. Is j composite?
True
Let f be 15*(12/9 + -1). Let d = f - 4. Suppose 8 = -4*t, 0 = 3*o - 3*t - 52 + d. Is o a composite number?
True
Let z(i) = i**2 + 3*i + 1. Let m be z(-3). Suppose -l - 2 = -0. Is (7*m*-2)/l a prime number?
True
Let a(k) = k**2. Let q be a(0). Suppose 5*r - r - 212 = q. Is r a prime number?
True
Let h(x) = -x**2 + 5*x + 8. Let p(y) = -y**2 + 5*y + 2. Let f be p(4). Let g be h(f). Suppose g*l - 58 = 4*m, l = 6*l - 5*m - 120. Is l a prime number?
True
Let u = 3 - -24. Suppose 51 = 3*i - u. Is i prime?
False
Suppose -790 = -4*z + 3*h, 0 = -3*z - h - 3*h + 605. Is z prime?
True
Let b be (6/2)/(5/(-90)). Let x be (b/(-15))/((-1)/(-5)). Is 4/x - 817/(-9) a prime number?
False
Let g(x) = 22*x**2 - 11*x + 2. Is g(5) a prime number?
False
Suppose 3*q = q + 30. Is q a composite number?
True
Let l = 192 + 163. Is l composite?
True
Let w(u) = u**2 - 5*u + 5. Let n be w(5). Suppose 15 = 3*f - 0*f - 3*d, d = -n*f - 5. Suppose f = -p + 24 + 65. Is p prime?
True
Suppose -1 + 9 = -4*i. Let o(u) = -41*u - 3. Is o(i) composite?
False
Suppose -1254 = 5*k - m, -k + 0*k + 4*m - 247 = 0. Let j = k + 122. Is ((-8)/12)/(2/j) composite?
False
Is (0 - -1)*(-3)/(24/(-9208)) a composite number?
False
Suppose 11*h - 3*g = 6*h + 16382, -5*g + 16390 = 5*h. Is h prime?
False
Let r be 1/(-1*3/69). Let q = 11 - r. Is q a composite number?
True
Let z be (-6)/4*24/(-9). Suppose g + z*g