et b be (-1)/(-3) + (-95)/15. Is b/(-8) - (-570)/x a multiple of 9?
True
Let c(u) be the first derivative of u**3/3 - 2*u**2 + 8*u - 2. Let l(i) = i**3 - 3*i**2 - i - 1. Let h be l(4). Is c(h) a multiple of 33?
False
Let s = 485 + -482. Suppose 3 + s = -3*y, 5*x - 1577 = -4*y. Is x a multiple of 28?
False
Let i = -27 + 35. Let w(j) = 19*j - 1. Let k(p) = 58*p - 3. Let l(u) = i*w(u) - 3*k(u). Is l(-2) a multiple of 8?
False
Suppose 3*p + g = 35762 + 22249, 0 = 3*p - g - 58017. Is p a multiple of 22?
True
Let v be 66/((-5)/(-2) - 1). Let o(w) = w**3 - 25*w**2 - 44*w + 150. Let p be o(27). Suppose v*t - 40*t - p = 0. Does 15 divide t?
True
Let m(t) be the second derivative of t**5/4 - 5*t**4/12 - t**3/2 - t**2 - 14*t. Let j be m(5). Suppose -2*d + 99 = w, 5*w - 2*d - j + 36 = 0. Does 13 divide w?
True
Let m be 0*(-3 + -2)/10. Let l be (m + -2)*((-9735)/10 - -2). Suppose 0 = 14*u - 689 - l. Does 29 divide u?
False
Let h be ((-27)/6)/3 + (-2247)/(-14). Let i = h + -148. Is 6 a factor of i?
False
Let x = 584 + -689. Suppose 4*l + 263 = 5*l. Let v = l + x. Does 27 divide v?
False
Let z = 14 + -12. Suppose -f = -z*v - 24 + 219, -f + 381 = 4*v. Suppose 2*h = 5*h - v. Is h a multiple of 16?
True
Let v be ((-25)/(-20))/((-2)/(-8)). Let t = -190 + 194. Suppose 0*d - 84 = -t*b + v*d, 5*d = 5*b - 110. Is b a multiple of 5?
False
Suppose -b - 4 = b - 4*l, -b - 5*l + 12 = 0. Suppose 0 = 3*a + 6*d - d + 21, 0 = -b*a + 4*d + 8. Let f = 18 - a. Does 10 divide f?
True
Suppose -44*m + 78887 + 62637 = 24572. Does 199 divide m?
False
Let b = -14 + 31. Let g = b + -12. Suppose 130 = 5*t - 2*o, 0*t + g*t = -2*o + 130. Does 4 divide t?
False
Suppose -20*v = -28*v + 40. Suppose 0 = v*j - 2*j - 651. Suppose 168 = 5*m - j. Is m a multiple of 11?
True
Suppose 26299 = 11*i + 6*i. Let y = i - 1030. Does 11 divide y?
True
Let g be -1 + 8/14 - (-303)/21. Suppose -4*q = -g - 2. Suppose 3*o - 50 = -h, -o - q*h + 37 = 2. Does 8 divide o?
False
Let q be (6 + -7)/1 + 1. Does 12 divide (4 - 9) + 413 + q?
True
Let r(y) be the second derivative of y**5/20 - y**4/12 - y**3/6 + 8*y. Let d(v) = -4*v**3 + 5*v**2 + 6*v - 66. Let l(w) = -d(w) - 6*r(w). Is 6 a factor of l(0)?
True
Let f = -1511 + 1117. Let y(w) = 554*w**3 - w**2 - 2*w - 1. Let s be y(-1). Let z = f - s. Does 23 divide z?
False
Is 94 a factor of (-2 - (-1672)/(-10))/((-84)/5460)?
True
Let t(a) = -a**2 + 25*a - 40. Let q be t(17). Suppose b - 356 = -q. Is 20 a factor of b?
True
Let z(t) = 844*t + 5273. Is z(19) a multiple of 7?
False
Let o = -427 + 6472. Does 93 divide o?
True
Let g(k) = -k**3 - 3*k**2 + 2*k + 1. Let s be g(-4). Suppose 20 = s*p - 4*p. Is (1 - 6/(-10))/(p/130) a multiple of 26?
True
Suppose 2*p = m + 18, -4*p + 5*m + 13 = -35. Let b be (-2)/(-6)*4*-12. Let s = p - b. Does 4 divide s?
False
Let h = 657 - 341. Let w = h + -183. Let b = w + -52. Does 9 divide b?
True
Let c = -48 + 53. Suppose -5*t = -5*z + 365, t - c*z + 41 = -32. Let b = t - -117. Is 5 a factor of b?
False
Suppose 5*d - 70 = 5*c, 2*c = 4*d + 17 - 65. Let l be 15/d - (-1932)/8. Suppose 2*v = -0*v - 3*t + 129, 4*v = -t + l. Is 15 a factor of v?
True
Suppose 11 - 6 = x. Suppose 4*o + 34 = -f + 4*f, -x*o - 29 = -3*f. Suppose -f*l + 19*l - 20 = 0. Does 9 divide l?
False
Suppose -103*b + 101*b + 2 = 0. Let v be (5/(-10))/(b/18). Is 10 a factor of ((-36)/8)/v - 118/(-4)?
True
Let z(k) = -28*k**2 + k - 50. Let f be z(7). Let n = f - -2342. Does 77 divide n?
False
Let x(t) = 55*t**2 + 6*t - 7. Let k(j) = -j**2 - 20*j + 2. Let z be k(-20). Is 45 a factor of x(z)?
True
Suppose 1065070 = 226*r - 1602634. Is 13 a factor of r?
True
Let a(m) = -133*m**2 + 43*m**2 + 45*m**2 - 128 + 46*m**2 - 26*m. Does 23 divide a(-10)?
False
Let x be 6965/(-10)*72/42. Let l be (-2)/6 + 8/(-12). Is 25 a factor of x/(-24) + l/(-4)?
True
Let y = 6470 - 3981. Does 19 divide y?
True
Let h be 1/(-5 + 38/8). Is 6 a factor of 9/(-6) + (h - (-586)/4)?
False
Suppose 13*g = 7*g + 72. Suppose g*s = -673 + 3793. Does 13 divide s?
True
Let y(o) = 13*o + 5. Let q be y(6). Let n be (-29)/((-1015)/42) + (-12)/(-15). Let u = q + n. Is 17 a factor of u?
True
Suppose -3*r + 5*a = -17515, 3723 + 13784 = 3*r - a. Is 15 a factor of r?
True
Suppose p + p - 6 = 0. Suppose -d - 14 + 0 = 4*l, -4*d - p*l - 4 = 0. Suppose -d*x + 4*w = -254, 0 = 3*x + x + 5*w - 495. Does 25 divide x?
True
Let f be 15141/18 - 4/24. Let p = -521 + f. Is p a multiple of 20?
True
Suppose -2*b + 11*b = 45. Let f(n) be the third derivative of n**5/60 + n**3/6 + 22*n**2. Is f(b) a multiple of 26?
True
Let j be 3558/(-6)*(5 + -2). Let g = -1165 - j. Is 82 a factor of g?
False
Is 12 a factor of -20*8/112 - 24474/(-21)?
True
Let f be -13 + 21 + (0 - 2). Let v(d) = 35*d**2 - 29*d - 8. Does 22 divide v(f)?
True
Suppose w - 25 = -0*w. Suppose 75 - w = g. Suppose 0*y - 2*t - 30 = -2*y, -4*y + 2*t + g = 0. Is 5 a factor of y?
True
Suppose f - 3855 = s, -284*f + 4*s = -282*f - 7720. Does 11 divide f?
True
Suppose -63*n = -52*n - 22. Suppose 5*j - 1068 = 2*z, -n*z = -10*j + 6*j + 856. Is j a multiple of 12?
False
Let v(c) = -c - 27*c**2 - 110 - 66*c**2 + 113. Let i be v(2). Let l = -249 - i. Is 15 a factor of l?
False
Suppose -5*p + 15 = 4*i, 4*p - 4 + 44 = 2*i. Suppose -i*j = j - 825. Is 25 a factor of j?
True
Suppose 0 = -5*a - 10*k + 5*k + 40, 5*k = -3*a + 28. Suppose -3*t - a*r + 1250 = -4*r, t - 2*r - 430 = 0. Does 28 divide t?
True
Suppose 23*g + 5*g + 23738 = 54*g. Does 58 divide g?
False
Let y = -5332 + 8082. Is y a multiple of 55?
True
Let q be 2 + 1437/(-27) + (-8)/(-36). Let g = q - -38. Let l = 68 - g. Is 17 a factor of l?
False
Suppose 451*a - 454*a = -1791. Let j = -220 + a. Is 13 a factor of j?
True
Let h be (3/(-3*2))/(3/(-24)). Suppose -5*g - 206 = -3*g - h*m, 528 = -5*g - 3*m. Is 14 a factor of (32/20)/((3/g)/(-1))?
True
Let c = -2447 + 3547. Suppose -c = -5*v + 15*v. Let h = v - -166. Is 8 a factor of h?
True
Suppose 10*c - 219 = 301. Suppose -71 = 3*i + c. Does 10 divide (-7)/14 + i/(-2)?
True
Is 3 a factor of -105*((-60)/10 - -1)?
True
Let d be ((-1)/(6/(-15)))/(2/4). Suppose 0 = b - 6 + d. Is 32 a factor of (b - 19)*-9 - 2?
True
Let f = 2455 - 1815. Is f a multiple of 40?
True
Let s(u) = 3*u**3 + 5*u**2 + 42*u - 592. Does 62 divide s(17)?
True
Let n(p) = 21*p**2 + 13*p - 1. Let h be n(-2). Let q = 45 - h. Does 5 divide (4 + q/2)*-1*5?
True
Suppose 0 = 3*m - 4249 + 3697. Is m a multiple of 15?
False
Let g = -83 + 85. Suppose 678 = g*a - 2*l, 13*a - 4*l + 354 = 14*a. Does 19 divide a?
True
Suppose 88*r - 1154541 = 603171. Is 33 a factor of r?
False
Let o = -423 + 437. Let w(b) = 23*b - 187. Is w(o) a multiple of 8?
False
Suppose -1037 = 13*c + 4*c. Let j = 363 + c. Is j a multiple of 87?
False
Let b(j) = -j**2 + 5*j - 3. Let x be b(2). Does 59 divide (10/(10/x))/((-6)/(-472))?
True
Let h be -40 + -3 + (1 - (6 + -3)). Is 1891/5 + 9/h a multiple of 14?
True
Let w = -585 + 261. Let s = w + 454. Does 13 divide s?
True
Let x(h) be the first derivative of -4*h**2 - 37*h + 3012. Let y be (-56)/9 + 6/27. Is 5 a factor of x(y)?
False
Suppose -672 = -4*c - k, 6*k - 168 = -c + k. Let p = -63 + c. Does 21 divide p?
True
Let b(u) = -7*u**2 - 4 - 3*u - 1 + 3*u**3 + 4 - 2. Let w be b(3). Is 2/w + 6/(36/922) a multiple of 22?
True
Suppose a - 2 = -0. Let f be -1*(-39)/a*12. Suppose -2*b = 3*y - f, -2*b - 7 = -1. Does 20 divide y?
True
Let i(y) = -6*y + 54. Let s be i(11). Let p = -9 - s. Suppose -130 = -p*l + 128. Does 14 divide l?
False
Let o(x) be the third derivative of -4/3*x**3 - 3/4*x**4 + 0*x + 46*x**2 + 0. Is 19 a factor of o(-11)?
True
Suppose 0 = -432*r + 405*r + 20167 - 5398. Does 10 divide r?
False
Let r = 10227 - 9645. Is r a multiple of 4?
False
Let p = 172 - 175. Is 8 a factor of 1 + 4 + p/(-2)*34?
True
Let o = -11 - -11. Suppose o = -7*r + 8 + 20. Suppose -w + 0*m - r*m + 71 = 0, -4*w - 3*m + 245 = 0. Does 21 divide w?
False
Let u = 15625 + -1520. Is u/62*(-8)/(-5) a multiple of 14?
True
Let p = 6303 + 2346. Is p a multiple of 18?
False
Let c = 18243 + -6649. Suppose c = 20*j - 3*j. Is 22 a factor of j?
True
Let h(b) = -44*b + 5. Let z = 105 + -106. Is 6 a factor of h(z)?
False
Let i be (-2)/(-3) + (-251300)/(-150). Suppose -3*g = -4*f - 7*g + 2224, g - i = -3*f. Is 53 a factor of f?
False
Suppose 6*j - 16 = 2*j. L