 = 6*i - 2*i. Suppose 0 = 2*g - 22 - i. Does 3 divide g?
False
Suppose 5*z - 5*j = 175, -3*j - 2*j + 81 = 3*z. Is 8 a factor of z?
True
Suppose 384 = 5*a - 4*f, -a - 140 = -3*a + 5*f. Is a a multiple of 16?
True
Let f = 207 + -108. Is 11 a factor of f?
True
Let o be (10 + -2)*2/4. Suppose -o*j + j + 72 = h, 35 = 2*j + 5*h. Does 24 divide j?
False
Suppose 5*t - t = -1232. Let c = -216 - t. Suppose -c = m - 5*m. Is 8 a factor of m?
False
Let u = -266 + 378. Let i = u + -74. Is 16 a factor of i?
False
Let l(j) = j**2 - 6*j + 5. Let f be l(9). Suppose -z + 63 = 5*a, 4*a + 3*z = 14 + f. Does 13 divide a?
True
Suppose -t + 1 = -x + 3*x, 0 = x + 5*t + 13. Let u = 2 + x. Let n = 20 - u. Is 8 a factor of n?
True
Let d(k) be the third derivative of k**6/60 + k**5/60 + k**4/12 - k**3/6 + 3*k**2. Let s be d(2). Let l = 43 - s. Does 20 divide l?
True
Suppose 3 = w + 2*w. Let d(o) = 5*o**2 - 3*o + 3. Let b(t) = -t**2. Let x(g) = w*d(g) + 3*b(g). Is 5 a factor of x(2)?
True
Is (-8)/32 - 73/(-4) a multiple of 18?
True
Let t(s) = 5 - 3 + 7*s + 6*s**2 - 4*s**3 + 3*s**3. Is t(6) a multiple of 22?
True
Let p = 2 - 11. Let q = 6 + p. Let m(r) = -5*r. Does 15 divide m(q)?
True
Suppose 0*c - 52 = -c. Suppose -c - 38 = -2*i - 4*u, 220 = 5*i + 5*u. Is i a multiple of 19?
False
Let c(i) = i**3 + 8*i**2 - 9*i + 17. Is c(-9) a multiple of 3?
False
Let n(q) = 12 - 10 + 7 + 16 + q. Does 14 divide n(-11)?
True
Let o = -13 + 21. Let r(g) = g**3 - 9*g**2 + 8*g + 3. Let v be r(o). Let f(j) = j**3 - j**2 - 3*j + 1. Is f(v) a multiple of 5?
True
Let z(i) be the first derivative of -i**3/3 - 15*i**2/2 - 13*i - 5. Does 5 divide z(-13)?
False
Let t(w) = 4*w**2 - 2*w. Let x be t(-3). Let z = 76 - x. Does 15 divide z?
False
Is 16 a factor of (-3 - -1)/(1/(-72))?
True
Suppose 2*d - 105 = -3*d. Is 20 a factor of ((1 - 2) + d)*2?
True
Suppose 4*q = 9*q - 190. Is 9 a factor of q?
False
Let v = 38 - 13. Is 4 a factor of v?
False
Suppose 4*t - 55 = 25. Suppose 0 = 6*h - 116 + t. Is 8 a factor of h?
True
Suppose 0 = -a - 3, -f - 4*a = -4 - 3. Suppose -2*i = -f - 35. Is i a multiple of 9?
True
Suppose -4*o + 23 - 3 = 0. Suppose h - o*h + 44 = 0. Does 9 divide h?
False
Let a be (1/(-1) + -3)/2. Does 15 divide -2 - -54 - a - 2?
False
Let x = 19 - 7. Does 6 divide x?
True
Let t(g) = g**3 - 4*g**2 - 1. Let m be t(4). Let f = m + 40. Is f a multiple of 13?
True
Let z(s) = 63*s**2 + 3*s - 3. Is 9 a factor of z(1)?
True
Let i(z) = -z**2 - 5*z + 8. Let m be i(-6). Suppose 13 = m*f - 1. Is f a multiple of 2?
False
Let f be 4/(-8)*(1 + -1). Suppose 0 = 3*r - 5*g - 72, f*r + 3*r - 66 = 3*g. Is 6 a factor of r?
False
Let k(w) = 4*w**2 + 4*w. Let z(v) = -4*v - 6*v**2 - 7*v**2 - 8*v. Let p(l) = 7*k(l) + 2*z(l). Is p(3) a multiple of 10?
True
Let q = 5 + -7. Let z be (q - -8) + (-6 - -4). Suppose 27 = 3*i - z*h - 34, -3*i + 53 = -2*h. Does 15 divide i?
True
Let o = -40 + 58. Is o a multiple of 6?
True
Let u(q) = -q**2 + 3. Let i be u(0). Suppose 0 = 4*s, -b + 0*s = -s - i. Is b a multiple of 2?
False
Suppose w - 290 = -4*w. Suppose -3*q + 2*y = -6 - w, -3*q + 84 = 3*y. Is q a multiple of 5?
False
Let u = 339 - 64. Is 25 a factor of u?
True
Suppose 2*h - 11 = 17. Is h even?
True
Suppose -4*w - 12 = 3*i, 0 = 4*i - 2*i + w + 13. Let y = -6 - i. Does 15 divide 257/7 + y/7?
False
Let o = -18 - -13. Let g(u) = -u - 5. Let d be g(o). Suppose -4*l - 5*f + 61 = 0, 4*l - 4*f - 30 - 22 = d. Is l a multiple of 14?
True
Let s(d) = 4*d + 28. Is s(12) a multiple of 19?
True
Let x = -1 + 22. Is 16 a factor of 6/14 + 663/x?
True
Let g = -118 - -169. Suppose h + 2*h + 4*t - 72 = 0, -3*h + g = -3*t. Is h a multiple of 10?
True
Suppose -6 = 4*q - 18. Suppose q*f - 5*f + 94 = 0. Suppose f = 5*k + 7. Is k a multiple of 4?
True
Let u = 24 + -22. Let w(z) = 4*z**2 + 2*z + 0 + 0*z - 2. Is w(u) a multiple of 14?
False
Let n(o) = 5*o**2 + 7*o - 19. Let v be n(-10). Suppose 5*b - 14 = v. Is 16 a factor of b?
False
Suppose -3*w = -3*a - a + 9, 0 = -3*w + 15. Let c = 1 - 1. Suppose a*m - m - 35 = c. Does 7 divide m?
True
Suppose 0 = -3*d - 2*k + 44, -55 = -6*d + 2*d + k. Suppose -3*c + x + d = -3*x, 4*c - 2 = 2*x. Is (-15)/((c + 4)/(-2)) a multiple of 8?
False
Suppose -5*r + 33 - 3 = 0. Suppose -30 = -2*h - r. Is 6 a factor of h?
True
Suppose 0 = 5*i + 6 - 1, -95 = -3*f - i. Let s = f + -17. Does 7 divide s?
False
Suppose -2*w - 75 = 7. Let b = w - -57. Is 7 a factor of 2/(b/7 - 2)?
True
Let d(i) be the third derivative of -7*i**4/24 - i**2. Let u be d(-4). Is (-2)/(1/u*-2) a multiple of 14?
True
Let x = 8 + -5. Let r be 159/9 + 1/x. Suppose 0 = -3*n + 6*n - r. Does 3 divide n?
True
Suppose 4*t - 77 = -1. Let c = t - 14. Is 5 a factor of c?
True
Suppose 2*g + 3*f = -f - 16, -3*g - 8 = 2*f. Suppose g = -s + 6 + 1. Suppose -s = -d - 2. Is d a multiple of 3?
False
Let i be 2*-7*(9 - 13). Is i*(21/(-6) + 4) a multiple of 8?
False
Let y(g) = 2*g + 2. Is y(13) a multiple of 4?
True
Let z = -4 + 9. Let v = 10 - z. Suppose s + 206 = v*w, -184 = -4*w - 0*s - 4*s. Is 18 a factor of w?
False
Let i(w) = -w**3 + 4*w**2 - w - 2. Let p be i(3). Suppose 73 = p*v - 3*v. Is v a multiple of 16?
False
Let m = -4 + 7. Suppose m*u - 5 = 2*u. Suppose -5*q = u - 105. Is 12 a factor of q?
False
Does 31 divide 66/12*(4 + 2 + 0)?
False
Let u(i) = -i + 8. Let a be u(5). Is 33*((a - 0) + -1) a multiple of 18?
False
Suppose 4*q = 5*q - 60. Does 10 divide q?
True
Let l = 4 - -27. Let r be l + (-1 - (-2 - 1)). Suppose -90 = -3*q + r. Is 12 a factor of q?
False
Let x = 19 - 12. Let y(d) be the third derivative of -d**5/60 + 3*d**4/8 + 2*d**3/3 + 3*d**2. Is y(x) a multiple of 9?
True
Let p be 3 + 5*(2 + -1). Suppose -p - 80 = -2*z. Is 14 a factor of z?
False
Suppose 4*i = 507 - 11. Is i a multiple of 31?
True
Suppose -4*i + 61 = -i - q, 0 = -4*i + 2*q + 82. Does 6 divide i?
False
Suppose -s = -2*g - 204, 323 = s + 2*g + 115. Does 34 divide s?
False
Suppose -2*t + 236 = 3*x, -175 = -t + 4*x - 46. Is 16 a factor of t?
False
Suppose -3*l + 2*l = -20. Suppose -34 = -3*h + l. Does 9 divide h?
True
Let m(c) = -c**3 - 15*c**2 + 3. Is m(-15) a multiple of 3?
True
Let y be 1/((-1)/(-1 - 2)). Suppose 38 = -2*k + y*k. Is 7 a factor of k?
False
Does 14 divide (-3 - -1)*((-168)/4 - -2)?
False
Suppose -t = 4*c + 11 + 27, -2*c + 3*t - 26 = 0. Let y be (15/25)/(2/c). Is (-5 - y) + (-58)/(-1) a multiple of 27?
False
Suppose -8*z + 13*z - 445 = 0. Let r = z + -12. Is 23 a factor of r?
False
Let a(v) = -v**3 - v**2 + 5*v + 3. Is a(-3) a multiple of 3?
True
Let i = -103 - -205. Let r = -67 + i. Let a = 56 - r. Does 10 divide a?
False
Does 2 divide (-1)/(1/27*-3)?
False
Suppose -2*s - s = -12. Is s a multiple of 4?
True
Suppose 4*h = -h - f + 487, -h + 89 = 3*f. Is 10 a factor of h?
False
Let d(c) = -3*c - 7. Let h be d(-4). Suppose -5*m - 2*x = -0*x - 37, -h*x = -2*m + 38. Is m a multiple of 5?
False
Let t = 70 + -654. Is 15 a factor of 8/28 + t/(-14)?
False
Let t(o) = -9*o + 49. Does 9 divide t(-7)?
False
Suppose -5*w = -4*c + 26, w - 4*c + 4 = 2. Let d be (-28)/(-6) - (-4)/w. Suppose -d = -i - 3*i, 2*f + 2*i - 30 = 0. Is f a multiple of 7?
True
Let y = 13 + -10. Suppose -y*h - 2*w = -20, 2*h - 1 = w + 17. Does 5 divide h?
False
Let g = -102 + 198. Is 32 a factor of g?
True
Suppose -2*g - 4*c = -0*g + 12, 0 = 5*g + 2*c - 10. Suppose -l = 5*h + g*l - 50, -2*l - 6 = 0. Let f = h + 4. Is f a multiple of 6?
False
Let y be 209/55 - 2/(-10). Suppose -8 = -y*s + 12. Let m = s - -39. Does 22 divide m?
True
Let q(h) = -8*h - 10. Suppose 3*x + 12 = 7*x. Let i(l) = -2*l**2 + 3*l + 2. Let p be i(x). Is q(p) a multiple of 23?
True
Let h = 5 - 6. Let p be 2 + h + 0 - -2. Suppose 5*k - y - 74 = 0, p*k - 12 - 10 = -5*y. Is k a multiple of 9?
False
Let z = 100 + -54. Does 7 divide z?
False
Let o = 233 + -105. Is o a multiple of 32?
True
Suppose 3*q + 34 = 3*x + 8*q, 3*x - 37 = -2*q. Does 13 divide x?
True
Let b(c) = c**2 + 7*c + 6. Let k be b(-9). Suppose -h - h + k = 0. Is 5 a factor of h?
False
Is (-5)/30 - 230/(-12) a multiple of 3?
False
Let t = 10 + 10. Is t a multiple of 4?
True
Let w(b) be the second derivative of -b**4/12 - 2*b**3/3 + 3*b**2/2 - 3*b. Let j be w(-7). Is (-212)/j + (-4)/(-18) a multiple of 10?
False
Suppose 0 = 4*u + 4*g + 40, -1 = 2*u + g + 14. Let l(k) = -k**3 + 7*k**2 - 5*k