ose 0 = 5*b - i*k - 5110, -885 = -b + 5*k + 160. Is 30 a factor of b?
True
Suppose 5*h + 3*w = 220442, -h + 149*w + 44078 = 147*w. Is 31 a factor of h?
False
Let n = -129 - -244. Let f = n - 66. Let u = 22 + f. Is 12 a factor of u?
False
Let m(k) = -k**3 - 12*k**2 - 20*k - 40. Let g be m(-11). Suppose -g*h + 54*h + 5090 = 0. Is h a multiple of 69?
False
Let o(y) = -y**2 + y + 231. Suppose r - 4 = 2*a, a + 3*r = -0*a + 12. Let q be o(a). Suppose 4*u + j = 3*u + q, 1145 = 5*u - 5*j. Does 46 divide u?
True
Let k be (0 + 4/6)*(-28809)/(-66). Let i = k + -159. Suppose -2*x = x - i. Does 11 divide x?
True
Is 9 a factor of (-3 - 0 - (-4 - -5)) + 0 + 3253?
True
Let k(y) = 2*y**3 - 3*y**2 + 3*y + 4. Let a be k(4). Let b = 109 - a. Suppose -10*i - 219 = -b*i. Is 3 a factor of i?
False
Let o(v) = 1831*v + 89. Is 48 a factor of o(1)?
True
Let w = -116 - -329. Let k = -80 + w. Is k a multiple of 15?
False
Let b(j) = 6*j**2 - 15 + 18*j + 4*j**2 - 9*j**2. Is b(-20) a multiple of 5?
True
Let q(b) = -24*b + 5*b**3 + 7*b**3 - 11*b**3 - 9*b**2 + 18. Let x be q(11). Let r = x + 130. Does 14 divide r?
True
Let r(b) = -b + 3579. Does 59 divide r(30)?
False
Let i = -9425 + 17719. Is 29 a factor of i?
True
Let g(q) = 4*q**2 + 2*q + 3. Let i be g(-9). Let w = -246 + i. Is 11 a factor of w?
False
Suppose 117849 = 379*f - 1807471. Does 4 divide f?
True
Let a = -79 - -87. Suppose -a*x = -15*x + 854. Suppose x = -17*b + 19*b. Is b a multiple of 17?
False
Let y(s) = 34*s + 27. Let v be y(3). Suppose -3*f - 4*t = -v, f + 0*t = 2*t + 43. Is 11 a factor of f?
False
Let q(j) = -2*j + 1. Suppose 0 = -7*d + 2*d - 5. Let s be q(d). Suppose 3*r - 4*g = 83, 4*g + 27 = r + s*g. Does 7 divide r?
False
Let k(u) be the first derivative of -33*u**2/2 - 69*u - 31. Does 8 divide k(-11)?
False
Let f(n) = -262*n**2 + 3*n - 6. Let z(g) = 1. Let p(k) = -f(k) - 5*z(k). Does 83 divide p(-2)?
False
Let j(z) = 2*z**3 - 11*z**2 + 11*z - 26. Let s(a) = a**3 + 8*a**2 + 12*a + 42. Let r be s(-7). Is 22 a factor of j(r)?
True
Suppose 5*r + 36633 = 2*d, -14*d - 3*r + 88721 = -167824. Is d a multiple of 12?
True
Suppose 0 = -114*h + 119*h - 2400. Is 8 a factor of h?
True
Let n(a) = -12*a - 12. Let m be n(-9). Let l = -49 + m. Let p = l + 61. Does 27 divide p?
True
Let j = 4335 - -272. Is j a multiple of 10?
False
Let i = 764 - 930. Is i*(3/(-15))/((-4)/(-10)) a multiple of 12?
False
Suppose 4*d - 4555 = -5*v, 5*v - 4*d + 5*d - 4570 = 0. Is 25 a factor of v?
False
Let n = 32246 - 18405. Is 10 a factor of n?
False
Suppose -8*k + 18 = -11*k. Let w be (((-135)/k)/5)/(2/4). Suppose w*u = 14*u - 875. Is u a multiple of 30?
False
Let s = 211 - 216. Is 3 a factor of (84/s)/((-20)/50)?
True
Suppose 3*v + 2*y = -0*y + 12919, v = -3*y + 4311. Is 123 a factor of v?
True
Let q(g) = 240*g - 9. Suppose -h = -3*u - 14, h + 5*u = u - 14. Is q(h) a multiple of 40?
False
Suppose 8*d + 0*d = 3*o + 25824, 0 = -5*d - 3*o + 16101. Is d a multiple of 38?
False
Suppose 22 = 3*x - 17. Let j be x/(((-5)/(-105))/1). Let l = j - 189. Does 14 divide l?
True
Let a(w) = -w**3 + 12*w**2 + 13*w + 2. Let k = -17 - -30. Let x be a(k). Suppose -x*f - 126 - 58 = -5*d, -5*f = 5*d - 205. Is 8 a factor of d?
False
Suppose -3*r + 2*l + 43276 = 0, -4*l = -2*r - l + 28839. Is r a multiple of 8?
False
Suppose 0 = 4*v + 3*j + 4 - 21, -3*v + 4*j = -19. Suppose f + 10 = 6*f, 5*u + 3*f = 21. Suppose 420 = u*n + d + d, 3*n = -v*d + 411. Does 11 divide n?
False
Does 126 divide 3*-9*(-3)/(555/(-140) + 4)?
True
Suppose 0 = 3*k - 3*i - 1017, i = -3*k - 0*i + 1025. Let s = 511 - k. Does 17 divide s?
True
Suppose 2*p = -3*x + 7206, x - 2*p - 3*p = 2351. Does 6 divide x?
False
Let y be -1*(-5 + (-10)/5) + -3. Let j(c) = 0*c**2 + c**2 - c**2 + 1 + c**2 + 2*c. Is 25 a factor of j(y)?
True
Let g be (-2)/(3 + (-59)/19). Let b = g - 15. Does 18 divide (2 - 16)*-2*13/b?
False
Suppose 3092 = 4*w + 4*x, -241*w + 2*x + 2299 = -238*w. Does 7 divide w?
False
Let r(l) = -l**3 - 23*l**2 + 2. Let z be r(-23). Let c = z - 0. Suppose 5*h + 583 = 4*u, u - c*h - 154 = 2*h. Is u a multiple of 17?
False
Let c = -5948 + 17098. Is c a multiple of 223?
True
Let i = -141 - -95. Let p = 115 - 9. Let z = p + i. Does 11 divide z?
False
Let y = 461 + -399. Let j be -2 + 2 - 5 - -2. Let f = j + y. Is 9 a factor of f?
False
Suppose 0 = o - 3*o + 4. Suppose -q - 5*c + 95 = 4*q, -o*q - c = -33. Suppose 0 = d - q - 103. Is d a multiple of 34?
False
Suppose -179840 = -111*a - 17*a. Is 9 a factor of a?
False
Suppose -5*d + 10 = 0, 3*r + 4*d - 12 + 1 = 0. Let p(h) = 18*h - 16. Is p(r) a multiple of 2?
True
Let d(i) = -i**3 + 7*i**2 + 5*i - 20. Let z be (-396)/(-60) + 2/5. Let f be d(z). Suppose 165 = 3*r - f. Is r a multiple of 10?
True
Suppose -28 = -15*p + 17. Suppose w + 3*w + 20 = 0, -a = -p*w - 145. Does 9 divide a?
False
Suppose -3*p - 1514 - 706 = 4*j, -555 = j - p. Let i = j + 558. Is 3 a factor of i?
True
Let t(p) = -3*p**2 - 6*p + 10. Let n(o) = -3*o**2 - 7*o + 10. Let g(i) = 4*n(i) - 5*t(i). Does 10 divide g(6)?
True
Suppose -3*n = -2*a - 65662, -126 = -n - 2*a + 21764. Does 228 divide n?
True
Let s = -244 - -426. Let r = 118 + s. Does 28 divide r?
False
Let x(b) = -4*b**3 + 14*b + 3. Let q(n) = -7*n**3 + 28*n + 6. Let t(d) = -3*q(d) + 5*x(d). Is t(6) a multiple of 9?
False
Let i(q) = q**3 + q + 168. Let c be i(0). Suppose 3*j - c = -u, -3*j = 3*u - 0*u - 492. Does 9 divide u?
True
Does 18 divide (-164)/(((-836)/969)/11)?
False
Let a be (-204)/272 + (11/4)/1. Does 17 divide a/(-3)*1674/(-12)?
False
Let r(v) = -118*v**3 - 2*v**2 + 5*v - 1. Let x(z) = -z**3 - z**2 - z - 1. Let m(q) = -r(q) - x(q). Let y be 12/(2 - 0) + 14/(-42)*15. Does 15 divide m(y)?
True
Let q = 161 - -322. Let b = 187 + q. Is b a multiple of 13?
False
Let m be 2/(-3)*(-5 - 13). Let c(r) = 15*r**2 - 8*r - 4*r**3 - 2*r + 3*r**3 + 3*r**3 - m. Is 2 a factor of c(-8)?
True
Let z = 68360 - 45653. Does 20 divide z?
False
Suppose 0 = 4*m - w + 4 - 2, 5*w = -3*m + 10. Suppose -5*c - 5*v + 830 = m, c - 224 = -5*v - 66. Does 21 divide c?
True
Let h be -1 - 1 - 1209 - (5 - 3). Let v = -872 - h. Does 14 divide v?
False
Let t(p) = 36*p - 12. Let c = 258 + -252. Is 51 a factor of t(c)?
True
Suppose 2715 = 91*b - 94*b. Let r = 171 - b. Is r a multiple of 78?
False
Suppose -14*d + 4903 = -7697. Is 15 a factor of d?
True
Let c be -2*(48/26 + (-2)/(-13)). Let h(j) = 17 - 22*j + 54*j - 22*j - 25*j. Is 11 a factor of h(c)?
True
Suppose -97*l - 15571 + 177381 = -32481. Is l a multiple of 7?
False
Suppose 0 = -0*j - 5*j - f + 14, 4*j + f - 11 = 0. Suppose -2*v - h = -2*h - 121, -154 = -j*v - 4*h. Does 5 divide v?
False
Suppose -4*b - d - 262 = -2701, -1824 = -3*b + d. Let s = 895 - b. Is s a multiple of 11?
True
Suppose 0 = 4*f - 32, 113632 = 9*z - 4*z + 4*f. Does 16 divide z?
True
Suppose 0 = -2*s - 5*r + 3767, 13*s - 14*s + 4*r = -1916. Suppose 0*z - 2*z + s = 2*q, 4*q - 2846 = -3*z. Is 86 a factor of z?
True
Let m = 16173 + -8389. Is m a multiple of 95?
False
Suppose 0 = 2*s + 5*w - 20, -2*s + 36 = -0*s - 3*w. Suppose -272 = 11*l - s*l. Let o = l - -7. Is o a multiple of 5?
True
Suppose 2*s - 379 - 578 = -q, 3*q = 4*s + 2901. Suppose -q - 2271 = 14*p. Does 21 divide 0/(-3) - 1*p?
True
Suppose -r = 2*y - 25609, -30*y + 34*y = -r + 25611. Is r a multiple of 43?
False
Let d(b) = b. Let k be d(-1). Let a be k*6/2*1. Is 11 a factor of (a - (0 + 9))/((-6)/33)?
True
Suppose 4*d - 6 = 3*s + d, -4*d + 12 = 0. Does 37 divide -7*s + -45 + 681?
True
Suppose 2*r + 8 = -82. Let x = r + 37. Let h = x + 19. Does 2 divide h?
False
Let h = -100537 + 146980. Is 113 a factor of h?
True
Suppose 4 = 2*t + 4*h + 22, -h = -5*t - 1. Let n be 0*(-4 - (t - (-7)/(-2))). Suppose z + 2*q = 6*z - 60, 4*z - 3*q - 55 = n. Is z a multiple of 10?
True
Let l(o) be the third derivative of -7*o**6/120 - 7*o**5/60 + 3*o**4/8 - o**3/3 + 102*o**2 + 1. Is l(-4) a multiple of 11?
False
Suppose 12*k = 38922 + 8454. Does 21 divide k?
True
Suppose -28*a = -37*a - 4338. Let w = 549 + a. Is 7 a factor of w?
False
Suppose 3*t = 2*l + 2*t + 17, 0 = 5*l - 2*t + 43. Let s(c) = c**2 - 25*c + 14. Is s(l) a multiple of 20?
True
Suppose -5553 - 6191 = -p. Does 92 divide p?
False
Suppose g - 2395 = 3*a + 2*a, 3*g - 7265 = -a. Does 32 divide g/13 - -2*(-6)/78?
False
Is (20142/(-36))/(21