j + 45. Is i a multiple of 33?
True
Is 14 a factor of 806 + (-10 - (-24 + 8))?
True
Does 35 divide (-756 + 21)*4/(-6)?
True
Let o(p) be the third derivative of p**5/20 + p**4/8 - p**3/6 - 5*p**2. Is 4 a factor of o(4)?
False
Let k = 136 + -119. Suppose 95 + k = 7*f. Is f a multiple of 4?
True
Let k(q) = -q + 12. Let h(i) = -i + 8. Let z(d) = -8*h(d) + 5*k(d). Let n be z(2). Suppose -6*j + n*j + 4*w + 108 = 0, 0 = j - 2*w - 25. Is j a multiple of 29?
True
Suppose -47 = -14*z + 37. Suppose -z*w = -9*w + 93. Does 4 divide w?
False
Let l be 3/(6/(-2)) + 6. Let j = 55 + 4. Let y = j - l. Does 18 divide y?
True
Let i(l) = -6*l - 2 - 3*l**2 - 11 + l**3 + 2 + l. Is 4 a factor of i(5)?
False
Suppose 0 = -5*w + 4*w + 4*u + 609, 1791 = 3*w - 3*u. Let p = w + -410. Does 14 divide p?
False
Let l = 366 - 626. Let x = l - -695. Suppose 8*r - x = 3*r. Is r a multiple of 29?
True
Let f be 2*((3 - 4) + 3). Suppose 0 = n - f*g - 314, 0 = -4*n + 6*g - g + 1311. Is n a multiple of 57?
False
Does 51 divide 1/(6/(-12)) + (816 - -2)?
True
Let h(v) = v**3 + 13*v**2 + 3*v - 20. Let d be h(-12). Suppose -d = -2*r + k, -4*r + 4*k = -3*r - 58. Does 14 divide r?
True
Let h = -31 - -28. Let t be (-5)/((-1)/(2 + h)). Let a(j) = -2*j**3 - 5*j**2 + 7*j - 2. Does 22 divide a(t)?
True
Let d(o) = -49*o**2 - 3*o + 4. Let a(b) = b**2 + b. Let f(r) = a(r) - d(r). Is 41 a factor of f(2)?
False
Let h(j) be the first derivative of -j**4/4 + 3*j**3 - j**2/2 - 16*j + 3. Is 5 a factor of h(8)?
True
Let o = -1777 - -1847. Does 70 divide o?
True
Let n be 4/6*3/2. Let j be n/(-6) + (-38)/(-12). Suppose 4*l - j*v + 5 - 75 = 0, -4*v = l - 8. Is l a multiple of 15?
False
Suppose 0 = 5*g + k - 1, -5 + 4 = g - k. Let z = -3 + 8. Suppose g = -o - n + 55, 3*n = z*o + 7*n - 270. Does 25 divide o?
True
Let l(a) = -2*a - 6. Let z be l(-8). Let u = z - 10. Suppose u = 3*w - 7 - 26. Does 7 divide w?
False
Let n(k) = -5*k**3 - 3*k**2 + 2. Suppose -5*z = -z - 20. Suppose -z*l + 5*h = 0, l + 2*h - 5*h = 4. Is n(l) a multiple of 15?
True
Suppose 4*t = -2*h - 121 - 111, h + 101 = t. Let z(w) = -5*w**2 + 5*w + 2. Let b be z(-3). Let x = b - h. Is 16 a factor of x?
True
Let w(m) = -2559*m - 67. Is w(-1) a multiple of 36?
False
Let z(k) = 10*k**2 - 6*k + 3. Is z(-8) a multiple of 78?
False
Let d = -2 - 0. Let a(n) = 9*n**2 - n - 3. Let y(m) = -10*m**2 + m + 3. Let t(z) = 7*a(z) + 6*y(z). Is t(d) even?
False
Let u(w) = 5*w**3 - 5*w**2 + 6*w - 81. Is u(6) a multiple of 19?
True
Let v(c) = -4*c**2 + c + 13. Let h be v(-6). Let r = 216 + h. Does 32 divide r?
False
Let s be -171*(-2 + (-4)/(-3)). Let l(c) = 3*c - 5. Let d be l(3). Suppose -d*o = -7*o + s. Is o a multiple of 8?
False
Let y be 475/9 - (-4)/18. Suppose -4*h = q - 1 - 4, 5*h - y = 3*q. Let j = 30 + q. Does 19 divide j?
True
Let t = -130 - -135. Suppose 610 = 2*b + 5*j - j, t*b - j = 1470. Does 23 divide b?
False
Suppose -2*b + 404 = -4*b. Let n = b + 378. Is 44 a factor of n?
True
Suppose 14 - 39 = -p + 4*w, -5 = -3*p - 2*w. Suppose 115 = p*u + 5*k, 3*k - 9 + 40 = 2*u. Is 10 a factor of u?
True
Let y = -14 - -24. Let h(o) = -o - 1. Let j be h(-6). Suppose 0 = j*v - y*v + 45. Does 6 divide v?
False
Suppose -29*j - 5940 = -56*j. Does 30 divide j?
False
Suppose h = 4*z + 8, z = h + 4*h - 21. Suppose 2*i = -h - 14. Let c = -4 - i. Does 5 divide c?
True
Let d(h) = h**2 - 9*h - 6. Let w be d(9). Let b(v) = v**3 + 7*v**2 + 5*v - 3. Let i be b(w). Suppose 3*r - r + 3*z = 63, -69 = -i*r + 4*z. Is r a multiple of 9?
True
Let f(d) = 5*d**3 - d - 15. Let o(r) = 14*r**3 + r**2 - 3*r - 44. Let k(y) = -17*f(y) + 6*o(y). Let n = -77 + 82. Does 11 divide k(n)?
True
Suppose 2*w - 5*c - 6154 = 0, -c = -21*w + 17*w + 12290. Is 64 a factor of w?
True
Let o be 2/(2/11) + 9 + -10. Suppose 0 = -5*q + o*q + 5*p - 760, -764 = -5*q - 4*p. Does 13 divide q?
True
Let f = 2571 - 621. Does 10 divide f?
True
Let j be 5 - (2 + (1 - 3)). Let t be 10/25 - (-63)/j. Does 12 divide (0 + 1)/(1/t)?
False
Suppose -1459 = -5*w - 334. Let p = w - 82. Suppose -j + 3*i + p = 4*j, 4*i = 16. Does 14 divide j?
False
Suppose -17*p + 81 = -14*p + 3*d, d = -5. Does 2 divide p?
True
Let f(v) = 2*v + 3 - v - 3*v. Does 12 divide f(-6)?
False
Let f = 53 + 53. Is f a multiple of 20?
False
Let b be (-8)/(-14) + 91938/147. Suppose 634 + b = 6*x. Is x a multiple of 30?
True
Let l = -14 - -41. Suppose 0 = 31*a - l*a - 84. Does 7 divide a?
True
Let i = 715 - 418. Suppose 10*a - i = 7*a. Is 22 a factor of a?
False
Let v(a) = a**3 - 3*a**2 - 3*a - 3. Let r be v(4). Let k(w) = 7*w + r - 2*w - 2 - 5. Is 7 a factor of k(6)?
False
Let w(i) = -i**2 - 10*i + 3. Let f be w(-17). Let k = 173 + f. Does 18 divide k?
False
Let y(p) = 4*p - 12. Let t be (4/(-10))/((-4)/120). Is 9 a factor of y(t)?
True
Suppose 4 = 3*w - g, -7 = -4*w - 2*g + 3*g. Suppose b - 2*b + 47 = -3*m, w*b + 4*m = 180. Does 7 divide b?
True
Suppose 4 = l - 13. Let o(d) = -54*d + 8. Let y(a) = 18*a - 3. Let g(w) = l*y(w) + 6*o(w). Is 11 a factor of g(-2)?
True
Suppose -79*z + 174 = -77*z - 3*m, 4*m = 4*z - 340. Is z a multiple of 19?
False
Let g(n) = -n**3 + 10*n**2 + n - 8. Let d(l) = -l + 4. Let s be d(-6). Let c be g(s). Suppose 0 = c*a - p - 60, -5*a = 2*p - 0*p - 150. Is a a multiple of 15?
True
Let k(l) = 873*l**2 - 25*l - 4. Does 121 divide k(1)?
False
Suppose 11*d - 10*d = 4*x - 1295, 3*x = 2*d + 970. Is x a multiple of 27?
True
Let z(s) = s**3 - 10*s**2 + 36*s - 3. Does 9 divide z(4)?
True
Let x be (-16)/(-5 - -2 - -2). Suppose 5*l + x = -9, -g = -l - 77. Suppose -5*y = -g + 12. Is 8 a factor of y?
False
Let s = 35 + 6. Let l = 29 - s. Does 5 divide 5 + 1 + (-36)/l?
False
Is 22 a factor of (9/((-162)/1032))/(3/(-54))?
False
Let v(p) be the third derivative of p**4/12 - 4*p**3/3 + 11*p**2. Let l be v(6). Suppose 0 = 5*w + 4*t - 146, -l*w = -3*w + t - 29. Is 15 a factor of w?
True
Suppose 0*p - 184 = -p. Suppose -b - 252 = b. Let r = p + b. Does 13 divide r?
False
Suppose 3*s + 60 = 4*t + 5*s, 2*t - 3*s - 30 = 0. Suppose -4*y - y - t = c, -12 = 5*c + 4*y. Suppose c*n = n - 10. Is n a multiple of 10?
True
Let n(y) = y**3 + y**2 + 39. Suppose 12*c = 9*c + 4*c. Is n(c) a multiple of 3?
True
Does 27 divide 702/(-1)*13/(-26)?
True
Let d = 818 - 768. Is 41 a factor of d?
False
Suppose 0 = 5*o - o - 4*m - 8, -5*o + 18 = 3*m. Suppose 0 = -3*z - 5*t + 624, o*z + 4*t - 302 = 322. Is 34 a factor of z?
False
Let n(i) = i**3 - i**2 + 3*i + 2. Let y be n(4). Suppose -7*v = y - 335. Does 15 divide v?
False
Suppose 0 = 3*l - 336 + 21. Does 21 divide l?
True
Suppose -3421 = -204*c + 193*c. Is 22 a factor of c?
False
Let c = 310 + -281. Is 18 a factor of c?
False
Let i(k) = k**3 - 9*k**2 + 8*k + 3. Let z = 0 + 8. Let f be i(z). Suppose -62 = -3*b + 5*w, w = f*b - 27 - 43. Is 7 a factor of b?
False
Let l(o) = o**2 - 41. Let f be l(14). Suppose -5*t - n = -9*t + f, -3*n = 2*t - 95. Is 5 a factor of t?
True
Suppose 8*h - 591 = 1569. Does 18 divide h?
True
Let p be (64/10)/1 - 2/5. Is 0 + ((-8)/10)/(p/(-765)) a multiple of 17?
True
Let y = -39 - -65. Let t = 130 + y. Is t a multiple of 23?
False
Suppose 3*t = 7*t - 20. Suppose 0*o - t*j = -5*o + 305, 3*o - 179 = j. Is o a multiple of 7?
False
Let r(l) = l**2 - l + 1. Let g be r(3). Let h(a) = 4*a**2 + 8*a + 6. Let i(w) = -3*w**2 - 5*w - 4. Let q(d) = -5*h(d) - 7*i(d). Does 5 divide q(g)?
False
Let o be 1 + (-8)/2 + (-14)/(-2). Suppose 0 = 5*g, -o*j - 4*g - 46 = -6*j. Is j a multiple of 3?
False
Let g(k) = k**3 - 5*k**2 - 5*k + 1. Suppose 3*l - 5 = -20. Let s(n) = -n**2 - 5*n + 6. Let t be s(l). Does 7 divide g(t)?
True
Suppose -5*b + 28 = k, -3*b + 2*k = -3*k - 28. Is (0 - 45/b)*8/(-6) a multiple of 10?
True
Suppose 2*a - 3*a + 134 = 0. Let f = a + -46. Suppose 4*u - f = -4*r, 0*u = 5*r - u - 104. Does 8 divide r?
False
Suppose -4*d = 2*t + 202 + 108, t + 234 = -3*d. Let j = d + 149. Is 11 a factor of j?
False
Let y(h) = -15*h - 9. Let x be y(-7). Suppose -a + 4*i = -x, -5*a - 2*i - i + 526 = 0. Does 26 divide a?
True
Suppose 29137 - 9985 = 16*q. Is q a multiple of 63?
True
Let r = -93 + 561. Does 13 divide r?
True
Let b = 12817 + -9098. Is b a multiple of 22?
False
Does 6 divide 4*9*(325/26 + -7)?
True
Suppose 7*j = 4*j + 15. Suppose 0 = -j*c + 36 - 6. Does 7 divide (-40)/(-6)*c/4?
False
Let m = 38 + -38. Suppose 0