-x*g + 4*z. Is g a prime number?
True
Suppose b + 2 = 2*b. Suppose -b*s + 4*s = -t - 4, -3*s - 13 = -2*t. Suppose t*o = 350 + 156. Is o a composite number?
True
Suppose -227130 = 36*b - 555054. Is b prime?
True
Suppose 7*a - 3*a = 0. Suppose 4*s - 776 = -a*s. Is s a prime number?
False
Suppose 3*z + y - 4*y = 0, -2*y = -4*z. Suppose z = 4*a + a + u - 156, -3*a + 2*u = -91. Is a composite?
False
Let v(d) = -71*d + 66. Let a = 11 - 27. Is v(a) a composite number?
True
Suppose 0*h + 28 = 4*h. Suppose 0 = -345*g + 347*g. Suppose g = 2*j - h*j + 285. Is j composite?
True
Let r = -10 - -5. Is (-2)/(-5) + (-1)/r*2033 prime?
False
Suppose 97*k - 102*k + 26905 = 0. Is k a composite number?
False
Let g(k) = 61*k**3 + k**2 - k + 1. Let j be g(1). Suppose -2*p - j = -5*x - 403, -p + 67 = -x. Let t = -46 - x. Is t prime?
True
Let g(r) = -r - 11. Let o be g(-13). Suppose -f + 4220 = 3*f. Suppose -7*q = -o*q - f. Is q prime?
True
Is ((-45516)/(-8))/((-3)/(-2)) prime?
True
Let x(t) = 2*t - 16. Let m be x(9). Let p be 0/(6 - 2) + m. Suppose -d - p*d + 213 = 0. Is d a composite number?
False
Let h(t) = -107*t**3 + t - 2*t**3 + t**2 - 57*t**3 + 1. Let b = -21 - -20. Is h(b) a prime number?
True
Let n = 1 - -4. Suppose b = -b + f + 12, n*b - f - 24 = 0. Suppose -y = 5*c - 4, 0 = -b*y + 5*c + 22 + 19. Is y prime?
False
Suppose -4*s = -2*z + 7558, 18939 = z + 4*z + s. Is z composite?
True
Let q = -6 - -12. Let m(p) = -p**2 + 5*p + 8. Let h be m(q). Suppose -2*c = -4*w - 314, -c + w + 481 = h*c. Is c a composite number?
True
Suppose -48*h + 6725 = -43*h. Is h a composite number?
True
Let q = 5 - -1. Suppose -q*a + 12 = -3*a. Suppose -3*d - 254 = -a*p + 495, d - 922 = -5*p. Is p a composite number?
True
Let n = 267 + 2160. Is n a prime number?
False
Is ((-171249)/12)/13*-4 a composite number?
False
Let x(o) = -2*o - 1. Let b be x(-3). Suppose -v = -b*v + 204. Suppose 4 = -2*d, v = -0*h + h + 4*d. Is h a composite number?
False
Suppose -2*k - i = 2*k - 1370, 10 = 5*i. Let t = k - 41. Is t composite?
True
Let c(p) = -p**3 + 11*p**2 - 14*p - 2. Let w(g) = -g**3 + 11*g**2 - 15*g - 1. Let x(n) = -4*c(n) + 3*w(n). Is x(10) a composite number?
True
Let o = -333 + 664. Suppose -o = -7*n + 82. Is n a composite number?
False
Suppose m - 65119 = j, 25*m - 2*j = 22*m + 195355. Is m a prime number?
False
Suppose -4*n = 3*b - 2597, 0*n - 1737 = -2*b + 3*n. Let a = 541 - b. Let i = a - -543. Is i a composite number?
True
Suppose 5*b + 252 = 34337. Suppose -3*c + 3656 = -b. Is c a prime number?
True
Let t be 13 - (-2 + 4) - 3. Is 958 - 1/((t/12)/2) a prime number?
False
Suppose 61*z = 58*z + 65019. Is z composite?
False
Let z be 6040/32 + 3/(-4). Suppose -4*r = -3*j - 287, 4*j - z = -5*r + 163. Is r a prime number?
True
Suppose 5*h = -4 + 14. Suppose z = -z + h*t - 40, 0 = 2*z - 3*t + 44. Is (-4)/(z/12) - -108 composite?
True
Let s(i) = -i**3 - 4*i**2 - i + 1. Let m be s(-4). Suppose -4*f = f + 15, m*f + 45 = 5*o. Is o prime?
False
Is 94/8*(5 + 383) composite?
True
Let x(f) be the first derivative of 23*f**3/3 - 7*f**2/2 - 5*f + 4. Is x(-4) composite?
True
Let b(r) = 3*r - 1. Let v be b(2). Suppose -5*c - v*x + 3006 = -3*c, -5*c + 7561 = x. Is c a composite number?
True
Is (3/(-4))/((-81)/426276) composite?
False
Let t(l) = l**2 - 1. Let v(z) = 4*z**2 + 11*z + 5. Let i(x) = -2*t(x) + v(x). Let a be i(-5). Let c(j) = 42*j**3 - j**2 - j - 1. Is c(a) a prime number?
False
Let w = 7 + -2. Suppose -w*o + 7 = -4*y + 1, -2*o + 3*y + 1 = 0. Suppose -105 = -3*b + o*d, -3*d = -3*b + d + 99. Is b a composite number?
False
Let c = -22 + 29. Suppose 2*r + c*x - 2*x = 3581, 4*r = -3*x + 7141. Is r composite?
False
Let i = 219 + -511. Is 4 - (3 + 4 + i) prime?
False
Is (-1 + 1390)*70/30 prime?
False
Suppose 0 = 38*i - 35*i + 180. Let o be (-28)/(-10)*i/(-24). Suppose 2*j - o*j = -12205. Is j composite?
False
Suppose -3*x + 578 + 2701 = 3*q, 3285 = 3*q - 3*x. Is q a composite number?
True
Let h(k) = -k**2 - k + 17. Let u be h(-7). Let r = 25 + u. Suppose -3*z - 122 = -i - r*z, -2*i + 3*z + 253 = 0. Is i composite?
False
Suppose 5*n - 67589 + 2259 = 0. Suppose 4*v = n - 2102. Is v composite?
False
Let z(d) = d**3 + 5*d**2 + 4*d + 8. Let u be z(-4). Suppose u + 4 = -4*m. Let a(o) = -15*o**3 - 4*o**2 - 3*o + 1. Is a(m) a composite number?
False
Let a be 1/((-28090)/(-168180) - 2/12). Let t = a + -1908. Is t composite?
True
Suppose 4*o - 3*o - 145 = 5*r, 2*o - 263 = r. Suppose 2*a - 6*a = -2*c - 228, 0 = 2*a + 3*c - o. Is 4/(-6) - a/(-3) prime?
True
Let f = 2786 - -641. Is f a composite number?
True
Suppose -4*z + 2*p + 3134 = -2*z, 3*p = -3*z + 4677. Is z a prime number?
False
Suppose 12 + 44 = 7*y. Let l = 4 - 2. Is (-1)/l + 17228/y a prime number?
True
Let i be (-6)/15 + (-168)/(-20). Let o be (-6)/i + 60/16. Suppose o*u - 6*u = -177. Is u composite?
False
Let u(r) be the second derivative of r**4/12 - 11*r**3/6 - 2*r**2 + 4*r. Is u(13) a prime number?
False
Suppose 4*n - 14 = 2. Suppose 1016 = -0*l - n*l. Is (-24)/16*l/3 prime?
True
Suppose 5*x + 3*z = 17 - 0, -2*x = 5*z - 3. Suppose 0 = x*m - 0*l + l - 5997, 0 = l - 1. Is m a prime number?
True
Let u(d) = -16*d**3 + 3*d**2 - 12*d + 7. Let f be u(5). Let v = 789 - f. Is v prime?
True
Suppose -5*l - 52560 - 16825 = -5*k, -3*l + 41607 = 3*k. Is k a composite number?
False
Let i = 76 - 54. Suppose -n = -i - 15. Is n a prime number?
True
Let o = -204 - -202. Let j = 8 - 15. Is o*1 - (j + -5) prime?
False
Let b(d) = 2*d**3 + d**2 + 1. Let h be b(-1). Suppose z = -h*z + 83. Is z a composite number?
False
Is -1 + (-8)/(-5) - (-12064)/10 a prime number?
False
Let l(i) = -24*i + 1 - 2 - 1 - 2. Let h be l(-2). Is 6*(-3)/(-6) + h composite?
False
Suppose -n = 4 + 3. Is (n + 5)*((-3219)/(-2))/(-3) a composite number?
True
Suppose 0*f = 3*f - 18. Suppose 3*k = 5*k + 4*p - 10, -3*k + 3*p = -f. Suppose k*q + q = 56. Is q prime?
False
Let v(x) = 145*x - 224. Is v(33) composite?
False
Let s(f) = 196*f + 9. Let y(o) = 1175*o + 55. Let w(z) = 35*s(z) - 6*y(z). Let m be w(-7). Suppose 0 = 4*t - 9*t + m. Is t a composite number?
False
Let p = 69 - 68. Is -880*((-14)/(-8) - 3) + p a prime number?
False
Let f = -6208 - -14417. Is f prime?
True
Let g be (-4*(-2)/12)/(24/(-108)). Let o(c) = -207*c + 12. Is o(g) a prime number?
False
Suppose 2*r - 7*c - 256 = -2*c, -3*r + 3*c + 402 = 0. Let h = r - -41. Is h composite?
False
Let h(o) = o**2 + 14*o + 26. Let b be h(-12). Suppose -581 = -b*g + 9. Is g a composite number?
True
Let a = -95 + -36. Let z = 367 + a. Suppose -107 - z = -7*c. Is c prime?
False
Suppose -v - 3*v + 12115 = 3*h, -4*h + 3*v = -16145. Is h a prime number?
False
Let r be (52 + 5)/((-5)/(-95)). Suppose j + 3*v - 556 = 0, -3*j + r = -2*v - 530. Is j prime?
True
Let g(o) be the third derivative of o**7/360 - o**6/240 + o**5/20 - o**2. Let q(u) be the third derivative of g(u). Is q(7) prime?
False
Let x(l) be the first derivative of -l**4/4 - 13*l**3/3 + 11*l**2/2 - 7*l + 29. Let k(a) = a**3 - 3*a**2 - 2*a + 2. Let h be k(-2). Is x(h) prime?
False
Let h(u) be the third derivative of -u**6/120 + u**5/12 - u**4/8 - u**3 + 4*u**2. Let o be h(5). Is ((-161)/o)/((-2)/(-66)) composite?
True
Let t(l) = l**3 - 13*l**2 + 23*l - 6. Let r be t(11). Suppose -d - 8625 = -5*b, 6*b + 4*d = r*b + 1746. Is b prime?
False
Suppose 204*z - 200*z - 2804 = 0. Is z a composite number?
False
Suppose 0 = -13*t + 27739 + 1134. Is t a composite number?
False
Let r(q) = -11 + 31*q**2 + 17 - 10 + 4*q. Is r(5) composite?
True
Suppose 4*i - 627 = a - 144, -254 = -2*i - 2*a. Let r = 88 + -205. Let d = i - r. Is d prime?
True
Let h(w) be the first derivative of 13*w**2 + 1/4*w**4 - 19/3*w**3 + 17*w - 8. Is h(18) a composite number?
True
Suppose 31411 - 3816 = 5*a - 2*p, 5*a - 27595 = -2*p. Is a prime?
True
Suppose 7*s - 704 = 94. Let a = s - -13. Is a prime?
True
Suppose -653 = -2*i + 5*y + 331, 4*i + y - 1968 = 0. Let d = i - 274. Is d prime?
False
Suppose -244 = -4*j + 5*n, j = 6*j + n - 276. Let y = j - -80. Let h = y - -25. Is h a prime number?
False
Let c(j) be the first derivative of 10 - 7*j + 31/3*j**3 - 7/2*j**2. Is c(-3) a composite number?
False
Suppose 11*g = 15822 + 23327. Is g a composite number?
False
Let n(t) = -6*t**3 - 2*t**2 + 1. Let k be n(-1). Let u(p) = -6*p + 0*p +