33*n - 2. Does 25 divide q(b)?
False
Let v(i) = i + 2. Let u be v(-2). Suppose -3*m = -u*m - 9. Suppose -m + 19 = b. Is b a multiple of 6?
False
Let a(l) = l**3 - 2*l**2 - 5*l - 3. Does 4 divide a(4)?
False
Let n be (-9)/(-6) - (-57)/6. Suppose 2*s = -5*r + 34, 0 = s - 0*s + r - n. Is s a multiple of 2?
False
Let m(v) = -22*v. Let o be m(-7). Let y = o + -105. Is -2 + y + 2 + -5 a multiple of 17?
False
Let i be (-12)/(-9)*(-12)/(-8). Let f be -1*-3*i/(-6). Is (-1)/3*12*f a multiple of 2?
True
Let m(x) = x + 9. Let j be m(0). Let z = 51 + -35. Let v = z - j. Is v a multiple of 4?
False
Let j(f) = f**3 - 5*f**2 + 7*f - 6. Let i be j(4). Does 9 divide (-37)/(-2) - 3/i?
True
Let r = 76 - -14. Does 18 divide r?
True
Let s = 36 - 30. Is s a multiple of 6?
True
Suppose -2*a = -5*w - 31, 5 = -4*w - 6*a + a. Is 5 a factor of ((-3)/w)/((-2)/(-30))?
False
Suppose -2*f - f - 10 = -5*h, -3*h - 4*f = 23. Let a = 15 - h. Is 10 a factor of a?
False
Let b = -33 - -84. Suppose b = 4*x + 2*t + 5, 0 = -2*x + 5*t + 29. Does 4 divide x?
True
Let c = -3 + 80. Does 10 divide c?
False
Is 15/2*(-112)/(-24) a multiple of 9?
False
Suppose -12 - 48 = -5*i. Is 10 a factor of i?
False
Let b = 9 + -3. Let l = 8 - b. Suppose 0 = -2*v + l + 2. Is v a multiple of 2?
True
Suppose -4*f = -2*f - 68. Suppose -2*p + 5*b + 34 = 0, 0*p + f = 2*p - 3*b. Is p a multiple of 7?
False
Suppose -608 = -5*g - 208. Suppose 2*d = 20 + g. Is d a multiple of 12?
False
Let g(i) = -40*i. Let b be g(1). Let c = b + 76. Let m = c - 17. Is 12 a factor of m?
False
Let g = -34 - -71. Suppose -l + g = -2*y, 73 = 3*l + 5*y - 16. Is 12 a factor of l?
False
Suppose 7*a = 4*a - 2*h + 576, 0 = -2*a + 5*h + 384. Is a a multiple of 24?
True
Let g = 24 + 10. Is g a multiple of 8?
False
Let j = 16 - 12. Suppose -j*z - 6 = -2*z, 3*n = z + 102. Does 11 divide n?
True
Suppose x - 20 - 18 = -5*u, 0 = -3*x - 2*u + 62. Is x a multiple of 9?
True
Let h(p) = p + 10. Let x(l) = 10 + 2 - 1. Let t(z) = 3*h(z) - 2*x(z). Is 16 a factor of t(6)?
False
Let o = -7 - -11. Suppose o*b - 16 - 16 = 4*k, -3 = 4*b + 3*k. Is b even?
False
Suppose -270 = 6*a - 9*a. Is a a multiple of 15?
True
Let h = 179 + -124. Does 15 divide h?
False
Let w = 60 - 2. Suppose 5*z - w = 2*g, -49 = -4*z - 2*g + g. Suppose 5*v + 3 - z = -u, 0 = -2*v - 6. Is 12 a factor of u?
True
Let t = -11 - -13. Suppose o = -4, -t*o = -5*r - 4*o + 127. Is r a multiple of 7?
False
Let i(s) = -7*s**3 + s**2 + 14*s - 8. Let h(o) = -3*o**3 + 7*o - 4. Let z(d) = 9*h(d) - 4*i(d). Does 12 divide z(4)?
True
Is (-1189 + -2)*(20/12 + -2) a multiple of 30?
False
Suppose -5*g + 4*m = -166 - 22, -3*g = -2*m - 112. Suppose 2*r + 0 = 3*s + g, -4*s - 80 = -4*r. Is 8 a factor of r?
True
Let u = -8 - -28. Does 18 divide u?
False
Let p be (-3 - -6)/(0 + 1). Let l(v) = 4*v**2 - 3*v + 2. Is 12 a factor of l(p)?
False
Suppose d - 2*x + x - 79 = 0, 2*x = -5*d + 374. Is d a multiple of 17?
False
Suppose s + 1 = 3. Does 14 divide (-226)/(-8) - s/8?
True
Let n be ((2 - -1) + 0)*1. Suppose -3*l + 4*h = -29, n*l + 0*l - 24 = 3*h. Suppose 4*k = -4*z + 48, -k + 48 = l*z + 8. Is 14 a factor of z?
True
Let v be ((-430)/15)/((-2)/3). Suppose 4*c = -3*o + 47, 2*o - 5*c + 4*c - 13 = 0. Let i = v - o. Does 16 divide i?
False
Suppose 0*m - 39 = -p + 3*m, -3*p = 5*m - 89. Let a = 46 - p. Is a a multiple of 13?
True
Let f(z) = 5*z - 1. Does 4 divide f(4)?
False
Let m = -26 + 31. Is 5 a factor of m?
True
Let v(d) = d - 4. Let z be v(-3). Let o = 6 - z. Let u = o - 7. Is 6 a factor of u?
True
Suppose -3*c = -2 + 17. Let m(o) = -4*o**2 + 5 + o**3 - o**2 - 2*o**3. Is m(c) a multiple of 2?
False
Let u be 0 + 13 - (6 - 4). Let v = 53 - u. Does 14 divide v?
True
Suppose -20 = -2*o - 2*n - 6, 4*o - n - 8 = 0. Suppose 2*m - 40 = -3*u + 12, -o*m - 3 = 0. Is 14 a factor of u?
False
Suppose -4*v + 156 = -0*v. Is v a multiple of 13?
True
Suppose 6 + 6 = 4*y. Suppose -4*h - 30 = -2*s - y*h, -5*h = 2*s - 54. Does 14 divide s?
False
Let y = -7 - -9. Suppose 0 = s - 3*z - 3 + 2, y*z = 5*s - 5. Is 18 a factor of 142/8 + s/4?
True
Let k(z) = -5*z + 6 - 6*z**2 + 5*z**2 + z**2 + 2*z**2. Is 9 a factor of k(4)?
True
Let i = -21 - -41. Let o = -6 + i. Suppose w = 4 + o. Is w a multiple of 9?
True
Suppose -3*q = -3*v + 6, -2*q + 4*q = 2. Let u = -18 - -47. Does 18 divide -5 + v + u*1?
False
Let g = 56 - 31. Let m = -15 + g. Does 5 divide m?
True
Suppose -4 = -x - 1. Suppose -m + q + q = -9, 4*m - x*q = 26. Does 5 divide m?
True
Let o(a) = 55*a + 30. Is o(2) a multiple of 7?
True
Suppose 3*m - s = -41 + 166, 3*s = 4*m - 165. Suppose -o + m = 2*o. Is 14 a factor of o?
True
Let k be 1 - (-105)/(-6)*-2. Suppose -4 = -d - 0. Suppose -d*z + 100 = k. Does 8 divide z?
True
Let h = 36 - 53. Let q be -37 - (-3*1 - -1). Let u = h - q. Is u a multiple of 9?
True
Suppose -5*t + 320 = -4*w, -3*t - 5*w + 59 = -96. Is t a multiple of 34?
False
Let u = 14 + -10. Suppose 2*k + u = 44. Does 14 divide k?
False
Let i(y) = 4*y**3 + 42*y**2 + 2*y + 1. Let g(q) = -3*q**3 - 28*q**2 - q - 1. Let d(r) = 7*g(r) + 5*i(r). Does 11 divide d(14)?
False
Let g be (-15)/(-3)*(-6)/(-10). Let p = 4 + g. Is 5 a factor of p?
False
Is 4*(990/84)/(4/14) a multiple of 31?
False
Let q = -4 + 2. Let y be (-7)/q - 3/(-6). Suppose y + 14 = 2*w. Is 9 a factor of w?
True
Let c(l) = -l**2 - 3*l - 5. Let s be c(-2). Is 3 - -9 - (-2 - s) a multiple of 11?
True
Let q = -14 + 38. Is q a multiple of 11?
False
Let q = -139 + 323. Is 20 a factor of q?
False
Let h(v) = v**2 + 3*v + 4. Does 9 divide h(-6)?
False
Suppose -2*a + 7 = q, -2*a + q = 3 - 12. Let z = 9 - a. Let k(b) = 6*b - 6. Is 9 a factor of k(z)?
False
Suppose -2*n + 20 = 3*n. Suppose n = 2*a, 3*a + 122 = 2*f + 2*f. Is f a multiple of 8?
True
Is 16/144 + (-404)/(-9) a multiple of 5?
True
Let n(l) = l**2 - 2*l + 4. Is 12 a factor of n(4)?
True
Let s(t) = 2*t**3 + t**2 - 10*t + 4. Is 18 a factor of s(4)?
True
Is 2/(-8) + 1178/8 a multiple of 12?
False
Suppose -a + 1 = 3. Let u be (-2)/(-1)*a*-1. Suppose -3*b = -b - u*o - 4, 3*o = 5*b - 31. Is 3 a factor of b?
False
Let a(p) = p**3 + 11*p**2 + 12*p + 2. Does 14 divide a(-9)?
True
Let p(q) = q**3 - 6*q**2 - q + 4. Let n be p(6). Let d be 11/(-2) - n/(-4). Let s = 24 - d. Is 14 a factor of s?
False
Suppose 2*j - 42 = 64. Suppose -j + 13 = -5*l. Is l a multiple of 3?
False
Suppose 5*w - 2*i = 245, 0*i = -w - 2*i + 61. Let q = w + -7. Does 22 divide q?
True
Let q be -13 + 7 - (1 + -1). Is 2/q + (-278)/(-6) a multiple of 23?
True
Suppose 22 = -5*z + 2*a + 2*a, 4*a = 12. Let c be (13 - -2) + 1 - 2. Is 3 a factor of (z*1)/(c/(-21))?
True
Suppose p - 4 = 3*r, -2*r + 3*p = -0*p - 2. Let c be (1 - 1*r) + 0. Is 17 a factor of (-264)/9*c/(-2)?
False
Let m = -7 - -9. Suppose 4*d = 2*k + 12, -m*d - 10 = -5*d + k. Suppose -3*p - 3 = 0, -5*n - d*p + p + 177 = 0. Is 20 a factor of n?
False
Suppose -64 = -0*a - 4*a. Let u = -11 + a. Does 2 divide u?
False
Let t(v) = 2*v**3 + 18*v**2 - 13*v + 2. Let w(k) = -k**3 - 9*k**2 + 6*k - 1. Let z(l) = -4*t(l) - 7*w(l). Let x be z(-10). Is (0 + x)*-9 + 2 a multiple of 4?
False
Suppose 2*d - z = d - 1, 2*d + z = 7. Let h(r) = -2*r**3 - 5 + 7*r + 3*r**3 - 3*r**2 - 2*r**d + 0*r**3. Is 15 a factor of h(5)?
True
Let r(h) = 1 + h + 3*h**2 + 0*h**2 - 3*h. Let p be r(1). Is p/(0 + 2) + 13 a multiple of 11?
False
Let q(k) = 2*k**2 + 9*k - 15. Is 24 a factor of q(3)?
False
Let z(y) = y**3 + y + 2. Let j be z(-2). Suppose -3*m = -6*m + 2*k + 98, 2*m - k - 64 = 0. Let s = j + m. Is 22 a factor of s?
True
Let d = 35 - -27. Let l = d - 14. Is l a multiple of 17?
False
Let f be 7 + 1 - 0/(-1). Let v = f - 1. Let n(g) = 2*g + 9. Is n(v) a multiple of 15?
False
Suppose 3*h - 44 = i, -2*h + 3*i - 14 + 55 = 0. Does 13 divide h?
True
Suppose 4*y + 405 = -87. Let o = 82 + y. Let h = 0 - o. Is 27 a factor of h?
False
Let n = -56 - -134. Suppose z = 5*z - 8. Suppose n = z*g + g. Is 20 a factor of g?
False
Suppose -4*c = 3*m - 8, -4 = -4*m - 3*c + 2. Suppose q + 4*q - 120 = m. Is q a multiple of 6?
True
Suppose -v = -2*v. Suppose 3*b + 0*b - 3 = v. Let f = 1 + b. Is f a multiple of 2?
True
Let f = 23 - 10. Is 9 a factor of f?
False
Let l(y) = -y**3 + 2*y**2 + 5*y - 2. Let h be l(3). Suppose -h*n + 25 = 9. Suppose -35 + 127 = n*f. Is f a multiple of 12?
False
Suppose -3*h - 1 =