
Let j = 219 + -94. Suppose 4*k - 3 = j. Is k a multiple of 29?
False
Let h be (0*(-3 + 2))/1. Is (h + -24)*(-14)/21 a multiple of 8?
True
Let c be 4/(-20) - 26/(-5). Suppose -2*b - 9 + 33 = l, 0 = c*l - b - 76. Does 8 divide l?
True
Let i be 4/(-10) - (-78)/(-5). Let p = 2 + 0. Is (9/(-12))/(p/i) a multiple of 6?
True
Let z(c) = c**3 - c**2 + c + 37. Let q = 13 - 13. Is 9 a factor of z(q)?
False
Does 18 divide (-2)/(0 + 3 + (-1556)/516)?
False
Let g(h) = h**3 + 3*h**2 + h + 1. Let j be g(-3). Let d = j + 6. Is 18/d*(-240)/(-18) a multiple of 17?
False
Let r(k) = -k**3 - 2*k**2 + 1. Let c be r(-3). Let g = -6 + c. Is g a multiple of 4?
True
Let q = 4 - 3. Let f be 1 + 0 - 1/q. Suppose -o - 3*z + 7 = f, -13 = 4*o - 7*o - z. Is 4 a factor of o?
True
Suppose -148 = 3*a - 5*a. Suppose 5*g + 4*h - 156 = 3*g, 0 = g + h - a. Is g a multiple of 14?
True
Let y = 20 + -29. Let a = 11 + y. Is 12 a factor of 57/a + 8/(-16)?
False
Suppose 5*s - h - 321 = 0, -2*h - 2*h + 211 = 3*s. Suppose -3*a + s + 130 = -3*g, -2*a + 136 = -4*g. Suppose -46 = -3*p + a. Is 14 a factor of p?
False
Suppose 0 = 3*m + 5*s - 16, 0*m - 5*m = -4*s + 35. Let v(z) = z**3 + 8*z**2 + 4*z + 1. Is 17 a factor of v(m)?
True
Let o = -81 + 121. Is 10 a factor of o?
True
Let p(m) = -m - 2. Let c be p(-4). Suppose 0 = x + c - 5. Does 3 divide x?
True
Suppose -4*q = -5*p - 11, 0 = q + 3*q + 3*p - 19. Suppose 9*j - 85 = q*j. Is 5 a factor of j?
False
Let a(j) = 3*j - 4. Let y be a(6). Suppose 0 = x - 5*u + y, 6*u = -4*x + 3*u + 36. Is 2 a factor of x?
True
Let j = -13 + 27. Does 7 divide (j/21)/(2/69)?
False
Suppose -2*q = -3*f - 1 + 9, 18 = 2*f + 5*q. Suppose -3*a + 4 = -f*b + a, -4 = -2*b - a. Suppose 4*x + b - 13 = 0. Does 2 divide x?
False
Let u be -3 - (4 + -2 + -1). Let b = u + 4. Suppose 2*h = -3*a + 39, -a = -4*h - b*a + 43. Is h a multiple of 8?
False
Let s = 10 + -10. Suppose s*t = -i + 3*t - 6, 3*i + 3*t - 18 = 0. Is i a multiple of 3?
True
Let k = -365 - -43. Is 11 a factor of k/(-21) + 2/3?
False
Let l = 51 - 33. Does 6 divide l?
True
Suppose 2*c - 37 = -5. Suppose w - 13 = c. Let n = w + 8. Does 20 divide n?
False
Let f be ((-1)/(-2))/(1/(-6)). Let u be -3 + (-1)/(f/6). Is 8 + u - (-2 + 2) a multiple of 7?
True
Suppose -2*t - 52 = -4*t. Is 13 a factor of t?
True
Suppose -6*b = -12*b + 324. Is b a multiple of 9?
True
Let r(q) = 5 - 2 + 0 - 2 + q. Let k be r(-1). Suppose 4*b - 2*b - 16 = k. Does 4 divide b?
True
Let v(b) = -3*b + 2. Does 8 divide v(-9)?
False
Suppose 180 = -7*s + 2*s. Let n(k) = -4*k**2 + 4. Let q be n(-4). Let a = s - q. Is a a multiple of 12?
True
Let k(v) = 3*v**2 + 32*v + 3. Let u(q) = 2*q**2 + 21*q + 2. Let n(g) = 5*k(g) - 8*u(g). Is n(-7) a multiple of 4?
False
Let x(d) = 107*d**3 + d**2. Is 11 a factor of x(1)?
False
Let r(u) = 2*u**2 + 6*u - 4. Let k = 1 + -7. Is r(k) a multiple of 18?
False
Suppose 9*f = 7*f + 12. Is f a multiple of 3?
True
Suppose 0 = n - 4*m - 14, 3*n - 4*m + 28 = -6*m. Is (-106)/n + 6/(-9) a multiple of 13?
False
Let c = 17 + -8. Let d(x) = -1 - 5 - 2*x + 3 + c*x. Is d(3) a multiple of 9?
True
Let a be -2*(0 - (-1 - -2)). Suppose -4*u = -20, 4*k + a*u - 36 = 2*k. Is 13 a factor of k?
True
Let c(q) = -9*q**3 + 3*q**2 - q + 3. Is 12 a factor of c(-3)?
True
Let x(n) = 2*n - 2. Let t be x(-3). Let j(d) = d**2 - 5*d - 2. Let g be j(t). Suppose 4*u = u + g. Does 15 divide u?
False
Let o = 60 - 29. Suppose 4*n - o = 189. Is n a multiple of 11?
True
Let s = -37 - -49. Is s a multiple of 2?
True
Suppose -9 - 39 = -4*u. Is 12 a factor of u?
True
Let a(z) = -2*z**2 - 2 + 2*z - 3*z + 2 - 3*z**3. Let l be a(-1). Suppose 3*g = 3*d - 5*d + 133, -90 = -l*g - d. Is g a multiple of 15?
False
Suppose -3*u + 2 = -2*u. Suppose g + b - 4*b = 0, u*b = g - 4. Is 4 a factor of g?
True
Let v(a) = -a**2 - 13*a - 4. Let i(q) = -10*q + 1. Let g = -1 - -2. Let t be i(g). Is v(t) a multiple of 16?
True
Suppose a - 45 = 21. Is a a multiple of 14?
False
Let t(x) = 2 - 1 - 5*x + 19*x. Let h be t(1). Let r = h - 4. Does 11 divide r?
True
Let u be 170 + (-2)/(-1) + -2. Let w(i) = -i**3 + 6*i**2 + 7. Let h be w(6). Suppose 2*m = h*m - u. Is 9 a factor of m?
False
Suppose -2*j - j = -12. Suppose 0 = 13*v - 9*v - 256. Suppose j*q - v = -2*x, -4*q + 3*x + 2*x + 64 = 0. Is q a multiple of 16?
True
Suppose -2*t + 34 = -4*a, 4*t = 2*t - 3*a + 55. Is t a multiple of 23?
True
Let q = -88 + 106. Is q a multiple of 2?
True
Suppose q + 5*s - 14 = 0, -2*q - 4*s + 10 = -6. Suppose k - 3*k + 144 = q*f, 4*f - 5*k = 144. Is 10 a factor of f?
False
Let r(p) = -p**2 + 5*p + 7. Let k be r(6). Let u(m) = -3*m**3 + m. Let f be u(k). Is 50/4 + f/4 a multiple of 11?
False
Suppose 256 = -4*t + 8*t. Is 8 a factor of t?
True
Let h(y) = -2*y**2 + y + 2. Let u(c) = -3*c**2 + c + 3. Let a(x) = -5*h(x) + 3*u(x). Is a(-7) a multiple of 24?
False
Let d(o) = o**2 + 4*o - 6. Let b be d(-5). Let t = b - -21. Is 8 a factor of t?
False
Let r(v) = 19*v**3 + v**2 + 5*v - 4. Does 25 divide r(2)?
False
Let d = -10 - -11. Let x = -6 - -11. Suppose 1 + d = h - x*v, v - 2 = 0. Is 12 a factor of h?
True
Let s(x) = x + 9. Let d be s(-5). Suppose -5 = -d*p + 3. Is 2 a factor of p?
True
Let y(f) = -f**2 - 8*f - 4. Let t be y(-7). Suppose -s = t*s - 32. Let u = s + -5. Does 2 divide u?
False
Suppose 4*f - 2*u - 12 = 62, -3*f = -4*u - 58. Does 14 divide f?
False
Suppose 5 = 3*x - 4. Suppose 0 = -2*r + 3*a + 11, -2*r + 6*r = -x*a + 31. Is 7 a factor of r?
True
Let w be 9/(0 - (1 + -2)). Does 8 divide 72/(w/3) + 0?
True
Let q = -150 + 235. Is q a multiple of 17?
True
Suppose -8*u + 15 = -3*u. Suppose -u*c = -0*c - 48. Does 5 divide c?
False
Let s = -1 - -16. Is 5 a factor of s?
True
Let g(v) = 3*v + 4. Let o(m) = 4*m + 4. Let k = 3 - 1. Let f(l) = k*g(l) - 3*o(l). Does 14 divide f(-3)?
True
Let t(g) = 6*g - 1. Is 6 a factor of t(3)?
False
Does 17 divide -17*(-4)/4*2?
True
Let b = 0 + 5. Suppose b = o + 4*o. Is (-15)/(-1) + (2 - o) a multiple of 7?
False
Let t be (4/(-6))/(3/(-234)). Suppose 2*y + t = -5*v, 5*v = -12 - 8. Let q = y + 36. Is 10 a factor of q?
True
Let p(b) = -b**3 - 4*b**2 - 6*b - 7. Is p(-5) a multiple of 7?
False
Suppose 2*b + 13 = b - 5*p, 3*b = -2*p. Let d(j) be the third derivative of j**4/12 + 3*j**2. Is 4 a factor of d(b)?
True
Suppose -37 = -z - n, -3*n = 4*z - 67 - 80. Is z a multiple of 36?
True
Let f be 266/(-95)*(-10)/4. Let o(x) = 5*x + 6. Does 15 divide o(f)?
False
Let f = -6 - -12. Does 4 divide f?
False
Suppose 5*l = 3*k + 212, 2*l + 5*k + 3 - 63 = 0. Does 40 divide l?
True
Suppose -2*d = 4*k - 16, 3*k + 20 = 8*k - 5*d. Let i = k - -18. Is i a multiple of 18?
False
Let d(c) = c**2 - 3*c - 2. Let u be d(4). Suppose -84 = -4*g + u*g. Is g a multiple of 27?
False
Suppose 4*m = 5 + 3. Suppose h - 4 = 5. Suppose 0 = 2*d + m*v - 50, -5*v - h - 28 = -d. Does 9 divide d?
True
Suppose -8 + 56 = 3*p. Suppose 2*q = -2*g + 28, -3*g = -2*g - 5*q + p. Suppose 85 = g*s - 4*s. Does 11 divide s?
False
Suppose -4*c - 27 + 179 = 0. Does 19 divide c?
True
Is 18 a factor of (-2)/(106/54 + -2)?
True
Suppose 6*b - 2513 = -875. Does 14 divide b?
False
Let d(g) = 4*g + 0 + 0 + 1 + 5*g. Is d(3) a multiple of 9?
False
Let a be (6 + -2)/(6 - 4). Let t(y) = 18*y**a + 0*y + 2 - 1 - y. Does 10 divide t(1)?
False
Let n = 29 - -83. Does 28 divide n?
True
Is 18 a factor of 339/1*3/9?
False
Let j be 0*(-3)/(-9) - 36. Let a be (-2)/(-9) + 548/j. Is ((-10)/a)/(2/60) a multiple of 10?
True
Suppose 2*x - 4 = -2. Does 10 divide x + -1 - (-7 - 13)?
True
Suppose -3*b + 87 + 93 = 0. Is b a multiple of 12?
True
Suppose 4*m - 13 - 247 = 0. Is 27 a factor of m?
False
Let r be (-1 + (-3)/(-2))*12. Does 8 divide (-58)/(-4) - r/4?
False
Let h(m) = -m**2 - 11*m + 8. Let v be h(-11). Let r = -13 + 9. Is (r/v)/(1/(-44)) a multiple of 15?
False
Let a(r) = r**3 + 6*r**2 - 9*r - 4. Does 24 divide a(4)?
True
Suppose 5*r - 13 = 7. Suppose 0 = -n + 6 + r. Is n a multiple of 5?
True
Suppose -5*h - 53 = j, -3*j - 2*h - 19 - 179 = 0. Let n = 101 + j. Is n a multiple of 11?
True
Suppose -r + 2*s = 2*r - 70, 2*s = -2*r + 50. Is 4 a factor of r?
True
Let s(f) = -f**3 + 6*f**2 + 7*f + 2. Let o be s(7). Is 16 a factor of o/(4/2) + 31?
True
Suppose h - 5 = -3*w - 4*h, h - 1 = -4*w. Let i = -12 + w. Is (0 + 30)*i/(-15) a multiple of 18?
False
Suppose d +