5*z**2 + 12*z + 10. Let m(i) = 21*i**3 + 124*i**2 - 59*i - 51. Let s(k) = -2*m(k) - 11*n(k). Is s(-8) a multiple of 56?
False
Suppose -6*h = 0, 7*d - 4242 = 4*d + 4*h. Does 120 divide d?
False
Suppose -5*j + 10720 = 5*w, w = -4*j + 3119 - 987. Suppose 0 = -4*f + 468 + w. Is 20 a factor of f?
False
Let q = 1769 - 179. Does 112 divide q?
False
Does 2 divide 1323/54*(-32)/(-14)?
True
Let o be 1 + (6 - (13 - 6)). Suppose s = -o*s, 0 = 4*c + 3*s - 684. Is c a multiple of 25?
False
Is (-3019 - (-646)/34)/((4/(-17))/2) a multiple of 51?
True
Let m be (-22 - -21) + (-1)/(-2)*2. Suppose m = 300*b - 304*b + 744. Is 10 a factor of b?
False
Let c(t) be the first derivative of 3*t**2 - 20*t - 330. Suppose -4*i + 17 = -15. Is 14 a factor of c(i)?
True
Let t(j) = -193*j**2 - 2*j + 1. Let z be t(1). Suppose 44*c + 3605 + 1147 = 0. Let b = c - z. Does 20 divide b?
False
Suppose 0 = -l + 57 - 62. Let o(u) = -5*u - 15. Let q be o(l). Suppose -q*k = -133 - 17. Does 3 divide k?
True
Suppose 3*z = -5*g + 7 + 43, -z + 22 = 3*g. Suppose -40 = -h + 2*d, -z*h = -11*h - 2*d + 44. Does 11 divide h?
False
Suppose 0 = q - k - 8, -2*q + 2*k - 9 = 5*k. Suppose -5*u + q*u - 8 = 0. Does 11 divide ((-224)/(-1))/4 + u + 7?
False
Let u(m) = -7*m - 27. Let a = 30 - 43. Let g be u(a). Suppose -5*y + 128 = 4*o, o = -o - 2*y + g. Does 6 divide o?
False
Let u(z) = 188*z - 7132. Is 36 a factor of u(50)?
True
Suppose 22*m - 6774 - 11398 = 1496. Does 5 divide m?
False
Let w(m) = -19*m + 41. Let c be w(2). Suppose 4*o + c*p = 396, 5*o + p = 2*o + 292. Is o a multiple of 4?
True
Let b(d) = 2. Let p(l) = 2*l + 22. Let y(h) = -3*b(h) - p(h). Let r be y(-10). Let j(a) = -a**3 - 8*a**2 - 10*a - 7. Is 8 a factor of j(r)?
False
Suppose 4*v - a - 2*a = 1251, -4*v + 1243 = 5*a. Is ((-4)/3)/((-16)/v) a multiple of 2?
True
Let k(i) = -2*i + 28. Let n(t) = t**2 - 10*t + 2. Let s be n(10). Suppose -6 = o - s*o. Does 16 divide k(o)?
True
Is 1862/(-209) - -9 - 571734/(-22) a multiple of 24?
False
Let h(i) = i**2 + 16*i + 8. Let c be h(-11). Let y = 50 + c. Let x(s) = 24*s - 6. Does 33 divide x(y)?
True
Let o(u) = -u**3 - 42*u**2 + 49*u - 169. Let z be o(-43). Suppose h + 678 - 92 = -2*v, 4*h = -5*v - 1459. Let s = v - z. Is 11 a factor of s?
True
Let q(c) = 369*c - 118. Let t(n) = -743*n + 236. Let j(i) = 5*q(i) + 2*t(i). Is 36 a factor of j(3)?
False
Let w be -237*(-1)/2 - (-15)/(-10). Let f = w - 46. Let x = -54 + f. Is 2 a factor of x?
False
Let n = 39 - 110. Let x = n + 232. Does 5 divide x?
False
Suppose 0 = -241*o + 240*o + 4466. Is o a multiple of 22?
True
Let d(j) = -54*j + 24. Let b(a) = -1. Let h(r) = -2*b(r) + d(r). Is 15 a factor of h(-6)?
False
Let u(t) = t - 4*t**2 + 16 + t**2 + 9*t**2. Let j be u(-4). Let o = j - 62. Does 11 divide o?
False
Let r(k) = 9*k**3 - 8*k**2 + 18*k - 31. Is r(8) a multiple of 89?
False
Let j be (-10)/(-5) + 7/(-7) + 3. Suppose -4*i = -j*r + 708, 2*i = -r - 2*i + 192. Is r a multiple of 15?
True
Suppose -2*p - 2865 = -f - 677, 3*f - 6563 = 5*p. Is f a multiple of 23?
False
Suppose -6*s + 4*z + 24161 + 39761 = 0, 5*z + 10658 = s. Does 67 divide s?
True
Let g(v) = 45*v - 39. Let q(x) = 2*x + 1. Let r(l) = g(l) - 4*q(l). Does 17 divide r(3)?
True
Suppose -5*w - x = -695, 3*w - 2*x = x + 417. Is w even?
False
Is -2 - 56/(-49) - 25962/(-7) a multiple of 42?
False
Suppose 2*l + 4*b = 3*b + 1, 3*l + 4*b = -11. Is 11 a factor of -11 + 941 - (4 - (-5 + l))?
True
Suppose -153*c + 1501026 = -1724493 - 638190. Is 6 a factor of c?
False
Let l(g) = -28*g**2 - 17*g - 10. Let f be l(5). Let h = f + 1346. Is 29 a factor of h?
True
Does 48 divide 42241 + (52/39*18/(-4) - -5)?
True
Suppose 24*y = 65724 + 16908. Is 11 a factor of y?
True
Suppose 0 = r - 1 - 1. Suppose 10 = 2*d - o, 0 = -r*d + 4*o - o + 14. Is 7 a factor of 15*((-56)/(-10) - d)?
False
Suppose -31*o + 1165 = -26*o. Suppose -232*a - 304 = -o*a. Is a a multiple of 8?
True
Let h = -3 + 6. Suppose -2*v - 30 = -2*r, 48 = h*r - v + 13. Let l(t) = -t**3 + 12*t**2 - 15*t + 6. Is 9 a factor of l(r)?
False
Let n(d) = 171*d - 171*d + 96*d**3. Suppose -h + 0*m + 5*m - 19 = 0, h - 5 = -m. Is 43 a factor of n(h)?
False
Let s = -529 + 532. Is 7 a factor of ((-2)/5)/((-3)/3600) - s?
False
Let g(k) = 106*k**3 - 2*k**2 + 2*k - 1. Let c(b) = b**2 + 5*b - 3. Let w be c(-6). Suppose 3*y + s = 5, 2 = y - s + w. Does 10 divide g(y)?
False
Suppose 0 = f - 3, -2*o - 2 = -f - 3. Suppose 0 = -o*u + 17*u - 420. Is 7 a factor of u?
True
Let k(y) = -y**3 - 45*y**2 - 178*y - 594. Is 103 a factor of k(-45)?
True
Let r(z) = -z**3 + 4*z + 8. Suppose -2*l - 4*l - 42 = 0. Let v = 3 + l. Is r(v) a multiple of 14?
True
Let p = -7228 + 16600. Is p a multiple of 44?
True
Let c(y) = -y**2 - 10*y - 10. Let d(t) = 2*t**3 + t**2 + 4. Let h be d(-2). Let x be c(h). Suppose 617 + 205 = x*r. Is 19 a factor of r?
False
Let r be ((-2)/(-6))/((-2)/(-24)). Suppose 4*v + r*v = 40. Suppose n - 4*d - 79 = -15, v*n + 5*d - 420 = 0. Is n a multiple of 19?
False
Let a be 2 + 1 - 3*(-20)/(-12). Let d be 2 + (0 + a - 6). Does 25 divide (d/4)/(5/(-1000)*3)?
True
Does 11 divide (509 - 3)*(-4 + 7)?
True
Suppose -5*g = 99*j - 100*j - 3943, -g + 3*j + 783 = 0. Does 19 divide g?
False
Let m(i) = -7*i**2 + 49*i + 24. Let q be m(7). Suppose -1029 + 5445 = q*s. Is 46 a factor of s?
True
Let j(g) = -28*g - 23. Let p be j(-1). Suppose -2*h - 1825 = -3*x - h, -p*x + 3043 = -3*h. Does 19 divide x?
True
Suppose 0 = -478*h + 14*h + 6065408. Is 80 a factor of h?
False
Let x(u) = -7*u - 5*u + u**2 - 12*u + 14*u - 1. Let r be x(18). Suppose 20*w - r = 9*w. Does 2 divide w?
False
Let y = 24 - 21. Let b be ((-2)/2)/(y/24). Does 29 divide 32 - (b/(-2) + -1)?
True
Let y(a) = 21*a**2 + a + 2. Suppose -2*m + 4 = -2. Suppose m*h = 0, -s + h + 1 = -1. Is 16 a factor of y(s)?
False
Suppose 3*o + 2*j = -2, -5*j - 5 = 17*o - 12*o. Suppose o = -6*y + 572 + 1570. Is 21 a factor of y?
True
Suppose 224 = 5*c - 3*g - 136, 20 = 4*g. Is (2/8 - 1)/(c/(-4300)) even?
False
Suppose -19537 = -11*z + 31866. Does 76 divide z?
False
Let n = 65 + -34. Let l = n - 29. Is 15 a factor of (20 - 2)*(l - (-3)/1)?
True
Let s(d) = d**2 - 2*d - 3. Let l be s(-1). Let w be ((-12)/(-9) - 2)*-48. Let x = w - l. Is x a multiple of 16?
True
Let z(t) be the first derivative of -t**4/2 - 4*t**3 - 9*t**2 - 10*t - 170. Is 27 a factor of z(-8)?
False
Let s be (1 + -4 - 2) + 81/3. Is s/(-55) - (-8151)/15 a multiple of 31?
False
Let n be -2 + 2 - 45/(-5). Suppose 16 = 5*i - n. Suppose -3*p + 130 = -4*a, 7*p - a = i*p + 85. Does 7 divide p?
True
Suppose -2*n + 5*z - 10 = 0, 5*n - n - 8 = 3*z. Suppose 5*f - f - 3*d - 12 = 0, 0 = -n*f + 2*d + 8. Suppose -2*i - 8 = f, i + 22 = t - 92. Does 28 divide t?
False
Let j(t) = -17*t + 161. Let u be j(9). Suppose 2*v - 2*r = 108, -5*v + u*v - 170 = -r. Does 3 divide v?
False
Suppose 110*y - 49*y - 35*y - 176852 = 0. Is 19 a factor of y?
True
Suppose -5*r = -2*l + 40392, -67*r = -5*l - 66*r + 100980. Does 11 divide l?
True
Let y(j) = j**2 + 28*j + 27. Let u be y(-27). Suppose u*l + 2497 = 11*l. Does 53 divide l?
False
Suppose -u = -2*j - 90, 145 - 11 = -3*j + u. Suppose -483 = -0*z - 3*z. Let p = z + j. Is 32 a factor of p?
False
Let k = 1731 + -191. Is 14 a factor of k?
True
Let a(r) = r**2 + 19*r + 51. Suppose -2*u + 32 = -2*f, f + 44 = -2*f + 4*u. Does 8 divide a(f)?
False
Suppose -3*q + 34990 = 4*m, -4*q - 1647*m + 1643*m + 46660 = 0. Does 24 divide q?
False
Let k = 636 - 639. Is (3 - 1)*k + 122 a multiple of 29?
True
Let v(m) = m**3 - 4*m**2 + 5*m - 4. Let x be v(3). Suppose 0 = 3*b + x*b + 35. Is 0/3 + -1 - b a multiple of 3?
True
Let t(x) = -3*x**3 + 3*x**2 - 5*x - 16. Let a be t(8). Is 40 a factor of ((-12)/(-5))/((-21)/a)?
True
Suppose 41*y - 208208 = 19*y. Suppose -y = -13*i - 429. Does 14 divide i?
False
Let d = 15466 + 6951. Is 29 a factor of d?
True
Suppose -5*q + 8*q - 1000 = 4*g, -1352 = -4*q - 4*g. Let m = q - -115. Is m a multiple of 27?
False
Suppose 3*g + 4*d = 6, -10*g - d = -6*g - 8. Suppose 14 = w + 3*t, 84*w = 89*w - g*t - 138. Does 19 divide w?
False
Suppose 82 = 8*o - 6. Suppose -n + o = -145. Does 5 divide n?
False
Let q(h) = h**2 - 5 + h + 12 - 6. Let v(p) = -p**3 + 13*p**2 + 9*p - 11. Let x(i) = -5*q(i) + v(i). Is 16 a factor of x(8)?
True
Suppose -61260 = -37*c - 12605. I