 = 0, -f - 13488 = -4*f + 3*o. Is f a prime number?
False
Let g = 8799 + -5800. Is g composite?
False
Suppose 0 = -4*g - d, 3*d = 5*g - g - 16. Is g/(2 - (-1539)/(-771)) composite?
False
Suppose 1459 = b + 3*g, -4*b + 1200 + 4636 = g. Suppose 5*u - b = -3*c, 2*c + 0*u - 5*u - 1006 = 0. Is c a prime number?
False
Suppose 314 + 20 = y + 4*g, -4*y - 2*g = -1308. Suppose -11*n + 28 = -27. Suppose -3*b = w - 2*w - y, b = n*w + 104. Is b prime?
True
Suppose 2*z + 7*f - 2*f - 70771 = 0, -4*z + 4*f = -141584. Is z a prime number?
True
Suppose 6*w - w = 0. Suppose w = -3*h - 5 + 41. Suppose 7*v + 655 = h*v. Is v a composite number?
False
Let r = 14 - 15. Is 261 + r - 2/(-1) prime?
False
Let l = 6 - 6. Let g be l/(-1) + 5 + -4146. Let y = -2300 - g. Is y composite?
True
Suppose w = 4*h - 18, 3*h = 2*w + w + 9. Suppose 0 = 3*m + 3*b - 2454, 0 = -2*m - 7*b + w*b + 1645. Is m prime?
False
Let x be (-384)/(-168)*(-14)/(-4). Suppose -4558 = 6*n - x*n. Is n a composite number?
True
Let r = 17594 - 7945. Is r a composite number?
False
Let i(y) = -4378*y - 595. Is i(-3) a prime number?
True
Suppose -14921 = -a - 3*l, 0*l = -5*l + 20. Is a a prime number?
False
Let t(i) = 129*i**2 + 12*i - 19. Is t(2) prime?
True
Let j(x) be the third derivative of -23*x**7/5040 - x**6/80 + x**5/15 - 2*x**2. Let k(v) be the third derivative of j(v). Is k(-4) prime?
True
Suppose 5*i + 5*y - 3389 = 3291, 4048 = 3*i - 5*y. Suppose 3*d = i - 150. Is d a composite number?
False
Let s = -28 - -30. Suppose -7*v = -s*v. Suppose -5*w + 925 = 3*d, v = -2*w + 5*d + 572 - 202. Is w composite?
True
Let g be 10 + -15 - (-508 + 2). Let c be 3/(-2) - (-1684)/(-8). Let t = c + g. Is t composite?
True
Let k(t) be the first derivative of -t**4/4 + 13*t**3/3 - 4*t**2 - 5*t + 3. Let m be (-14)/(-3)*(-6)/(-4). Is k(m) a prime number?
True
Suppose 4*b - 11 = 3*q, 2*q + b = -2*q + 17. Suppose -1 - 4 = -5*n, q*n - 708 = -3*w. Suppose w = 4*c + c. Is c a prime number?
True
Let t = -1017 - -2125. Let x = -467 + t. Is x a composite number?
False
Is (1 - (-5 - -11)) + 1 + 4745 a composite number?
True
Let u be 15/(-9)*3/(-1). Suppose 3*w - 915 - 1966 = 4*o, u*w = 4*o + 4815. Is w a prime number?
True
Suppose 3*p - 5*h = 474 + 215, p + 3*h = 211. Is p a prime number?
True
Suppose 2*m - 3*h = 2030, 2*h = 17 - 25. Is m a prime number?
True
Suppose 0 = -7*d - 16*d + 340699. Is d a prime number?
True
Let z be 16/(-4) + -1 + 58. Suppose 0 = -5*t + z + 4007. Suppose 5*v = v + t. Is v a prime number?
False
Suppose 2*r - 6*r + 20 = 5*a, 2*a = 0. Suppose 4*g + 2899 = 2*v - 335, 4*g = -r*v + 8127. Is v prime?
False
Suppose 3*m + 12*m - 137595 = 0. Is m a prime number?
True
Suppose 23*r - 650 = 891. Is r composite?
False
Let g = 14149 - 8118. Is g a composite number?
True
Let x = -9397 - -18842. Is x prime?
False
Suppose -2*w + 21*w - 10279 = 0. Is w prime?
True
Let b(p) = 3*p + 16. Let c be b(-7). Let g = 17 + c. Is (g/3)/((-2)/(-101)) a composite number?
True
Let w(d) = 49*d**2 - 10*d + 3. Let u be w(9). Let r = u - 1951. Is r a prime number?
True
Let v = 8 + -6. Suppose 0 = v*n + 5*t - 294, -4*t + 419 = 3*n - 2*t. Suppose n = 4*u - 3. Is u a composite number?
True
Let b be (12/(-5))/((-21)/70). Is (404/b + -2)*2 a composite number?
False
Let o(n) = 14*n - 55. Suppose 22*z = 28*z - 102. Is o(z) composite?
True
Let k be (0*5/30)/2. Suppose 5*a - 2176 = -4*c + 883, k = -5*c - 2*a + 3811. Is c prime?
True
Let c(m) = m**2 - 7*m - 10. Let f be c(8). Let b(k) = -k + 2. Let i be b(f). Suppose i*r + 3*n - 2*n = 1648, 2*r = 4*n + 842. Is r a prime number?
False
Let z(d) = 7351*d**2 - 7*d + 5. Is z(1) a prime number?
True
Let y(n) = -n**3 + 4*n**2 + 4*n + 7. Suppose 0 = -v + 2 + 3. Let m be y(v). Suppose -3*s + 445 = m*s. Is s a prime number?
True
Let p be 126/(-12) + 1/2. Is ((-4)/p - (-1233)/30)*4 prime?
False
Let w(u) = 32*u**2 + 5*u - 10*u - 3 + 12*u**2. Is w(-4) composite?
True
Suppose 0 = 3*t - t. Let k be (-10 - -195) + (0 - t). Suppose -2*n + k = -n. Is n prime?
False
Let m = 46 - 49. Is 235 + 0/(7 + m) a composite number?
True
Let v = -202 + 336. Suppose 0*h + h - v = 0. Let k = h + -21. Is k prime?
True
Let l(x) = 75*x**2 - 4*x - 3. Suppose 0 = -3*q + 3*r + 24, -3*r - 15 - 5 = -2*q. Is l(q) prime?
True
Let y = 11 + 17. Let u be 3/(-9) - y/(-12). Is (3 - 1)*631/u prime?
True
Let g(w) = 302*w + 307*w + 59*w - 1. Is g(1) a composite number?
True
Let h(b) = -b**3 - 11*b**2 + 15*b - 8. Let k be h(-14). Let z = k - 103. Is z a prime number?
False
Suppose -2*g - x - 6333 = -6*g, -5 = x. Suppose -11*m + 5949 = g. Is m prime?
True
Let q = -806 + 1491. Is q composite?
True
Suppose -5*n + 136018 = 42*n. Is n prime?
False
Let g = -132 - -439. Is g a composite number?
False
Let y(b) = 15*b**3 + b + 2. Let r be y(-1). Let p(o) = -o**3 - 11*o**2 + 20*o - 13. Is p(r) a composite number?
True
Let r be (-5)/(-4 + 7455/1865). Suppose 2*m - r = -3*m. Is m prime?
True
Suppose 0 = -a + 5, -15880 = -z + 6*z - 5*a. Let h = -2204 - z. Is h a prime number?
True
Let b(m) = 2*m**2 + 5*m + 11. Let j be b(-5). Suppose j*y + 2755 = 41*y. Is y a prime number?
False
Suppose 2*w - 3*y = 14737, 4*y - 8*y - 14742 = -2*w. Is w a composite number?
True
Let q(n) = 3*n**2 - 3*n - 2. Let x be q(-1). Is (1255/10)/(2/x) a composite number?
False
Let d be (4 + 65/(-10))*-2. Is 381 + 1 + (-25)/d a prime number?
False
Suppose -7*p = -10*p + 81. Is (-6)/p - (-6142)/18 a composite number?
True
Let w be 525/9 + -4*4/(-24). Suppose i - 7*n + 2*n = w, -4*i = 3*n - 121. Is i a prime number?
False
Suppose -w = 3*o - 789, -o - 3*w = o - 526. Suppose 2*m + 2*y = o + 119, -5*y = 3*m - 569. Let c = m - 116. Is c a prime number?
False
Let v(l) = 25*l**2 - 3*l + 11. Let n be v(-5). Suppose 3*s = -4*s + n. Is s a prime number?
False
Suppose 2*l - 5*x = 1547, -l - 2*x + 399 + 388 = 0. Let s = l + -468. Suppose s = k + 50. Is k a prime number?
True
Suppose 5*r + 0*g + 2*g = 13828, 0 = -4*r + 5*g + 11069. Suppose -551 = -x + 2*q, 5*x + 0*x + q = r. Is x a prime number?
False
Suppose 3*c = -4*z + 7931, -4*z + 7958 = -4*c - 2*c. Is z composite?
True
Suppose 3*z = -3*x - 36, 4*x = z - 2 - 1. Let a(l) = -l**2 + l. Let v(w) = -6*w**2 - w - 2. Let j(u) = 4*a(u) - v(u). Is j(z) prime?
False
Suppose 5201 = 4*b + 5*d, b + 3*d = -2*b + 3897. Is b a composite number?
True
Suppose 18 = 3*w - 3*k, 2*w + 4 - 10 = -k. Suppose -w*g + 764 = -3*g. Suppose 4*r = -0*r + g. Is r prime?
True
Suppose 2*u + 2*u - 8 = 0. Suppose 5*r - u*r - 10227 = 0. Is r prime?
False
Suppose -12 = v - 5*v. Is (521/4)/(v/12) a prime number?
True
Let i(d) = -d - 19. Let t be i(12). Let g = 57 + t. Is (538/4)/(13/g) prime?
True
Let x(q) be the second derivative of -5*q**3/6 + q**2 - 3*q. Let g be x(1). Is 70*(2 + g/2) prime?
False
Let r be (-7 + 8)*(10 + 2). Suppose 0 = -0*g - 4*g + r. Suppose 0 = 3*m - 5*p - 1327, -6*p + p = g*m - 1367. Is m composite?
False
Let d = 5973 - 2903. Let f be d/8 + 3/12. Let u = f + -133. Is u a prime number?
True
Suppose i = 2*s + 1352, -5*s = 2*i - 4*i + 2706. Suppose 0 = 14*a - 18*a + i. Is a a composite number?
False
Let u(v) = -2*v - 18. Let a be u(0). Let m(w) = -w**3 - 18*w**2 - 2. Let g be m(a). Is 0 + 79 + g + 0 a composite number?
True
Suppose -4*x - 5*v - 356 = -2265, 0 = x + 3*v - 472. Is x prime?
False
Let b = -18148 - -34053. Is b composite?
True
Suppose 0 = 7*t - 48 + 13. Suppose -k + 95 = t*v, -146 = -5*k + v + 329. Is k prime?
False
Suppose -4*x + 5122 = 3*k - 3973, 3025 = k + 3*x. Suppose 5*a - k = 4*a. Is a a composite number?
False
Let f(o) = o - 4. Let x be f(7). Suppose -x*w = -3*p + 837, -4*w + 263 = 2*p - 289. Suppose k = -k + p. Is k prime?
True
Let n(v) = -42*v - 3. Let t be n(-2). Suppose -7*m - 18*m = 0. Suppose m*g + t = g + 4*c, 5*g - 5*c - 330 = 0. Is g a prime number?
False
Let v(j) = 3044*j**2 - 2*j + 1. Is v(1) prime?
False
Suppose 2*s = -3*s + 4*j + 33, -5 = s + 5*j. Suppose 5*f = -0*w + 4*w + 1357, 2*f + s*w = 523. Is f prime?
True
Let g(o) = -12*o + 38. Is g(-23) composite?
True
Suppose 0*x = 5*x. Suppose 0*b + 5*b - 20 = x. Suppose -43 = 2*j - 7*j + b*l, 0 = -2*j - 3*l + 31. Is j composite?
False
Let a = 886 + -592. Suppose 2*u - 290 = -2*y, -2*u + 2*y + a = 3*y. Is u a composite number?
False
Suppose 3*x - 5*g - 1034 = 2*x, -4*g = -2*x + 2056. Let 