u - d = -7*u. Does 18 divide u?
False
Suppose -21*k + 17*k - 8 = 0, 2*r + 4*k - 2872 = 0. Is r a multiple of 18?
True
Let y(k) = -20*k - 11. Let c be y(-4). Suppose -10*d + 13*d = c. Is d a multiple of 3?
False
Let j = 35 - 39. Is (2 - 1)/(j/(-456)) a multiple of 19?
True
Let x = -84 + 119. Suppose 8 = 3*w + 5*d - 48, -5*d = -2*w + 29. Let r = x - w. Is 6 a factor of r?
True
Let m(g) = g**3 - g**2 - g - 1. Let a(x) = 4*x**3 + 16*x**2 + x + 13. Let f(v) = -a(v) + 3*m(v). Is f(-19) a multiple of 12?
True
Let n = -14 - -20. Let b be 137/(-2) + (-3)/n. Let c = -39 - b. Is c a multiple of 15?
True
Let t = 71 + -13. Does 7 divide t?
False
Let y(g) = -g + 9. Let b(o) = 3*o - 26. Let f(t) = -4*b(t) - 11*y(t). Let v = -51 + 36. Is f(v) a multiple of 5?
True
Let j = 565 - -421. Is j a multiple of 17?
True
Let v(z) = z**3 + z**2 + z + 4. Let a be v(0). Suppose -2*b + 0*c + a*c + 20 = 0, -c = -3*b + 30. Suppose 0 = 5*o - 110 + b. Does 10 divide o?
True
Suppose 2*o - 8 = -0*c - 2*c, 0 = 5*c - 4*o - 11. Suppose -p + 60 = -c*p. Let d = p - -66. Is 12 a factor of d?
True
Let s(p) be the first derivative of -8*p**2 - 8*p - 2. Let u be s(7). Is (4/(-10))/(4/u) a multiple of 6?
True
Let a = -668 + 975. Let d = -171 + a. Is d a multiple of 7?
False
Let p(b) = -13*b**2 - 4*b - 5. Let h be p(-2). Let y = h - -89. Is 33 a factor of y?
False
Suppose -4*g - 101 - 23 = -4*y, 5*y = 2*g + 47. Is 17 a factor of g*(19/(-10) - 4/(-10))?
False
Let y = -167 - -523. Does 3 divide y?
False
Let n = -30 + 91. Let c = -50 - -52. Suppose 0 = 5*w + c*b - n + 1, 3*w = -3*b + 36. Is w a multiple of 12?
True
Suppose 324*h - 326*h = -3020. Is h a multiple of 7?
False
Let n(l) = -9*l**3 - 2*l**2 + 2*l - 7. Let b(x) = 5*x**3 + x**2 - x + 3. Let z(q) = 5*b(q) + 2*n(q). Is 2 a factor of z(1)?
True
Suppose 4*l = 3*l + 2. Suppose 5*m + l*m - 392 = 0. Is m a multiple of 28?
True
Suppose 76 = -3*c - c. Let y = -3 - c. Is 5 a factor of y?
False
Suppose 3*w = -5*z + 140, -w = -2*z + w + 56. Suppose 3*q - 78 = -3*d, z = -q + 2*q - d. Is 20 a factor of q?
False
Let i = 38 - -123. Is 3 a factor of i?
False
Let h(r) = -2*r + 4. Let b be h(3). Is 19 a factor of b*(155/(-10) - -3)?
False
Let k(i) = i**2 + 11*i + 22. Let p(f) = -4*f + 20. Let r be p(8). Is k(r) a multiple of 34?
True
Let u(c) = 2*c**3 - 4*c**2 + 2*c + 6. Let a be u(-3). Let n be 2 + (2 - a) - -2. Let p = -49 + n. Is 11 a factor of p?
False
Let o(m) = -21*m + 23*m**2 + 16 + m**2 + m**3 - 2*m**3 + 0*m**3. Is 10 a factor of o(23)?
False
Let z be -3 + 1 - (1 + (-1 - 2)). Let w = 58 + z. Is 5 a factor of w?
False
Let c(l) be the third derivative of 167*l**6/120 + l**5/30 - l**4/24 + 7*l**2. Let i be c(1). Let y = -116 + i. Is 13 a factor of y?
True
Let v be (-3)/9 + (-1)/(-3). Suppose -38 = -2*f - 26. Suppose f*n - 7*n + 62 = v. Is 20 a factor of n?
False
Let z = 28 + -20. Let u = -4 + 12. Let t = u + z. Is 15 a factor of t?
False
Suppose -376*t + 375*t + 29 = 0. Is 4 a factor of t?
False
Let z(d) be the first derivative of -d**6/120 + 7*d**5/60 + d**4/3 + 3*d**3/2 + d**2/2 + 8. Let j(n) be the second derivative of z(n). Does 19 divide j(7)?
False
Let n(y) = y**2 + y - 5. Suppose 2*d = -4*x + 26, d - 3*x + 9 = -d. Let m be n(d). Suppose -30 - 82 = -m*v. Is v a multiple of 4?
True
Let f(g) = g**2 + 8*g - 8. Suppose -10*t + 11 + 99 = 0. Does 18 divide f(t)?
False
Let c(a) = a**3 - 23*a**2 + 46*a - 29. Is c(21) a multiple of 3?
False
Suppose -4*u + 19 = 3*t, 28*t - 14 = 26*t - 4*u. Does 2 divide t?
False
Suppose -4*t + f = 96, 5*t - 5*f - 3 = 6*t. Suppose -y - 12 = -4. Let r = y - t. Does 14 divide r?
False
Let r = 3 - -14. Suppose 9*w + 28 = 13*w. Let d = r - w. Is 10 a factor of d?
True
Let x = -84 - 28. Does 8 divide x/35*1*-40?
True
Suppose -4*d - 19 = -4*m - 199, 5*d + 4*m - 198 = 0. Let o = 74 - d. Is o a multiple of 32?
True
Suppose 0 = -4*b - 5*u + 73, 3*u - u = -b + 16. Suppose -6 = -3*y, y = -2*x - 3*y + b. Does 4 divide (x + 6)/(0 + 1)?
False
Suppose 0 = 5*m + y - 2*y - 39, 2*m = 2*y + 22. Let u = 34 - 29. Let b = u + m. Is b a multiple of 6?
True
Suppose 0 = -z + 2*f + 3439, 2*z = 121*f - 118*f + 6875. Does 148 divide z?
False
Let v(w) = w**3 + 9*w**2 + 16*w + 15. Let l be v(-7). Let h = 34 + l. Let s = h + -15. Does 5 divide s?
True
Is 6 a factor of (-2)/8*1 + (-73)/(-4)?
True
Let y(m) = -m. Let u be y(-3). Suppose u = -d + 13. Is 5 a factor of d?
True
Let m(u) = u**3 + 15*u**2 - 7*u - 21. Is m(-15) a multiple of 28?
True
Let k = -20 + 64. Suppose -k = -2*h - l + 5*l, 4*h - 2*l = 100. Suppose -d - 4*g = -0*g, 3*d - g - h = 0. Is 8 a factor of d?
True
Suppose 0 = 2*p + 2*s - 4, 0*p - 10 = 3*p - s. Let w = 157 - 80. Let m = w + p. Is m a multiple of 15?
True
Does 10 divide (-2 - 1)/(21/14) - -312?
True
Does 45 divide (5958/(42/7))/1?
False
Suppose -4*n - j + 10 = -13, -4*n + 3*j = -11. Suppose -54 = 3*v + n*h - 205, -3*v - 3*h + 153 = 0. Does 8 divide v?
False
Suppose -20*a + 29877 = 9177. Is 15 a factor of a?
True
Let i be (-3)/2*-6*(-6)/27. Is (-598)/28*i - (-2)/7 a multiple of 14?
False
Let g(y) = -20*y + 2. Let u(n) = n. Let h = 17 + -12. Let o(c) = h*u(c) - g(c). Is 15 a factor of o(2)?
False
Suppose -2*y - 10 = w + w, -20 = 4*y. Suppose w = 2*t + 105 - 357. Does 14 divide t?
True
Let b(y) = y**2 - 5*y + 6. Let f be b(2). Suppose 2*d + 3*h = -h + 40, f = -4*d - 3*h + 90. Is 4 a factor of d?
True
Let y(n) = 3*n + 15. Let r be y(11). Let t = r - 16. Is 6 a factor of t?
False
Suppose -2*s + 2*a + 550 + 56 = 0, -2*s = -3*a - 607. Is 36 a factor of s?
False
Suppose 11*r - 5*c = 15*r - 21481, -16103 = -3*r + 4*c. Does 91 divide r?
True
Suppose 32*f = 15349 + 11563. Is 29 a factor of f?
True
Let y = 4 - -4. Suppose l = v - 2*l - y, -v + 4*l = -4. Is 8 a factor of v?
False
Let v(a) be the first derivative of 7*a**4/12 + 2*a**2 - 5*a + 1. Let b(h) be the first derivative of v(h). Is 19 a factor of b(3)?
False
Suppose -3*j - 2*q = -60, q - 47 = -5*j + 46. Suppose 0*k = 2*k + j. Does 24 divide 2/k - 1950/(-27)?
True
Suppose 0 = -2*m - t + 306, -58 = m + t - 210. Is 28 a factor of m?
False
Let x = 51 - 63. Is x/(-2) + -4 + (32 - -2) a multiple of 7?
False
Is 43 a factor of ((-1420)/(-7))/(66/231)?
False
Let j(z) = -2*z**2 + 4*z + 8*z**2 + 0*z**2 - 9 + z**2. Does 35 divide j(-3)?
False
Suppose -13636 = 55*o - 69*o. Is o a multiple of 7?
False
Let x be ((-16)/6)/(4/24). Is (-4)/x + (-201)/(-12) a multiple of 17?
True
Suppose -10*q - 240 + 7280 = 0. Is q a multiple of 22?
True
Let x(d) = 3*d**2 + 98*d - 40. Is 3 a factor of x(-34)?
True
Suppose 2*s - 3*s + 3*g = -132, 2*g = -2*s + 288. Suppose -7*v + 138 = -4*v + l, -3*v + s = 2*l. Is v a multiple of 19?
False
Let v = -7 - -10. Let o(a) = a**3 - 2*a**2 + 2*a + 4. Is 19 a factor of o(v)?
True
Let x = -2 + -6. Is 11 a factor of 1/2 + (-348)/x?
True
Suppose 16*g = 14*g + 52. Suppose -g*k + 30*k - 512 = 0. Does 12 divide k?
False
Let r(j) = -j**3 - 14*j**2 - 16*j + 19. Let l be 3 - 3 - 4 - 24. Let w = l - -15. Does 16 divide r(w)?
False
Let h(a) = -47*a**3 + 2*a**2 - 5*a + 2. Is 13 a factor of h(-2)?
False
Let q = 47 + -25. Suppose -4*n + 46 = -q. Is 17 a factor of n?
True
Let a(h) = -h**2 - 2*h**2 + 0*h**2 + 2*h**2 + 4*h + 8. Let f be a(7). Is (f/(-5))/(1/5) a multiple of 3?
False
Suppose 27*q = 24*q + 495. Is 12 a factor of q?
False
Let p = -34 - -10. Let y = -16 - p. Suppose 3*h + 240 = y*h. Is h a multiple of 12?
True
Let m be 4 - (1 - (1 - 2)). Suppose -4*g + 4 = -m*g. Suppose 6 = -g*r, -97 = -4*t - 2*r - 31. Is t a multiple of 9?
True
Let f(b) = -b - 1. Let h be f(-4). Let n be ((-2)/10 - (-5376)/80) + -3. Suppose n = h*q + q. Does 8 divide q?
True
Let b = 2 - -10. Does 15 divide (19/b + 1/(-4))*45?
True
Let h be 9/((-198)/4) - 70/(-22). Is 21 a factor of (-1)/12*h - (-485)/4?
False
Let x(i) = 0 - 7*i + i**3 - 2 - 1 - 3 + 3*i**2. Let w be x(-4). Does 7 divide ((-56)/6)/((-4)/w)?
True
Let u(h) = h**2 - 4*h + 7. Let a be u(5). Let m be (a/8)/(3/40). Suppose 0 = l + 4*l + z - m, -2*l + 31 = 5*z. Does 3 divide l?
True
Let f(c) = c**2 - 7*c + 17. Suppose -7*r = 5*v - 4*r + 5, -2*v + r = -9. Suppose 0 = 3*n - 4*d + 5*d - 30, 4*n + v*d = 42. Does 35 divide f(n)?
True
Is (9*4 + 0)*(-1216)/(-192) a multiple of 19?
True
Suppose 2*s - 14 = -4*p, -2*p = -5*s + 4 + 7. Suppose -8 = -p*b - 2. Suppose 