*4/8 - 7*g**3/6 - 4*g**2. Is k(-6) a multiple of 9?
False
Suppose 3*o - 4 - 20 = 3*n, 5*o + n - 10 = 0. Suppose 4*l = -8, -66 - 89 = -o*m - 2*l. Is 9 a factor of m?
False
Let g(a) = -33*a - 1. Let x be g(-4). Let u = x - 83. Is 24 a factor of u?
True
Suppose -40*o = -35*o + 10. Is (-1)/((-3 - o) + (-528)/(-534)) a multiple of 11?
False
Let h(p) = 4 + 4*p**2 - 2*p + 2 + 4 + 10*p. Is h(-4) a multiple of 21?
True
Suppose -4*j = -0*s - s + 30, 5*j = 2*s - 51. Is (-692)/(-6) + (-6)/s a multiple of 15?
False
Suppose -a = -32 + 36. Let v(m) = 11 + 1 - 4 + m + 2*m**2. Is 12 a factor of v(a)?
True
Suppose 4*k + 2 = 2*a, -3*k + 25 = 3*a + 4. Suppose -a*n = -2*n. Suppose -330 = -n*p - 5*p. Does 22 divide p?
True
Let t(n) = 2*n**3 + 9*n**2 - n - 4. Let z be t(-9). Let d = 1016 + z. Suppose -5*l - c = -3*c - d, -3*l = 4*c - 196. Is 20 a factor of l?
True
Let o = 5876 + -1998. Is 14 a factor of o?
True
Let l(g) = -5*g**3 + 9*g + 49. Is l(-4) a multiple of 37?
True
Suppose -2*l - 12 = -v, -v + 16 = 4*v + l. Suppose 0 = v*p + 2*m - 6*m - 116, -84 = -4*p - 4*m. Does 10 divide p?
False
Let q = -477 - -925. Does 32 divide q?
True
Suppose 3*t - 15966 = 5*m, -5*t + 2*m = 6*m - 26573. Is 13 a factor of t?
True
Let i be (-16*6/(-30))/((-2)/(-35)). Suppose -12 = -4*o + i. Is 17 a factor of o?
True
Let j(m) = -2*m**2 - 5*m - 4. Suppose 5*w + 2 = 4*h, 4*h + w + 18 = -4*w. Let r be j(h). Is 31 a factor of r/2 - (-91 + -3)?
True
Suppose 5*c - 4 - 1 = 0. Let a = 27 - c. Does 8 divide a?
False
Let r be 2*(3 - 2/2). Is 37 a factor of ((-6)/r)/(3/(-188))?
False
Suppose 676*j = 690*j - 322. Is 2 a factor of j?
False
Let j be (-2)/3 - 15/(-9). Suppose -2*g = j - 77. Is 13 a factor of g?
False
Let m = -1 + 5. Let k(p) = 11*p**2 - p - 9. Is k(m) a multiple of 19?
False
Let l(k) = k**3 + 18*k**2 - k + 30. Let r be l(-18). Suppose -3*z + 7*z - r = 0. Suppose -11*g + z*g - 40 = 0. Does 20 divide g?
True
Suppose -3*z + 2*z + 28 = 0. Let l be 3 + z/1 - 3. Let m = l + -4. Is 7 a factor of m?
False
Let p(t) = t + 1. Let g be p(-3). Let h = -3 + g. Is 22 a factor of (-38)/6*(-7 + h)?
False
Let t = 61 + 17. Is 9 a factor of t?
False
Suppose -19 = 4*q - 71. Suppose 2*u = 59 - q. Is (u - -3) + 3 + -7 a multiple of 11?
True
Let h = 856 - 8. Is 53 a factor of h?
True
Suppose -7 = -5*b - 22. Let k(d) = -21*d - 3. Let n be k(b). Suppose -2*x + n = -4*v - 0*v, -4*v + 156 = 4*x. Is x a multiple of 12?
True
Suppose 16749 = 26*d - 15699. Does 24 divide d?
True
Suppose 2815 = 5*z - 5*t, -2*z - t + 704 + 434 = 0. Is 12 a factor of z?
False
Suppose 5*q + 60 = -5*v, 4*v + v + 44 = 3*q. Let g(h) = h**2 + 10*h + 9. Let o be g(v). Let n = 25 - o. Does 5 divide n?
False
Suppose -139 + 154 = 3*w, 3*p - 12968 = 2*w. Is 11 a factor of p?
False
Let l = 12 - 8. Let w = l + 27. Is 10 a factor of w?
False
Let u = 54 - 12. Suppose 2*b + 0*b = -u. Is 8 a factor of 2*1/(-2)*b?
False
Suppose -10*t + 3743 = 463. Is t a multiple of 4?
True
Suppose 0 = -n + 3*n - 28. Let q = n + -12. Suppose 31 - 9 = q*j. Does 11 divide j?
True
Let i be -2*(206/(-4) - 3). Let k = i - 69. Is 8 a factor of k?
True
Is 15081/9 - ((-130)/39)/10 a multiple of 16?
False
Suppose -14*b - 6736 = -36486. Suppose 17*m - b = 459. Does 23 divide m?
False
Let h(l) = 1171*l - 1005. Is 105 a factor of h(4)?
False
Suppose -2*w = 2*d - 6 - 4, -26 = -2*d + 2*w. Suppose 0 = -3*r + 4*t - 49 + 19, 4*t = 5*r + 42. Does 8 divide (2 + r/d)*12?
True
Let q(d) = -d**3 + 5*d**2 + 7*d - 5. Let g be q(6). Suppose -3*l + 22 = -23. Is g/(3/l - 0) a multiple of 2?
False
Let i = 389 - 360. Does 6 divide i?
False
Let z be 95 + 2 + 2 + -1. Suppose f - 2*f - a = -22, -a - z = -4*f. Is 6 a factor of f?
True
Suppose 10 = 6*u + 34. Let k be (4 - 5)/(1/(-5)). Is 10 a factor of k*(u - -2)*-1?
True
Let u = 1150 - 523. Is u a multiple of 11?
True
Is 18 a factor of 2 + 3/(-2) + 719/2?
True
Let i(j) = -7*j - 22. Let k(c) = -c**3 + c**2 - 7. Let o be k(0). Does 4 divide i(o)?
False
Suppose -g + f - 4 + 2 = 0, 4*g + f - 7 = 0. Suppose 4*p - g - 23 = 0. Does 4 divide p?
False
Suppose 4*n - 9 = 399. Suppose -8*g = -11*g + n. Is g a multiple of 17?
True
Let a be 4/(201/63 - 3). Suppose a*w - 1327 - 2705 = 0. Is 6 a factor of w?
True
Suppose 2*l - 1060 = -4*i, 0*i + 3*l + 514 = 2*i. Suppose -5*o = 3*n - 6*o - i, 2*o - 170 = -2*n. Let g = n - 53. Is 12 a factor of g?
False
Let m(n) = n + 13. Let l be m(-11). Let w be (-17)/(-5) + l/(-5). Suppose 4*f = -w*x + 179, -2*x + 3*f = -44 - 81. Does 20 divide x?
False
Let f be 3 + 3/(6/(-58)). Let b be 12/(-9) + f/(-6). Suppose -2*c + 120 = b*c. Does 8 divide c?
True
Suppose 88 = 5*c + 18. Suppose 4*n = -c + 94. Is n a multiple of 10?
True
Is (238 - 0) + (-11 - -13) a multiple of 6?
True
Suppose 0 = 4*s + 3*g - 45, 0 = 4*s - 3*g - 45 - 6. Is s/8 + (-372)/(-8) a multiple of 21?
False
Let b = 14 + -14. Suppose b*k - 5*k - 30 = 0. Is 14 a factor of ((-3)/k)/(1/84)?
True
Suppose -5*a - b = b - 166, -4*b = 2*a - 60. Let l be a/8 + 18/24. Let w(f) = 2*f**2 - 8*f + 4. Is 14 a factor of w(l)?
True
Suppose -4*t + 12 = 4. Suppose 36 = -t*r + 4*r. Is 18 a factor of r?
True
Let q = 1380 - 815. Is q a multiple of 5?
True
Suppose 10*c - 2185 = 1795. Let u = c - 190. Is 16 a factor of u?
True
Let i(u) = 15*u - 13. Let j be (-10)/(-2*20/16). Does 2 divide i(j)?
False
Suppose 5*d = 5*i + 5, 3*d - 7 = i + 3*i. Let f be (-61)/3*d + 3. Suppose -8*j = -10*j + f. Is j a multiple of 14?
False
Is 4*((-2889)/(-18) - -7) a multiple of 29?
False
Let c = 124 - 85. Suppose -23 - c = -2*f. Is f a multiple of 15?
False
Suppose -3*v + 42 = 4*o + 2*v, 0 = 4*o + 3*v - 38. Suppose 3*x - o = h - 54, 5*h - 2*x = 282. Does 9 divide h?
False
Suppose 10 = 4*q + 3*c, 3*q - 4*c = c - 7. Let v(u) = 12*u + 1. Is v(q) a multiple of 13?
True
Let u(k) = -2*k**2 - k - 3. Let h be u(-6). Let y = h + 101. Does 11 divide y?
False
Let u be -1 - (1/(-3) + (-8)/3). Let x(d) = 4*d**2 + 5*d - 5. Is x(u) a multiple of 12?
False
Let s = -169 - -95. Suppose -3*a - 8*c + 3*c = 91, 4*c = -3*a - 95. Let k = a - s. Does 18 divide k?
False
Suppose -p = 5*p - 840. Suppose 0*y - 5*y + h + 720 = 0, -y + p = -h. Is 29 a factor of y?
True
Suppose -4*f - 8 - 4 = 0. Let d(j) = -4*j**3 - 6*j**2 - 8*j - 7. Is 12 a factor of d(f)?
False
Is 608 - ((-25)/(-9) + 46/207) a multiple of 13?
False
Suppose o = 126*t - 122*t + 211, -3*o - 2*t = -633. Is 4 a factor of o?
False
Let u(w) = -43*w**3 + w**2 - w - 1. Let r be 8/36 - (-410)/18. Suppose 0 = -r*s + 18*s - 5. Does 7 divide u(s)?
False
Let d(g) = g**2 + 16*g + 11*g**2 - g**3 - 9*g - 29 + 8*g**2. Does 37 divide d(20)?
True
Let q be -8*(-2 + 14/8). Suppose 47 + 161 = q*m. Suppose 4*r = m + 40. Is 12 a factor of r?
True
Let n be (2 + -16)/(0 + 2). Let r(s) = 6*s**2 - 45*s + 15. Let j(a) = -a**2 + 9*a - 3. Let v(c) = -11*j(c) - 2*r(c). Is v(n) a multiple of 17?
True
Suppose 4*q - l + 5*l = -68, 4*q + 5*l + 69 = 0. Let h be (-18)/48 + (-7126)/q. Suppose 0 = -6*f + h + 155. Is 32 a factor of f?
False
Let f = 392 + -185. Suppose 2*h - 4*z = 156, -3*h = 3*z - 0*z - f. Suppose 4*c - 2*t + 5*t - h = 0, 0 = 4*t - 16. Is c a multiple of 5?
True
Let v = 693 - 147. Is v a multiple of 91?
True
Suppose -5*q + 702 + 663 = 0. Is q a multiple of 13?
True
Let n(q) = q**2 + 53*q - 10. Does 45 divide n(7)?
False
Suppose -6*r + 40 = -r. Suppose 0 = r*t - t + 91. Is 10 a factor of (-2)/(4/6) - t?
True
Suppose 3*f + 30 = -4*c + 210, -c + 58 = 4*f. Is 4 a factor of c?
False
Let o be (2/6)/((-5)/(-30)). Suppose 3*d - o*g + 5 = 0, d - 3*g = -3*d - 8. Is 9 a factor of (-2 - (-5)/d) + 15?
True
Suppose -q = 57 - 71. Is q a multiple of 7?
True
Suppose 6*l + 3*k + 116 = l, 5*l = -5*k - 120. Let w = 60 + l. Does 18 divide w?
False
Suppose 5*q + 2*h - 19 = 15, 22 = 3*q + 2*h. Suppose -q*k = k - 868. Does 16 divide k?
False
Suppose -2*d + 5*v + 851 = 0, -2*d + 4*v - 1219 = -5*d. Does 28 divide d?
False
Suppose 142*f = 159*f - 20434. Is f a multiple of 19?
False
Let y = -9 + 3. Let t = y + 5. Let m = 34 + t. Is 31 a factor of m?
False
Let q(j) = 119*j - 874. Is q(8) a multiple of 15?
False
Suppose -27*p = -3*p - 1464. Does 4 divide p?
False
Suppose -5*j + 3*j = -5*h - 168, -4*h - 136 = -2*j. Let y = h + 91. Is y a multiple of 7?
False
Suppose 9 + 3 = 6*w. Let a = 14 - w. Is a a multiple of 3?
True
Let h(w