. Is y a multiple of 15?
True
Suppose 0 = -3*a + 2*a - 3*h + 65, 5*h = 5. Does 6 divide a?
False
Let m be (-6)/15 + (-48)/(-20). Suppose -m*g = -3*g. Suppose -4*u + 2*u + 158 = g. Is u a multiple of 20?
False
Let w(n) be the third derivative of n**5/12 - n**4/12 + 13*n**3/6 - 3*n**2. Is 13 a factor of w(3)?
True
Let f = 807 + -1258. Let k = -256 - f. Suppose 4*g - 21 = 4*x - 153, 5*x + g - k = 0. Is 19 a factor of x?
True
Let d(c) = 3*c**3 - 5*c**2 - 4*c + 6. Let s(g) = -5*g**3 + 11*g**2 + 8*g - 11. Let m(n) = -7*d(n) - 4*s(n). Is 6 a factor of m(-9)?
False
Let m(r) = -r**3 + 5*r**2 + 3*r - 21. Does 7 divide m(-6)?
True
Suppose 2*q - 6*q - r + 292 = 0, 2*q - 146 = -r. Let m = q + 47. Does 10 divide m?
True
Let t be (-12)/(-15)*5/2. Suppose t*k = 75 + 29. Suppose 2*r - 4*a - k = 0, 4*a = 5*r - 182 + 52. Is 10 a factor of r?
False
Let m = -27 - -27. Suppose m = 5*o - 148 + 18. Is 8 a factor of o?
False
Let l = 1946 - 1346. Does 60 divide l?
True
Let q(o) = -o**3 - o**2 + 4*o + 57. Does 43 divide q(-8)?
True
Let j = 374 + 44. Is 16 a factor of j?
False
Suppose -5390 + 646 = -4*l - 4*d, 2*l - 2384 = 4*d. Is l a multiple of 22?
True
Suppose 2*v - 25 = -3*v. Let z(f) = 2 + v*f**3 - 1 + 5*f**2 + 0*f**3 - 4*f**3 - 5*f. Is 13 a factor of z(-5)?
True
Suppose -5*o + 2*y - 16 = -0*y, -5*o + y - 13 = 0. Is 11 a factor of (o/(-2))/((-15)/(-540))?
False
Suppose 0 = u + 4*o - 2514, u - 5*o - 7610 = -2*u. Does 55 divide u?
True
Let i(z) = -z + 5. Suppose -s - 6 = -2*s. Let r be i(s). Let f = 4 + r. Is 3 a factor of f?
True
Let p be ((-4)/6)/((-8)/276). Suppose -5*v = 5*q + 30, -3*v + 11 = -4. Let j = p + q. Is 4 a factor of j?
True
Suppose 10 = 2*v, v - 61 = 5*f + 269. Let i = f + 93. Is i a multiple of 14?
True
Suppose -4*k = o - 161 - 128, -o = 3*k - 217. Is k a multiple of 18?
True
Suppose -4 = -5*o + 5*s + 6, o + s - 4 = 0. Suppose o*n + 1 = 2*w, -w = -4*w + 15. Suppose n*f - 73 - 23 = 0. Is 25 a factor of f?
False
Suppose -3*a - 5058 = -6*a. Let c be (-4)/18 - a/(-54). Suppose -4*z - c = -5*m, -8 = -m + 2*z + 3. Is m a multiple of 3?
True
Does 28 divide -34 - -1390 - (1 + 5)?
False
Let q = -585 + 696. Is q a multiple of 53?
False
Let b(q) = 1733*q**2 - 11*q - 14. Is b(-1) a multiple of 3?
False
Let l = 27 + -37. Let v = 60 + l. Is v a multiple of 4?
False
Suppose 5*s = 10 + 5. Suppose -s*x + 419 = -2*a, 10*x - 4*a - 699 = 5*x. Suppose 2*z - x + 13 = 0. Is z a multiple of 21?
True
Suppose -4*w + t - 120 = 223, 4*t = -4*w - 328. Let f = w - -121. Is 4 a factor of f?
True
Does 15 divide -3*((-2)/5 - (-70184)/(-465))?
False
Suppose 3*f + z - 9520 + 1727 = 0, 2*f - 3*z = 5177. Does 118 divide f?
True
Suppose 4*h = -4*w + 44, -4*w + 3*h = -0*w - 9. Let n = -9 + w. Is 17 a factor of 2 + -3 - (-15 + n)?
True
Let n = 51 - -50. Is n a multiple of 4?
False
Does 28 divide (-5904)/(-14)*3528/336?
False
Suppose -3*l = -14*l + 869. Is l a multiple of 3?
False
Suppose 3*n = -y + 6*y - 198, -2*n = -5*y + 202. Let p = y + -22. Is 3 a factor of p?
False
Let z = 88 + -157. Suppose -3*c - 534 = -3*p - 2*p, 2*c + 321 = 3*p. Let f = p + z. Does 18 divide f?
True
Let y(n) = n**2 - 4*n - 2. Let a be y(4). Let c be a/7 + (-1060)/(-35). Suppose -4*l + 134 = c. Is 12 a factor of l?
False
Let d be (-8)/(-10) + (-294)/30. Let t be (-76)/(-18) + 2/d. Suppose -t*n + 101 = -67. Is 14 a factor of n?
True
Let f(s) be the first derivative of 2*s + 2*s**3 + 1/4*s**4 - 9/2*s**2 - 1. Is 16 a factor of f(-7)?
True
Suppose -z + 5*f = -0*f - 1295, -6370 = -5*z + 4*f. Does 10 divide z?
True
Suppose -13*u = -135 - 112. Is 19 a factor of u?
True
Let p(t) be the third derivative of t**5/15 - t**4/8 - 3*t**2. Is p(-3) a multiple of 45?
True
Let x(t) = -12 + 1 - 8*t - 9*t**3 + 4*t**3 + 6*t**3 - 10*t**2. Is 6 a factor of x(11)?
False
Let m = 0 + 15. Let q = -6 + m. Is q even?
False
Let r(y) be the second derivative of 11*y**3/6 - 4*y**2 - 5*y + 8. Let q be 1 + (1 - -11)/2. Does 23 divide r(q)?
True
Suppose -55*u = -49*u - 246. Is u a multiple of 3?
False
Let h be (14/(-10) + 1)*-10. Suppose -41 - 23 = -h*j. Is 5 a factor of j?
False
Let b(x) = 19*x**3 + 6*x**2 - 4*x - 10. Let w(r) = 10*r**3 + 3*r**2 - 2*r - 5. Let f(p) = 4*b(p) - 7*w(p). Is f(3) a multiple of 15?
False
Let b = 15 - 43. Let a = b - -40. Is 6 a factor of a?
True
Let r(s) = 2*s**2 - 2*s + 1. Let v be r(2). Let k be (-50)/(-4) - v/(-10). Let x = 30 + k. Is 16 a factor of x?
False
Suppose -3*j - t + 19 = 0, 0*j - j = 5*t + 3. Suppose 1 = 2*s - 3*s, y - j = s. Suppose -26 = -5*x - y. Is 3 a factor of x?
False
Is 7 a factor of (3 + (-748)/(-28))*7?
False
Let z be 2/(70/305) + (-2)/(-7). Let h(i) = i**2 - 4*i - 19. Does 9 divide h(z)?
False
Let f(w) = -w**2 + 12*w + 13. Let p be f(13). Suppose -2*j + 254 - 38 = p. Suppose -2*c + 60 = -j. Is 28 a factor of c?
True
Let g be 4 - (14 + (-2)/(-1)). Let y = 19 + g. Let u = 21 - y. Is 7 a factor of u?
True
Suppose -3*n = -3*w - w - 56, 2*w + 4*n = -28. Does 9 divide 12/(-84) + (-2326)/w?
False
Is 7 a factor of 92/2 - (20/4 - 1)?
True
Let d = -72 - -31. Let y = d + 60. Is 18 a factor of y?
False
Let p = 10 + -19. Let o(n) be the second derivative of -n**3/2 - 3*n**2/2 - 67*n. Is o(p) a multiple of 6?
True
Let s be (-4)/18 - (-1634)/(-18). Does 12 divide (-1094)/(-13) + 14/s?
True
Let a be ((-36)/(-1))/(-2*(-6)/(-8)). Let s(m) = -4*m + 40. Is s(a) a multiple of 31?
False
Suppose -2*n + 2*q + 354 + 172 = 0, n + 2*q - 269 = 0. Is n a multiple of 7?
False
Let y(i) be the third derivative of -5/6*i**3 + 0*i + 0 + i**2 + 1/6*i**4. Is y(4) a multiple of 3?
False
Let n = -265 + 178. Let z = -13 - n. Is z a multiple of 37?
True
Is 5 a factor of (-2)/(-12) + (-3 - (-2728)/48)?
False
Let u be (-6)/(-30) + (-192)/(-15). Suppose 5*s - 82 - u = 0. Is 5 a factor of s?
False
Suppose -3 = -k - 5. Let i = -1 + k. Is (-2 + 5)/(i/(-21)) a multiple of 4?
False
Let q(c) = -c**2 - 23*c + 2*c**2 + 31*c. Let m be (-35)/4 + (-6)/24. Does 9 divide q(m)?
True
Suppose -3*y = 5*a - 10956, -3*a + 131*y - 126*y + 6594 = 0. Does 46 divide a?
False
Let f = -42 - -38. Is (1 + f + 2)/((-3)/33) a multiple of 3?
False
Let h(b) = -b**2 + 3*b + 4. Let o be h(5). Is (30/25)/(o/(-200)) a multiple of 5?
True
Let i = 745 + -25. Is 30 a factor of i?
True
Let f be ((-3)/(-5))/((-1)/(-15)). Suppose 0 = b + b + 3*h + 18, -f = b + h. Is 61/3 + (-6)/b a multiple of 11?
False
Suppose -24*o = -20*o - 2272. Does 18 divide o?
False
Let k = 71 + -33. Let w(z) = 2*z**2 - 10*z + 16. Let p be w(3). Suppose k = p*d - 38. Is 18 a factor of d?
False
Let c = -441 + 905. Is c a multiple of 16?
True
Let l = -6 - -12. Let r(f) = -f**3 + 5*f**2 + 6*f + 2. Let u be r(l). Suppose -y + 13 = -3*a, 0*a = -2*a + u. Does 8 divide y?
True
Let o be 45 - (2 - 2) - (-15 - -13). Let v = o + -23. Is v a multiple of 13?
False
Suppose 0 = 3*u + u - 136. Let n = u + 27. Is n a multiple of 12?
False
Let r = 1309 - -2. Does 69 divide r?
True
Is 9 a factor of 438/((-1)/(-30) + (-34)/(-255))?
True
Let z be (4/(-6))/(2/(-9)). Let w be (2 + z/(-2))*12. Is (17/w)/(11/66) a multiple of 17?
True
Suppose -32*z = -27*z - 2185. Is 66 a factor of z?
False
Suppose 7*u - 10*u - 216 = 0. Let k = 163 + u. Is 13 a factor of k?
True
Suppose f = 4*s + 362, 3*f + s - 1053 - 72 = 0. Is 34 a factor of f?
True
Let y(d) = 2 - d + 10*d**2 - 4*d**2 - 5. Let n = 65 - 62. Is y(n) a multiple of 12?
True
Let i(s) = s + 11. Let x be i(-9). Suppose -7*c + x*c + 225 = 0. Is 15 a factor of c?
True
Let d(v) = -517*v**3 + 2*v**2 - 1. Let r be d(-1). Suppose 2*g + g - 3*i - 396 = 0, -r = -4*g - i. Does 22 divide g?
False
Let k be -3*(-5)/(-5 + 10). Does 6 divide 40 - (-6)/(0 + k)?
True
Let g(f) = f**2 + 0*f**2 + 4 + 5 - 8. Let m be g(-3). Suppose 12*j - m*j = 36. Does 9 divide j?
True
Suppose -i + 2 = -0*i. Suppose -72 = -i*m - m. Suppose 0 = -x - 4*r + m, 2*x = -4*r + 4 + 60. Is 20 a factor of x?
True
Suppose -3*w + 13*w = 0. Does 21 divide (-24 - -4)/(w - 2/3)?
False
Let h = 27 + 8. Is 44 a factor of ((-623)/h - -9)*(-6 - -1)?
True
Suppose 2*w - y - 45 = -2*y, 0 = 4*w - 2*y - 102. Suppose w*p + 72 = 28*p. Is p a multiple of 9?
True
Suppose -w - 12 = -7*w. Suppose 1 = -w*x + 217. Is 21 a factor of x?
False
Suppose -1482 = -4*t - 3*o + 2581, -4*t = -o - 4043. Is 44 a factor of t?
True
Suppose -2*y - 50 = 3*y. Let f