 multiple of 18?
True
Let x = 16 - 14. Suppose -5*r = 3*w - 126, x*w = -r + 6*r - 116. Is r a multiple of 6?
True
Let g = 6 - -2. Let i = g - 5. Is i/2*100/6 a multiple of 10?
False
Let x(n) = 1. Let i(m) = 2*m - 9. Let t(y) = -i(y) - 2*x(y). Does 16 divide t(-5)?
False
Suppose 0 = -3*i + 2*i + 2*w + 2, 0 = i + 4*w - 14. Suppose i*r - 4*r = 36. Does 14 divide r?
False
Suppose 4*l - 163 = -5*k - 20, 4*k - 33 = -l. Does 11 divide l?
False
Suppose -4*d - 63 = -7. Let g = 42 + d. Is g a multiple of 19?
False
Suppose 2*f - 5*u + 9 + 14 = 0, f + 2*u = -16. Let c = f + 23. Let t(w) = -w**3 + 9*w**2 + 2*w + 8. Is 13 a factor of t(c)?
True
Let g(d) = d**2 - d - 4. Let m be g(3). Suppose k = m*k - 24. Is 8 a factor of k?
True
Let d(l) = -l**3 - 7*l**2 - 6*l - 8. Let u(v) = -2*v**3 - 8*v**2 - 6*v - 8. Let q(g) = 3*d(g) - 2*u(g). Does 12 divide q(7)?
True
Suppose -5*p - 12 + 1 = 3*m, -4*p - m = 6. Is 11 a factor of (p*2)/((-4)/62)?
False
Let r be 30/70 - (-22)/14. Suppose -r*a + 5*a = 21. Does 7 divide a?
True
Suppose -4*w = -3*j + 53, 4*w = -5*j - 30 - 31. Let o be -2 - w*6/(-4). Let b = -7 - o. Does 7 divide b?
False
Let f(c) = c - 4. Let m be f(10). Let g = 27 - m. Does 19 divide g?
False
Let x(s) = -s**3 + 5*s**2 - 2*s - 3. Is x(4) a multiple of 4?
False
Suppose -10 = -4*p + 26. Is p a multiple of 3?
True
Suppose -4*n = c + 1, n = -2*n + c + 1. Suppose n = 4*x - 18 - 2. Suppose 285 = x*m - 5*j, j - 27 = 4*m - 252. Is m a multiple of 15?
False
Let a be (52 + 0)*(-130)/(-40). Suppose -2*r = 3*r - 4*q - a, -3*q - 173 = -5*r. Does 12 divide r?
False
Suppose 2*k + 188 = g - 5*g, -289 = 3*k - g. Is 18 a factor of ((-6)/(-4))/((-4)/k)?
True
Suppose -22*r + 3118 = 60. Does 16 divide r?
False
Suppose y = 3*g - 19, -4 = y + 5*g + 7. Let w = y - -37. Is 21 a factor of w?
True
Let q be 2/((-2)/(-3)) - 2. Let w be 1 + 0 - q/(-1). Suppose -l = 3*n - 27, -n - w*n = -5*l + 81. Does 18 divide l?
True
Does 7 divide (28/6)/((-2)/(-6))?
True
Suppose 2*g - 7*g + 35 = 0. Suppose -6*y + g*y - 18 = 0. Is 9 a factor of y?
True
Suppose 5*a + 3*x - 27 = 0, 4*a - 6*x + 4*x - 4 = 0. Is 2 a factor of a?
False
Let p(i) = 2*i**3 - i**2 - 4*i + 3. Let u be p(2). Suppose -w - 2 = -3*z, 2*w - 2 = 5*z + 3*w. Suppose z = -h + 2 + u. Does 9 divide h?
True
Suppose 4*a = 4*f, 3*f + 0*a = 4*a - 4. Suppose -15 = -f*g + 1. Suppose s - 10 = -g. Is s a multiple of 6?
True
Suppose 4*v = v. Let n be (2/1)/(3/((-198)/(-12))). Let k = n - v. Is k a multiple of 11?
True
Suppose 10 = -4*s + 34. Let w(v) be the first derivative of -v**3/3 + 7*v**2/2 + 6*v - 5. Does 5 divide w(s)?
False
Let k(b) = b**2 + 5*b. Let l be k(-4). Let g(t) = -t**3 - 5*t**2 - 4*t - 3. Let o be g(l). Is 20/o*(-3)/2 a multiple of 10?
True
Suppose 0 = -5*f - 1 + 21. Let u(q) = 34*q - 4. Let g be u(f). Suppose o = -2*o + g. Does 19 divide o?
False
Let x(s) = -s**2 - 6*s + 10. Let f be x(-7). Let t be -2 + f + -1 + 2. Suppose t*q = 4*q - 22. Is 11 a factor of q?
True
Suppose 5*i = -3*o + 89, -4*o - 5*i = -2*i - 115. Does 14 divide o?
True
Let r(o) = -o**3 - 8*o**2 - 4*o - 12. Let t be r(-8). Suppose -2*x + 3*g + t = -34, -4*x + 4*g = -116. Suppose -x = -i - 5. Is 11 a factor of i?
False
Suppose -6 = -x + 18. Is 4 a factor of x?
True
Let a(r) = r**2 + 8*r. Let b(j) = j - 1. Let l be b(4). Suppose 8*w = l*w - 50. Is a(w) a multiple of 7?
False
Let r(c) = c**3 - 2*c**2 - 2*c - 3. Let g be -3*((-6)/3 + 1). Let j be r(g). Suppose j = 5*p - 2*o - 34, -p - 5*o = -3*o - 14. Is p a multiple of 4?
True
Suppose 5*x = -2*p + 590, 5*x - 625 = -p + 6*p. Is 40 a factor of x?
True
Let g(q) = -2*q - 16. Is g(-15) a multiple of 3?
False
Let m = -37 + 95. Is 6 a factor of m?
False
Suppose 5*h - 4*c - c - 100 = 0, 0 = 3*h + 2*c - 70. Is h a multiple of 11?
True
Does 13 divide ((-20)/50)/((-2)/370)?
False
Let v = 25 - -9. Does 6 divide v?
False
Let y(z) be the first derivative of -z**4/4 - z**3/3 + z**2 + 5*z - 1. Suppose -5*l - 1 = 3*b + 1, 4*b + 3*l + 10 = 0. Is y(b) a multiple of 20?
False
Does 31 divide 18/30 + (0 - (-456)/15)?
True
Let c = -29 + 17. Is 6 a factor of (c/(-16))/(2/16)?
True
Let t(p) = 17*p + 7. Let u(b) = 8*b + 3. Let s(l) = 4*t(l) - 9*u(l). Let z = -11 - -8. Is s(z) a multiple of 6?
False
Suppose 8*n = 124 + 124. Is n a multiple of 28?
False
Suppose -2*s + s - 13 = -4*t, 0 = 2*t + 5*s + 21. Suppose m - 65 = -t*k, 0 = -5*k - 2*m + 158 + 6. Is 17 a factor of k?
True
Let d(p) = 13*p + 5. Let z be d(4). Let t = z - 21. Does 8 divide (t/6)/(3/8)?
True
Let t = -37 - -120. Is 18 a factor of t?
False
Does 3 divide ((-30)/12)/((-1)/2)?
False
Let m be 17*(-3)/12*-8. Suppose 0 = 4*o - 16, -2*i + 4*o + m = 6*o. Does 11 divide i?
False
Let f = 6 + -8. Let x(v) = -17*v + 1. Is 7 a factor of x(f)?
True
Suppose 0 = -4*b + 19 + 269. Is 13 a factor of b?
False
Let b = 6 + -9. Let j = b - -8. Does 5 divide j?
True
Is 8/(-6)*(-66)/(-3)*-3 a multiple of 44?
True
Suppose -q + 91 = 4*p - 149, 5*q = 0. Suppose -d + u + p = -0*u, 3*d - 201 = -4*u. Does 16 divide d?
False
Is 1/(1/(-1)) - -8 a multiple of 7?
True
Let p(o) = -14*o - 7. Does 13 divide p(-4)?
False
Suppose -2*l = -3*b - 6*l + 52, 3*b = -l + 40. Is 6 a factor of b?
True
Let y = 14 - 11. Is 3 a factor of y?
True
Is 25*10 + 102/17 a multiple of 18?
False
Let c = 11 - 3. Is c a multiple of 4?
True
Let o = -22 + 42. Is 10 a factor of o?
True
Let f(u) be the third derivative of u**5/30 + u**4/4 - 5*u**3/6 + u**2. Suppose -5 = p - 0*p. Is 5 a factor of f(p)?
True
Let k = 3 + -1. Does 13 divide (-195)/(-10)*k/3?
True
Suppose 0 = 4*c + 50 - 178. Does 16 divide c?
True
Let q = -13 - -47. Is 9 a factor of q?
False
Let n be (-45)/(-20) - 3/(-4). Suppose n*m + 3*y = -2*m + 94, -4*y = m - 29. Let p = m - 5. Does 9 divide p?
False
Let t(u) = -u**2 - 4*u + u**2 + 3 - 3*u**2 + 4*u**2. Let m be t(3). Let l = 4 + m. Is l a multiple of 3?
False
Suppose -5*u + 5*n + 305 = 0, -4*u + 0*u + 2*n + 236 = 0. Does 19 divide u?
True
Suppose -s - 4*i + 220 = s, -4*i + 328 = 3*s. Is s a multiple of 18?
True
Let i(x) = -x**3 - 10*x**2 - 8*x + 12. Let m be i(-9). Suppose -4 = -4*v - 4*w, w - 6*w - 4 = -4*v. Suppose 3*s - 61 = -k, m*k - 2 - v = 0. Does 10 divide s?
True
Let d(v) = v**3 + 5*v**2 - 7*v - 5. Let q be d(-6). Let j be 6 - (2 - (q - 1)). Suppose 5*b - 3*r = 59, -j*r + 15 + 6 = b. Is b a multiple of 9?
False
Let t(s) = s**2 + s - 6 + 5 + s**3 - 2*s**2. Let c be t(1). Suppose 2*a + 2*a - 20 = c. Does 3 divide a?
False
Suppose -5*r - 2*y + 377 = 0, -y - 3 = -4. Let c = -38 + r. Does 16 divide c?
False
Let o(g) = 3*g**2 + 22*g + 2. Does 25 divide o(-10)?
False
Let l be 1/(-4) - 23/4. Let k = 10 + l. Suppose -k*j - j + 50 = 0. Is 10 a factor of j?
True
Suppose -u + 2*o + 61 = 0, 5*o = 4*o + 1. Is u a multiple of 21?
True
Suppose 0*s + 4*s = -n + 212, -5*s = 3*n - 601. Is n a multiple of 48?
True
Suppose -4 = -0*m - m. Suppose m*g = 3*c + 6, 5*g - 6 = 3*c + 3. Is (-22)/(-1) + 6/g a multiple of 9?
False
Let n(i) = 93*i**2 + 2*i + 1. Does 6 divide n(1)?
True
Let d = 11 + -9. Let l(b) = 8*b**2 - 3*b + 3. Does 14 divide l(d)?
False
Suppose 2*t = 2*a + t - 135, -3*t = -15. Does 14 divide a?
True
Let f(g) = -g**3 + 4*g**2 - 3*g. Let l be f(2). Suppose -4 + 0 = -l*p, -m - 4 = -3*p. Suppose 0 = m*v - 11 - 13. Is 12 a factor of v?
True
Let q(c) = c**2 + 14*c + 14. Suppose -2*w = 4*k + 52 + 6, -3*w - 73 = 5*k. Does 7 divide q(k)?
True
Suppose 4*d - d = w + 382, -4*w + 8 = 0. Suppose 0 = -2*g + 12 + d. Let j = g + -46. Does 12 divide j?
True
Let i = -7 + 13. Does 2 divide i?
True
Suppose 2*b + j = -2*j + 41, 80 = 5*b + 3*j. Let v = -8 + b. Suppose -2*p + v = -7. Does 3 divide p?
True
Let z be (3/2 + 2)*2. Suppose -3*l - z = -196. Does 17 divide l?
False
Is 24 a factor of 59*(-15)/10*(-4 + 0)?
False
Let z = 25 + -14. Suppose z*m = 6*m + 10. Is 10 a factor of 39/m - (-3)/6?
True
Suppose -3*h - m + 32 = 0, 4*h - m = m + 26. Suppose -3*c + 1 = -4*q + h, 5 = -2*c + 3*q. Is (-103)/(-4) - c/16 a multiple of 14?
False
Suppose -3*t = -2*t - g - 68, -3*g = 4*t - 258. Is 33 a factor of t?
True
Let h be ((-5)/(-10))/(3/6). Does 24 divide (12/9)/h*36?
True
Let q(j) = -j**3 + 9*j**2 - 7*j - 6. Suppose -t - 3*t + 28 = 0. Let g be q(t). Suppose -3*a = 1 - g. Is a a multiple of 14?
True
Is (2 + 0)*(2 + -1) - -2 a multiple of 4?
True
Let x = 40 -