v - 4. Let y be x(3). Suppose b = n - y. Is 6 a factor of n?
False
Suppose -5*z + 378 = 2*w - 3*w, 0 = 2*z + 2*w - 156. Is z a multiple of 22?
False
Let v be (-3)/(1 + (-1)/4). Let s(r) = r**3 + 4*r**2 - 3*r - 5. Let m be s(v). Let o(c) = 3*c + 7. Is 24 a factor of o(m)?
False
Let f = -12 - -17. Let b = 98 + -56. Suppose 0 = -f*x + 33 + b. Is 7 a factor of x?
False
Suppose -2*y = -3*v - 256, -4*y + v + 1 = -511. Is 8 a factor of y?
True
Let z(x) = -x - 2. Let f be z(-4). Suppose -10 = f*d - 4*w, -3*w - 23 = -5*d - 5*w. Suppose -4*m + 2*m - 42 = -3*r, 5*r - 70 = d*m. Is 7 a factor of r?
True
Is 4*-4*(-9)/24 a multiple of 2?
True
Suppose -5*m - 141 = -3*c, -m + 0*m + 3 = 0. Does 12 divide c?
False
Let r = 3 + 6. Is 2/r - 500/(-18) a multiple of 7?
True
Suppose 2*h - 142 = -5*p, -2*h = -2*p - 88 - 54. Suppose -h = 4*s - 271. Is s a multiple of 17?
False
Suppose -4*k - 384 = -0*w - 2*w, 5*k + 382 = 2*w. Is w a multiple of 49?
True
Let m(d) = d + 14. Let j(r) = -2*r**2 + 2*r + 1. Let t be j(3). Does 2 divide m(t)?
False
Let z be (0/(-3) - 1) + 4. Suppose -z*n + 61 = -8. Does 8 divide n?
False
Suppose 25 - 293 = -4*p. Does 9 divide p?
False
Let t be ((-8)/6)/(2/(-93)). Let u = -44 - -16. Let l = u + t. Is l a multiple of 12?
False
Let m = 83 + 36. Suppose 0 = -3*b + m - 29. Is b a multiple of 10?
True
Is 29 a factor of (-4 + 11)*1160/28?
True
Suppose -r + 2*n + 95 = -2*n, 4*n + 253 = 3*r. Let f(p) = -122*p**3 - p**2 - p. Let z be f(-1). Let t = z - r. Is 18 a factor of t?
False
Let f(m) be the third derivative of 0 - 2*m**2 + 1/8*m**4 + 0*m + 1/6*m**3. Is f(1) a multiple of 3?
False
Let s = -132 - -188. Does 28 divide s?
True
Let c be (-5 - -1) + 0 - -1. Is 28 a factor of (-14)/(((-12)/(-8))/c)?
True
Suppose 4*a - 68 = -r, r = 2*a + 2*a + 92. Is 16 a factor of r?
True
Let o = 129 - 57. Does 9 divide o?
True
Let r = 28 + -22. Is 6 a factor of r?
True
Let a be -1 - 2/(-1) - -87. Is (-2)/(-5) + a/5 a multiple of 6?
True
Suppose 16 = -7*i + 3*i, -5*m + 3*i + 137 = 0. Let g = m - 39. Does 15 divide 2/(-7) + (-452)/g?
False
Let i(c) = -c**3 - 17*c**2 - 2*c + 8. Is 27 a factor of i(-17)?
False
Suppose 1 = -3*t + 10. Let z be (-1)/(-1) - 1*t. Does 25 divide 34 + (4*-1 - z)?
False
Suppose -6*m + 2*m - 4 = 0, 4*m - 44 = -2*s. Is 24 a factor of s?
True
Suppose 2*c + 2*j - 18 = 0, -c - 11 = -3*c + 5*j. Is c a multiple of 4?
True
Let g(d) = d**2 + 6*d. Let i be g(-6). Is 3 - (i + -40 + -1) a multiple of 13?
False
Let d(r) = r**2 + r + 6. Suppose x = -2*x. Is d(x) a multiple of 3?
True
Suppose 5*m + 17 = -13. Suppose 0 = 3*x - 6*x - 132. Let a = m - x. Does 19 divide a?
True
Let l(d) = -d**2 + 15*d - 7. Let w be l(6). Let y = w - 30. Is 17 a factor of y?
True
Suppose -4*u - 2*o - 20 = 2*o, -4*u + 10 = -2*o. Suppose -2*m + u*m = -32. Does 16 divide m?
True
Let w(a) = a - 3. Let b be w(2). Is 16 a factor of 1 - (-45 + 2/b)?
True
Suppose 0 = 2*g - 3*g + 9. Let z = g + -16. Does 3 divide (z - -8)*(5 + 0)?
False
Does 38 divide ((-578)/(-40) - (-12)/16)*15?
True
Let c(m) = 29*m + 3. Let x be 5/6 - 3/(-18). Is 13 a factor of c(x)?
False
Let n = 4 + 9. Suppose -2*h + 127 = n. Is h a multiple of 19?
True
Suppose 0*l = -6*l + 66. Is 4 a factor of l?
False
Let n(x) = x - 2. Let t be n(3). Let b(c) = 43*c**2 - 1. Let v be b(t). Suppose -7*w = -4*w - v. Is w a multiple of 6?
False
Let v(f) = -f**2 + f - 7. Let w be v(0). Let y(d) = d**3 + 7*d**2 - 6*d + 6. Is y(w) a multiple of 16?
True
Let p = -3 - -20. Is p a multiple of 17?
True
Let t(r) = r - 4*r - 3 + 2*r + 2*r. Let m be t(5). Suppose -22 = -m*o - 2. Is o a multiple of 10?
True
Let p = -4 + 4. Suppose -2*m = -p - 4. Suppose 0*g = -m*g + 10. Is 2 a factor of g?
False
Suppose -5*n + 4*r = -175, r + 160 = -3*n + 8*n. Does 16 divide n?
False
Suppose 59*u = 60*u - 5. Let r = 11 - 7. Suppose 5*j - 4*g = -32 + 174, -r*g + 158 = u*j. Is j a multiple of 15?
True
Suppose -9 = -3*v - 2*r, 4*v = -4*r + 5 + 3. Let g be (-32)/(-10) + (-1)/v. Suppose -5*h = 3*w - 97, -g*h + 83 = h - 3*w. Does 10 divide h?
True
Suppose 2*a + 28 + 40 = 0. Let l = 159 - 241. Let k = a - l. Is k a multiple of 19?
False
Suppose -2*n + 3*n = 0. Suppose b - 38 - 3 = n. Is 15 a factor of b?
False
Let h(g) = 2*g**2 + 8 + g**3 - 5*g - 2*g**2 - 6 + 6*g**2. Does 9 divide h(-6)?
False
Let c = 3 - -1. Suppose 1 = 4*z + 5*s - 2*s, c*s = 5*z + 22. Is ((-2)/(-1))/z - -27 a multiple of 13?
True
Suppose p - 6*p = -4*d - 112, -5*d - 75 = -3*p. Is p a multiple of 10?
True
Let f = 9 - 5. Suppose n - f*n - 120 = 0. Let w = -25 - n. Is 9 a factor of w?
False
Let m be (2 + 1/(-1))*0. Suppose 0 = -m*r + 3*r - 4*l - 369, r - 115 = 4*l. Let z = r - 83. Does 17 divide z?
False
Let l = -182 + 377. Is l a multiple of 15?
True
Let a(l) = l**3 + 5*l**2 + 6*l + 2. Let o be a(-4). Is 6 a factor of (-1)/(-1*(-1)/o)?
True
Suppose 2*t - t + 5 = 0. Does 6 divide ((-8)/t)/((-10)/(-75))?
True
Let s be (-448)/6 + 4/6. Let x = -52 - s. Let u = x - 12. Does 5 divide u?
True
Suppose -189 = -3*n + l - 0*l, 4*n + l = 252. Is n a multiple of 13?
False
Let p be -16*((-4)/4 + -1). Suppose p = 8*z - 6*z. Does 3 divide z?
False
Let b = -11 - -12. Does 13 divide (-1 - 1) + 55 - b?
True
Suppose 0 = -2*l + 13 + 3. Is 8 a factor of l?
True
Let p be -1 + 2 + (-3)/(-1). Is (-170)/p*(-20)/25 a multiple of 14?
False
Let b(y) = 42*y**2 - 4*y - 9. Let j(o) = -21*o**2 + 2*o + 4. Let k(r) = -3*b(r) - 7*j(r). Let v = -2 - -1. Is 11 a factor of k(v)?
True
Suppose 0 = 5*i, -4*f = -5*i + 2*i - 156. Is f a multiple of 13?
True
Suppose -11 = -5*c + 14. Let h(u) = -u**2 + 4*u - 2. Let f be h(c). Let b(j) = -j**2 - 12*j. Is 14 a factor of b(f)?
False
Let x be (-6)/(-8) - 25/(-20). Does 10 divide x/(-4) - (-123)/6?
True
Let b(k) = k**2 - 1. Let s(p) = -3*p**2 + 2*p + 2. Let l(d) = 4*b(d) + s(d). Let w be l(-5). Let f = w - 8. Does 2 divide f?
False
Does 7 divide (-1)/((-110)/35 + 3)?
True
Suppose -5*c + 730 = 3*f, -7*c + 3*c = -4*f - 552. Is 12 a factor of c?
False
Does 13 divide (3 - (-55)/(-1))/(-2)?
True
Let f = 152 + 82. Does 13 divide f?
True
Let t(j) = 2*j**2 - 3*j - 4. Let r be t(-3). Let u = r + -14. Does 9 divide u?
True
Suppose -4*d + 164 = 4*r - 72, -5*d + 293 = 3*r. Is (-3)/(1 + 2) + d a multiple of 19?
True
Suppose -w + 2 + 1 = 0. Let q(g) = -7*g - g**2 + 3*g**2 - w*g**2 + 5. Does 7 divide q(-6)?
False
Is 14 a factor of (80/(-14) + -2)/((-3)/21)?
False
Let r(t) be the third derivative of t**5/60 - t**4/8 - t**3/3 - 3*t**2. Let l(k) = k**2 + 2*k + 2. Let v be l(-3). Is 3 a factor of r(v)?
False
Let u = 2 - 6. Does 4 divide 2*u/20*-30?
True
Let q be 5*(72/10)/3. Let p be (-87)/q + 2/8. Let m(y) = -2*y + 4. Is m(p) a multiple of 8?
False
Let k(m) = m**3 - 6*m**2 - 8*m - 10. Is 41 a factor of k(8)?
False
Suppose 81 = 2*o + o. Let d = 45 - o. Does 17 divide d?
False
Does 15 divide 355 - 10/6*-3?
True
Suppose 4*n - 88 = -20. Suppose -2*j = 2*j - 8, 4*y - 5*j = -2. Let l = n + y. Does 19 divide l?
True
Suppose -5*q = -6*q + c + 187, q = -2*c + 172. Does 13 divide q?
True
Suppose -4*s + 3*x - 11 = 0, -3*s = 4*x + 3 - 1. Does 7 divide s*3*14/(-6)?
True
Suppose 2*l - 4*g - 300 = 0, l - 2*g = 4*l - 450. Suppose -4*o + l = o. Does 16 divide o?
False
Let b = 3 - -11. Is b a multiple of 12?
False
Let x = 5 + 0. Suppose -12 = 3*k, x = 4*u - 4*k - 107. Is u a multiple of 8?
True
Suppose 10*w - 5*w - 25 = 0. Does 2 divide w?
False
Let d(y) = -y**3 - y**2 + 5. Let f be d(0). Suppose 0 = -f*l + 30. Let p = l - -3. Is p a multiple of 3?
True
Let v = -44 - -214. Is v a multiple of 10?
True
Suppose -2*u = -507 + 135. Suppose -3*n = 3*h - u, 4*n - 186 = n - h. Does 21 divide n?
False
Is 17 a factor of 39/(-6) + 6 + 162/4?
False
Does 9 divide 3/(-5) - 723/(-5)?
True
Suppose 4*v + 2*m - 7*m = 27, 4*m = -12. Suppose -g + 40 = 5*k, -18 = -v*g - 2*k + 50. Does 13 divide g?
False
Let t = 39 - -1. Is t a multiple of 5?
True
Is 2 a factor of (25 + -26)/(2/(-44))?
True
Let m(u) = 3*u - 15. Is m(9) a multiple of 6?
True
Suppose 62 = 5*h + n + 3*n, 5*n = 3*h - 15. Does 7 divide h?
False
Suppose 2*y - 93 = -3*i, 0 = i - y - 25 - 11. Is 33 a factor of i?
True
Let q(r) = r + 22. Let v be q(0). Suppose -3*z + 498 = -0*z. Suppose -4*x - v = -z. Is x a multiple of 15?
False
Suppose -d - s - s + 40 = 0, 3*d = 3*s + 84. Suppose 4*y - d = 4*i, 2*y 