g = -6 - -11. Suppose 4*r - 36 = 4*i, i + 0*i = -r - g. Is 32 a factor of v(i)?
True
Suppose -39386 = -3*g - 2*b, -203*g + 26284 = -201*g - 4*b. Is 40 a factor of g?
False
Let w = 7452 - 6300. Is w a multiple of 16?
True
Let x(j) be the first derivative of 9 - 5*j**2 - 6*j - 1/3*j**3. Does 18 divide x(-4)?
True
Let h(v) = v**3 + 29*v**2 - 2*v + 30. Is h(-23) a multiple of 25?
True
Suppose 33*h + 10100 = 23*h + 81860. Is 78 a factor of h?
True
Suppose 25 = 5*i - 15. Suppose 32 = -8*v - i*v. Is 86/v*(-22 + 20) a multiple of 13?
False
Suppose -m - 140 = -21*m. Suppose m*a = a + 852. Is a a multiple of 6?
False
Suppose -6*d = -2009 + 1997. Suppose -5*p + 577 = -4*f, d*p - 5*f - 79 - 145 = 0. Is p a multiple of 3?
True
Let m be (-2)/(-9) - (-38870)/207. Let y = m - 36. Is 8 a factor of y?
True
Let n = -421 + 200. Let a = 59 - n. Is 8 a factor of a?
True
Let p(t) = -6*t**3 + t**2 - t - 10. Let s be p(-3). Suppose 17*m - 19*m = 74. Let r = s + m. Does 24 divide r?
False
Let b(c) = 11*c**3 - 5*c**2 - c - 14. Let p(n) = 21*n**3 - 12*n**2 - 3*n - 26. Let f(a) = -7*b(a) + 3*p(a). Does 5 divide f(-3)?
True
Does 164 divide -10 + (-189)/(-18) + 7216 - 1/2?
True
Let u(n) be the first derivative of n**4/4 + n**3/3 + n**2 + 302*n - 7. Let x be u(0). Suppose -w + 6*w + p - x = 0, -w + 62 = p. Is 10 a factor of w?
True
Let k = -60 - -30. Let p = k - 41. Let o = p - -98. Is 3 a factor of o?
True
Suppose 58*g = 129403 - 44897. Does 47 divide g?
True
Let z(u) = -u**3 + 38*u - 8. Let s be z(6). Suppose -4*v + s*a + 1016 = 0, 5*v - 760 = 2*v + 2*a. Is v a multiple of 28?
True
Let r(p) = 1. Let w(n) be the first derivative of -n**2 - 19*n + 16. Let m(l) = 4*r(l) + w(l). Does 3 divide m(-12)?
True
Let s(i) = 2343*i - 3219. Does 59 divide s(5)?
True
Suppose -5*f - 4*y = 39 + 47, -78 = 5*f + 2*y. Does 42 divide (128 + 0)*(9 + 9 + f)?
False
Let u(c) = c**2 + 3*c - 1. Let n(i) = -2*i**2 + 22*i + 42. Let b(l) = -n(l) - 3*u(l). Does 19 divide b(-21)?
True
Suppose -3*t = -10 + 148. Let c = 1352 + -1352. Is -4 - -2 - t*(3 + c) a multiple of 34?
True
Let c(v) = -v**2 + 5*v + 67. Let z be c(-6). Is 6 + z - (31 + -639) a multiple of 85?
False
Let x(o) = o**2 + 2*o - 144. Suppose 395 = -28*z - 277. Does 17 divide x(z)?
False
Suppose 961*o = 1023*o - 237956. Does 35 divide o?
False
Let h be ((-12)/6)/(-18) - 483/(-27). Suppose 798 = -12*m + h*m. Does 7 divide m?
True
Let m(w) = w**3 + 22*w**2 + 19*w + 20. Let q be m(-21). Let r = 99 - q. Is r a multiple of 3?
False
Let a = 8753 + -6503. Is a a multiple of 45?
True
Is 161 a factor of 12 - 13573/(-1) - 17?
False
Suppose -13*u + 4*v + 503 = -14*u, 2*u = 4*v - 958. Let w = 1703 + u. Does 64 divide w?
True
Let u = 469 + 2144. Does 154 divide u?
False
Let f(h) = h**3 - 5*h**2 - h + 6. Let b be f(5). Let d be -14 + 14 + (b - 5). Let u(g) = -g**3 - g**2 + 7*g - 2. Does 9 divide u(d)?
True
Suppose -9*b + 13511 = 4034. Does 5 divide b?
False
Let z = -16796 - -37129. Is z a multiple of 9?
False
Let u = -583 + 336. Let c = 268 + u. Does 6 divide c?
False
Let n(r) = 4*r**2 + 34*r + 1146. Does 48 divide n(33)?
True
Let t be (120/75 + (-6)/10)*2. Suppose -t*g - 1956 = -2*f, -4*f + 1663 + 2254 = -3*g. Suppose 4*w - 980 = 4*v, -4*w - v + 4*v + f = 0. Is w a multiple of 19?
False
Is 4706 + 4 + 28/(-14) a multiple of 11?
True
Let y(o) = -20*o**2 - 4*o + 14. Let q be y(3). Let c = q - -218. Is 40 a factor of c?
True
Suppose -3*n + 9 = 2*y, 3*y - 5*n + 3*n = -6. Suppose -483*h + 488*h - 4165 = y. Is 49 a factor of h?
True
Let v = -104 - -104. Suppose -50*z + 52*z - 330 = v. Let i = z - 93. Is 24 a factor of i?
True
Suppose -16 = 4*p - 4*m, 4*p - 8 = m - 27. Let x(z) = -2*z**3 + 5*z**2 - 8*z + 2. Is 48 a factor of x(p)?
False
Let q(r) = 6*r**3 - 5*r**2 + 2*r + 16. Suppose 1 = 3*u - 8. Does 30 divide q(u)?
False
Does 18 divide (-10)/3*((-35717)/55 - -14)?
False
Let k(q) = 192*q**2 - 59*q + 987. Is k(13) a multiple of 57?
False
Let g = 1 - -5. Suppose 2*s - 46 - 264 = 4*l, s = -3*l + 135. Suppose s + 513 = g*w. Does 13 divide w?
False
Suppose 16457 - 969 = -22*i. Let o = i - -888. Is 18 a factor of o?
False
Let w(c) = 8*c**3 + 2*c**2 - 84*c. Does 14 divide w(7)?
True
Let n(d) = 46*d - 72. Let z be n(2). Suppose -1008 = z*x - 26*x. Does 6 divide x?
True
Let s(p) = -p**2 + 34*p + 15. Let j(v) = v**2 - 35*v - 15. Let q(z) = -3*j(z) - 2*s(z). Is q(11) a multiple of 43?
True
Let i = -100 + 105. Suppose 13*m - 3*j = 14*m - 3, -i*m + 67 = 2*j. Is m a multiple of 15?
True
Suppose 3*t = x + x + 2522, -3*t + 4*x + 2530 = 0. Suppose -l - 5*q - t = -3*l, 3*l = 2*q + 1257. Does 21 divide l?
False
Suppose 15*g - 27700 = 483140. Is 23 a factor of g?
False
Suppose -11*l - 812 = 717. Let b = l - -223. Is 21 a factor of b?
True
Let g = -250 - -240. Let f(s) = -s**3 - 4*s**2 + 5*s + 94. Is f(g) a multiple of 59?
False
Let m = -4147 + 4788. Does 3 divide m?
False
Let y be 1/((-275)/(-132) - 4/2). Suppose 212 = y*c - 664. Is 2 a factor of c?
False
Let i = -4683 - -6432. Does 53 divide i?
True
Is 8 a factor of (0/(-11) + -3)/((-3)/6728)?
True
Suppose o - 2036 = -0*o + 5*a, 3*a - 10180 = -5*o. Let q = o + -1434. Does 31 divide q?
False
Let h = 14 - -3. Suppose -16*m = -h*m. Is 44 + m/(-2 + 0) a multiple of 22?
True
Suppose -245*r + 509472 + 433466 = -343312. Does 42 divide r?
True
Let a(j) = -171*j + 242. Does 40 divide a(-6)?
False
Let q = 97 - -132. Let o(s) = 10*s - 8. Let i be o(-11). Let g = i + q. Is 37 a factor of g?
True
Let s(h) = 812 - 407 - 415 + 4*h**2 - 2*h. Does 13 divide s(-11)?
False
Suppose 0 = 2*p - 7 - 345. Suppose -27*n + 28*n - p = 0. Let r = 326 - n. Is r a multiple of 15?
True
Let j be (-125)/(-10)*12/10. Suppose 15*r + 135 - 540 = 0. Suppose -4*d = 2*o - 81 - r, -5*d - j = 0. Is 10 a factor of o?
True
Suppose 2*t = j + 393 + 186, -570 = -2*t - 2*j. Suppose t = -9*f + 12*f. Suppose -r + 0*h = -3*h - 29, 2*h = 4*r - f. Is 21 a factor of r?
False
Suppose 5*w - 992 = -2*a + 362, -5*w = -2*a + 1334. Suppose -15*j + 2097 = a. Is 13 a factor of j?
False
Is 32 a factor of (4 + 15/(-5))/((-3)/(-15123))?
False
Suppose -2*i + 2 = -v, -v + 14 = 5*i + 2. Suppose 2*w - c - 40 = 0, 0 = 2*w - i*c + 6 - 42. Is w a multiple of 2?
True
Is 28 a factor of 4/18 + (2068/(-45))/((-12)/15990)?
True
Let h = 900 + 8032. Does 11 divide h?
True
Let o = 42570 - 28412. Is o a multiple of 26?
False
Suppose -6*v + v + 3*p = -815, -300 = -2*v - 4*p. Let l = v + -100. Is 4 a factor of l?
True
Suppose -7*p = -11*p + 8568. Suppose -p = -33*m - m. Does 9 divide m?
True
Let q(t) = 78*t + 185. Is q(55) a multiple of 16?
False
Let x(m) be the second derivative of -11*m**3/3 - 13*m**2/2 + 8*m - 4. Is x(-7) a multiple of 6?
False
Suppose m = q + 3335, q - 3350 = -m + 5*q. Is 6 a factor of m?
True
Let p(g) = -2790*g - 291. Does 34 divide p(-8)?
False
Is 6 a factor of (-20)/(-2)*1080/48?
False
Suppose y + 2*n - 48 = 4*n, y + n - 33 = 0. Let o(w) = -3*w**3 + 37*w**2 - 18*w + 51. Let z be o(12). Let t = z + y. Is t a multiple of 3?
False
Suppose -121*p + 56*p = -31395. Does 20 divide p?
False
Let t(j) be the second derivative of j**4/12 + 4*j**3/3 + 21*j**2 - 33*j. Does 21 divide t(-15)?
True
Let s be (-14)/(-5) - 1/(-5). Let h(g) = 6 - 127*g**2 + 130*g**2 - s*g + 2. Is 43 a factor of h(-5)?
False
Let r = 47 - 56. Let w = -3 - r. Suppose -4*q + w*q = 142. Is q a multiple of 14?
False
Let l = 96 - -56. Suppose 4*g - 1484 = -l. Is g a multiple of 8?
False
Suppose 5*b - 13 = 2. Suppose 5*g + 3*f - 49 = 0, b*f - 1 = g - 0. Let k(i) = 9*i + 35. Is k(g) a multiple of 13?
False
Suppose 0 = 54*n - 56*n + 8. Suppose -2*x - 472 = -3*k - 89, 0 = 5*k + n*x - 653. Is k a multiple of 3?
True
Let q(o) = o**3 - o. Let m(v) = -v**3 - 11*v**2 - 7*v + 48. Let u(i) = -m(i) - 2*q(i). Let g be u(12). Let h = -50 - g. Does 18 divide h?
False
Is 1462 + (-1 + -14)/((-15)/(-10)) a multiple of 44?
True
Suppose -258920 = -25*p + 173680. Suppose 8*v + 6*v = p. Is 73 a factor of v?
False
Let z = 13826 - 9605. Is 67 a factor of z?
True
Suppose -5*j - 4*m = -m - 8070, -4*j + m = -6439. Is j a multiple of 23?
False
Suppose 5*l + 20 = 0, -20*n + 23*n = -4*l - 4. Suppose 5*k + 323 = f, 5*f = 3*f - n*k + 688. Does 7 divide f?
False
Suppose -80*w + z = -79*w, -3*w - 5*z = 0. Suppose w = 4*u - 0*u + 2*v - 3096, -3*v + 1548 = 2*u. Is