 - 2*o + 128 = 0. Does 5 divide j?
False
Let s = -42 + 80. Is s a multiple of 4?
False
Suppose 4*b - 6*b = 5*i - 5974, 3579 = 3*i + 3*b. Is 89 a factor of i?
False
Suppose -4*b = -2*k + 442, -4*k - 5*b + 896 = -7*b. Is k a multiple of 45?
True
Let h be (1/(-2))/(1/(-4)). Suppose -5*y + 297 + 146 = -3*z, 0 = y - 2*z - 83. Does 6 divide (2/h)/(13/y)?
False
Let z(c) = 9*c - 2 - 4*c**2 - 5*c**2 + 10 - c**3. Let m be z(-10). Let h = m - 3. Is 7 a factor of h?
False
Let h = 565 + -226. Is 21 a factor of h?
False
Suppose 4*l - 53 = -45. Suppose m = 2*f - 418, -3*f - l*m + 579 = -48. Does 16 divide f?
False
Let d(z) = 1828*z**3 + 3*z**2 - 5*z + 2. Does 33 divide d(1)?
False
Let j = -3285 + 5043. Let t be j/(-10) + 2/(-10). Is 11 a factor of t/(-2)*1/2?
True
Suppose -2*l - a + 10 = 0, 0 = -4*l + 3*a + a + 20. Suppose 200 = 2*h + l*d, -186 = -2*h - 2*d + 4*d. Is h a multiple of 19?
True
Let v be (-282)/26 - (-6)/(-39). Let s = v - -69. Let f = -34 + s. Does 12 divide f?
True
Let i be (-32)/4 + 2 + 2. Let j(m) = m**2 - 6*m + 7. Is j(i) a multiple of 8?
False
Suppose 0*z + 5*z - u = 30, -3*u + 43 = 4*z. Let s(c) = -20*c + 7. Let k be s(z). Let y = k + 212. Is 21 a factor of y?
False
Let h be (88/(-20))/((-6)/15). Let k = 11 - h. Suppose 4*s - 24 + 8 = k. Is 3 a factor of s?
False
Let v(g) = 45*g - 53. Does 31 divide v(6)?
True
Suppose -1 - 1 = -g - 2*c, -4*g - 4*c = 0. Does 12 divide (g*1*-1)/(9/108)?
True
Let z = -53 - -283. Is z a multiple of 12?
False
Suppose -2*k + 8 = -4*k. Is (k - -2) + 2 + (-270)/(-2) a multiple of 22?
False
Let q(p) = 9*p**2 - 7*p + 10. Is q(4) a multiple of 42?
True
Let l = -87 - -138. Suppose 6*n = -4*o + 3*n + 137, -2*o - 5*n = -l. Is 19 a factor of o?
True
Let y be 2/(0 - 1/(-3)). Let t be 29/y + 1/6. Suppose -5*g = -l - 45, -29 - 28 = -4*g + t*l. Does 6 divide g?
False
Let o(l) = -l**2 - 9*l - 9. Let m be o(-7). Let k = -3 + m. Suppose 2*f + 5*q - 59 = -k*f, -3*q - 15 = 0. Is 11 a factor of f?
False
Let x(v) = -2*v**3 - v**2 - v. Let t be x(-2). Let n be (-4 + 108/24)*(0 - 0). Suppose 9*g - t*g + 70 = n. Is g a multiple of 7?
True
Let d(w) be the third derivative of w**4/6 - w**3/2 - 5*w**2. Let k be d(7). Let l = 41 - k. Is l a multiple of 16?
True
Let r = 451 - 301. Let z = 212 - r. Does 11 divide z?
False
Let s(x) = 115*x**2 - 2*x. Is 13 a factor of s(2)?
False
Let t(o) = 4*o**2 + o - 3. Let c = 125 - 130. Is 41 a factor of t(c)?
False
Let p = 1230 - 430. Is 32 a factor of p?
True
Let k = 2833 + -2430. Is 51 a factor of k?
False
Suppose -23*s = -22*s + 12. Is 2 a factor of (0 + s)/(-14 - -12)?
True
Let o(c) = 2*c**2 + 74*c + 354. Is o(-47) a multiple of 45?
False
Suppose n = 3*n - 42. Suppose 2*m - 7*w + 2*w + 19 = 0, -70 = 5*m - 5*w. Let y = m + n. Is y a multiple of 4?
True
Suppose 3*j = j + 32. Suppose 0*t = 2*t + 16. Let n = t + j. Is 4 a factor of n?
True
Let p(t) = 59*t - 7. Let l(k) = -411*k + 48. Let v(h) = 2*l(h) + 15*p(h). Is 29 a factor of v(3)?
False
Let l(m) = 6 - 4 - 15*m + m**2 - 2*m**2. Suppose -4*b = 0, 2*b + 65 = -6*z + z. Is l(z) a multiple of 6?
False
Let q(g) = g**3 + 3*g**2 - 5*g - 1. Let z be q(-4). Suppose z*r - 23 = -x, -3*r = -2*x - 40 + 113. Does 6 divide x?
False
Suppose -29 - 81 = w. Let f = -56 - w. Does 16 divide f?
False
Let u be 0 - (-3)/(1 - 7)*-6. Is 13 a factor of u*(-1)/(-4) - (-1010)/40?
True
Let j = 15 + -3. Suppose -5*l + 35 = i, -2 = -i + 2*l + j. Is 20 a factor of i?
True
Let g(m) = -m**3 + 4*m**2 + 2*m - 4. Let y be g(4). Suppose 3*h + 31 = k + 4*k, 0 = 3*k - y*h - 23. Suppose -3*s + 59 - k = 0. Is s a multiple of 8?
False
Let t = -1572 + 2313. Suppose -t - 171 = -6*a. Is a a multiple of 49?
False
Let q = 709 - 574. Is 27 a factor of q?
True
Suppose j - 2*g = 320 + 167, -499 = -j - g. Is j a multiple of 9?
True
Suppose -15*c + 10*c = -855. Let l = -89 + c. Does 19 divide l?
False
Let h(z) = z**3 + 2*z**2 - z + 114. Let f = 0 - 0. Is 19 a factor of h(f)?
True
Suppose -37*s - 2723 = -14711. Is 18 a factor of s?
True
Let i(k) = 2*k**2 + 23*k + 3. Is i(-16) a multiple of 4?
False
Suppose 81 = 4*p - 7*p - 3*i, 2*p + 62 = -4*i. Let w = -9 - p. Suppose 5*a = 5*x + 374 - w, 5*x = 3*a - 220. Does 21 divide a?
False
Let l(b) be the second derivative of b**3/6 + 3*b**2 + 4*b. Let w be l(-10). Let u = 6 + w. Is 2 a factor of u?
True
Suppose 2*u = -3*u. Suppose b - 5*p = u, p = -2*b + 6*p + 5. Suppose -4*f + 158 = b*l - 6*f, 2*l + 3*f = 67. Is l a multiple of 16?
True
Is 2290/14 + 69/161 a multiple of 41?
True
Suppose 0 = 5*q - 2*m - 2*m - 37, -2*m - 6 = 0. Suppose -q*n = -641 + 151. Does 14 divide n?
True
Is 30 a factor of ((-40)/24)/((-9)/8100)?
True
Suppose 10 + 8 = -v. Let x = 27 - v. Does 9 divide x?
True
Is 27 a factor of -1 - 21694/(-38) - 2/(-19)?
False
Suppose 19*v = 12*v + 3430. Is v a multiple of 70?
True
Let p be (-14)/(-2)*(-1 - -2). Suppose -4*w + p + 9 = 0. Suppose 30 = w*m - 98. Is 22 a factor of m?
False
Let r be 4/(-3)*(-8 - (-7 - -5)). Is 21 a factor of (-48)/(-16) - (-4)/(r/330)?
True
Suppose 0*o - 8 = -4*o. Suppose 5*n - o*m = -6*m + 17, 8 = -4*m. Suppose 4*y - 30 - 122 = -2*c, 0 = 4*y - n*c - 124. Is 10 a factor of y?
False
Let z(u) be the third derivative of -13*u**4/24 - 11*u**3/2 + u**2. Is z(-9) a multiple of 21?
True
Suppose -b = -3*a - 117, -a - 44 = -4*b + 2*b. Let d be 4/2*(-361)/a. Does 12 divide d*2/1 - 2?
True
Let a(l) = -l**2 - 38*l + 174. Is 14 a factor of a(-38)?
False
Let l(x) = 3 + 14*x + 4*x**2 - 12*x + 2*x**2 - 1. Let j(z) = -z + 2. Let w be j(3). Does 6 divide l(w)?
True
Let k = 9 - -57. Suppose 2*v - k = 124. Does 9 divide v?
False
Is 41 a factor of ((-9361)/(-55)*3)/((-2)/(-10))?
False
Let i(n) = 4*n**2 - 26*n - 29. Is 15 a factor of i(12)?
False
Suppose -3*w + 2*w = 312. Is (-10)/(-3)*w/(-5) a multiple of 23?
False
Let n(y) = y**3 + 3*y**2 - 6*y - 8. Is n(4) a multiple of 4?
True
Let p = 66 - 33. Let a = p - 25. Is 3 a factor of a?
False
Suppose -2*o + 27 = o - 3*u, 2*o + 5*u + 10 = 0. Let p = -2 + o. Suppose -p*f - f + 80 = 0. Is f a multiple of 4?
True
Suppose -9*k + 5615 = -6157. Is k a multiple of 39?
False
Suppose 2*a = 3 + 3, 4*t - 42 = -2*a. Let m(d) = -d**2 + 10*d - 13. Let n be m(t). Let i(j) = -13*j + 2. Is 18 a factor of i(n)?
True
Let r = -3 + 3. Suppose 6*d - d - 10 = 0. Suppose 0 = 3*f + 8 + 1, d*t + f - 9 = r. Does 4 divide t?
False
Let t = -254 - -266. Is t a multiple of 4?
True
Let w be (440/(-25))/((-3)/105). Suppose w = k + 3*k. Does 26 divide k?
False
Let p be (-10)/55 + (-114)/(-22). Suppose -p*f + 56 = 2*f. Is 8 a factor of f?
True
Let o(h) = 2*h + 4. Let w be o(4). Suppose q = 5, -4*k + 0*k = -3*q + 51. Is 12 a factor of (-84)/8*w/k?
False
Suppose 0 = -6*z + 3*z + n + 2, -5*n = -z + 10. Suppose d + 2*d + 4*w - 224 = z, 3*d - 226 = -2*w. Let m = -25 + d. Is m a multiple of 13?
False
Let b be (-39 + 1/1)*40/(-16). Let o = -93 + b. Is o a multiple of 2?
True
Is 2/((-12)/(-28) + 956/(-2296)) a multiple of 28?
False
Let q = -10 + 42. Suppose 0 = -4*h + 12 + q. Suppose -j = 4*d - 19, -d + 4*j = -j + h. Does 2 divide d?
True
Let n(l) = 3*l**2 + 6*l - 1. Let r be n(-6). Let j = r - 15. Is j a multiple of 8?
True
Suppose i - 15 = -4*i. Suppose -10 = 2*l, -o - l = i*o - 11. Is o a multiple of 4?
True
Let d(j) = 3*j - j - 4 + 14 - 9. Let v be d(-1). Does 31 divide (217/14)/(v/(-2))?
True
Let k(f) = -75*f. Suppose 4 = 9*c - 13*c. Let a be k(c). Does 9 divide 36/(-48) - a/(-4)?
True
Let t be (-1 - -2)*(0 - -3). Suppose -o + 10 = -t*o. Let k = o - -31. Is 16 a factor of k?
False
Suppose -4 = -5*x + 1. Suppose 0 = -h - x + 4. Suppose h*l = 5*l - 12. Is l a multiple of 2?
True
Let f = -31 + 31. Suppose 7*j + 2*z = 3*j + 58, f = -5*j + 2*z + 95. Is j a multiple of 8?
False
Suppose -9*p + 1288 = -5*p. Does 15 divide p?
False
Let l(p) = 16*p - 16. Let y(f) = -f - 1. Let o(r) = -l(r) + 2*y(r). Is 19 a factor of o(-7)?
False
Let v be (-2)/3*105/(-14). Let a = 15 + v. Let z = 26 - a. Is 6 a factor of z?
True
Suppose 2*h + 0*k = -k + 353, 3*k = -3*h + 531. Is 16 a factor of h?
True
Suppose 0 = 3*o - 0*o + 2*b - 388, -o = 3*b - 127. Suppose 2*p + o = 7*p. Does 26 divide p?
True
Let w be ((-2 - 34) + 1)*-1. Let v be 2/(-5) + 1974/w. Let j = v - 24. Is j a multiple of 8?
True
Let u(y) = -y**2 - 4. Let k(b) = b. Let p(q) = k(q) - u(q). Let r(a) = -a