*d**2 - 24 + 3*d**3 + 2*d**3 + 30 - 6*d**3 - d + 17*d. Does 10 divide u(-7)?
True
Suppose -5*s = 3*h - 5, h - 4*s = 6*h - 4. Suppose h*m - 1449 = -3*m. Is 69 a factor of m?
True
Is (36/(-30))/2 - (-147)/70*4526 a multiple of 108?
True
Suppose -5*m - 2527 = 2*u, -5*m = 5*u - 0*m + 6280. Let v = -783 - u. Is 18 a factor of v?
True
Is ((-84 - -184)*193/2)/2 a multiple of 4?
False
Suppose 3*f = 5*c - 39965, -4*c + 60*f + 31970 = 58*f. Is 34 a factor of c?
True
Suppose 69*y = 23*y + 116610. Is 13 a factor of y?
True
Suppose -g - 3*c + 1843 = 0, 2281 = g - 5*c + 446. Is 40 a factor of g?
True
Suppose 2*u - 10329 = -2*t + 15579, -5*u + 2*t = -64812. Is u a multiple of 144?
True
Let p = -117 - -183. Suppose -3*f - p = 5*s + 16, -4*f + 4*s = 120. Let c = f + 43. Does 7 divide c?
True
Let k(j) = 2*j - 41. Let l be k(22). Suppose 3*u = -u - 3*d + 937, 0 = -l*u - 3*d + 702. Does 23 divide u?
False
Let p be (-14)/(-63) - 33988/18. Let w = -1205 - p. Is 19 a factor of w?
False
Suppose -183*i + 40165 = -178*i - 5*z, 0 = -2*z - 2. Does 34 divide i?
False
Let b(j) = -5*j**2 - j + 40. Let h(u) = -6*u**2 - u + 43. Let d(f) = 7*b(f) - 6*h(f). Does 7 divide d(-11)?
True
Let v be (3 + 1)/(15/30). Suppose -6*s + 5*s + v = 0. Is s/(-12)*(-1 - 35) even?
True
Suppose 9*q - 21 = 6. Suppose f - 21 = -q*b - 2*b, 2*f = -b - 3. Is 55 + 8/f + 3 a multiple of 28?
True
Suppose 10*i = 18*i - 24. Does 5 divide -1 - (-8 + 3) - (i + -73)?
False
Is 24 a factor of ((-3099)/(-9) - -9)/(291/72 + -4)?
False
Let v(m) = -m + 6 + 21*m**2 - 2 + 4 + 0 + 4*m. Is 9 a factor of v(3)?
False
Let k = 2551 - -3249. Is 50 a factor of k?
True
Suppose 2*b - w = -24, 5*b - 2*w + 66 = 8. Let f = -7 - b. Suppose 12 = -f*o, -2*r + 316 = -2*o + 3*o. Is 18 a factor of r?
False
Suppose 0 = -6*a + 7*a + 6*l - 9112, -36535 = -4*a + 5*l. Is a a multiple of 121?
False
Let o = 59 - 49. Suppose -16*y = -21*y + o. Suppose -1204 = -9*b + y*b. Is b a multiple of 43?
True
Let f(h) = -492*h + 40. Suppose -7*z + 77 = 84. Is f(z) a multiple of 20?
False
Does 20 divide -11*(-2502)/(2/(-20) - (-168)/80)?
False
Let l(w) = -2*w**3 + 13*w**2 + 16*w + 9. Is l(-13) a multiple of 136?
True
Let o = -428 + 4197. Is o a multiple of 4?
False
Let q = -988 + 988. Let w(o) = o**3 + 5*o**2 - 2*o + 1290. Is 55 a factor of w(q)?
False
Let k(p) = -10*p - 44. Let d be k(-5). Suppose 4*w + 620 = 8*w. Suppose d*i + 35 - w = 0. Is i a multiple of 7?
False
Suppose -70*h + 31411 = -0*h - 163329. Does 10 divide h?
False
Is ((-2)/(-6) - (-13135365)/1458) + 1/2 a multiple of 66?
False
Let s(h) = 58*h**2 - 2*h**3 + 24 - 34*h**2 + h**3 + 0*h**3 - 24*h. Let g be s(23). Is (-2 + (-21)/(-9))/(g/435) a multiple of 13?
False
Let f(t) = 16*t - 10. Let c be f(0). Does 11 divide (-2)/c - (-7 + 4896/(-45))?
False
Suppose 4*f = 7*b - 8*b - 417, 0 = 2*b - 4*f + 870. Is 5 a factor of 5/((-4)/(-4)) - (-1 + b)?
True
Let q = -106 + 205. Suppose -q*k = -103*k + 380. Let c = k + 56. Does 41 divide c?
False
Let p = -22 - -22. Suppose p = -29*r + 27*r + 4. Is 12 a factor of (-12)/3 + 5 - (-46)/r?
True
Is 12/(-22)*(-239184)/144 a multiple of 46?
False
Let d be (3 + 10/(-5))*0/1. Suppose w - 1 = -0*w, 3*h - w + 286 = d. Let k = -43 - h. Is 26 a factor of k?
True
Let h be 340/(-17)*-1*14. Is 14 a factor of ((-144)/20)/((18/h)/(-3))?
True
Suppose 3*q = 9, 5*g + q - 9661 = -2683. Suppose g = -2*x + 5*x. Does 31 divide x?
True
Let f = 546 + -397. Let j = f + 269. Is 11 a factor of j?
True
Let x(u) = 19*u - 138. Let a be x(21). Suppose -3*w = -3*h + a, -2*h - 5*w + 180 = 27. Is 15 a factor of h?
False
Suppose 4*z + 7*s - 5*s + 1192 = 0, -881 = 3*z - 5*s. Let b = 349 + z. Is 4 a factor of b?
True
Suppose -11*v + 53*v = 13440. Suppose 0 = 33*a - 29*a - v. Is a a multiple of 5?
True
Let h be (-1 - (-6)/5) + (-112)/35. Is 5 a factor of (-631)/h*-1*(-4 + 1)?
False
Is 5 a factor of 6/(-4)*(13 + 2406/(-18))?
False
Let l(i) = 76*i + 1158. Is l(42) a multiple of 58?
True
Let g(x) = -10*x**2. Let v be g(-1). Let b(y) be the second derivative of y**4/12 + 4*y**3/3 + 8*y**2 + 926*y. Is b(v) a multiple of 12?
True
Suppose -6 - 27 = -11*v. Let u(q) = q**2 - 2*q + 2. Let r be u(2). Suppose 2*k - 6*f + v*f - 151 = 0, 4*f = r*k - 156. Does 10 divide k?
False
Let q(p) = -3 - 2*p + 6 + 15*p. Let d = 1314 - 1308. Is q(d) a multiple of 27?
True
Let w = -208 + 213. Suppose -6*q + 5*q + 4 = 0, w*n + 4*q = 2026. Does 10 divide n?
False
Suppose -225*t + 565108 + 406667 = 0. Is 7 a factor of t?
True
Let s = 30 - 14. Suppose 86*o + s = 90*o. Is 9 a factor of (162/o)/(0 + 3/4)?
True
Let q be 6/((-24)/10)*2. Let y be (18/(-10))/3*q. Does 13 divide 3145/34 + y/(-2)?
True
Suppose -2*g + 289 + 523 = 2*m, g = 5*m - 2006. Does 72 divide m?
False
Let z be ((60/(-8))/(-3))/((-1)/12). Is (-1 - z/9*3) + -2 a multiple of 7?
True
Suppose -8*u + 9*u = -4*j + 5, 3*j + u = 4. Is 19 a factor of -14 + 15 - (-128)/j?
False
Suppose 0 = -2*z - 14, -17*l - 4*z = -15*l - 6916. Does 16 divide l?
True
Let k = -2980 - -4915. Is 45 a factor of k?
True
Let q(o) = -13*o**3 - 55*o**2 - 20*o + 76. Let k(c) = -4*c**3 - 18*c**2 - 7*c + 25. Let x(f) = 7*k(f) - 2*q(f). Is x(-10) a multiple of 27?
True
Suppose 6*l + 8*l + 84 = 0. Does 22 divide ((-2 + -1)*-1)/(l/(-186))?
False
Suppose -q + 24 = 2*q. Let s = 22336 - 23043. Is 18 a factor of (-2)/(q/(-2) + (-2814)/s)?
False
Suppose -z - z + 10 = 0. Suppose 0 = -0*i + z*i - 1375. Suppose -3*d + i + 253 = 0. Is d a multiple of 16?
True
Let l(y) = y**3 + 16*y**2 - 2*y + 65. Is l(8) a multiple of 2?
False
Let z(s) = s**2 + 14*s - 31. Let n(j) = j**2 - 25*j + 30. Let m be n(23). Let i be z(m). Is (-2 - -1*i)*(-52 - -39) a multiple of 13?
True
Let n(k) = -k**3 - 3*k**2 - 3*k - 5. Let q be n(-3). Suppose 0 = -q*a + 678 + 106. Does 28 divide a?
True
Let d = 63 + 97. Let f be d*(-1)/1 - (-1 + 1). Let o = f - -258. Is 7 a factor of o?
True
Suppose -53*d + 300 = -55*d. Let m = d - -264. Is m a multiple of 35?
False
Suppose 47*q + 45 = 52*q. Is 4 a factor of 240/q - (-34)/(-51)?
False
Suppose -j - 242 + 515 = 0. Does 38 divide 1710*(-7 - j/(-35))?
True
Let p(b) = -4*b**3 + 139*b**2 + 41*b - 145. Is 13 a factor of p(35)?
True
Let o(k) = 21*k**2 + 21*k - 104. Does 46 divide o(11)?
True
Let c be 2 + -1 + 6*9/(-6). Let f(k) = -18*k + 45. Does 9 divide f(c)?
True
Suppose -8*l = -15*l - 147. Let u(w) = -2*w + 47. Let x be u(l). Let o = -61 + x. Is o a multiple of 23?
False
Suppose 0 = -5*o - 2*s + 15, o + 0*o - 5*s + 24 = 0. Let r be (1/(-1) + o)*-1. Suppose f + 5*f - 210 = r. Is 6 a factor of f?
False
Let q(b) = 237*b - 243. Is q(27) a multiple of 171?
True
Let h(o) = 302*o**3 - o**2 - 4. Let u be h(2). Does 42 divide (-1)/3 - u/(-24)?
False
Let k(h) = -h**2 - 15*h + 2. Let o be k(-15). Suppose 62 + 164 = g + o*v, -v = -g + 238. Does 13 divide g?
True
Let a be 3 - 8 - ((-11 - 0) + -3). Let l be 9/3 - -5 - 2. Suppose -l*n = -a*n + 129. Is n a multiple of 23?
False
Let z(m) = 31*m + 67. Let l be z(-13). Let x = l + 721. Is x a multiple of 23?
False
Is (20 + (-868806)/(-155))/(4/10) a multiple of 15?
False
Let b(u) = 2*u + 5. Let z be b(-7). Suppose -23*w = -24*w - 5*o + 13, 4*w = -3*o + 35. Is (-18)/w*(84/z + 4) a multiple of 3?
True
Suppose 70*u + 13865 + 8885 = 0. Let h = -430 - 26. Let d = u - h. Is 24 a factor of d?
False
Let v = 28564 + -10444. Does 20 divide v?
True
Let i(v) = 69*v + 160. Let w be i(-10). Let p = w - -577. Is 8 a factor of p?
False
Let v = 1182 + -621. Is 2 a factor of v?
False
Let r(x) be the second derivative of x**4/3 - x**3/6 + 36*x**2 - 50*x. Is 33 a factor of r(-18)?
True
Let a(q) = -5*q**3 + 9*q**2 - 20*q - 8. Let g(h) = 14*h**3 - 28*h**2 + 59*h + 23. Let m(o) = 11*a(o) + 4*g(o). Let d = 17 - 5. Does 7 divide m(d)?
False
Let n(x) = 7*x**2 - 9*x + 5. Let a(k) = -k - 4. Let q be a(-8). Is n(q) a multiple of 4?
False
Suppose 0 = -7467*g + 7454*g + 104520. Does 6 divide g?
True
Let i = -45 + 25. Let d be ((282/(-8))/(-1))/(i/(-160)). Let b = d + -168. Is b a multiple of 27?
False
Let r = 23678 + -20106. Is r a multiple of 94?
True
Suppose 3*y + 157 = 4*u, y = -4*u - y + 162. Suppose a - 11*a = -u. Does 2 divide a?
True
Suppose 22*z + 6980 = 26*z + 2*c, -2*z = 4*c - 3478. Is z a multiple of 7?
False
Suppose -6*p - 5*l = -4*p - 1649, 4*p - 3243 = l. Suppose -34 - p = -9*z. Does 