ppose -2*g - 2*g + 44 = 0. Let m be 35 - (30/6 + -5). Suppose 4*l + 3*p - g = m, 2*p + 17 = l. Is l a multiple of 2?
False
Let t = 209 - -483. Does 5 divide t?
False
Let n = -1 - -1. Suppose -f + 524 = 5*j, j + 4*f - 8*f - 88 = n. Is 5 a factor of j?
False
Let x(j) = 5*j - 45. Let f be x(10). Suppose -4*s + 212 = 3*w - 5*s, f*s = 4*w - 268. Does 12 divide w?
True
Let c(w) = -2*w**2 - 16*w - 31. Let b be c(-11). Let i = b - -218. Does 13 divide i?
False
Let c = 15 - 8. Let y = c + -3. Suppose 0 = -y*x + 5*x - 32. Does 16 divide x?
True
Suppose -i + 732 = -3*a, -3*a + 4 = 1. Is 21 a factor of i?
True
Let w be (-77)/33 - 1/(-3). Let p be ((w + -2)/(-2))/2. Suppose -v - p = 5*k, 2*v - 15 = 5*k + 13. Is 3 a factor of v?
True
Let q(p) = 2*p**3 - 12*p**2 - 13*p - 2. Let i be q(9). Suppose 93 = 4*j - i. Suppose j = 4*d - 17. Does 12 divide d?
False
Suppose 117 = 4*m - o, -4*m + 51 = -2*m + o. Is 16 a factor of m?
False
Let v = 36 + -47. Let y(b) = -8*b - 13. Is 15 a factor of y(v)?
True
Let v(t) = -t - 13. Let c be v(-15). Suppose c*s - m = 273, -2*s + 375 - 101 = -2*m. Suppose -18*d + 14*d = -s. Is d a multiple of 16?
False
Let c = 349 + -307. Does 3 divide c?
True
Let v(i) = 6*i**3 + 5*i**2 + 5*i + 6. Let z be v(-3). Let h = 81 - z. Suppose 3*x + 5*m = 141, 5*x - m = -0*m + h. Does 14 divide x?
True
Suppose 0 = -30*k + 30516 + 6924. Does 39 divide k?
True
Let j be 490/(-18) - 10/(-45). Is 9 a factor of (j/(-6))/(1/2)?
True
Let d(y) = 2*y + 3. Let r be d(2). Suppose -2*s + 2 = -r*s + 3*h, 5*h = 5*s. Is (-56)/(-12)*s*-9 a multiple of 16?
False
Is 13 a factor of (-2*1/4)/(1/(-482))?
False
Suppose -13*s = 5*s + 108. Is 3 a factor of 1/(4/(-1416)*s)?
False
Let o = -6 + 2. Let p be 60/(-10)*o/6. Does 16 divide 2*-44*(-2)/p?
False
Suppose 58 = 16*m - 54. Does 13 divide 1907/m + 99/(-231)?
False
Suppose 5*k - 1 = 2*s + 4, 0 = -3*k - 3*s - 18. Let o(n) = -3*n**2 - 1. Let h be o(k). Is 13 a factor of h/(-14) + 180/7?
True
Let k be 36/(-10) + (-1)/(-5)*3. Is 17 a factor of 66 + -1 + k + 6?
True
Suppose -w - 2 = -2*w - 5*z, 0 = -3*w - 5*z + 16. Suppose 3*i + w = 58. Let b = 42 + i. Is b a multiple of 10?
False
Let a(b) = 47*b**2 + 5*b + 40. Is a(-5) a multiple of 7?
True
Let y = 158 + -77. Let s = 177 + y. Is s a multiple of 43?
True
Let s = 63 - 61. Suppose -m = s*m - 417. Is m a multiple of 18?
False
Let r(n) = n - 1. Let s = 3 + 9. Suppose 0 = v - 3*v + s. Is r(v) a multiple of 3?
False
Let r(l) = -l. Let a(p) = -64*p - 2. Let d = 15 - 14. Let t(s) = d*r(s) - a(s). Is t(1) a multiple of 14?
False
Suppose 0*w - 3 = 3*w, -21 = -v + 4*w. Let o = v - 15. Suppose 4*l = 2*i + 36, l - 5 = o*l - 4*i. Is l a multiple of 3?
False
Let w(d) = 4*d**2 - 4*d - 2. Let y(t) = t**3 - t**2 + t + 1. Let h(m) = w(m) + 2*y(m). Let v be h(1). Is ((-35)/20)/(v/(-56)) a multiple of 15?
False
Suppose 0 = 6*u - 5*u - 44. Is 16 a factor of u?
False
Let o(q) = -6*q + 2. Let j(n) = 23*n - 8. Let k(b) = -2*j(b) - 9*o(b). Is 35 a factor of k(9)?
True
Let r(v) = v**3 - 9*v**2 - 7*v - 12. Let f be ((-10)/(-15))/((-2)/(-15)). Let k be (-2)/f - 260/(-25). Does 18 divide r(k)?
True
Let y(r) = 9*r + 38. Let f be y(-4). Suppose 2*w = 3*s - 1142, -4*w + 0*w + 740 = f*s. Is s a multiple of 54?
True
Suppose -3*u = -8*u - 4*g, -2*g + 10 = 5*u. Suppose -u*w - 2*f + 656 = -5*f, 2*f = 5*w - 813. Is 23 a factor of w?
True
Suppose -149*v + 155*v = 1680. Is 20 a factor of v?
True
Let r(b) be the first derivative of 2*b**2 + 13*b + 4. Is r(7) a multiple of 15?
False
Let n(w) be the first derivative of 14*w**3/3 - w**2 - w + 3. Suppose 0*o = 5*o - 10. Is n(o) a multiple of 17?
True
Suppose 2*p - 3*w = w + 32, -4*p - 2*w + 44 = 0. Suppose -p*q = -13*q + 6. Is q a multiple of 6?
True
Let r be -2 + (-8)/(3 - 5). Suppose -2*x = 3*g - 36, 3*x - g + r*g - 40 = 0. Is 12 a factor of x?
True
Suppose -3*a - 306 = -n, 349 + 253 = 2*n - 4*a. Does 33 divide n?
False
Let f = 10 + 237. Is f a multiple of 62?
False
Let h(s) = s**2 - 11*s - 5. Let y be h(12). Let d(o) = -y - 5*o + 4 - 3*o. Is d(-6) a multiple of 15?
True
Let o(t) = t**3 - 2*t**2 - 2*t + 1. Let b be o(-2). Let j(y) = y + 34. Is 6 a factor of j(b)?
False
Let l = -61 + 26. Is (-5)/l - (-2328)/21 a multiple of 21?
False
Suppose 4*u = -5*g + 6*g + 10754, 2*u + 3*g = 5370. Is 108 a factor of u?
False
Let k = 1173 - 813. Suppose 7*o + k = 12*o. Does 11 divide o?
False
Let p(d) = 3*d**2 - 4*d + 2. Let s be p(5). Let o = s - 33. Is o a multiple of 12?
True
Let w(z) = 2*z**2 + 11*z + 13. Suppose c + 5 = -m - 3, -2*m - 5*c - 13 = 0. Is w(m) a multiple of 9?
False
Suppose 19 = 4*t + 3, -3*t + 2468 = c. Does 12 divide c?
False
Let r be ((-2)/6)/((-1)/6). Let k(t) = r - 4 + 4 - 1 - 5*t. Is 2 a factor of k(-1)?
True
Let f be (-10)/(1*(-4)/10). Suppose -10 = -7*y + f. Is y a multiple of 4?
False
Let v be -1 + -3 - (4 - 348). Let i = 623 - v. Suppose -77 - i = -5*k. Does 12 divide k?
True
Let x = 3371 + -2334. Is x a multiple of 8?
False
Let w(g) = 30*g - 12. Let z be w(-4). Let b = 230 + z. Is b a multiple of 14?
True
Let l(r) = -2*r - 8. Let z be l(-6). Suppose z*j = -j + 15. Suppose j*c - c = 16. Is 4 a factor of c?
True
Suppose 20 + 88 = 4*b. Let i = b - 17. Is i a multiple of 5?
True
Let v(z) = 4*z**3 - z**2 - 1. Let s be v(3). Let o be ((-885)/30)/((-1)/(-2)). Let p = o + s. Is 13 a factor of p?
True
Suppose -2*k + 5 + 3 = 0. Suppose -m + 5*q = 4, 3*m - k*m - 5*q = -26. Is 3 a factor of m?
False
Suppose 0 = -4*n + p + 13, 3*p + 2*p = 4*n - 17. Suppose 4*q = 3*s + 75, -n*q - 3*s + 25 = -26. Is (-2)/3 + 696/q a multiple of 12?
False
Is (-2)/(-2)*-5*(-6853)/89 a multiple of 25?
False
Is 58 a factor of (-4 - (-28)/21)/(6/(-2871))?
True
Let v(q) = -239*q**3 - 5*q**2 - 4*q. Suppose -8 + 0 = 8*p. Is v(p) a multiple of 34?
True
Suppose 0 = t - 3. Let f(r) = 18*r + r**t - 4 - 4*r**2 - 4*r**2 - 10*r. Is f(8) a multiple of 11?
False
Suppose -6*b - 968 = -12224. Is 28 a factor of b?
True
Let z(l) = -2*l - 9. Let t be z(-6). Suppose -5*s + p + 100 = -191, -5*s - t*p = -307. Is 38 a factor of s?
False
Let t be 328/(-18) - 22/(-99). Is (3 - t - 0) + -4 a multiple of 6?
False
Let b(x) = -x**3 + 12*x**2 + 29*x + 25. Is 6 a factor of b(13)?
False
Does 2 divide 2372*(-1 - 25/(-20))?
False
Let b = -806 - -1531. Suppose -b = -5*v + 4*k, v + 2*v = -k + 435. Suppose -v = -17*l + 12*l. Does 15 divide l?
False
Suppose 3*p - 436 = -3*h + 2*h, 5*p + 3*h - 720 = 0. Is 15 a factor of p?
False
Suppose 3*c - 14 + 5 = 0. Suppose 5*j + 104 = c*w - 0, -4*j + 68 = 3*w. Is (-7 - -2)*w/(-7) a multiple of 7?
False
Let s(h) = -2*h**3 - 25*h**2 - 16*h - 12. Let z = -3 - 9. Is 13 a factor of s(z)?
False
Suppose 0 = 4*g - 8 + 4. Suppose -g + 19 = 2*v. Let h = v + -3. Does 6 divide h?
True
Suppose m - 11*m = -5580. Is m a multiple of 18?
True
Let r = -87 - -221. Let g be 12/18 - r/(-6). Suppose 227 = 3*l + g. Is l a multiple of 17?
True
Let m(y) be the second derivative of -2*y**3/3 - 3*y**2 + 6*y. Suppose 15 = -5*l + 5*o - 5, 16 = -l - 2*o. Is 5 a factor of m(l)?
False
Suppose 0*a - 6*a + 9468 = 0. Is a a multiple of 13?
False
Let g(z) = -z - 3. Let j be g(-3). Let i be (-1 + 2)*(1 + 3). Suppose j = r - i*r + 42. Is r a multiple of 7?
True
Suppose -69 = -7*s + 113. Is 13 a factor of s?
True
Suppose -b = 5*v - 219, 4*v = 6*v - 10. Suppose 163 + b = 3*s. Does 6 divide s?
False
Let q(w) = -19*w - 3. Let k be q(-2). Suppose 0 = -8*l + 11 + 5. Let h = k + l. Does 12 divide h?
False
Suppose 3*i - 53 = 37. Suppose -2*u - i = -4*u. Does 3 divide u?
True
Suppose 180 = 4*b + 24. Let s = b - 36. Suppose -4*k = -s*k - 21. Does 14 divide k?
False
Let i = -2 - 5. Let l(k) = k**3 + 7*k**2 - 3*k - 6. Does 10 divide l(i)?
False
Let w be (9/(-2))/((-5)/70). Suppose 5*a - 126 = -3*b, -2*a + w - 3 = -2*b. Suppose -a = -3*l + 42. Is l a multiple of 23?
True
Suppose 3*j = -15, -14*h - 4*j = -9*h - 2080. Is 4 a factor of h?
True
Suppose -45 = 3*o + 39. Does 5 divide ((-34)/8 + 3)*o?
True
Let a be (76/(-12))/(3/(-18)). Suppose 13 = -5*i + a. Suppose -5*m + 194 = -2*x + x, -2*m = -i*x - 73. Is m a multiple of 13?
True
Let d(g) = -14*g + 5. Let q be d(-5). Suppose -4*z - 3*c = -z + 57, 0 = -5*z + 5*c - q. Let j = z - -56. Is 20 a factor of j?
False
Let z = 43 - 41. Suppose z*k + 137 = 4*l - 391, 0 = -k. Does 29 divide l?
False
Let