, -n = -h + r. Is 20 a factor of h?
True
Let w(i) = i**3 + 50*i**2 - 2*i - 2000. Is w(-43) a multiple of 3?
False
Let k be (0 - 1) + 2 - (425 + 77). Let n = 531 + k. Does 15 divide n?
True
Let w = -1022 - -11337. Is w a multiple of 21?
False
Let s be 22/55 - ((-57)/(-5) - -1). Let z = 30 - 21. Does 26 divide (-642)/s + z/(-6)?
True
Let n(t) = 18*t + 53. Let g be n(13). Suppose -113 = -d + 3*x, -3*d - 4*x + g = -0*x. Suppose 791 - d = 5*b. Is b a multiple of 16?
False
Let y = -9147 + 13682. Is y a multiple of 11?
False
Suppose -336 = -18*g + 12840. Is g a multiple of 5?
False
Let b = -4836 - -8796. Is b a multiple of 36?
True
Suppose j + 5*p = 3505, 2*p + 3225 - 20727 = -5*j. Is 4 a factor of j?
True
Is (-8)/(-44) + (-15729824)/(-968) a multiple of 47?
False
Suppose 30*i - 12956 = -2*i + 76868. Is i a multiple of 3?
False
Let v(m) = -13*m - 225. Let y be v(-18). Let u(n) = n**3 - 5*n**2 - 16*n + 24. Is u(y) a multiple of 17?
True
Suppose -9*v - 14*x + 14294 = -5*v, 2*v + x = 7141. Is 14 a factor of v?
True
Let h = 27833 - 10967. Does 38 divide h?
False
Suppose 54144 = -252*u + 264*u. Is 8 a factor of u?
True
Let p be -1 - (-2)/(-1) - -2. Let w be p*(-5)/((-5)/(-44)) - 0. Let v = w - 34. Is 6 a factor of v?
False
Is 3751/2 + (-7)/(-14) + 2 a multiple of 3?
True
Let m(p) = 2*p + 11. Let v be m(-3). Suppose l + v = 2*l. Suppose -l*s - 34 = -349. Does 21 divide s?
True
Let a(f) be the second derivative of f**5/20 + 2*f**4/3 - 9*f**3 - 2*f**2 + 40*f. Does 22 divide a(6)?
True
Suppose 3*z = p + 444 + 116, -180 = -z - p. Suppose 189*m - 416 = z*m. Does 52 divide m?
True
Suppose 36*s = 32*s - 3*j + 87705, -s = 5*j - 21939. Is s a multiple of 21?
True
Let f(u) = u**2 - 2*u + 3. Let c be f(3). Suppose -3*z + c*z - 3 = -3*m, 4*z - 25 = 3*m. Suppose 347 = z*v - 33. Does 13 divide v?
False
Let s = 775 - 571. Does 51 divide s?
True
Let x = -694 - -1409. Suppose 15*d = 2*d + x. Suppose -j = -d - 83. Is j a multiple of 21?
False
Suppose -7*m + 1018 = -4*m + 2*f, -f + 5 = 0. Let r = -184 + m. Suppose 8 = 2*w - c - 91, -r = -3*w + 5*c. Is w a multiple of 11?
False
Let l be 1602/(-22) - 15/((-990)/(-12)). Let r = 123 - 267. Let z = l - r. Is 12 a factor of z?
False
Suppose 0 = -8*i - 6593 + 24849. Suppose 2*z + 380 + i = 5*j, 2*j - 3*z = 1067. Suppose 0 = d + 6*d - j. Is 5 a factor of d?
False
Suppose -4*x - 19 + 11 = 0, 2*x - 24204 = -4*j. Is 88 a factor of j?
False
Let a(b) = 4280*b**2 - 2306*b - 1. Is a(-4) a multiple of 13?
False
Suppose -144 = -24*j + 15*j. Let s(b) = -b**3 + 18*b**2 - 4*b - 7. Is s(j) a multiple of 49?
True
Let i(v) = -11*v - 7. Let t be i(6). Let y = t - -78. Suppose -21 = 2*u + 5*x - 106, -y*u - x = -155. Is 3 a factor of u?
True
Let c(a) = -a**2 - 23*a - 3. Let l be c(-17). Let s be (1 + 0)/(1/6). Is 8100/l - s/(-33) a multiple of 20?
False
Let b be (-32)/80 + 0 + 676/(-10). Let u = -59 - b. Suppose -v + 118 = w, -u*v + 4*v = 2*w - 575. Is v a multiple of 24?
False
Let a = 18509 + -10259. Is 15 a factor of a?
True
Let s(x) = -11*x**2 - 102*x - 168. Let h(z) = 7*z**2 + 68*z + 112. Let c(k) = -8*h(k) - 5*s(k). Suppose 107*o + 598 = 84*o. Does 19 divide c(o)?
True
Let h(r) = 35*r**2 + 25*r + 247. Is h(-10) a multiple of 63?
False
Let g = 1306 + -891. Let u = g - 10. Let l = u + -215. Is 38 a factor of l?
True
Let d = -172 - -190. Is d/(-90) + (-2141)/(-5) a multiple of 51?
False
Suppose -5*s = -4*b - 16019, 6065 = 5*s - 5*b - 9950. Is 7 a factor of s?
False
Let z = -417 + 419. Let w(f) = 361*f**2 + 2*f + 1. Let p be w(-1). Suppose 2*s = z*q + p, -s - 3*q - q + 180 = 0. Is s a multiple of 36?
True
Suppose 1040*q + 101903 = 1044*q - 5*z, -76436 = -3*q + 2*z. Is q a multiple of 34?
False
Let c be (10 + (-16)/4)/2. Let d be (4/10)/(c/420). Let t = d + -26. Is t a multiple of 16?
False
Let k be (-127)/(-5) - (4 + 90/(-25)). Suppose -d - 17 = -k. Is 2 a factor of (-12)/d*70/(-15)?
False
Let w be (-1 + (2 - 1))/2. Suppose 2*f - 262 = -j - 2*j, -5*f + 5*j + 630 = w. Suppose -f = -21*s + 19*s. Is 16 a factor of s?
True
Suppose -20*s = -21*s + 78. Let o = 94 - s. Is o a multiple of 2?
True
Suppose -25020 = -p + 13032. Is ((-2)/3)/((-56)/p) a multiple of 41?
False
Suppose -3*j - 9 = -2*s, -15 = s - 2*s + 5*j. Let h be 55/20 + 1/4. Suppose 5*v + 4*y - 232 = s, -h*v + 88 + 58 = -y. Is v a multiple of 17?
False
Let u = -145 - -145. Suppose u = 7*p - 317 + 51. Is p even?
True
Let j(w) be the second derivative of -w**4/6 - 11*w**3/6 + 3*w**2 + w. Let g be j(-5). Suppose -3 = l - g. Is l even?
True
Let v be (-1)/(-3) + -1221*(-6)/54. Let f = v - -44. Suppose -12*t = -9*t - f. Does 10 divide t?
True
Suppose 9295 = -211*a + 47275. Is 15 a factor of a?
True
Suppose -19*m + 18*m + 2*d = -27848, 0 = 6*m + 4*d - 167024. Is m a multiple of 160?
True
Suppose -3*h + 1056 = 2*o, -5*h + 1296 = 3*o - 463. Let t = -278 + h. Is t a multiple of 2?
True
Suppose 4*u - d + 116 = 0, -3*u + 0*d - 82 = -2*d. Does 19 divide (-10)/(-3)*(-2556)/u?
False
Suppose 77*g - 86*g - 5859 = 0. Let n = 1439 + g. Is n a multiple of 14?
False
Let k = -67 - -72. Suppose -2*s + 1 = m, 4*m - k*s + 36 = 1. Let y(d) = -14*d - 20. Is 8 a factor of y(m)?
False
Let m(u) = 1205*u**2 + 29*u + 62. Does 67 divide m(-2)?
True
Suppose 0 = -663*i + 661*i - 2*p + 5036, 5*i - 2*p - 12604 = 0. Does 14 divide i?
True
Let d = 944 - 941. Suppose 6*o - d*j = 11*o - 210, 5*j = 4*o - 168. Does 4 divide o?
False
Let i = 27 + 30. Suppose 123 = -2*l - 0*l + 3*z, 4*z = 20. Let k = l + i. Is 3 a factor of k?
True
Let n be (189 - -9)/(1 + -2). Is 13 a factor of (-44)/n + 10186/9?
False
Is 34 a factor of (534609/2292)/((6/272)/1)?
True
Is ((-278)/(-10) - 7)/((-3)/(-390)) a multiple of 19?
False
Let v = 23 + 8. Suppose j - 3 = -l, -3*j + 4*j = -5*l + v. Is (-3)/l - (-87)/7 a multiple of 12?
True
Is ((-9405)/6 - -1)*((-7888)/(-29))/(-8) a multiple of 12?
False
Suppose 3*l + 4 = 2*p + 1, -5*l = 3*p - 52. Let t be p/((-315)/(-100) + -3). Does 3 divide (-108)/(-5) - (-6)/t*-6?
True
Suppose -3*f - 4 = -4*c, -5*c + 0*f + 4*f = -6. Let q be -2*(-9)/c*3. Does 13 divide (-3444)/(-49) + q/21 + 1?
False
Let w(g) = g**3 - 15*g**2 - 16*g + 5. Let x be w(16). Let j be 2 + (1 - 2) - (2 - x). Is j/1 - (-63 - 0) a multiple of 11?
False
Let w(u) = -1333*u**3 + 6*u**2 - 29*u - 101. Is 206 a factor of w(-3)?
False
Suppose -4*s - 374 = -2*q, 0*q = -3*s - 2*q - 270. Let r = s + 132. Is r a multiple of 7?
False
Suppose 0 = -19*l + 1411 + 10673. Suppose -204 = -j - 4*t, 0 = 3*j - 9*t + 13*t - l. Is j a multiple of 12?
True
Suppose 52*p - 445302 = -91*p. Does 18 divide p?
True
Let t = 828 - 814. Does 22 divide (t + (-384)/(-80))/((-4)/(-70))?
False
Let k(c) = -9*c**3 - 17*c**2 + 4*c - 19. Let v(i) = 7*i**3 + 15*i**2 - 4*i + 20. Let j(g) = 3*k(g) + 4*v(g). Is 12 a factor of j(-6)?
False
Suppose o - 6*o + z + 4279 = 0, 2*z + 4283 = 5*o. Let y = o + -581. Does 13 divide y?
False
Suppose j + 38 = 2*k - 54, 0 = 2*j - 4. Suppose k = -4*l - 5*r - 0, 2*l - 3*r + 51 = 0. Does 6 divide -2 + (-1228)/(-18) + 4/l?
True
Let f be 1 + 4 + -1 + (-4)/4. Suppose 0 = 5*m - 6*m + f. Is 5 a factor of (1 + m/(-6))/(2/320)?
True
Let q(z) = -2*z**3 + 61*z**2 + 228*z + 63. Does 65 divide q(31)?
False
Is 16 a factor of 18/8 - (-1279061)/76?
True
Suppose 0 = -5*g + 24 - 129. Let k = 50 - g. Let i = 119 - k. Is i a multiple of 15?
False
Suppose 0 = -0*f + f + 3. Let x(h) be the second derivative of 4*h**4/3 + 2*h**3/3 + 6*h**2 - 366*h. Is x(f) a multiple of 18?
True
Suppose b - w = 69, -b + 109 = -2*w + 37. Suppose 16 = 70*h - b*h. Suppose h*q + 419 = 1179. Is q a multiple of 18?
False
Let s = -1262 - -474. Is 33 a factor of (-1)/2*-1 - s/8?
True
Let q be (96/(-30))/(4/(-10)). Let u(o) = 6*o**2 + 30*o + 22. Let n(h) = 9*h**2 + 45*h + 33. Let s(j) = q*u(j) - 5*n(j). Is 4 a factor of s(-6)?
False
Suppose 3*h - m = 23, -3*h - 4*m = -2*m - 26. Let t(r) = 4*r - 27. Let g be t(h). Suppose 0 = -4*u - 4*n + 160, -u + g*n + 0*n + 58 = 0. Is 4 a factor of u?
False
Let o(k) be the third derivative of -k**4/24 - 13*k**3/6 + k**2. Let u be o(-4). Does 2 divide u*(14/(-6) + 1/3)?
True
Suppose -2*w + 2*p + 8 = 0, 2*p - p = 5*w. Let d(t) = 30*t**2 + 2*t + 1. Let n be d(w). Let z = 3 + n. Is z a multiple of 8?
True
Suppose -2386598 = -46*u + 2118826. Is u a multiple of 28?
True
Suppose 10