*p - 510. Does 34 divide m(85)?
True
Suppose 3*g = -0*g + 9. Let h be 9/g + (-455)/((-20)/4). Suppose -v + 81 = 2*r, -96 - h = -5*r - 5*v. Does 3 divide r?
False
Suppose 2*v + 4 = 0, 975 = -z + 5*v + 5353. Is 56 a factor of z?
True
Let f = 84 + -81. Suppose -554 = -f*w - 62. Let p = -121 + w. Is 11 a factor of p?
False
Let x(t) = 237*t - 4171. Is 134 a factor of x(47)?
True
Suppose -u = 54 - 55. Suppose 4*s = -i + 1047 + u, -2*i + 2*s = -2076. Is 41 a factor of i?
False
Let b be 78/8 - (-12)/48. Suppose 125 = -b*a + 15*a. Is 12 a factor of a + (3 - 4 - 0)?
True
Suppose 3*n + 348 = -0*n + 3048. Is n a multiple of 10?
True
Suppose 4*m - 25 = 19. Suppose -m*q + 1633 = -622. Does 41 divide q?
True
Suppose 25*z + 343 = 118129 + 98839. Is 71 a factor of z?
False
Suppose -2*t + 3*t = 2. Suppose 4*z + t*a = 8*z - 194, 3*z - 3*a = 138. Does 2 divide z?
False
Suppose -q = -5*d - 1191 + 121, -2*q + 4*d = -2164. Suppose 0 = -9*l + 19*l - q. Does 4 divide l?
False
Let z(c) = -184*c + 13748. Is z(-55) a multiple of 108?
True
Let l(o) = 144*o + 40. Let z(v) = -11*v + 26. Let b be z(2). Does 44 divide l(b)?
True
Suppose 299*g - 310*g = -20086. Does 6 divide g?
False
Suppose -3*o + 4*u - 8*u + 15197 = 0, -3*u - 10103 = -2*o. Does 8 divide o?
False
Suppose -2 - 3 = -j. Let x be (j - 2) + 1 + -134. Let k = -72 - x. Does 29 divide k?
True
Suppose 0 = -2*f - 4*b - 0 - 6, 4*f = -4*b + 8. Suppose 2*i + 2*i = -12, 0 = -5*h - i + f. Is 1 + (30 - 6/h) a multiple of 7?
True
Is ((-17940)/585)/((-58)/54 - -1) a multiple of 43?
False
Let u = -811 - -1233. Is 15 a factor of 24/(-84) - u/(-7)?
True
Suppose 0 = 558*w - 553*w - 1685. Does 37 divide w?
False
Let f = 25504 + -22705. Is f a multiple of 74?
False
Suppose -5*n - 2*p + 48 = 0, n - 18 = -3*p + 2. Suppose -n*o + 878 = -122. Is (-5)/(o/(-10))*275 a multiple of 11?
True
Suppose 0 = -5*i - 3*z - 2*z + 160, -3*i + z + 88 = 0. Is 8 a factor of i?
False
Let t = -11256 - -20188. Is t a multiple of 15?
False
Let f(n) = 2*n**3 - 16*n**2 + 16*n - 14. Let r be f(7). Let c be ((-308)/8 - 4)*(-22 - r). Suppose -2*t + 338 = -5*j, -5*j = 5*t - c + 160. Does 28 divide t?
False
Let p(t) be the third derivative of t**4/24 + 7*t**3/6 - 24*t**2 + t. Does 5 divide p(8)?
True
Let j be (-27)/2*32/24. Let h = 22 + j. Is (23 - h)/(-5 + 6) a multiple of 10?
False
Let o be 8/12 - (247/(-3) + 3). Suppose v - 9*v + o = 0. Does 10 divide v?
True
Let d be 4/2 + (-28 - -32). Is (-2)/3*((-30)/d - 22) a multiple of 5?
False
Let o(m) = m**3 + 3*m**2 + 2*m - 2. Let n be o(1). Suppose 2*x + n*p - 978 = -0*p, -4*x + 5*p = -2008. Does 28 divide x?
False
Let w = -1213 + 648. Suppose -2*k + 1 = -2*b - 5, -17*b = -4*k + 77. Is 26 a factor of (-4)/(-10)*w/k?
False
Let l(n) = -n + 8 - 2 - 5. Let y(m) = -7*m + 23. Let s(t) = 18*l(t) - 2*y(t). Is s(-12) a multiple of 4?
True
Let k be 2 + (-18)/10 + 10059/105. Suppose 0 = -5*t - x + 1000, -3*t - 3*x = -696 + k. Suppose 5*h = -c + 885, -5*h + t + 685 = -4*c. Is 40 a factor of h?
False
Suppose 0 = -y + g + 130, 3*y - 5*g - 348 = -8*g. Let j(v) = v**2 - 2. Let n be j(2). Suppose -3*q = n*r - 236, -5*q + q + y = r. Is r a multiple of 10?
False
Is (-376)/6*(-127955)/652 + 1/(-3) a multiple of 86?
True
Suppose 48 = -2*l - l. Let i be l/(-120) - 752/15. Let v = i - -66. Does 16 divide v?
True
Let c be 10/15 + 354/9. Suppose -c*y = -45*y - 680. Let p = -60 - y. Is p a multiple of 21?
False
Let v(y) = 2*y**2 - 50*y + 285. Does 109 divide v(73)?
False
Let o = -12862 + 25156. Is 120 a factor of o?
False
Let i(j) = 13*j**2 - 15*j + 13*j - 1 - 14*j**2 - 570*j**3. Is 57 a factor of i(-1)?
True
Let m(h) = -h + 17. Let z be m(4). Let l = z - -31. Is l a multiple of 22?
True
Suppose 0 = -u + 2*u - 7. Suppose -15 = -12*r + u*r. Suppose -r*f - 18 = -2*i + 28, 42 = 2*i - 5*f. Does 11 divide i?
False
Let u = 68745 - 32190. Does 15 divide u?
True
Suppose -2*y = 5*f - 13161 - 32223, 2*y - 45384 = 5*f. Is 122 a factor of y?
True
Suppose -4*i - 44*u + 45*u = -17, -u = -i + 8. Suppose -5*l = -i*s - 3595, 0 = -2*l + 5*s - 0*s + 1419. Is 38 a factor of l?
True
Let x be ((-5)/(-3))/((-3)/(-9)). Suppose x - 37 = -4*h. Let v = h + 47. Is v a multiple of 18?
False
Let i = -300 + 454. Suppose 0*w + 2*w - 3*z = -5, -13 = w - 5*z. Suppose -5*t + w*p - i = -502, 5*p - 320 = -5*t. Is 30 a factor of t?
False
Let w(h) = -h**2 - 11*h + 3. Let i be w(-15). Let n = i + 72. Suppose -10*a + 45 - n = 0. Is a a multiple of 3?
True
Let i = -239 + 241. Suppose c = m - 366, -i*m - 1114 = -5*m - 5*c. Is m a multiple of 16?
True
Suppose 19*m - 75*m = 75*m - 539196. Does 4 divide m?
True
Suppose -22 = -6*i + 2. Let p(a) = 2*a**3 - 5*a**2 + 8*a - 5. Is p(i) a multiple of 15?
True
Suppose 3*r + 17 = u - 12, -3 = r - 2*u. Let l(q) = -9*q - 59. Is 4 a factor of l(r)?
True
Suppose -3*u = 5*b + 11736, 3*u = -3*b - 0*b - 11736. Is 44 a factor of u/(-10) - (-120)/150?
False
Suppose -5*d - 26540 = -4*i, d - 7461 = -2*i + 5795. Is i a multiple of 6?
True
Let h be (-9)/((-45)/2) - (-7148)/(-20). Let u = -175 - h. Does 9 divide u?
False
Let w(v) = 5*v**2 - 12*v - 176. Is 9 a factor of w(22)?
True
Let r = -110 - -158. Suppose -53*z = -r*z - 615. Let g = -95 + z. Does 9 divide g?
False
Suppose 9*i = -130 + 148. Suppose 4*s - 229 = i*j + 97, 4*s = 3*j + 321. Does 3 divide s?
True
Suppose 14*b = 4928 + 1876. Suppose -b - 270 = -3*x. Suppose 0 = -2*q - s - 3*s + x, 3*q - 405 = 3*s. Is q a multiple of 33?
True
Let m be 42/(-77) + (-150)/(-33). Does 11 divide (-3 + (-412 - (m - 1)))*-2?
True
Suppose 5*i + 4488 = 4*c - 0*i, 0 = 4*c + i - 4512. Suppose 1525 + c = 17*o. Is 3 a factor of o?
True
Let j(n) = n**2 + 18*n + 325. Suppose 4*y - 118 = 2*c, -10*y - 137 = -15*y - c. Is 15 a factor of j(y)?
False
Is (2178/(-8))/(287/(-17220)) a multiple of 27?
True
Let h(z) = 2*z - 2. Let r(v) = -9*v + 142. Let p(f) = -4*h(f) + r(f). Is p(-6) a multiple of 18?
True
Suppose 12*r + 2402 = 11630. Suppose 2*b + 176 = 2*c - 140, -2*b + r = 5*c. Is c a multiple of 10?
False
Let f(d) = d**3 - 4*d**2 - 3*d - 10. Let o be f(5). Let c = o - 1. Does 11 divide (c - (-10 + 2))/((-5)/(-40))?
False
Suppose -2*q = 3 - 9. Suppose -5*d - o = -315, 3*d - q*o = 2*d + 79. Is 15 a factor of d?
False
Suppose 3*n = 7*n - 8. Suppose 6 = x - 6*t + n*t, -2*t + 2 = 2*x. Is 40/x - (12 - 10) a multiple of 18?
True
Suppose 2*c - 59866 = -5*b, 193*b - 198*b + 30 = 0. Is 15 a factor of c?
False
Suppose 0 = 5*p + p - 240. Is ((-12)/(-10))/(p/25)*1200 a multiple of 10?
True
Let r be ((-4)/5)/(2/5). Let f(t) = 56*t**2 - 2*t - 4. Let z be f(r). Suppose -z = -2*q - 5*n, q + 298 = 4*q - 2*n. Is 11 a factor of q?
False
Let l = -3598 + 11701. Does 24 divide l?
False
Suppose -3*a - 48 = 3*c, 12 = -c - 2*a - 0. Let q be 936/65*c/3. Does 12 divide (2/4)/((-2)/q)?
True
Suppose 84 = 35*j - 14*j. Suppose 0 = j*w - 4*r - 1844, 3*w + 458 = 4*w - 4*r. Is w a multiple of 77?
True
Suppose -53 = -3*l - o, 3*l - 2*o - 58 = 2*o. Suppose 2*b + l*k = 14*k + 208, -4*b - 2*k + 386 = 0. Is 8 a factor of b?
False
Let b = -52241 - -73262. Is b a multiple of 13?
True
Let k(s) = 4*s - 90. Let g be k(23). Is (1 - g) + (298 + -2)/2 a multiple of 19?
False
Let h(i) = 40*i + 182. Let c be h(-4). Is 28 a factor of (-12)/(-2) - (-11)/(c/1388)?
True
Suppose 5*q = 30, 7*b = 9*b - 4*q - 876. Does 25 divide b?
True
Suppose 25*j - 50*j = -86900. Is 6 a factor of j?
False
Suppose -18*d + 10*d = -336. Suppose 750 = 3*b + d. Suppose 6*u - 250 = b. Is 21 a factor of u?
False
Suppose -2*l - 4*f = -2, -17 = -l + 4*f + 2. Suppose 0*i + 14 = -5*v - 3*i, -l = v + 2*i. Does 5 divide 24/2 + (-3)/v?
True
Suppose -2*i + 1600 = 4*r, 3*i - 4*i = -4*r - 818. Does 88 divide (680/(-272))/(i/(-804) + 1)?
False
Let r(p) be the third derivative of p**5/60 + p**4/24 - 11*p**3/3 + p**2. Let h(n) = 3*n**3 + 12*n**2 + 17*n + 4. Let k be h(-2). Is r(k) a multiple of 4?
True
Let g(r) = 189*r + 646. Does 101 divide g(73)?
True
Let j = 18241 + -9393. Does 79 divide j?
True
Suppose -f - g - 49483 = -5*f, 49493 = 4*f + g. Does 11 divide (f/10 - 1) + (-41)/205?
False
Let w(i) = 3051*i**2 + 239*i + 472. Is w(-2) a multiple of 57?
True
Let u(s) = -266*s**3 + 2*s**2 - 25*s - 49. Does 14 divide u(-2)?
False
Let j be 5 - (-4)/6*-18. Let n(w) = -2*w - 9. Let z be n(j). Is (-10)/z + 1 - -103 a multiple o