 - 4 + 5 - 5. Let p(a) = -4*h(a) - 21*v(a). Does 10 divide p(3)?
False
Let q(j) = -5*j + 10. Suppose 5*m + 2*m + 14 = 0. Let f be ((-60)/(-24))/(m/8). Is 12 a factor of q(f)?
True
Let y(k) = -11*k - 14. Let g = 16 - 11. Suppose g*f = 4 - 34. Is y(f) a multiple of 9?
False
Let n(i) = 87*i - 352. Does 57 divide n(12)?
False
Let x(o) = 67*o + 5. Let q = 21 + -14. Let i be x(q). Does 10 divide (-2)/(-4) + i/12?
True
Let j(k) = -k**2 + 16*k - 2. Let w be j(11). Let r = w + -181. Let y = r - -180. Is 13 a factor of y?
True
Let b = -11 + 23. Is 2 a factor of 48/2*8/b?
True
Suppose 5*o + 5 = 5*t, -2*t - 2 - 11 = 3*o. Let c = 7 + t. Suppose -4*a + 2 = j, -c*j = -a + 2*a - 67. Is 7 a factor of j?
True
Does 16 divide (13 - 6 - 12)/(4/(-604))?
False
Let c(g) = 3*g + 24. Let d be c(-12). Let s(n) = -3*n. Is s(d) a multiple of 7?
False
Suppose 0 = -s - 3*n + 12, 2*n - 16 = 5*s - 7*s. Does 15 divide (s/(-4))/((-1)/18)?
False
Let x(v) = v**3 + 7*v**2 - 6*v + 35. Is x(-8) a multiple of 19?
True
Suppose v = 4*r - 54, 34 + 16 = 4*r + v. Suppose 0 = r*a - 8*a - 675. Does 27 divide a?
True
Let h(l) = l**2 + 2*l - 5. Let z be h(0). Let r(a) = -20*a + 8. Is 18 a factor of r(z)?
True
Let x = 14 + -11. Suppose 0*w - 3*r - 9 = x*w, r + 3 = -2*w. Suppose -4*i = 5*u - w*i - 217, 4*i = 4*u - 188. Does 16 divide u?
False
Let j(p) = 14*p + 6. Suppose 3 = 40*i - 39*i. Is 8 a factor of j(i)?
True
Let f(z) = 93*z + 156. Is 87 a factor of f(32)?
True
Let b be ((-110)/44)/(1/(-2)). Suppose -2*h = -b*h + 6. Suppose 3*x = -h*u + 33, -x - 30 = -5*u + 2*x. Does 5 divide u?
False
Suppose -2*o - 4 + 12 = 0. Suppose 0 = o*q + 40 - 300. Is q a multiple of 10?
False
Does 3 divide ((-31)/(-5))/(7/35 + 0)?
False
Suppose 3*v = 2*i - 9 - 76, -5*v = 2*i + 163. Let f = 378 + -287. Let x = f + v. Is 19 a factor of x?
False
Suppose -6*g = -4*g + 3*z - 63, 2*g = -z + 57. Suppose -2*o = 4, -g = h + o - 161. Is 34 a factor of h?
True
Let c(u) = -6*u + 51. Let t = -42 - -42. Is c(t) a multiple of 4?
False
Let n = 17 + -14. Suppose -4*a - 5*y + 55 = -9*a, -n*a + 4*y = 38. Does 13 divide 206/4 + (-3)/a?
True
Let y(d) = 22*d - 10. Let f = -12 - -15. Is y(f) a multiple of 14?
True
Suppose -2*b = 4*r - 1 - 41, 2*b - 3*r - 7 = 0. Suppose -6*o = -b*o + 720. Is o a multiple of 36?
True
Is -9 + ((-2176)/(-4) - 1) a multiple of 64?
False
Let s be (-3)/12*-12*(-184)/6. Let f = s + 165. Is f a multiple of 14?
False
Suppose -2*y = 3*y - 30. Suppose -48 - 126 = -y*w. Does 26 divide w?
False
Let h = 768 + -448. Suppose 2*g - 2*n = 172, 4*g + 4*n - h = 2*n. Is 9 a factor of g?
False
Suppose -2*i = t + 14 - 3, -5*t + 3*i = 3. Let s be (-6)/(-4) + t/2. Suppose s*o - 24 = -2*o. Is 6 a factor of o?
True
Suppose 4*d = 3*o + 11, -o + 34 = 2*o + 5*d. Let u(w) be the first derivative of 4*w**3/3 - 2*w**2 + 3*w + 265. Does 9 divide u(o)?
True
Let z be -1*2/(-3) + (-44)/12. Let b(k) = k**3 + 4*k**2 + 2*k + 6. Does 5 divide b(z)?
False
Suppose 6*c + 3*c - 396 = 0. Let s = c - 21. Does 6 divide s?
False
Suppose 2*h = -4*k + 2442, -k - 5*h + 494 = -130. Is k a multiple of 21?
True
Suppose 0*k + 576 = -8*k. Let t = k - -164. Suppose 2*u - 2*r = t, -3*u + 11 = -5*r - 123. Is u a multiple of 24?
True
Suppose p + 2*a - 5 = -4*p, -1 = -p - 3*a. Let n be 0 - p - 150/(-2). Suppose 0 = -3*y - i + 35, n - 24 = 4*y - 2*i. Is 8 a factor of y?
False
Let q(b) = -b**2 + 6*b + 8. Let c be q(7). Suppose -a - c = -2. Let s = 5 - a. Is 2 a factor of s?
True
Let a = -19 + 11. Let r(u) = u**2 - 6. Let x be r(a). Suppose -3*q + 80 = 2*d - d, -2*q = 3*d - x. Is q a multiple of 9?
False
Let i = 17 - 15. Suppose -4*l - 9 = -s, 4*s - l - 11 = i*s. Suppose -19 = -s*b + 116. Does 10 divide b?
False
Let s = -210 - -259. Is s a multiple of 9?
False
Let s(d) = -d**3 - 5*d**2 - 2*d + 5. Let z be s(-5). Let l(g) = g**2 + 2*g - 74. Let c be l(-10). Is 992/20 + c/z a multiple of 18?
False
Let j(l) = -l - 5. Let c be j(-7). Suppose -97 = -i + x, i + 2*x + 288 = 4*i. Suppose -2*y + c*m + i = -3*m, -3*y + 3*m + 159 = 0. Does 19 divide y?
True
Suppose 100 = -0*i + 2*i. Let m = i + -35. Is 5 a factor of m?
True
Let a(l) = -4*l**2 - 35 + 5*l + 2*l**2 + 29 + 5*l**2. Let g be (-14)/3 - (-1)/(-3). Does 22 divide a(g)?
True
Let o = 48 - -72. Does 15 divide o?
True
Let l be 1029/(-49)*((-1)/3 + 0). Let b be (0 - 1)/((-2)/10). Suppose -b*n + 67 = l. Is 5 a factor of n?
False
Suppose -19262 = -5*i - 4062. Does 95 divide i?
True
Let g(u) = u**3 + 10*u**2 + u + 22. Let v be g(-10). Suppose 0 = q - v - 20. Is q a multiple of 5?
False
Let i = -19 - -19. Suppose 2*h + 3 - 21 = i. Let l = 24 - h. Is l a multiple of 15?
True
Let x = 32 - 22. Suppose 5*w = -0*w + 15. Let f = x + w. Is f a multiple of 13?
True
Suppose -2*i + 1149 = x, -3*x + 797 = -i - 2685. Is 82 a factor of x?
False
Suppose -o = -2*x - 2*o - 115, -3*o = 5*x + 287. Let s = x + 83. Does 10 divide s?
False
Does 29 divide 62/(-155)*(-395)/2?
False
Let p(v) = v**3 - 9*v**2 + 12*v - 30. Is p(12) a multiple of 27?
False
Does 4 divide (-4816)/(-105) + 4 + (-2)/(-15)?
False
Suppose -h - n + 3*n + 228 = 0, -5*n + 684 = 3*h. Is 57 a factor of h?
True
Let n(l) = -l**3 + 3*l**2 + l. Let i be n(2). Suppose -j + 2 = p + i, -2*j = -p + 8. Suppose -g - 12 = -2*r - 2*g, -3*g + 12 = p. Does 2 divide r?
True
Let t be (12/16)/((-3)/(-3240)). Suppose -t + 106 = -8*q. Is q a multiple of 8?
True
Let y = 3923 - 1133. Is 18 a factor of (2 + 4/(-3))*y/12?
False
Let t be (-25660)/25 - 6/(-15). Does 9 divide 10/(-25) - t/15?
False
Suppose 0 = -4*m + 5*j + 240, 0 = -5*m + 4*m - 4*j + 39. Suppose -3*f = -m - 44. Does 8 divide f?
False
Suppose -3*v - k = -5, 5*v + k - 2 = 7. Suppose 1 = j - 3*l, -6 + v = -4*j + 3*l. Is 10 a factor of j*11/1 - 1?
True
Is -400*((-22)/4 + 5) a multiple of 10?
True
Let k = 983 + -72. Suppose 3*p + p - 5*y = 1211, -y - k = -3*p. Suppose -4*n + p = -4*h, 0*h - 2*h = -5*n + 368. Is n a multiple of 18?
True
Let q(n) be the first derivative of n**5/20 - n**4/3 - 3*n**3/2 + n**2/2 + 9*n - 3. Let o(c) be the first derivative of q(c). Is o(6) a multiple of 7?
False
Suppose 3*b - 574 = -5*z - 109, -4*b + 4*z + 652 = 0. Suppose 3*x - 188 - b = 0. Is x a multiple of 16?
False
Let g be (-10)/(-3) - 12/(-18). Suppose 3*f - 48 = -4*w, 2*f - 12 = -0*f + g*w. Does 3 divide f?
True
Let r(f) = -f**3 + f - 2. Let o be r(-2). Suppose -39*w + 29*w + 550 = 0. Suppose o*j = 3*j + w. Is 18 a factor of j?
False
Let g be 5/3*(-30)/(-10). Let b = g + -11. Does 8 divide (b - 1)*(-120)/35?
True
Let s be (-18)/4*(-20)/45. Let w(o) = -5*o + 1 - s - 4. Is w(-9) a multiple of 10?
True
Let m(p) be the first derivative of -4*p**2 + 2*p + 27. Does 7 divide m(-6)?
False
Let h = 73 - -10. Let d = 275 - h. Does 18 divide d?
False
Let r = -20 - -24. Suppose 78 = r*w - 70. Let y = 55 - w. Does 6 divide y?
True
Suppose y - 19 = -5*z - 3*y, 0 = 3*y - 3. Let t(w) = 3 + 5*w**2 - 3*w + 5*w + z*w**3 - 4*w**3. Does 9 divide t(4)?
True
Let o = -610 - -690. Is 3 a factor of o?
False
Suppose 9 - 213 = -3*w. Suppose -12*p = -10*p - w. Suppose -4*x = -10 - p. Is 4 a factor of x?
False
Let t(a) = a + 18. Let j(k) = -k**2 - 8*k - 12. Let o be j(-6). Does 3 divide t(o)?
True
Suppose -7 = -l - 5. Suppose 5*u + 3*w + w = -8, -4*w = 3*u + 8. Suppose f - 3*c - 80 = u, -f + 247 = 2*f - l*c. Is 11 a factor of f?
False
Does 30 divide -5 + -28*(-1 - 78/12)?
False
Let b(a) = a**2 + 4*a + 10. Suppose 13 = -2*c - u - 2*u, 0 = c - 2*u + 10. Is b(c) a multiple of 7?
True
Let r(m) = 52*m**2 + 27*m - 62. Does 32 divide r(5)?
False
Does 60 divide (-256)/12*(-45)/4?
True
Let m be (2 - 3)*5 - -29. Suppose g + 4*g = -3*s + 120, -g = -s - m. Does 3 divide g?
True
Suppose 50 = -5*s + 3*c + 3, 3*s - 5*c = -25. Let w = s + -4. Let j = -5 - w. Is 9 a factor of j?
True
Let f(h) = 74*h + 369. Is 11 a factor of f(13)?
True
Let q = 614 - 184. Is 14 a factor of q?
False
Suppose 3*m - 1170 = -3*n, m - 5*n - 178 - 230 = 0. Suppose 2*w - 6*w + m = -5*a, -5*a = w - 92. Let x = w - 51. Is x a multiple of 12?
False
Let j = 333 - -222. Is 21 a factor of j?
False
Let z be (2/(-5))/((-4)/220). Suppose -26*d = -z*d - 336. Is 14 a factor of d?
True
Let y(w) = 8*w - 12. Let d be y(12). Let z be -3 + d + 3 + -6. Suppose -3*h + 5*i - 12 = -86, 3*i = 3*h - z. Is 11 a factor of h?
False
Let s(a) = -4*a + 8. Le