 a multiple of 38?
False
Let p = -554 + 1420. Suppose -3*c = 2*y - p, 0 = c + 12 - 8. Is y a multiple of 56?
False
Let w(y) = -y**3 + 8*y**2. Let n be w(8). Suppose n = 80*b - 90*b + 4040. Is 11 a factor of b?
False
Let r = -19 + 16. Let z be (r/4)/((-52)/(-32) - 2). Does 2 divide (-3)/z*(3 + 34/(-6))?
True
Suppose 6*m + 0*m + 486 = 0. Let y = -77 - m. Suppose -2*t - z + 128 = 0, -t + 4*z - y = -68. Is t a multiple of 8?
True
Suppose -19618 = 163*h - 193213. Does 4 divide h?
False
Let c = 297 - 183. Let v = 123 - c. Let p = 167 + v. Is 19 a factor of p?
False
Does 6 divide (-1)/(131865/(-26370) + 5)?
True
Let d(u) = u**2 - 12*u - 10. Suppose 0*x - 3*r = 5*x - 80, -48 = -3*x - r. Suppose 0 = -p + 3*y + 2, -3*p + 3*y - 5*y - x = 0. Is d(p) a multiple of 4?
False
Let d(s) = 248*s - 936. Is d(36) a multiple of 89?
False
Let g(i) = -14*i**3 - 2*i**2 - 26*i - 68. Does 5 divide g(-8)?
True
Let g = 47 + -47. Suppose 2*y + g = 4. Suppose 10*a - 684 = -y*a. Is 19 a factor of a?
True
Let v be 1/3 + 34/(-3). Let g(l) = 95*l - 761. Let a be g(8). Is 27 a factor of a + v + 195 + 1*-1?
False
Is 6 a factor of 9696*(5 + 1 + (-527)/93)?
False
Is 16 a factor of 22801 - (-29 - -26)/(3/(-1))?
True
Let u(o) = 591*o - 3015. Does 23 divide u(17)?
False
Let v(o) = o**3 + 28*o**2 + 29*o + 57. Let t be v(-27). Let p be 796/(-10) + (-4)/10. Is 2*(-6)/(-4) - p - t a multiple of 9?
False
Let q(d) = -42*d - 11. Let i(a) = a. Let t(f) = 4*i(f) + q(f). Let p(u) = u + 2. Let z(l) = -6*p(l) - t(l). Is z(8) a multiple of 38?
False
Let x be (2 - -2)/(22/33). Suppose 5*m + 1298 = -x*m. Let v = -66 - m. Does 26 divide v?
True
Is 9 a factor of (-194468)/(-8) + 294/12 + -26?
False
Suppose 0 = -4*u - a - 3098 + 24019, 0 = -3*u + a + 15682. Is 19 a factor of u?
False
Suppose 0 = 2*r - 5*a + 18054 - 74827, r + 4*a - 28367 = 0. Is 12 a factor of r?
False
Let v(u) = -10*u + 734. Is v(13) a multiple of 3?
False
Let f = 584 + -590. Is 31 a factor of (-3 + 2)/(f/1242)?
False
Suppose -311445 = -11*i - 109*i + 318195. Is 35 a factor of i?
False
Let z(u) = -u**2 + 18*u + 46. Let x be z(20). Suppose 2*p - 2 = 4*b, 4 = -2*p - x. Does 5 divide (48/(-14))/(214/(-70) - b)?
True
Let n = 7031 - -37371. Is 34 a factor of n?
False
Let p(z) = z**3 - 4*z**2 + z + 4. Let o be p(3). Let x be o/3*(-192)/(-8). Is 17 a factor of 2 + (-252)/x - 2/(-8)?
False
Let r = 2805 + -2801. Let s be 0/(-1 + 0 + -1). Suppose 5*p + 238 = r*y + 42, y - 2*p - 46 = s. Is y a multiple of 8?
False
Let x(l) = 9*l + 2. Let g be x(13). Let a be 4/(112/(-1268)) - 6/(-21). Let o = a + g. Is 10 a factor of o?
False
Let o be 10/(-45) + (-76)/(-18). Suppose -5*g - 450 = -3*y, -13*y - o*g = -14*y + 143. Is y a multiple of 11?
False
Suppose -4015963 = -111*a - 536446. Does 81 divide a?
True
Let z(j) = 2751*j - 527. Is 39 a factor of z(2)?
False
Is 15 a factor of 153/4*(-14)/(-4)*1560/91?
True
Suppose -3*s - 4*g = -188, 5 = 5*g - 20. Suppose 0 = h - 2, 3*h = -4*y - h + 180. Let a = s - y. Is a a multiple of 10?
False
Let t = 1696 - 1202. Suppose -33*h + 31*h + t = 0. Is h a multiple of 4?
False
Is 15 a factor of (0 - 446/(-3)) + (-2)/(-15)*10?
True
Let x(m) = -m**3 - 7*m**2 + 5. Suppose -2 = 5*q + 33. Let a be x(q). Suppose -648 = -3*z - a*s + s, -3*s = 5*z - 1091. Does 13 divide z?
False
Let i = -24 + 456. Suppose -4*m + i = f + 75, 5*m = 2*f - 688. Does 34 divide f?
False
Let i(q) be the third derivative of 2*q**4/3 + 151*q**3/3 - 5*q**2 - 8. Does 35 divide i(42)?
False
Let t(m) be the third derivative of m**6/72 - 11*m**5/40 + 5*m**4/8 - 18*m**2. Let i(o) be the second derivative of t(o). Is i(13) a multiple of 41?
False
Does 54 divide 9*(-7 - (-1274 - -13))?
True
Suppose -r - 1 = 0, 3*h - 2*h = 4*r + 1891. Is h even?
False
Suppose -d + 3*z = -34, z = d - 0*z - 36. Suppose -4*n + d = -5*g + 8, -1 = -n - 5*g. Is (3/5)/(n/210) a multiple of 21?
True
Let l = 16 + 35. Let w = l - 42. Is 6 a factor of (8/(-3) - -4)*(w + 0)?
True
Let h(w) = 3*w**3 + 5*w**2 + 3*w - 6. Suppose 0 = 2*j - s - 9, 3*s = -3*j - s + 8. Let b be h(j). Is 17 a factor of (4 - (-3 + 9)) + b?
False
Let g(s) = -134*s - 11. Let m be g(-3). Suppose -392*o = -m*o - 270. Is o a multiple of 9?
True
Let x = 122 - 118. Suppose -x = -i + 1. Let h(m) = 2*m**3 - 10*m**2 + 13*m + 1. Is h(i) a multiple of 11?
True
Suppose 61*k - 58*k + 4*v - 22060 = 0, -2*k - 2*v = -14702. Is k a multiple of 72?
True
Let o(b) = b**3 - 3*b**2 + 12*b - 2. Let l be o(10). Suppose 21*w = -820 - l. Does 19 divide (-10712)/w - 2/(-3)?
False
Suppose -33*u - 5874 = -3*c - 31*u, 5*c - u = 9797. Is 49 a factor of c?
True
Let s = -1857 + 3098. Does 25 divide s?
False
Let o(b) = b**3 - 2*b**2 - 2*b + 7. Let d be o(3). Let k = -3 + d. Suppose k*y + 55 = 153. Does 7 divide y?
True
Suppose 0 = -n - 2*a + 786, n - 79 = -3*a + 713. Does 84 divide n?
False
Let f(w) = 147*w**2 + 6*w - 7. Let p = 330 - 329. Does 3 divide f(p)?
False
Suppose -78*y - 12 = -82*y. Is 28 a factor of y + 0 + (4 - -49)?
True
Let j = -4066 - -6857. Does 31 divide j?
False
Let m be -68*2/(-2)*221/(-68). Let b = m + 509. Is b a multiple of 32?
True
Let m = 8299 - 7756. Is m a multiple of 2?
False
Let p(z) be the third derivative of 17*z**5/20 - 11*z**3/6 - 7*z**2 + 9. Is 47 a factor of p(-4)?
False
Suppose 4*v - 47948 = -4*n, 0 = 18*v - 22*v + n + 47923. Is 17 a factor of (-4 + v/18)*12/10?
False
Suppose -5*l = 3*q - 7*l - 55274, -2*q + 36860 = 4*l. Is 7 a factor of 4/(-18) + 2*q/108?
False
Suppose -b = b + 1914. Let c be (b/(-22))/((-6)/(-16)). Is c*(15/(-4) + 4) a multiple of 8?
False
Does 3 divide (-6)/(-8) + (7 - (-59709)/52) + 0?
False
Suppose 9*u - 5 = 10*u. Let s be (-15)/6*6/u. Suppose -3*g + 3 = 0, s*g = z - 55 + 7. Does 22 divide z?
False
Let u(y) be the second derivative of 5*y**4/12 + 14*y**3/3 + 135*y**2/2 + 17*y. Is 9 a factor of u(-4)?
False
Suppose 45*w = -6*w + 174921 - 11823. Does 6 divide w?
True
Let k(z) = -36*z**3 - 25*z**3 + z**3 - z - 2*z**2. Suppose -3*a - 12 = -3*l, -1 = 7*a - 12*a - 2*l. Does 59 divide k(a)?
True
Suppose 221*s = -42*s - 274*s + 2435832. Does 12 divide s?
True
Suppose 5*g = 4*j + 9315, -7452 = -4*g - 22*j + 27*j. Does 27 divide g?
True
Suppose d = 3*o - 20519, 0 = 8*o - 4*o - 4*d - 27364. Does 19 divide o?
False
Let h(w) = -w**3 - 20*w**2 + 11*w + 32. Let l be h(-24). Suppose -43*u + 50*u = l. Is u a multiple of 8?
True
Let y(g) = -g**2 + 2*g + 11. Let b be y(17). Let w = 368 + b. Is w a multiple of 28?
False
Is (-124)/(((-136)/220)/17) a multiple of 11?
True
Suppose 45*t - 120225 = 161610. Is 9 a factor of t?
False
Suppose 0 = 143*f - 145*f + 5*j + 48253, 0 = -3*f + 4*j + 72397. Does 16 divide f?
False
Suppose -5*t + z - 2*z + 8310 = 0, t - 3*z - 1662 = 0. Suppose t = 3*a + 5*l, -3*a + 2233 = a + l. Is 65 a factor of a?
False
Suppose 2*y + 3*x - 44 = 7*y, 2*y - 1 = -5*x. Let d(p) = 2*p**2 + 10*p + 2. Let s(h) = 5*h**2 + 20*h + 5. Let k(g) = -5*d(g) + 3*s(g). Is k(y) a multiple of 18?
True
Let a(m) = 21*m**3 + 11*m + 28. Does 10 divide a(5)?
False
Suppose 5*d - 5646 = -g, -5*g - 895 + 875 = 0. Is d a multiple of 4?
False
Let h be (-540)/(-18)*(-1 - (2 + 1)). Let w = h - -709. Does 16 divide w?
False
Let h = 166 - 112. Suppose -r + h - 59 = 0. Does 2 divide 50/(-20)*4/r?
True
Let i = 3935 - 1008. Suppose 5*g = 4*n - 2345, -i = -5*n + g + g. Suppose -3*l - 45 = -n. Is l a multiple of 13?
False
Let a = 2335 - 365. Let t = a - 852. Does 40 divide t?
False
Let f be (-4)/(40/(-15))*-2 + -4. Let m(v) = v**3 + 13*v**2 + 5*v - 4. Does 17 divide m(f)?
True
Let z(i) = 7*i - 13. Let s be z(-30). Let m = 577 - s. Is 16 a factor of m?
True
Let s(y) = -43*y - 1. Let c be s(-7). Let t = c + -175. Is 41 a factor of -4 + 2 + 0 + t?
True
Suppose 4*n = 3*v - 24, 2*v - 36 = -5*n + n. Is (v/(-18))/((-3)/864) a multiple of 8?
True
Suppose 970 = 134*i - 132*i. Does 30 divide i?
False
Let a = -2882 + 5753. Is 52 a factor of a?
False
Let d(s) = 3*s**3 + 59*s**2 + 109*s - 42. Is d(14) a multiple of 26?
False
Suppose 5839 = -3*q + 22675. Is 14 a factor of q?
False
Let r(b) = -55*b + 1893. Is 2 a factor of r(27)?
True
Let m(q) = -113*q**3 + 14*q**2 - 37*q + 7. Let s(i) = 75*i**3 - 9*i**2 + 25*i - 5. Let a(r) = -5*m(r) - 7*s(r). Does 12 divide a(2)?
True
Let p = -201 - -906. Let w = p - 185. Does 8 divide w?
True
Let d(u) = u**3 +