2 - 125*l + 267. Does 83 divide b(-79)?
True
Let c(p) = 2*p - 33. Let i be (-4)/14 - 2415/(-49). Let z = 78 - i. Is c(z) a multiple of 4?
False
Is ((-14532)/10)/((-644)/3220) a multiple of 7?
True
Let a(o) = -195 - 126*o + 67*o + 7. Is a(-23) a multiple of 14?
False
Let z = -529 + 1044. Let q = -380 + z. Does 5 divide q?
True
Let f(t) = t + 132. Let p(j) = j - 130. Let q(o) = -4*f(o) - 5*p(o). Does 17 divide q(-11)?
True
Suppose -7*r = 18*r - 41*r + 258240. Is 20 a factor of r?
True
Let w(m) = 202*m - 8. Let y be w(-1). Does 6 divide y/10*(-66)/21?
True
Suppose 76 = -3*r - 4*v, -6*r + 4*r - v - 49 = 0. Is 10 a factor of 12/r - 1/((-4)/1482)?
True
Suppose 2*o = -2, -5*g + 18 = 4*o - 13. Suppose -z + 0*s - 3*s - g = 0, -z - 5*s = 13. Is 17 a factor of -2 + 2 - ((z - 1) + -69)?
True
Let j(z) = -z**3 - 2*z**2. Let h(n) = -7*n**3 - 8*n**2 - 13*n - 2. Let c(a) = -h(a) + 6*j(a). Is 47 a factor of c(13)?
True
Let h = -29 + 49. Let k be 2/10 + (-964)/h + 5. Let n = -30 - k. Does 6 divide n?
False
Let w(d) = -20*d - 220. Let r be w(-13). Let i(f) = -f**3 + 10*f**2 + 13*f - 10. Let t be i(11). Is 25 a factor of (-50)/r + 2115/t?
True
Let s(w) be the first derivative of 5/2*w**2 + 19 + 4*w + 1/3*w**3. Is s(4) a multiple of 40?
True
Suppose 7*n = 4*n + 126. Suppose n*u - 37*u = 85. Let t(i) = -i**3 + 18*i**2 - 14*i - 17. Is t(u) a multiple of 14?
False
Let q = -196 + 208. Is -2 - (2 - -15)/(q/(-228)) a multiple of 87?
False
Let s(y) = 113 + 9*y + 5*y - 111 + 62*y**2. Let q be s(3). Suppose 5*m - q = -32. Is 38 a factor of m?
True
Let x be (4/5)/(42/105). Suppose -134 = -4*j + 2*k, x*k + k = -9. Suppose -10*u = -j - 138. Does 7 divide u?
False
Suppose 5*f = -o - 744, o + 0*o - 5*f = -774. Let q = o - -1474. Let w = q - 508. Is w a multiple of 23?
True
Suppose 0 = 9*d + 4443 - 62655. Is d a multiple of 49?
True
Let q be ((-420)/(-25))/3 + (-6)/10. Suppose 2*b + q*s = 488, -5*b + 4*s - s + 1220 = 0. Does 7 divide b?
False
Suppose 122*z - 118*z - 3164 = 0. Suppose 18*s - z = 1369. Does 9 divide s?
False
Suppose 0 = -5*b + 4*h - 8*h + 4155, -h = 0. Does 62 divide b?
False
Let x(v) = v**3 + 83*v**2 + 427*v + 95. Does 186 divide x(-77)?
True
Let c(f) = 6*f**2 - 283*f + 3215. Does 45 divide c(12)?
False
Suppose 0 = -23*x - 42*x + 135070. Is 17 a factor of x?
False
Suppose -5*i - 638 = -3*w - 79154, -62848 = -4*i - 2*w. Is 11 a factor of i?
True
Let f = 4502 + -3385. Does 32 divide f?
False
Suppose 6655 = -v - 3*v + 36139. Is 21 a factor of v?
True
Let h(w) = 2*w**2 - 68*w + 44. Let v be h(35). Suppose -11060 = 107*i - v*i. Is 79 a factor of i?
True
Suppose 9*y - 12119 - 3901 = 0. Is 5 a factor of y?
True
Let u = 81 - 79. Suppose u*j + 3*c = -49 - 50, -5*j - 2*c = 253. Let w = 111 + j. Is 15 a factor of w?
True
Let i(w) = -6*w**2 - 82*w - 23. Let a be i(-15). Let l = a + 347. Does 24 divide l?
False
Suppose 57*f - 486526 = 606864 - 18769. Does 11 divide f?
False
Let n be -3 - -6 - 12/1. Let j = n - -22. Let c = 10 + j. Does 18 divide c?
False
Suppose 0 + 17 = -f. Let c = -14 - f. Suppose 0 = c*n - 0*n - 120. Is 20 a factor of n?
True
Let x(b) = -b**3 + 10*b**2 - 7*b - 9. Let g be x(9). Let s be (g + -10)/((-1)/87). Let h = s - 49. Does 9 divide h?
False
Let n(f) be the second derivative of -f**3/3 + 26*f**2 - 1240*f. Suppose 0 = -3*v - 2*o - 58, v - 2*v + o - 26 = 0. Is n(v) a multiple of 39?
False
Let n(q) = -10*q**2 + 3 - 11 - 1 - 8*q - q**3 + 10*q. Let b be n(-9). Let w = -77 - b. Is w a multiple of 7?
False
Does 4 divide -5*(-3)/(-5) + 0 + 4759?
True
Suppose 4*c - 28533 = -3*y, 0 = 5*c + 39*y - 36*y - 35667. Is c a multiple of 39?
False
Let q be 2*-1 - (-3 - -42)/(-3). Let g = 48 - q. Suppose -13 = -5*x + g. Does 3 divide x?
False
Suppose 147*y - 3638943 = -105*y + 21*y. Does 177 divide y?
True
Let g(y) = 51*y**3 + 4*y**2 + 3*y - 4. Let t be g(2). Suppose -3*r + 3*u = -t, -r + 5*u - 84 = -226. Is r a multiple of 71?
True
Let b(y) = -y**3 - 3*y. Let r(x) = 10*x**3 + 4*x**2 + 50*x - 10. Let n(o) = -12*b(o) - r(o). Let c be 21/4 + 1/(-4). Does 15 divide n(c)?
True
Suppose -10*x = 168 + 162. Let b = 74 - x. Is b a multiple of 9?
False
Suppose -59753 + 12787 = -23*p. Does 88 divide p?
False
Let j(g) = 33*g - 11. Let c(z) = 32*z - 12. Let w(i) = 5*c(i) - 4*j(i). Suppose 0 = 2*h - n - 5, h - 5*n + 20 = -0*h. Does 31 divide w(h)?
True
Let w be 2 - (-2 + 4) - -3. Suppose -37 = -5*i - 3*n, i + w*n = -3*i + 32. Suppose -3*d - b + 47 = -438, -i*d = -2*b - 812. Is 15 a factor of d?
False
Let z(i) = -11*i + 11. Let q(m) = -m**2 - 5*m + 9. Suppose -3*h = -f + 24, -4*f + 40 = -3*h + 7. Let y be q(h). Does 11 divide z(y)?
True
Let f(m) = 5*m - 99. Let b be f(-11). Let j = b + 648. Does 27 divide j?
False
Suppose 5*n - 3*a + 5*a - 41 = 0, 37 = 5*n + 4*a. Suppose k = n*k - 5128. Does 10 divide 2/(-10) - k/(-5)?
False
Let l be (-4)/8*1*8. Let x be -4 + (-101 - -1) + l. Is 12 a factor of ((-12)/18)/(3/x)?
True
Suppose -168168 = 4*y - 18*y. Is 11 a factor of ((-2)/3)/((-56)/y)?
True
Let v(d) = 5*d**2 - 18*d - 1. Let w be v(7). Let h = 202 - w. Does 14 divide h?
True
Let n(h) = 2*h**2 + 8*h + 2. Let m be n(-4). Suppose -44 = -4*t - 7*t. Suppose 12 = d - b, -m = -5*d - t*b + 85. Is 15 a factor of d?
True
Suppose -34*v = -244162 - 85910. Is v a multiple of 12?
True
Let a = -266 + 266. Is 16 a factor of 15 - -274 - (a - -1)?
True
Suppose -6*c - 48174 = 3*p - 4*p, 5*p - c - 241073 = 0. Is 28 a factor of p?
True
Let t = 577 - 573. Suppose 6*j + t*a = 7*j - 336, 0 = 5*a + 15. Is j a multiple of 27?
True
Let p = 246 + -236. Suppose -i = -j + 1678, -j - 5*i + 1694 = -p*i. Is 19 a factor of j?
False
Let a = 7 - 7. Suppose 16 + 86 = 3*l. Suppose 2*p = 2*o - l, 2*o + a*p - 3*p = 29. Is 5 a factor of o?
False
Suppose 26*h = 20*h + 6. Suppose -b - h = -2*u - 3, -5 = -b + 5*u. Suppose b = 11*d - 2*d - 1125. Is 25 a factor of d?
True
Suppose 998 + 175 = -5*h + 3*n, -5*h - 2*n - 1168 = 0. Let d = -192 - h. Does 19 divide d?
False
Suppose 0 = -110*o - 70799 + 821947 + 1247772. Is 11 a factor of o?
True
Suppose w - 19 = -3*r, -4*r = -2*w + 4*w - 28. Suppose 21*v - 8606 = -r*v. Is v a multiple of 18?
False
Suppose -z + 2*i = -108, -4*z + 60 + 372 = i. Let g = 232 - z. Let q = g - -20. Is q a multiple of 16?
True
Let q(y) = -6*y + 2497. Does 11 divide q(3)?
False
Let m(b) = 15*b + 275. Let g be m(-46). Let a = g + 428. Is a a multiple of 7?
False
Suppose -2*u = -3 - 11. Suppose u*l - v = 2*l + 1249, l - 253 = v. Let f = 417 - l. Is f a multiple of 28?
True
Let q = 1118 + -155. Does 31 divide q/(-8 - -5)*-1?
False
Suppose -48 = -5*y - y. Let s = y - 20. Let v(f) = -f**2 - 16*f - 8. Is v(s) a multiple of 15?
False
Suppose 5*m - 4 = 6, 2*f - m = 38. Suppose -f*j = -5501 - 1899. Is 37 a factor of j?
True
Suppose 4*v - 8*v = -g + 947, 0 = -v - 3*g - 240. Let m = -181 - v. Does 14 divide m?
True
Let y(x) = 107*x - 66. Let j be y(-7). Let r = j + 185. Let m = r - -974. Is m a multiple of 43?
True
Let a be (354/8)/((-48)/(-64)). Suppose -6*m + 2*m = -16, -a = -u - m. Is 9 a factor of u - ((-6)/3 + 3)?
True
Let f be (-162)/8 - -3 - (-12)/48. Let g = f - -293. Is g a multiple of 30?
False
Let c(g) be the second derivative of 55/6*g**3 + 15/2*g**2 + 0 + 16*g. Is c(3) a multiple of 20?
True
Let r = 3480 + -2894. Is r a multiple of 3?
False
Let m(p) = 4*p**2 - 30*p + 47. Let z be m(6). Suppose 561 - 2200 = -z*h. Does 17 divide h?
False
Is ((-102)/306)/(2 - 4682/2340) a multiple of 15?
True
Does 54 divide 0 - 0 - (-523 + -37979)?
True
Let b(o) = 77*o**2 - 1. Let a be b(1). Let u = -809 - -726. Let z = a - u. Is z a multiple of 21?
False
Let t be (-3027)/(-6) - (-7)/14. Let f = -370 - -719. Let b = t - f. Is b a multiple of 13?
True
Suppose 348 = 5*n + 11*a - 9*a, 4*n - 276 = -4*a. Does 35 divide n?
True
Suppose -8*a - 30 = -11*a. Suppose -4*t + 4*u = -16, 3*t = -3*u + 2 + a. Suppose t*d = 10*d - 246. Is d a multiple of 5?
False
Suppose 10*k - 4*k = 6. Does 29 divide (4959/(-38))/(5/8 - k)?
True
Let y = -3993 - -8911. Is y a multiple of 33?
False
Let m(r) = 10*r**3 - 69*r**2 + 10*r - 24. Does 66 divide m(11)?
False
Let h(f) = 631*f - 1042. Is 53 a factor of h(46)?
True
Let a be ((-140)/25)/(-7)*-800. Let f = 1136 + a. Does 16 divide f?
True
Suppose -493 = -6*f - 3217. Suppose d - 1082 + 320 = 0. Let t = d + f. Is