h = 5*f - 119 - 1591. Does 22 divide f?
False
Let s = 2475 - 1191. Is s a multiple of 40?
False
Let h be -8*5/(4 + -14). Suppose -x = h*x - 330. Is x a multiple of 6?
True
Let s(t) = 0*t - t + 13 - 5. Let o be s(4). Suppose -o*f + 7*f = -4*g + 226, 0 = -5*f - 4*g + 382. Is f a multiple of 26?
True
Let q = 514 + 705. Does 23 divide q?
True
Let p = 6 + -5. Let o = p - -3. Suppose -2*d + 42 = 2*f, 0*d - 12 = -2*f + o*d. Is 5 a factor of f?
False
Let h be ((-6)/(-10))/((-6)/(-180)). Suppose 10*w = 4*w + h. Is w a multiple of 3?
True
Let p be (-3)/4 - 66/(-24). Suppose -15 = -5*h + 3*j, -2*h - j + 5 = -p*j. Suppose -5*t + h*t + 565 = 0. Does 19 divide t?
False
Let x = -366 + 865. Is 4 a factor of x?
False
Let g = -274 + 488. Is 6 a factor of g?
False
Let r(y) = -y**2 + 5*y + 11. Let d be r(8). Let a = 16 + d. Let v = 16 + a. Is v a multiple of 11?
False
Suppose v = -10*v - 33. Does 8 divide 2 + 121 + 4 + v?
False
Let h(q) = -155*q + 19. Is 46 a factor of h(-7)?
True
Let h(z) = -33*z. Let x be h(-1). Let i = 91 - x. Suppose -2*c + 2*y = -i, 53 + 6 = 2*c - 3*y. Is c a multiple of 14?
True
Let t(f) = -2*f - 2. Let h be t(-2). Let q(j) = -3*j + 1. Let l be q(h). Let c = l - -13. Does 3 divide c?
False
Let a be 7/(-8) + 1 - (-5)/(-40). Suppose -l + a*l - 304 = -5*f, -316 = -5*f + 4*l. Is 10 a factor of f?
True
Suppose -r = -4*j + 11, -5*r - 37 = -10*r - 3*j. Let d(w) = w**3 - 2*w**2 + 7*w - 5. Let x be d(r). Does 9 divide (x/(-14))/(2/(-4))?
False
Let s be (-2 - (-25)/10)*20. Suppose -170 = -s*t + 5*t. Is t a multiple of 12?
False
Let l = -31 + 31. Does 9 divide (l + -1 - -50) + -1 + -2?
False
Is 2016/(-10)*4/((-8)/10) a multiple of 16?
True
Let n(g) = -6*g**2 + 6*g - 7. Let p(v) = 6*v**2 - 6*v + 7. Let r(y) = -5*n(y) - 4*p(y). Is 7 a factor of r(1)?
True
Let s be (-4)/(-26) + 24/(-156). Let z = 4 + s. Suppose -i = z*i - 175. Is 6 a factor of i?
False
Let y be (57/(-6))/((-3)/6). Let h = 51 - y. Is 32 a factor of h?
True
Let g(m) = 31*m**2 + 2*m - 1. Let l be (-16)/(-120) - (-43)/15. Let b be 2*(l - 2)/2. Does 8 divide g(b)?
True
Let z = 141 + -101. Let c = 3 + z. Does 14 divide c?
False
Let q(g) = g**3 - 5*g**2 - 8*g + 3. Let p be q(7). Let y = -30 + p. Is y a multiple of 10?
False
Let c = 20 - -104. Let d = c - 70. Is 9 a factor of d?
True
Let d(s) = -s**2 + 50*s - 1. Is 78 a factor of d(25)?
True
Let l = 7 - 5. Suppose 0 = 4*w - 3*w - 4, v - l*w + 8 = 0. Suppose v = 2*h - 34 - 18. Is h a multiple of 7?
False
Suppose -2*m - 10 = 0, 18*z - 20*z = 4*m - 90. Does 11 divide z?
True
Suppose 0*j + 3*j = 12. Let o(x) = x**2 - 3*x - 2. Let m be o(j). Suppose -z + 90 = m*z. Is z a multiple of 15?
True
Let b be 13 - 0*2/(-6). Let c(v) = 1. Let g(t) = t - 3. Let q(d) = 4*c(d) + g(d). Is q(b) a multiple of 12?
False
Suppose -3*h - 12*l = -7*l - 9803, 13089 = 4*h + 3*l. Suppose -d + 14*d = h. Is 36 a factor of d?
True
Suppose -6 = -2*h, -k - 3*k - 4*h = -688. Is k a multiple of 27?
False
Let r = 562 - 366. Is r a multiple of 7?
True
Suppose -8*a = -3*a. Suppose 4*c - 16 = -a*c. Suppose 4*q - 3*d = 105, -5*q - c*d + 0*d = -108. Is q a multiple of 24?
True
Let v(k) = -k - 11. Let h be v(-16). Let f(r) = 5*r**2 + r. Let w be f(h). Suppose 0 = 4*t + 2*o - 130, 6*t - t - w = 4*o. Is t a multiple of 10?
True
Suppose -1 = -l + 3. Suppose l + 17 = 3*t. Suppose -3*v - 88 = -t*v. Is 15 a factor of v?
False
Suppose 3*o + 2*w - 5*w = 759, -o + 2*w = -254. Does 28 divide o?
True
Let m(z) = -z**3 - 15*z**2 - 12*z - 10. Let n be m(-10). Let f = n - -578. Does 25 divide f?
False
Let i(d) = -d**2 - d + 4. Let h = 0 + 0. Let v be i(h). Let k(p) = -p**2 + 5*p + 2. Is 2 a factor of k(v)?
True
Let c = -1323 - -2445. Is c a multiple of 17?
True
Suppose 2*m - 2 = 0, 1262 = 5*a + 3*m - 281. Let j = a - 172. Is 34 a factor of j?
True
Suppose -3*t + 206 = a - 0*a, 4*t - 4*a = 248. Suppose 5*c - 787 = -t. Does 36 divide c?
True
Let h be -4 + -4 - (-2 - -1). Let o = 23 + h. Is o a multiple of 11?
False
Let v be (-638)/3 - 6/(-9). Let c = v - -319. Does 46 divide c?
False
Is (16/(-5))/((-6)/105) a multiple of 8?
True
Let r(y) = -404*y + 4. Let u be r(-9). Let c = u + -1808. Is 15 a factor of c/56 - (-4)/14?
False
Let f(a) = 7*a - 18. Let g be f(8). Let w be (-9)/2 - (-19)/g. Let y(k) = k**3 + 6*k**2 + 3*k + 5. Is y(w) a multiple of 25?
True
Let r(z) = 5*z + 38. Let g(i) = -1. Let u(t) = -3*g(t) - r(t). Is 4 a factor of u(-19)?
True
Suppose -390 = -y + 2*y. Let m = 614 + y. Is m a multiple of 28?
True
Let c(n) = -n**3 - 15*n**2 - 14*n + 2. Let p be c(-14). Let o(f) = 3 + 3*f**p + 0*f**2 - 4. Does 14 divide o(-3)?
False
Let f(s) = -s**2 - s + 137. Suppose -3*w - 4*q = -4*w + 16, 0 = 4*w + q + 4. Is f(w) a multiple of 24?
False
Suppose -2*y = 203 - 1169. Suppose -3*n + 4*z + y = 0, 332 + 343 = 4*n + 5*z. Is n a multiple of 31?
False
Let u(l) be the first derivative of -3*l**2/2 + 18*l - 46. Is u(-3) a multiple of 4?
False
Suppose -3*l - 4*f = -448, -8*l - 556 = -12*l + 5*f. Does 3 divide l?
True
Let c(s) = 4*s + 6. Let w be c(3). Suppose w*y + 160 = 19*y. Is y a multiple of 20?
True
Suppose 2*f = 2*n - 2, 0 = -4*n + 4*f - 2*f + 8. Suppose 5*h + 4*w + 1 = 0, -2*w + n = 4*h - 1. Let y = 19 + h. Is y a multiple of 11?
True
Let l(v) be the third derivative of v**4/24 + 13*v**3/6 + 6*v**2. Let h be l(-5). Does 18 divide (12/h)/(-3)*-108?
True
Let w = 80 - -77. Let x = w - 62. Does 10 divide x?
False
Let s = -117 - -239. Let y = 219 - s. Is 6 a factor of y?
False
Let x = 750 - 509. Let g = x - 157. Is g a multiple of 20?
False
Let a(m) = -3*m**2 - 9*m + 1. Let t(u) = -2*u**2 - 8*u + 1. Let f be (3 + -1)/((-2)/3). Let i(n) = f*a(n) + 4*t(n). Is 7 a factor of i(8)?
False
Suppose 6 = -c + 3. Let q(k) = -2*k**3 - 5*k - 4. Let m be q(c). Suppose -12*n + m = -7*n. Is n a multiple of 13?
True
Let t = 44 - -1. Let a(m) = m**3 + 5*m**2 - 3*m - 5. Let y be a(-3). Let f = t - y. Is 5 a factor of f?
False
Let r = -22 + 9. Let c(h) = -h - 3. Let w be c(r). Suppose 8*k + 182 = w*k. Is k a multiple of 13?
True
Let y(h) = h**3 - 3*h**2 + 3*h - 2 + 6 - 4*h + 3. Let f be y(6). Suppose -47 = -2*d + f. Is d a multiple of 20?
False
Suppose -6*w = -j - 4*w + 5, 5*j = w + 52. Suppose -k + 20 = 4*k. Suppose j + 21 = k*o. Is o a multiple of 3?
False
Let m be (-3)/(-6)*20 + -2. Let d = m - -25. Is d a multiple of 11?
True
Let a be -2 + 1 + 40/(-4). Let t = a + 16. Suppose -2*z = t*o - 147, 97 + 203 = 5*z - o. Does 26 divide z?
False
Let h(b) = b**2 - 5*b + 3. Suppose 0 = -2*i - t + 22, -t + 16 = 3*t. Is h(i) a multiple of 14?
False
Is 12 a factor of (-9)/4*3456/(-36)?
True
Let z(n) = 19*n**2 + n + 2. Let w be z(-1). Let i = w + 2. Is 8 a factor of i?
False
Let n be 0 - (-1)/((-1)/(-2)). Let y(v) = -v**3 + 8*v**2 - 4*v + 34. Let u be y(8). Suppose 68 = n*a - 0*l + 3*l, -u*a + 64 = 4*l. Is a a multiple of 37?
False
Let m(n) be the second derivative of n**4/12 - 4*n**3/3 - 9*n**2/2 + 6*n. Let x(u) = 2*u**3 - 2*u**2 + u + 4. Let z be x(2). Does 18 divide m(z)?
False
Let r(f) = -13*f - 53. Does 24 divide r(-11)?
False
Let g be (27/45)/(1/5). Suppose m + 472 = -g*m. Let w = -42 - m. Does 19 divide w?
True
Suppose 10*t - 3606 = 10194. Is t a multiple of 115?
True
Suppose 35*g + 4*m = 39*g - 1924, -m = 5. Does 17 divide g?
True
Let q = -148 + 608. Suppose -9*u + q = -4*u. Is 23 a factor of u?
True
Does 21 divide (-7)/(78/(-18) - (-3 - 1))?
True
Let o(m) = m**2 + 10*m + 29. Does 4 divide o(-9)?
True
Suppose 3*y - 501 = 33. Suppose 5*w - y - 1437 = 0. Suppose -6 = 3*s, -4*i = -i + 5*s - w. Is 37 a factor of i?
True
Let n = -234 + 897. Is 10 a factor of n?
False
Let k be ((-14)/(-6))/((-3)/(-270)). Suppose -5*v - 3*w = -235, -4*v + 3*w - w + k = 0. Is 8 a factor of v?
False
Let m(l) = l - 1. Let q(a) = -45*a + 57. Let z(b) = -2*m(b) - q(b). Is z(8) a multiple of 28?
False
Let r = -302 + 203. Let n = r - -195. Is 24 a factor of n?
True
Let d(b) = -6*b**2 - 12*b + 1. Let n(m) = -6*m**2 - 13*m + 2. Let z(u) = 3*d(u) - 2*n(u). Let i(c) be the first derivative of z(c). Does 5 divide i(-3)?
False
Suppose 69 + 8 = -g. Is (-1408)/g + (-4)/14 a multiple of 3?
True
Let o = 37 + -27. Suppose -5*k + o = -10. Suppose -m = -k*x + 396, -3*x - 3*m + m = -308. Is x a multiple of 20?
True
Let n = 1512 + -827. Is n a multiple of 25?
False
Let f(q) = -