 multiple of 17?
False
Does 60 divide ((-60)/(-112))/((-2)/32)*-175?
True
Let r(g) = 0 - 1 - 7 - 6*g + 2. Does 9 divide r(-16)?
True
Let g = 31 - 16. Suppose -10 - 8 = -j + d, 0 = 3*d + g. Does 3 divide j?
False
Let l(g) = g**3 - g**2 - 10 + 13 - 3*g - 8. Suppose 0*t + 16 = 4*t. Is l(t) a multiple of 31?
True
Let n = -2 + -1. Let o be ((-6)/n - 1) + -76. Let t = 107 + o. Is 18 a factor of t?
False
Let q = 85 - -81. Is q a multiple of 11?
False
Let a = 2165 - 1315. Does 50 divide a?
True
Let v = -546 + 344. Let b = 13 + -7. Is 14 a factor of v/(-6) + b/(-9)?
False
Suppose 0 = 2*i - 13 + 5. Suppose -15*r = -5*r - 30. Suppose r*q = -i*q + 266. Is q a multiple of 16?
False
Let j be (4 - -4) + 3 - 0. Let y(d) = -d**2 + 15*d - 36. Is y(j) a multiple of 4?
True
Suppose 9*n - 18 = -0*n. Suppose -2*g - 76 = -q + 2*g, -182 = -n*q + 2*g. Does 48 divide q?
True
Does 17 divide ((-231)/385)/((-2)/4190)?
False
Let u(j) = 10*j + 208. Is 10 a factor of u(33)?
False
Suppose 4*h + 21 = -2*w + 9*h, 0 = -w + 3*h - 10. Let l = w + -5. Let b = l + 54. Is b a multiple of 9?
True
Let o(y) = -3*y**2 + 24*y + 3. Let c be o(10). Let q = 117 + c. Is 8 a factor of q?
False
Suppose -3*a - 6 - 18 = 0. Let t = -4 - a. Suppose 19 = -3*u + t*u. Is u a multiple of 6?
False
Suppose -3*b = -2*n + 1, -4*b + 0*n = -5*n + 13. Let k(i) = -6 - b*i - 10 + 1 - 4. Is k(-13) a multiple of 7?
False
Let j(n) = 5*n**2 + 11*n + 10. Is j(-8) a multiple of 12?
False
Suppose -2510*k + 2521*k = 4158. Is k a multiple of 6?
True
Suppose -4*d + 18 - 2 = 0. Suppose 189 = 3*p - g, p - 126 = -p - d*g. Does 5 divide p?
False
Is 980/21*(-3)/(-1) + -3 even?
False
Let x = -52 - -27. Let r be (10/(30 - 0))/(3/(-108)). Does 4 divide 3*(-4)/r - x?
False
Does 99 divide 1 + (1182 - -1) + 136/34?
True
Suppose 2 + 254 = -h. Is (-4)/(-26) + h/(-26) even?
True
Let x(k) = 17*k**2 + k - 24. Let b be x(-9). Suppose -3*f = 11*f - b. Does 32 divide f?
True
Let a(j) = 54*j**2 + 23*j + 16. Let w be a(10). Is (-4)/(-24) + w/36 a multiple of 21?
False
Suppose 8*j = -750 + 4910. Is j a multiple of 40?
True
Suppose -53 = -2*a + 111. Let b = a + -49. Is 22 a factor of b?
False
Let h be 3*(1 - -1) + -2. Is 8 a factor of 49 + -4 + -4 + h?
False
Let i be 3 - 54/21 - (-20)/(-14). Is (-98)/i - (-13 - -8 - -1) a multiple of 25?
False
Let v be (-5)/((-15)/9) + -8. Let a(f) = 3*f**2 + 4*f + 1. Is 13 a factor of a(v)?
False
Let d = -2 + 11. Suppose l - 2*y - 3*y = -d, 5*l - 3*y + 23 = 0. Does 15 divide (90/(-8))/(l/16)?
True
Let v(g) = -95*g**3 + 3*g**2 + 3*g + 2. Is v(-2) a multiple of 96?
True
Let f(t) = 19*t**3 - t**2 + 1. Let z be f(-1). Let k = 25 + z. Suppose 5*r - 43 = -2*u, -20 = -k*u + u. Is 2 a factor of r?
False
Let v(o) = 3*o**2 - 15*o + 2. Is 4 a factor of v(-6)?
True
Suppose -m - 373 = -3*c, 7*m + 131 = c + 8*m. Is c a multiple of 6?
True
Let j be (28 - 20) + (0 - -1). Is 234/2*6/j a multiple of 13?
True
Let g = -129 - -89. Let u be g/(-8)*(0 + 1). Suppose 3*w + 24 = u*w. Is 9 a factor of w?
False
Let y(r) = -r**3 - 9*r**2 + 6*r + 8. Let j be y(-10). Suppose j = -4*z - 0*z. Let n = 65 + z. Is n a multiple of 16?
False
Let m = -26 - -4. Let d be (-3377)/66 - -2 - (-1)/6. Let t = m - d. Is t a multiple of 8?
False
Let f(q) be the first derivative of -1/3*q**3 - q - 4 + 6*q**2. Is f(9) a multiple of 26?
True
Let w be 12/3 + (-1)/(-1). Suppose -3*c = 4*g - 1220, -w*g - 1443 - 602 = -5*c. Suppose -3*o + c = 3*o. Is 19 a factor of o?
False
Suppose -y = 4*v - 3*v - 7, 0 = -5*y + 25. Suppose 13 = -v*s - 1. Let w = 15 + s. Is 4 a factor of w?
True
Let t(w) = w**2 - 4*w - 66. Is 16 a factor of t(22)?
False
Suppose -4*h + 2*i = -422, 72 = h - 3*i - 46. Let o = h + -74. Is o a multiple of 8?
False
Is 39 a factor of 90/(-135) + (-13875)/(-9)?
False
Suppose -w + 15 = -6*w, w = 3*f - 18. Let z be 3/((-12)/8)*-1. Suppose -z*h + 30 = f*l, l - 3*h + 0*h + 11 = 0. Is l a multiple of 3?
False
Let s(c) be the first derivative of 2/3*c**3 + 9*c - 6 - 2*c**2. Does 5 divide s(3)?
True
Let h(i) = i**3 + 16*i**2 - 28*i + 16. Is 100 a factor of h(-14)?
True
Let z(t) = 2*t**2 + 8*t + 32. Does 8 divide z(-5)?
False
Let j = -10 + 5. Let n = j + 3. Is 18 a factor of (-9)/n*(11 + -7)?
True
Let z = 77 - 77. Suppose z = r - 4*r + 180. Is r a multiple of 43?
False
Suppose 4*m = -4*c + 12, 0 = 3*c + m - 1. Let y = c - -15. Is 7 a factor of y?
True
Does 7 divide (2*-5)/((-26)/364)?
True
Suppose -4*w = 2*u - 772, 32*w + 3*u - 390 = 30*w. Is w a multiple of 64?
True
Let a be (2 + 0)/(-11 + 9). Is 45 a factor of (1 - 1) + 1/(a/(-45))?
True
Let f(q) be the third derivative of 25*q**4/12 + q**3/3 - 6*q**2. Suppose -4 = -2*p, -3*t + 4*p = -0*t + 5. Does 13 divide f(t)?
True
Let s = 27 + -59. Let u = s + 81. Is 14 a factor of u?
False
Suppose 0*g = -3*g + 3. Let k(b) = -b - b - 3*b - g. Is k(-3) a multiple of 7?
True
Does 3 divide (36/(-27))/((-6)/540)?
True
Suppose 0 = m + 5*m + 18. Does 29 divide (-68 + 10)/(m + 1)?
True
Let h be 70/22 - (-40)/(-220). Suppose h*r - 5*r + 134 = 0. Is 10 a factor of r?
False
Suppose 13 = 4*u + 5. Suppose u*l - 3*p - 1525 = -3*l, 4*p = 5*l - 1530. Suppose 5*y = l - 27. Is y a multiple of 21?
False
Is 4 - ((-2)/6)/(4/516) a multiple of 5?
False
Suppose 2*s = s - 1. Let j(r) = 3 - 13*r - 24*r - 35*r. Is 18 a factor of j(s)?
False
Let r(k) = 121*k**2 + 9*k - 7. Does 9 divide r(2)?
True
Let u = -17 + 33. Suppose 17*i - u*i - 56 = 0. Does 9 divide i?
False
Let l = 47 + -28. Let r = 75 + l. Suppose -38 - r = -4*d. Is d a multiple of 11?
True
Let p(w) = 42*w + 2*w**2 - 20 + 31*w - 67*w. Is 19 a factor of p(-8)?
False
Suppose -2*g = -3*j + 41, -4*j - 4*g + 5*g + 53 = 0. Suppose 105*b - j = 104*b. Is b even?
False
Is 9 a factor of 409 + -26 - (2 + 2)?
False
Let f(x) = -11*x**2 + 11*x - 38. Let p(z) = 4*z**2 - 4*z + 13. Let s(k) = 6*f(k) + 17*p(k). Is s(3) a multiple of 2?
False
Suppose 3*u - 717 = -615. Is u even?
True
Let y(d) be the third derivative of d**5/12 - d**4/8 - d**3/3 - 14*d**2. Does 26 divide y(-3)?
True
Let c(v) = -2*v**3 + 5*v**3 + 7*v**2 - 4*v**3 + 9 - 4*v. Let s be 3 + -3 + 3 + -3 + 6. Is 7 a factor of c(s)?
True
Suppose 0 = 2*a + 2 - 0. Let z be -3*(-1 - 15/9). Let h = z + a. Does 2 divide h?
False
Let m = -750 + 1254. Let w be m - (-4 - -1) - 4. Suppose -p - 4*p + w = -4*z, 0 = p + 4*z - 91. Is 33 a factor of p?
True
Let x(u) = u**3 - u + 3. Let h be x(0). Let o be 7*(-2 + -1 + 12). Suppose h*d = -2*s + o, 4*s = 3*d + d + 116. Is s a multiple of 10?
True
Let q be ((-58)/(-6))/((0 + -3)/(-9)). Suppose 0*m - m = 9. Let g = q + m. Is 10 a factor of g?
True
Suppose -2*y + 3*l = -5 - 1, -2*y - 5*l = -6. Is (84/18)/(1/y) a multiple of 14?
True
Does 20 divide (-3 + 3070/(-6))/(30/(-90))?
False
Suppose -606 = -6*o - 0*o. Is o a multiple of 3?
False
Let w(n) = -n**3 - 11*n**2 - 3*n - 9. Let m be (1 - 0)/((-8)/88). Does 4 divide w(m)?
True
Suppose 2*i = i + 2. Suppose -7*b + 10 = -i*b. Suppose 2 = -b*x + 3*x. Is x even?
True
Is 719 + (-8 - 12/(-4) - -10) a multiple of 79?
False
Let g be -1 + 4 - (-6 - -27). Let c = g + 16. Is c/(-12) - (-1748)/24 a multiple of 26?
False
Suppose 0 = 14*l - 18*l + 808. Let g = l + -136. Let k = -24 + g. Is k a multiple of 14?
True
Let d(n) = -n**3 - 18*n**2 - 12*n - 15. Let t(x) = x**3 + 17*x**2 + 13*x + 15. Let s(m) = -4*d(m) - 5*t(m). Does 8 divide s(-12)?
False
Let o(d) = -164*d + 4. Is o(-2) a multiple of 5?
False
Let a = 19 + 3. Let s = 43 + -39. Suppose -t = 3*l + 2*l - a, -22 = -s*t + 2*l. Does 6 divide t?
False
Let m = 140 - 233. Let z = -53 - m. Suppose 0 = -x - 5*y + 20, -7*y + 2*y = 3*x - z. Does 7 divide x?
False
Suppose -5*x + 0*g = -g - 9, 2*g - 2 = 0. Suppose 3*i = -x*z + 34, -i = -0*i. Let m = 27 + z. Does 11 divide m?
True
Is 21 a factor of ((-18)/(-189) + 13/84)*692?
False
Suppose 186 = 2*j - 2*t, 5*j - t - 689 = -212. Does 6 divide j?
True
Suppose 27 = 5*x - 4*b, x + 4*b = 4*x - 21. Suppose x*a + 7*h - 618 = 2*h, -5*a - 3*h + 1046 = 0. Does 13 divide a?
False
Suppose 3*m - 2*w - 4700 = 0, 3*w - 214 = m - 1783. Is m a multiple of 58?
True
Let n = -79 + -145. Let p = -150 - n. Is 29 a factor of p?
False
Let w(f) = 3*f**2 - 7*f - 15. Let y be w(-5). Let k = -6 + y. Is k a multiple of 15?
False
Suppose -36*u = -40*u - 248. Let h = u - -104. Is 6 a factor of h?
True
Let v = -29 - -32