4. Is 3 a factor of (-7 - (-2 - 2)) + v?
True
Suppose -x + 5 + 27 = 0. Is 8 a factor of x?
True
Let d be 7/(-21) + 32/(-3). Let m(i) = i + 13. Let j be m(d). Suppose 3*f - j*f + 5*q = -22, 2 = -f - q. Is f a multiple of 3?
True
Suppose 37 = 3*q - 41. Suppose -s = -0*s - 2. Suppose 5*f - 67 = s*n, -8 = 2*f - 3*n - q. Is 11 a factor of f?
False
Let z be (8/(-6))/((-2)/3). Let h(g) = 47*g - 2. Let a be h(2). Suppose z*d - a = -2*d. Does 10 divide d?
False
Let f(x) = -x**2 + 9*x - 5. Suppose q + 4*a - 4 = 0, 2*q - 1 = a - 2. Let d = q - -6. Does 7 divide f(d)?
False
Let m be (-4 - -1)/((-6)/10). Suppose -5 + 15 = m*u. Does 6 divide (0 - u) + (-18)/(-2)?
False
Let c = -1 - 11. Let u = c + 27. Is 5 a factor of u?
True
Suppose -3*t = -1 - 5. Suppose -t*z + 0*q + 2*q + 22 = 0, 2*q - 44 = -4*z. Is z a multiple of 6?
False
Let o(k) = 7*k. Let g be o(2). Let r = -2 + g. Is r a multiple of 12?
True
Let y be (1 + 5)/((-6)/(-8)). Let h(i) = -i**3 + 7*i**2 + 9*i - 5. Let x be h(y). Let v(j) = 2*j**3 - 2*j**2 - 2*j. Does 15 divide v(x)?
True
Suppose -4*x - 12 = 0, w - 5*x - 25 = -4*w. Suppose 4*q - q = 0. Suppose 4*z + 8 = q, -w*p + p + 3*z = -13. Is p a multiple of 7?
True
Let q be (-18)/30 - (-16)/10. Let r = 17 + q. Does 8 divide r?
False
Let r = 3 + -2. Is 7 a factor of r*(14 + (0 - 0))?
True
Let t = 47 + -7. Suppose 5*p - 30 = -2*q + 3*p, 2*p + t = 3*q. Is 7 a factor of q?
True
Suppose 4*o - 8 - 8 = -z, 5*o - 17 = -2*z. Suppose o*a = 36 + 64. Is a a multiple of 10?
True
Suppose 5*v + 8 = 7*v. Is 3 a factor of v?
False
Let n be (0 - -1)/(1/(-39)). Suppose -3*j = -2*i + 137, 3*i - 5*j = 5*i - 97. Let g = i + n. Does 22 divide g?
True
Suppose 0 = -4*w - 2*v + 32, -2*w - 3*w = 2*v - 38. Suppose w + 15 = 3*l. Let a = l + -2. Does 5 divide a?
True
Suppose 0*c + 4 = -3*a - c, -4*a + c + 4 = 0. Let x = a + 4. Is (-54)/x*(-4)/6 a multiple of 7?
False
Suppose 0 = r - 3*s + 5 + 2, 0 = -r - 4*s + 7. Let d = 32 - r. Is d a multiple of 11?
True
Suppose -2 + 70 = 4*n. Is 12 a factor of n?
False
Suppose 5*q - 148 = 122. Does 10 divide q?
False
Suppose 3*i - 2 = -8. Let r(b) = 2 + 0*b - 3*b**3 - 10*b + 13*b. Is 9 a factor of r(i)?
False
Let r = 1397 + -914. Is 69 a factor of r?
True
Let i(v) = v**2 - 2*v + 61. Is 12 a factor of i(0)?
False
Suppose 4*z = -12 + 108. Is 24 a factor of z?
True
Suppose 4*g = -2*w + 274, 0 = -5*g + w + 30 + 295. Does 21 divide g?
False
Suppose -u + 3 = 2*n + 2*u, -5*n + 70 = -5*u. Let k be 54/n*(-31)/(-3). Let j = k - 37. Is j a multiple of 8?
False
Suppose 0 = 3*b + 15, -2*p + b + 1 = -10. Let t = p - 0. Is t a multiple of 2?
False
Let u(o) = o**3 - 7*o**2 + o - 6. Let m be u(7). Suppose -2*i + m = -k, -5 = -3*k + 3*i - 2. Suppose -4*n - k*c = -68, 3*n - 4*c = -0*n + 26. Does 7 divide n?
True
Let i = -5 + 8. Suppose i*s + 0*s = 108. Is s a multiple of 12?
True
Suppose y - 3*b = 22, 4*y - 18 - 20 = 2*b. Suppose 4*g - 17 = y. Does 4 divide g?
False
Suppose 3*x + 360 = -a - 440, 2*a = -2*x - 528. Does 21 divide ((-2)/(-4))/((-2)/x)?
False
Suppose 6 = -5*b + 36. Let v be ((-9)/b)/(2/(-4)). Suppose -2 = 2*l, 0 = 3*o - 3*l - 39 - v. Is 5 a factor of o?
False
Let r(z) = z**2 - 2*z + 105. Is 35 a factor of r(0)?
True
Suppose 35 = -6*t - 37. Does 16 divide (-375)/t + (-9)/(-12)?
True
Let y(q) be the third derivative of q**4/6 + q**2. Is y(4) a multiple of 12?
False
Suppose 3*m - 2*m = 0. Suppose 4*u + m*u = 0. Suppose u = -0*r - 4*r + 152. Is r a multiple of 21?
False
Let w(d) be the third derivative of d**6/30 + d**5/60 + d**4/24 - d**3/6 - d**2. Let u be w(1). Suppose -m - u = -y + 3, -5*m + 40 = 3*y. Is 5 a factor of y?
True
Let m = -164 - -92. Is 11 a factor of (m/15)/6*-55?
True
Let u(o) = o + 5. Let k(y) = -2*y - 5. Let r(p) = 5*k(p) + 6*u(p). Let z be r(5). Is 0 + 0 + z/(-1) a multiple of 15?
True
Let b = -7 + 12. Suppose -17 = -4*h + b*m, -2*h + 6*h + 3*m = 9. Is h*(-8)/(1 + -3) a multiple of 12?
True
Let m(c) = c**2 + 1. Is m(-2) a multiple of 2?
False
Let c(p) be the first derivative of -p**3/3 + 5*p**2 + 3*p - 7. Suppose 30 = 5*q - 15. Is c(q) a multiple of 6?
True
Suppose -4*f = -0*f + 5*b + 34, -36 = 5*f + 3*b. Let y be 9/2 + (-3)/f. Suppose u - 41 + y = 0. Is u a multiple of 12?
True
Let w(q) = q**3 - 9*q**2 + 8*q + 8. Does 20 divide w(9)?
True
Let k(d) = d**2 - 11*d + 13. Let p be k(9). Let o(y) = 6*y**3 + 9*y**2 + 7*y + 6. Let v(b) = b**3. Let u(c) = o(c) - 5*v(c). Does 18 divide u(p)?
False
Is 0 - (-26)/4 - (-4)/8 a multiple of 2?
False
Suppose -3*p + 681 = k, 2*p + 8*k - 441 = 3*k. Does 12 divide p?
True
Let v(m) = -5*m**2 - m + 6*m**2 - 4 - 2. Let t = -8 - -3. Does 11 divide v(t)?
False
Let w(d) = d**3 + 8*d**2 + 7*d - 4. Let q be w(-7). Let i be 104/28 - q/14. Suppose -30 = -i*t + 42. Does 9 divide t?
True
Let l(b) = b**2 + 3*b - 7. Is l(-7) a multiple of 7?
True
Let l = 10 + -7. Suppose -s = l*s - 144. Is 18 a factor of s?
True
Let s(v) = -3*v + 10. Let y(w) = -w. Let x(r) = s(r) - 4*y(r). Is 3 a factor of x(-7)?
True
Let y(t) = -2*t**3 - 3*t**2 + 10*t + 4. Is y(-4) a multiple of 4?
True
Let h(k) = 15*k - 103. Is 13 a factor of h(19)?
True
Suppose 0*d + 5*d - y = 1405, -1425 = -5*d + 5*y. Is 14 a factor of (-1)/2 - d/(-16)?
False
Suppose -h + 23 = 2*g + 2*g, -h = -g + 12. Let c(y) = y**2 - 2*y + 2 + 0*y - g. Is 19 a factor of c(6)?
True
Let f = -63 - -57. Let r(g) = -7*g + 9. Let o(c) = c - 1. Let d(x) = 6*o(x) + r(x). Does 9 divide d(f)?
True
Suppose a + 2*k - 17 = k, 0 = 2*a + k - 36. Is a a multiple of 5?
False
Let t = -36 - -59. Let s(a) = -6*a + 1. Let x be s(-1). Let o = t - x. Is 6 a factor of o?
False
Suppose 4*t = -3*c - 1, -3*t + 2*c = -5*t - 2. Suppose 4*n + 320 = 52. Is t/(-5) - n/5 a multiple of 5?
False
Suppose 4*g + 6 = 2*g, 0 = f - 4*g - 28. Is 6 a factor of f?
False
Let u = 162 + -244. Let r be 3*(-4)/(-6) - u. Suppose 2*w - r = -w. Is w a multiple of 14?
True
Suppose 0 = 2*m + 2*p - 8 + 2, 0 = m - p - 3. Let w be -3*(-1)/m*13. Let u = w - -8. Is u a multiple of 10?
False
Let i(p) be the third derivative of p**6/120 + p**5/5 + 7*p**4/24 - 11*p**3/6 + 4*p**2. Does 10 divide i(-11)?
False
Suppose 2*n - 7*n = -2*t - 206, -n = 2*t - 34. Does 4 divide n/4 + (1 - -1)?
True
Let g = 309 + -176. Is g a multiple of 9?
False
Let x(w) = -6*w - 5. Let b be x(-5). Let t = b + -12. Does 6 divide t?
False
Let c = -1 + 3. Suppose -c*j + 10 = -68. Does 13 divide j?
True
Suppose -5*v + 4 = -1. Suppose 3*d = v - 7. Let n(m) = m**2 - 2*m - 1. Is 4 a factor of n(d)?
False
Suppose -154 = -3*c + 101. Suppose c = -t + 6*t. Is 8 a factor of t?
False
Suppose -69 = 7*f - 4*f. Suppose -o + 3*o = 78. Let g = o + f. Is 8 a factor of g?
True
Suppose 83*p - 36 = 82*p. Is p a multiple of 14?
False
Suppose 108 = 15*b - 13*b. Does 9 divide b?
True
Let h be (-25 - -1)/(-1 - 0). Let z = h - 6. Does 9 divide z?
True
Let y(v) = v - 9. Is y(29) a multiple of 9?
False
Suppose -4*b = -0*b + 2*q - 84, -4*q = 2*b - 48. Is 20 a factor of b?
True
Let c(x) = -19*x - 17. Let w be c(-11). Suppose -4*z + w = -0*z. Is 24 a factor of z?
True
Let z(m) = -2 + 5*m - 6 + 3*m. Is z(4) a multiple of 8?
True
Let j(t) = -t**2 - 25. Let m be j(0). Let a = m + 50. Does 13 divide a?
False
Suppose -x = 2*x - 15, x - 145 = -2*q. Is 14 a factor of q?
True
Let k be (42/(-9))/((-4)/6). Does 7 divide (7 - 0) + (7 - k)?
True
Let p be (-5)/(15/(-6)) + 2. Suppose c - p*z = 28, -2*c - z - 2*z = -1. Is 4 a factor of c?
True
Let b(f) = f**2 - 3*f - 6. Let l(g) = -g**2 - 9*g + 5. Let u be l(-9). Does 4 divide b(u)?
True
Let c(d) = d - 5. Let z(a) = 6*a**2 - 1. Let y be z(1). Let l be c(y). Does 7 divide (l + (-17 - -2))*-1?
False
Let h(r) = -r**3 + 10*r**2 + 12*r. Let z be h(10). Suppose -z = 2*i - 6*i. Is 15 a factor of i?
True
Suppose 5*m = 20 - 5. Suppose 3*s = -3*t + 36, -t - m*s + 18 - 2 = 0. Is 5 a factor of t?
True
Suppose 0 = -4*p + 7 + 25. Let q(d) = d - 1. Is q(p) a multiple of 3?
False
Suppose l = -2*i - 3*l + 16, -4*l = -12. Suppose -30 - i = -4*g. Is g a multiple of 7?
False
Let p be ((-10)/(-15))/(2/6). Let k(d) = 15*d + 2. Does 15 divide k(p)?
False
Let m be 1/(0 - 3/(-33)). Let h = m + -7. Is 4 a factor of h?
True
Is 2 a factor of 3 - ((-3 - -1) + 3)?
True
Let j(k) = 7*k - 7. Let n(d) = -6*d + 6. Let v(u) = 2*j(u) + 3*n(u). Let x be ((-28)/2)/((-2)/(-1)). Is 12 a facto