 3053, 2*n = 3*h + 1475. Is n composite?
False
Let w(r) = r**3 + 2*r + 3. Let k be w(0). Is (-16329)/(-7) - (19/7 - k) a composite number?
False
Suppose -2*d = -d - 3*j + 825, 4125 = -5*d - j. Let l = 470 + d. Let b = l + 504. Is b a prime number?
True
Let w = 46 + 271. Is w a composite number?
False
Suppose 7*m - 2360 - 4465 = 0. Let p be m/(-5)*(-26)/5. Suppose -24 - p = -2*h. Is h a prime number?
False
Suppose 3*w - 5*b = 16 + 13, -13 = -3*w + b. Let k be w/9 + 3257/3. Suppose -379 = -5*d + k. Is d a composite number?
False
Let t be 45/10*(-2)/(-12)*16. Let c(f) = f**3 - 7*f**2 + 16*f + 1. Is c(t) a prime number?
False
Let n be ((-4832)/(-40))/((-2)/(-20)). Suppose 4*b = 5044 - n. Is b a prime number?
False
Let q(v) be the third derivative of -v**6/40 + v**5/20 + 7*v**4/12 + 7*v**3/6 + 17*v**2 + v. Is q(-6) a composite number?
True
Suppose -h - 18993 = 23*m - 26*m, m + h = 6331. Is m prime?
False
Suppose 5*n - 116393 = -2*u, -u - 36257 = -n - 94443. Is u a prime number?
True
Let p(d) = -1299*d - 6. Let m be p(4). Let t = 7535 + m. Is t prime?
True
Let u(s) = 281*s - 3. Let d(r) = -562*r + 5. Let p(j) = -6*d(j) - 13*u(j). Is p(-4) a composite number?
True
Let l(o) = -553*o**3 - 6*o**2 + o + 2. Let b(z) = z**2. Let d(s) = 5*b(s) + l(s). Suppose -3 = 6*g + 3. Is d(g) a composite number?
True
Let c be (2482 - (4 + 0)) + (-3)/3. Let d = c + -1638. Is d prime?
True
Suppose 0 = 12*p - 7*p + 220. Let f be ((-3)/(-6))/(2/p). Let w(u) = u**3 + 11*u**2 - 2*u + 1. Is w(f) composite?
False
Let d(z) = z**2 - 3*z - 24. Let b be d(6). Let g(w) = -w**3 + 3*w**2 - 12*w - 2. Is g(b) a prime number?
False
Suppose -2*s + 7 = -0*s + 3*l, -3*s = l. Let g(u) = 102*u**2 + u. Let b be g(s). Let i = 148 - b. Is i composite?
False
Let o(f) = f**2 - f - 16. Let v be o(0). Let s be (-44)/v - (-2)/8. Suppose -3*b - i = -265, -s*i = -b + 45 + 30. Is b prime?
False
Suppose x - 4051 = i, 3*x - 5938 = -3*i + 6233. Is x a prime number?
False
Let n = 806 + -240. Is n a prime number?
False
Suppose 3*m - 84 = 12. Is 9074/10 - m/80 a composite number?
False
Suppose 0*s - 9 = -s. Let b = -4 + s. Suppose -26 = -b*h + 149. Is h composite?
True
Suppose 0 = 78*j - 14*j - 259136. Is j prime?
True
Suppose -4*d = -z + 4065, -4*d - 4069 = -z + d. Is z a composite number?
False
Let y(l) = 17*l - 12. Let i(f) = -17*f + 11. Let k(q) = 3*i(q) + 2*y(q). Let n be k(13). Is 2/(-2 - 432/n) a prime number?
True
Suppose -14*o - 1761 + 9349 = 0. Is o a composite number?
True
Let a be (-3 + -2)*(-12)/(-20). Is a/(-12) - 1782/(-8) a composite number?
False
Is 5/(-10)*-22917*(-4)/(-6) composite?
False
Let q(p) = -11*p**2 - 3*p + 10. Let j be q(4). Let i = j + 255. Is i prime?
False
Suppose 72*b - 11250848 - 7045720 = 0. Is b a composite number?
False
Suppose 0 = -5*y - 5*i + 4400, -4*i + 2*i = 4*y - 3528. Let p = y + -139. Is p composite?
True
Suppose 2*t - 17 = -13. Let b(p) = 480*p - 1. Is b(t) composite?
True
Suppose 0 = 5*z - 6 + 46. Is z/(-28) + (-4929)/(-21) a prime number?
False
Suppose 0 = -0*v - 2*v + 46. Suppose 4*d + 3 = v. Let r = 9 - d. Is r prime?
False
Let q = 26 + -26. Is q - (-29)/(-2)*-10 composite?
True
Let u(k) = 42*k + 3. Suppose -r = -t + 4*t - 10, 5*r = 4*t - 45. Let b be u(t). Suppose -b = 2*y - 799. Is y prime?
True
Is (-258)/(-36) - 7 - 14981/(-6) prime?
False
Let i be (-284)/(-8) - 3/(-6). Suppose -2*y = 4*r - 6*y - i, -12 = -r + 2*y. Is (r/12)/(2/1492) a composite number?
False
Let x = 128022 + -75533. Is x a prime number?
True
Suppose -11*x = -3*x - 17192. Is x prime?
False
Let n(r) = -r**3 + 10*r**2 + 12*r - 11. Let w be n(11). Is 295 + w*4/(-16) a composite number?
True
Is ((-1)/5)/((-20)/(-6925))*-764 a composite number?
True
Let k = 35 + -32. Suppose -k*m + 1715 = -n, 3*m + 4*n = 2046 - 341. Is m prime?
True
Suppose 4*c - 4651 = -o, -c + 2*o = -855 - 319. Let w = -693 + c. Is w prime?
False
Let p(o) = -70*o**2 + o + 1. Let f be p(-1). Let c be (-52)/(-14) - 20/f. Suppose 0 = -g - c*g + 1315. Is g a composite number?
False
Suppose 2*j + j = -5*q + 3865, -j + 5 = 0. Suppose -p = 3*t - 0*p - 11, 20 = -5*p. Suppose 0 = t*l + 5*g - q, 3*g - 25 = -2*g. Is l prime?
True
Let q = -32 + 45. Suppose 12*i + 163 = q*i. Is i a composite number?
False
Suppose -5*z + 15 = 0, 5*s + 2*z - 125303 + 22482 = 0. Suppose -3213 = 10*v - s. Is v prime?
False
Let h(y) be the third derivative of 13*y**6/90 + y**5/60 - y**4/8 + y**3 + y**2. Let k(n) be the first derivative of h(n). Is k(2) a prime number?
False
Suppose -23955 = 2*a - 3*l - 65959, 84018 = 4*a - l. Is a a composite number?
True
Let r = -10 - -12. Suppose q - 5 = r. Suppose q*v + 3*x - 898 = 2*v, v + 4*x = 183. Is v prime?
True
Suppose -41 = -2*z + 5*v, -z - 30 = 5*v - 13. Suppose -5*j + z = -j, 5*j = 2*w - 1624. Is w prime?
False
Suppose -5*u = o + 2*o + 188, 0 = -o - 5*u - 66. Let v = 116 + o. Suppose -2*l - v = -3*l. Is l composite?
True
Suppose -8 = 3*f - 0*u - u, 5*u - 30 = 5*f. Is (-12)/(288/(-23080))*(2 - f) a prime number?
False
Let u(d) = 5*d**3 - d**2 + 3. Suppose -3*m = -6*m + 9. Let g be u(m). Suppose 3*l = -4*b + 265, b - 3*b - 5*l = -g. Is b a composite number?
False
Let a(j) = 31*j**3 + j**2 - 1. Let x(c) = c - 3. Let y be x(5). Is a(y) composite?
False
Let w be 0*((-7)/28 - 3/(-4)). Suppose 4*m + 239 = l, 0*l + 3*l - m - 739 = w. Is l prime?
False
Let b be (8 - 16/4) + -2. Let v be (b + -27)*(-6)/(-5). Let g = v + 171. Is g a composite number?
True
Let q(b) = -b**2 + 3*b + 5. Let y be q(4). Suppose -2*v + 9 + y = 0. Suppose 5*x + 55 = 5*l, -25 = -v*l + 3*x + 38. Is l a composite number?
True
Let v = -48 - -42. Is 10*(-4 + (-225)/v) a prime number?
False
Let f(t) = 12*t - 3. Let h be f(2). Let z = -16 + h. Suppose -4*m + 1037 = 3*u, z*m - 958 = -3*u + 342. Is m prime?
True
Suppose -4*m + 6 - 18 = 0, -3*d = m - 966. Let g = d - 132. Is g a prime number?
True
Let n(i) = 2*i**3 + 11*i**2 - i - 1. Let y(b) = -3*b**3 - 22*b**2 + 2*b + 3. Let u(p) = 5*n(p) + 3*y(p). Is u(11) composite?
True
Let s be ((-24)/(-7))/(3/21). Let p be s/8*4/6. Suppose -4*t - p*v + 47 = -625, t - 165 = -2*v. Is t prime?
False
Suppose -2961 = -5*t + 2*y, 0 = 4*t + 3*y - 1033 - 1322. Is t prime?
False
Suppose -82*g + 11662691 = -3*g. Is g composite?
False
Let a(w) = w**3 + 22*w**2 - w - 32. Let c be a(-15). Suppose -3*u = 301 - c. Is u prime?
True
Let d(i) = -11*i**2 - 5*i - 8. Let w be d(5). Let l = -11 - -9. Is (-9)/3 - l - w a composite number?
False
Let f(d) = 1889*d - 87. Is f(10) a prime number?
True
Suppose -7*p + 4*j = -2*p - 21, 5*j = -4*p + 25. Let n(t) = -14*t**2 + t - 1. Let h be n(p). Let r = 531 + h. Is r composite?
True
Suppose 27*h - 52719 = 233184. Is h a prime number?
True
Let q = -834 + 161. Let n = q + 2944. Is n a prime number?
False
Suppose -17*z - 3*z - 40 = 0. Is z/((-2)/(-3)) + 5384 a composite number?
False
Suppose -2*x = -h - 231, 5*x = -5*h + 342 + 228. Let z = x + -50. Suppose -2*t - z = -o, 2*o + t + 66 = 3*o. Is o a prime number?
True
Let o(n) = 329*n + 33. Let a be o(8). Suppose -3*b = 11*r - 10*r - a, 5*r + 3566 = 4*b. Is b prime?
False
Let v = 13 - 10. Suppose v*m + 10 = 5*m. Suppose w - 286 = -m*j + 533, 0 = 2*w - 8. Is j composite?
False
Let u = 2028 + -631. Is u a composite number?
True
Let d be (3606/9)/(1/(-18)*-3). Suppose -10*o = -4216 - d. Is o a prime number?
False
Let t(d) be the first derivative of -33*d**2 - 23*d - 27. Is t(-9) a composite number?
False
Let n(m) = m**2 - 3*m + 2. Let y be n(3). Suppose 0 = -j + 5*k - 18, y*j + 6 = 5*k - 10. Is (92/j - 1) + 1 a prime number?
False
Suppose 3*h + 3*c - 4*c = 199456, 199453 = 3*h + 2*c. Is h a prime number?
False
Suppose -7*f = -4*f + 15. Let i(b) = -66*b**3 - 3*b**2 - 7*b - 1. Let m(x) = -65*x**3 - 3*x**2 - 6*x - 1. Let l(h) = f*i(h) + 6*m(h). Is l(-2) prime?
False
Suppose -6*d + d = 1425. Let v = 70 + 402. Let y = v + d. Is y a prime number?
False
Let i = -1790 + 4393. Is i prime?
False
Let z(p) = 83*p**3 - p**2 + 2*p - 1. Let w = 16 - 9. Suppose -3*t + w = 4. Is z(t) a prime number?
True
Let c = 5868 + 3719. Is c composite?
False
Suppose 4024 = -4*f - 3*m + 7*m, 4*f + 4059 = -3*m. Let a = f + 3514. Is a composite?
False
Let k be ((-4)/3 + 2)*-3. Let a be (-1)/k - (-5)/(-10). Suppose 5*g - 384 - 721 = a. Is g prime?
False
Let r = -6 - -6. Suppose -4*q 