 15 divide (g/(-10))/(14/665)?
False
Let i = -9 + 89. Let o be (-2)/(-6) + i/(-24). Is (4/(-3))/(o/27) a multiple of 12?
True
Let x(m) = m**2 + 5*m - 10. Let p be x(-7). Let q(d) = d - 4. Let g be q(p). Suppose 3*k + u - 100 = g, 5*k - 4*k - 5*u = 44. Does 24 divide k?
False
Let i = 43 + 7. Is i a multiple of 25?
True
Suppose -3*d + 4*a = -73, 3*a + 116 = 5*d + 2*a. Is d a multiple of 23?
True
Suppose 0 = d - 5*d + 8. Let y(h) = 2*h**3 + 3*h**2 - h - 1. Is 5 a factor of y(d)?
True
Let b(d) = d**2 + 4*d + 5. Let c be b(-4). Let p = c - -15. Does 10 divide p?
True
Let l(d) be the first derivative of -d**4/4 + 7*d**3/3 - 5*d**2/2 - d + 1. Let c = 43 - 38. Is l(c) a multiple of 12?
True
Let a(g) = g + 7. Let y be a(-5). Suppose -5*c + y*x - 7 = -0*x, 5*c - 3*x + 8 = 0. Does 17 divide (2 - c)/((-15)/(-85))?
True
Suppose 3*h - 42 - 65 = 2*v, -v + 62 = 2*h. Does 11 divide h?
True
Let b(m) = m + 30. Does 10 divide b(0)?
True
Let k(o) = -5*o + 2. Let j(c) = -4*c + 3. Let d(l) = -2*j(l) + 3*k(l). Does 7 divide d(-2)?
True
Let n(j) = -j**3 + j**2 - j. Let m be n(0). Is 3/(-6)*m - -10 a multiple of 10?
True
Is 8 a factor of -2 - (-20 - -1) - 1?
True
Is (-32 + 2)*(-3)/6 a multiple of 5?
True
Let i(c) = -3 + c**2 + 1 + 4 + 0 + 6*c. Let z be i(-6). Suppose -s - 2*d = 2*d - 4, -72 = -4*s - z*d. Is 9 a factor of s?
False
Suppose -3*a + 53 = 17. Let d = a + -9. Is 2 a factor of d?
False
Let r(s) = -s**2 + 12*s - 6. Let f be r(11). Suppose -3*d = -f*d + 42. Suppose -4*t + 2*b = -46, -t + d = -5*b - 13. Is 9 a factor of t?
True
Let t(v) = v**2 - 9*v - 8. Is t(14) a multiple of 31?
True
Is (-24)/56 - (-524)/14 a multiple of 8?
False
Let b be -1 - (-2)/3*3. Suppose 5*y = 6 - b. Does 7 divide ((-8)/5)/(y/(-5))?
False
Suppose 0 = -3*a + 2*q - 1 + 5, -2*a = -2*q - 6. Let p be (0/a)/(6/3). Suppose p = x - 5 - 10. Is 15 a factor of x?
True
Suppose -3*q + 4*s + 39 = 0, -q - s = -0*q - 13. Is 4 a factor of q?
False
Suppose z - 5*w = 26, 0 = 4*w + 2 + 6. Let k = -19 - -9. Let i = k + z. Is i a multiple of 3?
True
Suppose 310 = -0*n + 5*n. Let q = -39 + n. Does 23 divide q?
True
Suppose 5*f - 6*f = -1, -10 = -2*x - 4*f. Is x even?
False
Suppose 4*s = -0*s + 8, 0 = -i + 3*s + 30. Let f = i + -23. Suppose -17 = -r + f. Does 15 divide r?
True
Let y be 1*0/3 + 0. Suppose 80 = -y*m + 5*m. Is m a multiple of 5?
False
Let b = -4 - -6. Suppose -q + b + 2 = 0. Suppose q*d - 50 = 3*u, -35 = -3*d - 4*u + 15. Is 7 a factor of d?
True
Does 14 divide (-293)/(-4) - 1/4?
False
Suppose 10*y = w + 5*y - 15, 3*w - 3*y + 3 = 0. Let v(q) = -4*q**2 + 8*q + 5. Let g(z) = 7*z**2 - 15*z - 9. Let b(s) = -6*g(s) - 11*v(s). Does 14 divide b(w)?
False
Let n(y) be the first derivative of -2*y**2 - 6*y + 3. Is n(-4) a multiple of 4?
False
Suppose 4*q = -99 + 7. Let b = -10 - q. Is 4 a factor of b?
False
Let b be (0/(-2)*-1)/2. Suppose b*n + 290 = 5*n. Is 29 a factor of n?
True
Suppose -2*t + 15 + 29 = 0. Let m = 53 - t. Suppose m - 7 = k. Is k a multiple of 12?
True
Suppose 2*x - 5 = 9. Let i = -36 - -41. Suppose -x = -n + 3*z, i*n - n + 2*z - 14 = 0. Does 2 divide n?
True
Let t be -24*(0 - -2)/(-6). Suppose 3*o - 11 = -2*p, 3*o = t*o + p - 23. Does 5 divide o?
True
Suppose 0*c + 10 = c + 4*x, 3*x - 6 = -c. Is (-16 - -1)*(5 + c) a multiple of 10?
False
Let j be 4 + -4 + -1 + 1. Suppose -2*u = -j*u. Suppose -3*g = -u*g - 63. Is 9 a factor of g?
False
Let q(p) = 2*p**2 + 3*p**2 - 9 - p**2 - 3*p**2 - 2*p. Is 8 a factor of q(7)?
False
Let h = -3 + 6. Suppose -182 = h*p - 5*p. Suppose -2*s + 7*s + p = 4*x, 2*x = 5*s + 43. Is 11 a factor of x?
False
Suppose -2*a - 12 = 2*a. Does 23 divide 45 + -3 + (-12)/a?
True
Suppose -2*g + 170 = 2*r - 3*r, 0 = -g + 3*r + 85. Does 9 divide g?
False
Does 2 divide 1*1/(4/44)?
False
Suppose -5*d = -156 + 21. Is 27 a factor of d?
True
Let c = 132 - 48. Does 12 divide c?
True
Suppose -5*g - 235 + 90 = 0. Let h = 4 - g. Is 19 a factor of h?
False
Is 108/(-45)*160/(-6) a multiple of 6?
False
Let y(p) = 2*p**2 - 4*p + 5. Let c be y(6). Suppose -4*r = -125 + c. Suppose 5*u + r = 188. Is u a multiple of 18?
False
Let z = 176 - -84. Is z a multiple of 18?
False
Suppose -2*p = 3*z - 2, 0 = 5*p - z - 4*z - 30. Is 7 a factor of 4*p + -4 + 5?
False
Let c(y) be the third derivative of y**5/60 - y**4/8 + y**3/3 - y**2. Let w be c(2). Suppose -m + 2*x + 10 = w, -5*m = 6*x - 2*x - 106. Does 5 divide m?
False
Let a(s) = -6*s - 2. Let x(l) = 5*l + 1. Let v(r) = -9*r - 1. Let q(z) = -2*v(z) - 5*x(z). Let f(m) = -6*a(m) + 5*q(m). Is f(5) a multiple of 2?
True
Let m be (-3 - 27)*1 - -3. Let l = -1 - m. Is l a multiple of 7?
False
Let z(f) = 5*f + 5 - 4*f + 0*f. Let g be z(-8). Is (3/(-2))/(g/76) a multiple of 17?
False
Let l = 221 - 143. Is 19 a factor of l?
False
Suppose 4*y + 0 + 4 = 4*p, -4*p - 5 = -y. Let o = y + -3. Let v = o - -19. Does 13 divide v?
True
Suppose 4*g + i + 24 = 0, -5*g - 5*i = -3*i + 27. Let q(u) = -9*u + 0*u**2 + 5*u**2 - 10 - 6*u**2. Is q(g) a multiple of 4?
True
Suppose -5*f - 30 = -3*y + 4, -5*y = 5*f - 30. Does 4 divide y?
True
Let r(b) = 15*b**3 - b**2 - b + 3. Is 13 a factor of r(2)?
True
Let g(u) be the first derivative of 0*u + 1/2*u**2 + 4 + u**3. Is 4 a factor of g(2)?
False
Suppose 0 = 3*v - 5*y - 33, -2*v + 29 = -0*y - y. Does 7 divide v?
False
Let g be (0/1)/(4 - 2). Is 20 + (2 - g) + -4 a multiple of 9?
True
Let m = 0 + -1. Let y be 10/(-15)*-3*1. Does 3 divide y + -2 + m + 8?
False
Let j be 1/(-1)*3 + 3. Suppose 5*d - 4*m + 10 = j, -3*d - m + 15 = 2*d. Suppose 0 = -s, -s = -3*c - d*s + 60. Does 10 divide c?
True
Suppose 108 + 141 = -3*v. Let b = -30 - v. Is b a multiple of 15?
False
Suppose -30 = -2*n + 8*h - 4*h, -2*n = -3*h - 25. Let f be (-6)/10 - 2/n. Let r(i) = -10*i - 1. Is r(f) a multiple of 4?
False
Suppose -h + 42 = h - 2*f, -5*h = -2*f - 117. Is h a multiple of 2?
False
Suppose -5*b + 39 = -26. Let r(w) = w. Let z be r(4). Suppose 3*x = 2*o - 7, -o + b = 2*o - z*x. Is o a multiple of 6?
False
Does 44 divide 131/1 + 8/(-6 - -14)?
True
Suppose 2*n + 275 = -3*n. Let u be 442/(-5) - (-6)/15. Let x = n - u. Does 11 divide x?
True
Suppose 2*a = 59 + 65. Is a a multiple of 7?
False
Suppose 13*y - 12*y = 27. Does 25 divide y?
False
Let l(b) = -b**3 + 8*b**2 - 5*b - 10. Suppose 5*w - 29 - 14 = 2*x, -5*x = 4*w - 8. Does 4 divide l(w)?
True
Let o = 59 - 41. Is 5 a factor of o?
False
Suppose -48 = -h - 2*j, -3 = -3*j + 6. Is h a multiple of 14?
True
Suppose 5*w + 12 = -4*y - 0*y, 3*y = -9. Suppose -c - k + 15 = w, 0 = -3*c - 4*k - 0*k + 45. Is 14 a factor of c?
False
Suppose b = 2*i - 9, -b = -i + 2*i. Suppose -3*l = -i*q - 6, -4*q + 7*q - 2 = l. Is (1 - l/2) + 42 a multiple of 18?
False
Does 12 divide 15/(-10) - (-9)/2 - -21?
True
Suppose -6*k = -2*k - 4*j - 124, 0 = 2*k - j - 60. Is k a multiple of 11?
False
Let m be 2/(-8) + 407/44. Let r = 2 + m. Does 2 divide r?
False
Suppose -d + 75 = 2*d. Does 11 divide d?
False
Let s(h) = 62*h**2 + 2*h - 2. Does 31 divide s(1)?
True
Suppose -2*v - 3*v = -15. Suppose 0*i - 2*i = 5*g - 85, 3*g = -v*i + 42. Is 9 a factor of -1*(-2 - (g + -2))?
False
Let n be (-1 - (8 + 1))/(-2). Suppose -n*r = -7 - 13. Suppose 77 = r*l + 5*c, l - 2*c = -7*c + 38. Does 5 divide l?
False
Let l = -6 + 11. Suppose -l*z + 0*z = 0. Let o(y) = y**3 + y**2 - y + 32. Is 16 a factor of o(z)?
True
Let w = 33 + -68. Let d = 7 + w. Let x = -17 - d. Is x a multiple of 11?
True
Let p = -5 + 2. Let b be p/(-9) - (-1)/(-3). Suppose b = -5*q + 2*r - r + 58, -2*q = -4*r - 34. Is q a multiple of 11?
True
Suppose 2*j + 2 = 0, m + 9 = 2*j + 47. Is m a multiple of 9?
True
Let y = -189 - -315. Is 21 a factor of y?
True
Let h = 197 - 125. Is h a multiple of 30?
False
Suppose o - 6*o + 55 = 0. Let j = o + -6. Does 2 divide j?
False
Let n(p) = -4*p**3 - 3*p**2 - p + 1. Does 4 divide n(-2)?
False
Let i = 11 - -7. Does 18 divide i?
True
Suppose 2*c - 50 - 64 = 0. Does 19 divide c?
True
Let u(v) = 38*v**2 - 4*v + 4. Is u(2) a multiple of 37?
True
Suppose -4*v - 175 = -3*k + 158, -4*v + 12 = 0. Is 23 a factor of k?
True
Let p be (14/4)/7*-2. Let w = 34 + -51. Let z = p - w. Does 8 divide z?
True
Does 14 divide 5380/16 + 3/(-12)?
True
Suppose -5*g - 4*l = -3*g, 24 = -g + 4*l. Does 4 divide 2/(-1*1/g)?
True
Let w be 103 + (3 - 3) + -3. Suppose 5*y - w = -0*y. Suppose 