 = 43*x - 39. Is 17 a factor of m(10)?
True
Let i(c) = -c**3 - 8*c**2 + 18*c - 7. Is 14 a factor of i(-11)?
False
Suppose -2*r - 126 = -2*x, -183 = -3*x - 0*r + r. Is x a multiple of 30?
True
Suppose -w + 4*w = 0. Let p(s) = -s**2 + 5. Let v(l) = l**2 + 1. Let b(q) = p(q) + 2*v(q). Is 5 a factor of b(w)?
False
Let x(z) = 3*z**2 + z + 1. Let l be x(-1). Is -1 + l*(-120)/(-9) a multiple of 10?
False
Suppose -5*l + 24 = -2*u, 4*l + 2*u - 8 = -2*u. Suppose -75 = -l*o + 37. Is o a multiple of 5?
False
Let r be 580/(-18) - 4/(-18). Suppose -2*b - 4*g = -108, -306 = -5*b - 0*b + 2*g. Let h = b + r. Is 14 a factor of h?
True
Let u = 13 + -6. Suppose 5*l + 8 = 3*q, 3*l + u + 11 = 4*q. Suppose 4*k - 2*c - 92 = -q*c, -5*k - 4*c + 117 = 0. Is k a multiple of 10?
False
Let h be 5/15 - (-22)/6. Suppose 2*k - 8 = 2*n, -n = 2*n - h*k + 16. Is 11 a factor of 2 - 1 - (-23 - n)?
False
Let w = -6 + 0. Let x = -1 - w. Is 4 a factor of x?
False
Let p(v) = -11*v + 2. Is 12 a factor of p(-6)?
False
Let k(r) = 2*r - 6. Let j be k(4). Suppose 5*n = -j*q + 3 + 13, -n + 16 = 2*q. Let z = q + 5. Does 13 divide z?
True
Suppose j = -i - i + 9, -i - 8 = -2*j. Suppose -i*q + 30 = -0*q. Is q a multiple of 15?
True
Let l = -135 - -156. Does 21 divide l?
True
Suppose n + 2*n + 36 = 5*r, 4*r = -3*n + 18. Suppose -y - r + 17 = 0. Is y a multiple of 11?
True
Let j(l) = -4*l - 1. Let r be j(-1). Let g(n) = -r*n - 2*n**3 - 2*n**2 + 3*n**2 - 3*n**2 - 3. Is 9 a factor of g(-2)?
False
Suppose 3*r = -0*c + 4*c - 855, 0 = -c - r + 219. Is c a multiple of 48?
False
Let c(y) = 10*y**2 - 2*y - 2. Is 8 a factor of c(-2)?
False
Suppose 14 - 84 = -2*y + 4*g, -g = 5*y - 186. Is 15 a factor of (-5 + 4)/((-1)/y)?
False
Let d(c) = -c - 10. Let r be d(0). Let j(i) = -3*i**3 - 15 + i**3 - 13*i + i**3 - 11*i**2 + 3. Is 9 a factor of j(r)?
True
Suppose 2*u + 2*u = 0. Suppose -g - y = -101, -2*y = -u*g - 2*g + 218. Is 13 a factor of 2/(-8) + g/4?
True
Suppose 14*c - 19 = 37. Does 2 divide c?
True
Is (-4)/8*(-1)/(1/24) a multiple of 9?
False
Suppose -2*k - 5*f - 17 = -3*k, 3*f = -k + 25. Suppose -z + k = z. Is z a multiple of 11?
True
Suppose 2*f - 5 = 5. Suppose -4*j - v + 87 = 0, f*j + 2*v - 34 = 77. Does 14 divide j?
False
Does 20 divide 180/(5/(40/12))?
True
Suppose -6*v = -3*v + 5*c + 9, 0 = -4*v - c + 5. Let i(x) = 3*x + 11 + 3*x + v*x + x**3 - 10*x**2. Does 2 divide i(9)?
True
Suppose 5*y = -0*y, 5*y + 40 = -4*j. Let r = j + 13. Does 3 divide r?
True
Let q(p) = p**2 + p - 3. Let b be q(0). Let m = -7 - b. Let d = 1 - m. Is d a multiple of 5?
True
Suppose -t - 5 = -3*j, -6*j + 2*j = -5*t + 8. Let n(q) = -4*q**2 + 5*q**2 - 5 - 2*q + 0 + 5*q. Is n(t) a multiple of 17?
False
Suppose -2*n - 3 - 1 = 0. Is 18 a factor of n/(-5)*15*6?
True
Let t(u) = -54*u + 4. Is 17 a factor of t(-1)?
False
Let d be (14/8)/((-1)/4). Let n = 23 - d. Suppose -n = -7*u + 4*u. Is u a multiple of 5?
True
Suppose 0*n - 63 = n. Let w = n - -28. Is (-87)/(-5) + 14/w a multiple of 17?
True
Is 36 a factor of (-32502)/(-114) + 4/(-38)?
False
Let i(q) = -16*q + 11. Let o be i(-5). Let g = o - 37. Is g a multiple of 14?
False
Let j be 12 + 0/(-2) - -2. Let w be (-2)/7 + 60/j. Suppose 0 = -m + w*m - 60. Is 10 a factor of m?
True
Let s(o) = 2*o + 38. Does 9 divide s(8)?
True
Suppose -s + 7 = 4, 5*r + 4*s = 187. Is r a multiple of 8?
False
Suppose -3*f + 2*f = -46. Let s = 72 - f. Is 17 a factor of s?
False
Suppose 4*n - 18 = -5*l, -7*n + 4*n + 5*l = -31. Is 2 a factor of n?
False
Suppose 2*z = 4*k + 36, 0*k - 3*k = -2*z + 32. Does 5 divide z?
True
Let w be (-2)/5 + (-910)/(-25). Suppose -4 = -2*m + w. Is m/(-70) + (-135)/(-7) a multiple of 19?
True
Suppose 15 = -0*y - y. Let a = y - -27. Suppose 54 + a = 3*o. Is o a multiple of 13?
False
Let z = 137 + -82. Let x(m) = m + 4. Let l be x(-3). Suppose 0 = -4*t + z + l. Is 11 a factor of t?
False
Suppose -105 = 4*l + 3*n, -5*l - 2*n - 9 - 131 = 0. Let w = l + 42. Is w a multiple of 4?
True
Let t = 70 + -24. Does 8 divide t?
False
Let b be -5*(-3 + 4)/(-1). Suppose -4*x - b*k = -241, -3*x = -5*x + 4*k + 88. Is x a multiple of 18?
True
Let u = 8 - -40. Is 13 a factor of u?
False
Suppose 3*q = q + 12. Let z = q + -1. Suppose 0 = z*s - 199 + 19. Does 18 divide s?
True
Let z = -29 - -21. Let j(u) = u**2 + 5*u + 4. Does 11 divide j(z)?
False
Suppose 7*w - 4*w = 12. Suppose -x = -w*y - 9, 2*x - 7 = -3*y - 0*y. Is 6 a factor of 0 - (1 + (y - 13))?
False
Suppose -5*v = -64 - 21. Let t = -10 + v. Let l(p) = 3*p + 4. Does 13 divide l(t)?
False
Let n be -10*((-16)/(-10))/(-4). Suppose -n*p = -4*t + 36, 5*p - 3*p - t + 18 = 0. Is (-222)/p + 4/(-6) a multiple of 12?
True
Let i = -57 - -18. Let l = -28 - i. Let v = -7 + l. Is 3 a factor of v?
False
Suppose 11 + 4 = 5*s. Suppose 15 = -0*o + s*o. Suppose -o*k = 4*a - 60, 2*a + 6*k = k + 40. Does 5 divide a?
True
Let f be ((-3)/(-6))/(2/320). Suppose 5 = -3*q + f. Is q a multiple of 7?
False
Suppose 5*u - 4*f = -5 + 43, 0 = u + 3*f. Is u a multiple of 6?
True
Suppose 7*i = 4*i + 72. Is 12 a factor of i?
True
Is 9 a factor of 27*3/9*3?
True
Suppose -35 = y + i + i, 0 = 2*y - i + 95. Is (30/y)/((-2)/48) a multiple of 10?
False
Is 33 a factor of -1 + 5 + (122 - -6)?
True
Let x(r) be the third derivative of 3*r**5/10 + r**4/8 - r**3/2 + r**2. Let l be x(2). Is 9 a factor of 1/(0 + 3)*l?
False
Let r = -46 - -84. Is 13 a factor of 1/(1/r) + 1?
True
Suppose 0*o = o - 4. Is 136/3 + o/(-12) a multiple of 15?
True
Suppose 0 = -3*j - 5*z + 65, -129 = -5*j + z + z. Let n be 46/(-3) + 6/(-9). Let w = j + n. Is 8 a factor of w?
False
Let v(w) = 2*w - 1. Let t(i) = -i + 1. Let b(y) = -4*t(y) - 3*v(y). Is 3 a factor of b(-2)?
True
Let p be 6/(-2)*(-10)/6. Suppose 373 + 2 = p*a. Is 18 a factor of a?
False
Suppose 966 = -3*l + 6*l. Let c = l - 212. Is 31 a factor of c?
False
Is 9 a factor of 5*-1 + (-1664)/(-16)?
True
Let g be 1/(-4) - 1/(-4). Suppose g = -5*l - 2 + 22. Does 8 divide 4/l*42/2?
False
Let v(s) = -s**2 + 8*s - 7. Let t be v(6). Let f = -2 + t. Suppose -i = -f*i + 32. Is i a multiple of 6?
False
Suppose 3*q = 4*q - 69. Is q a multiple of 24?
False
Suppose 0 = 10*u - 7*u - 57. Does 10 divide u?
False
Let f(n) = -6*n**3 - 3*n - n + 2*n**2 + 4*n. Let q(a) = -2*a. Let b be q(1). Does 20 divide f(b)?
False
Let s(w) = w + 3. Let v be s(-5). Suppose -5*t + 39 = -2*t. Let a = t + v. Is 3 a factor of a?
False
Let q(l) be the second derivative of -l**5/20 + 5*l**4/12 + 7*l**3/6 + 2*l**2 + 5*l. Does 9 divide q(6)?
False
Let x(c) = -15*c + 1. Is x(-3) a multiple of 10?
False
Suppose 6*l - 15 = l. Let z(j) = -j**2 + 22. Let c be z(0). Suppose 0 = -2*t + i + c, -56 = -t - 4*t + l*i. Does 7 divide t?
False
Let s(v) = 5 - v**3 - 3*v**2 - 12 - v - 5*v**2. Let r be s(-8). Is (12/10)/(r/35) a multiple of 12?
False
Let y be (-255)/(-9) + (-4)/(-6). Suppose -2*t - 71 = -3*r, y = r - 0*r + 2*t. Let u = r + -15. Is 6 a factor of u?
False
Let u be (1 - -1)/((-6)/(-9)). Suppose 3 = q - u*n + n, 5*q - n - 15 = 0. Suppose -q*s + 5 + 58 = 0. Is 11 a factor of s?
False
Suppose -2*i + 2 + 2 = 0. Suppose 3*c - i*c = 9. Is 9 a factor of c?
True
Let z = 25 - 7. Is z a multiple of 18?
True
Let t = 10 + 20. Is 15 a factor of t?
True
Suppose 2 = 4*d - 3*d. Let z be d/(-3 - 89/(-29)). Suppose 2*p + 3 = 3*p, -3*p + z = c. Is 13 a factor of c?
False
Let x(z) = 12*z**2 - 2*z - 11. Let p(s) = -6*s**2 + s + 6. Let h = -17 + 28. Let d(r) = h*p(r) + 6*x(r). Is 5 a factor of d(1)?
True
Let r = 3 - 2. Suppose 3*h - 9 - 3 = 0. Let w = r + h. Does 2 divide w?
False
Is 24 a factor of ((-45)/(-10))/(230/224 + -1)?
True
Let y = 1 - 1. Suppose 2*x - 3*u - 6 = y, -x + 3 = -5*u - 0. Suppose -x*o + 65 = 5*m, 4*m - o = 2*m + 37. Is m a multiple of 8?
True
Suppose -3*o - 109 = 35. Let j be 0 - (-66)/(2*-1). Let z = j - o. Is 6 a factor of z?
False
Let a(g) = -7*g + 9*g - 11 - 5*g. Is 4 a factor of a(-5)?
True
Suppose 5*g - 10 - 10 = 0. Suppose -3*u - 19 = -4*u - 3*k, g*k = 3*u - 109. Is u a multiple of 10?
False
Let l = -12 + 12. Does 18 divide 27/(l - 3/(-2))?
True
Is ((-51)/(-6))/(6/12) even?
False
Suppose n + 2*n = 51. Let k = 9 - n. Does 3 divide (k + 0)*(-2)/2?
False
Let o(m) = -m**3 - 5*m**2 + 5*m + 4. Let a = -1 - -4. Suppose -a = j + 3. Is 5 a factor of o(j)?
True
Suppose 0 = b + 27. Let d = -15 - b. Is 6 