 = w + k. Is r a multiple of 9?
True
Let k = -29 - -32. Suppose 4*j = k*j + 27. Is 9 a factor of j?
True
Suppose s - w - 1 = 0, -w + 9 = 2*s + 4*w. Suppose -2*i - 16 = s*i, -o + 295 = 5*i. Suppose -15 = 3*q, 5*j = q + 3*q + o. Does 10 divide j?
False
Let f = -531 + 815. Suppose -3*a = 2*a - 25. Suppose 3*y - 288 = -2*y + 3*g, g - f = -a*y. Is y a multiple of 17?
False
Suppose 3*d - 10 = -2*d. Let r(i) = i + 1. Let z be r(d). Suppose z*j = 12 - 0. Is j a multiple of 3?
False
Let m(l) = l**2 + 7 + 5*l**2 - 10*l - l**3 + 6*l**2. Is m(11) a multiple of 6?
True
Suppose -13*u + 12*u + 4 = 0. Suppose 5*k - 4 = 3*k, 4*k + 1252 = u*m. Is 45 a factor of m?
True
Let z = -81 + 91. Let b = z + 31. Does 11 divide b?
False
Let s = 84 + 9. Suppose -4*i + i = -s. Does 8 divide i?
False
Let h = -10 - -15. Suppose -45 - 80 = -h*x + y, 2*x + y = 57. Suppose 3*r - r = x. Is r a multiple of 13?
True
Let l be (-3)/12 - (633/(-4))/1. Suppose 2*z + 2*v - 200 - 110 = 0, 2*v + l = z. Does 39 divide z?
True
Let b(k) = -k**2 + 10*k + 15. Let q be b(11). Let j be 58/7 - q/14. Suppose 26 = o - j. Is o a multiple of 15?
False
Let h(z) = -z**2 + 49*z - 8. Let q be h(31). Suppose b - 6*b + q = 0. Is 11 a factor of b?
True
Let o(i) = -3*i**2 + 18*i + 20. Let w(c) = -3*c**2 + 17*c + 21. Let u(v) = -3*o(v) + 2*w(v). Is u(9) a multiple of 17?
False
Does 5 divide (-6)/8 - ((-633)/12 - 4)?
False
Suppose -t - 334 = -4*k, 4*k + 0*t = 5*t + 326. Is k a multiple of 3?
True
Suppose -d - d + 12 = 0. Let u = 60 - d. Let t = u - 33. Does 15 divide t?
False
Does 9 divide (-12)/(-10)*(-5 - (-1620)/8)?
False
Let g(h) be the second derivative of 5*h**4/4 + h**3/6 + 12*h. Is g(1) a multiple of 8?
True
Suppose -2*r + 476 = 4*y, 0*r = r - 4*y - 238. Is r a multiple of 7?
True
Let d(t) = -7*t - 12. Let x be d(-5). Let v = x - 18. Suppose -v*m + 4 = -11. Is m a multiple of 2?
False
Let u(i) = 69*i - 384. Is u(18) a multiple of 78?
True
Let a(q) = -6*q + 9. Does 3 divide a(-29)?
True
Let i(d) be the first derivative of -9*d**4/4 - 2*d**3/3 + d + 5. Let x be i(-1). Let k = x - -3. Is k a multiple of 11?
True
Let w = -195 + 654. Is w a multiple of 35?
False
Let g be (4/(-12))/(1 - (-712)/(-711)). Suppose -2*k = -g - 61. Is 25 a factor of k?
False
Let q be 0 - -4 - (-6)/(-3). Let f = 62 - q. Is 15 a factor of f?
True
Let g(f) = f**3 - 15*f**2 + 19*f - 19. Suppose 0*m - 4*l + 48 = 4*m, 4*m - 5*l - 66 = 0. Let b be g(m). Let a = b - 28. Is 5 a factor of a?
False
Let m(c) = c**3 + 14*c**2 + 23*c - 11. Is m(-9) a multiple of 41?
False
Let l(o) = -2*o**3 + 3*o - 1. Let v be l(3). Let s = -28 - v. Let f = s - 11. Does 2 divide f?
False
Let b(i) = 2*i + 13. Let d be b(-4). Suppose -3*r = -d*p - r + 190, 38 = p + r. Let h = -30 + p. Is h a multiple of 8?
True
Does 10 divide 326*(-5)/(-50) - (-4)/10?
False
Let n = -24 - -26. Suppose -n*k = -4*c - 22, -c - 25 = 4*c. Does 14 divide k/(-2) - 680/(-16)?
True
Suppose 0 = -6*y + 8*y - 2. Let s = 12 - y. Is 6 a factor of s?
False
Let g(r) = 10*r - 41. Let h(f) = -5*f + 21. Suppose -11*s = -4*s + 21. Let m(j) = s*g(j) - 5*h(j). Is 20 a factor of m(-8)?
False
Suppose 14*q = 9*q + 50. Let z be q/3*(-216)/(-15). Suppose 4*g - z - 152 = 0. Is g a multiple of 10?
True
Let v be 5*((0 - 1) + 1 + 1). Suppose -v*m + g + 259 = 0, 5*g + 48 = m + g. Does 26 divide m?
True
Suppose 31*b - 16104 + 3549 = 0. Does 45 divide b?
True
Let r(c) = c - 2*c + 3 - 7*c. Let l(j) = 232*j - 88. Let y(v) = -6*l(v) - 176*r(v). Is 24 a factor of y(3)?
True
Let o = 1222 + -826. Is 36 a factor of o?
True
Suppose -2 - 8 = -5*z. Suppose t - 5*s = 0, -z*s = 2*s. Let y = 19 + t. Is 5 a factor of y?
False
Suppose -k + c + 364 = 1199, 3*k + 2*c + 2530 = 0. Does 12 divide ((-4)/5)/(16/k)?
False
Let y(c) be the second derivative of -c**5/20 + 3*c**4/4 - 4*c**3/3 + 3*c**2 - 4*c. Let n(x) = x + 16. Let i be n(-8). Is y(i) a multiple of 6?
True
Let j be 156/(-10) + 10/(-25). Does 7 divide (-68)/(-3)*(-24)/j?
False
Suppose 7*p - p = 24. Suppose -5*h + p*q + 18 = -7, -4*h - 5*q + 20 = 0. Suppose n + 3*b + b = 3, 0 = -h*b - 15. Is n a multiple of 3?
True
Suppose -3*u + 0*u = 3*j + 6, -4 = 2*u - 3*j. Let f(r) = 12*r**2 - 5*r - 5. Does 14 divide f(u)?
False
Let b = -36 + 42. Suppose 4*l + 52 = b*l. Is 11 a factor of l?
False
Is ((-73)/2)/((26/(-4))/13) a multiple of 10?
False
Suppose 558 = -4*f + 7*f + 3*n, -3*n - 552 = -3*f. Is 37 a factor of f?
True
Let o = -80 + 460. Does 10 divide o?
True
Is 19 a factor of 2618/4 + 12/8?
False
Let p(l) = -2*l**3 + 6*l**2 + l + 4. Let o(b) = 5*b**3 - 13*b**2 - b - 9. Let v(z) = -3*o(z) - 7*p(z). Is v(-3) even?
False
Suppose 32472 = 561*o - 543*o. Is 43 a factor of o?
False
Is -2 + 2 + (898 - 15) + 1 a multiple of 13?
True
Suppose -15*f + 4579 = 1354. Does 15 divide f?
False
Let z(i) = -i**3 + 20*i**2 + 29*i + 57. Does 17 divide z(19)?
True
Let h = 132 + 15. Suppose -18*s = -15*s - h. Is 8 a factor of s/1 - (2 + -4)?
False
Suppose 0 = -4*a + 36 + 156. Suppose 0*q + 112 = 4*q - 4*i, -q + a = 4*i. Suppose -2*m + 52 + q = 0. Does 14 divide m?
True
Let o = -12 - 2. Let l = o - -20. Let p(r) = 3*r + 7. Does 10 divide p(l)?
False
Let k = -1 - -1. Let b = 84 + -30. Suppose l - 20 = -d, 0 = 2*d - 5*l - k*l - b. Does 6 divide d?
False
Suppose 3*p = -5*n - 261, 0*p - 2*p = 5*n + 174. Let g = p - -198. Is g a multiple of 36?
False
Let q(n) be the third derivative of -n**6/144 + n**5/40 + n**4/8 + 13*n**2. Let m(g) be the second derivative of q(g). Is m(-4) a multiple of 3?
False
Let c be (84 + 1 - 0)*1. Let n = 151 - 100. Let b = c - n. Is 21 a factor of b?
False
Suppose 2*q + 6*k - 4*k = 540, -10 = 5*k. Does 19 divide q?
False
Let d = 1508 + -2308. Does 33 divide d/(-12) - (-2)/(-3)?
True
Suppose 0 = h - 4*h + 9, -3*h - 6 = -3*m. Suppose 3*a - 78 = -m*s + 481, 2*a + 4*s = 374. Does 39 divide a?
False
Let m(l) = l**3 + 7*l**2 + 7*l + 13. Let t be m(-6). Let z = 91 + t. Does 11 divide z?
False
Suppose 0 = r + 3*u - 71 - 645, -2880 = -4*r - 4*u. Does 110 divide r?
False
Let c(t) = t**2 + 93. Let z be c(0). Suppose -4*g - z = -445. Is g a multiple of 15?
False
Let s(p) = -269*p**3 - p**2 + 2*p + 4. Is 9 a factor of s(-1)?
True
Let g(r) = 13*r**3 + 21*r**2 + 5*r - 6. Is g(5) a multiple of 54?
False
Let q = -630 - -897. Is q a multiple of 19?
False
Let i be (118/4)/(2/4). Suppose 3*c = 2*l - 5*l + 24, -4*l + 2*c + 2 = 0. Suppose -u - i = -l*u + n, -u - 5*n = -57. Is u a multiple of 8?
True
Let b(a) = a**2 - 9*a - 6. Let v be b(10). Suppose l = v*l. Suppose l = -3*w - 2*w + 5*k + 35, -4*w - 4*k + 52 = 0. Is 5 a factor of w?
True
Suppose -59*m - 11984 = -87*m. Is 6 a factor of m?
False
Suppose -335*v = -344*v + 6156. Is 57 a factor of v?
True
Let u(s) = s + 18. Let v be u(-13). Suppose -4*o - 7 = -v*o. Does 2 divide o?
False
Suppose -4*g = -7*g. Suppose g = -2*k + k - 3. Let m(o) = -10*o - 4. Is 26 a factor of m(k)?
True
Suppose -19 - 1 = -4*t. Let p be (t - 1 - 13)*1. Is 21 a factor of (-371)/p - 6/27?
False
Suppose 4*i - 10 = l, -7*l + 6*l - 4 = -2*i. Suppose -i*u = u - 8. Does 2 divide u?
True
Let m be 0 + (-1)/3 - (-40)/12. Suppose -4*j + k = m*k - 308, k - 78 = -j. Is j a multiple of 38?
True
Let l(d) = -5*d**3 - 2*d**2 - 7*d - 12. Is l(-4) a multiple of 16?
True
Let m = 753 + -131. Is m a multiple of 81?
False
Let c(p) = 76*p - 233. Does 15 divide c(38)?
True
Let u = 941 + -653. Does 16 divide u?
True
Suppose -5*g + 70 + 480 = -5*f, 5*g - 3*f = 554. Is 14 a factor of g?
True
Let k(w) = -5*w**2 + 18*w**2 - 223*w**3 + 6 + 222*w**3 - 16*w. Is k(11) a multiple of 24?
True
Let w be (-2 + 6)*18/24. Does 12 divide w/(-2) + 74/4?
False
Let k = 81 + -76. Suppose k*j = 3*j + 5*y + 89, 0 = -3*y - 15. Is 30 a factor of j?
False
Let r(k) be the second derivative of k**5/40 - 17*k**4/24 + 2*k**3/3 + 5*k. Let p(h) be the second derivative of r(h). Is 2 a factor of p(9)?
True
Let c be -2 + (-5)/((-20)/16). Suppose -1 - 5 = c*h. Does 5 divide h/1 - (-2 - 11)?
True
Suppose -14*c + 962 = -3588. Is c a multiple of 11?
False
Let c(s) = 2*s**3 + 4*s**2 - 6*s - 7. Let a be c(-5). Let j = -86 - a. Does 5 divide j?
False
Suppose 39 = -5*m - 3*n, 4*m - 3*n + 15 = -0*m. Is (m/(-5))/((-6)/(-60)) even?
True
Let w = 3645 - 1874. Does 11 divide w?
True
Suppose -53*t + 75*t = 39952. Is t a multiple of 15?
False
Suppose -