Suppose -7 = -10*l - 167. Let h be (-40)/l - 2/(-4). Suppose 5*o = 2*n + 3*n - 190, -3*n = h*o - 102. Does 7 divide n?
False
Let b(i) = -5*i**3 - 42*i**2 - 56*i + 162. Does 70 divide b(-17)?
False
Suppose 451 - 103 = 3*y. Let i = y + -116. Is -1 + 167 - (i/(-3) + -4) a multiple of 34?
True
Suppose 2*p - 2 = -3*x - 0, 0 = 5*p - 2*x + 14. Let b be 2 - p*(-5)/(-10). Does 42 divide 276/b - (-2 + 3)?
False
Suppose -v + 2*v = 9. Let a = v + 24. Suppose -26*s = -23*s - a. Is 11 a factor of s?
True
Let v(b) = 7*b + 46. Let h = -252 - -260. Is 28 a factor of v(h)?
False
Let v be 699/5 + 32/160. Let x = v - 144. Is 51 a factor of 267 + -2 + (x - 0)?
False
Let s be (19 - (0 + 6))/(0 + 1). Suppose -s*g + 12 = -10*g. Is 7 a factor of (74 - g)/(3*(-8)/(-12))?
True
Let y = 115458 + -68979. Is y a multiple of 194?
False
Let g = -11 - -13. Suppose 0 = d - 4*p + 11, 3*p - 33 = g*d + d. Let b(i) = -25*i - 22. Is 23 a factor of b(d)?
True
Let l(d) = 3*d**3 - 23*d**2 + 16*d - 5. Let p be l(7). Suppose p*j - 390 = -66. Does 18 divide j?
True
Let a = 82 - 82. Suppose -5*j = 0, -j + 4 + 8 = k. Let m = a + k. Is m a multiple of 3?
True
Suppose 6 = 3*g - 3*n, 15 - 5 = 5*n. Suppose -7*t + 990 = -g*t. Is t a multiple of 33?
True
Let p(k) = -3*k**3 + 4*k**2 + 13*k - 39. Let v be p(6). Let y = 547 + v. Is y a multiple of 6?
False
Does 91 divide ((11682/24)/11)/((-6)/(-728))?
True
Let m = 34359 + -22702. Suppose 25*c - 9093 = m. Is c a multiple of 10?
True
Let h(v) = -2*v**2 + 60*v + 28. Let z be 21/(-35) + (-429)/(-15). Does 7 divide h(z)?
True
Let n(t) = 2*t + 37. Let i be n(-9). Suppose 3*a - i*a + 7136 = 0. Is 16 a factor of a?
False
Suppose 0 = -5*k + 4*m + 25, 0*m + 2*m + 10 = 0. Let i(f) = k - 8 + 4*f + 3 - 20. Does 10 divide i(11)?
True
Let j = 284 - 280. Let q(t) = t**3 - 7*t**2 + 8*t - 3. Let a be q(6). Suppose 2*m - 18 = -c - j*c, -m + a = -c. Is 3 a factor of m?
True
Let q = -5172 + 5170. Let x(g) be the third derivative of -17*g**4/24 - 11*g**3/3 + 2*g**2. Is x(q) a multiple of 3?
True
Suppose 22*x - 4*x = -26*x + 166320. Is 30 a factor of x?
True
Let b be (1/(-3))/(((-102)/(-72))/17). Is (21/2 + b)/((-2)/(-112)) a multiple of 13?
True
Suppose 3*b - 31 = -4*h - 0*b, 4*b - 16 = h. Suppose 288 = 2*u - 0*l + h*l, -u + 2*l = -140. Does 39 divide u?
False
Let u(s) = 4*s + 16. Let d be u(-3). Suppose 0 = d*o - o + 9. Does 3 divide ((-150)/o)/(3 - -1 - 2)?
False
Let j = -10684 + 12122. Is j a multiple of 28?
False
Suppose 0 = 2*h - b + 3937, 3896 = -3*h - 2*b - 2006. Is 22 a factor of h/32*8/(-3)?
False
Let g = -73 - -147. Suppose -8*z + 5*z = -c + g, 5*c = -2*z + 438. Does 5 divide c?
False
Let i = -4 + 9. Suppose -10*f + 35 = i. Suppose f*a = -2*u + 44, -5*a - 4*u + 43 = -27. Is a a multiple of 18?
True
Suppose -2*c + 52*u - 54*u + 1134 = 0, -3*u - 1731 = -3*c. Is c a multiple of 11?
True
Suppose -5*f = -20*u + 18*u + 1090, 2687 = 5*u - 3*f. Is u a multiple of 107?
True
Suppose 4*g - 3*x - 11347 = -8*x, -4*g = -3*x - 11323. Is 4 a factor of g?
False
Let x be (8864/(-48) - 4)*(-42)/4. Suppose 0 = -3*m + 4*b + 1819 + x, 2536 = 2*m - 2*b. Is m a multiple of 24?
True
Suppose 0*y + y + 3227 = 0. Let z be y/14*(4 - 2). Let c = -316 - z. Is 13 a factor of c?
False
Suppose 0 = -9913*a + 9902*a + 4136. Is a a multiple of 39?
False
Does 27 divide 10*(-4)/240 - (-39319)/6?
False
Suppose d - 4*d - 3 = -3*x, 0 = -5*d + 2*x + 10. Suppose -5*z = -2*p + 127, 215 = d*p - 0*z + 3*z. Is p a multiple of 7?
True
Suppose -66 = 2*t - 76. Let q = 7 + 2. Suppose -t*c = -q*c + 328. Does 31 divide c?
False
Suppose m = -5*m - 126. Let o be (-36)/m - 10/(-35). Suppose 0 = h + 3*d - 24, h - o*d + d - 16 = 0. Is 9 a factor of h?
True
Suppose 2*n = -280 + 1068. Suppose i + 2*f - n = 0, f = i - 257 - 134. Is i a multiple of 10?
False
Let c(i) = -544 + 10*i + i + 531. Let h be c(-6). Let a = -71 - h. Is a a multiple of 8?
True
Suppose -3*l = 3*a - 14919, -19920 = 148*a - 152*a + 3*l. Is a a multiple of 17?
False
Let f(y) = -5*y**2 - 376*y + 124. Does 72 divide f(-34)?
True
Let m be 2 - (707/(-1) - -4). Suppose m = -5*o - 0*a + 2*a, 0 = -o + 5*a - 118. Let w = -50 - o. Is w a multiple of 23?
False
Suppose 21732 = -47*z - 1018 + 194065. Does 9 divide z?
True
Suppose -2*c = -x + 5, x - 6*x + 7 = -4*c. Let u = x + 7. Suppose u = 3*p - p. Is p even?
False
Let l be (-210)/280 - 6/(-8). Suppose -o + k + 155 + 33 = l, -755 = -4*o + k. Is o a multiple of 7?
True
Let t(r) = 313*r**2 - 89*r + 555. Is t(8) a multiple of 53?
True
Let u(t) = -10 + 16 - 18*t - 30 - t**2. Suppose -5*s - 34 - 26 = 0. Does 6 divide u(s)?
True
Let i(c) = 21 - 341*c**2 - 7 + 346*c**2 - 60*c. Is 4 a factor of i(12)?
False
Suppose 41*x - 8002 = 4052. Is 24 a factor of x/(4/(32/(-12)) + 3)?
False
Suppose 2*o - 29 = -3*q - 2*o, 25 = 5*o. Suppose 4*g = q*j - 203, -2*g = -3*g + j - 51. Let r = 26 - g. Does 38 divide r?
True
Suppose -5*k = -5*f - 960, -3*f + 2*k - 566 = 4*k. Does 20 divide 25156/f*(-4 - 1)?
False
Let a(u) = 247*u**2 + 10*u - 8. Let j be a(-6). Does 42 divide 3/(75/(-10)) + j/10?
True
Is 27 a factor of (-34)/221 - (131310/(-65) + -6)?
False
Let r(m) = 14*m**2 - 3*m - 21. Let a be r(-10). Let i = a + -949. Is 65 a factor of i?
False
Let c(r) = -r**2 + 4*r + 2. Suppose -3 = 17*d - 18*d. Suppose 0 = d*n - 6 - 0. Is c(n) a multiple of 3?
True
Let o = -9232 + 13504. Is o a multiple of 16?
True
Let b(d) = 39*d - 1. Let o be b(-1). Let t = o + 46. Suppose -2*j + j - 2*v = -60, -3*v + t = 0. Is 14 a factor of j?
True
Let s(u) = 231*u - 1166. Is 25 a factor of s(11)?
True
Let m(z) = -73*z - 65. Let f be m(-18). Suppose 2*u - 2064 = -3*d, 3*u - f - 132 = -2*d. Is d a multiple of 14?
True
Let j(t) = 38*t + 59. Let v be j(9). Suppose -v = 205*i - 206*i. Is 26 a factor of i?
False
Let t be (-2 - -5 - (4 - 1)) + -3. Does 9 divide t + 99*10/15?
True
Let z = -50 + 151. Let d = 103 - z. Let r(k) = 5*k**3 + 6*k**2 - 5*k + 1. Is 4 a factor of r(d)?
False
Suppose -43235 - 23440 = -75*y. Does 11 divide y?
False
Let w(o) = -o**3 + 6*o**2 + 5*o + 13. Let t be w(7). Let p(n) = -224*n**3 - 2*n**2 + 2. Let r be p(t). Let a = 24 + r. Is a a multiple of 39?
False
Let w(a) = 8*a - 18. Let n = 25 - 21. Suppose 4 = -4*h + 5*p, 0 = 2*h - 5*p + n + 8. Is 5 a factor of w(h)?
False
Suppose -4*u = -76 + 32. Suppose 576 = u*f - 8*f. Does 3 divide f?
True
Let b = -6546 - -8109. Is 82 a factor of b?
False
Is ((-540)/18 + -149)/((-1)/2) a multiple of 7?
False
Is 18 a factor of (-67666)/(-34) - (-1560)/(-8840)?
False
Is 65 a factor of ((-385)/15 - 3)/(20/(-90))?
False
Let p(z) = z**2 - z + 99. Let y be p(22). Suppose 0 = -3*f + y + 33. Is f a multiple of 18?
True
Let t(d) be the second derivative of -d**8/6720 - d**7/1260 - d**6/60 + 3*d**4 + 31*d. Let f(k) be the third derivative of t(k). Is f(-4) a multiple of 10?
True
Suppose h - 179 - 3 = 2217. Is h a multiple of 7?
False
Let i = 22 + 31. Is 20 a factor of i + 7/((-42)/(-12))?
False
Suppose -122 = -8*u + 7*u. Suppose 9 = i - 4*i, 5*m + 4*i + u = 0. Let c(a) = a + 67. Is 9 a factor of c(m)?
True
Suppose -539*b + 582*b - 50912 = 0. Is b a multiple of 13?
False
Does 29 divide (-12)/96 - (-867230)/112?
True
Let d = -643 + 601. Let t(v) = -v**3 - 43*v**2 - 41*v + 92. Is t(d) a multiple of 9?
False
Let r = 306 + -296. Suppose r*t + 17 = 3137. Is t a multiple of 46?
False
Let p(t) = -16*t + 34. Suppose 3*r = 9, -7 - 18 = 2*x + 3*r. Is p(x) a multiple of 9?
True
Suppose 0 = 10*c - 205437 - 262793. Is 124 a factor of c?
False
Let o(s) be the second derivative of -s**5/20 - 5*s**4/12 + 10*s**3/3 + 7*s**2/2 - 5*s. Suppose -3*d + k = 28, 4*k + 12 = -3*d + k. Is o(d) a multiple of 13?
True
Suppose 2*i + 24694 = 16*o - 15*o, 6 = 2*i. Does 100 divide o?
True
Let y be (-1)/2 - (-18)/4. Suppose -12*v + y*v = 2904. Let k = v + 511. Does 16 divide k?
False
Let v be 2/(-3)*(3 - 0)*-2. Suppose -4*x + v + 12 = 0. Suppose x*t + 23 = 4*r - t, -t = r - 17. Does 2 divide r?
True
Suppose -2940 = -6*z - z. Is (z + 0)*(-44)/(-66) a multiple of 56?
True
Let m = -951 + 1730. Is m a multiple of 22?
False
Suppose -35*r + 34*r + 1 = 0. Does 10 divide (-1377)/(-12) + 5 - r/(-4)?
True
Let q = -191 + 193. Suppose -q*a - 5*f = -3*a + 170, a = 2*f + 173. Is 5 a factor of a?
True
Let n(t) = -54*t**3 + 2*t**2 - 1. Let a be n(-1). Let i = a + -38. S