 z?
True
Suppose -4*k = k + 35. Let b = k + 11. Suppose -5*y + 120 = 5*c, -b*c - 29 = -y + 5. Is 9 a factor of y?
False
Let f = 1 - -4. Suppose -22 = -f*n + 98. Is 8 a factor of n?
True
Let y(a) = a**2 - a - 6. Does 11 divide y(5)?
False
Suppose 8*u - 48 = 4*u. Let d = 5 - 5. Let g = u - d. Is 5 a factor of g?
False
Let q(k) = -k**2 + 2. Let v be q(3). Let i = v + 7. Suppose i = -r + 2*d + 18, -r - d = 3*r - 27. Is r a multiple of 4?
True
Let y(k) be the first derivative of k**2 - k + 3 + 5/3*k**3. Does 13 divide y(-2)?
False
Suppose 34 + 16 = -5*z. Is ((-16)/(-10))/(z/(-425)) a multiple of 17?
True
Let i(t) = t**3 + 6*t**2 - 3*t - 2. Let a be i(-6). Suppose 28 = -0*v + 3*v + 2*l, -2*v + l + 14 = 0. Let g = a - v. Is g a multiple of 8?
True
Let s(u) = u + 6. Let t be s(-7). Is 14 a factor of (-1315)/(-30) + t/(-6)?
False
Suppose 0 = 3*s - 4*b - 167, -s - 3*b - 165 = -4*s. Let n = -33 + s. Is n a multiple of 5?
True
Suppose 0 = -2*r - 2*v + 190, -3*v = -4*r - 2*v + 385. Does 17 divide r?
False
Let d = 0 - -4. Does 3 divide d?
False
Let c = -266 - -446. Is (4/10)/(3/c) a multiple of 14?
False
Let i(w) = w - 4. Let r be i(7). Suppose -a + 7 = q, r*q + 2*a - 28 = 6*a. Is q a multiple of 8?
True
Suppose -3*u - 4*x + 271 = -0*x, 0 = -3*u + x + 266. Is u a multiple of 12?
False
Suppose 5*a + 3*s + 48 = 2*a, -3*a - 38 = -2*s. Let l = 5 - a. Is l a multiple of 8?
False
Let a = -145 - -255. Is 11 a factor of a?
True
Suppose -96 = 5*m - 4*m. Let f = 224 + m. Is (18/8)/(6/f) a multiple of 24?
True
Let z = -3 + 6. Suppose 4*k - 152 = -4*c, -k - z*k + 152 = 5*c. Does 19 divide k?
True
Let c be 108 - (-4)/(1 - 3). Let q(y) = y + 14. Let s be q(-11). Suppose -2*h = -4*f - c, -209 = -5*h - f - s*f. Is h a multiple of 21?
False
Does 2 divide -14*(-7)/8 + 3/(-12)?
True
Suppose 0 = 4*t - 0*t + 2*i - 1550, 5*t - 4*i - 1918 = 0. Suppose 4*k = -5*z + t, 9 = 2*k + 1. Is z a multiple of 37?
True
Suppose -4*h = q + 6, 2*h = -q + 2*q - 6. Suppose q*o - 19 = -3. Does 8 divide o?
True
Is 2 a factor of 59/4 + (-6)/(-24)?
False
Let t = -13 + 7. Is 2/(-6) - 86/t a multiple of 7?
True
Suppose -2*k + k + 5*s = -4, -4*k + 16 = 5*s. Suppose 0*p + k*p = 68. Does 8 divide p?
False
Suppose -115 = -5*t - 3*j, 0 = 3*t - 4*j + 1 - 41. Is 10 a factor of t?
True
Let w = 4 + -3. Suppose -3*j = w - 7. Suppose -10 = -l - 4*o, 3*l + 7*o = j*o + 58. Does 13 divide l?
True
Let q = -6 - -24. Is 6 a factor of q?
True
Suppose -8*c = -7*c - 26. Is c a multiple of 6?
False
Let l(h) = 2*h**3 - 5*h**2 - 3*h. Let q be l(4). Let c = 50 - q. Is c a multiple of 7?
True
Let v(t) = -t**2 + 10*t + 24. Is v(7) a multiple of 45?
True
Let v be (2/5)/((-8)/(-40)). Let l be (-2)/3*3/v. Let a = l - -44. Is 15 a factor of a?
False
Let m(x) = 5*x - 2. Is 9 a factor of m(5)?
False
Suppose 8*a + 33 = 7*a. Let s = 47 + a. Is s a multiple of 6?
False
Let g(k) = 26*k. Let s(p) = p**2 - 13*p + 13. Let i be s(12). Is g(i) a multiple of 13?
True
Let g(b) = -b**3 - 7*b**2 + 10*b + 4. Let m be g(-8). Is 7 a factor of (-43)/(-3) + 4/m?
True
Let x = 36 + -4. Suppose -4*s + x = h, -5*s + 3 - 2 = -2*h. Is h a multiple of 4?
True
Suppose 4*j + 282 = 5*a, -3*j - 226 = -3*a - a. Suppose -5*y = -a - 42. Is 13 a factor of y?
False
Let m(i) = -i + 3. Let p be m(3). Suppose -x - 2*x = p. Is 10 a factor of (x - -4)/(2/5)?
True
Suppose -2*w = 3*w - 55. Suppose -15*l + w*l = -20. Is 5 a factor of l?
True
Let p be 2*-4*(-1)/2. Suppose 2*q + 1 = p*q + 3*r, 4*q + 3*r - 11 = 0. Suppose 0 = 5*m + 2*d - 59 - 133, 0 = q*d + 20. Is 20 a factor of m?
True
Let n(l) = 12*l**3 + l**2 - l. Let v be n(1). Suppose -w + v = -10. Does 15 divide w?
False
Let d = 0 - 1. Is 4 a factor of -1*(14/d)/2?
False
Suppose l + 2*c + 0 = 1, -5*l = -4*c - 19. Suppose y - 26 = -3*f, -2*y = l*y + 5*f - 90. Is y a multiple of 14?
True
Suppose -4*r + 11 = -9. Suppose -5*h + 34 = s, 2*s - 27 = -r*h + 31. Is 10 a factor of s?
False
Suppose 3*v + 2*v = 0. Suppose 3*m + m - 2*j + 16 = v, 5*j = 2*m + 24. Is 5 a factor of m + 4 + 1 - -2?
True
Let p = -66 + 124. Is 24 a factor of p?
False
Let q(m) = 8 - m - 4 - 2. Suppose -2*t - t + 4*d - 46 = 0, d + 26 = -3*t. Does 4 divide q(t)?
True
Let i be (1/3)/((-9)/(-27)). Is 0 + (130/2 - i) a multiple of 15?
False
Let k be 2 - ((1 - 5) + 3). Suppose -s = -w - 14, 0 = -k*s + 8*w - 3*w + 46. Is s a multiple of 7?
False
Suppose -4*t = -33 + 5. Let g = 30 + -26. Let m = g + t. Does 11 divide m?
True
Suppose 4*i + c - 2 = 11, 5*i - 3*c = -5. Let k(r) = 8 - 3*r**i - r**3 - 2*r**2 + 1 - 4. Does 5 divide k(-5)?
True
Suppose 1 = h - 5. Suppose -5*q + 9 + 1 = 0. Is 19 a factor of -76*((-15)/h + q)?
True
Suppose 2*o = 44 + 62. Suppose o = 5*l - 82. Does 9 divide l?
True
Let x(i) = i - 3. Let m(v) = 2*v - 8. Let c(s) = 4*m(s) - 11*x(s). Does 4 divide c(-1)?
True
Suppose 3*y = -5*r + 1 + 30, y = 3*r - 13. Suppose -4*k = 2*d - 20, -3*k - 2*k + 4*d + 25 = 0. Suppose k - 127 = -y*u. Does 25 divide u?
False
Let d(b) = 9*b**2 - 2. Suppose -5*u + l - 39 = 0, -5*u - 3*l - 17 = 6. Let w = u - -5. Is d(w) a multiple of 17?
True
Let z(q) = -2*q**3 - 6*q**2 - 10*q - 9. Does 9 divide z(-4)?
True
Let l(g) = -g**2 - 6*g - 2. Let r be l(-4). Let v be ((-4)/(-3))/(2/r). Suppose -63 = -v*o + 45. Is 11 a factor of o?
False
Let r(n) = -n**3 + n**2 + n - 8. Let q be r(0). Let w(l) = -5*l - 1. Let o(g) = 14*g + 2. Let s(z) = -4*o(z) - 11*w(z). Is 4 a factor of s(q)?
False
Suppose -3*q - 15 = l - 4, -4*l = 5*q + 9. Let d be (-10)/4*6/q. Suppose -2*y + 2*r + 1 = -13, -39 = -5*y + d*r. Does 9 divide y?
True
Let r = 41 + -23. Suppose -w + 1 = -5. Suppose w = -2*g + r. Is g a multiple of 4?
False
Suppose 4*j + 74 = 2*i - j, 5*i = 3*j + 147. Does 10 divide i?
False
Let y be (-9)/(-2)*12/9. Let h(a) = -a**3 + 8*a**2 - 2*a + 6. Is h(y) a multiple of 28?
False
Let d(u) = u**3 + 6*u**2 - 5*u - 10. Does 8 divide d(-6)?
False
Let j = 257 + -173. Is 14 a factor of j?
True
Suppose -3*n + 215 = 2*n. Is 18 a factor of n?
False
Let g = -114 + 194. Is g a multiple of 20?
True
Let r(u) = u - 6*u - 2*u - 3. Let g be r(-5). Let v = g - 16. Is 16 a factor of v?
True
Let c(b) = b + 16. Is 8 a factor of c(14)?
False
Let h be (-6 - (-2)/(-2))/1. Let b = 3 + h. Let u(d) = -3*d + 4. Is 8 a factor of u(b)?
True
Let a(k) = -k**2 + 11*k. Let o be a(8). Suppose 222 = 3*h + o. Suppose -f = 4*d - 45, 5*d - f - h = f. Does 7 divide d?
False
Let u(v) = -v**2 + 7*v. Let c be u(5). Let b = c + -10. Suppose -3*i + 0*p + 29 = 5*p, -2*p - 4 = b. Does 12 divide i?
False
Does 22 divide 1/3 - (-3804)/36?
False
Suppose -81 = -2*h + h. Suppose 4*j = h + 75. Is j a multiple of 13?
True
Let t = 9 - 13. Let m be 3/(-5)*(-1 + t). Let z(b) = b**3 - b**2 - 4*b + 1. Is z(m) a multiple of 7?
True
Suppose -2*w + 35 = w + 5*c, -w - c = -9. Suppose 168 = w*h + 2*r, 71 = 3*h + 3*r - 37. Is 16 a factor of h?
True
Let v(z) = 8*z + 66. Is 11 a factor of v(7)?
False
Suppose 9*d - 25 = -88. Let p be (2 + 3)*(-4)/(-5). Let j = p - d. Is j a multiple of 11?
True
Let l(i) = i**3 + 5*i**2 + 6*i + 3. Let t be l(-2). Suppose t*c - 3*j - 89 = -7*j, -3*j - 127 = -4*c. Is c a multiple of 10?
False
Let b = 0 + 2. Is 5 a factor of (2/6)/(b/90)?
True
Let h(v) = -v**3 + 9*v**2 - 9*v + 5. Let a be h(6). Suppose 1 + a = 5*b. Suppose 0 = 4*z - b - 72. Is 8 a factor of z?
False
Let p(b) = -2*b**2 + 10*b + 3. Let i be p(5). Suppose 4*w - i*w = 66. Does 15 divide w?
False
Let r = 0 + -2. Let p be 2*(0 + r/(-4)). Does 5 divide (1 + 0)/(p/5)?
True
Let a(c) = -c**2 + 1 + 2*c**2 + 3*c**2 + 3*c - 6*c**2 - c**3. Is a(-4) a multiple of 11?
False
Let m = -28 + 61. Does 9 divide m?
False
Does 12 divide 1/(3/(-495)*-3)?
False
Let d be 4/(-14) + 170/7. Suppose 0*m = 4*m - d. Does 7 divide m/(-4) + (-43)/(-2)?
False
Let y be (-28)/(-12) + (-2)/6. Suppose -y*s = -s - 50. Is 21 a factor of s?
False
Suppose 5*m + 41 = 3*h - 0, 11 = h - m. Is h a multiple of 3?
False
Let w(n) = -n + 2. Let v be w(1). Is -2 - (v + -1) - -36 a multiple of 17?
True
Suppose 5*u - 63 = -2*w, -4*u + 0*u = w - 39. Suppose -75 = -2*h + w. Is 12 a factor of h?
False
Suppose -2*k + 7*k = -2*y + 159, 0 = 2*y - 3*k - 135. Suppose p = 3*g - 12 - 6, g + 10 = -5*p. Suppose -g*q = -2*q - y. Is q a multiple of 12?
True
Suppose -2*x + 7 = 3. Suppose 24 = x*n + 2. Is 7 a factor of n?
False
Let g