))/b - (-4)/(-18)?
False
Suppose 20*q + 1731 = 3*b + 18*q, -b + q + 577 = 0. Does 15 divide b?
False
Suppose -28866 - 10383 = -9*y. Does 49 divide y?
True
Let r(a) = 26*a**2 + 2*a + 2. Suppose 0 = 5*p - 28 + 13. Suppose p*j - 18 = h + 2*h, 4*h = 2*j - 14. Does 26 divide r(h)?
True
Suppose -83*d + 77*d + 11970 = 0. Suppose 3*m + 4*m - d = 0. Is 22 a factor of m?
False
Let r(a) = 443*a**2 - 9*a - 277. Is 41 a factor of r(8)?
True
Suppose -10530 = -3*b + 3*h, 43*h = -2*b + 38*h + 7020. Is 9 a factor of b?
True
Let s(h) = -156*h - 364. Is s(-3) even?
True
Suppose 0 = -4*d + 5664 + 10864. Is d a multiple of 29?
False
Let b be 590 + -1 + (-7 - (1 - 13)). Let g = b - 342. Does 18 divide g?
True
Suppose 149*o = -113*o + 46*o + 6586056. Does 41 divide o?
False
Let m(r) = r + 2. Let n(w) = -13*w + 52. Let k(z) = 6*m(z) - n(z). Is 34 a factor of k(20)?
True
Suppose -365*s = -364*s - h - 6126, 30606 = 5*s + h. Is 4 a factor of s?
False
Suppose -4*t + 7 = x, -6*t + 2*t - 13 = 5*x. Suppose t*o + 672 = -4*m, -2*m - 3*m + 5*o - 805 = 0. Let s = -118 - m. Is s a multiple of 19?
False
Let d = 220 - 156. Let i = -62 + d. Suppose -2*a + 29 = -3*c, c - i*c = -3*a + 26. Is a even?
False
Does 5 divide 3091 + 17 + 10 + -2?
False
Suppose 2*d = 0, -634*z + 635*z - 2*d = 8880. Is 40 a factor of z?
True
Suppose 61735 = 10*m + 5*m + 17905. Does 6 divide m?
True
Suppose -4*u + 5*l = 3, -4*l + 0*l = -12. Suppose -3 = 2*f - u*f. Suppose -236 = -f*g + 10. Does 11 divide g?
False
Let j(b) = 9*b**2 - 11. Let a be j(3). Let i = 55 + a. Suppose i = -12*o + 17*o. Is o a multiple of 25?
True
Let j(l) = -l**3 + 41*l**2 + 31*l + 143. Let s be j(41). Let p = s + -790. Does 12 divide p?
True
Let l(s) be the third derivative of 7/24*s**4 - 30*s**2 + 0*s - 1/120*s**6 + 0 + 7/6*s**3 - 1/12*s**5. Is 8 a factor of l(-7)?
True
Does 246 divide (165/10 + -12)*(-3)/(27/(-15252))?
True
Let s(f) = -f + 6. Let c be s(13). Let a = -10 - c. Is 92/(-6)*(a + -12) a multiple of 27?
False
Let x(o) = -o**3 + 12*o**2 - 3*o + 42. Suppose 0 = 4*w + 2*d - 42, -3*d - 7 = -6*w + 5*w. Is x(w) a multiple of 3?
False
Let k(w) = 14*w**2 - 828*w - 96. Is k(64) a multiple of 76?
True
Let g(s) = s**3 - s**2 - 15*s + 4141. Does 101 divide g(0)?
True
Let o be 1/(-2)*(-432)/4. Let n be (-6)/21 + (-265840)/70. Does 32 divide (-4 + 1)*n/o?
False
Suppose -7597*x = -7603*x + 39252. Is x a multiple of 12?
False
Suppose 3*f - 11994 = -12*f + 13*f. Does 27 divide f?
False
Suppose a - 3*q - 8408 = 0, -4*a - 160*q + 33658 = -159*q. Does 22 divide a?
False
Let s = 376 + 6077. Is 5 a factor of s?
False
Suppose a + 3*s - 2134 = 0, -6*a = -a + 5*s - 10690. Does 33 divide a?
False
Let h(t) = 39*t - 31. Suppose -10*g + 57 - 37 = 0. Is 11 a factor of h(g)?
False
Let z(s) = 2*s**2 + 9*s + 9. Let n(y) = -y + 1. Let r(o) = -5*n(o) + z(o). Let u be ((-45)/25)/((-5)/(100/6)). Is r(u) a multiple of 16?
True
Is 64 a factor of 140/(-15)*(288/(-5))/(93/310)?
True
Let d(s) = s**3 - 16*s**2 + 3. Let i be d(16). Let q be (-28)/i - 2/3. Let x(j) = -9*j - 18. Does 16 divide x(q)?
False
Let g = 5050 + -2647. Suppose g = 19*b - 10*b. Is b a multiple of 32?
False
Does 17 divide (-66)/77 - (-259920)/28?
True
Let w(t) = 59*t + 5. Let k(a) = -3*a**2 - 12*a + 16. Let j be k(-5). Is 22 a factor of w(j)?
False
Let s(w) = -2*w**3 + 2*w**2 - 10*w - 4. Let q be s(3). Does 3 divide (-822)/(-21) + 10/q?
True
Let d(w) = -163*w + 4575. Is d(9) a multiple of 37?
True
Does 71 divide (-23529)/23*(2/(-4))/((-5)/(-40))?
False
Let d(m) be the second derivative of -m**4/12 - 8*m**3/3 + 18*m**2 + m. Suppose 3*r + 10*g + 29 = 14*g, -5*g - 5 = -r. Is 7 a factor of d(r)?
False
Let p = -37 - 22. Let j = p - -56. Does 14 divide 17 + 0*(-3)/(27/j)?
False
Suppose 181 - 1886 = -5*g. Suppose -g - 421 = -6*s. Let a = 291 - s. Is a a multiple of 41?
True
Let o(b) = -486*b - 153. Suppose -4*h + 5*c = -15 + 6, 3*c = -15. Is o(h) a multiple of 33?
False
Let w(x) = -x**3 + 4*x**2 - 3*x. Suppose -17*s + 9*s = -24. Let p be w(s). Suppose -l - 4*u + 92 = p, -5*l - 3*u = -l - 303. Is l a multiple of 6?
True
Let y be (-3 + -7)/(-5) + 1. Suppose 2*o = 10, 3*p - 6*o = -y*o + 18. Is 11 a factor of p?
True
Let b(h) = 15*h - 9. Let a be b(-14). Let s = 412 + a. Let x = s - 83. Is x a multiple of 11?
True
Is (-6)/14 + (-19 - 1266398/(-98)) a multiple of 136?
False
Let p(i) = -6*i - 48 + 236*i**2 - 117*i**2 - 120*i**2. Let r(f) = 2*f**2 + 11*f + 95. Let n(h) = 11*p(h) + 6*r(h). Is 3 a factor of n(0)?
True
Suppose -9*y - 14 = -7*y. Let f(b) = 2*b**2 + 10*b + 4. Let d be f(y). Is 13 a factor of (39/4)/(6/d)?
True
Is 49 a factor of (-388084)/66*30/(-20) + 1/(-11)?
True
Let i(v) = -4*v + 1. Let u(a) = -a. Let q(f) = -i(f) + 6*u(f). Let x(s) = -9*s + 7. Let o(t) = 18*q(t) - 2*x(t). Is o(-6) a multiple of 38?
True
Suppose 7*m + 0 = 7. Let v(u) = 5*u**3 - 4*u**2 + 3*u + 8. Let n(b) = b**3 + b**2. Let r(g) = m*v(g) - 2*n(g). Does 8 divide r(3)?
False
Suppose 33*p = 40*p. Suppose p = -5*g + 1232 + 1163. Does 42 divide g?
False
Suppose -44*k - 415656 = -68*k. Is 23 a factor of k?
True
Suppose -3*j - 55 = -d + 431, 5*d - 4*j = 2419. Does 10 divide d?
False
Suppose 0 = 4*x + 4*n - 32, -2*x = -3*n - 3 + 12. Suppose -t - 6 = -4*t - x*s, 5*s = 2*t - 25. Suppose t + 27 = 2*m. Does 4 divide m?
True
Let o(f) = 2*f + 6. Let n be 46/(-11) - (-2 - 40/(-22)). Let x be (3 + 21/(-12))/(n/(-16)). Does 2 divide o(x)?
True
Let m = -108 + 113. Let p = 7 + -2. Suppose -2*r + 3*l = r, 0 = m*r + p*l - 50. Does 3 divide r?
False
Let m be 577 - (34/(-85))/((-1)/5). Suppose 0 = -4*t + m - 199. Does 3 divide t?
False
Suppose 32217 = 15*h - 10401 - 28032. Is h a multiple of 15?
True
Suppose -4*n + 5*a + 5549 = 0, 2*n + 357 = -a + 3128. Does 6 divide n?
True
Let f(a) = -99*a**2 + 1817*a - 19. Does 4 divide f(18)?
False
Let a be 1107 - 1 - -1 - (-20)/20. Let i = -420 + a. Does 12 divide i?
False
Let c(a) = -1345*a - 5169. Is c(-5) a multiple of 183?
False
Let v = 36223 - 23637. Is 62 a factor of v?
True
Suppose -b = -39 - 794. Suppose -37*n - 37 = -111. Suppose -4*u + n*t + 830 = 0, -3*u - u = t - b. Is 13 a factor of u?
True
Let g(t) = -4*t + 12*t**2 - 2 - 5*t**2 + 5 + 7*t. Let b be g(-3). Suppose 6*z = -h + 2*z + b, z = -1. Is 10 a factor of h?
False
Is (60/(-7))/(-13 + 20190/1554) a multiple of 2?
True
Suppose -218517 = -129*v + 731439. Is 12 a factor of v?
False
Suppose 0 = -317*f + 22*f + 8307200. Does 110 divide f?
True
Suppose 16*s - 8*s + 176 = 0. Is 16 a factor of (s/(-66))/((-3)/(-1872))?
True
Let z = -6962 - -14099. Is z a multiple of 15?
False
Suppose 0*r + 9*r = 0. Suppose 3*h - 9 = r, -h + 209 = 5*q - 3*h. Let o = q + -18. Is o a multiple of 12?
False
Let h = 30832 - 14836. Does 31 divide h?
True
Let m(w) = w**3 + 9*w**2 + 11*w - 2. Let u be m(-5). Suppose 5*n = 3*y - 108, -2*n + 2*y - u = 1. Let g = 219 + n. Is g a multiple of 18?
True
Is -3 + 746685/189 - (-4)/14 a multiple of 21?
True
Suppose -719 = -2*i - 195. Let h be ((-24)/(-16))/((-3)/i). Let l = -68 - h. Is 7 a factor of l?
True
Let y(a) = 16*a**3 - 72*a**3 - 53*a**3 + 2 + 3*a**2 + 3*a - a**2. Let s be 2/15 - 102/90. Is 22 a factor of y(s)?
True
Let r(w) = 51*w - 1 + 21 - 341*w. Is r(-1) a multiple of 31?
True
Suppose -2*h + 118 + 29 = k, -2*k - h = -309. Let b = k + -55. Is 8 a factor of b?
False
Let t(d) = 5*d**3 + 209*d**2 - 18*d - 98. Is t(-13) a multiple of 152?
True
Suppose 3*u = -4*u + 966. Suppose 5*s = u - 18. Is s/(-108) + 490/18 a multiple of 3?
True
Suppose 3*t = 5*u + 4*t - 44766, 4*t = -3*u + 26846. Suppose 22*d = -0*d + u. Does 37 divide d?
True
Let a = -481 - -848. Suppose 1823 = 4*x + a. Is x a multiple of 15?
False
Let x be (-11)/((-616)/32)*(-63)/(-6). Suppose 9*i - 2414 = x*i + 4*s, -826 = -i - 4*s. Is 11 a factor of i?
False
Suppose 3*z = 7 - 1, -26 = -2*g - 4*z. Let q be 0/(g/(-3)) - -16. Is 8*(-2 + 3)*q a multiple of 32?
True
Let i(r) = r**3 - 17*r**2 + 55*r - 1050. Does 35 divide i(42)?
True
Suppose 105*h - 104*h = 4, -3*c + 10480 = -2*h. Is 7 a factor of c?
False
Let d(r) = 236 - 14*r + 16 + 110 + 23. Is 27 a factor of d(-16)?
False
Let u(p) be the second derivative of p**4/12 - 7*p**3/6 - 25*p**2 - 77*p. Is u(-5) a multiple of 7?
False
Let k = 3325 + -1435. Does 6 divide k?
True
Suppose 8955 = -379*a + 388*a. Suppose 5*u = 5*v - a, 3