r of a?
False
Suppose 20 = 5*o, g + 5*o - 460 = 1172. Does 62 divide g?
True
Let b = 6281 - 2581. Suppose 147*l - 157*l = -b. Is l a multiple of 3?
False
Let p = -252 - -245. Let a(t) = -4*t + 67. Is a(p) a multiple of 10?
False
Let m(k) = 20*k + 70. Is 7 a factor of m(27)?
False
Let d(y) = y**2 - 15*y + 40. Let s be d(15). Does 17 divide 1 - (-8072)/s - (-1)/5?
False
Suppose -37 = -2*j + 17*c - 18*c, -3*c - 33 = -2*j. Suppose -j*u = -25785 + 9909. Is u a multiple of 54?
False
Let y(v) = 38*v**2 - 4*v + 24. Let x be y(-6). Let p = -972 + x. Suppose p + 732 = 7*h. Is 24 a factor of h?
True
Let m(u) = 3261*u - 2. Let i be m(-2). Let b be (-4)/(-10) - i/(-35). Let l = b - -276. Is l a multiple of 33?
False
Let t(y) = -y**3 + 2*y**2 + y. Let o be t(2). Suppose n = -4*r + 3, -o*r + 14 - 4 = 0. Does 8 divide (4/(-1 - -5))/((-1)/n)?
False
Let i(x) = 4 + 0 + 25*x + 25*x**2 + 3*x**3 + 14 - 2*x**3. Let s be i(-24). Does 15 divide (-59)/(-4) + s/(-24)?
True
Let v be 25/75 - 2*2/12. Let p be 4*1 + v/(-15). Is 14 a factor of (p/(-5))/(-3 + 1093/365)?
False
Let r be 32/8*556/16. Suppose -8*t = -9*t + 4*p + r, 5*t - 783 = -2*p. Is t a multiple of 31?
True
Let q = 269 + -267. Suppose 0*b = -5*b - q*r + 162, 4 = -r. Does 2 divide b?
True
Let h(y) be the first derivative of 8*y**3/3 + 2*y**2 + 7*y + 9. Let c be h(-5). Suppose -13 = -2*l + c. Is 25 a factor of l?
True
Suppose 4*m + 97*m - 151937 = -2558. Is 29 a factor of m?
True
Let t(i) be the second derivative of 263*i**3/6 - 23*i**2 - 157*i. Is t(3) a multiple of 51?
False
Let i(q) = q**3 - 9*q**2 + 14*q - 8. Let n be i(7). Let y = 18 + n. Suppose -y = 2*c, 5*w - c - 160 = 4*c. Does 27 divide w?
True
Suppose -6*s - 146 + 128 = 0. Let i be ((-5)/10)/((-1)/18). Is ((-177)/i - s)*-3 a multiple of 20?
False
Let b(r) be the second derivative of -r**3/6 - r**2 + 36*r. Let d be b(1). Does 27 divide (-14)/((d/(-8))/((-240)/32))?
False
Let j(n) = n**2 + n - 3. Let o be j(4). Suppose o = 3*m - 46. Suppose -19*c + m*c = 90. Is c a multiple of 9?
True
Let l(b) = 9*b**2 - b - 4. Let n be l(-1). Suppose -2*h - n = -3*h. Does 2 divide h?
True
Suppose -5*q = -4*k + 32683, -218*k + 8182 = -217*k - 5*q. Does 96 divide k?
False
Suppose 5*f - 8*p + 4*p = -12, -4*f - p = -3. Suppose -5*k - 1792 = -4*n - 0*k, f = -3*n + 2*k + 1344. Does 16 divide n?
True
Suppose -1135*j + 973*j + 191808 = 0. Is 8 a factor of j?
True
Let o be (3 - 1)*(-3)/6. Let m(q) = -11*q - 1. Let g be m(o). Is 12*(4 - g/4) a multiple of 3?
True
Suppose 70*x = 80*x + 1110. Does 13 divide (7 + x)/(4/(-18))?
True
Does 11 divide 32/((-32)/(-10353)) + -11?
False
Let v(u) = -u**2 + 8*u - 13. Let t be v(4). Suppose t*y - 9 = 0, 3*n + 5*y + 193 = 7*n. Suppose 48*w + 336 = n*w. Does 42 divide w?
True
Suppose 588150 = 127*m - 22371 - 695801. Is 139 a factor of m?
True
Is 117 a factor of 35168 + 4/(-14)*(-7 - 0)?
False
Suppose c + 1 + 4 = 0. Is (3 + -2)*-74*(2 + c) a multiple of 37?
True
Let w = -831 + 407. Let q = -144 - w. Suppose 4*g + q = 4*c, -c + 73 = 3*g - 9. Is c a multiple of 12?
False
Let w = -1563 + 1893. Is 22 a factor of w?
True
Suppose -23*p = -137 - 1. Suppose -624 = p*s - 10*s. Is 26 a factor of s?
True
Suppose 75721 - 13607 = 3*n + 2*q, 2*n = 3*q + 41418. Does 29 divide n?
True
Let y(p) be the first derivative of -p**4/4 - 20*p**3/3 + 6*p**2 + 83*p + 204. Does 90 divide y(-21)?
False
Suppose 5*t + r - 134420 = 0, t - 13967 = -4*r + 12898. Is 19 a factor of t?
True
Suppose 24 = -21*c + 129. Suppose 4*a = 2*w + 434, -c*a + 5*w - 294 = -839. Does 6 divide a?
True
Let b be (1 - 11/7)*(-56)/16. Let g(a) = 2*a**2 + 7*a - 16. Let f be g(b). Suppose -4*l + f*l = 72. Is l a multiple of 2?
True
Suppose 0 = -22*v + 17*v + 15. Suppose v*l + 13 = f + 2*l, 3*l = -4*f + 17. Suppose f*n + 20 = 9*n. Does 5 divide n?
True
Let a(u) = 16*u**2 + 54*u + 210. Is 85 a factor of a(-5)?
True
Suppose -5*w = 5*g - 742 - 108, -5*w - 3*g = -840. Let h = w + 275. Suppose -4*f - 2*q + h = 0, -4*f = -6*f + 2*q + 232. Is 14 a factor of f?
True
Let u(h) = 24 + 12 - 36*h - 48. Does 10 divide u(-2)?
True
Suppose -98*z + 420690 = 87*z. Does 65 divide z?
False
Let i(t) = t + 36. Suppose 3*y = 2*b + 16, -5*y + 16 + 10 = -3*b. Let w be ((-19)/(-3) + 1)*6/y. Is i(w) a multiple of 20?
False
Let f(w) = w**2 - 39*w - 1371. Is 27 a factor of f(64)?
False
Is 25 a factor of 12/(-34) + (-10077912)/(-884)?
True
Suppose -11*p + 5*p = -72. Suppose p*x = 7*x + 60. Is x a multiple of 12?
True
Suppose 0 = -2*a + 2*v + 382, 0 = 5*a - 11*v + 9*v - 964. Let p = a + -175. Is 2 a factor of p?
False
Let i = 27 + -48. Let k(t) = -7*t - 43. Does 8 divide k(i)?
True
Let w(b) = 3*b - 34. Let o be w(14). Suppose 7 + o = 5*s. Suppose 3*h + 5*r - 56 = 0, 5*r = -s*h + r + 52. Is h a multiple of 2?
True
Suppose -149472 = -3*w + 3*j, -2*j - 98348 = -4*w + 100938. Is w a multiple of 188?
False
Let u(t) = 521*t - 1246. Is u(14) a multiple of 16?
True
Is 39 a factor of (-12)/(-9) + 2 + 6 + (-25595)/(-3)?
True
Suppose -56*r = -121216 - 237240. Is 6 a factor of r?
False
Let t = -21910 - -42584. Is 76 a factor of t?
False
Is 3 a factor of 1347*((-28)/42 - -1)?
False
Suppose 0 = -0*u + 3*u - 2*i - 2094, 0 = -3*u + 5*i + 2085. Let k = u - 428. Does 6 divide k?
False
Let y(s) = 5*s**3 + 2*s**2 - s. Suppose 4*v = -l + 12, -3*v + 2*l - 5*l + 18 = 0. Let p be y(v). Let q = 75 - p. Is q a multiple of 16?
False
Let o(n) = 6*n**2 - 21*n - 1. Suppose 2*v = 2*g - 30, -6 = 6*g - 3*g. Let p = -12 - v. Does 11 divide o(p)?
True
Let f(m) = -m**3 - 9*m**2 + 35*m - 11. Let i be f(-12). Is (i - (-1)/(-5))*8050/28 a multiple of 46?
True
Let y(c) = -c**3 - 5*c**2 - 2*c + 11. Let j be y(-4). Suppose j*k + 3*n - 53 - 19 = 0, -4*n + 38 = 2*k. Suppose 30 = -26*x + k*x. Is x a multiple of 10?
True
Does 18 divide (-201)/67 - (-1158)/(3 + -1)?
True
Let x = -3578 + 5150. Does 76 divide x?
False
Let y(a) = -6*a**3 - 49*a**2 + 22*a + 17. Let x(c) = 5*c**3 + 48*c**2 - 21*c - 17. Let t(n) = -4*x(n) - 3*y(n). Is 3 a factor of t(-23)?
True
Let w be (-2 - -2)*2/4 + 4. Suppose -4*k = -4*v + 1480, 0 = -w*v + 12*k - 16*k + 1504. Does 13 divide v?
False
Let t(f) = -2*f**3 - 14*f**2 - 134*f + 133. Is t(-23) a multiple of 238?
False
Let y = -94 + 35. Suppose -3*u - 10125 = 24*u. Let k = y - u. Does 23 divide k?
False
Let y(q) = 3*q + 47. Suppose 2*o - 5*i - 10 = -7*i, -3*o = 4*i - 19. Let p(b) = 10*b**3 + 3*b**2 - b - 1. Let v be p(o). Is 6 a factor of y(v)?
False
Suppose 52210 = o - 4*m + 20251, -3*o - 5*m = -95809. Is o a multiple of 19?
False
Suppose -3*z + z = 5*w - 13702, 5*w = -z + 6856. Is z a multiple of 21?
True
Let v be (-6 - 21/(-3))*2. Is 23 a factor of (3 - v)*32200/28?
True
Suppose -46*m = 169 + 61. Let k(f) = -f**3 + 5*f**2 + 3*f + 13. Does 8 divide k(m)?
True
Let p be (-3)/9*-9 + 2. Suppose 0 = -5*j - 2*x + p*x + 109, 4*x - 8 = 0. Suppose 4*l = 3*l + 3*q + j, -3*l - 3*q = -57. Is 4 a factor of l?
True
Suppose 0*c - 460 = -4*c - 5*p, -4*p + 115 = c. Is ((-4416)/c)/((-6)/140) a multiple of 72?
False
Let p = 21742 + -12019. Does 4 divide p?
False
Suppose -3345 = 3*k + 2*k - 5*r, 0 = k + 3*r + 661. Let u = 2167 + k. Suppose -u = 3*g - 15*g. Is 54 a factor of g?
False
Suppose -578*i + 103*i + 2275715 + 5459660 = 0. Does 12 divide i?
False
Suppose 2*x - q = 15307, 17*x - 19*x + 5*q + 15287 = 0. Is 132 a factor of x?
True
Suppose 235 = -8*s - 237. Let w = 67 + s. Suppose y + w - 32 = 0. Is y a multiple of 6?
True
Let h(j) = 442*j - 2100. Is 10 a factor of h(20)?
True
Let p = -1379 - -258. Let b = -521 - p. Does 20 divide b?
True
Does 114 divide 36/(-60) - ((-70017)/5 - 21/105)?
False
Let j(o) = -o**2 - 40*o + 39. Let t be j(-21). Let n = t + -141. Is 9 a factor of n?
True
Suppose 0 = -2*s + 5*l + 11566, -4*s + 4*l = l - 23090. Does 14 divide s?
True
Let d(t) = t**2 + 23*t + 8. Let n(o) = 11*o + 3. Let f(r) = 2*d(r) - 5*n(r). Is f(5) a multiple of 3?
True
Is 266869/(-123)*(0 - (6 - 3)) a multiple of 11?
False
Let f(n) = n**3 + 18*n**2 - 13*n + 6. Suppose r - 1 + 11 = 0. Let o be f(r). Does 24 divide ((-10)/4)/((-26)/o)?
False
Let g = 8672 + -7323. Is g a multiple of 71?
True
Let m(h) = -1526*h - 5570. Is m(-6) a multiple of 8?
False
Let p be 2/(-4)*(1 + -195). Let q = 19943 + -19974. Let n = q + p. Does 22 divide n?
True
Let h = 3034 + -2458. Is h a multipl