 = v**2 - 24*v + 100. Is n(24) a multiple of 20?
True
Is ((-9)/(-27))/((-3)/(-3465)) a multiple of 83?
False
Suppose 0 = -5*r + 356 + 1659. Does 13 divide r?
True
Let p(h) be the third derivative of h**5/60 - 11*h**4/24 - 2*h**3 + 22*h**2. Is p(-5) a multiple of 13?
False
Suppose 5*l - 594 = -3*u, -4*u - 5*l = -0*u - 797. Does 3 divide u?
False
Let j(y) = -y**3 + 24*y**2 + 40*y + 21. Does 22 divide j(25)?
True
Let s(c) = c**2 - 7*c + 2. Let t be s(7). Suppose -3*a + 25 = 2*r, -5*r = -3*a - t*a. Suppose a*d = 3*d + 92. Is d a multiple of 37?
False
Let p = 331 + -222. Let i = -63 + p. Let h = -31 + i. Is 15 a factor of h?
True
Let c be (1 - -2)*(-3)/(-9). Let k be c*(-6 - (0 - 2)). Is 6 a factor of k/(5/(-3) + 1)?
True
Let c(x) = 2*x**2 + 23*x - 49. Is c(-19) a multiple of 15?
False
Suppose -8 = -2*j, -5*j + 117 - 281 = -2*b. Suppose i = -10 + 42. Let u = b - i. Is u a multiple of 20?
True
Does 13 divide (-69)/(-2)*1/((-12)/(-208))?
True
Let t be 3/5 + (-24)/(-10). Let m be (-19 - 1)*(5 - t). Let n = m + 65. Is n a multiple of 13?
False
Let b(r) = r**3 - 5*r**2 - 4*r + 26. Does 21 divide b(11)?
False
Suppose 11*o = -2*o + 5*o. Let h(w) = w**3 + 2*w**2 - w + 7. Is 2 a factor of h(o)?
False
Let i be 0 + 6 + -3 - 6. Let k be 0 + (i - 2)*-1. Suppose 0*d + k*d = -3*u + 69, -6 = -2*u. Does 10 divide d?
False
Let k(o) = 2*o**3 + 4*o**2 - 5*o + 2. Let d be k(2). Let s = 73 - d. Is 7 a factor of s?
True
Does 26 divide -2*(-5)/(-45) + 9656/36?
False
Let m be (9/(-2))/(3/(-2)). Let b be m/(-9)*35*-3. Let q = b + -15. Is q a multiple of 7?
False
Let u be -1 + (-2)/(-4)*4. Let g(d) = 6*d - 2. Let x be g(u). Suppose 3*a = 2*q - 21, 0 = x*q + a - 40 - 9. Does 4 divide q?
True
Is 18 a factor of (130/(-6))/(24/(-720))?
False
Let t = 888 + -580. Is 22 a factor of t?
True
Suppose -364 = -1964*c + 1962*c. Is c a multiple of 7?
True
Let q(f) be the second derivative of 16*f**3/3 + 2*f**2 - f. Let k(n) = 5*n**2 - 3*n + 1. Let j be k(1). Does 32 divide q(j)?
False
Suppose -12 = -64*k + 62*k. Suppose -2*c - 2*y = -106, 3*c + k*y - 159 = y. Is c a multiple of 3?
False
Let b be (-2)/11 + 460/110. Let p be (-2)/(-8) + b/(-16). Suppose -j - 7 = 5*n, 4*n + p*n + 16 = 0. Is j a multiple of 4?
False
Let k(j) = -j**2 + 5*j. Let v(a) = 2*a**2 - 11*a. Let t(u) = -13*k(u) - 6*v(u). Let d be t(-4). Does 8 divide 1665/35 - d/(-28)?
True
Suppose -4*x - 9 = -u - 2*x, -2*u - 4*x = -2. Suppose -4*g + 1 = t - 4, u = t - g. Suppose -3*n + 54 = t*o, -o = n - 5*n + 72. Does 18 divide n?
True
Is 1762/7 + 0 + (-238)/(-833) a multiple of 4?
True
Let u be (145/(-4)*2)/(1/2). Let q = -66 - u. Is q a multiple of 12?
False
Is 118 a factor of (-109018)/(-21) + (-14)/(-21)?
True
Is (-39)/78 - (-530)/4 a multiple of 22?
True
Suppose 7834 = 4*s - 2*f, -5*s + 285 + 9515 = 5*f. Is s a multiple of 17?
False
Is 8 a factor of (-1050)/(-4) + -7 + 170/20?
True
Let v(c) = 66*c**2 + c + 2. Let x = -3 + 2. Does 16 divide v(x)?
False
Suppose 5*f - 2*u = 6*f - 410, -f = -3*u - 400. Is f a multiple of 29?
True
Let y(m) = 18*m**2 + 3*m - 3. Does 39 divide y(-4)?
True
Let c = 10 - 5. Suppose 0 = u + 2*t - 1 - 1, 16 = u - c*t. Suppose -u = -2*v + 22. Is v a multiple of 7?
True
Let z(o) = 155*o + 6. Let f(b) = 77*b + 3. Let s(v) = -11*f(v) + 6*z(v). Does 13 divide s(1)?
False
Let q be 1218/28*(-4 - (-2 + 0)). Let f = q + 123. Is 5 a factor of f?
False
Let m = 5 + -5. Suppose 42 = 3*l - l - h, -2*l - 3*h + 34 = m. Does 13 divide l?
False
Suppose 51353 = 41*s - 11418. Is s a multiple of 67?
False
Let g(z) = 153*z + 72. Does 30 divide g(6)?
True
Let g(y) be the third derivative of -y**5/60 - y**4/4 + y**3/2 - y**2. Suppose 12 = -2*w + 2*l, -1 = -4*w + 5*w + 4*l. Does 8 divide g(w)?
True
Is 17 a factor of 5674/10 - -3*(-6)/45?
False
Suppose y - 744 = -5*y. Suppose -3*o + 3*m = -o - y, -2*m + 48 = o. Is o a multiple of 28?
True
Suppose 30*f - 74*f + 5588 = 0. Is f a multiple of 127?
True
Suppose -n + 0*n + 2*w = 8, 4*n - 3*w + 12 = 0. Suppose n = 5*v + d - 251, -3*v + 204 = -4*d + 58. Is 5 a factor of (-73)/(-5) - (-20)/v?
True
Let h = 0 - 39. Let x = 50 - 65. Let r = x - h. Is r a multiple of 8?
True
Suppose 8*q + 30 = t + 3*q, -4*q - 35 = -3*t. Let n = t + 13. Is 31 a factor of (-4)/n - 839/(-9)?
True
Suppose -4*h - 7360 = -5*p, 0 = 3*p - 7*p - 7*h + 5939. Is 150 a factor of p?
False
Let o(s) = -2*s - 5 + s**3 - 17*s**2 + 3 + 8*s**2. Is o(10) a multiple of 36?
False
Suppose 39*n = 34*n - 350. Does 4 divide (-672)/n*(-5)/(-2)?
True
Let v be 24/(-9) + (-1)/3. Let l(r) = 2 + 0*r**3 - 3*r + 14*r**2 + r**3 - 11*r**2. Is 3 a factor of l(v)?
False
Suppose 0 = -11*o - 0*o + 176. Is 4*(708/o + -2) a multiple of 8?
False
Let a(g) be the third derivative of -g**4/24 + 2*g**3/3 + 5*g**2. Let b be a(5). Is 3*(-4 + 3)/b even?
False
Let q(s) = 4*s**2 - 7*s + 6. Suppose 3*v + 4 = 4*v. Is 42 a factor of q(v)?
True
Let h(c) = 0 + 3*c + 9*c - 4 + 1. Is h(7) a multiple of 27?
True
Suppose 2*j + 5 = 3*s - 3*j, 3*s + 4 = -4*j. Let g(t) be the third derivative of t**4/24 + 6*t**3 - t**2. Is 18 a factor of g(s)?
True
Suppose -l + 5*z - 26 = -2*l, -3*z = 5*l - 20. Let m(q) = 4 - 15*q + 0*q + 5 + l. Does 40 divide m(-8)?
False
Suppose -5*k + 1313 = d - 8932, k - 5*d - 2023 = 0. Does 32 divide k?
True
Suppose 10*p - 913 = 487. Is p a multiple of 20?
True
Suppose -2016 = -11*z - 564. Is z a multiple of 11?
True
Suppose 4*z = 3*z - 4*u + 51, -4*z + 204 = -4*u. Let y = z - -85. Is 17 a factor of y?
True
Suppose 0 = 2*h - 6*h - 328. Suppose -10*y - 298 - 32 = 0. Let t = y - h. Is 17 a factor of t?
False
Let z = -88 - -119. Let q = -25 + z. Does 5 divide q?
False
Let r = -17 - -46. Let j = 54 - r. Does 6 divide j?
False
Let g(q) = -46*q**2 + 8*q + 1. Let k be g(-4). Let a = -446 - k. Is 33 a factor of a?
False
Let a be 1/2 - 132/(-24). Suppose -r = r - a. Suppose -h - 6*x = -3*x - 34, -78 = -r*h + 3*x. Does 7 divide h?
True
Suppose -2*u + 7 = -3*u + 3*w, 0 = -4*w + 20. Suppose 4*v - 132 = -q, 2*v + q - 60 = 2*q. Does 7 divide 696/v - 6/u?
True
Let w(j) = 2*j**3 - 9*j**2 - 16*j + 67. Is w(7) a multiple of 5?
True
Let v = -1022 + 1232. Does 10 divide v?
True
Suppose 3 = -4*r + 3*r. Is (6 - 7)/(r/129) a multiple of 16?
False
Let l(d) = -d**3 - 4*d**2 - 5*d + 30. Does 32 divide l(-9)?
True
Suppose p + 5*h = -p + 8, p - 4 = 5*h. Suppose 4 = -5*a + 2*j, 4*a - 4*j - p = -0*a. Is 12 a factor of (-1)/a*(-1 + 85)?
False
Let o = -27 + 29. Does 14 divide -1 + (-3 - -34) + o?
False
Let d = -10 - 65. Is 7 a factor of (-1 + 5)*(d/(-20) - 1)?
False
Let z(l) = -14*l - 8. Suppose -h = -5*n + 32, -h - 4*n + 55 = -6*h. Let c be z(h). Suppose 3*p - c = p. Is 15 a factor of p?
True
Let d be 96/60*(-10)/(-4). Suppose -d*r = -0*r. Suppose u = -u - 5*a + 66, r = -5*a. Is 6 a factor of u?
False
Let m(o) = 63*o**2 - 30*o + 92. Is m(4) a multiple of 35?
True
Let q(o) = -2*o**2 - 77*o - 104. Does 22 divide q(-35)?
False
Let g = -139 + 137. Let y(r) = -8*r**3 - 3*r**2 - 7*r - 2. Is y(g) a multiple of 4?
True
Let s(i) = 9*i - 2. Let v(x) = 9*x - 1. Let u(w) = -6*s(w) + 5*v(w). Is u(-9) a multiple of 11?
True
Let h = -15 - -18. Suppose -h*m + 106 = 16. Is 16 a factor of m?
False
Does 25 divide (-5)/(40/(-96)) + 1225?
False
Let g(q) = -5*q - 8. Let u be g(-2). Suppose -6 = -2*c, -2*r - 29 = -u*c - 5. Does 6 divide -2 + (-4 + 5 - r)?
False
Suppose 5*u + 2251 = -4*w - 1134, -2*w + u = 1703. Does 34 divide (w/15)/(2/6*-1)?
True
Let c = -383 - -729. Is 19 a factor of c?
False
Suppose 2*f - 12 = -2*i, -i + 2*f - 14 = -2*f. Suppose 0*o = i*o - 40. Suppose -5*h - 67 = -2*t - 0*h, t + 2*h - o = 0. Is t a multiple of 13?
True
Suppose -153*y + 30798 = -94*y. Is y a multiple of 18?
True
Let a be (1 + 3)*117/4. Suppose 2*h = -j + a, j - 237 = -5*h + h. Suppose 0*w + h = w. Is w a multiple of 13?
False
Does 7 divide (-3)/(-2*((-6498)/2172 + 3))?
False
Let d = 51 - 36. Is (-1)/5 - (-1173)/d a multiple of 17?
False
Let k be (1 - 6/8)*1876/67. Let o = 17 - 3. Let l = o - k. Is l a multiple of 4?
False
Let k(c) = 8*c**2 - c + 12. Suppose -2*x + 12 = x, 3*w = -2*x + 20. Is 34 a factor of k(w)?
True
Let p = 117 - 53. Let n = p - 8. Is 22 a factor of n?
False
Let i be 2/(-3)*(7 + 40/(-16)). Is 31*(-2 - i - -1) a multiple of 14?
False
Let x(o) = 52 + o**2 + o**2 + o**3 - 3*o**2 - 45. Is x(0) a multi