of g?
False
Let i be (18/(-12))/((-2)/8). Let b = -433 - -451. Let r = b + i. Is r a multiple of 24?
True
Suppose 2*a + 5*c = 21, -3*c = -4*a - 0*c + 107. Let i = a + -28. Does 17 divide 7*i/((-35)/96)?
False
Let z = 9337 + -883. Is z a multiple of 17?
False
Suppose -553*t - m = -557*t + 12404, -18580 = -6*t - 5*m. Is t a multiple of 124?
True
Let m = -1599 + 933. Let k = -471 - m. Suppose 36*n = 37*n - k. Is 65 a factor of n?
True
Let s(d) = 8 - 26*d**2 - 15*d**3 - 36*d**2 + 56*d**2. Is 54 a factor of s(-4)?
False
Let o(b) = 117*b**2 + 232*b + 1142. Does 12 divide o(-5)?
False
Suppose 5*l = 35 - 95. Let v(g) = -g**3 - 10*g**2 + 25*g + 15. Let r be v(l). Suppose 36 = r*q - 15. Does 17 divide q?
True
Let y(f) = -f**3 + 22*f**2 + 24*f - 1. Let a be y(23). Let c(u) = u + 3. Is 2 a factor of c(a)?
False
Suppose 7*g = -4 + 39. Suppose 0 = -3*t - t + 5*h + 2783, g*h = -4*t + 2833. Does 13 divide t?
True
Suppose -2*p - 3*p - 845 = 0. Let n be -1 - -4 - (p - (0 + 1)). Let a = n + -102. Does 17 divide a?
False
Suppose 0*u - 5*j = 5*u - 375, -4*u + j = -320. Let a be (2/(-4))/(u/(-26) + 3). Is 8 a factor of (-15 + a - (-59)/3)*6?
False
Suppose -10*z + 4*z + 12 = 0. Suppose 2*i = -3*i + z*i. Does 15 divide ((-1 - i/1) + 2)*90?
True
Let j(p) = -100 - 32*p + 38 - 190 - 16*p. Is 10 a factor of j(-14)?
True
Suppose 4*f = -d - f + 22, -2*f = -4*d. Suppose -d*c = -5*g + 108, -2*c + 8 = -4*c. Suppose 60 = s - g. Does 16 divide s?
True
Is 18 a factor of (-77011)/(-44)*-4*-1?
False
Suppose -2*l = -4*k + 1326, 3*k - 72*l = -69*l + 1005. Is k a multiple of 14?
False
Suppose 4*o + 26 = 54. Let d(v) = 5*v**2 - 18*v + 72. Is d(o) a multiple of 4?
False
Is (-2)/21 + (2375304/(-252))/(-19) a multiple of 3?
False
Let z(a) = a**3 + 2*a**2 - a - 13. Does 11 divide z(4)?
False
Let p be (-5502)/(-70)*(-15)/(-9). Let l be 310/40 + (-2)/(-8). Suppose l*y - 453 = p. Is y a multiple of 10?
False
Let u(b) = b**2 + 16*b + 69. Let s be u(-9). Is 7 a factor of 9 + -2 + s + 136?
False
Let l(t) = -t**3 - 15*t**2 - 15*t - 9. Let j be l(-14). Suppose -17 = j*u + 3. Is 39 a factor of 116*(-6)/(-9) + u/(-6)?
True
Let o(j) = 116*j + 1938. Is o(-13) a multiple of 5?
True
Let u = -10 + 26. Suppose -u = -h - 7*h. Is 15 a factor of 804/10 - h/5?
False
Is ((-20808)/(-40))/((-36)/(-480)) a multiple of 51?
True
Let x = 10740 + 7135. Is 10 a factor of x?
False
Suppose 5*p = 3*l + 46, 0 = 12*l - 10*l + 5*p + 14. Is 17 a factor of l/(-30) + 3392/20?
True
Let h be 10/40*16 + -6 + -1. Let m = 4 + 5. Does 11 divide (h/(m/(-55)))/((-10)/(-30))?
True
Suppose -5*w = 4*i - 3*w + 120, w - 108 = 4*i. Let p = i + 41. Suppose 0 = -8*b + p*b - 40. Does 4 divide b?
True
Let a = -7983 + 21748. Does 20 divide a?
False
Let d(z) = -4*z + 4*z**2 - 1 + 14*z + z. Let n(a) = -a**3 - 10*a**2 - 10*a + 6. Let b be n(-2). Does 11 divide d(b)?
True
Let d(g) be the third derivative of -7*g**4/12 - 53*g**3/6 + g**2 - 51. Is 26 a factor of d(-7)?
False
Let n = -21 - -26. Suppose -n*i = -44 - 146. Suppose 0 = k - 39 - i. Is k a multiple of 9?
False
Let t be 12/(-8)*(-4528)/6. Suppose 4*u + t - 3072 = 0. Suppose -405 = -4*w - y, 3*y + u = 4*w + w. Is 25 a factor of w?
True
Suppose 4*v - 3*c - 27 = 0, -4*v + 6*c + 37 = c. Suppose -v*j - 5*m + 26 = 0, -j - 2*j + 2*m + 19 = 0. Suppose 348 = j*k - 877. Is k a multiple of 25?
True
Let a be 3/(9/19) + (-14)/42. Let l(o) = o**3 - 11*o**2 + 31*o - 8. Let u be l(a). Does 11 divide (4 + 56/(-16))/(u/(-924))?
True
Suppose 7*b + 9220 = 17*b. Suppose 0 = -5*k + 13*p - 18*p + 1510, p + b = 3*k. Does 9 divide k?
True
Is (-30)/(-75)*15/((-57102)/11424 + 5) a multiple of 16?
True
Let z be (-80)/25*(1 + -53 - 3). Suppose 4*m + 5*t - z + 65 = 0, 57 = 2*m + 3*t. Is 12 a factor of m?
True
Let v = -21 + -57. Let a = v + 87. Suppose -11*h + a*h = -50. Is 5 a factor of h?
True
Let g(o) = -3516*o - 18. Is 33 a factor of g(-2)?
False
Let f(g) = 69*g + 143. Is f(60) even?
False
Let h(o) = 7*o**2 - 3*o. Let p be h(3). Suppose 4*m + t + 5 = 3*m, -55 = 3*m - 5*t. Let s = p + m. Does 11 divide s?
True
Suppose 5*w - 176 = 9. Suppose -10*i - 4*d - 85 = -11*i, -7*d = -4*i + 322. Let g = i - w. Is g a multiple of 5?
True
Suppose 5*g = -5*p + 920, 135 = p + 3*g - 41. Suppose -p*l = -186*l - 258. Does 3 divide l?
True
Suppose -9*i = -12*i - g - 391, 2*i + 2*g + 262 = 0. Let h(m) = m**2 + 8*m - 14. Let a be h(-6). Let b = a - i. Is 26 a factor of b?
True
Let w(m) = 11*m**2 + 45*m + 373. Does 7 divide w(-12)?
False
Let f = 650 + -692. Does 32 divide 3 - 9 - f*7?
True
Suppose 5*q = 4*g + 42963, 3*q - 38037 = -2*g - 12246. Is 146 a factor of q?
False
Let z = 12660 - 7380. Suppose -8*n - 8*n = -z. Is 33 a factor of n?
True
Suppose 30*n - 713840 = 115708 - 40518. Is 18 a factor of n?
False
Let q(o) = 44 + 3*o + 59 + 128 + 19*o. Is 47 a factor of q(7)?
False
Let t(j) = -21*j**3 + 9*j**2 + 12*j - 3. Is t(-6) a multiple of 29?
True
Let q(s) = -32*s + 1. Let o(y) = y**2 + 2*y - 8. Let n be o(-3). Let v be q(n). Let w = -101 + v. Is w a multiple of 15?
True
Suppose -23*f - 80 = -28*f. Let m(u) = 12*u - 9. Let d be m(f). Let c = d - 88. Is c a multiple of 5?
True
Let z be 6 - (4/(-8) - 0)*-4. Suppose z*m + s = 657, 161 = m - 3*s - 0*s. Is 19 a factor of m?
False
Suppose 4*x = 2*r - 2460 - 124, -3884 = -3*r + 4*x. Is r a multiple of 26?
True
Let u(q) = 3*q - 1. Let g be u(-4). Let k = -34 - -44. Is k/(-65) - 301/g a multiple of 2?
False
Let r = 48 + -30. Let m(u) = 18 + r*u + 4*u**3 - u**3 - 8*u**3 - 19*u**2 + 6*u**3. Is 9 a factor of m(18)?
True
Suppose 83*g = 91*g - 176808. Does 24 divide g?
False
Let b(g) = -g**2 + 19*g - 64. Let d be b(14). Is 18 a factor of 209 + (10/6)/((-2)/d)?
False
Let w be (0/((-9)/3))/2. Suppose w = -4*s - 4, -5*z + 0*s + 2*s + 22 = 0. Suppose d = z*l - 131, 0 = -l - l - 3*d + 55. Does 3 divide l?
False
Let s be 8/4 - 2 - -12. Suppose s*j - 234 = 3*j. Does 10 divide j?
False
Let i = 8915 + 502. Does 219 divide i?
True
Suppose -27*p - 245379 + 658362 = -409464. Does 11 divide p?
False
Let y = 8412 + 1108. Does 10 divide y?
True
Suppose -2*q - 912 = 2*u, 926 = -2*u + 6*q - q. Let t = -426 - u. Is t a multiple of 4?
True
Suppose -226*h + 340729 = -136583. Does 22 divide h?
True
Let t = -83 + 88. Suppose 118 = t*u + 3*o - 148, -u + 5*o = -70. Does 5 divide u?
True
Let d(q) = q**3 + 10*q**2 + q + 147. Let m be d(-11). Let w(x) be the first derivative of -x**4/4 + 5*x**3 + 3*x**2 + 5*x + 2. Is 5 a factor of w(m)?
True
Let a = 38 - 48. Is (0 + (-48)/a)*880/66 a multiple of 2?
True
Let z be 3/5 - 105/(-75). Suppose -z*f = -18 + 8. Suppose 4*q = f*o + 465, -2*q - 3*o + 112 = -q. Is 15 a factor of q?
False
Let i(g) be the second derivative of g**7/2520 - g**6/120 - 5*g**5/24 - 41*g**4/12 - 11*g. Let a(u) be the third derivative of i(u). Does 22 divide a(13)?
True
Let q be 7/(-3) - -4*(-6)/36. Let h(d) = d**3 + 4*d**2 + 2*d - 1. Let a be h(q). Suppose a*s + 5*l = 6*s - 352, 4*l + 182 = 2*s. Is 7 a factor of s?
False
Let d(b) = 13*b**2 - 3*b + 1. Let x(i) be the second derivative of 19*i**4/12 - 2*i**3/3 + i**2 + 16*i. Let u(o) = -7*d(o) + 5*x(o). Is u(-4) a multiple of 7?
True
Suppose 28150 = -21*r + 4105. Let u = -707 - r. Is 12 a factor of u?
False
Suppose 12*x - 8*x + 5*p + 555 = 0, -2*x = -4*p + 284. Does 52 divide 6093/7 - 2*(-30)/x?
False
Let k(f) = -f**3 + 18*f**2 + 25*f - 104. Let m be k(19). Is 6 a factor of 12/((-1080)/(-32841)) - (-1)/m?
False
Suppose 0 = -6*o + 2*o, f - 3*o = -3. Let b be ((-4)/6)/(f - (-20)/6). Is 6 a factor of (b - -100)*8/16?
False
Let c(a) = 2*a**2 + 2*a - 21. Let u be c(-7). Let t be u + -6 - (-1 - 0/2). Suppose -2*g - t = -5*z - 193, -2*g + 141 = -3*z. Is 19 a factor of g?
False
Let i(w) = 56*w + 189 + 56*w - 113*w. Is i(21) a multiple of 24?
True
Suppose 4*v + v - 17800 = 0. Suppose 6*d + v = -2*d. Let w = -310 - d. Is w a multiple of 23?
False
Suppose 0 = 3*i - 0*i + 12. Let u be (3/i)/((-9)/216). Suppose 5*l - 63 = -4*n, u = 3*n - 2*n - l. Is 2 a factor of n?
False
Let v(m) = 2*m**3 - 16*m**2 + 4*m. Let y be v(7). Let o be 2/10 + y/(-25). Suppose i - 132 = -2*d - d, 0 = o*i - 2*d - 363. Does 30 divide i?
False
Let c(k) = 1932*k + 774. Is c(4) a multiple of 13?
True
Let t = 2 + 122. Suppose 2*l - 124 = -2*z - 0*l, 2*z = 3*l + t. Is 3 a factor of z?
False
Suppose -259*m +