+ -6. Suppose 3*g + 3*p - 273 = 0, -5*g = t*p + 310 - 759. Suppose -4*k + 4*x + g = 0, -6*x = -x - 15. Does 11 divide k?
False
Let q(z) = z**2 - 8. Suppose 0 = 4*t + 3*j - 11, -5*t = -j + 2*j - 22. Suppose n = t*n - 24. Does 14 divide q(n)?
True
Is 9 a factor of (180 - 21) + 1*3?
True
Let g = -71 + 103. Let r = 5 + -10. Is 5 a factor of 2/(-5) - g/r?
False
Let w = -9 + 15. Let j = w - 4. Is 2 a factor of j?
True
Suppose 0 = -4*s - 3 + 11. Suppose 2*w = -s + 6. Suppose -4*u + w*c + 74 = 0, 35 - 1 = 2*u + 2*c. Is u a multiple of 18?
True
Suppose 0 = -3*m + 11 + 1. Suppose o - 28 = -4*l, -l - 3 = -m. Does 24 divide o?
True
Let i be -5 + 4 + (0 - -1). Suppose 0*r = l - r - 37, 3*l - r - 111 = i. Is 13 a factor of l?
False
Let j = 8 + -8. Suppose -5*k + j*k + 600 = 0. Suppose 0 = -5*c + c + k. Is c a multiple of 15?
True
Let m = -4 + 5. Let c(j) = 8*j**3 + j**2 - 1. Is c(m) a multiple of 8?
True
Let o = -137 - -244. Does 10 divide o?
False
Suppose 62 = 3*n - 19. Suppose -n = 5*l - 77. Is l a multiple of 3?
False
Let b(j) = j**2 + 5*j - 2. Does 22 divide b(3)?
True
Let a be ((-8)/(-12))/((-2)/(-9)). Suppose m + 0*m = a. Suppose -k - 84 = -m*k. Is k a multiple of 14?
True
Let z(r) = r - 48. Let s(p) = 3*p - 144. Let d(f) = -3*s(f) + 8*z(f). Does 16 divide d(0)?
True
Suppose -2*s + 0*s = -8. Suppose 4*w = -g - 5, s*w + 5*g + 1 - 8 = 0. Does 3 divide 2*((-11)/(-2) + w)?
False
Let o = 10 - 14. Let v(r) = r**3 + 4*r**2 - 5*r - 2. Is 7 a factor of v(o)?
False
Suppose -4*f = s - 8, -3*f + 16 = -3*s - 5. Does 9 divide (2 - 38)*3/s?
True
Let d(v) = v**2 - 6*v - 6. Is 10 a factor of d(8)?
True
Let m(h) = -h**3 - 7*h**3 - 3*h**3 + h. Let f = -6 + 5. Is m(f) a multiple of 10?
True
Suppose -2*f + 5*x = -10, f = -3*x - 2 + 7. Suppose -5*i - j + 10 = 31, -f*j = 3*i - 5. Let m(y) = -y**3 - 4*y**2 - 4. Is 11 a factor of m(i)?
False
Suppose -x = -5*l, -x - 64 = -4*x - l. Is 5 a factor of x?
True
Suppose 23 = 5*a - 32. Let n(x) = -x**3 + 12*x**2 - 6*x - 14. Does 14 divide n(a)?
False
Let c(l) = 2*l**2 + 2*l - 1. Let n(v) = -3 - 2*v + 3*v + 2 + 6. Let i be n(-7). Is c(i) even?
False
Let h(c) = 23*c - 29. Does 27 divide h(7)?
False
Let i = 153 - 43. Is i a multiple of 22?
True
Let n = 85 + 25. Suppose 2*o = -i + 37, 18 = -4*o + 4*i + n. Let h = o - -13. Is h a multiple of 13?
False
Let z(m) = m - 1. Let t(f) = -f + 2. Let o(j) = -6*t(j) - 13*z(j). Let x be o(-5). Suppose 9*n - 4*n = 3*s - 108, n = s - x. Is 14 a factor of s?
False
Suppose -2*c = 5*d - 29, 0*d + 4*d = 20. Suppose c*s = 3*s - 12. Is s a multiple of 4?
True
Let l = 22 + 8. Is 6 a factor of l?
True
Let o(a) be the first derivative of 9*a**4/4 - a**3/3 + a + 5. Is o(1) a multiple of 8?
False
Let q = 323 - -722. Let u = -1650 + q. Does 6 divide u/(-35) + 2/(-7)?
False
Let d be 2*15*(-10)/3. Let n(u) = 2*u. Let m be n(5). Is (-8)/m*d/8 a multiple of 8?
False
Let i(n) = 9*n**2 - 5*n + 2. Is 4 a factor of i(2)?
True
Suppose 3*r + 3 = 5*t - 0*t, -4*t = -2*r - 4. Suppose -r*o - 9*a = -4*a - 93, -5*a = -5. Suppose o + 23 = s. Does 12 divide s?
False
Let w(d) be the first derivative of -3*d**2/2 + d - 1. Let u be w(-1). Suppose f - u*f = -60. Is f a multiple of 15?
False
Let r = 1 - 0. Let k = r - 1. Suppose k = 4*x - n - 69, 3*n + 2 + 1 = 0. Is x a multiple of 6?
False
Suppose 3*m - 153 = 2*a - 6*a, -2*m + 3*a + 119 = 0. Does 11 divide m?
True
Suppose 0 = 2*s - 7 - 3. Suppose a = -4*x - 9, -34 = 5*a + 4*x - s. Let n = a + 7. Is n even?
True
Suppose -5*j = -3*b - 29, 2*b + 3*j - 14 = -2*j. Let r be (-2)/(-6) - (-64)/b. Does 3 divide (-23)/(-7) - (-6)/r?
True
Let t = 42 + -19. Is t a multiple of 23?
True
Suppose 4*j + 58 = 274. Does 18 divide j?
True
Let o(d) = d**2 - d + 3. Is 15 a factor of o(-6)?
True
Suppose 0 = -n + 3*n - 42. Suppose 5*r - 19 = n. Does 6 divide r?
False
Let a be 0 + (2 - -1) - -31. Let j = a + -6. Does 14 divide j?
True
Let z(r) = -6 - 8*r + 1 + 4. Is 12 a factor of z(-3)?
False
Suppose 0 = i - 10 - 31. Does 10 divide i?
False
Let k = 0 - 0. Suppose -q + 47 - 2 = k. Is 12 a factor of q?
False
Let x(q) = -q**3 + q - 7. Is 5 a factor of x(-3)?
False
Let n(p) = -5*p + 3. Let r be n(2). Let c = -3 + 13. Let s = c - r. Is s a multiple of 17?
True
Suppose -2*m - 2*m - 276 = -4*z, -m = -3*z + 199. Is 28 a factor of z?
False
Suppose -2*a - 24 = 2*a. Let v be -255*(-3)/((-27)/a). Let j = -120 + v. Is j a multiple of 21?
False
Suppose -2*h = -3*t + 18, 0 = -2*t + 4*h + 4 - 0. Does 3 divide t?
False
Let j be -3 + 6*(-8)/(-6). Suppose -44 = 3*c - j*c. Is c a multiple of 6?
False
Let n be -1 + 3 + (1 - -25). Suppose -2*w + n = 2*w. Is w a multiple of 2?
False
Suppose 25 = 4*d + d. Let l(t) = t - 1. Let w be l(d). Suppose -55 = -w*c + 3*c. Does 21 divide c?
False
Let k(g) = 43*g**2 - 3*g + 2. Is k(1) a multiple of 9?
False
Let q be 18/(-27)*(-15)/2. Suppose -4*g = -q*h + 56, -5*g = 4*h - 53 - 0. Does 6 divide h?
True
Let d = 20 - -22. Is d a multiple of 7?
True
Suppose -2*f - u - 5 = 0, 5*u - 30 = 2*f - 7. Does 7 divide (-1)/f - (-385)/28?
True
Suppose 0 = 2*q - 5*q + 141. Does 6 divide q?
False
Suppose 3*i = i + 4. Suppose -5*t + i = -3. Does 2 divide 5 - (t - (0 + 1))?
False
Suppose 0 = 3*s - 2*y - 110, 3*s - 2*y - 100 = 2*y. Does 12 divide s?
False
Let k = -25 + 131. Is k a multiple of 13?
False
Let i be (2 - (-2 - -2)) + 1. Let x = 9 - i. Suppose x*u - u - 50 = 0. Is u a multiple of 5?
True
Let z = 1 - -1. Suppose -z*s - s + 12 = 0. Is 7 a factor of (15/9)/(s/24)?
False
Let j(b) = -b**3 - 6*b**2 + 5*b + 10. Let g be j(-7). Suppose -14 = -q - 2*u, -q - g = -3*q - 2*u. Does 5 divide q?
True
Suppose 2*p - 183 - 153 = a, -3*a = -4*p + 670. Is 13 a factor of p?
True
Let m(t) = 51*t - 8. Let x(o) = 17*o - 3. Suppose -a - 4*a = 5*s - 75, 0 = 5*s + 2*a - 63. Let i(h) = s*x(h) - 4*m(h). Is 11 a factor of i(-2)?
True
Let w = 100 - 39. Does 6 divide w?
False
Let d(v) be the third derivative of v**6/120 + 11*v**5/60 - v**4/24 - 3*v**3/2 - 2*v**2. Let h be d(-11). Let j(y) = 4*y**3 + 2*y**2. Does 20 divide j(h)?
True
Let a(t) be the first derivative of -4*t + 2 - 1/4*t**4 - 5/2*t**2 + 2*t**3. Does 3 divide a(4)?
False
Let g = 26 + -15. Suppose -5*u = g - 91. Is u a multiple of 8?
True
Let z(b) = -b**3 - b**2 + b + 1. Let f(s) = s**3 + s**2 - 6. Let c(a) = f(a) + 2*z(a). Does 8 divide c(-3)?
True
Let y(o) = o**2 - 7*o - 5. Let m(w) = w**2 - 2*w + 6. Let p be m(3). Is y(p) a multiple of 6?
False
Let d be 4/16 - (-7)/4. Suppose 1 = -d*m + 21. Suppose 0 = j + 4*q + 10, 0*q = -2*q - m. Does 10 divide j?
True
Let t be (-1)/((1/2)/1). Does 7 divide 21/(-3)*(1 + t)?
True
Suppose 0 = s - w + 4, -2*s = 3*s - w. Let y = s + 1. Suppose -2*m + y*h + 32 = 4*h, 0 = -4*m - 2*h + 56. Is m a multiple of 6?
True
Let k(i) = i**3 + 10*i**2 + 8*i + 8. Is 26 a factor of k(-6)?
True
Let o(y) = y + 1. Let s(k) = 6*k**2 - 6*k - 5. Let d(b) = 6*o(b) + s(b). Is d(-1) a multiple of 2?
False
Let x(t) = 4*t - 1. Is 4 a factor of x(4)?
False
Let p = 0 - -2. Is 8 a factor of 1 - (p/(-1) + -6)?
False
Suppose -3*t + 65 + 235 = 0. Suppose -7*r + 2*r + t = 0. Is 10 a factor of r?
True
Let g(o) = o + 8. Let t be g(-8). Suppose t = 3*i - 5 - 4. Is i a multiple of 3?
True
Let q = 25 - 53. Let f = -20 - q. Suppose -c + 14 + f = 0. Is c a multiple of 11?
True
Let g(i) = -i**3 - 4*i**2 - 5*i - 6. Does 7 divide g(-4)?
True
Suppose -3*w - 16 + 121 = 0. Is w a multiple of 9?
False
Suppose -2*y - 3*y = 5*m - 455, 3*y = 3*m + 291. Is 20 a factor of y?
False
Suppose 3*n = n - 2*k + 86, -4*n + 4*k = -140. Suppose 4*v = v - 6, -n = -3*b + 3*v. Does 11 divide b?
True
Suppose -60 = -2*j - 4*a, 0*j - 4*j + 3*a + 120 = 0. Is 6 a factor of j?
True
Suppose -28 = -3*h - h. Is h a multiple of 3?
False
Let x(n) = -n**2 + 3*n + 6. Let s be x(6). Let g be s*(5/(-2) - 1). Suppose 0 = -w + 4*w - g. Is w a multiple of 14?
True
Is ((2 - 3) + 15)/((-2)/(-38)) a multiple of 10?
False
Let p(y) = y. Is 3 a factor of p(12)?
True
Suppose 4*h - 75 - 5 = 0. Does 13 divide h?
False
Does 26 divide -3 + 6*84/8?
False
Let n be (-31)/(-1) - (-2)/1. Does 4 divide ((-10)/(-15))/(2/n)?
False
Let f(i) = 3*i**2 - 5*i - 7. Is 11 a factor of f(5)?
False
Suppose -i = -4*i + 12. Suppose -i = -4*u - 0. Let x = u - -4. Is x a multiple of 2?
False
Suppose q + 3*t - 99 = 0, -5*q + q = t - 374. Is q a mu