*w. Let f = -161 + w. Let v = 152 - f. Does 5 divide v?
True
Suppose -84*b = -88*b + 8. Suppose 0 = -3*h - b*m + 6, 15 = 8*h - 4*h + 5*m. Is (-13)/((-1 - h)*1) a multiple of 13?
True
Let d(f) = -637*f**3 - 4*f**2 + 38*f + 78. Is d(-2) a multiple of 3?
True
Suppose 0 = 2*o - 6*o + 20. Suppose 2*s - 7 - 481 = -3*g, -s - 835 = -o*g. Is g a multiple of 24?
False
Let j be (2 - -9)/((-8 + 3)/(-20)). Let y = 506 - j. Does 42 divide y?
True
Let k be (-1 + -2003)/(-6) - 6. Suppose 11*d = 19*d - k. Is 16 a factor of d?
False
Suppose 0 = 4*k - 5*a - 2278, 0*k + 4*k + 5*a = 2258. Suppose 2*p = k + 489. Is p a multiple of 11?
True
Suppose -15 = 5*t - 10*t, 4*l - 35 = -t. Is (-4)/l*(-4 + -508) a multiple of 16?
True
Suppose 18255 = 5*c + 5*h, 0 = -5*c - 4*h + 18286 - 30. Does 6 divide c/10 - 4/(-5)?
True
Suppose 19*v - 20 = -v. Does 60 divide v/((-8)/(-840))*72/14?
True
Does 14 divide (14/5)/((-3)/(-2) + 55261/(-36865))?
True
Let o = -143 - 221. Let f = -248 - o. Is 11 a factor of f?
False
Let w = -22098 + 44842. Does 115 divide w?
False
Let v(r) = -24*r**3 - 88*r**2 + 9*r + 60. Is 5 a factor of v(-7)?
False
Let v(p) = p**3 - 4*p**2 + 5*p + 22. Let m be v(6). Suppose 123*u = m*u - 830. Does 22 divide u?
False
Let m(h) = -17*h + 25. Let v be m(1). Is 33 a factor of (-42)/(-8)*(v + (4 - -4))?
False
Suppose -4*r + 2*p - 70 = 0, 2*r = -2*r + 4*p - 60. Let o = 25 + r. Suppose -n = -5*a - 69, o*n - 429 = 2*a + 2*a. Is 15 a factor of n?
False
Let j(v) = -v**3 + 25*v**2 + 63*v + 11. Suppose 82 = -14*b + 460. Is 33 a factor of j(b)?
False
Let i(a) = -a**2 + 6*a - 5. Let o be i(4). Suppose -2*x - 3*u + 8*u = -270, 3*x - o*u = 396. Suppose 10*f - x = 9*f. Is 10 a factor of f?
True
Suppose -106 = n - 3*n. Let b = 107 - 64. Suppose -2*p = -b - n. Is 27 a factor of p?
False
Let v(t) = 0*t + 17 + 5*t - 20*t + 8*t. Is v(-11) a multiple of 28?
False
Is ((-2727)/54)/(4/(-56)) a multiple of 95?
False
Let z be (170 - -1) + 5 + -10 + -4. Suppose -4*h = -i + z, -i + 0*h + 2*h = -170. Is 20 a factor of i?
False
Let r(s) be the third derivative of 13*s**5/20 + s**4/8 - s**3/6 - 4*s**2 - 8. Is 9 a factor of r(-1)?
False
Let k = -51 - -317. Suppose 255*i = k*i - 1892. Is i a multiple of 32?
False
Is -8 - (-60)/9*(-120132)/(-48)*2 a multiple of 27?
False
Suppose 0 = -34*v + 36*v. Is 7 a factor of (1 + -90)*(v + -1)?
False
Let a = -520 + 523. Suppose w - 23*s + 21*s = 694, -a*w + 2*s = -2098. Does 13 divide w?
True
Let n(g) = 6*g**2 + 3*g - 1. Let i be n(3). Let o(t) = -6*t - 175. Let u be o(-30). Suppose -4*m = -u*m + i. Does 11 divide m?
False
Let y(a) = 9*a - 82 + 129 - 65. Let b be y(4). Is 26 a factor of 3272/b - ((-125)/(-45) + -3)?
True
Let r be 5 + 8/(-3)*57/(-38). Does 32 divide 18/(-3 + r) + 383?
False
Let b(u) = -20*u**2 + 11*u**2 - u**3 + 13*u**2 - 16*u + 15*u - 1. Let n(l) = -l**3 - 5*l**2 - l - 7. Let v be n(-5). Is 8 a factor of b(v)?
False
Let c(f) = 2*f**2 + 12*f - 27. Suppose -4*g = -3*q - 24, -2*q - g - 68 = -41. Is c(q) a multiple of 19?
False
Let l(i) = -i**2 + 6*i - 1. Let u be l(5). Suppose 0 = s + 4*s + u*p + 5, -5*s = p - 10. Suppose -3*k + 5*h = -271, -s*h + 519 - 177 = 4*k. Does 15 divide k?
False
Let w(g) = 2*g**2 - 81*g - 673. Is w(53) a multiple of 54?
False
Let u(t) = t**2 - 5*t - 11. Let l be u(7). Suppose q = 4*d - 611, l*d = 3*q - 8*q + 441. Is d a multiple of 40?
False
Let i(c) = -c**3 - 91*c**2 - 1154*c + 175. Is 15 a factor of i(-80)?
True
Suppose -42*v + 59*v + 179*v - 1188936 = 0. Is v a multiple of 10?
False
Let w(p) = 62*p**2 + 37*p + 139. Does 8 divide w(-5)?
True
Let a(s) = -s + 34. Let d be a(-11). Let v = d - 41. Is 9 a factor of 0 - (-183)/4 - (-1)/v?
False
Suppose -5*u = 20, -4*y + 4*u + 394 = -498. Suppose -2*t - 3*q + 0 + y = 0, -5*q = t - 92. Is 9 a factor of t + -6*(-10)/15?
False
Suppose -3*t - 1 + 13 = -2*d, -5*t + 25 = -5*d. Let h be -1 + (-12)/d + -5. Does 6 divide (5 - (-27)/(-6)) + (-23)/h?
True
Let f(p) = -111*p + 1349. Let a be f(12). Suppose -3*r = -4*r + 3. Suppose -r*z + a = -2*z. Is z a multiple of 16?
False
Is 85 a factor of 160551/(-12)*(-180)/135?
False
Suppose 155820 = 47*o - 33*o. Does 121 divide o?
False
Let a be (-2)/(-4) - (-7)/14. Let z(g) = 373*g - 12. Let w be z(a). Let n = w + -185. Is n a multiple of 9?
False
Suppose 4*w + 495 = 4527. Let h = w - 603. Suppose 5*m - h = 2*m. Does 21 divide m?
False
Let z be (-1428)/(-136)*2*1. Suppose 17*x + 137 = b + z*x, 456 = 3*b - 3*x. Is 41 a factor of b?
False
Suppose 5*z + 0*z = 20. Let a(x) = 5 - 9 + 12*x - 14. Is a(z) a multiple of 7?
False
Let i = -4898 + 8383. Is i a multiple of 10?
False
Suppose -7374 = -v + 2*f + 7196, 43710 = 3*v - f. Is 94 a factor of v?
True
Suppose -24*w + 3 = -21*w. Let b be -1 + (-1)/w - -64. Suppose -4*s - b = -5*n, -3*n + n - 5*s + 38 = 0. Is 2 a factor of n?
True
Suppose 4*z + 104 = -5*o + 448, -2*z = -3*o + 224. Let s(u) = 10*u**2 + u + 1. Let v be s(2). Let g = o - v. Is 8 a factor of g?
False
Suppose 0 = -294*m + 544937 - 47489. Is 8 a factor of m?
False
Let v be -1*(-5 - -10)/(-1) - 4. Is (v/2*-15)/(6/(-36)) a multiple of 45?
True
Let w be 28 - (-10 + 2 + 1). Is 52 a factor of 4/10 - 1*(-7266)/w?
True
Suppose -g = -4*y - 10838, 10848 = g - 7*y + 5*y. Suppose -19*m + g = 598. Is 12 a factor of m?
True
Let k be (-63351)/15 + (-42)/(-30). Is (-24)/(-132) + k/(-11) a multiple of 12?
True
Let o = 114840 - 42838. Does 259 divide o?
True
Let j(d) = 2*d**2 - 43*d + 358. Does 17 divide j(59)?
False
Let u = 3106 - -257. Is u/12 - (-2)/(-8) a multiple of 40?
True
Let g(p) = p**3 + 9*p**2 - 7*p - 2. Let w be g(-9). Suppose -103 = -a - w. Suppose 4*b + 248 = 4*i, -2*i + 5*b + a + 91 = 0. Is 4 a factor of i?
False
Suppose 0 = -11*a + 7*a - 8. Let f be 3/(a/(-7) - (-25)/(-14)). Does 31 divide 81 + (3*f)/3?
False
Let z(u) = -8*u**3 + 8*u**2 + 8*u - 1. Let a be z(-1). Let i(b) = 22*b - 62. Does 2 divide i(a)?
True
Let q(h) be the second derivative of 5/12*h**4 + 2*h**3 - 38*h + 0 - 7*h**2 - 1/20*h**5. Is q(6) a multiple of 11?
True
Let u(m) = m**3 + 9*m**2 - 15*m - 3. Let r be u(-8). Suppose -179*i - 488 = -r*i. Is 30 a factor of i?
False
Is (-820170)/(-117) - (-1 + 4 + -13) a multiple of 26?
True
Let b(h) be the third derivative of h**5/12 - 5*h**3/3 - 7*h**2. Let f be b(-4). Does 7 divide -1 - ((-1710)/f + (-3)/(-7))?
False
Is 14 a factor of ((-42)/(-49))/(35/49)*8470?
True
Let x(h) = 2*h**2 - 16*h + 10406. Is x(0) a multiple of 22?
True
Let w(t) = 283*t**2 + 7*t - 7. Let o be 4 - (-3 + 4 - -2). Is w(o) a multiple of 19?
False
Let j be (6 - -2) + (4 - (4 - 0)). Let u = 10 - j. Suppose -4*m = -9*m - 2*n + 402, -2*n = -u. Does 27 divide m?
False
Suppose 45*w - 8155 = 75479 + 114366. Is w a multiple of 16?
True
Let b = 525 + -521. Let s(x) = 323*x + 4. Is 32 a factor of s(b)?
False
Let w(d) = -d**2 - 5*d - 1. Let n be w(-4). Suppose 178 = -n*s + 799. Suppose 3*a - 6*a + s = 0. Does 19 divide a?
False
Suppose 0 = -14*k - 364 + 308. Let t(b) = -115*b + 120. Is t(k) a multiple of 9?
False
Is 12 a factor of 2/6*(4911 + -45 + 27)?
False
Let n(v) = -18*v + 12. Let j be n(-4). Suppose 69 = 5*s + 3*m, 5*s + 4*m = j - 12. Does 2 divide (-4 - -2)/(s/(-30))?
False
Let p(d) be the first derivative of 5*d**4/24 + 7*d**3/2 + d**2/2 + 39. Let w(q) be the second derivative of p(q). Is w(7) a multiple of 8?
True
Let p(h) = 1119*h**3 - 4*h**2 - 5*h + 2. Is 48 a factor of p(2)?
True
Let m(c) = -c**3 + 16*c**2 - 4*c + 66. Let o be m(16). Suppose -3*d + 4*z + 353 = 0, 2*z = -2*d - o*d + 500. Is 3 a factor of d?
True
Suppose 2*j = 66 - 80, -2*j - 14414 = -5*g. Is g a multiple of 4?
True
Suppose 5*g + 37 = 22, 0 = m - 5*g - 18504. Is m a multiple of 27?
False
Let f be 2 + -4 + (1 - -3). Let x be 2/4 - (2 + (-15)/6). Is 7 a factor of f + 13 + (-1 + x - -3)?
False
Does 38 divide -2 - 333126/(-69) - 9/((-3933)/38)?
True
Suppose -51381 + 123789 = 159*o - 524319. Does 158 divide o?
False
Let s(d) be the second derivative of 13/2*d**2 + 1/20*d**5 + 0 - 19/12*d**4 + 3*d**3 + 3*d. Does 5 divide s(18)?
False
Let q(z) = 5*z**2 + 6*z + 3. Let g be q(5). Suppose y - 4*t = -6*t + g, 0 = 4*t + 4. Does 20 divide y?
True
Suppose -5*n = 5, 3*n = 3*d + 31 + 11. Let r be -8 + (9 - 4) - 2/(-1). Is 24 a factor of ((-228)/d)/(18/15 + r)?
False
Suppose -6*z - 2*z = 4*z - 86292. Does 30 divide 