44172*x - 706. Is 33 a factor of s(-1)?
False
Let d(v) = -2*v**2 + 8*v + 74767. Is 145 a factor of d(0)?
False
Let u(w) = -3*w + 34. Let q be u(6). Suppose -1344 = 10*i - q*i. Suppose -5*o - 447 = -2*h, 0*o - i = -h + 3*o. Is h a multiple of 17?
True
Suppose 74*i = -47614 + 180814. Is 24 a factor of i?
True
Let z be (-11 - -3)/(2/(-8)). Suppose 4 + z = 6*m. Is m even?
True
Let w(a) = 40596*a - 924. Does 29 divide w(1)?
True
Let w(i) = -i + 29. Let g be w(31). Is g - (-18)/8 - (-594)/88 a multiple of 3?
False
Let f(c) be the third derivative of -c**6/12 - c**5/15 + c**4/8 + 3*c**3/2 - 34*c**2. Does 18 divide f(-3)?
True
Suppose 26*v - 48 = 2*v. Suppose 0 = 9*r - 10*r - v, -3*f + 613 = -2*r. Does 2 divide f?
False
Suppose 3*g + 6*x - 26 = 4*x, 2*g + 5*x = 32. Let t(d) = -49*d - 717. Let m be t(-15). Let s = g + m. Does 18 divide s?
False
Is 10 a factor of (1 + 48/20 - 22/55) + 5177?
True
Let g be 12/5*(-2175)/2. Let v = -1462 - g. Is 43 a factor of v?
False
Suppose 5*v - 15 = 0, 0 = 5*z - 3*v + 1 + 98. Is ((-3)/(z/(-188)))/(12/(-54)) a multiple of 47?
True
Let q = 49 - 42. Let j = q + -5. Suppose j*b - 78 = b. Does 26 divide b?
True
Let g(d) = d**3 - 34*d**2 + 10*d + 11. Let o be g(34). Let p = o + -231. Is 6 a factor of p?
True
Suppose 429*v + 2*d + 4577 = 430*v, -4 = -d. Is v a multiple of 131?
True
Let a = 21 + -34. Let d = 3 - a. Suppose 4*o = d - 0, -4*u + 96 = 4*o. Is u a multiple of 5?
True
Suppose -21*m + 158 + 94 = 0. Is ((-102)/m)/(1/(-146)) a multiple of 21?
False
Suppose -4*b + 527 = -477. Suppose b = 11*q - 321. Is q a multiple of 4?
True
Let a = -18100 - -33670. Is 45 a factor of a?
True
Suppose s - 1719 = -2*s. Suppose -5*r = -3*t + 337, -5*t - r - 58 = -s. Suppose -26 = -4*a - 10, -4*u + 2*a + t = 0. Does 14 divide u?
True
Suppose -2*l = -4*s + 70740, -173*s + 180*s + 4*l - 123780 = 0. Is s a multiple of 32?
False
Suppose 0 = -2*y + y + 1. Is 5 a factor of (1 - -16) + (y - -2)?
True
Suppose 15*c = 34*c - 38. Suppose 5*y - 854 = -c*m - 68, -2*y = m - 314. Is y a multiple of 6?
False
Let g(w) = 57*w + 24. Let h be g(0). Does 26 divide ((-3326)/(-5))/(h/(-15) + 2)?
False
Is 130 a factor of (6 - (-5)/15*4532)*6?
True
Let f(s) = 5 + 0*s - 1 + s + 7. Let k be f(6). Let b(r) = r**2 - 11*r - 17. Is b(k) a multiple of 20?
False
Let s be (-60)/75 - (-16)/20. Suppose -3*a + 0*a + 627 = s. Is a a multiple of 14?
False
Let t(l) = -l**3 + 7*l**2 - l + 4. Suppose -n - 5*c + 4 = 0, -5*n - c + 3*c + 20 = 0. Is 13 a factor of t(n)?
False
Let q(l) = -14*l**2 - 9*l + 211 + 2*l**3 - 194 + l**2 + 0*l**3. Let f be q(7). Suppose 198 = 2*h - 4*j, 2*h - 4*h - f*j + 219 = 0. Is 15 a factor of h?
True
Let r = 47745 + -28374. Is 11 a factor of r?
True
Suppose -74*k + 94532 + 152924 = 0. Is 30 a factor of k?
False
Let s(o) be the third derivative of -9*o**2 + 0*o**5 + 1/120*o**6 - 4/3*o**3 + 5/24*o**4 + 0*o + 0. Is 19 a factor of s(4)?
True
Suppose 192 = -4*p + 2*k, -2*k + 5 = -3. Let c = p - -51. Suppose x = -4*x + c*f + 345, -4 = 4*f. Is x a multiple of 17?
True
Let i = 14135 - -10719. Suppose -7339 = 31*m - i. Does 19 divide m?
False
Does 3 divide 0 + 2/(-6) - ((-20085)/45 - 13)?
True
Let q(m) = -49*m + 1799. Is q(-71) a multiple of 203?
True
Let d(n) = n**3 + 21*n**2 + 2*n + 4. Let x be d(-21). Is 7 a factor of (-9960)/x - 52/494?
False
Let l(o) = 23*o + 84. Let q = 391 + -385. Is l(q) a multiple of 63?
False
Suppose -23*j + 14*j = -14*j + 5520. Does 46 divide j?
True
Suppose 5*p - x + 4792 = -5*x, 2*x = 5*p + 4774. Let m = -53 - p. Is m a multiple of 70?
False
Let z be 1230/54 + 2/9. Let d(r) = -17*r**2 + z*r**3 + 4*r + 44*r**2 - 25*r**2 - 5*r. Is d(1) a multiple of 6?
True
Let i be (-60)/9*21/(-35)*74. Let f = i - 120. Is 15 a factor of f?
False
Let u = -71 - -66. Let c be (-16)/u + ((-20)/(-25) - 1). Suppose 0 = 3*m - 4*f + 6*f - 370, c*f + 516 = 4*m. Is 17 a factor of m?
False
Suppose 5*q + 3*j = 47 + 7, 0 = q - j - 14. Suppose 28*v - q*v = 1056. Is v a multiple of 12?
False
Suppose -2*v + 487 = 5*q, -23*v - 988 = -27*v + 4*q. Does 22 divide v?
False
Let w(g) = -g**2 + 7*g - 8. Let m be w(2). Let x be -6*(40/12 + -4). Suppose x*i = m*i + 4. Does 2 divide i?
True
Is 30 a factor of ((-190)/(-5) - -49)*1360/2?
True
Let i(a) = -8*a**2 + 42*a - 26. Let x be i(9). Is (-3)/(-1 + x/(-320)) even?
True
Let o(u) = u**3 + 24*u**2 - 92*u - 131. Is o(-26) a multiple of 13?
False
Suppose -5*l - 3*k = -30928, 5*l + 2*k = 22374 + 8558. Suppose 418*n + l = 425*n. Is 68 a factor of n?
True
Suppose 5*y + 4*d = 3, -5*d + 2*d = -y + 12. Suppose 9*r - 4*r + 3*w = 2305, r = y*w + 443. Is r a multiple of 17?
False
Let w = 1684 + -1692. Let o(s) = 2*s**2 - 10*s - 38. Let h(u) = -3*u**2 + 20*u + 76. Let t(z) = 3*h(z) + 5*o(z). Does 2 divide t(w)?
True
Suppose 58*g + 63*g = 20*g + 213312. Is 4 a factor of g?
True
Suppose 3 = -3*t, -2*s + s + 9 = t. Suppose -4836 = -2*l - s*l. Does 16 divide l?
False
Let d = 1966 - 1174. Suppose -10*c + d = c. Is c a multiple of 8?
True
Let b(a) = 9*a**2 - 3*a - 3. Let d be b(-1). Suppose 0*r + 11 = 2*l - 3*r, 7 = -l + 4*r. Does 3 divide l - (7 - 3 - d)?
True
Let g = -167 - -166. Is 4 a factor of g*((-132)/4 - -4)?
False
Let r(n) = 897*n**2 + 2*n - 5. Is 11 a factor of r(4)?
True
Suppose 0 = -4*u + 2*n + 184, -3*n = -4*u - 2*n + 180. Suppose 4*i - u*i = -6280. Is i a multiple of 17?
False
Suppose d + 452 = n + 3*d, -d = 3*n - 1366. Suppose 9*y - y = -n. Let l = -1 - y. Is l a multiple of 29?
False
Let h be -39 + 43 + 394/2. Let q = h + -72. Does 7 divide q?
False
Let a = 1043 - -2947. Is 24 a factor of a?
False
Let a be -215 + 3 + -1 + -3. Let v be (-4)/(-10) + a/(-60). Suppose 0*z - 4*z + 184 = v*p, -180 = -4*z - 5*p. Is z a multiple of 10?
True
Let t(q) = 4*q - 31. Let o be t(9). Suppose 3*n = -o*v + 262, v - 8*n = -6*n + 55. Does 7 divide v?
False
Let i(m) = -m**2 - 33*m + 35. Let j be i(-39). Does 2 divide j/(-2) - 295/118?
False
Suppose 47*v + 9 = 10819. Does 59 divide v?
False
Let c = 26 - 22. Let u be -2 + c + 141 + 1. Let k = -102 + u. Is k a multiple of 10?
False
Let q(a) be the first derivative of 4*a**3/3 - a**2/2 + 49*a - 228. Is 5 a factor of q(-4)?
False
Suppose -6218940 = -44*i - 166*i. Is i a multiple of 26?
True
Is 7 a factor of -244*((-181 - -179) + (606/4)/(-3))?
True
Let w(t) = t + 13. Let c be w(2). Suppose -c = -r - 3. Is r a multiple of 12?
True
Let g = 15 - 10. Let x(d) = -4*d**2 - 64*d + 9. Let q be x(-11). Suppose q = g*z - 156. Is 14 a factor of z?
False
Suppose 0 = 3*l + 3, 4*o - 34535 = 8*l - 1587. Is 110 a factor of o?
False
Let b = 5415 + -12271. Is 5 a factor of 4/22 + (b/(-44) - 1)?
True
Suppose 0 = 3*r + 4*p + 6 - 30, 3*r - 18 = -2*p. Suppose -2*i = 5*v + 11, -5*i + 28 = -2*v - 17. Suppose r*y - 429 = -i*y. Is 13 a factor of y?
True
Is (-40702)/(-20) + (-195)/1950 a multiple of 34?
False
Let v(f) = 36*f + 2123. Does 14 divide v(6)?
False
Let x(v) be the first derivative of v**3/3 + 5*v**2/2 + 26*v + 11. Let k be x(0). Suppose 0 = l - k + 4. Does 11 divide l?
True
Let i(m) = -28*m**2 + 28*m + 81. Let n(o) = -9*o**2 + 10*o + 27. Let d(h) = -4*i(h) + 11*n(h). Does 5 divide d(-3)?
False
Does 100 divide 156/234 + (-25789)/(-3)?
False
Let o = 66 + -52. Suppose -5 = o*m - 15*m. Does 37 divide 637/m + (-16)/40?
False
Let u = 46 - 52. Let k(t) = -2*t + 18. Let a be k(-6). Let w = u + a. Is 4 a factor of w?
True
Let y = 2179 - 666. Is 56 a factor of y?
False
Let l = 5132 - 2372. Does 15 divide l?
True
Let m = -527 + 528. Is ((-300)/(-40))/(m/6) a multiple of 16?
False
Suppose 6*p + 96 = -96. Let l be (-457)/(-8) + 4/p. Let f = 122 - l. Is f a multiple of 5?
True
Let c = -38 - -437. Does 7 divide c?
True
Suppose 124*n - 66*n - 47*n - 77539 = 0. Does 19 divide n?
True
Suppose 0 = -131831*l + 131808*l + 26588. Does 4 divide l?
True
Let g(x) = -445*x + 8. Let f(a) = 223*a - 4. Let r(i) = -13*f(i) - 6*g(i). Let y be r(-1). Let l = -151 + y. Is l a multiple of 32?
False
Let t be (4 - 65/10)*-8. Is 4 a factor of ((-7684)/85)/((-8)/t)?
False
Suppose -6*h = -165 + 39. Suppose -h*n + 784 = -56. Is n a multiple of 28?
False
Suppose 27*z - 137688 - 250138 = 421040. Does 76 divide z?
False
Let n be 2098/(-6) - (-7)/(84/8). Let o = -201 - n. Suppose 4*m - o = 3*w, m + 2*w = -0*m + 48. Is m a multiple of 5?
True
Let j(b) = 48*b + 3.