+ -22. Let y = v + 1. Does 15 divide y?
True
Let h(m) = 2*m**3 - 10*m**2 - 12*m - 3. Does 18 divide h(7)?
False
Suppose -2*t + 13 + 37 = 0. Let n = t + -60. Let a = -19 - n. Is a a multiple of 8?
True
Suppose -2*z = -2*f + 88, 2*z + 45 = -3*f + 4*f. Let a = 78 - f. Is 12 a factor of a?
False
Suppose -4*b - b = -15. Let j = -2 + b. Let i = j + 15. Is 8 a factor of i?
True
Suppose -2*h + 5 + 11 = 0. Is h a multiple of 4?
True
Suppose 5*l - 74 = -3*r + 174, 0 = -4*r - 5*l + 334. Suppose -t = 4*m - 52, 0 = -5*m + 7*t - 3*t + r. Let c = 29 + m. Is c a multiple of 18?
False
Let y(i) = -6*i**2 + 2*i + 2. Let d(o) = -5*o**2 + o + 3. Let t(r) = -5*d(r) + 4*y(r). Let p be t(-5). Let k = 0 + p. Is k a multiple of 3?
True
Suppose -2*q + y - 99 = 2*q, 2*q = 3*y - 47. Let m = -13 - q. Does 5 divide m?
False
Let m(x) = x - 4. Let f be m(7). Suppose 2*v + v - 15 = -f*t, 3*v + 4*t = 18. Is 9 a factor of 34/2 - (-1 + v)?
False
Let d = -881 - -517. Let n = 139 + d. Does 17 divide (6/9)/((-3)/n)?
False
Let l(u) = -3*u + 2. Is 11 a factor of l(-3)?
True
Suppose -2*x + 60 = 3*x. Suppose s = 3*j - x, 2*j + j = -3*s. Suppose -p + 12 = j. Does 4 divide p?
False
Let y(u) = -u**3 - 4*u**2 - u - 3 + 4*u + 2*u**3. Let q be y(4). Let j(g) = 2*g - 9. Does 9 divide j(q)?
True
Is 48 a factor of -13 + 10 + ((-624)/2)/(-2)?
False
Suppose -2*w - 2*w = -3*y - 601, 0 = -5*w + 4*y + 752. Is w a multiple of 44?
False
Let w(u) = u**3 - 9*u**2 - 9*u - 8. Let f be w(10). Suppose 12 = 4*l - 5*g, 26 + 10 = f*l + 5*g. Does 4 divide l?
True
Let b = -46 - -25. Is ((-54)/b)/(-3)*-7 a multiple of 4?
False
Let k be 572/65*(-10)/(-4). Suppose -b + k = 4. Does 9 divide b?
True
Let s(a) = 3*a**2 + 5*a + 2. Suppose -5*f = -27 + 7. Is 14 a factor of s(f)?
True
Let d(t) = -t**3 - 5*t**2 - 6*t - 7. Does 19 divide d(-6)?
False
Let i be 10/2 - 1/1. Let m be i/(-6)*(-9)/2. Let b(p) = 2*p + 3. Does 3 divide b(m)?
True
Let h(j) = -7*j - 19. Let p(c) = -3*c - 9. Let i(m) = 2*h(m) - 5*p(m). Is i(7) a multiple of 7?
True
Let h(o) = 3*o**2 - 9*o. Is h(5) a multiple of 2?
True
Suppose g + g = 84. Is g a multiple of 15?
False
Let t = -7 + 5. Is -1 - (t + (-8 - 0)) a multiple of 6?
False
Let y(p) = -15*p**3 + 7*p**2 - 2*p - 4. Let j be y(5). Is 2/(-9) - j/18 a multiple of 19?
True
Let t(q) = 6*q - 5. Let h be t(4). Let o be 18/27 + 26/6. Suppose r - h = o. Does 16 divide r?
False
Let n(s) = -s**2 - 9*s - 2. Let u be n(-7). Let k be 1/3 + (-4)/u. Suppose k = 5*f - 2*f - 72. Is 17 a factor of f?
False
Is 28 a factor of 2/(-8) + (-1412)/(-16) - -2?
False
Let m(r) = -2*r - 1. Suppose 5*w - 2 = -17. Let v be m(w). Suppose 4*j + 37 = 5*l, v*l + 5*j - 17 - 38 = 0. Is l a multiple of 4?
False
Let r = 132 - 75. Suppose -2*v + 47 = -r. Does 26 divide v?
True
Let z = -60 - -132. Does 12 divide z?
True
Let r(z) = -36*z**3 - 2*z**2 - z. Let u = -2 + 1. Let a be r(u). Let y = -17 + a. Does 18 divide y?
True
Let z be 3/9*(10 - 1). Suppose 6 = z*r - 60. Is r a multiple of 11?
True
Let p(u) = u**3 - 11*u**2 - u + 16. Let q be p(11). Suppose 9 = -q*v + 34. Does 3 divide v?
False
Suppose -5*y + 12 = 42. Is y/9*(-135)/5 a multiple of 4?
False
Let y be (-2)/8 - (-219)/12. Does 7 divide 6*-1*(-60)/y?
False
Suppose 5*i = -88 + 28. Is (i/8 - -1)*-72 a multiple of 17?
False
Let f = -40 + 56. Is f a multiple of 9?
False
Suppose j + 2*j - 5*i = 541, -3*j + 537 = -3*i. Is 7 a factor of j?
False
Let k(x) = -x**2 - 7*x - 6. Suppose 0 = -3*q - 2*q - 25. Let v be k(q). Suppose 3*g - v = 2*g. Does 2 divide g?
True
Suppose 0*y - 6 = 2*y. Let m = 0 + y. Let s(j) = -j**3 - 3*j**2 - 4*j - 3. Does 5 divide s(m)?
False
Suppose 5*z = -4*s + 46, -7 = -4*z - 5*s + 37. Is z a multiple of 6?
True
Let m = -32 + 21. Let i(v) = -3*v + 6. Is 14 a factor of i(m)?
False
Let k(x) = 12*x + 8. Does 10 divide k(3)?
False
Let q(g) = -11*g - 2. Does 12 divide q(-5)?
False
Let c be (-2 + (-44)/(-16))*72. Let u = -6 - -10. Suppose c = -u*a + 158. Does 13 divide a?
True
Let d be -2 + (-5)/(10/(-8)). Let n(p) = 6*p. Is 6 a factor of n(d)?
True
Let x be 6/(-1 - 21/(-12)). Suppose 0 = 5*l - 3*p - x, -4*l + 5*l - 2*p = -4. Does 6 divide (-44)/(-6) - l/(-6)?
False
Suppose 26*u - 90 = 23*u. Is 15 a factor of u?
True
Let h(c) = -168*c. Let v(t) = -t. Let k(o) = -h(o) + 140*v(o). Let a be k(3). Is 10/(-4)*a/(-15) a multiple of 7?
True
Let i(k) be the first derivative of 2*k**3/3 + 2*k**2 + 4. Is 16 a factor of i(-6)?
True
Suppose -2*g + 670 = -6*p + p, -p = 3*g - 988. Is g a multiple of 36?
False
Suppose -2*h + 6*h - 20 = t, 4 = 5*h + 4*t. Let b(j) = 1. Let i(r) = -4*r + 10. Let q(u) = 18*b(u) - 2*i(u). Does 11 divide q(h)?
False
Let j(r) = -r**3 - r**2 + r + 60. Does 15 divide j(0)?
True
Suppose -6*j + 4*j = 2. Is 4 a factor of (j - 4) + 3 - -10?
True
Let p = -9 - -20. Does 9 divide p?
False
Let y(h) = -7*h**2 + 6*h - 5*h**3 + 3*h**3 - 2 + h**3. Is 7 a factor of y(-8)?
True
Suppose -y = 2*u - 224, -2*u - 6 = -2. Does 12 divide y?
True
Let o(n) = n**2 + 6*n - 8. Let p be o(-7). Let f = 1 - p. Suppose f*q + 3*q - 31 = -2*b, 0 = -2*q - 5*b + 25. Is q even?
False
Let k = 39 - 10. Suppose 0 = -4*m + k + 43. Is m a multiple of 16?
False
Let z = 50 - -41. Is z a multiple of 13?
True
Suppose -1 = 4*x - 9. Suppose 0 = y + x*y - 12. Does 4 divide y?
True
Suppose 0*n = -2*n + 12. Let m(l) = l**2 - 4*l - 5. Is m(n) a multiple of 7?
True
Is 5 a factor of 2 - (-3 + -13)*1?
False
Suppose -16 = -4*d, -x - 60 + 10 = 2*d. Let v = -27 - x. Does 16 divide v?
False
Suppose -11*w = -6*w - 585. Is w a multiple of 20?
False
Let u(t) = -t - 7. Is u(-10) a multiple of 3?
True
Let o(p) = -p**2 + 1. Let w(u) = -9*u**2 + 4. Let m(c) = 5*o(c) - w(c). Let r be m(1). Suppose 20 - 62 = -q + 5*f, f - 106 = -r*q. Is 14 a factor of q?
False
Let y = 135 - 78. Is 16 a factor of y?
False
Does 25 divide 10/((-2)/((-20)/21) - 2)?
True
Let b = 9 - 6. Suppose 16 = 2*a - 0*a - b*d, 2*a = d + 8. Is a even?
True
Suppose -5*i + 3 = -2. Is 8 a factor of 43 - 6 - i*2?
False
Let h(f) = 4*f - 7. Let g(i) = 2*i**2 + 2*i - 1. Let m be g(-2). Suppose -4*j + 49 = -5*x, 2 = -m*j - 4*x - 0*x. Does 13 divide h(j)?
False
Suppose j + 43 = 4*b, 0 = j - 5*j - b - 87. Let g = 54 + j. Does 15 divide g?
False
Let s(d) = -d**3 + 2*d**2 + 2*d - 3. Let g be s(-3). Suppose 0 = -4*c + 2*c + g. Is c a multiple of 9?
True
Suppose 5*w = 3*s + 1, w - 5 = -4*s + 3*s. Is 5 + ((-1)/(-1) - w) a multiple of 2?
True
Let w(q) = 6*q**3 - 3*q**2 + q. Is w(2) a multiple of 11?
False
Let f = 62 - 121. Let y = -27 - f. Is 13 a factor of y?
False
Suppose 0 = -3*f + 2*n + 200, -7*f + 6*f - 3*n = -52. Is 4 a factor of f?
True
Let d(b) = -4*b + 2 + 9*b**2 - 9*b**2 + 6*b**2. Is 18 a factor of d(2)?
True
Let o(d) = 10*d + 1. Let y(a) = -4*a - 1. Let q be y(-1). Is o(q) a multiple of 20?
False
Let g(u) = -2*u + 2. Let c(k) = -5*k + 5. Let q(d) = -3*c(d) + 8*g(d). Let t be q(1). Suppose -2*v + 27 + 15 = t. Does 12 divide v?
False
Let g = 20 - -11. Does 7 divide g?
False
Suppose -3*z + 30 = -u, -2*z = 5*u - 51 + 14. Is z a multiple of 11?
True
Let o be (10/(-6))/((-2)/78). Is o - (-3 - (-1 + -6)) a multiple of 23?
False
Suppose 0 = -5*s + 2*d + 18, -3*d + 2*d = -1. Is 14 a factor of 381/15 + s/(-10)?
False
Let x be (-40 + 0)*(-2 + 1). Is 4 a factor of (96/x)/(3/10)?
True
Let w(c) = 0 + 2*c - 5*c - 1 - 9. Does 16 divide w(-9)?
False
Does 26 divide (-9058)/(-70) - (-3)/5?
True
Let s be 11 + (-3)/((-3)/(-2)). Let c(l) = -8*l + 14. Let q(n) = 4*n - 7. Let t(g) = s*q(g) + 4*c(g). Is 6 a factor of t(5)?
False
Suppose 8*f = 3*f. Suppose 2*o + s - 2 = f, -3*s + 0*s - 3 = 3*o. Does 2 divide 12/(9/o) + 0?
True
Let q be -9*-10*(-3)/(-18). Is (-3)/3 + 2 + q a multiple of 8?
True
Does 8 divide (16/(-24))/(2/(-285))?
False
Let q be 8/10*(-25)/10. Let d(z) be the second derivative of -z**5/4 - z**4/6 + z**3/2 + 3*z**2/2 + z. Is d(q) a multiple of 11?
False
Suppose -5*u + 4 = -6, 3*u = 2*i - 4. Is 3 a factor of i?
False
Let t = -5 + 8. Suppose -3*f - t*p + 48 = 0, 0 = -p - 4*p - 20. Does 10 divide f?
True
Let m = -54 - -100. Suppose 0 = -z + m - 2. Is 12 a factor of z?
False
Is 4 a factor of (-2 + 3)*11*1?
False
Let n(b) = -b**2 + 11*b - 8. Let k(t) = 2*t - 4. Let u be k(6). Is 8 a factor of n(u)?
True
Let s(w) = 8*w**2 + 2*w - 2. Is s(2) a multiple of 13?
False
Let n(r) = 23*r + 