uppose -6*a + 58 = -s*a - 2*u, 3*a + 4*u - 82 = 0. Is 9 a factor of a?
False
Let p = -55 - -343. Suppose 4*k - p = -108. Does 19 divide k?
False
Let o(p) = 678*p**2 + 24*p + 40. Is 52 a factor of o(-2)?
True
Let s(i) = 7*i**2 + 6*i - 10. Suppose 0 = 5*l - 20. Does 18 divide s(l)?
True
Let n = -130 + 280. Does 10 divide n?
True
Let f = -189 - -266. Suppose -5*q = -f + 12. Is q a multiple of 3?
False
Let n be (1 - 2) + -3 + 6. Suppose 3*c + 3*y = 201, -c = n*y - 9 - 61. Does 16 divide c?
True
Suppose 5*m - 138 + 8 = 0. Let f = m - 24. Suppose i + 54 = f*i. Is i a multiple of 9?
True
Suppose -5*j + 2294 = -1816. Let s be 4/14 + j/14. Suppose 0 = v - 4*a - s, -v + 236 = 3*v - a. Is v a multiple of 23?
False
Let o(f) = f**3 + f**2 - f + 2. Let s be o(0). Let i = 681 + -649. Suppose 6 = 6*h - 3*h, s*k - 2*h = i. Does 3 divide k?
True
Is 10 a factor of 7 - (-4 + 12) - (-30 + -1)?
True
Is -12 + (7 - 1) + (3 - -367) a multiple of 26?
True
Is 28 a factor of (-36920)/(-16) + ((-9)/(-6) - 0)?
False
Suppose 4*q - 20 = 4*t, -3 = -0*t + 3*t. Let s be (-2)/q - 34/(-4). Suppose -s*y = -9*y + 46. Does 14 divide y?
False
Suppose -4*k + k - 4*u - 38 = 0, 3*k + 3*u + 39 = 0. Let o = k + 58. Is o a multiple of 5?
False
Suppose -2*f = -0 - 8. Suppose -f*u + 249 = -y - 10, -1 = -y. Is u a multiple of 13?
True
Is 6/(-24)*15*520/(-3) a multiple of 25?
True
Let m(v) = -6*v**3 + v**2 + 4*v + 6. Does 2 divide m(-3)?
False
Suppose 7*t = 25*t. Suppose -l - 32 + 131 = t. Is l a multiple of 9?
True
Suppose -3*o = -4*c - 3829, 2*o - 3*o + 1278 = -3*c. Is 17 a factor of o?
True
Let c(v) = 10*v**2 + 7*v + 2 + v**3 - 3 + 2 + 0*v**2. Is c(-8) a multiple of 24?
False
Suppose -v - 44 = -3*m - 5, 2*v + 3*m + 42 = 0. Let d = -18 - v. Does 9 divide d?
True
Let j(s) = 88*s + 38. Does 15 divide j(4)?
True
Let k(l) = 13*l**2 + 9*l - 7. Is k(-5) a multiple of 21?
True
Let v = 43 - -9. Let t = v - 119. Let s = 111 + t. Is s a multiple of 17?
False
Let g(u) = -u**3 - 14*u**2 - 3*u + 10. Is g(-14) a multiple of 26?
True
Let m be 22 + (3 + -7 - 0). Is 18 a factor of 570/8 - m/(-24)?
True
Let v(l) = -2*l**3 - 101*l**2 + 30*l - 54. Does 12 divide v(-51)?
False
Suppose 2*n - 3168 = -4*n. Suppose -2*b = z + 2*b - 191, -3*z + 3*b = -n. Is 36 a factor of z?
False
Let i = 411 - 321. Is i a multiple of 5?
True
Is 8 a factor of (-2 - -8)/((-3)/(-109))?
False
Let m(p) = p**2 + 8*p - 8. Is 2 a factor of m(-10)?
True
Suppose 3*n = -810 - 2169. Let i = 205 + n. Is i/(1 + -5) - 0 a multiple of 40?
False
Suppose -6 = -3*r, -2*c + 48 + 16 = 5*r. Let x = c - -11. Let w = 76 - x. Does 19 divide w?
True
Let n be (3*(-4)/(-3))/(4/6). Suppose 0 = n*g - 9*g - s + 53, -3*s + 31 = g. Is g a multiple of 2?
True
Let t(o) = 3*o + 7. Let j(f) = f**2. Let u(z) = 3*j(z) + t(z). Does 13 divide u(-2)?
True
Suppose -3*i + 223 + 1010 = b, 6230 = 5*b + 2*i. Does 52 divide b?
True
Let j = -8 + 11. Suppose j*x + 5*c = 15, 2*x - x - 2*c - 5 = 0. Suppose -5*l + 7*r + 15 = 2*r, -43 = -x*l - 2*r. Is l a multiple of 6?
False
Let b(c) = 12*c - 10. Let n be b(1). Let p(j) = j**2 + j + 3*j**2 + 2*j**2. Is p(n) a multiple of 10?
False
Let j(g) be the second derivative of -g**4/12 - 4*g**3/3 + g**2/2 - 13*g. Suppose 2*x = 3*d - 8, 3*x - 3*d = -0*d - 15. Is 6 a factor of j(x)?
False
Suppose -5*f = -2*v - 574, f - 2*f + 122 = 2*v. Suppose 0 = -8*d + 404 + f. Is 13 a factor of d?
True
Let g = -58 + 50. Let q(s) = 2*s**2 + 11*s - 7. Does 9 divide q(g)?
False
Suppose u - 18 = -22. Let w be (16/6)/(3/(-81)). Does 27 divide (w/20)/(u/90)?
True
Suppose 129*p - 122*p - 350 = 0. Is p a multiple of 10?
True
Let d(g) = 2*g**2 + 4*g + 12. Is 21 a factor of d(10)?
True
Suppose w + 16 = -3*r, -5*r + 11 + 2 = -4*w. Does 21 divide w*(-4 - (4 + -5))?
True
Suppose -2*x - 44 + 54 = 0. Suppose -5*c - 2*l + 63 + 61 = 0, -x*c + 130 = 5*l. Does 6 divide c?
True
Let a be ((-80)/24)/(4/(-6)) - 3. Suppose -p - 4*k + 2 = 0, 44 + 8 = a*p - 4*k. Does 3 divide p?
True
Does 21 divide (-27)/(5*15/(-5425))?
True
Let s(h) = h**2 + 6*h - 4. Let y be s(-6). Let c = 118 + y. Does 8 divide c?
False
Does 17 divide (854/4)/((-46)/(-92))?
False
Let c = 1949 + -1307. Is 3 a factor of (0 - 6/21) + c/42?
True
Let b(w) = -33*w + 3. Let g(f) = -67*f + 7. Let v(z) = 5*b(z) - 3*g(z). Is v(4) a multiple of 23?
True
Let c = 223 - -164. Is 43 a factor of c?
True
Suppose -3*a = -4*h - 4240, 2*h + a - 1487 = -3607. Is 2/9 - (h/9 + 4) a multiple of 28?
False
Let k(p) = p**2 - 13*p + 6. Let i be k(13). Let f = 50 - i. Is f a multiple of 22?
True
Let q(r) = 5*r**2 - 3*r - 11. Let x(j) = -11*j**2 + 7*j + 23. Let n(m) = -13*q(m) - 6*x(m). Suppose 10 = -3*s - 4*c, 15 - 31 = 2*s + 5*c. Is 2 a factor of n(s)?
False
Let m = 5 - 5. Let l be (m - -1)*(-55)/5. Let s = l + 15. Is s a multiple of 2?
True
Let u be (-18)/24 - 22/(-8). Let k(f) = -5*f**3 + 3*f**2 - 5*f + 7. Let r(g) = 9*g**3 - 6*g**2 + 10*g - 13. Let w(q) = 5*k(q) + 3*r(q). Is 5 a factor of w(u)?
True
Let v = 343 + -157. Is v a multiple of 6?
True
Suppose -1 = -b + 1. Does 12 divide (-5)/b*(3 + -15)*2?
True
Suppose 0 = -12*u - 691 + 2215. Does 18 divide u?
False
Suppose 2 = -4*c + 5*c. Let f be 159/18 - c/(-12). Let a = -3 + f. Is a even?
True
Suppose 5*b - 65*b + 48000 = 0. Does 8 divide b?
True
Let y(d) = -d**2 - 9*d + d**2 - 209 + 205 + 5*d**2 + d**3. Is 14 a factor of y(-6)?
True
Let o = 765 - 81. Is 53 a factor of o?
False
Let x = 606 + -4. Does 12 divide x?
False
Suppose 0*c + 2*c = -56. Let t be (-2)/(-7) + 1128/c. Let u = -24 - t. Does 8 divide u?
True
Let j = 48 - 12. Suppose 132 - j = -3*u. Does 5 divide (-6)/(-2) + u/(-2)?
False
Suppose 6*n = n, 2*n = 2*t - 686. Does 50 divide t?
False
Let w = 54 + -15. Let c = -24 + w. Let a = -1 + c. Is 6 a factor of a?
False
Suppose -2*z + l + 30 = 6*l, 5*z = 3*l + 44. Let g(q) = -9*q - z + q**2 - 2*q**2 + 17. Does 8 divide g(-8)?
False
Let c(k) = 4*k**2 + 25*k + 10. Is c(-10) a multiple of 10?
True
Does 4 divide 88/(-572) - 4318/(-13)?
True
Is 4 a factor of 3/(-6)*-6*(-6 - -22)?
True
Suppose 4 = -2*y - 0*o - 2*o, y = -4*o - 5. Does 6 divide (0 - 1)*(y + -11 + 0)?
True
Let y(w) = -w + 4*w + 19 - 2*w. Is 11 a factor of y(14)?
True
Let c(v) = v**2 - 5*v - 8. Let u be c(13). Suppose k + 227 = 5*x - x, -2*x + u = -4*k. Is 10 a factor of x?
False
Let v(h) be the second derivative of 2*h**3/3 - 8*h**2 + 4*h. Let u = 7 - 1. Is 2 a factor of v(u)?
True
Is (-2 + -1)/((-30)/4940) a multiple of 26?
True
Suppose -41 - 12 = -g. Let j = g + 18. Suppose -8 = u - j. Is 21 a factor of u?
True
Let z = -558 + 902. Is z a multiple of 43?
True
Suppose -4*s = 4*u - 824, 4*u = 8*u + 3*s - 827. Is 78 a factor of u?
False
Suppose -5*p + 1610 = 3*j, -4*j - 2*p + 5*p + 2195 = 0. Is j a multiple of 8?
False
Suppose 31*f = 18285 + 14854. Does 36 divide f?
False
Let t be ((-2)/6)/(10/(-9150)). Suppose -5*j + j = 3*v - 302, -j = 3*v - t. Does 19 divide v?
False
Is 32 a factor of (-1 - -41) + 0/2 + 3?
False
Suppose 0 = 17*y - 12*y - 4000. Is 25 a factor of y?
True
Suppose 2*n - 20 = -4*k, -2*n - 3*n + 10 = 2*k. Suppose -k*z + 1254 = 6*z. Does 19 divide z?
True
Let y = 131 - 87. Suppose -2*s + 4*l + y = 0, s + 2 + 4 = -5*l. Suppose -s*a = -11*a - 153. Does 8 divide a?
False
Let p(t) = -3*t**2 - 36*t + 39. Let f be p(-16). Let x = f + 348. Is x a multiple of 15?
True
Let s(d) = d**3 - 6*d**2 - 18*d - 7. Is 16 a factor of s(10)?
False
Suppose 11884 = 14*o - 6932. Is o a multiple of 16?
True
Let k be (-1)/(9/6) - (-13)/(-3). Let q(v) = v**3 + 5*v**2 - 5*v - 3. Is 8 a factor of q(k)?
False
Let y = 0 + -17. Let w = -15 - y. Is 3 a factor of (-3)/w - 45/(-10)?
True
Let o = 188 + 245. Is o a multiple of 19?
False
Suppose -3*t + o = -0*t - 166, 3*o = 2*t - 106. Let n = -164 - -167. Suppose j = n*q - t, q - 2*j = 4 + 18. Is q a multiple of 6?
True
Suppose 0 = -5*h + 9 + 1. Suppose -f + 99 = h*f + 3*b, -4*f = 5*b - 135. Let n = 47 - f. Is n a multiple of 17?
True
Let m(a) = 3*a + 3. Let i(z) = 10*z + 8. Let q(d) = 2*i(d) - 7*m(d). Let l be q(-7). Suppose -h + l = -3. Is h a multiple of 2?
False
Suppose -5*k = -15 - 15. Suppose -k*y + 8*y - 53 = -3*c, 2*y + c - 55 = 0. Is y a multiple of 28?
True
Let x = 674 + -362. Let n = -157 + x. Is n a multiple of 34?
False
Suppose -m - 13 + 17 = 0. Suppose -m*q + 160 = 4*l, -5*q = -2*l - 2*l - 