). Suppose -94 = -3*v - u. Is v a multiple of 26?
True
Suppose -2*x + 13*z = 9*z - 1804, 2718 = 3*x - 3*z. Is 36 a factor of x?
False
Suppose -107*v = -109*v + 518. Does 9 divide v?
False
Let a(t) = -t**2 - t. Let r be a(0). Let q(j) = 285*j**3 + j**2 - j + 1. Let i be q(1). Suppose 5*l - i + 81 = r. Does 20 divide l?
False
Let f = 71 - 114. Let g = -28 - f. Is g a multiple of 4?
False
Let j be (-10)/((-7)/(1092/(-8))). Is j/(-13)*(3 - 0) a multiple of 12?
False
Let g be 55/25 + (-2)/10. Suppose 0*u = g*u - 142. Is 16 a factor of u?
False
Suppose 60 = 4*t - z, z - 75 = -5*t + 2*z. Let l(r) = -t*r - 6*r - 9*r - 2*r. Does 8 divide l(-1)?
True
Suppose 3*u = 5*f - 1194, -351 = -2*f + 2*u + 129. Let s = f + -112. Does 25 divide s?
True
Let w = 257 + -192. Is w even?
False
Let s be 3 + (-5 - 3) + -3. Does 6 divide s/((-126)/(-33) - 4)?
False
Suppose -89*l - 60652 = -173860. Is l a multiple of 53?
True
Let d be (-1)/6 + (-6520)/48. Let u(b) = -b**2 + 3*b - 9. Let l be u(-7). Let h = l - d. Is h a multiple of 19?
True
Suppose 9*y - 15762 = -2793. Is y a multiple of 25?
False
Suppose -m = -5*i - 175, -30*i + 325 = 2*m - 35*i. Is 15 a factor of m?
True
Let c = -167 + 351. Let p = -10 + c. Does 29 divide p?
True
Let h = 150 + 687. Is 31 a factor of h?
True
Let h = -87 + 89. Suppose -2*m = h*w + 2*w - 104, -5*w - 2*m + 132 = 0. Is w a multiple of 4?
True
Let w = -519 - -987. Is 33 a factor of w?
False
Let d = -37 + -17. Let h = 105 - d. Does 12 divide h?
False
Let g(a) = a**3 - a**2 - a - 2. Let w be g(2). Suppose w = -6*o + 5*o + 16. Does 4 divide o?
True
Let y be (-2)/(-1 + 315/305). Let z = y - -91. Is z a multiple of 10?
True
Suppose -5*i = -5*y + 170, 2*y = y - 3*i + 30. Does 2 divide y?
False
Suppose -29*x + 0*x = -6032. Does 7 divide x?
False
Is 12 a factor of (-12*2*-5)/((-3)/(-12))?
True
Let o(x) = -x**3 + 10*x**2 - 11*x + 21. Let t be o(9). Suppose -2*y - 2*l + 42 = 0, t*y - 96 = -2*l - 28. Does 9 divide y?
False
Let g(d) = 2*d**2 - 4. Let r be g(-2). Is 3 a factor of (-6)/r*490/(-21)?
False
Let k(i) = i**3 - 7*i**2 - 4*i + 5. Let v(p) = p**3 + p**2 - p + 8. Let d be v(0). Does 4 divide k(d)?
False
Suppose 4*i - 2*i - 766 = 0. Let p = i + -269. Does 38 divide p?
True
Let f(x) = x**3 + 8*x**2 + x - 4. Let b be f(-8). Let m = -12 - b. Suppose 7*o - 2*o - 60 = m. Is o a multiple of 4?
True
Suppose 5*y = x - 292, -4*y + 14 = -x + 301. Let v = -190 + x. Is v a multiple of 22?
False
Let t = 704 - -3244. Does 84 divide t?
True
Let u(l) = 56*l**3 + 1. Let r be u(1). Let o = r + -9. Is 6 a factor of o?
True
Suppose 0 = -3*l - l + 112. Let h = 3844 + -1730. Is 15 a factor of (-2)/4 + h/l?
True
Suppose -3*w = -21*w + 6606. Is 5 a factor of w?
False
Let u be 2/12 + ((-85)/30)/(-1). Let i = -177 + 321. Suppose -u*w - w = -i. Does 12 divide w?
True
Let d = 2668 + 540. Does 9 divide d?
False
Suppose -3*t = -5*i + 1351, -i + 18*t - 15*t + 275 = 0. Is i a multiple of 10?
False
Let t = -56 + 59. Does 30 divide t/9 - 89/(-3)?
True
Let b = 636 - 226. Is b a multiple of 13?
False
Let z(p) = -2*p**3 + 18*p**2 + 18*p + 14. Is z(9) a multiple of 22?
True
Let g(h) be the second derivative of 11*h**5/20 + h**4/12 - h**3/6 + 6*h. Let x(v) = -v**3 + 7*v**2 - v + 8. Let a be x(7). Is 9 a factor of g(a)?
False
Suppose -4*u + 900 = 6*u. Suppose k + u = 2*n - 75, 5*n - 385 = -3*k. Is 16 a factor of n?
True
Let t be (1 - (-13)/(-3))*3. Let h(g) = -25. Let u(a) = a - 26. Let i(c) = 4*h(c) - 3*u(c). Is i(t) a multiple of 8?
True
Let v(o) = 5 - 13*o + 1 + 35*o - o**2. Is 9 a factor of v(12)?
True
Let p(u) = 11*u**2 + u + 3. Let d be 582/(-9) + 6/9. Let z be ((-2)/8)/(8/d). Is 10 a factor of p(z)?
False
Let n be (8/(-16))/((-1)/168). Suppose 0*l - l - 1 = 0, -v = 4*l - n. Does 13 divide v?
False
Let z(v) = 866*v - 2. Is 32 a factor of z(1)?
True
Suppose 15 - 11 = -k, 4*h - 1728 = 5*k. Is h even?
False
Does 25 divide (-157020)/(-50) - (-22)/(-55)?
False
Is 13 a factor of 201*(-1 + (-5)/(-15))*-13?
True
Let q(y) = -2*y**2 + 8*y - 10. Let p be q(4). Let u = -5 - p. Suppose u*a = 59 + 336. Is a a multiple of 23?
False
Let b(k) = 701*k**2 + 3*k + 2. Let l be b(-1). Suppose -2*f = 5*f - l. Is f a multiple of 24?
False
Let a = 4 + -2. Does 17 divide (3 + -9)/(a*(-12)/736)?
False
Suppose -13*o = -12*o + 8. Let a(b) = -b**3 - 8*b**2 - 4*b + 7. Is a(o) a multiple of 13?
True
Let g(n) = n**2 + 5*n - 7. Suppose -8*l = -13*l + 10. Suppose 0 = 5*j + l*i + 45, -7 = i - 2. Does 2 divide g(j)?
False
Let d = -11 + 20. Let v(m) = -14*m**3 + 35*m**2 + 29*m + 30. Let z(u) = -5*u**3 + 12*u**2 + 10*u + 10. Let n(a) = -4*v(a) + 11*z(a). Is n(d) a multiple of 17?
True
Suppose 50*a - 4194 = 1856. Does 7 divide a?
False
Let f = -35 + 38. Let u be f*(40/15 + 0). Does 15 divide 722/8 - 2/u?
True
Let g(f) = f**3 - 10*f**2 - 10*f - 11. Let v be g(11). Let r = v + 8. Suppose r - 1 = l. Is l a multiple of 4?
False
Let y = -4 - -8. Suppose 15*f = 7*f. Suppose -u + y*u - 87 = f. Is 8 a factor of u?
False
Let s(h) = 37*h**2 - 38*h + 1. Is 23 a factor of s(3)?
False
Let v = 122 - 108. Let l be (-2)/((-7)/5 + 1). Suppose w + l = v. Does 3 divide w?
True
Let v = 14 + -11. Let g(z) = -z**3 + 5*z**2 + z - 1. Is 2 a factor of g(v)?
True
Suppose 7*q - 93 = 4*q - 2*l, 4*l = 2*q - 78. Suppose 4*d + 5*k = 2*d + 81, 0 = -d - k + q. Does 14 divide d?
True
Suppose 9*a - s + 11 = 10*a, -4*s = -2*a + 52. Is a a multiple of 2?
True
Let g be ((-50)/(-6))/(19/57). Suppose a - 3 = g. Is a a multiple of 3?
False
Let k = -350 + 686. Is 4 a factor of k?
True
Suppose 0 = -88*v + 94*v - 2178. Is v a multiple of 33?
True
Suppose -y + 2*z = -3*y + 14, -5*y - 2*z = -50. Suppose 0 = -b + 4*t + 15, -2*b + 3*t = b - 18. Suppose b*v = 36 - y. Is v even?
True
Is 1/((27/(-2250))/(1*-3)) a multiple of 25?
True
Let p(d) = 8*d + 361. Is 4 a factor of p(-35)?
False
Suppose -2 = l - 2. Is 12 a factor of -1 + 13 - (-5 - l)?
False
Let d(o) = -4*o**3 + 5*o**2 + 8*o + 72. Is 10 a factor of d(-5)?
False
Let n = 1397 + -1137. Is 4 a factor of n?
True
Suppose 2*m + m = 3*t + 18, 5*m + 2*t = -5. Let w be (-1 + 2)*0/m. Suppose w*n + 3*n - 66 = 0. Is 8 a factor of n?
False
Let o be (3 - (-2)/(-1))*15. Suppose -4*h + 63 - o = 0. Suppose h + 0 = 4*j. Does 3 divide j?
True
Let c = 346 + -152. Does 5 divide c?
False
Let s(t) = -t**2 + 4*t**2 + 5*t**2 + 4 + 2*t. Let z be s(-3). Suppose 0 = 5*v - 5*n - z, 4*v = -0*n + 3*n + 58. Is 10 a factor of v?
False
Suppose -498 = -17*i + 6812. Does 18 divide i?
False
Let g(b) = b**3 + 3*b**2 - 9*b + 7. Let s(a) = -a - 20. Let w be s(-15). Let f be g(w). Suppose -27 = -f*n + 163. Is 19 a factor of n?
True
Let f(y) = -y**3 - 11*y**2 + 6*y - 6. Suppose 37 + 23 = -5*p. Is 8 a factor of f(p)?
False
Let s be ((-4)/(-12))/((-1)/(-3)). Let a be 9 + (4 - (s - 0)). Let p(v) = 4*v + 4. Is 26 a factor of p(a)?
True
Does 26 divide (-35)/(-25) - (-3092)/20?
True
Let p be (1*9)/((-12)/(-8)). Let s(t) = 2*t**2 - 2*t - 5. Is s(p) a multiple of 19?
False
Let j = -233 + 552. Is 14 a factor of j?
False
Let n(f) = f**2 + 2*f. Let g be n(-4). Let d(l) = 6*l**2 + 7 - 10*l - g*l**2 + 1 + 4*l**2. Is 8 a factor of d(6)?
False
Let j(h) = 194*h - 30. Is 46 a factor of j(3)?
True
Let x(j) = -2*j + 5 - 7*j + 1. Suppose 2*i = 6*i + 40. Is 16 a factor of x(i)?
True
Let m = -883 - -1201. Does 37 divide m?
False
Let z be (-83 + 2)/(12/8). Let n = -21 - z. Suppose 30*p = n*p - 108. Does 9 divide p?
True
Suppose 65 = 4*t - 3*f, 0*t + 4*f = -5*t + 89. Let q = 5 + t. Does 11 divide q?
True
Is 7 a factor of (-96750)/(-144) + 1 + 21/(-24)?
True
Let g(f) = 65*f + 33. Let z(o) = -22*o - 11. Let t(y) = -3*g(y) - 8*z(y). Let v = 11 - 16. Is t(v) a multiple of 21?
True
Suppose -3*b + 15 = -0, 2*b - 5 = c. Let n(j) = 3*j**2 + 5*j - 12. Is 20 a factor of n(c)?
False
Is 5 a factor of (-54)/9 - 318/(-3)?
True
Suppose 0 = 2*s - s - 49. Let i be s/(((-30)/(-35))/(-6)). Let v = 502 + i. Is v a multiple of 40?
False
Let y be 4/(-6)*(630/(-4))/15. Suppose 5*k - 1164 = -y*k. Is 12 a factor of k?
False
Let n(i) = -4*i**3 - 14*i**2 - 4*i - 16. Does 4 divide n(-6)?
True
Let k(h) = 14*h**2 - 7*h + 11. Does 15 divide k(2)?
False
Suppose 0*m + m = 2. Suppose 0*n = -m*n + 12. Suppose 0 = -n*f + 3*f + 99. Is 20 a factor of f?
False
Let o(a) = 8*a + 14. Let g be o(-7). Suppose -5*n + 3*n 