c - 2*v. Is c a multiple of 3?
True
Let s be 4/14 + (-2)/7. Suppose -m + s = -44. Does 9 divide m?
False
Suppose -1 = 2*z - 7. Suppose 6*u = u + w + 140, -56 = -z*u - 5*w. Is u a multiple of 27?
True
Let p be -2 - 2*(-2 - -1). Let o = p - 2. Is o + (-1 - -2) + 17 a multiple of 9?
False
Let o = 15 + -12. Suppose -31 = -o*d - 1. Is d a multiple of 10?
True
Suppose -129 = -2*h - p - 2*p, -165 = -3*h + 5*p. Is 30 a factor of h?
True
Let v(a) = a**2 + 5*a - 2. Suppose -3*b - 4 = -16. Let m = -4 - b. Does 22 divide v(m)?
True
Suppose 2*i = 12 - 2. Suppose -5*d + 128 = 3*f, i*f = -2*d - 0*f + 55. Does 21 divide d?
False
Suppose -3*p + t = 4*t + 42, 76 = -4*p + t. Is 4 a factor of (9/(-4))/(p/48)?
False
Let c be (-8)/12 + 130/6. Suppose 4*h + 0*h = 0. Suppose h*f = -3*f + 3*p + c, -3*f + 18 = -2*p. Is f even?
True
Let o be (-4)/6*-6 + 0. Suppose -4*j - o = -4*h, -5*h + 2*j = 5*j + 3. Let c = 32 + h. Is c a multiple of 16?
True
Let z(d) be the second derivative of d**4/6 + d**3/2 - d**2 - 3*d. Let x be z(-5). Is x + (-4)/(-2) + -2 a multiple of 12?
False
Let l = -8 + 22. Does 5 divide l?
False
Let q = -30 - -21. Does 20 divide (38 + 2)/(-8 - q)?
True
Let v(a) = a**3 - a**2 + a + 35. Let g be v(0). Suppose -5*n = -n - 8. Suppose g = 3*o + 4*q, 49 = 5*o - n*q + 4*q. Does 9 divide o?
True
Let s(l) = 4*l**3 - 2*l**2 + l. Let j be s(1). Suppose -3*b + f + 36 = -3*f, 3*b = -f + 36. Suppose -2*n + b = -2*v, 3*v - 24 = -7*n + j*n. Is 3 a factor of n?
True
Does 23 divide 1107/12 - (0 + 2)/8?
True
Suppose 183 = m + 2*m. Suppose -n - n = j - 23, m = 4*n - j. Is 7 a factor of n?
True
Let i be -3 - (-2 + -1 - 27). Let s = i - 12. Is 8 a factor of s?
False
Let m(s) = -7*s**3 - s**2 - 2*s - 2. Let n be m(-1). Suppose -n*i + 7*i = 21. Is 21 a factor of i?
True
Let p = 9 - 7. Suppose 0 = -2*x + 3*x - 5. Suppose 9 = p*v - x. Is v a multiple of 5?
False
Suppose -a + 0*a + 19 = 4*r, 3*a - 22 = -5*r. Suppose 2*c + m = 103, -r*m + m - 20 = 0. Does 27 divide c?
True
Suppose -4*y + 59 = -x, 0*x + 34 = -x - y. Let f = x + 21. Let d = 42 + f. Is d a multiple of 12?
True
Let j = -8 - -4. Let w = 36 - j. Is 8 a factor of w?
True
Let d = -57 - -30. Let j = 47 + d. Is 6 a factor of j?
False
Let f be (-2880)/39 + 4/(-26). Let w = f + 104. Is w a multiple of 14?
False
Let n(t) = 18*t + 6. Is n(6) a multiple of 7?
False
Suppose -1 - 4 = -5*y. Suppose w + y - 5 = 0. Let s = w + 8. Is 12 a factor of s?
True
Suppose 7*n = 3*n + 272. Let f = n + -28. Is f a multiple of 12?
False
Let x be (4 - 8)/4*-18. Suppose -3*o + 93 - x = 0. Is o a multiple of 11?
False
Let t = -145 - -292. Suppose 149 = 4*y - t. Suppose y - 2 = 4*u. Is u a multiple of 9?
True
Let f(y) = y**3 - 2*y**2 - 3*y - 3. Let m be f(4). Suppose c = -w - 2*c + m, 2*c - 42 = -2*w. Is w a multiple of 9?
False
Suppose 4*w = -5*y + 1286, y + 5*w - 266 = 2*w. Does 14 divide y?
False
Let w be (-4 + (-9)/(-3))*0. Is (w - -6)/((-2)/(-4)) a multiple of 6?
True
Let d be 24/(-9)*3/(-2). Suppose d*x - 57 = 3*o, 3*o - 16 = -x + 17. Is x a multiple of 9?
True
Does 7 divide 8/((-3)/15*-2)?
False
Let r be (1 - 0) + (-8 - 170). Is r/(-15) - 1/(-5) a multiple of 3?
True
Suppose 0*a - 3*a + 180 = 0. Is 20 a factor of a?
True
Let z be 2 + 0 + (-94)/(-2). Let y be (z/(-3))/(5/15). Let s = -25 - y. Is 12 a factor of s?
True
Let p = -1 - 0. Let u be 3/p*1*9. Does 7 divide 65/9 - (-6)/u?
True
Suppose -6*j + 58 = -632. Is 40 a factor of j?
False
Suppose -2*u = -3*u - 3*r - 7, 0 = -4*r - 16. Suppose u*d + 3*i - 263 + 38 = 0, -59 = -2*d + 5*i. Is 21 a factor of d?
True
Let i = 296 - 206. Is i a multiple of 15?
True
Let b = -20 + 14. Let a = -2 - b. Does 9 divide ((-11)/(-2) + -1)*a?
True
Let y be 7 + (-3)/(3/2). Suppose 2*g + 7 = -2*k + 23, 4*g = y*k + 68. Is 8 a factor of g?
False
Is -1 + 4 + (4 - -6) a multiple of 11?
False
Let c = 71 + -18. Suppose -c = -2*m - 5*x, 0*x + 10 = -2*x. Does 18 divide m?
False
Is 1749/15 - ((-51)/15 - -3) a multiple of 14?
False
Suppose -4*q + 6 = -6. Let n = q + -1. Is n/(-3)*9/(-2) a multiple of 2?
False
Let z(g) = g - 1. Let y(n) = -6*n + 16. Let x(u) = -y(u) - 12*z(u). Is x(-6) a multiple of 12?
False
Let i(f) = f**3 + 9*f**2 - 11*f - 8. Is 22 a factor of i(-9)?
False
Suppose -4*t = 6*t - 1680. Is 42 a factor of t?
True
Is 32 a factor of (2 - (-1)/4)*56?
False
Let a(k) = k**2 - 8*k - 14. Let t be a(11). Let h = -17 + t. Does 2 divide h?
True
Suppose -4*b + 3*t + 6 = -2*b, -b + 4*t = -3. Let k be (1/b)/((-4)/(-24)). Suppose -3*v = -4*x + 37, -x = k*x - 5*v - 36. Is 3 a factor of x?
False
Suppose -12*w + 1900 = -2*w. Is w a multiple of 38?
True
Let q = -99 - -124. Does 25 divide q?
True
Let p(d) = -d - 6. Let s be p(-6). Suppose 4*w + s*w = 92. Is 15 a factor of w?
False
Let h = 8 - 4. Suppose 4*a = 2*a + 68. Suppose h*r - a - 38 = 0. Is 6 a factor of r?
True
Suppose 5*s = 5*k - 250, -k - 2*s + 56 = 3*s. Is k a multiple of 20?
False
Suppose 4*k + 3*m = 409, 3*k - 306 = -0*m - 2*m. Is k a multiple of 20?
True
Let v = -3 + -4. Let s = v - -42. Let c = s + -13. Does 11 divide c?
True
Let t = 13 - 10. Suppose 0 = 4*v - t + 7, 4*z + v = 75. Suppose -4*n + z = -5. Is n a multiple of 3?
True
Suppose -3*f + 1 + 5 = 0. Does 9 divide (-282)/(-18) + f/(-3)?
False
Let u(r) = 14*r - 28. Is 21 a factor of u(8)?
True
Let y = -5 + -1. Let t be 3/y + 5/2. Suppose 0 = -p + 3*b + t - 0, -4*p - 2*b + 50 = 0. Is 5 a factor of p?
False
Suppose 0*j + 2*j + 3*g = 125, 2*j = 5*g + 165. Does 13 divide j?
False
Suppose 22 = -4*k + 14. Does 5 divide (1/(-1))/(k/10)?
True
Let k(m) = -m**3 + 5*m**2 + 6*m + 5. Let x be k(6). Let c = -3 + x. Suppose c*a - a - 13 = 0. Is a a multiple of 13?
True
Let y(k) = 35*k**3 - k**2 + k. Suppose 4*b - 9 = -5*u, -2*u + 0*u + 2*b = 0. Let f be y(u). Suppose 0 = 5*l - 15 - f. Does 10 divide l?
True
Let i(f) be the third derivative of -f**4/24 + 5*f**3/6 - f**2. Does 8 divide i(-8)?
False
Let c(p) = -5*p - 8. Let d be c(-6). Let f = -14 + d. Does 4 divide f?
True
Suppose n - 140 = -4*f - n, f + 2*n = 35. Let a = 50 - f. Does 5 divide a?
True
Let c = -4 - -8. Suppose -4*r = -z - 75, -3*r - c*z + 47 - 5 = 0. Does 13 divide r?
False
Suppose 625 = 5*k + 245. Let n = k - 52. Is 12 a factor of n?
True
Let t(i) = -i**3 + 11*i**2 - 5*i + 9. Is t(9) a multiple of 18?
True
Is 2150/45 + 6/27 a multiple of 12?
True
Let b(y) = -y + 15. Let j be b(11). Suppose 3*k = -4*s + 5, -2*s - 10 = -0*s + j*k. Is s a multiple of 5?
True
Let r = 5 - 4. Let n be (r/2)/((-3)/12). Is 20 a factor of 1/n*(-115 + -3)?
False
Is 16 a factor of -6*32/(-10)*(-50)/(-30)?
True
Suppose -5*c + 36 + 29 = 0. Is 13 a factor of c?
True
Let n(a) = 4*a + 7. Let j be n(-3). Let c(d) = -4*d - 2. Is 5 a factor of c(j)?
False
Let s = -78 + 158. Suppose 2*h - s = -2*w, -w - 3*h + h + 45 = 0. Is 8 a factor of w?
False
Let h(k) = 5*k**2 - 6*k - 4. Let v be h(6). Let l be (-2)/(-9) + v/18. Let s = 21 + l. Is s a multiple of 17?
False
Let s(f) = 25*f - 15. Suppose 8 = 3*j - 10. Let w(h) = 13*h - 7. Let g(p) = j*s(p) - 13*w(p). Is g(-1) a multiple of 14?
False
Let c = -131 + 347. Does 36 divide c?
True
Let o(a) = a**3 + 8*a**2 - a - 10. Let q be o(-8). Let w(m) = m - 2. Let h be w(q). Is 4 a factor of 365/25 - h/10?
False
Suppose 40 = 3*f + 5*v - 39, 90 = 4*f - v. Is f a multiple of 4?
False
Let f = 256 + -472. Does 29 divide 4 - 0 - f/4?
True
Suppose -3*h + 30 + 0 = 3*l, 18 = 3*l - 3*h. Let k = -2 + l. Is k a multiple of 6?
True
Is 10 a factor of (87/21 - 1)/((-6)/(-42))?
False
Let l(f) = f**3 - 9*f**2 + 6*f - 6. Let x be l(5). Let j = x + 106. Does 10 divide j?
True
Let l(o) = 10*o**2 - 2*o + 1. Is l(-2) a multiple of 15?
True
Let m(a) = 2*a**2 - 4*a + 2. Let v be m(2). Let o be (-2)/4*28/v. Does 14 divide o/((-21)/36) + 2?
True
Let w(k) = k**2 - 2*k - 2. Let q be w(3). Does 5 divide 13*q/(4 - 3)?
False
Is (-5 - (-9)/2) + (-89)/(-2) a multiple of 13?
False
Let q be (-3)/((-9)/(-3))*2. Let t be -6*(5/2 + q). Is t/9 + (-520)/(-12) a multiple of 30?
False
Let i(v) = -2*v + 5. Is i(-4) a multiple of 12?
False
Suppose 0 = 3*u + 2*u - 10. Suppose -p + z + 28 = u*z, -2*z = -3*p + 74. Is p a multiple of 13?
True
Suppose -8*s + 32 = -4*s. Let a = s + 4. Is a a multiple of 6?
True
Is 26 a factor of (2/6*-13)/(3/(-18))?
True
Let v(m) = -8*m - 3. Let u = -2 + 0. Is 13 a factor of