u + 7. Suppose 0 = 3*m - 2*m + 7. Let b be w(m). Suppose b = 4*n - 22 - 114. Does 34 divide n?
True
Let z(u) = -32*u - 16. Is z(-5) a multiple of 12?
True
Let n = 12 - 10. Suppose 0*m - 104 = -n*m. Is 13 a factor of m?
True
Suppose 5*v - c = -0*c + 120, -2*c = -4*v + 102. Suppose 8*j - 9 = v. Is j a multiple of 4?
True
Suppose 0 = y + 5, -24 - 2 = 3*i + y. Let p = i - -11. Suppose p*q + 13 = 113. Does 8 divide q?
False
Suppose 6*r - 7*r = 5*l - 221, l - 3*r - 41 = 0. Does 16 divide l?
False
Suppose 13 + 8 = -7*d. Does 27 divide 1 - 134/d*3?
True
Let j = -20 + 25. Suppose j*y = 4*s - 159, 0*y + 2*y = -5*s + 174. Does 18 divide s?
True
Suppose -6775 = 62*p - 73177. Does 17 divide p?
True
Suppose -6 = -2*f - 2. Is 3 a factor of 4360/180 - f/9?
True
Suppose 3 - 8 = 5*t, 0 = 2*z + 5*t - 119. Is 23 a factor of z?
False
Let t be -2*(2 + -4) + 2. Is 6 a factor of 3/((-15)/t + 3)?
True
Is (-41 + 4 + -3)/(11/(-462)) a multiple of 80?
True
Suppose -5*v = 5*h + 5, 2*v + 5*h - 21 + 8 = 0. Let r = v + 12. Suppose -u - 4*y + 68 = 0, 2*u - r - 169 = 5*y. Is u a multiple of 20?
True
Suppose 7*n = 2*n + 3*w + 3705, -5*n + 4*w + 3700 = 0. Is 62 a factor of n?
True
Let c = -114 - -42. Let j be ((-45)/(-36))/((-2)/c). Suppose 0*u = -5*u + j. Does 9 divide u?
True
Let y(d) be the third derivative of 7*d**4/8 - 2*d**3/3 - 4*d**2. Let t be y(2). Suppose -22 = -4*o + t. Is o a multiple of 5?
True
Let p be (-2 - (-3 + 6))/(-1). Suppose -4*a + 3*x = -48, 4*x - 11 = p. Let l = a - 5. Is 9 a factor of l?
False
Let g(z) = z + 6. Let i(j) = -2*j**2 - j. Let c be i(-2). Let h be g(c). Suppose h = -3*k + 34 + 35. Is k a multiple of 17?
False
Let u = -133 - -270. Does 11 divide u?
False
Suppose 6*o - 1980 = -39*o. Is 4 a factor of o?
True
Let v be 7/(-7)*(2 + -2). Suppose v = -q - q + 156. Let d = -38 + q. Is 13 a factor of d?
False
Let u be 0 + -27*16/(-6). Suppose 4*n - 288 = -2*y, -n = -0*y - y - u. Suppose 0 = 3*p - 0*p - n. Is 4 a factor of p?
True
Let t = -465 - -1162. Does 17 divide t?
True
Let r be (1 + -3)/1 + 7. Let x = r + -1. Suppose -x*g = g - 190. Does 28 divide g?
False
Let j(t) = -15*t + t**2 + 10*t - 3*t**2 - 10 - 15*t. Does 4 divide j(-8)?
False
Let g = 182 + -115. Suppose 3*v - 5 - g = 0. Does 4 divide v?
True
Let c = 80 + -80. Suppose 3*j - t = 484, 5*t + 180 = -c*j + j. Is 32 a factor of j?
True
Let b(r) = -8*r - 8 - 2*r - 11*r. Let g = -301 + 297. Does 12 divide b(g)?
False
Let v be -5*(0 + (-2)/5). Suppose 0 = 3*f + v*i - 27, 4*f - 14 - 2 = 4*i. Is 2/f - 498/(-21) a multiple of 12?
True
Suppose 236 + 313 = q. Does 5 divide q?
False
Suppose 12*r + 199 = 13*r. Let q = 279 - r. Is 40 a factor of q?
True
Let g(h) = h + 4. Suppose 0 = -d + 2*d + 1. Let x be g(d). Suppose 18 = 5*y - x*y. Is y a multiple of 8?
False
Let y = 52 - 55. Does 3 divide y/(-12) + 119/4?
True
Let g(w) = 29*w - 53. Is g(10) a multiple of 6?
False
Suppose -5*o + 10*o + 3*v = 294, 4*o + v - 231 = 0. Is o a multiple of 10?
False
Let c = 6 + -10. Let n(v) = -2*v**3 - 5*v**2 + 3*v - 4. Let a be n(c). Suppose 0*w = 4*w - a. Does 2 divide w?
True
Is 3/(-8) + (-2380)/(-32) a multiple of 12?
False
Let o(d) = -10*d**3 - d. Let h be o(-1). Suppose 0 = -h*w + 15*w - 216. Is 27 a factor of (-3)/(160/w + -3)?
True
Let f = 22 + 12. Let d = f - 27. Does 2 divide d?
False
Let f = -83 - -85. Suppose 0 = -f*b + 2*i + i + 61, 4*i = b - 28. Is b a multiple of 4?
True
Let n(u) = 2*u**3 - 6*u**2 + 6*u + 6. Let i be n(6). Suppose -3*y - 4*r + 277 = 0, -r = -3*y - 1 + i. Suppose 4*d - y = 65. Is 12 a factor of d?
False
Suppose 2*g - 9 = 3. Suppose s - 2*s = g. Does 4 divide 6*2/(-9)*s?
True
Suppose 4*m + 15 = -3*p, -6*p - 5*m = -2*p + 21. Suppose 0 = -5*z - 6*z - 6688. Is 20 a factor of z/(-12) - (-6)/p?
False
Let i = 4144 + -2569. Does 20 divide i?
False
Suppose 16*u = 20*u - 16. Suppose m - n = 88, -u*n = -m - 0*n + 100. Is 21 a factor of m?
True
Let f = 189 - -130. Is 15 a factor of f?
False
Let a be 548*1/(-13) + 2/13. Does 24 divide (-333)/(-7) - 18/a?
True
Suppose 4*r - 3*z - 17 = 2*z, -r - 1 = 4*z. Suppose -2*o + 140 = -3*s, 5*o + 53 = -r*s + 361. Is 12 a factor of o?
False
Is 52 a factor of 44/539*7 - (-7276)/7?
True
Let l(u) = -u**3 + 23*u**2 - 13*u - 78. Is 101 a factor of l(17)?
False
Suppose 13 = 9*j - 14. Suppose -m - 2*m + 718 = 4*w, j*m - 736 = 5*w. Does 22 divide m?
True
Suppose -4*d - 42 = -11*d. Suppose -29 = d*h - 101. Is h a multiple of 3?
True
Suppose -6*w + 4*w + 340 = 2*u, 0 = 5*u - 10. Suppose i = 5*i - w. Let j = -26 + i. Is j even?
True
Let d(h) = -2*h**3 - 17*h**2 + 17*h - 22. Is 9 a factor of d(-10)?
True
Suppose -2*i + 40 = 32. Does 23 divide i*1*-1 + 11424/112?
False
Suppose z - 3 = 0, -50 = -0*y - 4*y - 2*z. Let g = 83 - y. Is 12 a factor of g?
True
Suppose b + 2 = 5*r - 3, 4*b = -5*r + 5. Suppose b = -4*t - 5*t + 2214. Is 13 a factor of t?
False
Suppose -2*k - k + 9*k = 0. Suppose k = -x + 5*x - 28. Is 6 a factor of x?
False
Suppose -6*v + 7*v = 0. Suppose v*a + a = 5. Suppose 3*y = 5*d - y - 81, -3*d + 59 = -a*y. Does 11 divide d?
False
Let v(g) = g**3 + 7*g**2 - 16*g - 13. Does 28 divide v(-6)?
False
Let q = 484 - 243. Is q a multiple of 34?
False
Let d(x) = -x**2 - 9. Let w be d(0). Let m = 9 + w. Suppose m = -y + 48 - 7. Does 15 divide y?
False
Let r = -1216 + 2185. Is 19 a factor of r?
True
Suppose 2*p + 6 = 4*t, 3*t - 4*p + 0 - 2 = 0. Let j be (9/t)/3*14. Is (266/j)/((-2)/(-15)) a multiple of 19?
True
Suppose 6*s - 10*s = 0. Suppose -4*l - 326 = -s*l - 3*p, 4*l = -3*p - 314. Let w = l - -113. Does 11 divide w?
True
Let p(z) = z**3 - z + 34. Let d be p(0). Suppose q - 84 + d = 0. Suppose 5*i - q = -0*i. Is i a multiple of 6?
False
Let h = 250 + 156. Is 58 a factor of h?
True
Let j(w) = 39*w + 26. Let g be j(11). Suppose g = 8*k - 3*k. Is 29 a factor of k?
False
Let i(x) = 3*x - 1. Suppose 2*g = -3*h + 15, 5*g + h - 15 = -2*h. Suppose 2*f - 1 = 5*q + 4, g = -2*f + 3*q + 7. Is i(f) a multiple of 6?
False
Let t be (105/(-25))/(0 + (-1)/5). Is 3 a factor of ((-9)/(-5))/(t/70)?
True
Suppose d = -2*q + 66 + 239, -d = q - 153. Suppose -u + q = u. Let z = 160 - u. Is z a multiple of 15?
False
Suppose 81*l + 2*c + 4618 = 84*l, -3*l + 4614 = -3*c. Is l a multiple of 11?
False
Let o(g) = 2*g - 2*g + 40 + g. Does 4 divide o(-21)?
False
Suppose 0 = 3*m + 15, -14 = -k - 3*m + 4*m. Suppose 0 = -4*u - 1 + k. Suppose l + 3*b - 4 + 10 = 0, 0 = -u*l + 5*b + 43. Is 3 a factor of l?
True
Let m(f) = 2*f**2 + 3*f - 7. Let y be m(-3). Suppose -l - y = -4. Is l even?
True
Let m(b) be the first derivative of -b**4/4 - 2*b**3 - 17*b**2/2 - 13*b - 26. Does 20 divide m(-7)?
False
Suppose 0 = -2*q - 21 + 25. Does 30 divide q - (942/(-8) - (-17)/(-68))?
True
Let z(a) = a**2 + a - 4. Let w(u) = -u**2 + 9*u - 14. Let m be w(6). Suppose 0 = -m*q - 2*q + 24. Does 16 divide z(q)?
True
Let l(n) = -n**2 + n + 2. Let d be l(2). Suppose -5*y + 2*f = 328, d = -y + 2*f - 103 + 39. Let v = 6 - y. Does 24 divide v?
True
Let q(h) = -11*h**2 + 4*h - 3. Let w(b) = -10*b**2 + 5*b - 4. Let m(l) = -5*q(l) + 4*w(l). Suppose -2*t - 2 = g, 0 = -5*t + 2*g - 5. Is m(t) a multiple of 7?
True
Let k(h) = -h**2 + 71. Let i(z) = z**2 + 9*z + 3. Let x be i(-9). Suppose -5*b = x*y + 15, -2*b = -3*y + y + 6. Is 16 a factor of k(y)?
False
Suppose 3*y = j - 2*j + 45, -4*j + 2*y = -124. Does 3 divide j?
True
Suppose 3*j - 10 = j. Does 30 divide 12*j/2*4?
True
Let q(s) = -s + 7. Let c be q(7). Let i be 3 - -14 - (0 + c). Suppose b + b = 3*n + i, -4*n = 3*b. Is b a multiple of 3?
False
Let g be (3 - (1 - -2)) + 3 - 7. Is (-2766)/(-54) - g/(-18) a multiple of 17?
True
Let d = 44 - 39. Suppose -2*t - b + 161 = 0, -t = -d*t - b + 321. Is t a multiple of 20?
True
Is (-4921)/(-38) + 1/2 a multiple of 13?
True
Suppose 4*z + 7 = -2*m - m, -5*m - 5*z = 5. Let b = -25 - -45. Suppose -5*g + m*u + 12 = -23, 0 = -4*u + b. Does 5 divide g?
True
Suppose 3*f = a - 256, 3*a + 0*f + f - 798 = 0. Does 53 divide a?
True
Let n(y) = y**3 + 14*y**2 - 2*y - 5. Does 4 divide n(-14)?
False
Let g(s) = -3*s**2 + 3*s + 8. Let u(p) = p**2 - p - 3. Let v(q) = -6*g(q) - 17*u(q). Let m(z) = z**2 + 5*z + 5. Let j be m(-5). Is v(j) a multiple of 10?
False
Let f(u) = 5*u**2 + 17*u - 33. Is 6 a factor of f(4)?
False
Suppose 0 = -2*v + 4 + 50. Suppose 0 = -5*i - 22 + 252. 