de d?
True
Let a = -28 - -43. Let p be (-4 + 51/a)*-5. Suppose 2*c = h - 3*c - 95, -c - p = 0. Does 8 divide h?
True
Suppose 0 = -2*y + 6 - 2, -3*a + 3*y + 34788 = 0. Is 62 a factor of a?
False
Suppose -5*j = -77*g + 75*g + 3961, 0 = -2*g - 5*j + 3991. Does 71 divide g?
True
Is (170 - -2021) + 7/(-2)*2 a multiple of 14?
True
Let b(h) = -h**2 - 20*h + 42. Let f be ((-57)/(-2))/(6/8). Suppose -29*n - f = -27*n. Is b(n) a multiple of 28?
False
Suppose 796 = 47*c - 43*c. Let b = 13 - c. Is 31 a factor of ((-28)/(-42))/((-2)/b)?
True
Is (5 - 11 - -6) + (-24090)/(-5) a multiple of 6?
True
Let h(w) = -w**3 + 33*w**2 - 62*w + 3. Let i be h(31). Let k(a) be the first derivative of 25*a**2 - 15*a - 5. Is k(i) a multiple of 28?
False
Let c be (15 + -20)*-1*(-12)/10. Let y(x) = -57*x + 26. Is y(c) a multiple of 8?
True
Let g be (548/(-8))/((-8)/16). Let w = g - 74. Is 7 a factor of w?
True
Let w be (-3 - -4)/((-3)/9). Let v be w/((1 + 3)/(-4)). Suppose 46 = v*c - l, 2*c + 7*l - 25 = 2*l. Does 8 divide c?
False
Is 30*9960/(-36)*(-2)/5 a multiple of 20?
True
Let a(y) = 7*y**2 + 12*y + 44. Suppose 2*j - 6*j - 16 = 0, -j - 11 = s. Is a(s) a multiple of 47?
False
Let w(z) = 1198*z + 84. Does 14 divide w(11)?
False
Suppose -73*h + 10 = -63*h. Is 114 a factor of ((-505)/20 + h)*-68?
False
Let z(n) = n**2 + 3*n + 3. Let b be z(2). Suppose 0 = s - 7 + b. Is 39 a factor of ((-45)/12 - -4)*-26*s?
True
Suppose -35*a - 19*a - 89*a = -2432430. Is 18 a factor of a?
True
Suppose 3*c = 90 - 234. Let i = 5 - c. Suppose f - i + 33 = 0. Is f a multiple of 20?
True
Is 6 a factor of ((-528)/(-10))/(846/90 + -9)?
True
Let o = -150 - -253. Suppose -o*p + 606 = -100*p. Let j = p + 48. Does 17 divide j?
False
Let y(t) = -t**2 - t + 1. Let b(p) = 4*p**2 + 52*p + 80. Let j(a) = -b(a) - 6*y(a). Is 38 a factor of j(43)?
True
Let r(i) = -2*i + 13. Let n be r(7). Let d be 539/7 - (-1)/n. Let k = 132 + d. Is k a multiple of 26?
True
Suppose -2*b = -2*a + 2, 4*b = 6 + 2. Suppose q = -481*w + 483*w - 10, 3*q = 0. Suppose w*d + 2*f - 673 = 0, 5*d - 2*f = a*f + 680. Is 9 a factor of d?
True
Suppose 22 = -6*k - 2. Let f be 1/k - 8262/(-24). Suppose -4*u = 2*g - f + 106, 4*g - 485 = u. Is g a multiple of 15?
False
Let s be 1/(25685/101860 + 1/(-4)). Suppose -d + 208 = t, s = 5*d + 2*t - 583. Does 14 divide d?
True
Let b(y) = y + 6. Suppose 2*a - 19 = 3*c, -4*c - 18 = -4*a + 5*a. Suppose -g = -l + 3*g + 13, -a*g + 13 = l. Does 19 divide b(l)?
True
Let j(t) = -9*t - 5*t + 9*t + 218 - 15*t - 227 - 11*t**3 - 8*t**2. Is 12 a factor of j(-3)?
True
Let s be (7/((-105)/36))/(16/40). Is 30392/87 - 10/s a multiple of 17?
False
Suppose 2 = -y - 3, -4*v + 5*y - 231 = 0. Is (8/(-6))/(v/15456) a multiple of 25?
False
Suppose -5*b + 4*x = -b - 136, -4*b - 4*x + 104 = 0. Suppose -5*a + b = 2*g - 7*g, -a - 4*g + 16 = 0. Does 5 divide 86/2 + -6 + a?
True
Suppose 3*k = -h + 2600, -2*h = -40 + 54. Does 3 divide k?
False
Let u = -1568 + 4121. Does 11 divide u?
False
Let p = -925 - -12769. Does 94 divide p?
True
Suppose 0*m = -12*m + 36. Suppose m*h - 3*j - 180 = 27, h = 5*j + 49. Is 15 a factor of h?
False
Suppose -4*a = -4*o - 24, 4*a - 27 + 3 = -4*o. Suppose -a*c + 539 = c. Is 11 a factor of c?
True
Let x = 35 - 89. Let c = -100 - x. Let p = 63 + c. Does 17 divide p?
True
Let b be (2150/(-15))/(6/(-9)). Let x = b - 63. Is 14 a factor of x?
False
Suppose 8 + 10 = 3*r. Suppose -r*a + 1766 + 1276 = 0. Is 77 a factor of a?
False
Suppose -18*l - 195 - 3 = 0. Is 29 a factor of (-1)/(l/10848) + 12/(-66)?
True
Let z(v) = -4*v - 16. Suppose -15*p = -13*p - 16. Let n be z(p). Is (1044/n)/((-6)/16) a multiple of 8?
False
Let k(y) = 3*y - 5*y + y**3 - 3*y + 12. Let m be k(6). Is 2 a factor of 1/(18/68) + 44/m?
True
Suppose -6090 = 4*q - 5*d, q = -q + 4*d - 3042. Does 57 divide q/(-10) + 3/(-6)?
False
Let n be ((-4)/(-3))/((-9)/27). Let y be (6/(-4))/(n/(-248)). Let w = 187 + y. Does 16 divide w?
False
Suppose -47*s = -2*n - 48*s + 934, 460 = n + 4*s. Is 29 a factor of n?
False
Suppose 101028*i = 101008*i + 23040. Is i a multiple of 16?
True
Let m(z) = -z**2 + 5*z - 4. Suppose 6*p - 12*p = -18. Let l be m(p). Suppose l*u - 574 = -4*t, -4*t = -5*u - 0*t + 1379. Does 12 divide u?
False
Suppose -6*k + 2 + 118 = 0. Suppose 104 = -4*i + k. Let o = i - -84. Does 8 divide o?
False
Suppose 37*v + 7917 = 31*v + 61647. Does 19 divide v?
False
Let b = 1 - 1. Let n(k) = -7*k**3 - 10*k**2 + 7*k - 41. Let v(r) = 11*r**3 + 16*r**2 - 11*r + 62. Let d(i) = -8*n(i) - 5*v(i). Is 9 a factor of d(b)?
True
Let n be 9/6*1080/81. Suppose 2835 = -5*w + n*w. Is 17 a factor of w?
False
Suppose -16*y + 209 = -5*y. Suppose -p = 5*l - 454, -y*p + 90 = l - 18*p. Is 13 a factor of l?
True
Does 23 divide (-1 - -3928)/(33*1/22)?
False
Let p(g) = 2*g**2 + 34*g - 51. Let m(u) = u**2 + 17*u - 26. Let a(z) = 7*m(z) - 4*p(z). Let w = 3 - 15. Is a(w) a multiple of 16?
False
Let l = 44 + 104. Let i = l + -102. Suppose 31 = a - i. Is a a multiple of 10?
False
Let g be (3/2)/((8 + -3)/110). Is (-5 + g)*48/7 a multiple of 64?
True
Suppose 15*u - 16814 = -884. Does 15 divide u?
False
Suppose -3*f + 1941 = 9*x, -16*f + 2*x - 1274 = -18*f. Is f a multiple of 6?
False
Let k = -190 - -191. Let l(q) = 112*q**3 + 6*q**2 - 21*q + 26. Let w(h) = 75*h**3 + 4*h**2 - 14*h + 17. Let d(b) = -5*l(b) + 8*w(b). Is d(k) a multiple of 2?
False
Let y = 22946 + -13245. Is 32 a factor of y?
False
Let h(v) = 190*v + 648. Does 61 divide h(73)?
True
Suppose -66*g + 73*g = 1617. Does 4 divide 24906/g - (-2)/11?
True
Suppose -104*y - 1746 = -108*y + 5*u, -3*u + 462 = y. Is y a multiple of 70?
False
Let i(p) = 2*p**3 - 16*p**2 - 11*p - 20. Let v be i(10). Does 10 divide (v/12)/15*34?
False
Let a(v) = -8407*v - 223. Does 33 divide a(-1)?
True
Let u = 25031 + 3024. Is 35 a factor of u?
False
Let u(w) = -w**3 - 13*w**2 - 12*w + 2. Let g be u(-12). Suppose -g*q = q. Suppose -8*c + c + 182 = q. Is c a multiple of 13?
True
Let f(v) = v**2 - v - 106. Suppose -3*a + 4 = -c - 3, 0 = 5*c - 4*a + 46. Does 2 divide f(c)?
True
Let j = -3 - 0. Let i be j*(-4)/(-9)*(-9)/(-2). Let w(k) = -k**3 - 3*k**2 + k. Does 17 divide w(i)?
True
Let x = 15058 + -10276. Is x a multiple of 170?
False
Let w(r) = -25*r**3 + 2*r**2. Let j = 44 + -42. Let h be (4/6)/(j - 0)*-3. Does 13 divide w(h)?
False
Suppose 11*t - 69*t + 18*t + 280960 = 0. Is t a multiple of 16?
True
Let k(d) = -d**2 + d - 1. Let s(g) = -2*g**2 - 8*g + 4. Let z(v) = -k(v) - s(v). Is 10 a factor of z(-6)?
False
Let p(g) = 54*g**2 + 14*g + 25. Let m be p(-4). Let q = -481 + m. Does 11 divide q?
True
Suppose 50*y + 12*y - 116712 = 305198. Is y a multiple of 55?
False
Suppose 20*o - 29400 = -15*o. Suppose -3*s = -10*s + o. Does 12 divide s?
True
Let y(o) = 7*o**2 - 20*o + 22. Let x(l) = 2*l - 13. Let t be x(9). Let s(k) = 6*k**2 - 21*k + 23. Let g(i) = t*y(i) - 6*s(i). Is 5 a factor of g(23)?
False
Let i = -157 - -160. Suppose -b - 100 - 531 = -4*o, 462 = i*o - 3*b. Is o a multiple of 20?
False
Let r(h) = h**2 + 7*h - 52. Let y be r(18). Suppose 5*t = 5*c + 965, 2*t - 2*c - 3*c - y = 0. Is t a multiple of 3?
True
Let r = 82 - 79. Let l(s) = -s**3 + 7*s**2 - 5*s - 3. Let a be l(6). Suppose o = -2*h + 67, a*h - 203 = -r*o - h. Does 16 divide o?
False
Suppose -307*s = -310*s + 3483. Suppose -s = -15*w + 2469. Does 11 divide w?
True
Suppose -3*q + 303554 = -33*m + 37*m, -4*m + 303546 = -q. Is 15 a factor of m?
False
Let t = -38 + 13. Let v = 0 + 64. Let l = t + v. Does 6 divide l?
False
Suppose -5*s = 148 - 518. Suppose -59 + s = 3*m. Suppose 0 = c - m*q - 212, 0 = c - 2*c - 2*q + 240. Is c a multiple of 29?
True
Let f be ((-3)/4)/(3/(-8)). Let s(a) = 39*a**3 - 3*a**2 + 4*a + 1. Is s(f) a multiple of 8?
False
Suppose -56 = p - 11. Let m(t) = -t**3 - 16*t**2 + 10*t - 29. Let c be m(-17). Let w = p + c. Does 9 divide w?
True
Suppose 4*v - 8415 = -5*a + 4093, a - v - 2498 = 0. Does 10 divide a?
True
Is (-210)/4*550/(-1) a multiple of 35?
True
Suppose -29 = c + 141. Let u = 30 - c. Suppose w + u = 3*w. Is w a multiple of 25?
True
Suppose 16*x - 15*x = -3. Is 37 a factor of 671 - x*4/24*-8?
False
Suppose -n = v - 6155, -v = -n - 1801 - 4338. Is v a multiple of 100?
False
Suppose 23*g - 73 - 9 = 125. Is g a multiple of 9?
True
Let z(i) = -7*i - 36. Suppose 2*b - 3*k 