 Is f(h) a multiple of 7?
False
Let g = -332 + 535. Let j = g + -186. Does 2 divide j?
False
Let y = 4479 - -4377. Is 8 a factor of y?
True
Let c(t) = 279*t - 117. Is 9 a factor of c(10)?
True
Let g be (11 + 680/(-16))/(2/(-16)). Suppose 21*b - 24*b + g = 0. Is b a multiple of 3?
True
Let r(k) = -10*k**3 - 19*k**2 + 12*k - 25. Is r(-13) a multiple of 25?
False
Let j be (18 - 16)/((-4)/(-22)). Suppose -3*r + 4*r + 5*n - j = 0, 3*r - n + 15 = 0. Is 6 a factor of 11/r - -2 - (-158)/8?
False
Let w be 1/(6/14 + (-60)/189). Let b(i) = 3*i**2 + 2*i + 13. Let c be b(w). Suppose -4*o + 5*z = -c, 172 = -5*o - z + 529. Does 9 divide o?
False
Suppose -3*j - 24 = 4*f, 2*f + 18 = -3*j - 0*j. Is 4 a factor of (216/6)/j*(-40)/3?
True
Let a(i) = 6092*i**2 + 531*i + 1588. Does 73 divide a(-3)?
True
Suppose -5*s = -7*s + 6. Suppose -3*q + s*o - 3 = 2*o, q + 1 = -5*o. Let b(w) = 11*w**2 - 3*w - 3. Is 11 a factor of b(q)?
True
Let f = 195 - 455. Suppose 5*g - 8*g = -5*y + 1889, 0 = 3*y - 4*g - 1140. Let o = y + f. Is o a multiple of 20?
False
Suppose -17 = -2*z + 1. Let j(f) = -6*f**3 + 7*f - 4*f - 17*f**2 - 11 + z*f**3. Is j(7) a multiple of 16?
False
Let f = 10180 - 5422. Does 26 divide f?
True
Suppose 36*c - 87104 = -14276. Suppose -7*h = -2793 - c. Is 16 a factor of h?
True
Suppose f + 3*f + s = 31, 13 = 2*f + 3*s. Suppose -f*g = -2*g - 474. Let n = 112 - g. Is n a multiple of 16?
False
Let h = 3953 + 1682. Suppose 95 = 15*g - h. Does 43 divide g?
False
Suppose 0 = -4*b - 5*w + 27, -6 = 2*b - b - 3*w. Suppose 4*l - 144 = -o, o + b*l - 67 = 79. Is 9 a factor of o?
False
Let u(y) = 6946*y**2 + 45*y - 38. Does 58 divide u(2)?
False
Suppose -4*x + 159 = -b + 5, 5*x - 4*b - 187 = 0. Suppose 19*l = 18*l - x. Does 26 divide 105 - (6/l + (-15)/(-13))?
True
Let x = 482 + -476. Does 8 divide 513/27 + x/(-1)?
False
Suppose 345*d - 353*d + 52584 = 0. Is 21 a factor of d?
True
Suppose -4*t + 5*m = -29, -20 = -3*t - m + 3*m. Suppose -t*g = -1940 - 34. Is 14 a factor of g?
False
Suppose -5*l - 422 = -z, -4*z - 2*l - 699 = -2497. Suppose 78 = z*m - 446*m. Is 78 a factor of m?
True
Is 3*((-48)/56 + 23158*77/294) a multiple of 67?
False
Suppose 0 = 30*y - 377*y + 39873 + 12871. Is y a multiple of 2?
True
Let s = 1424 + 65. Does 78 divide s?
False
Let n be 5 - 4 - -1*(3 - -10). Let f(k) = -2*k + 11*k**2 + k**3 - 17 - n*k + 2*k + 5. Does 12 divide f(-12)?
True
Suppose 0*b - 815 = -4*b - 5*d, 2*b - 406 = -2*d. Is 23 a factor of ((-771)/(-1))/(150/b)?
False
Let s be (4/(-10))/((-40)/(-2200)). Let k(v) = v**2 + 6*v - 21. Does 16 divide k(s)?
False
Let j(o) = -976*o**2 + 14*o + 26. Let v(c) = -977*c**2 + 13*c + 21. Let s(r) = 3*j(r) - 4*v(r). Is s(-1) a multiple of 14?
False
Suppose -6*o - 35*o = -4838. Does 91 divide (130/(-3) - 0)/(o/(-1239))?
True
Is (-8)/(-12)*(-16)/((-224)/18669) even?
False
Suppose 0 = -3*w + 2*z, -5*w - z - 25 = 4*z. Is (-48)/72*(-940 + w) a multiple of 17?
False
Let i(a) = -a**2 - 14*a + 38. Let l be i(-16). Is 16 a factor of (8 - l) + (84 - -2)?
False
Let a(g) = -g**2 + 3. Let d be a(0). Suppose 0 = -d*w - 3*m + 135, 0*w - 3*w = 2*m - 139. Is 43 a factor of w?
False
Suppose 0 = 19*p - 13*p - 2610. Let q = -15 + p. Let a = q - 287. Is a a multiple of 13?
False
Suppose 13*t - 3*n = 10*t + 2181, -4*t - n = -2928. Is 17 a factor of t?
True
Let a = -54 - -52. Does 6 divide (5 - -644)*(-2)/a?
False
Let d = -23888 + 38960. Is 8 a factor of d?
True
Suppose 370*z = 380*z - 50. Suppose -6*t + 8*t - 978 = -2*w, 0 = z*t + 5. Does 14 divide w?
True
Let y(n) = -41*n**3 - 2*n**2 - 4*n - 3. Let x(i) = -i**3 + 18*i**2 - 14*i - 52. Let v be x(17). Is y(v) a multiple of 10?
True
Let i = 751 - 361. Suppose 0 = 3*p + 2*p - i. Let u = p + -54. Does 6 divide u?
True
Is (-13)/(-117)*9*715 a multiple of 65?
True
Suppose -2*o + 78*k - 82*k = -8860, -5*o + 22114 = k. Is 80 a factor of o?
False
Let v = -199 - -415. Suppose -2*x = 16*x - v. Is x a multiple of 6?
True
Let q be 14*(10/35 + (-1044)/(-21)). Let g = 1016 - q. Is 15 a factor of g?
False
Suppose 3*h - 617 = 4*q - 0*h, -3*q = -h + 469. Let v = -98 - q. Suppose 74 = 2*f + v. Is f even?
False
Let r(p) = -p**3 + 14*p**2 - 10*p + 20. Is r(9) a multiple of 11?
False
Let t(p) = 2*p**3 + 16*p**2 + 9*p - 2. Let d(a) = -a**3 - 8*a**2 - 5*a + 1. Let h(o) = -5*d(o) - 3*t(o). Let g be h(-8). Let k = g - 7. Does 9 divide k?
False
Let a(w) = -2*w - 343. Let v(f) = -5*f - 686. Suppose -31 = -4*c - 15. Let z(j) = c*v(j) - 9*a(j). Is z(0) a multiple of 58?
False
Suppose -n - 133 = -0*n. Let g be -3 - (-110)/(-11) - 6. Let y = g - n. Is 19 a factor of y?
True
Let d = -5082 + 12678. Does 36 divide d?
True
Suppose -367*m + 468860 = 355069 - 1097309. Does 17 divide m?
False
Let m(p) = -3*p + 11. Let w be m(4). Let d be -2*-2*(w - 28). Let t = -104 - d. Is t a multiple of 4?
True
Let w = -64 - -68. Let p be ((-18)/27)/(w/(-1482)). Suppose 3*k = -p + 1081. Does 41 divide k?
False
Suppose t - 5*d = -22, -4*d = 5*t - d - 30. Let h be (t/2)/((-4)/(-32)*4). Suppose -h*b = 18 - 117. Does 11 divide b?
True
Suppose 0 = 5*b - 4*g - 1459, 0*b - 4*b + 1216 = 9*g. Is b a multiple of 4?
False
Let g(r) = -24*r**3 - 4*r**2 - 37*r - 149. Is 16 a factor of g(-8)?
False
Let a = -513 + 961. Suppose 21*m = -a + 1561. Is m a multiple of 4?
False
Suppose 19*k + 1502 = 4*d + 14*k, 3*d - 5*k = 1124. Is d a multiple of 98?
False
Let f(s) = 19*s**2 - 2*s - 5. Let t be f(-6). Let j = t + -490. Does 9 divide j?
False
Let n(s) = s**3 - 4*s**2 + 5*s - 10. Let f be n(2). Let u(w) = 17*w**2 - 32*w - 204. Does 20 divide u(f)?
True
Suppose -19*m - 106*m = -267250. Is m a multiple of 25?
False
Suppose -4*r + 50*u + 14768 = 52*u, 3*u - 36928 = -10*r. Does 34 divide r?
False
Let s(b) = 15*b**3 - 2*b**2 - 5. Suppose -6 = 4*z + 2*o, 3*o = z + 3 + 9. Let h(t) = 14*t**3 - t**2 - 4. Let m(c) = z*s(c) + 4*h(c). Does 14 divide m(2)?
False
Let d be 2/((-8526)/2135 + 4). Suppose -2*c + d = -735. Does 40 divide c?
True
Suppose -5*p - 10507 + 61157 = 5*d, 0 = -2*d - 4*p + 20254. Is d a multiple of 18?
False
Let y(f) = -f**3 - 11*f**2 - 14*f + 8. Suppose -3*r - 39 = -3. Let c be y(r). Let x = -168 + c. Is x a multiple of 19?
True
Let i be (17 - (7 - 3))/(2/114). Let u = -461 + i. Does 45 divide u?
False
Let y(z) = 107*z**3 + 8*z**2 - 39*z. Does 44 divide y(4)?
True
Suppose 0 = -5*g + 10, 3*g - 22476 = -4*b + 10150. Is b a multiple of 20?
False
Let b(r) = 8*r**2 - 47*r + 93. Is b(-15) a multiple of 23?
False
Let c = 176 - 253. Let x = c + 151. Let q = 75 + x. Is q a multiple of 9?
False
Let f(a) be the third derivative of 5*a**4/24 - 2*a**3/3 + 15*a**2. Let t be f(2). Suppose -2*y = 3*u - t*u + 50, u = y + 16. Does 18 divide u?
True
Let m = 35251 + -18872. Is 6 a factor of m?
False
Let x = -69 + 74. Let d(m) = 18 + 0*m + 7*m + x*m. Is d(6) a multiple of 5?
True
Suppose 6*v = -6181 + 373. Let i = v - -1613. Does 69 divide i?
False
Let v(i) = -i**3 + i**2 - i + 120. Let o be (-3)/12 + 3/12. Let t be v(o). Suppose -85 = -c + 5*d, 4*c - t - 196 = -4*d. Is c a multiple of 6?
False
Suppose -s - 3 + 7 = -j, -8 = -2*s + j. Suppose -s*a + t = -5*a + 25, -2*t - 10 = -a. Does 5 divide a?
True
Suppose -5785 = -5*q + 5*c, 34 = 3*c + 40. Is q a multiple of 73?
False
Suppose 7*s = 14*s - 245. Let u = -33 + s. Suppose 5*i - 72 = u*i. Is i a multiple of 12?
True
Suppose 11*u - 128 = -29. Suppose u = x + 3. Suppose x*n - 12*n = -1584. Is n a multiple of 22?
True
Suppose -840*t + 845*t - 20 = 0. Let r(i) = 37*i**2 - 11*i + 60. Is r(t) a multiple of 19?
True
Let p = 40096 - 23682. Does 51 divide p?
False
Let f(b) = 2*b + 24. Let s(g) = -g**3 + 3*g**2 + 6*g - 2. Let y be s(4). Let t be f(y). Is 16/5 - (-7 + t/5) even?
False
Suppose 7618 = 136*s - 118*s - 220964. Is 153 a factor of s?
True
Let s be 1*(2 - 4)*-59. Let d be s/38 + (-4)/38. Is 4 a factor of (4/d)/((-11)/(-33))?
True
Suppose 0*c - 937 + 6304 = c. Is 30 a factor of c?
False
Is 87 a factor of ((-33)/(-55))/(2 - 114933/57470)?
False
Let r = 295 + -77. Suppose -o = -2*f - r, -3*o - 2*o + 1090 = -f. Does 7 divide o?
False
Let k = 56101 + -33498. Suppose 5*p + 3612 + 3949 = i, 0 = 3*i + p - k. Is i/84 - (-4)/14 a multiple of 18?
True
Suppose 13*h - 36 = 9*h. Suppose h*p - 5*p = -3*g + 1037, -3*g = -2*p + 505. Does 13 divide p?
False
Suppose -3*p + p = k - 23