- 4*j = -195*g - 22026, 0 = -2*g + j + 22036. Is g a composite number?
True
Suppose 3*f + 4*c - 2 = -5, 0 = 5*c. Let a be (2 - 2)/(f/1). Suppose 3*r + 3*w + 5 = 17, -2*r - 4*w + 2 = a. Is r composite?
False
Let c = 66 + -60. Is (-96)/(-2) - 5/(-10)*c composite?
True
Let m be ((-10)/(-35))/((-2)/(-14)). Suppose 0 = j + 5*b - 4*b - 506, -10 = -m*b. Let c = j + -164. Is c composite?
False
Let q be ((-10)/(-25))/((-2)/10) + -556. Let y = q + 1435. Is y a prime number?
True
Suppose 0 = 4*p - 3*g - 82, 2*p - g = -6*g + 54. Let f = 735 - p. Is f prime?
False
Let k = 465 + -242. Is k composite?
False
Let s(w) = 3*w - 22. Let j be s(9). Suppose j*g = -3*x - 3, 0*x - 4*x - 4 = g. Suppose -5*b + 123 = -2*q, 5*b + q - 75 - 51 = g. Is b prime?
False
Is ((-102)/2)/(108/(-14004)) a composite number?
True
Let d(g) be the first derivative of 39*g**2/2 - g + 2. Is d(16) prime?
False
Let d(x) = 2*x**3 + 0*x - x**3 - 3 + 0 - 2*x - 4*x**2. Let y be d(4). Let k(n) = -n**2 - 15*n - 13. Is k(y) composite?
False
Let u(b) = b**3 + 9*b**2 - 6*b. Let x be u(-7). Suppose -3*r - x = -4*v + r, -4*v = r - 160. Is v composite?
True
Suppose -2*o + 4*f = -11918, -2*f = -3*o + 24954 - 7073. Is o composite?
True
Is (-27788)/(-20)*(2 + 1 + 2) prime?
True
Suppose -4*f + 6405 = z, -5*f + 10*f = 3*z - 19283. Is z a composite number?
False
Is ((-147)/(-14) + -11)/(1/(-28562)) prime?
True
Suppose -6 = -4*x + 10. Suppose 0 = -5*d + 5, -6*d + 8*d = c. Suppose -c*u = -3*u - x*g + 161, -3*g = -3*u + 438. Is u composite?
False
Let n be (-6068)/(-9) + (-6)/27. Let p be 252/(-54)*6/(-4) - 5. Is p/4*n/1 composite?
False
Let y(s) = s**3 + 11*s**2 - 9*s + 3. Let w be y(-7). Suppose 3*h - 52 - 146 = 3*d, -2*d = -4*h + w. Is h a prime number?
False
Suppose 0 = -5*l - 34 - 11. Let q(w) = 28*w**2 + 6*w - 11. Is q(l) prime?
True
Let x be ((0 + 0)*(-1)/2)/(-2). Is x + 4/(-22) - (-72916)/44 prime?
True
Let a = 23 - 11. Suppose -s - p + 42 = -180, -3*p = -a. Suppose -5*v + 37 = -s. Is v composite?
True
Let n = -7758 - -24181. Is n a prime number?
False
Let x(f) be the first derivative of f**4/4 - f**3/3 + f**2/2 + 5437*f - 39. Is x(0) a prime number?
True
Let y(p) = p**3 - p**2 - p + 1. Let c be y(1). Let d(m) = 7*m**2 + 2*m + 619. Let t(g) = 4*g**2 + g + 310. Let h(f) = 3*d(f) - 5*t(f). Is h(c) composite?
False
Let q be -2*(-1)/(-4)*-2 + -3. Let v(z) = -319*z - 3. Is v(q) prime?
False
Let j = -5488 + 40755. Is j a composite number?
False
Let d = 561 - 183. Suppose 2*n - d = -2*r, 383 = 2*n + 2*r - r. Is n a prime number?
False
Let k = 5 + -9. Let l(s) be the first derivative of -s**4/4 + 4*s**3/3 - s + 45. Is l(k) prime?
True
Suppose 15*n - 21*n + 132054 = 0. Is n a composite number?
True
Let h(r) = r**3 - 6*r**2 - r - 2. Let l be h(6). Let c = l - -11. Suppose 5*y = -c + 173. Is y prime?
False
Let b = 502 - 323. Suppose 15 = 2*g - g. Suppose 3*t - 4*f = b, -t = 5*f + g - 43. Is t composite?
False
Let f = 13365 - 5792. Is f prime?
True
Let l(v) = -1463*v**3 + v**2 + 5*v + 4. Is l(-3) a prime number?
True
Let o be (3 - ((-4)/(-1) - 5)) + 0. Suppose 3*s + 4459 = 5*z, 0 = -o*z + 2*s + 3388 + 180. Is z a composite number?
True
Let o(i) = 7*i**2 - 24*i + 13. Let k be o(9). Suppose 29 = g + 5*n, -2*g - n = 4*n - 33. Suppose 0 = g*j + k - 1304. Is j composite?
True
Let l = -14 - -28. Let a(g) = -g**2 + 32*g + 1. Is a(l) a prime number?
False
Suppose -4*o + 14 = -2. Let d(k) = 2*k**3 + 2*k**2 - 6*k + 3. Let f be d(o). Suppose 0*i = -i + f. Is i a composite number?
False
Suppose 1647 = 2*q - 2551. Is q a prime number?
True
Suppose 0 = -2*a + 4, -f - a - a = -16. Suppose -3*n = -6*n - f. Is 3/(6/(-1480)*n) prime?
False
Let g = 20 + -21. Let w be (-682)/10 + g/(-5). Let v = w - -327. Is v a composite number?
True
Let c = 1713 - 4. Is c prime?
True
Let r(u) = -134*u - 13. Let s = -5 - -2. Is r(s) prime?
True
Suppose 3*j = 5*l - 14 - 10, 0 = 3*l - 3*j - 18. Suppose 0 = -3*o - l*n - 0*n + 3582, 0 = o - 5*n - 1200. Is o prime?
False
Let t(a) = -84*a - 5. Let u be t(10). Let d = -172 - u. Is d a prime number?
True
Let b be 19/((-6)/(-7) + 1 - 2). Let j = -2 - -246. Let s = j + b. Is s a prime number?
False
Let a(o) = 32*o**2 - 7*o - 12. Let s be a(-6). Suppose s + 394 = 4*g. Is g prime?
False
Suppose 127*q - 486260 = 13745487. Is q composite?
False
Let n be 34810/3 + (-2)/3*-1. Suppose 0*a - 5*a + 4*t = -14505, n = 4*a + 5*t. Is a a prime number?
False
Let z = 24054 + -11803. Is z a prime number?
True
Suppose 10*g + 1112 = -268. Let j(p) = 3*p**3 - p**2 + 3*p - 4. Let a be j(5). Let d = a + g. Is d composite?
False
Suppose -2*t - 18 = 4*a, 2*a - a - 1 = 5*t. Is 4305/5*t/(-3) a prime number?
False
Suppose -25 = -8*o + 13*o, 5*o - 143949 = -2*m. Is m a prime number?
True
Suppose -2*d + 10 = -0*d. Suppose -d*p + 5 = -5. Suppose p*c = -2*c + 132. Is c prime?
False
Suppose -4*p + 2*p - 4*y + 50 = 0, 4*p + 5*y = 85. Suppose -47532 - 31503 = -p*v. Is v a prime number?
False
Suppose 6*w = 2596 + 50510. Is w a prime number?
False
Suppose -2*t - t + 6 = 0. Suppose 5*x - x - 3*o = 60, t*x = 5*o + 16. Is 6/x + (-152)/(-3) a composite number?
True
Let k = 3475 + 38460. Is k a prime number?
False
Suppose 3*r - 4*i = 216057, 5*r + 65*i = 66*i + 360095. Is r a composite number?
False
Let d(w) = 2*w**3 - 4*w**2 + 3*w + 4. Let x be d(2). Is 8286/x - 4/(-10) prime?
True
Suppose -2*p = 1 + 5, 0 = 5*k - 3*p + 16. Let j(r) = -4*r**3 - 6*r**2 - 3. Is j(k) prime?
True
Let n = -747 + 1496. Let p = n - 120. Is p a prime number?
False
Let i be 2/((-2 + 1)/(-719)). Let a = 713 - i. Let l = -268 - a. Is l a composite number?
False
Let s(j) = -275*j**3 - j**2 + j + 4. Let q(n) = -549*n**3 - 3*n**2 + 2*n + 7. Let f(t) = 3*q(t) - 5*s(t). Is f(-2) a composite number?
True
Let t = -37 - -42. Suppose -2*b + u = -28, -t*b - u = -3*b - 24. Is b a prime number?
True
Let i(g) = 89*g**3 - 10*g**2 - 13*g + 43. Is i(8) a prime number?
True
Suppose g + 514 = 5*d, 2*d - 126 - 75 = 5*g. Is d composite?
False
Let o = 22327 - -10582. Is o a prime number?
True
Let m(o) = 15*o - 140. Is m(25) a prime number?
False
Let q(u) = u**3 - 19*u**2 + 6*u - 6. Let b be q(12). Let k = b - -1682. Let m = k + -449. Is m a prime number?
False
Suppose r - 6*r = 6500. Let i = r - -3194. Is i a composite number?
True
Let b(f) = -f - 120. Let s be b(-9). Let t = -228 + 28. Let d = s - t. Is d composite?
False
Suppose -12 = -3*m - m. Is (m - 830/4)*-2 a prime number?
True
Is ((-2716980)/560)/(6/(-8)) prime?
True
Let o(b) = -2*b**2 - 12*b - 6. Let m be o(-5). Suppose 0 = m*l + 8, t - 5*l - 220 - 47 = 0. Is t a composite number?
False
Suppose 15839 = -5*i - 2*s, 0 = -4*i + 5*s - 20403 + 7745. Let w = i - -4998. Is w prime?
True
Let v(g) = -5*g + 1 + 56*g**2 - 4*g + 26*g - 12*g. Is v(-2) composite?
True
Let l(n) = 31*n - 7. Suppose o - 1 = 5*t, 2*o + 2*o - 2*t - 4 = 0. Let u be 2 - o - (-2)/1. Is l(u) a composite number?
True
Suppose 3*c + 3 = 0, 0*q + 146 = 5*q - c. Suppose q = w - 45. Is w composite?
True
Let k be (-1 - -4)*(-15)/(-9). Suppose 4*j - 245 = 3*r, 4*r + 0*r + k*j + 337 = 0. Let q = -14 - r. Is q a composite number?
True
Let g = 34 + -30. Let p(r) = -r**2 - 11*r**3 + 19*r**3 + 3*r**2 + 35*r**3 - g*r + 3. Is p(2) prime?
True
Let n = 348 + 54. Is 8/3*n*3/24 composite?
True
Let a = -2965 + 6994. Let f = a - 2366. Is f a composite number?
False
Let o(v) = 556*v**3 + 1. Let k(t) be the third derivative of -t**5/60 + 7*t**4/24 - 5*t**3/6 + 8*t**2. Let s be k(6). Is o(s) composite?
False
Let v be 74/14 - (-2)/(-7). Suppose 0 = 2*f - 2*u + 34, -f = 2*f + v*u + 19. Is (3*f)/((-3)/2) a prime number?
False
Suppose -7*f + 226 + 1496 = 0. Let n = f + -113. Is n composite?
True
Let j(a) = -2247*a + 6. Is j(-1) a prime number?
False
Suppose -5*q - a + 9555 = -2*a, 5*a - 7615 = -4*q. Suppose -q = -15*b + 10*b. Is b a composite number?
True
Let m = 51 + -44. Let o(j) = 12*j**2 - 22*j - 15. Is o(m) a composite number?
False
Is (2559732/(-77))/(-4) + (-8)/(-44) a prime number?
True
Suppose 39*y - 999208 = -17*y. Is y a prime number?
False
Let k be (0/(3 - 5))/(0 - -1). Suppose -6*x + 21557 - 8039 = k. Is x prime?
False
Is -2*1/(-7) - (-294407)/217 a composite number?
True
Suppose -4*v + 5*l + 1310 = 0, -100 - 228 = -v + l. Let q be 3 + -6 + -2 + v. Let h = q - 62. Is h a prime number?
Tr