or of z?
False
Suppose -18*i + 19*i + 5*z - 20656 = 0, -4*z = -4*i + 82792. Is 80 a factor of i?
False
Let d = -11 - -17. Let a(f) = -17*f + 12. Let l be a(d). Is (l + 0)/(-19 + 18) a multiple of 15?
True
Suppose -8*i + 682 - 98 = 0. Let w = -8 + i. Suppose -9 + w = q. Is 8 a factor of q?
True
Let j = 79 - 83. Let a be (-4*1/10)/(j/830). Let k = 7 + a. Is 30 a factor of k?
True
Let x = -84 + 83. Let k be ((-17)/(-4))/(x/(-20)). Let f = 107 - k. Does 4 divide f?
False
Does 8 divide (-3628)/(-6)*(-2667)/(-254)?
False
Suppose 0 = 2*u + 5*n - 10, -3*u + 20 = u - 2*n. Suppose -5*g - u*j = -355, -2*g + 121 = -j - 4*j. Does 16 divide g?
False
Let w = -282 - -103. Let f be (-1)/(-11) - 374/121. Does 17 divide w*3/(-6)*(-6)/f?
False
Let q(j) = -2*j**2 - 47*j - 7. Let z be q(7). Let v = 824 + z. Is 13 a factor of v?
True
Let v(m) = m**3 - 25*m**2 - 18*m - 123. Does 69 divide v(28)?
True
Suppose 18*l - 193 = -301. Is l - 3 - 612/(-12) a multiple of 26?
False
Let l(y) = -21*y - 30. Let j(t) = -9 - 4 - 11 + 9 - 11*t. Let b(p) = 9*j(p) - 5*l(p). Is 19 a factor of b(13)?
False
Is 24 a factor of ((-232)/174)/((-12)/13401)?
False
Let p be -1 - (-3 + 5 + 2). Let a be (-520)/(-12) - p/(-15). Let n = a - 35. Is 4 a factor of n?
True
Let q(r) = 2*r**3 + 18*r**2 - r - 4. Let m be q(-8). Suppose -3*d + 76 = -p, d + 4*d + p = m. Let k = d + -10. Is k a multiple of 4?
True
Is 14 a factor of 23119 + (9 - ((1 - -17) + -6))?
False
Does 157 divide (9 - 13) + 5/((-1)/(-1092 + -1))?
False
Suppose 0 = 3*w + 13*z - 17*z - 10465, 2*w = z + 6985. Does 5 divide w?
True
Suppose 5*n = 4*f + 2999, -5*n + 1497 = 3*f - 5*f. Let s = -655 - f. Is 18 a factor of s?
False
Suppose -32*l + 18101 - 2421 = 0. Let y = l - 443. Is 31 a factor of y?
False
Let s = 788 - -1678. Is 87 a factor of s?
False
Let h = -7562 + 18592. Is 32 a factor of h?
False
Let b(w) = 102*w - 4. Let k be b(2). Let m = k + -120. Is 40 a factor of m?
True
Let g(u) = 102*u + 1789. Is 21 a factor of g(82)?
False
Suppose -4594 = -3*j - 5*q + 1769, -2*j + q + 4229 = 0. Is 92 a factor of j?
True
Suppose 11*x - 2*x + 873 = 0. Let z = x - -216. Does 17 divide z?
True
Let m(y) = 45*y - 1378. Is m(56) a multiple of 57?
False
Suppose -56 + 14 = 7*w. Let r be 213/w + (-4)/(-8). Let v = 87 + r. Is 19 a factor of v?
False
Let f(j) = -38*j - 325. Let c be f(-9). Suppose -39 = 3*t + 18. Let u = c - t. Is 3 a factor of u?
True
Is 296/(-1184) + (40241/4 - -2) a multiple of 19?
False
Let j(y) = -y**3 - y**2 - y - 1. Let h(o) = -4*o**3 - 8*o**2 - o. Let l(k) = -h(k) + 3*j(k). Let r be l(-4). Let c(t) = 4*t - 27. Is c(r) a multiple of 12?
False
Let g(m) = m**3 + 6*m**2 + 2*m - 1. Let r be g(-6). Let j = 13 + r. Suppose 6*b - 360 = -j*b. Is b a multiple of 12?
True
Let d = 8452 + 16797. Does 7 divide d?
True
Let r(z) = 5047*z - 871. Is r(3) a multiple of 10?
True
Let r = 1178 + 4282. Is r a multiple of 13?
True
Let c(v) = v**3 + 18*v**2 + 270*v + 215. Is c(26) a multiple of 51?
False
Let m(o) = -21*o - 1182. Is m(-60) a multiple of 54?
False
Let n be (-8)/(-18)*-84*54/8. Let l = -151 - n. Suppose 0 = 4*c + q - 160, 8*q - 4*q + l = 3*c. Is 6 a factor of c?
False
Suppose 3*d + 5*w = 4969, 26*w - 27*w + 2 = 0. Is d a multiple of 57?
True
Suppose -4*o + 21 - 5 = 0. Suppose -37 = -5*w - o*s, -w + 2*s = -4*w + 21. Suppose 672 = 3*x + w*x. Is x a multiple of 6?
True
Let g = 1694 - -476. Is 14 a factor of g?
True
Let s(g) = -g + 15. Let v be s(13). Let t be -916*(-4)/36 + v/9. Let p = 133 + t. Is 47 a factor of p?
True
Let f = 280 + -132. Let s = f + 111. Is s a multiple of 18?
False
Let l(v) = v**2 - 13*v + 1338. Does 17 divide l(103)?
True
Let n(j) = 4*j**2 + 9*j + 24. Let w be n(-19). Suppose 0 = -15*f + 4298 + w. Is f a multiple of 24?
False
Let b(l) = 3*l**2 + 8*l + 7. Let k be b(-3). Suppose -k*r = -30*r + 2000. Is r a multiple of 10?
True
Suppose -935 = -6*q + q. Let x(l) = 72*l + 5. Let d be x(0). Suppose 0*u = d*u + 4*b - 193, -5*u - b + q = 0. Is 4 a factor of u?
False
Is 2 - -606 - 6/2 a multiple of 5?
True
Suppose 0 = 4*z - 4*k + 16, -6*z + 4*z = -k + 4. Suppose -2*b = -3*p - 803, 2*p + z + 6 = 0. Is b a multiple of 24?
False
Is 15 a factor of 12/(-6) - ((-13 - 196) + -9)?
False
Let f(m) = -3*m**2 + 6*m + 74. Let v be f(17). Let h = 123 - v. Is h a multiple of 74?
True
Suppose -6*z + z = -5*m + 65, 38 = 3*m - 2*z. Suppose 2*f + m = 16. Suppose 0 = f*p - 282 - 94. Does 47 divide p?
True
Let a(b) = 3*b**3 - 11*b**2 - 12*b + 7. Let j(x) = 17*x**2 - 16 + 2 + x**3 - 5*x**3 + 18*x + 3. Let d(t) = 7*a(t) + 5*j(t). Is 3 a factor of d(-6)?
True
Let n(p) = p**2 - 21*p. Let i be 26 + -5 - (-1 - -4 - 3). Let g be n(i). Suppose t + 2*t - 27 = g. Is t a multiple of 9?
True
Let q = -12080 - -12925. Is 5 a factor of q?
True
Suppose 4*u = 2*l + 12, -4 - 11 = -5*u + 3*l. Suppose -6*s = -5*s - u. Suppose -s*w = -22 - 2. Is 5 a factor of w?
False
Suppose w = y - 468, 2*y - 941 = -0*y - 3*w. Let n = y + -294. Is 6 a factor of n?
False
Suppose -5*w = 2*f - 30793, w - 5*f - 1472 = 4665. Does 82 divide w?
False
Let z(s) = -8*s**3 - 18*s**2 + 66*s - 12. Let g(j) = -4*j**3 - 9*j**2 + 34*j - 6. Let v(w) = 11*g(w) - 6*z(w). Does 16 divide v(4)?
False
Let s = 4470 - 2003. Suppose -14*h - 731 = -s. Is 8 a factor of h?
False
Suppose 24808 = 10*s - 4522. Let m = s + -1997. Does 36 divide m?
True
Suppose -6*d - 29*d + 770 = 0. Suppose -19*u = -d*u + 1056. Does 32 divide u?
True
Let k = 67 + -5. Let d = -185 - -267. Let n = d - k. Is 13 a factor of n?
False
Let l(r) = 204*r**2 + 10*r - 4. Let u(x) = -404*x**2 - 18*x + 7. Let j(c) = -7*l(c) - 4*u(c). Let m(g) = g**3 - g**2 - g. Let o be m(1). Is 13 a factor of j(o)?
False
Suppose -5*z + 1674 = 3*t - z, -2790 = -5*t - 2*z. Let l = 1112 - t. Is 10 a factor of l?
False
Let i(v) = 4*v - 9. Let g be i(2). Let n be (-1937)/(-78) + g/(-6). Is n/5 - (4 - 160) a multiple of 23?
True
Suppose 4*j - 3*j - 5*m = 0, j - 2*m = 0. Let n be 0/(4 + -5 + j). Suppose 2*a - 399 = -w, n*a - 5*w - 405 = -2*a. Is a a multiple of 20?
True
Let s be (144/(-40))/(-3)*5/2. Does 61 divide (s - 237/15)/((-1)/40)?
False
Let m(d) = -d**3 - 8*d**2 - 6*d + 4. Let a be m(-7). Let t be (a + 40/12)*0. Suppose -3*r - 4*v + 40 = t, r - 6*r + v = -82. Does 4 divide r?
True
Let r be (-4 - 36/(-9))/(2 + 0). Suppose r = 3*i, 6*n + 88 = 7*n - 5*i. Is n a multiple of 13?
False
Let y(g) = 112*g + 840. Is y(7) a multiple of 14?
True
Let t = 732 + -1920. Let o be (3/3)/(1/(-45)). Is 9 a factor of t/o*45/6?
True
Let g(v) = -3*v - 10. Let z be g(-3). Is 1 + z + (310 - -32) a multiple of 19?
True
Let s(v) = -242*v - 10. Let m be s(2). Let n = m + 740. Suppose 8*k = 11*k - n. Is k a multiple of 22?
False
Let y(x) = -2835*x - 107. Is 17 a factor of y(-3)?
True
Suppose 3*c - 8*h + 4*h + 3 = 0, 2*c = -h + 9. Suppose -g - k = 4*g - 3250, -2619 = -4*g + c*k. Is 31 a factor of g?
True
Suppose c - 6 = 0, -4*r + 0*c - c = -65902. Is r a multiple of 80?
False
Suppose -l - 4*l - 3*k - 27 = 0, 0 = 4*l + 5*k + 19. Let a = 1 - l. Suppose a*o = 737 - 72. Is 6 a factor of o?
False
Let z(h) = 7*h + 25. Let a be z(-4). Is a/5 - 167286/(-210) a multiple of 10?
False
Let w(f) = 22*f**2 + 4*f + 14. Suppose 0 = p - 4, -9*t + 13*t - p = 12. Does 27 divide w(t)?
False
Let c be -2 + (3 - 2/(8/(-11516))). Suppose -63*p + 55*p = -c. Is p a multiple of 45?
True
Let b(y) be the second derivative of -43*y**3/6 - 4*y**2 + 54*y. Is b(-2) a multiple of 5?
False
Let z(o) = 285*o - 394. Is 148 a factor of z(18)?
True
Suppose 1803954 = 82*i + 154524. Does 29 divide i?
False
Suppose -4*z + 158 = 5*c - 5*z, 3*z = -3*c + 84. Let d(t) = t**3 - 30*t**2 - 20*t - 19. Is d(c) a multiple of 46?
True
Let j(l) = -l**2 + 13*l - 20. Let n be j(10). Let y be (-1 - (-10)/2)*(-200)/32. Is (7 - n)*(2 + (y - -2)) a multiple of 17?
False
Suppose -20*n + 6106 = -6494. Suppose -5*q - 940 = -5*j, 5*j - 346 = -4*q + n. Is 24 a factor of j?
True
Suppose -17075 - 17700 = -13*y + 8125. Is 12 a factor of y?
True
Let d = 12 - 8. Suppose 2*q + 5*r = -10, d*q - 5*r - 6 = 4. Suppose -i + 52 = -0*i - 3*a, q = -4*i - 4*a + 160. Is 27 a factor of i?
False
Suppose 0 = 8*x - 25 - 167. Suppose 0 = -x*j + 14*j + 11770. Is 107 a factor of j?
True
Is (-25452)/(-5) - (-8)/(-26)*1599/1230 a multiple of 10?
True
Let d(q) = -1069*q - 2028. Is 8