 17*o - 2. Let m(v) = x*b(v) - 13*u(v). Is m(3) a multiple of 16?
True
Does 20 divide 239/2 + (-10)/(-4)?
False
Let c(u) = 2*u**2 - 3*u - 2. Let l be c(5). Let i = l + -19. Let r = -2 + i. Is 5 a factor of r?
False
Let n = 1033 - 765. Is 19 a factor of n?
False
Suppose -398 = -5*w + 4*v, -2*w + 3*v = 3*w - 396. Suppose 0 = 18*o - 16*o - w. Is 12 a factor of o?
False
Let w be ((-15)/(-60))/((-1)/(-52)). Let z(u) = -u**3 + 12*u**2 + 14*u + 6. Does 6 divide z(w)?
False
Let z = 21 + -64. Let r = 25 - z. Does 17 divide r?
True
Suppose -z = 2*m - 80, -6*z + z + 5*m = -400. Is z a multiple of 8?
True
Suppose g = 2*h - 315 - 178, 4*h = 4*g + 992. Does 11 divide h?
False
Let g = -17 - -22. Suppose f - 45 = -2*i + 4*i, 173 = g*f + 3*i. Suppose -5*v = 4*q - 118 - f, 5*v - 5*q = 200. Does 14 divide v?
False
Suppose -4*u - 34 = -86. Suppose -4*m = 4*s - 256, m = -2*s - u + 78. Suppose -4*t - 16 = -3*k - 0*t, 3*t = -4*k + m. Is k a multiple of 12?
True
Let d = -251 - -368. Suppose w - d = 4*t, -w + 4*t - 258 = -3*w. Suppose -w = -2*v - 35. Is 22 a factor of v?
False
Let t(w) = w**3 - 17*w**2 + 4*w + 16. Let j be t(16). Does 12 divide (-3)/(12/j) - -4?
True
Suppose -4*f - 5 - 133 = -t, 0 = -3*t + 2*f + 394. Does 6 divide t?
False
Suppose -5*s - f = 3*f - 193, 0 = s + 5*f - 47. Is s a multiple of 2?
False
Suppose 5*m = 22 - 12. Suppose -4*l - m*q + 43 = -l, 4*q + 18 = 2*l. Is 2 a factor of l?
False
Suppose 7*j - 4*j - 558 = 0. Suppose 2*r + j = -2*p + 4*p, p - 2*r = 92. Is p a multiple of 16?
False
Let a = -168 - -203. Does 9 divide a?
False
Suppose -c - 134 = -260. Does 13 divide c?
False
Let t be ((-4)/2 - -3) + 1. Suppose 4*g - 3*g - t*k - 64 = 0, 4*g - 201 = -3*k. Let w = g - 38. Is w a multiple of 12?
False
Let q(g) = 4*g**2 - 30*g + 19. Is q(12) a multiple of 12?
False
Let w(b) = -b**3 - 4*b**2 - 3*b - 1. Let x be w(-5). Is 13 a factor of x/((-2)/(-12)*9)?
True
Suppose -2*u + s - 1 = 0, u + 6*s - 5 = s. Suppose u = 11*x - 16*x + 110. Is x a multiple of 7?
False
Let r = -557 - -1173. Is 56 a factor of r?
True
Suppose -33 = -a + 108. Is a a multiple of 40?
False
Suppose 3*a = 3*j - 1437, 4*j - a + 5*a - 1924 = 0. Suppose 0 = 5*t - 2*v - 939, v - 105 = 2*t - j. Is 27 a factor of t?
True
Let u = -305 - -1103. Does 21 divide u?
True
Let f(t) = 2*t + 18. Let i be f(-12). Is (9/i - -2)*34 a multiple of 11?
False
Let v = 1867 + -1149. Does 39 divide v?
False
Suppose 2617 = z + 1833. Does 62 divide z?
False
Suppose 452 - 24892 = -40*m. Is 13 a factor of m?
True
Suppose 4*h - 5 = -h, 3*k - 5*h = 415. Does 10 divide k?
True
Let n = 60 - -3. Let v(l) = 6*l - 3. Let z be v(7). Let p = n - z. Is p a multiple of 12?
True
Suppose -4*i + 2 = 22. Let a(g) = -17*g**3 + g**2 + 5*g - 5. Let m(q) = -18*q**3 + q**2 + 6*q - 6. Let p(j) = i*a(j) + 4*m(j). Is 6 a factor of p(1)?
True
Let p(t) = -54*t - 4. Let b = 29 + -20. Let k(h) = h - 11. Let q be k(b). Is 26 a factor of p(q)?
True
Let f(y) = -3008*y + 60. Is f(-1) a multiple of 97?
False
Let r(u) = -77 - u + 75 + u**2 + 3*u. Is 5 a factor of r(3)?
False
Suppose 2*d - 2 = -4*j + 14, 0 = 5*j. Let g be (-24)/(-9)*12/d. Suppose -4*m = g*c - 88, -2*c - 19 = -m + 15. Is 13 a factor of m?
True
Let q(r) = -r**3 + 5*r**2 - 3*r. Let g be q(5). Suppose 0 = m - 0 - 2, -60 = -2*u + 2*m. Let p = u + g. Does 17 divide p?
True
Let w be 0 - (-1 + (29 - -3)). Let r = -27 - w. Does 4 divide r?
True
Suppose -4*o = 2*u + 1171 - 3283, 5*o = -5*u + 5270. Let m = -722 + u. Suppose 4*v + 2*v = m. Is v a multiple of 16?
False
Suppose 0 = 5*d - 0*d + 75. Does 14 divide 103 - (-10)/d*3?
False
Suppose 5*h = 3*k - 4696, 51*k + 3*h - 7872 = 46*k. Is 131 a factor of k?
True
Let v(i) be the second derivative of -i**4/12 + 5*i**3/6 + i**2/2 + 2*i. Let n be v(4). Suppose -4*t + 6*b + 145 = b, -t - n*b + 5 = 0. Is 17 a factor of t?
False
Let j(t) = -2*t**2 + 9*t - 5. Let q(m) = -6*m**2 + 27*m - 14. Let c(z) = 8*j(z) - 3*q(z). Does 14 divide c(-4)?
True
Suppose 472 = -7*q + 3*q. Let j = -70 - q. Is j a multiple of 24?
True
Suppose -k - 10*k + 286 = 0. Is k a multiple of 26?
True
Suppose 35*l = 37*l - 166. Suppose -a + c = a - 187, -4*c = -a + l. Is a a multiple of 19?
True
Let p(k) = 5*k**2 - 19*k + 28. Is 48 a factor of p(-13)?
False
Let m(w) = 29*w**2 + w - 1. Let x be 0 - (2 - (-3 - 0)). Let o(r) = -r**3 - 6*r**2 - 5*r - 1. Let s be o(x). Is m(s) a multiple of 27?
True
Suppose 26*b - 27474 = 7*b. Is 10 a factor of b?
False
Let r(v) = 15*v**2 - v - 10. Is r(-6) a multiple of 11?
False
Suppose -5304 = -2*x - 6*m + 3*m, 5*m - 2645 = -x. Suppose 13*c - x - 1271 = 0. Does 66 divide c?
False
Suppose 1092 = 2*u + 3*c - 532, -3*u + 2436 = 3*c. Is 116 a factor of u?
True
Let q(h) be the first derivative of -h**4/4 - 3*h**3 + 29*h**2/2 + 9*h + 13. Is q(-12) a multiple of 49?
False
Let f = -187 + 862. Is 75 a factor of f?
True
Let k = -71 + 121. Let f = k + 54. Is f a multiple of 8?
True
Let y(r) = 5 + 6 + 0*r + 7 + 2*r. Let b be y(-9). Suppose b = -2*t + 7*t - 285. Is t a multiple of 19?
True
Suppose -126 = 5*q + v, -2*v = q - 3*v + 30. Let j = 149 + q. Is j a multiple of 19?
False
Let j = -105 + 110. Suppose j*w + n - 104 = w, -5*w = -2*n - 117. Does 11 divide w?
False
Let v(d) = 2*d + 17. Let q be v(-4). Is 7 a factor of (-1 + -13)*q/(-18)?
True
Is (-21)/(-56) - 43/8 - -233 a multiple of 24?
False
Suppose n - 101 = -2*l + 2*n, -4*n + 46 = l. Let d = l - 37. Does 13 divide d?
True
Let f(a) = a**3 - 4*a**2 + 4*a + 4. Let b be f(3). Suppose -3*x + b*x = z + 268, -352 = -5*x - 3*z. Is x a multiple of 17?
True
Let p = -145 - -697. Is 23 a factor of p?
True
Suppose 933 = -4*n - 1467. Let u = n - -864. Is u a multiple of 22?
True
Does 5 divide 3206/4 - -7*(-42)/196?
True
Does 25 divide 628 - (-11 - -5 - -8)?
False
Let g(y) = 3*y**3 - 61*y**2 + 42*y - 22. Is 22 a factor of g(20)?
True
Let y(c) = -c + 3*c + 0 + 6 - 2. Let s be y(-3). Is 3 + -3 + s + 27 a multiple of 12?
False
Let g(a) = -8*a - 4. Let k be g(-3). Suppose -8*o - k = -9*o. Is 10 a factor of o?
True
Let m be ((-870)/(-20))/((-1)/4). Let b = -105 - m. Does 23 divide b?
True
Let g(y) = y**3 + 10*y**2 + 16*y + 4. Let s be g(-8). Suppose i + s*l = 151, 0*i + 3*i - 479 = l. Is i a multiple of 15?
False
Let g(u) = -32*u**3 - 3*u**2 - 2*u + 3. Let c be g(-3). Is 12 a factor of 4/(-14) - c/(-21)?
False
Let f be (-2 + -1)*690/9. Let j = f - 15. Is (-3)/12 - j/20 a multiple of 4?
True
Let o = 56 + -28. Suppose 3*c = -4*j - 124, 4*j + j + 155 = -4*c. Let f = o - j. Is 23 a factor of f?
False
Suppose 5*a - 3*r + 1628 = 0, -2*r + 327 = -5*a + 4*a. Let h be (209 - 0)*(3 + -2)*-1. Let x = h - a. Does 29 divide x?
True
Let k be (-1)/(3/(-37 - -4)). Let p = k + -7. Suppose p*x - 3*o - 39 = 2*x, -2*x + o = -33. Does 15 divide x?
True
Let u = -392 + 878. Is 6 a factor of u?
True
Let p be (-13)/26 - ((-134)/4)/1. Suppose -4*b - 4*w + 92 = 0, 3*b - 34 = -2*w + p. Does 3 divide b?
True
Is 34 a factor of 827 + -16*(2/(-8))/1?
False
Let r be 1/(1/13) + -1. Suppose r*o = 8*o + 156. Is o a multiple of 8?
False
Let j(i) = -11*i - 2. Let n be j(-3). Suppose 6*f - 16 = 2*f. Suppose -3*p + 65 = 5*v, 0*p - p - f*v = -n. Is 12 a factor of p?
False
Let u(t) = 4*t**3 - t + 1. Suppose 4*s = 6*w - w + 19, -2*s = -3*w - 11. Let j be u(s). Suppose 0 = -g + j*p + 41, 5*g - p + 0*p - 205 = 0. Does 19 divide g?
False
Suppose 4*t - 40 = 4*p, 2*t - 5*p = 15 + 17. Suppose t*x = 2*x. Let c = 15 + x. Is c a multiple of 10?
False
Let i(v) = 13 + 4*v + 22 - 44 + v**2 + 19. Does 25 divide i(-13)?
False
Let g = -117 + 210. Suppose 5*x - 2*k = g, 3*k - 30 = -2*x + 2*k. Does 9 divide x?
False
Suppose k + 5445 = 12*k. Is 3 a factor of k?
True
Let o(v) = 5*v. Let h be o(3). Let i = -10 + h. Suppose -i*l + 49 = -71. Does 8 divide l?
True
Suppose -2012 = -5*g - 397. Is g a multiple of 19?
True
Suppose -5*w + 17 = 7. Suppose w*o + 7 = 3*o. Is 7 a factor of o?
True
Let m(b) = -b**2 - 10*b - 19. Let v be m(-8). Let s = v - -7. Does 15 divide (-12)/s*(-141)/9?
False
Let o(c) = -2*c - 8. Let b be (-18)/4*(5 - 3). Let h be o(b). Suppose 14*x - h*x = 108. Is 9 a factor of x?
True
Let y = -14 + 14. Suppose 4*u + y*u = 116. Let q = 37 + u. Is 17 a factor of q?
False
Let l(c) = -8*c + 10. Is 19 a factor of l(-8)?
False
Let l = -16 - -19. Suppose 146 = -l*f + 593. Is f a m