1 + 0)?
False
Let i = -3 - 21. Let h be (i/(-3) - -1) + -4. Suppose 125 = h*r - 2*k - 75, 3*k + 111 = 3*r. Is r a multiple of 21?
True
Let z = 479 + -109. Suppose -g + j - z = -149, -g - 225 = -5*j. Does 19 divide g/(-4)*18/15?
False
Let d be ((-12)/(-9))/(8/(-660)). Let k = d + 232. Suppose 36 = -2*b + k. Is b a multiple of 22?
False
Suppose -18*v - 17*v = -85050. Is 45 a factor of v?
True
Let s = -48 - -24. Let r = 26 + s. Let n = 46 + r. Does 8 divide n?
True
Let h(f) = 15*f + 10. Let x(n) = -10*n - 7. Let d(s) = 5*h(s) + 8*x(s). Is 19 a factor of d(-5)?
True
Does 43 divide (-1*6)/((-85)/29240)?
True
Suppose 5*o - 2*s - 59 = 0, 6*o - 5*s = 2*o + 54. Is (-614)/o*-1 + (-2)/(-11) a multiple of 14?
True
Let i be -1*(-35)/(1 - -4). Does 11 divide ((-44)/(-14))/(1/i)?
True
Suppose 3*m = 2*b + 396 + 238, 4*m - 3*b = 847. Is 26 a factor of m?
True
Suppose 4*c - q - 576 = q, c = 2*q + 138. Suppose -4*r = m - 121, 4*m + c = 4*r + r. Let l = r + -18. Does 6 divide l?
True
Suppose 8460 = -23*c + 28*c. Does 94 divide c?
True
Suppose -4*t = 2*l - 16, l = 3*t - l - 19. Suppose 3*w - 216 = -t*p + p, 8 = 2*w. Does 14 divide p?
False
Let y be ((-4)/14)/(1/(-7)). Suppose 4*m - 220 = 2*m + 4*q, 214 = y*m - 2*q. Is m a multiple of 17?
False
Suppose 0 = 5*f - 2*f - 5*q + 429, 0 = 4*f - 2*q + 572. Let g = -98 - f. Does 15 divide g?
True
Let d(h) = h - 2 + 5 + 3*h. Let y be d(-3). Does 14 divide (-4)/18 + (-128)/y?
True
Let m = -169 - -247. Is m a multiple of 26?
True
Let x(q) = 4*q**3 + 3. Let j be 2/(-6) - (-10)/3. Is x(j) a multiple of 16?
False
Let j(k) = 102*k + 17. Is 5 a factor of j(3)?
False
Let n be (-3 - -21)*(4/2)/4. Suppose n*f + 3*f = 1152. Is 17 a factor of f?
False
Let h be (-1)/(411/51 + -8). Suppose 2*k - 3*f - 80 = 0, k - 4*f - 17 - 28 = 0. Let u = k + h. Is u a multiple of 12?
False
Let c(n) = 3*n**2 - 7*n - 3. Let x be c(-5). Let l = x + 12. Is 15 a factor of l?
False
Suppose -3*l - l - 232 = z, -5*z - 1244 = -l. Let y = -168 - z. Is 40 a factor of y?
True
Suppose -3 = -2*n - c, n = -4*c + 15 - 3. Suppose n = -7*h - 180 + 901. Does 37 divide h?
False
Let c(w) = 2*w**3 - 2*w**2 - 5*w - 13. Does 12 divide c(7)?
True
Let m(y) = -y**3 + 9*y**2 - 8*y + 11. Let x be m(9). Let g = 108 + x. Is g a multiple of 10?
False
Let v be ((-1)/(-1)*-5)/(-4 - -3). Suppose -v*j + b - 4*b + 1156 = 0, -224 = -j + 3*b. Is 11 a factor of j?
False
Let x = -172 + 296. Does 62 divide x?
True
Let n(k) = -3*k - 14. Let z be n(-8). Suppose -4*d = 2*v + z, 2*d + 18 = 5*v - 17. Suppose -3*q + q + 4 = 0, -50 = -5*x + v*q. Is 12 a factor of x?
True
Let m = 1675 - 1186. Suppose 0 = -4*i + m + 255. Is 31 a factor of i?
True
Let t be (12/(-30))/((-4)/1360). Let f = t + -35. Is 55 a factor of f?
False
Let g be -3*((-32)/(-12) + -4). Suppose -g*l - 8 = -5*l - 5*v, -4*l = 2*v + 22. Does 6 divide ((-7)/(-1))/(l/(-14))?
False
Let u(i) = i**2 + 5*i + 8. Let a be u(-4). Suppose -j - a = -2*j. Is 17 a factor of (34/(-4))/(j/(-32))?
True
Suppose 0 = -5*a - 3*h - 1500, -1200 = 4*a - 4*h - h. Let s be (3 - a/(-3))*1. Let n = s + 139. Does 15 divide n?
False
Let h(v) be the second derivative of 14*v**5/5 - v**4/12 - v**3/6 + v**2/2 - 3*v. Is 19 a factor of h(1)?
False
Let y(q) = -2*q**3 + 3*q**2 + 18*q + 10. Let l(s) = -s**3 + s**2 + 9*s + 5. Let a(j) = -13*l(j) + 6*y(j). Is 13 a factor of a(-6)?
True
Let h be ((-14)/4)/((-3)/6). Let m = h - 6. Suppose -2*k = -m - 13. Is k a multiple of 3?
False
Let x(b) = 8*b**2 - 16*b - 52. Is x(-6) a multiple of 12?
False
Let u = -1628 + 2869. Is u a multiple of 17?
True
Let m = -28 - -52. Suppose -4*s - m = -7*s. Does 8 divide ((-54)/4)/((-3)/s)?
False
Let d = -101 - -250. Does 28 divide d?
False
Let q(p) = -p**3 + 6*p**2 - 2*p - 1. Suppose -y - 3*y + 22 = w, -5 = -3*y + 5*w. Suppose 0*j = y*f + 3*j - 27, -11 = -f - 2*j. Is 12 a factor of q(f)?
False
Suppose -m + 0 = -6. Let n(w) = 4 + 14*w - 10 + m. Is 7 a factor of n(1)?
True
Let f be 2*4*28/32. Let m = f - 4. Suppose -m*t - t + g + 249 = 0, g + 60 = t. Is t a multiple of 21?
True
Let f(u) = 1 + 3*u**3 - 4*u**3 + 13. Let t be f(0). Let h = t + 11. Is 8 a factor of h?
False
Suppose -q = -2*q - 2*h + 4, -13 = -5*q - 3*h. Let u(b) = 17 - b + q*b - 2*b. Is 13 a factor of u(-9)?
True
Suppose 5*v - 19 = 21. Is v a multiple of 3?
False
Suppose -6*k = -u - k + 123, -4*k = 5*u - 586. Does 63 divide u?
False
Is 68 a factor of (-3258)/(-8) + (360/(-32))/(-15)?
True
Suppose -5*h = 4*s - 4608, 29*h + 5*s - 3690 = 25*h. Is h a multiple of 40?
True
Is 12*(-16)/(-60)*300 a multiple of 16?
True
Let i = 18 + -170. Is 22 a factor of i/(-3) - 4/6?
False
Let t = -74 - -98. Is t a multiple of 4?
True
Let u(b) = -56*b**3 - 10*b**2 + 1. Does 56 divide u(-4)?
False
Suppose c + 22*c - 1610 = 0. Does 7 divide c?
True
Suppose -2*u - 2 = 4*k, -k = 2*u - 4*u + 8. Suppose -4*i + 4*f + 686 = 2*f, 4*i - f = 687. Suppose u*z + z - i = 0. Is 24 a factor of z?
False
Let j = 1515 - 822. Does 9 divide j?
True
Let j(n) = n**3 + 19*n**2 - 38*n - 20. Does 34 divide j(-20)?
True
Suppose 4*r = 2*o - 6*o + 8, 4*o - 2*r + 22 = 0. Let i be ((-5)/2)/(o/6). Suppose -4*w + i*n = -113, -2*w + 3*n + 49 = 2*n. Does 12 divide w?
False
Suppose f = -4*y + 3*y + 59, 2*y - 2*f - 122 = 0. Is 45 a factor of y?
False
Let k = 19 + -16. Suppose -252 = -5*v + 5*z + 43, k*z - 75 = -v. Is v a multiple of 9?
True
Let d be 28 - ((-36)/3)/(-4). Suppose -h + d + 68 = 0. Is h a multiple of 31?
True
Let k = -6 - -12. Let r be (k/4)/((-2)/(-84)). Let h = r + -18. Does 15 divide h?
True
Let m(q) = q**3 - 13*q**2 + 15*q - 6. Is 7 a factor of m(13)?
True
Is 6 a factor of 6434/16 - (82/16)/41?
True
Let t be ((-699)/(-6) + -2)*6. Suppose 0*c = 3*c - t. Suppose 3*h - 2*i = 106, -i - 74 + c = 5*h. Is h a multiple of 10?
False
Let w = -40 - -32. Let l(m) = -19*m + 40. Does 41 divide l(w)?
False
Let g(v) = -v**3 + 3*v**2 - 15*v - 74. Is 68 a factor of g(-9)?
False
Suppose -5*o - 643 = 6*r - 4*r, 5*o = 5*r - 650. Let k be (-1)/(o/(-63) + -2). Is 6 a factor of ((-49)/k)/(2/6)?
False
Suppose o - 34 = -5. Let v be 2*5 + 2/(-2). Let f = v + o. Does 19 divide f?
True
Does 6 divide 591/2 - (-3 - 25/(-10))?
False
Let z(l) = -l - 6. Let r be z(-8). Let p = -11 - -46. Suppose 2*x - r*h = 7*x - p, 28 = 4*x + h. Does 2 divide x?
False
Let q(x) = -7*x**2 - x - 2. Let b be q(-1). Let r = 8 + b. Suppose r = s - 0*s - 4. Is s a multiple of 4?
True
Let m = 4007 + 257. Does 33 divide m?
False
Does 30 divide (-6572)/(-6) + 20/12?
False
Let l = -83 - -86. Suppose 5*n + 500 = 5*v, -4 = 7*n - l*n. Is v a multiple of 15?
False
Suppose -3*o + 2*n + 494 = 7*n, 4*n + 176 = o. Suppose -4*u = -5*x - 529 - 143, -u + o = -x. Does 7 divide u?
True
Is (13 - 12)/(5/915) a multiple of 4?
False
Let j(c) be the third derivative of c**7/630 - c**6/360 - c**5/20 + 7*c**4/24 - 7*c**2. Let m(g) be the second derivative of j(g). Is m(-4) a multiple of 11?
True
Let z(o) = -9*o + 15. Let y = -10 - -15. Let d(t) = 1. Let g(x) = y*d(x) - z(x). Does 18 divide g(7)?
False
Let o(c) = c**3 + 10*c**2 + 4*c - 4. Suppose -3*j - 46 = 5*l, -5*j - 3*l - 29 = -3*j. Does 23 divide o(j)?
True
Suppose -13*s = -2*s - 1419. Is 6 a factor of s?
False
Let f = -1 - -2. Let i(o) = 15*o**3 - o**2 + o. Is i(f) a multiple of 3?
True
Let g = 6 + -2. Let a be (-3 + g/2)*-3. Does 12 divide a + 20 + (0 - -1)?
True
Suppose -12*o + 5*o - 224 = 0. Does 17 divide (o/(-20))/(6/630)?
False
Suppose 1675 = 4*f + 9*w - 4*w, w = 3. Does 33 divide f?
False
Let w = 1 - -1. Suppose v = -v - 3*q - 3, -q = w*v - 3. Is 3 a factor of 2 - (9/v)/(-3)?
True
Suppose 5*r = -r + 4662. Is r a multiple of 55?
False
Suppose -2*x = 3*z - 2561, -5*z = 3*x - 714 - 3555. Is z a multiple of 23?
False
Suppose 0*k + 5*k = 940. Suppose -23 = 3*y - k. Does 5 divide y?
True
Let k(n) be the second derivative of -11*n**6/720 - n**5/24 - n**4/4 + 5*n. Let w(a) be the third derivative of k(a). Does 10 divide w(-4)?
False
Suppose -4*r + u = -5, -7 = -5*r - 2*u + 3*u. Suppose r*z + 4*m = 78, -3*z = -6*m + 4*m - 141. Is 9 a factor of z?
True
Suppose 2*q - k = -2*k + 96, 2*q + 2*k = 94. Let u = 23 - q. Let y = u - -39. Does 10 divide y?
False
Let y be 277/11 + 2/(-11). Is 11 a factor of 22*-1*1/((-5)/y)?
True
Is 19 a factor of ((1 + 0)*38)/(46/437)?
True
Suppose -42*p = -43*p + 2718. Does 22