. Let p be j(4). Suppose 0 = 2*r - 2*q - 140, -4*q - 65 - p = -3*r. Suppose -5*a - r = -4*s + s, 4*s - 84 = 4*a. Is 6 a factor of s?
True
Let g be 20260/75 + (-6)/45. Suppose 0 = -4*b + i + 2595, -b - g = 5*i - 903. Is 54 a factor of b?
True
Suppose 14*m - 10*m = 480. Suppose -m + 152 = 2*i. Suppose 4*y = -16, r + 5*y + i = -r. Is r a multiple of 2?
True
Suppose 15*s - 28 = 17*s. Let x(c) = -5*c - 23. Let n be x(s). Let v = -20 + n. Is v a multiple of 9?
True
Let q = 35 - 26. Let d(h) = 2*h**2 - 16*h - 13. Let z be d(q). Suppose 0 = k, -z*m - 2*k = -m - 72. Does 6 divide m?
True
Let z(h) = -21*h + 59. Let q be z(-16). Suppose 0 = -7*m + q + 25. Does 17 divide m?
False
Suppose -5*d = 22 + 48. Let n(s) = s + 19. Let u be n(d). Suppose -u*x + 48 = 3*f + f, 4*f = 2*x - 36. Is 4 a factor of x?
True
Let s(n) = -13*n - 362. Let p be s(-28). Let z be ((-8)/10)/(2/(-210)). Suppose h + 2*h = 3*w + z, -p*h = 4*w - 32. Is 6 a factor of h?
True
Let i be (-1 - (-59 + 1))/((-1)/(-7)). Let l = 1005 - i. Suppose 7*j = j + l. Is 20 a factor of j?
False
Let a(r) = 3*r**2 + 2*r - 37. Let d be a(3). Let x(p) be the second derivative of -p**5/20 + p**4/12 + p**3/6 - p**2/2 + p. Is x(d) a multiple of 25?
True
Suppose -2*q = -14*q + 48. Suppose q*o + o + 3*b - 1595 = 0, -5*o + 1590 = 4*b. Does 13 divide o?
False
Let b(r) = 294*r. Let f be b(1). Let v be (-3*4/24)/((-3)/66). Suppose -f = 5*y - v*y. Is 15 a factor of y?
False
Let i(g) be the third derivative of 11*g**4/8 + 32*g**3/3 + 132*g**2. Is i(18) a multiple of 8?
False
Let w(z) = 101*z - 10. Let s be w(7). Suppose -326 = 11*r + s. Let g = r + 200. Does 16 divide g?
False
Let z = 35389 - 16763. Is z a multiple of 67?
True
Let k(t) = 8*t**2 + 52*t - 589. Does 32 divide k(17)?
False
Let u = 7935 - 5982. Is u a multiple of 7?
True
Suppose -z = 4*r - r - 1515, 3*r = -6*z + 9015. Does 100 divide z?
True
Suppose -6*x + 590 = 86. Let o = x - 80. Suppose -5*h - o*c = -206, h - 19 = c + 24. Is h a multiple of 6?
True
Suppose 4*o - 30*s - 3348 = -34*s, -4*o + s = -3313. Is o a multiple of 10?
True
Let l(s) = -s**3 - 18*s**2 + 10*s + 101. Let z be l(-17). Let i = z - -732. Is 19 a factor of i?
False
Let f be 5 + -1 + 36 + 4. Suppose f*b = 42*b. Suppose -v + 38 + 22 = b. Is 10 a factor of v?
True
Let s(h) = 119*h - 4. Let p be s(3). Suppose 4*r - 146 = -x, 4*x - p = x + 5*r. Suppose -5*c - 2*c + x = 0. Is c a multiple of 18?
True
Let v(h) = h**2 + 9*h - 12. Let p be v(-10). Let d(g) = g**2 - 2*g - 3. Let n be d(p). Suppose n*q - 2*a = 3*a + 860, -335 = -2*q + 5*a. Does 20 divide q?
False
Let q be (-6 - (-280)/45) + (-129)/(-27). Does 2 divide (-1 + (-15)/q)*(-309)/12?
False
Suppose 0 = 2*h + 3*t - 174, -h - 2*t - 174 = -3*h. Let k = h - 83. Is k even?
True
Let z = -66 - -74. Let k be 4/(-6)*(-4068)/z. Suppose -5*h = -8*h + k. Is h a multiple of 22?
False
Is 28 a factor of 1136 + (306/(-17) - -14)?
False
Suppose -8 = 5*k - 3*k - 4*y, k - 14 = -4*y. Suppose -z - k*z = 2*c - 764, 3*c = -5*z + 1272. Does 28 divide z?
True
Let o(x) = x**3 + 12*x**2 - 7*x + 15. Let f be 2/8 + (-44)/(-16). Suppose -f*m = 12 + 24. Is o(m) a multiple of 12?
False
Suppose k + 76 = 3*z - 18, 4*z - k - 126 = 0. Suppose -2*f = 276 - z. Let t = f - -184. Does 12 divide t?
False
Let s(g) = -40*g**2 - 4*g - 7. Let n be s(-3). Let i = -327 - n. Does 4 divide i?
True
Let f(k) = 91 - 77*k - 58*k + 20 - 309. Is f(-6) a multiple of 36?
True
Let j = -3083 - -15379. Is 106 a factor of j?
True
Does 38 divide 21107/6 + (-38)/(-228)?
False
Let m = -196961 + 291780. Is m a multiple of 16?
False
Let h(x) = 6*x - 20. Let d be h(6). Let z = 18 - d. Is 8 a factor of (z/(-1))/(10/(-695))?
False
Suppose 4*x = -2*o + 7328, -2*o = x - 9086 + 1776. Does 15 divide o?
False
Let q be 573*((-46)/(-6) + -7). Suppose 335 + q = 2*m - 5*t, 4*m - 5*t = 1409. Is m a multiple of 7?
False
Suppose 26632 = 3*r + 2*j, 157*j - 26648 = -3*r + 159*j. Is 120 a factor of r?
True
Suppose -4*c + 15 = -1. Let m be 12/c*(-3)/9*-2. Does 4 divide m/4 + (-1162)/(-28)?
False
Let i(t) = 5*t**3 + 54*t**2 + 4*t - 21. Does 8 divide i(-9)?
True
Let i(m) = 2*m**3 + 25*m**2 + 15*m + 6. Let r be i(-12). Let n = -132 - r. Let h = n - -157. Is 11 a factor of h?
True
Let x = 621 + -109. Let r = x - 218. Is r a multiple of 14?
True
Let k(t) = -32*t + 132. Suppose 23*l - 8*l + 135 = 0. Is k(l) a multiple of 70?
True
Let p = 3843 - 1881. Is p a multiple of 67?
False
Let p = 788 - 791. Let q(l) = -10*l**3 + 2*l**2 - 7*l - 1. Is 11 a factor of q(p)?
True
Is (-65)/15 - 346832/(-159) a multiple of 2?
False
Let r(z) = 8*z**2 + 2*z + 9. Let f be (-14)/6 + 2/6 + -2. Let k be r(f). Suppose 51 = 5*q - k. Does 6 divide q?
True
Let f be 160/3 - (-22)/33. Suppose -d = f - 134. Does 41 divide d?
False
Suppose -4*g - 26*i - 55336 = -22*i, 5*i - 10 = 0. Is (-5 + 65/10)/((-18)/g) a multiple of 64?
False
Suppose -3*k - 8*k + 42 = -4*k. Let p(o) = o**2 + 6*o + 8. Let r be p(-6). Suppose r = 2*d, k*d = 5*h + 3*d - 1378. Does 31 divide h?
False
Suppose -4*a = -2*a + 12. Let r be ((-220)/a)/(5/75). Is 1/3 + r/15 a multiple of 6?
False
Let b(j) = j**3 - 4*j**2 - 14*j - 22. Let y be b(8). Let o be 12/(-16) + y/(-8). Is 14 a factor of ((-446)/o + (-1)/(-8))/1?
True
Suppose -d - 10836 = -4*s, 24 - 16 = 2*d. Is 113 a factor of s?
False
Suppose 3*i = -12, 0*z + 3*i + 812 = 2*z. Suppose 4*l + 14 = 2*b + b, 0 = b + l. Suppose 80 = c - b*w, -5*c + 3*w + z = -2*w. Is c a multiple of 16?
True
Let h(i) = 2*i - 14. Let b be h(9). Suppose -904 = -3*s - b*c, s + 2*c = 121 + 181. Suppose 7*f - 152 = -x + 5*f, 0 = -2*x - 2*f + s. Is x a multiple of 21?
False
Let n(m) = -m - 1. Let q be n(-6). Suppose -22*u - 4*u = -67*u + 123. Suppose -96 = -q*k + u*w, -3 = -5*w - 13. Does 13 divide k?
False
Let m = -5555 + 3812. Let z = m + 2593. Is 34 a factor of z?
True
Let l = 13036 - 6126. Does 240 divide l?
False
Suppose -2*i + c + 20 = 0, 5*c + 13 + 6 = i. Suppose 12*n - 1215 = i*n. Is n a multiple of 45?
True
Let z be ((-40)/(-36))/5 - 52/(-9). Suppose -2*l - 3*b = -18, b + 5 - 3 = 0. Suppose z*w - l*w + 96 = 0. Is 4 a factor of w?
True
Let h = 516 - 896. Let j be ((-91)/(-26))/(758/h - -2). Suppose 7*p = j + 217. Is p a multiple of 21?
True
Suppose -2*f - 2*t + 4*t + 10 = 0, -2*t + 18 = 5*f. Let r be ((-3)/f)/(-1) - (-319)/44. Is 7 a factor of (333/(-12) + 4)/((-2)/r)?
False
Suppose -109*o = -94*o - 11115. Is 19 a factor of o?
True
Let a(q) = -4*q - 135. Let p be ((-1221)/(-66))/((-2)/4). Is 10 a factor of a(p)?
False
Let v(t) = -1090*t + 43. Let y be v(-7). Suppose 9199 = 19*u - y. Is u a multiple of 74?
True
Let i(k) be the second derivative of k**5/20 - 5*k**4/12 - 2*k**3/3 - 5*k**2 + 5*k. Let c be i(7). Suppose 2*u - 7*u + c = 0. Is 11 a factor of u?
False
Let c be (261/18 + -11)*(-36)/(-21). Let f(l) = 17*l + 1 + 17 + 4. Does 18 divide f(c)?
False
Let v = 7 - -2. Let l = v - 5. Does 4 divide 90/4*l/3?
False
Let j(z) = z**3 - 23*z**2 - 22*z - 46. Let r be j(24). Does 10 divide (1380/21)/(r/14)?
True
Let r = 66746 - 20960. Is 78 a factor of r?
True
Let m(r) = 3*r + 17. Let u be m(-7). Let x(q) = -7*q - 26. Let w be x(u). Suppose w*s - 136 = -2*s. Is s a multiple of 17?
True
Suppose -3*n - 5*k + 871 = 0, 3*n + k - 591 - 272 = 0. Let a = n - -59. Is a a multiple of 31?
False
Let p = -2108 + 40283. Is p a multiple of 10?
False
Suppose 5*b = -h + 2276, -5*b - 5*h = -740 - 1520. Is b a multiple of 142?
False
Let a = 96 - 96. Suppose g = -2*z - a*g + 2, 5*z = -3*g + 6. Suppose i - f = 92, 4*f + 192 = -z*i + 2*i. Is i a multiple of 8?
True
Let g = -15 + 15. Suppose m + 0*m - 5 = g. Suppose -m*b + 206 = -3*b - 3*z, -5*b + 492 = 4*z. Is 11 a factor of b?
False
Let u(w) = 1186*w**2 + 278*w - 280. Is u(1) a multiple of 41?
False
Let c(q) = 45*q - 54. Let b(j) = 3. Let g(y) = -36*b(y) + c(y). Is g(6) a multiple of 8?
False
Let b be ((-496)/(-4) - -16) + 1 + 0. Suppose 1537 - b = u. Is u a multiple of 13?
False
Suppose 0 = m - 5, 0 = -s + 3*m - 0*m - 35. Let f be (15/s)/((-2)/(-8))*-1. Is 6 a factor of (-621)/(-21) + f/7?
True
Suppose -16 = 56*x - 57*x. Let o = x + -11. Does 25 divide 4 + 0 + 355/o?
True
Suppose 209*l = 219*l - 112340. Suppose 9*i + 2000 - l = 0. Is i a multiple of 19?
True
Suppose 4*l - 100211 = d, -3*d + 23684 + 51493 = 3*l. Is 79 a factor of l?
Fal