*x - 660. Suppose -2*a + 565 = 5*d, 6*d = 3*d - 3*a + x. Is d a composite number?
True
Suppose 0 = -y + 20043 + 31540. Is y a prime number?
False
Let x = 27913 - 18471. Is x/5*(-4)/(-16)*10 a prime number?
True
Let u(f) = 21*f + 2. Let m be (-4)/3 - 20/(-15). Let v(s) = s**2 - s + 15. Let h be v(m). Is u(h) a composite number?
False
Suppose -l - 5*j + 1467 = 0, -3*l + 5*l = -5*j + 2944. Let b = l - 590. Is b composite?
False
Let d = 6422 - 2689. Is d a composite number?
False
Is (-1 - -917)*(-91)/(-52) prime?
False
Suppose b = 3*z, 0 = -3*z + 4*z + 2*b. Suppose 3*p + 26 - 170 = z. Suppose -5*g = 2*q - 141, 2*g + 211 = 3*q - p. Is q prime?
True
Let v = 25 + -23. Let a be (v/(-4))/((-7)/56). Suppose -5*q - t + 235 = 0, a*q - 4*t - 192 = -28. Is q prime?
False
Let f(u) = u - 4. Let c be f(6). Suppose 2*k - c*a = 2*a + 602, 4*a - 578 = -2*k. Is k a composite number?
True
Let k(m) = 2*m + 3*m**2 - 3*m**2 - 315*m**3 + 1. Is k(-1) a prime number?
False
Let y be 1310/(-6) - (-18)/(-27). Suppose -w - 21 = 5*a, 0*w + w = 2*a. Is w/(-24) - y/4 composite?
True
Let r be (1 - (-620)/8)*-6. Let v = -98 - r. Is v composite?
False
Suppose 0*f - 5*f + 90 = 0. Let v = f + -21. Is 223/(-4*v/12) a prime number?
True
Let f(p) = -7*p - 1. Let n be f(1). Let q be ((-14)/n)/((-9)/(-504)). Let r = q - 39. Is r composite?
False
Suppose 0 = -6*x + 43 - 1. Let o be 4/1 - (-8 + x). Suppose 1215 = -o*u - 3*b + 6035, 0 = u + 4*b - 947. Is u a prime number?
True
Suppose -p = -3*p - 88. Let w = p - -67. Is w prime?
True
Let d(l) = -l**2 + 6*l - 6. Let f be d(5). Suppose 5*s = -10, 0 = -3*b + 4*b + 3*s - 62. Let x = b - f. Is x a composite number?
True
Let c(j) = j**3 - 11*j**2 + 9*j + 10. Suppose 2*p = 4*r - 50, -8*r + 60 = -3*r - 2*p. Let g be c(r). Let l(m) = m + 11. Is l(g) a prime number?
True
Let n(z) = z**2 + 13*z + 17. Let g be n(-12). Let v(p) = 9 + 3*p**3 + p**3 - g*p**3 - p**2 + 15*p + 11*p**2. Is v(11) composite?
False
Let k(z) = -z + 16. Let u be k(8). Let x = 8 - u. Let j = 77 - x. Is j composite?
True
Let z be (-5 + 3)/2*-5. Suppose -5*q = -2*o, -2*o + z = -3*q + 1. Suppose -4*b - q*k + 54 = 0, -k + 33 = 3*b + 3*k. Is b prime?
False
Suppose q + 2*q = 84. Suppose c - q + 18 = 0. Is 5020/c*2/4 a composite number?
False
Let i(f) = f**2 - 15*f - 34. Let z be i(17). Suppose k + o + 5 = 48, 3*o + 12 = z. Is k a prime number?
True
Let r = 40130 + -25103. Is r a composite number?
True
Let m be 18/(-3)*1/(-3). Suppose 0 = y - m - 12. Let n(w) = 18*w + 13. Is n(y) prime?
False
Suppose 3*o + 54 - 216 = 0. Is (32418/o)/((-1)/(-3)) composite?
False
Let p be (-2 - -5890)/2 - -4. Suppose -1557 + 83 = -2*l - 5*h, 4*l = 3*h + p. Is l a composite number?
True
Let y be -1 + -2 + 18/3. Suppose -4*l + 1157 = -y*n, 5*l + 3*n - 1480 = -0*n. Is l a composite number?
False
Let h be 166/21 - (248/42 + -6). Let l(w) be the second derivative of w**4/4 + 11*w**3/6 - 17*w**2/2 - w. Is l(h) composite?
False
Suppose 5*v + 16804 = 4*s, s + 2*v - 2805 = 1396. Is s a prime number?
True
Is (-116)/87*((-81531)/(-12))/(-1) a prime number?
True
Let t = 21414 + -15293. Is t prime?
True
Suppose -4*c + 18533 = 3*b, 3*b - 4*b + 4632 = c. Is c prime?
True
Suppose 7 = g + y - 5*y, -4*y - 4 = 0. Suppose 211 = g*x - 224. Is x a prime number?
False
Let i(q) = -11243*q + 600. Is i(-7) a composite number?
False
Suppose 26 = 5*q - 24. Let b be -1*678/3*-2. Is (b/(-10))/((-4)/q) a composite number?
False
Let u = -3292 - -4800. Let x = -699 + u. Is x prime?
True
Suppose 28379 = -72*z + 109*z. Is z composite?
True
Let g(t) = t**2 + 2. Let c be g(-3). Suppose 39 + c = 2*d. Let s = -4 + d. Is s a prime number?
False
Let y(b) = 2311*b**2 + 81*b + 7. Is y(6) a prime number?
True
Suppose 7*a + 122995 = 5*n + 4*a, 2*n - 49194 = 2*a. Is n composite?
True
Let i(x) = -x - 1. Let u be i(-7). Suppose -5572 = 2*o - u*o. Is o a prime number?
False
Let b be (6/4)/(6/8). Suppose j + 470 = b*j. Suppose -5*k + j = 5*u, -k + 400 = 3*k - 4*u. Is k a prime number?
True
Let o(j) = -2*j**3 - j**2 + 1. Let l be o(-1). Let v(p) = 3*p**2 + 2*p + 67 - 4*p**2 + 2*p**l. Is v(0) a composite number?
False
Let n = 125 + -113. Let o(c) = 107*c - 41. Is o(n) a composite number?
True
Suppose -2*f = 3*f - 3*v - 39, f - 5*v = 21. Let r be 152 - f*4/6. Suppose n = l - r, 3*n + 163 = l - n. Is l composite?
True
Suppose 35*p = 37*p - 12. Is 21/(-126) - ((-457)/p + -1) a composite number?
True
Suppose -3*o + 2 = 5*i - 2*o, 2*i + 4 = 2*o. Suppose i = -4*v + 2547 - 739. Is (v/12)/((-1)/(-3)) composite?
False
Suppose -4*a + 6 = -0*a - k, -5*k = -2*a - 6. Let v(l) = 45*l**2 - 2*l + 3. Let y(o) = -88*o**2 + 4*o - 6. Let i(f) = 9*v(f) + 4*y(f). Is i(a) a prime number?
True
Let c = 65543 - 19212. Is c composite?
True
Let c = -5056 + 9257. Is c composite?
False
Let k(o) = 3*o**3 - 16*o**2 + 135*o - 31. Is k(21) composite?
False
Let g = 458 - -43. Let a(c) = -3*c + c**2 + 307 - c**3 + c - 129 + g. Is a(0) composite?
True
Let m(x) = 36*x + 1. Let z be m(6). Let u = z - -186. Is u a composite number?
True
Let j(w) = -113*w - 6. Let d = -19 + 15. Is j(d) a composite number?
True
Let n = -159 - -284. Let i = n - 66. Is i prime?
True
Let l = 123864 - 64261. Is l prime?
False
Let y(k) = -560*k**3 - 2*k**2 + 1. Let v(r) = -r**2 - 4*r + 4. Let o be v(-5). Is y(o) prime?
False
Suppose 2*d = 0, -2*l - 3*d + 21 = 5. Let h(x) = 3*x**2 + 3*x - 5. Is h(l) a composite number?
False
Suppose u - m = 4724, 3*u + 2*m - 9278 = 4879. Is u prime?
True
Let j(p) = 9*p**2 - p + 6. Let g be j(4). Let z = g + 11. Is z prime?
True
Let g(s) = s**3 - 14*s**2 - s - 12. Let w be g(14). Let z = -26 - w. Suppose 4*c = -z*c + 148. Is c prime?
True
Suppose 0 = -0*l + 3*l - i - 50, -4*i = 5*l - 89. Let k = -5 + -9. Let z = l + k. Is z a composite number?
False
Let a = 19837 + -13296. Is a composite?
True
Let l = 8922 + -5623. Is l a prime number?
True
Let d(y) = 0*y**2 - 2*y**3 - 2*y - 1 - 5*y**2 + 3 - 3. Is d(-6) a composite number?
False
Is (-3 + 6 - -68250)*(-3)/(-9) a composite number?
False
Let f(d) = -3*d**2 + 2*d + 6. Let u be f(-5). Let x = u - -114. Is x composite?
True
Let x(d) = -16*d**3 - d**2 + 2. Let a be x(-1). Is (-316)/(-1 + 3)*a/(-34) a prime number?
True
Let p = 1710 - 349. Is p a prime number?
True
Suppose 0 = -5*n - 3*t - 0*t + 121, 5*n = -4*t + 123. Suppose -1314 + 222 = -6*w. Let o = w - n. Is o prime?
False
Suppose 4 = -5*q - 4*s + 2*s, -3*q - s - 3 = 0. Let u be 0/(0 - (-2)/q). Suppose 4*p = -u*p + 348. Is p a composite number?
True
Let h(b) = 2*b**2 + 4*b + 1. Let v(r) = r**3 + 5*r**2 + 8*r + 2. Let t(z) = -7*h(z) + 3*v(z). Is t(6) a prime number?
True
Suppose 1 + 1 = 4*x + 3*y, 2 = -x - 2*y. Suppose -x*f = -4*w + 476, -f + 133 = w + 2*f. Is w composite?
True
Let l(o) = 10*o - 12*o + 5*o**2 - 3*o**3 + 1 - 2*o**2. Let f be l(2). Let x = 226 + f. Is x a composite number?
False
Let d(w) = -13*w**3 - 5*w**2 + 9*w - 15. Let s(l) = 7*l**3 + 3*l**2 - 5*l + 8. Let u(v) = 6*d(v) + 11*s(v). Let r be u(8). Let m = 545 + r. Is m a prime number?
False
Let w = -16843 - -28746. Is w prime?
True
Let t = -568 + 2066. Let h = 2585 - t. Is h a prime number?
True
Suppose 4*w + w = 8850. Suppose -4*r + 2*r = -w. Suppose -2*b + r = -185. Is b composite?
True
Let w(l) be the third derivative of 304*l**4 + l**3/6 - l**2 + 17*l. Is w(1) prime?
True
Suppose 0 = 5*p - t - 60, 3*t = 2*p + 3*p - 70. Suppose p*h - 13*h = -1516. Is h composite?
True
Let f be -1 + (8 - 3 - -2). Let w(a) = 84*a + 11. Let l be w(f). Suppose 0 = 3*y - l + 158. Is y composite?
True
Let a = -29 - -11. Let o(v) = 10*v**2 + 5*v + 5. Is o(a) composite?
True
Let u(y) = y + 1. Let x(p) = -11*p - 18. Let t(r) = r**2 + 5*r + 5. Let i be t(-4). Let l(m) = i*x(m) + 2*u(m). Is l(-10) prime?
False
Suppose 5*y - 8844 = 1956. Suppose d = 4*d - y. Let h = -461 + d. Is h prime?
False
Suppose -36 = -5*p + 24. Suppose z - 4*z - 4*d + 175 = 0, 3*d = p. Is z prime?
True
Let w(a) = 11*a**3 - 6*a**2 + 3*a - 3. Let t be 0 - -11 - 4 - 2. Let f be w(t). Suppose 2*j - f = -j + 4*h, -4*j = -3*h - 1661. Is j a composite number?
False
Suppose -3811 + 21035 = 8*a. Is a a prime number?
True
Suppose -j - 5*a - 7 = 0, 2*j - 2*a = -a + 8. Let c be (8/(-10))/(3/(-2235)). Suppose c = j*h + 113. Is h prime?
False
Suppose -294 = u - 2375. Is u composite?
Fals