a factor of b(-12)?
False
Suppose -2*z - 5*x - 333 = -3*z, 2*z = -4*x + 624. Is 6 a factor of z?
True
Is 239*(12 + -5 + 3) a multiple of 82?
False
Suppose -p - 3*p - 22 = -2*v, 0 = -4*v - 4*p + 8. Suppose -39 = -v*l + 436. Does 57 divide l?
False
Suppose 0*m = -m - 1. Let b = m - -55. Does 18 divide b?
True
Let y be (-15)/(-5)*-1 - -11. Suppose 24 = -6*r + y*r. Is 5 a factor of r?
False
Let m be 1 + -2 + 0 + 37. Let l = -20 + m. Suppose 2*v - l = 3*p + 100, -4*v + 210 = 5*p. Is v a multiple of 11?
True
Suppose -705 = 13*o - 16*o. Suppose -3*g + o = -41. Is 23 a factor of g?
True
Let m be -1*3/(-2)*2. Let v(c) = c**2 + 1. Let g be v(m). Suppose t - g = -0*t. Does 5 divide t?
True
Let j be (-502)/(4 - 9/2). Suppose -6*y + j - 308 = 0. Is y a multiple of 12?
False
Let x(q) = 38*q**2 + 12 + 7*q - 39*q**2 + 3*q. Let y be x(11). Does 22 divide 1 + (-1 - y) + 48?
False
Let k(b) = b**3 - 5*b**2 - 19*b - 3. Is k(8) even?
False
Let g = 13 + -11. Suppose g*m = -3*m + 30. Let h = m - -42. Does 10 divide h?
False
Let s = 49 - 97. Let b = s + 149. Is b a multiple of 18?
False
Let j(r) = 10*r - 1. Let f be j(1). Let h(n) = f*n - 2 + 9*n - 7*n. Is 18 a factor of h(5)?
False
Is 107 a factor of 381/(2*-2*(-1)/20)?
False
Let j be (-2)/16 + (-3556)/(-32). Suppose 2*p + 73 = 5*g - j, 2*p = -4. Does 9 divide g?
True
Let k(g) = 9. Let r(c) = c - 1. Let o(v) = -k(v) + 4*r(v). Let j be o(4). Let h(z) = 4*z - 3. Is h(j) a multiple of 9?
True
Suppose -5*u + 161 = 3*a, a = 5*u + 14 + 13. Does 2 divide a?
False
Let l(x) = 5*x - 17. Let n = 22 - 34. Let c = n + 19. Is 5 a factor of l(c)?
False
Let j = -5 - -11. Suppose 8*y - j*y = 286. Is y a multiple of 37?
False
Suppose 0 = -l - l + 2*m + 4, 2*m - 14 = -l. Suppose -k = -l*k + 15. Suppose 4*g = -4*s + 40, 2*s = -k*s - 25. Does 5 divide g?
True
Let k = 646 + -77. Is k a multiple of 10?
False
Suppose 3*a - 5*j = 216, 0 = -4*a + j - 0*j + 288. Suppose h = 3*h - a. Is 7 a factor of 11/(22/h) + 3?
True
Let t = 6177 - 4017. Does 18 divide t?
True
Let j(c) = -c**3 - 6*c**2 - 6*c - 5. Let o be j(-5). Suppose -3*x = o, q = 6*q + 5*x. Suppose -3*y + z = -91 - 42, q = -3*y + 4*z + 118. Does 23 divide y?
True
Let p(x) = -x**3 + 19*x**2 - 13*x + 41. Is p(17) a multiple of 61?
False
Let t(o) be the third derivative of o**6/180 - o**5/24 + o**4/4 + o**3/3 - 6*o**2. Let m(r) be the first derivative of t(r). Is 11 a factor of m(5)?
False
Suppose -4*q + 28 = 4*g, 0 = 2*q + 2*g + 3*g - 29. Suppose n - 3*n + 116 = 4*k, q*k + 222 = 4*n. Is n a multiple of 28?
True
Suppose 21*r = -38*r + 57702. Is r a multiple of 6?
True
Let t = -11 + 15. Suppose t*c = m, -5*m = -5*c + 20 + 40. Let v = m - -21. Is 3 a factor of v?
False
Let a(l) = l - 3. Let z be a(7). Suppose 7*b = 4*b + 366. Suppose -5*o - 163 = -4*k, 4*o = -k + z*k - b. Is 21 a factor of k?
True
Let w = -160 + 312. Suppose 4*j + 5*b - 454 = 0, 3*j = -2*b + w + 185. Is 37 a factor of j?
True
Let a(l) = -l**3 + 13*l**2 - 12*l - 8. Let z be a(12). Let p be (54/(-8))/(z/32). Suppose 4*q - p - 85 = 0. Does 14 divide q?
True
Let o(p) = p. Let n be o(6). Let w be (n/4)/(3/(-68)). Is w/17*26/(-4) a multiple of 9?
False
Let c be 2*((-9)/6)/(-1). Suppose 4*h = 4*a + 44, 8*a - c*a + 7 = -3*h. Is 4 a factor of h?
False
Suppose 1065 = 5*m + 4*l, -2*m + 426 = 4*l - l. Suppose 0 = -4*o + 11 + m. Suppose 3*s = -s + o. Is s a multiple of 5?
False
Let q = -175 - -3. Does 7 divide (9/18)/((-2)/q)?
False
Suppose 13*l - 2208 = l. Is l a multiple of 23?
True
Let f = -63 + 53. Does 4 divide (-252)/f - (-2)/(-10)?
False
Let n(p) = -6*p - 12. Let s be n(-5). Suppose -s = -5*v + 67. Is 17 a factor of v?
True
Let p = -34 + 86. Let a = 70 - p. Is a a multiple of 4?
False
Let h = 12 - 1. Let t = h - 8. Suppose t*r - 160 = -r. Does 10 divide r?
True
Suppose -2*n + 4375 = 5*j - 7*n, -2*j + 1732 = 4*n. Suppose -8*p = -312 - j. Is 17 a factor of p?
False
Suppose -62 = -q + 194. Suppose 0*y = 2*y - q. Suppose -6*n + 2*n + y = 4*t, -2*n = t - 68. Does 12 divide n?
True
Let k(p) = -7*p**3 - 15*p**2 - 8*p - 5. Let v(j) = -3*j**3 - 7*j**2 - 4*j - 2. Let u(r) = -2*k(r) + 5*v(r). Is u(-6) a multiple of 20?
True
Let x = 12 + -7. Suppose -2*g - 5*a = -63, -117 = -x*g - 2*a + 3*a. Is 8 a factor of g?
True
Suppose 4*a - 24 = -0*u - 4*u, -5*a + 14 = -3*u. Does 6 divide (u*-12)/(2 - 3)?
True
Suppose 3156 + 1124 = 40*d. Let u(s) = -6*s + 9. Let k be u(6). Let q = d + k. Does 20 divide q?
True
Let c(s) = -19*s + 10*s + 2 + 19*s. Let h = 18 + -13. Does 13 divide c(h)?
True
Suppose -2*b + 379 - 137 = 0. Is 8 a factor of b?
False
Let w(j) = -85*j + 29. Is w(-7) a multiple of 104?
True
Suppose 0 = -f + 3*f + 60. Let y = 69 + f. Is y a multiple of 11?
False
Let f be 2/(6/9) - 1. Suppose -140 + 42 = -f*n. Suppose g - a - n = 0, g + 2*a = 59 - 4. Is 19 a factor of g?
False
Let s be (-3)/((-27)/3333) + (-1)/3. Suppose 2*w - s = 26. Is 33 a factor of w?
True
Let w be (-1)/((-2)/6*1). Let k = 1 + w. Suppose -k*t + 47 + 29 = 0. Is t a multiple of 8?
False
Suppose 4*q - 56 = -4*f, 60 - 6 = 4*f + 3*q. Let w = -51 + 85. Let x = f + w. Is x a multiple of 13?
False
Let j = 44 + -24. Let i = 30 - j. Suppose -i*y - 90 = -13*y. Does 21 divide y?
False
Suppose 0 = 3*a + 2*a - 20. Suppose -u - 4*u = -5, 7 = a*y - 5*u. Suppose 0 = y*m - 49 - 20. Does 23 divide m?
True
Suppose -85 = -4*l + 207. Does 3 divide l?
False
Suppose -6*t = -3*v - t + 62, -v + 4*t + 30 = 0. Let a = 16 - v. Suppose -230 = -2*j - w + a*w, w = -4*j + 472. Is 34 a factor of j?
False
Let s(c) = -2*c**3 - 5*c**2 + 6. Let j be s(-4). Suppose u - 33 - j = 0. Suppose -3*n + 132 = -2*b, -2*b = -2*n - b + u. Is 14 a factor of n?
True
Let l(g) = 8*g - 12 + 3*g + 1 - 4. Let q = -40 - -46. Is 16 a factor of l(q)?
False
Does 8 divide (36 + 5)/((-1)/(-4))?
False
Let h(t) = t**2 + t. Let a be h(-2). Suppose -4*n + 3198 + 1302 = 0. Is 16 a factor of n/35 - a/14?
True
Let o be 0 - -2 - 9/3. Let g = o + -2. Is 19 a factor of (-6)/(-4)*(-76)/g?
True
Let q(i) = -i**3 - 31*i**2 + 155*i + 36. Is 24 a factor of q(-36)?
True
Let f = -52 - -674. Is f a multiple of 17?
False
Suppose -2*d + 60 = 4*r, 0*d + 5 = -d + 5*r. Suppose 0 = 4*v - 3*v - d. Is 20 a factor of v?
True
Suppose 0 = -3*y, -85 = 5*u - y + 3*y. Let i(t) = t**2 + 16*t + 35. Is 13 a factor of i(u)?
True
Suppose -m + 3*m = 4. Suppose m*a - 6*a = -32. Does 4 divide a?
True
Let a(v) = 4*v**2 + v + 117. Let f(c) = c**2 + 1. Let y(x) = a(x) - 5*f(x). Suppose 3*t = -2*m - t, -4*t = -m. Is 28 a factor of y(m)?
True
Let x(q) = -q**3 - 10*q**2 - 7*q - 1. Let a be x(-9). Let k = a - -29. Is 16 a factor of ((-78)/9)/(k/(-75))?
False
Let v = -340 - -656. Is 11 a factor of v?
False
Suppose 4 = y - 2*a, 3*y + 8 = 5*y + 3*a. Suppose -3*i = 5*f + 9, -y*i + 5*f = 39 + 8. Does 6 divide (1 + i)*48/(-28)?
True
Let g = 3579 - 1796. Is g a multiple of 9?
False
Let d = -405 - -596. Is d a multiple of 13?
False
Let r = -18 + 13. Let t = r - -35. Is 15 a factor of t?
True
Let k(r) = 6*r - 1. Let o be k(1). Suppose o*y = 3*z - 679, 4*z - 5*y = 685 + 227. Is z a multiple of 28?
False
Suppose i = 2*y - 0*y - 4, 0 = -i + 2. Suppose -x = y - 6. Let a(g) = 3*g**2 + 4*g - 3. Is 12 a factor of a(x)?
True
Let f(n) = -n**3 - 13*n**2 - 31*n - 33. Does 38 divide f(-16)?
False
Suppose -2 = -4*k + 14. Let o(d) = -8*d - 4. Let x be o(k). Is (x - -6)*(-4)/5 a multiple of 4?
True
Let a(m) = 2*m**2 + 1. Let v be a(-1). Suppose -v*z + z = 2*p - 100, 4*z - 102 = -2*p. Is 24 a factor of p?
False
Let z(r) = 2*r**2 - 6*r - 4. Let s be z(4). Suppose s*d - 739 = -v - 4*v, 0 = -4*v + 2*d + 586. Suppose 4*i - v = 29. Is 22 a factor of i?
True
Let y = -79 + 83. Suppose 0 = -y*z + 613 - 129. Is 26 a factor of z?
False
Let t(w) be the third derivative of 0*w**3 + 0*w + 2*w**2 + 0 - 3/2*w**4. Does 18 divide t(-1)?
True
Is 35 a factor of 78/(-10)*(-250)/10?
False
Suppose -3*p - 19 = -4. Let y(t) = -t - 6. Let k(r) = -5. Let v(u) = -5*k(u) + 4*y(u). Is v(p) a multiple of 17?
False
Let n(v) = 91*v + 61. Does 27 divide n(2)?
True
Let t = 1469 + -412. Does 36 divide t?
False
Suppose 3*v + n - 6 = 0, 2 = v - 2*n - 0. Let p be -3 + 4/v*-25. Let y = -25 - p. Is y a multiple of 12?
False
Let y(v) = -442*v + 3. Let l be y(-1). Suppose 983 = 6*t - l. Does 14 divide t?
True
Suppose 16 = 4*s, -4*t + 0*s = 5*s + 1