*z + 18. Let b(m) = m**3 - m**2. Let x(g) = -6*b(g) - p(g). Is x(-8) a multiple of 4?
False
Is 25 a factor of 7/(-10 + 24) - (-2142)/4?
False
Let z(x) = 2*x**2 + 13*x - 1. Is 47 a factor of z(11)?
False
Let v = -9 + 14. Suppose -4*y - 3 = -4*a + 3*a, -v*y + 5*a = -15. Let z = y + 70. Is 17 a factor of z?
True
Suppose 0 = -107*f + 134*f - 351. Is f a multiple of 2?
False
Let y(l) = -3 + 42 + 4*l - 3*l. Suppose -14 = j - p, -4*j - 6 = 5*p + 5. Does 10 divide y(j)?
True
Let r be 17/((-4)/(-14) - (-20)/28). Suppose r*x - 19*x + 56 = 0. Is 2 a factor of x?
True
Suppose 10 = -5*u, -2*w - 2*u - 199 = -951. Is w a multiple of 9?
True
Let r(q) be the third derivative of -q**6/40 - q**5/10 - 5*q**4/24 - q**3/2 + 8*q**2. Is r(-4) a multiple of 29?
False
Let y = -4164 - -7796. Does 150 divide y?
False
Let o = -304 + 514. Is 15 a factor of o?
True
Let m(l) = 3*l**2 - 153. Is m(13) a multiple of 59?
True
Suppose 7*l = 6*l + 4. Suppose 4*z - 4 - l = 0. Suppose -1 - z = -x. Is x a multiple of 3?
True
Suppose -4 = 4*j, -3*d = -4*d + j + 21. Suppose -d - 12 = -4*g. Does 8 divide g?
True
Let c = 1551 - 1018. Is 3 a factor of c?
False
Suppose -2*h + 838 + 368 = 0. Is 67 a factor of h?
True
Let x(d) = -2*d + 6*d**2 + d + 5*d**2. Let a = 82 + -83. Does 2 divide x(a)?
True
Suppose -5*f + 23*l + 3473 = 22*l, 4*l + 12 = 0. Does 12 divide f?
False
Suppose -2*k - 2*d + 19 = k, -3*k + 2*d = -11. Does 23 divide -3 + k/((-15)/(-429))?
False
Let v = 15 + -47. Let a = -27 - v. Suppose -4*k = 0, 8*l - a*k - 60 = 3*l. Is l a multiple of 4?
True
Suppose k + z = 6, 3*z - 2*z = 4*k - 19. Let q(s) be the third derivative of s**4/12 + s**3/3 + 6*s**2. Does 7 divide q(k)?
False
Let s(q) = -41*q + 3. Let b(w) = -w - 2. Let r be b(-1). Is s(r) a multiple of 17?
False
Let d(b) = -74*b - 1. Let f(k) = -k**3 - 3*k - 2. Let i be f(-2). Let w be ((-8)/i)/(8/12). Does 15 divide d(w)?
False
Suppose -24 - 33 = -c. Suppose 2*l + 3*g = 25, 2*l - g - c = -2*l. Suppose r - 2*u - 6 = 0, 3*r = -3*u + l - 5. Is r even?
True
Is 4 a factor of (48/(-5))/(-8)*(-310)/(-3)?
True
Let m = 2 + 8. Suppose 0*d - 2*d = m. Let a(r) = -r + 10. Is a(d) a multiple of 3?
True
Let u = 9 + 57. Suppose -248 + u = -2*x. Is 17 a factor of x?
False
Let j(t) = 5*t**2 - 7*t + 6. Let f be j(5). Let x = f - 35. Suppose z - x = -3*z + 5*l, z + 2*l = -1. Is 3 a factor of z?
True
Let v be (-1 - 3)/(-1) - 87. Suppose 83 - 361 = 2*a. Let z = v - a. Is z a multiple of 8?
True
Let z = 289 + -254. Does 5 divide z?
True
Let c be (-2)/17 - 106/(-34). Suppose -4*d = -l + 2*l - 8, 5*d = c*l + 10. Suppose 0 = -3*h + 6, 2*f - f + d*h = 49. Is 12 a factor of f?
False
Suppose 876 - 56 = k. Suppose -4*w + k = w. Is w a multiple of 43?
False
Let x = -32 + 36. Is 18 a factor of (x/3)/4*102?
False
Suppose 24 = 80*m - 82*m. Let g = 84 - m. Is g a multiple of 9?
False
Let l be ((-25)/1)/(-5) + 1. Suppose l*h = 5*h + 3. Suppose h*v - 127 - 149 = 0. Does 11 divide v?
False
Let f(s) be the third derivative of 0 + 4*s**2 + 0*s + 1/4*s**4 + 5/6*s**3 - 1/30*s**5 - 1/120*s**6. Does 13 divide f(-4)?
True
Suppose -5*b + u + 9 = -1, 0 = 3*b - 5*u + 16. Suppose b*y = -y + 128. Is y a multiple of 8?
True
Let s(x) = x**3 - 48*x**2 + 78*x + 161. Does 13 divide s(47)?
False
Suppose 376*n = 383*n - 4452. Does 126 divide n?
False
Suppose -d + 826 = -34*z + 30*z, -3*z = -4*d + 3330. Is d a multiple of 11?
False
Let w be 12/(-9)*81/(-12). Let p be (-2)/8 + 150/24. Is 17 a factor of (-588)/(-8)*p/w?
False
Let t be 2 - 0 - 96/3. Is t/(5/(10/(-3))) a multiple of 5?
True
Suppose 3*a = 3*c - 1008, 2*c + 4*a - 672 = -a. Is 4 a factor of c?
True
Suppose -6*t = -13*t + 5775. Is t a multiple of 25?
True
Let t = 124 - 121. Suppose -543 = -t*y + 81. Is y a multiple of 26?
True
Let i(n) = 7*n + 3. Let y be i(4). Let u = 10 + 62. Let v = u - y. Does 12 divide v?
False
Suppose 3*y - 20 = -y. Suppose 0 = -4*g - 3*z - 31, -z - y = 5*g + 31. Let x = g + 19. Is 12 a factor of x?
True
Suppose -r + 24 = v, -5*r + v + 88 = -8. Let y = 221 - 108. Let p = y - r. Is p a multiple of 31?
True
Suppose 0 = -12*q - 0*q + 11580. Does 40 divide q?
False
Let t = 3264 - 2025. Is 27 a factor of t?
False
Let d(f) = -f**3 - 10*f**2 - 11*f + 9. Let i be d(-7). Let l = 93 + i. Is 8 a factor of l?
True
Let a(n) = 14*n**2 - 4*n + 4. Let f(s) = s**2 - s + 1. Let t(q) = 3*a(q) - 12*f(q). Suppose -2*i - b = -0*b + 5, 10 = -i - 3*b. Is 15 a factor of t(i)?
True
Let k(p) = -5*p**3 - 8*p**2 - p - 13. Let z(u) = -4*u**3 - 8*u**2 - 2*u - 13. Let i(g) = -5*k(g) + 6*z(g). Does 4 divide i(9)?
False
Let v(h) = -h**2 - 38*h - 319. Does 29 divide v(-22)?
False
Let h(i) = i**2 + 14*i + 4. Let s be h(-13). Let z be (1 + 7)*s/(-12). Suppose r - 2*l - 56 = 0, r + z*l - 36 = 3*l. Is 14 a factor of r?
False
Suppose 25 = -3*g + 1. Let s = -2 - g. Suppose s + 29 = w. Is 21 a factor of w?
False
Is 473 - (1 - (6 - -1)) a multiple of 21?
False
Let g = 22 - 16. Let h be (-157)/3 + g/18. Let n = h - -80. Is n a multiple of 14?
True
Suppose 41*z = 15277 - 2485. Is z a multiple of 12?
True
Suppose -4*h + 6 = -10. Suppose 1 = v + 5*p - 22, -h*v + p + 8 = 0. Suppose 0*o + v*o - 60 = -k, -3*k - 2*o + 166 = 0. Is 18 a factor of k?
True
Suppose 330 = -y - 4*y + 2*n, y - 5*n = -89. Let s = 112 + y. Does 19 divide s?
False
Suppose -7*m - 5 = -3*m + 5*g, m + 4*g + 15 = 0. Let x = 5 - 2. Suppose 2*f + 53 - 152 = -m*b, -x*b = -3. Is 13 a factor of f?
False
Let c(a) = 134*a - 130. Is c(9) a multiple of 16?
False
Let p(s) = -5 - 3*s**2 - 5*s + 6*s**2 - 6*s. Let t(x) = -x**2 + 4*x + 2. Let y(f) = -2*p(f) - 7*t(f). Is y(8) a multiple of 12?
True
Suppose -4*d - 3*w = -317, 0*w = 4*w + 20. Is d a multiple of 28?
False
Suppose -4*k - 26*k = -360. Is 6 a factor of k?
True
Let y(x) = x**3 + 4*x**2 + x + 5. Let i be y(-4). Let w(b) = b**3 - 8*b**2 - b. Let t(c) = c**2 - c. Let a(k) = i*w(k) + 3*t(k). Is a(6) a multiple of 12?
True
Suppose -3*l + 2 = -1, -2*z = -4*l - 12. Does 22 divide (-2 - (-684)/8)/(4/z)?
False
Suppose -121*q + 144 = -118*q. Is 12 a factor of q?
True
Let i = 1228 - 958. Is 90 a factor of i?
True
Suppose 0 = -5*g + d + 1090, 0*d + 647 = 3*g - 2*d. Suppose -4*n + g = -n. Is 18 a factor of n?
False
Suppose 0 = -w + 5, 0 = 3*k - 2*w + 3*w - 509. Is k a multiple of 24?
True
Let w(c) = c**3 - 7*c**2 + 9*c + 7. Let r(h) = -h**2 - h + 7. Let x be r(0). Is w(x) a multiple of 10?
True
Is ((-9)/(-2))/(6/68) a multiple of 4?
False
Let i(w) = 44*w - 33. Does 24 divide i(6)?
False
Suppose 5*s - w = -25, -3*s = -6*s + 5*w + 7. Let h(j) be the third derivative of j**5/30 + 5*j**4/24 + j**3 - 14*j**2. Is h(s) a multiple of 12?
True
Let s(f) = f**2 - 41*f + 140*f - 43*f - 20 - 46*f. Is s(-15) a multiple of 5?
True
Suppose 0 = -o - 3*f, 3*o - f + 4*f = 18. Suppose o*m - 70 = -m. Does 7 divide m?
True
Let j(b) = -11*b + 16. Let d(z) = 5*z - 8. Let n(x) = -13*d(x) - 6*j(x). Let h be n(-8). Suppose y - 66 = -3*l, 5*y = -h*l + 3*l + 366. Does 24 divide y?
True
Let x(b) = -8*b - 6. Let g be x(-15). Suppose 5*n + 24 - g = 0. Is n a multiple of 6?
True
Suppose b + 1740 = 6*b. Does 29 divide b?
True
Suppose -4*c - i + 81 = 33, 5*c = -i + 59. Is 7548/132 - 2/c a multiple of 11?
False
Let a(x) = x**3 + 34*x**2 - 2*x - 5. Is 63 a factor of a(-34)?
True
Let h = 42 - 28. Suppose -32 = -y + h. Let x = -14 + y. Is 10 a factor of x?
False
Suppose 3*r + 0*r - 2*y - 72 = 0, -81 = -3*r - y. Let w = r + 124. Is w/6 - (4 + -2) a multiple of 9?
False
Let t(d) = d**3 - 16*d**2 + 10*d + 7. Let p be t(15). Let z = -45 - p. Does 23 divide z?
True
Is 9 a factor of (-18717)/(-21) - 14/49?
True
Suppose -h = 6*h - 70. Let n = 34 - h. Is n a multiple of 6?
True
Suppose -5*x - 2 = -3*x, 2*g + 2 = -2*x. Suppose 2*b - 7 = f, g*f - 5 = -b + 2*f. Suppose 10 = -5*n, -31 = -b*i + n - 2. Is 9 a factor of i?
True
Let a = -18 + 78. Let l(t) = -2*t**2 + 41*t - 17. Let w be l(19). Let c = a - w. Is 7 a factor of c?
False
Let w be 2 - (9 + -4 + -2). Is (-2)/(-12)*w - 3030/(-36) a multiple of 14?
True
Let j be -1 - ((-80)/(-4))/(-5). Is 14 a factor of 2 - 6 - (-54)/j?
True
Let w(p) = 2*p**3 - 10*p**2 + 24*p - 10. Is 30 a factor of w(5)?
False
Suppose -4*i - 5725 = -9*i + w, -3*w - 5725 = -5*i. Is i a multiple of 9?
False
Suppose -4*h + 0*h + 2*g + 2602 = 0, -2*g + 1962 = 3*h. Suppose -806 = 