w)?
False
Suppose 16*g + 295 = 21*g. Let b = -39 + g. Does 6 divide b?
False
Let b(q) = 2*q**3 - 38*q**2 - 26*q + 3. Is b(20) a multiple of 8?
False
Suppose -f + 1 = -10. Let b(s) = -s**2 + 10*s + 10. Let a be b(f). Is 3 - (-17 - (a - 1)) a multiple of 9?
True
Let z(d) = 2 + 2 + d**2 - 2*d - 7. Let m be z(4). Suppose 3*o = m*o - 16. Does 8 divide o?
True
Let k = -85 - -88. Suppose 0 = -5*w + k*w + 342. Does 10 divide w?
False
Let s(d) = 835*d**2 - 3*d - 2. Is 38 a factor of s(-1)?
True
Is 10 a factor of -3 + (4 - -888)/4?
True
Let s = -152 + 636. Is 15 a factor of s?
False
Is 12 a factor of 2/13 - ((-21570)/65 - 1)?
False
Suppose 28*j = 23*j + 3*i + 2930, 5*j + 2*i - 2930 = 0. Is 3 a factor of j?
False
Suppose -6*a + 45 = 3*a. Suppose -a*m + 176 = 1. Is m a multiple of 7?
True
Is (-469)/(-134)*(0 - 132/(-7)) a multiple of 33?
True
Let g(d) = -3*d - 31. Is g(-33) a multiple of 17?
True
Let a(w) = 2*w**3 - 4*w**2 - w + 2. Suppose 2*y = 4*y - 2. Let b(p) = 3*p**2 + p - 1. Let c be b(y). Is 9 a factor of a(c)?
False
Let w be 0 + ((-3)/(-3) - 0). Let v be w*-48*6/(-8). Let i = v - 16. Does 13 divide i?
False
Let w(q) = 28*q**2 - 9*q + 29. Is w(-9) a multiple of 22?
False
Let f(l) = -l**3 + 6*l**2 + 13*l + 17. Let b be f(8). Let g(c) = -9*c + 27. Does 19 divide g(b)?
False
Suppose 5*r + 4*x + x - 645 = 0, 4*x + 12 = 0. Is r a multiple of 12?
True
Let c(l) = 12*l**2 + 18*l - 8. Let g be c(4). Suppose 4*y + 0*r = 4*r + 1000, y = -2*r + g. Is 21 a factor of y?
True
Let t be 7 + (-15)/3 + (0 - 6). Is 42 a factor of 4 - 744/(12/t)?
True
Suppose 8 = 2*f + 4. Suppose -2*t - 21 = -z, -f*z = -3*z - t + 15. Does 2 divide z?
False
Let c(y) = -2*y**2 - 12*y - 9. Let r(o) = o**2 + 6*o + 4. Let w(u) = -3*c(u) - 7*r(u). Let d be w(-6). Let n = d - -6. Does 2 divide n?
False
Suppose 3*g - 2*g = -3*g. Suppose g = 36*y - 32*y - 8. Does 2 divide y?
True
Let z = -37 - -66. Suppose -5*r = l - z, -4*l + 161 = -0*r + 5*r. Is 22 a factor of l?
True
Let m(r) = -r**3 - 32*r**2 - 30*r + 69. Is m(-31) a multiple of 4?
False
Let z(r) = r**3 + 10*r**2 + 10*r + 6. Let k(b) = 2 + 31*b + 24*b - 45*b. Let g be k(-1). Is z(g) a multiple of 18?
True
Let r(l) = 92*l - 1. Let j = -12 + 13. Does 13 divide r(j)?
True
Suppose 3*u + 38 = 6*u + 4*d, 5*u - 66 = -4*d. Suppose -4*r = -2*g + 20, 4*r - u = 7*r - 2*g. Is 5 a factor of (-42)/(-4)*(-8)/r?
False
Suppose -3*i + 0*i + 321 = -2*y, 0 = -4*i + 5*y + 435. Suppose 2*m - m - i = 5*t, t = -4*m + 462. Does 20 divide m?
False
Suppose -j + 79 = -29. Is 18 a factor of j?
True
Let p(o) = 3*o + 41. Let m be p(-12). Suppose -m*d + 464 + 231 = 0. Is 15 a factor of d?
False
Let f = 496 - 244. Does 45 divide f?
False
Let g(f) = -2*f**2 + 26 - 43*f + 74*f - 7. Is g(13) a multiple of 21?
True
Let f = -52 - -65. Let v = 54 - f. Is v a multiple of 6?
False
Let r(a) = 2*a + 6. Let s be r(-4). Let l be (-3 - s - -27)*-1. Does 7 divide (143/l)/((-2)/4)?
False
Let b = -5 - -7. Let c be (35 + -34)*(-2 + 1 + -2). Is (9/b)/c*-4 a multiple of 3?
True
Let m(i) be the second derivative of -i**4/12 + 2*i**2 + 9*i. Let t be m(-2). Suppose -4*r - 5*j + t*j = -80, 29 = 3*r - 4*j. Does 7 divide r?
False
Let r = -156 - -373. Is 21 a factor of r?
False
Suppose 25*o - 6409 = 12*o. Is 16 a factor of o?
False
Let r = -1854 + 3687. Does 47 divide r?
True
Let i(q) = q**2 + 6*q + 11. Let y be i(-6). Suppose 225 - 1248 = -y*s. Is s a multiple of 32?
False
Let h(s) = -281*s**2 - 6*s - 17. Let d be h(-3). Is 20 a factor of (-8)/14 - d/14?
True
Let w = -1169 + 2314. Does 5 divide w?
True
Let j be 3/(5/(-20)*-4). Let z(h) = 4*h - 6. Let x be z(j). Is 10 a factor of (-6)/((x/(-2))/15)?
True
Let y(r) = -2*r**2 - 5*r**2 - 6 + 6*r**2 + 2*r**2 + 7*r. Is y(-9) a multiple of 6?
True
Let d(h) = h**3 - 3*h**2 + 22*h - 10. Does 14 divide d(10)?
True
Let v be 3 + ((-39)/(-45) - (-6)/45). Suppose 0 = -0*j - j + v*b + 28, 5*j + 2*b - 52 = 0. Is j a multiple of 5?
False
Suppose -14*w = -15*w + 11. Let g = 15 + w. Is g a multiple of 5?
False
Suppose 502 + 618 = -8*l. Is 20 a factor of 0/(3/1) - l?
True
Is -23*(3 - 11 - 30) a multiple of 6?
False
Suppose -2*m = -2*w - 0*w + 84, -42 = -w - 2*m. Suppose -d = d + w. Let h = -12 - d. Does 9 divide h?
True
Let k(q) = q**2 + 19. Let u = 2 - 8. Is 3 a factor of k(u)?
False
Let w(h) = 3 + h**2 - h - 4 + 4*h. Let d be (-40)/(-100)*(11 - 3/3). Is 10 a factor of w(d)?
False
Let i be (-3)/9 + 2/6. Let r be (-2 - -3)*(i + 111). Suppose r = 6*y - 3*y. Does 10 divide y?
False
Let j = 381 - 201. Is j a multiple of 45?
True
Is 9 a factor of 688/(-3)*(145 + -148)?
False
Suppose 0 = -6*b - 15 + 51. Suppose 0 = -b*m - 98 + 866. Does 8 divide m?
True
Let u(b) = b**2 - 6*b + 2. Let k be u(6). Suppose -18 = -k*x - 0*l + l, -3*x = -3*l - 30. Suppose 3*z = -4*m + x*m + 6, m - 9 = -z. Is z a multiple of 6?
True
Let b = 29 + -51. Let o = b + 38. Let h = o + 25. Does 23 divide h?
False
Let r(x) = 3*x**2 + 5*x + 10. Let u be r(-4). Suppose -u = -2*h + 18. Does 11 divide h?
False
Suppose 8*q = 5*q + 12. Let z(t) = 3*t**2 - 6*t + 4. Is z(q) a multiple of 14?
True
Let b(w) = 0 + 2 - 7 - 34*w - 12*w. Is 20 a factor of b(-3)?
False
Suppose 0 = -2*w - 35 - 9. Let u be w/143 - 542/26. Is u/14 - (-42)/4 a multiple of 2?
False
Suppose 0 = 17*d - 19*d + 40. Suppose 6*w = -2 + d. Suppose -6*s = -w*s - 36. Is s a multiple of 4?
True
Let r(v) = v**2 - 22*v + 49. Let l be r(19). Let b(u) = -9*u + 12. Is 12 a factor of b(l)?
True
Let y = -103 - -103. Suppose -8*h + 949 + 11 = y. Is h a multiple of 15?
True
Let c(u) = -u + 5. Let h be c(3). Suppose -16 = -5*b + 2*x, x + h*x = 5*b - 19. Is b a multiple of 2?
True
Let f = 16 - 16. Suppose f = -2*v + 5*v - 180. Does 4 divide (6/(-12))/((-2)/v)?
False
Is 37 a factor of 636/162 + -4 + (-20146)/(-54)?
False
Let c(a) = 2*a**2 - 76*a - 76. Is c(42) a multiple of 21?
False
Let x be (-14234)/(-99) - (-2)/9. Let b = x + -55. Is 13 a factor of b?
False
Let f = -650 + 1030. Let v be (-1)/(3 - 2)*0. Suppose v*c + f = 5*c. Is c a multiple of 25?
False
Let j(o) = 2*o**2 - 5*o - 17. Is 14 a factor of j(-9)?
False
Let n = 182 + -91. Is 20 a factor of n?
False
Suppose 3*s - 2226 = -2*v, -2*v - 4*s + 2644 = 420. Is 18 a factor of v?
True
Suppose -d = 4*d + j - 4, -d + 16 = 4*j. Suppose -p + 0*f = -4*f - 5, 2*p + 4*f - 10 = d. Does 2 divide p?
False
Suppose 7*u = 8*u - 71. Let p = u - 51. Is p a multiple of 5?
True
Suppose 4*q = 80 + 180. Let s = -43 + q. Is 22 a factor of s?
True
Suppose 3*c - p = -14, -1 = -2*c - 5*p + 1. Let t(r) = -r**3 + r**2 - 2*r - 5. Does 16 divide t(c)?
False
Suppose -11*m + 14*m - 5*q = 5156, 4*q = 4*m - 6880. Is 42 a factor of m?
True
Let b(r) = 3*r**2 - 6*r + 12. Let k(p) = -8*p - 2. Let z be k(-1). Is 26 a factor of b(z)?
False
Let p(g) = 23*g**2 + 9*g + 33. Does 17 divide p(-3)?
False
Let u be (-176)/(-6) - 2/(-3). Let j(s) = -2*s**3 - 17*s**2 - 21*s + 8. Let c be j(-7). Suppose c*z = 5*z + u. Is 5 a factor of z?
True
Suppose 0 = j + 4*j - 35. Suppose 3 = g + 4*r, 9*r - 4*r = -4*g + 12. Suppose 4*q + g*m - 64 = 0, -5*q - j*m + 75 = -2*m. Is 19 a factor of q?
True
Suppose -18*s = -38*s + 4760. Is s a multiple of 14?
True
Suppose -2*s - 2 = -v - v, -3*s + 1 = v. Suppose 4*g = -s*g. Suppose i = -3*i + 5*c + 56, g = -c. Is 9 a factor of i?
False
Let q(o) = 10*o - 22. Let m be q(-4). Suppose 89 = -3*p - 37. Let g = p - m. Is g a multiple of 9?
False
Let b = -1 - -10. Suppose -6 = -3*o + b. Suppose a - 2*r - 16 = -2, 70 = o*a - 3*r. Is 3 a factor of a?
False
Let x(d) = d**3 + 8*d**2 - 22*d - 9. Suppose -8*l = 93 - 13. Does 7 divide x(l)?
False
Let c = -137 - -256. Suppose 0 = -7*z + 917 + c. Does 37 divide z?
True
Let m(u) = u**2 + u. Let c(z) = -4*z**2 + 6*z + 1. Let j(x) = c(x) - 4*m(x). Let b be j(-1). Is 3 a factor of (-1 - 3)*b/12?
True
Let h(z) = 2*z**3 - 32*z**2 - 2*z - 82. Is h(17) a multiple of 6?
True
Let b = -298 - -510. Does 16 divide b?
False
Let v(c) = 869*c - 121. Is 7 a factor of v(2)?
True
Suppose -t + 3148 - 233 = 0. Does 36 divide t?
False
Suppose 0 = -3*n + 19 - 10. Suppose -2*p = -n*g - 109, -4*p - 150 = -4*g - 366. Is 7 a factor of p?
False
Let a(m) = -3*m + 10. Let z = 13 - 20. Is a(z) a multiple of 8?
False
Let k(n) = n**2 + 7*n + 18. Let w be k(-12). Suppose -w = -f - 2*f. Is 26 a factor of f?
True
Suppose -8*