4 + -56. Suppose x - v = 24. Is x a multiple of 9?
False
Let j(s) = 3*s**2 + 28*s + 30. Let k be j(-8). Does 76 divide k/(-5) + (12932/20 - 5)?
False
Let g(a) = -a**2 - 9*a - 21. Let f be g(-6). Let c(q) = -14*q - 8. Let t be c(f). Suppose 0 = j + j - t. Is 9 a factor of j?
False
Let i(s) = 724*s - 34. Is i(4) a multiple of 18?
True
Does 12 divide 59*37 + -7 + 26 + -18?
True
Suppose q - 5 = 3*m, 1 = 2*m - 0*m - 5*q. Let u = 496 - 434. Let l = m + u. Is 15 a factor of l?
True
Let j(l) = -108*l - 38. Let b be j(5). Let t = 864 + b. Is t a multiple of 11?
True
Suppose -5*v + 4*g + 31 = 0, -g = 2*v - 2*g - 13. Suppose w - 291 = y, -10*w - 2*y + 883 = -v*w. Does 21 divide w?
False
Let p(x) = -37*x + 1467. Is 3 a factor of p(-83)?
False
Suppose 4*k - 624 = 8*k. Is (k/8 + 1)*2*-2 a multiple of 6?
False
Let d(i) = 4*i**2 + 83*i + 287. Does 7 divide d(-21)?
True
Suppose 58 = -8*y - 102. Let f = y + 22. Suppose 5*l = f*h - 0*h + 130, 0 = -l - 2*h + 38. Is 18 a factor of l?
False
Let h = 11488 - 3750. Does 53 divide h?
True
Let t = -51 - 14. Let q = t + 79. Is 14 a factor of q?
True
Let k = -82 + 82. Suppose k = -5*g - h + 270, -5*g + 280 = -0*h + 3*h. Is g a multiple of 53?
True
Does 17 divide (-15 + 14)/(1 - (16565/4141 - 3))?
False
Let l(c) = c + 13. Let s(b) = b**2 - 17*b + 13. Let i be s(16). Let w(x) = -8*x - 7. Let q be w(i). Is l(q) a multiple of 10?
True
Let l = -1828 + 3524. Does 8 divide l?
True
Suppose 4*a - 896 = -7*r, 122*a - 127*a + 2*r = -1163. Is a a multiple of 21?
True
Does 13 divide 4 - (-3 - (-4)/1)*-4243?
False
Let l(m) = -4*m - 99. Let y be l(30). Let i = 308 + y. Is i a multiple of 24?
False
Is 28 a factor of (915 + -7)*(-24)/(-16)*6?
False
Let n be 6/(-2) + -4*(-2)/(-4). Does 26 divide (-139)/((n/30)/1*2)?
False
Is 2 + (-20)/11 - 121/(50578/(-26320548)) a multiple of 11?
False
Let o(d) = 250*d**3 - 21*d**2 + 154*d + 4. Is o(5) a multiple of 13?
True
Suppose 132 = -t + 482. Is (25/(t/34132))/(4/2) a multiple of 23?
True
Suppose -205404 + 16809 = -165*b. Is b a multiple of 3?
True
Let d = 4163 + -128. Is 15 a factor of d?
True
Suppose -3*h + 6578 = 4*c, -4*h + 4050 = -5*c + 12226. Is c a multiple of 82?
True
Suppose 18*w - 5149 = -w. Suppose 3*u + n - w = -0*u, -4*n = -2*u + 190. Is u even?
False
Is 5 a factor of ((-114)/12 + -3)/(6/(-228))?
True
Let s = 86435 + -42886. Is s a multiple of 107?
True
Let q = -39016 - -65965. Is q a multiple of 39?
True
Suppose -4*g - 112519 = -5*d, -24*d - 5*g = -23*d - 22527. Does 28 divide d?
False
Suppose 0 = 4*b - 5*v - 1246, 3*b - 8*v + 5*v - 930 = 0. Is 16 a factor of b?
True
Is 7 a factor of (-46 + -270)*(-7 + (1 - -1))?
False
Let s be -167*((2 - -3) + -4). Let i = 623 + s. Suppose 4*r = -20, -2*r + 84 + i = 5*j. Is 35 a factor of j?
False
Let b = 50 + -48. Let f be (5 - (0 - -8))*b/(-2). Suppose -f*w + 7*w - 104 = 0. Does 13 divide w?
True
Let v(t) = -t**3 - 14*t**2 - 26*t - 19. Let b = -536 + 523. Does 7 divide v(b)?
False
Let w(t) = t - 2. Let f be w(0). Let x(u) = 16*u**3 - 8*u**2 - 3*u. Let d(k) = -14*k**3 + 6*k**2 + 2*k. Let v(m) = 5*d(m) + 4*x(m). Is 22 a factor of v(f)?
True
Let p(b) = 2*b**3 + 49*b**2 - 19*b + 105. Is p(-20) a multiple of 5?
True
Let z(q) = q + 91. Let n be z(-14). Suppose -3*r = -r + 5*f - n, 0 = -4*r + 2*f + 142. Does 9 divide r?
True
Suppose 2*z - 1277 = 2*i - 5977, 4*i - 2*z - 9390 = 0. Is i a multiple of 5?
True
Suppose -36*d + 106620 = 24*d. Does 33 divide d?
False
Suppose -4*m + 3*j - 7 = 0, 0 = -5*m - 5*j + 40 - 5. Suppose 2*r + 43 + 9 = -m*q, -3*r - q = 82. Let o = r - -54. Does 13 divide o?
True
Suppose -20*m + 210 = -18*m. Let r = m - 32. Does 18 divide r?
False
Suppose 3*h - 3101 = -n, 133*h - 134*h = n - 3107. Is 12 a factor of n?
False
Let z = 25147 + -8057. Is 58 a factor of z?
False
Let i(x) be the third derivative of -x**9/20160 - x**7/1008 + 13*x**5/30 + 10*x**2. Let z(b) be the third derivative of i(b). Is 12 a factor of z(-3)?
True
Suppose 2 = -w - 3*h, h - 36 = -w - 3*w. Suppose -3*p + 0*q - q = -w, 3*q = 5*p - 26. Is (161 - 1)/(p + -3) a multiple of 18?
False
Let d = -586 - -795. Is 5 a factor of d?
False
Let x(a) = 3629*a**3 + 4*a**2 + 3*a. Let l be x(-1). Is (-6)/(-14) - l/28 a multiple of 11?
False
Let k be (-36 + 49)*(1 - -1). Suppose 4*j + 0*v + 2*v = 30, -4*j + 2*v = -k. Does 2 divide j?
False
Is 44 a factor of (-34761 + 1)*30/25*(-18)/27?
True
Suppose -5*o - 4*g = -22, o = 2*o - g + 1. Suppose -4*j + o*n = -8, 4*j = 2*j - 5*n + 28. Suppose j*i - 57 = -3*k, 5*i + 6 = -2*k + 51. Is k a multiple of 15?
True
Suppose -h = -4*n + 1526, 0 = 3*h - 8 + 2. Let f be (-1)/(-18)*4 - n/18. Is 34 a factor of ((72/f)/2)/(8/(-196))?
False
Let j(t) = 3375*t**2 - 14*t - 5. Is 18 a factor of j(-1)?
True
Suppose -4*p - 2*s = -336, -309 = -5*p + s + 118. Suppose 0 = 87*t - p*t, 3*q + 5*t - 984 = 0. Is q a multiple of 25?
False
Suppose -16*q = -10 - 70. Suppose -28 = -q*z - 3*m, -z + 4*m + 21 = -3. Is z even?
True
Let s(a) = 1143*a - 820. Is 51 a factor of s(5)?
False
Let j = 1239 - 651. Let f = j - 174. Does 18 divide f?
True
Suppose 4*g - 163 + 651 = 0. Let p = -97 - g. Let t = p - 5. Is t a multiple of 5?
True
Suppose 4*c = z + 10078, 4*c = -5*z + 4491 + 5599. Is c a multiple of 70?
True
Let h be (-12206)/(-9) - (-5 - 94/(-18)). Let j = 419 + h. Is j a multiple of 23?
False
Suppose 0 = 3*g - 448 - 377. Let o(m) = 3*m**2 - 2*m - 8. Let n be o(8). Let j = g - n. Is 19 a factor of j?
False
Let n = 121137 - 84137. Is 185 a factor of n?
True
Let p(u) = u + 50. Let c(l) = 27*l - 19. Let o be c(1). Does 3 divide p(o)?
False
Let z(p) = 2*p**2 + 15*p + 10. Let i be z(-7). Suppose i*j - 5*j + 730 = h, -1444 = -4*j + 2*h. Suppose 6*d - j = -33. Is 9 a factor of d?
False
Let z(c) = c**3 + 26*c**2 - 2*c + 151. Is z(-26) a multiple of 29?
True
Suppose 6*c - 196 - 404 = 0. Suppose c = 6*p - 188. Does 6 divide p?
True
Suppose 0 = -2*k + 5*f, 0*k = -k + 4*f. Suppose 4*a + 157 = 5*a - 2*j, k = -j + 1. Is a a multiple of 9?
False
Let p = -42 - -51. Let k be (2 + 9)/(-4 + p/2). Suppose 68 + k = h. Is 30 a factor of h?
True
Let o be (-14)/(-7) + 4/2. Suppose 5*h - 16 + 7 = 2*i, -3*h - o*i = -21. Is 3 a factor of 198/55*10/h?
True
Suppose 4*l = -s + 12768, 0 = 3*s - 370*l + 374*l - 38288. Is 19 a factor of s?
False
Let d = 240 - 248. Let g(n) be the first derivative of -7*n**2/2 - 23*n - 5. Is g(d) a multiple of 3?
True
Suppose 888 = 13*w - 443 - 8991. Is w a multiple of 13?
False
Suppose -4*f = f - 5*d + 5675, -4*d - 1145 = f. Let m = f - -1762. Does 6 divide m?
False
Suppose v - 47 = -43. Suppose 276 = 2*u + v*w - 5*w, 0 = -4*u - 4*w + 564. Does 10 divide u?
False
Suppose 106 = 2*h + 3*m, 3*h = -0*m - m + 166. Suppose h*k = 50*k + 552. Is 9 a factor of k?
False
Let m(x) = 8*x + 203. Is m(33) a multiple of 82?
False
Let c be (3 + -3)/(-1*4/(-4)). Suppose c = 63*u - 59*u - 2912. Is 56 a factor of u?
True
Let f be (-5 + (-513)/(-18))/(2/(-44)). Let i = -260 - f. Is 24 a factor of i?
False
Let k be 2/3 - 91/(-21). Suppose -9*o + 5*m = -5*o - 2604, 1312 = 2*o - k*m. Is 38 a factor of o?
True
Is (-42*(-38 - -26))/((-3)/(-64)) a multiple of 14?
True
Let u = 6200 + -9490. Is (-1)/(4/(-4))*u/(-14) even?
False
Let g = -19 + 30. Let j be (-4)/(-22) - 1388/g. Let c = j + 336. Is 15 a factor of c?
True
Suppose -472*u = -745510 + 170142. Is 23 a factor of u?
True
Let q(z) = 5*z + 52. Let l be q(-7). Suppose l = -5*m + 42. Is 2 a factor of m?
False
Let w(d) be the third derivative of d**6/120 + 13*d**5/60 + d**4/24 - 20*d**3/3 + 10*d**2 + d. Does 13 divide w(-10)?
False
Suppose 3*n = g - 110, -9 = -5*n - 24. Let b be -4 - -1 - (3 + -154). Suppose -2*w + g = 3*c - 11, 4*c + 2*w = b. Does 12 divide c?
True
Let c = 263 - 259. Let v(w) = -8*w**3 + w**2 - 3*w + 7. Let x(j) = 39*j**3 - 6*j**2 + 15*j - 36. Let p(h) = 24*v(h) + 5*x(h). Does 12 divide p(c)?
True
Let h(a) = 116*a - 17. Let v be h(7). Let k be (9 + -8)*(2 - -177). Suppose -k + v = 4*d. Is d a multiple of 22?
True
Let c be ((-5)/1)/(-1 - 0). Suppose -2*l - 2*h = -5*h - 1017, 0 = -l - c*h + 541. Is 67 a factor of l?
False
Let u(w) = -8*w**3 - 5*w**2 + 5. Suppose 0 = 3*v - 5*g - 13, -3*v - 29 = -2*v + 5*g. Is u(v) a multiple of 19?
True
Suppose -3*p - 33339 = -2*v, 3*v + 4*p = 6*v - 50011. Let d = v + -39083. Is (-2)/7 + d/(-119) a mul