*m + 3452 = -6*m. Suppose m = 19*w - 215. Is 38 a factor of w?
False
Suppose 2*t + t - 2*w - 644 = 0, 4*w - 872 = -4*t. Suppose 4*n + f = t, 4*n - 2*f - 283 = -n. Suppose 2*o - 55 = -0*o - 5*r, -o + n = -3*r. Does 6 divide o?
False
Let z be (-18)/(-30) + -1 + (-1528)/(-20). Let p be 4 + (-1)/(3/(-69)). Let k = z + p. Is 6 a factor of k?
False
Let d = -14594 - -18332. Is 89 a factor of d?
True
Let q(n) be the second derivative of -1/4*n**4 - 1/20*n**5 + 22*n - 5/6*n**3 + 0 - 3/2*n**2. Is q(-4) a multiple of 3?
True
Let t = -168 + 235. Suppose w - t + 66 = 0. Is 16 a factor of (-6 + -1 + -6)/(w/(-3))?
False
Suppose -702*j - 6629958 + 30848958 = 0. Does 100 divide j?
True
Let o = 3776 - 2855. Does 3 divide o?
True
Suppose 7*p - 4033 = -4*i + 10*p, 3*p = -9. Suppose 4*k - 1285 - 733 = -m, 2*k - m - i = 0. Is 63 a factor of k?
True
Is (-12 - -24088 - 6) + 5 a multiple of 45?
True
Let d(o) = -2*o**2 + 355*o - 605. Is 15 a factor of d(130)?
True
Let t(b) = 42*b - 2. Let p(f) = -f**2 + 2*f + 1. Let x be p(2). Is t(x) a multiple of 2?
True
Let l = 706 + 1455. Does 4 divide l?
False
Let a be (-2)/(-8) + (-2889)/4. Does 19 divide a/(3*(40/12 + -4))?
True
Let i(v) = 8*v**3 + 2*v**3 + 5*v**3 + 0*v**3 - 11 + v - 3*v**2. Does 4 divide i(3)?
False
Let a be (-366)/10 - ((-96)/30)/(-8). Let u = 37 + a. Let n(o) = o + 19. Does 7 divide n(u)?
False
Let l = 438 - 432. Let w(x) = x**2 + 2*x - 4. Is 20 a factor of w(l)?
False
Suppose -4*f + 5*w + 201 = 3135, 2936 = -4*f + 4*w. Let u = -622 - f. Is 38 a factor of u?
True
Suppose 90*o = 95*o + 10, 4*t - 14392 = 4*o. Is 27 a factor of t?
False
Suppose -70*q + 88110 = -75*q. Is q/(-27) + 6/(-9) a multiple of 48?
False
Let l be 1027/4 - -1 - (-22)/88. Let j = -226 + l. Is 24 a factor of j?
False
Let w = 2111 - 1899. Is w a multiple of 53?
True
Let j(n) = -2*n**3 - 6*n**2 - n - 3. Let m = 42 + -45. Let a be j(m). Suppose -o + 5*z + 47 = a, -3*z = -4*z. Is 3 a factor of o?
False
Let o = 11918 - 6088. Does 53 divide o?
True
Let b(o) = 6*o + 34. Let h be b(23). Suppose 3*f = x - 518 + 66, 5*x + h = -f. Does 30 divide (f/20)/(4/(-40))?
False
Suppose -805628 = -6314*r + 6241*r. Is r a multiple of 62?
True
Let j be -15 + 9 - -1*10. Suppose -5*c + 1929 = -4*y - 0*y, j*c - 5*y - 1536 = 0. Is 22 a factor of c?
False
Let h(k) = k**2 - 13*k + 41. Let w be h(9). Let y(c) = 125*c - 72. Does 31 divide y(w)?
False
Is 26 a factor of (14/6)/7 - ((-42448)/6 - -3)?
True
Let p be (1 - (-2 - 4)/(-3))*-1. Let s(k) = k**2 + 2*k - 1. Let a be s(p). Suppose -2*i = a*i - 216. Is i a multiple of 18?
True
Suppose 260*x + 335445 = 355*x. Is 27 a factor of x?
False
Is (-4048 - (4 + -6))*(-129)/86 a multiple of 77?
False
Let s(y) = 149*y - 742. Does 14 divide s(29)?
False
Suppose -147*v = -42*v - 55860. Is v a multiple of 19?
True
Let b(f) be the third derivative of f**5/12 + f**4/2 + f**3/3 - 38*f**2 + 2. Does 24 divide b(-9)?
False
Let a be (1 - 12 - 0)/(-1). Let j(k) = 0 + 14*k - 585*k**3 - 24 + 10*k**2 + 584*k**3. Does 9 divide j(a)?
True
Let w(v) = -2*v**3 + v**2 - 8*v - 4. Let p be w(-4). Let z = p - 102. Does 5 divide z?
True
Let i(h) = h**3 + 28*h**2 + 74*h + 59. Suppose 0 = 41*o - 52*o - 275. Is i(o) a multiple of 28?
True
Suppose -u - 3*m + 17 = 0, -3*u = -m - 2 + 1. Suppose 0 = 4*g - c + 26, 4*c - 3 = -u*g - 7. Does 10 divide (-2 - -1 - g)/((-6)/(-78))?
False
Suppose -62*i + 52*i + 61950 = 0. Is i a multiple of 59?
True
Let u(f) be the third derivative of -7*f**4/8 - 14*f**3/3 - 48*f**2. Is 20 a factor of u(-18)?
False
Let n(t) = -t**2 + t - 7. Let p be n(5). Let j = -13 - p. Let x(o) = -o**2 + 17*o + 26. Does 17 divide x(j)?
True
Let g be 6 + (-1 - 2) - -5. Suppose -g*m + 11*m - 63 = 0. Is 15 a factor of 708/m - (1 - 27/21)?
False
Suppose 0 = -2*z + 5*r + 20, -5*z + 4*r + 14 = -2. Suppose z = 2*v + 16 - 38. Does 7 divide 22/v + -1 + 6?
True
Let s be 16/5*(-85)/272*-8. Let y(p) = 2*p**3 - 3*p**2 - 9*p - 18. Does 14 divide y(s)?
True
Let h = -22 - -21. Let u be 1*65 - (-5)/1. Is ((-3)/7 + (-4170)/u)/h a multiple of 10?
True
Suppose 4*b = b - b. Suppose b = -3*m + 16 - 13. Does 4 divide 0 - -18 - (m/1 + 1)?
True
Suppose 2*t + 4*c - 6138 = -736, -5*c - 5429 = -2*t. Is t a multiple of 45?
False
Let k be (-12 - 81)*(-26 - (-5 - -2)). Suppose -3*m + 2*m + 5*i = -419, -3*i - k = -5*m. Is m a multiple of 39?
True
Let r(t) = t**2 - 21*t + 95. Let v be r(15). Let n = 0 - -2. Suppose 5*s - 215 = -n*p, p = v*p + 5*s - 405. Is 19 a factor of p?
True
Suppose 9320 = 295*u - 293*u. Does 10 divide u?
True
Suppose -4*o - 2844 = -5*i - o, -3*i = -o - 1708. Let z = -434 + i. Is z a multiple of 26?
False
Let j(s) be the first derivative of -s**2/2 + 4*s - 13. Let m be j(2). Is (3/m)/((-30)/(-520)) a multiple of 6?
False
Let j(u) = u**2 + 10*u - 7. Let q be j(-11). Let c be (-22266)/(-12)*q/(-6). Is 16 a factor of c/(-13) - (-24)/(-156)?
False
Let n(i) = i**2 + 15*i - 2050. Is n(-62) a multiple of 18?
True
Let s(z) be the third derivative of -19*z**4/12 + 133*z**3/6 - z**2 + 28. Is s(-10) a multiple of 11?
False
Suppose -3*x = 0, 2466 = i - 5*x - 9438 - 2070. Does 13 divide i?
False
Let a(l) be the first derivative of 14*l**4 - l**3 + 10 - l + 3/2*l**2. Is a(1) a multiple of 7?
False
Let v = -277 + 127. Let c = -145 - v. Suppose -618 = -c*i + 472. Is 26 a factor of i?
False
Let q = 19 - 19. Let s be 4/3*(-27)/(-6). Suppose -s*g + 2*g + 100 = q. Is 3 a factor of g?
False
Let x(m) = 302*m - 468. Is 47 a factor of x(24)?
False
Let z(k) = -10*k**2 + 396*k**3 - 36*k - 41 - 3*k**2 - 397*k**3 + 3*k. Is 40 a factor of z(-14)?
False
Is 4/(-26) - (8 + (-313190)/130) a multiple of 6?
False
Suppose 3*i + 3*q = 36816, -141*i + 12236 = -140*i + 5*q. Is 74 a factor of i?
False
Suppose 0*v - 4*d - 24828 = -3*v, -v - 5*d = -8257. Is 101 a factor of v?
False
Let k be (-6)/8 + (-63)/(-84). Let x = -42 + 47. Suppose -n - 1 - 4 = k, 2*v + x*n - 85 = 0. Is 22 a factor of v?
False
Let h = -51 - -134. Let i = h + -23. Is i a multiple of 6?
True
Is 2/34 + (2 - (-2965000)/68) a multiple of 45?
True
Suppose -3*z + 5*c + 21850 = 0, 3*z + 3*c - 7274 = 2*z. Suppose -z = 377*k - 385*k. Is k a multiple of 7?
True
Is 54 a factor of (-344664)/(-49) + 176/4312?
False
Suppose -8 = -2*h - 0. Suppose -5*l = -h*d - 129, 3*l + 5*d = -l + 95. Suppose -4*w = -2*a + 152, -a + 51 = 5*w - l. Does 20 divide a?
False
Let o = -3 + 27. Suppose -8 = -22*a + o*a. Is 21 a factor of a*(-4)/48*357?
False
Let y = -1026 + 2258. Is y a multiple of 44?
True
Suppose 33*g - 52 = 20*g. Suppose 5*q + g*u = 1605, 6*u = -5*q + 4*u + 1615. Does 21 divide q?
False
Let d = 8506 - 5189. Is d a multiple of 13?
False
Is (288 - 91)*(0 + 1) a multiple of 33?
False
Suppose -16*z - 2751 = -3*z - 332197. Is z a multiple of 28?
False
Let z(j) = -747*j + 1556. Is 7 a factor of z(-10)?
False
Suppose 0*n = -3*x - 3*n + 75, 0 = 4*x - 2*n - 100. Let s = x - 43. Let y = s - -107. Is y a multiple of 15?
False
Suppose -10*h + 0 = -30. Suppose 0 = 4*f + h*r - 4220, -5*f + 0*f - 5*r + 5280 = 0. Does 22 divide f?
False
Let c = -9772 - -21427. Is 63 a factor of c?
True
Let b(p) = p + 11. Let a be b(11). Let j = a - 18. Suppose -4*m - j*z + 174 = 2, 5*z = -15. Is 19 a factor of m?
False
Suppose -3*f + 10 = -8*f - 4*l, 5*l = 2*f - 29. Let c(z) = z**3 - z**2 + z. Let v be c(f). Let u(a) = a**3 - 5*a**2 - 5*a + 5. Is u(v) a multiple of 6?
False
Suppose -3 = 3*j, -9*i = -11*i + 2*j + 8. Suppose -2*o + 6*o - 234 = -i*f, -5*f = 4*o - 390. Is f a multiple of 6?
True
Suppose 4*n - 96*a - 18692 = -97*a, 2*n - 9340 = a. Is 32 a factor of n?
True
Suppose -1189*k + 10450 = -1184*k. Suppose 0 = 51*n - 61*n + k. Is 17 a factor of n?
False
Let x(m) be the first derivative of -m**3/3 + m**2/2 + 2*m - 2. Let l be x(1). Suppose -2*h + 6 = 0, -h = 2*k - l*h - 445. Is 16 a factor of k?
True
Let l = 2486 - 1518. Does 41 divide l?
False
Let u(l) = 334*l - 121. Is u(10) a multiple of 13?
False
Let q be (-3 - -28)*(7*5 - 1). Let x = q + -270. Does 20 divide x?
True
Let m = 41 - 38. Suppose -16 = -w - m*w. Suppose -3*v + k = -0*k - 119, -76 = -2*v + w*k. Is v a multiple of 13?
False
Let o be (-1 + 0)*1 + 3. Suppose 0 = x + 3*g + o*g - 45, 65 = 4*x - 3*g. Is x a multiple of 3?
False
Let g be 3*3*21/27. Let j be ((-8)/14)/((-2)/g). Suppose -4*l = -2*k + 32, 13 = 2*k + 3*l