+ 10. Suppose z*g - 42 = g. Is 5 a factor of g?
False
Suppose k - 4 = 1. Suppose 5*t = -0*t + k, w = -2*t + 10. Let q(x) = x**3 - 6*x**2 - 9*x - 4. Does 26 divide q(w)?
True
Let s(r) = r**2 - r - 4. Let y be s(-3). Suppose -q = 2*b - 15, 5*b - y = 5*q + 7. Is b a multiple of 6?
True
Suppose z - 44 = 3*o, -5*o - 64 - 12 = z. Let g(n) = n**2 + 11*n - 18. Does 9 divide g(o)?
False
Let k = -11 - -26. Does 4 divide k?
False
Let q = 17 - 4. Does 13 divide q?
True
Let s(x) = 5*x - 274*x - 1 - 62*x. Let v be s(1). Is 15 a factor of (-2)/11 + v/(-11)?
True
Let g(q) = -3*q**3 - 6*q**2 + 2*q + 4. Does 28 divide g(-5)?
False
Suppose 0 = -4*f + 4*j + 24, 5*f = -j + 2*j + 22. Suppose 0 = -f*z + 27 + 5. Is z a multiple of 4?
True
Let d be (-2)/(-5) - (-12)/20. Is 6/(((-8)/(-44))/d) a multiple of 20?
False
Let a = -8 - -12. Suppose -4*i + 3*w + 31 = -12, 0 = -i + a*w + 14. Is i a multiple of 10?
True
Let w(z) = 3*z**3 + 4*z**2 - 4*z + 24. Let o(a) = -8*a**3 - 11*a**2 + 11*a - 72. Let y(g) = -4*o(g) - 11*w(g). Is y(0) a multiple of 11?
False
Let g(z) = -z**2 - 18*z - 5. Is g(-7) a multiple of 14?
False
Suppose 5*f - 4 = 6. Suppose -h + f*j = -113, -j = 1 + 3. Does 14 divide ((-8)/10)/((-6)/h)?
True
Let c be (-263)/(-3) - 2/(-6). Suppose -c = t - 5*t. Is 13 a factor of t?
False
Let z be 18/(-12)*(-104)/6. Let o = z + -14. Is o a multiple of 12?
True
Is 3 a factor of (-1 + (-33)/(-12))/(1/8)?
False
Suppose 2*h - 66 = -2*v, 14 = v + 4*h - 13. Does 12 divide v?
False
Suppose -19*f - 26 = -20*f. Is f a multiple of 18?
False
Suppose -3*j + p = -4*p - 35, 33 = 5*j - 2*p. Suppose -182 = -j*u - 22. Is u a multiple of 16?
True
Let i(s) = -s**3 + 8*s**2 + 7*s - 7. Does 7 divide i(8)?
True
Let r = 8 + 1. Let m = 34 - r. Is 22 a factor of m?
False
Suppose -3*v = v + 36. Let j(o) = o**3 + 8*o**2 - 11*o - 10. Does 8 divide j(v)?
True
Let b be (2*16 + -2)*1. Let q(s) = s**3 - 5*s**2 - 4*s + 5. Let y be q(5). Let g = y + b. Is g a multiple of 15?
True
Suppose -2*f = -4*f - 24. Let p be ((-100)/(-15))/((-1)/f). Suppose -3*j + p = 4*h, -3*h + 5 = -10. Is j a multiple of 14?
False
Suppose -r = 1 - 20. Does 6 divide r?
False
Let l = -11 + 16. Suppose -19 + 4 = -l*g. Does 2 divide g?
False
Suppose 4*b = 2*b + 46. Suppose 0 = -4*w + 57 + b. Is w a multiple of 14?
False
Let b be ((-1)/(-2))/(3/(-462)). Let k = 135 + b. Suppose t + t - k = 0. Does 11 divide t?
False
Suppose 0 = 3*o + o - 552. Suppose 3*n = 6*n - o. Is 12 a factor of (-2)/(n/24 + -2)?
True
Let u(q) = -15*q**3 + q**2. Is u(-1) a multiple of 4?
True
Let t(r) = 30*r**3 + r**2 + r - 2. Let w(h) = -h + 6. Let b be w(5). Is 10 a factor of t(b)?
True
Let v(x) = -x**3 - 10*x**2 - 5*x - 14. Let m(i) = i**3 + 10*i**2 + 4*i + 14. Let o(f) = 5*m(f) + 4*v(f). Let k be o(-10). Let g = 2 + k. Is 16 a factor of g?
True
Suppose 0 = 3*z - z - 4. Let j be 1/z*0/(-4). Suppose j*s + 3*s - 21 = 0. Is s a multiple of 3?
False
Suppose 5*s - w + 55 = -25, -4*w - 55 = 5*s. Is (3 + s)/(0 + -2) a multiple of 6?
True
Suppose x - 4*h - 52 = 70, 2*x - 5*h = 241. Is x a multiple of 24?
False
Suppose -4*v + 2*l = 14, -5*l + 3*l = -6. Let p(o) = -5*o - 3. Is p(v) a multiple of 3?
False
Let s(v) be the first derivative of 7*v**3/3 + v**2 + 2*v + 1. Does 19 divide s(-3)?
False
Suppose 2*s + s - 42 = 0. Suppose s = 3*g + 2. Suppose g*i - 16 - 2 = -3*r, -3*r + 9 = i. Is 3 a factor of i?
True
Let n = 32 + -17. Does 3 divide n?
True
Is 10 a factor of -3 + (1 - 1) + 49?
False
Let o(i) = i + 18. Let m(f) = f**2 - 1. Let z be m(-1). Let k = z - 0. Does 9 divide o(k)?
True
Let s = -5 + 18. Does 4 divide s?
False
Let t(s) = -6*s**2 + 2*s + 4. Let f(b) = 1. Let l(o) = 4*f(o) - t(o). Is 4 a factor of l(2)?
True
Let l(u) = -1 + 4*u + 2 - 11. Does 13 divide l(6)?
False
Let t(v) = v + 5 - 2*v**2 - 8 - 5*v - 5*v**3 + 3*v**3. Is 5 a factor of t(-2)?
False
Let g(k) = -7*k - 7. Is 28 a factor of g(-5)?
True
Suppose 0 = v - 3*a - 2*a - 69, -4*v + 212 = -4*a. Does 12 divide v?
False
Suppose 1450 = b + 4*b. Does 29 divide b?
True
Let n = -6 + 14. Let b = 14 - n. Suppose 0 = -s + b + 6. Is 4 a factor of s?
True
Suppose -24 = -d + 5*d. Is 3 a factor of (2/3)/((-1)/d)?
False
Let s = 196 - 79. Is 9 a factor of s?
True
Suppose 6*f + 48 = 3*f. Let d = f - -26. Is d a multiple of 7?
False
Let a(d) = -d**3 - 4*d**2 - d + 4. Let n be a(-3). Let v be 1/n + (-10)/(-4). Suppose v*m - m - 14 = 0. Is m a multiple of 14?
True
Suppose -l = 2*r - 2*l + 165, -4*l = -3*r - 245. Let f = r + 119. Does 12 divide f?
True
Let r be (-1 + -2)/((-3)/(-46)). Let k = 64 + r. Is 10 a factor of k?
False
Let f = 26 - 14. Let k = 6 - f. Does 14 divide -8*(15/k - 1)?
True
Does 39 divide (-10)/(-40) - (-2166)/8?
False
Let m be 1 - (1 - 1) - -8. Suppose -t = m - 42. Does 11 divide t?
True
Let v = 110 - 93. Does 4 divide v?
False
Suppose 4*x - 598 = 2*b, 0 = 2*x + x + 2*b - 452. Suppose -3*r + x = 2*r. Does 10 divide r?
True
Suppose p - 3*b = -32, 2*b = 2*p + 5*b + 64. Let a = -8 - p. Suppose 2*y + a = c, 2*c + 2*y = 57 + 9. Is 10 a factor of c?
True
Suppose 2*g = -3*f - 0*f - 25, -3*g = 5*f + 40. Let c = f - -3. Let x = 20 + c. Is 8 a factor of x?
False
Suppose -2*y - 174 + 52 = 0. Let s = y - -96. Is 11 a factor of s?
False
Let a(h) = 3*h + 6. Suppose 0 = 4*d - 20. Does 13 divide a(d)?
False
Suppose -174 + 2394 = -5*c. Is 3/(-2)*c/18 a multiple of 15?
False
Let n = 51 + -18. Is 11 a factor of n?
True
Let d = 5 - 10. Let c be (-6)/(-15) - 248/d. Suppose 6*g - c = g. Is 5 a factor of g?
True
Let j = -168 + 280. Does 14 divide j?
True
Suppose -7*s + 10*s = 6. Suppose -a - s*a + k = -68, -5*a - 3*k = -104. Does 11 divide a?
True
Is 6 a factor of -1 + -2 + 61 + -2?
False
Let v be 12 - 4/((-4)/(-3)). Is (18/8)/(v/120) a multiple of 10?
True
Let q = -23 + 30. Does 2 divide q?
False
Suppose 0 = -t + 4*t + 5*w - 204, -2*t = 2*w - 136. Is 2 a factor of t?
True
Let p(a) = -a**2 + a + 3. Let z be p(0). Suppose 2*g - 5*k - 79 = 0, z*g = 6*g - k - 86. Is 9 a factor of g?
True
Suppose h - 3*h - 271 = -3*d, 20 = 5*h. Let a(t) = t**2 - 21*t + 37. Let s be a(15). Let i = d + s. Is 20 a factor of i?
True
Let o be (-3 + 1)*232/(-16). Suppose -s + o = 1. Is s a multiple of 14?
True
Suppose 0 = d + 2*d. Suppose -3*q + 156 = -y, -2*q - 174 = -5*q - 5*y. Suppose d*i = 3*i + 2*u - 134, -q = -i + u. Is i a multiple of 24?
True
Let p(u) = u**2 + 4*u. Let b be p(-3). Is b/(-4 + 1)*2 even?
True
Let c be (5 + -2)/1*9. Suppose -c = -4*z + z. Is z a multiple of 4?
False
Does 14 divide 39 - (-4)/(1 - 3)?
False
Let f(c) = c**2 - 4*c + 10. Let p be f(4). Suppose p*j = 5*j + 250. Is 25 a factor of j?
True
Let r(a) = a**2 + 7*a - 2. Let w(c) = -c**3 - 4*c**2 - 2. Let k be w(-2). Is r(k) a multiple of 12?
False
Suppose -1031 = -6*x - 407. Does 11 divide x?
False
Suppose b - 3 = -m, 3*b + b = 5*m - 24. Let r be 1 + 0 - (2 - 1). Let u = m - r. Is u a multiple of 3?
False
Is 17 a factor of (4/6)/(4/204)?
True
Let z(o) = 3*o - 18. Is 6 a factor of z(14)?
True
Let q be (-104)/12*3/2. Let g = 3 - q. Does 16 divide g?
True
Let j(n) = 3*n**2 + 30*n + 6. Is j(7) a multiple of 26?
False
Suppose 0 = 5*n + 3*t - 6, -5*n = 5*t + 1 - 11. Suppose -j = -3*q - n*q - 9, -3*j = q - 57. Does 5 divide j?
False
Let v be (-2)/10 - (-116)/(-20). Is 42/4*v/(-9) a multiple of 2?
False
Let d = -10 + 5. Let h = d + 23. Is h a multiple of 6?
True
Suppose -t - 3*t = -468. Does 39 divide t?
True
Suppose -5*s + s + 84 = 0. Is 7 a factor of s?
True
Let x = 50 + -216. Suppose -3*q = -12, 4*a = -8*q + 5*q + 156. Is 9 a factor of x/(-18) - 8/a?
True
Let d(t) = t**2 - 3*t + 7. Is 14 a factor of d(7)?
False
Let u be -1 + 2 + (82 - 3). Let p = -45 + u. Is p a multiple of 21?
False
Let a = 23 - -23. Let b = a + -29. Is b a multiple of 8?
False
Let p = 3 + 12. Is p a multiple of 15?
True
Suppose n = -3*n - c + 599, 0 = -5*n - 4*c + 735. Is 29 a factor of n?
False
Let j be 4/18 + (-16)/72. Let k(p) = p + 52. Is 26 a factor of k(j)?
True
Suppose 2*t + 1 = 5. Suppose t*s + 3*s = -60. Is (-2)/(4/3)*s a multiple of 18?
True
Suppose 5*x - 870 = 5*t - 0*t, 4 = 2*t. Let m = x - 104. Is 24 a factor of m?
True
Let k(y) = 2*y**2 - 10*y + 15. Is 11 a factor of k(6)?
False
Let p(s) = s**2 - 3*s - 4. Let v be p(4). Suppose 198 = 5*o + 3. Suppose v*h = 3*h - o. Does 13 divide h?
True
Suppose 2*v 