 3*g - 1128, -2*m + 4*g - 1528 = -6*m. Is m a composite number?
False
Let i be 1/((-9)/12 + 1). Is 1263/27 + i/18 a prime number?
True
Let t = 6 + 4. Let i = t - -67. Is i prime?
False
Suppose 5*o - 2857 + 702 = -4*p, o + 2*p = 431. Is o a prime number?
True
Suppose 14*i + 555 = 19*i. Is i a composite number?
True
Suppose 3*k - 4*x = 6*k - 471, -157 = -k + 5*x. Is k prime?
True
Let t(q) = q + 1. Let i be t(-5). Let u be 14/6 + i/12. Is 25/2*(u - 0) composite?
True
Let t(i) = 2*i**2 - 4*i + 7. Is t(-11) a prime number?
True
Suppose q - 977 = 3*r, r = 3*q - 5*q + 1968. Is q prime?
True
Let u(b) = 35*b**2 - 5*b - 5. Is u(-2) prime?
False
Suppose 3 = -2*b + 9. Suppose b*r - 205 = -2*c, 3*c - 150 = 5*r + 110. Is c a prime number?
False
Let g = -3670 - -9471. Is g a composite number?
False
Let c(u) be the second derivative of 0 + 1/12*u**4 + 37/2*u**2 - 1/20*u**5 + 1/6*u**3 + 3*u. Is c(0) a prime number?
True
Is -3*2*235/(-6) a prime number?
False
Let c be 4/6 - 650/(-15). Suppose 2*n = 342 - c. Is n composite?
False
Let m = -960 - 1002. Is m/(-24) + (-1)/(-4) composite?
True
Let u be 8916/27 - 4/18. Suppose -k + u = -3*k. Is ((-10)/(-15))/((-2)/k) composite?
True
Let o be (4 - -132)*(-2)/(-4). Is 6/15 - o/(-5) a prime number?
False
Suppose z + 25 = 160. Suppose -f + l + 418 + z = 0, l - 2765 = -5*f. Is f a composite number?
True
Let a = -4780 - -8721. Is a prime?
False
Let i(a) = -48*a - 7. Is i(-7) prime?
False
Suppose -5*f + d + 827 = -2902, 5*f - 5*d - 3745 = 0. Is f composite?
True
Suppose -p = 4*p + 3*f - 86, 5*p - 92 = -f. Is p prime?
True
Suppose 5*u = -0*u - 4*k - 6925, 3*k = 3*u + 4155. Is 2/9 - u/45 a composite number?
False
Let h be 2/8 - 34/8. Let g(q) = -q**3 - 6*q**2 - 6*q - 1. Let b be g(h). Let o = -2 - b. Is o composite?
False
Let y = 727 - -310. Is y prime?
False
Let u(c) = c**2 - 3*c - 3. Let w be u(4). Suppose 5*r - 5*l + 11 - w = 0, -2*r - 4*l = -26. Suppose -r*h + 0*h = -345. Is h prime?
False
Is -553*(-1)/1 + 0 prime?
False
Let m(h) = 40*h**2 + h - 1. Is m(-2) prime?
True
Suppose 0 = -6*u + 2*u + 84. Let t = u + 34. Is t composite?
True
Suppose -18*r = -17*r - 301. Is r a composite number?
True
Let o(b) = -b**3 + 2*b**2 - b + 7. Is o(-3) prime?
False
Suppose -n = 3*n - 492. Let v = -86 + n. Is v prime?
True
Is -2*(2 + (-1044)/8) prime?
True
Let k be 915/11 - 6/33. Suppose 2*w + k = 325. Is w a composite number?
True
Suppose 4*o - 187 = 5*l, 160 = 5*o - l - 100. Is o a composite number?
False
Suppose 0 = 3*o - 119 + 5. Let i = o - -105. Is i a prime number?
False
Let b be (-2)/(3/(-51*1)). Suppose -g = -1 - 2, l + 5*g - b = 0. Is l prime?
True
Let w(b) = 2*b**3 + 2*b**2 + 3*b + 4. Let u = -5 + 7. Suppose u*c = 6*c - 12. Is w(c) prime?
False
Suppose 2*k + 84 = -0*o - 2*o, 3*k = 5*o - 94. Let l be (k/4)/(6/(-36)). Suppose 0 = -2*m + l + 5. Is m prime?
True
Let v be 582/(-66) - 2/11. Let l = v + 9. Suppose l*k + 2*k = 68. Is k composite?
True
Suppose 0*i + 3*i - 45 = 0. Is i prime?
False
Let h be -5*((-2)/2)/1. Suppose -3*n = -h*n + 6. Suppose 4*c = -0*c - 20, -8 = -n*v - 5*c. Is v composite?
False
Let r = 10 - 24. Suppose 0 = 4*m - 52 - 160. Let v = m - r. Is v prime?
True
Let p(j) = j**2 + 4*j + 42. Is p(-17) composite?
False
Is 6/2 + 1 + 207 a composite number?
False
Suppose -3*m = -m - 2302. Is m composite?
False
Let c = -90 - -141. Let k = c - 30. Is k prime?
False
Suppose -8844 = -13*j + 1517. Is j composite?
False
Suppose -5*f + 4*g = 338, -335 = 3*f + 2*f - 5*g. Is -2 + 2 + f/(-5) a prime number?
False
Suppose 4*p = -p + 690. Let o = p - 79. Is o a composite number?
False
Suppose 0 = p - 4*z - 0*z + 2, 3*z + 6 = -3*p. Let j(v) = -v**2 + 7*v - 1. Let g be j(6). Is ((-66)/g)/p*5 a prime number?
False
Let l(v) = 8*v**2 - 2*v - 1. Suppose 0 = c + 2*a + 5, -c + 6 + 13 = -4*a. Is l(c) a prime number?
False
Let k = 375 + 97. Let v = k + 9. Is v prime?
False
Let c(i) = 3*i. Let k(r) = -7*r + 1. Let l(v) = -9*c(v) - 4*k(v). Let u(n) = -n. Let p(t) = l(t) - 2*u(t). Is p(9) a prime number?
True
Let q(p) be the second derivative of -p**4/12 + 5*p**3/2 + 7*p**2/2 - 10*p. Is q(13) prime?
False
Let d(l) = 117*l + 3. Let k be d(4). Is 0 + k/3 - -2 prime?
False
Let l(c) = 7*c**3 - 2*c**2 - 3*c - 9. Let u(p) = p**3 - p - 1. Let y(h) = -l(h) + 4*u(h). Is y(-4) a composite number?
False
Suppose -1500 = -3*a + z, 2*a = -z + 123 + 882. Suppose -a + 169 = -4*t. Is t prime?
True
Let x be (-6135)/(-10) - (-2)/(-4). Suppose 3*g - 4*f + 5*f - x = 0, 4*g - 808 = f. Is g prime?
False
Suppose 4*l = 3*l + 30. Suppose 3*m - l = 3*f, 27 = 2*m + m - 2*f. Is m prime?
True
Suppose -2*p + 4*g + g = -1381, -2*p - 4*g = -1354. Is p prime?
True
Let b = -203 + 109. Let t = 181 + b. Is t a prime number?
False
Suppose 1922 = 3*u - 709. Is u prime?
True
Let l(o) = -3*o - 3. Let p be l(-3). Let w be (-8)/3 + p/9. Is (-3)/w*(-222)/(-9) composite?
False
Let t = 903 - -2518. Let q = t - 2378. Is q prime?
False
Let n(s) = s**2 - 6*s + 4. Let q be n(6). Suppose w = 4*g, 4*g + 28 - q = -5*w. Is ((20 + 1)/g)/(-1) a prime number?
False
Let m(f) = 27*f - 11. Is m(4) a composite number?
False
Let u(f) = -12*f + 1. Let w(b) = 13*b - 1. Let o(n) = -2*u(n) - 3*w(n). Let l be o(-2). Suppose -4*m + l + 25 = 0. Is m a prime number?
False
Suppose -4 = -5*h + x - 23, x + 2 = -2*h. Let t = 3 + h. Suppose t = -y + 42 + 25. Is y a prime number?
True
Let u be 2 + -1 - (-2 + 4). Let o(h) = 367*h**2 + h + 1. Is o(u) a composite number?
False
Suppose 4*g + 64 = 4*m - 80, -4*m + 3*g = -140. Suppose -2*j + 237 = -5*i, -3*j - m + 362 = i. Is j prime?
False
Let o(b) = b**3 - b**2 + 73. Let j be o(0). Suppose 3*f - j = 38. Is f composite?
False
Let p(l) = 10*l**3 - l**2 + 4*l - 5. Is p(2) prime?
True
Let m(g) = 2*g**3 + g**2 - 4*g - 8. Let z be m(6). Let s = z + -309. Is s prime?
True
Let b = 3 + -3. Let f be b + 0 + 0 + 2. Is -38*f/(-8)*2 a composite number?
False
Let x be (-11)/(-9) - 2/9. Let p = x + 1. Suppose p*q = 5 + 125. Is q prime?
False
Suppose 4*g - 3552 - 2476 = 0. Is g prime?
False
Let y(k) = 66*k**2 - k - 2. Is y(-1) a composite number?
True
Suppose 2*k + 4*o + 1931 = -941, 3*k = 5*o - 4308. Let j = k - -3873. Is j composite?
False
Suppose -c = -0 - 6. Suppose c*w = w + 110. Is w prime?
False
Let u be -2 - (3 + -19) - 2. Let d be (4/u)/((-1)/(-12)). Suppose 3*l + 1 = -d*f + 74, 0 = -5*l + f + 160. Is l a prime number?
True
Let v = 75 + -211. Let s = v + 233. Is s a prime number?
True
Suppose 3*w + 0*w = f - 215, 3*f + 3*w = 669. Is f prime?
False
Let v = -133 + 542. Is v prime?
True
Let u = 11 - 7. Suppose 6*g - 3*g = -5*o + 280, u*o + 235 = 3*g. Is g composite?
True
Let u(w) = -2*w**3 - 3*w + 1. Let r be u(-4). Suppose r = 2*j + j. Is j prime?
True
Suppose 5*i - 2*h = -7*h + 30, h = 5*i - 6. Let z be i + 0 - (-3 - -3). Suppose 2*p = -0*a - 2*a + 22, 0 = -z*p + 4*a + 34. Is p composite?
False
Is -3 - (-9)/(54/3336) a composite number?
True
Suppose 0 = 2*f + 2*f - 24. Let q be f*6/45*-5. Is (-78)/4*q/6 a prime number?
True
Let q = 978 - -173. Is q composite?
False
Let u(z) = z**3 + 6*z**2 + 3*z - 6. Let k be u(-5). Suppose 0 = 4*m + 4, 5*f = 2*f + k*m + 16. Suppose -f*g - 97 = -245. Is g prime?
True
Is (-2 - (2 - 3))*-83 a composite number?
False
Suppose -71 + 491 = v. Is v/5 - (2 - 1) prime?
True
Let y = 463 + -195. Suppose 0 = -5*p + p + y. Is p prime?
True
Let o(s) = -59*s. Let x be o(-1). Let k = 10 - 8. Suppose -5*u + 150 = 5*n, k*n + 5*u - x = 2*u. Is n prime?
True
Let g(o) = -o**3 + 13*o**2 - 6*o - 5. Is g(7) a composite number?
True
Let g = 11 + -8. Suppose 4 - 20 = 4*t, -g*t - 607 = -5*z. Is z composite?
True
Suppose 0*f - 16 = -2*f - 3*y, f - 22 = -5*y. Suppose f*q - 443 = -5*t, 0 + 25 = 5*t. Let n = q + -122. Is n prime?
False
Let z be 1/4 - 47/(-4). Let b = z + -3. Suppose -2*h + 5*h - b = 0. Is h a composite number?
False
Let p(a) be the second derivative of a**5/20 + 5*a**4/12 - 3*a**3/2 - 2*a**2 + 3*a. Is p(-6) prime?
False
Let n(b) = b**3 + 5*b**2 - 9*b - 5. Suppose 8 = -4*j + h, 2*j - 1 = 2*h + 1. Let u = j + -3. Is n(u) composite?
False
Let h be -16 + (2/(-2) - 0). Let t = h + 163. Is t prime?
False
Suppose 2*r + 2*b - 1750 = 532, 0 = 2*b + 8. Is r prime?
False
Let v(c) = 3 + 4*c + 3*c - c - 8. Is v(7) a composite number?
False
Suppose -2*f = 5*r + 10, -9 = -r