False
Suppose -5*t = 12*t - 3978. Suppose 0 = 6*b - 4*b - t. Does 39 divide b?
True
Suppose 5*v = -2*u + 275, -5*u + 4*v = -0*u - 737. Suppose 243 = 5*d - 2*l, -u = -6*d + 3*d + 2*l. Suppose -19 = -4*m + d. Is 17 a factor of m?
True
Let q = -29 + 29. Let n(c) = 10*c + 21. Is 9 a factor of n(q)?
False
Suppose 4*b + 3 = 11. Suppose -b*f = 4*v - 16, 2*v + 51 = 5*f + v. Suppose -2*j = -j - f. Does 5 divide j?
True
Let u be 244/5 + (-7)/(-35). Let j be u*(-1 + 3 - 1). Suppose -2*n = -9*n + j. Is n a multiple of 3?
False
Let v(g) = g**3 - 8*g**2 - 10*g + 12. Let q be v(9). Suppose -70 = -q*k + 200. Is k a multiple of 21?
False
Let r(a) = -a**2 - a - 14. Suppose -9*j + 13*j = 0. Let d be r(j). Let h = d - -26. Is 4 a factor of h?
True
Let c = -5 - 2. Let v = -4 - c. Suppose -b + 5*g + 5 = v*b, 0 = -2*b - 2*g + 16. Is b a multiple of 5?
True
Let h(a) = 2*a**2 - 2*a - 29. Let g be h(6). Suppose -g*k - 540 = -36*k. Is 14 a factor of k?
False
Does 26 divide 546*(2 - 24/18)?
True
Let n = 31 + -16. Let u(r) = r**2 - 16*r + 15. Let q be u(n). Suppose 4*h = 4*l - 176, h = -q*l - l + 46. Is 15 a factor of l?
True
Suppose 7*t - 6*t - 263 = 3*a, a + 3*t = -91. Let v = a + 112. Does 6 divide v?
True
Let i(l) = 35*l + 204. Is i(10) a multiple of 11?
False
Let j(c) = -23*c + 14. Let g be j(9). Let k = g - -325. Is k a multiple of 24?
False
Let y(t) = t**3 + 6*t**2 - 7*t - 9. Let a be y(-6). Suppose -a*x = -35*x + 6. Is x even?
False
Suppose -p - 3*p + 68 = -3*c, -c - 36 = -4*p. Let g = 24 + c. Is 2 a factor of g?
True
Let i be (-635)/(10/(-2))*6. Let r(a) = 762 - i - 6*a. Does 3 divide r(-2)?
True
Let s(y) = -15*y + 1. Let u be 2/((-2)/(-3 + 4)). Let r be s(u). Is ((-78)/(-10))/(r/80) a multiple of 13?
True
Let d(n) = -n**2 + 22*n - 16. Let b be d(18). Suppose h - b = -h. Is 14 a factor of h?
True
Let m(w) = -w**3 + 4*w**2 + 4*w + 10. Let y be m(5). Suppose 3*g = -2*g - y*q + 275, -5*q = -5*g + 265. Is 27 a factor of g?
True
Suppose -13*k + 85 = -12*k. Is 5 a factor of k?
True
Suppose 373 = 2*m - 2743. Is m a multiple of 69?
False
Let a(y) = 49*y**2 - 4*y + 7. Does 15 divide a(2)?
True
Is 62 a factor of (-66)/(-11) - 4242/(3/(-1))?
False
Let c be (-1 + 4)/((-3)/(-4)*1). Let u(m) be the third derivative of 11*m**4/24 - 2*m**3/3 + m**2. Does 10 divide u(c)?
True
Suppose 16*y = 7*y + 1575. Suppose -2*o + 79 = -y. Is 6 a factor of o?
False
Let u(h) = -100*h + 2. Let o be u(-1). Let l = o + -41. Is 16 a factor of l?
False
Suppose 5*v - 2*t - 981 = 0, 5*v + 4*t + 0*t - 963 = 0. Is v a multiple of 18?
False
Let u(x) = 3*x**3 + 3*x**2 + x - 1. Let z be u(3). Suppose 0 = 9*q - z - 439. Is 20 a factor of q?
False
Suppose 6*m = 2*m. Let s(z) = -4*z**3 - 4*z**2 + 4*z + 5. Let c(k) = -k**3 - k**2 + k + 2. Let i(q) = 7*c(q) - 2*s(q). Is i(m) a multiple of 3?
False
Suppose 3*c = 3148 + 587. Is c a multiple of 83?
True
Let v be 191 + -3 - 0 - -4. Suppose -v + 38 = -d. Does 11 divide d?
True
Let v(n) = -n**3 - 8*n**2 - 8*n + 5. Let o be 2 + -6 + 2 - 6. Is 23 a factor of v(o)?
True
Let g(k) = 6*k**2 + k - 1. Let l be g(1). Let z(m) = -m**2 + 9*m + 10. Is 14 a factor of z(l)?
True
Suppose 0 = 2*h - 0*h - 12. Suppose 62 + 38 = 4*x. Suppose o + x = h*o. Is o a multiple of 5?
True
Suppose x - 365 = -4*x. Let m = -26 + x. Does 24 divide m?
False
Suppose 0 = 3*d - 0 - 24. Suppose -z - 3 = -4*m + 5, -d = -4*m - z. Suppose -5*o = m*g - 3*g - 131, 5*o - 4*g = 134. Does 11 divide o?
False
Let n(k) = -51*k + 19. Let l be n(-4). Suppose -53 = 2*t - l. Does 29 divide t?
False
Let i(c) = -c**3 + 7*c**2 - 5*c - 2. Let h be i(6). Does 13 divide 6/(12/h) - -50?
True
Let i = -5 + 37. Let z = 9 + i. Does 21 divide z?
False
Let u(t) be the third derivative of 3/2*t**3 - 1/4*t**4 + 0*t + 9*t**2 + 0. Does 9 divide u(-3)?
True
Let q be (84/(-15))/((-1)/(-5)). Let s = q + 28. Suppose g + 5*f - 7 = s, 0*g + 97 = 3*g - 4*f. Is g a multiple of 9?
True
Let f be (-12)/(-2) - 20/10. Suppose f*c = 3*z, -2*z + 4*z + 4*c = 20. Suppose 3*t - 114 = z*o, 3*t - 3*o - 146 + 29 = 0. Is t a multiple of 7?
True
Let a(w) = -w**3 + w**2 + w. Let s be a(0). Suppose -v = 2*m + 3*v - 18, s = 3*m + 4*v - 23. Let o = m + 1. Does 2 divide o?
True
Let u(s) = 30*s. Is 6 a factor of u(1)?
True
Suppose 39*n = 45*n - 48. Suppose -n*g + 710 = 54. Is 15 a factor of g?
False
Let c(y) = 17*y**2 + y**3 - 5 - 10*y**2 - 4*y + 3. Let x be c(-6). Let i = -38 + x. Is 4 a factor of i?
True
Suppose 12*a = 4*a + 14016. Is 12 a factor of a?
True
Suppose -4*p + 4*h = -1392, -4*p + 17*h = 12*h - 1392. Does 29 divide p?
True
Suppose -16*o + 1270 = -11*o. Is o a multiple of 13?
False
Does 25 divide (10 - 676/(-65))*1000/6?
True
Suppose 12*p = -p + 4160. Suppose -191 = -3*k - u, -6*u + 8*u - p = -5*k. Does 23 divide k?
False
Let o(w) = -w**2 - 6*w - 3. Let f be o(-2). Suppose -f*c + 2*x + 2*x + 12 = 0, -5*c - 5*x + 30 = 0. Does 21 divide (14/c - 2)*28?
True
Let h = 377 - 673. Does 9 divide h/(-10) - (-6)/15?
False
Suppose 8*p = -9 + 17. Is 3 + (-436)/(-16) + p/(-4) a multiple of 4?
False
Let a be (0 + 3)/(3/2). Is (-4 + (-1)/a)*-4 a multiple of 12?
False
Let a be (-1)/5 - (-26)/5. Let t(h) = 16*h - 143. Let b be t(9). Suppose -a*r + 120 = 4*v, -b - 3 = -r. Does 13 divide v?
False
Suppose -4*u + 10*u - 78 = 0. Suppose -12*n = -u*n + 275. Does 31 divide n?
False
Suppose -259 = -22*c + 1941. Does 4 divide c?
True
Suppose -141 = 7*m - 729. Suppose -3*b + 126 = s, -4*s = -2*b - 0*s + m. Is b a multiple of 22?
False
Let g be (-4 - 1) + 1 - 1. Let l(h) = -10*h - 8. Does 21 divide l(g)?
True
Let x = -19 + 18. Let s(l) = 83*l**2 - 2*l - 1. Is s(x) a multiple of 21?
True
Suppose 5*t + 16 = -9. Let h be (t/2)/(10/(-20)). Is 4 a factor of 20 + 4/(-1 + h)?
False
Suppose 3*q = -11 - 1. Let j(y) = -2*y + 2. Let c(i) = -10*i + 10. Let r(b) = q*c(b) + 22*j(b). Does 9 divide r(-8)?
True
Suppose -o - 2*q = -318, -4*o - 5*q + 417 + 855 = 0. Let d = 216 - o. Let y = d - -147. Is y a multiple of 15?
True
Let a be 6 - (-20)/(-9 - -4). Suppose -n = -0*v + 3*v - 52, a*v + 5*n - 13 = 0. Does 14 divide v?
False
Let q be ((-44)/10)/((-20)/(-100)). Is 12 a factor of 0 + (0 - -2 - q)?
True
Suppose -2333 = -6*y - 353. Does 11 divide y?
True
Let c(q) = -q**3 - 3*q**2 + 6. Let m(l) = 5*l + 35. Let f be m(-8). Is 16 a factor of c(f)?
False
Let n(c) = -c. Let m(o) = 24*o - 3. Let g(w) = m(w) + 12*n(w). Is 22 a factor of g(6)?
False
Let b = 44 + -76. Let v = b - -140. Is 24 a factor of v?
False
Let z(h) = -h**3 + 8*h**2 + h - 6. Let t be z(8). Let n(q) = 8*q + 1. Let j be n(5). Let v = t + j. Is 18 a factor of v?
False
Let f = -132 - -246. Does 19 divide f?
True
Let g(f) be the first derivative of 71*f**4/4 + f**2 + f - 7. Let y be g(-1). Let h = 158 + y. Is h a multiple of 18?
False
Is 35 a factor of (7552/9)/4 + 18/81?
True
Let d(v) = -v**2 - 5*v + 8. Let q be d(-6). Let k be 240/56 - (-2)/(-7). Suppose q*a = 2*o - 14, -o + 0*o - k*a = -22. Is o a multiple of 4?
False
Let s(v) = -10*v. Let k be s(-1). Let h = 56 - k. Let f = h - 10. Is f a multiple of 23?
False
Let t = 54 - 126. Let s = t + 125. Is 13 a factor of s?
False
Let n = -755 - -1427. Is n a multiple of 28?
True
Suppose -3*o + 7 = -4*r - 11, -r - 5*o = 16. Does 6 divide 1/2*r - -85?
False
Let q(m) = -m**2 + 9*m + 18. Let a be q(14). Let j = a + 137. Is j a multiple of 17?
True
Let z be (1/(-2))/((-13)/8580). Is z/(-44)*66/(-5) a multiple of 33?
True
Let t(a) = a**3 + a**2 + 63. Let g(n) be the second derivative of n**3/6 - 3*n**2/2 + 3*n. Let h be g(3). Does 30 divide t(h)?
False
Suppose -30*h + 41*h = 2970. Is h a multiple of 42?
False
Suppose 3*b - 2*k + 6*k + 19 = 0, 3*b + k = -16. Does 24 divide b/(30/(-72))*(0 + 6)?
True
Let f(h) = 3*h**2 - 7*h + 6. Let n be f(-8). Let j = n + -113. Does 25 divide j?
False
Suppose -1230 = -24*b + 18*b. Is 11 a factor of b?
False
Let c = 863 - 821. Is 6 a factor of c?
True
Suppose 0 = 35*d - 15*d - 11240. Is 4 a factor of d?
False
Let w(k) = k**2 - 2*k + 269. Is w(50) a multiple of 118?
False
Suppose -3*d + 28 = 4. Suppose -d*w + 8 = -4*w. Suppose w*h - 21 = 3*m, -h - 2*m + 11 + 3 = 0. Is h a multiple of 4?
True
Suppose -298*f + 2548 = -284*f. Does 18 divide f?
False
Suppose -2*p - 464 = -5*s, -25 = -5*p - 10. Let t be 8/20*(-1 - s). Let f = t - -84. Does 8 divide f?
False
Let i(g) = g