
Let q(l) = 4*l**2 - 2*l - 6*l**2 + 4*l**2 + 3 - 2 - l**3. Let z be q(1). Suppose 4*t = -k + 164, -k - 88 = -2*t - z*k. Is t a multiple of 14?
True
Let b(r) = -r. Let m be b(-5). Suppose -m*z + z = -88. Is z a multiple of 11?
True
Let m(i) = -i**2 - 11*i - 10. Let q be m(-8). Suppose 0*t = -2*t + 14. Let w = q + t. Is w a multiple of 13?
False
Let j(h) = 8*h - 2. Let u(c) = -24*c + 6. Let n(o) = 17*j(o) + 6*u(o). Let t be 0 - (4 + 3 + -5). Is 9 a factor of n(t)?
True
Let f = -77 - -133. Does 7 divide f?
True
Let b be 6/(-5)*(-20)/6. Let d(r) = 0 - 7 + b - 20*r. Does 19 divide d(-2)?
False
Suppose -4*n + 90 = n. Let b(v) = v**2 - 3*v + 4. Let r be b(3). Suppose -r*w + n = -w. Is w a multiple of 4?
False
Let l = 440 - 271. Is l a multiple of 12?
False
Let p(q) = 4*q - 7. Let d(y) = 3*y**3 + 14*y**2 - 17*y + 5. Let a(s) = s**3 + 7*s**2 - 8*s + 3. Let u(r) = 5*a(r) - 2*d(r). Let j be u(6). Does 9 divide p(j)?
False
Suppose 3*c - 81 = -5*y + 56, 3*y = -4*c + 80. Is 6 a factor of y?
False
Let m be ((-2)/6)/(1/3). Let x be -1 - m/2*2. Suppose -4*j = -x*j - 24. Is 5 a factor of j?
False
Suppose 6 = 5*m - 4*m. Suppose -4*j = 9 + 27. Is (m/j)/(4/(-126)) a multiple of 9?
False
Suppose 0*t = -4*t + 144. Is t a multiple of 9?
True
Suppose -2*m + 48 + 32 = 3*x, -x + 20 = 2*m. Let s = 26 + x. Does 14 divide s?
True
Suppose 0*m + 3*q + 67 = m, q + 1 = 0. Is m a multiple of 17?
False
Let s = -5 - -7. Suppose -f = -s*l + 3 + 8, -3*l + 29 = -4*f. Suppose 2*p + 51 = -l*j + 162, 2*p = -6. Is 13 a factor of j?
True
Is 26 a factor of (1 - 0)/(7/595*1)?
False
Suppose 8*g = 6*g + 14. Is 3 a factor of g?
False
Is 7 a factor of 15/(2/(3 - 1))?
False
Suppose -6*c = c - 560. Does 24 divide c?
False
Let a = 26 + -18. Let m = a + -6. Is m even?
True
Suppose 9*t - 4*t - 17 = 4*y, -3*y - 5 = 4*t. Let i be ((-3 - -3)/2)/2. Is (i/y + 28)*1 a multiple of 12?
False
Suppose -i - 1 = 5*t - 52, -5*t = -2*i - 63. Does 11 divide t?
True
Suppose -h + 76 + 12 = -4*w, 0 = 3*h - 12. Let d = -39 - w. Is 5 a factor of (d/15)/((-6)/40)?
False
Suppose 8 - 12 = 4*r. Let l(c) be the first derivative of 7*c**3/3 - c + 1. Does 6 divide l(r)?
True
Let w(y) = y**2 + y + 15. Does 2 divide w(0)?
False
Suppose 21 + 24 = m - 5*f, -4*f + 204 = 4*m. Does 12 divide m?
False
Let s be (-94)/(-10) - (-2)/(-5). Let v(r) = -r**2 + 5*r + 17. Let t be v(7). Suppose t*q - 30 = s. Is 13 a factor of q?
True
Let v(n) be the third derivative of n**4/8 + n**3/6 + 2*n**2. Is 7 a factor of v(2)?
True
Suppose -2*r - 6 = 3*z - 14, 3*r = -5*z + 14. Suppose -4*o + 20 + 40 = b, -2*o + 16 = z*b. Is o a multiple of 8?
True
Let l = -45 + 121. Suppose -c = -1, -4*w + 8*w - 203 = c. Let p = l - w. Does 10 divide p?
False
Let q be 3/6 + (-6)/(-4). Suppose 0 = -3*a - q*a + 2*x + 112, -a = -x - 20. Does 12 divide a?
True
Suppose 3*n - 132 = n. Is 12 a factor of -5*(1 - n/10)?
False
Does 11 divide (-1 + -2)*(-33)/3?
True
Suppose -4*z = 4*u - 4, -2*z + 4 = -u - 1. Does 16 divide (-4 - -3)/(z/(-44))?
False
Let x = 9 + 13. Let g be (-1)/3 + x/3. Let z = 15 - g. Does 3 divide z?
False
Suppose -2 - 4 = -3*r. Suppose -r*z + z = -17. Does 13 divide z?
False
Let l(s) = -6*s**2 - 45*s - 9. Does 3 divide l(-7)?
True
Suppose -4*q = -97 - 87. Suppose 4*o = 3*g + q, 2*g - 8 = -o - 2. Does 10 divide o?
True
Suppose 0 = -2*h + 6*o - 2*o + 20, -2*o = h - 6. Let w(s) = -s**3 + 7*s**2 + 11*s - 12. Is w(h) a multiple of 6?
True
Does 16 divide 568/28 - (-4)/(-14)?
False
Let p(i) = -3*i**2 - 4*i + 3. Let g(j) = -2*j**2 - 3*j + 3. Let z(l) = 4*g(l) - 3*p(l). Is z(6) a multiple of 18?
False
Suppose -3*q = -2 - 22. Is q a multiple of 8?
True
Suppose 4*u + 46 = -4*z + 10, 0 = -5*z + 15. Let p = -8 - u. Does 4 divide p?
True
Is -25*2*(-20)/25 a multiple of 10?
True
Let y(r) = -3*r. Let x be y(3). Suppose -3*h = -5*n + 111, 6*h - 2*h = -3*n + 55. Let d = x + n. Does 7 divide d?
False
Let a = 1 - -3. Suppose -o + 11 = -0*o - 5*l, -50 = -2*o - a*l. Is o a multiple of 16?
False
Suppose 14 + 1 = -3*r. Let c be 1/r - 27/15. Is 38/1 + (-4 - c) a multiple of 13?
False
Suppose c - 12 = -c. Suppose i + 170 = c*i. Does 14 divide i?
False
Suppose 15*m + 3 = 16*m. Suppose -s + 2 - 9 = 5*n, 4*n - 23 = -m*s. Does 10 divide s?
False
Does 23 divide 18*(-1)/((-6)/46)?
True
Let p(c) = -6*c - 38. Does 7 divide p(-9)?
False
Let u = -13 + 22. Let r(b) = b**2 - 7*b + 3. Let x be r(u). Let q = x - 5. Does 14 divide q?
False
Does 10 divide ((-20)/7)/(14/(-343))?
True
Suppose 0*b = -b. Let i = b - -2. Suppose c + 4*y = -0*c - 2, -5*c = i*y - 44. Does 5 divide c?
True
Suppose 0 = -4*a - a + 3*t + 22, 14 = 5*a - t. Suppose 1 = o - a. Suppose 0 = -5*c - o*i + 177 + 105, 5 = -5*i. Does 16 divide c?
False
Let w = -8 + 11. Suppose -w*k + 139 - 22 = 0. Suppose -1 = -5*p + k. Is p a multiple of 8?
True
Suppose 2*c - 5 = 1. Suppose 0*i - 6 = -c*i. Suppose 4*a + 2*b + 8 = 8*a, -i*b = -3*a + 4. Is a a multiple of 4?
True
Let u(a) = a**3 - 2*a**2 - 3*a + 8. Is 17 a factor of u(5)?
True
Suppose 3*v + 72 = b, 2*b + 2*v - 57 = b. Let m = 15 + b. Does 26 divide m?
True
Suppose 3*d = d + 10. Is 5 a factor of d?
True
Is 8 a factor of (-62 - -2)/(-5)*2/3?
True
Suppose 0 = 2*n - 1 - 13. Suppose 5*u - n = 8. Is u + 0 - (-2 - 5) a multiple of 5?
True
Suppose -5*u = -i + 2*i + 1, -i - 4*u = 0. Let h = 6 + i. Is h a multiple of 8?
False
Suppose -162 = -3*j - 0*h - 5*h, 2*h = 2*j - 124. Let v = -24 + j. Is v a multiple of 7?
True
Is (6 - 5) + (2 - -195) a multiple of 18?
True
Suppose -4*d + 91 + 61 = 0. Let g = 82 - d. Let l = 73 - g. Is 11 a factor of l?
False
Let y be (-54)/(-12)*6/9. Suppose h - 16 = -0*h. Let w = y + h. Does 9 divide w?
False
Let c be 714/(-15)*2*-5. Suppose -5*q + 891 - 83 = 4*k, 0 = 3*q - 2*k - c. Suppose -2*p = -6*p + q. Is p a multiple of 20?
True
Suppose -24 = 7*b - 3*b. Let c(r) = -r**3 - 7*r**2 - 8*r - 8. Let v be c(b). Suppose v - 10 = -l. Is 6 a factor of l?
True
Let a(b) be the second derivative of 25*b**3/6 - b**2 - 2*b. Does 24 divide a(2)?
True
Suppose 2*u + 12 = 168. Does 16 divide u?
False
Suppose 2 = 4*v - 10. Let h = 21 + v. Does 24 divide h?
True
Suppose t + 4*z - 32 - 28 = 0, -5*t - 4*z = -252. Is t a multiple of 16?
True
Suppose 0 = m - 4*m. Suppose t = -m*t. Is 3 a factor of 4/2 - (-3 + t)?
False
Let d(h) = -h**3 + 15*h**2 - 7*h + 1. Let o(i) = -i**2 + 1. Let z(g) = d(g) + 5*o(g). Is z(9) a multiple of 22?
False
Let c be ((-14)/1)/((-12)/42). Suppose 1 = 5*d - c. Is d a multiple of 3?
False
Let m be (-6)/9 - 492/(-9). Suppose 3*r - 49 = c, 2*c + r + m + 30 = 0. Let z = c + 60. Is z a multiple of 7?
False
Let v = -25 + 26. Suppose 33 = 2*m + v. Is 8 a factor of m?
True
Suppose 11*h - 391 = -72. Is h a multiple of 4?
False
Let j = 210 - 121. Is j a multiple of 12?
False
Let k = 4 + 1. Suppose -52 = -2*c - b, -2*c + 5*b - 60 = -4*c. Suppose 2*g = -k + c. Is 7 a factor of g?
False
Suppose -2*v - 3*v = -10. Suppose 3*r - v*o = -2*r + 148, 4*o + 44 = r. Is r a multiple of 14?
True
Let g = -15 - -87. Let c = -51 + g. Does 21 divide c?
True
Let m = -8 + 57. Is m a multiple of 7?
True
Let c(u) = -71*u - 3. Is c(-3) a multiple of 15?
True
Let d be (0 - 7) + 3*1. Let m = -6 - 5. Let o = d - m. Is o a multiple of 4?
False
Suppose 5*o = 3*v - 0*v - 154, 4*v = -o + 190. Is v a multiple of 22?
False
Let w be (-10)/((-4)/((-6)/(-3))). Suppose -5*r + 23 = -0*b + 4*b, -w*r + b = -13. Suppose r = 5*c - 17. Is 2 a factor of c?
True
Let v(d) = -d**3 - 5*d**2 + d - 4. Let c(h) = -h**2 + 2*h + 1. Let x be c(3). Let w = x + -4. Does 13 divide v(w)?
True
Let m = -2 + -1. Let c be -15*m/((-45)/(-6)). Let x = c + -4. Is x a multiple of 2?
True
Suppose -y + 4*y - 378 = 0. Suppose -84 = -5*g + y. Is g a multiple of 22?
False
Suppose -11 = -3*n + 13. Suppose 0 = g + 3*g - n. Suppose -m + g*m - 11 = 0. Is 6 a factor of m?
False
Suppose -4*n = -2*n - 56. Suppose n + 2 = 5*g. Is g a multiple of 4?
False
Let u(h) = -2*h**3 - 4*h**2 - 2*h. Let j be u(-2). Let x = -1 + j. Let d(k) = k**3 - 5*k + 2. Is 14 a factor of d(x)?
True
Let b be (3/(-6))/(2/(-124)). Let h = -20 + b. Suppose k - 2*k + h = 0. Is 11 a factor of k?
True
Let u(s) = -3 - 4 + 5 + s. Let v be u(3). Does 4 divide v/3 + 22/6?
True
Let j be 2 + 2 + -2 + 3. Does 15 divide (65 - j)*(-2)/(-4)?
True
Suppose -2*s + 6*s + 3*k - 225 = 0, 5*s 