uppose 0 = 4*q - 4*r + 3*r - y, 3*q = -2*r + 9. Does 36 divide 70 + q + 6/6?
True
Let i be 4/((-48)/(-93)) - 3/(-12). Suppose 0*u - 34 = -2*l + 2*u, 0 = -4*u - i. Does 3 divide 1/(-5) - (-198)/l?
False
Suppose 5*c - w = w + 204, -2*w - 84 = -2*c. Suppose -c = 14*o - 18*o. Is 15 a factor of (o - 4 - 5) + 216 + -1?
False
Let q = 14 - 15. Let h be (2 - q)*((-2)/(-3) + 0). Suppose h*x - 239 = -g, 5*g = -7 + 2. Is x a multiple of 30?
True
Let v(x) = 6*x**2 - 8*x - 55. Suppose 3*q = -3*h - 30, h - 11*q + 14*q + 12 = 0. Is 22 a factor of v(h)?
False
Suppose -4*v - 3*o + 18 - 4 = 0, 4*v - 2*o - 4 = 0. Let r(g) = 5*g**2 - 7*g + 13. Let m be r(v). Suppose m*h + 20 = 21*h. Is 3 a factor of h?
False
Let v(z) = 53*z**3 + z**2 - 2*z - 2. Suppose -6*m = -3 + 9. Let a be v(m). Let s = a + 60. Does 2 divide s?
True
Let n be (1 + 3)*20/40. Suppose 0*z + 5*z = -n*z. Does 9 divide (z - 332/16)/(3/(-12))?
False
Let o(k) be the third derivative of k**5/60 - 19*k**4/24 - 22*k**3 + 39*k**2 - 2*k. Is 15 a factor of o(-12)?
True
Suppose 3*b - 2*h + 2 = 0, -13 + 3 = -b - 2*h. Let q = 8 + -5. Suppose -2*s = q*w - 0*w - 477, -4*w = -b*s - 650. Is w a multiple of 14?
False
Let m(z) = -4*z**3 - z**2 + 1. Suppose 0 = d + 4, -4*p = -4*d - 6 - 6. Let l be m(p). Does 16 divide 65/l + (-22)/88?
True
Suppose u - 64 = -7*u. Let v = -5 + u. Is (-2 - (v + -3)) + (1 - -18) a multiple of 4?
False
Let o = 50 + -48. Suppose -2564 = -o*u - 900. Suppose u = 6*v - 224. Does 7 divide v?
False
Let k be (-52)/10 + (-3)/(-15). Let y be (245/(-105))/(3/(-36)). Is (18/12)/(((-30)/y)/k) a multiple of 2?
False
Let q = 433 - 428. Suppose -q*a + 1647 = 2*v, -670 = -5*a + 2*v + 993. Is a a multiple of 9?
False
Let q(u) = 2*u**2 - 3*u - 71. Let a be q(9). Suppose o = -6*c + 3*c + 80, 0 = 5*o + 5*c - 400. Let r = o - a. Is 4 a factor of r?
True
Let n = -724 - -1357. Suppose -131*a = -83*a - 144. Suppose -a*d - 4*y = -n, 422 = 3*d + 5*y - 211. Is d a multiple of 30?
False
Let a = -424 - -217. Let x be -361*((-3)/(-12)*4 - 2). Let t = x + a. Is t a multiple of 22?
True
Suppose 46*z + 545245 = 139*z + 197611. Is 7 a factor of z?
True
Let r = 17 + 83. Suppose -5*g - 2*l + 385 = 0, -3*g - 5*l = -2*g - r. Is 22 a factor of g?
False
Let i = 370 + -629. Let o = i - -397. Is 69 a factor of o?
True
Let c(r) = r**3 + 5*r + 35. Let d = 14 - 14. Is 7 a factor of c(d)?
True
Let s(d) = 881*d**2 - 9*d - 126. Is 52 a factor of s(-5)?
True
Let l(s) = 2*s**2 + 77*s - 4135. Is 15 a factor of l(40)?
True
Let j = -59 + 62. Suppose 5*v + 4 = -4*i + 14, j*v - 5*i - 6 = 0. Is 5 a factor of (v/6)/(2*1/348)?
False
Suppose 4*w = 28, 5*z = -5*w + 22037 + 61578. Is z a multiple of 9?
False
Let u = -3780 + 9923. Is u a multiple of 51?
False
Suppose 21 = -5*u + 2*u. Let n(d) = d**2 + 15*d - 5. Let k(j) = -3*j**2 - 42*j + 15. Let l(y) = -4*k(y) - 11*n(y). Is 6 a factor of l(u)?
False
Let a(p) = 93*p + 818. Is 35 a factor of a(8)?
False
Suppose -2*b - 5*r + 2*r + 703 = 0, 2*r - 2 = 0. Let l = b + 156. Does 23 divide l?
True
Suppose 3*u = v + 20 + 5, -5*v = 5*u + 205. Let p be (6 + -1)/((-1)/v). Suppose -p = -6*d + d - l, l + 175 = 5*d. Does 6 divide d?
True
Let r = -73 + 74. Let t be 1*-48 + (r - 0). Let m = 6 - t. Is 49 a factor of m?
False
Let u = -37404 - -75765. Is 17 a factor of u?
False
Let f(r) = 4*r**2 - r. Let x be f(-1). Let d(z) = 7*z**2 - z - 17. Let q be d(x). Let u = q + -93. Is 10 a factor of u?
True
Suppose -8*i + 5*i = -3*d + 66, -5*d = -5. Is (-12299)/i + 8/(-12) a multiple of 65?
True
Let m(r) = 13*r**2 + 78 + 97 + 19 + 2 - 21*r - 8*r. Does 38 divide m(9)?
True
Let r(v) = 30*v + 2240. Is r(-34) a multiple of 3?
False
Does 65 divide (-587 - -15)*(-1425)/20?
True
Let m(u) = -u**3 - 37*u**2 + 142*u + 20. Let s be m(-42). Suppose 5*o + r + 0*r = s, 4*r + 2896 = 5*o. Does 12 divide o?
True
Suppose -4*m = j - 10, 2*j - 2*m + 11 = 1. Is 5 a factor of (-3 - 16218/(-135)) + j/15?
False
Suppose -2*o + 2*o + 71*o - 627214 = 0. Is 19 a factor of o?
False
Is (1/(-8))/(3/(-373518)) + 15/20 a multiple of 38?
False
Let p = 244 + -106. Suppose -2*c = 3*a - p, -3*c - 6*a + 8*a + 194 = 0. Is 11 a factor of c?
True
Let o = 322 - 182. Suppose v - 128 = -2*u, 10*v + 4*u + o = 11*v. Is v even?
True
Suppose 3*u + 72240 = 5*o, 0 = -o + 5*u + 10078 + 4370. Is 96 a factor of o?
False
Let n(l) = l**3 - l**2 + l + 10. Let a = -119 - -78. Let d = a + 41. Does 3 divide n(d)?
False
Let h = -18 + 52. Let w be h/3*3 + 3. Is 32 a factor of (3/(-3) + 2)*w?
False
Let i(l) = 3302*l**2 - 183*l + 685. Is 85 a factor of i(4)?
True
Suppose -24004 = -5*x + 2*k + 99543, -3*x = -4*k - 74145. Does 31 divide x?
True
Let y(u) = -u**2 + 30*u + 101. Let q be y(33). Suppose 4*c = -q*h + 1916, -4*h = -3*c - 2784 - 1048. Is 48 a factor of h?
False
Let i(a) = -9*a - 2. Let k be i(-3). Let z be 20/k + 28/(-10). Let m(d) = -6*d**3 - 3*d**2 - d + 4. Is 14 a factor of m(z)?
True
Suppose 0 + 4 = -w - 2*h, -2*w + 4*h = -8. Let s(n) = -n**2 + 88 + 74 + w*n**2 - n. Does 27 divide s(0)?
True
Suppose -15*v = -12*v - 456. Suppose -2*n + 28 = -p + 2*n, 5*n = -3*p - v. Let z = p - -100. Does 22 divide z?
False
Let c be 1770/(-45) - 2/(-6). Does 4 divide 10/(-4) - c/2?
False
Let d = 4628 + -1524. Is d a multiple of 19?
False
Let f(s) = 1156*s**3 + 4*s**2 + 20*s - 45. Does 47 divide f(2)?
True
Let k(r) = 3*r**2 + 148*r + 2284. Is k(-82) a multiple of 16?
True
Suppose m - 3 = -0. Let h = 11 - m. Suppose -10*z + 60 = -h*z. Does 10 divide z?
True
Let d be (5 - -10) + (-3)/(3/5). Let w(r) = 81*r + 4. Is 37 a factor of w(d)?
True
Suppose 70*v - 24 = 64*v. Let m = -8 - -144. Suppose -4*y + 4*o = -m, 0*o + v*o + 104 = 3*y. Is 6 a factor of y?
False
Let y be 70/(-4)*(-5 + 253/55). Suppose -3548 - 750 = -y*k. Is k a multiple of 33?
False
Let t(p) = 420*p + 69. Let w be t(-2). Let d = 1140 + w. Does 21 divide d?
False
Is 93 a factor of (11 - -7 - 23) + 29217?
False
Suppose -4*u - 123 - 13 = 0. Let c = -42 - u. Is 12 a factor of 0 + (-2)/(-4) + (-1124)/c?
False
Suppose 7*f = -20 + 160. Suppose 225 = -f*r + 1065. Is 14 a factor of r?
True
Let s(j) = -8*j - 4. Let l be s(1). Is 57 + (-15)/l*4 a multiple of 4?
False
Is 53 a factor of -217*(0 + 9 - 70)?
False
Let a(m) = -6*m**3 + 4*m**2 + m - 5. Is a(-5) a multiple of 28?
True
Suppose 606*v - 100736 = 602*v. Is v a multiple of 119?
False
Let t = -162 - -163. Let h(k) = 498*k**2 + 7*k - 8. Is 15 a factor of h(t)?
False
Let v(r) = r**3 - 19*r**2 + 16*r + 39. Let i be v(18). Let m(l) = 6 - 12*l + i - 1. Is m(-2) a multiple of 16?
True
Suppose y = -4*y + 15. Suppose -7 = y*p + 4*h, -4*p + 2*h + 14 = -2*p. Suppose 0*c - 131 = -c + p*j, c - 127 = j. Does 13 divide c?
False
Let s be (3*1/9)/(8/72). Suppose -s*j + 720 = 9*j. Is 3 a factor of j?
True
Is (3620/(-30))/(6/(-1350)*2) a multiple of 11?
False
Suppose 0 = 130*b - 318761 - 5849. Is b a multiple of 51?
False
Is 16 a factor of 16136 - -4*117/52?
False
Let x be 5 + ((-13)/(-78))/(1/6). Suppose 4*l = 5*q + 785, q = x*q + 25. Is l a multiple of 5?
True
Let m = -4997 + 6791. Is m a multiple of 23?
True
Let o = 15 + -12. Suppose -o*r - 3*c = -12, -4*c - c = r - 12. Suppose 3*m - 5*s = -0*m + 94, 3*m = -r*s + 122. Does 5 divide m?
False
Suppose -103*z = -118*z - 1020. Is (8 + -30)/(1 + 70/z) a multiple of 22?
True
Let s be 15*(-6)/(-30) - 3. Suppose 3*y - 15 = 0, 4*g - 4*y + 135 - 1055 = s. Is 53 a factor of g?
False
Let d(k) be the third derivative of -28*k**4/3 + 46*k**3/3 + 18*k**2 + 1. Does 13 divide d(-4)?
True
Suppose -5045 = 273*g - 290*g + 4288. Is 20 a factor of g?
False
Let i(o) = o**2 - 2*o - 60. Suppose 0 = 18*s - 0*s + 540. Does 50 divide i(s)?
True
Let c(j) = 18*j**2 + 13*j - 4. Let r be c(-4). Let d = r - 50. Does 14 divide d?
True
Let p be 4*(126/24)/7. Suppose -4*o = p*f - f - 1060, 5*o = -5*f + 2645. Is 48 a factor of f?
True
Let a(u) = u**3 - 12*u**2 + u - 14. Let x be a(12). Let z be ((-35)/x - 1) + 1/2. Suppose g - 4 = -y + 12, g = -2*y + z. Is g a multiple of 8?
False
Let c = 236 + -241. Does 17 divide (5020/6)/c*24/(-16)?
False
Let w be 18/(((-135)/(-36))/(-5)). Does 9 divide (-37692)/w*(-8)/(-18)?
False
Suppose -3*h = 15*h - 144. Suppose -5047 = -h*i + 3689. Does 26 divide i?
True
Suppose -5*t + 25 = 3*o, -2*t = t - 2*o + 4. Suppose 2*v - 3 = -2*l - 51, 3*v - t*l = -57. Is 40 a 