 divide t(v)?
True
Let w(a) = -8*a + 1. Let d be w(-3). Let z = d - 19. Does 4 divide z?
False
Let u(r) = -3*r**2 - r - 2*r + 2*r - 2 + 10*r**2. Let g = -6 + 4. Is 7 a factor of u(g)?
True
Suppose 4*v - 3*u = -5*u - 128, -2*u + 160 = -5*v. Let b = v + 42. Is 3 a factor of b?
False
Let g(d) = d - 131. Let m(i) = 65. Let w(k) = 2*g(k) + 5*m(k). Is w(-18) a multiple of 9?
True
Suppose 224*l - 222*l = 0. Suppose l = 2*w + w - 183. Is 12 a factor of w?
False
Suppose 2*w = -2*w + 340. Let s = -22 + 24. Let f = w - s. Is 17 a factor of f?
False
Let x(f) = -f**2 - 5*f + 2. Let t be 20/(-50) - (-46)/(-10). Let u be x(t). Suppose 2*r + 5*n - 19 = 0, 5*r - 7*n + u*n - 65 = 0. Is 9 a factor of r?
False
Let z(b) = b**3 + 9*b**2 + 7*b - 7. Let y be z(-7). Let j be (16/4 - 3)*-6. Does 13 divide j + 3 + 0 + y?
True
Let z be (-1)/(-4) + 44/16. Suppose 4*h = -2*m - 0*h + 230, 2*m = -z*h + 232. Suppose -2*k + k + m = 4*r, 3*k = 9. Is r a multiple of 12?
False
Let f = 28 - 45. Let r = 4 - f. Is r a multiple of 12?
False
Suppose s + q - 797 = -83, 0 = -3*s + q + 2134. Is 15 a factor of s?
False
Suppose -5*v - 8 = -2*u - 307, -3*u - 5*v - 411 = 0. Let d = -77 - u. Suppose -2*x - 21 = -d. Is 12 a factor of x?
False
Let j(q) = 3*q**2 + 19*q - 11. Let o be j(6). Let k = -58 + o. Does 59 divide k?
False
Let y(v) = v**2 + 7*v + 10. Let a be y(-6). Suppose 10*h - a*h = 162. Does 12 divide h?
False
Let x = -1042 - -1458. Does 8 divide x?
True
Suppose 0 = 13*o - 354 - 153. Is 2 a factor of o?
False
Suppose -6*n = -1451 - 8239. Does 27 divide n?
False
Let c(w) = -w**3 + 9*w**2 + 79*w - 21. Does 11 divide c(12)?
True
Suppose 0 = -3*r + 3*b + 6141, 13*r - 9*r = 2*b + 8182. Is r a multiple of 14?
True
Suppose -k - 5*n + 2 = 0, -k = -3*k + n + 37. Suppose w + 2*v = -v + 6, -5*w - 4*v = -41. Let q = k - w. Is 8 a factor of q?
True
Suppose 4*r = 5*a - 1050 + 3297, r = 5*a + 543. Does 2 divide r?
True
Suppose 15 = 4*b + v, -2*b = -7*b - 5*v + 15. Suppose -56 - 424 = -b*k. Is k a multiple of 8?
True
Suppose 5*p = -3*l + 7*p + 1030, -2*l + 4*p = -700. Is l a multiple of 15?
False
Does 68 divide 43/(-2 - (-3549)/1768)?
True
Is 28 a factor of (-1300)/(-4) + 3 + -3 + 3?
False
Suppose b = -10*b + 66. Let r(g) = 4*g**3 + 6*g**2 - 7*g + 1. Let h(q) = -3*q**3 - 6*q**2 + 7*q. Let c(p) = 5*h(p) + 4*r(p). Does 9 divide c(b)?
False
Let o = -1745 + 2449. Does 11 divide o?
True
Let u(f) = -7*f + 8*f + 0*f - 2. Let p be u(4). Suppose -2*z - 43 = -p*g + 1, -4*z = 3*g - 52. Does 20 divide g?
True
Let p be 16/(-40) + (-546)/10. Let y be p*(12/(-3) - -3). Suppose 0*c - 135 = -3*w - c, w - 3*c = y. Is 24 a factor of w?
False
Let t be 2/2 - 7/(21/30). Does 4 divide -3 - (292/(-6) + 3/t)?
False
Suppose 4*w + 5*r - 24 = -1, -2*w + 2*r + 16 = 0. Suppose -5*z + 18 = l, z + 2*l - w = 2. Suppose -z*c = -4*p, p = 4*c - 9 - 4. Does 3 divide c?
False
Suppose 4*n - 20 = 0, n - 485 = -5*t + 20. Suppose -4*v - 3*k + 607 = 0, 0 = -v + 2*k + 38 + t. Is v a multiple of 37?
True
Suppose 3*j - 2*s - 124 = 0, 0*s = -s - 2. Let c = -38 + j. Does 2 divide c?
True
Let b = -215 + 412. Does 21 divide b?
False
Suppose -12*c + 565 = -815. Is 46 a factor of c?
False
Let b be (-572)/28 + (30/21 - 2). Let s = 165 + b. Is 16 a factor of s?
True
Suppose 5*m = -z + 994, -2*z + 9*m - 8*m = -2032. Is 13 a factor of z?
True
Let p(f) = -f**2 - 14*f - 24. Let y be p(-12). Suppose q - 87 = 2*h - y*h, -3*q + 256 = -5*h. Is 7 a factor of q?
True
Let c = 657 - 434. Is c a multiple of 7?
False
Suppose -1342 = -4*o + 2*m, -6 = -2*m - 0*m. Suppose 8*z - 3*u = 3*z + 331, -u - o = -5*z. Is 17 a factor of z?
True
Let g = 1829 - 974. Is g a multiple of 19?
True
Is ((-111)/(-21) - 5) + 33030/35 a multiple of 43?
False
Let w = 1129 + -672. Is w a multiple of 10?
False
Let n = 146 - 64. Is 7 a factor of (n - -5) + (0 - -5)?
False
Let g = 190 + -19. Let k = -96 + g. Suppose 0 = -5*y + 5*v + 45, 5*y - 2*v + 7*v - k = 0. Does 12 divide y?
True
Let b(m) = 4*m - 5. Let r be b(3). Suppose 129 = -r*f + 10*f. Is 13 a factor of f?
False
Let m(n) = n + 18. Let s be m(8). Suppose s*q = 33*q - 784. Is q a multiple of 14?
True
Let x = 53 - 55. Does 12 divide (-3)/x*(-2)/(-3)*132?
True
Suppose 204 + 336 = 5*a. Does 18 divide a?
True
Let a be (-360)/32*(-32)/(-6). Let u = -40 - a. Does 5 divide u?
True
Is 14 a factor of (-7 - (-420)/(-18))*-24?
True
Let d = -526 - -1135. Does 21 divide d?
True
Is (260/(-6))/((-264)/10692) a multiple of 27?
True
Suppose -v - 96 = 2*v. Let z = -22 - v. Is ((-75)/z)/(9/(-12)) a multiple of 10?
True
Suppose -10*b - 18 = -2538. Is b a multiple of 9?
True
Let b(t) be the first derivative of 2*t**3/3 + 17*t**2/2 + 14*t + 20. Is b(-10) a multiple of 14?
False
Let n be (5/2)/(1/2). Let r(s) = -s**3 + 6*s**2 - s - 5. Let c be r(n). Does 3 divide ((-27)/c + 1)*-10?
False
Let r be (-2 + -2)/(-1)*1. Suppose 4*k - 76 = -r*a, -3*k - 87 = -4*a + a. Is a/(-20)*110/(-3) a multiple of 25?
False
Let z(j) = j + 73. Let y be z(0). Suppose -71*d - 516 = -75*d. Let i = d - y. Is 16 a factor of i?
False
Let i = -41 - 0. Let a = i + 69. Does 29 divide -1 - -5*(a + -1)?
False
Let i = 34 - 34. Suppose -h - 53 - 63 = -c, i = 2*h - 10. Is 23 a factor of c?
False
Let s(k) be the second derivative of -k**4/12 + 5*k**3/3 - k**2 + 4*k. Let g be s(4). Is 21 a factor of (-1)/((g/168)/(-11))?
True
Let s = 152 - -159. Is s a multiple of 5?
False
Is ((-508)/8)/((-22)/1012) a multiple of 127?
True
Let t(o) = -12*o**3 - 4*o**2 + 8*o - 19. Let a(w) = -8*w**3 - 3*w**2 + 5*w - 13. Let r(s) = 7*a(s) - 5*t(s). Is 26 a factor of r(3)?
False
Suppose 25 = -9*o + 7. Is (o - (-40)/25)*-155 a multiple of 19?
False
Let s(v) = v + 4. Let w be s(5). Let q be (w/2)/((-9)/(-300)). Let f = q + -89. Is 12 a factor of f?
False
Let i(b) = b + 4. Let p be i(20). Let h = p - -56. Is h a multiple of 18?
False
Suppose 27*u = 14*u + 663. Is u a multiple of 10?
False
Let o = 406 + 14. Is o a multiple of 84?
True
Suppose -17 = 3*m + q, 3*q + 14 = -5*m - 13. Let j = 24 - m. Suppose -l = -j - 25. Is 11 a factor of l?
True
Let p be ((-4)/(-6))/(10/60). Suppose 3*f + p*k = 199 + 121, 5*k + 510 = 5*f. Is f a multiple of 14?
False
Let w(f) = -5*f + 13. Let h be w(8). Let v(c) = 2*c**2 + 45*c - 18. Does 45 divide v(h)?
True
Let t = -3 - -4. Let w be 2/((-3)/5 + t). Suppose 3*g - 8*g = -4*u + 117, 145 = w*u - 5*g. Is u a multiple of 6?
False
Let n(u) = -25*u - 215. Does 5 divide n(-11)?
True
Suppose -3*l + 23 = -0*l - k, 5*l = -k + 25. Suppose 0 = -l*m + 8*m - 196. Is 27 a factor of m?
False
Let z(i) = 1312*i**2 + i**3 + i - 2*i**3 + 20 - 1313*i**2. Let a = -1 + 1. Is z(a) a multiple of 5?
True
Let c(n) = -n**3 + 12*n**2 + n - 17. Let f be c(12). Is 379 - (-10 - f - -7) a multiple of 38?
False
Suppose -3*p - 3*t = 6, -4*p - 5*t - 9 - 3 = 0. Suppose 2*f + p = 52. Is 5 a factor of f?
True
Let n = 1882 + -762. Is n a multiple of 20?
True
Suppose 1330 = 6*l + 8*l. Is 5 a factor of l?
True
Suppose 36 + 19 = -5*v. Let n(c) = -2*c + 31. Is n(v) a multiple of 16?
False
Let g(b) = b**2 + 3*b + 6. Let t be g(-2). Suppose z - 83 = -3*y + 130, 0 = -4*y + t*z + 300. Is 18 a factor of y?
True
Let y(u) = -u**2 - 33*u + 27. Is y(-30) a multiple of 14?
False
Let v = -734 + 1558. Does 26 divide v?
False
Let y = 7355 - 3238. Is 47 a factor of y?
False
Let p(f) = 3*f - 10. Let r be p(7). Let c = r - -2. Is (2 - c)*(-1 - 4) a multiple of 25?
False
Suppose -6*l = -3*t - 4*l + 278, 4*l - 116 = -t. Does 8 divide t?
True
Suppose 0 = -3*y - 5*t - 25, 4*t + 4 = 2*t. Let q(f) be the second derivative of f**4/12 - f**3/3 + f**2/2 + 62*f. Does 12 divide q(y)?
True
Is (-8)/(-14) + -1 - (-2673)/63 a multiple of 2?
True
Let j(u) = 2*u**2 + 13*u - 37. Is j(5) a multiple of 26?
True
Let w(k) = 2*k**2. Let m be w(1). Let d be (2 - 1) + m - -2. Suppose -5*o + 4*o = -d*l - 3, -4*o = 5*l - 87. Is 6 a factor of o?
True
Let c(j) = -j**3 + 23*j**2 - 5*j + 20. Is 16 a factor of c(20)?
True
Suppose -6*n = -n + 3*v - 7, -3*v = 3*n - 9. Is 3 a factor of (-94)/(-8) + n/(-4)?
True
Suppose p + 4*p = 45. Let i = -43 + 49. Let y = i + p. Is 13 a factor of y?
False
Let k(d) = 8*d + 6. Let u be k(-21). Let z = 229 + u. Is z a multiple of 13?
False
Suppose -3*j = 4*h - 1248, 3*j - 5*j - 3*h + 832 = 0. Does 52 divide j?
True
Let a be (2 - (-1 - -6)) + 33. 