/(-4)) - -197. Suppose -908 = -5*w - 2*j, k - 4 = w + 4*j. Is w a multiple of 36?
True
Suppose 33*k = -b + 30*k + 1877, -3754 = -2*b + 3*k. Is b a multiple of 59?
False
Let z = -969 + 987. Does 9 divide z?
True
Suppose -1006 - 402 = -2*y. Suppose 4*k = 5*s + 1404, 2*k - 11*s + 8*s = y. Is k a multiple of 46?
False
Let q = 16576 - 7045. Is q a multiple of 76?
False
Let h(b) = -310*b + 334. Is 9 a factor of h(-5)?
False
Let p = -38830 + 45472. Is 9 a factor of p?
True
Let t(a) = 724*a**2 + 302*a + 40. Is t(5) a multiple of 30?
True
Let i = -30 + 98. Let g = i - 80. Is g*12/(-16) - 1 a multiple of 4?
True
Let g(a) = -64*a - 7. Let s(v) = -65*v - 8. Let r(d) = 5*g(d) - 4*s(d). Let y be r(-1). Is (2 + -32)*y/(-6) a multiple of 18?
False
Let q(x) = 27*x + 1779. Is 19 a factor of q(0)?
False
Let d(c) = -c**3 + 2*c**2. Let y be d(-1). Suppose 4*x + p = 731, -722 + 177 = -y*x - 4*p. Suppose x - 78 = w. Is 15 a factor of w?
True
Suppose -3*k + 32 = 5*o, -2*k + 5*o = 10 + 2. Suppose -2*g = -5*p - 176 - 6, -p + k = 0. Let h = g + 47. Is 10 a factor of h?
False
Let t(r) = 24*r + 9. Let z(f) = -5*f**3 - 9*f**2 + 11*f. Let x(n) = 3*n**3 + 6*n**2 - 7*n. Let u(w) = 8*x(w) + 5*z(w). Let i be u(2). Does 3 divide t(i)?
True
Let u be 1/4 - (-534)/(-24). Let o be 4/10*(-420)/(-6). Let i = u + o. Does 6 divide i?
True
Let b(q) be the third derivative of 1/24*q**4 + 0 - 8/3*q**3 + 0*q - 9*q**2. Is 3 a factor of b(19)?
True
Let y be ((-1622)/4)/(-1) - 2/(-4). Let w = -136 + y. Suppose 2*q - w = -3*q - f, 0 = 5*q + 3*f - 270. Does 9 divide q?
True
Suppose -18*g = 11834 - 74564. Is g a multiple of 41?
True
Suppose -4*d - 5*f - 84 + 409 = 0, -d + 5*f + 50 = 0. Suppose 0 = -9*p + d - 30. Suppose -3*g - g + 4*c = -584, -5 = p*c. Is g a multiple of 29?
True
Suppose 535 = -809*f + 814*f + 5*i, 5*i = -4*f + 423. Let t be 140/6 + (-2)/6. Suppose -f = -m + t. Does 9 divide m?
True
Suppose 15035 = 5*q + 115*j - 111*j, j - 9021 = -3*q. Does 20 divide q?
False
Suppose 4*z - 3*l - 42 = 34, -l = 4. Suppose -44 = s - z. Let o = s + 168. Does 17 divide o?
False
Let u(w) = 7*w**3 - 33*w**2 - 3*w - 27. Let n be u(8). Suppose 0*g - g + 5*f = -n, -4*f = g - 1421. Does 49 divide g?
True
Let z be -2*1*1 - (-34 + -103). Suppose -8*m + z = -3*m. Is 3 a factor of m?
True
Suppose -2*i + 615 = 601. Let a(t) = 24*t**2 + 15*t - 33. Is a(i) a multiple of 52?
True
Suppose -2*l = 4*f - 22632, -4*l + 2*l = -f - 22617. Is 39 a factor of l?
True
Let d be (-115956)/(-84) + 18/(-42). Suppose 25*s + d = 31*s. Is 4 a factor of s?
False
Let c = -6 - -12. Suppose c*r - 5*r - 8 = -s, 0 = 3*s + 4*r - 26. Is 47 a factor of ((-4)/3)/1*(-1413)/s?
False
Suppose 27 = 5*m + 4*z, 0 = 84*m - 83*m + 5*z - 18. Does 6 divide 5*1286/80 + m/(-8)?
False
Let q = -13807 - -24487. Does 40 divide q?
True
Let m be (-23193)/(-9) - (-4 - 4). Suppose 296*w - m = 285*w. Is 7 a factor of w?
False
Let d(v) = -6526*v**3 - v**2 + 9*v + 9. Is d(-1) a multiple of 145?
True
Suppose -o = -155*a + 159*a - 36881, a = -2*o + 73741. Does 23 divide o?
True
Let g(d) = -5*d + 39. Let t be g(-18). Suppose 2*r + t = -3*s + 381, -4*r = -4*s - 484. Let l = r + -79. Does 9 divide l?
False
Suppose 147924 = -1390*n + 1394*n + 4*c, 2*n - 73938 = 2*c. Does 255 divide n?
True
Let a = 13 + -10. Let k = -28 - -30. Suppose -2*h = -3*s + 33, s - k*h = 2*s - a. Does 4 divide s?
False
Suppose -15*o + 32025 = -42852 + 267. Is o a multiple of 34?
False
Is 25 a factor of -6034*(156/(-12) + 12)?
False
Let m = 25139 + -17752. Is m a multiple of 16?
False
Suppose -4*l + 579 - 559 = 0. Suppose -l*m + 613 = 4*y, 764 = 4*y + y + 4*m. Is y a multiple of 4?
True
Suppose 0 = 5*y - 5608 + 118. Suppose -9*o + y = -5*o - 5*s, 812 = 3*o + 2*s. Is 9 a factor of o?
False
Does 13 divide (535/3)/(760/35568)?
True
Suppose -60*p + 128094 + 1473306 = 0. Is p a multiple of 24?
False
Suppose -3*l = k - 6426, -4*l + 11922 - 3354 = k. Is 34 a factor of l?
True
Let v = -7507 + 11025. Does 8 divide v?
False
Suppose -5*q + 4*q = m - 9, 2*q - 3 = -5*m. Let b = q - 14. Is 2 + (12 - b/(-2)) a multiple of 6?
False
Suppose -1729 = -2*c + g + 251, 3952 = 4*c + 2*g. Is c a multiple of 23?
True
Let r = 625 + -439. Suppose -3*w + 497 + 47 = -4*d, -w = d - r. Is 23 a factor of w?
True
Let x(y) = -70*y + 502. Let w(z) = -47*z + 333. Let v(c) = 7*w(c) - 5*x(c). Is 18 a factor of v(32)?
False
Suppose 1188 = 27*k + 5*k - 14*k. Does 22 divide k?
True
Suppose 6*c - 231 = 1125. Is c a multiple of 21?
False
Suppose 5*x - 9 = 4*x. Let r(g) = 8 + x - 2 - 7 + 5*g - g**2. Does 6 divide r(4)?
True
Let b(v) = 4*v**2 - 30*v - 24. Let c(q) = -35*q - 154. Let l be c(-4). Is b(l) a multiple of 20?
True
Suppose 12 = 4*d - 36. Does 51 divide (-1428)/d*(-3)/1?
True
Suppose k - 3*k = 5*m + 2187, 2186 = -5*m - k. Let i = 1096 + m. Does 12 divide i?
False
Let p = -43 + -64. Let n = 104 - p. Does 16 divide n?
False
Let p = -61241 + 93977. Does 48 divide p?
True
Suppose -13*n - 1222 = -16*n - g, 5*g + 10 = 0. Is n a multiple of 5?
False
Let g = -4 + 11. Suppose -g = -3*h - 1. Suppose -2*v + h*f = -176, 3*f - 5 - 1 = 0. Is v a multiple of 9?
True
Let b(u) = u**3 - 4*u**2 - 10*u + 22. Let n be b(6). Suppose -n*d = -35*d + 825. Does 15 divide d?
True
Let u(k) = 23*k**2 + 28*k - 109. Is u(-10) a multiple of 40?
False
Let l(b) = -b**2 + 11*b + 4. Let m be l(-9). Let p = m - -286. Is p a multiple of 10?
True
Let w = -30 - -48. Let d = w + -9. Suppose d*k - 395 - 577 = 0. Does 18 divide k?
True
Suppose 786*h - 600*h = 652674. Does 24 divide h?
False
Let x(q) = q**2 + 6*q - 25. Let n be -28 - 8*(-1)/2. Let y be ((-12)/n)/((-2)/(-28)). Is x(y) a multiple of 12?
False
Suppose -7*b + 1009 = -6194. Suppose -b = -17*z - 111. Is 32 a factor of z?
False
Let i be 2/(-8) + (-5)/((-180)/(-747)). Let v(r) = 2*r**3 + 44*r**2 + 25*r - 42. Does 21 divide v(i)?
True
Let r(z) = 45*z**3 + 19*z**2 + 11*z - 31. Is r(3) a multiple of 4?
True
Let i = -344 + 343. Is 11 a factor of i + 16 - ((13 - 13) + -1)?
False
Suppose -16*k = -11*k + 4*k. Suppose 4*g - 5*g + 105 = k. Is 13 a factor of g?
False
Let l = -101 + 116. Suppose -429 = 4*t - l*t. Does 18 divide t?
False
Suppose 0*d + 1353 = 11*d. Let v = d - 215. Let t = -41 - v. Does 17 divide t?
True
Suppose 0*n + 632 = -n - 3*s, 3*n + s = -1872. Let k = 931 + n. Does 11 divide k?
True
Let t be 2 - (-1)/(1/81). Let g be (-32)/12 + 656/(-24). Let b = t - g. Is b a multiple of 11?
False
Suppose -14*s = 31 + 53. Does 7 divide s/(-4)*(-88)/(-1) + 3?
False
Suppose 2*m - 3*m = -3. Let h = 74 + 181. Suppose -h = -5*g - 3*a, -m*a = -g - 2*g + 129. Does 8 divide g?
True
Is 5 a factor of 168/(1 + 173/(-88) + 21 + -20)?
False
Let j = 215 - 212. Suppose -j*g = v - 441, 5*g - 2*v - 294 = 3*g. Does 42 divide g?
False
Suppose s - 11 = -6. Suppose -3*b = -4*f - 0*f + 1085, -s*b = 3*f - 821. Suppose 0*m = -4*m + f. Does 11 divide m?
False
Suppose -3*u - 12 = -x - 2*x, 56 = 5*x + 4*u. Suppose v - 3*s - 6 = -0*v, 0 = 3*v + 4*s + x. Does 23 divide 46/4*(2 - v)?
True
Let c(p) = -65*p + 363. Let k be c(17). Is 4*k/12*-3 a multiple of 5?
False
Let o = -99 - -111. Let r = 1 - 0. Is (188/o)/(r/3) a multiple of 7?
False
Let d be 8/24 - (-962)/(-6). Let u be 9*(d/6)/(-2). Let z = 182 - u. Is 13 a factor of z?
False
Suppose -7*t = t - 4760. Suppose 4*j + t = -0*j - 5*z, 3*z - 3 = 0. Let x = -87 - j. Is x a multiple of 49?
False
Is (3 + -2 + -2)*14*155340/(-210) a multiple of 48?
False
Suppose 7*m = 913 + 16825. Is 10 a factor of m?
False
Let h = 13430 + -6402. Is h a multiple of 104?
False
Suppose 9*g = 76*g - 69144. Is 8 a factor of g?
True
Suppose w = -4*n + 9*n + 253, 2*n + 498 = 2*w. Suppose -15*r + 23 = w. Let z(j) = -j**2 - 33*j - 3. Does 33 divide z(r)?
False
Let c(m) = -m**3 + 10*m**2 + 2*m - 18. Let h be c(10). Suppose 4*l - 26 = -2*b, -l + 5 = -0*l + h*b. Suppose -216 = -l*s + 4*s. Is 30 a factor of s?
False
Is 53737/2 - 25*(-3)/(-30) a multiple of 16?
False
Let q(w) = 4*w - 20. Let f be q(6). Suppose f*b + a = -6, 7*a - 4*a + 7 = -b. Is (-1 - -34)/(-3)*b even?
False
Let j(g) be the first derivative of -2*g**3/3 - 15*g**2/2 - 14*g + 7. Let w be j(-6). Is 36 a factor of 71 - 1*w/4*-1?
True
Does 4 divide 41/(820/25) - (-3371)/4?
True
Suppose 1439 = 2*w + 5*k + 288, w - 5*k = 613. Suppose -3657 = -15*s + w. Is 50 a factor of s