 -14701. Is m a multiple of 21?
False
Suppose -19*h + 17*h + 646 = 5*d, 0 = 4*h + 8. Suppose 59 = d*x - 129*x. Is x a multiple of 59?
True
Let s(v) = -11*v + 84. Let n be s(8). Let m be 26/6 + 9/108*n. Suppose -5*o = -5*b - 780, m*b = -3*o - 0*b + 496. Does 20 divide o?
True
Let z = 10493 - -24533. Does 166 divide z?
True
Suppose 7*f - 5 = 6*f, 2*c + f = 9117. Is c a multiple of 53?
False
Let s = -257 + 190. Let i = s - -102. Is i a multiple of 5?
True
Let b(h) = -4*h + 58. Let j(s) = 2*s - 52. Let o be j(26). Is 7 a factor of b(o)?
False
Let h(u) = -270*u - 3. Let d be h(-1). Let t = d - 55. Suppose -56 + t = 2*j. Does 26 divide j?
True
Let u = 49 - 44. Let x be -6 + 12 + (2 - u). Suppose x*f = 3*a - f - 47, 32 = 3*a - f. Is 3 a factor of a?
True
Let k(d) = d**3 - 30*d**2 + 37*d - 21. Let m(p) = -p**3 + 28*p**2 - 37*p + 22. Let x(h) = -7*k(h) - 6*m(h). Is 12 a factor of x(41)?
False
Let t(m) = -m**3 - 2*m**2 + 2*m + 5. Let z(x) = -x**2 + 10*x - 13. Let g be z(11). Let o = g + 20. Is t(o) a multiple of 15?
False
Let l be (1 + 23)/((-17)/2 + 7). Let c = l - -133. Is 13 a factor of c?
True
Let j(y) = -500*y - 2848. Does 264 divide j(-68)?
True
Suppose 0 = -4*c + 24, -v + 1644 = 2383*c - 2388*c. Is 9 a factor of v?
True
Suppose 361668 = 96*j + 150878 - 314810. Does 73 divide j?
True
Let v = -73 - -110. Suppose v + 171 = -5*y + 2*j, -5*j = -5*y - 205. Let b = 65 + y. Is 2 a factor of b?
False
Suppose 0 = -2*u + 3*d + 49 + 451, 4*d = 16. Let v = 349 - u. Is v a multiple of 31?
True
Let d = -2504 - -3956. Does 12 divide d?
True
Suppose -2*x + 7*x - 15 = 0. Suppose 0 = -x*g - 4*z + 16, -4*g - 20 = -z - 4*z. Suppose 4*h = -0*o + 2*o - 50, g = -4*o - 4*h + 40. Is 14 a factor of o?
False
Suppose -5*y = 5*h + 184 - 1849, 4*y = -h + 1317. Suppose 331*i = y*i + 351. Is i a multiple of 4?
False
Suppose 4335040 = -45*g + 298*g + 67*g. Is g a multiple of 118?
False
Let u = 3 - 3. Let o be (-15)/(-4)*(-5040)/(-450). Suppose u = -6*p + 3*p + o. Is 7 a factor of p?
True
Suppose 3*h - 7004 = -5*t, 11*h = 2*h + 3*t + 20994. Is h a multiple of 22?
False
Let p(k) = -k**3 + 5*k**2 + 7*k + 3. Let n = -45 - -49. Let l = -7 + n. Is p(l) a multiple of 18?
True
Let x = 949 - 440. Let z = -334 + x. Is 35 a factor of z?
True
Let f = -33 - -38. Suppose 0*k + 30 = f*k. Suppose 9*c - k*c = 513. Is 19 a factor of c?
True
Let f(g) = 8*g**2 + 101*g - 324. Does 152 divide f(36)?
True
Let r be 12/66 + 42/11. Suppose 5*m = -k + 25, -k + 25 = -r*k + 5*m. Suppose k = -4*i - i + 130. Is i a multiple of 13?
True
Suppose 163 = 8*w - 5. Is (-70)/w*237/(-2) a multiple of 14?
False
Let o(k) = -k**3 - k**2 + 3*k - 4. Let q be (4/(-22))/1 + 279/(-99). Let n be o(q). Suppose -254 - 471 = -n*y. Is y a multiple of 29?
True
Suppose 214*z = 3952097 + 24879. Is z a multiple of 21?
False
Let m be 0 + (561/77 - 2/7). Let v be (-3 + 1 - 95)*m. Let q = -378 - v. Does 55 divide q?
False
Let p(j) = -j**3 + 6*j**2 + 41*j - 7. Let h be p(10). Suppose -4*z + 3*t = -5*z + 82, 0 = h*z + 4*t - 266. Is z a multiple of 13?
False
Let t be (-8)/60 - 23716/105. Let d = 418 + t. Is 48 a factor of d?
True
Let z(n) = 0*n + 10*n + 303 - 22*n + 3*n - 4*n. Does 15 divide z(-25)?
False
Let l(h) = 13*h**2 - 17*h + 6. Let m be l(-6). Suppose -2*j - m = -5*j. Suppose 11*o - 3*o = j. Is o a multiple of 24?
True
Is 63 a factor of ((-8)/84)/((-28)/(-49)) + 44845/6?
False
Let l(u) = 47*u - 276. Let m be l(6). Suppose 2*q - 5*d = -19, q + 4*d - 14 = 3*q. Suppose -5*h - 2*g + 492 = -m*g, q*h - 2*g = 296. Does 25 divide h?
True
Suppose 4*k - c - 5669 = 0, 25*k + 2*c = 29*k - 5662. Is 11 a factor of k?
True
Let o = 12 - 8. Suppose -z + x + 180 + 12 = 0, -5*z + 956 = -o*x. Does 94 divide z?
True
Let c be (-6)/(-3) + (-60)/(-5). Suppose v - x = -c, -3*v - v + x = 44. Is 13/39*(-1 - v) even?
False
Let k(m) = 2*m + 52. Let q be k(5). Suppose q = j - 0*j. Is j a multiple of 31?
True
Is 464/174 - (-4648)/3 a multiple of 16?
True
Let u(o) = 3*o**3 - 5*o**2 + 9*o - 7. Suppose -2*n = 3*a + 2, a = -0*a + 5*n - 29. Let h(d) = 9*d + 39. Let y be h(a). Does 14 divide u(y)?
True
Let y be (-24)/(-30) - 16/(-5). Suppose a + x = 3, -y*x - 8 = 2*a - 3*a. Suppose 0 = -a*o + 129 + 15. Is o a multiple of 14?
False
Suppose 64 = 3*x + 5*g - 0*g, -120 = -4*x + 2*g. Let v = -25 + x. Is 19 a factor of (2 - v) + (81 - 4)?
True
Let v be 13222/8 - (-108)/(-144). Suppose 23*d - 1384 = v. Is d a multiple of 3?
True
Suppose 6784*f - 6789*f + 46530 = 0. Is 9 a factor of f?
True
Let m = 15581 - 14707. Is m a multiple of 4?
False
Suppose 3*n = -4*w - 7636, 2*w + w - 10173 = 4*n. Let v be n/(-27) + (-2)/9 + 0. Suppose 7*y - 46 = v. Does 7 divide y?
False
Let x(q) = 0*q - 2*q**2 - 82*q**3 + 6*q - 10*q - 4*q. Does 47 divide x(-2)?
False
Suppose 10 = -2*h + 68. Let k be 3 + 8 + -8 - -8. Let a = k + h. Is a a multiple of 7?
False
Let o be (-2)/10 - 104/(-20). Suppose 5*c - 20 = 5*r, -4*r + o*c - 20 = -2*r. Suppose 0 = w - 63 - r. Is w a multiple of 9?
True
Suppose -210*j - 33*j - 139*j = -6008478. Is 49 a factor of j?
True
Suppose -4*g + 19764 = 2*f, -138*g = -141*g + 15. Is 84 a factor of f?
False
Suppose -4*j + 20 = j. Suppose 10 = -5*v + 3*k + 71, -3*v = -j*k - 41. Let p(i) = i**2 - 3*i + 14. Does 17 divide p(v)?
True
Let q(r) = -3*r**2 + 15 - 2*r**2 + 17*r + 0*r**3 - 12*r**2 + r**3. Suppose 4*k + 44 = 3*f - 24, -2*k - 10 = 0. Does 6 divide q(f)?
False
Suppose x = 4*s - 16294, -2493*s + 2491*s = -2*x - 8138. Is s a multiple of 8?
False
Let m(v) = 43*v**2 - 48*v + 254. Is 9 a factor of m(5)?
True
Let n be (-95)/(-4 - 1) + -1. Suppose -d - 5*f = 14, -d + 2*d - n = 3*f. Is (14/(-3))/(d/(-171)) a multiple of 19?
True
Let a(v) = 3*v**2 - 6*v + 5. Let q be a(-5). Let u be 36/24 + (-429)/6. Let l = q + u. Is l a multiple of 15?
False
Let t be (-4)/1 - (-7 + 6/3). Let r be (11/(44/(-3)))/(t/16). Does 9 divide 112/2 - 13/((-39)/r)?
False
Let b(f) = 339*f - 485. Does 31 divide b(9)?
False
Let h(q) = -q**3 + q**2 + 1. Let s(m) = -4*m**3 - 4*m**2 - 9*m - 8. Let j(u) = -3*h(u) + s(u). Let c be j(-6). Suppose -g = -c*g + 936. Is 26 a factor of g?
True
Let f(k) = -15*k**3 + k**2 - 10. Let q be f(-3). Is 50 a factor of q/(-1)*5*(-6)/12?
False
Does 302 divide (-3 - -31729) + (140 - 156)?
True
Let n(m) = 12*m + 4. Let o be n(-1). Does 15 divide 22890/56 + 6/o?
False
Let k(v) be the second derivative of 1/3*v**3 + 0 + 10*v**2 - 2*v. Is k(0) a multiple of 9?
False
Let m be (-13 - -14) + 5/((-5)/(-76)). Let g be 22/m - 9/7. Is 43 - (g + 4 - 2/1) a multiple of 21?
True
Suppose k - 525 = 2*t, -14*k + 13*k + 5*t + 516 = 0. Let q = k + -431. Is 2 a factor of q?
True
Suppose 21 = 32*c - 29*c. Suppose 2*x - c*d - 81 = -8*d, -2*x + 5*d = -87. Is x even?
False
Let a = -223 - 70. Let i = a + 516. Is i a multiple of 15?
False
Is 80 a factor of (0 - 348)*(-7585)/615?
False
Suppose 215*c + 3612 = 218*c. Let l = c + -831. Does 29 divide l?
False
Let x(p) = 112*p**3 + 19*p**2 - 146*p + 40. Is x(6) a multiple of 34?
False
Let j = 15325 - -2233. Does 23 divide j?
False
Let w be 1*(1 - 2)*(65 - 6). Let u = w - -68. Suppose -10*v = -u*v - 38. Is v a multiple of 19?
True
Let j be ((-8)/(-6))/((-92)/(-966)). Does 16 divide (3/(-6))/(j/(-10752))?
True
Let p be (2/6*-4)/((-5)/(-15)). Let k be (-14)/p - (-1)/2. Does 9 divide (68/16 - k) + (-105)/(-12)?
True
Let a(f) be the third derivative of f**6/120 - f**5/12 + 5*f**4/24 - 11*f**3/6 - 5*f**2. Suppose 2*t = -2*v - 3*t + 39, -3*v = 4*t - 41. Does 19 divide a(v)?
False
Is 10 a factor of 1 + 0 + (-6)/4 + (-395672)/(-16)?
False
Suppose 0 = 6*p - 17 + 59. Let l = p - -6. Is 15 - l - (-1 + 0) a multiple of 3?
False
Suppose 48*f - 32*f + 12*f = 34440. Is 15 a factor of f?
True
Suppose -h - 2*h = -z + 5505, 2*h - 27542 = -5*z. Does 67 divide z?
False
Let w(h) = -362*h - 8313. Is 98 a factor of w(-72)?
False
Let i(u) be the second derivative of -19*u**3/3 + 137*u**2/2 - 188*u. Is i(-5) a multiple of 29?
False
Let s = -897 - -560. Let l = 987 + s. Suppose 7*a - 2*a - l = 0. Is 13 a factor of a?
True
Does 14 divide (19848/(-2) + -2 + 14)/((-6)/16)?
True
Suppose -13*u = -11*u - 2*r - 3794, 2*u - 3764 = -3*r. Is u a multiple of 30?
False
Suppose -627894 + 238934 = -130*v. Is v a multiple of 16?
True
Let b = 146 + -77. Does 6 divide b/(-23) - -29*9?
True
Suppose 121 + 1