*l = -h. Does 5 divide i?
False
Is 434 + 4/4 + -7 a multiple of 38?
False
Let t(h) = h**3 + 5 - h**2 + 3*h**2 + 0*h**3 - 3. Let b be t(-2). Suppose -b*n - 27 + 111 = 0. Is 14 a factor of n?
True
Is 126/((-1)/((-3)/6)) a multiple of 63?
True
Suppose 568 = s + 2*l, 3*s + 4*l - 1843 = -135. Suppose -4*x + 3*x + s = 0. Does 9 divide x/15 - 14/105?
False
Let w be 20/(-6)*(-126)/(-12). Let o = -50 - w. Let u = -2 - o. Is 5 a factor of u?
False
Suppose -4*t - 8 = -3*t - 3*v, -2*t - 3*v = -11. Is (-6 - -4) + t + 33 a multiple of 23?
False
Let s = 36 - 30. Let q(n) = 5*n. Is 10 a factor of q(s)?
True
Let v(z) = 7*z**2 - 14*z + 9. Does 45 divide v(9)?
True
Let y = -6 + 11. Suppose k + 40 = -5*l + l, -4*l - 40 = -y*k. Is (1 - 2)/(1/l) a multiple of 5?
True
Suppose 30*d + 3367 = 151087. Does 13 divide d?
False
Is 50 a factor of (-1)/2*-1290 + -5*1?
False
Suppose 72*z + 396 = 76*z. Is z a multiple of 52?
False
Let q(x) = x**3 - 5*x**2 + x - 4. Suppose 2*t = -5*c, 2*t - 11 - 1 = c. Let v be q(t). Suppose 3*n - 10 = -4*s + v, -2*s + 8 = 4*n. Does 2 divide s?
True
Let p(l) = -18*l**2 - 2*l - 1. Let d be p(-1). Let k = d + 25. Does 3 divide k?
False
Let k = 3130 - 1422. Is k a multiple of 28?
True
Suppose 6*g - 515 = g. Suppose -t = -g + 1. Is t a multiple of 23?
False
Suppose 143*r - 138*r - 1875 = 0. Is 25 a factor of r?
True
Let f(y) = 4*y**2 + y + 2. Let h be f(-4). Suppose -12 = -3*z - 5*q + 31, 4*z = -2*q + h. Is 392/18 + z/72 a multiple of 22?
True
Is (0 - 6) + 28496/104 a multiple of 4?
True
Suppose -2*y - 5 = 2*x + 11, 0 = 3*x + y + 22. Let k(v) = 3*v**2 + 13*v - 8. Is k(x) a multiple of 24?
True
Let l be (-8)/160*-8 - (-493)/5. Let v = 8 - 75. Let n = l + v. Is 16 a factor of n?
True
Suppose 4*f + 4*i - 24 = 3*i, -2*f = 5*i - 12. Suppose p = f*p + 15. Is 26 a factor of (-3 - p) + (2 - -24)?
True
Let l(w) = -w**3 + 7*w**2 - 6*w. Let z be l(6). Suppose 5*t - 183 = -3*h + t, -4*h + 2*t + 266 = z. Is 13 a factor of h?
True
Suppose 6*j + 4325 = 5*b + j, 5*b = 2*j + 4319. Is b a multiple of 46?
False
Suppose -2*s - 4*z = -0*s - 1222, 3*s + 2*z - 1829 = 0. Is s a multiple of 21?
True
Is (-5222)/(-12) + (-78)/468 a multiple of 29?
True
Let x = 1516 - 1068. Does 5 divide x?
False
Let g be (2 + -5)*(-124)/(-6). Let q be g*(6/4 - 1). Let f = 96 + q. Is 19 a factor of f?
False
Suppose 0 = 2*h + 5*s - 295, -4*h = -2*h + 3*s - 297. Does 10 divide h?
True
Let m = -3 - 0. Let t be (-5 + 2 - m)*-1. Suppose 5*g + 5 = t, 0*g = -3*o - 2*g + 25. Is o a multiple of 9?
True
Let y be 6/4*4/(-6) + 5. Suppose -5*a - 3*v + 409 = 0, 3*a = y*v - 21 + 249. Is a a multiple of 27?
False
Is (-6)/(-7)*(-7)/(-2) - -3099 a multiple of 20?
False
Let o(l) = -22*l - 12. Let y be o(-4). Suppose 2*c = i - 114, i - y = -3*c + 18. Is i a multiple of 28?
False
Let n(b) = -b**2 + 39*b - 57. Is n(29) a multiple of 19?
False
Does 15 divide -4*4/8 + 1346?
False
Let i(v) = -10*v - 9. Let q = 22 - 17. Suppose -3*m = -q*g - 5, -1 = g + 3. Does 9 divide i(m)?
False
Is 39 a factor of (-130)/(-4)*(-8550)/(-375)?
True
Let m(j) = 2*j - 2. Let z be m(-4). Let q = 47 + -33. Let c = q + z. Is c a multiple of 3?
False
Let u(h) = h - 6. Let r = -5 + 2. Let k(j) = -j - 1. Let q(z) = r*k(z) + u(z). Is q(2) a multiple of 5?
True
Suppose -k - 16 - 35 = 0. Let b = 56 - k. Is b a multiple of 11?
False
Let d be (12 + -15)/((-268)/(-274) + -1). Let q = d - -101. Is q a multiple of 34?
True
Let s be 6/4*3128/51. Suppose -6*z = -4*z - s. Is 7 a factor of z?
False
Let x(c) = c**3 - 3*c**2 - 2*c - 5. Let y be x(4). Suppose 4*q = -5*l - 272, 5*q - 3*q - y*l = -136. Is -1*(1 + q) - -3 a multiple of 19?
False
Let n(c) = 2*c**2 - 11*c + 21. Is 7 a factor of n(12)?
False
Suppose 26 = 4*i + 18. Suppose c - i*c = -2. Suppose 4*h - 48 = 3*h + 3*s, -96 = -2*h - c*s. Is 14 a factor of h?
False
Let s be ((-30)/(-40))/((-30)/32)*-40. Suppose 14*t - 746 = -s. Is t a multiple of 5?
False
Let r be (3/(-12))/(2/(-24)). Suppose r*v + t = 88, -2*v + 4*t + 53 = -t. Does 29 divide v?
True
Does 27 divide ((-156)/(-39))/(-1*2) - -1661?
False
Let g = 127 + -35. Does 23 divide g?
True
Let p = 0 + 6. Let u(b) = b**3 - 25*b**2 + p + 31*b**2 - 2*b + 3*b. Is u(-5) a multiple of 10?
False
Let z(t) = 2*t**2 + 16*t + 9. Let o be z(-8). Let q(x) = x**2 + 6*x + 15. Is 30 a factor of q(o)?
True
Suppose -4*y + 5*r - 39 = 0, 2*y - r = 4*r - 27. Let s(x) = x**3 + 8*x**2 - 2*x + 6. Is 15 a factor of s(y)?
True
Let m(a) = -2*a - 5. Let h be m(-3). Let t(v) = 31*v**2 - 1. Let s be t(h). Suppose -2*z = 3*z - s. Is z a multiple of 2?
True
Let y be 363/15 + (-20)/(-25). Let i = 52 + y. Is 18 a factor of i?
False
Suppose -2 - 8 = -5*r. Let a = 15 + r. Does 3 divide 4 + -6 + 3 + a?
True
Let d(j) = -67*j - 139. Is d(-12) a multiple of 133?
True
Let d = 11 - 14. Let z be (-1)/(3/d)*-3. Does 8 divide 10/z*(-468)/65?
True
Suppose 3*a + y = 84, -2*a + 45 = -4*y + y. Suppose 12*c - 13*c = -a. Is c a multiple of 7?
False
Suppose 8*v = 10116 - 1308. Is v a multiple of 6?
False
Suppose 3*w - 5*n = 208, -12*n - 219 = -4*w - 17*n. Is 12 a factor of w?
False
Let y = 293 - 151. Suppose 3*r = 5*r - y. Is r a multiple of 9?
False
Let w = -727 - -1591. Does 32 divide w?
True
Suppose 4*j + 51 = -217. Let v = j - -218. Is v a multiple of 18?
False
Suppose 0 = -j + 3*y + 568, -j - 2*y = -3*j + 1124. Is 43 a factor of j?
True
Suppose -25*n = -5*z - 23*n + 1684, -2*n - 4 = 0. Is 3 a factor of z?
True
Let f(c) = -c - 4. Let d be f(-6). Suppose 5*a - 184 - 72 = -3*b, -a + d*b + 46 = 0. Does 10 divide a?
True
Let x be -1 + -2 + 11 + -3. Suppose -4*y = -3*c + 23, x*c - 61 = -2*y + 12. Suppose c*w = 11*w + 108. Is w a multiple of 18?
True
Suppose -5*k = -3*h - 1220 + 82, 5*k + 2*h - 1158 = 0. Is k a multiple of 23?
True
Let u(n) = -n - 12. Let k be u(-12). Suppose -3*a + 7*a + 16 = k. Does 14 divide (-564)/(-15) + a/(-10)?
False
Let y be (-104)/(-3) - -2 - 12/(-36). Is 31 a factor of -2 + 3 + -2 + y?
False
Suppose -31 = -z - 2*z - x, x = z - 9. Is 112/(-6)*(-15)/z a multiple of 7?
True
Let j = 624 + -426. Is j a multiple of 33?
True
Suppose -29*v = -44*v + 2400. Is 31 a factor of v?
False
Let i(r) be the third derivative of r**6/120 + r**5/12 + r**4/6 + r**3/6 - 2*r**2. Is i(-3) a multiple of 2?
False
Let l(u) = -u**2 - 63*u + 111*u + 36 - 58*u. Is 12 a factor of l(-12)?
True
Let c = -589 - -2688. Is c a multiple of 34?
False
Suppose 0 = 5*f + 5*l - 1465, 0 = 18*f - 14*f + 2*l - 1180. Is f a multiple of 33?
True
Let j(t) = 2*t**2 - 20*t - 10. Let c(d) = 4*d**2 - 41*d - 21. Let x(s) = -6*c(s) + 13*j(s). Is 8 a factor of x(10)?
True
Let l(r) = 56*r**2 - r + 2. Let j be l(1). Let z = j - 36. Is 7 a factor of z?
True
Let x = -15 + 17. Let a be 3*x*33/(-11). Let t = a - -51. Is 11 a factor of t?
True
Suppose -5*p - v + 29 = 0, p + 5 + 6 = 4*v. Suppose p*o - o - 220 = 0. Does 11 divide o?
True
Suppose 2*k - 2 = j - 57, 2*j - k = 116. Suppose -209 = -5*w - j. Does 3 divide w?
True
Let h(s) = 14*s**2 - 27*s + 188. Is h(9) a multiple of 83?
True
Let f(x) = x**3 + 2*x**2 - 3*x + 3. Let h be f(-3). Let p be 6*56/48 + -7. Suppose 0 = -p*j + j, h*j + 45 = 3*c. Is c a multiple of 4?
False
Suppose -g - 3 = -6. Suppose 0*m + 2*m - v + 97 = 0, 0 = g*m + v + 143. Let a = m - -70. Does 11 divide a?
True
Suppose -2*b + 3 = 3*y - 2*y, -15 = -5*y + 3*b. Is 32 a factor of y - (3 + -1) - -127?
True
Let l = 6 - 3. Let p(g) = 3*g**3 + 2*g**2 - 5*g + 1. Is 25 a factor of p(l)?
False
Suppose -5*n + 2 + 13 = 0. Suppose -8 = -f - n*f. Suppose 6*w - 3*w = -3*k + 33, 3*k = -f*w + 19. Does 12 divide w?
False
Let d(c) = -c - 1. Suppose 2*m + 77 + 28 = 3*f, -m + 162 = 5*f. Suppose f = -3*t - 3*g, 0*t - 3*g + 42 = -2*t. Is d(t) a multiple of 14?
True
Let c = -82 + 86. Is 2 a factor of 36 + (c + 0)/4*4?
True
Let z = 1885 + -310. Is z a multiple of 35?
True
Suppose j - 5*j + 40 = 0. Suppose -3*k = 1 - j. Does 27 divide (k - 2)*38 + 4?
False
Let t(y) be the third derivative of y**5/30 + 3*y**4/2 + 5*y**3 + 13*y**2. Is t(-20) a multiple of 16?
False
Let k = 29 - 31. Let o(c) = 3*c**2 + 16*c + 22. Let p(j) = -7*j**2 - 33*j - 44. Let q(s) = k*p(s) - 5*o(s). Is 6 a factor of q(-10)?
True
Suppose 3*b - v = 70, 3*v = -b + 2*b - 26. Let j(o) = o**2 - 11*o + 11. Let q be j(8). Let r = b + q. Is r a multiple of 5?
True
Suppose 535 = 