*l = -15*l + 151410. Does 14 divide l?
True
Let u = 207 + -72. Does 45 divide u?
True
Let x = 3160 + -1961. Is 15 a factor of x?
False
Let q(s) = 7*s**2 - 21*s - 5. Does 6 divide q(-9)?
False
Suppose -4*y + 94 = -106. Let l be (-1)/((-1 + 3)/y). Let t = l - -70. Is t a multiple of 15?
True
Let w(d) = 13*d**2 - 8*d + 3. Is 29 a factor of w(-3)?
False
Suppose 0 = -0*i + 2*i - 5*j - 509, -3*i = 2*j - 754. Does 19 divide i?
False
Suppose 2*i - 8 - 4 = 0. Is i a multiple of 2?
True
Suppose -5*j - z = 2, 0*j + 5*z + 10 = 3*j. Suppose 2*g + 62 = 4*r, j*r = 4*r - 5*g - 53. Does 9 divide r?
False
Let l be 6*(-865)/(-10)*1. Suppose -2*m - 2*m - 20 = 0, 4*q - 3*m - l = 0. Is q a multiple of 14?
True
Let u(r) = 12*r + 9*r - 4*r + 11*r + 2. Let l be u(1). Is (-186)/(-10) + 12/l a multiple of 19?
True
Let x be (-3420)/(-63) - 2/7. Suppose -5*j + 3*p = -x - 13, j = -p + 7. Suppose 158 = -9*c + j*c. Is c a multiple of 24?
False
Suppose -l + 135 = l - 3*m, 2*l + 2*m = 150. Is l a multiple of 9?
True
Suppose 10 + 8 = 9*a. Suppose a*s = 3*s + w - 227, 3*w = 6. Is 45 a factor of s?
True
Suppose -3*h - h - 8 = 0. Let r be 6/15*5*h. Is (7/(-4))/(r/32) a multiple of 5?
False
Let c(n) be the first derivative of -n**4/4 - 2*n**3 + 4*n**2 - 2*n + 12. Let l be c(3). Let g = l - -119. Is g a multiple of 20?
True
Suppose -5*o + 25 = -0*o. Suppose 3 + o = 2*k. Suppose 0 = -k*g + 78 + 42. Is 15 a factor of g?
True
Let o = -11 - -14. Let j = o - 3. Let c = 3 + j. Is c a multiple of 2?
False
Let r(u) = 11*u - 6. Let t(n) = -n - 1. Let h(o) = r(o) + 2*t(o). Does 18 divide h(7)?
False
Let v be 8/(-8) - 5/(-1). Suppose 2*k - v*z - 10 = 34, -3*z - 3 = 0. Is k a multiple of 10?
True
Is 8 a factor of (-7 + -13)*4/(-10)?
True
Suppose -4 - 4 = -2*m. Suppose 0 = 2*y + 5*w - 297, m*w - 3*w = 2*y - 267. Suppose 4*t - 68 = y. Is 17 a factor of t?
True
Let b(z) = 3*z**2 - 1 - 4 + 4 + 0*z**2 + z. Let y be b(2). Let w = -3 + y. Does 4 divide w?
False
Let g = 940 - 582. Does 23 divide g?
False
Suppose -9*c + 6*c = 0. Suppose c*a + 2*a - 26 = 0. Is a a multiple of 4?
False
Suppose -13*b + 66 = -7*b. Suppose 4*d - 53 - b = -i, 3*d = -5*i + 337. Is i a multiple of 9?
False
Let l = 401 - 221. Does 17 divide l?
False
Let b be 21/49 - (-974)/14. Let a = b + -49. Does 10 divide a?
False
Suppose -6*r = -3*r - 612. Suppose -252 = -4*b - r. Is 4 a factor of b?
True
Let r = 3 + 8. Suppose 2*y - 5*s - 23 = y, -y + r = -2*s. Suppose 112 = 4*z + 4*t, -y*t = -5*z - 0*t + 140. Is 14 a factor of z?
True
Does 5 divide 9*(-1341)/54*-2?
False
Let n = 29 + -26. Suppose -4*r + 88 = -c, 0*r + n*c = r - 22. Is r a multiple of 8?
False
Let v = -80 - -125. Is v + (3 - (1 + -1)) a multiple of 12?
True
Suppose 4*k - 3 + 27 = 0. Let l = 7 + k. Let j = l + 5. Does 6 divide j?
True
Let c be ((-32)/(-6))/4*3. Suppose c*w + 40 = 4*u + 160, 3*w - u - 94 = 0. Does 8 divide w?
True
Let g = -50 + 184. Suppose -210 = -4*y + g. Does 6 divide y?
False
Suppose -23 + 7 = -4*f. Suppose 2*w - w - 4*t = 84, f*t = 2*w - 148. Does 40 divide w?
False
Let t be (-4)/10 - 324/(-10). Let a = 82 - t. Suppose 4*j - 2*j = a. Does 11 divide j?
False
Suppose 0 = 5*v - 4*r + 271, 0 = -v - 3*v - r - 200. Let a be 1 - (-77)/(-1 + 2). Let x = v + a. Is x a multiple of 27?
True
Suppose -7*k + 7931 = -14189. Does 10 divide k?
True
Suppose 12268 + 24407 = 15*k. Is 86 a factor of k?
False
Suppose -91 = -5*v + 174. Let x = v + -4. Is 6 a factor of x?
False
Let i be 0/(-3) - 3 - -17. Let n = i + -12. Suppose 22 = m + n*p, -2*m + 7*m - 158 = 2*p. Does 10 divide m?
True
Let o = 519 - 546. Suppose 2*i - 2*k - 98 = 0, -k - 194 = -4*i + 2*k. Let x = o + i. Does 4 divide x?
True
Suppose c - 3*c = -3*v + 11, 9 = -3*v - 3*c. Let q(f) = 36*f + 3. Let x(w) = 35*w + 2. Let k(a) = -3*q(a) + 4*x(a). Is k(v) a multiple of 31?
True
Let s be -1*((-12)/(-20))/((-1)/5). Is 20 a factor of (5/s)/((-7)/(-231))?
False
Let n(m) = -37*m**2 - 3*m + 2. Let g be n(1). Let p = g - -73. Is 35 a factor of p?
True
Let t(l) = -l**3 - l**2 - 9*l - 6. Let z(m) = 2*m**3 + m**2 + 17*m + 11. Let r(i) = -5*t(i) - 3*z(i). Let n be r(5). Does 9 divide n/14*(-98)/21?
True
Let k be (-4)/6 - (-120)/45. Suppose k*t + 214 = 4*c, -52 = 3*c + 5*t - 180. Is c a multiple of 15?
False
Suppose 0 = 4*k + k + 100. Is k/(((-1)/(-30))/(16/(-40))) a multiple of 24?
True
Let t be 0 + -4 + 0 - -10. Suppose -j + t = -18. Is j a multiple of 7?
False
Does 25 divide -32 + 35 + (-1)/((-1)/49)?
False
Suppose -2*z + 335 = 3*t, 4*z - 237 - 425 = 2*t. Let y be (1/1)/(3/15). Suppose -7*n + z = -y*n. Is 16 a factor of n?
False
Let l = 27 + -16. Suppose w + 3*i + 19 = 0, i = w + l - 0. Does 10 divide -50*(-3 + w/(-5))?
True
Is (-1 - 0)/((-23)/1219) a multiple of 6?
False
Suppose 0 = 4*w - 3*w - 3, 5*w - 12 = b. Suppose -b*z + 82 = -23. Does 2 divide z?
False
Let x = 0 + 0. Suppose 6*h - 3*h - 3*g - 12 = 0, 5*g = -3*h + 28. Is 6 a factor of (h/9 - x)*9?
True
Suppose -34*b = 4*b - 5472. Is 4 a factor of b?
True
Let u = 121 + -121. Suppose -5*o - 3*f + 261 = 0, 2*f = -u - 6. Is o a multiple of 9?
True
Suppose -4*x = x - 25. Suppose x*n - 6 + 56 = 0. Is 13 a factor of (2 + -8)*n/3?
False
Suppose 6*l - 576 = 2280. Does 7 divide l?
True
Suppose w + 180 = 2*w. Suppose -w = -2*g - 46. Is 4 a factor of g?
False
Let f(n) = n**3 + 9*n**2 - 85*n - 11. Does 29 divide f(10)?
False
Let m = -153 - -207. Is m a multiple of 18?
True
Let b(z) = -z**3 - 4*z**2 - 12. Let w be b(-4). Suppose 0 = -5*p - 4*f + 80, p - 5*p = f - 64. Is 18 a factor of (p/w)/(2/(-96))?
False
Let h(u) = -4*u**3 + 14*u**2 - 19*u - 5. Is 41 a factor of h(-8)?
False
Does 40 divide (-17 + -15)*925/(-20)?
True
Suppose p = -5*r + r + 2523, r = -3*p + 617. Is 8 a factor of r?
True
Suppose -274 = -4*t + s, 5*s + 140 = 2*t + 3*s. Is 28 a factor of t?
False
Suppose a - 4 = -0*a. Let h(b) = -a*b**2 + 5*b**2 - 4*b**2 - 1 - 5 - b**3 - 2*b. Is h(-4) a multiple of 6?
True
Let j(t) = t**3 + 6*t**2 - 2*t + 8. Let y(b) = 2*b**3 + 11*b**2 - 4*b + 16. Let l(s) = 7*j(s) - 4*y(s). Is l(-4) a multiple of 8?
True
Let f be 142/(-8) + 7/(-28). Let u be 4/18 - (-58)/f. Let p = 14 - u. Is 17 a factor of p?
True
Suppose 2*x - 4 = 2. Suppose 0 = 2*f + x*f. Suppose f = -6*v + 4*v + 36. Is 18 a factor of v?
True
Let t(a) = 166*a - 56. Is 17 a factor of t(2)?
False
Let r(t) = -7*t**2 + 19*t**2 + 23*t - 18*t - 7. Does 11 divide r(4)?
False
Let y(i) = i**3 - 9*i**2 - 3*i - 10. Suppose 3*q + 11 = 41. Let p be y(q). Suppose -2*v - v = -p. Is v a multiple of 10?
True
Let m(v) = 3*v**2 + v + 1. Let k be m(-1). Suppose -k*l = 6 - 201. Is 24 a factor of l?
False
Let z be 20/((-5)/((-75)/(-24)) + 2). Suppose -8*u + z = -102. Is u a multiple of 14?
False
Let v(j) be the first derivative of j**3/3 - 9*j**2/2 - 23*j + 16. Does 3 divide v(12)?
False
Suppose -23*u + 28*u = 45. Does 3 divide u?
True
Suppose -4*b - 4*z = -764, 0 = -3*b + b + z + 388. Is 17 a factor of b?
False
Suppose 0 = -9*b - 9 + 27. Suppose -520 = -2*a + b*n + 2*n, 2*n - 1360 = -5*a. Is 54 a factor of a?
True
Suppose -2*k = -2 - 4. Let t(x) = 2*x**2 + 3*x - 2. Let z be t(-2). Suppose -45 = -k*v - z*v. Is v a multiple of 5?
True
Let d(a) = 18 - 4*a - 2*a + 8*a**2 - 2*a. Is 26 a factor of d(4)?
False
Let w be (-4)/(1/(-3 + 1)). Let g(b) = 2 + 0*b - w*b + 4*b - 3*b. Is 14 a factor of g(-10)?
False
Let v be (-28262)/(-221) - (-4)/34. Suppose -q - 4*h = -v, 4*q - 6*h - 512 = -h. Is q a multiple of 16?
True
Let z be 356 + 6*2/(-4). Let g = z - 212. Suppose 9*x = 6*x + g. Is x a multiple of 12?
False
Let r(l) = 2*l - 10. Let c be r(5). Let a be 1 + (c - 0) + 3. Suppose -f = a*f - 65. Does 5 divide f?
False
Let o be (-45)/10*(-3 - 7/(-3)). Suppose -2*s - 16 = -o*n, -2*n - 5*s = -2*s - 15. Does 2 divide n?
True
Let z be (-6)/(-27) + 700/9. Suppose 2*b - 2*i - 52 = 0, 2*b - 19*i = -22*i + 72. Suppose 0 = -2*k, k + z + b = 3*t. Is t a multiple of 12?
True
Suppose 5*r = -t + 244, -r + 5 = 4. Suppose t = z - 13. Is z a multiple of 28?
True
Is (-24497)/(-68) - (-1)/(-4) - -4 a multiple of 95?
False
Is 16 a factor of -6*((-603)/(-12))/(81/(-72))?
False
Let n(r) = -2*r**3 - 3*r**2 - 2*r - 3. Let f be n(-2). Suppose -4*o + s = 2*s - 35, -49 = -f*o + 4*s. Suppose -o*g + 7*g = -56. Is 12 a factor of g?
False
Let w(t) = 3*t + 8. Let k be w(-2). Suppose -7*v + 56