. Suppose x + 5 = 2*v, -4*x + 3*x - 2*v + 15 = 0. Suppose 0 = -x*s - 5*a - 0*a - 30, 3*s + 13 = -2*a. Does 7 divide b(s)?
False
Let z(b) = 35*b + 1. Let u = 2 + -1. Let q be z(u). Suppose -129 = -4*o - l, -2*o + 29 + q = l. Is o a multiple of 19?
False
Suppose 5*x - j - 19 = 0, -4*x = -j + 4*j. Suppose x*s = -15, -2*b + 5*s = -245 - 1834. Is b a multiple of 79?
True
Let o(j) = 10*j - 24. Let u be o(12). Let m = 264 - u. Does 14 divide m?
True
Let t = 241 - 225. Does 7 divide (-9)/(-72) + 2734/t?
False
Suppose 625 = -5*i - 3*s, -4*i - 4*s = -s + 503. Let v = 125 + i. Suppose 0 = 5*k - v*y - 237, -4*k + 2*y + 192 = -y. Does 2 divide k?
False
Let z = 107 + 949. Is z a multiple of 44?
True
Does 21 divide 27458 + -20*(-2)/4?
True
Let p = 72 + -62. Suppose -3*d + 0*d - 3 = 3*f, -2*d + p = -f. Suppose -1326 = -4*l + 5*i, -d*l + 473 = 3*i - 535. Is l a multiple of 24?
False
Let s(j) = j**3 - 2*j**2 + j. Let c be s(2). Let z be (8/100*20)/(4/(-10)). Is (-166)/z + c/4 a multiple of 7?
True
Suppose -m - 35342 = -2*n, 98*m - 99*m + 88348 = 5*n. Is n a multiple of 10?
True
Suppose 0 = -5*j, 2*b - 17625 = -3*b + 4*j. Is b a multiple of 13?
False
Suppose -3*k - m + 3980 + 1955 = 0, -3*m = -k + 1995. Is k a multiple of 36?
True
Let u = 29 + -161. Let w = u - -156. Is w a multiple of 10?
False
Is (-3948)/(-2)*(14/12 - (-26)/78) a multiple of 21?
True
Suppose -2*z = -4*l, -5*l = 5*z - 0*z - 30. Let b be (-4)/8*-2 + 1. Suppose i - 143 = b*h, z*h = -i - 18 + 173. Does 30 divide i?
False
Suppose -2*x + 4*a - a = -123, -2*a - 2 = 0. Let w = 156 + x. Is 6 a factor of w?
True
Let k = 30229 - 19178. Is 13 a factor of k?
False
Is (-20 - -6)/(4/(-510)) a multiple of 4?
False
Suppose 14*q - 6 = 11*q. Let m(p) = 153*p**3 + 4 + p**2 - 4*p - 38*p**3 + p**2 - q. Is m(1) a multiple of 23?
True
Suppose 7*s = 8*s. Suppose s = -5*b + 3 + 7. Suppose -b*a - 2*n = -118, 0 = -2*a + a - 3*n + 65. Does 14 divide a?
True
Suppose 4*w = r - 5*r + 300, 2*w + 324 = 4*r. Suppose 3*d + 22 - r = 0. Does 12 divide d?
False
Let f = 7508 - 3447. Is f a multiple of 14?
False
Is (9/(180/688))/(-1 + 2948/2940) a multiple of 98?
True
Is -14*(-13)/91*1198 a multiple of 19?
False
Let t(u) = 3316*u**3 - 6*u**2 + 12*u - 10. Is t(1) a multiple of 59?
False
Let p(b) = -171*b + 10. Let q be p(-5). Suppose -j + 8*n = 3*n - 144, 4*n - q = -5*j. Let w = j + -104. Is 5 a factor of w?
True
Suppose 22*b = 15897 + 20469. Is b a multiple of 3?
True
Let t(j) = 28*j**2 + 16*j + 383. Is t(16) a multiple of 37?
True
Let q be -333 - (-5 - (-10 + 1)). Let v = q - -600. Is 53 a factor of v?
False
Is 4*2/(-16)*(-3679 - 11) a multiple of 89?
False
Let y(m) = -130*m + 1954. Is y(-48) a multiple of 6?
False
Suppose -5*c - 10 = -5, -5*c + 253 = 3*v. Let n = v - 86. Suppose n*b = 3*b - 603. Is b a multiple of 16?
False
Let n(x) = -19*x + 241. Suppose -8*g - 11 = -11. Is n(g) a multiple of 9?
False
Let j(m) = -3*m**3 - m**2 + 27*m + 62. Let f be j(-2). Suppose p = 2*n - 273, 1 = p - 2. Suppose 2*a - n = -f. Is a a multiple of 5?
True
Let p = -190 - -193. Suppose 0 = -p*d, -n - 3*d + 277 = -32. Is 5 a factor of n?
False
Let w = -59 + 66. Let m(y) = -y**2 + 18*y - 5. Let c be m(w). Let r = 138 - c. Does 11 divide r?
True
Let k(d) = d**3 - 23*d**2 - 5*d + 58. Let g be k(23). Let r = g + 399. Is 19 a factor of r?
True
Let l be (((-14)/(-4) - 3) + 0)*2. Let n(t) = 89*t**3 - t**2 - 5*t + 5. Is 6 a factor of n(l)?
False
Let v = 337 + -315. Suppose -v*t + 12214 + 3824 = 0. Is t a multiple of 27?
True
Let z be (-4)/(8/14*(-7)/(-22)). Let o(y) = 12*y + 414. Does 10 divide o(z)?
True
Let g(v) = v - 17. Let s be g(20). Does 21 divide ((-42)/(-18))/(s/81)?
True
Let v(m) = 2*m - 13. Let p be v(8). Let w(r) = -r + 4. Let j be w(p). Suppose -k = -j - 37. Is 11 a factor of k?
False
Let l(u) = 11*u + 19. Let j be l(-6). Let m = -36 - j. Does 27 divide 326/3 + (m/(-3) - -3)?
True
Suppose -9*q - 200 = -q. Let k = q + 25. Suppose k = -5*v - 2*b + 222, -v - 2*b - 130 = -4*v. Is 4 a factor of v?
True
Suppose 11*l - 118012 = -6*l - 6050. Does 37 divide l?
True
Is 3 a factor of 1/6 - (4 - (129214/12 + -6))?
True
Suppose 0 = -3*p + 16*i - 14*i + 1346, p - 3*i = 444. Suppose 565*w - p = 555*w. Is 8 a factor of w?
False
Is ((-62)/4 - -4)/(1 - (-71)/(-70)) a multiple of 3?
False
Suppose 157*k = 31*k + 20447 - 4571. Does 21 divide k?
True
Suppose 0 = v - 61 + 5. Let g = 56 - v. Suppose 8*k - 3*k - 175 = g. Does 25 divide k?
False
Let n(m) be the second derivative of 2*m**3/3 + 13*m**2 + 5*m. Let q be n(-6). Suppose -4*f = i - 368, 0*f - 5*i = -q*f + 206. Is f a multiple of 12?
False
Let f(y) = -2*y**2 - 15*y + 1572. Let m be f(0). Let c = m - 791. Is 71 a factor of c?
True
Does 25 divide ((-5)/2)/(561610/(-15600) - -36)?
True
Let t(o) = -o**3 + 6*o**2 - 7*o + 4. Let c be t(3). Let q be (-8)/c*(-5 - (-10 - 5)). Does 3 divide ((-52)/q)/((-5)/(-10))?
False
Is 10 a factor of (10/65 + (-1831026)/(-156))/((-6)/(-8))?
True
Suppose -7821*f + 6120 = -7809*f. Is 6 a factor of f?
True
Suppose 4*a - 45*n = -41*n + 2112, 532 = a - 3*n. Is a a multiple of 21?
False
Let p(t) be the second derivative of t**4/4 - 31*t**3/6 + 13*t**2/2 + 103*t. Does 6 divide p(15)?
False
Let y = 340 - 340. Suppose 5*d + 60 - 300 = y. Does 24 divide d?
True
Suppose -18984 - 18168 = -86*q. Does 4 divide q?
True
Suppose 11 = -2*l - 45. Let w = l + 133. Does 6 divide w?
False
Let c be 7/3 - 28/(-42). Suppose c*x - 2*x - 120 = 0. Does 20 divide x?
True
Let y(a) = -a**3 + 11*a**2 - 9*a - 9. Let h(f) = -7*f. Let p(r) = 7*r + 1. Let o(v) = 3*h(v) + 2*p(v). Let q be o(-1). Is y(q) a multiple of 24?
True
Suppose -4*a + 10 = -2*u, -a + 4*u - 3 + 2 = 0. Suppose -2*w - a*r = -4*r + 9, -4*r = -4*w - 24. Is 36 a factor of 6 - 1692/(-8) - w/(-2)?
True
Suppose 117*r = 59*r + 53*r + 14850. Is 2 a factor of r?
True
Let q be 18/6 - (4 + 11). Does 9 divide -4*-54*(-3)/q?
True
Suppose -2 = -2*u - 2*v, 9*u - 12*u = -5*v - 11. Let l be (-1 + u - -1)*(-3)/3. Let o = 13 - l. Is o a multiple of 7?
False
Let w be 25/2*(-12)/(-30). Suppose -2*c + w*y + 641 = 0, 20*c - y - 1637 = 15*c. Does 41 divide c?
True
Suppose 8*h - 6*h - 5*r - 62 = 0, 0 = -4*h + 5*r + 144. Is 10 a factor of (2 + 7/(-3))*h*-27?
False
Let o(c) = 11922*c**3 + 341*c**2 - 340*c - 1. Does 57 divide o(1)?
False
Suppose 4*s - 119286 = -6112*c + 6107*c, 2 = -c. Is 12 a factor of s?
False
Suppose -2166684 = -508*w + 14688756. Is w a multiple of 357?
False
Suppose -7*f + 263 = 67. Suppose 4*m = 4*a - f, -2*a + 32 = 3*a - 4*m. Is 41 a factor of -205*(36/10 - a)?
True
Let u be (612/30)/((-2)/(-145)). Suppose -2570 = -3*o - h, 4*o + 5*h - u - 1933 = 0. Suppose -5*c - 53 = -o. Does 11 divide c?
False
Let m be (-11)/(110/(-12))*5. Suppose -m*c + 25 = -c. Suppose 55 = c*z + 25. Does 6 divide z?
True
Suppose 63*b + 73*b - 1639728 = -57*b. Does 8 divide b?
True
Suppose 2*u - 3*j = 9, 3*u + 5*j + 13 = 6*u. Let t be 2 - ((-5)/2 - (-3)/u). Suppose 0 = 5*v + 20, -80 = -2*c + 3*v + t. Does 26 divide c?
False
Suppose -n + s + 2 = 0, -3*n - 6 = 2*n + 3*s. Suppose n = 8*d - 12*d + 672. Suppose 4*r - d = r. Does 26 divide r?
False
Let m(r) = -5*r**3 + 14*r**2 + 13*r + 8. Let j(g) = g - 2*g - g**2 - 5*g**3 + 4*g**3 + 2*g**3. Let q(b) = 6*j(b) + m(b). Is q(-6) a multiple of 19?
True
Let j = 95 + -37. Let v = 29 + j. Let h = 207 - v. Is h a multiple of 7?
False
Suppose -5*h - 39 = -4*x, 5*h = 5*x - 21 - 19. Let y be h + (6 - 3) - -10. Suppose -3 - 423 = -y*f. Is 26 a factor of f?
False
Suppose 4*c - 11 = 9. Suppose d + 2 + c = 4*u, -5*d = 5*u - 15. Does 9 divide (-5 + 2/d)*15/(-5)?
True
Let o(f) = -3*f**3 - 36*f**2 - 15*f + 227. Does 59 divide o(-24)?
False
Is (-12)/8*4/6*-6857 a multiple of 22?
False
Let c be 4*4/(1 + -5). Let m be -34*(2 + -4)/c*-1. Suppose -3*q = 0, -2*z + m = 2*q - 31. Is 9 a factor of z?
False
Let k(n) = -n**3 + 14*n**2 + 17*n + 16. Let x(v) = 4*v**3 - 55*v**2 - 68*v - 63. Let g(u) = 9*k(u) + 2*x(u). Is 5 a factor of g(17)?
False
Let a be 0 + -142 + (88/11 - 7). Let h = a - -170. Is h even?
False
Let h be (-17 - -18) + (-1 - 0). Suppose 3*w + w - 220 = h. Does 4 divide 913/w + (-6)/10?
True
Let i(f) = 63*f - 101. Let u(b) = -64*b + 101. Let q(r) = -5*i(r) - 6*u(r). Is 50 a factor of q(12)?
False
Let g(w) = -w**2 - 5*w - 4. Let d(v) = -v**3 - 7*v**2 - 