-15))/((-2)/(-30)) a multiple of 10?
True
Suppose 3*b + 2259 = 6*b. Suppose -5*d + b = 163. Is d/8 + 9/(-12) a multiple of 7?
True
Does 12 divide (34 + 5)*6/4*2?
False
Suppose -7*y - 70 = -2*y. Let i = y - -26. Is 6 a factor of i?
True
Let h = 277 + -134. Is h a multiple of 31?
False
Let v(h) = 2*h**2 + 9*h - 11. Does 8 divide v(-9)?
False
Let s be (41/(-3))/((-2)/12). Suppose -g + 5*g = -12, 0 = -v - 4*g - 10. Suppose 18 = -v*r + s. Does 12 divide r?
False
Let a be 7/3 - (-4)/6. Suppose -a*c - 22 = 4*d, 0 = 2*d + 3*d + 5. Is ((-81)/c)/((-2)/(-4)) a multiple of 9?
True
Does 23 divide 10/(-5)*(-23)/2?
True
Does 12 divide (-5 + 78/18)*(-36 - 0)?
True
Let q be ((-35)/(-20))/(1/(-4)). Let x be 2*1 - (-3 - q). Is (x - 0)*(-28)/8 a multiple of 3?
False
Suppose -3*w - q = -0*q - 158, 2*q - 46 = -w. Suppose -2*m + p + 36 = 0, -6*p = 3*m - p - w. Does 7 divide m?
False
Let q(b) = -2*b + 19. Let r be q(8). Suppose -r*u + 10 = -2*u. Is u a multiple of 9?
False
Let j(u) = -1 - 81*u + 1. Let x be j(1). Let r = -49 - x. Is 16 a factor of r?
True
Let g = -107 + 192. Does 17 divide g?
True
Suppose 2*b = 3*l + 25, l = b + 3*b - 25. Let c = 10 - b. Suppose 3*a - 83 = -5*f, -c*a + 78 = 4*f + 9. Is 13 a factor of f?
False
Suppose 5*y = 5*l - 0*y + 45, -4 = -4*l - 4*y. Is 15 a factor of (1 - l)*(0 - -11)?
False
Let w(y) be the third derivative of 0*y - 1/24*y**4 + 1/3*y**3 - y**2 + 1/60*y**5 + 0. Does 8 divide w(-3)?
False
Let k = 3 - -1. Let v = k - -3. Is v even?
False
Suppose 1 = 2*i + 5*m - 54, 31 = i - m. Is i a multiple of 10?
True
Let d(h) = -h + 6. Let t be d(3). Suppose t*x = 4*w - 2*x - 273, 138 = 2*w - 2*x. Is 26 a factor of w?
False
Let v(d) be the second derivative of 7*d**3/6 - 19*d**2/2 + 5*d. Does 13 divide v(12)?
True
Suppose -5*q = 5*s - 130, 114 = 4*s + 2*q - 0*q. Is 5 a factor of s?
False
Suppose -z + 2*z - 299 = 0. Let s = z - 209. Is 30 a factor of s?
True
Let g = 27 + -8. Is 3 a factor of g?
False
Let s = -20 + 24. Let x(w) = 14*w**2 - 2. Let d be x(-2). Suppose -s*r = -r - d. Is 9 a factor of r?
True
Does 28 divide 222/4 - (-2)/4?
True
Suppose -2*g + 19 = -69. Suppose 0 + g = 2*x. Is x a multiple of 6?
False
Let y = 75 + -37. Is y a multiple of 7?
False
Let b(m) be the second derivative of m**3/6 + 71*m**2/2 - 9*m. Is b(0) a multiple of 12?
False
Let z = -36 + 75. Is 25 a factor of z?
False
Let a be 1*(0/(-2) - -3). Let x = a - -5. Does 8 divide x?
True
Suppose -4*a + 293 - 101 = 0. Does 24 divide a?
True
Suppose 5*p = -3*j + 98, 0*j - 70 = -3*j + 2*p. Suppose 4 = -2*l - 24. Let m = l + j. Is m a multiple of 12?
True
Let g = -79 + 175. Does 50 divide g?
False
Let q be 6/(-18) - (-542)/6. Suppose -2*i + 82 = -5*k, -i + 61 = k + 13. Let l = q - i. Does 16 divide l?
False
Let w = 18 - -1. Does 11 divide w?
False
Suppose -3*b + 36 = -2*b. Is 12 a factor of b?
True
Let x(q) = 14*q + 1. Let k be x(3). Suppose 0 = 2*v - y - k - 23, 0 = -2*v - 2*y + 54. Is 14 a factor of v?
False
Let n be (3/(-2))/(3/(-10)). Suppose 10*v = n*v + 25. Suppose -82 = -4*i - 2*s, i - 2*s - v = 8. Is i a multiple of 7?
False
Suppose m + 6 = 4*m. Suppose -3*x - m*x + 20 = 0. Suppose -34 = 2*f - x*f. Does 12 divide f?
False
Suppose 2*h + 3*h - 47 = -3*b, -b = -4. Is 4 a factor of h?
False
Let j(p) = -p**3 + 3*p**2 + 4*p - 3. Suppose x + 3*t = 2*x - 10, -t = 2*x - 6. Let v be j(x). Does 3 divide (0 - 2 - v)*3?
True
Let r = 186 + -153. Is r a multiple of 9?
False
Suppose -3*b - p = 3*p - 448, -p - 140 = -b. Is b a multiple of 36?
True
Suppose 0 = -h + 2*h - 5. Suppose -2*s + 5 = 2*z - 1, 0 = s + 3*z - h. Suppose s*v + 0 = -2, 0 = 2*r + v - 85. Does 19 divide r?
False
Let k(z) = 2*z**2 + 1. Let b be k(1). Suppose b*m = -4 + 13. Suppose 17 = m*s - 16. Is 11 a factor of s?
True
Suppose 0 = 4*n - 0*n - 236. Let x = n - 38. Is x a multiple of 7?
True
Let t be (10/(-4))/(9/18). Does 8 divide 2/(-5) + (-122)/t?
True
Let g(y) = -3*y - 4. Let x(k) = -2*k - 2. Let s(i) = 3*g(i) - 5*x(i). Is 3 a factor of s(6)?
False
Let j(f) = -f**2 + 4. Let a be j(-8). Let u be -2 + (-7)/((-7)/a). Let c = -40 - u. Is 10 a factor of c?
False
Let u(i) = i + 8. Let a(s) = -s + 3. Let g(t) = t - 4. Let h(z) = -5*a(z) - 6*g(z). Let v be h(9). Is u(v) a multiple of 8?
True
Suppose -p + 23 = -3*i, 3*p + 0*p - 5*i = 49. Let u(r) = r**2 - 7*r + 8. Is u(p) a multiple of 5?
False
Suppose -o + 79 = -8. Is 7 a factor of o?
False
Suppose 2*h = 18 - 10. Is h a multiple of 4?
True
Suppose -4*y + 301 = -19. Is 20 a factor of y?
True
Suppose 2*a + 9 = k, 21 = 4*k - 0*a - 3*a. Suppose 7*s = k*s + 128. Is s a multiple of 16?
True
Suppose -5*l + 0*s = 4*s - 111, -2*s - 49 = -3*l. Suppose z - 4*z = 2*r - l, 3*z = 5*r + 47. Does 9 divide z?
True
Let z(h) = h - 29. Let t be z(8). Suppose -3*g = 2*g + 15. Does 9 divide t*g/((-18)/(-4))?
False
Let h(o) = 4*o + 3 + 2*o**2 - 3*o**2 + 9 + 7*o. Is h(11) a multiple of 6?
True
Suppose -3*f - 2*f + 165 = 0. Does 9 divide f?
False
Let p = -17 + 55. Suppose 4*k = 2*d - 24 + 4, -5*d - 2*k = -14. Suppose 5*x - u - 64 = 0, 5*u = -d*x - 10 + p. Does 12 divide x?
True
Suppose 164 = 2*w + 24. Suppose 4*g + 105 = 3*m, g + 70 = 4*m - w. Let t = m - 7. Is 14 a factor of t?
True
Suppose 4*d + 3*f - 135 = 0, 2*f = 4*d - 44 - 86. Let a = d + -17. Does 6 divide a?
False
Does 19 divide (-2 - -4)/(-10) + (-17820)/(-100)?
False
Suppose -707 = -6*h - 239. Does 26 divide h?
True
Is 22 a factor of -694*(2*28/16 - 4)?
False
Let j(v) = -v**2 - 4*v. Let q be j(5). Let l = q - -20. Let b = -15 - l. Is b a multiple of 6?
False
Let q(z) = -2*z**2 + 2*z + 2. Let d be q(-2). Does 12 divide d/35 - (-172)/14?
True
Suppose -4*c = -134 - 14. Suppose n - c = -5*s - 14, 3*s - 5*n - 25 = 0. Suppose s*v + 3*g = 6 + 173, -g - 76 = -2*v. Is 13 a factor of v?
False
Suppose 0 = -3*r - 4*l + 70, 0 = 4*r - 3*l + 8*l - 95. Suppose -20 = -y + r. Is 16 a factor of y?
False
Let n(t) = -5*t**3 - 3*t**2 + t + 1. Let z be n(-3). Let w = z - 36. Suppose -3*c + w = -2. Does 12 divide c?
True
Suppose 0 = u + 3*u - 8. Suppose u*x - 41 - 25 = 0. Does 13 divide x?
False
Let m(o) = o**2 - 4. Let p be m(-2). Let b = 26 + p. Is 10 a factor of b?
False
Let d = -47 + 55. Does 8 divide d?
True
Let s(z) = 7*z**2 - 14*z - 64. Does 26 divide s(-4)?
True
Let b = -9 + 24. Let h = -9 + b. Suppose 0 = 3*f - 4*c + 5, -3*c + 36 = 3*f + h. Does 5 divide f?
True
Let f(t) = -3*t**2 + 2*t - 2. Let w(x) = 1. Let v(n) = -f(n) - w(n). Is 11 a factor of v(-3)?
False
Let f(s) be the first derivative of -s**4/4 + 2*s**3 + 7*s**2/2 + 2*s + 1. Let g be f(7). Suppose -m = -w + 6*w - 33, 3*m - 86 = -g*w. Is m a multiple of 14?
True
Let x be 1 + 3 + 18/(-3). Let a(q) = 6*q**2 - 3*q - 2. Does 14 divide a(x)?
True
Suppose 0 = 4*n - 2*n - 10. Is n + 2 + (-3 - -1) a multiple of 3?
False
Let r(a) = a**2 - 3*a - 10. Let c be r(5). Suppose -5*j - 43 - 62 = -5*x, c = x + 2*j - 36. Is x a multiple of 9?
False
Suppose -m + 8 = 3*d, 4*m = -0 + 8. Suppose 0 = d*j - 5 - 1, 4*x + 85 = -j. Is (-4)/x - 436/(-22) a multiple of 12?
False
Let o(h) = 0 + 0 - 3 - 2*h. Is o(-3) a multiple of 2?
False
Suppose b + 2 - 21 = -5*q, -2*b + 30 = 2*q. Does 8 divide b?
False
Let a(f) = -89*f - 19. Does 50 divide a(-3)?
False
Suppose -4*k + n = -7*k + 125, -5*k + 5*n = -215. Suppose 2*o = -0*o + k. Let h = 11 + o. Does 17 divide h?
False
Suppose 3*w - 96 = 54. Is w a multiple of 9?
False
Let p = -37 - -43. Is 6 a factor of p?
True
Does 28 divide (-69)/(-2)*6 - 3?
False
Let k = 7 - 4. Let v(q) = q**2 + 1. Does 4 divide v(k)?
False
Let w = 35 + -22. Is 13 a factor of w?
True
Let d = -4 + 10. Let h be (-14)/d + (-2)/(-6). Is 5 a factor of h + (-36)/(-6 + 3)?
True
Suppose -2*w + 0*w = -3*z - 146, w - 83 = 4*z. Is 14 a factor of w?
False
Let l(b) = b**3 - 14*b**2 + 13*b + 16. Suppose -6*r = 19 - 97. Is 16 a factor of l(r)?
True
Let d be (-1 + -1)/(-1 + 2). Is 7 a factor of -3*11/6*d?
False
Let l be (12/(-18))/(1/30). Let z = l + 156. Suppose 0 = 3*s, -5*r + r - s + z = 0. Is 17 a factor of r?
True
Suppose -2*m + 0*m + 34 = 0. Suppose -w + 0*t = 4*t + 11, -5*t = 2*w + 10. Suppose 0 = c + c + w*r - m, -38 = -3*c + 5*r. Does 4 divide c?
False
Suppose -3*t = 2*t - 550. Is 19 a factor of t?
False
Suppose -251 = -2*w - 3*h, 393 = w + 2*w - h. Is w a multiple of 7?
False
Let m(a) = -a**3 - 12*a**2 - a - 7