*i - 198. Is 10 a factor of i?
True
Let n(j) = -14*j - 25. Is n(-5) a multiple of 15?
True
Let h = 18 + 6. Is h a multiple of 6?
True
Let h(v) = 3*v + 18 - 10*v - 21. Let k be -1*(-3 + 2) - 3. Is 11 a factor of h(k)?
True
Suppose 12 + 14 = -d. Is 6 a factor of (-3 - d/2)*2?
False
Let i(z) be the second derivative of -z**5/20 - 7*z**4/12 - 2*z**3/3 + z**2/2 + 4*z. Let x be i(-5). Let b = 80 + x. Is b a multiple of 17?
True
Suppose -5*i + f = -2 - 22, 5*i = 5*f + 40. Suppose 4*u = 3*j - 27 - 13, i*j = 2*u + 40. Is 5 a factor of j?
False
Suppose -2*j + 4*j - 126 = 0. Is j a multiple of 13?
False
Suppose 12*y = 7*y + 170. Is 2 a factor of y?
True
Suppose -2*j - j = -21. Does 21 divide (-30)/j*(-6 + -1)?
False
Let s = 112 + -50. Does 10 divide s?
False
Let v(u) be the second derivative of -u**4/12 + 2*u**2 + 3*u. Does 3 divide v(0)?
False
Let h be (-2)/4 + 105/6. Let d = 39 - h. Is 11 a factor of d?
True
Suppose 2*j = 4*l - 64, j - 2*j + 94 = 5*l. Is l a multiple of 9?
True
Let c(a) = -11*a - 5. Is c(-5) a multiple of 11?
False
Let y(k) = k**2 + 6*k + 7. Let o be y(-5). Suppose o*d - 5 = 3, -11 = -f - 2*d. Suppose -h + 0*h = -f. Does 3 divide h?
True
Suppose 0*x = 5*x, 5*x = 2*a - 22. Is a a multiple of 2?
False
Let s(i) = -2*i**2 - i + 4. Let b be s(-5). Let h = 77 + b. Is h a multiple of 11?
False
Let q(l) be the third derivative of 0*l + l**2 - 7/24*l**4 + 0 - 2/3*l**3. Does 13 divide q(-5)?
False
Suppose -8*v + 3*v + 90 = 0. Let r = v - -8. Does 13 divide r?
True
Let r(t) = -t**3 - 10*t**2 - 10*t + 4. Let d be r(-8). Let n = -25 - d. Does 13 divide n?
False
Is 2 a factor of (0 - -3)/(-2 + 3)?
False
Let k be -3 + (-11 - (-6)/(-3)). Does 9 divide 15/(-25)*(1 + k)?
True
Suppose 3*x - 2*d + 6*d - 102 = 0, 2*x + 3*d - 69 = 0. Does 30 divide x?
True
Suppose -n = 4*f - 1, 2*n + 3*n - 3*f - 51 = 0. Is 7 a factor of ((-24)/n)/((-6)/27)?
False
Let j = 18 - 9. Suppose 6 = -3*w - j, -w = -5*q + 55. Is q a multiple of 10?
True
Suppose 0 = 2*q + 2*q - 312. Is q a multiple of 32?
False
Let g = 79 + -26. Does 11 divide g?
False
Let n(s) = s**3 - 7*s**2 - s + 10. Let g be n(7). Let b = g + 53. Does 19 divide b?
False
Suppose -4*g = 16 + 4, -4*g - 32 = -4*s. Suppose -s + 2 = -b. Does 4 divide (-18)/(-2 + b/2)?
True
Let h be (18/(-4) - -4)*-4. Suppose 5*f - h*f = 51. Is 9 a factor of f?
False
Let s be (1 + -1)*(-5)/(-10). Let y(x) = -x**2 + x + 2. Let t be y(s). Suppose -4*j + t*g = -8, -4 - 4 = -2*g. Is 3 a factor of j?
False
Suppose 264 = 5*l - 3*k + 6*k, -5*l + 258 = k. Suppose 4*c - 93 = l. Is 12 a factor of c?
True
Let l(o) = o. Let g(y) = -6*y**2 + y + 3. Let j(d) = -5*d**2 + 2. Let m(f) = 6*g(f) - 7*j(f). Let x be m(6). Is 4 a factor of l(x)?
True
Let t(o) = 2*o. Let k be t(1). Suppose k*w - d = 21, -w - d = -23 + 8. Does 18 divide ((-16)/w)/((-2)/39)?
False
Let h = 67 + -39. Is h a multiple of 26?
False
Let q(j) = -j**2 - 4*j + 2. Let o be q(-3). Suppose 0 = o*c - y - 356, -5*y + 0*y = -20. Is 18 a factor of c?
True
Let d be (8/20)/((-1)/(-5)). Suppose 520 = 4*m - 2*v - 2*v, m = d*v + 135. Suppose -3*x - 4*k + m = 0, 4*x - 2*k = x + 113. Is x a multiple of 13?
True
Suppose -4 = -4*r - 16. Let n(u) = 2*u**2 + 4*u + 1. Is n(r) a multiple of 5?
False
Let k(q) = 8*q**3 - q**3 - q**3 - 3*q + 2 - 2*q**3 - 2*q**2. Does 7 divide k(2)?
False
Let b(n) = -n**3 + n**2 + 38. Is 18 a factor of b(0)?
False
Let y(x) = x**3 - 4*x**2 - 4*x + 8. Let g be y(6). Suppose g + 34 = 5*o. Is 4 a factor of o?
False
Let c = -178 - -286. Suppose 0 = -3*k + 6*k + c. Is 13 a factor of (-26)/(-6)*k/(-6)?
True
Let t(m) = m - 1. Let b be t(1). Suppose -2*p + 112 = -5*s - 22, b = -5*s + 10. Is p a multiple of 19?
False
Let k = 56 + -24. Suppose -3*f + k + 16 = -3*w, 5*w = -2*f + 18. Does 11 divide f?
False
Suppose 0 = -q - 0*q. Suppose q = -k + 2*k. Suppose 0 = -2*l + 16 - k. Is l a multiple of 3?
False
Let p be ((-12)/(-9))/((-2)/9). Let w be (2 - (-9)/p)*10. Suppose o + 4*o - 65 = 2*x, 5*o = w*x + 80. Is o a multiple of 9?
False
Let v(x) = -x**3 + x**2 - x + 19. Is v(0) a multiple of 8?
False
Let h(r) = 3*r**2 + 23*r + 20. Let x(c) = -c**2 - c + 1. Let z(f) = -h(f) - 2*x(f). Does 19 divide z(-15)?
False
Suppose 4*p = 3 + 13. Let n = 4 + -3. Is (9 - p)*4*n a multiple of 19?
False
Let w(s) = -s**2 - 9*s - 9. Let i be 1*2*14/(-4). Let d be w(i). Let n = -1 + d. Does 4 divide n?
True
Suppose -4*v - f + 32 = -2*f, 2*v - 22 = 2*f. Suppose -5*n = -a - 40, v*n + 4*a - 32 = 3*n. Is 2 a factor of n?
True
Suppose 3*s - 55 = 50. Suppose 4*w - s = -3*m - 2*m, -m + 5*w + 36 = 0. Is 11 a factor of m?
True
Let b = 29 + -21. Let c be 59/2 - 4/b. Suppose 5*j - c = 1. Is j a multiple of 4?
False
Let v be 1/3 - 33/(-9). Suppose -v*x + 14 = -26. Does 10 divide x?
True
Let w(x) = 5*x + 1. Let c be 260/28 - 4/14. Is w(c) a multiple of 23?
True
Suppose -452 = 5*h - 117. Let q be h - (-1 - 0)*3. Let p = -39 - q. Is 16 a factor of p?
False
Let r(w) = 4*w + 6. Let f be r(-4). Let z = 28 - 4. Let q = f + z. Is 7 a factor of q?
True
Suppose -k + 0*k = -2*f + 40, k = 5*f - 106. Is 9 a factor of f?
False
Let p = -102 - -162. Let t = p + -15. Does 12 divide t?
False
Is 12 a factor of 97 + -6 + (-2 - -6)?
False
Let o = 8 - -1. Let t = o + 6. Is 5 a factor of t?
True
Is 2 a factor of (-4)/6*(14 + -17)?
True
Suppose 3*r - 2*l + 1120 = 0, -l = 5*r + 4*l + 1825. Let j be (-2)/(-10) + r/(-25). Suppose 2*y + h - j = -4*h, -h + 95 = 5*y. Does 10 divide y?
True
Suppose -5*r = 229 - 69. Let t = -18 - r. Does 14 divide t?
True
Let l = 15 + -10. Is 5 a factor of l?
True
Let z = 12 - 7. Suppose 2*p = w + p - 13, 0 = 5*w + z*p - 105. Is w a multiple of 6?
False
Suppose 0*k = -3*k + 57. Is k a multiple of 6?
False
Suppose 3*x - 5*w = 335, -2*w + 0*w = 3*x - 328. Is 22 a factor of x?
True
Let b(o) = 4*o + 6. Is b(6) a multiple of 5?
True
Let i(z) = z**2 + 4*z + 1. Does 14 divide i(4)?
False
Let r = -5 - -71. Is r a multiple of 28?
False
Suppose -3*j = s + 35, 2*s + 9 = -1. Let y = j + 14. Suppose 5*g + 75 = y*t, 5*t - 78 = 2*g - g. Does 15 divide t?
True
Let x(s) = s + 24. Is 7 a factor of x(10)?
False
Let n(f) = -2*f - 3*f + 10*f + 4. Is 8 a factor of n(4)?
True
Suppose -21 = 3*m - 48. Let q be (-15)/(-10)*(-8)/6. Let p = q + m. Is 7 a factor of p?
True
Suppose h - a = 5 + 7, -88 = -4*h - 4*a. Let y = -2 + h. Does 9 divide y?
False
Let r = -99 - -207. Does 18 divide r?
True
Let x = 6 - 6. Suppose -42 = -2*f - x*f. Does 11 divide f?
False
Let v = 75 - 49. Suppose 4*s - 14 - v = -2*m, 3*m - 32 = s. Does 12 divide m?
True
Suppose b = -0*b - 8. Let l = b + 5. Is 17 a factor of -10*(l - -4 - 4)?
False
Let d = 438 + -239. Does 8 divide d?
False
Let l(s) = s**2 + 3. Suppose 5*u + 8 = -7. Does 6 divide l(u)?
True
Suppose -5*y = -9 - 1. Suppose -21 - 56 = -2*o + 5*d, -146 = -4*o + y*d. Suppose -3*p + 0 + o = 0. Is p a multiple of 6?
True
Suppose -5*m = -4*j + 5*j - 1080, m + 4*j = 235. Does 28 divide m?
False
Let v = -63 - -105. Does 21 divide v?
True
Let y(c) = -c**2 + 5*c + 1. Let j be y(3). Let x = j - 0. Does 2 divide x?
False
Let y be (-20)/8*(-16)/10. Let a(p) = 3*p. Is a(y) a multiple of 12?
True
Suppose -g + 1 = -2. Suppose g*m - m - 6 = 0. Suppose -3*l - 24 = -m*a, 5*a - 2*a - 56 = -5*l. Does 12 divide a?
True
Suppose -3*o - o = -16. Let v(b) = 2*b - 4. Let j be v(o). Suppose -l - j*l + 60 = 0. Is 12 a factor of l?
True
Let m(y) = -y**3 + 3*y**2 + 2*y. Let c be m(3). Let u = c + -4. Is u a multiple of 2?
True
Let m = 3 + -2. Let d(z) = 24*z + 16*z - z - 4*z + 1. Is d(m) a multiple of 12?
True
Is 10 a factor of (20/6)/(4/24)?
True
Suppose 0 = -3*d + 166 + 140. Does 17 divide d?
True
Let b be 0/(-2 + 1 - -2). Suppose -m + 5*s - 2 - 3 = b, s - 2 = 0. Suppose -a + 43 = m*h, 4*a = -8 - 0. Is 3 a factor of h?
True
Let z(a) = -4*a + 4. Let x(c) = -c + 6. Let s be x(8). Does 4 divide z(s)?
True
Let r(j) = -6*j + 6. Is 14 a factor of r(-6)?
True
Suppose c - 4*r = 146, 2*c - 4*c = -r - 264. Does 21 divide c?
False
Does 25 divide (-4)/6 + (-377)/(-3)?
True
Let j(y) = 2*y**2 - 1. Let r = -6 + 3. Is 10 a factor of j(r)?
False
Suppose -w + 9 = -h, w + 2*w - 37 = 4*h. Let m = h + 17. Is 7 a factor of m?
True
Let k = -1 - 3. Let j(u) = 3*u**2 + 3*u - 1. Is j(k) a multiple of 8?
False
Suppose v - 2*v + 2 = -2*p, 0 = v - 3*p - 4. Let s(m) = 4*m**