b - s. Does 5 divide b?
False
Let x(l) = 3*l**2 - 84*l + 174. Is x(50) a multiple of 9?
True
Suppose -4*n + u + 1405 = 0, -3*u = -3*n + 5*n - 685. Let r = n + -277. Is r a multiple of 14?
False
Suppose 128973 = 16*i + 3*i - 59127. Is 150 a factor of i?
True
Let f(y) be the second derivative of y**4/12 - y**3/6 - 3*y**2 - 2*y. Let z be 228/(-42) + (-68)/(-28) + -3. Is 7 a factor of f(z)?
False
Is 300/(-1800) - 116138/(-12) a multiple of 40?
False
Let u = 32 - 26. Let c be (-3)/(u/(-97))*2. Suppose 2*b + 0*z - 221 = -z, 5*z - c = -b. Is b a multiple of 9?
False
Suppose 5*h - 2*y - 16800 = 0, 2*y - 7*y = 6*h - 20160. Is h a multiple of 140?
True
Suppose -3 + 55 = 2*m. Let z = -26 + m. Let j = z + 21. Is 7 a factor of j?
True
Let n = 40 - 39. Let h be -10 - n/((-2)/10). Is 8 a factor of (-2 + 1)/(h/(40/1))?
True
Let u(b) = b - 1. Let a(x) = -35*x + 11. Let i(g) = -a(g) + 6*u(g). Let f be i(15). Suppose q + 2*q + h = f, -3*h + 994 = 5*q. Is 12 a factor of q?
False
Suppose -10619 = -3*n - 5*u, -10*u - 3529 = -n - 9*u. Is n a multiple of 31?
False
Suppose 0 = 23*h - 30*h - 223 + 713. Is h even?
True
Suppose -26*u + 29*u = -27. Let r be ((-44)/(-33))/((-4)/u). Suppose 5*z = -0*z + x + 29, -r*x = -3*z + 27. Is z a multiple of 5?
True
Let y(m) = 6*m**2 - 14*m - 6. Suppose 0 = -5*f + 4*h - 268, f + 6 = h - 48. Let p = 58 + f. Is y(p) a multiple of 9?
True
Suppose 1603*t - 1634*t + 650690 = 0. Is t a multiple of 20?
False
Suppose -9*i + 7*i - 2 = 0. Let j(s) = 91*s**2 - 3*s - 2. Let b be j(i). Suppose 4*u - b = 2*u. Is u a multiple of 23?
True
Let v be (-1710)/(-21) + 12/21. Let l = -125 - -151. Suppose v = a - l. Is a a multiple of 12?
True
Let n(a) = 4975*a - 5010. Is n(8) a multiple of 14?
True
Does 4 divide (-1821)/(-4) + ((-2100)/(-80))/35?
True
Is 22 a factor of (-196964)/(-41) + 3 + -2 + -2?
False
Suppose 0 = -a - 5, -2*n + 24*a = 19*a - 9007. Does 9 divide n?
True
Let q(s) = 6*s - 8. Suppose 4*x - 11 = -y + 2*y, -8 = -x + 2*y. Let i be q(x). Suppose 0 = i*v - n - 387, -2*v = 3*v - n - 484. Is 8 a factor of v?
False
Let q(h) = 7*h - 1. Let n(k) = -14*k - 1039. Let b(j) = -n(j) - q(j). Is b(0) a multiple of 52?
True
Let j(s) = 4*s**2 - 32*s + 24. Let n be j(7). Let t(i) = -i**3 - 3*i**2 + 8*i + 42. Is t(n) a multiple of 8?
False
Suppose 4*g = -y + 94, 4*y + 4*g = 284 + 20. Suppose -o = 4*o - 470. Let u = o - y. Is 6 a factor of u?
True
Let a(k) = k**3 - 6*k**2 + 5*k + 1. Let b be a(5). Let u be (-5 + 4)*-51*b. Is 51 a factor of u/(23/(-6) + 4)?
True
Suppose -3*x - 5*o = -x - 27, -4*x - 6 = -2*o. Suppose -f + 30 = l + 4*l, 0 = l - x. Suppose 91 = w + f. Is w a multiple of 13?
False
Let j(a) = -a**3 - 23*a**2 + 10*a - 32. Suppose -5*q - 4*i + 3*i = 121, -5*q - 3*i - 123 = 0. Does 16 divide j(q)?
True
Let g = 146 - 141. Suppose -736 = -g*x + 1204. Is 64 a factor of x?
False
Let l(c) = -c**2 + 36*c - 155. Let o be l(32). Let d(h) = -10*h - 30. Is d(o) a multiple of 10?
True
Let u(g) = 43*g**2 + 4*g - 12. Let j be -26 - -30 - (-4)/(2 + -4). Is 42 a factor of u(j)?
True
Suppose -66*p + 68*p = 832. Does 43 divide p/78*(423/12 - 3)?
True
Let o(q) = -q**2 - q. Let i(f) = 4*f**2 + 7*f + 2. Let c(r) = -i(r) - 5*o(r). Let b(u) = -2*u**2 + 34*u + 73. Let t be b(19). Is 13 a factor of c(t)?
True
Let o be (-2*(-12)/(-10))/((-3)/(-10)). Is ((-38)/o)/((-3)/(-72)) a multiple of 19?
True
Suppose 6*x = 12 - 6. Does 23 divide x + 1 - ((-15471)/9)/3?
True
Suppose 2*g + 2*l - 176 = 0, -g + 145 = -4*l + 37. Let k be (-3 + 1 + (-68)/(-10))/((-2)/25). Let q = k + g. Is 3 a factor of q?
False
Let d(n) = -3*n**3 + 5*n**2 - 6*n - 3. Let s be d(-6). Suppose -7*x + 511 = -s. Is 9 a factor of x?
False
Suppose -23*j + 26*j + 3*v - 6 = 0, 4*j = 3*v - 6. Suppose 0*w + 24*w - 264 = j. Is w a multiple of 4?
False
Let j = 72 + -64. Is 4 a factor of 4/(j + 3500/(-441))?
False
Let p be 19 + -3*(-2)/(-3). Let h = p + 0. Suppose 3*k = h + 61. Is 26 a factor of k?
True
Let l = 57 - 50. Suppose -2*w + 5*b - l = 0, -3*b + 9 = -0*b. Is 5 a factor of (-80)/w*17*4/(-16)?
True
Let h = -4 + 9. Let y be (2/h)/(-1) - 1046/10. Is (166 + -1)*(-7)/(y/10) a multiple of 22?
True
Suppose -2206 = -6*f + 11564. Is 15 a factor of f?
True
Suppose -37*k + 1510 = -42*k. Suppose 6*r - r = -685. Let u = r - k. Is u a multiple of 15?
True
Suppose f - t - 22 = -2*f, 4*f = -2*t + 16. Let m(l) = -3677 - 3672 + 7329 + 28*l. Does 29 divide m(f)?
False
Let q be (-6 - -5)/((-3 + -1)/52). Suppose -3193 + 593 = -q*b. Let f = b - 97. Is f a multiple of 13?
False
Let g = 217 - 212. Suppose 696 + 514 = g*o. Is o a multiple of 32?
False
Let b(n) = 369*n - 48. Let w be b(8). Let d = 4928 - w. Is (-3)/2*d/(-12) a multiple of 17?
False
Suppose 3*i - 83 = 4*h + 4, 3*h + 44 = -2*i. Is 3 a factor of 2*3 - (-1 - -6) - h?
False
Let a = 1543 + -1527. Let f = -83 + 143. Let k = f - a. Does 19 divide k?
False
Let w be -5*111*(54/15 + -4). Let p = w - 201. Is 5 a factor of p?
False
Let i(m) = -m**3 - 86*m**2 + 20*m + 1236. Is i(-87) a multiple of 45?
True
Let p = 97 + -90. Let f(i) be the first derivative of 9*i**2 + 14*i - 2. Is f(p) a multiple of 28?
True
Suppose 2*x - 2217 - 7478 = -5*x. Does 180 divide x?
False
Let i be 17/(34/(-640)) - 0. Does 62 divide -4 - -1 - (i - -7)?
True
Let d(y) = 6*y**2 - 9*y + 31. Let n(u) = -6*u**2 + 10*u - 32. Let k(w) = 7*d(w) + 6*n(w). Does 37 divide k(-6)?
True
Let u(y) be the second derivative of 29*y**5/10 + y**4/6 - 5*y**2/2 + 62*y - 1. Is 19 a factor of u(2)?
False
Let c = 12948 - 10251. Does 31 divide c?
True
Suppose 14*a - 26*a = 72. Let t be (1 + (-9)/5)*5. Is 6 a factor of t/8 + (-363)/a?
True
Suppose 3*b = -g + 6867, -23*g = -22*g. Is b a multiple of 45?
False
Let v(t) = t**3 - 8*t**2 - 6*t - 7. Let h be v(9). Suppose 21*p - 39 = h*p. Does 4 divide p?
False
Let i = 68 - 72. Let j be (118 + 0)/(i/2) + -1. Let g = -52 - j. Is g a multiple of 8?
True
Let q be -9 + 4206/4 + 3/2. Suppose -5*l = -2*x + 531, -5*x + 276 = -5*l - q. Does 21 divide x?
False
Suppose -y + 56*p - 52*p + 32616 = 0, 2*y - 65211 = p. Is 11 a factor of y?
True
Suppose 0 = 900*x - 888*x - 110052. Is 23 a factor of x?
False
Is 30 a factor of (-2535)/(-676)*(1 + 1599)?
True
Suppose 1779 - 91479 = -25*s. Is s a multiple of 7?
False
Suppose -2*m = -5*a - 1010, -2*a + 3*m - 360 = 44. Let k = 358 + a. Is 3 a factor of k?
True
Suppose s - 3*s + 8 = n, -3*n + 4 = -4*s. Is 9 a factor of (2*(-2)/n)/((-4)/396)?
True
Let l(j) = -4*j - 16. Let s be l(-3). Let k(r) = 5*r**2 + 10*r + 2. Let x be k(s). Suppose x = c - 48. Is c a multiple of 6?
True
Suppose 792*d + 2212608 = 859*d. Does 96 divide d?
True
Suppose -5*p + 5*w + 40295 = 0, 11 = -4*w + 39. Is 52 a factor of p?
False
Is 370 a factor of (-1 - (-12577)/(-3))*-18?
True
Suppose 54*s = 49*s + 2435. Suppose -85 - s = -2*j. Does 7 divide j?
False
Let i(r) = 21*r**2 - 4*r - 6. Let p be 1/(-3)*-36*4/(-16). Is i(p) a multiple of 13?
True
Let k(z) = -z**3 + 19*z**2 - z + 37. Does 9 divide k(6)?
False
Let o(j) = -720*j + 1412. Is 56 a factor of o(-6)?
False
Let d(k) = 1685*k**2 + 591*k - 3556. Is 38 a factor of d(6)?
False
Suppose 3*l - 15579 = 3*a, 3603 + 6781 = 2*l - 4*a. Does 106 divide l?
True
Suppose -248400 = 63*l - 178*l. Is 4 a factor of l?
True
Let k(r) = -5*r**3 + 234*r**2 - 28 - 17*r - 121*r**2 - 119*r**2. Let h(m) = 6*m**3 + 5*m**2 + 18*m + 29. Let j(s) = -4*h(s) - 5*k(s). Is j(-6) a multiple of 6?
True
Let l be 24*((-10)/18)/((-2)/24). Let p = l + -110. Let g = p - 29. Is 7 a factor of g?
True
Let u(l) be the first derivative of 2*l**3 + 11*l**2/2 + 7*l + 3. Does 7 divide u(3)?
False
Let g(a) = -2 - 5*a + 5*a - 46 + 24*a. Suppose s - 9 = -x - 0, 3 = s. Is 16 a factor of g(x)?
True
Suppose 0*w = w + 3*g + 10, w - 4*g = 18. Let u be 7 - (1 - w)*-3. Let s(d) = 24*d + 2. Does 30 divide s(u)?
False
Let h = 44 - 20. Let v be (833/51 - 16) + (-59)/(-3). Suppose -v = -l + h. Does 11 divide l?
True
Let v = 5155 - 2994. Is v a multiple of 13?
False
Suppose -364*j + 367*j - 2*v - 131800 = 0, -2*j = -2*v - 87864. Does 51 divide j?
False
Suppose -n - 4202 = -5*l + 5418, -3*l + n = -5770. Is 55 a factor of l?
True
Suppose 2*g = m + 6, -5*g - 3*m - 2 + 6 = 0. Suppose 5*d - 3*a - g*a = 225, -4*d = -a - 183. Is 6 a factor of (-4 - -8 - d)*-1?
True
Let s be (48/32 - (-26)/4) + -1. Is 16 a factor 