2 - 7*q. Let h be r(-8). Suppose 2*j - 6 = 0, 0 = 3*z - 3*j - 0*j + 81. Let l = h - z. Does 8 divide l?
True
Let b(m) be the second derivative of 5*m**3/6 - 2*m. Is 3 a factor of b(1)?
False
Let t = 3 + 1. Let y(v) = t*v - 2*v + 4 + 0*v. Is y(5) a multiple of 14?
True
Suppose -882 = -10*f + 4*f. Does 23 divide f?
False
Suppose r + 4*r + 5 = 0. Does 7 divide 14/(-8)*(-3 + r)?
True
Let n be 4/(-8) + (-74)/(-4). Let x = -9 + n. Is 19 a factor of 374/18 - (-2)/x?
False
Let k = 197 - 106. Is k a multiple of 7?
True
Let v be (9/6)/(12/(-32)). Is 17 a factor of v*17/1*-1?
True
Is (100 - -2) + (-1 - 1) a multiple of 10?
True
Let j = 18 + -13. Suppose -2*t + 4*r = -0*t - 40, 2*t + 5*r = -j. Is t a multiple of 5?
True
Does 20 divide (-3 - -2)*-61 - 1?
True
Suppose -3*c + 4*k = 5*k - 408, 4*c - 537 = k. Let t(y) = 5*y - 10. Let w be t(3). Suppose -l = -1, w*p - l = 4*l + c. Is 13 a factor of p?
False
Let z(g) = -g + 1. Let o be z(-6). Let d(r) = 4*r - 10. Is 9 a factor of d(o)?
True
Let x(i) = i**3 + 6*i**2 + 3*i + 7. Let g = -1 - -3. Suppose -3 = 2*b - 2*t - 1, -12 = 4*b - g*t. Is x(b) a multiple of 7?
False
Let c = -4 - -7. Suppose -3*x + x + c*k - 68 = 0, 4*x + 2*k + 136 = 0. Is (x/(-2) - 0)/1 a multiple of 16?
False
Let b(a) = -a**3 + 8*a**2 - 10*a + 9. Let o(k) = k**3 - k**2 + 2. Let q be o(0). Let l(j) = 2*j + 2. Let f be l(q). Is b(f) a multiple of 7?
True
Let v(d) = -d**3 - d**2 + d + 1. Let q(a) = a**2 - 2*a. Let c(i) = -i**2 + 1. Let r(z) = -3*c(z) + 3*q(z). Let g(k) = -r(k) - 2*v(k). Is g(3) a multiple of 11?
False
Let i be (-10)/(-35) + (-32)/14. Let o be 99*i/(-18)*3. Does 15 divide 1029/o + 2/(-11)?
False
Suppose 5*b - 3 = 2. Let w = 7 - b. Is 15 a factor of (-3)/(-18) + 89/w?
True
Let f(q) = -q**2 - 5*q + 2. Let v be f(-5). Suppose 0 = v*j, -3*b + j - 3*j = -171. Is b a multiple of 19?
True
Let l be 1 - (1 + (-3 - 21)). Suppose -2*u + j = -l, -4*j = -2*j. Is 9 a factor of u?
False
Let s = 7 + -10. Let r be 3*(-1 + -2)/s. Suppose r*x - 36 = -0*x. Is x a multiple of 12?
True
Let o(l) = 7*l**2 + 2*l + 3. Let w(m) = m - 14. Let y be w(12). Is 11 a factor of o(y)?
False
Is ((-21)/(-6) + -3)*434 a multiple of 15?
False
Let w = 95 - 12. Suppose 3*u + 5*m - w = -8, 4*u - 100 = 4*m. Suppose 2*v - d = 45, 2*v - 3*d - u = -6*d. Is 10 a factor of v?
True
Suppose 0*w - 2*w + 1712 = 0. Does 24 divide (-4)/(-6) + w/12?
True
Let y = -21 - -19. Does 4 divide (-6 - y)*(-25)/10?
False
Suppose 38 = 2*p - p. Suppose 5*m - p = -8. Suppose 5*o = 4*a + m, -7 = -2*o - 3*a - 0*a. Is o even?
True
Let l(j) = j + 3. Suppose 27 = -5*f - 2*y, f - 3*f - 5*y - 15 = 0. Let p be l(f). Does 6 divide p/(-6) - 34/(-6)?
True
Suppose -4*a + 4*y = -20, 0*a - y = 5*a - 49. Is 4 a factor of a?
False
Suppose 0*g - 7 = 2*g - 3*n, -4*g + n = -1. Suppose 0 = -2*k - 3 - g. Is 2 a factor of (-32)/(-6) + k/6?
False
Suppose 5*b + 28 = -2. Is 3/b*(-66 - 4) a multiple of 10?
False
Let l be (-4 + 5)/(1/5). Suppose l*o + 4*y - 40 = 0, -4*y = y. Is o a multiple of 3?
False
Let r = -66 - -147. Does 20 divide r?
False
Let n = 28 - 17. Let l(c) = 4*c - 9. Let m be l(7). Let p = m - n. Does 5 divide p?
False
Suppose -d + 0*d = -5*n + 14, 2*n - d = 8. Let c = 1 + n. Suppose -52 = -c*u - u. Does 11 divide u?
False
Let m(a) = -a**2 - 7*a + 2. Let i = -8 - -1. Let y be m(i). Suppose y*t + 0*t = 28. Does 14 divide t?
True
Let h be ((-8)/10 - -2)*-5. Let c(k) be the second derivative of -k**3/3 - k**2/2 + 4*k. Is c(h) a multiple of 5?
False
Does 19 divide 129 - (-50)/(-15)*(-12)/10?
True
Suppose -3*s - s = -16. Let y = -26 + 36. Suppose -d + s = -y. Is 7 a factor of d?
True
Let g(a) = a**2 - a - 6. Let m(b) = -b + 15. Let t be m(9). Is 8 a factor of g(t)?
True
Let k = -12 + -2. Let v = -42 + 60. Let f = v - k. Is f a multiple of 16?
True
Suppose 3*p - h = -4*h + 63, 0 = 5*p - 4*h - 69. Does 3 divide p?
False
Suppose -5*t - 54 = -6*t. Is 9 a factor of t?
True
Let u(r) = -r**3 + 14*r**2 - 8*r - 9. Does 16 divide u(13)?
False
Let k(y) = 5*y**2 + y - 6. Let c(p) = 14*p**2 + 3*p - 17. Let n(v) = 4*c(v) - 11*k(v). Is n(-5) a multiple of 6?
True
Let q(b) = 5*b**3 + 2*b**2 + 2*b + 1. Let k be q(-1). Does 6 divide (k/(-8))/((-2)/(-24))?
True
Suppose 3*s + u - 1 = 5*u, 3*u = 3*s - 3. Suppose -3 = -4*g + 4*b + 45, -s*b + 34 = 4*g. Does 5 divide 5/g*20*1?
True
Let i(s) be the second derivative of -7/6*s**3 + 0 - 2*s + s**2. Does 11 divide i(-3)?
False
Let s = -80 + 134. Let d = 38 - s. Is 12 a factor of (d/(-20))/((-2)/(-30))?
True
Let x = 4 + -4. Suppose 0*y - 2*y + 18 = x. Is 3 a factor of y?
True
Let o(g) = 3*g**2 - 6*g. Is 3 a factor of o(3)?
True
Suppose 4*z + z - 160 = 5*b, -2*z + 55 = -5*b. Is z a multiple of 7?
True
Let h(s) = -3*s - 2 + 1 - s. Let d be h(-1). Suppose -4*v + 20 = -d*v. Is v a multiple of 10?
True
Let m = -2 - -11. Let c be (-4)/(-18) + 331/m. Suppose -3*z = -62 - c. Is z a multiple of 19?
False
Let r = 260 + -125. Does 8 divide r?
False
Let l = 1 + 1. Let h be l*2 - (2 + -3). Suppose t = 7 + h. Is t a multiple of 7?
False
Let a = 2 - 6. Let c be (-2 + 1)*(-3 + a). Let i(v) = 4*v - 10. Is i(c) a multiple of 18?
True
Suppose x + x = -4*w + 14, 5*w + 2*x - 16 = 0. Is 3 a factor of (w/10 + -1)*-10?
False
Is 20 a factor of -1 - (267/(-1) - -6)?
True
Suppose 5*c - 6 = -91. Let i = 21 - c. Is i a multiple of 19?
True
Let c(m) = -5*m - 2*m - 4*m - 4*m. Is 5 a factor of c(-1)?
True
Let p = -63 - -97. Is p a multiple of 6?
False
Let g(v) = -2*v + 1. Let s be g(4). Let m(f) = f**2 + 3*f - 9. Is m(s) a multiple of 19?
True
Let i(m) = -m**3 + 14*m**2 + 4*m - 35. Is i(14) a multiple of 8?
False
Suppose 0 = l + 19 - 18. Does 14 divide 0 - 2 - 30/l?
True
Let n be 2/(-4) + 138/(-12). Let f = n + 60. Is 12 a factor of f?
True
Let m(f) = 6*f**2 - 4*f + 1. Let a = 4 + -12. Let n be (-3)/4*a/2. Does 17 divide m(n)?
False
Suppose 2*p + p + 3*y - 78 = 0, -2*y + 94 = 4*p. Does 3 divide p?
True
Suppose -38 = -y - 2*c, -3*y - c - 79 = -6*y. Is y a multiple of 14?
True
Suppose -n = -3*f - 6, 0 = -0*f - 3*f - 3. Suppose -59 + n = -2*z. Is 9 a factor of z?
False
Suppose 4*g = 5*c - 29, 3*c + g = -g + 35. Let t = c + -5. Let n(q) = q + 2. Is n(t) a multiple of 6?
True
Let t be 116 + 6 + (-3 - -1). Let q = t - 76. Is 11 a factor of q?
True
Suppose -o - 21 = -4*o. Suppose 9*g = o*g + 10. Does 5 divide g?
True
Let p be 10*((-84)/(-15) - -2). Let y = -111 + 219. Let u = y - p. Does 13 divide u?
False
Let v = 0 - -3. Suppose 3*l = l + f + 22, -5*l - v*f = -33. Is 9 a factor of l?
True
Let g(d) = 2*d + 8. Let t be g(-4). Suppose t = -5*a + 38 - 13. Does 5 divide a?
True
Let l(h) = h + 3. Is 4 a factor of l(5)?
True
Suppose 3 = 3*b - 6. Let g(q) = q**2 - q - 1. Let n be g(b). Suppose 5*o + 111 - 36 = 5*a, -n*o = a - 21. Is 8 a factor of a?
True
Suppose 3*n = -d + 170, d - 101 - 12 = -2*n. Is n a multiple of 13?
False
Let n(h) = h**2 - 14*h + 19. Is 19 a factor of n(14)?
True
Let b(i) = 16*i**2 + i - 1. Let k be b(-2). Let q = k - 27. Is q a multiple of 9?
False
Let i(x) = 19*x**2 + x. Is i(1) a multiple of 10?
True
Suppose 5 = -2*o - z, 0 = z - 3 + 8. Suppose -3*r + o*r = -120. Is r a multiple of 17?
False
Suppose t - 5 - 2 = w, 4*t + 4*w - 28 = 0. Suppose -5*f + 46 = 4*n, 3*n + 5*f - t = 25. Does 14 divide n?
True
Let v(c) = c**3 - 5*c**2 - 6*c + 3. Let t be v(6). Suppose 5*d + 20 = 2*z - 6, 3*z = -d + 73. Suppose -t*b + 59 = z. Is 4 a factor of b?
True
Suppose 3*j - 52 = -5*n, -6 = n + 2*j - 15. Suppose 4*q - 59 = -n. Is 4 a factor of q?
True
Let v be (-266)/6 + 2/6. Let a = v - -80. Is a a multiple of 18?
True
Let w(b) = -b**2. Let q(v) = -39*v**2 - v. Let c(g) = -q(g) + 6*w(g). Is 14 a factor of c(-1)?
False
Suppose 9 = j + c, 0 = 3*j - 5*c + 1 + 12. Let i be (10/4 - 2)*j. Suppose i*h = 5*t + 4*h - 146, 0 = 3*t - 4*h - 72. Is 21 a factor of t?
False
Suppose 3*o - 19 = 38. Suppose 3 = -n + o. Is 7 a factor of n?
False
Suppose -30 - 56 = -2*a. Does 13 divide a?
False
Suppose 5*d = -3*v + 95, 0 = -v + 3*v - 5*d - 80. Is v a multiple of 7?
True
Let w(l) = -l**3 + 10*l**2 - 10. Let c be w(10). Let s = 13 + c. Is s even?
False
Suppose 6 = 2*y - 4*f - 8, 2*y + 5*f = 5. Let q(s) = -s + 6. Let b be q(y). Let n(w) = 45*w**3 - 1. Is 22 a factor of n(b)?
True
Suppose -3*b - 3*p + 9 = -18, 0 = -b + 4*p + 14. Suppose -m = 0, y - 2*m