4 a factor of (-2)/1 + 19/(171/7965)?
False
Let z = -869 - -2053. Does 35 divide z?
False
Let u = 2646 - 1643. Is 17 a factor of u?
True
Let r be -3 + (0 - (-5)/5). Does 44 divide (-37)/(28/24*r/14)?
False
Let x = 15 - 17. Let p be -3 - (x - 3) - 2. Suppose 3*i - 166 + 16 = p. Does 10 divide i?
True
Let f(c) be the first derivative of 2*c**3/3 - c**2/2 - 7*c + 12. Is f(-4) a multiple of 6?
False
Let p = 18 + -15. Suppose -s - p*s + 80 = 0. Does 10 divide s?
True
Let h = 18 + -13. Suppose 0 = h*o - 10*o + 240. Is o a multiple of 12?
True
Suppose -3*i + 2030 = 230. Is 40 a factor of i?
True
Let l = -59 + 60. Does 8 divide 83 + (l - 4) + 1?
False
Let o = -136 + 352. Is o a multiple of 18?
True
Let s = 16 + 8. Let w(x) = -x**2 + 22*x - 19. Let n be w(21). Is 11 a factor of ((-17)/n)/((-12)/s)?
False
Let o = -1022 - -1275. Is o even?
False
Let x(z) = z**3 - 13*z - 6. Let n be x(8). Suppose 3*a = n + 84. Is 15 a factor of a?
False
Is (21/42)/((-2)/(-3356)) a multiple of 37?
False
Let z = 16 - -6. Suppose -17*o = -z*o + 125. Is 5 a factor of o?
True
Suppose 0 = 12*w - 1997 - 1471. Is 14 a factor of w?
False
Let u = 45 + -37. Suppose 4 + u = 6*m. Suppose 3*s = -12, -2*d - 2*s - s + m = 0. Does 5 divide d?
False
Let z be 11/33 - (-74)/(-6). Let h = z - -45. Is 11 a factor of h?
True
Suppose 0 = -3*c + 5*b - 35, c - 6*c = -5*b + 65. Does 46 divide 12 + c - (-186)/2?
False
Let v be (2 - 2) + (-1 - -5). Let h(m) = -v*m - 2 + 2 + 9*m. Is h(11) a multiple of 9?
False
Let m = -8 + -9. Let n = m - -15. Is 0 - (-3 - n) - -27 a multiple of 12?
False
Let m(d) = -d**3 - 7*d**2 + d + 7. Suppose -4*r - 3*t + 341 = -2*t, 5*t + 273 = 3*r. Let p be 30/(-165) - r/11. Does 13 divide m(p)?
False
Suppose 0 = -74*i + 32*i + 36162. Does 31 divide i?
False
Let l(f) = -3*f**2 + 25*f - 5. Let z be l(8). Suppose 4*u + z*w - 657 = u, 4*u - 879 = -5*w. Does 18 divide u?
True
Let c(j) = 18*j**2 + 21*j + 42. Is c(-7) a multiple of 17?
False
Does 3 divide ((-162)/(-4))/(23/230)?
True
Let r be (-32 - 1)*(-5 - -3). Let h be r/(-22)*(-1 + 0). Suppose h*n - 45 - 21 = 0. Is n a multiple of 11?
True
Let p = -65 + 96. Does 17 divide p?
False
Let h(y) = 4*y**3 + 3*y**2 - 11*y. Does 104 divide h(5)?
True
Suppose 2 = 4*h + 14. Let g(u) = -1 - u**2 - u + 3*u**2 - 2. Is g(h) a multiple of 6?
True
Let t(z) = 18*z**2 + 12*z + 26. Suppose -4*w + 4 = 0, 4*i + 5*w = -0 - 7. Does 19 divide t(i)?
True
Suppose 6720 = -38*j + 54*j. Is 28 a factor of j?
True
Let p(l) = 5*l**2 - 2*l - 12. Let i be p(-10). Does 7 divide (-4)/18 - i/(-18)?
True
Let q(t) = -t - 37. Let j be q(0). Let b be (-6285)/(-60) - 1/((-16)/4). Let n = j + b. Is n a multiple of 17?
True
Does 104 divide (-54336)/(-26) - 90/(-585)?
False
Suppose 2*y = j - 13, 3*j + 0*j - 21 = 4*y. Let f be (88/12)/(6/y). Let l(q) = q**3 + 10*q**2 - 14*q + 13. Does 7 divide l(f)?
False
Suppose 951 - 87 = 16*n. Is 50 a factor of n?
False
Suppose 134 = 4*x - 50. Let c(y) = -y + 8. Let g be c(6). Suppose f - x = -g*l, -94 = -4*l - 2*f - f. Is 11 a factor of l?
True
Suppose -5*w - 763 = -v, 52*v = 56*v + 3*w - 3052. Is v a multiple of 50?
False
Suppose -5*x = -g - 302 - 200, -x = -5*g - 110. Suppose -2*q + x = -2*n, 4*q + 6*n - 200 = 3*n. Is q a multiple of 8?
False
Let n be 10/15 - (-22)/(-6). Is (-2)/n - (-1047)/9 a multiple of 9?
True
Suppose 52*v + 754 = 53*v. Is 13 a factor of v?
True
Let a be (-4)/(-14) + (-366)/(-42). Let w(t) = -t**2 + 9*t - 4. Let j be w(a). Is ((-248)/(-10))/(j/(-10)) a multiple of 17?
False
Let r = 96 - 96. Suppose -5*x + 260 = -r*x. Is x a multiple of 4?
True
Let m = 2 + 509. Is m a multiple of 44?
False
Is -5 + 21367/(-46)*(-4)/2 a multiple of 17?
False
Let s(y) = -3*y**2 + y + 3. Let z be s(0). Let v(n) = -5*n**3 + 8*n + 7*n + 5 + 6*n**z - 5*n + 9*n**2. Does 8 divide v(-4)?
False
Let y(f) = f**3 + 4. Let v be y(-2). Is 11 a factor of (-2)/(-1*v/(-64))?
False
Let w = 220 + -325. Let q = -70 - w. Is q a multiple of 3?
False
Let f be 0 + -14 + 6*(-10)/15. Does 10 divide (-3)/27*-812 - (-4)/f?
True
Suppose -10*a + 11*a = 4*n - 2204, 5*n + a - 2746 = 0. Does 10 divide n?
True
Let m be (-7)/(-1)*6/21. Does 23 divide (-430)/(-4) - (m - 6)/(-8)?
False
Let t(w) = 5*w + 4. Let g be t(-6). Let f = 31 + g. Suppose -q + 26 = 4*k, -5*k + f = -0*k. Is 11 a factor of q?
True
Suppose 1466 = 2*r - 2*k, 0 = -5*r - 5*k - 1745 + 5370. Does 9 divide r?
True
Is 26 a factor of 1 - -92 - (3 + 4/2)?
False
Let l = 335 - 176. Suppose -4*x - l + 591 = 0. Suppose 0 = 2*j + 2*j - 3*b - 169, 3*j + 4*b - x = 0. Is 20 a factor of j?
True
Let s = -15 - -18. Suppose -2*o = -s*o + 53. Is o + (-1)/(-3 - -2) a multiple of 18?
True
Let b = -36 + 24. Let v be (1 + (-220)/b)*3. Suppose -6*m = -8*m + v. Does 18 divide m?
False
Suppose 0 = 13*t - 8*t. Suppose -5*g + 15 = t, 37 = q + 4*q - g. Does 8 divide q?
True
Is 6 a factor of (2511/(-3))/((-60)/80)?
True
Let h = 566 - 141. Does 85 divide h?
True
Suppose -4*p + 169 = l, 4*l = 3*l - p + 184. Is l a multiple of 24?
False
Let w be (-6)/30 + (-16)/(-5). Let o be (-5 + w)/((-6)/15). Let q = o - -21. Is 19 a factor of q?
False
Let h(o) = o**3 + 11*o**2 - 2*o + 3. Let d be h(-11). Suppose -p + 2*g = -0*g + 6, d = -5*p + 5*g. Let v(m) = m**3 + 4*m**2 - 6*m - 5. Does 19 divide v(p)?
True
Let i(l) = 174*l**3 - l**2 + 4*l - 2. Let n = 63 + -62. Does 17 divide i(n)?
False
Suppose 6*n = 10*n - 48. Is (3/9)/(2/n) - -2 a multiple of 3?
False
Does 6 divide ((-45)/12*-2)/(4/144)?
True
Let i be -1 - -710 - 3/(3/(-2)). Suppose 5*p + 393 = 2*b, -p = 4*b + 4*p - i. Is 20 a factor of b?
False
Suppose -19*j + 2812 = -4332. Is j a multiple of 94?
True
Let b(n) = -n**3 + 5*n**2 + 5*n + 2. Let o be b(6). Let q be o/(-10) + (-60)/25. Is 25 a factor of q/7 - 177/(-7)?
True
Suppose -21*h = -17*h - 180. Is 15 a factor of h?
True
Suppose -3*w - 6 = -36. Suppose k = -3*t + w, 2*k = t + 9 - 3. Suppose k*f - 36 = 2*f. Is 9 a factor of f?
True
Let y = 405 + 200. Does 55 divide y?
True
Let k = -2390 + 3760. Is 20 a factor of k?
False
Suppose m - 9 = 3*w, 11 = m + w - 18. Suppose 4*y - 8*y = -m. Is 3 a factor of y?
True
Suppose 0 = v - 3080 + 3004. Is v a multiple of 76?
True
Let t = 3462 + -1626. Is 13 a factor of t?
False
Suppose -3*b - 6*b + 36 = 0. Suppose -b*h + 10 = -62. Is 4 a factor of h?
False
Let j(a) = a**3 + 8*a**2 + 7*a - 3. Let z be j(-6). Suppose 0 = -5*x - 2 + z. Suppose n = x*n - 28. Does 7 divide n?
True
Let k = 1842 - 398. Is 38 a factor of k?
True
Let j(b) = -b**2 - 14*b - 8. Let c be j(-13). Let r(i) = i**3 - 4*i**2 - 4*i + 13. Does 3 divide r(c)?
True
Let n = 57 - 32. Suppose 0 = -f + 2*u + n, 3*f = -2*u - u + 111. Is 9 a factor of f?
False
Suppose -5*p + 52 = -88. Suppose 5 + p = -3*s. Let d = 19 + s. Is 8 a factor of d?
True
Suppose -7136 = -3*s - 5*m, 4*s - 5*s + 5*m + 2372 = 0. Is 14 a factor of s?
False
Suppose 5*i + 2*f = -100 + 13, -18 = 2*i + 5*f. Let n(w) = -3*w + 19. Does 11 divide n(i)?
False
Let u(t) = -6*t**3 - 3*t**2 + t + 4. Let c be u(2). Does 18 divide c*1/(12/(-8))?
True
Let v be (-13431)/(-55) - 4/(-5). Let w = 361 - v. Does 29 divide w?
True
Suppose 3*o - 2 = -5*p - 14, p - 2*o - 8 = 0. Suppose 3*z - 91 = 4*d, -3*z + p*d = d - 101. Does 33 divide z?
True
Let k be -8 + 10 + -4 + -1 - -30. Let x = 87 - k. Is 10 a factor of x?
True
Is (970 + (-7 - -3))*(14 + -12) a multiple of 21?
True
Is 7 a factor of 76113/24 + 138/(-368)?
True
Let o(s) = s**3 + s - 2. Let q be o(1). Suppose 5*x + 4*l = -q*x - 294, l - 4 = 0. Let u = x - -91. Is 8 a factor of u?
False
Let g be (0/2)/(5 - 3). Suppose g = -2*s - 8*s + 720. Is s a multiple of 13?
False
Suppose -3*t = -18 - 6. Suppose -2*r = -2*p - 76, p = -4*r + 4*p + 156. Suppose -r = -t*b + 6*b. Does 11 divide b?
False
Let b(z) = z - 9. Let y be b(6). Suppose 4 - 5 = l. Does 14 divide (-16)/(-1) + (y - l)?
True
Let n(u) = -3*u**3 - 33*u**2 + 9*u - 27. Let c(b) = -2*b**3 - 22*b**2 + 6*b - 18. Let g(i) = -8*c(i) + 5*n(i). Is 14 a factor of g(-11)?
True
Suppose i = -5*d + 12, -3*i + 0*i = -4*d + 2. Let s(x) = 16*x**2 - 3*x + 1. Let b be s(i). Let j = 113 - b. Is j a multiple of 18?
True
Let i(n) = n**3 + 25*n**2 - 11*n + 5. Does 20 divide i(-25)?
True
Does 102 divide (-71337)/(-18) - (-45)/54?
False
Does 9 divide 12 + 665/(-56) + (-5374)/(-16)?
False
Is 14 a factor of ((-26)/52)/(