*i = -v + 90. Does 22 divide i?
True
Let r = 24811 - 2771. Is 123 a factor of r?
False
Let t = 2303 + -2069. Is t a multiple of 28?
False
Let d(q) = -23*q - 12. Let k(c) = 2*c**2 - 5*c - 6. Let u be k(-1). Let t be (-11 - -3 - -4) + u. Does 12 divide d(t)?
False
Let r(o) = 4830*o - 1374. Is 153 a factor of r(7)?
True
Let l be 40/7*77/22. Let k = l + -17. Does 9 divide 1/k - (-260)/30?
True
Is (-18)/(-27) + (-365058)/(-54) a multiple of 7?
False
Suppose -1873 = -22*f + 4639. Let q = 439 - f. Does 3 divide q?
False
Let q be 32 + -29 + 0*2/(-4). Suppose -q*k - 4*v = 254, 2*k + 2*v = -89 - 79. Does 44 divide (k/3 - 0)*(-45)/10?
False
Let o(h) = 519*h**2 - 778*h - 7. Does 13 divide o(8)?
False
Suppose 117*z + 91*z - 1310400 = 0. Is z a multiple of 150?
True
Let i = -1070 - -606. Let v = 471 + i. Is v a multiple of 4?
False
Let m be (11/(-33))/(2/(-48)). Suppose -m*t + 10*t = 12. Suppose 3*y + 101 = b, -t*b = -b - 3*y - 445. Is 16 a factor of b?
False
Let x(l) = 4*l**2 + 103*l - 23. Let t be x(-26). Suppose -5*c = -6*c - t*f + 653, 4*f - 3243 = -5*c. Is c a multiple of 78?
False
Let b(v) = 21*v**3 - 9*v**2 - 56*v - 15. Is 41 a factor of b(7)?
True
Suppose 0 = -4*t + 5*s + 8102, 0 = -25*t + 24*t + 3*s + 2022. Is t a multiple of 36?
False
Let t = 126 - 156. Let q be -225 + t/((-6)/(-1)). Let u = q + 590. Is 30 a factor of u?
True
Let k be 10/25 - (-28)/(-20). Let g be (-2)/(8/k) - 28/(-16). Suppose 3*q + 2*b - 88 = -2*b, -g*b = q - 32. Is 7 a factor of q?
False
Suppose 23*y - 22*y = -b + 566, -4*y + 2269 = 3*b. Does 5 divide y?
False
Suppose 2*q - 5*r - 37 = 0, q + 2*q = -r + 13. Suppose 0 = 11*x - 10*x + q. Does 2 divide (-68)/x + 4/(-12)?
False
Suppose -18*k = -15*k - 417. Suppose 0 = -r - 2 - 1, -4*z = 5*r + k. Let f = z - -66. Does 5 divide f?
True
Suppose 0 = -151*k + 214*k - 109935. Is 3 a factor of k?
False
Let f be -11 + 4 + (-6 - -1). Let s be ((-40)/f)/(4/150). Let m = -82 + s. Is m a multiple of 13?
False
Let q(g) = 947*g**2 - 519*g - 2655. Is q(-5) a multiple of 17?
False
Let b(j) = 11*j - 9. Let k(u) = -10*u**2 - 2 + 8*u**3 - 9*u**3 - 6*u - 4*u - 5. Let z be k(-9). Is 6 a factor of b(z)?
False
Let b(f) = -8*f - 37. Let t be 4*-5*(-2 + 3). Let y be b(t). Is (y/2*2)/(2 - 1) a multiple of 41?
True
Suppose 26*j + 99636 - 1193204 = -2*j. Is j a multiple of 126?
False
Let x(w) = 42*w**2 + w - 8. Is x(8) a multiple of 96?
True
Let i(k) = 128*k**3 + 10*k**2 - k - 13. Let z be i(3). Suppose -6*g + 1181 = h - 9*g, -4*g + z = 3*h. Is 44 a factor of h?
False
Let a be (0 - 3)*(-4 - (-4)/(-6)). Is 11394/63 - (-2)/a a multiple of 21?
False
Let l = 9797 - 6629. Is l a multiple of 44?
True
Suppose -34 - 5 = -m. Suppose -5*u = -3*k + m - 13, 0 = k - 3*u - 14. Suppose -f + k = -19. Is f a multiple of 14?
False
Suppose -5*q + 288*l = 291*l - 69887, 55907 = 4*q + 5*l. Does 29 divide q?
True
Let f be (3 - 1) + (-4 - 18/(-3)). Does 60 divide (-11580)/(-12)*(1 - f/5)?
False
Let f = 262 + -332. Is (-7)/(f/4) - (-15648)/30 a multiple of 18?
True
Let h(y) = 16*y**2 - 22*y - 154. Suppose 0 = -92*o + 94*o + 12. Is 16 a factor of h(o)?
False
Suppose -3*c + 6 = -9, 0 = -5*x + 6*c + 6945. Is 4 a factor of x?
False
Let p(u) = -7*u + 19*u**3 - 8 - 4*u**2 - 8*u**3 - 9*u**3 - 7*u**3 + 4. Is 38 a factor of p(-6)?
False
Let z(h) = h**3 + 19*h**2 + 9*h + 71. Let y be z(-17). Suppose 108*d - y = 106*d. Is d a multiple of 37?
False
Let m = 149180 - 72532. Does 143 divide m?
True
Suppose 27*d + 320 = -409. Let h(f) = -f**3 - 25*f**2 + 50*f - 3. Does 6 divide h(d)?
False
Let n(h) = -h**3 + 29*h**2 - 7*h - 205. Does 117 divide n(23)?
True
Let b(m) = m**3 + m**2 - 3*m + 7. Let n be b(-5). Suppose 4*c = 0, -14*g + 15*g - 2*c - 134 = 0. Let r = n + g. Is r a multiple of 4?
True
Let r(x) = -50*x + 1. Let i be r(-1). Let n = i - 90. Let h = n + 99. Is h a multiple of 15?
True
Let y = 27080 + -16793. Is 81 a factor of y?
True
Let d = 4961 + -1412. Is 13 a factor of d?
True
Let b = 34 - 32. Suppose -b*a = -3*a + 13. Suppose 0*t - a = -t. Is t a multiple of 13?
True
Let x be (-10)/15 + 2068/6. Let n = x + 451. Is 15 a factor of n?
True
Let w = 16129 + 7493. Does 186 divide w?
True
Let f = 11637 - 7705. Is 19 a factor of f?
False
Suppose 0 = 7*l - 12 - 16. Suppose -28 = l*o - 148. Suppose m - 10 = o. Does 5 divide m?
True
Is ((-10)/(-8))/((-25)/(-40)) + 11309 a multiple of 18?
False
Let l = -3654 - -5598. Is 57 a factor of l?
False
Let x be (-14)/(-35) + (-4)/10. Suppose 11*q - 3004 - 3486 = x. Does 10 divide q?
True
Let d(f) = -4*f**2 - 153*f + 59. Is 26 a factor of d(-21)?
True
Let g(c) = -c**2 + c + 1. Let r(t) be the second derivative of 2*t**4/3 - t**3 + 2*t**2 + 32*t. Let x(a) = 2*g(a) + r(a). Does 24 divide x(3)?
True
Suppose 42*d - 183 = -4*y + 45*d, 0 = y + 5*d - 17. Suppose 547 = 4*c - 41. Is 7 a factor of (c/y)/((-1)/(-20))?
True
Let y(v) = 23*v - 2. Let m be y(1). Let d be 6/(-21) + 69/m. Is (-1 - d) + 2 + 24 a multiple of 19?
False
Let d = 10 - 91. Suppose -h - 900 = 18*w - 13*w, 4*h = -3*w - 523. Let u = d - w. Is 36 a factor of u?
False
Suppose -18*b + 150 = -102. Suppose -3*a + 548 = -5*y, b*a - 10*a + y = 746. Is 6 a factor of a?
True
Suppose g = 2*n - 13686, 0 = -3*n - g + 13958 + 6556. Does 76 divide n?
True
Let d be 3/(-2) + (26/4)/(-13). Is 69 a factor of 207 - ((5 - d) + -7)?
True
Suppose -2*z - 138 = l, 0*z + 130 = -l + 2*z. Let r be (-165)/9*2*3. Let j = r - l. Is j a multiple of 8?
True
Let w(i) = i**3 - 20*i**2 - 43*i + 240. Is w(23) a multiple of 2?
True
Let n be (28 + -25)*1*-1. Suppose -4*g + 0*g - 8 = 0. Does 5 divide (n/5)/(g/150)?
True
Suppose 4827 = 4*c - 3*l, 2*c - 4*l - 943 = 1463. Is c a multiple of 13?
True
Let o = -94 - -208. Suppose 3*u = 66 + 210. Let l = o - u. Is 2 a factor of l?
True
Let r(d) = d - 64. Let f be r(-2). Is 137/(-2)*(f - -52) a multiple of 43?
False
Is 5933 + (-11 - 4/1) a multiple of 11?
True
Suppose 5*i - 3785 = -4*r, 8*r = 4*i + 11*r - 3027. Is i a multiple of 20?
False
Let u(n) = 9*n**2 + 119*n - 178. Is 87 a factor of u(-37)?
False
Let m(l) = -7*l + 13. Let o be m(2). Is ((-7)/(-98)*7)/(o/(-24)) a multiple of 6?
True
Let l be 4*((-1)/1 - (-175)/(-10)). Let f = l + 62. Let v(a) = -5*a - 26. Does 7 divide v(f)?
False
Let c be 1/2 + 990/4. Suppose 112*y - 81*y = -2387. Let p = y + c. Is p a multiple of 25?
False
Let u(o) = o**3 + 8*o**2 - 10*o + 4. Let n be u(-9). Suppose -t + 2*r + 0*r - 7 = 0, 0 = -5*t - 2*r + n. Is 2 a factor of 22/(t - (-3 - -2))?
False
Let z(c) = c**3 - 18*c**2 - 11*c - 28. Let f be z(19). Let n = f + -22. Let h = n + -24. Is h a multiple of 10?
False
Let a(r) = 61*r**2 + 6*r + 3. Let i be a(-3). Let b = i - 779. Is (2/(-2))/(1*7/b) a multiple of 7?
True
Let l = -111 - -511. Let s = 432 - l. Is s a multiple of 7?
False
Let b(a) = 112*a**2 - 27*a - 642. Does 102 divide b(-12)?
True
Suppose 2*c - 4*v + 14 = 0, 4*c - 18 = 3*c - 3*v. Suppose -10*s + 433 = c*z - 11*s, -4*s = 4. Is z a multiple of 18?
True
Let o(z) = 29 + 2*z + 31 - 11 + 3*z. Let s be o(-9). Does 9 divide -3*(-1)/3*212/s?
False
Suppose 0 = 5*s + x - 8330, 2*s + 4*x + 1666 = 3*s. Is s a multiple of 14?
True
Let q(a) = -a**3 - 24*a**2 - 2*a - 2. Let y be q(-24). Suppose 3 = 7*u - y. Suppose 2*n + u - 49 = -2*w, -n - 29 = -w. Does 25 divide w?
True
Suppose -6*c - 152 = -8*c. Suppose u = -3*u + c. Let h = u - 8. Is h a multiple of 2?
False
Let r(s) = -s. Let n(y) = 15*y - 8. Let j(x) = n(x) + 6*r(x). Let o(w) = w + 2. Let m be o(4). Is 7 a factor of j(m)?
False
Let i = 1 + 3. Let r(o) = 8*o**2 + o - 4. Does 32 divide r(i)?
True
Let a(h) = -h**3 - 28*h**2 + 22*h + 34. Let o be a(-29). Let g = -137 + o. Does 38 divide g?
False
Suppose -34*w + 32*w + 10 = 0. Let m(c) = 0*c**2 + 5 - c**2 - 8*c**3 + w*c**2 + 5*c + 3*c**3. Is m(-2) a multiple of 17?
True
Let w(y) = 221*y**3 - 10*y**2 + 25*y - 14. Is 10 a factor of w(3)?
False
Let a(w) = w**3 - 3*w**2 + w - 3. Let m be a(4). Suppose -4*x + 143 = 5*z, -3*z + 69 = -4*x - 2*x. Suppose 4*k - m = z. Is k a multiple of 11?
True
Let j(r) = -r**3 + 9*r**2 + 15*r - 89. Does 62 divide j(8)?
False
Let y be (-20)/(-8) - (-1)/(-2). Let j(s) = -53*s + 187. Let z be j(3). Suppose -20 = -5*f + 3*b + y*b, 5*b - z = -f. Is f a multiple of 4?
True
Let s(k) = -395 - 9*k + k**2 + 799 - 391. Is 14 a factor of s(15)?
False
Suppo