pose -d + 2*v = -v + 9, 8 = 2*v. Let r = 2 + d. Suppose 0*o = r*o - 70. Is o a multiple of 14?
True
Let t = -4 + 12. Let c = -324 - -329. Suppose -4*k - 4*b = t - 20, -c*k = 2*b - 18. Is k even?
True
Is 3 a factor of (-298)/4*3/(21/(-14))?
False
Let b be 2/4*(-74)/(3/(-3)). Let f = b - -10. Is 14 a factor of f?
False
Let l(z) = -54*z - 1. Suppose -9*d = -12*d - 6. Does 33 divide l(d)?
False
Let k be 3*(-2)/(-1 - 1). Suppose -k*r - 21 = -6*r. Let p = 19 - r. Does 6 divide p?
True
Let t = -6 - -2. Does 8 divide (-177)/t - (-18)/24?
False
Suppose -5*d - 3*d + 24 = 0. Suppose -q = -4*q + k + 324, -d = k. Does 20 divide q?
False
Let o be (-1)/1*-1*-3. Let y = -12 - -15. Is 16 a factor of 21 + y - (2 + o)?
False
Suppose 6*k - 7*k - 157 = 5*c, 2*c + 4*k = -70. Let v = c - -115. Does 12 divide v?
True
Let h be (-3)/((-30)/(-4))*10. Let w(k) = 5*k - 5. Let j(l) = 11*l - 8. Let f(v) = -3*j(v) + 5*w(v). Is f(h) a multiple of 22?
False
Let t = -55 + 55. Suppose 4*n - d - 161 = t, n + 2*d - 7*d = 64. Does 23 divide n?
False
Let s(h) = 3*h**2 - 24. Is 7 a factor of s(-8)?
True
Let o = 15 - 10. Let f be o*(16/(-20) + 2). Suppose 3*t - 5*k + 174 = f*t, -5*t + 290 = -3*k. Does 18 divide t?
False
Let u(s) = 4 - 7*s + 5 - 5 - 1. Let n be u(3). Does 11 divide (-14)/2*n/2?
False
Let r = -395 - -2541. Does 37 divide r?
True
Suppose 5*g + 130 = 3*g. Let j = 19 - g. Is 21 a factor of j?
True
Suppose -102926 = -81*w + 29347. Is 28 a factor of w?
False
Let r(c) be the third derivative of -c**6/120 - c**5/6 + c**4/6 - c**3/2 - 14*c**2. Is 19 a factor of r(-11)?
False
Let y(i) = i**3 - 3*i**2 + 16*i + 20. Is y(8) a multiple of 26?
True
Let k(c) = -8*c**3 - 10*c**2 - c + 14. Is k(-6) a multiple of 128?
False
Let r(b) be the third derivative of -b**6/360 - 3*b**5/40 + b**4/4 + 3*b**2. Let o(y) be the second derivative of r(y). Is 7 a factor of o(-8)?
True
Let f be ((-54)/15)/((-12)/160). Let p be 3*(f/(-2))/4. Is 6/27 - 320/p a multiple of 3?
True
Suppose 0 = k - t - 77, 3*k - 154 = k - 5*t. Suppose -k - 11 = -2*c. Let g = 64 - c. Does 7 divide g?
False
Let q = -714 - -1598. Does 34 divide q?
True
Let k(x) be the third derivative of -3*x**2 - 1/6*x**3 + 7/6*x**4 + 0 + 0*x. Does 12 divide k(1)?
False
Let w be -2*(10 + -2 + -1). Let q be (-4)/14 - 3784/w. Suppose -b - 2*d + 88 = 0, 0 = -5*b - 4*d + 140 + q. Does 13 divide b?
True
Let m(l) be the second derivative of l**5/5 + l**4/3 - 2*l**3/3 + l**2 - 2*l. Suppose -4*h - 3*o - 3 = -7*h, -2 = -2*o. Is 21 a factor of m(h)?
True
Let p(i) = i**3 - 8*i**2 - 10*i + 7. Let x be p(9). Does 25 divide ((-125)/x)/((-10)/(-20))?
True
Let x(p) = 28*p**2 + 43*p - 8. Is x(-8) a multiple of 16?
True
Suppose 5870 = 157*x - 147*x. Is x a multiple of 6?
False
Let s = 143 - 105. Does 19 divide s?
True
Let k = -985 + 1280. Is k a multiple of 20?
False
Let a = -68 + 81. Suppose -17*d + 268 = -a*d. Is d a multiple of 9?
False
Let x be 1 - (-11 - -1)*1. Let d(o) = -o + 15. Let h be d(x). Suppose -u = -5*p - 12, 5*u - h*p - 31 = -13. Is 2 a factor of u?
True
Let w(q) = -2*q**2 - 9*q. Let z be w(-5). Is 1/z + 644/20 a multiple of 5?
False
Let f(h) = 4*h**3 + 4*h**2 + 3*h + 1. Let t be f(-2). Is (54/4)/((t/40)/(-7)) a multiple of 15?
True
Let r = -81 - -167. Let q = 135 - r. Is q a multiple of 10?
False
Let s(q) = q**2 - 13*q + 6. Suppose -v - 30 = -5*j + 15, 35 = 3*j + v. Let m be s(j). Let z = -8 - m. Does 8 divide z?
True
Does 14 divide (-320)/60*(-3108)/16?
True
Let b(o) = o**3 - 11*o**2 + o - 8. Let y be b(11). Suppose 4*p + c + 4 = 14, -5*c = y*p + 1. Suppose -p*w - 105 = -8*w. Is w a multiple of 9?
False
Let y = 18 + -9. Suppose -20 - 1132 = -y*g. Does 32 divide g?
True
Let b = -1795 - -2453. Is 7 a factor of b?
True
Does 12 divide 1224 + (-6)/(-4)*(-112)/(-42)?
False
Suppose 29 = 4*h - 7. Suppose h*n - 4*n = 70. Does 8 divide n?
False
Let u(g) = -4*g**2 + 2*g**3 - 5*g**2 - 2*g**2 + 9 - 3*g**3 + 14*g + 22*g**2. Let i be 3/((-6)/(-8))*3. Does 11 divide u(i)?
True
Suppose 0 = -0*h + 4*h - 4, 4*u = 4*h - 8. Let i be (-3)/((-180)/(-177) + u). Let l = i - -269. Is l a multiple of 23?
True
Let v(y) = -y**2 + 8*y + 7. Let d be v(7). Does 8 divide (-140)/8*d/(-5)?
False
Let j be ((-210)/49)/(3/(-14)). Suppose 2*a + 3*a = j. Let r(h) = h**2 + 3. Is 15 a factor of r(a)?
False
Let y(j) = j**2 - 19*j - 22. Let g be y(18). Is (140/g)/((-2)/168) a multiple of 44?
False
Suppose -2*r = -3*l - 5*r + 3, -l - 23 = -5*r. Is 30 a factor of (-716)/(-12) - 1/l?
True
Suppose -4*a - 2216 = -4*l, -3*l + 2215 = l - 5*a. Does 102 divide l?
False
Let s = 321 + 1233. Is s a multiple of 104?
False
Suppose 0 = -5*j - 5, -b + 3*j + 1145 = 5*j. Is b a multiple of 15?
False
Let p = -876 + 926. Is p a multiple of 10?
True
Suppose w = -m + 34, 0 = -4*m + 3*m - 3*w + 30. Is m a multiple of 2?
True
Let h = -19 - -24. Suppose 4 + 106 = h*n. Is n a multiple of 22?
True
Let b(g) = 10*g**2 + g - 1. Let q be b(1). Let c be ((0/(-5))/(0 + -1))/(-1). Let p = q - c. Is p a multiple of 4?
False
Let g(m) = m - 45. Let d(z) = z - 46. Let c(p) = 4*d(p) - 5*g(p). Does 17 divide c(19)?
False
Let i be -90*(-4 + (-4)/(-6)). Let l = i - 177. Is 41 a factor of l?
True
Let g(z) = -17*z**2 - 23*z - 27. Let q(r) = -8*r**2 - 12*r - 13. Let u(f) = 6*g(f) - 13*q(f). Let t be u(-8). Does 15 divide (45*1)/(t/(-6))?
True
Let f(l) = -l**3 + 5*l**2 - 3*l - 4. Let b be f(4). Suppose 5*p = 5*i - 187 + 762, 5*p + 5*i - 625 = b. Is p a multiple of 20?
True
Is (-6 - -3)/(7/(-777)) a multiple of 15?
False
Let b(v) = -4*v**3 - 5*v**2 - 3*v - 3. Let t = -32 - -30. Is 3 a factor of b(t)?
True
Suppose 5*z + 974 = 2*r, -495 = -r + z - 11. Suppose 0 = -5*y + 68 + r. Is y a multiple of 22?
True
Is 14685/220*(-2)/6*-40 a multiple of 34?
False
Let r be (-3 + (-9)/(-6))*62. Let l = -33 - r. Suppose 4*i + l = 8*i. Is 5 a factor of i?
True
Let b(r) = 202*r - 303. Is 13 a factor of b(7)?
False
Let d = 35 + 40. Let m be (-226)/5 + (-5)/50*-2. Let r = m + d. Does 15 divide r?
True
Is 37 a factor of (-2 + 5)/((-33)/(-4070))?
True
Let b(k) = k**2 + k - 4. Let r be b(-3). Suppose -q + 4*q = -r*a + 164, -5*a + 46 = q. Is q a multiple of 8?
True
Let x = 78 + -14. Let b = x - 32. Is 32 a factor of b?
True
Let h = -356 - -380. Let r(g) = 2*g**2 - g + 1. Let m be r(4). Let z = h + m. Is 12 a factor of z?
False
Is 40 a factor of 4/(-6)*2*180/(-5)?
False
Suppose -3*z - 4*s = 7, -8*s = 2*z - 4*s + 10. Suppose -5*p + 54 + 95 = -m, -4*p + 123 = z*m. Is p a multiple of 3?
True
Let n(b) = -7*b**3 + 26*b**2 + 29*b - 28. Let d(z) = -11*z**3 + 39*z**2 + 43*z - 42. Let f(p) = -5*d(p) + 8*n(p). Is 14 a factor of f(14)?
True
Let z(d) = 4*d + 44. Let n(m) = -m - 9. Suppose -x - 2*x - 23 = l, x + 45 = -3*l. Let u(f) = l*n(f) - 3*z(f). Does 5 divide u(8)?
True
Let v = -47 - -42. Is 5 a factor of v + (-198)/(-42) - 228/(-14)?
False
Suppose 4*u - 124 = 3*q, -u + 5*q + 44 = q. Let z = u + 8. Is z a multiple of 9?
True
Let b = -107 + 308. Does 2 divide b?
False
Let o = 1171 - 402. Does 31 divide o?
False
Suppose 5*m - 2*m = -5*g + 67, -g = 5*m - 119. Does 3 divide m?
True
Suppose -5*c = -w - 15, 4*w = -4*c + 20 + 16. Suppose -d + 5*s - 256 = -w*d, 2*d - 122 = -4*s. Does 10 divide d?
False
Suppose 79 = 2*j - 25. Let b(y) = y**2 + 16*y + 33. Let n be b(-14). Suppose n*w - j = 3*w. Is 11 a factor of w?
False
Let l = 87 - 27. Let b = l - 22. Does 11 divide b?
False
Let h(i) = i**2 - 3*i - 17. Let c be h(9). Let d = 62 - c. Is d a multiple of 7?
False
Let o = -262 + 822. Is 35 a factor of o?
True
Let p = 40 + -25. Let a = p - -1. Is a a multiple of 4?
True
Let h(p) be the third derivative of -3*p**2 + 0 + 11/6*p**3 - 2/15*p**5 - 1/4*p**4 + 1/120*p**6 + 0*p. Is 20 a factor of h(9)?
False
Let j = 515 - -28. Is 16 a factor of j?
False
Does 72 divide -7 + (-11137)/(4 - 11)?
True
Let a(y) = 2*y**3 - 93*y**2 - 43*y + 85. Is a(47) a multiple of 58?
False
Let c = 132 - 88. Let j = c + 51. Is 47 a factor of j?
False
Suppose 2*g + 4*l - 64 = 0, 3*g - 5*l = 4*g - 23. Does 2 divide g?
True
Let z(o) = 2*o**3 - 4*o - 12. Let q be z(6). Suppose q + 234 = 7*s. Does 18 divide s?
True
Let u(c) = 6*c**2 - 33*c + 18. Is u(10) a multiple of 12?
True
Suppose 1188 = 20*k - 16*k. Is k a multiple of 20?
False
Suppose 75 = -13*h + 18*h. Does 24 divide 15*((-1 + 4)/h + 3)?
True
Let s =