 (10 - 4 - -3051) + (-3 - -6). Suppose -19*g + v = -4*g. Is 11 a factor of g?
False
Let d(a) = -459*a + 118. Let b be d(-8). Suppose -n = -3*z + 2272, -5*z + 3*n + 2*n = -b. Is 72 a factor of z?
False
Let g(y) be the second derivative of 7*y**3/3 - 93*y**2/2 + 8*y - 1. Is 7 a factor of g(12)?
False
Is (1 + -2 + -3 - (-28 - -7))*13 a multiple of 13?
True
Suppose 3*y + 981 - 4238 = -h, -3*h = -12*y - 9708. Does 116 divide h?
True
Let q(c) = 13*c**2 + 11*c - 64. Suppose 6*y + 465 = 495. Does 10 divide q(y)?
False
Let o = -512 + 541. Let p = o - -187. Is p a multiple of 24?
True
Is 116 a factor of (-4)/((9 - (-1463)/(-165)) + (-3254)/24360)?
True
Let z be 35/(-2) + (-7)/14. Let x(f) = f**2 + 4*f + 24. Is x(z) a multiple of 12?
True
Suppose 3*j - 2*i - 16 = 0, -4*j - i + 18 = -7. Suppose j*r + 19 = -5. Let o = r - -24. Does 10 divide o?
True
Let r(s) = 18*s**3 - 33*s**2 + 115*s - 22. Is r(4) a multiple of 11?
False
Let b(w) = -2*w**3 - 10*w**2 - 34*w - 17. Let s be b(-5). Suppose s = -i + 713. Is 10 a factor of i?
True
Let q(c) = 12 + 11*c**2 + c + 2*c + 0*c - c**3. Let d = -1758 - -1769. Does 15 divide q(d)?
True
Let z be (-2)/1 + (-12)/(-6). Suppose -m - 42 + 211 = z. Is 23 a factor of m?
False
Let x = 331 + -530. Let l = 403 + x. Does 17 divide l?
True
Suppose 3*t + 25 = -5*g, 19*t - 3*g = 14*t + 15. Suppose -4*n = -11*h + 13*h - 2670, -3*n + h + 2000 = t. Does 12 divide n?
False
Suppose 4*x = -2*r, 4*r = 3*x - 0*x - 55. Let v = -7 - r. Is 38 a factor of 39 - v/(-2)*8/(-12)?
True
Let p = 4057 + -3013. Is 6 a factor of p?
True
Suppose -l - 9 = -2*l. Let i(j) = -11*j + 12. Let s(w) = -34*w + 36. Let c(r) = 17*i(r) - 6*s(r). Is 18 a factor of c(l)?
False
Let p(s) = -15*s - 101. Suppose x + 27 = -g - 1, -110 = 4*g + 2*x. Is p(g) a multiple of 19?
True
Suppose -2*z = 2*y - 280, 0 = -3*y + 7*z - 2*z + 460. Suppose -227 = -4*j + y. Is 3 a factor of j?
True
Is 220/(-275)*1860/(-2) a multiple of 186?
True
Is (9792/28)/(14/49) a multiple of 9?
True
Let i = 69110 - 38169. Is i a multiple of 143?
False
Let w be (-1)/(15/(-315) - (-4)/(-14)). Let u(g) = g + 1. Let a be u(2). Suppose w*v = f + 159, -a*v + f = v - 211. Does 4 divide v?
True
Let d = 11137 - -5745. Does 33 divide d?
False
Suppose f + 3*z + 5 = -1, -3*z - 24 = -f. Suppose -5 = -10*c + f*c. Suppose -7*y + 588 = -c*y. Is 49 a factor of y?
True
Let o = 7724 + 1970. Does 15 divide o?
False
Suppose 0 = -23*k + 25*k - 7120. Suppose 4*p - 8*p + k = 5*t, -4 = -t. Suppose 0 = -2*c - 0*c - o + 445, -4*c - o = -p. Is c a multiple of 28?
False
Let p be (72/16 + -5)*-3038. Let z = -799 + p. Is 36 a factor of z?
True
Let c = 8 - -5. Let w(z) be the second derivative of z**5/20 - 11*z**4/12 - 19*z**3/6 + 17*z**2/2 + 871*z + 2. Is 9 a factor of w(c)?
True
Let o(z) = 108*z**2 + 8*z + 7. Let p be o(-2). Let h = -346 + p. Is 2 a factor of h?
False
Let y = 273 - 257. Does 3 divide 396/y - 8/(-32)?
False
Suppose 2*p - 14 - 2 = 0. Let m(r) = -r**3 + 7*r**2 + r + 9. Let f be m(p). Let t = 7 - f. Is t a multiple of 18?
True
Let h = -8526 + 18822. Is 18 a factor of h?
True
Let c be 17644/(-30) - (-2 + (-140)/(-75)). Let r = -119 - c. Does 17 divide r?
False
Does 53 divide -1*1/2 - (1259/(-2) - 7)?
True
Suppose 9265 = 4*r + 27*m - 24*m, -11579 = -5*r - 6*m. Does 4 divide r?
False
Let a = 6768 - 6243. Is a a multiple of 7?
True
Let m(t) = 33*t**2 - 157*t + 3246. Is 62 a factor of m(22)?
False
Let c(n) = 1331*n - 6817. Is 118 a factor of c(34)?
False
Let q be (4/3)/(7/((-58023)/(-6))). Let t be (7*(-8)/(-84))/(2/q). Suppose -5*r + t - 179 = 0. Is 23 a factor of r?
False
Let a = -171 - -103. Suppose 61*s + 1316 = 75*s. Let h = s + a. Is 3 a factor of h?
False
Is (36 + (-2079)/66)*(-35 + 1)*-6 a multiple of 51?
True
Suppose 2*m + 8 = 3*z, 6 - 4 = 3*m - z. Suppose -l = -m*l + 2990. Suppose -12*j + l = -2*j. Does 23 divide j?
True
Suppose 3*d - 3 = 2*j + j, 2*j - 6 = 4*d. Is 2552/36 + (20/(-45))/d a multiple of 2?
False
Let h be (-406)/1 - ((-8)/2 + 1). Let m = -231 - h. Is m a multiple of 17?
False
Let h(l) = -l**2 + 34*l - 277. Let b be h(14). Suppose s + 5*x - b*x = 12, 2*s - 16 = 4*x. Is s a multiple of 5?
True
Let x(v) = 10*v + 70. Let n be x(-8). Suppose 0 = -8*c + 227 + 453. Let s = n + c. Is s a multiple of 4?
False
Let w = -814 + 820. Is 66 a factor of (w - -148)/((-7)/(-21))?
True
Suppose 5 = 12*i - 31. Let u = -113 + 37. Is 15 a factor of (-5 - 0) + i + (3 - u)?
False
Let d = -22356 - -36846. Does 16 divide d?
False
Let l(r) be the first derivative of r**3/3 + 12*r**2 + 52*r - 22. Does 43 divide l(-24)?
False
Suppose 0 = 5*q + 2*y - 79318, -4*q + 2*y + 63436 = -y. Does 103 divide q?
True
Suppose 3*t = 5*t - 36. Suppose t = -2*i + 24. Suppose 0 = -2*q + i*q - 29. Is 5 a factor of q?
False
Suppose 4618 + 374 = 2*h. Is h a multiple of 39?
True
Let u = -4861 + 5281. Is u a multiple of 95?
False
Suppose 2*t - 37 = -4*y + 1, -3*t - 5*y = -54. Suppose t*w = 7*w + 1116. Is 31 a factor of w?
True
Let o be (-825)/2*(-12)/9. Is 1/((-2198)/o + 8 + -4) a multiple of 55?
True
Suppose 2*t = -g + 11893, 45*t - 40*t + 35624 = 3*g. Is g a multiple of 14?
False
Let y be (-3)/((-18)/(-2022))*-1. Let x = -202 + y. Is x a multiple of 10?
False
Let a(y) be the first derivative of 40*y**3/3 + 3*y**2 + 6*y - 16. Does 20 divide a(-1)?
True
Let d be (-6)/4*(-3 + 3 + -6). Let s(f) = -f + 19. Let g be s(d). Suppose 0 = -g*r + 2*r + 960. Is 15 a factor of r?
True
Suppose -4*f + 707 = 3*a, -145 = -2*f + 3*a + 186. Suppose -2*s + f = 509. Is (-285)/(-20)*s/(-9) a multiple of 38?
True
Suppose -359 = -9*o + 820. Suppose -6*d + 449 = o. Is 4 a factor of d?
False
Let f(c) = -c**2 + 7*c + 31. Let o be f(10). Let v be (o - -2)*75/45. Suppose v*p - 594 = -4*p. Does 6 divide p?
True
Let h(q) = 8*q + 27. Let t be h(-5). Let n = 20 - t. Suppose f - 15 = n. Does 16 divide f?
True
Let l = 77438 - 41314. Is l a multiple of 22?
True
Does 14 divide 112/42 - 11560/(-12)?
True
Let n be 1 + (-11)/9 + 191/9. Suppose -3*x - 5*u + 0*u = 6, 3*x - 4*u = n. Suppose 2*r - 393 = -x*j, 0 = -3*j - r + 7 + 389. Is j a multiple of 20?
False
Suppose -19280*h + 19284*h - 18040 = 0. Is 11 a factor of h?
True
Let c(d) = -9*d**3 - 5*d**2 - d + 7. Let s be c(-3). Suppose -7*y + 3*y = -s. Let t = y - 30. Is 5 a factor of t?
False
Let d be 4/2*(3 - 4) + 83. Let l = d + 3. Suppose 107*a - 103*a = l. Does 6 divide a?
False
Let l be 1654/8 + (-6)/(-24). Let v be (-10230)/(-77) + (-1)/(-7). Suppose v + l = 4*n. Is n a multiple of 14?
False
Suppose 0 = 121*r - 120*r - 5755. Does 55 divide r?
False
Suppose -3*h = 5*l - 35, -l - 4*h + 24 = -0. Suppose -l*s = -3*c - 74, -3*c - 3*s + 0*s - 102 = 0. Let i = c + 101. Does 8 divide i?
False
Suppose 187 = -6*h + 235. Does 28 divide 224*h/(-2 - -10)?
True
Let y = -419 - -377. Is 10 a factor of (-5)/(15/y)*270/7?
True
Let i = 125 + -110. Let t(q) = -14*q**2 - 3 - 9*q - 9 + 5 + q**3. Is t(i) a multiple of 31?
False
Suppose -3647 = -5*t - 2*x, -2*t - 5*x + 3650 = 3*t. Suppose -t + 29 = -20*m. Is 35 a factor of m?
True
Let f(b) = -15*b + 13*b - 59 - 12*b. Is f(-9) a multiple of 6?
False
Let b = 69 - 39. Let q = b - 32. Does 10 divide 1 + q/(-2) - (0 - 128)?
True
Suppose 535*w + 61864 = 557*w. Is w a multiple of 76?
True
Let r = -2881 + 5703. Is r a multiple of 4?
False
Let o = -1 - -3. Suppose -o*x - 3*n = n - 142, 0 = -3*x - 5*n + 210. Let u = 97 - x. Is u a multiple of 16?
True
Suppose -4*j - 22 = 18. Let o(x) = 3*x + 32. Let z be o(j). Suppose -4*i = -0*i - z*s - 266, -137 = -2*i - 3*s. Is 22 a factor of i?
False
Let t be ((-4)/(-1) + 50/(-15))*3. Suppose -4*r = t*n - 24, -4*n + 33 = 3*r - 10. Suppose -n = 5*l - 125. Is l a multiple of 13?
False
Let r(x) = 1471*x**2 - 1713*x + 8528. Is 26 a factor of r(5)?
True
Suppose -47586 = 11*j - 279202. Does 28 divide j?
True
Suppose -2*z - 3*s + 1091 = -6*z, -4*s - 1112 = 4*z. Let j = z - -738. Does 32 divide j?
False
Let g(i) = -10*i**3 - 7*i**2 - 91*i - 50. Does 40 divide g(-18)?
True
Let y = 19 + -16. Let z be 2/(-10) - (-28)/105*12. Suppose -y*b + 216 = 3*w, -3*b + 0*w + z*w = -216. Is 9 a factor of b?
True
Let m = 330 + -90. Let g = m - 122. Is g a multiple of 13?
False
Suppose -3*k - 5*y = 247 - 405, -4*k + 234 = 2*y. Is 2 a factor of k?
False
Suppose -6*x + 82 = -26. Suppose -x*d = -7*d - 12155. Is