 61*q**2 - 2*q + 125. Let x be y(61). Does 7 divide u(x)?
False
Let y(k) = -23*k + 30. Let f(w) = 23*w - 26. Let n(l) = -5*f(l) - 4*y(l). Is 5 a factor of n(0)?
True
Suppose -2*u = -3*z + 328, 4*u + 762 = 5*z + 218. Is (0 + (-278)/(-4))/(14/z) a multiple of 57?
False
Let p(v) = 3774*v**2 - 699*v - 698. Does 2 divide p(-1)?
False
Suppose 3*z - 29 = -5*g, 0 = -3*z - 2*g + 33 + 11. Let p = z + -18. Suppose 4*b - 3*c - 41 = p, 0*b - 25 = -2*b - 3*c. Is 2 a factor of b?
False
Let j be (-9018)/(-36)*(-4)/(-3). Suppose -99 = 5*l - j. Is l a multiple of 19?
False
Let g = 3869 - 3029. Is g a multiple of 15?
True
Let l = 41 - 41. Suppose -5*x + 25 = l, k - 2*k + 2*x = 8. Suppose -476 = -0*o - k*o. Is 30 a factor of o?
False
Let y(a) = 137*a**2 + 41*a + 78. Does 17 divide y(-2)?
True
Let q = 4 - -2. Let u = 531 + -507. Does 15 divide 536/q - u/(-36)?
True
Let f be 496/10 - (-16)/40. Suppose 0 = 26*z - 36*z + f. Suppose 3*a - z*j + 30 = 128, 2*a - 107 = -5*j. Is 8 a factor of a?
False
Let g(b) = -680*b + 16. Let w be g(-4). Suppose 716*q = 724*q - w. Is q a multiple of 19?
True
Let w(r) = r**3 - 6*r**2 - r + 8. Let t be w(6). Suppose -t*o - 5*c - 20 = 0, -3 = 3*o + c + 14. Is 12 a factor of (-6069)/(-85) - 3/o?
True
Let c = -365 - -110. Let o = 179 - c. Does 31 divide o?
True
Is 35 a factor of (-23505)/(-3) - (-1)/((4/6)/2)?
False
Suppose 695*s + k - 199530 = 690*s, 3*s + k = 119720. Is s a multiple of 299?
False
Suppose 5*g = 19*g - 126. Does 3 divide (-7455)/(-135) - 2/g?
False
Let p(y) = 1064*y**3 - 5*y**2 - 9*y - 7. Let w be p(-2). Let g = 12101 + w. Does 13 divide (2/(-4))/((-10)/g)?
False
Suppose -44 = u - 2*u. Let n = 7564 - 7568. Is 22 a factor of n/(1*(-4)/u)?
True
Suppose -73468 + 20818 = -18*l. Is 34 a factor of l?
False
Suppose -16*s + 8 = -14*s. Let y be (278/s)/(9/(-162)*-9). Let c = y + -103. Is c a multiple of 13?
False
Let o = 24774 + 13426. Is o a multiple of 10?
True
Let b(f) = -f**2 - 12*f - 8. Let s be b(-11). Let q = 23 - s. Suppose -2*t + 18 = -2*u, -4*u = -t - t + q. Does 8 divide t?
True
Let x = -168 - -172. Suppose -a + 191 = x*z, 2*z - 63 - 29 = -4*a. Is z even?
True
Let w be (500/4)/((-2)/(-2)). Let s = -20 + w. Is s a multiple of 15?
True
Let n(v) = v**2 + 2*v - 53. Let t be n(6). Let x(a) = -a**3 + 4*a**2 - a - 2. Is 8 a factor of x(t)?
False
Let q = -709 + 1423. Let v = q + -360. Is 12 a factor of v?
False
Suppose -2800*y + 2783*y = -354076. Does 164 divide y?
True
Does 3 divide -15 + 6 - -657 - 10?
False
Suppose 8 = 2*s - 2*v, 0 = 3*s - v + 2*v - 4. Let c be ((s - 1) + -6)/((-2)/68). Suppose 3*h - 864 = -5*y, 0*y + y = -2*h + c. Is y a multiple of 19?
False
Suppose -5*p + 1236 = 2*j - 13218, -3*j + 4*p + 21681 = 0. Is j a multiple of 189?
False
Let p(b) = -b**2 - 3*b - 5. Suppose 3*t = -5*v + 13 - 2, -3*t + 5*v - 29 = 0. Let y be p(t). Is 16 a factor of 18/(-45) + (-162)/y?
True
Is 7945/(-2)*132/(-165) a multiple of 88?
False
Let b be 611/(-156) + 1/(-12). Let x(o) = o**2 - 5*o - 7. Is x(b) a multiple of 10?
False
Let z = -6154 + 6604. Is z a multiple of 5?
True
Let h be (-21)/21 - (-1 - 379 - -1). Suppose u + h = 4*u. Does 42 divide u?
True
Suppose -5*g - 20203 = -f, 20185 = f + 196*g - 195*g. Is 103 a factor of f?
True
Let c be (-152)/28 - 6/(-14). Let o = c + -18. Let j(y) = y + 40. Does 17 divide j(o)?
True
Suppose 121*i - 387612 = 10*i. Is 5 a factor of i?
False
Suppose 0 = -2*l + 5*u + 844, -101*l + 106*l = u + 2202. Is 3 a factor of l?
False
Suppose 300 = -13*v + 9*v. Is ((-5)/(v/(-70)))/((-1)/27) a multiple of 21?
True
Let l = -5406 + 39804. Is l a multiple of 26?
True
Let q(r) = 49*r**2 - 13*r + 45. Suppose 0 = 197*a - 196*a - 4. Does 18 divide q(a)?
False
Let u be ((-2)/(-3))/((-18)/54). Does 28 divide -2 + u + (-620)/(-1)?
True
Let i(u) = -175*u - 424. Let h(k) = -116*k - 283. Let r(t) = -7*h(t) + 5*i(t). Is r(-14) a multiple of 6?
False
Let w = -33 + 72. Suppose 0 = -169*a + 166*a + w. Let v = a + 29. Is v a multiple of 21?
True
Suppose 0 = -65*t + 66608 + 599447. Does 5 divide t?
False
Let n(h) = -4*h**2 - 2*h + 1. Let u(o) = 11*o**2 + 7*o - 2. Let q(x) = 8*n(x) + 3*u(x). Is q(-6) a multiple of 4?
True
Let k(p) = 25*p**2 - 153*p - 789. Let n(h) = 7*h**2 - 38*h - 197. Let u(a) = -2*k(a) + 9*n(a). Does 7 divide u(-5)?
False
Let f = 35 - -37. Suppose f = 5*a - 9*a. Let n = a + 36. Is n a multiple of 9?
True
Suppose 0 = -128*d + 141*d - 26. Suppose 388 = 3*m - d*i, 4*i + 256 = 5*m - 3*m. Is 26 a factor of m?
True
Let u(q) = 14 + 29*q - 18 + 20*q + 41. Is 25 a factor of u(3)?
False
Let h = -1 + 10. Let s be 3 - (h/(-3) - (-6)/(-2)). Suppose -540 = -s*u + 5*u. Does 9 divide u?
True
Let w be -4 - (287/(-35) + (-1)/(-5)). Suppose -w*r = -26 + 46. Is 24 a factor of (-6)/15*r - -358?
True
Let j(s) be the first derivative of s**3/3 + s**2/2 + 76*s + 4. Is 18 a factor of j(-10)?
False
Suppose 70*r - 1358348 = -37*r - 15*r. Is 12 a factor of r?
False
Suppose -7437 - 6291 = -6*w. Suppose w = 33*l - 20*l. Does 44 divide l?
True
Suppose -87 = -4*g + n - 266, 5*n = 5*g + 220. Let m = 115 + g. Is m a multiple of 3?
False
Let s(q) = 28*q**2 + 2*q. Let o(u) be the second derivative of -u**4/12 + u**3/2 - 2*u**2 + 13*u. Let r be o(2). Is s(r) a multiple of 21?
False
Suppose 5*r - 19 - 36 = 0. Suppose -3*z + 2*i + 46 = 0, -5*i - r = z + 2. Is z a multiple of 9?
False
Suppose -3*g = 5*c - 28034, -g - g = -c - 18711. Is 199 a factor of g?
True
Suppose 0 = 22*j - 9107 - 108109. Is j a multiple of 18?
True
Suppose f + 11 = 3*o, -3*f - 3*o = -0*f - 27. Suppose 0 = 4*k + 5*a + 63, -12 = -2*k + f*k - 4*a. Is (-185)/(-6) + (-2)/k even?
False
Let i = 78 + -78. Suppose i = p - 5, -6*k + 10*k + 5*p = 177. Is k a multiple of 3?
False
Is (-4469)/(-18 + 1875/105) a multiple of 287?
True
Suppose 2*y - 5*c + 3 = 4267, -3*y = -2*c - 6363. Does 16 divide y?
False
Let r(y) = y**3 - 27*y**2 - 21*y - 12. Let f(o) = 2*o**3 - 27*o**2 - 24*o - 12. Let i(m) = 3*f(m) - 4*r(m). Does 21 divide i(-8)?
False
Suppose -17*k + 23*k = 4056. Suppose 4*c - 1364 = 4*m, 2*c + 12*m - 11*m = k. Does 6 divide c?
False
Let p(q) = q**3 + 27*q**2 + 22*q + 20. Let z be p(-26). Let h = z - 82. Is h a multiple of 6?
True
Let t = -13346 - -15830. Is t a multiple of 36?
True
Is 103 a factor of 43664/44 - (-1296)/792?
False
Let p(m) = 2*m + 18. Let c be p(-6). Let x(d) = d**3 - 7*d**2 + 8*d - 4. Let t be x(c). Suppose 5*h - t*h + 33 = 0. Is h even?
False
Let a(d) = 111*d**3 + 4*d**2 + 4*d + 5. Let c be a(-2). Is c/(-21)*(-6)/(-2) a multiple of 5?
True
Let d = -4352 + 11172. Is d a multiple of 16?
False
Suppose v - 4*f = 38, v + 0*f = -f + 28. Suppose v*s - 27*s = 171. Let h = -42 + s. Is h a multiple of 4?
False
Let y be 1435/(-14)*(126/(-5) - 2). Suppose y = -8*r + 12*r. Let l = r + -497. Does 13 divide l?
False
Let k be 5966/57*(-9)/(-6). Suppose -2*j = -107 - k. Is 11 a factor of j?
True
Let j be ((-30)/(-45))/(2/18). Let p be -199*(2/4)/(j/(-12)). Is (1 - (3 - 3)) + p a multiple of 25?
True
Let n = 64 + -68. Let o be n/(-6) - 26/(-6). Suppose -i - 3*s - s = -90, 3*i = o*s + 185. Does 14 divide i?
True
Let x(f) = 2*f**2 - 4*f - 5. Suppose -6*q + 22 = -2. Let m be x(q). Let s(k) = 6*k + 53. Is s(m) a multiple of 17?
True
Let p = 874 + -386. Let x = p - 298. Is x a multiple of 19?
True
Does 87 divide (-8 + -59864)/(-16) + (-3 - -2)?
True
Let y = -2136 - -18970. Does 82 divide y?
False
Suppose -4*d = -2*h + 107256, 2*d = -3*h - d + 160938. Is 20 a factor of h?
True
Let w(s) = s + 8. Let x be w(-5). Suppose k + x*d = 5, 6*k - k - 25 = -5*d. Suppose 4*u - 72 = -3*f + f, -f - k*u + 33 = 0. Does 8 divide f?
False
Does 37 divide (0 + -2 + (-140)/(-42))*(144 + -6)?
False
Let v(d) = d**3 - 34*d**2 - 65*d + 62. Let c be v(36). Suppose 5*i = 736 + c. Does 10 divide i?
True
Let q(k) = k**2 + 3*k - 76. Let m be q(7). Is 24 a factor of -1*(m - -3) + (-1467)/(-3)?
False
Suppose 5*v - 3236 = g + 975, g - 4 = 0. Let t be 12/(-24) - v/(-2). Suppose l - c - 86 = -3*c, -5*l - c = -t. Does 12 divide l?
True
Let r = 13246 + -6721. Does 25 divide r?
True
Let x(p) = 67*p**2 - 168*p - 25. Is 35 a factor of x(15)?
True
Suppose -195898 = -130*t + 29522. Does 17 divide t?
True
Let z be (2*5)/((-20)/12 - -2). Suppose r = -5*x + z, -3*r = 5*x - 0*x - 20. Is 7 a factor of x?
True
Let q(o) = -22*o - 30*o -