4)/132. Let j = u - 590. Is 8 a factor of j?
True
Suppose 14*z = 12*z + 5*y, -5*y = 3*z. Suppose z = 9*v - 2490 - 984. Is 23 a factor of v?
False
Let a be 23238/24 - (-3)/4. Suppose -4*j = -359 - a. Is 7 a factor of j?
False
Let l = -7560 + 10874. Suppose 26*w - l = 13976. Is w a multiple of 19?
True
Suppose 3*h = 5*r - 8590, 0 = 141*r - 142*r - 3*h + 1700. Is 13 a factor of r?
False
Let d be -3 - (-11 + 0 + (10 - 5)). Suppose 4*v + 5*c - 2818 = 0, d*v + 4*c - 2114 = -0*c. Is 78 a factor of v?
True
Suppose -2*h - 3*c = 13, -2*h = 3*h - c + 7. Is ((-92)/(-138))/(h/(-219)) a multiple of 8?
False
Suppose -4*t = 31 - 11. Let h(i) = 92*i + 28. Let n(l) = -31*l - 9. Let s(x) = -3*h(x) - 8*n(x). Does 32 divide s(t)?
True
Suppose 0 = 3*n + 4*b - 47 - 10, 2*b + 54 = 4*n. Let m be n + -13 + (143 - -1). Suppose -33*w = -32*w - m. Is w a multiple of 24?
False
Let w(i) = -i**3 + 4*i**2 + 5*i + 4. Let v be w(5). Let k = v - -38. Is 11 a factor of k?
False
Let h(j) be the third derivative of -3*j**4/2 - j**3 + 15*j**2. Let y be h(-2). Is 6/4 - (-2 + y/(-4)) a multiple of 4?
True
Suppose 10*h + 24 + 166 = 0. Let s = 19 + h. Does 17 divide (-254 - (1 - s))*3/(-9)?
True
Suppose -5*g = 2*a - 4*g - 10, 4*a - 20 = 2*g. Suppose -4*r - 112 = -s - 2*s, 4*r - 208 = -a*s. Suppose -345 = -43*d + s*d. Is d a multiple of 20?
False
Let r = 20 - 17. Let k be 1 + (1262/10 - r/15). Suppose -3*t - 2*t + v = -k, 98 = 4*t - 2*v. Is 13 a factor of t?
True
Let p(m) = -2*m**2 - 18*m + 22. Let a be p(-10). Let k be a - (-2)/1 - 12. Let o(w) = -18*w - 1. Is 13 a factor of o(k)?
True
Suppose -104*d + 34*d - 80*d = -4709250. Is 115 a factor of d?
True
Let m(k) = k**3 - 11*k**2 - 10*k - 23. Let g be m(12). Let q be (12/9)/(-2*g/(-6)). Suppose 3*l - 77 = -q*r + 2*l, -2*r - 3*l + 51 = 0. Is 6 a factor of r?
True
Let a(f) = f - 7. Let z be a(10). Let t(o) = 2*o**2 - 46 + 4*o + 19 + 24 + 14*o**2. Is t(z) a multiple of 9?
True
Suppose -22*w + 23*w = -4*m + 22074, 176555 = 8*w - 5*m. Is 10 a factor of w?
True
Let l be (-1)/2 - (-6)/12. Suppose -5*k - 247 = m + 292, -3*k + 3*m - 327 = l. Let a = -26 - k. Is 17 a factor of a?
False
Suppose -5*l + 16 = 4*p, 2*p + 3*l = 5*p - 12. Suppose -p*o = -14*o + 4560. Does 57 divide o?
True
Let s(q) = -63*q - 15. Let d be s(-6). Suppose 59*h - d = 58*h. Is h/9 + (-6)/18 a multiple of 5?
True
Let j(r) = 5*r + 58. Let o be j(-9). Suppose -o*m + 15*m - 136 = 0. Does 64 divide m?
False
Let i be ((-2)/(-6))/(30/41490). Let v = -3 + i. Is 43 a factor of v?
False
Let u = -21580 + 22516. Is 72 a factor of u?
True
Suppose 0 = -2*v - 5*v + 4879. Is 23 a factor of v?
False
Suppose 4*a - 674 = -2*s + 1384, -2*s + 4*a = -2098. Is 39 a factor of s?
False
Let r = 329 - -399. Suppose 20*y - 50*y = 0. Suppose 7*p + p - r = y. Does 13 divide p?
True
Let v = 26904 - 10964. Does 20 divide v?
True
Does 12 divide 49606 - 1 - (20/(-60))/((-6)/(-36))?
False
Suppose 5*m + 22*m + 14*m - 247968 = 0. Is m a multiple of 84?
True
Suppose -3*g - 2*j = 41, -g = 5*j + 8 - 3. Let v = g + 42. Suppose 117 = 8*s - v. Is s a multiple of 2?
True
Let y be (-7)/(-35)*0 - -2705. Let f = y + -1524. Does 10 divide f?
False
Let o(m) = -4*m + 2. Let s be o(1). Let i be (s + 325)/(1/1). Suppose -4*y = -x - i, 4*y = -x + 55 + 262. Does 40 divide y?
True
Let z be ((-14)/6*-3)/((-3)/(-9)). Is 48 a factor of (-4 + 300/z)*(15 + -1)?
True
Let g(w) = 2*w**2 + 14*w - 4. Let y be (-434)/(-84) + -3*15/(-54). Does 4 divide g(y)?
True
Let d be (-5)/(-11 + 6) + (1 - 4). Suppose -b = -0*b - 1449. Is 3 a factor of (d/(-6))/(21/b)?
False
Suppose 20*v - 165 = -5. Suppose -4*d + 8*w + 1004 = 5*w, 0 = 2*w + v. Does 65 divide d?
False
Suppose 0*b + 2*b - 33 = -5*f, 0 = -4*f + 5*b. Suppose -f*x - 19 = 31. Is (-560)/x - 1*4 a multiple of 9?
False
Suppose 228*n - 226*n = -16. Is 144*(n/6 + 2/1) a multiple of 6?
True
Let x(t) = 2*t + 1. Suppose 8*q + 2*q = -10. Let z be x(q). Does 19 divide (-84)/15*(z - 119)/3?
False
Suppose -6465*t + 6546*t = 2606904. Is 108 a factor of t?
True
Let r(s) = 24*s + 124. Let v be r(-12). Let a = -57 - v. Does 16 divide a?
False
Suppose 2*x - 1 = -q - 30, -5*x - 113 = 4*q. Suppose 30 = 5*k - 3*m + m, 18 = 3*k + m. Does 3 divide k/(-81)*3 + (-843)/q?
False
Let g(q) = -19*q - 71. Let x(f) = 5*f + 18. Let r(p) = 10*p + 1. Let b be r(-1). Let a(u) = b*x(u) - 2*g(u). Does 7 divide a(-5)?
False
Suppose -1793 = -h - 2*w, 10*w + 10771 = 6*h + 9*w. Does 24 divide h?
False
Let f be -34 - -33 - ((0 - 29) + -1). Suppose 3*x = -5*s + x - 20, x = 4*s + f. Does 11 divide 21 - (2 + s/2)?
True
Let u = 2571 - -929. Is 100 a factor of u?
True
Let x(r) be the third derivative of r**6/120 + 11*r**5/60 + 13*r**4/24 + 7*r**3/6 + 9*r**2. Suppose 2*z = -0 - 18. Does 7 divide x(z)?
False
Let w(d) = 136*d**2 + 1120*d + 6696. Is 7 a factor of w(-6)?
True
Suppose -x + 21 - 11 = 0. Let c(d) = -x - 6 - 9 - 31*d + 6. Does 17 divide c(-8)?
False
Suppose -13*o - 912 = -o. Let n = 81 + o. Suppose -n*t = -2*s - 930, 3*t + 5*s - s = 558. Is t a multiple of 17?
False
Let u(c) = 8*c**3 - 36*c**2 + 33*c - 8. Let n(q) = 17*q**3 - 71*q**2 + 65*q - 15. Let g(k) = 6*n(k) - 13*u(k). Does 17 divide g(20)?
True
Suppose j + j + 92 = 3*a, 5*a + 2*j - 132 = 0. Let c(x) = -1 - a*x**3 + 12*x**2 - 50*x**2 + 2*x + 21*x**2 + 20*x**2. Is 16 a factor of c(-2)?
False
Suppose 2*i - 1637 = -5*s + 1737, -2*s + 5*i = -1338. Does 2 divide s?
True
Let c(r) = -8*r**3 + 31 - r - 31 + 3*r**2. Let z be c(-3). Suppose -3*k + 9 + z = 0. Is k a multiple of 5?
True
Suppose 11905 = 51*x + 3745. Is 20 a factor of x?
True
Suppose 1059*o = 1053*o + 2160. Suppose -30*m = -6*m - o. Is 11 a factor of m?
False
Suppose -4*g + 5*i = -18342, 553*g + 7*i = 555*g - 9198. Is g a multiple of 103?
False
Suppose 227*w - 223*w = -116. Let h = 115 - w. Does 17 divide h?
False
Let x(c) = 1 + c + 5 + 15. Let h be x(8). Let z = h - 4. Does 3 divide z?
False
Suppose 0 = -2*x + 6, 5*o - 4*x = o - 28. Let u(d) be the third derivative of -35*d**4/24 - 5*d**3/3 - 14*d**2. Does 12 divide u(o)?
False
Let p be (-1)/(2*(-5)/720). Suppose -3*h - 5*l + 2*l = -213, 2*l = -h + p. Is 10 a factor of h?
True
Let i be (-6)/(-10) + ((-68)/5)/(-4). Is 8 a factor of (-6)/i*-2*(-32)/(-6)?
True
Let p(o) = -10*o - 61. Let v be (-1 + (-2 - -2))*(-18)/(-3). Let r be p(v). Is (2*-20)/(1/r) a multiple of 3?
False
Let h = 641 - 312. Suppose 2*r - h = -g, 5*r - 347 = -5*g + 483. Is 12 a factor of r?
False
Suppose 0 = -g - 2*y + 98, 5*g + 121 = -y + 584. Let c(b) = 5*b - 7. Let w be c(10). Let k = g - w. Is 5 a factor of k?
False
Let u be 6*1*2775/74. Let i = 486 - u. Is i a multiple of 7?
False
Let k(r) = -7*r - 4 + 8*r**2 + 14*r - 9*r**2. Let y be k(3). Suppose -338 = 3*n - y*n - 4*c, -3*c + 204 = 3*n. Is n a multiple of 11?
True
Suppose -5*m + 4*y = 282, 2*m = 4*y - 110 + 2. Let i = m + 220. Does 10 divide i?
False
Let u(j) be the second derivative of 4 + 4*j + 19/3*j**3 + 3*j**2. Is 12 a factor of u(3)?
True
Suppose 0 = 5*y - b + 14, b - 10 = 5*y - 2*y. Is 1*(5 + -110)*y a multiple of 10?
True
Let x = -23 + 22. Let s be -3 - (-1 - -2 - x - 5). Suppose -2*q + 40 = -s*q. Is q a multiple of 4?
True
Suppose 43*a - 42*a = 5. Suppose 3*c - 3*p = 111, -a*p = -4*c + 92 + 55. Is 19 a factor of c?
True
Let c be (-7730)/(-14) - 5/105*3. Let a = 897 - c. Is 15 a factor of a?
True
Let y(b) = -367*b + 4892. Is y(-8) a multiple of 37?
False
Let u(h) be the first derivative of 10*h**3/3 - 9*h**2 + 130. Is 13 a factor of u(3)?
False
Let o be (-2042)/5 + 16/40. Does 51 divide (-5 - 45/(-10))*o?
True
Let z = 808 + -386. Suppose -3*x + 4*x - 59 = 0. Suppose -2*m - q + 108 + x = 0, -2*q - z = -5*m. Is 14 a factor of m?
True
Let q(i) = -i + 2. Let y be q(8). Is 12 a factor of (-18990)/(-40) + y/8?
False
Let k(t) = 4*t + 211. Let n be k(-52). Suppose 148 + 104 = n*b. Is 2 a factor of b?
True
Suppose 67275 = 4*u - 5*b, -u - 8*b = -5*b - 16806. Is 15 a factor of u?
True
Let c = -14 - -5. Let z(o) = -o**3 + 42*o**2 + 82*o + 264. Let p be z(44). Does 9 divide c/(-3) - (-32 + -1 + p)?
True
Let r = 3330 - 3347. Let a(z) be the third derivative of -z**4/12 - 23*z**3/6 + z**2. Does 3 divide a(r)?
False
Suppose -5*s = -v + 32, -2*s - 4 = 4*v - 0*v. Let o(n) = n**3 + 6*n**2 + n + 6. Let r be o(s). Suppose r = -3*b + 30 + 48. Is b a multiple