 + 4*v = 9, n*x + 7 = 2*v - 1. Is 6 a factor of x/1 + (17 - 6)?
False
Suppose 3*c = 5*c - 4560. Suppose 3*z - c = 3*o, 3*z + 2*z = o + 3812. Is z/14 - 2/4 a multiple of 18?
True
Let o(q) = -4*q + 4. Let i be o(-8). Suppose 0 = t - c - 12, -5*c - i - 8 = -3*t. Is 8 a factor of t?
True
Suppose -d - 8 = -3*d. Let w be 4 + d + -3 + -3. Let c = 9 - w. Is 2 a factor of c?
False
Let q(i) = -i**2 + i + 3. Let z be q(0). Let m be (4/8)/(z/6). Suppose -m = n, -4*l + 5*l + n = 28. Is 12 a factor of l?
False
Suppose 0 = -2*t - m - m + 118, -4*t + m + 256 = 0. Does 6 divide 686/6 - 21/t?
True
Does 30 divide (-1197)/(-2) + (-9)/(-6)?
True
Let l be (-2)/((-4)/832*2). Is (-2)/13 + 4*164/l a multiple of 3?
True
Suppose 3*n + 45 = 8*n. Suppose 32 = 4*w - 3*u, u - n = -w + 2*u. Suppose -w*y + 10*y = 70. Is 6 a factor of y?
False
Suppose 176 = -68*m + 72*m. Does 11 divide m?
True
Suppose -12*y = -6*y - 18. Is (35/y)/(33/297) a multiple of 21?
True
Suppose 4*a = -r + 1577, 56*r + a = 59*r - 4783. Is r a multiple of 27?
True
Let w = 923 + -523. Is w a multiple of 100?
True
Let s(l) = l**2 + 3*l - 6. Let k be s(-5). Let d(f) = -f**3 + f**2 + 9*f - 6. Let w be d(3). Suppose k*z = -w + 27. Is 3 a factor of z?
True
Suppose -3 = -g - 2*u, 3*g + 2*g - 15 = -3*u. Suppose 0*h - h = g*b - 785, 4*h + 4 = 0. Suppose 0 = -2*j - 80 + b. Is j a multiple of 13?
True
Suppose 5*o + 181818 = 79*o. Is o a multiple of 27?
True
Let u(l) be the first derivative of -4*l**2 - l + 6. Let s be u(3). Let q = s - -34. Is 9 a factor of q?
True
Suppose 45*a - 18*a - 84429 = 0. Is 102 a factor of a?
False
Suppose -1437 - 2721 = -11*i. Is 42 a factor of i?
True
Suppose -2370 = -3*j - 231. Is j a multiple of 6?
False
Suppose -3*p = y - 0*y - 11, 10 = 2*p + 2*y. Suppose -82 + 898 = p*m. Does 40 divide m?
False
Let i(o) = 7*o - 3. Let l = -2 - -1. Let r = l - -8. Does 7 divide i(r)?
False
Let p be -4 + (-3 + 4 - -4). Let j = p - 1. Suppose j = 2*u - 0*u + 3*f - 212, -521 = -5*u - 3*f. Is u a multiple of 30?
False
Let o(d) = d**3 + 2*d**2 + 3. Let m be o(-2). Let b(v) = -10 + m*v - 4*v - 4*v. Is 10 a factor of b(-8)?
True
Suppose 0 = -3*k + 7*k. Suppose k = z - 129 - 7. Does 23 divide z?
False
Let w = -216 - -126. Does 14 divide 20/w - 1660/(-18)?
False
Let r = -10 + 13. Let y be (r/(-4))/(15/(-100)). Suppose -35 = -5*c - y*n, 4*c + 3*n = 18 + 12. Does 2 divide c?
False
Let l(y) = 2*y**3 - 14*y**2 + 3*y + 4. Let z(v) = 4*v**3 - 28*v**2 + 6*v + 8. Let q(o) = -7*l(o) + 3*z(o). Does 18 divide q(6)?
False
Suppose -640 = -398*j + 397*j. Is j a multiple of 26?
False
Suppose -13*c = 18*c - 11284. Is 4 a factor of c?
True
Let a(w) = 3*w**3 - 4*w**2 - w - 1. Let q be a(3). Let r be 0 + (-7)/49*0. Let o = r + q. Is 41 a factor of o?
True
Suppose 0 = 2*x - 29 - 341. Let a = 110 - x. Let y = a - -111. Does 9 divide y?
True
Let q = 15 - 6. Let b be (32/4)/((-2)/q). Let m = b + 54. Is m a multiple of 6?
True
Does 50 divide 400/(8/(-2) - (-18 - -13))?
True
Let c(l) = 90*l - 332. Does 33 divide c(9)?
False
Let l = 39 - -33. Does 6 divide l?
True
Is 91 a factor of (1 - -5)/(171/54150)?
False
Let p(b) = 78*b + 49. Is p(3) a multiple of 45?
False
Let c(n) = 74*n + 1. Let g be c(1). Suppose -53*y = -50*y - g. Does 20 divide y?
False
Suppose 0 = -5*r + 136 + 24. Is 32 a factor of r?
True
Let k be (-19)/76 - 2/16*-2. Suppose k = g + 9*g - 200. Does 8 divide g?
False
Let m be (54/21)/((-9)/(-42)). Let l(a) = a**2 - 14*a + 18. Let r be l(m). Is (-3)/9 + (-200)/r a multiple of 11?
True
Let f = 402 - -1719. Is 22 a factor of f?
False
Let p = 1504 + -569. Is p a multiple of 55?
True
Let n(l) = -3*l + 62. Let w be (-1 + (-15)/(-6))/(33/286). Does 5 divide n(w)?
False
Let i = -60 - -52. Does 12 divide (-1)/(-4) + (-1422)/i?
False
Let s(q) be the third derivative of -q**4/8 - 7*q**3/6 + 7*q**2. Let f be s(-3). Suppose -16 = -3*b + f. Is 2 a factor of b?
True
Let t = 58 + -158. Let a be 2/(-13) + t/26. Let r(s) = -5*s. Is 4 a factor of r(a)?
True
Let d(n) = n**2 - 6*n - 7. Let l be d(5). Let s be l*5/(30/(-4)). Suppose 0 = -13*y + s*y + 110. Does 11 divide y?
True
Let j(c) = -c**3 - 8*c**2 - 6*c - 28. Let z be j(-8). Let y = 14 + -8. Let g = z - y. Is 7 a factor of g?
True
Suppose -3*x + 15 = -30. Let k = x + -8. Let s(l) = l**2 - 5*l + 8. Is s(k) a multiple of 11?
True
Let k = -171 + 245. Let a = 194 - k. Is 30 a factor of a?
True
Let n = 343 + -206. Suppose 86 = 2*g - 4*j, -g + j + n = 3*g. Suppose -8 = -b + g. Does 12 divide b?
False
Let x(m) = -m**3 - 8*m**2 + 9. Let w be x(-8). Suppose -108 = -w*k + 3*k. Is 9 a factor of k?
True
Suppose -3*o - 20 = -7*o. Suppose 27 + 113 = o*c. Does 9 divide c?
False
Suppose 32*t - 58740 = 10*t. Does 13 divide t?
False
Let k(d) = 37*d**2 - 70*d + 135. Is 18 a factor of k(2)?
False
Let i(s) = 4*s + 9. Let n be 20 + 1 - (-1)/((-2)/8). Is 11 a factor of i(n)?
True
Suppose 2*g = 8, -89 = x + 4*x - g. Suppose -2*d + 4*t + 48 = 0, -3*t + 120 = 5*d - 6*t. Let a = x + d. Does 2 divide a?
False
Suppose -8 = -p + 1. Let w = -3 - -4. Is 19/2*(p - w) a multiple of 19?
True
Suppose -10*a = -138 - 82. Suppose x - a - 11 = 0. Is x a multiple of 12?
False
Let u = 1121 + 1632. Is 5 a factor of u?
False
Let i = -31 - -34. Suppose -y - i*y = -16. Suppose y*h - 12 = 8. Is 5 a factor of h?
True
Let g be (-3)/(-6)*-1*0. Suppose -4*v + 3*f = -194, -5*v - 5*f = -g*v - 225. Suppose -2*r - 5 - v = -2*h, -5*h - 2*r = -116. Does 24 divide h?
True
Suppose 8*o = 29*o - 46872. Is 57 a factor of o?
False
Suppose 15*o = 13*o + 5*s + 1233, 1860 = 3*o - 4*s. Suppose -6*z = -1602 - o. Is z a multiple of 58?
False
Suppose 16*d - 720 = d. Is d even?
True
Suppose -2*i - 2 = 2*u - 4*i, 0 = u + i + 11. Let x = -4 - u. Suppose 0 = -x*s + 50. Is s a multiple of 6?
False
Suppose -10*f + 40 + 20 = 0. Does 14 divide (-2 - 22)*(-1 + f/(-8))?
True
Let b(m) = -7*m**2 - 2*m + 1. Let l be b(1). Let n = l - -46. Is 19 a factor of n?
True
Let m be 7 + (-114)/18 + (-2)/3. Suppose -3*u - 2*g + 95 = 0, m = u - g - 7 - 18. Is u a multiple of 6?
False
Suppose -20*q = -37*q + 8517. Is 38 a factor of q?
False
Let o = 2 - -1. Suppose 5*t + 1415 = 5*l, -484 = -5*l - o*t + 963. Suppose 5*n - l - 3 = 0. Does 29 divide n?
True
Suppose -9*w - 35 = -14*w. Let a(x) = -x**3 + 10*x**2 - 13*x - 12. Is 11 a factor of a(w)?
True
Suppose -3*s - 130 = 2*s - 5*i, i = -5*s - 118. Let w = -22 - s. Suppose 3*g + w*z - 159 = 0, 3*g - 2*g + 2*z = 57. Is 11 a factor of g?
False
Is 13 + -11 + 244/2 a multiple of 13?
False
Let s = -23 - -24. Is 4 a factor of 0 + 11/s - (0 - -3)?
True
Let m be 3 + (-14 - -5) + 58. Let u(v) = -3*v**3 - 6*v**2 - 4*v + 5. Let a be u(-4). Let x = a - m. Is x a multiple of 18?
False
Let x = 5 - 5. Suppose x*d + 8 = 2*v - 5*d, -2*v + 16 = -3*d. Is 2 a factor of v?
True
Let b = -8 - -16. Suppose -7*x + 7 = -b*x. Let l = x - -21. Is l a multiple of 14?
True
Let d be (-6)/3 + (-90)/(-9). Is (-1 + 5)*(d - -12) a multiple of 15?
False
Let t(w) = 2*w**2 + w - 10. Let g be t(9). Let z = 229 - g. Is 17 a factor of z?
True
Suppose -4*s + 1280 = -3*m, -5*s + 0*m = 2*m - 1600. Suppose 5*l - s = 4*a, -l + 0*l + 4*a = -48. Is l a multiple of 17?
True
Suppose 2*u - 4 = -v, 2*v - 5*u + 1 = -0*u. Suppose v*g = 4 + 10. Does 13 divide 8*g - (-3 - 0)?
False
Let j(q) = -3*q**2 - 2*q + 2. Let z(h) = -h**2 + h. Let o(p) = j(p) - 5*z(p). Is o(-4) a multiple of 24?
False
Suppose -x + 203 = 4*s - 250, -s = 2*x - 885. Is x a multiple of 9?
True
Suppose 4*c + 13 = 5*c. Suppose 7 = 2*o - c. Does 6 divide o?
False
Let r = 383 + -243. Is 14 a factor of r?
True
Does 12 divide (321 + -1)/(-11 + 230/20)?
False
Does 40 divide (-20)/(6/15 + 87/(-180))?
True
Let n(s) = 130*s + 3228. Does 93 divide n(0)?
False
Let m(z) = -7*z - 8. Let o be m(6). Let n = o - -73. Is 16 a factor of n?
False
Let m = 249 - -100. Does 7 divide m?
False
Let u = -49 + 107. Let g = -13 + u. Does 6 divide g?
False
Let g(c) = -c**3 - 2*c**2 + 9*c - 9. Is 65 a factor of g(-11)?
False
Suppose 115596 = 46*u + 32*u. Is u a multiple of 57?
True
Let j(n) be the second derivative of -n**4/12 + 5*n**3/6 - 3*n**2/2 - 30*n. Is j(3) even?
False
Let a(c) = -1. Let k(d) = d + 2. Let x(f) = -3*a(f) - k(f). Let b be x(-1). Suppose -3*w + 17 = 4*t - 88, b*w = 2*t - 42. Is t a multiple of 7?
False
Suppose -19*d = 5*d - 506