75 = 2*x - 7*x, 2*q = 3*x - 1130. Suppose 8*w = 6*w + x. Is w a multiple of 19?
True
Let j(b) = 8*b + 316. Is 18 a factor of j(-7)?
False
Suppose 4*v - 720 = 400. Is 51 a factor of v?
False
Let u = 29 - 62. Let w be -2 + -1 + 4 - u. Suppose -w = 2*l - 4*l. Is 8 a factor of l?
False
Suppose 3*f + f = 936. Let k = f + -117. Is k a multiple of 13?
True
Suppose 10*g = 4*g. Suppose g = 6*j - 336. Is 6 a factor of j?
False
Let h be 1 - 8/4 - -8. Let o be h/(-28) + 90/8. Suppose -4*q + 3*q = -o. Is 9 a factor of q?
False
Let k(q) = 236*q + 4. Let n(v) = -117*v - 2. Let p(r) = -2*k(r) - 5*n(r). Is p(1) a multiple of 5?
True
Let y(v) = v - 1. Let l = -33 - -34. Let j be y(l). Let h = j - -8. Is h a multiple of 8?
True
Suppose i - 3*b - 17 = 0, 5*i + 3*b + 6 - 1 = 0. Suppose -i*f = -7*f + 410. Is (f/(-3))/(3/(-9)) a multiple of 11?
False
Let i be (40/(-35))/(4/(-14)). Suppose -b + 7 = 2*z - 4, i*b - 44 = 4*z. Suppose -2*a = 3*a - k - b, -2*k = -5*a + 7. Is 3 a factor of a?
True
Suppose -10*r + 5842 = -7228. Is 42 a factor of r?
False
Let i(c) = -2*c + 42. Does 38 divide i(-12)?
False
Suppose -o = -0 + 2, -3110 = -3*q - 5*o. Is q a multiple of 52?
True
Let l = 2696 + -951. Does 12 divide l?
False
Let z be ((-1032)/(-5))/((-78)/(-260)). Suppose 37*j + z = 41*j. Is 21 a factor of j?
False
Let t = 5 + -9. Let z = t + 29. Does 12 divide z?
False
Let o be -14*((-4 - -1) + 4). Let t be (o - 34)/((-2)/5). Suppose 5*i - 8*i = -t. Does 21 divide i?
False
Let d be (-910)/(-42) - (-4)/(-6). Suppose -5 = z + 2*s - 21, -3*z = -3*s - d. Let p(f) = f**3 - 9*f**2 - 9*f + 6. Is p(z) a multiple of 16?
True
Let p(o) = -3*o**3 + 24*o. Is p(-6) a multiple of 42?
True
Let i(b) = -b + 14. Let t be i(8). Suppose t*c = c. Is 17 a factor of 8/2 - (c + -24)?
False
Let m = 23 - 18. Suppose m*c = 5*a - 510, -20 = 3*c + 2*c. Does 49 divide a?
True
Is 8 a factor of 1748 + 9*(-36)/(-27)?
True
Let r(o) = 155*o**2 - 3*o - 2. Let d be r(-1). Let f = d + -107. Is f a multiple of 21?
False
Let w be ((-18)/(-45))/((-2)/40). Does 11 divide (w - -5)*(-1 + -10)?
True
Suppose 0 = -2*r - 5*r + 154. Is r/((-12)/(-9) + -1) a multiple of 11?
True
Suppose 5*n - 2*w - 1692 = 0, 11*n - 1013 = 8*n - w. Is 6 a factor of n?
False
Let r = 102 + -98. Is ((-18)/(-6) - r)*(-34 + -1) a multiple of 4?
False
Let m(x) = x - 8. Let c(j) = 15*j**3 - 1. Suppose 4*l + 0*l - 2*n + 2 = 0, 0 = 2*l - 5*n + 13. Let g be c(l). Is 4 a factor of m(g)?
False
Is 3*4506/36 - 3/(-2) a multiple of 7?
False
Suppose 6*d - 30 = 4*d. Suppose -3*m + 3 = -4*m + 2*v, 5*v = d. Suppose 25 = m*n - 95. Does 20 divide n?
True
Let j = -58 + 75. Suppose 681 = j*v - 1750. Is v a multiple of 11?
True
Let f(y) = y**2 - 9*y - 13. Let l be f(12). Let h = 32 + l. Does 11 divide h?
True
Suppose 0 = 20*p - 23*p + 33. Suppose -i + p = -109. Is 17 a factor of i?
False
Suppose -2*q = -8, z + 1 - 7 = -q. Let l(r) = -z + 0*r + 4 + 2 + 5*r. Is 20 a factor of l(7)?
False
Is (24/(-48))/(1/(-710)) a multiple of 6?
False
Let h(d) = 54*d**2 - 4*d + 2. Let c be h(2). Let q = 309 - -13. Let u = q - c. Does 14 divide u?
True
Let f(m) = m**2 - 49*m + 490. Does 36 divide f(41)?
False
Is (-9 - 455/(-7))*(-180)/(-16) a multiple of 18?
True
Suppose 0 = 5*i - 4*m + 1401, 3*m - 14 = -2. Let w = i - -628. Does 19 divide w?
False
Let g(u) be the third derivative of 0 + 4/3*u**3 + 0*u + 1/8*u**4 - 5*u**2. Is 27 a factor of g(8)?
False
Suppose -3*s - s = -4*z + 540, 4*s = -20. Does 12 divide z?
False
Suppose 4*b - 1410 = -2*s + 2372, -3*s - b + 5648 = 0. Does 15 divide s?
False
Let l(p) = -2*p**2 + 11*p. Let o be l(6). Does 17 divide (68/6)/((-14)/o - 2)?
True
Let k = -14 - -14. Suppose 0 = -2*m - 2*x - 2, 0 = 4*x - 0*x + 20. Suppose 88 = m*j - k*j. Is 11 a factor of j?
True
Let l = -354 + 671. Is l a multiple of 9?
False
Suppose -4*l = -96*q + 93*q - 3175, -q - 3966 = -5*l. Does 13 divide l?
True
Let g = 678 + -318. Is g a multiple of 24?
True
Suppose -r = -4*p - 1665, -p - 2830 = -3*r + 2132. Is r a multiple of 33?
False
Let p be -1*((-3)/1 - -9). Is 33 a factor of 10/15 + (-1250)/p?
False
Suppose 3*o - 2*a = -0*o + 388, -5*a + 5 = 0. Suppose 0 = 3*l - o - 404. Suppose 0 = 2*v + 46 - l. Is 22 a factor of v?
True
Suppose 12*m - 4*m = 48. Let h(s) = 4*s**2 - 7*s + 28. Is 13 a factor of h(m)?
True
Let f = 41 + -24. Suppose -2*u + 3*r + f = 0, -3*r = -3*u - r + 13. Is u/((-2)/((-192)/2)) a multiple of 16?
True
Suppose 3*k + 3 - 4 = -4*x, x + 21 = -5*k. Is 9 a factor of (0/k - -3) + 26?
False
Let n = -1016 + 1079. Is n a multiple of 21?
True
Let w(f) be the second derivative of 1/10*f**5 + 8*f + 3/2*f**2 - 1/3*f**3 + 0 - 5/12*f**4. Is 18 a factor of w(4)?
False
Suppose 0 = 5*a + 2*l - 8513, -44*l = -5*a - 43*l + 8516. Is 81 a factor of a?
False
Let c(i) = i**2 + 3*i - 16. Let g be c(0). Let w(m) = -18*m + 2. Let s be w(-2). Let h = g + s. Does 5 divide h?
False
Let p = -41 + 177. Suppose -5*d + 5*n + 680 = 0, 2*d - d = 4*n + p. Is d a multiple of 9?
False
Suppose 0 = -31*j + 30*j + 361. Is j a multiple of 4?
False
Does 40 divide (4/(-46) + (-28422)/1656)*-12?
False
Suppose 2 = -z + 2*z. Does 20 divide (-837)/(-12) - z/(-8)?
False
Let d = -21 - -29. Suppose -196 = -d*c + 6*c. Let r = -68 + c. Does 15 divide r?
True
Let h = 25 - 13. Suppose -h + 4 = -t. Is t a multiple of 4?
True
Suppose -2*j + 4*v = -0*j - 16, 2*j = -4*v. Suppose -7*g = -3*g + 3*i - 103, -5*g - j*i = -130. Is 19 a factor of g?
False
Let z(f) = 3*f + f - f**3 + 5*f**2 - 3 - 3*f - 6*f**2. Let l be 4/(4/(-3)) - 1. Is 20 a factor of z(l)?
False
Suppose 9*n - 999 = 1935. Suppose -6*b - 4*p = -2*b - 692, 2*p = 2*b - n. Is 14 a factor of b?
True
Suppose 4*z = -41 - 31. Let b = z - -119. Is 35 a factor of b?
False
Let q(w) = 2*w + 1 - 13*w + w**2 + 0 - 2. Let a be q(11). Does 14 divide 42/(((-6)/8)/a)?
True
Suppose -b + 2*b = 13. Let k = b - 17. Let x(z) = 2*z**2 - 2*z - 1. Does 12 divide x(k)?
False
Let u(f) = f - 5. Let k be u(7). Suppose 2*g + 50 = 4*i - 0*i, 0 = k*i + 5*g + 5. Suppose 20 = q - i. Is 14 a factor of q?
False
Suppose 2*r - 3*d + 3 = -3, -2*r + 5*d - 6 = 0. Is 9 a factor of (-55)/(-4) + r/4?
False
Let b(i) = 104*i**2 + 25*i + 50. Does 26 divide b(-2)?
True
Let q = 150 - -866. Is 40 a factor of q?
False
Let v(z) = -z. Suppose -2*m = -32 + 10. Suppose 3*t = 4*p - m, -p = -5*p - 4. Is v(t) a multiple of 3?
False
Suppose 6*m = 2*m. Suppose 0 = -3*n + n + 5*v + 416, 5*n - 4*v - 1074 = m. Does 19 divide n?
False
Let h = -911 - -1595. Is 57 a factor of h?
True
Suppose -14*d + 16*d + 38 = 0. Let n = 106 - 150. Let i = d - n. Is i a multiple of 25?
True
Suppose 2*y = 3*z - 12, -y = 3*z - 0*z - 12. Suppose 4*v = 5*t + 124, 5*v = 3*t - y*t + 142. Does 13 divide v?
True
Let l be (-3 + 6)*(-5)/(-3). Suppose -3*b = u + 43, -l*b + b + 92 = -4*u. Is (-7)/(u/160) - -4 a multiple of 22?
True
Is (-30175)/(-170)*(-112)/(-10) a multiple of 38?
False
Suppose 3*u - 468 = -3*b + 360, 3*b = 2*u - 532. Does 16 divide (-12 + 2)*u/(-10)?
True
Suppose -584 = -3*v + 4*w + 644, 1654 = 4*v + 3*w. Is (-10)/(-30) - v/(-6) a multiple of 23?
True
Let g(o) = 4*o**2 - 51*o + 20. Does 3 divide g(14)?
True
Let u = -10 + 15. Suppose -4*o + u*j - 15 = 0, -6 = -2*o + 3*o - 2*j. Suppose o*l = -l + 77. Is l a multiple of 17?
False
Let b(p) = 611*p**2 + 11*p + 12. Is 9 a factor of b(-1)?
True
Suppose 2*p - 36*i = -37*i + 3697, 0 = 3*p + 5*i - 5549. Is 45 a factor of p?
False
Suppose 0 = -14*k - 11 - 31. Does 15 divide (-5 + 81/k)/(-1)?
False
Let q(y) = y**3 - 8*y**2 + 9*y - 10. Let t be q(7). Let k = t - -2. Does 8 divide k/(-27)*3*-24?
True
Let b(u) = 1819*u - 170. Is 14 a factor of b(2)?
False
Let s(j) = -j**3 + 6*j**2 - 15*j + 10. Does 60 divide s(-7)?
False
Let m = 262 + 409. Is m a multiple of 45?
False
Let g(f) = -16*f**3 - f**2. Let n be g(-1). Let w = 17 - n. Suppose -o = 5*u, -w - 7 = -2*o - u. Is o a multiple of 5?
True
Let p = -183 - -208. Is p a multiple of 2?
False
Let j(w) be the second derivative of 0*w**4 - 6*w - 1/3*w**3 + 1/2*w**2 + 19/20*w**5 + 0. Does 5 divide j(1)?
False
Let q = 201 + -40. Let t = q + -109. Let f = t + 13. Does 13 divide f?
True
Let t be ((-76)/(-5))/(6/15). Suppose t = -l - 16. Let a = 78 + l. Does 12 divide a?
True
Suppose -2*x + 0*p + 2*p = 18, -2*p + 42 = -4*x. Let j(i) = -16*i + 6. Let w be j(x). Suppo