vide i?
True
Let u(x) = 4*x - 33. Let r be u(9). Suppose 14*a + r*n + 274 = 16*a, 10 = -5*n. Does 31 divide a?
False
Suppose 5*t + 3*f - 26 = 0, -2*t + 5*t - 4*f - 4 = 0. Suppose 0 = 2*y + 10, 3*y = r + t*y + 145. Is ((-12)/10)/((24/r)/3) a multiple of 7?
True
Does 4 divide (-4256)/24*((-1146)/12 + 4)?
False
Let s(z) = -z**3 + 17*z**2 + z - 13. Let v be s(17). Suppose v*u - l - 131 = 0, -u - l + 11 = -28. Is 3 a factor of u?
False
Let r be ((-10)/15)/((-2)/9). Suppose r*y = -2*y + 3*t + 3117, -3*y = -3*t - 1869. Suppose f + 7*f - y = 0. Does 13 divide f?
True
Let y(c) = -2*c**3 + 6*c**2 - 9*c + 9. Let w be y(3). Does 15 divide ((-159)/6)/(-5 - w/4)?
False
Let i = -34 - -62. Let l = i - 1. Is 17 a factor of l/(-2)*(-240)/36?
False
Let n(a) = -67*a + 3. Let b be n(-1). Suppose 3*x + 1 = b. Let g = x + -13. Is g a multiple of 5?
True
Let z = -164 - -168. Suppose -2*u + 198 = -z*h + 5*h, h - 4*u = 180. Is 6 a factor of h?
True
Let a(i) = -12*i + 1. Let o be a(4). Suppose 0 = 467*k - 486*k - 1273. Let u = o - k. Is 10 a factor of u?
True
Let w(p) = -3*p**2 + 8*p + 6. Let b be w(3). Suppose -4*a = -4*u - 1764, 5*u - 1347 = -0*a - b*a. Is 37 a factor of a?
True
Suppose -53 = -2*y + 37. Let z = 49 - y. Does 4 divide (130 - -8)/(6/z)?
True
Let h = -40 - -47. Let u be 69/12*h + (-4)/16. Does 34 divide ((-3)/7 - u/168)*-51?
True
Let q(n) = -n**3 + 14*n**2 + 4*n + 30. Suppose -5*c - 2*l - 39 + 113 = 0, c = -l + 16. Is q(c) a multiple of 86?
True
Let x be 18/21*(10 - 3). Suppose x*g = g - 3*s + 1545, -3*s + 627 = 2*g. Is g a multiple of 34?
True
Let r be (1 + -2)/(3 + (-48)/15). Suppose 0 = -4*z + r*t + 1395, 8*t - 7*t - 1032 = -3*z. Is z a multiple of 23?
True
Suppose 0 = 2*r + 2*q - 2, -r - 3*r - 3*q + 7 = 0. Suppose 436 + 1272 = r*k. Does 38 divide k?
False
Suppose 0 = 6*f + 15 + 903. Let i = f - -101. Let n = i - -166. Does 38 divide n?
True
Let u(b) = b**3 + 22*b**2 + 67*b + 690. Is u(-18) a multiple of 30?
True
Let f(z) = 2*z**3 - 7*z**2 + 12*z - 4. Let h be f(4). Suppose -h*g = -65*g + 1330. Does 19 divide g?
True
Let t(w) = -w**2 - 3*w + 45. Let h be t(5). Suppose 3*k - 752 = -0*k + 2*v, h*v - 245 = -k. Does 15 divide k?
False
Let a = 10160 - 7826. Is a a multiple of 53?
False
Does 10 divide 780450/420 + 3/(-14)?
False
Let i(w) = -5 - 12 - w - 7 + 3. Let q be i(11). Is 24 a factor of q/(-6)*(-315)/(-14)?
True
Suppose 0 = 173*w + 199*w - 78*w - 14381892. Does 180 divide w?
False
Suppose 2*d + 3*d = -25, -3*g = 4*d + 11. Suppose -g*h + 7*h = -124. Let n = h + 55. Is 11 a factor of n?
False
Let q(n) be the third derivative of n**5/30 + 5*n**4/12 + 23*n**3/3 + 2*n**2 + 4*n. Is q(-20) a multiple of 23?
False
Let x = 61560 - 31350. Does 38 divide x?
True
Suppose -7*a = -0*a. Suppose 8*d - 3*d - 32 = 3*g, a = 5*d - 5*g - 40. Suppose d*m + 2*z = -0*m + 212, 2*z = -3*m + 158. Does 7 divide m?
False
Let t(r) = 5*r + 125. Let w be t(-25). Let h = 108 + w. Is h a multiple of 18?
True
Let k be (-1)/(2/(-432)*-2). Let x be (-1 + 34 - (-1 - -1)) + 0. Let h = x - k. Is h a multiple of 19?
False
Suppose -118*a + 3*c + 1020 = -115*a, -4*c = 3*a - 1055. Is a a multiple of 115?
True
Let t(r) = 9*r - 22. Let z be t(2). Is 36 a factor of 12*(23 - (13 + 3)/z)?
True
Let v(z) = -6794*z - 961. Does 30 divide v(-2)?
False
Is (-14 - 6027/63)/(1/(-63)) a multiple of 13?
False
Suppose -10*s + 33*s = 2*s + 22848. Does 17 divide s?
True
Let w(r) = -r**3 + 25*r**2 - 16*r - 69. Let v be w(24). Let m = 136 - v. Is 13 a factor of m?
True
Let u = 234 + -199. Let o = 91 - u. Is o a multiple of 2?
True
Suppose 3*a - 3*h = -207, -5*a + h = -3*a + 136. Let x = a - 53. Is (8/(-20))/(4/x) a multiple of 3?
True
Let h(c) = -1888*c**3 + 10*c + 12. Is 74 a factor of h(-2)?
True
Let p(o) = -o**3 + 82*o**2 - 125*o - 260. Does 127 divide p(80)?
True
Let c be (-2)/(-3)*(-9)/12*-10. Suppose c*a = 5*f + 15, a - 5*f = -0*a + 7. Suppose b = a*j + 46, j + 20 + 30 = b. Does 9 divide b?
True
Suppose 0 = m - 4*m - f + 2112, -m + f = -704. Suppose 55*g - 63*g = -m. Is 11 a factor of g?
True
Does 45 divide (-7 + -7 + 7)*19766/(-14)?
False
Suppose -4*y + 3*j + 40 = -4, -5*j = -4*y + 52. Suppose k = -t + y, 2*t + 4 = 10. Let d(m) = -m**2 + 12*m + 12. Does 18 divide d(k)?
False
Let q = 1106 - 1095. Suppose 4*u - 112 = -4*w, -2*w + 86 = 2*u - 6*w. Let x = u + q. Is x a multiple of 22?
True
Suppose j = 4, 5659 + 840 = n + 5*j. Is n a multiple of 11?
True
Suppose 2*y = -2, -3*y = -2*q - 0*q + 3. Suppose 4*m + 4 = q, 0*x - x = m - 1. Is 2 a factor of x?
True
Is 510/2720 - (-939927)/48 a multiple of 208?
False
Suppose 8 = -3*z + z. Let f be -3 - (-14)/35*5/(-2). Is 2 a factor of (7/z - -1)*f?
False
Let d = -40 - -41. Let x(t) = t**3 - t**2 + t. Let v(p) = 5*p**3 + p**2 + 2*p - 5. Let j(y) = d*v(y) - 6*x(y). Is 9 a factor of j(5)?
False
Is (35/(-5) - -3) + 3287 a multiple of 63?
False
Is (-6)/((-2)/691 - 0) a multiple of 3?
True
Suppose 0*q = -2*q - 278. Suppose -195*g + 44*g = 78*g + 7557. Let a = g - q. Does 39 divide a?
False
Let z(r) = -r**2 - 2*r + 4. Let v be z(-12). Let h = v + 160. Suppose -d = 2*q - h, -2*q - 111 = -5*d + 61. Is d a multiple of 12?
True
Suppose -5 - 7 = -6*y. Suppose -5*c = y*c + 28. Does 44 divide (-11250)/(-255) + c/34?
True
Let r(n) = -4*n**2 - 2*n + 5. Let v(f) = 2*f**2 + f - 2. Let c(l) = 6*r(l) + 13*v(l). Let w be c(0). Let i = 29 + w. Is i a multiple of 11?
True
Let t be (-36)/(-7) + -5 - (-2664)/(-28). Suppose 0 = -2*m - 191 - 13. Let l = t - m. Is l a multiple of 2?
False
Is 32 a factor of (-14)/(-20)*-5*254*-1?
False
Suppose 13 = -3*u + 4, u = -5*z + 117. Suppose 26*c - z*c - 280 = 0. Is 16 a factor of c?
False
Suppose -530 + 2420 = -u. Let q = 53 - 23. Is ((-24)/14)/(q/u) a multiple of 17?
False
Let k(o) = -5416*o - 16137. Is 57 a factor of k(-6)?
True
Let x(i) = -10*i**3 - 12*i**2 + 15*i + 16. Let w(d) = 3*d**3 + 4*d**2 - 5*d - 4. Let h(l) = 7*w(l) + 2*x(l). Suppose -5*r + 6 = -9. Is h(r) a multiple of 13?
True
Let q be (4/8)/((-11)/(-132)). Suppose q*d = -13 + 355. Is d a multiple of 57?
True
Suppose f + 3*l = 18, -5*f = 5*l - 3*l - 77. Suppose f*h = 10*h - 790. Let o = 302 + h. Is 8 a factor of o?
True
Let y(p) = 71*p + 53. Let d be y(18). Suppose -5*a + 1174 = -d. Suppose a = 5*f - 104. Does 10 divide f?
False
Suppose -2*k + 23741 = -5*i, 21*k - 23*k + 4*i + 23746 = 0. Is k a multiple of 31?
False
Suppose s - 2025 - 118 = -a, -3*a - 17111 = -8*s. Is s a multiple of 6?
False
Let w(p) = -p. Let h be w(5). Let g be (730/h)/(3 - 2 - 3). Suppose -y + 118 = 2*u, 50 = y + 3*u - g. Is 9 a factor of y?
True
Let x(k) = 98*k - 84. Suppose 5*c - w - 15 = 0, 2*c - 3 = 2*w - 5. Is x(c) a multiple of 5?
False
Let z = 44 - -16. Suppose -z*s = -46*s - 2730. Is 5 a factor of s?
True
Let v(m) = -3*m**3 + m**3 + 5 - 35*m - m**3 + 36*m - 16*m**2. Let k be v(-6). Let f = k - 61. Is f a multiple of 4?
False
Let c(q) be the first derivative of q**3/3 + 11*q**2 + 81*q + 39. Is c(-27) a multiple of 24?
True
Suppose 4654 = 4*l + 5*f, -3*l = 5*f - 3603 + 115. Is 11 a factor of l?
True
Let k = -607 - -3100. Suppose -k = -10*o + 587. Is 44 a factor of o?
True
Let t(l) = -1038*l - 371. Is 13 a factor of t(-7)?
False
Suppose -4*l + 50 + 934 = 0. Let q be (-2)/8 - l/(-24). Suppose 0 = -5*m + 4*g + 105, q*g - 7*g = 0. Is 2 a factor of m?
False
Suppose 18992 = 32*c - 21776. Does 10 divide -6*c/63*(-6)/4?
False
Suppose -12*y + 64 = -4*y. Is 4 a factor of (-4)/(15/y + -2)?
True
Let l = -4135 - -11850. Is 53 a factor of l?
False
Suppose -4*v = 1 - 9. Suppose -a + 3*u = -8, -2*u - 6 = -a - 0. Suppose -v = -a*d, -2*r + 2*d + 71 = -7. Does 10 divide r?
True
Let g(k) be the second derivative of k**5/20 + k**4 + k**3 + 13*k**2 - 5*k. Suppose 0 = -4*b - 2*z - 38, -3*b + z + 2 = 38. Is 9 a factor of g(b)?
True
Let s = -6 + -15. Suppose 0 = x + 1 + 1. Let i = x - s. Is 19 a factor of i?
True
Let i(g) = -5*g**2 + 1247 - 1250 + 0*g**2 - 4*g + 6*g**2. Let l be (11/(-4))/(2/(-8)). Does 37 divide i(l)?
True
Let z(a) = 6*a - 30. Let c be 1/(-2) + 2/4. Let p be 6/((c - 1)*(-3)/6). Does 13 divide z(p)?
False
Let f(d) be the first derivative of d**4/4 - 2*d**3 - 15*d**2/2 + 46*d - 189. Is f(11) a multiple of 9?
True
Suppose -90477 = -3*x - v, 4*v + 120652 = -2317*x + 2321*x. Is x a multiple of 65?
True
Let q(v) = -6646*v**3 -