of h?
True
Let z = -35488 + 65566. Is 27 a factor of z?
True
Suppose 4*d - 2*d = -2*d. Suppose k = 2*n - 5*n + 9, 4*n + 4*k - 12 = d. Does 14 divide n/(-9) + (-2790)/(-27)?
False
Let y = -128 + 130. Suppose -3*k = 2*q - k + 2, -4*k - 8 = y*q. Let p = q + 40. Is p a multiple of 21?
True
Let l(w) = -9*w - 2. Let u be l(7). Suppose 0 = -t + 175 - 205. Let d = t - u. Is d a multiple of 7?
True
Suppose -b = 5*n - 35381, 2*n + 263*b - 14111 = 258*b. Does 3 divide n?
False
Let s(k) = k**2 + 7*k - 13. Let g be s(-9). Suppose 0*z = g*z + 60. Let m = 131 + z. Is m a multiple of 15?
False
Suppose x - 18 = 4*x. Let d(z) = -z**3 - 8*z**2 + 6*z + 37. Let r be d(-8). Is 16 a factor of (x*(-2)/3)/(r/(-220))?
True
Let p(w) = -7 - 4*w - 5*w**2 + 28*w**3 - 13*w**3 - 14*w**3. Let h be p(8). Let f = h - -72. Is f a multiple of 25?
True
Is 13 a factor of ((-1872)/(-96))/(0 - 1/(-54))?
True
Is 11 + 25568/(-1 - -9) a multiple of 32?
False
Let z(u) = u + 17. Let g be z(-4). Suppose -g*w = -18*w + 25. Suppose 7*i - 216 = w*i. Is i a multiple of 36?
True
Let q(t) = 7*t**3 + 2*t + 7. Let f be q(3). Let n = f + -160. Does 14 divide n?
True
Is 23 a factor of ((-1194)/15)/((-8296)/920 + 9)?
True
Let v be -5 - (-3 + 1 - -1). Let j = v + 124. Is j a multiple of 3?
True
Let o = 29 - -34. Is 8 a factor of (o/(-28))/((-24)/256)?
True
Let f = 5649 + -3020. Is 41 a factor of f?
False
Let s be 4/(-6) + 296/(-24). Let p be (-1566)/(-39) + -4 + 2/s. Suppose p = 9*o - 216. Is o a multiple of 3?
False
Let t(m) = 3*m**2 - 4*m - 7. Let o be t(13). Suppose 5*q + v - 4*v = o, 2*v = -4*q + 354. Suppose 4*f - 217 = -q. Does 4 divide f?
True
Let h be (-3)/(90/(-4)) + (-39234)/(-45). Suppose 3*u = 421 + h. Is u a multiple of 12?
False
Let m(u) = -7*u**3 + 2*u**2 - 6*u + 3. Let f be m(1). Is 84 a factor of ((-126)/(-15))/(f/(-560))?
True
Is 62 a factor of 78/(21/(-67032)*-19)?
False
Let v(s) = 25099*s**2 + 22*s - 14. Does 305 divide v(1)?
False
Suppose -9*n + 170 = 8*n. Suppose -5*j = 4*i - 1, i - n = j + j. Suppose i*f = -20, -7*z - 3*f = -5*z - 151. Is z a multiple of 24?
False
Let u = -39 + 39. Suppose -7*p + 3*p - 8 = u. Let k(s) = -8*s**3 - s**2 - s + 1. Is 9 a factor of k(p)?
True
Let r(g) = 8*g**2 - 9*g - 1. Let m = -44 - -49. Does 48 divide r(m)?
False
Suppose 24 - 8 = -4*c, 5*m - 3*c = 13807. Suppose 5*t - m = -3*b, -3*b - 6*t + 3*t = -2757. Suppose 3*j + 555 = 4*g - g, -5*g + b = 2*j. Does 23 divide g?
True
Suppose -7*t + 10*t + 60 = 0. Let y(f) be the third derivative of f**6/120 + f**5/3 - f**4/24 + 23*f**3/6 - 12*f**2. Is y(t) a multiple of 22?
False
Suppose -2*h - 16009 = 2*k - 95699, 0 = 2*k - 2*h - 79710. Does 15 divide k?
False
Let c = -296 - -196. Let v = -95 - c. Is 7 a factor of (3/6)/(-1*v/(-420))?
True
Let b(v) = 15*v + 5. Let i be b(-1). Let r be ((-4)/i)/(5/100). Let o(p) = 8*p - 14. Does 24 divide o(r)?
False
Suppose 5*c - 9*c = 112. Let t = -15 - c. Let b = t - -21. Is b a multiple of 16?
False
Let y(m) = -113*m + 5. Suppose -2*c - 2 = i, -3*i + 3*c - 2 = -2*i. Is 21 a factor of y(i)?
True
Suppose -2*h - 65 = -1641. Let s = h - 562. Let x = s - 126. Is 18 a factor of x?
False
Let a(l) = 2*l**2 + 62*l + 19. Let i be a(-35). Suppose 2*j - 147 = 3*m - 481, 5*j - i = -3*m. Is m a multiple of 36?
True
Suppose -2*r = 3*b - 21198, 2*r + 15442 = 5*b - 19888. Is 81 a factor of b?
False
Suppose b - 11905 = -5*h, -9*h - 5*b = -6*h - 7121. Is 44 a factor of h?
False
Let l(m) = 8 + 9*m**2 + 3*m - 17 - 16 + 51*m + 2*m. Does 17 divide l(-12)?
False
Let v(t) = -33*t**3 - t**2 + t + 7. Let d be v(-2). Suppose -2*c = -7*c + d. Does 15 divide c?
False
Suppose 0 = 3*h - 4*a - 1209, -a = 5*h - 2*h - 1209. Suppose -742 = 3*p - 5*v, 2*p = p - 5*v - 234. Let y = p + h. Is 20 a factor of y?
False
Suppose -14 = 3*h - 2*h + 5*i, -4*i + 2 = 2*h. Suppose -h = -5*f + 4. Suppose -d + 4*l - 12 = -59, -f*l - 44 = -d. Is d a multiple of 7?
True
Let s(u) = -10 - 21 + 17 - u**3 - 28*u**2 - 36 - 33*u. Is s(-27) a multiple of 9?
False
Suppose 0 = 62*s - 101441 - 54613. Is 9 a factor of s?
False
Suppose -3*t = -4*t - 0*t. Suppose 4*w - l - 1757 = t, -7*w + 1737 = -3*w + 3*l. Is 16 a factor of w?
False
Is (-9)/108 + 630735/180 a multiple of 219?
True
Is 8 a factor of (-6)/16 + (-33310)/(-80)?
True
Suppose 105*m - 110*m = -4*r + 92475, -2*m + 115602 = 5*r. Is 10 a factor of r?
True
Let b = -22 + -258. Let z be 2179/7 + (-6 - b/49). Suppose -5*m = -h - 308, 4*m - z = 3*h - 69. Is m a multiple of 5?
False
Suppose -z + 2168 - 770 = 0. Let v = z - 685. Does 62 divide v?
False
Let s(w) = -2*w**2 - 12*w + 55. Let f be s(3). Does 19 divide -1*f/2 + 7155/18?
False
Let u(j) = -48*j + 1 - 23*j + 3 - 6*j**2. Let i be u(-10). Let p = -24 + i. Is 7 a factor of p?
False
Suppose 5*y + 220 - 801 = 2*c, 0 = 4*y - c - 466. Suppose -19*a = -4*a + 795. Let k = y + a. Is 16 a factor of k?
True
Suppose -1060 = -i + 2*s, 2*i - 2*s + 482 = 2592. Is 6 a factor of i?
True
Let q(w) = 11*w**3 - 34*w**2 + 2*w - 81. Let y(x) = 4*x**3 - 11*x**2 + x - 27. Let n(r) = -3*q(r) + 8*y(r). Let u = -740 - -754. Is 10 a factor of n(u)?
False
Let f(z) = -465*z + 186. Let n be f(-22). Suppose -47*l + n = -16*l. Is l a multiple of 7?
True
Let n be ((-1236)/(-18))/(4/12). Suppose -5*s - n = -3*v, -3*s - 7 = -v + 55. Does 10 divide v?
False
Let x(c) = -3*c**3 - 43*c**2 + 31*c - 19. Let m be x(-14). Is (6/(-4) + 1)*(m + 27) a multiple of 8?
False
Let v be (35/10)/(0 + (-2)/(-3044)). Suppose -37*l = -v - 889. Is 14 a factor of l?
True
Suppose 2*p + o - 7680 = 0, 5*o - 2*o = 5*p - 19222. Does 36 divide p?
False
Let m(z) = z**2 - 2*z - 22. Let r be m(9). Is 17 a factor of (-11)/11 + r*5?
True
Let o = -283 + 275. Let s(y) = 5*y**2 - 3*y - 56. Is 8 a factor of s(o)?
True
Suppose -40*f - f - 18778 = 0. Let d = 1179 + f. Is d a multiple of 103?
True
Suppose -18*b + 21*b + 5*n - 25176 = 0, 2*b - 16782 = -4*n. Is 14 a factor of b?
False
Suppose -32*i = -4183 - 10121. Let t = -217 + i. Is t a multiple of 14?
False
Does 65 divide (-10306832)/(-8536) - ((-12)/(-22))/(-1)?
False
Let c(m) = -m**3 + 6*m**2 - 2*m + 18. Let n be c(8). Is 23 a factor of n/(-5)*135/54?
False
Let o(h) be the first derivative of 5*h**2/2 - 54*h - 41. Does 3 divide o(26)?
False
Is 4 a factor of (-770)/((-8)/48 - 38/(-300))?
False
Suppose -15 = -5*b, 5*y = 5*b + 6 + 2379. Does 5 divide y?
True
Let j = 82 - 78. Suppose 3*x + 9*q - 1981 = 5*q, -q + 2663 = j*x. Is x a multiple of 23?
True
Suppose 3*a + 4*p + 3060 = 35553, 3*p = -a + 10821. Does 15 divide a?
False
Let l(x) = -401*x + 8189. Is 17 a factor of l(18)?
False
Let l(n) = 2*n**3 - 25*n**2 + 40*n + 31. Does 19 divide l(13)?
False
Let a(v) = 2*v + 4 + 5 + 8. Suppose -k + 1 - 18 = 4*b, -5*k - 37 = 4*b. Is a(b) a multiple of 7?
False
Let r(v) = -205*v**3 - 2*v**2 - 4*v - 2. Let w = 191 + -192. Is r(w) a multiple of 23?
False
Let d(h) = 2*h**3 - 120*h**2 - 84*h + 107. Is 21 a factor of d(65)?
True
Is 17745/78*3/((-45)/(-168)) a multiple of 52?
True
Let c = 156 + -27. Let s be 4/2*(1 + 0)*(-445)/10. Let v = c + s. Is v a multiple of 4?
True
Let a be 6/45 - 2152*69/(-90). Suppose a = -4*q + 9*q. Is 30 a factor of q?
True
Let o be 1 - (-2 + 34) - 2. Suppose 5*v = -y - 60 - 171, 4*v - y = -183. Let t = o - v. Is 13 a factor of t?
True
Suppose 44*t + 235214 = 150*t. Is 61 a factor of t?
False
Is (1958 - (-29 + 9)) + 14 a multiple of 8?
True
Suppose 3*q = -47*k + 48*k + 27992, -5*q + 46652 = -3*k. Is q a multiple of 31?
True
Suppose 7*p - 30 = 2*p. Let g = 457 - 452. Suppose p*k + g = 41. Is k a multiple of 4?
False
Suppose d = -4*x + 3, 4*x + 2*d = 3*d + 13. Let y be (76 - x) + -1 + -1. Suppose 2*p = -2*p + f + 51, 5*p - y = 4*f. Is p even?
True
Suppose 964404 = -62*l + 98*l. Is l a multiple of 43?
True
Let w = 30312 - 10968. Is w a multiple of 12?
True
Suppose 0 = -v - 3*o - 969 + 5428, 3*v - 5*o = 13377. Is v a multiple of 49?
True
Let z(y) = -y**3 - 88*y**2 + 343*y + 334. Does 75 divide z(-93)?
False
Let k be -12*(-4 + 3 + -10). Let q = k - -26. Suppose 10*x - 9*x - q = 0. Is x a multiple of 24?
False
Suppose 15*p = 6*p + 63. Let r be (p - (14 - 7)) + -1 + 484. Suppose -24*o + r = -17*o. Does 23 divide o?
True
Let v = -8704 + 9785. Is v a multiple of 23?
True
Is 96 a factor of 3 + (-98718)/(-8)*8/6?
False
Let g(u) be the third derivative of