et j(h) = -h**3 - 6*h**2 + 17*h - 13. Let l be j(-9). Is (12/22)/3 - (-6993)/l a multiple of 13?
True
Suppose -47*u + 50*u = 1449. Is 21 a factor of u?
True
Suppose -13*u + 5968 = 1262. Is 14 a factor of u?
False
Suppose -b = -1010 - 2749. Is 10 a factor of b/77 + (-4)/(-22)?
False
Let c = -7 - -4. Let i = 1 + c. Let r(p) = -p**3 - 2*p**2 - 2*p - 1. Does 2 divide r(i)?
False
Suppose o - 3*o = -60. Suppose 7*d = -19*d + 2730. Suppose d + o = 5*i. Does 6 divide i?
False
Suppose 2*s + 3*h - 117 = 0, -3*h = s - 8*h - 26. Let l = s + -24. Is l a multiple of 5?
False
Let m = -13 + 6. Let o(w) = w**3 + 9*w**2 + 5*w - 2. Does 23 divide o(m)?
False
Let i be (-208)/(-24)*6/4. Let g = 25 - i. Is g a multiple of 6?
True
Let c(w) = -2*w**2 + 12*w + 4. Let q be c(9). Let k = -90 - q. Let m = k - -85. Is m a multiple of 15?
True
Suppose 4*i + 5*m - 11 = 0, -4*m + 0*m - 56 = -4*i. Does 4 divide i?
False
Suppose -m - 2*m = -4*r - 1, 3*m = 3*r. Is 2 a factor of (-3)/(m*12) - (-60)/16?
True
Suppose 5*l + 2*s = 815, -810 = -5*l - 2*s - s. Is l a multiple of 5?
True
Let i(u) = 6 - 4*u - 1 + 0 + 0. Does 13 divide i(-6)?
False
Suppose 14*c - 686 = 21*c. Is 15 a factor of c/(-441) + 1123*(-2)/(-18)?
False
Let x = 5 - 4. Let m be -6*x + 3 + 14. Suppose m*p - 9*p = 64. Is 5 a factor of p?
False
Let z(f) = -9*f - 150. Let o(m) = -13*m - 225. Let w(v) = -5*o(v) + 7*z(v). Is w(0) a multiple of 15?
True
Suppose 26*t + 319 = 11733. Is t a multiple of 16?
False
Let r = 351 - 179. Is r a multiple of 9?
False
Suppose 3*z - 4*q = 15, -z + 2*q + 3*q = -16. Let a be 30 - z*(-4)/(-2). Suppose 12 = -4*k, a = i + 3*k - 2. Is i a multiple of 13?
True
Let d = 119 - 141. Let o = 25 + d. Is 2 a factor of o?
False
Let h = 3 + 1. Suppose 3*n - 91 = -2*s, -h = -s + 2*s. Is n a multiple of 3?
True
Let t be -2*(-4)/20*5. Suppose 2*n + 80 = 2*s, 5*s - 112 = -t*n + 116. Suppose 0*v = 2*v - s. Is 7 a factor of v?
False
Suppose -h = p - 3, 4*p + 3*h - 10 = -2*h. Suppose 3*t + 5*g + 3 = -5, p*t - 8 = -3*g. Suppose -4 = -t*z - 4*f, 0 = -3*z + 6*z - 5*f - 35. Is z a multiple of 5?
True
Let h(q) be the first derivative of 2*q**3/3 + 5*q**2 - 6*q + 1. Let j be h(-6). Suppose z + 5*k = j*z - 160, -5*k = -15. Does 12 divide z?
False
Let k(s) = -4*s**3 + 3*s**2 - 4*s + 4. Let p(z) = -z**3 + 1. Let w(i) = -k(i) + 6*p(i). Does 15 divide w(-3)?
False
Let z(t) = -1 - 2*t**2 - 4*t - 2*t**2 + 11*t**2. Does 19 divide z(4)?
True
Let d be 24/10*80/6. Let j be d/(-12)*1*3. Is (-2)/j*-34*-2 a multiple of 8?
False
Let o(b) = -b**2 + 4*b + 3. Let c be o(4). Suppose 47 = 2*y + d, y - c*d - 25 = -2*d. Is 8 a factor of y?
True
Suppose t - 3*t = -168. Suppose -w - t = -5*i - 4*w, i - 5*w = 28. Is i a multiple of 13?
False
Suppose 0 = 4*u - 60. Suppose p + 5*x = 15, -3*p + 2*x - u = -3*x. Suppose 4*c - 4*w - 28 = p, 3*w - 5 = -2*c + 2*w. Is 2 a factor of c?
True
Let i(o) = -o**2 - 9*o + 3. Let a = -52 - -43. Does 3 divide i(a)?
True
Suppose -4*c + 569 = 173. Suppose c = -5*d - 6. Let r = d + 53. Is r a multiple of 16?
True
Suppose 0 = 2*f - 3*f + 5*v - 31, 29 = -3*f - v. Let s be (-9)/(-21) - f/7. Is (2 - -1)/(s/6) even?
False
Suppose i = 78*i - 91168. Is i a multiple of 8?
True
Let w(c) = -2425*c**2 + 1. Let t be w(1). Is 9 a factor of (-6)/(-45) - t/45?
True
Let u = 30 + -12. Is u/(-12)*(-30)/1 a multiple of 3?
True
Let m = 23 + -21. Suppose -595 = m*d - 9*d. Is 20 a factor of d?
False
Let s(g) = g**2 + 18*g - 18. Let i be s(-18). Is 12 a factor of 3/9 - 2982/i?
False
Let k = 151 + -77. Is k a multiple of 4?
False
Suppose -3*g = 4*k - 49, -2*k + 0*k - 2*g = -24. Let z = k + -17. Is 4 a factor of -4*(-1 - (-4 - z))?
True
Let a = -43 - -47. Let z be (16/3)/(2/12). Does 13 divide (-18)/((z/(-36))/a)?
False
Suppose -23*w + 4335 = -6*w. Is w a multiple of 17?
True
Suppose -3*l = -44 + 32. Does 9 divide (-332)/(-4) - (l + -5)?
False
Let c be (1 + 14)*(-19)/(-19). Is 20 a factor of c/2*162/15?
False
Suppose 0 = -2*n + n + o + 57, 2*o = -n + 54. Let c = n + 14. Does 10 divide c?
True
Let u = 1 + 1. Suppose 0 = u*a + 3*a - 35. Let t = a + 31. Is 19 a factor of t?
True
Let q(f) be the first derivative of 5*f**3/3 - 5*f**2/2 + 5*f - 6. Does 5 divide q(2)?
True
Let a be 54/(-9)*(-21)/6. Suppose -1 = s - a. Suppose 15*k = s*k - 155. Is k a multiple of 7?
False
Suppose 0 = -l - 18 - 18. Let t = l - -159. Does 9 divide t?
False
Suppose -431 = u - 6*u + m, -m - 257 = -3*u. Suppose -3*j = -4*l + 48 + u, 5*l - 3*j = 165. Is 30 a factor of l?
True
Let u(d) = -d**3 - 5*d**2 + 3*d - 1. Let r be u(-6). Suppose 0 = -2*j - 13 + 11. Let i = j + r. Does 8 divide i?
True
Suppose 6*k - 27 = -9. Suppose 0 = 2*v - 5*z - 337, -k*v + 2*z = 2*v - 790. Is v a multiple of 12?
True
Suppose -9*m = 13*m - 2332. Suppose 0 = -6*i - 4 + m. Is 5 a factor of i?
False
Let g(m) = -10*m - 24. Let v be g(11). Let s = 232 + v. Does 27 divide s?
False
Suppose 2*y + 2*y = 0. Suppose y = 4*p - 9*p + 25. Does 5 divide 4/(-20) - (-76)/p?
True
Let m be (-2 - 0)*(-813)/6. Suppose -460 = -3*v - c, -m = -2*v + 4*c + 17. Does 24 divide v?
False
Let z be 22*((-9)/(-6) - 1). Suppose 0 = 4*y - z - 9. Suppose -y*v + 88 = -42. Does 23 divide v?
False
Let g(u) = u**3 - 4*u**2 + 7*u - 1. Let n be g(5). Suppose -4*r + r + n = 2*q, 0 = 5*r + 3*q - 98. Let j = -8 + r. Does 4 divide j?
False
Suppose 0 = -4*j - 5*o - 15, 5*j - 4*o - 12 = j. Let a(k) = 2*k + 156. Let q be a(j). Suppose -2*l - 3*b + q = 3*l, 4*b + 12 = 0. Is l a multiple of 13?
False
Let w(x) = -x**3 - 4*x**2 + 12*x - 6. Let d be w(-6). Does 12 divide (-3)/(9/2) - 76/d?
True
Let f = 10 + -6. Is 4 a factor of (-3 - (-4 - -2)) + f - -20?
False
Suppose r - 5*b = 0, 2*b = 4*r - 0*b - 18. Suppose 58 = r*q - 17. Is q a multiple of 5?
True
Let o be (32/(-6) - (-20)/5)*3. Let v(l) be the first derivative of -l**4/4 + 4*l**3/3 + 3*l**2 - 2. Does 37 divide v(o)?
False
Let l(d) = -4*d + 5. Let v(p) = -12*p + 16. Let q(b) = -7*l(b) + 2*v(b). Let i be -1 + 2 + 1 + 4. Does 6 divide q(i)?
False
Suppose -11*j = -6*j - 40. Suppose 3*g - j = 112. Does 5 divide g?
True
Let t = 7 + -13. Let g(o) = 3*o**3 - 2*o**2 + 3*o - 2. Let q be g(2). Let l = q + t. Is 3 a factor of l?
False
Let q be -3*(-1)/3 - -25. Suppose 0 = 2*t - q - 16. Is t a multiple of 5?
False
Let z = 6 - 5. Let j(u) = 120*u**3. Let o be j(z). Suppose -o = -2*h + 5*n, -3*h - h + 240 = 4*n. Is h a multiple of 20?
True
Let t(u) = -2*u**3 + u**2 - u + 64. Let r = -49 - -33. Let j = -16 - r. Is 24 a factor of t(j)?
False
Suppose -15*o - 451 + 2746 = 0. Does 9 divide o?
True
Let m be 0/(0 - (-1 + 2)). Suppose m = -2*a + 484 + 606. Suppose y - 6*y + a = 0. Is 34 a factor of y?
False
Let t(z) = z**2 - 5*z - 10. Let x be t(7). Suppose 0 = -x*y + 58 + 62. Is y a multiple of 30?
True
Suppose a - 3 = -3*l + 1, -4*a - 18 = -5*l. Suppose -3*s = i - 26, l*s + 3*i - 34 = -i. Is 7 a factor of s?
True
Suppose -4*i + 4 = 0, 0 = 5*t + 2*i - 543 - 1279. Is t a multiple of 13?
True
Suppose 18 = -3*m + 3*a, -7 = 2*m - 3*a + 2*a. Is m/(1/(-15))*82/6 a multiple of 30?
False
Let p(i) = -22*i**3 + i**2 - 8*i + 3. Does 35 divide p(-3)?
True
Let z(a) = 31*a**3 + a**2 - 2*a. Let h be z(3). Suppose -4*p + h = 3*p. Is 40 a factor of p?
True
Let i(v) = -5*v**3 - 8*v**2 + 7*v + 2. Let o(x) = -4*x**3 - 7*x**2 + 6*x + 3. Let d(a) = -3*i(a) + 4*o(a). Does 8 divide d(-5)?
True
Let y(u) = -7 - 6 + 21173*u - 21177*u. Let j be (11 + 0)*(1 - 2). Does 12 divide y(j)?
False
Suppose 4*p + h = 1955, 3*p - 5*p - h = -979. Does 19 divide p?
False
Suppose 6*y - 2*f - 852 = 4*y, 4*f - 840 = -2*y. Is 53 a factor of y?
True
Let z be 3/(-9)*2*-3. Let f be 5934/33 - z/(-11). Suppose -5*o + 2*a + f = -0*a, 2*o - a = 72. Does 12 divide o?
True
Suppose 5*o = v + 26, -4*v = 5*o - 15 - 6. Suppose -12*x + 3553 = o*x. Does 31 divide x?
False
Let f(u) = 8*u - 166. Is 25 a factor of f(48)?
False
Let o be 24/14 + -2 - (-570)/133. Is 6 a factor of 2/(-5)*o*(-46 - -1)?
True
Suppose -4*n - 4*w + 1196 = 0, 5*n - 520 - 945 = w. Is n a multiple of 6?
True
Let u(s) be the first derivative of -s**4/12 + s**3/6 + 27*s**2 + 5*s + 1. Let w(l) be the first derivative of u(l). Does 18 divide w(0)?
True
Let p = -117 - -39. Does 4 divide (6/9)/((-2)/p)?
False
Suppose 4*p - 199 = 4*v + 77, 2*v - 5*p + 129 = 0. Let u(r) = -r**2 + r - 2. Let n be u(2). 