t(d) = 4*d + 579. Does 25 divide t(-57)?
False
Suppose -i + 5*n = 30, -5*i - 4*n - 38 + 4 = 0. Is 2 a factor of (-2343)/i + 60/(-200)?
True
Suppose 2*f - f = 888. Suppose -3*r + 687 = -f. Is r a multiple of 18?
False
Suppose 4*g = 2*l + 6, -3*l - 2*g + 19 = -g. Suppose 0 = -l*q + 3542 + 1213. Does 36 divide q?
False
Suppose -2*g = -5*c - 33417, -3*c - 6494 - 43636 = -3*g. Is g a multiple of 8?
False
Let j = -9 - -13. Suppose j*t + 19 = 5*i, 4*i + 3*t - 9 = -0*t. Suppose 10 = 4*m - i*m. Is 2 a factor of m?
True
Let c = -36945 + 91945. Is c a multiple of 110?
True
Let r(z) = -112*z - 1173. Is r(-21) a multiple of 15?
False
Let k be 114/(-3)*(-1)/2. Suppose 471 = -k*f - 137. Is 7 a factor of (48/f)/((-6)/344)?
False
Let i be (-95)/19 - (-3)/(3/155). Does 49 divide i - (-54)/(-12)*2/3?
True
Let f be 495 - -2 - (2*-1 - -1). Let c be 56/98 + f/(-14). Does 19 divide 2*c*(-2 - (-3)/2)?
False
Is ((-9)/(-5) - (10 - 9))*148725/10 a multiple of 11?
False
Let s = 15510 - 8503. Does 143 divide s?
True
Let o(z) = 40*z + 11. Let q be o(-2). Let v = -27 - q. Suppose 3*p - 3*y - 168 = v, -284 = -4*p + 5*y. Is 13 a factor of p?
False
Is 62 a factor of (20 + (-2686)/85)*31*20/(-2)?
True
Let u(f) = -f**3 - 7*f**2 + f + 25. Let q be u(6). Let v = q + 759. Suppose v = 3*b + 52. Does 18 divide b?
True
Let i be 0/(4 + -3 + -3). Let c be (0 - i)*(-6 - -5). Suppose 5*u - 152 = 3*k - c*k, 160 = 5*u - 5*k. Does 14 divide u?
True
Let b(s) = -41*s**3 - 3*s**2 + 6*s + 8. Let g be b(-1). Let z = 1 + 68. Let o = z - g. Is 29 a factor of o?
True
Let k = -301 + 313. Suppose -817 + 225 = -j + 4*i, 4*i + k = 0. Is j a multiple of 39?
False
Suppose -5*z + 51267 = 3*m, 6*z + 65355 = 3*m + 14154. Does 37 divide m?
False
Let l = -60609 - -85696. Is 65 a factor of l?
False
Suppose 2*v = -16*v + 72. Suppose -4*n + 3620 = 4*f, -3*f = v*n - 1566 - 2059. Is n a multiple of 35?
True
Let b(j) = -34*j - 1730. Let p be b(-78). Let w(s) = -2*s**3 + 4*s**2 - 3*s + 2. Let y be w(2). Is 14 a factor of (-4)/48*y - p/(-6)?
True
Let v be 1 - (-3196 + 5 + 0). Suppose 0 = -4*i - 15*i + v. Does 14 divide i?
True
Let x be (4/(-2))/(-8) - (-20053)/44. Suppose -x = 8*z - 12*z. Suppose 4*h - 80 = -3*v - 7, 5*v - z = h. Does 15 divide v?
False
Let y be (-98)/(-980) + 21/(-10). Let q(j) = 2 + 5 - 82*j - 2. Is 14 a factor of q(y)?
False
Let y(c) = 26*c - 19. Let h be y(15). Does 10 divide h + (4 - 13 - -6)?
False
Let q be (-54)/(-567) + 38/42. Is 7 a factor of q - 430/(-5) - 2?
False
Let u be (8 + -8)/(0 + 0 + -2). Suppose -m - o - 1 = 2*m, -2*o = -2*m + 2. Suppose m = -u*l + 2*l - 120. Does 9 divide l?
False
Let n be 2/4*(-80)/(-5) + -3. Suppose -s - 3*h = h + 31, 0 = -h - n. Does 3 divide 5/(-25) - s*(-6)/(-5)?
False
Let f = 487 - 485. Suppose -c + 1468 = f*o + 498, 4*o + 3*c - 1938 = 0. Is o a multiple of 13?
False
Suppose w = -3*x + 67, -3*x - 67 = -w - x. Suppose 64*h = w*h - 234. Does 4 divide h?
False
Is (188/(-6))/((-162)/8991) a multiple of 7?
False
Suppose 5*m + 18 - 3 = 0. Let v be 92/(-6)*m + (10 - 7). Suppose 3*a - 2*a = 2*r - 37, -v = -3*r - 5*a. Is r a multiple of 18?
True
Is 127 a factor of 11056 - ((-1258)/(-187) - 12/(-44))?
True
Let p = 26890 - 18538. Is 29 a factor of p?
True
Let k(i) = -i**2 - 16*i - 22. Let p be k(-13). Suppose -5*t + 2*m - 5*m = p, -4*t + 2*m + 4 = 0. Does 10 divide (-3 - t - -181) + (2 - 1)?
True
Let s(b) be the third derivative of 0*b + 0 + 3*b**2 - 41/24*b**4 + 1/2*b**3. Does 18 divide s(-3)?
True
Let a(r) = 1847*r - 852. Is 31 a factor of a(6)?
True
Let o(m) = 2*m**2 + 3*m + 1. Suppose -9*w = 15 + 3. Does 2 divide o(w)?
False
Does 9 divide 21917/7 - (-2 + 20)?
False
Let g(m) = -4*m - 28. Let h be g(-7). Let w = -35 + h. Let b = -7 - w. Is b a multiple of 7?
True
Let b(w) = -3*w + 139. Let o be 27/((12/(-16))/(0 - -1)). Is 15 a factor of b(o)?
False
Suppose v + 187 = k, -5*v + 4*k = 5*k + 947. Let g be v/135 + (-8)/5 + 1. Is 4 a factor of 220/22 + (g - 0)?
True
Let h(z) be the second derivative of -197*z**3/6 - 39*z**2/2 - 317*z. Is h(-5) a multiple of 19?
False
Let q(s) = 448*s + 2887. Is 25 a factor of q(6)?
True
Let x(j) = 2*j**2 - j + 89. Let l(h) = h**2. Let k(f) = -4*l(f) + x(f). Is k(0) a multiple of 10?
False
Let i be -1*1 - (-33 - -40). Does 12 divide (i + 2)*(130/(-6) - -2)?
False
Let n(f) = -3*f**3 + f**2 + 2*f - 5. Let t be n(-2). Suppose 7*r = -9 - t. Is r/(-16)*2 + 333/6 a multiple of 14?
True
Suppose -21*r - 2347 = -13372. Does 175 divide r?
True
Let m(o) = -13*o**2 + 37*o + 47. Let f(g) = 6*g**2 - 19*g - 23. Let a(l) = 7*f(l) + 3*m(l). Is a(10) a multiple of 22?
False
Let b(z) = -57 - z + 3*z + 70 + z**2. Suppose 164*r = 166*r. Is 13 a factor of b(r)?
True
Let h = 51 - 3. Let n = h + -39. Is 10*-46*n/(-30) a multiple of 23?
True
Suppose -60 = -6*m + m. Suppose -m = -5*t - 2. Suppose -a + 0*a = -t*h - 46, 5*a - 2*h - 230 = 0. Does 4 divide a?
False
Suppose 7*x - 6*x = 2. Let g(q) = 1 + 14 + 4*q**x - 10*q - 4 - 7. Does 8 divide g(4)?
False
Suppose -2197 = -4*n + 211. Let z = 948 + -576. Let k = n - z. Is k a multiple of 43?
False
Suppose 14*g = -8*g + 121968. Suppose 4*f - 4*b = g, -b - 1952 - 825 = -2*f. Is 15 a factor of f?
False
Let h(p) = 6*p**3 + 6*p**2 + 4*p + 6. Let o(z) = 5*z**3 + 5*z**2 + 3*z + 8. Let g(n) = -3*h(n) + 4*o(n). Does 30 divide g(7)?
False
Let y(u) = -u**3 + 40*u**2 + 34*u - 40. Does 115 divide y(38)?
True
Let x be 0/(-1) - (-4 + -2). Suppose -174*h - 1692 = -162*h. Let j = x - h. Does 37 divide j?
False
Suppose -3*f = -8*f + 50. Is 30 a factor of -5 - 669/(-2) - (-5)/f?
True
Let b = 22 - -146. Suppose -663 = -5*v + 4*o + 221, 3*o = v - b. Suppose -874 = -5*t - 2*q, -3*q + v = 2*t - t. Does 29 divide t?
True
Let a = -6 - -11. Suppose a*o = -0*o. Suppose 3*m + 5*k - 218 = 0, 3*m - k - 3*k - 236 = o. Is 17 a factor of m?
False
Suppose 0 = 2*k - 5*k + j + 101, -120 = -4*k + 5*j. Let y = 147 - k. Is 4 a factor of 16/y - (-166)/14?
True
Let l(q) = q - 9. Let u be l(-8). Let o(f) = 54 - 16*f + 36*f - 17*f. Is 3 a factor of o(u)?
True
Let p = -15112 + 25192. Is p a multiple of 54?
False
Let h(g) = -82*g**3 + 3*g**2 + 9*g + 2. Let o be h(-2). Let m = o - -34. Is 22 a factor of m?
False
Suppose 0 = -4*p + 9*u - 5*u + 40304, -6*p + 3*u = -60456. Is p a multiple of 229?
True
Let k = -3213 - -5790. Does 138 divide k?
False
Let z(b) = -b**2 + 16*b - 1. Let t be z(15). Let i be 9/21 + 78/t. Suppose 0 = -11*h + i*h + 45. Is 3 a factor of h?
True
Let j be 8/(-6)*12/(-8). Let u be 130/(-78)*3/(-10)*0. Suppose 2*w + 5*r = -2*w + 88, -j*w + 4*r + 70 = u. Is w a multiple of 10?
False
Suppose 287*p + 85023 = 3*u + 284*p, 2*p - 2 = 0. Does 37 divide u?
True
Let j(a) = -a**2 - 14*a - 52. Let u be j(-6). Let z(i) = i**2 + 4*i - 9 - 2*i**3 + 9 - 5 - 3*i**2. Is 15 a factor of z(u)?
True
Let n(u) = u**3 + 35*u**2 + 237*u + 11. Does 9 divide n(-13)?
True
Let m = -40 - -45. Suppose 0 = m*s - 3*o - 13, 7*o = 5*s + 3*o - 14. Suppose 0*c + 4*c = -s*t + 134, -4*t + c + 259 = 0. Is 11 a factor of t?
False
Is -7 + ((-1622700)/(-9))/15 a multiple of 169?
False
Let w be (-2 - (-12)/9) + 32/3. Suppose -w = -0*r - 2*r. Is r - 84*(-2)/3 a multiple of 6?
False
Suppose -52380 = -5*p - 25*p. Is p a multiple of 9?
True
Let w(n) be the first derivative of -n**4/4 + 7*n**3/3 - 7*n**2/2 + 9*n + 5. Let c be w(6). Suppose q + 8 = -4*l, c*q = -5*l - 2 + 13. Is 5 a factor of q?
False
Let g(t) be the first derivative of -t**2/2 - 14*t - 1. Let l be g(-14). Suppose -4*k + 2*w + 232 = l, -2*w = k + 3*w - 58. Is 17 a factor of k?
False
Let r(p) = 435*p**2 - 526*p - 2630. Does 125 divide r(-5)?
True
Suppose -5*k + 17054 = 4*b, 3*b - 19*k - 12793 = -24*k. Is b a multiple of 37?
False
Let v(m) = -59*m**3 + 8*m**2 - 7*m - 61. Does 18 divide v(-5)?
False
Let g(y) = -y**3 - 13*y**2 - 11*y + 3. Let j be g(-12). Let i = j + 26. Suppose -i*c = -15*c - 144. Is 24 a factor of c?
True
Suppose 7 = -2*i - w, -i = 3*i - 5*w + 7. Let q(s) = -4*s**3 + 4*s**2 + 4*s - 10. Let l be q(i). Let y = -108 + l. Is y a multiple of 8?
False
Let a = 4505 + -2891. Does 4 divide a?
False
Does 16 divide (-37142)/(-3) + (-19)/(-3) + -3?
True
Let d(o) = -14*o**2 - 835*o - 68. Is 23 a factor of d(-55)?
False
Let p(w) = 5*w**2 + 54*w + 358. Is p(33) a multiple of 5?
True
Suppose 11*a - 105 = 4*a. Suppose -4 = 4*g + 3