*v + v - 192. Is v a multiple of 16?
True
Let o(r) = 4*r**2 + 6*r - 7. Is 27 a factor of o(4)?
True
Is 4 a factor of -1 + (2/10 - 264/(-5))?
True
Let q(m) = -m + 3. Let w(v) = 4*v - 14. Let r(i) = 11*q(i) + 2*w(i). Let k be r(-6). Suppose -107 = -4*h - k. Is 21 a factor of h?
True
Let n(p) = 3*p**2 - 2*p + 4. Let z be 1 + 1 - (-1 - 0). Is n(z) a multiple of 25?
True
Let h = -23 + -31. Let g = -21 - h. Is g a multiple of 10?
False
Let a = 140 + -98. Is a a multiple of 6?
True
Let h be 2 - 3/(-6)*-4. Suppose -5*j + 3*o = -75, -j - 16 + 3 = 5*o. Suppose h*x = -2*x + j. Is x a multiple of 2?
True
Suppose 2*l + j = 49, 0 = 4*j - 4. Is l a multiple of 11?
False
Is 2 a factor of -3 - 2/((-4)/14)?
True
Let c(s) = -4 + 4*s**3 + 4*s**2 - 3*s**3 + 2*s**3 - 4*s**3. Let n be c(3). Suppose k - a - 26 - n = 0, -5*k + 185 = a. Does 12 divide k?
True
Suppose -2*v - 22 = -v. Let a = 12 - v. Suppose 0 = 5*m, n + 4*m = 3*n - a. Is n a multiple of 12?
False
Suppose -3*n = -5*t - 8 + 496, -5*n + 120 = t. Suppose 4*l - t = 24. Does 19 divide l?
False
Suppose -5 = 2*x + 15. Let g be (-8)/(-20) - 276/x. Suppose v = g + 23. Is 15 a factor of v?
False
Suppose 0 = -j - 4 - 0. Let w(o) = 2*o**2 + 2*o + 4. Let d be w(j). Suppose -4*r = -68 + d. Does 7 divide r?
False
Let k = -1 - -6. Suppose -m - 52 = -k*m. Is m a multiple of 13?
True
Let u(g) = -g**3 - 14*g**2 + 18*g + 13. Let z be u(-15). Let j = z - -47. Is 9 a factor of j?
False
Let y be (-80)/(-36) + (-4)/18. Suppose 3*z - 6 = -3*d, 0 = 3*z + 2*z - y*d + 4. Does 16 divide -1 + z + 52 + -1?
False
Let v(y) = 10*y - 6. Let p(w) = w - 1. Let q(k) = -12*p(k) + v(k). Let n be q(5). Is 3 a factor of 30/4 - (-2)/n?
False
Suppose -5*u + 4*v + 496 = 0, 2*v = 3*u - 0*v - 298. Does 25 divide u?
True
Suppose -4*w = -w. Let l = 34 - w. Does 16 divide l?
False
Let o = -29 + 50. Suppose -6 + o = 5*l. Suppose -3 = l*j - 57. Is j a multiple of 18?
True
Suppose a - 19 - 55 = 0. Suppose 3*b = -2 + a. Is 12 a factor of b?
True
Let o(y) = -y**2 - 9*y - 5. Let t be o(-8). Suppose -204 = -t*h - h. Is 17 a factor of h?
True
Suppose -4 = -4*w, 2*h + 2*w = -3*h + 842. Is h a multiple of 42?
True
Let p be 23*(-2 + 2 + 1). Is 2/2 + p + -2 a multiple of 11?
True
Let l(b) be the third derivative of 1/8*b**4 + 0 - 7/6*b**3 + 0*b + 3*b**2. Is l(8) a multiple of 17?
True
Let d(b) = -b. Let t be 5 + 2/(2/(-1)). Let z(p) = p**3 - 8*p**2 - 5*p - 6. Let v(l) = t*d(l) - z(l). Is 7 a factor of v(8)?
True
Does 19 divide (-1 + 2)*-3 - (0 - 186)?
False
Is 18 a factor of 1 + -5 - (9 + -35)?
False
Let v(y) = y**3 - 3*y**2 + 6*y + 5. Let a be v(5). Suppose -w - 16 = -a. Is w a multiple of 23?
True
Let v = -50 - -72. Does 11 divide 1/((5/v)/5)?
True
Suppose w - 22 - 93 = 0. Is 23 a factor of w?
True
Let o = -146 - -223. Is 13 a factor of o?
False
Suppose 0 = -3*o - 12 + 180. Suppose -2*c + o = 14. Does 21 divide c?
True
Suppose o + 11 - 2 = -2*q, 4*q + 4*o + 16 = 0. Let l = -1 - q. Suppose l*z - 67 = -j, -3*j - 41 = -4*z + 14. Is 6 a factor of z?
False
Suppose 4*u + 4*m + 52 = 0, -2*u + 2*m = -2*m + 26. Suppose -l + 4*o = 8 - 23, o - 77 = -4*l. Let x = u + l. Is x a multiple of 3?
True
Suppose 33 = 5*p - i, 3*p + 5*i + 9 = 2*p. Is 6 a factor of p?
True
Let y(h) = -29*h - 5. Let p(s) = -59*s - 9. Let f(c) = 6*p(c) - 11*y(c). Is f(-2) a multiple of 26?
False
Suppose 0*v - 4*i - 504 = -4*v, -3*v = -5*i - 386. Let y = v + -74. Does 27 divide y?
False
Let u(t) = t**2 + t + 26. Let r be u(0). Let i be 2/4 + (-38)/4. Let m = r + i. Is m a multiple of 17?
True
Let d = 15 + 35. Is d a multiple of 17?
False
Suppose -349 - 157 = -11*g. Is g a multiple of 2?
True
Suppose -4*u - 15 = -z + 3, 3*z = -3*u + 54. Suppose -2*b + z = -48. Is 11 a factor of b?
True
Suppose -4*g - g + 5 = 0. Let a = g + -2. Is (-3 - (0 + a))*-4 a multiple of 4?
True
Suppose 3*p - z - 239 = 0, 2*z - z - 73 = -p. Does 17 divide p?
False
Let h(z) be the first derivative of 2*z**3/3 + 7*z**2/2 + z - 1. Let a be (-1)/(-3) + 80/(-15). Is h(a) a multiple of 7?
False
Let l = 1 - 5. Let o = -2 - l. Suppose -o*q + 7*q = 130. Is q a multiple of 13?
True
Let r(n) = 2*n - 3. Let y(w) = w**3 + 11*w**2 - w - 5. Let i be y(-11). Does 9 divide r(i)?
True
Let x = 212 + -149. Does 13 divide x?
False
Suppose -2*d + 20 = -7*d. Let u be 2/4*1*d. Does 6 divide 2 + 16 - (u + 2)?
True
Suppose l - 6*l = -700. Is l a multiple of 17?
False
Let w be 61/(-3) - 2/3. Let v be (12/w)/((-2)/7). Suppose -5*n = -0*n - 3*j - 115, v*j = -4*n + 114. Does 16 divide n?
False
Let b(u) = 2*u**3 - 10*u**2 - u**3 + 5*u**2 + 2*u + 5. Is b(5) a multiple of 12?
False
Suppose 23 = 5*o - 62. Is 8 a factor of o?
False
Suppose -8 + 0 = -4*w. Suppose 0*b - b = -w*d + 36, 0 = -d + 2*b + 24. Is 8 a factor of d?
True
Suppose -y + 3 = 2*a, 2*y + 1 = -5. Is a a multiple of 3?
True
Let g be 0/1 - 2796/6. Is 11 a factor of g/(-14) + (-18)/63?
True
Suppose -4*j + 4*i = -0*j - 136, j - 5*i = 30. Let g = 59 - j. Is g a multiple of 20?
False
Does 3 divide ((-2)/(-1))/6 + (-110)/(-30)?
False
Let y(z) = z**3 - 8*z**2 + 13*z + 3. Is y(7) a multiple of 15?
True
Suppose 486 = 2*x - 2*o - 2*o, -725 = -3*x + 5*o. Is x a multiple of 15?
False
Let b(w) be the third derivative of 13*w**6/40 + w**5/30 - w**3/6 + 3*w**2. Is 20 a factor of b(1)?
True
Let w be ((-108)/(-10))/(4/10). Let z = 49 - w. Is z a multiple of 11?
True
Let f(x) = x**3 - 2*x**2 + 1. Let o be f(1). Suppose 0 = -o*l - 4*l. Suppose l = -2*k - k + 27. Is k a multiple of 4?
False
Suppose 0 = -n + 4, 0 = 5*c - 3*n + 2*n - 16. Let p be (2/(-2) + 1)*1. Suppose r - 65 = -2*f, p = -4*f - c*r + 3 + 137. Is f a multiple of 15?
True
Suppose 0 = 4*s + 8 + 4. Let a(k) = -k**2 - 8*k + 11. Let n(i) = -i**2 - 8*i + 10. Let w(g) = s*a(g) + 2*n(g). Does 3 divide w(-10)?
False
Let g(x) = -13*x - 81. Is 10 a factor of g(-12)?
False
Suppose 2*y + 50 = 7*y. Does 9 divide y/25 + (-176)/(-10)?
True
Suppose -4*g = 2*a - 42, 5*a + 2*g - 5*g = 92. Does 14 divide a?
False
Does 6 divide ((-6)/(-5))/((-13)/(-455))?
True
Suppose -5*w + 5 = -70. Does 7 divide w?
False
Suppose 0 = 4*l + 2*w + 4, -4*w = 5*l + 1 + 4. Let b be (0 + l)*8/(-4). Let p(a) = 4*a - 3. Is p(b) a multiple of 5?
True
Suppose -h = -21 + 5. Is h a multiple of 8?
True
Suppose -5*q = -2*q - 15. Let b(j) = -j**2 - 4. Let u be b(q). Let n = -17 - u. Is 12 a factor of n?
True
Suppose -u - 374 = -4*b, -3*u = -5*b + b + 370. Is 27 a factor of b?
False
Let n = 42 - 31. Is n a multiple of 5?
False
Suppose -65 = -3*p - 5*v, -p + 2*v + 16 = -2*v. Does 5 divide p?
True
Suppose 2*k + b + 2*b = 69, 5*b + 149 = 4*k. Does 24 divide k?
False
Suppose 2*m = 35 + 37. Suppose 5*s - 36 = s - 3*q, -4*s + m = 5*q. Is 9 a factor of s?
True
Let k(z) = -z**2 - 16*z - 7. Let l be (-2 - 3/(-6))*-2. Let y be l/5 - 116/10. Is 16 a factor of k(y)?
True
Suppose -2*b + 34 = 3*b - 2*a, a = 5*b - 37. Does 4 divide b?
True
Let k = 16 - 1. Suppose k = 3*g - 9. Suppose -5*c + 37 = -g. Is c a multiple of 5?
False
Let p(j) be the third derivative of -j**4/12 + 5*j**3/3 + 3*j**2. Is p(0) a multiple of 3?
False
Let d(u) = 52*u - 1. Let h be d(1). Suppose -5*j + 19 = -h. Is j a multiple of 7?
True
Let f(i) = -i**2. Let q be f(3). Let n(p) = p**2 + 5*p + 3. Let u be n(-4). Let m = u - q. Is 8 a factor of m?
True
Suppose -3*x = -2*x - 3. Let a = 22 + 8. Suppose g = x*g - a. Does 9 divide g?
False
Let u(c) = 7*c**2 - 28*c + 9. Does 6 divide u(4)?
False
Suppose -d + 4*z = -6, -2*z - 4 - 6 = -4*d. Suppose -4*w = -5*b + 33, -d*b - 4*w + 48 = 2*b. Does 9 divide b?
True
Let g be 3/(6/(-10)) - -2. Is 9/6*(-22)/g a multiple of 11?
True
Suppose 0 = -y + 2*y - 4*z - 171, 3*y = 5*z + 534. Is 54 a factor of y?
False
Let f(j) = j + 10. Let o be f(-9). Let n be (-3)/(0 - o/41). Suppose 2*k + 37 = n. Is 15 a factor of k?
False
Let y(f) be the second derivative of f**4/4 + 2*f**3/3 - f**2/2 - 2*f. Let x be y(-3). Suppose 2*m - z - x - 15 = 0, 3 = -z. Is 13 a factor of m?
True
Suppose 45 = l + 5*n - 22, n + 55 = l. Suppose -l = -2*c + 55. Is c a multiple of 16?
False
Let z(l) = 20*l - 2. Let h(t) = 19*t - 2. Let j(x) = 4*h(x) - 3*z(x). Is j(2) a multiple of 12?
False
Let u(x) = -6*x**2 - x + 1. Let d be u(1). Is 7 a factor of 18 - (-5)/(15/d)?
False
Is 20 a factor of (-33)/(-22) + (-482)/(-4) + -2?
True
Suppose -45 = -4*y - y. 