divide l?
False
Let g(z) = -3*z**2 + 31*z - 13. Let t be g(10). Is 18 a factor of (1 + t)*(-177)/6*13?
False
Suppose -26*s + 5*s + 187460 = -95368. Is s a multiple of 148?
True
Suppose -5*a - 4*w - 2 = 0, 2*w = 2*a - 0*w - 10. Let i(v) = 6*v - 14. Let d be i(a). Is 21 a factor of -3 + 106 + (-4)/d?
True
Suppose -4*y + 16 = 3*d, 50*d - 65 = 45*d + y. Is d/(-10) + 190588/290 a multiple of 8?
True
Let x(b) = b**2 - 8*b - 39. Let u be x(18). Let t = 182 - u. Suppose -31 = -4*h + t. Is h a multiple of 10?
False
Is 89 a factor of 1/4*(-264)/(-9)*(-1142979)/(-298)?
False
Suppose -4*l + 28 = 4. Let v(y) = 6*y - 33. Let r be v(l). Suppose 3*u - 4*t = 41 - 7, -79 = -r*u - 5*t. Is u a multiple of 10?
False
Suppose -4*f + 6*f = 2*b - 34, -b = -4*f - 5. Suppose 4*j = 4, 8*k = 3*k - j + b. Is (30/k)/(61/(-64) - -1) a multiple of 61?
False
Let i be (-3 - -3 - -2)*(-1)/(-2). Let f(g) = 2*g - 3. Let n be f(i). Is ((-270)/40)/(-1*n/(-4)) a multiple of 7?
False
Suppose 2*f + 130 = 148. Suppose -12*k + f*k + 1241 = v, -k + 423 = 5*v. Does 17 divide k?
False
Let h(w) = -52 + 7*w**2 + 56 + 9 - w. Let b be (-2 + 1)*0/(-4). Is h(b) a multiple of 13?
True
Let g(q) be the first derivative of -q**3/3 + 3*q**2/2 + 15*q + 16. Let o be g(5). Suppose -o*l - 135 = -5*u, -57 = -3*u + 2*l + 21. Is u a multiple of 24?
True
Suppose -5*p = -13450 + 1195. Suppose p = -70*u + 73*u. Suppose 4*l - 923 = -5*a - 130, 5*a - 4*l = u. Does 9 divide a?
False
Let k = -29097 + 43011. Does 50 divide k?
False
Let y be (-36)/(-18)*(0 + 1). Let o be 6*-2*3/(-12). Suppose y*m = -4*w + 116, 4*m - o*w - 272 = -w. Does 5 divide m?
False
Let i = 27639 - 13784. Is 85 a factor of i?
True
Let v(t) = -9*t - 55. Let q be v(-6). Does 21 divide -373*4/(-10) + q/5?
False
Suppose 3650*r = 3646*r + 844. Does 20 divide r?
False
Suppose 1599 = -3*u + 3*j + 23031, 5 = 5*j. Is u a multiple of 16?
False
Let q(s) = s**2 + 5*s - 60. Let t be q(-10). Does 6 divide t/(-4)*(303/15 - 13)?
True
Suppose 3*y + 2*o - 15662 = 0, 16227 = 4*y - 2*o - 4651. Is 20 a factor of y?
True
Does 28 divide 37/(-148)*(3 + -5) - 51174/(-4)?
False
Let s(y) = -y**3 - 9*y**2 - 22*y + 8. Let r(f) = -f**2 + 3*f + 22. Suppose b + 2*k - 1 = 0, -5*b = 4*k - 12 - 11. Let z be r(b). Is s(z) a multiple of 11?
False
Suppose 0 = 2*w - 2*m - 100156, -w - 3*m - 26349 = -76447. Is w a multiple of 319?
True
Let z(q) = -496*q + 1685. Does 107 divide z(-24)?
True
Let f = 535 - 532. Does 66 divide 45/(-9) - (0 - (f - -926))?
True
Suppose -6*d + 26 = -4*d. Let t be -7*d/((-91)/(-174)). Let s = t + 252. Does 26 divide s?
True
Suppose 39*i = 2*v + 44*i - 12325, 0 = 5*v - 4*i - 30730. Is 123 a factor of v?
True
Let s = -1379 - -2489. Suppose -14*w + s = -4*w. Is w a multiple of 6?
False
Suppose -2*u + 79 = -r, -2*r - u - 90 = 68. Let x = r - -136. Suppose -5*q = -z + x, 2*q - 3*q = -5*z + 261. Is z a multiple of 13?
True
Is 105 a factor of 62/(-837) + (-8096128)/(-216) + 3/1?
True
Does 20 divide (1191744/(-12))/(-4) + (-15)/(-5)?
False
Let j(v) = v**3 - 6*v**2 - 6*v + 13. Let h(y) = y**2 + y - 1. Let i(a) = 3*h(a) + j(a). Let o be (-204)/(-54) + 1*2/9. Is 3 a factor of i(o)?
False
Let m be -5*((2 - (9 + -2)) + 4). Suppose 0 = m*k + p - 1171, 0*k + 2*k = -4*p + 472. Is k a multiple of 16?
False
Let i be 10/(-2) - (-200 - 39). Let v(s) = 20*s + 7. Let l be v(-6). Let o = i + l. Is 11 a factor of o?
True
Suppose 23*l - 19*l + 3428 = y, 3*l = -2*y + 6823. Is y a multiple of 6?
False
Let n = 6309 - -4379. Does 32 divide n?
True
Suppose -3*x - 7 = -j, -3*x + 5 + 8 = 4*j. Suppose -4*c - j = -5*c. Suppose -72 = c*g - 8*g. Is 6 a factor of g?
True
Let j(u) = 8*u + 43. Let m be j(-34). Let d = -185 - m. Does 5 divide d?
False
Let y be ((-7)/((-21)/6))/(1/2). Let z be y/2*2/2. Suppose -5*x + x - 160 = -z*v, 4*v - 385 = -5*x. Does 6 divide v?
True
Is (-22)/(-5 - -201*(-152)/(-6120)) a multiple of 43?
False
Is 1750/4*((-612)/(-85) + 0) a multiple of 126?
True
Let r = -10491 + 16285. Is r a multiple of 30?
False
Let w = 7763 + -2791. Is w a multiple of 44?
True
Suppose -88*a + 8 = -96*a. Does 8 divide 136/16 - 3*a/2?
False
Let y(g) = 16*g**2 - 4*g - 24. Let s be y(-4). Suppose 4*v - s - 1628 = 0. Is 31 a factor of v?
False
Suppose 4*m + 51056 = t, 9*m - 204235 = -4*t + 14*m. Is 10 a factor of t?
True
Suppose 0 = r + 2*s - 48757, -4*r + 195116 = 81*s - 84*s. Is 19 a factor of r?
True
Let o = 31 + -7. Let u be 64/112 - o/(-7). Suppose u*s + 51 = 5*s. Does 17 divide s?
True
Suppose -5*j + 16986 + 31359 = 5*g, 38694 = 4*j + g. Is 9 a factor of j?
True
Let z be (-3)/(-5) + 22/5. Let k = z - -37. Suppose 0 = -v + 22 + k. Does 15 divide v?
False
Suppose 20*g + 136730 = 75*g. Does 19 divide g?
False
Let x(b) be the second derivative of -b**4/12 - 5*b**3/3 + 21*b**2/2 - 6*b. Let d be x(-10). Suppose 6*s - 99 = d. Is s a multiple of 5?
True
Let t = 48043 - 39484. Is 4 a factor of t?
False
Suppose -13*t + 17*t - 684 = 0. Suppose y - t = -29. Is y a multiple of 6?
False
Let x = -458 - -898. Let k = 683 - x. Does 9 divide k?
True
Suppose 0 = 3*v + 3*k - 39, -2*v + 2 = -k - 9. Suppose v*y - 228 = 412. Does 5 divide y?
True
Let b(v) = -v**2 + 10*v - 21. Let a be b(5). Is 5 a factor of 2*4/8 - (a - 253)?
True
Let j = -752 + 1944. Suppose -13*w = 2*m - 12*w - j, m - w = 596. Does 36 divide m?
False
Let o = 59 - 53. Suppose o*i = 7*i - 4. Suppose -t + 0*t - 156 = -i*k, -4*t - 92 = -2*k. Is k a multiple of 3?
False
Let x(o) = -o**3 + 5*o**2 + 19*o + 3. Let v be 1/(-5) + 174/(-30). Does 19 divide x(v)?
True
Let j = 34 + -41. Let k(u) = 2*u**2 + 15*u + 7. Let x be k(j). Suppose 9*r + 313 = 4*f + 6*r, x = 2*r + 6. Is f a multiple of 19?
True
Suppose -5*s = 11*m - 6*m - 20, -5*m - 8 = s. Suppose -5*t = -12*z + s*z + 3765, -5*z - t = -3777. Does 15 divide z?
False
Let x(l) = l**3 - 43*l**2 + 38*l - 369. Does 5 divide x(43)?
True
Let j(a) = a**3 + 28*a**2 - 95*a - 45. Let q be j(-31). Let h = -54 - -125. Let c = h - q. Is c a multiple of 18?
True
Let p(i) be the second derivative of 2/3*i**4 + 1/3*i**3 - 20*i + 0 - 2*i**2 + 1/20*i**5. Does 18 divide p(-4)?
False
Let j(q) = -q**2 - q + 2480. Let c be j(0). Suppose 2*z - c = 6*z. Let g = -397 - z. Does 20 divide g?
False
Suppose 5*w = 5*b + 9060, -2*w - 2*b + 2838 = -802. Is 8 a factor of w?
True
Suppose q = -l + 12 + 3694, 14830 = 4*q + l. Does 2 divide q?
True
Let y(i) = 14*i - 5. Let w(k) = -12*k + 4. Let o(q) = -5*w(q) - 4*y(q). Is o(15) a multiple of 20?
True
Is (362/(-3))/(((208/39)/(-8))/1) a multiple of 24?
False
Let u(s) = 16*s - 220. Suppose o - 14 = r, -o - 3*r = -0*r - 34. Is 23 a factor of u(o)?
False
Is (-7 + 2)/10*-7618*5/5 a multiple of 25?
False
Let n(s) = 79*s**2 - 9*s - 3. Let r be n(-4). Suppose r = 4*t - 5*i, 0 = -4*t + 3*i - 133 + 1428. Is 6 a factor of t?
False
Let m = 35662 - 23852. Is m a multiple of 147?
False
Suppose 164*f = 161*f + 12. Suppose -f*r = -8*x + 10*x - 848, 2*x - 5*r - 821 = 0. Is x a multiple of 8?
False
Let s(r) = 261*r + 263. Does 73 divide s(7)?
False
Suppose 0 = -4*k + 7 + 13. Let d be 21/231 + (-3020)/(-55). Suppose 3*n + l - 41 = 0, k*n - 3*l = -2*l + d. Is n a multiple of 3?
True
Let z be (2 - 1)*(-2 - -1). Let l be 20/6*(7 + z). Let k = 20 + l. Does 6 divide k?
False
Let v(u) = 1485*u + 2832. Is 12 a factor of v(8)?
True
Let j(i) = 3*i + 19. Let c be j(10). Suppose 0 = -48*s + c*s + 174. Let n = 1 - s. Is n a multiple of 18?
False
Let m(h) = -5*h**2 + 9*h + 9. Let r be m(5). Let c = r - -57. Is 2*(5 - c) + -5 even?
False
Let g(k) = -k**3 + 52*k**2 - 3*k**3 + 134 + 2*k**3 + 26*k - 43. Is g(26) a multiple of 13?
True
Let n(h) = -h + 710. Suppose 2*u = -u. Let y be n(u). Is 10 a factor of 8/(-28) + y/35?
True
Let s be ((-417)/2 - -1)/(36/(-1368)). Suppose 983 = -17*t + s. Does 25 divide t?
False
Let a = 279 + -175. Let p = a + 287. Let q = -97 + p. Is 49 a factor of q?
True
Suppose -3*y + 5*k = 1611, 4*y = -k - 2710 + 562. Let j = 1095 + y. Is 31 a factor of j?
True
Suppose 6*j - 2*j - 27372 = 64608. Is 15 a factor of j?
True
Let t(n) be the second derivative of -n**3/6 + 39*n**2/2 - 78*n. Let f = -27 - -40. Is t(f) a multiple of 8?
False
Let v = -91 + 523. Suppose -v = -2*c + 292. Is 18 a factor of c?
False
Suppose 0 = 4*q - 18 - 6, 5*t = -q + 8286. Is t a multiple of 24?
True
Let h be 852/(-6)*(-4 + 3