 10. Suppose -a - v + 81 = 0. Is a a multiple of 18?
False
Suppose 57287 + 39313 = 25*w. Does 42 divide w?
True
Suppose 29 = -2*y + 35. Suppose -v + 341 = -y*z, -2 = 4*v + z - 1353. Is 13 a factor of v?
True
Suppose -30*q + 297 = -21*q. Suppose -3*z - b + 30 = -0*z, -5*b = 2*z - q. Suppose z*d = 70 + 164. Is 13 a factor of d?
True
Let m be (-1)/(48/10 - 180/36). Let y(f) = 58*f + 4. Let o be y(5). Suppose -v - 6*x + 38 = -x, -m*v + o = -x. Is 29 a factor of v?
True
Let b = 65885 - 45684. Is b a multiple of 13?
False
Is 16022/((-4 + 5)/(-23 - -24)) a multiple of 58?
False
Suppose -16758 = -3*i + 3*a, -i - 16*a + 19*a + 5590 = 0. Does 83 divide i?
False
Let t = -645 - -967. Let a = t + -102. Is 10 a factor of a?
True
Suppose 4*i - 2*d = 7*i - 2699, -5*d = -5*i + 4490. Let q = -239 + i. Is q a multiple of 11?
True
Let m = 21 + -13. Let n(j) = j + 27. Let q be n(-32). Is 17 a factor of 15 - q/(20/m)?
True
Suppose 2*z - 14 = 0, -4*w - 45*z + 67274 = -43*z. Is 15 a factor of w?
True
Suppose 4*m = -3*n + 18, 6 = n - 18*m + 19*m. Suppose -n*z = -7*z + 1177. Does 13 divide z?
False
Suppose -y + 2923 + 2625 = 4*f, 4*y - 2*f - 22102 = 0. Is 8 a factor of ((-13)/13)/(y/(-1842) - -3)?
False
Let b = 10 + -20. Let z be (16/20)/(2/b) + 170. Suppose -5*m + 82 = -2*m - 2*u, z = 5*m + 4*u. Is 6 a factor of m?
True
Suppose -9*l + 5*l - 3*q + 2232 = 0, -2*l = -q - 1116. Suppose -4*m + 1119 = -5*r, 2*m - l = 2*r - 0*r. Is 12 a factor of m?
True
Suppose 44 = 10*k - 6. Let l be (k - 2/(-2))/((-9)/(-6)). Is 4 a factor of (12 - 0)/((-2 + l)/2)?
True
Suppose 0 = -15*t + 153322 - 40222. Is (-6)/10 - 15/((-375)/t) a multiple of 7?
True
Let q(k) be the second derivative of -k**3/3 + 7*k**2 - k. Let w be q(8). Let r = 12 + w. Is r a multiple of 5?
True
Let r be (-60)/(-150) - 14/20*502. Let x = r - -570. Is 43 a factor of x?
False
Suppose 4*d = 4*l - 44000, 5*l - 4*l = -3*d + 10972. Is l a multiple of 161?
False
Suppose 0 = -2*i + 6*a + 2502, -2*a = -i + 1699 - 447. Does 19 divide i?
True
Let x = 2082 + -1220. Does 23 divide x?
False
Let u(t) be the second derivative of t**4/12 - 4*t**3/3 - 35*t**2/2 - 20*t. Let s be u(11). Does 14 divide (6 - (2 + s))/((-16)/(-120))?
False
Suppose l + 3*c - 6447 = -2*c, -4*c = -12. Does 6 divide l?
True
Suppose 2*c - 47486 = -2*r, -2*r - 3*c + 7700 + 39791 = 0. Does 11 divide r?
True
Let i = -119 - -102. Let t(k) = -2*k + 15. Let m be t(i). Does 12 divide (368/14 - 1) + (-14)/m?
False
Suppose -5*i = -89 - 26. Suppose 2*z = -4*d + 30, 6*z + i = 3*d + 7*z. Is d a multiple of 2?
True
Suppose 57*x = 66*x - 36. Suppose 2*b + 18 = 3*h, -x*b + 52 = 15*h - 10*h. Is h a multiple of 4?
True
Let q(u) = 20*u**3 - u**2 + u - 6. Let b be q(3). Let d = b + -184. Let z = -24 + d. Is 32 a factor of z?
True
Let m = 215 + -213. Suppose -4*w - y = -2204, -2*w + m*y - 314 = -1426. Is w a multiple of 23?
True
Let s(y) = y**3 + 3*y**2 - 24*y + 8828. Is s(0) a multiple of 11?
False
Let k = 1203 + -303. Is (k/(-40))/((-9)/6) a multiple of 3?
True
Is (-5 - -24320)/(55 + -50) a multiple of 54?
False
Suppose 4*s + 2*u = 50 + 20, -5*u = 5*s - 85. Suppose 44*a - s = 41*a. Suppose -a*b = -1246 - 230. Is b a multiple of 15?
False
Let r(c) = -10*c + 28. Let q(f) = -f + 1. Let m(k) = -4*q(k) - r(k). Suppose 199*b - 203*b = -24. Is 13 a factor of m(b)?
True
Let q = 329 - 335. Let r(z) be the third derivative of -z**6/120 - z**5/10 - 5*z**4/24 - 3*z**3/2 - 3*z**2. Is 7 a factor of r(q)?
True
Let z(n) = 125*n + 132*n - 10 + 1 - 240*n. Let y be (-1)/((1 + 0)/(-7)). Is z(y) a multiple of 15?
False
Suppose 3*m + 12 + 0 = 0. Let v be -24*(0 + m/(-8)). Is v/(-15)*(-30)/(-12) a multiple of 2?
True
Let w(n) be the third derivative of n**5/10 + 5*n**4/12 + 5*n**3/6 + n**2 - 22*n. Does 6 divide w(-5)?
False
Let x = 2027 + -1129. Does 2 divide x?
True
Let s = -59 - -44. Let x = s - -16. Does 15 divide (-1*(-1 - 0))/(x/41)?
False
Is (2*-198)/(126/(-4284)) a multiple of 33?
True
Suppose -4*l + 735 = -5*z, l = -3*z - 0*l - 424. Let r = z + 238. Let x = 146 - r. Does 17 divide x?
True
Suppose 1317 = -6*r + 7*r + 2*r. Does 3 divide r?
False
Let j be (8/12)/((-2)/(-6)). Suppose 147 + 189 = j*w. Suppose -5*y + w = -2. Does 4 divide y?
False
Suppose -24*f + 37174 + 23765 = -18309. Is 13 a factor of f?
True
Let t(r) = -980*r**3 - 3*r**2 - 2. Does 15 divide t(-1)?
True
Let r(p) = 18*p**2 + 1 + 31*p**3 + 33*p - 32*p**3 - 4. Is r(18) a multiple of 6?
False
Let c = 235 - 90. Suppose -c*w + 143*w = 4*v - 5446, -5*w = v - 1384. Does 9 divide v?
True
Suppose 0 = d + 2*x + 15 - 7, 2*d - x - 4 = 0. Suppose 5*h - 2*v - 2860 = d, -2*v = 2*h + 2*h - 2270. Is h a multiple of 24?
False
Let s(l) be the first derivative of -l**2 - 31*l - 13. Let h be s(-18). Suppose 0 = 4*k + i - 468, -h*k - 3*i + 468 = -k. Is 13 a factor of k?
True
Let w = -115 - 31. Let y = 58 + w. Is 21 a factor of 4 + -3*y/6?
False
Let i = -2 + -5. Let d(o) = -12*o + 4 + 12 + o. Is 11 a factor of d(i)?
False
Let k(o) be the first derivative of o**4/4 - 2*o**3 + 13*o**2/2 - 11*o - 69. Suppose -x + 2*x - 5 = 0. Does 19 divide k(x)?
False
Let l = 285 + -289. Does 14 divide ((-4)/l)/(((-20)/(-1616))/5)?
False
Suppose -3*j + 6*j = 5*j. Suppose -19*g - 19*g + 5016 = j. Is 12 a factor of g?
True
Does 29 divide -4 - 7 - (6 - 5) - -9692?
False
Let g(l) = l**2 - 2*l - 3. Let p be g(3). Suppose -7*f + 273 + 70 = p. Let j = f + -37. Is j a multiple of 4?
True
Let b(p) = p**2 - 18*p + 14. Let k be b(17). Let d be -4 + 1/(k/(-201)). Suppose 19 = -s + d. Is s a multiple of 22?
True
Let x(h) = -5*h + 2. Let t(r) = 3*r - 1. Let l(q) = 8*t(q) + 5*x(q). Let i be l(1). Is 66*(3 - 2)/i a multiple of 11?
True
Let q be -12 + 10 + 10*1. Let g(y) = -y**2 + 14*y - 22. Let s be g(q). Suppose 340 = 30*f - s*f. Does 10 divide f?
False
Let v(p) = 4*p**3 + 11*p**2 + 8*p + 7. Let t(w) = w**3 + w**2 + 1. Let h(n) = -3*t(n) + v(n). Suppose -j = -5*j - 20. Is 13 a factor of h(j)?
True
Suppose -4729*g + 4709*g = -1880. Let n(s) = 44*s + 5. Let u be n(4). Let j = u - g. Is j a multiple of 4?
False
Suppose -4*a - 154 = -d, 2*d - 8 = -2*d. Let c = 43 + a. Let b(f) = 2*f**3 - 8*f**2 + 2*f + 7. Does 7 divide b(c)?
False
Let k(b) = 35*b - 538. Let o(z) = -18*z + 270. Let q(t) = -2*k(t) - 5*o(t). Does 40 divide q(49)?
False
Let m = -17458 - -21092. Does 10 divide m?
False
Let f(y) = -12*y - 24. Let q = -74 - -65. Let o be f(q). Suppose 0 = 81*t - o*t + 9. Is t a multiple of 3?
True
Let f(t) = -t**2 + 9*t + 5. Let w = 116 - 69. Let i = w + -41. Does 15 divide f(i)?
False
Let n be (-5)/(-15) + (16/6)/1. Let g(k) = 8*k**2 + k + 3. Let o be g(n). Suppose 2*x + 5*r = o, 3*x + 2*r = 9 + 97. Is 13 a factor of x?
False
Let g(r) = 122*r + 2 + 138*r**2 - 3 - 113*r. Let j(t) = -207*t**2 - 14*t + 1. Let q(l) = 8*g(l) + 5*j(l). Is 17 a factor of q(1)?
True
Let f = 197 - 290. Let l be 6*(-2 + 135/10 - 0). Let v = l - f. Is v a multiple of 27?
True
Let k(m) = 2*m**2 + 112*m + 324. Let n be k(-3). Suppose 2*p + 3*t = 2*t + 2883, -5*p + 4*t + 7188 = 0. Suppose -11*i + n*i = -p. Is i a multiple of 48?
True
Let r(z) = 8*z + 5. Let s be r(-5). Let f be 23/9*(-189)/21. Let a = f - s. Is 12 a factor of a?
True
Let h(p) = 4*p**2 - 36*p + 687. Is h(-31) a multiple of 144?
False
Let h = -2502 - -3192. Does 20 divide h?
False
Suppose -4*b + 2*b = p + 191, 480 = -5*b - 5*p. Let l = 173 + b. Is 53 a factor of l?
False
Let z(b) = -b**3 + 23*b**2 - 6*b - 2. Let h be z(24). Does 14 divide 6/(-15) + h/(-5)?
False
Suppose -j - 2*j = -4*z - 17, 4*z = 2*j - 18. Let n be (2/j)/((-34)/51). Suppose -2*k = 3*s + n*k - 543, 0 = -4*s - k + 707. Does 26 divide s?
False
Suppose 33*o = -13*o + 433458. Is 12 a factor of o?
False
Let p(u) = u**3 + 14*u**2 - 19*u - 31. Let a be p(-12). Suppose -21*t = -2690 + a. Is 7 a factor of t?
True
Let i(l) = -2*l**3 + 13*l**2 - l - 6. Let y be i(6). Is y - ((-6)/21 - (-9)/7) a multiple of 23?
True
Suppose -5*x + 0*x + 45 = 0. Let r be 13/5 - (-170)/425. Suppose -a - r*u = a - x, -a + 3*u + 27 = 0. Is a even?
True
Suppose 22*v - 21 = 133. Suppose 19*c = v*c + 8532. Is c a multiple of 10?
False
Let n = -21897 + 23178. Is n a multiple of 3?
True
Let m be (-39)/(-65) + (-2)/(-5). Let l be 1/m - (-4 - -1). Suppose -5*b + 4*d = 2*d - 447, -355 = -l*b - d. Does 12 divide b?
False
Let d(n) =