Let r be 50/(-12)*(-39 - -33). Suppose 0 = -3*o - 5*b - 6, 0 = -7*o + 5*o + 4*b - 26. Let i = r + o. Is i a multiple of 7?
False
Suppose -15*z - 24 + 294 = 0. Suppose 0*r = z*r - 2160. Is r a multiple of 12?
True
Does 11 divide (-4)/38 + 109104/57?
True
Let o(u) = 7*u**2 - 17*u + 73. Let w(k) = 11*k**2 - 26*k + 109. Let n(x) = 8*o(x) - 5*w(x). Is 7 a factor of n(12)?
False
Suppose 25*z - 12*z = 2496. Is z a multiple of 48?
True
Let t(o) = -95*o**3 + 4*o**2 - 8*o - 15. Is 18 a factor of t(-3)?
True
Let x = -180 + 571. Is 23 a factor of x?
True
Let r = 75 - 27. Does 4 divide r?
True
Let i(j) = -j - 11. Let c be i(6). Let k(b) = -3*b + 9. Is 15 a factor of k(c)?
True
Let v = 25 - -359. Does 4 divide v?
True
Let x(h) = -8*h**3 + 3*h**2 + 4*h - 2. Let v be x(-4). Let j = v + -174. Suppose -7*g + j = -3*g. Is g a multiple of 17?
False
Suppose -3 = -m, 2*h - 11*m + 12*m - 1269 = 0. Does 35 divide h?
False
Does 38 divide 10157/21*3 - 7?
True
Suppose 7*l + 2 = -2*t + 3*l, -3*t = 4*l - 1. Suppose 10 = t*x - 5*k, -5 = -x - 0*x + 2*k. Does 9 divide 34 + (x - -2) + 1?
False
Let n = 4727 + -2713. Is n a multiple of 53?
True
Is -136 + 136 - 2576/(-1) a multiple of 23?
True
Suppose 5*i = i - 8. Let k be (-1 + -1 - i)/4. Suppose 44 = 2*f - k*f. Is f a multiple of 22?
True
Let b(h) = 5601*h**2 + 37*h - 37. Is b(1) a multiple of 126?
False
Suppose -2*x + 4730 = 3*x. Suppose v + x = 12*v. Is 24 a factor of v?
False
Let d(q) = 87*q + 73. Does 13 divide d(3)?
False
Let v(n) = n**3 - 3*n**2 + 3. Let w be v(2). Does 22 divide 11/((-5)/(w*70))?
True
Let y be 45/6 - (-3)/2. Let x be (30/y)/(3/135). Suppose 4*b - 134 - x = 0. Is b a multiple of 20?
False
Let s(o) be the first derivative of o**3/3 + 5*o**2 - 22*o + 3. Is s(-13) a multiple of 5?
False
Let y(k) = -16*k - 48. Let p be y(-7). Suppose -5*n = -3*i + 63, 0*i - 2*i + p = 4*n. Does 3 divide i?
False
Let g = -73 + 69. Let u(b) = 2*b + 31. Is 5 a factor of u(g)?
False
Let r(s) = s**2 - 2*s - 8. Suppose 4*f - 21 = 15. Suppose -a - 2 = -f. Is 14 a factor of r(a)?
False
Let l(v) = v**2 - 4*v + 3. Let u = -11 - -15. Let c be l(u). Suppose -4 = -h - 0*p + 2*p, c*p - 15 = -2*h. Is h a multiple of 6?
True
Let x = -9 - -92. Suppose 2*z - 19 - 168 = g, -z = 3*g - x. Is 6 a factor of z?
False
Suppose -5*k = -x - 20, -x - k - 15 = 23. Suppose -143*o + 420 = -136*o. Let u = o + x. Does 11 divide u?
False
Let l(w) = w**3 - 21*w**2 - 18*w - 20. Let u(m) = -3*m**3 + 42*m**2 + 35*m + 40. Let b(z) = -5*l(z) - 2*u(z). Does 20 divide b(-20)?
True
Let t(d) = 3*d**3 - 22*d**2 + 2*d - 39. Does 35 divide t(9)?
False
Suppose 59400 = -4*a + 76*a. Is 25 a factor of a?
True
Let f(n) = n + 10. Let a be f(-12). Let g = -2 - a. Suppose g*j = -2*j + 80. Is j a multiple of 27?
False
Let o(x) = x**2 + 3*x + 3. Let b(s) = -s**2 - 3*s + 7. Let k be b(-5). Let h be o(k). Suppose -2*i + h*i = 12. Is i a multiple of 6?
True
Let s = 113 - 13. Let g be s/(-3)*3/(-1). Let v = g - 53. Does 8 divide v?
False
Let o(k) be the second derivative of -k**5/20 - 5*k**4/4 + 13*k**3/6 - 7*k**2/2 + 14*k. Does 28 divide o(-16)?
False
Let c(n) = 4*n - 21. Let t be c(10). Suppose 54 = 22*m - t*m. Is 9 a factor of m?
True
Let j(b) = 12*b**2 + 16*b + 10. Let n be j(-6). Let u = n - 112. Is 14 a factor of u?
False
Let d(g) = 2*g**2 + 8*g + 18. Is 23 a factor of d(-10)?
True
Does 46 divide -6 - ((-92)/115 - (-9941)/(-5))?
False
Let b be 5/(-4) - 2/(-8). Suppose -10*k + 255 = 35. Is 9 a factor of k*-1*b - -3?
False
Let c = -3523 + 5912. Is c a multiple of 15?
False
Let z(g) = 20*g - 2. Suppose 12*c = 8*c - 8. Let r be (c/(-6))/((-1)/(-3)). Is z(r) a multiple of 18?
True
Suppose 0 = -c - 4*z + 808, 5*c = -5*z + 1858 + 2122. Is 36 a factor of c?
True
Let t be 139 + 2 - (14 - 17). Suppose -j = -4*j + t. Does 8 divide j?
True
Suppose 816 = 10*q - 6624. Is q a multiple of 33?
False
Suppose -5*k - 3*v - 62 = -171, v = -k + 23. Does 15 divide (-302)/(-5) + (-8)/k?
True
Let h(q) = -q**3 + 9*q**2 - 4*q + 4. Is 11 a factor of h(6)?
True
Suppose 4*q = -2*q + 12. Suppose 1 = 4*z + 4*k - 3, -q*z - 13 = 5*k. Does 6 divide z?
True
Suppose -5242 = -5*z - 3*d, -8*z - 5*d = -4*z - 4191. Is 38 a factor of z?
False
Suppose 35 = 2*t - j, -5*t + 57 = -j - 23. Does 5 divide t?
True
Is 13 a factor of 2 + (1/1*541 - -3)?
True
Let p be -1*(48/(-4))/(-4). Let t be (p - -1)/(14/(-28)). Is 1 - 2 - (-29 + t) a multiple of 8?
True
Suppose 2*d - 8*d = -48. Suppose -3*n + 86 = d. Is 6 a factor of n?
False
Is ((-150)/(-8))/(((-81)/28)/(-27)) a multiple of 6?
False
Suppose -3*v = 2*v - 25. Let w(b) = 0*b**2 - v*b + b**3 + 9 - 1 + 4*b**2 - 1. Does 3 divide w(-5)?
False
Let g(s) = 90*s**2 + 1. Let j be g(1). Suppose 0 = 2*a + 3*y - 195, -3*y + j = a - 8*y. Does 48 divide a?
True
Suppose 3*i = f - 78, 2*f + i = -3*i + 126. Let d = f - 43. Is 7 a factor of d?
False
Let z = -574 - -2182. Does 35 divide z?
False
Suppose n + 3*b = -2*n + 6, -3*n = -4*b + 8. Suppose n*z = z - 70. Is z a multiple of 26?
False
Let c(g) be the second derivative of -g**3/3 + 31*g**2/2 - 2*g. Let k = -142 + 155. Is 5 a factor of c(k)?
True
Suppose 5*o - 2*c = -4*c - 34, o - c + 11 = 0. Does 28 divide (1 - 0)/(o/(-672))?
True
Suppose 5 = a + 3. Suppose 5*h - m + a*m = 195, -4*h = -5*m - 156. Is 10 a factor of h?
False
Let l(b) = -b**3 - 7*b**2 - 1. Suppose -2*z - 5*x = -0*z - 1, -z + 5*x = 22. Let i be l(z). Does 10 divide 2*(3 - 7/i)?
True
Suppose -2*y + d + 17 = 3*y, -10 = 5*d. Suppose 0 = -4*b + 20, -y + 93 = 2*h + 2*b. Is 8 a factor of h?
True
Is 9 a factor of 3970/20 - (-1)/(-2)?
True
Let x(z) = 3*z**3 - 3*z**2 - 5*z - 4. Let a be x(-2). Is 9 a factor of (a*1)/(0 + (-4)/2)?
False
Is 9 a factor of ((-5866)/(-7))/(2 + 0)?
False
Suppose 4*p - 384 - 460 = 0. Is p a multiple of 6?
False
Let h(n) = 93*n**2 - 10*n - 26. Is 6 a factor of h(-2)?
True
Suppose 0 = -q + 5*n - 2, -5*n + 34 = q + 2*q. Suppose -10*v + q*v = -172. Does 10 divide v?
False
Let a = 119 - -374. Is a a multiple of 57?
False
Let r(s) = s**2 - 13*s + 26. Let x be r(11). Suppose 0 = x*u - 223 + 59. Does 8 divide u?
False
Suppose 3*f - 5 = 1. Suppose 0 = -3*h + 8*h + 3*t - 110, f*t = -3*h + 66. Does 3 divide h?
False
Let p = -236 + 246. Is 3 a factor of p?
False
Let b(j) = 12*j**2 + 6*j - 177. Is 13 a factor of b(-11)?
True
Suppose -5*o = 3*b - 247, 2*b - 16*o + 15*o - 169 = 0. Is b a multiple of 12?
True
Suppose -52*w + 62*w = 1280. Is w a multiple of 16?
True
Suppose 27*p - 21*p + 1074 = 0. Let x = p + 269. Is x a multiple of 10?
True
Suppose 177 = k - 195. Does 12 divide k?
True
Let x(n) = n**2 + 14*n + 4. Let w be x(-14). Does 24 divide 3 - (-118)/(6 - w)?
False
Let g(l) = l**2 + 3*l - 7. Let c be g(-4). Does 22 divide ((-2)/c - 1)*(-13 + -101)?
False
Let q(u) = u**3 - 3*u**2 + 5*u - 1. Let l be q(2). Let i(s) = 3*s + 21. Does 13 divide i(l)?
False
Suppose 1 = -5*t + 16. Suppose -116 = -4*z - 3*k, t*k = z + 4*k - 28. Suppose 4*p = 3*p + z. Is p a multiple of 16?
True
Let n be (0 + 2/(-3))/(12/(-2250)). Suppose -6*g + n = -685. Is g a multiple of 9?
True
Let t(w) = w - 14. Let o(a) = a - 13. Let x(l) = 3*o(l) - 4*t(l). Let b(v) = v. Let g(h) = -4*b(h) + x(h). Is 25 a factor of g(-13)?
False
Suppose 0 = n - 5*q - 987 + 328, -2*n - 3*q + 1305 = 0. Does 39 divide n?
False
Suppose -v + 11 = 5*r - 6, 3*v = 5*r - 9. Suppose 0 = -v*x + 17 + 23. Is x a multiple of 3?
False
Suppose 915*d - 36880 = 899*d. Is d a multiple of 55?
False
Suppose -24*y + 7319 = -1873. Is y a multiple of 12?
False
Let c(s) = 2*s + 14. Let f be c(11). Suppose 4*b - 88 = f. Suppose -b = -j + 14. Is 14 a factor of j?
False
Let y be 81 + -16 - (-3)/((-2)/2). Let d = 118 - y. Is d a multiple of 7?
True
Let z be (530/15)/(1/3). Let o = 271 - 341. Let k = z + o. Is k a multiple of 9?
True
Suppose -3*v = -2*v + 15*v. Suppose x - 100 = -3*q, v = x + 6*q - q - 92. Does 8 divide x?
True
Suppose 2*i - 2*u - 84 = 0, 0*i + 54 = i - 5*u. Does 25 divide i?
False
Suppose 0 = 4*o + 103 - 1867. Suppose -4*d + 1737 = o. Is 54 a factor of d?
True
Let v(m) = -m + 2. Let d be v(2). Is 32 a factor of 0 - 13*(d + -6)?
False
Let s = 20 + -14. Let j be 1/(s/(-4) - -2). Suppose j*b = 5*b - 84. Is 7 a factor of b?
True
Let b = 92 + -196. Let z = -42 - b. Is 31 a factor of z?
True
Let h = -3 - 6. Suppose 0 = -2*b + b - 39. Let s 