et u = d + -9. Is 5 a factor of u?
False
Let g be 3/(-2) - (-603)/18. Suppose 6*a = 2*a - g. Let x = 2 - a. Does 5 divide x?
True
Let u = -32 - -22. Let l = 13 + u. Suppose -13 = 2*m - 5, -89 = -l*o + 2*m. Does 6 divide o?
False
Let a = 91 - 43. Suppose -m + 2*r = -a, -8*r + 4*r = -3*m + 136. Is (m/6)/(3/9) a multiple of 20?
True
Let f be (-4506)/(-18) + 1/(-3). Let h = -78 + f. Is h a multiple of 26?
False
Let l be -2*(-9)/(-72) - 18/(-8). Suppose -6 = 3*g + 6. Does 15 divide g/l + 10 + 31?
False
Let w be (-11)/(((-5)/(-15))/((-6)/9)). Suppose -w - 2 = -2*f. Does 4 divide f?
True
Suppose 5*p = 5*l - 5, 4*p = -4*l - p + 40. Suppose 5*a = 15, 9 + 2 = l*g - 3*a. Is (g/3)/(1/18) a multiple of 4?
True
Suppose 2*w - 230 = -2*g, 4*w - 56 - 68 = -g. Is g a multiple of 33?
False
Let g be 4/(-32) - (-164)/32. Suppose 0 = -b + 2, 2*t - 3*b + g - 1 = 0. Suppose -t = r - 19. Is 9 a factor of r?
True
Suppose -6*q + 55 = -2*q - u, -3*q - 5*u = -47. Suppose 0 = 3*g - q*g + 132. Is 12 a factor of g?
True
Suppose -3*w = 2*a + 40, a + 10 = -a. Let n be -4 + 1 - w/10. Does 26 divide n + (5 - 3) - -52?
True
Suppose -5*a = 2*m - 45, -3*a + 8*a - 45 = -3*m. Let g be -5*(a/3 - -2). Let k = g - -79. Does 27 divide k?
True
Suppose -2*x + x - 5 = 0, 3*x + 30 = 3*h. Let g = 43 + h. Let d = g - 19. Is 6 a factor of d?
False
Let k(u) = 2*u**2 - 12*u + 32. Is 10 a factor of k(-9)?
False
Let t = -6 - -15. Suppose -a + t = 3. Suppose -y = a - 8. Is 2 a factor of y?
True
Suppose -1 = -5*w + 24. Let t = w + -6. Is ((10 + -2)/t)/(-2) even?
True
Let k(t) = 130*t**2 - 3*t + 3. Is k(1) a multiple of 65?
True
Let b(s) = -s**2 + 7*s - 2. Let t be b(6). Suppose -38 = -4*o + o + t*i, 3*i = -4*o + 59. Is 592/o + (-14)/49 a multiple of 21?
True
Suppose 12*j = 8*j - 48. Let p(t) = -t**3 - 13*t**2 - 12*t + 28. Does 14 divide p(j)?
True
Does 16 divide (-14 + 34)/((-3)/576*-3)?
True
Let s(p) = p**3 + 15*p**2 - 14*p - 34. Is 13 a factor of s(-15)?
False
Let h(n) = n**2 - 5*n + 4. Let o be h(3). Let k(g) = -82*g - 1. Let i be k(o). Suppose i = 4*a + a - 4*q, -a + 33 = -q. Does 13 divide a?
False
Let v be (-1)/3 - (1 + 20/(-6)). Suppose 23 = v*o - 111. Is 9 a factor of o?
False
Let a = 159 + -154. Suppose -a*x = -3*t - 0*x + 160, -4*t + 3*x = -228. Is 15 a factor of t?
True
Let s be (-164)/9 - (-2)/9. Is 19 a factor of s/18*(1 + -76)?
False
Let k(h) = 44*h**2 - 10*h. Is 12 a factor of k(2)?
True
Suppose c - 1452 = -5*l, 5*l - 4*c - 1417 - 25 = 0. Is l a multiple of 13?
False
Let h(y) = y**3 + 41*y**2 + 7*y + 35. Is h(-40) a multiple of 16?
False
Let x = 741 - 520. Is 17 a factor of x?
True
Suppose -9*g - 273 = -3045. Does 6 divide g?
False
Suppose 3*c + 932 = 1172. Is 8 a factor of c?
True
Suppose 4*i - 25 = -5. Suppose -2*g = -i*x + 182, -4*g = g + 5. Does 12 divide x?
True
Let c(t) = t**2 + 17*t + 15. Is c(-57) a multiple of 45?
True
Suppose 0 = 3*n - 0*n - 894. Suppose 4*m - 170 = n. Does 28 divide m?
False
Let l = 1466 - 642. Is l a multiple of 33?
False
Suppose 10*q - 3645 = 16755. Does 15 divide q?
True
Suppose 2*r + 3*b + 0*b - 1487 = 0, -3*b = -3. Does 25 divide r?
False
Let h(u) = 5*u**2 + 7*u + 12. Let q be h(5). Suppose -6*l + 50 + q = 0. Does 17 divide l?
False
Suppose -2*n + 5 = -37. Suppose -625 = 16*i - n*i. Does 16 divide i?
False
Suppose b = 5*x - 13, 4*b + 0 = -4*x - 4. Let u be -29 + (-4 - b) - -2. Let k = 56 + u. Is k a multiple of 7?
True
Let y = 1613 - -217. Is 30 a factor of y?
True
Let c(r) = r**3 + 2*r**2 + r. Let h be c(-5). Let a = h - -129. Does 7 divide a?
True
Suppose 0 = 5*b, 60 + 408 = 2*k + 5*b. Does 9 divide k?
True
Suppose 2974 = -21*i + 25*i - 5*p, 751 = i - 5*p. Is i a multiple of 3?
True
Let z = 2869 + -1802. Is 38 a factor of z?
False
Suppose -3*z + 3019 = -20*g + 19*g, 2*g + 3014 = 3*z. Is z a multiple of 27?
False
Let p(c) = -c**3 + 12*c**2 + 3*c + 37. Does 47 divide p(8)?
False
Let b = -581 + 673. Suppose 192 = -0*u + 5*u + 3*g, -20 = -5*g. Let c = b - u. Is 39 a factor of c?
False
Suppose 19*s - 16*s + 4*q = 2, 0 = -s - 4*q - 2. Suppose -4*c + 147 = -149. Suppose -5*v - s*x + c = 0, -v + 2*v + 4*x = 22. Does 3 divide v?
False
Suppose 2*a - 5*q = 88 + 257, -5*a = -2*q - 852. Does 10 divide a?
True
Let j(s) = 85*s**2 - 11*s + 52. Is j(3) a multiple of 67?
False
Let o = 100 - -13970. Is -2 + 2/(-9) + o/135 a multiple of 17?
True
Suppose 6*f = 4 + 8. Suppose f*w = -4*y + 594, -5*y + 5*w + 649 = -86. Does 37 divide y?
True
Let n(g) = -12*g - 12. Let u(a) = -a**2 + 12*a - 1. Let f be u(12). Let v be (1 + 4)*f - -1. Is 9 a factor of n(v)?
True
Let i be (-4 - (-28)/8)*-6. Suppose -2*b - i*z + z = 44, 2*z - 46 = 3*b. Let c = -9 - b. Is c even?
False
Let v be ((-66)/4)/(13/(-130)). Let i = v - 52. Is i a multiple of 35?
False
Let k(b) = -1824*b**3 + 6*b + 6. Is 38 a factor of k(-1)?
True
Let z be 6/(-9) + 294/(-18). Let y = 65 + z. Is y a multiple of 16?
True
Let l(q) = -3 + 3 + 9*q - 4 + 9 + q**2. Is 19 a factor of l(-13)?
True
Let f be 35/(-14)*8/(-5). Suppose -f*s - 242 = -3*y, -5*s + 99 + 281 = 5*y. Is y a multiple of 13?
True
Suppose 178 - 1303 = -5*t. Let s = t + -157. Is s a multiple of 34?
True
Let i(l) be the second derivative of 1/20*l**5 + 0 + 0*l**3 - 3*l + 11/2*l**2 + 5/12*l**4. Is i(-5) a multiple of 3?
False
Let z(f) = f**2 - 3*f + 6. Let a be z(3). Let t be 32 - 1/(3/a). Let k = 68 - t. Is k a multiple of 35?
False
Let s(j) = 2*j + 14. Let x(h) = h. Let b(p) = s(p) - 5*x(p). Does 15 divide b(-6)?
False
Let d = -691 + 1380. Is d a multiple of 57?
False
Suppose -5*j + b = -6669, -2*j + 1086 = -4*b - 1596. Is j a multiple of 43?
True
Let c be ((-492)/287)/(4/(-14)). Let n(s) = s**3 - 3*s**2 - 10*s + 8. Is n(c) a multiple of 56?
True
Let g(s) = -s**3 + 14*s**2 - 22*s - 22. Let l be g(12). Suppose -v - a + 83 + 27 = 0, 0 = l*v - 5*a - 227. Is v a multiple of 17?
False
Let x = -1103 + 1271. Is 21 a factor of x?
True
Let h = -16 - -18. Suppose h*s - 5*s + 12 = 0. Suppose -114 = -s*z - 5*o + 86, -o = -z + 50. Is 32 a factor of z?
False
Let q be (-3 + 3)/((-3)/3). Suppose q = 3*b + 2*b. Suppose 3*d + 4*p + b*p = 110, 0 = -d + 3*p + 28. Does 17 divide d?
True
Suppose 4*t = -2*t + 168. Suppose -2*n = -2*y - 4, 2*n - t = -2*n - y. Does 4 divide n?
False
Suppose 8*v - 9*v = -2, -m = 3*v - 174. Let q be -3*(-2)/(-3) - -292. Let g = q - m. Is g a multiple of 23?
False
Let r(o) = -26*o - o**3 + o**3 + 17*o**2 + o**3 + 4. Is 11 a factor of r(-18)?
False
Suppose 6*d - 16 = 4*d. Suppose -4*j + 16 = -4*f, 2*j - d = 3*f + f. Suppose -4*b + 180 = -f*b. Does 15 divide b?
True
Let y = 988 - 923. Is y a multiple of 5?
True
Suppose 10*z = 5*z + 30. Is ((-38)/z - 1)/((-36)/162) a multiple of 13?
False
Suppose 2*v - 4 = 4. Let j(l) = -2*l**3 + 2*l**2 + 3*l + 11. Let w(c) = 6*c**3 - 7*c**2 - 8*c - 32. Let n(z) = 8*j(z) + 3*w(z). Is 20 a factor of n(v)?
True
Suppose 0 = -f + 6*f - 10, -r + 5 = f. Suppose -r*s - c + 4*c = -21, 4*s + 3*c = 0. Suppose 0 = s*t + 15, -t - 58 = 4*z - 5*z. Is 16 a factor of z?
False
Let b = 691 + -663. Let o = 1 - 2. Is b - (-3 + o + 1) a multiple of 13?
False
Let o = -2124 + 7538. Does 126 divide o?
False
Let y(o) = 134*o + 62. Does 20 divide y(7)?
True
Let o(q) = 10*q**2 + 10*q - 48. Does 28 divide o(8)?
True
Let a(u) = 27*u**3 - 6*u**2 + 12*u - 20. Does 20 divide a(4)?
True
Suppose -3*s + 843 - 147 = 4*b, 232 = s - 4*b. Does 3 divide s?
False
Is (-13245)/(-30) + 1 + 2/(-4) a multiple of 34?
True
Suppose 1331 = 6*q - 559. Is 28 a factor of q?
False
Suppose -10*t + 12 = -6*t. Suppose t*g - 4*g + 75 = 0. Is 25 a factor of g?
True
Suppose 0 = -8*x + 832 + 512. Is 21 a factor of x?
True
Let q be -17 + (-3 - -4 - -1). Does 25 divide 593/5 + (-6)/q?
False
Suppose 14 = -2*h + 3*l + 2*l, -3*h = -l + 21. Let d = h + 41. Is d a multiple of 15?
False
Let l(s) = -4*s + 5*s + 3*s - 4 + s**2 + 10. Let m be l(-3). Suppose -2*y + w = -64, m*y - 2*y = 5*w + 50. Is y a multiple of 6?
True
Suppose -5288*c + 5297*c - 24336 = 0. Is 11 a factor of c?
False
Let v(n) = 34*n + 9. Let p be v(4). Let g = -94 + p. Is g a multiple of 41?
False
Let t be 24/9*(-1452)/88. Let y(p) = 2*p**3 - 6*p**2 - 8*p + 7. Let c be y(5). Let z = c + t. Does 7 divide z?
False
Suppose 6*s - 27936 = -30*s. Does 33 divide s?
False
Let w = 115 - -11. Does 18 divide w?
True
Let d(u) = -u**3 +