et l(g) = -9*g. Let q(h) = 6*d(h) + 17*l(h). Is 9 a factor of q(3)?
False
Let l be 2/9 - (-598)/(-18). Let u = l + 206. Suppose 0 = 4*m + 49 - u. Is m a multiple of 9?
False
Suppose -5*k - 5*s + 6735 = 0, -579 = 5*k - 2*s - 7335. Is k a multiple of 25?
True
Let q = 65 + -60. Suppose 2*o - 4*w = -9*w + 200, -3*o + 325 = -q*w. Suppose -5*g - 5*m + o = -2*g, 4*g - 4*m - 108 = 0. Is g a multiple of 5?
True
Suppose -310*y = -337*y + 1462671. Does 71 divide y?
True
Suppose -3886 - 4250 = -9*i. Suppose i = h + 3*h. Is h a multiple of 51?
False
Let c = 17899 - 15859. Does 15 divide c?
True
Let t be 929 + -2 + (-7 - -11). Let c = -736 + t. Is c a multiple of 4?
False
Let h = -37 - -35. Let y be 2/(-3)*3 - h. Is 8 a factor of (-4)/(y - 8/60)?
False
Let r = 3692 - 2793. Is r a multiple of 10?
False
Suppose 3*t + 5160 = o - 3144, 0 = -3*o + 2*t + 24898. Suppose -18*j = -7830 - o. Is 36 a factor of j?
False
Let z = 4348 - 3077. Let m = -863 + z. Is m a multiple of 68?
True
Let s be 40/(-10) + (0 - 0). Let u = 14 + s. Is 15 a factor of 81/5 - u/50?
False
Let z(o) be the first derivative of 2*o**2 - 3*o - 31. Let i be z(2). Suppose 0 = 5*j - j - i*y - 95, -3*j + 3*y = -75. Does 8 divide j?
False
Let u(g) = 2*g**2 - 21*g + 10. Let n be u(10). Suppose -35*p + 27991 + 8759 = n. Is 75 a factor of p?
True
Let t(v) = -51*v - 334. Let b be t(-8). Let w(n) = 42*n + 1. Let l be w(2). Let p = l + b. Is 7 a factor of p?
False
Let g(y) = y**2 - 12. Let w be g(-4). Suppose 2*d - w = z, z + 23 = -3*z + d. Let p(x) = -x**3 - 4*x**2 - 10*x + 3. Is 27 a factor of p(z)?
True
Let t(g) = g**2 + 3*g + 22. Let c(x) = 2*x + 12. Let v be c(-5). Suppose -v*p + p = 10. Is 16 a factor of t(p)?
False
Suppose 2*n = 4*m - 49512, 9*n - 5*n = 3*m - 37144. Is m a multiple of 26?
True
Let b = 28 - 18. Suppose -15*i = -5 - b. Suppose -a + 216 = -5*c, 0 = -5*c - 26 + i. Does 45 divide a?
False
Suppose 4*j - 5490 = 4*t - 16014, 3*j + 5268 = 2*t. Is 227 a factor of t?
False
Let a(l) = l**3 + 17*l**2 + 57*l - 31. Let y be a(-11). Suppose -4 = -v - 2. Suppose -5*g = -5*s + 450, y + 192 = 3*s + v*g. Does 22 divide s?
True
Suppose 21 = 108*o - 101*o. Suppose 0 = 3*a + 3, 2*h + 5*a - o*a = 72. Is h a multiple of 4?
False
Is 3 + (-36908)/(-6) + -3 + (-64)/(-24) a multiple of 181?
True
Suppose 0*a = 3*a + 5*w + 6, 9 = -a - 4*w. Let h(v) = 2*v**3 + v**2 - 5*v - 1. Is 2 a factor of h(a)?
False
Let f = 217 - 211. Suppose 0 = 5*i + f*i - 3718. Is 6 a factor of i?
False
Let h(m) = -50*m + 16242 - 16242. Is 29 a factor of h(-1)?
False
Is 8156/4*6*(-6 - 0)/(-12) a multiple of 3?
True
Let i(t) = t**3 - 10*t**2 + 11*t - 11. Suppose 2*b + 5*k + 27 = 5*b, 3*k + 18 = 2*b. Let j be i(b). Suppose -j*g + 281 = 1. Does 8 divide g?
True
Suppose 4*i - 2300*a + 2304*a = 36944, 2*a = 2*i - 18448. Is 71 a factor of i?
True
Let c = -3428 - -6372. Is c a multiple of 57?
False
Let v = 152 + -131. Suppose 252 = y - v. Is y a multiple of 13?
True
Suppose 0*v - 4*v = -2*v. Suppose 8*x - 12*x - 112 = v. Is 6 a factor of ((-15)/(-2)*-1)/(7/x)?
True
Suppose -12 = -3*x - 2*f, 2*x = -x - f + 9. Suppose -4*j = -5*n + 706, 0 = 5*j + x*n + 1270 - 404. Is 5 a factor of j/(-18) + (-1)/(-3)?
True
Is 259 a factor of (-560)/168*(-2)/((-4)/(-3))*3131?
False
Let h(c) be the first derivative of c**5/30 + c**4/8 - 31*c**3/6 - 13*c**2/2 - 19. Let t(w) be the second derivative of h(w). Is 21 a factor of t(-7)?
False
Suppose 0 = 2*o - 10, -m - 5*o - 5117 = -18210. Is 54 a factor of m?
True
Let b = -918 - -1736. Is 7 a factor of b?
False
Let m(x) = x**2 + 3*x + 43. Is m(13) a multiple of 33?
False
Let b(a) = -a**2 - 5*a - 2. Let g be b(-4). Suppose 788 = 4*y - 2*i, g*y - 4*i - 400 = -6*i. Is y a multiple of 33?
True
Suppose 0 = -486*l + 407*l + 663047. Is 3 a factor of l?
False
Let v be ((-8)/(-6))/((4/6)/2). Suppose 7*b = 5*b - 4*w + 74, -v*w + 107 = 3*b. Is 33 a factor of b?
True
Suppose 0 = 4*c + 8, 4*b - 2*c = 8*b + 160. Let m = 43 + b. Suppose -3*y - 3*w = -372, 0*w + w + 511 = m*y. Does 24 divide y?
False
Suppose -320017 = -25*y + 183983. Is y a multiple of 24?
True
Let b be 7/((-21)/(-1299)) - -9. Suppose -3*i + b = -5*w, -3*i - 2*w + 227 + 201 = 0. Is 36 a factor of i?
True
Let h(r) = 12*r**2 - 78*r + 1064. Does 128 divide h(44)?
True
Suppose -6*s + f + 27 = -2*s, -5*s = 3*f - 55. Suppose 19*n - s*n = 1991. Does 12 divide n?
False
Suppose -2*c + 3*m + 2334 = 7273, -9890 = 4*c - 2*m. Let y = -1756 - c. Is y a multiple of 74?
False
Let s(n) = n**2 - 3*n - 7. Let o be s(5). Suppose 4*p + 48 = -3*k, -5*k + o*p = 68 - 17. Is 5 a factor of 2/((k/4)/(-45))?
True
Let j(t) be the third derivative of t**6/120 + 3*t**5/10 - t**4/8 - 7*t**3/2 + 27*t**2 + 5. Is j(-7) a multiple of 6?
False
Suppose 81180 = 8*o - 8*o + 30*o. Is o a multiple of 66?
True
Suppose -5*s - 2*n = -32, -5*s = -7*n + 6*n - 29. Suppose -3*t + 71 = -4*m, 2*t + s - 44 = -2*m. Is t a multiple of 7?
True
Does 21 divide 8316/2*(-234)/(-156)?
True
Let q = -272 - -450. Suppose 4*g = -3*d + 14, g - 8 = -d - 2*g. Suppose -q = -10*j + d. Does 14 divide j?
False
Let d = 411 - 372. Is (-102)/(-4)*(-7 + 377/d) a multiple of 34?
True
Let r(u) = 2*u**2 - 33*u - 6. Let j = -6 + 22. Let f be r(j). Does 22 divide (f + -1)*1/(1/(-7))?
False
Let a(c) = -8 - 5*c + c**3 + 192*c**2 + 4*c - 196*c**2 - c. Is 5 a factor of a(5)?
False
Let l(t) = 298*t**2 + 2*t + 4. Let v be ((-15)/(30/(-6)))/((-3)/(-2)). Let w be l(v). Does 30 divide w/36*(0 + 9/2)?
True
Let w(s) = 3*s**3 - 15*s**2 - 13*s - 9. Let r(d) = -d**3 + d**2. Let h(l) = 4*r(l) + w(l). Let f be 1*6/3*-5. Is h(f) a multiple of 4?
False
Let b(g) = -1411*g - 57. Let x be b(-3). Is (-26)/(-247) + x/38 a multiple of 11?
True
Suppose 6*g + 296 - 8635 = 5*h, -3*h = 2*g - 2775. Does 54 divide g?
False
Let h(y) = -4565*y - 6031. Does 31 divide h(-6)?
True
Suppose 0 = -0*n + 10*n - 6840. Let m = -342 + n. Does 14 divide -2*m/(-4) - 9/3?
True
Let g(o) = o + 93 - 48 - 49. Let q be g(5). Does 16 divide ((-3)/(3/(-140)))/q?
False
Suppose 2*u - 8948 = 2*x, 0 = 356*u - 361*u - 4*x + 22352. Is 86 a factor of u?
True
Let j be ((-24)/6)/16*(0 - 8). Suppose j*w = 47 + 9. Is w a multiple of 15?
False
Suppose 0 = 3*f + 27 - 72. Suppose 3*k - f = -5*j, -3*k + 9*j = 5*j - 15. Let n(t) = 2*t**3 - 3*t**2 + 5*t - 1. Does 34 divide n(k)?
False
Let k be (4 - 5)*(-2 + 0 + 4). Let a = k + 16. Is 2 a factor of a?
True
Let l(p) = -p**3 - 16*p**2 - 26*p + 31. Let k be l(-14). Suppose -k*s + 222 = -m, 2*s - 134 = 2*m - 6*m. Is 29 a factor of s?
False
Let y(s) = 60*s - 7. Let j be y(4). Let l = j - 100. Suppose -l = -2*u + 49. Is u a multiple of 13?
True
Let h = -10596 - -10981. Is h a multiple of 3?
False
Let y = 5421 + 51. Is 96 a factor of y?
True
Let a = 91 - -1541. Is a a multiple of 8?
True
Let x = -55 + 125. Suppose -2*q + 7*f + 128 = 3*f, -q + 5*f = -x. Suppose -z - 2*h = -0*h - q, -z + 75 = -h. Is 12 a factor of z?
False
Let x be (-3 - -4)*30*(-3)/(-6). Is 12 a factor of (40/x)/(-1)*(-389 - -2)?
True
Let z(a) = 43*a + 31. Let i(w) = -2*w. Let t(l) = -3*i(l) - z(l). Let q be t(-3). Let p = q - 49. Is 9 a factor of p?
False
Is 88 a factor of 132/(-99)*11367/(-6)?
False
Suppose 2*x + z - 7847 = 0, -x - 108*z = -106*z - 3934. Is 20 a factor of x?
True
Let n = -1372 + 2818. Is (-2)/7 - (-1 + n/(-14)) a multiple of 29?
False
Let c be (8/(-24))/(3/(-45)). Let y(r) = 2*r**2 + r - 6. Let d be y(c). Let h = d + 5. Does 9 divide h?
True
Suppose 0 = -15*v + 216 - 66. Suppose -v = -5*u, -3*b + 4*u + 0*u + 73 = 0. Is b a multiple of 3?
True
Let m = 10535 + -1435. Is m a multiple of 28?
True
Let p be 286 + (-2 + 0 - 2). Suppose -4*q + p = 2*q. Suppose -2*m + 191 = q. Is 8 a factor of m?
True
Let k(j) = 25*j**3 - 4*j**2 + 54*j - 35. Is k(9) a multiple of 248?
True
Let j = -2030 - -2783. Does 10 divide j?
False
Let l = 15 + -13. Suppose 5*f + 2*w = -l*w + 840, 4*f - 651 = w. Suppose 0*h + 3*i = h - f, -5*h = 5*i - 900. Is 22 a factor of h?
True
Let i(y) = 4*y**3 - y**2. Let x be i(-1). Let a = x + 7. Suppose -g = 4*n - a*g - 117, -g + 123 = 4*n. Is 6 a factor of n?
True
Let d = 14 - 15. Suppose -5*t + 2*t = 9. Is t - (-2 - d - 16) a multiple of 3?
False
Let y(d) = -895*d - 7567. Does 13 divide y(-15)?
False
Suppose 3*j = -0*j - 12, -3*u + 3*j + 10761 = 0. Let q = u - 1880. Does 26 divide 