 = -3*v - 3 - 19. Let m be (-29)/(-2) - v/(-4). Suppose 3*t - 14 = t - 3*r, 2*t + 2*r = m. Is 6 a factor of t?
False
Let d(s) = -s**2 + 4*s + 2. Let l be d(3). Let i = 8 - l. Does 3 divide i?
True
Suppose -5*d - 2 = v - 5*v, 3*v - 15 = -3*d. Let c = v - -5. Suppose -4*q - 16 = -c*q. Is q even?
True
Let z be (-94)/((-3)/1 - -1). Suppose -z = -a + 3*g, 3*a + 0*g = -2*g + 108. Suppose -5*t - 2*j = 7 - a, 5*j = 5*t - 10. Does 2 divide t?
False
Let k(l) = -7*l + 6. Let v be k(-5). Suppose m = 4 + v. Is 20 a factor of m?
False
Let y(k) = -k**2 - 6*k + 3. Suppose -p - 5 = b, 2*p - 9 = 2*b + 5. Let q be y(b). Suppose -q*a = -6*a + 81. Is a a multiple of 16?
False
Let c be 9/(-3)*570/(-9). Is (c/40)/(1/16) a multiple of 19?
True
Is (4680/35 - 6) + 4/14 a multiple of 38?
False
Suppose -73 = -j + 4*q, j - 3*j = -q - 167. Suppose -6*i - 2*f = -3*i - 118, j = 2*i - 5*f. Is i a multiple of 8?
True
Let d be (0 - (1 - 2)) + 19. Let i be 108/d - (-3)/5. Does 15 divide 276/9 - (-2)/i?
False
Suppose -3*v - 4*z = -14, 5*z - 16 + 6 = 0. Suppose v*l - 2 = 2. Suppose -l*x - 1 + 11 = 0. Is 4 a factor of x?
False
Let f be 1085/20 + 2/(-8). Suppose -5*h - f + 164 = 0. Does 10 divide h?
False
Suppose 0 = 3*p - 15, -5*f - 54 = -6*f + 2*p. Is 22 a factor of f?
False
Suppose -2*d - 5*m = -475, 2*d - 2*m - 233 = 221. Does 25 divide d?
False
Let y = 9 + -6. Suppose 2*l + 4*j = 82 + 62, -y*l + j = -216. Suppose 3*b - u - l = 0, -110 = -5*b + 4*u + u. Does 10 divide b?
False
Let t(k) = k**3 + 5*k**2 - 7*k - 6. Let f be t(-6). Suppose 3*h + h - 40 = f. Suppose -93 + 32 = -4*u + n, -2*n = h. Is 14 a factor of u?
True
Let d = 5 - 3. Let v = 10 - d. Is 2 a factor of v?
True
Let x = -111 - -176. Does 15 divide x?
False
Does 48 divide (-2 - 3704/(-20)) + (-3)/15?
False
Let p(r) = -9 - r**2 + 5 - 12*r - 11. Let f be -1*(0 + 2)*5. Is p(f) a multiple of 3?
False
Suppose -p + 1 = 0, -3*p - 115 = -d - 8*p. Is d a multiple of 22?
True
Suppose 208 = 4*q - 2*d, 5*q - 134 = 2*d + 127. Is 19 a factor of q?
False
Suppose -x - 43 - 35 = -2*g, -2*g - 2*x + 78 = 0. Suppose 4*a = 15 - g. Is 3 a factor of (-28)/(-6) + (-2)/a?
False
Let g(k) = -30*k**3 + k**2 - 1. Let t be g(-1). Is 6/((-51)/t - -2) a multiple of 20?
True
Let t(v) = v**3 - v**2 + v + 42. Suppose 2*w - 2*b - 4 = 0, 0*b + 8 = 2*b. Let c(j) = -j**2 + 7*j - 6. Let i be c(w). Does 15 divide t(i)?
False
Suppose 0*t + 6 = 3*t. Suppose -3*a + 3*b + 236 = -28, -a - t*b = -91. Suppose 0 = 4*g + 5*d - a, 3*d - 66 = -3*g - 0*d. Is g a multiple of 8?
False
Suppose -3*h + 2*h + 96 = 0. Let z = h + -60. Does 7 divide z?
False
Does 21 divide (4 - -10)*162/12?
True
Let m be -20*(32/(-20))/(-4). Let y = m + 27. Is y a multiple of 15?
False
Let b be (-80)/(-24) - 2/6. Let f(i) be the third derivative of 3*i**4/8 - 2*i**3/3 + i**2. Is f(b) a multiple of 12?
False
Suppose 11*r = r + 850. Is r a multiple of 39?
False
Suppose 3*j - 20 = -j. Suppose -321 = -j*y + 4*p, 2*y = y + 5*p + 60. Is y a multiple of 22?
False
Does 2 divide (5/1)/(2 - 1)?
False
Let a = 15 - 12. Is 3 a factor of a?
True
Let r = -139 - -230. Is r a multiple of 13?
True
Suppose -2*l + 23 = 1. Let p = -11 + l. Suppose -i + 23 = v, 3*i + p*v - 75 = -5*v. Is 20 a factor of i?
True
Suppose 5*q + 1 = 146. Is 12 a factor of q?
False
Suppose 5*p = -3*j - 14, -2*j + 4*p + 0*p = -20. Suppose j*m + 2*d - 107 = -m, -191 = -5*m + 3*d. Suppose 4*h - 27 - m = 0. Is 16 a factor of h?
True
Let x(t) = 2*t**2 - 2*t + 4. Let a be (-21)/(-12) + (-2)/(-8). Suppose 0 = -a*n - 0*n + 8. Is 14 a factor of x(n)?
True
Let c = 11 - -3. Let b = -10 + c. Is b even?
True
Let x(a) = a - 3. Let n be x(6). Suppose -4*v - 2*c + 3*c + 76 = 0, -v + 19 = 4*c. Let i = v - n. Is i a multiple of 13?
False
Let x(s) = 24*s**2 - s + 1. Let n be x(1). Let u = 33 + n. Is u a multiple of 19?
True
Let w(o) = 5*o. Let b = 0 + -2. Let p be w(b). Is 4 a factor of ((-4)/p)/(1/10)?
True
Suppose -4*n = -2*n. Suppose 5*v + 56 = 4*c - 28, n = v. Does 5 divide c?
False
Let q(f) = f**2 + 14*f - 15. Is q(-16) a multiple of 17?
True
Suppose -1064 + 311 = -3*o. Is o a multiple of 26?
False
Suppose 4*u - 5*m + 2*m - 210 = 0, u + 5*m - 64 = 0. Is 6 a factor of u?
True
Let m(k) = 3*k**3 + 2*k**2 + k - 2. Does 15 divide m(2)?
False
Suppose -m + 2*m = -1. Let t(f) = -4*f**3 - f. Let z be t(m). Suppose -z*n + 2*n = -63. Is n a multiple of 9?
False
Let z be ((-2)/1 - -3)*-19. Let h = 34 + z. Is 7 a factor of h?
False
Suppose -3*g + 2 - 30 = -r, -3*r + 4 = g. Let k = 12 + g. Let a(i) = -i**2 + 6*i + 1. Is a(k) a multiple of 9?
True
Let h(i) = -i**2 - 27. Let d be h(0). Let m = -22 - -12. Let v = m - d. Is 7 a factor of v?
False
Let j(g) = -g + 9. Suppose -z = -2*z + 7. Let q be j(z). Suppose 0 = q*i - i - 22. Is 13 a factor of i?
False
Suppose -2*w - 41 = -1. Let f = 40 - w. Is f a multiple of 30?
True
Suppose -4*u - 244 = 2*t - 6*t, 106 = 2*t + 2*u. Does 19 divide t?
True
Suppose 0 = 2*w + 5*i + 11, 0*w + w + 2*i = -4. Suppose -w*f - 1 = -3*s + 2*s, 0 = -4*f + 20. Does 3 divide s?
False
Suppose -112 = -0*u - u. Is 14 a factor of u?
True
Suppose -228 = 4*r + 132. Does 10 divide (r/3)/((-3)/2)?
True
Suppose -h + 3 = 3*y - 2*y, -2 = h. Is 2 a factor of y?
False
Let w(b) = -b - 1. Let z be w(-3). Does 8 divide (-8)/(z*(-3)/18)?
True
Let o = -2 + 5. Suppose 12 = o*q, 4*f = f + 2*q + 244. Does 21 divide f?
True
Let l(d) = 10*d - 3. Let x be l(2). Let c = x + -9. Suppose g = -g + c. Is 3 a factor of g?
False
Let d(v) = v**3 - 9*v**2 - 4*v + 1. Let h be d(6). Let g = h - -224. Is 31 a factor of g?
True
Suppose 2*p + 3*n = 89, 2*n = 5*p - 385 + 134. Is p a multiple of 9?
False
Suppose 140 = -5*g + 440. Is 23 a factor of g?
False
Suppose 0 = 7*j - 2*j - 25. Is 5 a factor of j?
True
Let u = -30 + 35. Let y be (-2)/((-1)/(-2) - 1). Is 9 a factor of (2/y)/(u/250)?
False
Let u(n) = n**3 - n + 32. Suppose 6*r + 15 = r. Let y be 0*(-1 + r/(-2)). Is u(y) a multiple of 13?
False
Suppose -5*s = -5*u + 110, 3*u + 17 = -4*s + 69. Suppose -2*f + 3*f = 3*k + 1, -4*k = 4*f - u. Is f a multiple of 2?
True
Suppose -4*g - 3*u = -723, -2*g + 0*u + 329 = -5*u. Does 59 divide g?
True
Let w(s) = 2 - s - s + 6*s - s. Is 6 a factor of w(12)?
False
Let p(h) = 0*h**2 + 3*h + 3 - h**2 + 2*h. Does 2 divide p(5)?
False
Let l be (-2)/6 - 21/(-9). Suppose 0 = 4*t + l*n + 12 + 6, -n = 4*t + 13. Does 14 divide 36 - (-2 - 2 - t)?
False
Suppose 23 = 2*z - 77. Is 10 a factor of z?
True
Let g be (-9 + 7)/(1/(-13)). Suppose 0 = -3*u + 22 + g. Is u a multiple of 6?
False
Let w(a) = 2*a**2 - 12*a + 23. Is 2 a factor of w(3)?
False
Let f be 57/(-9)*(4 - 1). Let d = 44 + f. Suppose 4*h = k + d, h - 4*h - 10 = 5*k. Is 2 a factor of h?
False
Let d be (24/(-9) - -2)*-3. Let k(o) be the second derivative of o**5/20 + o**4/4 - 2*o**3/3 + o**2 - o. Is k(d) a multiple of 14?
True
Let l(k) = 10*k - 7. Let x(t) = 9*t - 7. Let r(y) = -3*l(y) + 2*x(y). Does 12 divide r(-3)?
False
Let d(p) = p - 1. Let q(r) = r**3 + 3*r**2 + 1. Let m be q(-2). Let g be d(m). Suppose -4*x - 2 = 2*y, -g*x + 2 = y + 13. Is 9 a factor of y?
True
Let w(q) = q + 3. Let p be w(-2). Let i be (-2)/2 + p/1. Suppose -3*j = 2*g - 38, i = 5*g + 10. Does 5 divide j?
False
Let s(f) = 3*f**3 - 10*f - 9*f**2 - 4*f**3 - 1 + 1 - 4. Let q be s(-8). Let m = 26 - q. Does 7 divide m?
True
Suppose 2*g = a + 37 + 84, 5*g - 302 = 3*a. Is 15 a factor of g?
False
Let s(f) = 11*f**3 + f**2 - 3*f + 2. Let q be s(2). Suppose 0 = -6*z + 2*z + q. Let i = 38 - z. Is i a multiple of 9?
False
Suppose 4*t = 4 - 0. Let q = t - 2. Let i(y) = -7*y**3 - y**2 + y + 1. Is i(q) a multiple of 4?
False
Let r(a) = 2*a**2 - 9*a - 7. Does 6 divide r(6)?
False
Let z = -4 - -8. Suppose -4*n + 8 = -z*u, 2*u + 0 + 4 = 5*n. Suppose n = -2*b - 2*x - 0*x + 34, 2*b + 3*x = 39. Is b a multiple of 12?
True
Let u = 113 + 41. Is 14 a factor of u?
True
Suppose -p - s = -6*s - 34, 3*s = -15. Is p a multiple of 9?
True
Let m = 110 - 62. Is 12 a factor of m?
True
Let c(z) = -z**3 + 8*z - 8. Let a be c(-8). Suppose -11*f = -7*f - a. Suppose -6*y + y = -f. Is y a multiple of 6?
False
Suppose -a = -5*b - 15, -a - 21 = -4*a + 3*b. Suppose -12 = -h + 5*u, -a*u + 3 = h + 1. Is h a multiple of 5?
False
Suppose -65 = -5*f - 0*f. Let c = 76 - 52. Let d = c - f. Is 9 a factor of d?
False
Let n be (-1