le of 4?
False
Let c be (2 + (-2)/2)*0. Suppose 0 = -4*o - c*o. Suppose 4 = t - o. Does 2 divide t?
True
Let z = 70 - 5. Is 3 a factor of z?
False
Suppose 4*a + 3 - 11 = 0. Suppose -4*g = 3*t - 97 - 37, 0 = 4*t + a*g - 192. Is t a multiple of 9?
False
Let t(n) = n**2 - 6*n + 2. Let x be t(6). Suppose -x*k + m + 20 = 3*m, 2*k - m - 5 = 0. Does 2 divide k?
False
Is 1*2/(10/1135) a multiple of 37?
False
Let o be 0 + (-2 + 76)/2. Let k = 1 + o. Suppose -3*u = 2*u + 4*w - 50, -3*u - 4*w = -k. Does 5 divide u?
False
Let c(x) = x**2 + x + 1. Let p(h) = 3*h**2 + 3*h + 13. Let a(v) = -4*c(v) + p(v). Let r = 0 - 0. Is 4 a factor of a(r)?
False
Let x(n) = n**3 - 11*n**2 + 12*n + 12. Let o = -7 + 17. Does 16 divide x(o)?
True
Let n(w) = -2*w**3 - 7 + 3*w**3 + 7*w + 7*w**2 + w**2. Let f be n(-6). Suppose -21 = -4*x + f. Does 5 divide x?
False
Let j = -42 + 30. Let a = -7 - j. Is 4 a factor of a?
False
Let r be 47 - (2 - 12/3). Suppose -38 = -3*i + r. Is 13 a factor of i?
False
Let m(n) = -4*n - 9. Let f be m(9). Let z = f + 94. Is 14 a factor of z?
False
Let w(g) = -g**2 - 7*g - 7. Let j be w(-4). Suppose 0 = j*i - 166 + 6. Is 32 a factor of i?
True
Suppose -h - 2*h = -12. Suppose 7 = 2*r - 3*f - 9, 2*r + 2*f + h = 0. Suppose 2*u - 14 = -r. Is u a multiple of 5?
False
Suppose -5*n = -5, -4*z - z - 2*n = -22. Suppose 78 = z*x - 6. Is 15 a factor of x?
False
Let d(z) = z**3 - 8*z**2 + 6*z + 4. Suppose -8 - 6 = -2*b. Let n be d(b). Is 10 a factor of 92/6 + 1/n?
False
Let r = -170 - -121. Let t = 6 - r. Is 18 a factor of t?
False
Suppose -o - 10 = 3*f, -3*f = 3*o - 2*f - 10. Suppose 0 = -o*s - 13 + 3. Does 15 divide (-2)/(0 - s) - -31?
True
Let p be (-8)/12 - 10/(-6). Let m(g) = -g - 1. Let o(n) = n**3 + 3*n**2 - 7*n - 7. Let h(u) = p*o(u) - 4*m(u). Does 6 divide h(-3)?
True
Suppose 53 = 2*f + y, f - 3*f = -y - 51. Does 13 divide f?
True
Let f(l) = -l - 4. Let n be f(-9). Suppose -g + 2*v = -v - 18, 0 = 5*v + n. Is 5 a factor of g?
True
Let q = 224 - 155. Is 25 a factor of q?
False
Suppose x - 25 = -4*f + 21, -2*f = -x + 34. Does 22 divide x?
False
Suppose 5*n + 5 = -2*u, -n + 20 = -3*u + 4*n. Let p be 2*(-1)/2 - u. Suppose -2*y - p*q + 59 = 3*y, 0 = -5*y + 3*q + 52. Is 11 a factor of y?
True
Suppose -5*r - 2*x = 164 + 83, 5*x = -5. Let u = -26 - r. Does 10 divide u?
False
Suppose 0 = 2*x - 7*x + 160. Is 8 a factor of x?
True
Suppose 0 = -2*r - 8, r - 215 = -3*s - 0*r. Is s a multiple of 32?
False
Let d = -89 - -62. Let q = 54 + d. Is 10 a factor of q?
False
Let h(w) be the third derivative of -w**9/8640 - w**7/5040 - w**6/720 - w**5/60 + 2*w**2. Let z(s) be the third derivative of h(s). Is z(-1) a multiple of 6?
False
Suppose -t + 5*m = 27, 3*m - m - 94 = 2*t. Let b = t - -82. Let a = b - 16. Is a a multiple of 7?
True
Let y(f) = -40*f + 18. Let v be y(-3). Suppose 32 = -3*g - 2*u - 190, -4*g = 3*u + 297. Let d = g + v. Is 25 a factor of d?
False
Suppose 0 = o + 1 - 5. Suppose o*x + 47 = -193. Is 10 a factor of 3/((-9)/x) - 0?
True
Let i(h) = -h**3 - 8*h**2 - 4*h - 10. Suppose -2*w + 120 = -7*w. Let j be w/3 + 1 + -1. Does 8 divide i(j)?
False
Let u(a) = -27*a**3 + 4*a**2. Does 12 divide u(-2)?
False
Let o(w) = 2*w - 2. Let t be o(1). Let g = 74 + -38. Suppose -2*z + g = -t*z. Is 5 a factor of z?
False
Let w be 3*2/(-3) + 3. Let f(v) = 11*v - 1. Let l(m) = m. Let t(d) = w*f(d) + 3*l(d). Is 9 a factor of t(2)?
True
Suppose -3*m = -2 - 10, 5*q + 2*m - 1053 = 0. Is 30 a factor of q?
False
Let x = 160 + -307. Let s = 105 + x. Let y = 60 + s. Is 18 a factor of y?
True
Let g(b) be the third derivative of -b**4/24 - 2*b**3/3 - 3*b**2. Let t be g(-7). Suppose 0 = 5*k + 2*i - 162, -t*k - i = 3*i - 100. Does 16 divide k?
True
Let b(m) = m**2 + m. Does 4 divide b(-4)?
True
Let a = -5 - -10. Suppose -5*f = x - 14, 4*x - 3*f = -4*f - 1. Let p = a + x. Is p a multiple of 2?
True
Let z be -2*(-3 - -2)*1. Suppose 7*w = z*w + 35. Does 3 divide w?
False
Let y(h) = -h**3 - 4*h**2 - 4*h + 1. Let v be y(-3). Suppose -t + v = -14. Is 8 a factor of t?
False
Let j(a) be the third derivative of a**5/60 + a**4/6 + 7*a**3/6 + a**2. Is 5 a factor of j(-6)?
False
Let c be -2 + -1 - (-7 - -1). Is 4 a factor of 4/(-6) - (-29)/c?
False
Suppose 2 = 3*k - 4*g + 5*g, -4*k - 4 = 3*g. Suppose 12 = o + 5*p, 6*o = 4*o - k*p + 40. Is o a multiple of 11?
True
Suppose 4*g - 52 = 28. Does 10 divide g?
True
Let m = -96 - -166. Does 10 divide m?
True
Is 14 a factor of -6*1*46/(-4)?
False
Suppose -3*j = 11 - 92. Is 14 a factor of j?
False
Let t(n) = n**3 + 6*n**2 - 3*n - 1. Suppose 0 = -4*b + 57 + 11. Suppose -5*k = 13 + b. Is t(k) a multiple of 17?
True
Let l be (-2)/3 - 750/9. Let q be (-6)/4*(12/9 + 0). Is l/(-9)*(-9)/q a multiple of 18?
False
Is (-1)/((-2)/(-12))*82/(-123) a multiple of 4?
True
Let d = -46 + 11. Suppose -3*g + 3*r + 184 = -r, r = 3*g - 181. Let h = d + g. Is h a multiple of 7?
False
Let r(y) = 172*y - 3. Let j be r(3). Is 10 a factor of (2/6)/(9/j)?
False
Is ((-132)/16)/((-1)/4) a multiple of 30?
False
Suppose -21*a - 20 = -19*a. Let y = a + 25. Is y a multiple of 4?
False
Let m(c) = c - 2. Let t be m(-3). Let i = t + 35. Is 15 a factor of i?
True
Let h(i) = -124*i**2 + 13*i + 4. Let n(l) = -83*l**2 + 9*l + 3. Let x(o) = -5*h(o) + 7*n(o). Is 19 a factor of x(1)?
True
Let f = 23 - -45. Is 10 a factor of f?
False
Let b = 8 + -4. Suppose v - b = 5*v. Let i(u) = -11*u**3 - 2*u**2 - 2*u - 1. Does 7 divide i(v)?
False
Suppose 4*o + 165 = 7*o. Does 5 divide o?
True
Let s be (-621)/33 - (-4)/(-22). Let w = s + 13. Is ((-34)/w)/((-1)/(-6)) a multiple of 13?
False
Let o = 9 + -4. Suppose -o*c - 16 = -4*t + 61, -5*t = -3*c - 80. Is 8 a factor of t?
False
Let f = -26 - 14. Let z be (12/5)/((-6)/f). Let r = -6 + z. Does 10 divide r?
True
Suppose -3*o = 9, b - 63 = -0*b + 4*o. Suppose 34 = 5*k - b. Is k a multiple of 17?
True
Let c(d) = -d - 5. Let i be c(-5). Let t be 104/18 - 4/(-18). Suppose t*r - 3*r - 30 = i. Does 10 divide r?
True
Suppose -5*d = -d + 32. Suppose -10 + 22 = -4*c. Let y = c - d. Is 4 a factor of y?
False
Let c(n) = 22*n**2 - 7*n + 1. Let b(w) = 7*w**2 - 2*w. Let a(f) = 7*b(f) - 2*c(f). Is a(-2) a multiple of 18?
True
Suppose -4*z + 51 + 85 = 0. Suppose w = -3*f + 43, 5*f - z = 5*w + 71. Is f a multiple of 9?
False
Let x = -8 - -8. Suppose w - 2*w - 5 = x. Let u = w + 7. Does 2 divide u?
True
Let u(l) = -l. Let j be u(-4). Suppose -3*r = -2*v + 75, 3*v = -2*v + j*r + 198. Is 21 a factor of v?
True
Suppose 4*f = y - 15, 0 = 3*f - f + 6. Is (-12)/8*-6 + y a multiple of 7?
False
Let r(a) = -a**2 - 10*a + 11. Let h(q) = q**3 + 8*q**2 + 3*q + 9. Let x be h(-7). Suppose -c = 4*s - 11, -5*s + 33 = -5*c - x. Is r(c) a multiple of 11?
False
Let b be (-48)/4*2/(-3). Suppose b + 88 = 4*n. Is 12 a factor of n?
True
Let x be (-158)/(-8) - 2/(-8). Suppose p = -2*p - 2*o + 262, -4*o + x = 0. Is p a multiple of 28?
True
Let q = -34 + 16. Let x = -20 - -45. Let p = x + q. Is 7 a factor of p?
True
Suppose 2*v = 2*l - 746, -1519 = -4*l - 0*l - 5*v. Does 39 divide l?
False
Suppose -3*l + 472 = l. Suppose -2*x + l = 2*v - 0*x, -x = -4*v + 216. Does 11 divide v?
True
Suppose -3*a = -5 + 65. Suppose 2*f + 0*w - w + 36 = 0, 3*w = f + 8. Is 7 a factor of (a/(-8))/((-2)/f)?
False
Let f(z) = z**3 - 9*z**2 + 10*z - 12. Let k be f(8). Suppose h + q - 12 - 16 = 0, 3*h - 84 = k*q. Is 14 a factor of h?
True
Let j(m) = -m**3 - 10*m**2 - 9*m + 5. Let c be j(-9). Suppose 0 = -2*w + 1 - c. Let v(o) = -3*o**3 + 2*o**2 - 2*o - 3. Does 11 divide v(w)?
True
Let y(m) = 11*m - 12. Let p = -9 + 17. Let j be y(p). Suppose -j = -4*n + 56. Is 13 a factor of n?
False
Let k(i) = -7*i + 2*i + 16*i - 2. Let r be k(6). Suppose -2*j + 79 = -p, -3*j - 2*p = -j - r. Does 25 divide j?
False
Let z be 4 - (1/(-1) + 3). Let l = 1 + z. Let j = l - 0. Does 3 divide j?
True
Let m = 31 + -7. Is m a multiple of 5?
False
Let g(o) = 2*o + 2. Let y be g(-5). Let c be (-212)/y - (-1)/(-2). Suppose 3*n - 5*n + c = 0. Is n a multiple of 12?
False
Let y be (-16)/(-56) - 47/(-7). Suppose -y - 23 = -5*r. Is 6 a factor of r?
True
Suppose -5 = -5*t + s, 5 - 1 = 4*t - 2*s. Suppose a + 1 = 2. Does 3 divide (-3)/(t/a) - -14?
False
Let z(j) = -j - 1. Let s be z(-1). Suppose 4*d - 311 + 63 = s. Does 10 divide d/4*(-8 - -10)?
False
Suppose -l + 4*b = 