 0*o - 3/2*o**3. Is j(3) a multiple of 39?
False
Let b = 956 + -954. Suppose 4*g - 3*f - 813 = 5474, 3*f = b*g - 3145. Does 18 divide g?
False
Let g be (2 - 7/3)/(4/(-156)). Suppose a + g = 30. Suppose 0 = -16*l + a*l - 5. Is 5 a factor of l?
True
Suppose -11*c = -84546 - 38368. Does 151 divide c?
True
Let m(i) = -126*i**3 + 30*i**2 - 9*i + 46. Is m(-6) a multiple of 141?
False
Let g(y) = -3*y**2 - 1. Let m(w) = 65*w**2 - 16*w + 2. Let u(t) = 6*g(t) + m(t). Is 14 a factor of u(4)?
False
Suppose s + y = -2*s + 108, 3*y = 0. Suppose 0 = -4*a + 604 + s. Does 20 divide a?
True
Let j = -20 - -42. Let i(c) = -4 - c**3 + 28*c**2 - 3*c**2 + 24 - 3*c**2 + 6 + 2*c. Is i(j) a multiple of 12?
False
Suppose 2*y - 4564 = -4*u - 2*y, 0 = -3*u - 2*y + 3423. Suppose 0*k + u = 7*k. Suppose 0*d - 2*d = -5*p + 154, 5*p + d = k. Does 5 divide p?
False
Suppose -40*l = 35*l - 77*l. Suppose l = -8*m - 4*m + 1104. Does 6 divide m?
False
Suppose 28*x = 9*x + 322262 + 207743. Does 35 divide x?
True
Let c = -70 - -75. Suppose -c*b - 90 = -8*b. Does 10 divide b + 3 + -4 + 1?
True
Let g = 11841 + -8731. Is 2 a factor of g?
True
Let n = 27 - -89. Suppose -a = 2*x - 306, -2*a = x - 31 - n. Does 5 divide x?
True
Suppose -325970 - 77746 = -51*t. Does 42 divide t?
False
Let t be -1 - (-6)/(-4)*(-476)/21. Suppose -4*i + 13 = t. Is 3 - (-79 + 0 + i) a multiple of 13?
False
Let c = 90953 - 41282. Is c a multiple of 226?
False
Let a(h) = h**3 - h**2 + h + 3. Let g be a(0). Let q be 2/((-3 - (-3)/6) + g). Suppose q*d + 5*i = 95, -d + 4*d + 2*i = 80. Does 10 divide d?
True
Suppose 5*f - k - 119132 = 0, 5*k + 9653 = 4*f - 85682. Is f a multiple of 63?
False
Let n = 8692 - -3008. Is 25 a factor of n?
True
Let i = 231 + -187. Suppose -i*v = -42*v - 164. Is 7 a factor of v?
False
Suppose 0 = -4*j + 5*p + 86781, 10*j - 4*p = 14*j - 86700. Is 52 a factor of j?
True
Does 17 divide 26192*(9/(-2))/(-9)?
False
Is 198 a factor of (-12425886)/(-3726) - (-5)/((-345)/(-6))?
False
Let i be (-7)/(-21) + (-2816)/(-3). Suppose -g + b + i = g, g + 5*b - 453 = 0. Is g a multiple of 26?
True
Suppose 0 = 131*f - 135*f + 2*i + 37630, -2*i - 47035 = -5*f. Is f a multiple of 57?
True
Suppose 4*v = 5*j - j + 56, 5*v + 4*j - 70 = 0. Suppose -4*a + 234 = 2*d + v, 3*a - 170 = -4*d. Is a even?
True
Let t(n) be the first derivative of -53*n**2/2 - 21*n - 70. Is 42 a factor of t(-5)?
False
Let d(c) = -c**3 + 6*c**2 - 8*c + 12. Let a be d(5). Does 24 divide (51372/(-42))/a + (-4)/(-14)?
True
Suppose 16597 = 11*d - 40779. Is d a multiple of 3?
False
Suppose -43*m = -21133 - 42722. Is 33 a factor of m?
True
Does 16 divide 4080/(-45)*(-9 + 3)?
True
Let l = 94942 + -63875. Does 34 divide l?
False
Let v(b) = 5*b**3 + 9*b**2 - 6*b - 20. Does 10 divide v(9)?
True
Let n be -4*3/(-4) - 6. Let s be 6/(-1 - 2/(2/n)). Does 10 divide (1/s)/((-7)/(-231)) - 1?
True
Let b = -12 - -12. Suppose -3*q = -2*g + 30, 3*g - q = -b*g + 38. Let l = 11 + g. Does 23 divide l?
True
Let z(b) = -3*b**2 + 3*b - 16. Let d(x) = 4*x**2 - 3*x + 17. Suppose -17 = 6*w + 13. Let r(t) = w*z(t) - 4*d(t). Is 6 a factor of r(0)?
True
Suppose -7*f + 3*f + 12 = 0. Let x(p) = 14*p**3 - 2*p**2 + 7*p - 5. Is 44 a factor of x(f)?
False
Let x(b) = b**3 - 11*b**2 - 10*b + 92. Is x(13) a multiple of 4?
True
Suppose -2*v = -201 + 55. Let x = 263 - v. Does 10 divide x?
True
Let x(f) = f**3 + 4*f**2 + 3*f + 8. Let q be x(-3). Suppose -a + 340 = -560. Suppose -a = q*t - 13*t. Is 15 a factor of t?
True
Let t be 20/2 - (-2)/2. Let v(x) = 7*x. Let y(q) = -18*q + 25. Let n(k) = 4*v(k) + y(k). Is 27 a factor of n(t)?
True
Suppose 3*x - 7 = -5*u + 151, -5*x - 3*u + 274 = 0. Suppose -21*n - 6300 = -x*n. Is n a multiple of 18?
True
Let h = 229 - 210. Let u(l) = 4*l**2 - 67*l - 27. Does 36 divide u(h)?
True
Suppose 4*g - 3*i = 20263 - 4898, 0 = g - 4*i - 3851. Suppose -g - 877 = -9*q. Is 11 a factor of q?
False
Does 155 divide (-80)/12*(-1194 - 15)?
True
Suppose -12*v = -10*v - 1650. Suppose -58*o = -61*o + v. Is o a multiple of 55?
True
Let v = -11 - -7. Let k be (v + 4 - 8/(-2))*-18. Let i = 126 + k. Does 4 divide i?
False
Let y be 194 + (-5 - 5/5). Let f = y + -106. Is f a multiple of 2?
True
Suppose -6330 = 24*a - 140250. Suppose -a = 2*d - 47*d. Does 8 divide d?
False
Let o = -3101 - -3916. Is 3 a factor of o?
False
Let a(h) = 3*h**2 + 14*h - 8. Let l be a(-5). Let i be l + (-32)/(-10) + (-2)/10. Suppose -129 = -5*w + 3*n - i*n, 2*n + 78 = 3*w. Does 14 divide w?
False
Suppose -58*p + 2143385 = 611605. Is 34 a factor of p?
False
Let v = 6205 + -1921. Is v a multiple of 153?
True
Suppose 0 = 33*u - 48*u + 11085. Suppose 14*d - 3049 + u = 0. Is d a multiple of 55?
True
Does 36 divide 7 - (4241/2)/(14/(-55 - -27))?
True
Does 12 divide (-2)/3 + (2 - (-9856)/6)?
True
Let w be (-383781)/399 + (-1)/7. Let q = -536 - w. Is q a multiple of 71?
True
Suppose -5*a + 45 = -7*z + 2*z, 0 = -5*a + 2*z + 48. Suppose -a*n = -103 - 7437. Is 37 a factor of n?
False
Let g = -46 + 341. Let q = 415 - g. Does 6 divide q?
True
Let s(b) = -7 + 2 + 11*b**2 + 2*b - 1. Let f be s(-3). Let k = 181 - f. Is k a multiple of 10?
False
Let y(r) = r**2 + 50*r + 167. Let d be y(-31). Let p = -310 - d. Is 13 a factor of p?
False
Let g be 375 - 3/(0 + -3). Suppose m = j - g, 2*j - 750 = -3*m + 4*m. Is 4 a factor of (-2)/(-72)*8 - j/(-18)?
False
Let o(x) = 4*x**2 + 17*x - 9. Let r be o(-5). Let b(a) = 2*a**2 + 21*a - 120. Is b(r) a multiple of 18?
False
Let l = 11251 + -7219. Is l a multiple of 18?
True
Suppose -4*t + 4869 = 4*u - 27363, -u = -3*t - 8058. Does 22 divide u?
False
Let b = 1 + 5. Let w(t) be the third derivative of 7*t**4/24 + 4*t**3/3 + 3*t**2 + 8*t. Does 16 divide w(b)?
False
Is (252/(-108))/((-2)/6) + 8318 a multiple of 75?
True
Suppose -473088 = -299*t + 275*t. Is t a multiple of 166?
False
Let k(h) = -80 - 2*h + 18*h**3 - 4*h**2 + 84 + 3*h. Let p(r) = -37*r**3 + 7*r**2 - 2*r - 7. Let w(m) = -7*k(m) - 4*p(m). Is 13 a factor of w(2)?
False
Is (564/658)/((-1)/(-7812)) a multiple of 24?
True
Suppose -1470 = 3*w - 8*w. Suppose 14 = 9*i - 22. Suppose w = -i*l + 7*l. Is l a multiple of 14?
True
Suppose 15*w - 188 = 22. Suppose 2*r + 9*o - w*o - 736 = 0, 4*r + 3*o - 1446 = 0. Is r a multiple of 14?
False
Let u be 432/(-189) + 2/7. Is 3 a factor of (7/14)/(0 - u/1012)?
False
Suppose -4*r = -3*n + 26, -26 = -2*n + 5*r - 11. Let h(m) be the first derivative of -m**4/4 + 11*m**3/3 - 5*m**2/2 - 13*m + 663. Is 5 a factor of h(n)?
False
Let v(t) = 11*t**2 + 41*t - 8. Let k be v(-5). Let w(h) = h**2 + 10*h - 5. Let l be w(-6). Let n = l + k. Is n a multiple of 33?
True
Suppose 0 = j - 3*p - 4696, 4*p - 9422 = -54*j + 52*j. Does 97 divide j?
False
Let k(g) = 302*g + 3842. Does 99 divide k(42)?
False
Suppose 13*u + 30*u - 35332 = -u. Is 11 a factor of u?
True
Let t = 109 - 51. Let g = t + -56. Suppose 25 = g*f + 2*p + 9, -p = 3*f - 30. Does 11 divide f?
True
Let k(t) = -13*t**2 - 435*t + 158. Is 17 a factor of k(-29)?
False
Suppose 0 = 140*a - 107*a - 6930. Does 21 divide a?
True
Let d = 257 + -265. Is 44 a factor of 268/(-2 + -2 + (-36)/d)?
False
Suppose 0 = -3*k + 4*k - 12. Suppose -4*r + 5*r = 3*c - 10, -5*c - 3*r + 26 = 0. Suppose -c*j + 208 - k = 0. Does 11 divide j?
False
Suppose 38458 = -214*i + 8712. Let u be 373 - (0 + 1/(-1)). Let x = u + i. Does 47 divide x?
True
Suppose -18 = -3*h + 42. Suppose -2*p + 132 = 3*v - 5*p, -5*p = v - h. Let g = v + -20. Does 3 divide g?
False
Suppose -2*x + 230 = 4*h, 3*x = 3*h + 2*x - 170. Let m(t) = t**2 + 24*t + 4. Let d be m(-24). Is 4 a factor of (3 + h)/5 - d?
True
Let r(y) = 7*y + 3485. Is 35 a factor of r(36)?
False
Let c(h) = 7*h**3 - 14*h**2 + 92*h - 1. Is 13 a factor of c(6)?
False
Let f(h) = h**3 - 6*h**2 + h + 21. Let q be f(7). Let i = 92 - q. Suppose 0 = -i*o + 52 + 38. Is o a multiple of 5?
False
Is -8*(-576 + -9) - 3 a multiple of 19?
False
Suppose 7*c + 66*c = 83175 + 80418. Is c a multiple of 27?
True
Suppose 11*u + 25*u + u - 107226 = 0. Is u a multiple of 16?
False
Suppose -10*o + 24 = 14. Is 342/36*(o + 11) a multiple of 38?
True
Let z = 12719 - 375. Does 90 divide z?
False
Let p(o) = -o**3 + 39*o**2 + 12*o + 22. Let v be p(34). Suppose v = 7*b + 8*b. Is 18 a factor of b?
True
Let s(b) = -6. Let g(i) = 7*i + 48. Let m(x) = 2*g(x) + 18*s(x). Let t 