 a multiple of 7?
True
Suppose 5*m = 5*w - 25, 4*m = -0*w + 3*w - 14. Suppose -161 - 181 = -w*y. Is y a multiple of 33?
False
Let b(v) = v**3 - 4*v**2 + 4*v + 1. Let q be b(2). Suppose -2 - q = -d. Does 3 divide d?
True
Let x = 99 + -17. Suppose a - 2*q = 3*q + 90, a - q = x. Suppose -a = -3*f - 4*p, -4*f + 57 = p - 54. Is f a multiple of 4?
True
Suppose -13 + 3 = -w. Let o(z) = -z**2 + 11*z - 8. Let l be o(w). Suppose l*s + s - 135 = 0. Is s a multiple of 14?
False
Suppose r - 165 = -5*a, 3*r = 4*a - a + 405. Suppose 18*c - 20*c + r = 0. Does 12 divide c?
False
Let s be (195/(-25))/((-3)/15). Suppose -3*t - 15 = 0, -4*t - s - 14 = -u. Does 3 divide u?
True
Let q(t) = 18*t**2 + 1 - 21*t + 0*t**2 + 19*t + 15*t**2. Let b be q(1). Suppose k + 2 = b. Is 10 a factor of k?
True
Let j(l) be the third derivative of l**6/40 - 3*l**5/20 - 3*l**4/8 - 2*l**3/3 + 31*l**2. Does 15 divide j(5)?
False
Let t(o) = 3*o + 30. Let h be t(14). Let i = 244 + h. Is i a multiple of 28?
False
Let y be (3/(-9))/((-1)/(-21)). Let s(c) = c**2 + 3*c - 5. Is 23 a factor of s(y)?
True
Suppose 1548 = -5*k - l, -13 = -2*k - 2*l - 629. Let n = -182 - k. Is 32 a factor of n?
True
Suppose -5 = -g + 5. Suppose -34 = -m - g. Suppose -18 = -2*t + m. Is 6 a factor of t?
False
Suppose 0 = -5*m + 4241 + 709. Is m a multiple of 15?
True
Suppose -14*z + 17*z = -4*c + 2832, 5*z = -3*c + 4709. Is z a multiple of 4?
True
Let o(y) = -2*y + 20. Let b be o(10). Suppose 7*n - 15 - 181 = b. Is 13 a factor of n?
False
Let i(x) = -x**2 + 5*x - 20. Let c(h) = h**2 - 9*h + 40. Let r(s) = -3*c(s) - 5*i(s). Is 9 a factor of r(-8)?
False
Let z(f) = -2*f - 2. Let b be z(-2). Suppose 3*m + 645 = 4*y, 4*y + b*m + m = 675. Does 33 divide y?
True
Suppose 2*o + 1 = -7, -2*n = 2*o + 38. Let g = 43 + n. Is 4 a factor of g?
True
Let x(u) be the first derivative of -u**3/3 - 15*u**2/2 - 14*u - 4. Let j be x(-14). Suppose l = 5*t - 297, j = -0*t + t + l - 57. Is 12 a factor of t?
False
Suppose 1041 = 34*t - 1407. Does 6 divide t?
True
Suppose 4*x - 52 + 181 = 3*l, -x - 18 = 4*l. Does 11 divide x/(-25)*3*5?
False
Suppose -36363 = -31*i + 17515. Does 47 divide i?
False
Is (-7247)/(-9) + 1 + 11/(-9) a multiple of 23?
True
Suppose -5*t + 86 = -64. Suppose 6 = 3*i - t. Does 5 divide i?
False
Let z(n) = -3*n**2 + 4*n**2 + 0*n**2 + 4*n**2 + 3. Is 21 a factor of z(3)?
False
Suppose -60*p + 2784 = -54*p. Does 12 divide p?
False
Suppose 138*o - 135*o = 2838. Is o a multiple of 11?
True
Let u = 19 + -10. Let b(h) = -h**3 + 10*h**2 + 12*h - 3. Let z be b(u). Is z/10 - 3/5 a multiple of 6?
True
Let v(u) = 12*u + 39. Let i(c) = 23*c + 76. Let m(d) = 3*i(d) - 5*v(d). Is 11 a factor of m(0)?
True
Suppose 13*f - 17*f + 2040 = 0. Suppose 107*d - 112*d = -f. Is d a multiple of 23?
False
Suppose 14*q + 414 = 5*q. Let x = -51 - -36. Let c = x - q. Is 9 a factor of c?
False
Let a = 33 + 88. Let w = -90 + a. Is w a multiple of 6?
False
Let y = 15 - 10. Let k = 56 - 51. Suppose 5*f - 50 = -4*v, -y*f - 1 = -k*v + 84. Does 5 divide v?
True
Suppose -1582 = -5*a + 2328. Does 42 divide a?
False
Let q = 3 - -24. Suppose c = v - 24, 0*v = -v - 2*c + q. Does 10 divide v?
False
Suppose -1326 + 438 = -3*v. Suppose -3*x - 53 = -v. Does 18 divide x/(-6)*40/(-6)?
True
Let j(b) = 62*b - 36. Does 8 divide j(2)?
True
Suppose -25 = -5*g - 5. Suppose -5*k - 16 = c, k + 56 = g*c - 3*k. Is 9 a factor of c?
True
Suppose 5*w + 2*o = 2873 + 5953, 0 = w + o - 1767. Does 49 divide w?
True
Is 10/(-155) + 5460/62 a multiple of 3?
False
Let m = -47 + 49. Suppose -20 = 5*l + 5, -2*j - m*l + 136 = 0. Is 11 a factor of j?
False
Let k be 1/(4/8) - (-517 + 3). Let m = 861 - k. Is m a multiple of 15?
True
Is 12 a factor of 406/(-2 - -4) - -1?
True
Let f(x) = -x - 9. Let h be f(-11). Is 5 a factor of (12/(-20))/(h/(-50))?
True
Let f(q) = q + 42. Is 6 a factor of f(5)?
False
Suppose 0 = -12*d + 8*d + 184. Does 23 divide d?
True
Let x(a) = -10*a. Let r be (-4)/(7 + -3) + -4. Let k = 3 + r. Does 5 divide x(k)?
True
Suppose 12*n - 1780 = 236. Does 7 divide n?
True
Suppose -2*u - 5 = -13. Let p(t) = -12*t - 8. Let i be p(u). Let j = i + 137. Is j a multiple of 27?
True
Suppose -104 = -6*y + 2*y. Suppose 7 - y = -g. Does 10 divide g?
False
Is 5 + 2*(2 - 6) - -158 a multiple of 58?
False
Let y = 70 + 46. Is y a multiple of 4?
True
Let x(z) = 48*z**3 + z**2 + z + 3. Let r be x(2). Suppose 4*j + 0*n - n = r, 405 = 4*j + 3*n. Does 18 divide j?
False
Is 49 a factor of 2*3/(-24) + (-1525)/(-4)?
False
Suppose -5*a + 4*t + 484 = -0*t, a - 92 = -4*t. Suppose 2*s = 5*s - 9. Suppose s*f + f = a. Is f a multiple of 24?
True
Let m be (24/36)/((4/2)/6). Let a(l) = 20*l + 5. Is 9 a factor of a(m)?
True
Suppose -6*m + 3*m - 4*p = 169, m = 3*p - 78. Let o = m + 113. Is 10 a factor of o?
True
Suppose 3*z + x = -40, -5*x + 40 = 3*z - 4*z. Let d(p) = -p**2 - 17*p + 18. Is 21 a factor of d(z)?
False
Let b(z) = 2*z**2 + 9*z - 13. Let r be b(-6). Suppose 5*f = -r*h + 5, 4*h = -0*f - f - 5. Is 2 a factor of f?
False
Let q(g) be the third derivative of -g**5/30 - g**4/24 + 17*g**3/3 - 23*g**2. Is 5 a factor of q(0)?
False
Let l(n) = 2*n. Suppose -2*s = 3*y + 2*y - 33, 0 = 4*y - 5*s. Suppose -2*t = 2*t - y*g - 29, -g - 13 = -2*t. Is l(t) a multiple of 4?
True
Suppose -17*n + 253100 = 33*n. Does 16 divide n?
False
Let v = 1675 + -757. Does 51 divide v?
True
Is (53*-4)/(14/(-35)) a multiple of 53?
True
Suppose 2*v + 2*n - 794 - 2168 = 0, 3*v - 4451 = -n. Does 9 divide v?
True
Let i(s) = -5 - 2*s - 7*s - 5 - 3. Let u be i(-7). Let n = u + -29. Is n a multiple of 6?
False
Let b(w) = 3*w - 2. Let u(z) = -2*z + 1. Let v(s) = 3*b(s) + 5*u(s). Is v(-10) a multiple of 2?
False
Suppose -5*x = 3*v - 6*v - 25, 0 = v - 4*x + 13. Let n be (16 + -17)/((-2)/(-250)). Is v/(-35) + n/(-7) a multiple of 6?
True
Suppose -d + 10 + 22 = -5*m, -2*d + 3*m = -43. Let x be 54*(12/8 - 2). Let y = d - x. Does 21 divide y?
False
Let a be 16/120 + 4438/15. Suppose 0 = -0*y - 8*y + a. Does 18 divide y?
False
Is 38 a factor of -5 - (-8 + 2*-213)?
False
Is (84/(-70))/(-6 + 123564/20595) a multiple of 69?
False
Suppose -3*s - 10870 = -10*k, 4*k - 5*s = -s + 4348. Is 13 a factor of k?
False
Let q(h) be the third derivative of h**5/60 - 5*h**4/24 + 2*h**2. Let z be q(6). Does 18 divide (z/15)/(3/450)?
False
Suppose 2*v - 4*w - 1038 = 0, -2*v - 2*w = 2*v - 2026. Does 41 divide v?
False
Let q(z) = z**2 - 3*z + 2. Let m be q(5). Suppose -m = 2*w + 6. Let x(j) = -j**3 - 8*j**2 + 9*j + 10. Is 5 a factor of x(w)?
True
Is 59 a factor of 1302/11 + 196/(-539)?
True
Let o(h) = -h**3 - 13*h**2 - 5*h - 3. Let z be o(-5). Let k = -98 - z. Suppose -5*n + 5*v + 62 = -63, -4*v = 5*n - k. Is n a multiple of 6?
False
Let t = -141 - 76. Let k = -23 - t. Is 16 a factor of k?
False
Let x = -32 + 47. Suppose -8*f = -x*f + 1638. Does 18 divide f?
True
Is 1128/2 + (-52)/(-13) a multiple of 13?
False
Let o = -692 - -1156. Is 16 a factor of o?
True
Let v(y) = y**3 + 18*y**2 - 16*y + 26. Let q be v(-19). Let i = q - -81. Does 10 divide i?
True
Suppose 0*j - 13 = 2*j - 3*n, -5 = 5*j - 2*n. Let q be (-16)/12*3 - j. Is 12/q*910/(-28) a multiple of 13?
True
Let n be (-26)/(-4) - (-3)/(-2). Let f be n - (1 + 1 - 2). Suppose q - 5*o - 40 = 0, -5*o = -4*q + f + 95. Is 20 a factor of q?
True
Let a(f) = -56 + 28 + 25 + 3*f**2. Does 40 divide a(4)?
False
Let b = -61 + 89. Suppose j - b = -5*w, 5*w = 6*j - j - 20. Does 5 divide j?
False
Suppose 0 = 11*h - 365 - 823. Suppose 4*v - 4*l - 245 = l, 3*v + l - 179 = 0. Let x = h - v. Is x a multiple of 16?
True
Suppose 0 = 5*x - 42*j + 43*j - 1081, 4*j = -2*x + 436. Does 24 divide x?
True
Suppose 4682 = 5*b + d, -b - 5*d = -3*b + 1862. Is 13 a factor of b?
True
Let p(q) = -181*q**3 + q**2 + q + 1. Let m be p(-1). Suppose m = 13*o - 6*o. Is o a multiple of 24?
False
Let h be 5 + -6*(3/(-6) - -1). Suppose -h*r - 66 - 26 = -2*f, 3*r = 4*f - 183. Is f a multiple of 5?
True
Let h be (2*(-6)/(-12))/((-1)/43). Suppose 0 = -0*l + 3*l. Let c = l - h. Is 11 a factor of c?
False
Let h(z) = -z**2 + 9*z - 10. Let o be h(7). Suppose t - 2*a - 250 = -0*a, -1000 = -o*t - 3*a. Is 32 a factor of t?
False
Suppose 1061 = 2*q + 6*t - 5*t, 1579 = 3*q - t. Does 16 divide q?
True
Let s = 217 - 139. Suppose 5*t - s = 2*t. Is 11 a factor of t?
False
Le