 - 3*j - 0*j + 72, 5*q + 2*j = 83. Is q a prime number?
False
Let q = 70 + 511. Is q prime?
False
Let l be (-1)/((-1)/(-1)) + 8. Let m = 14 - l. Is m prime?
True
Suppose -5042 = -33*b + 31*b. Is b prime?
True
Let g(f) = -2*f - 10. Let u be g(-6). Suppose -u*n - 2836 = -6*n. Is n composite?
False
Suppose -4 = -a + 11. Let y(i) = i**3 - 13*i**2 - 13*i + 10. Is y(a) prime?
False
Let y = -42 - -36. Let i(u) = u**2 - 8*u + 8. Let h be i(6). Is (25/h)/(y/24) prime?
False
Let n = -320 + 469. Is n a composite number?
False
Suppose 7*c - 2870 = 5*c. Suppose -5*d + c = -0*d. Is d prime?
False
Is (-406)/(-1) + -4 + 5 a composite number?
True
Suppose z + 4*z - 2560 = 0. Suppose z = 4*q - 4*a + 3*a, 4*q + a = 504. Is q composite?
False
Let b = 2 - -1. Suppose -b*p + 2*y + y + 117 = 0, y = -p + 39. Is p composite?
True
Let s be -2*(-1)/2 - -105. Suppose 0*b - b + s = 0. Is b prime?
False
Let d(c) = -c**3 + 5*c**2 + 1. Let l be d(5). Is 1984/24 + l/3 a prime number?
True
Suppose -v - 2*h + 294 = 0, v + h + 603 = 3*v. Let m = v + -173. Is m composite?
False
Let o = -239 + 366. Is o a composite number?
False
Let l(w) be the third derivative of w**7/630 + w**6/180 + w**5/60 + w**4/12 + 2*w**2. Let r(u) be the second derivative of l(u). Is r(-3) a prime number?
False
Suppose -4*s - 3*z + 865 = 0, 0 = -4*s + 3*s - 3*z + 214. Let h = s - 78. Suppose 4*m = h + 129. Is m a prime number?
True
Suppose -5*f + 2*t - t = -1118, -2*t + 440 = 2*f. Is f a prime number?
True
Let s(n) = -n + 0*n**2 - 6*n**2 + 8*n**3 + 6*n**2. Let f be s(-1). Let m = -1 - f. Is m a prime number?
False
Let d(q) = -20*q. Let m be d(-5). Is m/3 + (-4)/12 composite?
True
Is 305/4 + 30/40 prime?
False
Suppose 2*f - a = -2*a + 421, -2*f - 2*a = -424. Is f prime?
False
Let h be ((-6)/(-5))/((-4)/(-10)). Let q(u) be the first derivative of 5*u**4/4 - 2*u**3/3 + 3*u**2/2 + u + 2. Is q(h) prime?
True
Suppose 0 = 5*d, -4*p + 6*p + d - 6 = 0. Suppose -p*s + 2*s + 34 = 0. Is s composite?
True
Suppose -4*h + 3 = -5. Suppose -l = -0*l + h. Is (l - 0)/((-2)/157) a prime number?
True
Suppose 1 = -4*y + 9. Suppose -4*v + 5*d = -39, 0 = -y*v + 3*d + d + 18. Is v composite?
False
Let r = 864 - -25. Is r composite?
True
Let k = 5 + -2. Suppose -6 = k*d, 0*h + 1139 = 3*h - d. Is h composite?
False
Is 2/(-3)*((-1683)/2)/3 a prime number?
False
Suppose 0 = -0*b + 5*b + 110. Let t = 59 + b. Is t a composite number?
False
Suppose 5*p + 28 = 4*l, p = -0*p - 4. Suppose 3*v = 2*n - 804 + 2268, -974 = -2*v + l*n. Is v/26 + (-2)/(-13) prime?
True
Let g = -5 + 6. Is 3/(-6*g/(-446)) composite?
False
Let l be (2 + 0 - 2) + -12. Is (-1)/(-3) - 392/l prime?
False
Let x(v) = 4838*v**3 - 1. Is x(1) prime?
False
Suppose -1676 = -2*w - 2*w. Is w a composite number?
False
Suppose 2*l = 5*l + 510. Let g = l + 381. Is g composite?
False
Suppose 0 = 8*x - 1964 - 44. Is x prime?
True
Let t(h) = -21*h + 2. Is t(-9) prime?
True
Is ((-1)/(-1))/((-9)/(-8163)) a composite number?
False
Let d(p) = 2*p + 16. Let m be d(-11). Let s(r) = -r**3 - 5*r**2 + 9*r + 3. Let x be s(m). Let g = x + 34. Is g prime?
True
Suppose 2*w - 1669 + 321 = 0. Is w composite?
True
Suppose -3*z + 2*a - 109 = 107, -5*z - 359 = -3*a. Let b = 103 + z. Is b a composite number?
True
Suppose 31 = o - 4*b, -o - 2*b = 2*o - 149. Is o a composite number?
False
Let i(s) = 113*s - 5. Let o be i(8). Suppose -4*d + 5*k + 1147 = 0, -2*d - d = 4*k - o. Is d composite?
False
Suppose -5*o + 325 = -2*a, 0*a - 195 = -3*o + 2*a. Is o composite?
True
Let a = 18 - 15. Is a composite?
False
Let r = 463 + -254. Is r a composite number?
True
Let p(z) be the first derivative of 20*z**3/3 + 2*z**2 + 5*z - 6. Is p(-2) a composite number?
True
Suppose 2*v - 9 - 1 = 0. Let z(j) = 7*j**2 - 6*j + 4. Is z(v) composite?
False
Suppose 3*v - 2*v + 38 = -h, v + 4*h + 26 = 0. Let q = v + 79. Is q a prime number?
True
Let f(q) = 3*q - 5. Let p(r) = -r - 1. Let l(h) = h**2 - 5*h + 3. Let j be l(4). Let s(n) = j*f(n) - 4*p(n). Is s(-6) composite?
False
Let a be 1/(-3 - (-1261)/420). Suppose 4*y + 0*u = -u + a, -y - 3*u = -94. Is y prime?
False
Suppose -u - 4*u + 35 = 0. Let o be ((-8)/(-6))/(((-154)/(-399))/11). Suppose u*m = 6*m + o. Is m prime?
False
Let f(w) = -4*w**3 + 10*w**2 + 2*w - 3. Is f(-5) prime?
False
Suppose f - 3*f + 6 = 0. Suppose k = 2*l - 0*l + 19, -3*k - f*l + 12 = 0. Is (-12)/(-9)*k - 3 composite?
True
Let a = -16 + 7. Let d be a/(2/(6*1)). Let h = 80 + d. Is h prime?
True
Let h = -850 - -1589. Is h composite?
False
Let f(a) = 287*a**3 + a**2 - 1. Is f(1) a composite number?
True
Let o = 2 - -1. Let z(l) = -2 + l + l**3 - l**2 + 0*l + 5 - 2. Is z(o) a composite number?
True
Let s(r) = r**3 + 5*r**2 + r + 3. Let u be s(-5). Is 226 + (-3 + u - -2) a prime number?
True
Let c = -4 + 7. Let w(x) be the second derivative of x**5/20 + x**4/12 - x**3/3 + 3*x**2/2 - x. Is w(c) composite?
True
Let r(x) = 1278*x**3 + 3*x - 2. Is r(1) a prime number?
True
Let a(j) = 2*j**3 + 11*j**2 - 3*j - 11. Is a(8) a prime number?
True
Let n = 64 - -79. Is n composite?
True
Let r(q) = q**2 + 5*q + 3. Let l be r(-6). Let u = 16 + l. Suppose -3*v + u + 5 = 0. Is v composite?
True
Let w = -5 - -40. Is w a prime number?
False
Let u(v) = -34*v + 1. Is u(-6) a composite number?
True
Let f be -2 - 1 - -2 - -4. Let g be -6*2*f/(-9). Suppose -5*y + 143 = 4*s, -2*s - g*y + 71 = -y. Is s composite?
False
Let h(m) = 8*m - 3. Let q be ((-6)/(-1)*1)/(-1). Let r be ((-2)/(-1))/(q/(-9)). Is h(r) a composite number?
True
Suppose -7*t - 3*k + 1838 = -6*t, -3697 = -2*t + k. Is t a composite number?
False
Let g(p) = 12*p - 1. Suppose -2*o - 8 = -6*o. Let u be g(o). Let a = u + -16. Is a a prime number?
True
Let i = 80 + -47. Let v = 0 + 5. Suppose 3*j = h - 121, v*h - i - 624 = 2*j. Is h composite?
True
Suppose 0 = -6*n + 2*n + 1632. Suppose 0 = -5*v + n + 37. Is v prime?
True
Suppose 5*m = -2*b + 44, -5*m + 46 - 12 = -3*b. Let v = 15 - m. Is v composite?
False
Is (-7388)/12*-3 + 0 a composite number?
False
Let u(q) = -q**3 - q + 1. Let h(y) = 5*y**3 - 4*y**2 + 7*y - 9. Let g(v) = -h(v) - 6*u(v). Is g(4) prime?
True
Let d = 3366 + -1435. Is d composite?
False
Let l(h) = -2*h**2 - 6*h - 6. Let t(o) = -1. Suppose 4*k + 2*s - 14 = 6, -2*s = -3*k + 15. Let q(d) = k*t(d) - l(d). Is q(-6) a prime number?
True
Suppose 2*c + 10 = -0*c. Let r(x) = x**2 - 4. Is r(c) a composite number?
True
Suppose 3*r - 1085 = -5*w, -w + 2*r + 0*r = -217. Is w prime?
False
Is 32/192 - (-63226)/12 a prime number?
False
Let h(s) = s - 6. Let d be h(8). Suppose d*o - 84 - 422 = -4*c, -c = -1. Is o a composite number?
False
Let r be 1/(-4) + 2/8. Let u = r + 2. Suppose 2*v - 4*x - 46 = -0*x, -u*v + 49 = -x. Is v a composite number?
True
Let i be (-144)/(-14) - 8/28. Let k(z) = 1 - 2 + i*z + 33*z. Is k(2) a prime number?
False
Let r = -876 - -1293. Let l = -559 - -333. Let k = r + l. Is k a prime number?
True
Let y = 826 + 25. Is y a composite number?
True
Suppose -3*q = -18 + 6. Suppose -241 - 99 = -q*h. Is h a prime number?
False
Let h(x) = x**3 - 2*x**2 - 2*x + 74. Is h(0) a prime number?
False
Let g = -563 + 1280. Is g a composite number?
True
Suppose f + 62 = -w, 5*f + 304 = 3*w + 18. Let u = f + 82. Is u a prime number?
True
Is 53/(39/(-21) + 2) a prime number?
False
Is 5/((-4)/328*-2) a prime number?
False
Let n(r) = -r**2 + 4*r + 1. Let d be n(4). Let y(v) = 31*v**3 - 1. Let j be y(d). Is j/2*5/3 composite?
True
Let b = 4 + -6. Is ((-1)/b)/((-1)/(-242)) composite?
True
Suppose -y - 257 = -3*q, 4*q - 2*y = q + 259. Is q a composite number?
True
Let d(u) = u**3 + 6*u**2 - 7*u + 1. Let c be d(-5). Suppose -3*m + 182 = 5*y + c, 0 = 2*y + 2*m - 50. Is y a composite number?
False
Let w(n) = 2*n**2 - 12*n + 3. Let g be 36/4 + (0 - 1). Is w(g) prime?
False
Let x(d) = -43*d - 2. Is x(-3) composite?
False
Suppose a - 5*f - 601 = 93, 3*f = -9. Is a a prime number?
False
Let a = -18 + 21. Suppose 3*j - 1046 = -5*g, -a*g - j + 730 - 100 = 0. Is g a prime number?
True
Suppose 2 + 0 = -2*q - 4*b, 2*b = -2. Let p be q/4 - 9/(-12). Let m = p - -2. Is m prime?
True
Let d(k) = 2*k**2 + 3*k - 5. Suppose -5*m + 21 = 2*i + 1, -5*i - 37 = -2*m. Is d(m) a prime number?
False
Let r(u) = -u**2 + 2*u + 1039. Is r(0) prime?
True
Is (290/(-15))/((-4)/3)*46 composite?
True
Suppose