b - 1690 = 5*r, 2*b + 2*r - 1124 = 4*r. Suppose 0 = g + 6*g - b. Is g a multiple of 16?
True
Suppose -12*h = -6*h + 6. Is 5 a factor of 4 + -3*12/h?
True
Let v(t) = t**3 + t**2 - 3*t + 18. Suppose 7*j = j + 5*j. Is 18 a factor of v(j)?
True
Let g = 11 - 10. Let q(s) = -6*s**2. Let b be q(g). Does 3 divide b*(-2)/(-4) + 15?
True
Suppose -15*f - 2*l = -16*f + 924, -f + 929 = 3*l. Does 18 divide f?
False
Let c be 21*-2*72/(-28). Let g = 185 - c. Is 12 a factor of g?
False
Suppose -5*o = -2*o - 1119. Let s = 538 - o. Is s/35 + (-2)/(-7) a multiple of 2?
False
Let u(z) = -z**3 - 4*z**2 - 5*z - 2. Let y be u(-3). Suppose h = 4*s - y*h - 20, -25 = -5*s - h. Suppose -s*m = -31 - 14. Is 9 a factor of m?
True
Let c(k) = -k**3 + 2*k**2 + 2*k + 3. Let d be (-1 - -2)/(3/9). Let h be c(d). Suppose h*w = 6*w - 552. Does 21 divide w?
False
Suppose -3*o + 13 = a - 3*a, 4*o - a - 9 = 0. Suppose 16 = 2*r - 4*n, -o = -2*r + n - 2*n. Let h = r + 7. Does 2 divide h?
False
Let y(c) be the first derivative of -c**3/3 + 5*c**2/2 + 2*c - 1. Let l(z) = z**3 - 10*z**2 + 17*z - 4. Let v be l(8). Is y(v) a multiple of 3?
True
Suppose -26*g = -46*g + 13520. Is 44 a factor of g?
False
Suppose j = 1677 + 106. Is j a multiple of 12?
False
Suppose -9*c = -6*c + 6. Let m = 3 + c. Is 18 a factor of 184/12*3/m?
False
Suppose 3*v - 6228 = 7968. Does 52 divide v?
True
Let t = 17 - 15. Suppose -166 = -t*y - 1682. Is y/(-9) + 48/(-216) a multiple of 12?
True
Suppose 0*y = 2*y - 12. Let c(z) = 15 - z - y - 2*z + 7. Does 29 divide c(-9)?
False
Does 20 divide (-39372)/(-17) + 4/(-1)?
False
Let v(w) = 82*w**3 + w. Let c = -9 + 10. Let s be v(c). Suppose 3*h - s = -26. Is h a multiple of 7?
False
Let o(f) = f**3 - 8*f**2 + 9*f - 4. Let l be o(7). Suppose -j = j - l. Is j a multiple of 4?
False
Let q(z) = -664*z - 152. Is 16 a factor of q(-6)?
False
Suppose -19*r + 24*r + 2*l - 3902 = 0, 4*l + 16 = 0. Is 23 a factor of r?
True
Suppose 2*g + 3*a + 33 = -g, 4*g + 34 = -2*a. Let t be 10*1/(-15)*g. Suppose 2*v - 18 = -t. Is 7 a factor of v?
True
Let u = -117 + 1027. Does 10 divide u?
True
Let s = 511 - 497. Is 14 a factor of s?
True
Let x = -4 + 3. Let q be 39/((-4)/8 - x). Does 16 divide 2/3*(q - 0)?
False
Suppose n = 79 + 337. Is 20 a factor of n?
False
Let d be 12/8*(-28)/(-6). Let o = -50 + 52. Suppose d*k - o*k = 85. Does 10 divide k?
False
Let d = -37 + 95. Suppose 39*c - 32*c = 266. Suppose d = 3*g - c. Is 8 a factor of g?
True
Suppose 52*z = 49*z + 1596. Does 7 divide z?
True
Suppose -395 = -v + 4*j, 2*v - 4*j + 1500 = 6*v. Does 10 divide v?
False
Is (-6 + (-4 - (-9)/2))*-316 a multiple of 22?
True
Let l = -1 - -5. Let p = 8 + -5. Suppose -l*q + 0*q = -16, p*k = 2*q + 37. Is 8 a factor of k?
False
Let c be (-16)/(-12) + 32/12. Suppose 2*z = -c*z + 252. Does 19 divide z?
False
Let u = 33 - 16. Suppose -4*q + 95 + u = 0. Is 3 a factor of q?
False
Let g(z) = -z**3 - 7*z**2 + 21*z + 4. Let x be g(-9). Let y = x - -29. Is y a multiple of 3?
True
Let j(b) = 5*b - 2. Let w(g) = 4*g - 1. Let c(a) = -5*j(a) + 6*w(a). Let z be c(4). Does 16 divide 3 + 12 + z + 1?
True
Let k(u) = 8*u**2 - 29*u - 40. Does 85 divide k(13)?
True
Let f be 205/7 + (-50)/175. Suppose 0 = -m - 3*i + 11, m - 7 = 4*i + 18. Let k = f - m. Is 3 a factor of k?
True
Let m = 537 - -1119. Does 9 divide m?
True
Let i be 9/4 - 7/28. Let m(g) = -13 + i*g + 2 + 11*g + g. Is 24 a factor of m(6)?
False
Suppose 9*w + 31*w = 41240. Does 12 divide w?
False
Let u(i) = 14*i - 12. Let d(c) = c + 1. Let s(g) = 6*d(g) - u(g). Does 31 divide s(-16)?
False
Let l(f) = -2*f + 39. Let y be l(18). Suppose 553 = y*v + 4*v. Is 13 a factor of v?
False
Let y = 8 + -8. Suppose y = -4*m + 13 + 3. Suppose m*u - 32 = 4. Is u a multiple of 6?
False
Let z = -93 - 106. Let c = -115 - z. Does 21 divide c?
True
Let k = 596 + -292. Is 16 a factor of k?
True
Let k(p) = -6*p**3 + 3*p**2 + 11. Does 50 divide k(-3)?
True
Let d(r) = 34*r + 3. Let z be d(-2). Suppose -5*j - 597 = -10*j + 2*s, 5*j + 2*s - 593 = 0. Let v = j + z. Is 18 a factor of v?
True
Let r(v) = 24*v + 59. Is r(9) a multiple of 44?
False
Suppose -22412 = 27*w - 53*w. Is w a multiple of 6?
False
Let j(d) = -42*d + 139. Let k be j(5). Let n(u) = 29*u. Let c be n(-1). Let q = c - k. Does 8 divide q?
False
Let s(z) = 34*z**2 - 3*z - 15. Is 38 a factor of s(-4)?
False
Let r(m) = -46*m**3 - 2*m**2 - 30*m - 8. Does 108 divide r(-4)?
True
Suppose 19*h = 17*h. Suppose 55*u - 50*u - 80 = h. Is u a multiple of 2?
True
Suppose -4*q - 5*x = -31, 2*q + 0*q = 2*x + 2. Let t be 4 + -6 + (q - 0). Is (t + 2 - 36)/(-2) a multiple of 4?
True
Let z(i) = 12*i**2 + 12*i - 12. Does 6 divide z(1)?
True
Suppose 0 = -0*d - 3*d + 12. Suppose -16 + d = -w. Suppose -9*f = -w*f + 36. Is 5 a factor of f?
False
Let o be ((-657)/12)/(-1) + 9/36. Let b = 31 + -62. Let c = b + o. Does 6 divide c?
True
Let s = -1818 + 2746. Does 29 divide s?
True
Let p(s) = 114*s - 2. Let y(i) = -i + 1. Let o(j) = 2*p(j) + 6*y(j). Is 45 a factor of o(1)?
False
Suppose t = -3, -3*v + 3*t + 6 + 3 = 0. Suppose v = o + o - 154. Suppose m - o = -2*m + x, 4*x + 126 = 5*m. Is m a multiple of 13?
True
Suppose -27 = -7*a - 2*a. Suppose -u + 1 + 2 = 0, -231 = -a*n + 3*u. Does 14 divide n?
False
Let h = 1041 + 257. Is h a multiple of 62?
False
Let b(d) = d**3 - 47*d**2 + 99*d - 102. Does 2 divide b(45)?
False
Let r(u) be the third derivative of u**5/15 - u**4/24 + 5*u**3/3 + 2*u**2. Does 10 divide r(4)?
True
Let g(t) = -t - 9. Let s be g(-10). Let a(c) = s + 4 + 3 - 2 - 2*c. Is a(-8) a multiple of 12?
False
Let j(k) = 3*k + 2. Let o be j(-3). Does 15 divide 5/3*(o + 16)?
True
Is 209 + (76/(-57) - (-1)/3) a multiple of 18?
False
Let g(j) = -j**3 + 4*j**2 - j - 1. Let s be g(3). Suppose -89 = -s*p + 211. Is 24 a factor of p?
False
Let h(s) = -s**2 - 4*s. Let t be h(-5). Let w be 24/(-40) + (-23)/t. Suppose 5*o - 60 = -9*a + w*a, 0 = -4*a + 5*o + 3. Is 2 a factor of a?
False
Let r = 823 + -611. Is 6 a factor of r?
False
Let j(i) = 2*i**2 - 8*i - 5. Let y(w) = 2*w**2 - 3*w**2 + 4 + w + 2*w**2 - 3*w. Let k be y(3). Is j(k) a multiple of 13?
False
Let u = 179 + 1453. Is 45 a factor of u?
False
Let n = 369 - 102. Suppose 5*r + i = -0*i + 251, -3*i = -5*r + n. Suppose 4*s + s - r = -j, 3*j = -3*s + 153. Does 20 divide j?
False
Let f be (-32)/(-6)*(-5 - -2). Does 12 divide ((-56)/f)/(13/(-14) - -1)?
False
Let h = -72 - -208. Is 8 a factor of h?
True
Suppose -6*f + 932 = -832. Is f a multiple of 10?
False
Let u = 10 + -26. Let j = 22 + u. Suppose -2*a + 70 = j. Is a a multiple of 8?
True
Let i(u) = -3*u - 2. Let g be i(-3). Suppose -g*h = -10*h + 123. Is h/2 + 11/22 a multiple of 7?
True
Suppose -2*s + 3*s = 6. Let f = s - 2. Suppose 0 = l + f*m - 35, -62 - 45 = -4*l - 5*m. Is 5 a factor of l?
False
Suppose 18*l - 27*l = -756. Is 7 a factor of l?
True
Let i(r) = 50*r + 46. Does 36 divide i(8)?
False
Let o = 17 - 8. Let q(b) = -b**3 + 8*b**2 + 17*b + 8. Does 8 divide q(o)?
True
Let w(j) be the first derivative of -j**4/4 - 2*j**3 - 2*j**2 + 5*j - 14. Let k be w(-5). Suppose 312 = 6*l - k*l. Does 26 divide l?
True
Let d(k) = -k**2 + 4*k + 3. Let x be 2/(-3) + 55/15. Let w be d(x). Suppose -2*u = -w*u + 32. Is 4 a factor of u?
True
Let y = -12 + -15. Let j = y + 36. Let x = 35 - j. Is x a multiple of 13?
True
Let c = 90 + 228. Is 16 a factor of c?
False
Suppose 40*n = 38*n. Suppose n = y + 1 + 1, -3*a + 67 = -2*y. Does 5 divide a?
False
Let v be -1 + -1 - (96 - -4). Let z = -32 - v. Does 14 divide z?
True
Suppose 2*g - g = 10. Suppose 0 = -l + 2 + 38. Suppose -5*y + g = -l. Does 5 divide y?
True
Let c(b) = b**2 + 3*b + 3. Let x be c(-3). Suppose -x*o + 174 = -3*r, -4*r - 177 + 55 = -2*o. Let t = o + -3. Is 13 a factor of t?
True
Let m be 2/(-3)*45/10. Let j(u) be the second derivative of 7*u**4/12 - u**3/2 - u**2 - 14*u. Is j(m) a multiple of 27?
False
Let s = -9 - -307. Is 33 a factor of s?
False
Let b(z) = -2*z**3 - 17*z**2 - 15*z + 25. Is 29 a factor of b(-8)?
False
Let w(j) = -132*j**3 - 4*j**2 - 3*j - 5. Is 14 a factor of w(-2)?
False
Is (-6)/((-1)/((-74)/(-4))) a multiple of 3?
True
Suppose 5 = -u, -c + 2*u + 94 = -2*u. Is c a multiple of 7?
False
Let d(t) = -3*t - 1. Let q be d(-1). Suppose q*b + 7 = -33. Is 8/b - 42/(-5) even?
True
Let f = 12 + -44. Let i = f + 3