0*i - 8. Is 12 a factor of u(-4)?
True
Suppose -3*s - 4*h = -9920 - 2052, 2*h + 19910 = 5*s. Does 72 divide s?
False
Suppose -2*b - b + 12 = 0. Suppose -b = -x - 0*x. Does 4 divide x/22 - 258/(-33)?
True
Suppose 663 - 383 = w. Is 8 a factor of w?
True
Suppose l - 2*o = -2*l + 34, 0 = -5*o + 5. Is 3 - (-5 + 1 - (l + 40)) a multiple of 18?
False
Is 25 a factor of 140*(51/22 + (-4)/(-22))?
True
Suppose 0 = 7*i - 2*i + 5*n - 25, -4*i - 3*n = -17. Let y be 70 - (-1 - -5 - i). Suppose w + y = 3*w. Is 14 a factor of w?
False
Suppose -2*h + 23 = 9. Suppose -9*o + 686 = -h*o. Is 12 a factor of o?
False
Suppose -7*j + 324 = 5*j. Is j a multiple of 5?
False
Let t = 35 - 61. Let r be t/8 - 6/8. Is 38 a factor of (-8)/(0 + r) - -62?
False
Suppose -2*a - 14 = -7*a - k, a + 1 = -4*k. Let r(y) = -209*y - 7. Let w be r(-7). Is w/42*a*1 a multiple of 26?
True
Let r = 900 + 6. Is r a multiple of 21?
False
Let u = -446 - -733. Does 41 divide u?
True
Is (-7 + 207/27)*774 a multiple of 30?
False
Let c be (-4)/10 - 404/(-10). Suppose 6 = k - c. Is k a multiple of 9?
False
Let t = -625 + 729. Is 3 a factor of t?
False
Let g(l) = -10*l - 38. Is g(-7) a multiple of 8?
True
Suppose 31*r - 26*r = 7470. Is r a multiple of 18?
True
Let r(b) be the first derivative of b + 5 + 1/2*b**2. Is 4 a factor of r(11)?
True
Suppose -4*h = -2*p + 44, 4*h + 20 + 0 = 0. Suppose -184 = -4*u + p*u. Let m = u + 103. Does 20 divide m?
True
Let y(j) = -31*j + 170. Is y(-10) a multiple of 30?
True
Let n(j) = -j**3 - 6*j**2 + j + 1. Let x be -3 + (-5 - (0/4 + -1)). Is 8 a factor of n(x)?
False
Suppose -4*m + 1128 = 4*s, 12*m - 856 = -3*s + 7*m. Does 51 divide s?
False
Let k be 48/18 + (-4)/6. Suppose r + f - 176 = 3*f, 896 = 5*r - k*f. Does 20 divide r?
True
Let u be 15/((-15)/(-5)) + -2. Suppose -b = -2, 6*t + u*b = 10*t - 286. Is 8 a factor of t?
False
Suppose -v - 879 = -4*v - 3*t, -t = -3*v + 867. Let c = v - -65. Is c a multiple of 18?
False
Let m(n) = -n**2 - 6*n + 7. Let h be m(-7). Suppose h = j - 1 + 2. Is 18 a factor of (-21)/j*(-12)/(-14)?
True
Suppose 3*d = d + 10. Suppose -w - 3*w + 301 = 5*m, 0 = d*m + 5*w - 300. Let f = m + -39. Does 6 divide f?
False
Suppose 2*h = -3*h + 85. Suppose -h = w + 3. Is 10 a factor of (w/6)/(3/(-18))?
True
Let t(l) = -2*l**2 - 8*l + 14. Let w be t(-6). Is ((-78)/w)/((-1)/(-5)) a multiple of 13?
True
Does 4 divide 666/27 + (-2)/3?
True
Let b(c) = 2*c**3 - 15*c**2 + 6*c + 13. Let x be b(7). Suppose -x = -0*k + k. Is 26 a factor of (-568)/k - (-52)/39?
False
Let v be 18*2/(-16)*8. Let p be ((-3)/6)/(3/v). Suppose -181 = -4*w + p*j, -5*w + 2*j + 231 = 3*j. Is w a multiple of 15?
False
Let o(b) = b**2 + b - 13. Let u be o(-6). Let l = 14 - u. Is 21 a factor of -3 + (-11 - l)*-3?
True
Suppose -187*o = -178*o - 4059. Is o a multiple of 10?
False
Suppose 3*r = -2*y + 2375, 2*r + 5*y = 6*y + 1588. Is 13 a factor of r?
True
Suppose 4*u = 9*u + 370. Let y = u - -127. Does 8 divide y?
False
Let t = -62 + 71. Let f(g) = 11*g + 9. Does 29 divide f(t)?
False
Is 18 a factor of (-30)/165 + -3*1509/(-33)?
False
Let p be 12/54 - 1/9*11. Does 17 divide p + 104 + (-2)/2?
True
Suppose -10 = -3*q - 4*i + 1, 4*q + 3*i = 24. Let x = 45 - q. Is 18 a factor of x?
True
Suppose 0 = -3*r + 4*u + 1384, 3*r = -0*u + u + 1381. Does 38 divide r?
False
Let a = -773 - -2212. Does 67 divide a?
False
Let m be (-18)/(-54) - (-200)/3. Let u = m + -7. Does 15 divide u?
True
Suppose -7*u + 3057 = -863. Is 10 a factor of u?
True
Let c be (-1)/(-2)*((-4 - -7) + 7). Is c/(5/147) + -3 + 5 a multiple of 19?
False
Let r(s) = 18*s + 15*s - 4 + 3*s. Is 18 a factor of r(3)?
False
Does 12 divide 2*(-1 + 885/6)?
False
Suppose -2*r + 10 = -3*r. Is 11 a factor of (-6)/r - (-572)/55?
True
Is 16 a factor of (10476/(-60))/((-9)/60)?
False
Suppose -2*y + 162 = -5*y. Does 2 divide (-12)/y + (-158)/(-18)?
False
Suppose -5*o = 10, -3*d + 12 = -0*d + 3*o. Suppose 4*y - 888 = 4*a, -a - 1130 = -5*y - d*a. Is y a multiple of 28?
True
Let l be 5 + -3 + (-4)/((-4)/65). Suppose -l = -7*c + 17. Is c a multiple of 5?
False
Suppose 6*t + 23*t = 7395. Does 15 divide t?
True
Let w(s) = s + 16. Let g be w(-10). Let j(d) = d - 1. Let c be j(g). Suppose l + c*h = -12, 5*l - 13 = 2*h + 35. Is 8 a factor of l?
True
Let f(g) = g**2 - 3*g - 6. Let v = -1 - -6. Let r be f(v). Suppose r*b - 133 = 7. Is b a multiple of 15?
False
Is 10/110*0 + 988 a multiple of 38?
True
Let m = -56 - -322. Is m a multiple of 38?
True
Let f(p) = p**2 - 7*p**2 + p + 244*p**3 + 1 - 243*p**3. Suppose 3*n - 1 = 17. Is f(n) a multiple of 7?
True
Suppose 2*a = 4*b - 0 + 2, 0 = 3*b + a - 11. Let s(n) = 0*n + 2 + 3*n**2 + 0*n. Is 7 a factor of s(b)?
True
Suppose -4*x = 16, 4*p + 0*x = -x + 184. Does 10 divide p?
False
Suppose 2*p - 3*c - 176 = 0, -p - 17*c + 15*c = -95. Is p a multiple of 2?
False
Suppose 13*w - 669 = 111. Is 4 a factor of w?
True
Suppose 5*g = 3*a - 58, 8 = -3*a - g + 90. Is 3 a factor of a?
False
Let d be (-22)/(-10) - 3/15. Suppose d*i - 117 = 3*q, -q = 4*i - 133 - 80. Is i a multiple of 18?
True
Is 12 a factor of (2 - 14/(-2)) + 1771?
False
Let n = -687 - -697. Let j = -82 - 148. Is (-1 - 0)/(n/j) a multiple of 4?
False
Suppose -30 = 2*n - f - 3, -f = -4*n - 51. Let b = -1393 - -1423. Is 12 a factor of n/b + (-454)/(-10)?
False
Let l(n) = -16*n + 2. Suppose -2*o - 13 + 21 = 0. Let p = 3 - o. Does 9 divide l(p)?
True
Suppose 11*h + 1118 = 24*h. Is h a multiple of 8?
False
Suppose -2*f = 2*h - 3494, -4*h = -2*f + 5*f - 6983. Is 13 a factor of h?
True
Let k = 9 + 106. Suppose 3*q = -4*y + 83, q + 2*q = 4*y + k. Is q a multiple of 5?
False
Let i = -223 + 152. Let h = -49 - i. Does 11 divide h?
True
Suppose 3*x - 28 = -2*o, -3*o + 8*o - 49 = -4*x. Suppose -x*j + 630 = -192. Is j a multiple of 10?
False
Let c = -1298 + 1726. Does 13 divide c?
False
Let q(v) = -9*v**3 + 8*v**3 + v + 2*v**3 + 8. Let w be q(0). Is 2 a factor of 2/4 + 76/w?
True
Suppose -4*i + 2*b - 2 = -0*b, 3 = 3*b. Let p(k) = -k**3 + 9*k**2 + 4*k. Let a be p(7). Suppose i = 4*s + 3*s - a. Is 6 a factor of s?
True
Let u(c) = 6*c**2 + 48*c + 7. Let k be u(-8). Let q be 0/1 + 73 - 1. Suppose 5*x - k*x = -q. Is x a multiple of 9?
True
Suppose 2725 = 3*q + k, 1 = 4*k + 9. Suppose 5*n = q - 69. Does 24 divide n?
True
Let t(m) = 3 + 6*m**2 + 5*m**2 + 3*m**3 + 12*m - 4*m**3. Let r be t(12). Suppose 11 + 12 = 2*g + n, -5*g = r*n - 57. Does 6 divide g?
True
Suppose 53 = -5*n + o, -2*n - 2*o - 2 = 12. Is 4 a factor of 2*(n/(-6))/(10/45)?
False
Let s(l) = l**2 + 2*l + 5. Suppose -12*b - 8 = -10*b. Let p be ((-3)/b)/((-15)/(-140)). Is s(p) a multiple of 17?
True
Suppose 2*g - 14*t - 268 = -11*t, -3*t = 4*g - 554. Is g a multiple of 7?
False
Suppose -5*j = -6*j - j. Suppose j*t + 10*t = 350. Is 9 a factor of t?
False
Suppose -8*u = -4*u. Let g(x) = x - 12. Let s be g(u). Does 5 divide 17 - 3/(s/(-4))?
False
Let u(d) = 213*d + 103. Is 55 a factor of u(7)?
False
Suppose -u = -0 + 3. Let i be (u + -2 + 2)*-27. Suppose 4*f - i = f. Is f a multiple of 10?
False
Let b(x) = -82*x - 30. Does 4 divide b(-5)?
True
Suppose 2 - 3 = o, -5*r + o = -26. Suppose 3*s = -r*s + 360. Is 10 a factor of s?
False
Suppose -100 = 3*b - 43. Let g(c) = c**3 + 18*c**2 - 19*c + 41. Does 36 divide g(b)?
False
Does 57 divide ((-4902)/(-9))/(6 - (-265)/(-45))?
True
Let y(j) = 27*j. Let d(h) = -3*h - 2. Let q be d(-1). Is y(q) a multiple of 9?
True
Suppose -5 = -5*y + 10. Suppose -3*h - 218 = -4*u - u, 0 = -y*u - 3*h + 150. Is u a multiple of 9?
False
Let o be (6*1)/(-12 - -14). Suppose 0 = -2*z - o*x + 26, -x + 60 = 4*z - 12. Is 4 a factor of z?
False
Does 27 divide (0 + 1 + 80)*77/7?
True
Let b(k) = k**2 + 9*k - 16. Is b(-23) a multiple of 33?
False
Let d(h) = -24*h**2 + 4*h - 13. Let m(n) = 48*n**2 - 8*n + 25. Let s(o) = 5*d(o) + 3*m(o). Is s(2) a multiple of 19?
False
Let g(q) = q**3 - 8*q**2 + 6*q + 7. Let m be g(7). Suppose 18 = 2*t - m. Is 3 a factor of t?
True
Suppose 4*v - 8 = 4*m, 5*v + 3*m + 10 = -2*m. Suppose -4*i = k - 61 + 2, 2*k - 3*i - 85 = v. Let d = k + -22. Is d a multiple of 13?
False
Let f(k) = -k**3 + 1. Let q(g) = -7*g**3 - 12*g**2 + 6*g - 17. Let h(m) = 6*f(m) - q(m). Is h(-12) a multiple of 19?
True
Suppose 0 = -3*m - 2*p + 28, m - 2*p - 11 = -3*p. Suppose 5 = -m*w + 23. Suppose -2*j - 62 - 142 