55 = 4*y. Does 8 divide m?
False
Suppose g + 68 = -g. Let h(b) = -b**2 + 3*b. Let w be h(3). Let t = w - g. Is t a multiple of 17?
True
Let h(o) = o**3 + 10*o**2 - 12*o - 6. Let n be h(-11). Suppose -2*z = -n - 3, -2*z = 2*r - 32. Does 6 divide r?
True
Let f(k) = 3*k - 69. Let l be f(23). Suppose 3*r - 4 = -r, -5*b + 5*r + 110 = l. Is 4 a factor of b?
False
Suppose 6*o - 4*n = 3*o + 1208, 0 = -n - 2. Is 8 a factor of o?
True
Let o = 41 + -43. Does 9 divide -1 - (-4)/((-12)/99)*o?
False
Suppose -5*o = -o - 24. Suppose -o*u + u - 110 = 0. Let g = 36 + u. Is 3 a factor of g?
False
Let c = 168 + 106. Let a = -157 + c. Does 39 divide a?
True
Suppose 0 + 12 = 4*z. Suppose -6 = 3*m, z*o + 8*m - 3*m - 365 = 0. Is o a multiple of 25?
True
Let a = 1124 + -1074. Is a a multiple of 47?
False
Let n = 6 - -12. Is (-3)/n*2 - (-596)/6 a multiple of 10?
False
Let y(x) = -9*x**3 + 3*x**2 - x - 27. Is 3 a factor of y(-3)?
True
Is 14 a factor of (5 - -67)/(-4)*122/(-4)?
False
Let y(s) = -s + 9. Let c be y(-5). Is 15 a factor of (c/(-8) - -3)*84?
True
Let s = 713 + 161. Is 23 a factor of s?
True
Suppose 7 = -2*v + 5*x + 120, v = -x + 67. Is 32 a factor of v?
True
Let q = -8 + 13. Suppose 4*z - 25 - 4 = -q*i, 4*i - 19 = z. Suppose 2*w + 2*w - 16 = -4*u, 0 = -u - i*w + 12. Is u even?
True
Let q = -58 + 61. Is 4 a factor of -2 + (-250)/(-6) + q/9?
True
Let w(h) = 3*h**2 - 8*h + 17. Let l(j) = -j**2 - 1. Let m(r) = -4*l(r) - w(r). Let i be m(-9). Is 65 + (-4)/i + 2 a multiple of 17?
True
Let u = 69 + -32. Suppose -5*b + o = -440, -b + u = 2*o - 51. Is 17 a factor of b?
False
Let g(d) be the first derivative of 13 + 0*d**2 + 10/3*d**3 - d. Is 2 a factor of g(-1)?
False
Let l(g) = 364*g - 1. Let f be l(1). Suppose 2*y = -6, 4*h + h - y = f. Is h a multiple of 18?
True
Suppose 2*x - 210 = 114. Is x a multiple of 27?
True
Suppose -315 = -2*h + 4*z + 189, 0 = z + 1. Suppose -2*l + 6 = 0, 5*p = 2*p + 3*l + 486. Let y = h - p. Does 19 divide y?
False
Let t(l) = l**2 - 2. Suppose -4*y + 7 = -5. Does 6 divide t(y)?
False
Let q = 26 - 15. Suppose 0 = -3*k - 4*u + 26, 0*u = 5*k + 2*u - 20. Suppose 67 = k*z + q. Is z a multiple of 7?
True
Let f(v) = v + 1 + 0 - 2 + 3. Let w be f(-6). Does 10 divide ((-70)/7)/(2/w)?
True
Let l = -89 + 496. Does 37 divide l?
True
Let v be (-108)/(-11) - 20/(-110). Is (v/4)/(-5) + 10/4 even?
True
Let s(t) = t**2 - 10*t - 13. Let d be s(12). Suppose -15 = -5*l - i, -14 - d = -5*l - 3*i. Suppose -4*p + 16 = -5*v, p + l*v = 24 - 7. Does 4 divide p?
False
Let l(w) = -w**2 - 8*w + 1. Let y be l(-7). Is y/(-4) + -2 + 10 even?
True
Let o be (94 - (-4)/1) + 1. Suppose -5*u - 34 + o = 0. Is 11 a factor of u + -2 - (2 - 2)?
True
Suppose -3*m + 8 = m. Does 39 divide (m - 1) + 138 + 17?
True
Suppose -4*g + 4*h + 2612 = 0, -g + 3*h + 5 + 646 = 0. Is 6 a factor of g?
True
Suppose -834 = -17*g + 5490. Does 67 divide g?
False
Let s(t) = -2*t + 1. Let k be s(3). Let v = k - -6. Does 15 divide (0 - 3) + 26*v?
False
Suppose -2*x = 4*s - 320, 11 = 4*s - 9. Is 25 a factor of x?
True
Let b = 143 - 141. Does 18 divide (-2481)/(-12) - 1/(-4) - b?
False
Let u be 7 - 8 - (0 - 78/3). Suppose 1767 = 13*o + u. Does 19 divide o?
False
Let d = -35 - -38. Suppose 267 = 5*p + d*x, p + p - 2*x = 94. Is p a multiple of 17?
True
Suppose 3*z - 89490 = -27*z. Is z a multiple of 19?
True
Let z be -579*(-2)/12*(-10)/(-5). Suppose -42*t - z = -43*t. Is 41 a factor of t?
False
Suppose -2 = f - 0. Let t(y) = -90*y - 4. Does 30 divide t(f)?
False
Let m(v) = 11*v**2 - 26*v + 103. Does 31 divide m(5)?
True
Let h be (-335)/(-2) - (3 - (-10)/(-4)). Suppose -3 = g - 10. Suppose -4*t + h = g. Does 20 divide t?
True
Let m(j) = 2*j**3 - 4*j**2 - 15*j - 3. Is m(5) a multiple of 18?
True
Let m be 1 + (1/(-1) - -2). Suppose 0 = 5*l - m*l - 21. Suppose -d = -l + 1. Does 2 divide d?
True
Suppose 0 = 4*d - 3*n - 141, 3*n + 63 = 3*d - d. Is d even?
False
Let b be 59 + 24/8 - 2/1. Suppose -b + 732 = 6*c. Does 16 divide c?
True
Suppose 5 - 95 = -3*w. Let x = w - 28. Is 12 a factor of ((-3)/x)/((-1)/24)?
True
Let t = 1780 - 1052. Does 53 divide t?
False
Suppose -3*s - 2*s - 4*t = 56, 3*s + 3*t = -36. Let n(x) = -3*x - 6*x + 2*x + 3*x. Does 16 divide n(s)?
True
Suppose -1246 = -2*h + 1918. Let f be 1/3 - h/(-42). Suppose 4*k = 2*i + 102, -3*k = -4*k - 2*i + f. Does 14 divide k?
True
Let z be ((-20)/5)/1 - -31. Suppose 10 = -2*g, 0 = o + 2*g + 1 - z. Is 9 a factor of o?
True
Let t = 122 + -41. Is 13 a factor of (18/15)/(8/20) + t?
False
Suppose 3*z - 5 = 10. Suppose 8*f - z*f - 270 = 0. Is f a multiple of 18?
True
Let v = 119 + -74. Does 8 divide v?
False
Suppose k = -5*x + 34, 4*k - 79 - 15 = x. Is k a multiple of 24?
True
Let k = 9 + -3. Let n = 5 - k. Let i(h) = -17*h. Is i(n) a multiple of 5?
False
Does 3 divide (-83)/(-7) - (-18)/126?
True
Let h(z) = -2*z + 6. Let x be h(-8). Suppose 3*s + 5 + 2 = -4*i, i - 4*s = x. Suppose -7 + 97 = 2*c + 3*l, -i*l - 135 = -3*c. Is c a multiple of 9?
True
Suppose 0*v = -5*v - 30. Let w(t) = -4*t + 12. Does 9 divide w(v)?
True
Suppose -4*c = 3 - 35. Let w = c + -4. Suppose u - 2*u + 200 = w*z, -3*u + 200 = 4*z. Is z a multiple of 10?
True
Suppose -8*p + 8945 = -13023. Does 8 divide p?
False
Let f = 37 - 30. Suppose f = 4*k - 305. Is k a multiple of 13?
True
Suppose -140 = 30*x - 35*x. Is 2 a factor of x?
True
Let n(k) = -k + 221. Let f be n(0). Let j = -384 + f. Let q = -115 - j. Is q a multiple of 12?
True
Let h(m) be the second derivative of -1/6*m**4 + 5/6*m**3 + m + 5/2*m**2 + 0 - 1/20*m**5. Does 17 divide h(-4)?
True
Is 22/((-1 + 0)*39/(-1794)) a multiple of 23?
True
Let w = -261 - -321. Is 12 a factor of w?
True
Let f = -13 + 22. Let z be (29/4)/(f/36). Suppose 41 + z = 5*j. Is 7 a factor of j?
True
Suppose -82 = -t - 2*a, 42 = -2*t + 2*a + 224. Suppose -s + 6*s - 2*m - 492 = 0, s - t = 3*m. Does 25 divide s?
True
Does 43 divide 2123 + (-1)/(7/14) + 8?
False
Let z = 729 - 408. Is 23 a factor of z?
False
Suppose 0 = -8*b + 5758 - 2302. Is b a multiple of 24?
True
Let h(o) = -2*o**2 + 13*o - 12. Let x be h(5). Suppose -x = p - 15. Is p a multiple of 3?
True
Let f = 1363 + -493. Does 29 divide f?
True
Suppose -6*k + 740 + 346 = 0. Is k a multiple of 13?
False
Is 6/(-5) + (-2201)/(-5) a multiple of 25?
False
Let d = -378 - 128. Is 28 a factor of (1 + -2)*1 - d/2?
True
Suppose 0 = -5*y + 4*y + 5. Suppose y*v = -g + 247, 10 = 4*g + 2. Is 15 a factor of v?
False
Let h be 1/((-4)/48) + 1. Let i = -8 - h. Suppose 2*b - 42 + 11 = -i*x, 3*x - 5*b = 17. Is x a multiple of 2?
False
Let l(m) = -m**2 + 10*m - 9. Let p be -4*(-9)/6 + 2. Let a be l(p). Suppose -a*h + 110 = -5*h. Does 15 divide h?
False
Suppose 49*w = 50*w + 35. Let i = 102 + w. Is i a multiple of 7?
False
Suppose 5*g = 7*g + 3*y - 2818, y = 4*g - 5664. Is 14 a factor of g?
False
Let m(x) = 10*x - 51. Let i be m(10). Suppose 48*l + 160 = i*l. Is l a multiple of 16?
True
Let w be 6/4*-6*5/(-9). Let r(d) = 63*d - 3. Does 13 divide r(w)?
True
Suppose -2*q + 4 = -14. Suppose -3*p - 5*y = -14 - 1, 3*y - q = p. Suppose o = -p*o + 46. Is o a multiple of 24?
False
Suppose 5*o + 2*i = 26, -4*o + 4*i + 4 = -0*i. Suppose -5*x + 1 = -3*w, -6*w - 1 = -o*w - 3*x. Does 4 divide w*(-3)/6 - -5?
False
Let w be (-1)/2*(-4 - 52). Let u = w - 21. Let k = 3 + u. Is 4 a factor of k?
False
Let m(f) = 10*f**3 - f + 1. Let d(n) = n**2. Let p be d(1). Let b be m(p). Suppose 0 = 4*q - 4*o - 32, -5*o - 6 - b = -3*q. Is 4 a factor of q?
True
Let b(m) = 10*m**2 + 17*m - 132. Is 69 a factor of b(-15)?
True
Suppose 598 = -7*q + 1641. Is q a multiple of 4?
False
Suppose -44*b - 39*b = -120018. Is b a multiple of 7?
False
Let v(o) = -o**2 + 20*o + 2. Let p(m) = -m**2 + 5*m - 1. Let a be p(3). Suppose 55 = -0*i + a*i. Is v(i) a multiple of 33?
False
Let l = -20 + 27. Suppose -4*x = 2*f - 18, l*f - 5 = 5*x + 4*f. Suppose -20 - 34 = -x*u + 3*i, -4*i = -4*u + 112. Is u a multiple of 10?
True
Let f = -29 + 25. Is (-450)/(-9) + (f - -2) a multiple of 7?
False
Is (-36)/144 + 4961/4 a multiple of 62?
True
Let w be (2 - -1) + (0 - 3) + 1. Let i(b) = 82*b**2 + 2*b - 1. Is 18 a factor of i(w)?
False
Let c(n) = -14*n - 125. Is 3 a factor of c(-12)?
False
Suppose 2*h = -3*d + 473, 2*h - 577 = -4*d - 101. Does 9 divide h?
False
Suppose -8*h = -3*h. Suppose -4*a 