t b = 67 + -61. Does 6 divide v(b)?
False
Suppose 3*m - 1443 = -3*j, -5*m + 2140 = 3*j + 707. Is 18 a factor of j?
True
Suppose -3*y = -2*y. Let l(d) be the third derivative of d**6/120 + d**5/60 - d**4/24 + 17*d**3/6 + 7*d**2. Does 17 divide l(y)?
True
Let r be (-2)/(-4)*-2 - -1. Let k be r*1/(-1) - 0. Suppose 9*y - 11*y + 148 = k. Is y a multiple of 16?
False
Let x be 5166/22 + 2/11. Is 31 a factor of x/2 + 30/20?
False
Let s = -943 - -2968. Is 40 a factor of s?
False
Suppose -4*m + m = 3*p - 1035, -m = -3*p - 361. Does 21 divide m?
False
Suppose -2*c + 94 = -318. Is c a multiple of 9?
False
Suppose a = -0*t + 2*t - 2365, 5*a = -2*t + 2383. Is 4 a factor of t?
True
Let z = 1 + -3. Let v(y) = 0 - 4 - y - 2*y + y**2 + 3 - 2*y**3. Does 11 divide v(z)?
False
Suppose -1187 = -27*q + 8641. Does 64 divide q?
False
Suppose -3*l + 269 = -z, -7*l = -4*l - 5*z - 265. Is l a multiple of 30?
True
Suppose 2*w - 10 = -0*b - b, 12 = 2*b + 2*w. Is ((-20)/(-6) - b)/((-2)/(-225)) a multiple of 30?
True
Let p = -66 + 96. Suppose -4*k + 26 + p = 0. Does 7 divide k?
True
Suppose 5*w - i - 3600 = 0, -w - 5*i + 627 + 93 = 0. Is 79 a factor of w?
False
Let h be (-12)/(-4 + (-500)/(-128)). Let s = 204 - h. Suppose -4*l = 2*v - 56, s = 2*v - 0*l - l. Does 13 divide v?
False
Suppose 19*a - 23*a + 1224 = 0. Does 3 divide a?
True
Let w be (-28)/21 - 2/(-6). Let c = 0 - w. Is 14 a factor of (1/(-3))/(c/(-42))?
True
Suppose 2*k = 5*u + 206, -132 = 3*u + 3*k - 7*k. Let n = -38 - u. Suppose -n*j + 210 = m, 168 + 42 = 2*j + 2*m. Is 35 a factor of j?
True
Suppose 0 = -2*u - 4*l + 168, -5*u - 4*l = 67 - 487. Does 2 divide u?
True
Suppose -3*k = 5*t - 80, -79 = -4*k + 2*t - 7. Let v = k - 32. Does 3 divide (-6)/(v/8 + 1)?
True
Let j(p) = 8*p**3 - 3*p**2 + p + 1. Let t be j(1). Let w(l) = l**3 - 6*l**2 - 2*l + 4. Does 13 divide w(t)?
True
Let k(p) = 14 + 0*p**2 + p**2 + 6*p + 0*p. Let u = 43 - 56. Does 18 divide k(u)?
False
Let d = 370 + -123. Is d a multiple of 10?
False
Suppose -91 = 9*w - 703. Does 26 divide w?
False
Suppose -3*k = s + 2*s - 93, -5*k = -2*s + 62. Does 8 divide s?
False
Suppose s = d + 419, 462 = s - 4*d + 49. Suppose 5*r - 674 = s. Is r a multiple of 33?
False
Let w(p) = -p**3 + 7*p**2 + 6*p - 10. Let u be w(7). Suppose 0 = -13*m + 149 - u. Is m a multiple of 2?
False
Let u be 13/(-65) + (-3498)/10. Let r = -207 - u. Is 15 a factor of r?
False
Suppose 9*g - 15 = 39. Suppose 134 = g*c - 250. Does 36 divide c?
False
Let z be (-1)/(4/6 + -1). Suppose -2*v - 3*c - 1 = 0, 32 + z = 5*v - 5*c. Suppose h - 10 = v*t - 101, -h + 107 = 5*t. Is 9 a factor of t?
False
Let o = 469 + -403. Does 22 divide o?
True
Let z(g) = -g - 8. Let a be -4*(0 - 0 - -2). Let x be z(a). Is (x - -1)*(-5 - -14) a multiple of 9?
True
Let p be 981/(-63) - 4/(-7). Is 20 a factor of 4/10 - 2244/p?
False
Suppose -j - 5 = 2*i - 17, -2*j - 4 = -3*i. Suppose 5*m = 5*l + 50, -4*m + 49 = i*l + l. Is m a multiple of 10?
False
Let u = -299 + 663. Let s be 2 + 0 + (5 - 2). Suppose 0 = 3*y + 2*n - 236, -3*n - u = -s*y + n. Is 15 a factor of y?
False
Let m = 1415 - 1035. Does 19 divide m?
True
Suppose -7*o - 3*y + 36 = -2*o, 15 = 3*o + 4*y. Let t = 30 - o. Suppose -t*z = -17*z - 44. Is z a multiple of 11?
True
Let o(s) = s**3 + 2*s**2 - 3*s + 6. Let n(i) = -i**3 - i**2 + 2*i - 5. Let d(w) = 5*n(w) + 6*o(w). Does 10 divide d(-8)?
False
Let h(y) = 50*y - 6. Let b be h(3). Let i = 5 - 5. Suppose -3*t - t + b = i. Is 15 a factor of t?
False
Let v(z) = 242*z + 138. Does 50 divide v(3)?
False
Let h(v) = -6*v + 33. Is 11 a factor of h(3)?
False
Let o = 3 + 1. Suppose 5*q - 2*p - 73 = 0, o*p - 3 + 6 = -q. Let a(m) = m - 2. Is 5 a factor of a(q)?
False
Suppose 4 + 2 = 3*g. Let w = 373 + -220. Does 6 divide g*(w/(-6))/(-3)?
False
Let j(i) = -6*i + 13. Let k(d) = -3*d + 7. Let z(m) = 6*j(m) - 13*k(m). Is z(6) a multiple of 2?
False
Does 4 divide (-6 - -1) + (242 - (-3 - 3))?
False
Suppose -196 = -26*s + 24*s. Let p(j) = 47*j - 2. Let c be p(2). Suppose -5*t = -m - c, 3*m = 5*t + 4*m - s. Is t a multiple of 11?
False
Let a = 748 - 706. Is a a multiple of 21?
True
Let v(s) = 54*s**2 + s. Let o = 0 + 1. Does 23 divide v(o)?
False
Let c = 41 - 23. Suppose o - c = -3. Does 15 divide o?
True
Let q = 29 - 21. Let s(n) = -n**3 + 9*n**2 - 8*n - 3. Let y be s(q). Is 7 a factor of 2 + (y + 13)*1?
False
Suppose -99*v + 383208 = -21999. Is 73 a factor of v?
False
Is (-2)/4*2*(-4960)/8 a multiple of 20?
True
Suppose y - 3*i = -16, y - 3*i + 8*i = 24. Is (0 - -177) + (y - -1 - -3) a multiple of 15?
True
Is 13 a factor of 36/(-15) + 2/5 + 613?
True
Let s = -6 - -6. Suppose s = -3*l - z - 32, 3*z = 4*l - 2*z + 11. Is (-87)/l + (-4)/(-12) a multiple of 4?
False
Suppose 0 = 5*l, -w - 2*l + 7 = -10. Suppose 14*z = w*z - 204. Is 14 a factor of z?
False
Let s be (5/(-2))/(((-15)/6)/5). Suppose 0 = 3*b + 3*q - 132 - 201, -s*q = 25. Is 22 a factor of b?
False
Let j be (26/5)/((-3)/30*-2). Suppose q = -z + 29, q - 2 - j = -2*z. Is q a multiple of 5?
True
Let l = 211 + -147. Is l a multiple of 3?
False
Let q = -65 + 40. Let k = q - -41. Suppose -v + k = -8. Does 12 divide v?
True
Let c(a) = -a**3 - 9*a**2 + 10*a + 4. Let q be c(-10). Suppose 0*x - 2*x + q = 0. Suppose -x*t + 37 = -113. Is 8 a factor of t?
False
Suppose 2598 - 20298 = -5*l. Is 30 a factor of l?
True
Suppose 29 = -o + 3*l + 8, 4*l = -o - 49. Is 28 a factor of (1 + 656)*(-11)/o?
False
Let f = -146 + 143. Does 15 divide (2 - 617/f) + 6/(-9)?
False
Suppose 31 + 34 = -5*w - 2*g, -4*w + g - 65 = 0. Let r = w - -15. Suppose r = -3*v - v + 276. Is 14 a factor of v?
False
Let a be 0/(1/1 + 1). Suppose 6 = f - a*f. Does 10 divide (52/f)/(10/45)?
False
Suppose 4*m = 4*c + 956, 0*m + 3*m - 2*c - 714 = 0. Is 13 a factor of m?
False
Suppose 10*m = 5*m - 10, -5*m - 10 = 3*d. Suppose d = -3*y + 13 - 4. Suppose -y*p = p - 156. Is 15 a factor of p?
False
Let t(x) = x**2 + 8*x - 2. Let q = -34 + 17. Let k be 1*-1*(-8 - q). Is t(k) even?
False
Let k be -2*(-81)/6 - 3. Let t = 6 + k. Does 6 divide t?
True
Let s(v) = -4*v**3 - v**2 - 2*v - 20. Let x(k) = -5*k**3 - k**2 - 3*k - 20. Let i(w) = -4*s(w) + 3*x(w). Let o be i(0). Let p = o - -22. Is p a multiple of 9?
False
Let m(i) be the first derivative of i**3/3 - 8*i - 7. Is 17 a factor of m(-10)?
False
Let u be (-4)/18 + (-7520)/(-144). Let y = -43 + u. Is 6 a factor of y?
False
Suppose 5*n = -2*k - 30, -4*k = -3*n - 10 - 8. Is 8 a factor of (n + 6)/(-6) - (-92 + 0)?
False
Let x = 2180 - 2036. Does 4 divide x?
True
Suppose -4 = -c - 0, -3*y + 4*c = -713. Is y a multiple of 27?
True
Let q(u) = 5*u - 3. Let j be q(2). Let l = j + -16. Let y(b) = -3*b - 1. Is 10 a factor of y(l)?
False
Suppose 4*g - 7*g + 2*i = -2720, -2*g + 3*i = -1805. Is 26 a factor of g?
True
Let w(h) = 3*h - 426 + 5*h**2 + 420 + h**3 + 3*h**2. Is 23 a factor of w(-4)?
True
Suppose -2*m = 3*t - 23, t + 32 = 5*t + 4*m. Let w(x) = 10*x - 8 - 2 - t + 1. Is 18 a factor of w(7)?
True
Let p = -558 + 718. Is p a multiple of 20?
True
Let q be -2*1/2*20. Let y = -16 - q. Suppose 0*s + 64 = y*s. Does 8 divide s?
True
Let d = 2 + -4. Let i(k) be the first derivative of -27*k**2/2 - 3*k + 43. Is 26 a factor of i(d)?
False
Suppose -8*d + 5*d = -96. Is (-3 + 108/16)*d/6 a multiple of 7?
False
Suppose -4*v = 4*u + 224, 5*u - 4*v = 6 - 313. Let d be -152*(7/(-4) - -1). Let s = u + d. Is s a multiple of 18?
False
Let d(y) = -2*y + 12. Let g be d(12). Let n = g - -18. Suppose -5*c - 5*x = -310, -2*c + n*c - 248 = 5*x. Is c a multiple of 31?
True
Suppose 977 = -5*z - 88. Let k = z + 388. Does 19 divide k?
False
Let k(b) = b**2 + 2*b + 1. Let m be k(-2). Let s be (-12)/(-4)*61/m. Suppose -3*g + s = 5*n, -3*g + 4*n = -5*g + 120. Is g a multiple of 13?
False
Suppose 5*i - 12 = i. Suppose 0*t + i*t - 45 = -3*f, -35 = -3*f - 5*t. Suppose -4*d + 20 = 0, 4*d + f - 6 = 2*l. Is 2 a factor of l?
False
Let v = -9 + 11. Suppose v*j - 2*c = -c + 90, -5*j + 5*c + 225 = 0. Suppose i = -0*i + j. Does 19 divide i?
False
Let u be 688/20 + (-4)/10. Suppose -4*l + u = -6. Is 4 a factor of l?
False
Suppose -40 = 20*s - 16*s. Is 4 a factor of (12 + 0)/((-15)/s)?
True
Let i = 55 + 119. Let j = i + -101. Is 11 a factor of j?
False
Is 16 a factor of ((-11)/4)/(-8*(-10)/(-5120))?
True
Let r be (1 - 210) + 24/(-8). Suppos