 11 = 3*y. Let f be (-2)/13 - x/13. Suppose f = -5*c - 5*d + 170, -4*d = -0*c - 2*c + 44. Is 18 a factor of c?
False
Let p = 3 + -1. Suppose p = v - 0. Suppose v*n = -0*n + 20. Does 5 divide n?
True
Suppose 2*g - 88 = -0*g. Let h be 1 - 0 - 1*-5. Suppose -2*d = -4*r - g, h = -3*r - 9. Is 9 a factor of d?
False
Let r be 4/((-6)/3) + 0. Is 15 a factor of (-8 - -2)*11/r?
False
Suppose -5*m - 575 = -3*b, -5*b + 29 - 374 = 3*m. Let u = -73 - m. Is u a multiple of 14?
True
Suppose 0 = -2*x + 119 + 3. Let q = x + -32. Suppose -y = 5*w - q, 0*y = 5*w + 5*y - 45. Is 2 a factor of w?
False
Let h = -3 + 1. Let u be 2/(-6)*-3*h. Let w = u - -11. Is 8 a factor of w?
False
Suppose 0*w - 15 = -5*w. Suppose 3*r = 4*i + 56, w*i = r - i - 32. Suppose -r = -3*k + 63. Is k a multiple of 14?
False
Is 17 a factor of (-578)/(-6)*(-7 - -10)?
True
Let k(u) = u**2 - 8*u - 7. Let w be k(9). Is 3 a factor of (-17)/(-3) - w/(-6)?
True
Suppose 0 = -2*d - 5 + 1. Suppose -3*y + 3 = w, 4*y - 2*w = 18 - 4. Is 15 a factor of y - 0/d - -16?
False
Suppose 0 = -h - 3*h + 24. Let p = h + 15. Does 16 divide p?
False
Let g = -74 - -246. Is 43 a factor of g?
True
Is 4 a factor of 2*1/(-12) + (-2817)/(-54)?
True
Let r = 39 + -15. Suppose 3*p - 35 = 4*n, -4*p + 2*p = -3*n - r. Is p a multiple of 9?
True
Let h(d) = 4*d**3 - 1. Suppose 5*j + 0*s = 4*s + 12, 4*s + 12 = -2*j. Let t = 1 - j. Is h(t) a multiple of 3?
True
Suppose 31 = -2*r + 1. Does 23 divide (-460)/r*(1 - -2)?
True
Let t = -5 - -17. Is 9 a factor of 94/6 - 8/t?
False
Suppose 5*p - 2*g - 2*g - 125 = 0, -2*p - g + 37 = 0. Let n = 39 - p. Is n a multiple of 10?
False
Let n = -11 - -21. Let q(v) = n*v + 1 - 3 + 3. Is q(1) a multiple of 11?
True
Let g = -14 - -53. Is 3 a factor of g?
True
Let f be ((-3)/6)/((-2)/(-4)). Let g be (1/1)/(0 - f). Suppose c - 17 = g. Is c a multiple of 9?
True
Let i be (-2)/5 - 28/(-20). Is 12 a factor of (25 - i)*(1 - 0)?
True
Let g(a) = -a**3 - 7*a**2 + a + 4. Let c be g(-7). Let l = c + 5. Let f = l + 25. Is 10 a factor of f?
False
Let y(h) be the third derivative of h**5/60 + h**4/6 + 2*h**3/3 - 6*h**2. Is 6 a factor of y(-5)?
False
Let w be (4 + 2)/(4/(-2)). Let m = w + 26. Is m a multiple of 9?
False
Let o = -19 + 12. Let t = -5 - o. Suppose j = -3*c + 3, -c + t = -j - 3. Does 2 divide c?
True
Suppose 0 + 2 = q. Let x be -12*(q + 7/(-3)). Suppose x*m - 3*m = 10. Is m a multiple of 3?
False
Let t(y) be the third derivative of 2*y**4/3 + y**3/3 - 2*y**2. Let f = -7 + 10. Does 20 divide t(f)?
False
Let o(z) = -5*z**3 - 9*z**2 - z - 3. Let u(c) = c**3 + c**2 + 1. Let d(f) = -o(f) - 4*u(f). Is d(-4) a multiple of 11?
True
Let w = -15 - -17. Suppose 125 = w*q + 3*q. Is q a multiple of 11?
False
Suppose b - 8 = -2*i - 3, -4*i = 4*b - 16. Let m(w) = 4 - i + 4 + 11*w - 4. Does 12 divide m(3)?
True
Suppose 504 = o + 14. Is (o/(-15))/((-2)/3) a multiple of 14?
False
Let l be (-3 + 20/6)*6. Suppose u - 45 = -l*u. Is 8 a factor of u?
False
Let w(p) = 34*p + 7. Is w(4) a multiple of 11?
True
Let o = 44 + -22. Let h = o + -3. Does 19 divide h?
True
Suppose 2 + 4 = 3*b, -2*k = -4*b - 4. Suppose -8 = -5*o - v + 19, -3*o + k = 4*v. Is o a multiple of 6?
True
Suppose -3*f = -0*i - 2*i - 12, 3*i + 3*f = -33. Does 3 divide 3/i - 38/(-6)?
True
Let m be (-15)/2*(-50)/(-15). Let d = 39 + m. Is 7 a factor of d?
True
Let q(k) = 29*k. Let i be q(1). Suppose -2*m + 2*y - i = -7*m, -25 = -3*m - 5*y. Suppose -28 = -2*h + 2*z, m = -2*h + 5*z + 33. Is h a multiple of 14?
True
Let b be (-2)/7 + (-60)/(-14). Let x = 7 - b. Suppose 4*f - 48 - 61 = -x*p, 5*p + 87 = 2*f. Is f a multiple of 19?
False
Let v(m) = 56*m. Is v(1) a multiple of 22?
False
Suppose -15 = -2*i - i. Suppose 2*s = i*v - 149 - 36, 5*s = -5*v - 445. Let o = -56 - s. Does 17 divide o?
True
Let g = 149 - 101. Is g a multiple of 12?
True
Suppose 0*p + 4*p = -5*t + 3, -6 = 2*p. Suppose -3*x + g + 12 = -t, -2*x + 5*g = -10. Is 3 a factor of x?
False
Let s(i) be the first derivative of 5*i**2/2 - 2*i - 2. Does 6 divide s(4)?
True
Let j = 12 + 72. Suppose 2*q + 5*t - 25 - 59 = 0, 0 = 3*q - 3*t - j. Does 8 divide q?
True
Suppose 152*u - 154*u + 888 = 0. Does 44 divide u?
False
Let h = 227 - 149. Does 26 divide h?
True
Let h be 4/((2 + 1)/48). Let w = -38 + h. Is w a multiple of 11?
False
Let y be 100 + 1/((-2)/4). Let g = y - 51. Does 26 divide g?
False
Suppose 0 = 3*d - 0*d - 15. Suppose 3*h - d = 58. Does 21 divide h?
True
Let x = 10 + -8. Suppose 5*a + 5*r - 80 = 0, 2*a - 47 = r + x*r. Is 4 a factor of a?
False
Let p(v) = -v**3 - 4*v**2 + 4*v + 1. Let t(o) = -o - 8. Let q be t(-8). Let n = q - 5. Is 4 a factor of p(n)?
False
Let v be (-26)/(-8) - (-1)/(-4). Suppose q - 15 = v*j - 7*j, 0 = -q + 2*j + 21. Does 5 divide q?
False
Let g = 8 + -9. Does 9 divide g/(2 - (-74)/(-36))?
True
Suppose 468 = 10*w - w. Is w a multiple of 13?
True
Suppose 3*h + 5*v = 1 + 1, v - 4 = 0. Is 14 a factor of h - -3 - 1*-31?
True
Let o be (-2)/(-2) + 2 + 8. Suppose -2*h + 71 = o. Is 16 a factor of h?
False
Suppose 20 + 14 = 4*k - 2*l, -2*k + 4*l + 2 = 0. Suppose -u = -k - 13. Does 10 divide u?
False
Let g(y) = -13*y + 21. Let h(c) = 7*c - 11. Let x(n) = -6*g(n) - 11*h(n). Let j be x(7). Is 5 a factor of (-45)/(-6) - 1/j?
False
Suppose -2*o = -o. Suppose o = -5*w + 3*l - 4, 2*w + 3*l + l = 14. Suppose -w - 8 = -h. Does 9 divide h?
True
Let p(u) = 2*u**2 - 6*u + 8. Is 16 a factor of p(7)?
True
Suppose -b - 3*t = -66, 8 = 2*t + 2*t. Is 30 a factor of b?
True
Let p = -18 + 22. Is p a multiple of 4?
True
Let n(q) = q**2 - q. Let b(w) = -5*w**2 + 13*w - 9. Let p(l) = b(l) + 4*n(l). Is p(5) a multiple of 2?
False
Let h(k) = 7*k**2 + 3. Let d(x) = 4*x**2 + 2. Let q(w) = -5*d(w) + 3*h(w). Let g be q(-2). Suppose o = -f + 24, 0 = 2*f - g*o + 3 - 31. Is 18 a factor of f?
False
Suppose -3 = g - 3*l - 8, -l = 4*g - 59. Does 7 divide g?
True
Suppose 3*d + 3*p = 2*p - 73, -3*p = -4*d - 80. Let z = -11 - d. Does 8 divide z?
False
Suppose -2*q = -q. Suppose q = -o - 0*o - 11. Let p = 5 - o. Does 7 divide p?
False
Suppose -2*l = -65 + 9. Is l a multiple of 7?
True
Let d = -15 - -36. Is 12 a factor of d?
False
Suppose -403 = -5*b + 4*d, -4*b - 2*d + 314 = -d. Does 10 divide b?
False
Does 45 divide 1/(((-8)/(-630))/4)?
True
Let z = -31 + 20. Let a = z - -54. Is a a multiple of 14?
False
Let q(b) = 4*b + 3. Let k be (-31)/(-11) + (-2)/(-11). Is q(k) a multiple of 14?
False
Suppose -f + 3*b = 2*f - 6, 8 = f + b. Suppose -320 = -5*v - 5*y, 4*y = f*v + 2*y - 292. Suppose 0*p = 4*p - v. Is p a multiple of 10?
False
Let r = 14 + -121. Let u = r - -151. Is 17 a factor of u?
False
Let i(s) = 20*s**3 + 5*s**2 - 23*s + 5. Let w(o) = 7*o**3 + 2*o**2 - 8*o + 2. Let j(t) = -6*i(t) + 17*w(t). Is j(4) a multiple of 12?
True
Suppose 508 = -61*h + 65*h. Is 29 a factor of h?
False
Let q(b) = 4*b + 1. Let k be q(-3). Let x = 23 + k. Suppose -j + 0*j = -x. Is j a multiple of 6?
True
Suppose 0 = -2*z - z + 111. Suppose z = 2*n - 7. Is 11 a factor of n?
True
Let y(r) = -r - 1. Let o be y(-3). Let i(h) = -o*h**2 - 2*h - 3 - 2*h + 9 - 2 + h**3. Is i(4) a multiple of 16?
False
Let s(z) be the third derivative of 2*z**6/15 - z**3/6 - 3*z**2. Does 6 divide s(1)?
False
Let n(y) = 7*y**2 - 3*y + 3. Does 25 divide n(2)?
True
Let r be ((-6)/(-18))/(2/18). Suppose -r*t = -2*u - 484, -3*u - 212 - 104 = -2*t. Suppose -4*g - t = -8*g. Does 14 divide g?
False
Let n = -11 - -2. Let h = n - -3. Let l = h - -9. Is l even?
False
Let k = 12 + -7. Let c = k - 1. Does 3 divide c?
False
Let r(g) = g**3 + 10*g**2 - 5*g + 7. Does 10 divide r(-10)?
False
Let n be (32/(-5))/((-3)/(-15)). Let t = n - -52. Is 8 a factor of t?
False
Let d = 2 + -2. Suppose l + 4 = -d*l. Let m(t) = -3*t. Does 12 divide m(l)?
True
Suppose -5*k = 2*y - 89 - 11, -k = y - 23. Is k a multiple of 5?
False
Suppose -42 - 106 = 4*b. Let h(n) = 11*n + 2. Let w be h(-2). Let p = w - b. Is p a multiple of 10?
False
Suppose 3*f + 53 = 4*f. Let p = f - 19. Does 17 divide p?
True
Let n = 11 + -6. Suppose 0 = 3*s - n*h - 118, 0 = -5*s - 3*h + 2*h + 178. Is 9 a factor of s?
True
Let a = -16 - -16. Suppose a*f + 48 = 2*f. Does 8 divide f?
True
Let g be 2/6 + 17/3. Suppose -3*s + 2*q - g = -5*s, 0 = 2*s + 4*q - 4. Is 9 a factor of 79/9 - s/(-18)?
True
Let h be 2*((-1 - -1) + 2). Let m = 9 - 