uppose 2*w - 668 = 4*l, 2*w + 4*l - l = 689. Is w a multiple of 20?
True
Let d be 15814/30 + -1 + (-6)/45. Let w = -129 + d. Does 68 divide w?
False
Suppose -2*c - 518 = -j, -16*j - 3*c = -18*j + 1041. Does 44 divide j?
True
Let i(o) = -14*o**3 - o**2 + 23*o + 76. Is i(-4) a multiple of 48?
True
Let w(z) = -2 - 10*z**2 - z**3 + 14 - 5*z - 2*z. Let n be w(-9). Is 27 a factor of 348/9 - (-4)/n?
False
Suppose 21*l - 962 = 4. Is 46 a factor of l?
True
Let h be -4*(-3)/(-9)*-3. Suppose 80 = 9*l - h*l + 2*u, -l - u = -16. Is l a multiple of 3?
False
Let h(r) = r**3 + 7*r**2 + 17. Let k be h(-7). Suppose -3*w + 8 = k, 4*u = -4*w + 76. Is 11 a factor of u?
True
Let w = -3 + 7. Suppose -353*p - 6 = -355*p. Suppose -l + p = 0, w*u - 142 = 4*l + 158. Is u a multiple of 39?
True
Suppose w - 1538 = -31*l + 30*l, -3*w - 5*l = -4622. Is 41 a factor of w?
False
Suppose 19*i = -369 + 2193. Does 12 divide i?
True
Suppose -5*r + 716 + 874 = 0. Is r a multiple of 66?
False
Suppose 3*p = 2*l - 3653, -2*p = 15*l - 10*l - 9085. Is 17 a factor of l?
True
Does 15 divide -13 + 580/30*36?
False
Suppose 5*d + 8 = 7*d. Suppose d*x + x = 15. Suppose 0 = -2*z - 4*m + 52, 7*m = x*m + 20. Does 16 divide z?
True
Let b(j) = 96*j. Suppose 0*z = 2*t + z - 2, 0 = 2*z. Does 24 divide b(t)?
True
Let u = -83 - -89. Let h(f) = -2*f + 1. Let j be h(-1). Is 7 a factor of 1/(u/20)*j?
False
Let n be (-4)/6 - (-2)/3. Suppose -t - y = -16, n*t - t + 4 = 4*y. Is 10 a factor of t?
True
Is 7 a factor of 42/(-98) - 2554/(-14)?
True
Let p(s) = -226*s - 1. Is p(-1) a multiple of 15?
True
Let l(w) = -6*w + 17. Let n(k) = k + 1. Let g(a) = l(a) + 5*n(a). Is 8 a factor of g(9)?
False
Suppose 40 = 2*k + 2*k. Let y = 19 - 16. Suppose 2*r - k = -y*r. Does 2 divide r?
True
Let d(l) = 4*l**3 - l**2 - 7*l + 8. Let u be d(1). Let j(i) = i**3 - 2*i - 2*i**2 - 1 + i + 3*i. Does 13 divide j(u)?
True
Let n(q) = -3*q**2 + 5*q + 1. Let t(g) = 2*g**2 - 4*g - 1. Let a(d) = 6*d + 2. Let l be a(-1). Let h(c) = l*n(c) - 5*t(c). Is 13 a factor of h(-4)?
False
Suppose -68*i - 5194 = -75*i. Does 53 divide i?
True
Let b(f) = -f**3 + 3*f**2 - f - 2. Let s be b(2). Suppose s = 2*v - v - 7. Does 12 divide (-3)/v - (-675)/7?
True
Let i = 15 + -15. Let v(a) be the first derivative of a**4/4 + a**3/3 + a**2/2 + 11*a - 2. Is 11 a factor of v(i)?
True
Let o = -356 - -482. Is o a multiple of 7?
True
Suppose 7 = 5*m - 3. Suppose 2*w + 6*a = a - 40, -8 = m*w - 3*a. Is (-234)/4*w/15 a multiple of 6?
False
Let u = 29 - 21. Let j(z) = 7 - 1 + 0 + 78*z - 68*z - 3. Does 12 divide j(u)?
False
Suppose -3*d = 5*a - 1989, -2*d = 3*a - 784 - 410. Does 11 divide a?
True
Is (6/(-42)*-7)/((-5)/(-4845)) a multiple of 51?
True
Let d = -41 - -44. Suppose -53 + 435 = 3*s + 5*j, d*j + 461 = 4*s. Is s a multiple of 11?
False
Suppose 0 = 9*k - 6*k - 18. Does 11 divide (-32)/(-48) + 590/k?
True
Suppose 0 = 4*l - 5*o - 832, -221 = -0*l - l - 2*o. Suppose -2*w - 2*a = -17 - l, 341 = 3*w + 5*a. Is w a multiple of 39?
True
Suppose -c + 4 - 18 = 0. Let s = c + 16. Does 10 divide s - (-5 + (-4 - -1))?
True
Is ((-4779)/12)/(-2*42/1120) a multiple of 17?
False
Suppose -14 = o - 18. Suppose -3*s + 389 = -2*x, -4*s + 50 = -o*x - 466. Does 12 divide s?
False
Let a be 12/(-28) + (-1714)/(-14). Suppose b = -b + a. Is b a multiple of 12?
False
Let t = 28 - 58. Does 26 divide (t + 0)*(-156)/36?
True
Suppose -5*z = 5*b + 40 - 260, -5*z = b - 40. Is 5 a factor of b?
True
Suppose 3*j - 59 + 14 = 0. Does 26 divide -2*j/(-6)*17?
False
Is 12 a factor of ((-8)/(-5))/(9/1350)?
True
Let t be (-12)/18*18/1. Let n be t + (-3)/((-9)/12). Does 30 divide (n/6)/(2/(-45))?
True
Let h(b) = -7*b + 8. Let t = -25 + 30. Suppose t*y + y + 18 = 0. Does 18 divide h(y)?
False
Suppose 1164 = 25*f - 6436. Is 17 a factor of f?
False
Suppose 5*c + 299 = 49. Let r be 30/c + 36/10. Suppose r*j = -12, -31 - 24 = -5*a - 5*j. Is a a multiple of 10?
False
Let u(t) = 9 + t + 14 + t - 3*t. Let s(n) = -n**3 - 6*n**2 + 9*n + 14. Let b be s(-7). Is u(b) a multiple of 7?
False
Let d = 993 + 339. Is 6 a factor of d?
True
Let b = 47 - 29. Let f(i) = i**3 - 19*i**2 + 18*i + 40. Is f(b) a multiple of 20?
True
Suppose -3*w - 23*v + 1746 = -26*v, 2*v = 4. Does 73 divide w?
True
Let v(q) = 89*q**2 + 5*q - 6. Let p be v(2). Suppose -h = 2*h - p. Is 30 a factor of h?
True
Let c(d) be the first derivative of -23*d**4/24 + d**2 + 12. Let h(y) be the second derivative of c(y). Does 10 divide h(-3)?
False
Let a(y) = 24*y + 13*y + 7 - 43*y + 6*y**3 + 2*y**2. Is a(2) a multiple of 4?
False
Let o = 37 + -35. Let j(y) = 0*y**2 + 5*y**2 + 2*y**2 - 1. Does 27 divide j(o)?
True
Suppose 13*b = -g + 15*b + 900, 6 = -3*b. Is 32 a factor of g?
True
Let a(h) = h**3 + 15*h**2 - 28. Let l be a(-15). Suppose -5*x + 0 = -70. Is ((-36)/x)/(3/l) a multiple of 15?
False
Let m(o) = 2*o - 11. Let f(u) = 2*u - 11. Let x(n) = 5*f(n) - 6*m(n). Is 5 a factor of x(-12)?
True
Let k(t) = -t**2 - 3*t - 5. Let d be k(0). Is 20 a factor of ((-131)/3)/(d/15)?
False
Let a be 75/27 + (-6)/(-27). Let t(b) = -4*b**3 + 4*b**a + 17 - b**3 - b**2. Does 10 divide t(0)?
False
Let t = 670 - 324. Suppose 0*y = y - t. Is 1/3 + y/6 a multiple of 29?
True
Let t be (1 - 0)/((-7)/(-21)). Suppose 426 = t*j + 135. Is 20 a factor of j?
False
Suppose 7*l = 26*l - 10393. Is 9 a factor of l?
False
Suppose -m + 2*m = 0. Suppose -5*v + 33 + 162 = m. Suppose 4*b - v = 3*b. Is b a multiple of 14?
False
Let f be 8 + 1*(-2 + -2). Suppose -16 = -f*g, -4*y + 3*g - 7*g + 280 = 0. Is y a multiple of 11?
True
Let y(k) = k**2 + 12*k + 9. Let r(g) = 4*g - 1. Let m be r(-2). Let b be y(m). Let s = b + 42. Is s a multiple of 10?
False
Let z = -3251 + 5597. Is z a multiple of 51?
True
Suppose 5*j - 10 = 4*c + c, -10 = -3*j + 2*c. Suppose 35 = b - j*b. Let w = 55 + b. Is 26 a factor of w?
False
Suppose 12*o - 11*o = 5*m - 3579, 2*m = 2*o + 1438. Does 7 divide m?
False
Let v be -1*(-1 + 2 + -3). Suppose 258 = -0*t + v*t. Let w = -35 + t. Is w a multiple of 22?
False
Suppose 2*j = -2*r, j - 2*j + r + 4 = 0. Suppose -l + j*l = 3. Suppose -4*o + 73 = -l*i - 11, 0 = 3*i. Is o a multiple of 12?
False
Let c = 3086 - 1277. Is 51 a factor of c?
False
Is 390/(-52)*((-18)/5 + 2) a multiple of 2?
True
Let y(u) = 5*u**2 + 14*u + 141. Is 141 a factor of y(-31)?
True
Does 7 divide ((-34)/(-1))/(13/(2262/12))?
False
Suppose -r + 3 = 4*c - c, -r + c + 19 = 0. Let p = -10 + r. Let t(w) = 9*w - 3. Is 21 a factor of t(p)?
True
Let g be 7*-61*12/12. Let j = g + 667. Does 40 divide j?
True
Let f = -77 + 109. Let m = f + 215. Is m a multiple of 23?
False
Suppose 58 = 4*j - 66. Suppose -5*p - 3*y + 568 = 0, 200 + 152 = 3*p - y. Let n = p - j. Is 18 a factor of n?
False
Let q(m) = 393*m + 3. Is 16 a factor of q(1)?
False
Let n(p) = p + 117. Does 12 divide n(27)?
True
Suppose -191 = -2*u + w + 245, -u = 4*w - 200. Is 24 a factor of u?
True
Let i = 44 - 42. Suppose k + i*k - 3*l = 198, -4*k + 278 = 3*l. Does 34 divide k?
True
Suppose 3*k + 456 = 5*s, -2*k + 4*s + 70 - 374 = 0. Let d = k + 198. Is 3 a factor of d?
False
Let j = 322 + 127. Does 66 divide j?
False
Suppose 0 = 3*y - 4*i - 2896, 4*y = -5*i + 2*i + 3903. Does 18 divide y?
True
Let v = -65 - -66. Suppose v = 8*u - 1247. Is 26 a factor of u?
True
Suppose 81 + 33 = 3*d. Let i = d + -22. Let h = 42 - i. Is h a multiple of 24?
False
Suppose -12 = -4*k + k. Let u(i) = -i**3 + 4*i**2 - 3*i - 1. Let h be u(k). Is 5 a factor of 10/10 - (h + -1)?
True
Let r be (-3 + 20/6)*-57. Let o = -22 - r. Does 16 divide 2 + 33/1 + o?
True
Suppose 0 = -2*v - 4*d + 68, -4*v + 3*d + d = -136. Suppose -11*f = -5*f - 24. Suppose v - f = 5*y. Is y a multiple of 5?
False
Let r be (-3)/(-6)*(-90 - 0). Let k = r + 137. Is 13 a factor of k?
False
Let s(o) = o**2 - 13*o + 48. Is 4 a factor of s(7)?
False
Suppose -1486*c + 1128 = -1474*c. Is 3 a factor of c?
False
Let b(i) = -i + 38. Is 9 a factor of b(-16)?
True
Let r be 525/(-9) - 2/3. Let t = r + -1. Is 4 a factor of ((-5)/3)/(5/t)?
True
Let k = 124 + -121. Let s = k - -43. Is s a multiple of 6?
False
Suppose 2*f + 9 = 387. Is 27 a factor of f?
True
Suppose -4*u + 3292 = 4*w, 2*u - 769 = -4*w + 867. Is 12 a factor of u?
True
Suppose -3*u - 3*u = -u. Suppose -q = -4*c + 316, u - 4 = -q. Does 10 divide c?
True
Let r be (-1)/(-6) + 