 g(y) = -6*y + 1. Is 7 a factor of g(w)?
False
Suppose -2106 = -6*a - 7*a. Does 34 divide a?
False
Let p be 2/3*6/(-2). Let w be p*(-1 - -2)*6. Is 3*4*(-4)/w a multiple of 4?
True
Let u(r) = 35*r - 7. Does 17 divide u(3)?
False
Let y(h) = h**3 - h**2 + h + 2. Let l be y(2). Let b = l + -5. Is 17 a factor of 50/b + 3/9?
True
Let t(k) = k**3 - k**2 + 3*k + 2. Let x = -8 - -6. Let f be t(x). Is 13 a factor of ((-63)/6)/(6/f)?
False
Let h(m) = m - 1. Let t be h(3). Suppose -t*g = 7*x - 2*x - 15, -95 = -5*g - x. Is 20 a factor of g?
True
Suppose 0 = 2*l - 4*l. Suppose y - 19 - 1 = l. Is 20 a factor of y?
True
Suppose -98 = 2*u + 56. Let x be u/(-4) - 3/12. Suppose 0 = 2*s - x + 5. Is 3 a factor of s?
False
Let a be (7/(-14))/((-1)/82). Let v = 68 - a. Is v a multiple of 18?
False
Let w(a) = 2*a**3 + a**2 + 6. Does 34 divide w(3)?
False
Suppose 3*f = 6*f - 9. Suppose f*q - 2*j + 3*j - 98 = 0, 2*j = -2. Does 11 divide q?
True
Let i be -2 - -2 - (-2 + -2). Suppose -c + 101 = 3*h + c, -i*h - 4*c = -132. Suppose 3*z = 2*z, 5*j + 5*z = h. Is 2 a factor of j?
False
Let m(y) = 11*y**3 + 2*y**2 - y. Suppose z = -0*z + 1. Does 4 divide m(z)?
True
Is ((-18)/(-8))/(2/8) a multiple of 9?
True
Let r be 3/3*(-8)/(-2). Is (38 + 1)*r/4 a multiple of 21?
False
Suppose h = 6*h. Let k = 2 - h. Suppose -3*t - 8 + k = 2*v, v + 17 = -5*t. Is v a multiple of 3?
True
Let f = -1 + 1. Let x be 0 + 2 + f + 18. Suppose -2*t = -0*t - x. Is 10 a factor of t?
True
Suppose -34 = 5*z + 36. Let a = 46 + -32. Let m = a - z. Is m a multiple of 14?
True
Let v be -8 - (-4)/(4/2). Let r(u) = 14*u**2 + 2*u + 6. Let b(x) = -5*x**2 - x - 2. Let t(p) = -17*b(p) - 6*r(p). Is t(v) even?
True
Let z = -34 + 65. Does 10 divide z?
False
Is (-1280)/(-14) - 66/154 a multiple of 7?
True
Suppose 0 = -l + 3*l - 24. Suppose 3*w - 7*w + 5*d - 3 = 0, -w = -5*d + l. Let r = w + 1. Does 4 divide r?
True
Let k(w) = -19*w - 16. Is 32 a factor of k(-7)?
False
Let w(m) = -12*m**3 - m**2 + 1. Let r = -13 + 12. Is 6 a factor of w(r)?
True
Suppose 5*x = x - 16. Is x/(-18) - 25/(-9) a multiple of 3?
True
Let a(i) = -i + 5. Let v be a(-6). Let c = v - -3. Does 7 divide c?
True
Let c = 246 - 165. Let v be (-8)/20 - c/(-15). Let y = v - 2. Is y even?
False
Let x(z) = -z**2 + z**2 + 1 - 2*z**2 - 3*z. Let j be x(-3). Let h = -5 - j. Is h even?
False
Let g = -23 + 86. Let v = g - 31. Let k = v - 10. Does 22 divide k?
True
Let m be (-4)/(3 + -1) + -13. Does 2 divide (2 - m/(-6))*-6?
False
Let i = 4 - 4. Is 55 + -1 - i/2 a multiple of 27?
True
Suppose 2*k + 3*s - 58 = 39, 3*s = 4*k - 167. Is k a multiple of 16?
False
Suppose -4*x - 4 = -g + 2, -3*x + 9 = 0. Let v = g + 0. Is 6 a factor of v?
True
Let k(s) = -5*s. Let f = 19 - 11. Let d = 6 - f. Does 9 divide k(d)?
False
Let b(t) = t**3 - t + 145. Let i be b(0). Let k = -86 + i. Is 21 a factor of k?
False
Let f = 3 - 3. Suppose -5*k + k + 60 = f. Is k a multiple of 14?
False
Let s(v) = -v + 1. Let h(l) = 2*l**2 - 3*l + 4. Let a(q) = h(q) - 2*s(q). Let i(g) = -g**2 - 4*g - 1. Let o be i(-3). Is 3 a factor of a(o)?
False
Suppose -4*a - 3*f - 15 = -57, -3*a - f = -34. Does 4 divide a?
True
Let f be ((-1)/1)/(-3 + 2). Is ((-34)/4 - f)*-8 a multiple of 25?
False
Let v = 42 + 22. Does 7 divide v?
False
Let y = 1 - -43. Is 22 a factor of y?
True
Let p = 10 + -7. Does 10 divide p/6*56 + 1?
False
Let n(f) = 2*f**2 + 3*f - 3. Let a be n(3). Suppose -5*b - 4*w = -60, w - a = 2*b - 4*b. Is b a multiple of 12?
True
Let o = 537 - 369. Does 14 divide o?
True
Suppose 3*s + 5*p = 119 + 147, 0 = -3*s - 4*p + 265. Is s a multiple of 27?
False
Let i(y) = 20*y + 38. Is 43 a factor of i(11)?
True
Let v(m) = -m**3 - m**2 + m + 2. Let b be v(0). Suppose 2*u + b*u = 20. Suppose 5*h - r = 89, u*r = 3*h + 2*h - 85. Is h a multiple of 18?
True
Let o = -1 - -2. Suppose 4*h - 57 = -o. Is h a multiple of 14?
True
Let g(a) = -a**3 + 11*a**2 - 14*a - 3. Does 12 divide g(6)?
False
Let g be (-2)/(-6) - (-1)/(-3). Suppose g = 13*m - 12*m - 29. Is m a multiple of 8?
False
Is (12/(-36))/((-1)/819) a multiple of 21?
True
Suppose 0 = -4*k + 2*v + 178, 2*k - v + 3*v - 104 = 0. Suppose -k = -3*b + 103. Is 25 a factor of b?
True
Let u(n) = -27*n + 1. Let j(w) = -w**3 - 4*w**2 + 3*w - 5. Let t be j(-5). Suppose 0 = 5*f + t. Is u(f) a multiple of 14?
True
Suppose -2*i + i = -4. Suppose 2*v + i = 0, a + 3*a - v = 26. Suppose q = a + 10. Is 16 a factor of q?
True
Let l(q) = 2*q**2 + 3*q - 4. Suppose 2*s + 2*s + 3*d - 42 = 0, -s + 4*d = -1. Let x = s - 13. Does 8 divide l(x)?
True
Let w(x) = 2*x**2 + 2*x + 14. Does 14 divide w(6)?
True
Suppose -6*d + 5*d + 6 = 0. Is 10 a factor of -20*(2 + (-21)/d)?
True
Let f = -45 + 112. Is 11 a factor of 19/(-57) + f/3?
True
Let c = -1 + 1. Let u(g) = 3*g**3 + g**2 - g. Let v be u(1). Let y = v - c. Is y a multiple of 2?
False
Let s = 46 + -91. Is 16 a factor of 72/s*(-150)/4?
False
Let w = 4 - 6. Is 8 a factor of (w - 0 - -2) + 16?
True
Let a(w) be the third derivative of 7*w**5/60 - w**4/24 + w**3/6 - 7*w**2. Let l = -5 - -7. Is 9 a factor of a(l)?
True
Suppose -6 + 4 = -2*k. Let z = k + -2. Does 7 divide 1/(z/(-28)*2)?
True
Let l(a) = -10*a + 15. Is l(-7) a multiple of 29?
False
Let i = 4 - 2. Suppose -7*v = -4*v - 78. Suppose d = i*d - 2*u - v, -4*u = 3*d - 58. Is 16 a factor of d?
False
Suppose -3*p + 3*d = 2*p - 9, -3*d = 4*p - 18. Suppose 2*j = -2*v + 54, -p*j - v + 0*v = -75. Is j a multiple of 24?
True
Suppose 0 = -2*a - 3*w + 2, 0*a + 3*a - 2*w - 16 = 0. Suppose p - 135 = -4*n - 0*p, a*p + 120 = 4*n. Does 14 divide n?
False
Suppose -888 = -3*o - 5*o. Is o a multiple of 8?
False
Suppose -3*c = -c. Suppose 2*t + 0*t - 92 = c. Suppose -3*g - 2*g + 34 = -4*h, -3*g + t = 4*h. Is g a multiple of 10?
True
Let o = -49 + 129. Is o a multiple of 10?
True
Suppose 4*c - 78 = 10. Is 13 a factor of c?
False
Let q = 357 - 202. Is q a multiple of 9?
False
Suppose 3*l = -4*j + 272, 5*l - j = 462 - 1. Is 23 a factor of l?
True
Suppose 0*m - 6 = -3*m. Is 6 a factor of m + (-1)/((-2)/12)?
False
Suppose 4*a + 56 = -0*a. Let b be -1 - 1 - (3 - 41). Let i = b + a. Is i a multiple of 11?
True
Let u be 164 - 1 - (-1 - 0). Let q = u + -115. Let s = -34 + q. Is 5 a factor of s?
True
Let p = 26 - 120. Let b = -13 - p. Does 27 divide b?
True
Suppose 3*k - 4*k + 198 = -4*v, -3*k - 2*v + 636 = 0. Does 25 divide k?
False
Is (-36)/96 - (-3494)/16 a multiple of 18?
False
Let j be (67/(-2))/((-9)/18). Let w = -39 + j. Is w a multiple of 7?
True
Let z be (1*17)/(4/4). Suppose 2*i - 2 = 4*h, 3*i + i + 5*h = z. Is i + -3 + 1*11 a multiple of 6?
False
Let a(t) = -3*t - 4. Let c(i) = i + 1. Let m(o) = -a(o) + 4*c(o). Is m(8) a multiple of 16?
True
Let c(o) = -2*o + 10. Is 9 a factor of c(0)?
False
Let p = 239 - 167. Is 36 a factor of p?
True
Does 17 divide ((-3)/2 - 1)*(-15 - -3)?
False
Let i = -5 - -11. Let c = i + -2. Suppose 0 = 4*o + c*x - 7*x - 64, -4*x = -4*o + 68. Is 7 a factor of o?
False
Let g(c) = c**2 + 6*c - 7. Let o(r) = r**2 - r - 1. Let p(b) = g(b) - 2*o(b). Let w be (20/(-6))/(4/(-6)). Is 5 a factor of p(w)?
True
Suppose 3*d - 139 + 9 = -4*s, 4*s - 2*d = 120. Is s a multiple of 14?
False
Let v(l) = l**3 - 3*l**2 + 3*l - 1. Let b be v(3). Suppose -3*k + b = -k. Suppose 2*f - 3*o - 58 = 0, 3*f = o + k*o + 86. Is 11 a factor of f?
False
Does 8 divide -4 - 4*6*-2?
False
Is 18 a factor of (0 - 36/(-15))*(-30)/(-2)?
True
Let k(u) be the first derivative of 77*u**4/4 - u**3/3 - u**2/2 + u - 3. Is k(1) a multiple of 11?
False
Suppose -2*m - 32 = -2*u, -8*m + 3*m - 29 = -2*u. Let r = u - 11. Does 5 divide r?
False
Suppose -v + m = -6*v, 0 = v + 3*m. Suppose 0 = 3*j - v*j - 18. Is 4 a factor of j?
False
Is 1 + 22/3*3 a multiple of 10?
False
Let m be (-3 - 6/(-10))*-5. Is 9/m + 57/4 a multiple of 15?
True
Suppose 4*p - 6 - 2 = 0. Let c be -1*p - 1*-82. Suppose o - 5*o = -5*f + 118, -4*o + c = 4*f. Is 18 a factor of f?
False
Let b(a) = -a**3 - 2*a**2 - a + 2. Is 3 a factor of b(-3)?
False
Suppose -3*p - 16 - 38 = 0. Suppose -2*q + 6*a + 65 = a, -3*a = 2*q - 57. Let k = p + q. Is 12 a factor of k?
True
Suppose 20*z - 23*z + 294 = 0. Let g = z + -48. Is 25 a factor of g?
True
Is (-1223)/(-7) - 6/(-21) a multiple of 13?
False
Suppose 8*q - 5*q - 63 = -n, 58 = n + 4*q. Is n a multiple of 13?
True
Let s(n) = 8