et c be a(3). Suppose -94 + c = 5*r. Suppose 4*l = r + 51. Is l a multiple of 6?
False
Let b = 206 + -110. Does 8 divide b*(4 - (-14)/(-4))?
True
Let y(p) = -81*p - 286. Is y(-6) a multiple of 50?
True
Let p = -6 + 3. Let b be (-2)/2 + (p - 4). Is 10 a factor of 60*(12/b + 2)?
True
Let z = -28 + 55. Is -36*12/z*-3 a multiple of 12?
True
Suppose 3*h + h + 38 = -2*j, 5*j = -4*h - 77. Is 17 a factor of 4 + (-100)/26 + (-1870)/j?
False
Let r(z) = 8*z**3 + z**2 - z + 3. Let y be r(-3). Let x = -84 - y. Does 32 divide x?
False
Let v(u) = 4*u**2 + u - 7 + 5 + 2*u**3 - 9*u**2. Is v(4) a multiple of 5?
True
Suppose 4*o - 2*j = 2*j + 44, 0 = -o + 3*j + 15. Suppose -83 = -5*b + 67. Is 718/o + b/135 a multiple of 24?
False
Let t(g) = 4*g**3 - 8*g**2 - 2*g + 8. Let c(m) = -5*m**3 + 9*m**2 + 3*m - 8. Let x(w) = 5*c(w) + 6*t(w). Is 3 a factor of x(-4)?
True
Let l(c) = c**3 + 2*c**2 + 2*c + 2. Let d be l(-2). Let o(w) = w + 4. Let y be o(d). Suppose -3*t + 5 = y, 0 = -5*j - 4*t + 124. Is 12 a factor of j?
True
Suppose 646 = 35*d + 3*d. Let c be (-1)/3 + 10/(-6). Is (-18 - -10)*d/c a multiple of 18?
False
Suppose -16*y = -20163 - 6445. Does 13 divide y?
False
Let p = -110 - -119. Suppose -3*a - p = -33. Is a a multiple of 2?
True
Suppose -54403 = -12*p - 15067. Is 98 a factor of p?
False
Suppose 6903 = 12*h - 1521. Is 13 a factor of h?
True
Let d(j) be the third derivative of -j**6/360 - j**5/12 - 17*j**4/24 - 4*j**3/3 - 8*j**2. Let c(x) be the first derivative of d(x). Is c(-7) a multiple of 4?
True
Suppose 1208 + 3454 = 18*f. Let t = -162 + f. Is t a multiple of 8?
False
Let p(g) = g**2 + 13*g + 40. Let r be p(-9). Suppose -r*v + 736 = x, v + v = x + 368. Does 21 divide v?
False
Let g(q) = -q + 18. Let y be g(9). Is 8 a factor of 174/(9*3/y - 1)?
False
Suppose -2*l - 4*s = l - 3, -4*l = 5*s - 4. Does 15 divide ((-1)/(-2))/(l/120)?
True
Suppose -5 = b + 3. Let m(a) = -2*a**2 - 22*a + 4. Does 13 divide m(b)?
True
Let l be ((-24)/(-16))/((-2)/(-4)). Let m(j) = -4*j**3 - 8 - 3*j**2 + 5*j**l - j**3 + j**3. Does 25 divide m(6)?
True
Suppose -153 = 4*r - 413. Does 5 divide r?
True
Is (-16 - -312)/((-6)/(-48)) a multiple of 27?
False
Let q be 8/5 - 6/(-15). Suppose -212 = -q*b - 74. Is b a multiple of 11?
False
Let q be (-2)/((-8)/(-68))*1. Let h be -3 + 0 + 3 + 7. Let w = h - q. Is w a multiple of 5?
False
Suppose 0 = 9*f + 4*f - 30264. Is f a multiple of 34?
False
Let y(j) = j**3 + j**2 - j + 1. Let c(w) = w**2 - w - 1. Let o be c(-1). Let g be y(o). Suppose 4*k = -q + 8, 3*q - 17 = -g*q + 3*k. Is q a multiple of 4?
True
Let l(f) = -f**2 - 4*f - 8. Let g be l(6). Is (-2 + g/10)*-5 a multiple of 11?
True
Suppose 2*i + 405 = 1763. Is 49 a factor of i?
False
Does 23 divide (-8)/14 - (-68525)/175?
True
Let x = -2 + -6. Let g(a) = -9*a + 10 - 3*a**3 - 5*a**2 - 3*a**2 + 15*a**2 + 4*a**3. Does 9 divide g(x)?
True
Let l be (-24)/(-18)*(1 + 2) - -3. Does 12 divide 208/20*(-2 + l)?
False
Suppose 2*m = 4*m, -2*m = -5*n + 20. Let w be 2/(-3)*9/(-2). Suppose w*b + 9 = -0*b, -n*b = -u + 45. Does 11 divide u?
True
Let q(h) = -3*h + 9. Let t be q(5). Let x(b) = 2*b + 12. Let c be x(t). Suppose -r - 2 = 0, 0 = -4*n - c*r - 2*r + 136. Is n a multiple of 8?
False
Let a be (51/(-3))/1 + 1. Let l be 34/8 - (-4)/a. Is 17 a factor of 2 + 18 - 8/l?
False
Does 5 divide (1 + (-176)/6)/(17/(-255))?
True
Let n = -48 + 48. Suppose n = u - 39 - 125. Is 41 a factor of u?
True
Let a(n) = -2*n**3 + 18*n**2 + 50*n - 10. Does 7 divide a(11)?
True
Suppose 0 = 2*k - 990 + 78. Does 16 divide k?
False
Suppose 2*v + 2*h = 6, -v - 5*h = 15 - 6. Suppose v*k + 76 = 7*k. Is 7 a factor of k?
False
Suppose 0 = 2*l - 8, 3*a + 4*l = 35 - 7. Suppose a*c - 2*c - 52 = 0. Is 13 a factor of c?
True
Let v = 155 - -16. Suppose 4*r = v + 1. Does 18 divide r?
False
Let s = -1519 - -2356. Is s a multiple of 31?
True
Let f be -1*7/(-2) + 15/30. Does 9 divide 1*68 - (4 - f - 3)?
False
Let l(n) = n**2 - n + 5. Let j be l(0). Let h(t) = 3*t**2 - 9*t + 9. Is h(j) a multiple of 8?
False
Suppose -35904 = 140*n - 162*n. Does 24 divide n?
True
Let w = 192 - 134. Suppose 7*y = -2 + w. Is 7 a factor of y?
False
Suppose -16*n + 0*n = -5824. Is 28 a factor of n?
True
Is 6 a factor of 1 + 207 - (11 + -1 + -6)?
True
Suppose -3061 = -6*d + 425. Is d a multiple of 83?
True
Let j be 12/(-2)*(-12)/(-40)*-5. Let o(f) = f + 1. Let b be o(4). Suppose -j*w = -b*w - 64. Is w a multiple of 13?
False
Let n = -11 - -7. Is 11 a factor of (-1071)/(-28) + 1/n?
False
Let y = 19 + -14. Suppose 3*p - y*l + 1888 = -4*l, 3140 = -5*p + 5*l. Is p/(-5) + -3 + 0 a multiple of 28?
False
Let a(b) = -b**3 - b**2 + 72. Let l be (0 - (3 + -3))/2. Is 24 a factor of a(l)?
True
Let t = -52 - 460. Is 17 a factor of t/(-10) + (-16)/80?
True
Let g(k) = k**3 - 17*k**2 - 18*k + 14. Let d be g(18). Let z be ((-8)/4)/((-1)/2). Suppose -z*q = 2*p - 62, 50 = 2*p + 5*q - d. Is p a multiple of 6?
False
Let l = 21 + -15. Suppose 6 = -2*j, 4*j = 2*y - l*y - 4. Is y/((-22)/12 + 2) a multiple of 8?
False
Let o be -190 - 8/(3 - -1). Let d = o + 277. Is 34 a factor of d?
False
Let s be (-3)/9 - (-6252)/(-9). Let u be s/(-9) + (-16)/72. Suppose -4*x = -3*i - 0*x + u, -i = -4*x - 23. Is i a multiple of 9?
True
Suppose 9*g + 2*w = 4*g + 6203, 5*g + 5*w - 6200 = 0. Does 12 divide g?
False
Does 28 divide (25/(-2))/((6/68)/(-3))?
False
Suppose -4*w - r - 53 = -0*r, -2*r + 50 = -5*w. Let z = -12 - w. Suppose z = 3*i - 0*i - 30. Is i a multiple of 8?
False
Suppose 5*n - 26 = -3*p, -p + 4*n + 0 = 14. Suppose a + p*s = -0*s + 52, a - 62 = -4*s. Let q = 61 - a. Does 11 divide q?
False
Let d(c) = c + 9. Let w be d(-24). Let t be 41 - (3 + 4/(-2)). Does 6 divide ((-18)/4)/(w/t)?
True
Suppose 0 = 5*p - 10 + 40. Let s be 5/((-15)/p) + -20. Let n = 4 - s. Does 11 divide n?
True
Let x(u) = u + 10. Let n be x(7). Suppose 4*a + 13 = -7, n = -v + 3*a. Let o = -13 - v. Does 19 divide o?
True
Let p(y) = -98*y - 52. Does 24 divide p(-14)?
True
Suppose 2*l + 841 = 3073. Is 62 a factor of l?
True
Is 23 a factor of -7*((-10840)/35 + 2)?
False
Let u = 30 + 20. Suppose 4*i - u = 18. Does 17 divide i?
True
Suppose 2*t - 5*s = 17, -4*t - 5*s - 10 = 1. Let o be -14*(3 - (-34)/(-4)). Is 13 a factor of 4 - ((t - o) + 2)?
True
Let d(v) = 4*v**2 + 39*v + 283. Does 72 divide d(-7)?
False
Let g(j) = j**2 + 9*j + 3. Let i be g(-9). Suppose -i*t = -5 - 7. Suppose 88 = -t*f + 340. Is 13 a factor of f?
False
Suppose 2*m = 4*j - 670, j - 185 = 7*m - 3*m. Is j a multiple of 6?
False
Let q(x) = 45*x**2 - 3*x - 24. Does 130 divide q(5)?
False
Suppose -o + 7*o - 330 = 0. Suppose -5*m = -4*j - 295, -j - 4 = -m + o. Is m a multiple of 11?
False
Let w = -2359 - -3825. Is 5 a factor of w?
False
Let i = -1361 - -2371. Does 18 divide i?
False
Let p = 1557 - 1062. Is p a multiple of 5?
True
Suppose 0 = 2*p + 5*l - 10, -2*p - 8 = -p - 4*l. Suppose p = 4*q - 84 - 168. Suppose 0 = -4*v + q + 81. Is 12 a factor of v?
True
Does 34 divide (-42)/(-56) - (-9183)/12?
False
Does 43 divide (-1869)/(-4) + 36/(-144)?
False
Let i = 17 + -23. Let o(g) = 2*g**2 - 33*g + 24. Let z(x) = x**2 - 17*x + 12. Let m(c) = i*o(c) + 11*z(c). Is 3 a factor of m(9)?
True
Suppose 0 = 3*n - 2*n - 295. Let q be 2/12 - n/(-30). Suppose 0 = -4*y + 5*y - q. Is y a multiple of 10?
True
Let u(t) = -33*t. Suppose -3*c + 3 = 4*q + 8, 0 = c + q. Let j be c/15 - 4/3. Does 19 divide u(j)?
False
Let h = -3 - 1. Let g = h - -3. Does 16 divide (-1)/g + 165/3?
False
Does 10 divide (-456)/(-9*2/12)?
False
Suppose 4*l - 568 = -4*h, -5*h - 6*l = -7*l - 740. Does 26 divide h?
False
Suppose 0 = -987*o + 1000*o - 2171. Is o a multiple of 11?
False
Is 40 a factor of ((-2 + 43)/(8/(-16)))/(-1)?
False
Let x = -3 - -8. Suppose -3*s - 3*d = 0, 4*s + x*d + 0 = -2. Suppose -b = -2*f - 26, 5*b + 0*f = s*f + 90. Is b a multiple of 8?
True
Let s = 1528 + -705. Is s a multiple of 4?
False
Is 2 a factor of ((-475)/(-3) - 2) + (-26)/(-39)?
False
Suppose 2*x + 10*l = 12*l + 680, 5*x - 4*l = 1696. Is 110 a factor of x?
False
Suppose -7*j + 40*j - 13761 = 0. Is j a multiple of 3?
True
Suppose 0 = 40*k - 38*k - 2624. Does 55 divide k?
False
Let b = 2 - -2. Suppose b*o = o. Suppose o*t - 12 = -t. Is t a multiple of 8?
False
Let f(k) be the second derivative of k**4/6 + 7*k**3/6 - 7*k**2/2 - 15*k. Is