tor of b?
False
Let h be (1/(-2))/(4/(-32)). Suppose -4*x - 2*v = -158, -4*x - h*v + 190 = x. Is 21 a factor of x?
True
Suppose 3*s - 2*s - 9 = -z, -4*z - 5*s + 38 = 0. Is 7 a factor of z?
True
Let s(r) = r**2 - 9*r + 2. Let q be s(9). Let u(v) = 5*v**2 + 4*v - 15. Let m(j) = -3*j**2 - 2*j + 7. Let x(p) = -9*m(p) - 4*u(p). Is 10 a factor of x(q)?
False
Suppose m + 0*m - 5 = 0. Let a = m + -12. Let r = a - -18. Is r a multiple of 6?
False
Let i(k) = -14*k - 4. Suppose -4*v - 1 = 23. Is 16 a factor of i(v)?
True
Let g(m) = -m**3 - 3*m**2 - 12. Is g(-5) a multiple of 7?
False
Let g be (-2)/6 - (-222)/18. Let l = 8 - g. Does 14 divide (l/10)/(1/(-45))?
False
Suppose 105 = -c - 2*c. Is 3/(-2 - -5) - c a multiple of 9?
True
Suppose 3*y = 3*k + 12, 3*k + y + 16 = 5*y. Suppose k = 3*i - 2*d - 38, -5*d - 28 = -3*i - d. Is i a multiple of 3?
False
Suppose 8*x = 6*x + 48. Is x a multiple of 5?
False
Suppose 3*m - 3*t = -m + 189, 0 = m - 2*t - 51. Is m a multiple of 15?
True
Let k(n) = n - 5. Let u be k(7). Let p = 4 - 7. Does 5 divide (0 + p)/(u/(-6))?
False
Suppose 2*v = -2*q + 112, -v = -q + 13 + 51. Is 20 a factor of q?
True
Let x = 57 + -27. Is x a multiple of 5?
True
Suppose -2*g - 20 = 2*g. Is ((-7)/g)/((-3)/(-15)) a multiple of 3?
False
Let d(q) = -6*q - 23. Does 4 divide d(-7)?
False
Suppose -5*c - 1 = -y, 0*c - 51 = -3*y + 3*c. Does 10 divide y?
False
Let f(q) = 4*q**2 - 5*q + 4. Let c be (-5)/(0 + (3 - 4)). Does 22 divide f(c)?
False
Let t(z) be the second derivative of z**5/20 + 11*z**4/12 - z**3/2 - 15*z**2/2 + 4*z. Does 9 divide t(-11)?
True
Let h(i) = 2*i**2 + i - 2. Let r be h(2). Let u = 7 + r. Is 5 a factor of u?
True
Is (-2)/((-4)/38) + -1 a multiple of 18?
True
Let i(s) = s - 10. Let x be i(9). Is 2 a factor of 2/(-1) + 4 - x?
False
Let a(l) = 7 - 1 - 1 + l**2 + 6*l. Let g be a(-6). Suppose 0*v + 32 = 4*v - 4*s, 5*v + g*s = 40. Does 3 divide v?
False
Does 22 divide (-51)/(-2) + 1/2?
False
Let p(j) = j + 2. Is 3 a factor of p(11)?
False
Let o(q) = 7*q**2 - 5*q - 7. Is 5 a factor of o(-2)?
False
Let q(p) = 21*p + 2. Let m(o) = 20*o + 5. Let b(t) = -60*t - 16. Let a(x) = -2*b(x) - 7*m(x). Let g(l) = -3*a(l) - 4*q(l). Does 13 divide g(-1)?
False
Suppose w = 0, w + w - 27 = -3*t. Suppose a = -0*a + t. Suppose -4*y = -a*y + 90. Does 18 divide y?
True
Let o(g) = g**2 + g - 2. Let d be o(2). Suppose 5*j - 4*b - 90 = 0, -d*j + j + 5*b + 54 = 0. Is j a multiple of 11?
False
Suppose 416 = 5*h - 1274. Does 53 divide h?
False
Is 24 a factor of 3*((-440)/(-3))/5?
False
Suppose 0 = t - y - 45, 3*y = -t - 4 + 37. Suppose 0 = -4*u - a + t + 63, 5*u - 105 = 4*a. Is 7 a factor of u?
False
Let p be ((-1)/5 - -1)*5. Suppose p*n - 180 = -2*f, -n + 0*n + 45 = -f. Suppose -4*u + u = -n. Is u a multiple of 15?
True
Suppose 5*q = -a + 2, 3*a - 2 = 2*a + 5*q. Suppose -a*o - j + 60 = j, -5*o - 2*j = -147. Is o a multiple of 10?
False
Suppose 0 = d + 5*p - 29, 2*p + 2*p = 4. Does 6 divide d?
True
Does 4 divide (3/1 + -10)*-2?
False
Suppose 5*f - 198 = -4*d, f + 5*d = 2*d + 33. Suppose -h + f = -12. Is h a multiple of 17?
False
Suppose -3*p - r = 52, 6*r = 3*p + 2*r + 62. Does 15 divide p*(3 - 11/2)?
True
Let a(v) = 4*v - 2 + 18 + 3. Is 30 a factor of a(8)?
False
Let v = 47 + -24. Is v a multiple of 6?
False
Let b be (-4)/(-18) - (-742)/63. Suppose -b = 4*x, 2*y - 5*x = -23 + 62. Is 12 a factor of y?
True
Let g = -41 + 82. Is g a multiple of 2?
False
Is 37 a factor of 9*(-2)/(-6) + 219?
True
Let f(y) = y + 5. Suppose 2*i = -3*i - 35. Let v be f(i). Is 1 - (-1)/(v/(-48)) a multiple of 14?
False
Let p(s) = -s**3 + 5*s**2 - 1. Let c be p(5). Let t(r) = -2*r**3 - r**2 + 1. Let x be t(c). Is x - 4/(8/(-18)) a multiple of 5?
False
Suppose -3*c + 0 = -3. Is 4 a factor of 15/((-5)/(-2) - c)?
False
Suppose 0 = -8*y + 11*y - 63. Does 7 divide y?
True
Let i(f) = 8*f**2 - 9 - 4*f**3 + 6*f**3 + 2*f - 3*f**3 - 3. Let l be i(8). Suppose 2*w - 3*v - 75 = 2, -2*w + l*v + 80 = 0. Does 17 divide w?
True
Let o be 0 + 1 - 1 - -11. Let x = 15 - o. Is 2 a factor of x?
True
Let a be 31/4*10*2. Suppose -a = -2*m - 17. Suppose 0 = -4*s - 0*s + 3*x + m, 4*s + 5*x = 45. Is 5 a factor of s?
True
Suppose o + 18 = 5*s, 4*s - 8 = -3*o + 14. Suppose 2*v + 60 = 5*d - o*v, v - 24 = -2*d. Is d a multiple of 6?
True
Let q(l) = 0*l**2 + l**2 - 3*l**2 + 3*l**2 - 4. Is q(3) a multiple of 5?
True
Suppose -20 = -3*h + 8*h, -v - 4*h = 22. Is ((-7)/(-3))/(-1)*v a multiple of 4?
False
Let m = 14 + -10. Suppose -f - 1 = i - 6, m*f - 6 = 3*i. Is 13 a factor of i + (-4)/2 - -15?
False
Suppose -2 = -2*j + 5*c, 6*j - j = -c + 5. Is 16 a factor of -33*((-10)/6 + j)?
False
Let g be 8*(23/4 - 2). Suppose -f + g = 2*f. Is 7 a factor of f?
False
Let x(y) = 3*y**2 + 9*y + 19. Is 6 a factor of x(-6)?
False
Let h be (-1)/(-2*(-3)/36). Let t(p) = p**2 + 4*p. Is 12 a factor of t(h)?
True
Let h(y) = y**3 - 10*y**2 + 9*y + 4. Let r be h(9). Suppose 5 + r = 3*u. Is 2 a factor of u?
False
Let f(r) = -2*r**3 - 2*r**2 + r - 3. Is 10 a factor of f(-3)?
True
Suppose -c = 4*c + 8130. Is 28 a factor of c/(-15) + (-4)/10?
False
Does 8 divide (24/16)/((-6)/(-256))?
True
Let c be 8 - (-2)/4*0. Suppose 3*d - d = c. Does 15 divide 4/(d + -2) + 13?
True
Suppose 2*o = 4*o - 4. Suppose 11 + 27 = 5*y + 3*h, 2*h - 16 = -o*y. Is y a multiple of 7?
True
Is (-81)/(-2) + 6/(-4) + 2 a multiple of 5?
False
Let k be (5/(-10))/(2/(-12)). Let y(u) = u**2 + 4*u - 3. Does 16 divide y(k)?
False
Suppose -5*p = -l + 23, -15 = -3*l - 2*l. Let z = -1 - p. Does 3 divide z?
True
Suppose 0 = -2*p - 5 + 1. Let u be 7 + p - (-2 - 0). Suppose 2*q - 32 = 5*z, q - 3*z - u = -5*z. Is 11 a factor of q?
True
Suppose -h - 2*h - 5*o + 114 = 0, 2*o = -5*h + 171. Is 10 a factor of h?
False
Let f = -3 - 0. Let z be ((-8)/f)/(4/(-12)). Is 10 a factor of z*(2 + (-18)/4)?
True
Let a = -96 + 179. Suppose -4*p + a = 27. Is 7 a factor of p?
True
Does 6 divide 103/5 + (-22)/(-55)?
False
Is 25 a factor of (-35)/20*100/(3/(-3))?
True
Let p = -8 - -13. Let i be 48/10 + 1/p. Suppose 5*k - 185 = l, i*l = 3*k - k - 97. Does 17 divide k?
False
Let m be 44 - (-2 + 6 + -2). Suppose 2*g - m = 3*h, -5*h - 37 = -4*g + 51. Suppose -88 = -5*o + g. Is o a multiple of 23?
True
Suppose 3*x = -4*d + 104, 5*x - 2*d = 3*d + 115. Let v = x - -10. Is v a multiple of 19?
True
Suppose -2*x - 92 = 4*n, -7*x + n = -3*x + 166. Let j = x + 69. Is j a multiple of 27?
True
Let v be (-1 - (-3)/2)*0. Suppose -57 = -2*h + 3*u, v*u - 3*u - 147 = -5*h. Suppose h = -4*d + 174. Is 13 a factor of d?
False
Suppose x = 3*x - 4*q - 72, 3*q + 6 = 0. Suppose h + 6 = x. Does 13 divide h?
True
Suppose 1 - 5 = 4*g. Is (-4 - g)*(-1 - 4) a multiple of 7?
False
Let o(w) be the second derivative of w + 4*w**2 - 1/20*w**5 + 2*w**3 - 1/2*w**4 + 0. Is o(-8) a multiple of 16?
False
Let n = 0 - -3. Let w = n + -3. Suppose w = -4*q + 25 + 23. Is q a multiple of 10?
False
Suppose 10*c = -c + 1705. Is c a multiple of 12?
False
Let r = 4 - 0. Suppose -r*o = o - 40. Suppose 4*m - 3*w - 87 = o, 4*w - 40 = -3*m. Is m a multiple of 10?
True
Let w(h) = 4*h**3 + h + 1. Let r be w(-1). Let c be 3 + (r - -2) + 1. Suppose -c*y + 65 = 3*y. Does 13 divide y?
True
Suppose 7*z = 4*g + 4*z - 20, -5 = -g - 2*z. Suppose -2*n + 84 = -g*s, -s - 3*n = -n + 24. Is 4/s + (-303)/(-27) a multiple of 3?
False
Suppose -4*z - 4*b + 5*b + 247 = 0, 2*b + 128 = 2*z. Suppose -k - z = -2*k. Is k a multiple of 24?
False
Let q = 65 - 92. Let v = q - 47. Is v/8*12/(-3) a multiple of 19?
False
Suppose 7*z = 2*z - 15. Is (-45)/(-6)*(-2)/z a multiple of 5?
True
Suppose -3*j - j = -28. Let f(t) = -4 + 4*t - t + 0. Is f(j) a multiple of 17?
True
Let z(t) = -2*t**3 - 4*t**2 - 2*t + 2. Let n be z(-2). Let i = 5 - n. Is (-1)/(i + (-74)/(-76)) a multiple of 15?
False
Let a(h) = h**2 - 10*h + 8. Let o be a(9). Let y(b) = 17*b**2 + 1. Does 18 divide y(o)?
True
Let z(q) = -24*q - 7. Is 21 a factor of z(-4)?
False
Suppose 0 = -b - 4*d + 34, -5*b = -0*d - 2*d - 82. Let k = b - 3. Does 12 divide k?
False
Is 16 a factor of 40/(-6)*(-60)/16?
False
Suppose 3*m - m - 4 = 0. Let g be m/3 + 485/15. Is 2/8 + g/12 a multiple of 2?
False
Let z(s) = -2*s**2 + 4*s - 6. Let q be z(4). Let v = q + 42. Does 10 divide v?
True
Let n be (2/(-4) + 0)*2. Let y be (0 - n)/(5/(-10)). Does 11 divide 18 -