t d = -45 - y. Does 11 divide d?
False
Suppose -2*w + 375 = -42*c + 39*c, -w - 2*c + 170 = 0. Does 10 divide w?
True
Let b be 9/6 - 7/(-2). Suppose 6*z - 2*z + b*g = 33, -2*z + 5*g - 21 = 0. Suppose z*c = -2*v + 20, 0 = -c - c + v + 17. Does 3 divide c?
True
Suppose -2*n = -5*n + 6. Let j be (-1 + 0)*20/(-4). Suppose -8 = -4*i - n*y + 38, -j*y = -3*i + 15. Does 6 divide i?
False
Suppose 0*c = 2*c + 5*k - 36, k - 21 = -c. Suppose d - c = -1. Let m = 129 - d. Is m a multiple of 22?
False
Suppose 5*i = 2*n - 6 + 2, 0 = n + i - 2. Let t be -4*(-4)/4 - n. Suppose -3*p = -t*p - 75. Does 25 divide p?
True
Let s = 35 + -43. Is 12 a factor of s/10 + 3920/25?
True
Let c(h) = h**3 + 8*h**2 + h + 2. Let g(s) be the second derivative of s**3 - s**2/2 - 3*s. Let d be g(-1). Is c(d) a multiple of 22?
True
Let y be (1452/(-16))/(-3) - (-1)/(-4). Is 21/(6/y + 0) a multiple of 15?
True
Let v = 1937 + -495. Is 15 a factor of v?
False
Let z(r) = -r**2 - 26*r - 45. Is z(-21) a multiple of 12?
True
Suppose -3*v - 56 - 10 = 0. Let t = 20 + v. Is 3 a factor of 1 - (-98 + t)/5?
True
Let b be (-999)/(-45) + 3/15*-1. Suppose 3*l - 2*l - 2 = 0, -2*h = -5*l - b. Is 3 a factor of h?
False
Let j(v) = v**2 - 14*v + 15. Let i be j(13). Suppose 2*b + 21 - 117 = i*s, -3*s + 200 = 5*b. Is b a multiple of 14?
False
Does 2 divide 44*(-18)/(-16) - (-9)/(-6)?
True
Suppose 66*z = 62*z + 480. Let n = z + -46. Is n a multiple of 37?
True
Let p = 3879 + 3753. Is 2/11 + p/132 a multiple of 29?
True
Suppose 0 = 14*n - 970 + 88. Is 7 a factor of n?
True
Let w(z) = -2*z**3 - 3. Suppose o + 54 = 51. Is 3 a factor of w(o)?
True
Suppose -3*j = 4*b - 60 + 4, -b = -4*j + 43. Suppose -150 = -3*f + j. Suppose 5*a - 11 = f. Is a a multiple of 13?
True
Suppose 4*z + t + 0 - 1 = 0, 3*t - 3 = 0. Suppose 172 = 4*b + d - 241, 0 = 2*b + 3*d - 199. Suppose -u - u - i + 61 = z, -3*u + b = 4*i. Is u a multiple of 7?
True
Suppose -41 = -3*z - 5*h + 30, -h = 3*z - 79. Suppose 4*k = -z + 155. Is k a multiple of 10?
False
Let t(p) = 29*p + 550. Is t(0) a multiple of 50?
True
Is 53 a factor of 230/4 + 6/(-12)?
False
Let x = 3 - -2. Suppose x*g = g + 20. Does 12 divide ((-5)/g)/(3/(-123))?
False
Suppose -4*l = -5*v - 3285, l - 73 - 746 = -v. Does 10 divide l?
True
Let r = 107 - 47. Let h(z) = -11*z**3 + 5*z**2 + 2*z - 4. Let p be h(2). Let x = r - p. Is x a multiple of 32?
True
Let o(c) = -c - 5. Let g be o(-8). Suppose 2*b = b + g. Suppose 40 = b*k - 14. Does 9 divide k?
True
Let m(n) = -n**3 - 6*n**2 - n - 2. Let g be m(-6). Suppose -5*w + 16 = -g*w. Is 8 a factor of w?
True
Suppose 5202 + 802 = 5*u + j, -5984 = -5*u + 4*j. Is u a multiple of 15?
True
Suppose 0 = -d + 3*d - 10. Suppose 0 = -d*w + 2*z + 308, -5*w = -0*w + 5*z - 280. Does 15 divide w?
True
Is 360*(5 - ((-4)/5 + 5)) a multiple of 9?
True
Let f = -86 - -157. Suppose 0 = -2*j + 3*v - 4*v - f, -4*j + 3*v - 147 = 0. Let o = j + 62. Does 11 divide o?
False
Let j be (-20)/8*16/(-5). Let p = -2 + j. Suppose 0 = 3*v - p*v + 27. Does 3 divide v?
True
Let z(x) = x**2 + 6*x + 8. Let l(y) = 4*y**2 - y - 1. Let o be l(-1). Suppose o*m = -m - 30. Does 4 divide z(m)?
True
Let p(r) = 3*r + 54. Is 5 a factor of p(-4)?
False
Does 7 divide (-8550)/(-12) - (-3)/2?
True
Suppose 5*h + 3*h = 40. Suppose -h*z - 6*z + 528 = 0. Does 8 divide z?
True
Let i = -74 + 190. Is 29 a factor of i?
True
Suppose -6*m = -5*m - 5*v - 105, 2*v = -2*m + 246. Suppose 6*d = 2*d + m. Is d a multiple of 25?
False
Let m be (2 + 1)/(12/(-8)). Let c(w) = 5*w**2 + 2*w - 1. Let p be c(m). Let v = 3 + p. Does 6 divide v?
True
Let b be 1/(-3)*(-6 - -1 - -2). Is 5 a factor of 0 - -2 - (-48)/b?
True
Let y(l) = 318*l + 442. Does 10 divide y(6)?
True
Let y = -32 + 13. Let p = y + -2. Is 8 a factor of (-1014)/p + (-8)/28?
True
Suppose -6*d - 162 = 90. Let x = d + 84. Is 15 a factor of x?
False
Suppose 11*v - 9*v = -5*f + 2092, -3*f + 5*v + 1249 = 0. Does 11 divide f?
True
Suppose 0 = r + m - 6, -r + 2*m + 18 = -0*m. Suppose t + 5*s + r = 0, 0*t + 100 = 5*t - 5*s. Is t a multiple of 2?
False
Let u = -14 + 17. Let w = u - -1. Suppose w*z + 51 - 243 = 0. Is z a multiple of 12?
True
Is (189 - (-1 - -4)) + -2 a multiple of 23?
True
Suppose 44 = 2*t + 8. Let a = 24 - t. Does 17 divide 412/a - 10/15?
True
Let t = -480 - -612. Is 11 a factor of t?
True
Suppose 2*m + 5*a = 1686, a + 264 = m - 572. Does 8 divide m?
False
Let r = 762 - 116. Does 12 divide r?
False
Suppose -w + 370 = 2*g, w + 5*g - 21 = 337. Is w a multiple of 27?
True
Suppose 3*q + 0 = 12. Suppose -4*x + 11 = 5*z, -z - 5*x + q = -6*x. Suppose -7*g + 16 = -z*g. Is g a multiple of 2?
True
Suppose 0 = -203*p + 226*p - 3519. Is 34 a factor of p?
False
Let q(c) = 6*c**3 + 12*c**2 - c + 35. Is q(6) a multiple of 7?
True
Let n(p) = 8*p + 32. Let u be n(8). Suppose -2*i + 4*i - 224 = -5*m, 4*i - u = -2*m. Is 22 a factor of m?
True
Suppose -n - 4*z = -17, 2*n - 11*z + 8*z - 1 = 0. Is n a multiple of 2?
False
Is (-17)/((2/(-8))/(16/32)) a multiple of 7?
False
Suppose -4*u - 48 = -5*g + 42, 3*g + 5*u = 91. Does 5 divide g?
False
Let k = -427 - -435. Does 4 divide k?
True
Is (-852)/(-7) - (7 + 612/(-84)) a multiple of 61?
True
Let l = 267 - 186. Does 2 divide (22/(-6) - -3)/((-6)/l)?
False
Suppose 4*y - 25 = -y. Suppose -1 + 43 = s - y*j, -5*j - 15 = 0. Let q = s - 7. Is 10 a factor of q?
True
Suppose 4*k - 3*k + 172 = 2*r, 0 = r + 3*k - 72. Does 21 divide r?
True
Let z(i) = i**3 + 7*i**2 - 8*i. Let m be z(-8). Let h be -738 - (m + -2 + 2). Is 18 a factor of h/(-42) + (-3)/(-7)?
True
Suppose 0 = -19*h + 23603 + 4954. Is h a multiple of 11?
False
Let y be (-64)/(-10) + (-6)/15. Let v = 8 - y. Suppose -5*q + l = -134, -v*q + 5*l + 17 = -32. Is 11 a factor of q?
False
Let p(d) = 2*d**2 + 18*d + 22. Let f be p(-11). Let c = f + -57. Is 4 a factor of c?
False
Let s = 1896 - 1819. Is s a multiple of 34?
False
Suppose 41188 = 9*h + 5*h. Does 43 divide h?
False
Suppose -76 = -5*g - 3*q, 0 = 4*g - 5*q - 1 - 82. Let i = g - -18. Does 16 divide i?
False
Let v(q) = 3*q - 5. Let m be v(3). Suppose 20 = m*x, -7*d = -2*d + 5*x - 250. Is 12 a factor of d?
False
Is -9 - -19 - (4 - 776) a multiple of 17?
True
Suppose 12 = 3*l + 3*f, -3*l + 3*f + f + 12 = 0. Suppose -8*g + 100 = -l*g. Is g a multiple of 5?
True
Suppose 0 = -5*c + 4*x + 27, -c + 3*c + 2*x - 18 = 0. Let t = -12 + c. Does 19 divide 4/t + 1089/55?
True
Suppose 2*g = 8, -2*r - g - 252 = -0*g. Let w = r - -190. Is w a multiple of 18?
False
Let x = 32 - -4. Let b = x - 32. Does 7 divide b + -2 + (0 - -19)?
True
Suppose 0 = 45*b - 41*b - 1404. Suppose -a + b = 4*d, 0 = -0*a + a - 3. Is 29 a factor of d?
True
Let v(g) = -7*g**2 + 2*g + 2. Let r be v(-2). Let m be (-6)/(-4)*(-100)/r. Suppose s = 3*u + 21, -m*s + 2*u + 84 = -s. Is s a multiple of 8?
False
Suppose 0 = -4*x + 3*x - 35. Let m = 156 + x. Is 13 a factor of m?
False
Let z(l) = -4*l - 2. Let n be z(-13). Is n + (-1 - (-2 - 2)) a multiple of 8?
False
Suppose -22248 = 35*a - 43*a. Is 27 a factor of a?
True
Let l(m) = 256*m - 628. Is 21 a factor of l(10)?
True
Let c be -3*4/18*-27. Suppose -5*m - 2*w + 1034 = 0, c + 184 = m + 2*w. Let o = m + -122. Is o a multiple of 18?
False
Let o(r) = r**2 + 11*r + 9. Let h be o(-6). Let q = 40 + h. Is 4 a factor of q?
False
Suppose -5*d + 5*f + 10 = 0, 4*d - 2 = 3*f + 6. Does 22 divide d + 26 + (2 - 2)/2?
False
Let j be 4/8 + (-246)/(-4). Suppose -106 = -4*i + j. Is i a multiple of 25?
False
Is (-32331)/(-156) + (-6)/(-8) a multiple of 13?
True
Suppose -3*l + 801 = q, 2*q - 1567 = -0*l + l. Suppose 4*r - 621 = -a, -3*r - q = -8*r + 2*a. Is r/16 - 3/(-12) a multiple of 4?
False
Suppose 60*n - 64*n - 516 = 0. Let i = 57 - n. Does 8 divide i?
False
Let o(u) = u**3 + 9*u**2 + 5*u - 3. Let i(t) = -t + 2. Let g be i(9). Is o(g) a multiple of 10?
True
Suppose 0 = v + 3*j - 294, -2*v + 6*v - 1176 = 5*j. Is v a multiple of 14?
True
Let y(k) = -2*k**3 + 4*k**2 - 3*k. Let i be y(2). Let r(c) = 10*c - 9. Let m(s) = -13*s + 9. Let t(b) = -3*m(b) - 4*r(b). Is 5 a factor of t(i)?
True
Let s = -37 - -19. Suppose -24*i = -26*i + 58. Let f = s + i. Does 6 divide f?
False
Let u = -36 - -25. Let a = u + 1. Let n(l) = -3*l - 11. Is n(a) a multiple of 19?
True
Let n = -14 + 35. Suppose 4*x = -x + 95. Let s = x + n. Is s a multiple of 9?
False
L