 x = 208 + -133. Suppose -236*v + x = -235*v. Is v a multiple of 15?
True
Suppose -1181 = -2*a + g + 1460, -2636 = -2*a - 4*g. Is a a multiple of 88?
True
Suppose -h = -3*h - 50. Let v be (-20)/4 - 276/(-6). Let s = h + v. Does 9 divide s?
False
Let l(b) = 4*b**2 + 6*b - 22. Let a = -3 + -4. Is l(a) a multiple of 22?
True
Suppose -7 = -2*n + 11. Let k(m) = -m**3 + 8*m**2 + 8*m + 9. Let g be k(n). Is 8 a factor of g + (1 - 3) + 26?
True
Suppose -515*o = -509*o - 720. Suppose 3*x = -2*m - 7, 4*m + 3*x - 1 = -0*x. Suppose -y - o = -m*y. Is y a multiple of 10?
True
Let y(h) = 28*h**2 - 24*h - 40. Is 50 a factor of y(-7)?
True
Let v be 100 + 0/(0 + 2). Suppose 0 = -2*j + 5*h + 132, v = 2*j + 4*h - h. Is j a multiple of 5?
False
Suppose 3*p + 2*p = -25. Let s(z) be the second derivative of z**5/20 + z**4/2 + z**3/3 - 3*z**2/2 + 15*z. Is s(p) a multiple of 6?
True
Suppose 2*o = 6*o - 8. Is (o/(-8))/(1/(-12)) a multiple of 2?
False
Let o(r) = 33*r - 16*r**2 + 40*r**2 - 25*r**2 + 48. Is o(27) a multiple of 15?
True
Let d = 255 + -129. Let c(k) = -37*k + 2. Let x be c(-5). Let f = x - d. Is f a multiple of 28?
False
Let w(i) = 1117*i**2 - 20*i - 3. Is 17 a factor of w(-1)?
False
Is (-6)/(-24) - (-8267)/4 a multiple of 91?
False
Let y be (4/(-6))/(2/(-6)). Suppose 8*j + 236 = 10*j. Suppose 4*n - 2*h - j = -h, h = y. Is 10 a factor of n?
True
Suppose 1565 + 955 = 10*q. Is 42 a factor of q?
True
Let q = 3 - 5. Let i be q/(-4) - (-1)/(-2). Suppose -4*r + 28 = -i*r. Does 7 divide r?
True
Let m be 8/8 + (-36 - (-2 + 1)). Let r(s) = s**3 - 2. Let k be r(4). Let f = k + m. Is 14 a factor of f?
True
Suppose 2*y = -2*d - 398, -2*d = -4*y + d - 768. Let c be y/(-12) - 1/4. Suppose -3*u = -5*g - c + 142, 0 = -2*g - 2*u + 44. Is 8 a factor of g?
True
Suppose h - 3*c = 12, -8 = 5*h - 5*c - 48. Let j be ((-4)/h)/(5/(-15)). Suppose -32 + 164 = j*m. Does 16 divide m?
False
Suppose -1 = 2*a + 3. Is 13 a factor of 2/a - 2/((-2)/27)?
True
Let r(g) = 92*g. Let o be r(3). Let t = -185 + o. Is t a multiple of 7?
True
Suppose d = -3*d. Suppose d = -18*h + 19*h - 1655. Is h/20 - 6/8 a multiple of 28?
False
Does 15 divide ((-80)/(-14))/((-44)/(-1386))?
True
Let w = 6 - 6. Suppose w = -5*q - 4*a + 1020, 7*a - 3*a + 204 = q. Is 12 a factor of q?
True
Suppose -19 = -2*p - 3*f, 0 = 3*p - 5*f + 3*f - 9. Suppose 0*o - 335 = -4*o + 5*x, p*x - 65 = -o. Is 18 a factor of o?
False
Let m(t) = -2*t**3 - 16*t**2 - 3*t + 24. Let k(l) = -l**3 - 8*l**2 - l + 12. Let a(p) = 5*k(p) - 3*m(p). Is 18 a factor of a(-6)?
True
Let z be (-69)/(-6) - (-12)/(-8). Let j(w) = 20*w - 7. Let m be j(z). Let d = m - 106. Does 29 divide d?
True
Let z(u) be the third derivative of -u**5/60 + u**4/24 + 71*u**3/6 + 10*u**2. Does 17 divide z(0)?
False
Suppose -l + 22 = 2*m - 5*m, -2*l + 8 = -2*m. Let s be (4 + m/2)*12. Let y(t) = t**3 + 8*t**2 + 6*t + 9. Is 12 a factor of y(s)?
False
Let g(t) = -2*t**2 + 11*t - 1. Suppose u = 2*f, 0 = -2*u + 7*u - f - 18. Does 7 divide g(u)?
False
Suppose s + 27*p - 32*p = 1794, -2*p + 2 = 0. Does 26 divide s?
False
Suppose -u - 8 = -12. Suppose 4*p + d - 336 = 0, -252 = -3*p - 0*p - u*d. Is p a multiple of 5?
False
Let r = 468 - 279. Is 3 a factor of r?
True
Suppose 20*h = 19*h + 883. Is h a multiple of 48?
False
Is -161 + 930 - (-22)/(-2) a multiple of 9?
False
Let y be ((-3)/(-2))/((-6)/(-84)). Let b(w) = 2*w**2 - 3*w + 9. Let m be b(5). Let r = m - y. Is 6 a factor of r?
False
Suppose 5*h = -5*m + 25, -2*h + 2*m + 30 = -m. Suppose -h*n + 144 = -0*n. Is 4 a factor of n?
True
Let b be 6/(-5)*60/(-8). Suppose 0*q + b = 3*q. Suppose -3*p - 2 = 5*x, -q*x = -p + 9 + 9. Does 6 divide p?
True
Let a(l) = l**2 - 13*l + 6. Let x be a(12). Let v(i) = i**3 + 6*i**2 - i - 6. Let h be v(x). Suppose 3*c + 0*c - 141 = h. Does 25 divide c?
False
Suppose 4*a + 13908 = -2*a. Is 6 a factor of (-44)/286 + a/(-26)?
False
Suppose 0 = -2*j - 3*j + 15. Suppose -4*o = -3*h + 13 + 1, j*o + h = -4. Is 5/o*(-920)/25 a multiple of 23?
True
Let n(y) = -y**3 + 17*y**2 - 9*y - 3. Let f be n(11). Suppose w = -4*l + l + f, -2*w + 1213 = -l. Suppose -3*o - 6 = -5*o, 5*j = 2*o + w. Is j a multiple of 21?
False
Suppose 3*v - 4*d - 20 = 0, -5*v - d + 45 = 4*d. Does 12 divide v/(-5) - -2 - 4554/(-90)?
False
Suppose 32 = 5*t - 4*u, -2*t - 5*u + 2*u - 1 = 0. Suppose 0 = t*w + w - 40. Suppose -19 - w = -j. Does 9 divide j?
True
Suppose -9*t - 3358 = -12214. Is t a multiple of 41?
True
Let x(a) = 3*a**2 - 16*a - 155. Does 8 divide x(-23)?
True
Let v(n) = n**2 - 3*n - 7. Let q be v(5). Suppose u + q*y - 16 = 6, 29 = 2*u + 3*y. Let r(g) = 2*g**2 - g + 4. Does 19 divide r(u)?
True
Let j = 2584 + -1468. Does 41 divide j?
False
Let k = 197 + -117. Suppose 8*l - k = -2*l. Does 4 divide l?
True
Let a(r) = 44*r**3 + 13*r**2 - 4*r + 1. Does 37 divide a(2)?
False
Let o be 0*-2*(-4)/32. Suppose 6*r + r - 70 = o. Does 10 divide r?
True
Suppose 26*w = 63*w - 23051. Does 5 divide w?
False
Suppose 7 = y - 0*y. Let s be 6 - y - -3*15. Suppose -p = -2*l - l + 158, l + 4*p - s = 0. Is 13 a factor of l?
True
Let s(r) = -4*r**3 - 2*r**2 - 2*r - 1. Let t be -2*4*(-1)/(-8). Let m be s(t). Suppose m*d = 8*d - 55. Is d a multiple of 11?
True
Let k(y) = 22*y**2 - 39*y + 27. Is k(6) a multiple of 39?
True
Let z = 1589 + -1385. Is 6 a factor of z?
True
Let m = 108 + -118. Let z(l) = -20*l - 33. Is z(m) a multiple of 9?
False
Let f(c) = c**3 - 5*c**2 + 6*c. Let q be f(3). Let x be (-1 - -2)*1*3. Suppose x*y + q*y = 21. Does 3 divide y?
False
Let x = 147 - 145. Suppose x*j - 16*j = -1470. Does 21 divide j?
True
Suppose 4*k = 5*q + 121 - 16, -5*k + q = -105. Suppose 6 + k = r. Let p = r - -10. Is p a multiple of 6?
True
Suppose 0 = 13*g - 774 - 669. Is g a multiple of 6?
False
Let o = 35 + -16. Let u = 59 - o. Is 4 a factor of u?
True
Let z be -18*(4 - 56/12). Suppose l - 10 - z = 0. Does 5 divide l?
False
Let f(q) = 9*q**2 + 11*q - 6. Is f(4) a multiple of 14?
True
Suppose -3*j + 4*x = -7*j + 132, 58 = 2*j - 2*x. Is j a multiple of 18?
False
Suppose a - 821 = -4*s, -s = 2*a - 82 - 132. Is s a multiple of 5?
False
Let y(b) = 5*b**2 - 18*b + b**3 + 7*b + 3*b**2 + 5. Let q be y(-10). Let w = 133 + q. Is w a multiple of 24?
True
Let j = -6268 + 9733. Does 105 divide j?
True
Suppose 10 = 4*b - 2*c, -2*b + 0*b - 5*c - 1 = 0. Suppose 20 = n + 2*t - 14, -8 = b*t. Is 14 a factor of n?
True
Is 12 a factor of (17 - -1)/((-78)/(-22516))?
True
Suppose -6*h = 5*p - h - 2275, -2*p - 5*h = -907. Is 19 a factor of p?
True
Let b = 150 - 105. Let p be 2/(-9) - (-1585)/b. Suppose v - 35 = p. Is v a multiple of 17?
False
Let z(v) = -4*v**2 - 3*v + 6. Let w be z(-4). Let f = w + 99. Is f a multiple of 11?
False
Let k(l) = 6*l + 27. Let u be (-2 + (-10)/(-5))*1. Does 21 divide k(u)?
False
Suppose -2*q + 5*k + 493 = 0, 3*q = 3*k + 277 + 449. Does 67 divide q?
False
Let x(f) = f**2 - 24*f - 278. Does 14 divide x(50)?
True
Suppose 0 = 4*f - f - 12. Suppose 5*i = f*i - 10. Does 21 divide 2 + 59 - i/5?
True
Let u(w) = 7*w - 1. Let c = 8 + -9. Let t be u(c). Does 4 divide t/5*5/(-2)?
True
Let u = 498 - 396. Does 17 divide u?
True
Suppose -19*r - 4*r + 115 = 0. Suppose i = -r*i + 144. Is i a multiple of 12?
True
Suppose -r - 2969 = -2*h, -3*h + 56*r - 61*r = -4460. Does 55 divide h?
True
Let k(t) = -14*t + 167. Is k(6) a multiple of 22?
False
Let u(x) = 4*x**2 - 2*x + 11. Let h(c) = -c**2 - c. Let o(r) = 3*h(r) + u(r). Is o(7) a multiple of 5?
True
Suppose 4*s - 100 = -2*p, -s + 8 + 8 = 5*p. Is s a multiple of 13?
True
Let o(j) = -j**2 + 16*j + 6. Let h(b) = -b**2 + 17*b + 5. Let p(t) = -3*h(t) + 4*o(t). Is p(13) a multiple of 8?
False
Suppose 15 = -5*i - 5*f, 2*i + 3*f - 3 = i. Let b be (-4)/(-1) + (-3 - i). Suppose -280 = -b*d + 2*d. Is d a multiple of 14?
True
Let s = -417 + 530. Is s a multiple of 14?
False
Let n = 11 + -8. Suppose -4*o - 3 - 1 = n*u, 20 = -5*o. Suppose -40 = -s - 2*z, 4*s - 14 - 134 = -u*z. Does 17 divide s?
True
Let h be -1 - 477/6*-2. Suppose 11 = -7*x + h. Suppose -x = -2*l + 55. Is l a multiple of 38?
True
Suppose -3*d + 35 + 145 = 0. Suppose 3*f - 294 + d = 0. Is 13 a factor of f?
True
Suppose 238 = -3*d - 26. Let p = d - -200. Is 7 a factor of p?
True
Let c be ((-1)/7)/((8/(-28))/2). Does 7 divide (28/8)/(c/2)?
True
Let p(l) = -l**3 - 9*l**2 - 13*l