i. Is g a multiple of 20?
False
Is (-25)/(-1 - 4) + 371 a multiple of 34?
False
Is -3 + 3 + -4 + 36 a multiple of 16?
True
Let y = -1 + 1. Suppose 4*z - 3*o + 8*o - 26 = y, -6 = -3*z + 3*o. Suppose 2*b - 99 - 72 = -5*d, z*b + 120 = 4*d. Does 21 divide d?
False
Let c(b) = b**3 + 6*b**2 + 6*b + 4. Let h be c(-4). Is ((-32)/h)/((-6)/81) a multiple of 12?
True
Does 6 divide (6/12)/((-1)/(-24))?
True
Let i(x) = x**3 - 10*x**2 - 5*x - 6. Let n be i(10). Let u = -25 - n. Does 15 divide u?
False
Let s = -29 + 18. Does 7 divide 16 + s - (-3 + 1)?
True
Let x = 182 + -86. Is x a multiple of 48?
True
Let s(o) = o**2 + 4*o + 3. Let v(b) = -b**2 + 8*b - 3. Let y be v(8). Let p be s(y). Suppose 3*q - 3*w - 21 = 0, 2*q = -p*q - w + 17. Is q a multiple of 8?
True
Suppose 4*q = -3*l + 98, 2*l + 2*q - 114 = -2*l. Suppose -4*t - 4*u + 62 = -l, 85 = 4*t + u. Does 5 divide (-2)/(t/(-15) - -1)?
True
Let a be 2 - (-121 - -3)/1. Suppose -5*h = -435 + a. Does 17 divide h?
False
Suppose -5*b = -0*b - 90. Does 4 divide b?
False
Is ((-3)/(-1))/((-6)/(-154)) a multiple of 11?
True
Let q be 1 + -2*(-1 - 0). Suppose 0 = g - 0 - q. Suppose -g*a + 99 = 4*x, 2*a - 1 = 1. Does 13 divide x?
False
Suppose 69 = 3*q - 24. Does 7 divide q?
False
Let t(s) = s**3 + 9*s**2 + 6*s - 11. Suppose -4*r = -7*r - 24. Let g be t(r). Suppose m - 45 = 2*w, 2*m - 19 = g*w + 70. Does 14 divide m?
False
Suppose 4*a + 3 = -5*p, 0*p + 12 = a - 3*p. Suppose -5*t + 65 = 4*j, -8*j + a*t = -4*j - 25. Is j a multiple of 5?
True
Let y(g) = 7 + 4*g - g - g - 3*g. Does 14 divide y(-7)?
True
Is 16 a factor of ((-216)/15)/(9/(-60))?
True
Let y(s) = 20*s - 6. Let c be y(8). Let f be 6/4 - c/(-4). Suppose -3*u + 23 = -f. Does 10 divide u?
False
Let w = 13 + 5. Is w a multiple of 6?
True
Let c = -80 + 140. Suppose -3*m = -5*r - 67, 0 = -2*m - 3*r + 10 + c. Is m a multiple of 25?
False
Let o(n) = -3*n + 1. Let p be o(6). Let h = p - -32. Does 15 divide h?
True
Suppose 0 = -6*h + 10*h + 4*v - 100, -5*h + 98 = -4*v. Is h a multiple of 22?
True
Let f = -16 + 17. Let m(h) be the second derivative of h**5 + h**4/12 - h**2/2 + 2*h. Is m(f) a multiple of 20?
True
Suppose -3*d = -0*d - 12. Does 10 divide (-2)/d - 51/(-2)?
False
Is 3 a factor of (-1846)/(-117) - 4/(-18)?
False
Let q = 0 - -5. Let t be 1/q - (-237)/15. Let v = 72 - t. Is v a multiple of 20?
False
Suppose 0*s - 2*s = y - 12, 0 = -4*s + 8. Suppose 0*n + y = -n. Is 3 a factor of n/12*(-8 - 1)?
True
Suppose m + 0 = 2. Suppose 6*b - 64 = m*b. Is 6 a factor of b?
False
Suppose -5*l + l = -28. Suppose -2*b - 35 = -l*b. Let i(y) = -y**3 + 7*y**2 + 4*y - 6. Does 11 divide i(b)?
True
Let l be -1*(0 + -1)*-1. Does 11 divide l/((-1)/31)*1?
False
Suppose 10 = -4*o - 22. Suppose 4*n = 5*v - 190, v + 2*n = 4*n + 32. Let x = o + v. Does 13 divide x?
False
Let m = 4 - 1. Suppose -3*n = -15, 10 = 2*k - 7*k + 2*n. Suppose k = m*p - 4 - 5, v + 12 = 5*p. Is v a multiple of 2?
False
Let a be -8*((-52)/16 - 3). Suppose 4*w = a + 34. Does 12 divide w?
False
Suppose -2*z + 4*z - 80 = 0. Is z a multiple of 8?
True
Is ((-76)/(-12) - -2)/(3/117) a multiple of 53?
False
Let n(x) = -4*x**2 + 21*x + 1. Does 5 divide n(5)?
False
Let r = -61 - -85. Is r a multiple of 13?
False
Is 34 a factor of 13 + 50 + (0 - -5)?
True
Let h(b) = -7*b - 10. Let c be h(-10). Let g be (2/3)/(8/c). Let t(a) = -a**2 + 8*a - 7. Is t(g) a multiple of 8?
True
Let h be (-2 + 1)/1*-11. Suppose -5*i = -i - 12. Suppose v + 2*l + h = 60, -i*l = -5*v + 219. Does 12 divide v?
False
Suppose 0*o - 4*s = -3*o + 40, 55 = 2*o + 3*s. Suppose -o = -9*q + 4*q. Suppose -q*h + 0*h = -48. Does 6 divide h?
True
Suppose 5*z - 2*a - 245 - 367 = 0, 5*a + 249 = 2*z. Is z a multiple of 17?
False
Suppose -28 = -0*s - 2*s. Does 2 divide s?
True
Suppose -3*c - 283 = -4*p, 0 = -2*p - 2*c - c + 137. Is 10 a factor of p?
True
Suppose -3*f = 2*f. Suppose 4*p - 14 = -x, f = 4*p + 5*x - 3 - 3. Suppose -p = -j + 4. Is 8 a factor of j?
True
Let p = -57 + 39. Let y = p - -60. Is y a multiple of 14?
True
Let x be (-30)/25*10/(-3). Suppose 0 = -x*t + 49 + 23. Is t a multiple of 7?
False
Let u(q) = -3*q. Suppose 0 = 3*d - 5*d - 8. Let g be u(d). Is ((-2)/3)/((-2)/g) even?
True
Let s(a) = -a**3 + 11*a**2 - 8*a - 4. Let u be s(8). Suppose d - 39 = -3*v, -3*d = -2*v + 4*v - u. Does 14 divide 5/(5/d) + -1?
False
Let y = -205 - -121. Let m = -6 - y. Is m a multiple of 26?
True
Let j(t) = 4*t**2 - 2*t - 6. Let q(l) = -l**2 + 6*l + 1. Let k be q(5). Let f be j(k). Let p = f + -81. Does 15 divide p?
True
Is (((-196)/12)/7)/(1/(-81)) a multiple of 7?
True
Let m(c) = c + 10. Is 14 a factor of m(5)?
False
Let v = -4 - -7. Let o = -18 + 14. Is 9 a factor of o/6 + 77/v?
False
Suppose 3 + 19 = 4*q - 5*u, 2 = 4*q + 5*u. Suppose q*m + 143 = 2*n, -5*n + 4*n + 74 = m. Suppose -c - 3*c + n = -g, -3*g = 15. Is 17 a factor of c?
True
Let i(r) = 2*r**2 + 8*r + 6. Let o(b) = b - 2. Let n be o(-3). Is i(n) a multiple of 9?
False
Let l = 2 + 5. Suppose -l = -2*c + 13. Does 10 divide c?
True
Suppose 3*n - b = 589, -5*n = 5*b + 4 - 979. Does 14 divide n?
True
Let l(p) = p**3 + 13*p**2 + 27*p - 15. Is l(-9) a multiple of 3?
True
Let u(s) = -s**3 + 4*s**2 - 2*s. Let z be u(4). Let b be z - 2/(2/3). Let m = 17 + b. Does 3 divide m?
True
Suppose -5*k - 4*g + 355 = 0, 3*k + 0*g = -g + 220. Is 25 a factor of k?
True
Let c(u) = -u**3 - 4*u**2 + 5*u + 2. Let o be c(-5). Suppose -3 = 3*p - 3*q, -5*q + q = o*p - 10. Let w(v) = 23*v + 1. Is w(p) a multiple of 12?
True
Suppose 7*c - 2*c = 0. Suppose 4*o = -c*i - i + 206, 0 = 2*o - 5*i - 92. Is o a multiple of 14?
False
Let v(r) be the third derivative of -r**4/8 + 4*r**3/3 - 3*r**2. Let i = -5 - 1. Does 13 divide v(i)?
True
Suppose -5*i - 59 = -3*n, -4*i = 3*n - 4*n + 8. Is 14 a factor of n?
True
Let q be -1*(-2)/(-2)*3. Does 8 divide (-2 + 131)/3 + q?
True
Let p = -142 - -251. Suppose 5*m - p = 2*g + 113, g = 4. Is 18 a factor of m?
False
Let l = 4 - 2. Suppose l*o + 15 = -o. Let t(z) = z**2 - z - 2. Is 14 a factor of t(o)?
True
Suppose 32 + 236 = 4*l. Let v = -31 + l. Is 12 a factor of v?
True
Let o(n) = 2*n**3 - 1 + n**2 + 0 - n - 3*n**2. Suppose 2*u - 1 = 5. Is o(u) a multiple of 16?
True
Does 22 divide -2 + (-3)/(12/(-184))?
True
Suppose 27*j - 23*j = 252. Is j a multiple of 7?
True
Let w = 46 - 26. Suppose 0 = -5*f + f + w. Suppose -5*y = 4*j - 85, -3*y + 34 = -y - f*j. Is y a multiple of 17?
True
Suppose 65 - 1 = 4*w. Let i = w - 11. Does 5 divide i?
True
Suppose 0 = -3*n - 3*b + 42, -2*n - 3*b + 5 = -27. Is 9 a factor of n?
False
Suppose 0 = 5*x - 2*x - 9. Suppose -1 - 1 = 2*g, 0 = -2*p + g - x. Let d = p - -11. Is 7 a factor of d?
False
Suppose 5*z - 3*z - 10 = 0. Suppose z*i + 3*g = 13, -2*g - 6 = -4*i - 0*g. Does 12 divide 1/i + 78/4?
False
Let x be 3 + -6*7/2. Is 60/x*(-6)/4 a multiple of 3?
False
Let a = 7 + 2. Does 7 divide a?
False
Let n = 47 + 125. Is n a multiple of 31?
False
Suppose 3*g + 861 = 3*x, x + x = -g + 571. Does 11 divide x/(-65)*(-10 + 0)?
True
Suppose -4*m = -7*m + 579. Does 29 divide m?
False
Suppose 7 - 25 = -c. Does 18 divide c?
True
Let k = 61 - 42. Is k a multiple of 5?
False
Suppose -3*y + a = y - 5, -8 = 2*y - 4*a. Suppose 5*x + 2*w = 118, y*x - 4*w = 4*x - 44. Is x a multiple of 11?
False
Suppose -463 = -5*d - 18. Let a = d - 57. Is 16 a factor of a?
True
Let d(w) = -w**3 - 17*w**2 + w + 19. Let j be d(-17). Suppose -j*b - 27 = -3*b. Does 27 divide b?
True
Suppose 5*o = -2*s + 225, 0*s + 2*s - 220 = -4*o. Is 20 a factor of s?
True
Let y(h) = 5*h**2 - 6*h + 7. Let b be y(5). Suppose -5*u = -t + 4*t - b, -5*u = -5*t - 70. Does 7 divide u?
False
Let p(u) = u**3 + u - 7. Does 3 divide p(3)?
False
Suppose -139 = -5*h + g, -2*h + 50 = -0*h + g. Does 10 divide h?
False
Let r(n) = -n**3 - 11*n**2 + 7*n + 14. Let s be r(-12). Let o = s + -26. Suppose g = -g + o. Is 13 a factor of g?
False
Suppose -18 = -9*f + 126. Is f a multiple of 13?
False
Let w = 2 - -17. Suppose -i + 2*j + w = -0*i, i + 2*j = 7. Is i a multiple of 13?
True
Let m(u) = -3*u**2 - 4 - u**3 - u + u**2 - 3*u - u**2. Does 4 divide m(-3)?
True
Let m(z) = -4*z - 4. Let t(g) = g**2 + 5*g + 8. Let j be t(-6). Let l = 9 - j. Does 8 divide m(l)?
True
Let k(g) = 33*g**2 - 4*g + 1. Let v be k(3). Suppose 0 = -3*h - a + v, -158 + 628 = 5*h - 5*a. Let 