*z - 22 = u*a. Is z a multiple of 8?
False
Let l = 58 - 52. Is -39*(-1)/3 + l a multiple of 3?
False
Does 154 divide 9 - (408136/(-18) + (-454)/(-2043))?
False
Let v be (-7061)/(-69) + 1/(-3). Suppose -4*g + 5*g - v = 0. Is 3 a factor of g?
True
Let k(h) = -131*h - 1513. Is k(-12) a multiple of 3?
False
Let k(t) = -4*t**3 - 17*t**2 - 17*t - 29. Is 37 a factor of k(-7)?
True
Suppose -351*h + 361*h - 86570 = 0. Is 11 a factor of h?
True
Let k(z) be the second derivative of z**3/2 + 23*z**2/2 - 10*z. Let h be k(-6). Is 12 a factor of h*(-46 + -2)*1/(-5)?
True
Let r(y) be the first derivative of 7*y**2/2 - 30*y + 6. Let h be r(5). Suppose -h*a - c = -214, a - 3*c - 20 = 10. Does 14 divide a?
True
Let h(z) be the third derivative of 3*z**5/40 + 11*z**4 - 4*z**3 - 43*z**2. Let d(m) be the first derivative of h(m). Does 11 divide d(0)?
True
Let x be 9/6*(64/(-12) - -4). Let c be 5/6*x + 14/(-42). Does 10 divide (90/27)/(c/(-48))?
True
Suppose 28373 + 8923 = 9*z. Is 112 a factor of z?
True
Let x(s) = s**3 + 4*s**2 - 2*s + 1. Let h be x(-5). Let p(c) = -22 + 0 - 8 - 14*c**2 - c**3 - 5997*c + 5982*c - 4. Is 11 a factor of p(h)?
True
Let i(j) = 132*j**2 + 223*j + 18. Is i(7) a multiple of 13?
True
Is 119 a factor of (-6984)/(5/18*(-114)/(-190)*-6)?
False
Suppose -312*y + 130 = -311*y. Is y a multiple of 130?
True
Suppose 15*o - 14*o = 2. Suppose j - j = -o*j. Suppose 2*w - 9 - 21 = j. Does 5 divide w?
True
Let i(a) = -2 - a**2 + 2*a + 26 + 5*a + 6*a. Let d be i(7). Suppose x - d = -0*x. Does 11 divide x?
True
Let f = -4415 - -4566. Is 3 a factor of f?
False
Suppose 3*f = -5*p + 40, 3*p = -3*f + 35 - 5. Let i(z) = -2*z + 6. Let l be i(p). Is 17 a factor of (3 - -1) + l - -21*6?
False
Let j(t) = 3*t. Let x be (-2 - 32/(-18)) + 1904/144. Suppose -6*d = -x*d + 42. Does 6 divide j(d)?
True
Let c = 104 - 104. Suppose c = 4*u + 3*d - 436, u - 5*u + 464 = -4*d. Is 7 a factor of u?
True
Let k = 3017 - -11360. Does 11 divide k?
True
Suppose 3485 = 12*b - 17*b. Let g = 1702 + b. Is 45 a factor of 12/15*g/6?
False
Let x(u) = -118*u - 53. Let l be x(-3). Let j = 438 - l. Does 11 divide j?
False
Suppose -5*c + 10*c - 165 = 0. Let k(x) = -8*x + 38. Let v be k(8). Let r = c + v. Does 7 divide r?
True
Let i(w) = -2*w - 13. Let x be i(-8). Let v(h) = 156*h + 22. Does 57 divide v(x)?
False
Suppose 0 = 5*u - 3*b - 15, 0*u - 5*b = -2*u + 6. Let r be (-2 - (-4)/10)/(u/(-15)). Suppose -r*m + 158 = 14. Is m a multiple of 10?
False
Suppose -622*w + 550*w = -1164240. Is 49 a factor of w?
True
Suppose -184*d - 161*d = -323*d - 184800. Is 100 a factor of d?
True
Let g(c) = c**2 + 20*c + 15. Let k(q) = -4*q**2 - 41*q - 29. Let z(j) = -5*g(j) - 2*k(j). Is z(13) a multiple of 16?
True
Let m(a) = -9*a**3 + a**2 - a + 1. Let r be m(-3). Let v = r + -395. Let x = 250 + v. Is x a multiple of 15?
False
Let v(c) = c**3 + 33*c**2 - 567*c - 368. Is v(-32) a multiple of 25?
True
Let w(h) = h**3 + 13*h**2 - h. Let g be w(-9). Let k = 579 - g. Is 25 a factor of k?
False
Let m(l) = l**2 - l - 3. Let s be ((-18)/(-27))/(2/12). Is 9 a factor of m(s)?
True
Suppose 9*m + 2 + 7 = 0. Is 8 a factor of (1 - m) + (944 - 4)?
False
Let i be 71 + (-5)/(30/(-6)). Suppose -i = -18*u + 72. Does 2 divide (u/48*33)/((-2)/(-4))?
False
Suppose 0 = -3*f + 4*f - 4. Suppose 9*t = f*t. Does 8 divide -3 + -1 + t - -20?
True
Let n(d) = 97*d**3 - 4*d**2 - 8*d + 25. Let h be n(3). Suppose h = 12*j + 5*j. Is j a multiple of 3?
False
Let n be 56/16 - (-1554)/12. Is (-19 - -14) + 2 + n + 0 a multiple of 3?
False
Let a = -219 - -221. Suppose -11*z + 337 = -10*z + r, 2*r + 670 = a*z. Does 16 divide z?
True
Let f(u) = 9*u**3 + 2*u. Let s be f(2). Let t be (-58)/1 - ((1 - 18) + 16). Let i = s + t. Is i a multiple of 2?
False
Let l be ((-540)/8)/(3/(-6)). Let w = -132 + l. Suppose -w*s + 240 = 5*s. Is s a multiple of 3?
True
Let m(r) = -r**2 - 20*r - 37. Let q be m(-18). Is 54 a factor of q*(-760)/(-25)*-5?
False
Let h = -52 - 75. Let j = h - -89. Is (-64)/6*57/j a multiple of 9?
False
Suppose -4*t = 8*c - 3*c - 13, 5*t + 35 = 4*c. Let z be ((-5)/(-30)*t)/(1/14). Is 17 a factor of z*(524/(-28) + 3)?
False
Let q = 8589 - 5369. Does 70 divide q?
True
Let w(m) = -m**2 - m + 1. Let f(o) = -9*o + 8 - 6*o**2 + 10*o - 5*o. Let v(z) = -f(z) + 5*w(z). Does 2 divide v(-4)?
False
Does 5 divide 40 - (-3 + 45) - (-117 + 0)?
True
Suppose -5*v + 80 = -3*v - 4*t, -4*t = 20. Suppose -o + 8 = -v. Does 4 divide o?
False
Suppose 21 - 36 = -5*x. Suppose x*j + 51 + 373 = 2*p, 0 = 2*j - 8. Suppose -4*q + 6*q - p = 0. Does 24 divide q?
False
Suppose 0 = t + 1, -18 = -2*z + 3*t - 3. Let k(d) = 42 + 0*d**2 - 7*d + 8*d - z*d**2 + 5*d**2. Is k(0) a multiple of 14?
True
Let x = -56 + -49. Let n = -98 - x. Is n a multiple of 5?
False
Let n = 2282 + 20075. Is n a multiple of 24?
False
Let b(i) = 30*i**3 - 23*i**3 + 33 - 16*i - 8*i - i**2. Let k(h) = -13*h**3 + 3*h**2 + 47*h - 66. Let w(z) = -11*b(z) - 6*k(z). Is 9 a factor of w(10)?
True
Suppose 4*p + 38 = j + j, -5*j = 2*p - 35. Suppose 2*s = j*s - 28. Suppose -288 = -5*i + 4*q, -231 = -s*i - q + 4*q. Does 10 divide i?
True
Is (1 + -161)*(-6764)/152 a multiple of 10?
True
Suppose 392*z - 270908 = 348*z. Is 57 a factor of z?
False
Let r(i) = -2*i + 1. Let p(g) = -39*g - 40. Suppose -5*v = 5 - 15. Let b(y) = v*r(y) + p(y). Is 11 a factor of b(-5)?
False
Suppose -20 = 4*j, -5 = -5*h + 3*j + 25. Let i(u) = 20*u**3 - 2*u**2 + 7*u - 33. Does 33 divide i(h)?
False
Suppose 7 = -5*w + 27. Suppose -w*z + 1115 = -609. Suppose 3*d + 2*q - z = 0, 0*d + 4*d - 576 = -2*q. Does 33 divide d?
False
Let d be 0 + (-2)/2 - 6*-2. Suppose -3*h = -d - 1. Suppose 3*a = h*l - 40, 0*l - 5*l + 57 = -2*a. Does 2 divide l?
False
Let a = -5464 - -12989. Is 5 a factor of a?
True
Suppose 24421 = 37*l - 662817. Is l a multiple of 23?
False
Let g(t) be the second derivative of 5*t**3/6 + 21*t**2/2 - 15*t. Let u be g(-6). Let n = 87 - u. Does 48 divide n?
True
Suppose -4*c - 2*p + 1716 = -2252, 7*c - 6934 = -p. Is c a multiple of 33?
True
Suppose 6527 - 9372 = 263*n - 42032. Suppose 4*l - 31 = -355. Let h = l + n. Is 10 a factor of h?
False
Let i = 14040 - 11150. Is i a multiple of 5?
True
Let r(u) = 36*u**2 - 17*u**2 + 7*u - 3 - 15*u**2. Is r(-4) a multiple of 33?
True
Let s = -156 - -147. Let u(b) = 7*b - 6. Let t(n) = -6*n + 6. Let x(p) = -6*t(p) - 7*u(p). Does 24 divide x(s)?
False
Suppose -44*q + 41*q + 743 = g, 0 = -3*g - q + 2189. Does 14 divide g?
True
Suppose 3*l + 929 = -82. Let w = l + 607. Is w a multiple of 6?
True
Let s = -35523 + 62702. Is 157 a factor of s?
False
Let h(o) = o**3 - 59*o**2 + 73*o - 485. Is h(59) a multiple of 147?
True
Suppose 9*d + 9360 = 54*d. Suppose 0 = p - 3*o + 6, -5*p - o - 33 + 83 = 0. Suppose w = -2*n + 131, 3*n + 4*w + p - d = 0. Does 13 divide n?
True
Let z = -4 + 7. Suppose 272 = z*w + w. Let v = w + -37. Is v a multiple of 6?
False
Let n be -38 + (-5 - 24/8). Let z = n + 263. Is z a multiple of 38?
False
Suppose 0 = -3*k + 464*s - 465*s + 735, -990 = -4*k + 2*s. Is 82 a factor of k?
True
Let v(j) = 7*j**2 - 2*j - 42 - j + 41. Is v(-3) a multiple of 2?
False
Let f be (9/(-4))/(-3) + 2625/100. Suppose 2*x = -6, -4*a + 4*x + f + 9 = 0. Suppose -c + a*i = 7*i - 149, -4*c + 556 = -4*i. Is c a multiple of 24?
True
Let d = -1286 + 2678. Suppose 14*f + d = 20*f. Does 58 divide f?
True
Does 55 divide ((-342)/99 - -4) + (-776637)/(-33)?
False
Suppose -12*q = -2*q - 30. Let m(n) = 6*n**3 + 20*n + 3 - 2*n**3 - 18*n - 2*n**q - 5*n**2. Is m(3) a multiple of 9?
True
Let l = -5430 + 3239. Is 2*1/(-6) - l/21 a multiple of 9?
False
Let n be -21*(-4)/36 + 1/(-3). Suppose y = 2*i - 488, -i - n*y + 4*y = -238. Is i a multiple of 17?
False
Let w(l) = l**2 + 39*l - 572. Is w(-73) a multiple of 11?
False
Suppose 25*c + 208 - 1614 = -12*c. Suppose -5*w + 5*d + 0*d + 65 = 0, 4*d = -w - 12. Suppose w*a - 6*a = c. Does 3 divide a?
False
Let p be (-32 - -1)/(-1)*84/14. Suppose -145*q = -146*q + p. Is 6 a factor of q?
True
Let g(r) = 809*r + 1246. Does 33 divide g(5)?
False
Let m(a) = 7*a**2 - 5*a - 15. Let l(j) = -4*j**2 + 2*j + 8. Let w(h) = 5*l(h) + 3*m(h). Let c be w(-10). Suppose c + 35 = 5*n. Is n a multiple of 9?
True
Let b be -8*2*(-466)/8. Suppose -6*g = -2*g - b. Suppose -67 = d - g. Does 25 divide d?
False
Let d(m)