s k/7 + 4/28 a multiple of 10?
False
Suppose 20 = -4*m, 4*l = 6*l - 2*m - 2824. Is 21 a factor of l?
True
Let n(m) = m**3 - 15*m**2 + 7*m + 9. Let f be n(7). Let p = f + 502. Is p a multiple of 21?
True
Suppose -2*k + 7*w - 3*w = -52, 2*w - 34 = -k. Is 16 a factor of k/(-20)*(-436)/6?
False
Let l = -308 + 1082. Is l a multiple of 6?
True
Suppose 19*q + 2460 = 25*q. Is 8 a factor of q?
False
Let h(p) = 35*p**2 + 63*p - 468. Is 22 a factor of h(9)?
False
Suppose -t + n = 2*t - 312, -4*n = 4*t - 400. Suppose -5*w + 1148 = t. Let y = 309 - w. Is y a multiple of 25?
True
Let d = -369 - -549. Is d a multiple of 4?
True
Does 6 divide (-25)/100 - (-2 + (-1933)/4)?
False
Suppose 2*t + t - 432 = 0. Suppose -2*j + t = -86. Does 23 divide j?
True
Suppose l = 4*l - 12. Suppose -3*i - 4*t + 64 = 0, -11 = -i + 5*t + l. Does 3 divide i?
False
Suppose 2*t - 2*d - 4 = 7*t, -2*d - 4 = 3*t. Suppose f = -3*q + 700, -5*q - 3*f + 698 + 474 = t. Does 37 divide q?
False
Let a(y) = -15*y - 19. Let r(w) = 16*w + 20. Let b(n) = 5*a(n) + 4*r(n). Is b(-7) a multiple of 6?
False
Let o(l) = 14*l**2 - l + 2. Does 3 divide o(-2)?
True
Suppose 12240 = 30*a - 0*a. Is 51 a factor of a?
True
Let q(t) be the first derivative of -t**3/3 - 13*t**2/2 + 10*t + 4. Let y be q(-12). Is 3 a factor of (-15)/(-2) + 33/y?
True
Let u = 20 + -15. Let y(a) = -3*a + 5. Let s be y(u). Let q = s + 16. Does 2 divide q?
True
Let h = -3 - -8. Suppose -11 = -x + h. Is ((-248)/x)/(1/(-2)) a multiple of 16?
False
Let k = 98 - -11. Let j = -64 + k. Does 9 divide j?
True
Suppose -d + 3*x + 15 = -19, 0 = -x. Is 16 a factor of (-12)/102 + 2010/d?
False
Is 18 a factor of (-30252)/(-10) + 240/(-200)?
True
Suppose -2*d = -3*p - 22, -4*d + 2*p = -7*d + 46. Suppose 0*f + 2*f + d = 0. Is -1 + f*(-4)/4 even?
True
Let f be (65/(-4))/(6/(-96)). Suppose -f = -2*q + 2*t - t, 4*q = -3*t + 520. Is 25 a factor of q?
False
Let t = 21 - 15. Suppose -2*w + t = -3*w. Let a(q) = -q**3 - 4*q**2 + 7*q + 6. Is 12 a factor of a(w)?
True
Let r = 14 + -5. Let o(f) = -f**2 + 11*f - 1. Let l be o(r). Suppose 0 = 15*w - l*w + 48. Does 6 divide w?
True
Let h(m) = -m**2 - 31*m - 39. Let g be h(-29). Suppose 5*z - 4 = 16. Suppose 0 = -3*s - 6, z*p + s - g = 35. Does 8 divide p?
False
Suppose -2*x - 5*r = -19, 9 - 2 = 2*x + r. Suppose -x*o = -b + 46, b - 103 + 37 = -2*o. Is b a multiple of 28?
True
Let r = 419 + -225. Is 10 a factor of r?
False
Let c(h) = 10*h + h**2 + 12*h + 26 - 46. Is c(-23) a multiple of 3?
True
Suppose -5*j - 1210 = -5*o, -5*j = o - 10*j - 238. Is o a multiple of 14?
False
Does 30 divide 8/(-6) - 130026/(-117)?
True
Is 0 - 0/(-6) - -899 a multiple of 10?
False
Let i(x) = -5*x**3 + 5*x - 4. Let h be i(2). Let w = 45 - h. Is 44 a factor of w?
False
Suppose 3*c - 641 = 2*i - 4*i, 5*c - 1047 = 2*i. Does 8 divide c?
False
Suppose l - 745 = -3*b + 1270, -4*l = b - 668. Is 48 a factor of b?
True
Suppose 5*c + 270 = 5*k, 5*k - 2*k + c - 162 = 0. Suppose -2*z - k = -5*z. Is z a multiple of 5?
False
Let u be 19 - (-1 - -2 - -1). Suppose -2*y - 7 = -u. Suppose 4*o - 129 = -3*h + 205, -2*o + y*h = -154. Is 25 a factor of o?
False
Suppose 211*c = 222*c - 5643. Does 9 divide c?
True
Suppose -4*u = 3*w - 10 - 7, -4*u - 5*w + 23 = 0. Suppose i - 59 = -5*d, u*i = 2*d - 4*d + 78. Is i a multiple of 21?
False
Suppose -3*q + 1 = 28. Is 2 a factor of (q - -1)*(-17)/68?
True
Does 40 divide (-63 + 113)/(-2 - (-34)/16)?
True
Suppose -3*i = -12, 0 = 2*q - 3*q + 3*i + 303. Is q a multiple of 31?
False
Let k(h) = -7*h**3 - 14*h**2 + 36*h + 162. Is k(-8) a multiple of 21?
True
Does 12 divide (-5 - 119/(-35))*990/(-4)?
True
Suppose -3*w = -16 + 1. Suppose 5*v + n = 77, v - 65 = -4*v - 5*n. Suppose w*z = v + 154. Is z a multiple of 17?
True
Let j = -2 - -12. Let t be 30*(-1 - (-18)/j). Suppose -r - 3*x - x = -t, 2*r - x = 12. Does 3 divide r?
False
Let c = -12 - -2. Let i = 8 - c. Is i a multiple of 6?
True
Let q(c) be the second derivative of 1/12*c**4 + 7/3*c**3 + 8*c + 0 - 12*c**2. Is q(-18) a multiple of 16?
True
Suppose w - 8 = 3*w. Does 9 divide (w + 8/(-3))*(-162)/15?
True
Let w be (-46)/(-1)*15/10. Suppose -2*q - 148 = -m, w = 2*m + 5*q - 182. Is 16 a factor of m?
False
Let n be ((-85)/20 - -4) + (-58)/(-8). Suppose -n*j + 5*j + 40 = 0. Is 20 a factor of j?
True
Let x(q) = -6*q - 11 + q + 0 - 3*q. Is 3 a factor of x(-5)?
False
Let t = -105 + 180. Let p be (4/8)/(2/12). Suppose -p*w = 2*w - t. Is w a multiple of 5?
True
Let s(v) = v**3 - 6*v**2 + 3*v + 7. Let i be s(5). Is 2 a factor of 0 + 1/i*-21?
False
Suppose -4*y + 279 = -501. Let q = 366 - y. Does 19 divide q?
True
Is 12 a factor of 6/(-36) + (-6)/((-36)/7345)?
True
Let v(b) = b**2 - 10*b. Let l be v(9). Let x be (-2)/l - 744/(-54). Let t = x - -46. Is 12 a factor of t?
True
Let r be 10/55 + (-1)/(22/(-3934)). Suppose -g = -3*s + 738, 0 = -s + 4*g + r + 78. Is s a multiple of 49?
True
Is 5 a factor of 68/(-10)*(-30)/75*25?
False
Let c = 14 + -17. Let v be (-3)/9 + (-13)/c. Suppose -4*h - 124 = -9*h - v*p, 3*h + 5*p = 64. Is 5 a factor of h?
False
Let d(y) = 2*y**3 - 4*y**2 + 3*y - 1. Let p be d(2). Let z be (-2 - -1) + (p - 1). Suppose -312 = -v - z*v. Is v a multiple of 13?
True
Let h(m) = m**3 + 8*m**2 + 4*m - 12. Let z = 63 - 69. Does 4 divide h(z)?
True
Suppose -6*p + 2195 + 925 = 0. Is 20 a factor of p?
True
Let w = -2934 + 5174. Is 14 a factor of w?
True
Let f(x) = x**3 + 7*x**2 + x - 2. Suppose 3*b - 4*b + 5*q = 6, 2*b + 2*q = -12. Let s be f(b). Does 14 divide s/((0 + -4)/(-4))?
True
Let r = -176 + 272. Is r a multiple of 32?
True
Let n(w) = -w**2 + 77*w - 77*w + 16. Let u be n(0). Suppose -b + 6 + u = 0. Is b a multiple of 4?
False
Let x = -6 - 25. Let k be x + (-6)/(-2)*-1. Let m = -7 - k. Does 24 divide m?
False
Suppose 0 = -s - 53 - 5. Let o = s - -83. Is 17 a factor of (-7 + 1)/2 + o?
False
Let q = 4018 + -2271. Is q a multiple of 29?
False
Suppose x - 6 = -1, -4*x + 44 = 3*y. Let s(l) = -l + 4. Let p be s(0). Suppose 2*r = p*r - y. Does 4 divide r?
True
Let r(d) = 4*d**2 - 33*d + 41. Let z(c) = -c**2 + 8*c - 10. Let i(t) = -4*r(t) - 18*z(t). Does 16 divide i(8)?
True
Let b(k) = 4*k**2 + k + 3*k - 5*k**2 + 3*k - 5. Let f be b(5). Suppose -10 - 32 = -x + 3*w, 0 = -f*x - 3*w + 210. Is x a multiple of 11?
False
Let n(r) = 1745*r**2 - 2*r + 2. Is n(-1) a multiple of 24?
False
Let m(s) = -2*s + 24. Let w be m(5). Suppose w*l - 10*l - 180 = 0. Does 15 divide l?
True
Let k = -12 + 20. Let i be k/(-36) - 616/(-18). Does 3 divide (16/(-10))/(i/(-255))?
True
Suppose -1026 = -4*i + 2*i. Is 9 a factor of i?
True
Let s(l) = 100*l - 40. Does 66 divide s(7)?
True
Let g(d) = -d**3 + d**2 - 3*d - 16. Let w be g(0). Is w/8*(-66)/4 a multiple of 8?
False
Let x = 521 + -229. Is x a multiple of 12?
False
Suppose 80*f - 84*f = -2760. Is 71 a factor of f?
False
Let z(u) be the second derivative of 3*u**5/20 + u**4/3 + u**3/2 - u**2 + 4*u. Let h be z(-3). Does 5 divide 6/21 + (-1552)/h?
False
Let x be (-4)/(-6) + ((-260)/(-12))/5. Suppose 0 = x*g - 613 - 212. Is 5 a factor of g?
True
Let r = 154 + -89. Is r a multiple of 5?
True
Let d(l) = l**2 - 4*l + 70. Is d(32) a multiple of 42?
True
Let t be (3/(-9))/((-2)/(-152))*6. Let z = t + 300. Does 37 divide z?
True
Let k(d) = -6*d - 74. Is k(-21) a multiple of 13?
True
Let n = -11 - -119. Suppose -12 = 3*y - n. Is (-6 - -2) + y + 0 a multiple of 15?
False
Let z(b) = -113*b - 5. Is 27 a factor of z(-1)?
True
Suppose 2*l + 21*l - 1725 = 0. Suppose 3*d + 6 = 51. Suppose -5*q + l = -d. Is q a multiple of 9?
True
Let o = 102 + -102. Suppose 0 = 4*l - 12, 4*i - 4*l = -o*l + 276. Is i a multiple of 4?
True
Let j be 3/(-12) - 9/(-4). Suppose -u + w = -72, -4*w = 4*u - 89 - 199. Suppose a + j*a = u. Is 8 a factor of a?
True
Suppose 4*x + 3*h = 100, -4*x + 6*h = h - 132. Let y be (-1 + -2 + x)*1. Suppose o = 31 + y. Does 36 divide o?
False
Let m be (-5705)/(-13) + (-10)/(-65). Suppose r + m = 4*n, 0 = -4*r + n + n - 1798. Is 20 a factor of 2/(-4) - r/22?
True
Suppose -5*s + 4*b + 143 = 0, -3*b - 126 = -5*s + 15. Suppose 5*z - 25 = 0, -5*n - 5*z + 468 + s = 0. Is 42 a factor of n?
False
Suppose 43 = -u - 87. Is 13 a factor of 15 + -18 + (0 - u)?
False
Let r(g) = 3*g**2 - 72*g + 42. Is 21 a factor of r(28)?
True
Let d be (-4)/26 - (-121712)/208. Suppose 2*