 -q + b + 280, 844 = 2*q - 4*b. Is q a multiple of 15?
False
Let x be (-12)/(-2) - (2 + 0). Suppose -2*q = t + x, 0*t - 6 = 3*q + 4*t. Let c(v) = -6*v**3 + 2*v**2 - v. Is c(q) a multiple of 19?
False
Suppose w + 5*r - 10 = -92, 110 = -w + 2*r. Let m = 162 + w. Is m a multiple of 28?
False
Let y = 320 + -177. Is y a multiple of 13?
True
Let v(h) = h**2 - 4*h + 101. Is 12 a factor of v(0)?
False
Let w(r) = r**2 - r + 4. Let i be w(-3). Suppose 5*m = i + 9. Suppose -m*z + 5*p + 0*p = -180, -4*p = 2*z - 78. Does 17 divide z?
False
Let f be 2/(10/(-6) + (-2 - -3)). Does 7 divide 13 - (-2 + 2 - f)?
False
Suppose 88 = -3*b + 34. Suppose 0 = -2*z - 2*m + 34, -z + 3*m = -21 - 16. Let f = z + b. Is f a multiple of 3?
False
Let v = -22 - -29. Suppose 35 = -2*k + v*k. Let s = 24 - k. Does 17 divide s?
True
Let j(v) = v**2 - 3*v + 6. Let h be j(5). Suppose -5*r - 3*d = -h, -7 - 8 = 5*d. Let l(u) = -u**3 + 6*u**2 - u - 4. Is 16 a factor of l(r)?
True
Suppose 5*b - 2 = 4*u, -u = 2*b + 2*b + 11. Let m be (u - 0)*(-20)/15. Suppose 2*g = -8, -m*h + 49 = 2*g - 123. Is h a multiple of 15?
True
Let t(x) be the first derivative of 3*x**3 + 3*x**2/2 + 3*x - 3. Does 8 divide t(4)?
False
Let a = 34 - 31. Suppose -a*j + 2*j + 18 = 0. Does 6 divide j?
True
Suppose 3 = -2*p + 9. Suppose v - p - 11 = 0. Is v a multiple of 14?
True
Suppose -8 = 2*k + 4*h, -2*k + 11*h - 9*h + 22 = 0. Is 8 a factor of (-3)/(k/8) + 148?
True
Let g(t) = t**2 + 4*t + 3. Let w be g(-4). Suppose -8*h = -3*h - 3*r - 2466, 2*h + w*r = 999. Suppose 5*x = 45 + h. Is 24 a factor of x?
False
Let z = 762 + -716. Is 8 a factor of z?
False
Let f(t) = -3 - 1 + 0*t**2 - t + t**2. Let g be -1 - -9 - 7*6/21. Is 13 a factor of f(g)?
True
Suppose p = -3*p. Let s(w) = p*w**2 + 4*w**2 - 3*w + 2 - 2*w + 3*w. Does 8 divide s(3)?
True
Let o(t) = 170*t - 32. Does 69 divide o(1)?
True
Suppose -2*n - 3*n = 55. Let b be n/(-9) + (-2)/9. Is b/(3 - 2) - -44 a multiple of 18?
False
Suppose 11133 = -35*w + 27933. Is 24 a factor of w?
True
Let y = -428 + 816. Is 97 a factor of y?
True
Let s(d) = d**2 - 3*d - 2. Let n be s(-4). Suppose 27*w - 24 = 26*w. Let p = w + n. Does 17 divide p?
False
Let p = 35 + -20. Suppose -p*j + 827 = -673. Is 5 a factor of j?
True
Suppose 747 = -2*p - 299. Let m = -224 - p. Does 54 divide m?
False
Let s(k) = k. Let t(j) = j**3 + 17*j**2 + 20*j + 19. Let y(l) = 2*s(l) - t(l). Is y(-16) a multiple of 8?
False
Let b(u) = 4*u**2 + 8*u + 4. Let l be b(-3). Let i = 31 - l. Let s(j) = -j**2 + 16*j + 17. Is s(i) a multiple of 8?
True
Is 14 a factor of 23*1/((-6)/(-10*3))?
False
Let j = -62 + 89. Suppose -3*x = 4*v - j, -4*x - x - 4*v = -37. Does 4 divide x?
False
Suppose -3*c = 0, c = 5*m - 2*m - 360. Suppose -5*y - m = -420. Is 10 a factor of y?
True
Let t(y) = -13*y + 48. Let u(o) = -6*o + 24. Let n(b) = -2*t(b) + 5*u(b). Let v(g) = -g + 1. Let p(s) = -2*n(s) + 40*v(s). Does 12 divide p(-2)?
False
Suppose f = -4*s - 2*f - 5, 0 = 3*s - f + 7. Does 7 divide (-1470)/(-14)*1/((-5)/s)?
True
Does 58 divide (116*11/(22/28))/1?
True
Let g(n) = n**3 - 5*n**2 + 5*n - 2. Let m be g(4). Suppose m*j - 3*j = -3. Suppose 6 = j*u - 18. Does 4 divide u?
True
Let m(x) = -x**3 - 13*x**2 - 15*x + 1. Does 30 divide m(-14)?
False
Suppose 0 = -l - 3 - 2. Let c be (-1)/((20/(-96))/l). Does 5 divide 0 + (-11)/(44/c)?
False
Let z be (-1 + 0)/((-2)/12*2). Suppose 18 - 78 = -z*f. Is f a multiple of 5?
True
Suppose -6*n + 7*n - 12 = 0. Let v = n - -12. Does 6 divide v?
True
Let t(p) = p**3 + 13*p**2 - 69*p - 11. Is 33 a factor of t(-11)?
True
Let p(u) = u**3 + 3*u**2 - 4*u + 7. Let k be p(5). Suppose 0 = -2*j - 35 + k. Is 19 a factor of j?
True
Suppose 0 = -2*b + 8*o - 3*o + 115, 2*o = 2*b - 118. Is 6 a factor of b?
True
Suppose 13 + 3 = 4*c + 3*w, -5*c = -5*w - 55. Suppose -4*o = t - 14, -o + c + 2 = 3*t. Suppose 0 = -o*f - 0*f + 60. Is 6 a factor of f?
False
Let t = 338 + -331. Does 6 divide t?
False
Suppose 9*i + 8*i = -1666. Does 15 divide (i/4)/((-6)/12)?
False
Let v(z) = z**2 - 20*z + 30. Is 21 a factor of v(-25)?
True
Let g = 4 - -6. Suppose 14*y = g*y. Suppose -l = -4*a + 72, -5*a + y*a + 4*l + 79 = 0. Is 19 a factor of a?
True
Suppose -3*h - 4*c + 16 = 0, -4*h + 3*h - c + 5 = 0. Suppose -14 + 2 = -h*d. Is d a multiple of 2?
False
Let v = -28 - -150. Suppose v + 14 = 2*p. Does 17 divide p?
True
Let o(j) = j**3 - 7*j**2 + 6. Let p be o(7). Let y be 75/p + (-2)/(-4). Does 10 divide (8 - y)*(-7 + 1)?
True
Let v = -33 + 13. Let f = 8 + v. Let i(m) = -m**2 - 16*m + 2. Is i(f) a multiple of 25?
True
Does 5 divide -19 + -4 + 11 - -261?
False
Let h be ((-1526)/(-21))/(3/18). Suppose -h = d - 5*d. Does 16 divide d?
False
Let d(f) be the third derivative of f**5/60 + f**4/8 + 7*f**3/6 + 2*f**2. Let g be d(-5). Let p = -8 + g. Is 9 a factor of p?
True
Let s(l) = 44*l**3 - 16*l + 27. Is s(3) a multiple of 90?
False
Let h(t) = t**3 - 12*t**2 + 2*t - 15. Is 15 a factor of h(14)?
True
Let v(a) be the third derivative of -2/3*a**3 + 3/8*a**4 + 0*a - 1/60*a**5 + 0 - 8*a**2. Does 14 divide v(6)?
True
Suppose 0 = 4*m + 5*f + 428, 2*f + f = 12. Let x = 157 + m. Is 6 a factor of 595/x - (-4)/(-18)?
False
Suppose 101 - 301 = -5*o. Suppose 2 + o = 3*x. Let w = x + 1. Is 5 a factor of w?
True
Suppose -2 = t + 3*m - 4, -5*t - 70 = -5*m. Let i = t - -18. Suppose 3*p + 5*z + i = -1, -5*z = 4*p + 7. Is p even?
True
Let u = -1157 + 1685. Is u a multiple of 24?
True
Let m be -5*(4 - 2/1). Is (-12 - 4)/(4/m) a multiple of 8?
True
Suppose 3328 = 4*c + 4*c. Does 26 divide c?
True
Let v(t) = 27*t**2 + 6*t + 17. Is v(-8) a multiple of 11?
False
Let i(k) = 2*k + 17. Let t be i(-11). Let n(f) = f**3 + 8*f**2 + 14*f + 5. Does 10 divide n(t)?
True
Suppose 4*l + 54 = l. Is ((-65)/15 + 4)*l a multiple of 3?
True
Let w be (14 - -1)/(-3) - -1296. Suppose -w - 524 = -11*y. Does 14 divide y?
False
Let b = 44 + -54. Does 16 divide b/6 + (-505)/(-15)?
True
Let t = 38 - 36. Suppose -160 = -3*c - t*c. Does 16 divide c?
True
Let x be (2 + 0 - 1)*3. Suppose 3 = x*v - 9. Suppose -5*f + z + 116 = 0, -56 = -v*f - 2*z + 48. Is 7 a factor of f?
False
Let f = -3 - -5. Let w = 26 - -6. Suppose 0 = -f*m + w. Does 5 divide m?
False
Let u(l) = l**3 - 4*l**2 - 15*l - 4. Is 38 a factor of u(7)?
True
Suppose -2*b + 2 = 0, -5*b - 1795 = -5*h + 4*h. Does 100 divide h?
True
Is ((-34)/119)/(1/(-1295)) a multiple of 10?
True
Suppose -3*a + a + 5*y = -60, 0 = a + 2*y - 21. Suppose 5*j - 28 - a = 3*g, j = 3*g + 13. Is j a multiple of 5?
True
Let k(s) be the first derivative of s**4/4 - 4*s**3/3 - 2*s**2 - 5*s + 5. Let t be k(5). Suppose t = -4*h + 3*x + 29, -5*x + x + 3 = 3*h. Does 5 divide h?
True
Suppose -1 = -4*k + 3*w, 5*k + 3*w = -2 + 10. Is 11 a factor of 146 + k/(4/(-8) - -1)?
False
Let s(f) = f**3 + 4*f**2 - f - 4. Let q be s(-3). Suppose 10*x - 128 = q*x. Does 16 divide x?
True
Let m(q) = q**2 + 3*q - 3. Let n be m(-4). Let w(s) = -1 - 7746*s**2 - 7742*s**2 + 15498*s**2. Is w(n) a multiple of 5?
False
Let f(g) = -4*g**3 + 17*g**2 - 27*g + 11. Let n(y) = -y**3 + 6*y**2 - 9*y + 4. Let k(c) = 2*f(c) - 7*n(c). Is 8 a factor of k(-10)?
True
Suppose 88284 = 55*d - 3951. Is d a multiple of 43?
True
Does 6 divide 2*((-5668)/(-8))/13?
False
Is 15 a factor of 26/(1071/351 - 3)?
False
Let x(q) = -q**3 + q - 2. Suppose -30 = 2*w - 8*w. Suppose -2*j - w*k = -4, 0 = -3*j + 3*k - 14 - 1. Is 15 a factor of x(j)?
False
Let f be ((-36)/(-45))/(4/10). Suppose 0 = 2*n - 5*v - 3, 0 = -f*v + 5 - 3. Suppose -159 = -9*j + n*j - 2*p, 4*j + 2*p - 128 = 0. Is j a multiple of 15?
False
Let y = 38 + -36. Let t(s) = 70*s**2 - 4*s - 1. Is 67 a factor of t(y)?
False
Let u(c) = c**2 - c + 25. Let g be u(0). Suppose 53 = 2*s - g. Is 6 a factor of s?
False
Let r(z) = 26*z**2 + 8*z + 8. Does 26 divide r(-1)?
True
Let i be 20/(-4 - -2) + 1. Let r(s) = s**2 + 2*s + 6. Is 42 a factor of r(i)?
False
Let d = 43 + -27. Suppose 20*r - 21*r = -d. Does 14 divide r?
False
Suppose -g + 47936 = 31*g. Is g a multiple of 13?
False
Is 14 a factor of -170*(2/8)/((-1)/26)?
False
Suppose -4*k - 4554 = 7*k. Let h = -281 - k. Is h a multiple of 19?
True
Let j(k) = 9*k**2 - k - 8. Is j(7) a multiple of 54?
False
Suppose -4 = 2*f - 12. Suppose 4*c + 50 = 5*b - 60, -f*b + 2*c = -88. Is 11 a factor of b?
True
Let k = 8 - -1. Let d(v) = v