33, 3*c = -9. Is 35 a factor of w/(-21) + (-1952)/(-28)?
True
Let d(h) = h**3 + 7*h**2 + 4*h - 7. Let p be d(-6). Suppose 3*t - 46 = -z, -3*z + 28 + p = 2*t. Let o = -1 + t. Is 7 a factor of o?
True
Let y be (2/(-4))/(2/(-20)). Suppose y*m + b = 35, -5*m + 38 = 3*b + 3. Does 5 divide m?
False
Let o(r) = -r - 7. Let l be o(-9). Suppose l*f - 52 = -2*f. Is 5 a factor of f?
False
Let b(r) be the second derivative of r**5/20 - r**4/6 - r**3/3 - r**2 - 5*r. Is 17 a factor of b(4)?
False
Let x be (-8)/4 - (-1 - -1). Does 7 divide (x - (3 - 17)) + 2?
True
Suppose 0 = 6*t - 3*t - 309. Is 7 a factor of t?
False
Let d(k) = -5*k**2 + 10*k - 5. Let n(x) = -2*x**2 + 5*x - 3. Let t(o) = 3*d(o) - 7*n(o). Does 6 divide t(-5)?
True
Let o be ((-2)/6)/(6/(-36)). Suppose 0*v = -o*v + 90. Is v a multiple of 15?
True
Suppose -h - 4*q = -10 - 88, -5*q + 403 = 4*h. Does 34 divide h?
True
Let q = 20 + 11. Is 7 a factor of q?
False
Let k(j) = j**3 + 14*j**2 + 9*j + 23. Does 15 divide k(-13)?
True
Suppose -519 = -3*d - 5*s, -5*d + 931 = -3*s + 32. Suppose -3*w = -6, -d = -5*l - 7*w + 3*w. Is l a multiple of 17?
True
Let c(n) = -n**3 - 5*n**2 + 8*n + 6. Let i be c(-6). Does 3 divide -1 - -4 - 2*i?
True
Let o(s) = -s**2 - 3*s + 1. Let c be o(-3). Suppose -c = -x + z, z - 12 = -3*x + 11. Does 6 divide x?
True
Suppose 4*t + 1412 = 2*l, -3*l = 2*t - 0*l + 714. Let n be (t/(-9))/((-4)/(-6)). Suppose n + 11 = 5*g. Is 6 a factor of g?
False
Suppose 4*r + t = 467, 4*t = 4*r - 308 - 184. Let j = r - 81. Is 13 a factor of j?
False
Does 7 divide (-16)/40 - (-284)/10?
True
Let w(b) = -3*b**3 + 7*b**2 - 3*b - 18. Let u(y) = 4*y**3 - 11*y**2 + 5*y + 27. Let z(g) = 5*u(g) + 7*w(g). Let t be z(-6). Let o = 21 + t. Is 2 a factor of o?
True
Let x = -76 + 109. Does 7 divide x?
False
Let l = -9 - 1. Suppose 0 = -8*a + 28 + 12. Does 21 divide 108/a + (-4)/l?
False
Let k(c) = 2*c**2 - c - 1. Let t = 2 - -3. Let l be 5 - t/((-10)/(-4)). Is k(l) a multiple of 5?
False
Let g(w) = -13*w - 1. Let x(a) = a + 1. Let t(j) = g(j) + 4*x(j). Does 15 divide t(-3)?
True
Let s = 83 + -3. Is 8 a factor of s?
True
Let r = -142 - -246. Let h = r - 60. Suppose 0 = -3*f + f - 3*p + h, 0 = 4*f - p - 116. Is 14 a factor of f?
True
Suppose -3*i - 16 + 49 = 0. Let k = 5 + i. Does 6 divide k?
False
Let u be (2 + 2)*4 + -2. Suppose 0 = -2*x + u + 4. Is x a multiple of 3?
True
Let g(m) = -28*m - 5. Does 11 divide g(-2)?
False
Let n(m) = 4*m + 5. Is 13 a factor of n(15)?
True
Suppose -z + 6*z - 70 = 0. Let t = -11 + z. Is 2 a factor of t?
False
Let f(l) = 3*l - 1. Let c be f(8). Suppose 3 - c = -5*k. Suppose -k*n + 2*n + 4*b = -40, 71 = 3*n + 5*b. Is n a multiple of 9?
False
Let v = 66 + -37. Suppose 0 = 2*s - v - 41. Does 27 divide s?
False
Let o = 74 - 35. Suppose -v + o = -0*v. Is 13 a factor of v?
True
Let s = 4 + -3. Let t be (-2)/4*(5 - -1). Let h = s - t. Does 3 divide h?
False
Let s(n) = -n**2 - 16*n + 9. Is 18 a factor of s(-12)?
False
Let a = 34 - -2. Is a a multiple of 18?
True
Suppose 2*v - 3*v + 3 = 0. Let u be -1*v - (-4 + 3). Is (3/u)/((-6)/32) a multiple of 4?
True
Suppose -4*p + 9 = -115. Let n = -16 + p. Is 5 a factor of n?
True
Let g be (-2)/(-7) + 26/7. Let n be g/3*48/2. Let y = -10 + n. Does 11 divide y?
True
Suppose 0 = -5*c + 221 + 139. Is c a multiple of 24?
True
Let i(a) = -a + 6. Let v be i(0). Does 13 divide 26/((-1)/((-9)/v))?
True
Suppose -68 = -2*h - 20. Suppose c - h = -0*c. Is 12 a factor of c?
True
Suppose -107 = -3*y + 2*b, -19 + 98 = 3*y + 5*b. Suppose 4*m - y = m. Is 11 a factor of m?
True
Let z(p) = -2*p - 6. Let q be z(-4). Suppose 128 = 4*d - q*d. Is d a multiple of 31?
False
Let i be 6*((-9)/(-6) + -1). Suppose -i*y + y - 24 = -f, -15 = -5*y. Does 8 divide f?
False
Let o be (0/1)/(14/7). Suppose 3*i = -o*i + 6. Suppose 5*v - 37 = u, 3*v - i*u = -19 + 44. Is 3 a factor of v?
False
Suppose -2*c = -0*c - 102. Let d = -15 + c. Is 18 a factor of d?
True
Let y(r) = 6*r**2 - 2*r + 3. Let q be y(3). Let x = q - 31. Does 10 divide x?
True
Suppose -81 = -b - 0*b. Let m = b + -37. Is m a multiple of 12?
False
Let t(w) be the second derivative of w**4/6 - 5*w**3/6 + 4*w. Is t(4) a multiple of 4?
True
Suppose -4*k = -7 + 19. Let u be (-2)/k - 114/9. Let v = u + 39. Is 15 a factor of v?
False
Let z = -148 - -328. Is z a multiple of 45?
True
Suppose -o = -0*o - 23. Is 23 a factor of o?
True
Let b = 5 + -31. Let z = b - -46. Is z a multiple of 13?
False
Let p(m) = -m**3 - 12*m**2 - 14*m - 20. Is p(-12) a multiple of 22?
False
Let l be (9/(-6))/((-6)/160). Is (-5)/2*(-128)/l a multiple of 4?
True
Let t(s) = 8*s + 26. Is t(9) a multiple of 6?
False
Let y(u) = -u**2 - 14*u - 2. Is 2 a factor of y(-13)?
False
Let k(u) = -22*u**3 - 3*u + 21*u**3 - 11 + 9*u**2 + 17*u. Suppose 38 + 2 = 4*v. Is k(v) a multiple of 10?
False
Suppose -59 = -h + 58. Is h a multiple of 16?
False
Let i = 484 - 309. Does 25 divide i?
True
Let f(i) = -6*i + 15. Let d(y) = -3*y + 8. Let c(o) = 7*d(o) - 4*f(o). Is 6 a factor of c(4)?
False
Let w = 30 - 20. Let o(v) = -v**3 + 9*v**2 + 11*v - 6. Let q be o(w). Does 9 divide q/(-6) - 177/(-9)?
False
Let b be 2/(-7) - (-40)/(-7). Is 6 a factor of 3*((-112)/b)/4?
False
Let w(z) be the third derivative of z**5/60 + z**4/12 + 2*z**3/3 - 4*z**2. Suppose -5*f - l = -0*l + 23, l = -3. Does 6 divide w(f)?
True
Let a be 9/(-27) - (-74)/6. Suppose 14 = 3*m - 8*m - 3*c, -3*m - a = 3*c. Does 13 divide 3 + (1 - (-8 + m))?
True
Does 21 divide (-216)/(-60)*35/2?
True
Let i(l) = -l**2 - 10*l + 2. Let a be i(-10). Suppose -3*n = -a*n + 4*h - 55, -n = -2*h - 85. Is n a multiple of 25?
True
Let q = 153 - 32. Suppose 0 = 3*t - 3*m - 87, -5*t + 0*m = m - q. Is t a multiple of 18?
False
Suppose 0 = 5*a + n - 27, 5*n + 4 = 5*a - 11. Let y be 2/(-5) - 738/a. Is (-4)/(-20) - y/10 a multiple of 5?
True
Let x = 0 + 4. Suppose -50 = -x*v - 6. Let a = v - 8. Does 2 divide a?
False
Let v be (-21)/(-6) + (-1)/2. Is (v - (0 - 0)) + 1 even?
True
Suppose -4*n - 28 = 16. Let m(s) = -s**3 + 3*s**2 + 3*s + 1. Let v be m(-2). Let j = v - n. Is j a multiple of 9?
False
Let n = 11 + -8. Suppose -s - 5*r + 0 + 5 = 0, 0 = -s + n*r + 21. Is 4 a factor of s?
False
Let w be 22/6 - (-4)/(-6). Suppose -w*m + m + 26 = 0. Does 6 divide m?
False
Let y = 34 + -3. Does 14 divide y?
False
Let d be 3 - 3 - -1*100. Suppose 5*y + b = d, -y + 4 = -0*b - 3*b. Does 13 divide y?
False
Suppose -3*c = o + 13, 4*c - o = -3*o - 20. Let j be 3/(3*c/(-6)). Suppose -j*m + 28 + 28 = 0. Is 12 a factor of m?
False
Let t = 32 - 10. Let w = 5 + -6. Let y = t + w. Is y a multiple of 9?
False
Suppose 0 = -5*q - 10, h + 4*h - 32 = -4*q. Suppose 0 = -2*y - p + 7, -y + 2*y - 4*p - h = 0. Suppose y*j = -3*a + a + 56, 5*a = -3*j + 133. Does 26 divide a?
True
Let i = 30 - 7. Is 19 a factor of i?
False
Does 18 divide 1 - (-71)/((-3)/(-3))?
True
Let d be ((-15)/20)/(1/(-4)). Let b = d + 10. Is 12 a factor of b?
False
Suppose -6*h = -2*h + 12. Let t be 5/15 + (-5)/h. Suppose -t*u + 22 + 26 = 0. Does 12 divide u?
True
Suppose 3*c = 27 + 162. Suppose 0 = 5*z + 13 - c. Is 9 a factor of z?
False
Suppose 0 = 5*q - 10, -h - 2*h - 5*q + 241 = 0. Is 11 a factor of h?
True
Let k be -3 + (2/2 - 0). Let t be (-142)/(-4) - 1/k. Suppose g + 14 = 3*g + v, 5*g + 2*v = t. Does 4 divide g?
True
Let z(g) be the second derivative of 7/6*g**3 - 3/2*g**2 + 1/20*g**5 - 7/12*g**4 + 2*g + 0. Does 3 divide z(6)?
True
Let o be 1*-2*(-2 + 1). Suppose -o = -2*h + 10. Does 6 divide h?
True
Let o(g) = -g**3 - 11*g**2 - 9*g + 14. Let n be o(-10). Suppose -n*l + 4*t = -116, 5*l = -4*t + 8*t + 144. Is l a multiple of 28?
True
Let o(k) = -k + 8. Let v be o(6). Let z(t) = 11*t**v - 1 + 4 + 3*t + 4*t + t**3 + 3*t. Is z(-10) even?
False
Suppose 135 = -6*b + b. Let w = -13 - b. Is 14 a factor of w?
True
Let n be ((-27)/(-12))/((-3)/(-8)). Suppose -p - 3*y = -n, -y = p + 3*y - 7. Let a = p + 2. Is 5 a factor of a?
True
Let f = 48 - -128. Suppose -4*x + 100 + f = 0. Is 23 a factor of x?
True
Let l be ((-108)/15)/((-2)/(-35)). Let s = -75 - l. Suppose -2*u = -s + 19. Is u a multiple of 8?
True
Suppose 3*c = s + 2*s + 216, -2*s + 152 = 2*c. Let a = c + -40. Is a a multiple of 11?
False
Let g be ((-12)/(-8))/((-9)/(-66)). Let d = g - -9. Is d a multiple of 5?
True
Let t = 21 + -32. Let l = 7 + t. Let