= 2*w + 16. Is 8 a factor of w?
True
Let u = 14 + -14. Suppose 18 = -u*v + v. Is 18 a factor of v?
True
Let h = -5 + 5. Let v(s) = s**2 - 2 + s + s + h*s. Is 19 a factor of v(-7)?
False
Let q(m) = -12*m**2 + m + 2. Let l be q(-6). Is 24 a factor of (-4)/6 + l/(-6)?
True
Suppose -4*t + 396 = -4*n, 0*t - 3*t = -n - 109. Is 12 a factor of (-4)/(-16) - n/8?
True
Let q = -14 + 15. Is 5 a factor of 16/(3 - 1)*q?
False
Let w(q) = -12*q - 5. Let o be w(-3). Let d = o + 19. Is 13 a factor of d?
False
Suppose f - 2*f = 4*y + 22, -10 = 2*y. Let k(i) = -i + i + 5*i**2 + i. Is k(f) a multiple of 9?
True
Let a be 25/2 + 8/(-16). Suppose -6*j + i = -3*j - a, -8 = -2*j + i. Suppose -j*n + 132 = 28. Does 15 divide n?
False
Let n(b) = -b**3 + 6*b**2 - 4*b. Let u be n(5). Suppose -3*o = 3*g - 54, -u*o + 6 = -14. Let a = 23 - g. Does 5 divide a?
False
Suppose -5*c = -2*w, 0 = -2*w - 2*c + 3*c - 8. Let q = 78 + w. Does 17 divide q?
False
Suppose 3 = f - 0, -59 = -v - 3*f. Does 25 divide v?
True
Suppose -5*g + 221 = q, 3*g + q - 65 = 68. Let o = g + -20. Does 7 divide o?
False
Suppose 4*j = 4*l - 492, 2*l - 116 = -j + 139. Does 8 divide l?
False
Let n(f) = -2*f - 9. Let m be n(-6). Suppose 0*x + 126 = m*x. Is 18 a factor of x?
False
Let h(g) = -4*g**3 - 3*g**2 + 8*g + 4. Is h(-4) a multiple of 12?
True
Is 8 a factor of 6/(1 + -4)*(4 + -12)?
True
Suppose -x + 2*x - 4 = 0. Suppose i - x = 3*i. Is 10 a factor of (-1)/((i/19)/2)?
False
Let l(a) = 7*a**3 - 3*a**2 + 6*a - 7. Does 8 divide l(2)?
False
Let l(h) = 10*h**2 + 1 - 13*h - 2 - 8*h**2. Does 23 divide l(10)?
True
Suppose 4*n + 3*y - 815 = 0, 4*y - 612 = -3*n + y. Is n a multiple of 32?
False
Let n = -28 + 57. Is 29 a factor of n?
True
Let y = -6 + 12. Let p = y - 2. Suppose -5*d + 10 = -0*z - z, -4*d + 32 = p*z. Is 3 a factor of z?
False
Suppose 9*s - 4*s = -y + 6, s = 0. Suppose -y = 5*u - 31. Suppose 5*t = -4*k + 58, 0 = -4*t + u*t + 5*k + 1. Does 14 divide t?
True
Does 20 divide 2/4 - 1/(-4)*158?
True
Does 19 divide (-276 - 0)*(-3)/9?
False
Let y = 5 - 2. Suppose y + 2 = c. Does 5 divide c?
True
Does 11 divide (-6)/21 - 331/(-7)?
False
Suppose -31*g + 24 = -27*g. Is g a multiple of 6?
True
Let c = 6 + -2. Suppose -c*g = -0*g - 8. Suppose 0*a + 28 = g*a. Is 8 a factor of a?
False
Is 26 a factor of ((-15)/10)/(1/(-2)) + 227?
False
Let z be (5/(-2))/(3/(-6)). Suppose -4*w - 3*g = 2*g - 319, -5*w = z*g - 405. Suppose -v + w - 33 = 0. Is 18 a factor of v?
False
Suppose -b = 2*z - 0*b - 7, -5*z + 19 = b. Suppose 11 = z*h - 5. Is 2 a factor of h?
True
Suppose -x = -0*x - 1. Is (x - 2)/1*-31 a multiple of 10?
False
Let g(p) = -1 + 3 - 3 + p. Suppose 4*r - 2*q - 28 = -6*q, -2*q - 4 = -r. Does 3 divide g(r)?
False
Let m(a) = -a + 2. Is m(-6) a multiple of 2?
True
Let m(c) = -c - 4. Let t be m(-6). Let r be (6/10)/(t/10). Does 13 divide (2 + r)*(-108)/(-15)?
False
Let l be (-2)/(-10) + 52/(-10). Let x = l + 37. Does 8 divide x?
True
Suppose 6*k + 2*d + 94 = 8*k, -3*d = 0. Does 16 divide k?
False
Let m be -17 + (-2)/3*-3. Let s = -8 - m. Suppose s*t = 3*t + 172. Is t a multiple of 15?
False
Let d = 28 + -8. Is d a multiple of 20?
True
Let c(v) be the first derivative of 5*v**2/2 + v + 2. Let n be c(1). Suppose -n*j = -3*j - 42. Is 7 a factor of j?
True
Let a(u) = u**3 - 5*u**2 + 2*u + 3. Let x be a(3). Does 7 divide (-198)/(-3)*(-3)/x?
False
Suppose -5*d = -4*d. Suppose 0*p - p + 22 = d. Is 11 a factor of p?
True
Let z(p) = 4*p**3 + 8*p**2 - 11*p - 15. Let w(b) = -7*b**3 - 16*b**2 + 23*b + 29. Let i(o) = 3*w(o) + 5*z(o). Is 24 a factor of i(-10)?
True
Let m(w) = -2*w**2 + 14*w + 3*w**2 - 20*w + 7. Is 2 a factor of m(6)?
False
Suppose -4*f + 4*w = -0*w - 20, 0 = -2*f - 3*w. Is 2 a factor of f?
False
Suppose 9*o = 4*o. Let i be 108/20 + (-6)/15. Suppose o = -10*j + i*j + 140. Is j a multiple of 10?
False
Let c(i) = -i**2 - 7*i + 5. Let a be c(-7). Suppose a*j - 105 = 4*d, -5*d - j = -2*d + 55. Let x = d + 36. Is x a multiple of 8?
True
Let f = 3 - -1. Suppose 7*y - f*y = 0. Is 18 a factor of y - (-108)/((-3)/(-1))?
True
Suppose 0 = 5*t - 120 - 55. Is t a multiple of 21?
False
Suppose 3*z - 60 = -2*n, 0 = -n + z - 0*z + 20. Is n a multiple of 4?
True
Suppose -1125 = -5*g - 4*g. Is g a multiple of 11?
False
Let i be ((-2)/8)/(4/(-48)). Let u(r) = r**3 - 3*r**2 + 2*r - 4. Is 2 a factor of u(i)?
True
Let l(o) = 3*o**2. Let d be l(1). Suppose -1 = -m, -3*a - a + 5*m = -d. Does 2 divide a?
True
Suppose -4*a + 8 = -3*v, -2*a - 10 + 0 = -5*v. Let x = 3 + a. Is 4 a factor of x?
True
Let h(a) = 2*a - 5. Let m be h(4). Suppose 104 = 3*r + r + 4*j, -r + 2*j = -32. Suppose m*d = d + r. Does 6 divide d?
False
Suppose 0 = 3*s - 3*f - 105, -f = -5*f - 20. Is 10 a factor of s?
True
Suppose 112 + 8 = -5*j. Let q = j - -67. Does 20 divide q?
False
Suppose -4*t + 105 = 5*d, -2 - 8 = -2*d. Is 10 a factor of t?
True
Suppose -3*m + 12 = 30. Let q = m + 4. Is 12 a factor of 80/12*(-9)/q?
False
Let m(s) be the first derivative of 4*s**3/3 - 3*s**2 + 4*s - 1. Let y be m(-6). Suppose 2*d = -2*v + 76 - 0, -4*d + y = -4*v. Does 16 divide d?
False
Let k(q) = 3 - 33*q + q**2 - 2 + 31*q. Let z be k(1). Suppose z = -5*p + 2*v + 42, 0*v = -4*p - v + 44. Is 5 a factor of p?
True
Suppose 4*a - 4 = 2*a. Suppose -5*h + 67 = -a*v, -2*v + h = -v + 41. Let k = v - -69. Does 19 divide k?
False
Is 7 a factor of -14*(-4 - (-7)/2)?
True
Suppose h - 2*h - 3*z = -40, h - 24 = z. Suppose -h = -x - 3*o, 0*o - 98 = -4*x + 2*o. Let w = 58 - x. Is w a multiple of 11?
True
Let g = -13 - -30. Suppose -215 = -3*f - g. Is 22 a factor of f?
True
Let m(g) = -26*g + 4. Let q be m(5). Let k = q + 186. Is k a multiple of 15?
True
Suppose -3*z = w - 12, w = -4*z + 12 + 3. Suppose w*g = -43 + 7. Is 15 a factor of ((-4)/g)/(2/222)?
False
Is 2 a factor of (-4 - 4) + 4 - -20?
True
Let x = -14 + 19. Suppose 4*k = x*w + 186 - 36, 3*w = -3*k + 99. Is k a multiple of 10?
False
Let b(d) = d**2 - 11*d + 1. Let v be b(-11). Does 21 divide v/3 - 6/(-2)?
True
Let n(j) = -21*j**3 - j**2 + j + 1. Suppose 0*m = -m + 6. Suppose w = 5*p - m, -4*p - 2 = 5*w - p. Is 10 a factor of n(w)?
True
Suppose 0 = 3*s - 0*s + 5*d - 488, -2*s = d - 337. Does 37 divide s?
False
Let o be 1 + 1 + -2 + 0. Suppose l - 3*l + 18 = o. Is l a multiple of 3?
True
Suppose k = 2*g - 5, -g + 3*k = 3*g - 11. Let z(j) = 8*j**2 + 3*j - 4. Is 21 a factor of z(g)?
False
Let s(h) be the second derivative of h**6/240 - h**5/30 - h**4/12 + h. Let a(y) be the third derivative of s(y). Is a(5) a multiple of 11?
True
Suppose -48 = -4*t + t. Suppose 4*q = 3*s - 22, -10 = -s - 3*q + 19. Let f = s + t. Is 15 a factor of f?
True
Suppose 4*n + 342 = 6*n. Is n a multiple of 13?
False
Suppose d = 3*s + 31, d + s - 26 - 21 = 0. Does 9 divide d?
False
Let i be 2*15*(-19)/(-3). Suppose -6*m + i = 58. Is 11 a factor of m?
True
Let r(y) be the third derivative of y**6/120 + y**5/12 - y**4/3 - 3*y**3/2 - y**2. Let n be r(-6). Suppose -5*b + n = -12. Does 3 divide b?
True
Let q(u) = -u**2 + 8*u - 10. Let w be q(10). Let o = w + 21. Let p = -5 - o. Is p a multiple of 2?
True
Let n be 3/2 - 911/(-2). Suppose 47 - n = -5*s. Suppose 19 = -3*a + s. Is a a multiple of 7?
True
Let n = -7 + 3. Let f(l) = l**3 + 5*l**2 + 3*l. Is 4 a factor of f(n)?
True
Let v(w) = -w**3 + 5*w**2 + 4. Let j be v(5). Let q = 1 - j. Does 18 divide 1/q + (-55)/(-3)?
True
Let t be 1/2 + 4/(-8). Suppose -m + 49 = -t*m. Does 17 divide m?
False
Let q(t) = 3*t + 4*t + 2 + 0*t. Let l be q(-6). Is (16 + -1)*l/(-15) a multiple of 20?
True
Let u(p) = 7*p**2. Is u(-1) a multiple of 2?
False
Let h(r) = 9*r + 1. Let j be h(5). Let q = 84 - j. Is q a multiple of 12?
False
Let t(a) = 12*a**3 - a**2 - 2*a + 1. Is 10 a factor of t(2)?
False
Is (-9 - -8)*29*-1 a multiple of 5?
False
Let n = 125 + -88. Is n a multiple of 5?
False
Let u(c) be the third derivative of c**5/12 + c**4/24 + c**3/3 - 2*c**2. Let m be u(2). Let g = m + -16. Does 4 divide g?
True
Suppose 0 = 3*l + 2*g + 61, -l - g - 18 - 1 = 0. Is l/(2/((-2)/1)) a multiple of 14?
False
Suppose 0 = -3*d + 416 - 119. Is 11 a factor of d?
True
Let i(k) = -k + 4. Let l be i(3). Does 13 divide 25 + -4 + l/1?
False
Let c(k) = k**3 + k**2 + 2. Let t be c(0). Does 4 divide 3/(9/t)*6?
True
Let u = -17 - -9. Let v = u - -20. Is v a multiple of 12?
