, o + 5*s - 55 = 0. Does 8 divide o?
True
Suppose 2 = 2*b - 2. Let j(a) = -2*a**2 + 2*a**2 - 2 + 11*a**3 - 9*a**3. Is 7 a factor of j(b)?
True
Let i = 23 + -29. Is (-8)/i + (-490)/(-6) a multiple of 16?
False
Let g(f) = -99*f + 469. Is g(0) a multiple of 7?
True
Suppose -g - 2*v + 432 = 45, 0 = -2*v - 6. Does 39 divide g?
False
Suppose 0 = 5*b + 145 - 425. Suppose -2*v + 57 = 5*c, -5*c + b = 2*v - v. Is 2 a factor of c?
False
Let h = -1319 - -1909. Is h a multiple of 10?
True
Let t(b) = -200*b - 21. Is t(-2) a multiple of 25?
False
Let a(y) = y**2 + 3*y + 8. Let q(p) = -p**3 - 8*p**2 + 10*p + 1. Let z be q(-9). Let i = z + -1. Does 15 divide a(i)?
False
Suppose 2*o + 145 - 9 = z, 0 = -2*z + 5*o + 273. Is 11 a factor of z?
False
Let t(a) = -2*a**3 - 24*a**2 - 3*a - 58. Is 16 a factor of t(-14)?
True
Is 3 - 9/(54/(-48)) even?
False
Let j(y) = 3*y**3 - 5. Let q(x) = 4*x**3 + x**2 - 5. Let m(p) = -3*j(p) + 2*q(p). Does 24 divide m(-4)?
False
Suppose 2*q - 104 = -2*q. Suppose 4 = -c + 5. Suppose -3*m + q + c = 0. Is m a multiple of 5?
False
Let u(x) = 303*x**3. Is u(1) a multiple of 17?
False
Suppose -3 = 11*g - 10*g. Does 13 divide -41*2*g/6?
False
Let x(l) = -34*l - 5. Suppose 6 - 29 = 4*s - 5*w, -4*w = -5*s - 22. Is x(s) a multiple of 25?
False
Suppose -9 = w - 4*c, 18 = 3*w - 0*w + 3*c. Suppose w*x + 35 = 2*k, -4*k + 11 + 4 = 5*x. Does 11 divide 456/21 + k/35?
True
Is 13 a factor of 10588/10 - (-6 + 87/15)?
False
Suppose 0 = -32*y + 26*y + 288. Is 32 a factor of y?
False
Suppose 14538 + 3315 = 33*q. Is 8 a factor of q?
False
Suppose -72 = 4*p - 12. Is (-1840)/(-25) + (-6)/p a multiple of 35?
False
Is (-829080)/(-611) + (-1)/(-13) a multiple of 23?
True
Let s(w) = w + 2. Let g be s(-2). Suppose v = -2*c + 82, 0*v - 74 = -2*c - 5*v. Suppose -y + 2*y + 3*b = g, 5*b = 3*y - c. Does 9 divide y?
True
Suppose -5*v - 65 = -0*v + 5*z, -4 = z. Does 8 divide 12*(-2 + (-42)/v)?
True
Suppose 14720 = 41*j - j. Is 4 a factor of j?
True
Let g(z) = 9*z + 3. Let x be g(2). Let c be (2 + x)*(2 + 0). Suppose -p - 4*r = -c, -2*p + r - 52 = -162. Is 18 a factor of p?
True
Let j(q) = -q**2 - 17*q - 26. Is 22 a factor of j(-10)?
True
Let m = 150 - 146. Let s be 2 + (-1 - -3) - 2. Let h = m + s. Is h a multiple of 3?
True
Suppose -5*s - q + 0*q = -27, -s - 5*q = -15. Let f = 163 - 7. Suppose -5*v - f = -3*o - 18, s*o = -2*v + 199. Is 21 a factor of o?
False
Let h = -233 - -559. Does 37 divide h?
False
Let k = -42 - -24. Let t = -24 - k. Is 5 a factor of (t - 13)*(-1 - 0)?
False
Let r(t) = t - 8. Let n(k) = 2*k - 16. Let l(g) = -3*n(g) + 5*r(g). Is 4 a factor of l(-8)?
True
Let q(o) be the second derivative of 23*o**6/60 + o**5/30 - o**4/24 - 5*o**2/2 - 2*o. Let w(l) be the first derivative of q(l). Is w(1) a multiple of 22?
False
Suppose -4*t + 111 = -t. Suppose t - 268 = -3*o. Is 14 a factor of o?
False
Let p = 203 + -95. Let j = p - 64. Does 14 divide j?
False
Suppose 0 = -13*f + 8*f + 575. Suppose 2*b = 4*z - f + 25, -3*b = 9. Suppose -3*x + z = 4*l - 184, -2*l - 3*x = -101. Does 14 divide l?
False
Let f(u) be the first derivative of 2*u**3/3 + u + 2. Suppose 5*l - 4 = 3*s, -l - 4*l + s = -8. Is 3 a factor of f(l)?
True
Let j(t) = -23*t + 441. Is 120 a factor of j(-33)?
True
Let v(p) = 2*p**2 + 52*p + 8. Is 13 a factor of v(10)?
True
Suppose 11 = -3*t + 23. Suppose 3*k - 7 = 2*u - 2, 7 = 5*k - t*u. Is 2 a factor of k?
False
Let k(a) = -15*a - 1. Let t(l) = -15*l. Let x(h) = 3*k(h) - 4*t(h). Is 36 a factor of x(5)?
True
Suppose q - 1614 = -4*q - 3*z, -z = 2. Is q a multiple of 22?
False
Is 16 a factor of (-4 + 5)*2143/1?
False
Let v(o) = 11*o**2 - o. Suppose 3*g - 3 = -0. Let w be v(g). Is 7 a factor of (-12)/w*(-175)/10?
True
Let u be -2 + 0/3 - -18. Suppose -5*s = 3*p - 45, -p + 0*p = 2*s - u. Does 8 divide ((-1)/(-3))/(p/450)?
False
Does 28 divide (-14)/(-3 + 329/112)?
True
Suppose 4 = 2*f - 0. Suppose f*g - 4*g = -1526. Does 5 divide (-2)/(-10) - g/(-35)?
False
Let n = 1142 - 332. Is 18 a factor of n?
True
Let t = -1983 - -2982. Is 37 a factor of t?
True
Let l = 11 - 5. Suppose -7*q = -l*q - 2. Is 8 a factor of 3/(-2) - (-83)/q?
True
Suppose 132 = c - 5*c. Let o be 22/c*(-6)/4. Is 4 - 1 - (-5)/o a multiple of 8?
True
Let p be 1/(((-3)/9)/(277/3)). Let c = 410 + p. Is 19 a factor of c?
True
Let c be 1*195*90/25. Does 17 divide c/10 - (-6)/(-30)?
False
Let f be (-2)/12 - 794*1/(-12). Is 17 a factor of -11 + 9 + (f - -1)?
False
Suppose 2*f = 45 - 35. Suppose 0 = f*j + 4*k - 1075 - 331, 5*j = -3*k + 1402. Is 28 a factor of j?
False
Suppose 0 = 4*z, 3*z - 143 = -a - 0*a. Suppose -3*c + 4*l + 102 = 0, -4*c - 7 = 2*l - a. Does 15 divide c?
False
Suppose -3*u - 3*u = -48. Suppose -u*r = -7*r - 50. Does 21 divide r?
False
Suppose 2*c + 7*v - 6*v = 408, 602 = 3*c + 4*v. Does 7 divide c?
False
Let v(l) = l**3 - l**2 - l + 1. Let i(f) = 4*f**3 - 4*f**2 - 6*f + 7. Let d(y) = 2*i(y) - 10*v(y). Let k be d(-3). Let b = k - 57. Is b a multiple of 25?
True
Let s(d) = d**2 + d + 2. Let b be s(0). Suppose -b = -4*w + 3*w. Suppose w*g - 54 = 5*q + 31, -3*g + 132 = -3*q. Is 25 a factor of g?
False
Suppose -984 = -78*v + 70*v. Is v a multiple of 25?
False
Suppose 46*u = 2302 + 2528. Is 21 a factor of u?
True
Suppose -n = 16 - 20. Suppose 0 = -3*o + n*t + t + 48, 4*t - 54 = -2*o. Let g = 53 - o. Does 8 divide g?
True
Let w(t) = 19*t**2 + 30*t - 102. Is w(3) a multiple of 3?
True
Let k(z) = 2*z**2 - 5*z + 2. Let b be k(2). Suppose -8*t + 48 + 0 = b. Suppose 264 = 2*g + t*g. Does 10 divide g?
False
Let y be -3 + 33 + (0 - -3). Suppose 6*w - w - 35 = 0. Suppose -y - w = -4*q. Is q a multiple of 5?
True
Let v(d) = -2*d**2 - 12*d - 31. Let x be v(-8). Let w be (-2)/3 - 345/9. Let p = w - x. Does 8 divide p?
True
Suppose 24 = 3*l - 105. Let o = l + 59. Is 12 a factor of o?
False
Let c = -43 + -22. Let l = 89 + c. Is 3 a factor of l?
True
Let b be 2/(-8) - (-29)/4. Suppose -i = z - 6*z - 135, 3*i = 4*z + 361. Suppose 2*j + b = i. Is 27 a factor of j?
True
Is 8 a factor of 75 + -6 + 42/7?
False
Let g(z) be the first derivative of -z**4/4 + 11*z**3/3 + 2*z**2 + 12*z + 16. Does 21 divide g(9)?
True
Suppose 0 = 2*n - 2*k - 10, -5*n - 2*k = -4*k - 16. Suppose 2*x = n*o + 10, o - 3*o - 6 = 0. Suppose -l - 26 = -x*l. Is l a multiple of 13?
True
Let k(c) = -55*c - 197. Does 8 divide k(-19)?
True
Let d(c) = -c**3 - 9*c**2 + 11*c + 7. Let z be d(-11). Suppose 2*x - 166 = z. Is 49 a factor of x?
True
Let x be ((-32)/4)/4 - 3. Is (1 - 42)/(-1) + x/(-5) a multiple of 7?
True
Suppose 0 = 91*v - 89*v - 528. Is 6 a factor of v?
True
Let i = 9 - -5. Let o be (4/(-7))/((-2)/i). Suppose -o*l + 557 = 157. Is l a multiple of 26?
False
Suppose -10*q - 27*q + 71003 = 0. Does 19 divide q?
True
Suppose -4*u + h + h = -16, -h + 12 = 3*u. Suppose 0 = -a + u*w - 0*w + 14, 2*a + 4*w = -8. Suppose -4*o + 0*o = -5*n + 49, -a*o = 4*n - 34. Is 4 a factor of n?
False
Let w be (0 - 15)*(-66)/(-15). Is 2288/w*6/(-4) a multiple of 13?
True
Is -126*(5 - (18 + -8)) a multiple of 9?
True
Suppose 3*p = -5*p + 3312. Is p a multiple of 18?
True
Suppose 7*o = v + 2*o + 29, 0 = 2*v + 4*o - 12. Let f be (18/v)/((-4)/48). Suppose 0 = 3*z - 3 - f. Does 16 divide z?
False
Let b = -230 + 755. Does 21 divide b?
True
Let g = 330 - 243. Does 3 divide g?
True
Let u = -6964 + 9754. Is u a multiple of 90?
True
Suppose -4*h - 3*k - 4 = -17, -5*h + 8 = k. Suppose p + h = 6. Suppose 17 + 20 = d + 5*s, -p*d - 5*s = -205. Does 14 divide d?
True
Suppose -o + 12 - 19 = 0. Let a = o - -70. Does 9 divide a?
True
Let s be 42/35 + 2/(-10). Does 9 divide 46/s + (0 - -3)?
False
Suppose -3*f = 4*a - 4*f + 431, 3*a + 3*f = -342. Let t = -33 - a. Does 38 divide t?
True
Let r(t) = -21*t - 3. Let o be r(1). Let a = o - -60. Does 12 divide a?
True
Let c(w) = 2*w**3 - 6*w**2 - 4*w + 4. Is c(5) even?
True
Let v be (3 - -1)/4 + 3. Suppose 4*o - 268 = 3*m, v*o - 2*m - 120 = 152. Let r = 109 - o. Is r a multiple of 13?
True
Does 4 divide (5 + 157/(-5) - -2)*-5?
False
Suppose 0 = 5*c - 3*m - 777, -3*c + 208 = -m - 255. Let x = -91 + c. Is x a multiple of 6?
False
Let v be 4 - 0 - (-8 + 2). Suppose -30 - v = -4*p. Does 10 divide p?
True
Let m = -385 + 999. Suppose m - 236 = 3*u. Does 21 divide u?
True
Let m = -63 - -66. Is (-11 + 9)*m/(-2) a multiple of 3?
True
Suppose