t h(i) = 12*i - 4. Suppose -2*d + 5 = -1. Is 18 a factor of h(d)?
False
Suppose 3*n - 140 = -n. Does 35 divide n?
True
Suppose 2*g + 2*t - 57 = 5*t, -4*g + 119 = -5*t. Is 12 a factor of g?
True
Let m(o) = -o**3 + 9*o**2 + 4*o - 7. Let u(g) = -2*g**3 + 17*g**2 + 8*g - 14. Let a(j) = 7*m(j) - 4*u(j). Let r be a(6). Let s = r + -9. Does 8 divide s?
False
Let d(i) = -46*i - 2. Let y be d(-2). Suppose -2*w - y = -5*h, -4*h - h + 4*w + 90 = 0. Is h a multiple of 18?
True
Let o be (-940)/8*(-4)/(-5). Let d = o - -217. Is 25 a factor of d?
False
Let w(f) = 3*f**3 + 2*f**2 - 2*f + 1. Is w(1) even?
True
Suppose 0*y - 16 = -2*b - 2*y, 0 = b - 2*y + 1. Suppose -3*n = -5*k + 5, b*k = 2*n - 5 - 0. Let d = -2 - n. Is 8 a factor of d?
True
Let m = -14 + 6. Let y = 11 + m. Suppose 2*x + 3*l - 23 = 0, x - y*l = -x + 17. Does 10 divide x?
True
Let a(p) = 9*p - 5. Is 31 a factor of a(4)?
True
Suppose 7*a - 216 = -11*a. Does 3 divide a?
True
Let l be -3*(1 + 1/(-3)). Let i(b) = -2*b**3 - b**2 + 1. Is 13 a factor of i(l)?
True
Let n(s) = 11*s - 4. Let d be n(4). Let w = d + -14. Is w a multiple of 9?
False
Suppose -17 = -5*a + 8. Suppose a = 2*c - 13. Does 6 divide c?
False
Does 6 divide (10/5 - 0) + (-71)/(-1)?
False
Suppose -4*n + 5*v - 40 = v, 0 = -5*n + 2*v - 38. Let z(i) = -i**3 - 4*i**2 + 4*i - 3. Is z(n) a multiple of 12?
False
Let r = 3 - 1. Suppose -3*c + v - 4 = -r*c, v = 2*c + 3. Suppose 18 = k - c. Is k a multiple of 16?
False
Is 10 a factor of (-3)/(-12) - 1194/(-24)?
True
Let a = -3 + 3. Suppose a = -2*m + 3*m - 8. Does 2 divide m?
True
Let y be 3 + -3 + -2 + 2. Suppose -g + 20 = -y*g. Does 10 divide g?
True
Let c(d) = -9*d + 14. Is 4 a factor of c(-5)?
False
Let q = -5 + 24. Does 9 divide q?
False
Let n = -14 + 6. Let u be ((-1)/2)/(1/n). Suppose 3*p - u*x = -0*p - 14, 3*p - 2*x + 4 = 0. Is 2 a factor of p?
True
Let x be 444/30 - (-1)/5. Let b = x + -12. Does 2 divide b?
False
Let h(x) = x**2 + 3*x - 4. Is 4 a factor of h(4)?
True
Let v(d) = d**3 - 5*d**2 - 6*d. Let m be v(6). Suppose m = 5*x + 2 - 22. Suppose -x*i + 2*i = -70. Is i a multiple of 14?
False
Suppose -2*i = -3*a + 139, -5*a - i = 3*i - 217. Let u be a/6*28/6. Is 3 a factor of 24/(-10)*u/(-14)?
True
Let a = -43 + 44. Let d = -70 - -24. Does 9 divide (a - (-3)/(-2))*d?
False
Let g = -10 + 20. Let l be (-2)/3 - g/(-6). Is (l*3)/((-4)/(-24)) a multiple of 9?
True
Let w(f) = 2*f**2 - 2*f + 6. Let g be 6/4*8/3. Let x be w(g). Suppose 3*q = -0*q + x. Is 5 a factor of q?
True
Is 920/35 + (-4)/14 a multiple of 13?
True
Let k = -413 - -283. Let h = -87 - k. Is 18 a factor of h?
False
Is (-1)/(-4) - (-995)/20 a multiple of 14?
False
Let j = 42 - 20. Suppose -3*r = -5*b + j, -2*b - 6*r + 14 = -2*r. Suppose -o - 2*u + 30 = -u, -b*u + 86 = 3*o. Does 16 divide o?
True
Let l = 140 + -97. Does 21 divide l?
False
Let r be 78/21 + 4/14. Let d(b) = 2*b**2 - 4. Is d(r) a multiple of 10?
False
Suppose 3*z - 427 - 317 = 0. Is z a multiple of 31?
True
Let p be (-7)/(-3) - 12/(-18). Suppose -4*x - g + 125 = 29, -3*g = -p*x + 72. Is x a multiple of 10?
False
Let v = 2 + -1. Does 13 divide 1/v*(-39)/(-3)?
True
Suppose 6*d - x = d - 384, 3*x - 240 = 3*d. Let n = 124 + d. Is n a multiple of 19?
False
Suppose 3*y - 4*r + 4 = 0, -2*y = -3*y + r - 1. Suppose y = -5*i, i = 5*s - 100 - 70. Is s a multiple of 17?
True
Let z be (-28)/4*(-18)/7. Is 4 a factor of (-4)/1 - (9 - z)?
False
Suppose -z = -2*g - 26, -3*z = g - 2*g - 73. Does 24 divide z?
True
Let l(t) = t**3 + 5*t**2 - 6*t - 2. Does 9 divide l(-5)?
False
Let m = 135 - 55. Does 37 divide m?
False
Let v(c) = -c**3 - 6*c**2 - 6*c - 2. Let t be v(-5). Suppose -f + 4*a = -25, f + t*a - 7 = -2*a. Let i = f - 12. Does 3 divide i?
False
Let s(g) = 21*g + 14. Does 26 divide s(9)?
False
Is 10 a factor of 126/10 - 8/(-20)?
False
Let j be ((-12)/10)/((-1)/5). Let t(u) be the first derivative of u**4/4 - 7*u**3/3 + 3*u**2 + 3*u + 3. Is t(j) even?
False
Does 5 divide (76/(-6) + -1)*-3?
False
Let t(g) be the third derivative of -g**6/360 + g**5/24 - g**4/6 + g**2. Let v(a) be the second derivative of t(a). Is 9 a factor of v(-7)?
False
Let g be 11*-3*(-2)/(-3). Let p = -7 - g. Suppose 0 = -2*n - 3*y - 2*y + 34, -2*y + p = n. Is n a multiple of 7?
True
Suppose -62 = 2*g - 184. Does 18 divide g?
False
Let f(b) = -b**2 - 2*b + 14. Is 7 a factor of f(0)?
True
Let k = -9 - -21. Is k a multiple of 9?
False
Is 6/14 + (-186)/(-7) a multiple of 3?
True
Let d(b) be the third derivative of b**6/180 - b**5/30 - b**4/12 - b**3/2 - 2*b**2. Let m(p) be the first derivative of d(p). Does 12 divide m(5)?
False
Suppose -2*y + 4 = 14. Let v(w) = -13*w - 6. Let b be v(y). Suppose 3*a - 61 = -4*u, -3*a + a + u = -b. Does 11 divide a?
False
Let g(p) = -5*p - 1. Let l be g(-1). Suppose -3*u + 0*u = -a - 9, a = -l*u + 26. Let v = 4 + a. Is 5 a factor of v?
True
Let g(t) = t. Let l(m) = -2*m**2 - 6*m - 3. Let r(c) = -2*g(c) - l(c). Let o be r(-2). Is 2/(o/3*1) a multiple of 2?
True
Suppose 4*v = -48 + 124. Is v a multiple of 10?
False
Let a(s) be the second derivative of 1/6*s**3 + 0 - 3*s - 3*s**2. Is 2 a factor of a(8)?
True
Let b(s) = s**3 - 4*s**2 - s + 2. Let f be b(4). Let c = -2 - f. Suppose -t = -2*o - 39, c*o + 59 = t + 3*o. Does 17 divide t?
False
Suppose 0 = -2*x + 3*x - 5. Let a be ((-12)/(-9))/((-2)/(-3)). Is 16 a factor of ((-66)/(-15) + a)*x?
True
Let w be (-135)/(-30) - (-1)/2. Suppose t - w*t = -5*o - 280, -2*o = 8. Is 21 a factor of t?
False
Suppose 5*g - 3*t - 71 = 0, -7*g - 4*t = -3*g - 44. Is 7 a factor of g?
False
Let b be (-1)/(3/(-18) - 0). Suppose -r + b = -7. Is r a multiple of 6?
False
Let q = 3 + -2. Let x(t) = 61*t**3 + t. Is 17 a factor of x(q)?
False
Let b(w) = w - 5. Let p be b(5). Suppose 72 = 4*h - p*h. Is 14 a factor of h?
False
Let b(v) = v**3 + v**2 + v - 1. Let n(u) = -12*u**3 + 7*u**2 + 3*u - 4. Let s(r) = 5*b(r) - n(r). Suppose -4*c + 4 = -0*c. Does 16 divide s(c)?
True
Let z be (-4)/10 + (-728)/(-20). Let l = 5 - -9. Let d = z - l. Does 11 divide d?
True
Suppose 3*z + 3*p - 2*p = 219, -136 = -2*z - 4*p. Is z a multiple of 23?
False
Suppose -21 = 5*k - 101. Is k a multiple of 15?
False
Suppose 0 = 5*o - 116 - 4. Is o a multiple of 12?
True
Is 13 a factor of 101/2 + (-14)/(-28)?
False
Let a = -100 - -170. Does 14 divide a?
True
Let k(z) = -z**3 - 5*z**2 + 7*z + 6. Let u be k(-6). Suppose v - 14 = -2*m, -2*v - 53 = -5*m - u*v. Is m a multiple of 4?
False
Suppose 0 = -s - 5*k + 10, -3*k = s + 4 - 10. Suppose -2*l = -4*p - 118, 4*l - 4 = -s*l. Let o = -15 - p. Is o a multiple of 14?
True
Let m be 70/(-6) - (-1)/(-3). Is 4 a factor of (-3)/12 - 99/m?
True
Let j(a) = 10*a + 4. Let d be j(5). Suppose -2*c - d = -4*v + 114, -2*c + v - 183 = 0. Let n = -63 - c. Does 17 divide n?
False
Suppose 0 = 5*z - 0*z - 35. Let y(q) = -q**2 - 11*q + 2. Let x be y(-11). Suppose -4*w + z = j, 2*j + w = x*w + 59. Does 13 divide j?
False
Suppose 10*d - 42 = 3*d. Does 3 divide d?
True
Let m be (5 + -3)/(1/(-2)). Let r be (1 + m)*16/6. Let u = r + 16. Does 3 divide u?
False
Suppose 0 = 2*u - 3*b + 6, b - 4*b - 30 = 4*u. Let v(i) = -8*i - 12. Does 12 divide v(u)?
True
Let w(n) be the first derivative of -2*n**3/3 - 4*n**2 + 5*n - 2. Let j be w(-6). Let k = j + 29. Is 5 a factor of k?
True
Let r(f) = -2*f - 10. Let s be r(-7). Suppose 0 = 3*u - a - 91, s*a + 2 = -2. Suppose q + 0*q + 4*c - u = 0, -q + 18 = -2*c. Is 11 a factor of q?
True
Let o = -174 + 300. Is o a multiple of 14?
True
Let n(u) = u**2 + 4*u - 9. Let w be n(-6). Suppose 0 = 5*g - w*v - 66, g + 3*v = -3*g + 42. Does 5 divide g?
False
Let p = 1 + 19. Let r = -12 + p. Does 4 divide r?
True
Suppose 5*q - 31 = 134. Does 11 divide q?
True
Let r = -4 - -15. Let l = 11 - r. Suppose 0*j + j + z - 11 = 0, l = -2*j - 3*z + 21. Is 6 a factor of j?
True
Suppose -11 + 2 = -3*m. Suppose 2*i = -m*i + 15. Is i a multiple of 3?
True
Let b = -86 + 209. Suppose -b = -3*k - 0*k. Is 19 a factor of k?
False
Suppose 34 = 5*b + 3*x - 140, -5*b + 4*x = -153. Does 10 divide b?
False
Suppose 9*s - 4*s + 17 = 4*m, 4*s = 12. Does 8 divide m?
True
Is (-68)/(-6) + (-6)/18 a multiple of 2?
False
Let m(w) = -w**3 - 5*w**2 + 6*w - 8. Is 12 a factor of m(-7)?
True
Let q(u) = -12*u**2 - 8*u + 19*u - 2 + u**3 + u**2 - 3. Suppose -3 = -2*r + 17. Does 3 divide 