 - 4*b - q = f. Is 2 a factor of b?
True
Is 5 a factor of 11*(3 + (-2)/1)?
False
Let c = 694 - 473. Is c a multiple of 33?
False
Let d(j) = 3*j + 18. Is d(-5) even?
False
Let y(a) = -a - 2. Let r be y(-4). Let b(g) = 9*g - 3. Let v be b(r). Is 3 a factor of 100/v + 2/6?
False
Suppose 5*l = 10, -5*l + 2*l = -2*b + 44. Is b a multiple of 5?
True
Suppose -3*l = 159 - 852. Let k be (-6)/(-4) + (-494)/(-4). Suppose 2*y + 5*r - k = 0, -l + 32 = -3*y + 4*r. Is 22 a factor of y?
False
Let f(y) = -y**2 - 11*y + 3. Does 13 divide f(-10)?
True
Let f = 38 + -26. Suppose f = -z - 10. Let o = 50 + z. Is 10 a factor of o?
False
Let f = 38 - 22. Is f a multiple of 5?
False
Let d(c) = c**2 - c - 12. Let h = 2 - -3. Is d(h) a multiple of 4?
True
Suppose 2*v - 178 = g, -4*v + 2*v - 3*g = -186. Is 15 a factor of v?
True
Suppose 0*x = -4*x - 4. Let w = 15 + -6. Let u = w - x. Is u a multiple of 10?
True
Let a = -22 + 64. Is a even?
True
Is 6*-76*5/(-30) a multiple of 13?
False
Let d(p) = 3*p**3 - 15*p**2 + 5*p + 15. Let f(l) = l**3 - 7*l**2 + 3*l + 7. Suppose -4*h - 5 = 15. Let r(k) = h*f(k) + 2*d(k). Does 10 divide r(-5)?
True
Let z be (-3 - -2) + 3 + 1. Let r(p) = -p**2 + 4*p + 1. Let d be r(z). Suppose -d*a = -c - 0*c - 14, 5*c + 4*a - 26 = 0. Is c a multiple of 2?
True
Let j be ((-8)/(-24))/((-2)/6). Is j + 3/(-3) - -35 a multiple of 11?
True
Does 8 divide (-1)/((-9)/(-6))*-66?
False
Suppose 4*n - 2*c = 3*c + 361, -5*n + 443 = 2*c. Let l = n + -59. Is 15 a factor of l?
True
Let m(i) = i**3 + 18*i**2 + 12*i - 18. Is 19 a factor of m(-17)?
False
Let w(m) = m**2 - 8. Let b be w(8). Let s be 36*(1 + -2 - 0). Let z = s + b. Is 20 a factor of z?
True
Suppose -d - 21 = 4*n, -2*n + 5*d = d - 12. Let j be 194/(-6) - n/(-6). Does 4 divide (-2)/(12/j)*2?
False
Suppose 4*j - j - 6 = 5*p, -3*j - 3*p + 6 = 0. Suppose -4*i + 32 = j*w + 2*w, -2*w = 4*i - 26. Is i a multiple of 2?
False
Let k be -3*(-4)/6 - 2. Suppose k = -y + 5*y - 104. Does 13 divide y?
True
Let i(y) = -3*y**2 - y**3 + 2 - 8 + 7*y + 7*y**2. Suppose 0 = -2*c + 1 + 7. Is 11 a factor of i(c)?
True
Let v = 68 + 21. Is 4 a factor of v?
False
Suppose -5*y = -206 - 204. Does 12 divide y?
False
Let d be (-4)/18 - (-3825)/81. Suppose 103 + d = 5*h. Is h a multiple of 15?
True
Let r(n) = -13*n + 2. Let m(b) = -b**2 - 6*b - 3. Let x be m(-6). Let w be r(x). Let q = w - 29. Does 5 divide q?
False
Let f be 9/9 - 2/1. Let z(u) = 21*u**2 - 1. Does 15 divide z(f)?
False
Let r be 4/(-16) - (-33)/4. Let k be 45/(-2)*r/5. Let a = -25 - k. Does 11 divide a?
True
Let v be 1*-87*(-2)/6. Let z(b) = b**3 + 4*b**2 - 6*b + 2. Let p be z(-5). Suppose -v = -n + p. Is 18 a factor of n?
True
Let q be (-1 + 42/4)*4. Suppose -s + 0*s = -q. Is 18 a factor of s?
False
Suppose 3*i = -9 + 18. Let j(s) be the third derivative of s**5/60 + s**4/6 - 2*s**3/3 - s**2. Does 6 divide j(i)?
False
Let w be 16 + 1*(-3)/(-3). Is 1/(-1) - (-3 - w) a multiple of 7?
False
Suppose 2*y = -3*y + 20. Let h be (-2 + 6/y)*-66. Suppose -x + 2 = 5*t - h, -x + 11 = t. Does 5 divide t?
False
Let i(b) = 4*b + 4. Let s = 0 + 3. Does 16 divide i(s)?
True
Suppose 0*h = -5*h + 290. Is 11 a factor of h?
False
Suppose 0 = 3*s - 4*c - 18, -2*s - 4*c + 3*c = -1. Suppose y = -s*o - 0*y + 37, 0 = 3*y - 15. Does 16 divide o?
True
Suppose -d + 91 = -3*s, -3*d + 2*d - 4*s + 56 = 0. Is d a multiple of 8?
False
Let d(i) = -8*i + 1. Is 33 a factor of d(-4)?
True
Suppose 5*x + r = 566, 0*r = -x - 4*r + 117. Does 15 divide x?
False
Let x = -3 - -7. Suppose -5*s = -x*s - 5. Let p(f) = f**3 - 5*f**2 + 7*f - 7. Is p(s) a multiple of 14?
True
Suppose 3*u = 497 - 5. Is 41 a factor of u?
True
Let g(p) = 23*p + 3. Let h be g(3). Suppose -s + h = s. Is 12 a factor of s?
True
Let m(j) = -1 - 2 + 7*j**2 + 1 - j - 2. Is m(-3) a multiple of 31?
True
Let k be (-2 - 174)*1/1. Let t = -86 - k. Suppose -2*w + t = w. Is 15 a factor of w?
True
Suppose -3*v + 414 = -3*u, 5*v + 2*u - 699 = -2*u. Suppose 3*y - 17 = v. Is 26 a factor of y?
True
Suppose 8*u - 12*u + 176 = 0. Does 9 divide u?
False
Let b(z) = z**3 + 3*z**2 + 4. Let i be b(-4). Let l = i + 7. Does 2 divide 20/(-6)*6/l?
True
Suppose 2*q + 3*v + 0 = -6, -2*v = -3*q + 17. Suppose -3*g + 3 = q*y, -g + 0*g = 2*y + 4. Is g a multiple of 3?
True
Let r(z) = 4*z + 9. Does 45 divide r(9)?
True
Let k be (-40)/12*12/10. Let q(h) = 6*h**2 + 6*h + 6. Let o be q(k). Does 15 divide (o/(-4))/((-3)/4)?
False
Let b = -8 - -11. Let g be 4/14 - (-222)/7. Suppose -b*x - g = -5*x. Does 8 divide x?
True
Let s be ((-4)/(-16)*0 - 2) + -3. Suppose -3*f + 45 = 2*f. Let p = s + f. Is p a multiple of 3?
False
Suppose -k + 2*k = -3*w - 1, -2*w - 4*k - 4 = 0. Let o(g) = -g + 32. Does 17 divide o(w)?
False
Suppose 2*l = 6*l + 28. Let z be 99/(-21) + 2/l. Let u = z + 13. Is 4 a factor of u?
True
Let f(w) = w - 2. Let n be f(6). Let g be n - ((2 - 1) + 1). Is 7 a factor of g/5 + (-99)/(-15)?
True
Suppose -q + 239 = 2*d, 4*q = -5*d + 5*q + 594. Does 8 divide d?
False
Suppose 42 = -4*b - 114. Let r = b - -60. Is 21 a factor of r?
True
Let n(x) = -43*x + 59. Is 52 a factor of n(-8)?
False
Let h(o) = o - 1. Let r be h(5). Does 12 divide r/(-6) + (-308)/(-12)?
False
Let r(t) = t**3 + 2*t**2 - t. Let n be r(-2). Suppose 0 = -4*y + 4*c + 108, -3*y + 50 = -y + n*c. Is 11 a factor of y?
False
Let n(u) = -4 + 3*u + 4 - 11*u. Does 8 divide n(-3)?
True
Let j(m) = -2*m**2 - m + 2. Let v be j(2). Let y be (-37)/(-4) - (-2)/v. Is 5 a factor of y/(-3) - (-8 - 1)?
False
Let x = 23 + 17. Is 10 a factor of x?
True
Let j(b) = b**3 + 8*b**2 - 3*b + 6. Let m be j(-6). Let n = m + -41. Does 15 divide n?
False
Let x(p) = 3*p**2 + 10*p + 27. Does 14 divide x(-6)?
False
Let a = -67 + 137. Is a a multiple of 16?
False
Suppose -5*c + 16 = 6. Suppose -c*k + 3*k = 12. Does 4 divide k?
True
Suppose 7*p = 3*p + 12. Suppose 0*m + p*m - 81 = 0. Is m a multiple of 10?
False
Let q = -2 + 7. Suppose -2*f - o + 74 = -q*o, -2*f - o = -49. Does 16 divide f?
False
Suppose -5*y = -g + 10, 3*g - 3*y = g + 41. Is g a multiple of 6?
False
Let t = 76 + -1. Is (-30)/t - (-684)/10 a multiple of 17?
True
Suppose 3*g + 26 = 2*v, -5*g - 4*v - 18 = -4. Suppose -5*h - 52 = -3*p, -8*h - 39 = -4*h - 5*p. Let r = g - h. Is 3 a factor of r?
False
Let v be (-27*4/(-3))/2. Let m = -9 + v. Does 8 divide m?
False
Let a = -83 + 147. Is a a multiple of 16?
True
Let m(u) = -8*u**3 + 3*u**2 - 3*u - 12. Does 8 divide m(-3)?
True
Is 26 + 4 + (4 - 1) a multiple of 21?
False
Suppose -j = -4*j - r + 10, -2*r = -3*j - 2. Let p(w) = w - 1. Let m be p(j). Does 9 divide m/1 - (-6 - 11)?
True
Let o(z) = 2*z - 1. Let w be o(2). Suppose 3*t - 11 = -4*d - w, -3*d = 3*t - 9. Suppose -5*p + 2*k - 5*k + 43 = 0, -38 = -2*p + t*k. Is 9 a factor of p?
False
Let r(b) = 2*b + b - 3 + 3*b**2 - b**3 - b. Does 2 divide r(3)?
False
Let z(m) be the third derivative of m**8/2016 + m**6/720 + m**5/60 + 3*m**2. Let y(i) be the third derivative of z(i). Does 11 divide y(-1)?
True
Suppose 2*b - 3*u + 4*u = 6, -3*u = -b - 4. Let f(p) = -3*p**2 - b*p + 4*p**2 + 7 - 2*p. Is 12 a factor of f(5)?
True
Let y(d) = -2*d**3 - 3*d**2 - d + 2. Let b be y(-2). Let q be (126/b)/(1/4). Let l = q + -38. Does 13 divide l?
False
Suppose 2*z + 180 = 7*z. Is z a multiple of 18?
True
Let v(f) = 0 + 7 - 3 + f + f**2. Is 5 a factor of v(-3)?
True
Let w be -1*(-2)/2 + (-48)/12. Let l(k) = -4*k**3 + 7*k**2 + k + 1 + k**3 + 4*k**3. Does 11 divide l(w)?
False
Let f(m) = m + 28. Is f(-13) a multiple of 3?
True
Let n(r) = r**3 + 4*r**2 - 8*r - 5. Is 9 a factor of n(-5)?
False
Let a be 5 - (-2 + 0) - 2. Suppose 0 = -a*j + 42 - 7. Let v(q) = q - 4. Is 3 a factor of v(j)?
True
Let a = 16 + -31. Let m = 4 - 2. Does 5 divide 9/m*(-50)/a?
True
Let q = -31 + 105. Does 15 divide q?
False
Suppose -6*d - 171 = -3*l - 3*d, 4*d = -l + 42. Is l a multiple of 9?
True
Suppose -3*s = -5*m - 123, -3*m = -4*m. Does 16 divide s?
False
Suppose -5*f + 1 = -19. Let q be f*(0 + -1 + 2). Is 6 a factor of -26*(-2)/q + -1?
True
Let o(j) = -j**2 + 8*j + 1. Does 13 divide o(6)?
True
Let a(g) = g - 7. Let d be a(6). Does 4 divide ((1 + 4)*d)/(-1)?
False
Suppose -p + 0*p + 70 = 0. Let a be p + (0 - 4)/2. Suppose 5*i - a = 72. Is i a multiple of 10?
False
Let r = 14 - -11. Let y = r - -5. Is y a multiple of 15?
True
Let g be