Suppose 4*d - 3*w + 17 = 0, 0 = -b*w + 2 - 7. Is 9 a factor of a(d)?
True
Does 21 divide (-126)/(-4)*40/30?
True
Suppose -5*l + 8*l = 51. Is 7 a factor of l?
False
Let k = -2 + 4. Let u(g) = g - 3. Let n be u(5). Is ((-4)/k)/n - -28 a multiple of 18?
False
Is (-4)/8 + 145/2 a multiple of 8?
True
Suppose -4*k = -42 + 14. Does 22 divide 12*(5 + -3 + k)?
False
Let z = 5 - 5. Suppose -4*u + z*u = -16. Is 2 a factor of u?
True
Let m(j) = -j**3 + 8*j**2 - 6*j + 6. Let z be m(7). Suppose z - 54 = -v. Is 16 a factor of v?
False
Suppose -3*x - 5*w = -7, -2*x + 5*w + 17 = x. Suppose -3*v + 3*y - y = -30, 0 = -4*v + x*y + 40. Is v a multiple of 5?
True
Let i(j) = 27*j - 42. Does 10 divide i(6)?
True
Suppose 0 = 2*w - 3*w + 24. Is w a multiple of 4?
True
Let m(z) = -z + 10. Let g be m(8). Suppose -7*t + g*t = -10. Suppose 120 = 5*x - f, 7 = -t*x - 5*f + 55. Does 14 divide x?
False
Let o(u) be the first derivative of -5*u**2/2 - 14*u + 5. Is 12 a factor of o(-10)?
True
Suppose -6 - 6 = -3*j. Let h(i) = -2*i**3 - i**2 + 15*i + 7. Let m(l) = l**3 - 7*l - 3. Let g(w) = 2*h(w) + 5*m(w). Does 11 divide g(j)?
True
Let f = -6 - -2. Let q(y) = -y**3 - 5*y**2 - 6*y - 3. Does 3 divide q(f)?
False
Suppose 2*m - 6 = -2. Let t be (-6)/21 - (-32)/14. Suppose -5*b + 9 = -h + 74, -m*h + t*b = -90. Does 20 divide h?
True
Let r = -25 + 21. Does 7 divide 8/r*(-27)/2?
False
Suppose 13*g = 14*g - 37. Suppose 0 = d - j - g, -2*d + 6*j + 77 = j. Does 12 divide d?
True
Let q(x) = x - 1. Let l be q(4). Suppose 5*c = 4*n + 173, -2*c - 5*n + l*n = -62. Is 10 a factor of c?
False
Let n = -3 - -3. Is 6 a factor of (n + (-12 - 1))/(-1)?
False
Let s(i) be the second derivative of i**5/20 - 3*i**4/4 + 4*i**3/3 + 5*i**2 + i. Suppose o - 4 - 4 = 0. Does 5 divide s(o)?
True
Suppose -3*n - 5*x = -6, 4*n + 18 = -n + x. Let t(l) = -2*l + 4. Is t(n) a multiple of 10?
True
Suppose 6*t - t = 125. Suppose -4*y + t = 5*l, -y + 2 = l - 3. Is l a multiple of 5?
True
Suppose 0 = -5*k - 4*q + 281, -k + q + 61 = -3*q. Is 16 a factor of k?
False
Let t = -80 + 474. Is t a multiple of 12?
False
Suppose 0 = 2*h - h - 11. Is 2 a factor of h?
False
Let k = -458 + 648. Suppose -a - 2*y = 2*a - 272, 2*a = 3*y + k. Is a a multiple of 23?
True
Suppose -n + 4*n = 138. Is 10 a factor of n?
False
Suppose -3*b + 15 = m, -3*m + b + 43 = 2*m. Is m a multiple of 3?
True
Is (-152)/(-6) + 3/(-9) a multiple of 8?
False
Is 16 a factor of ((-32)/(-2))/((33/30)/11)?
True
Let z(s) = -2*s + 6. Let m be z(-6). Suppose -o = -3*o + m. Does 2 divide o?
False
Let c(u) = -u**3 + 20*u**2 + 3*u - 6. Is c(20) a multiple of 18?
True
Suppose -8*q + 3*q = -600. Does 30 divide q?
True
Suppose -19 = x + 9. Let q = -14 - x. Is 8 a factor of q?
False
Let r(c) = c**3 - 7*c**2 + 4*c - 5. Let k be r(6). Let j = -9 - k. Does 4 divide j?
True
Let d(a) = 4*a + 8. Let x(k) be the second derivative of -5*k**3/6 - 9*k**2/2 + 3*k. Let z(j) = -3*d(j) - 2*x(j). Is z(-10) a multiple of 11?
False
Does 15 divide ((-96)/(-18))/((-1)/(-24))?
False
Let x be -3 + 4 - (-3 + -22). Let h = 51 - x. Let d = h - 1. Does 12 divide d?
True
Does 19 divide (-19)/3*(-63)/7?
True
Suppose 3*o + 2*x = 88, -5*o + 5*x = -0*o - 105. Is 3 a factor of o?
False
Let j(y) be the second derivative of -y**3/3 - 2*y**2 - 2*y. Is j(-5) a multiple of 3?
True
Let w = -11 + 5. Let y(u) = -u**3 + 3*u**2 + 4*u - 3. Let z be y(4). Does 8 divide (-36)/z*(-8)/w?
True
Is 16/(-6)*(-1458)/36 a multiple of 12?
True
Let h(r) = 2*r**3 + 8*r**2 - 15*r - 10. Let c(s) = s**3 + 4*s**2 - 8*s - 5. Let m(f) = 11*c(f) - 6*h(f). Let o be m(-4). Is 12 + (o - -3)/2 a multiple of 6?
True
Suppose -5*u - 12 = -192. Is 9 a factor of u?
True
Let t(j) = 9*j**2 + 8*j - 20. Is 6 a factor of t(3)?
False
Let b(a) = -3*a**2. Let q be b(1). Let t(g) = -g**2 - 3*g - 3. Let n be t(q). Let x = 15 - n. Is x a multiple of 17?
False
Let n be 0 - (-4 - (-2)/2). Let t(j) = -n - 5*j - 4 + 1. Is t(-5) a multiple of 15?
False
Let n(w) = 7*w + 1. Let c = -2 + 3. Is n(c) a multiple of 8?
True
Suppose -3*y = 4*v - 4*y - 169, 5*v - 5*y = 215. Is 21 a factor of v?
True
Let v be (4 - 2 - 1) + -3. Let q = v + -2. Is 11 a factor of q/(-4) + (23 - -1)?
False
Does 39 divide (1248/(-112))/(2/(-14))?
True
Suppose -k - 12 = -4*k. Suppose 2*w - 36 = -2*q, 97 = k*w - 2*q + q. Does 16 divide w?
False
Let l(z) = z + 2 + 1 - 2. Let j be l(0). Is (-45)/(-10) - j/(-2) a multiple of 2?
False
Suppose -3*l + 3*m + 10 = 2*m, -15 = l - 4*m. Does 5 divide l?
True
Suppose -4*c + 34 = 10. Is c a multiple of 4?
False
Suppose -158 = -5*s + 3*x + 532, s + 3*x = 138. Suppose -4*c - 2*r = -446, 4*c - 4*r = 278 + s. Suppose 2*o + 56 = 4*o - 4*l, 5*l = 4*o - c. Does 13 divide o?
True
Let i(h) = -h**3 + 4*h**2 + 7*h - 1. Suppose 0*c - x = -2*c + 5, 5*c - 5*x = 25. Suppose c = -w - 2*a + 11, 0*w - 12 = -3*w + a. Is 3 a factor of i(w)?
True
Suppose m - 4*m + 4*i + 106 = 0, m = -4*i + 14. Is 12 a factor of 156/m*(6 - 1)?
False
Suppose 0 = -2*r - 4*o + 64, -3*r - 4*o - 46 = -142. Is r a multiple of 3?
False
Is 3*-1 - -1 - 176/(-11) a multiple of 7?
True
Let t = 2 - 2. Let s(f) = f**3 + f**2 + 3. Let o be s(t). Let n = 32 - o. Is n a multiple of 20?
False
Suppose 4*h - 108 = 4*v, -2*v + 0 = 5*h + 33. Is (v/(-14))/(5/105) a multiple of 12?
True
Is (42/(-5))/(-3)*15 a multiple of 14?
True
Let r(m) = -m**3 - 14*m**2 - 9*m + 19. Let a be r(-14). Suppose 6*y - a + 19 = 0. Is 21 a factor of y?
True
Let g(t) be the first derivative of t**4/24 + 4*t**3/3 + t**2/2 + 1. Let i(b) be the second derivative of g(b). Is i(6) a multiple of 7?
True
Let f(y) = -17*y - 9. Is 19 a factor of f(-5)?
True
Let k(q) = -q**2 + 6*q + 10. Let i be k(7). Suppose 0 = 2*h + i*h - 35. Is h a multiple of 2?
False
Let a = 28 + -19. Suppose -2*c + 11 = -a. Does 10 divide c?
True
Suppose 0 = 3*y - 2*k - 121, -2*k + 160 = 4*y - 4*k. Is 15 a factor of y?
False
Suppose q + 3*s - 73 = 0, -4*q + 7*q + 5*s - 199 = 0. Is 6 a factor of q?
False
Let n(d) = -9*d + 0*d**3 + d**3 - 10*d**2 + 16*d**2. Let u be n(-7). Is 17 a factor of 690/u + 2/(-7)?
False
Let c(l) = -5*l**2 + 8*l**2 - 2*l**2 + 11*l**2. Is c(1) a multiple of 5?
False
Let s(c) = c**3 + 3*c**2 - 2*c - 5. Let h be s(-3). Is 27/(-9) + 30 + h a multiple of 13?
False
Let l = 97 - 140. Let h = l + 71. Is h a multiple of 12?
False
Let d(f) = -f**3 - 9*f**2 + 12. Is 12 a factor of d(-9)?
True
Let k(p) = 155*p. Does 31 divide k(1)?
True
Suppose -p - 42 = -3*p. Suppose -3*m - b = -4*b + p, -3*b + 7 = 4*m. Is 5 a factor of m/(0 + 4/(-10))?
True
Let o(a) be the third derivative of a**5/20 - a**4/8 + 3*a**3/2 + 4*a**2. Is 33 a factor of o(6)?
True
Let v(k) = 10*k**3 - 2*k**2 + k - 2. Is 21 a factor of v(2)?
False
Suppose -180 = -0*g - 3*g. Let r = g - 29. Does 20 divide r?
False
Let h be (25/2)/(1/2). Does 6 divide (180/h)/((-3)/(-10))?
True
Let h(g) = g**3 - 4*g**2 + g + 1. Let v be h(4). Let b be v/(-10) - 698/4. Is b/(-15) + 2/(-3) a multiple of 8?
False
Suppose -3*y - y + 12 = 0. Let a = 10 - -8. Suppose t + a = y*t. Does 8 divide t?
False
Let d be 2 + 2/3*3. Suppose -4 = -d*p, 3*h = 2*h - 3*p + 17. Let y = h - 6. Is 7 a factor of y?
False
Suppose 4*t - 503 = -x, 7*x + 248 = 2*t + 11*x. Is 6 a factor of t?
True
Suppose b - 6*b = 0. Let n(o) = o**2 + o + 5. Does 2 divide n(b)?
False
Suppose 0 = -u + 4 - 13. Let c(y) = y**3 + 10*y**2 + 8*y - 4. Is 2 a factor of c(u)?
False
Suppose 2*b - 5*d - 19 = 0, -5*b + 2*b = -5*d - 36. Is 6 a factor of b?
False
Is -1*(-3)/(-4) - (-2169)/12 a multiple of 30?
True
Let g(v) = v**2 - 2*v. Let k be g(2). Suppose k*z = 2*z. Is z/(1 + 0) - -6 a multiple of 6?
True
Let q be -1 + 2/(4/54). Suppose 5*g - 31 = -4*k, -3*k + 62 = g - 5*g. Let f = q - k. Does 6 divide f?
True
Suppose 6*b - 107 + 5 = 0. Is b a multiple of 3?
False
Suppose -3*l + 15 = 3. Suppose 2*y + l = -2*s, 5*y = -4*s + 3*y + 2. Suppose -47 = -s*i - 5*f, 5*f = -i - 1 - 0. Is 12 a factor of i?
True
Suppose y + 301 = 2*y. Is y a multiple of 13?
False
Suppose 0 = b - 4 + 2. Suppose b*s + 3*s - 90 = 0. Is 4 a factor of s?
False
Let t(c) = 57*c**3 - 3*c**2 - c + 3. Is t(1) a multiple of 28?
True
Suppose 5*j - 73 + 10 = -m, -402 = -5*m + 4*j. Does 25 divide m?
False
Let p(k) be the third derivative of k**4/4 - k**3 + 4*k**2. Let m(n) = -11*n + 12. Let c(t) = -3*m(t) - 5*p(t).