ltiple of 9?
False
Let y(s) = s**3 + 5*s**2. Let v be y(-4). Suppose -32 = -5*i + 2*r, 2*i - 7*r + 3*r = v. Is 2 a factor of i?
True
Suppose 0*x - 4*x + 64 = 0. Let a = 24 - x. Is a a multiple of 8?
True
Let r be (-2 - 1)/(3/26). Let l = r - -59. Does 11 divide l?
True
Does 21 divide ((-228)/(-16))/((-3)/(-20))?
False
Suppose -2*q + 8 = 0, -j - j - q + 56 = 0. Does 13 divide j?
True
Let f(q) = q**2 - 3*q - 9. Let i be f(-6). Suppose -20 = 3*r - 8. Let m = r + i. Does 15 divide m?
False
Suppose x = -0*x + 4*k - 14, -8 = 2*x - 3*k. Suppose -x*h - h = -3*f + 30, 4*f = -4*h. Does 2 divide f?
False
Let o = 20 + 9. Does 6 divide o?
False
Let k(l) = 7*l - 4. Let b(u) = -u**3 - u + 6. Let j be b(0). Is k(j) a multiple of 13?
False
Does 25 divide 2/8 - 2513/(-28)?
False
Let t = -26 - -72. Is t a multiple of 3?
False
Let k = 7 + -3. Suppose 0 = -k*c + 121 + 3. Does 15 divide c?
False
Suppose 2*f - i = 5*f - 71, -i - 90 = -4*f. Is 5 a factor of f - (-2 - -5) - 1?
False
Let m(o) = 7*o**2 + o - 11. Is 38 a factor of m(-5)?
False
Let a(t) = -t**3 - 5*t**2 + 2*t + 4. Let v be a(-5). Let d(x) be the second derivative of x**4/12 + 2*x**3/3 - 5*x**2/2 + 6*x. Is d(v) a multiple of 3?
False
Suppose 0 = 8*i - 205 - 123. Is i a multiple of 8?
False
Let i = 6 - 6. Suppose 3*z - 5 = 2*h + 3, 5*z = i. Does 10 divide 0 + 22 - (6 + h)?
True
Let q be (4/(-6))/((-6)/99). Let h(i) = 3*i - 16. Is 5 a factor of h(q)?
False
Suppose 5*m + 14 = 64. Let v = 23 - m. Is v a multiple of 8?
False
Let h(d) = -d**3 - 5. Let q be h(0). Let p = q - -30. Is p a multiple of 10?
False
Let u(g) = g**3 + 8*g**2 + 5*g - 10. Let h be u(-7). Suppose 2*o + 3*q - 19 = 0, h*q + 93 - 5 = 4*o. Does 8 divide o?
False
Suppose 7*c - 450 = 2*c. Is c a multiple of 15?
True
Let i(d) = -93*d + 11. Does 4 divide i(-1)?
True
Suppose -5*f + 15 = 0, -4*f = 5*u - 145 - 7. Does 3 divide u?
False
Let l be 0 + 1/(0 - 1). Let q be ((0 - l)*-4)/(-1). Suppose 14 = v + q. Does 10 divide v?
True
Suppose 0 = 2*x - x + 25. Let r = x - -54. Suppose 7 + r = 3*f. Is f a multiple of 7?
False
Let l be (-4)/8 - (-22)/4. Suppose -l*m = -55 - 145. Is 20 a factor of m?
True
Let j(v) = -v**3 + 5*v**2 + 7*v - 3. Let c be j(7). Let z = c - -79. Does 20 divide z?
False
Let h(a) = a + 31. Does 10 divide h(-13)?
False
Let d(n) = -n**2 + 18*n - 2. Is 5 a factor of d(17)?
True
Suppose 4*z + 5*y - 175 = 0, z + 4*y - 3*y = 44. Is z a multiple of 15?
True
Suppose 3*d + 3*v = 120 + 45, 259 = 5*d - 3*v. Let j = d - 29. Does 12 divide j?
True
Suppose 4*g = -5*f + 635, 5*g + 5*f + 95 = 895. Is g a multiple of 33?
True
Suppose 3*j = 3*v + 225, 227 = 3*j + v - 2*v. Let b = -50 + j. Let f = 38 - b. Does 6 divide f?
True
Is 435/6 + (-2)/(-4) a multiple of 22?
False
Let t(d) = -d + 63. Let o be t(0). Suppose 0 = -4*n - o - 133. Let c = n + 85. Does 12 divide c?
True
Let f(n) = 19*n**2 + n + 6. Does 36 divide f(3)?
True
Let s = -64 + 127. Is s a multiple of 21?
True
Suppose -3*n + 24 = -n. Does 4 divide n?
True
Does 11 divide (18/4)/((-5)/(-130))?
False
Suppose -2*u = -7*u. Suppose -2*t = 2*b - 0*b - 12, 2*b - 4*t = u. Suppose -b*v + 22 = 4*z - 14, -2*v + 36 = -4*z. Is v a multiple of 12?
True
Let g be (-1 - -23)/((-2)/(-3)). Suppose 0 = 4*j - g - 23. Is 7 a factor of j?
True
Suppose 1 = -2*l + 9. Let m be 95/l + 1/4. Is 2 + m - -1*2 a multiple of 14?
True
Let l(c) = c**3 + 13*c**2 + 4*c - 4. Is 14 a factor of l(-6)?
True
Suppose 3*o - 61 = 173. Is 13 a factor of o?
True
Let l = -3 + 8. Suppose 0 = -0*a + 5*a + r - 90, -l*a + 4*r + 90 = 0. Is a a multiple of 9?
True
Suppose 0 = -5*y - 5*w + 1020, 0 = -5*y + 2*w + 2*w + 984. Let c = y - 139. Is 16 a factor of c?
False
Suppose -x + 6*x + 1 = -c, -2*x = 4*c + 4. Suppose -5*d + 2*d + 225 = x. Is 23 a factor of d?
False
Let b(n) = -n**3 + n**2 + 2*n + 1. Suppose 2 = -2*s + 6. Let m be b(s). Is 42 + (6 - m) + -3 a multiple of 20?
False
Is 13 a factor of 0/6 - (3 + -1 - 68)?
False
Let x(m) be the first derivative of -m**6/120 - 3*m**5/20 - 13*m**4/24 - 5*m**3/3 - m**2 + 1. Let z(h) be the second derivative of x(h). Does 15 divide z(-8)?
True
Suppose -5*k = -2*k - 27. Suppose -4*m + k = -3. Suppose 2*g = -m*g + 150. Does 15 divide g?
True
Suppose -24 = 4*a - 7*a. Suppose 2*u + 4*m = a*m + 20, -3*m = 3*u + 6. Suppose z - y = u*z - 15, 39 = 3*z + y. Is 12 a factor of z?
True
Let y(b) = 5*b**2 + 1. Let o be y(-1). Suppose -h + o = -0*h. Let r(u) = u**3 - 6*u**2 + 3*u + 3. Does 11 divide r(h)?
False
Suppose 2*s - s = 1. Let x = s + 6. Suppose -3*q + 11 = -5*r + 4*r, 0 = q - 2*r - x. Is q even?
False
Is 11 a factor of 3234/(-28)*((-8)/(-6))/(-2)?
True
Let c(o) = o**3 + 4*o**2 - 3*o + 2. Let b be c(-4). Suppose -k + b = t, -t - 3*k - 6 = -7*k. Is 9 a factor of t?
False
Is (-35)/10*((-3)/(-1) - 37) a multiple of 17?
True
Let t be (2 - 3 - -1)/2. Let x(z) = z**2 + z + 2. Let g be x(-2). Suppose t = g*i - i - 129. Is i a multiple of 17?
False
Let h(f) = 6*f + 2. Let u be 2 - 0*3/(-9). Is h(u) a multiple of 7?
True
Let y be 3/1 - (-2 - -8). Does 14 divide (y/(-9))/(1/159)?
False
Does 25 divide 5/(5/6) + 294?
True
Suppose -h + 111 = -0*h - 5*o, -4*h - 5*o = -544. Suppose 3*m - 40 = 5*k - h, 3*m = k - 23. Is k a multiple of 14?
False
Suppose 7 = 2*o + 1, n - 2*o + 4 = 0. Suppose 49 = -w + 5*j - 153, 4*j = n*w + 428. Is 9 a factor of w/(-11) - (-2)/(-11)?
False
Let n = 14 - -10. Is 9 a factor of n?
False
Suppose 2*u - 208 - 218 = 0. Is u a multiple of 31?
False
Let x be (-1)/1 - (-67 - -1). Suppose -7*g + 5*g = -78. Let o = x - g. Is 26 a factor of o?
True
Let s(p) = -p**2 + 7*p - 1. Let x(b) = b**2 + 1. Let y(a) = -s(a) + 3*x(a). Is 23 a factor of y(4)?
False
Let m(t) = 4*t + 34. Is m(0) a multiple of 19?
False
Let t(n) = -n - 8. Let h be t(-6). Is h/(-9) - 1180/(-36) a multiple of 10?
False
Let v(k) be the third derivative of -k**6/120 + 7*k**5/60 + k**4/3 + 5*k**3/3 - 21*k**2. Let c = -13 - -21. Does 10 divide v(c)?
True
Let t(a) = a**2 + 5*a + 1. Is t(-7) a multiple of 3?
True
Let l = -92 + 191. Is 11 a factor of l?
True
Suppose 3*t = -0*t. Suppose -3*z = -t*z + 9. Let k(i) = -12*i + 2. Does 13 divide k(z)?
False
Suppose -g - 2*v - 2*v = -6, 7 = 3*g + v. Suppose g*a - 14 = a. Is 6 a factor of a?
False
Suppose -i = 2*p, -3*p + 1 = 3*i + 2*p. Suppose 0*w + 4 = i*w. Is 5*((-12)/10 + w) a multiple of 2?
True
Suppose 2*k = -5*i + 360, -3*i - 13 = -1. Is 20/25*k/4 a multiple of 13?
False
Suppose -l + 9 = 1. Does 8 divide l?
True
Does 13 divide (-13)/(-1*(-3)/(-15))?
True
Suppose 44 = l + 9. Is l a multiple of 25?
False
Let u(g) = 5*g**2 - 5*g - 5. Let t be u(5). Let m = -68 + t. Does 7 divide m?
False
Suppose -p - 2 = -2*p. Suppose 9 = p*b + 1. Suppose 3*g - 49 = 2*s - 0*s, -b*g + 84 = 2*s. Is g a multiple of 19?
True
Suppose c - 244 = 4*a, -2*a + 2 = -4*a. Is 24 a factor of c?
True
Does 23 divide (1 + 3)/((-2)/(-23))?
True
Let k = 37 - 16. Does 21 divide k?
True
Suppose 0 = 3*c - 2*v - 327 + 127, 0 = -5*c + 3*v + 333. Is c a multiple of 20?
False
Suppose -2*h = -4*h + 210. Is h a multiple of 35?
True
Let m(c) = c**2 - 3*c - 1. Let t(h) = h**2 - 5*h - 4. Let b be t(6). Suppose b*f + 3 = 13. Is m(f) a multiple of 9?
True
Suppose -4*r + 20 = -4*c, -c = c + 4. Let h = -5 + 35. Suppose -r*m + m = -h. Does 8 divide m?
False
Suppose -2*k - 50 = -0*k. Let u(x) = 4*x + 4. Let h be u(9). Let z = h + k. Is z a multiple of 6?
False
Let m(a) be the second derivative of a**4/12 - a**3/6 + 2*a**2 + 12*a. Let b(d) = d**2 + 5*d - 1. Let r be b(-6). Is m(r) a multiple of 12?
True
Let a be ((-2)/(-7))/(3/21). Suppose -a*k + 4 + 6 = 0. Does 5 divide k?
True
Suppose 5*f + 3 = 18. Let k(r) = r + 4. Does 4 divide k(f)?
False
Let c be 4/14 - (-122)/14. Let g(l) be the first derivative of 3*l**2/2 - 8*l - 4. Does 17 divide g(c)?
False
Let u be ((-7)/(-14))/((-2)/(-164)). Suppose -2*h + 3*q + 27 = 0, 3*h - u = -q + 6*q. Is (-11)/(h/(-9) + 1) a multiple of 11?
True
Suppose -5*o + 2*o = -30. Is 10 a factor of o?
True
Let z = 5 + 0. Suppose 0 = 5*t + z*n - 110, -2*t - 5*n + 20 + 9 = 0. Let o = -8 + t. Is o a multiple of 8?
False
Suppose -4*p = -5*v - 0*p + 305, -170 = -3*v + 5*p. Does 20 divide v?
False
Let g be -2 - -2*(0 - -2). Suppose -p - 3*t - 1 = 0, g*t + 3*t = 3*p - 25. Does 2 divide p?
False
Let u(s) be the first derivative of 4*s**3/3 -