False
Let c(l) = -13 - 28 + 22 + 3*l. Let t be c(8). Suppose 0 = 2*h + j - 64, -j + t*j = -2*h + 64. Does 12 divide h?
False
Let w(h) = -67*h - 4. Let k be 12/(-4) - (1 + 1)*-1. Does 20 divide w(k)?
False
Suppose 0 = q + 5*q - 2940. Suppose -2*d + q = 3*n, -n + d + 104 = -51. Does 40 divide n?
True
Suppose -7*m = -29 + 1. Suppose 0 = -m*k - 5*u + 212, -3*u - 32 - 100 = -3*k. Does 16 divide k?
True
Suppose 4*u + w = -u + 26, 0 = -w + 1. Suppose u*z - 58 = 222. Does 13 divide z?
False
Suppose 0 = 2*b + 4*b - 120. Suppose -l + 47 + b = 0. Is 19 a factor of l?
False
Suppose 3*h = -2*m + 12, 4*m + 0*m - 12 = 0. Let n(q) = -q**3 + 6*q**2 - 3*q + 1. Is 11 a factor of n(h)?
True
Suppose 5*z = -20, 0 = -7*h + 4*h - 5*z - 23. Is 9 a factor of 2*(1 - 0) + 72 + h?
False
Let j = -172 + 180. Is j a multiple of 2?
True
Suppose m + 822 + 115 = 3*v, -3*m = 3*v - 933. Is 13 a factor of v?
True
Let d = 4340 - 1739. Is 17 a factor of d?
True
Let c be 1 + 1 - 12/(-2). Let v = -6 + c. Suppose p - 23 = -3*s, -v*s + 43 = 3*s - 3*p. Is s a multiple of 4?
True
Does 2 divide (-47)/(-4) + 18/(-24)?
False
Let b(q) = q**2 - 9*q - 30. Let h be b(9). Is 4/(-10) - (1032/h - -6) a multiple of 4?
True
Let i(y) = y - 6. Let a be i(10). Suppose 5*g + 5*n - 173 = 97, -g + 48 = a*n. Does 14 divide g?
True
Let l(c) = -9*c. Let g be l(-8). Suppose 5*m + 4*n = 94, g = -3*m + 7*m + 4*n. Suppose 5*r - 34 = 3*z - 2*z, -3*r + m = z. Is r a multiple of 5?
False
Suppose 0*b + 1764 = 2*b + 4*n, -3*n + 4382 = 5*b. Is b a multiple of 78?
False
Suppose 5*b - 3*k + 0*k + 2500 = 0, 2*k = 0. Let n = -288 - b. Is 24 a factor of n?
False
Let z = -6 - -14. Does 5 divide (6/3)/z - 558/(-8)?
True
Suppose 369*d = 354*d + 78195. Does 16 divide d?
False
Let k = 63 - 11. Suppose 0 = -6*t + 832 - k. Is t a multiple of 26?
True
Let r = 49 + -19. Let g = r - 27. Is 4 a factor of 1/(g/57) + -4?
False
Let p be 2/(-1 - 10/(-6)). Suppose -5*a + 1116 = -259. Suppose -p*u + a = -q, -u + 0*u = 3*q - 105. Is 25 a factor of u?
False
Let r(n) = 11*n**2 - 1. Let j be r(1). Is (3 + 535/j)*2 a multiple of 25?
False
Is 1027/(1/1) + (-5 - -2) a multiple of 16?
True
Let b(z) = -2*z + 6*z - 171 + 2*z**2 + 154. Is 3 a factor of b(-5)?
False
Let p(a) = -a**2 + 3*a + 6. Let b be p(-6). Let u = -12 - b. Does 22 divide u?
False
Let w(l) = l**3 + 2*l**2 + 3*l. Let t be w(-2). Let r be 22/10 - 6/30. Is r*((-165)/t + 3) a multiple of 17?
False
Suppose -741 - 353 = -3*p - 4*h, 2*p + h = 731. Is 43 a factor of p?
False
Let k = 17 - 9. Let h(v) = v**3 - 8*v**2 + 2*v + 4. Is h(k) even?
True
Let l(m) = m**2 - 5*m + 4. Suppose -5*w + 3 = -22. Let u be l(w). Suppose -4 - 8 = -u*v. Does 3 divide v?
True
Suppose v - 4*c + 21 = 6*v, -2*v + 18 = 4*c. Suppose 5*n = -5*f + 1940, v = -f + 3. Is n/26 + (-16)/(-104) a multiple of 5?
True
Suppose 4*u + 3*q = 56, 14 = 2*u - u + 3*q. Let b(n) = 4*n - 35. Is b(u) a multiple of 21?
True
Suppose 0 = -2*s + 6*s - 152. Let w = s + -32. Is 5 a factor of w?
False
Suppose -30*i + 22526 - 1466 = 0. Does 13 divide i?
True
Let g(d) = -d + 2. Suppose -4*b + 2*x - 13 = 7, 3*x = 0. Let n be g(b). Suppose n*r = 5*r + 64. Does 6 divide r?
False
Let c = -11 - -73. Is c a multiple of 2?
True
Suppose -n + 4*z = -262, 3*n = -2*z + 1060 - 246. Does 50 divide n?
False
Let t = -28 - -258. Is 10 a factor of t?
True
Let n = -387 - -855. Suppose n = 2*u + u. Suppose -4*x = -0*x - u. Is 13 a factor of x?
True
Let l(u) = 3*u**3 - 7*u**2 - 9*u - 5. Is 31 a factor of l(7)?
False
Suppose 4*f = -713 + 929. Is 23 a factor of f?
False
Let t(x) = 22*x - 10. Let v be t(-6). Does 4 divide (-10)/25 + v/(-5)?
True
Suppose 50*y - 1890 = 44*y. Is 45 a factor of y?
True
Let b be -2 - (24 - (-6)/(-3)). Let y be 10/4*b/(-15). Suppose -2*c + 16 - y = 0. Is c a multiple of 3?
True
Does 61 divide 4284/4 - (7 + -10)?
False
Let v = 4246 + -2921. Is v a multiple of 25?
True
Suppose 0 = -61*k + 55*k + 1320. Is k a multiple of 11?
True
Let i be 8/36 + (-4)/18. Let c be (-6)/15 - (-584)/10. Suppose -c = -i*g - g. Does 22 divide g?
False
Let o = -297 + 507. Is o a multiple of 35?
True
Let b(u) = -u**3 + u. Let v be b(1). Let k(y) = y**2. Let l(q) = -q**3 + 5*q**2 + 40. Let w(i) = -5*k(i) + l(i). Is w(v) a multiple of 10?
True
Is 136 - 16/(112/35) a multiple of 52?
False
Let q(v) = -2*v**3 + 11*v**2 + v + 15. Let m(k) = -5*k**3 + 23*k**2 + k + 31. Let u(l) = -3*m(l) + 7*q(l). Let b be u(-8). Is 10 a factor of b/150 - 604/(-30)?
True
Let h(g) = -1 + 4 - g + 0 - 2. Let m be h(-3). Suppose -m*p = -9*p + 35. Does 2 divide p?
False
Suppose 4*d = -5*v + 12, 4*d = 6*v - 2*v + 12. Let m be 1 - (0/3 - d). Suppose -m*w - h = -5*h - 100, 76 = 4*w + 2*h. Is w a multiple of 4?
False
Let a be 11 + -13 + (-2)/(-2). Is -53*(a + 4)/(-3) a multiple of 31?
False
Suppose -w - 69 - 75 = 0. Let a = -75 - w. Is a a multiple of 10?
False
Suppose 5*b = -12 + 37. Suppose b*p = -54 + 369. Does 9 divide p?
True
Let k(y) = y**4 - 7*y**3 + 2*y**2 + 4*y - 4. Let c(l) = l**3 - l. Let i(r) = 6*c(r) + k(r). Let z(u) be the first derivative of i(u). Is z(2) a multiple of 9?
False
Suppose 2*m - 3*v = -v + 304, -5*m = -v - 752. Suppose -10*u + 5*u = -m. Is 10 a factor of u?
True
Suppose 4*t + 0*t - 644 = 4*j, j + 801 = 5*t. Does 20 divide t?
True
Let d(t) = 1 - 4*t - 22 - 14. Does 20 divide d(-17)?
False
Let a(c) = c**3 - 18*c**2 + 29*c - 17. Let p be a(14). Let j = p - -616. Is j a multiple of 13?
True
Let w(d) = -d + 12. Let z(h) = h**3 - 23*h**2 - 24*h - 12. Let c be z(24). Is w(c) a multiple of 3?
True
Let n be 12/18 + (-13)/(-3). Suppose n*g = i - 25, 2*i + g - 100 = -2*i. Is 21 a factor of -4 + (-6)/((-6)/i)?
True
Let b(h) = -h**3 + 12*h**2 + 15*h - 14. Let g(a) = -2*a**3 - 15*a**2 + 5*a - 11. Let k be g(-8). Is 3 a factor of b(k)?
True
Suppose s + 72 = 3*q, -2*s + 2*q = 3*q + 165. Let h be s/6*(-16)/12. Suppose -o + h + 42 = 0. Is o a multiple of 26?
False
Suppose -204 = 4*o + 64. Let a = 97 + o. Is a a multiple of 30?
True
Suppose 5*o = -4*s + 25 + 91, -2*s - 98 = -4*o. Is o a multiple of 2?
True
Suppose 0 = 3*r, q + 5*r = r - 6. Let d(c) = -c**3 - 2*c**2 + 6*c - 10. Is 12 a factor of d(q)?
False
Let l(x) = -x**2 + 5*x - 3. Let u be l(3). Suppose 2*t - 2*f - 28 = 0, -u*f - 9 - 15 = -t. Is 3 a factor of (-128)/(-9) + (-2)/t?
False
Suppose -2*d + 11730 = 3*d. Is 13 a factor of (1/(-2))/((-23)/d)?
False
Suppose 3*k - l + 2*l - 240 = 0, 3*l + 320 = 4*k. Is k a multiple of 3?
False
Suppose 0 = -4*n - 88 - 44. Let m = 47 + n. Is m a multiple of 10?
False
Suppose 5*y + 10 = 4*j, 2*j + y = -2 - 0. Suppose j = -21*r + 16*r + 250. Is r a multiple of 25?
True
Let z(o) = -9*o**3 - 4*o**2 + 9*o + 16. Does 4 divide z(-3)?
True
Is ((-6)/(-4))/(84/2744) a multiple of 16?
False
Let s = 1 - -1. Suppose -s*w = v + 2, 15 = 3*v - 0*w - w. Suppose 3*h + 232 = v*m - h, 2*m - 151 = -5*h. Is m a multiple of 21?
True
Let p = -18 + 18. Suppose p = -4*s - 5*l + 44, -l - 3*l - 8 = -4*s. Is 5 a factor of s?
False
Suppose -2 = 3*v - 5*d - 0, -d = 2*v - 3. Does 14 divide 12 - v - (2 + -5)?
True
Suppose -123*r = -110*r - 143. Does 5 divide r?
False
Suppose 5*o = -5*a - 5, -5*o - 3*a + 0*a + 5 = 0. Suppose -3*g - 199 = -4*l + 2, -12 = o*g. Is l a multiple of 12?
True
Suppose 6*h - 4*h + 104 = -2*v, -3*v = 3. Let a = 91 + h. Is 10 a factor of a?
True
Let i = 25 + -9. Suppose -i = -r - 0*r. Suppose -r + 180 = 2*p. Is 21 a factor of p?
False
Suppose -2 - 22 = -2*h. Let u(x) = x**3 - 11*x**2 - 11*x - 2. Let f be u(h). Is 25 a factor of 800/(-24)*(-24)/f?
False
Suppose -5*f + 5 = 5*a, 2*a - 9 = 3*f + 3. Let k be 6/(-4)*f/3. Does 12 divide -1 + (k - 0) + 78?
False
Let t(v) = v**3 + 8*v**2 - 10*v - 6. Let f be t(-9). Is 10 a factor of -3 + (f - (-95 + 3))?
False
Suppose 4*p = p. Suppose 14 = t - 5*c, -2*c - 20 = -4*t - p*t. Suppose 0 = t*v + k - 60, 4*v = -k + 4*k + 76. Does 9 divide v?
False
Let o = 43 - 15. Suppose o = -p + 5*p. Let g(x) = x**3 - 8*x**2 + 8*x - 3. Is 4 a factor of g(p)?
True
Let w(h) = h**3 + 6*h**2 - 8*h - 3. Let b be w(-5). Suppose -b - 3 = 5*d. Let l = d + 22. Does 3 divide l?
True
Suppose -4*z + 5*z + 4*o = -9, 2*o + 12 = 2*z. Is 13 a factor of z/8 + (-933)/(-8)?
True
Let b(a) = -3*a + 328. Is b(-44) a multiple of 11?
False
Suppose -z + 55 = -0*z. Let y = z + -31. Suppose i - 2*u = 20, 3*i + y = -