3*v**3/2 - 29*v**2. Is 5 a factor of z(-26)?
False
Suppose k + 4*d + 17 = 0, 3*d = -0*d - 15. Let t be (3/6)/(k/(-6)). Does 4 divide 1/((-15)/(-12) + t)?
True
Suppose 6*h - 4*h - 864 = 0. Suppose 3*p - 2*y - y = 243, -5*p = 4*y - h. Is 12 a factor of p?
True
Let d be 8 + (3/2)/((-2)/4). Suppose -2*m - 2*i = -94, 10 = -d*i - 15. Is 13 a factor of m?
True
Suppose -7*m = -4*m. Suppose m*a = -3*a + 66. Is 11 a factor of a?
True
Let v(d) = -d - 1. Let m be v(-5). Let b be -2*4/16*-6. Does 14 divide (b/m)/((-5)/(-280))?
True
Let q = -80 + 113. Let x = 10 + q. Is x a multiple of 3?
False
Suppose 6393 = 32*k - 12743. Does 13 divide k?
True
Let v(k) = -k + 13. Suppose -b + 28 = b. Let h be v(b). Does 24 divide 1*h + -2 + 51?
True
Let j(d) = -d**2 + 8*d + 1. Suppose 5*q - 37 = -7. Does 3 divide j(q)?
False
Suppose 0 = -5*j + j + 404. Suppose -4*u + 183 = -u. Let s = j - u. Does 20 divide s?
True
Let s(d) = d + 8. Let a be s(-5). Suppose m - 48 = a. Is 9 a factor of m?
False
Let p(i) = -22*i + 7. Is 3 a factor of p(-1)?
False
Let f = 32 + 3. Let a = -32 + f. Does 2 divide a?
False
Let p = 139 + 203. Does 7 divide p?
False
Suppose -3*l - 2*l - 3*c - 18 = 0, 0 = -3*c + 12. Let z(s) be the second derivative of s**5/20 + 2*s**4/3 + s**3/2 + 5*s**2/2 + s. Does 17 divide z(l)?
False
Suppose -1 + 10 = 3*i + 3*d, -2*d = -i. Suppose -3*q + 4*q + 5 = y, -i = q. Is y a multiple of 3?
True
Suppose 24*u - 734 = 23*u. Does 65 divide u?
False
Suppose 1666 = 57*b - 5003. Is 13 a factor of b?
True
Let c(s) = 3*s. Let z be c(2). Is (1 + -101)*z/(-24) a multiple of 25?
True
Let b be (-40)/(-50) - (-1)/5. Does 39 divide -1 + b*139 + -2 + 0?
False
Suppose 43*r - 53*r = -6080. Does 9 divide r?
False
Suppose 0 = 2*l - 4*h - 69 - 31, 277 = 5*l - h. Let f = l - -7. Does 9 divide f?
True
Let m(g) = 15*g - 8. Let w be m(8). Suppose w = -2*t - 2*t. Let c = t - -53. Is c a multiple of 20?
False
Is 17600/77 - 8/14 a multiple of 19?
True
Let q = -49 + 52. Suppose -3*m - 64 = -q*l + 443, -l - 4*m + 149 = 0. Is l a multiple of 33?
True
Let g be (-10 + -56)*(1 + (-5)/2). Let j = g + 5. Does 26 divide j?
True
Let a be 0 + -1 - 42/(-6). Suppose -z = 3*j - a*z - 153, -j + 3*z = -47. Is j a multiple of 3?
False
Suppose 3*h + 3*m - 2999 = -h, -2*m = -3*h + 2245. Is 5 a factor of h?
False
Let s(u) be the first derivative of u**3/3 - 8*u**2 - u + 1. Let v be s(13). Let t = v + 111. Is 12 a factor of t?
False
Let x(s) = 24*s + 49. Is 13 a factor of x(5)?
True
Let a be 13/52 + 6/8. Let n be a/6 + 3/(-18). Let i(k) = -k + 14. Is i(n) a multiple of 10?
False
Suppose -j = -14 - 62. Suppose 5*d = 3*p - j, 3*d = -5*p + 4*d + 156. Is p a multiple of 16?
True
Let f be 2*3/(-24)*40/(-5). Suppose 0 = -9*u + 4*u + 140. Suppose -u = -f*n - 0*n. Is 6 a factor of n?
False
Suppose -3*v - 237 = -4*c + 3*c, -3*v = 5*c - 1185. Is 33 a factor of c?
False
Let g be (8 + -10)*(-26)/4. Suppose g = 5*o + 3. Let f(c) = 4*c**3 + c**2 + 3*c - 2. Is f(o) a multiple of 20?
True
Let w(j) = -12*j**3 + 2*j**2 + 20*j + 5. Does 41 divide w(-3)?
True
Let f = -381 + 966. Suppose 2*x = -z + 608, 327 + f = 3*x + 4*z. Is x a multiple of 38?
True
Let n = -100 + 167. Let z = 133 - n. Is 33 a factor of z?
True
Let t be 67 - (5 - (5 + -3)). Let b = 6 + t. Does 7 divide b?
True
Suppose x - u - 4 = 9, 0 = 2*x + u - 23. Let k(w) = -13*w + 0*w**3 - w**3 + 34*w + 15*w**2 - x. Is k(16) a multiple of 22?
False
Let s = 561 + 782. Is s a multiple of 17?
True
Suppose a - 7 = 2*o, -3*o = a + o - 1. Let n = 3 + -1. Suppose 53 + 13 = 4*z - 2*g, -n*g = a*z - 60. Is z a multiple of 11?
False
Suppose -5*m + 5 = -3*f, -3*m - 5*f = -m - 33. Suppose -m*a = a + 90. Is (6 - a)*7/4 a multiple of 14?
True
Suppose -3*m + 119 = -4*o - 125, 5*m - 392 = 3*o. Is m even?
True
Let b be (-8 - 0)*(3 - 4). Let i be -6*4/b - -3. Suppose i = -5*u + 173 + 87. Does 22 divide u?
False
Is 1/(10/1826) + (-2)/(-5) a multiple of 11?
False
Is 24/(-10)*(-9345)/14 a multiple of 38?
False
Does 6 divide (-47415)/(-55) + 10/(-110) + -5?
False
Let g be (74/4)/((-5)/(-10)). Let z = -60 + g. Let m = -10 - z. Is m a multiple of 11?
False
Suppose -3579 = 6*b - 10341. Does 27 divide b?
False
Suppose -5*s + 2 + 23 = 0, -o = -5*s - 74. Is o a multiple of 11?
True
Suppose 0 = 6*o + 108 + 36. Is (-80)/o*(-63)/(-5) a multiple of 6?
True
Suppose -6*o + 2559 = -561. Suppose 0 = q - 6*q + o. Does 8 divide q?
True
Suppose -v + x = 4*v - 38, -2*x - 13 = -v. Suppose -1218 = -v*b + b. Is 36 a factor of b?
False
Suppose -5*x = -2*x. Let w = 62 + x. Is w a multiple of 19?
False
Let o(q) be the second derivative of 5*q + 1/2*q**3 - 1/2*q**2 + 17/12*q**4 + 0. Is o(2) a multiple of 20?
False
Let r = 2717 + -1481. Does 9 divide r?
False
Suppose -118*y = -113*y - 3825. Does 15 divide y?
True
Suppose 0 = -5*d - 9 + 49. Suppose 1 = p, d*z - 5*p = 3*z + 40. Does 34 divide (-2)/z - 5999/(-63)?
False
Let t = 27 - 37. Let x = -38 - t. Let r = 35 + x. Is r a multiple of 2?
False
Suppose -5*t = 20, 2*t + 4 = d - 6. Is 7/((-2)/(d*-23)) a multiple of 30?
False
Suppose 5*n - 1381 = 60*y - 64*y, 4*y - 289 = -n. Does 5 divide n?
False
Let k be 1 - (-399)/(1 - -2). Suppose -a + j = -2*j - k, a = -2*j + 114. Does 23 divide a?
False
Let a be ((-2)/6)/((-2)/(-54)). Let s = 15 + a. Suppose 40 = c + s. Is 17 a factor of c?
True
Let i be 154/56 + 2/8. Suppose 0 = i*z + z - 432. Is z a multiple of 12?
True
Let y(d) = 3*d - 28. Let b be y(22). Suppose 0*m - 4 = -4*m. Is 8 a factor of m/(1/b*2)?
False
Let j(v) = -3*v - 3. Let u be j(-6). Suppose -2*c = -s + u, 0*s - 4*s + 45 = -5*c. Let m = 56 + c. Is m a multiple of 9?
False
Let r(g) = 6*g**2 + 2*g. Let o be r(-2). Let t(k) = -k**3 - 8*k**2 - 5*k + 16. Let j be t(-7). Suppose 6*d - 3*d = j*u - 46, 0 = -5*d - o. Does 12 divide u?
False
Suppose 0 = 7*z - 2*z - 210. Let v = z - 38. Is 5 a factor of 62/v - 1/(-2)?
False
Let u(x) = 4*x - 1. Let a be u(2). Let b = 11 + a. Is b a multiple of 2?
True
Suppose -4*i + 405 = 3*y - 1117, 2*y = i + 1033. Suppose -5*a + 233 = 2*h, -3*h - 5*a = -y + 167. Is 19 a factor of h?
True
Let b be (-1)/3 + (-434)/21. Let m = 35 + b. Is m a multiple of 7?
True
Suppose 37*n = 57*n - 31920. Is n a multiple of 19?
True
Let z(t) = -7*t + 39. Let y be z(5). Suppose 5*q = -20, -552 = -5*s + y*q - 6*q. Is s a multiple of 16?
True
Suppose 0 = -o + 1431 + 615. Is o a multiple of 22?
True
Suppose 0*i - 3*i = -3. Is i*(3/3 + 154) + 0 a multiple of 44?
False
Is 25/4*(-6 - -18) a multiple of 25?
True
Let m = -3109 - -4405. Does 48 divide m?
True
Let v be ((-24)/(-8)*-1)/(2/34). Let g = v - -101. Is 5 a factor of g?
True
Suppose -6*k + 0*k = 42. Let d(p) = p**2 - 15*p - 14. Is d(k) a multiple of 24?
False
Let i(q) = 5*q + 8. Let w be i(10). Let h(g) = -g**3 - 3*g**2 - 3*g - 4. Let r be h(-3). Suppose w + 169 = r*l + f, -4*l + 182 = f. Is l a multiple of 22?
False
Suppose 6*w - 3*w - r = 2637, 5*w - 2*r - 4394 = 0. Is 44 a factor of w?
True
Does 2 divide ((-70)/175)/(2/(-70)*2)?
False
Let v = 30 - 31. Does 4 divide (-2 - -7) + v + 8?
True
Suppose 4*m + 4 = -4, -1 = -l - m. Suppose -3*i = l*h - 213, 0 = -2*i - h + 59 + 84. Is 12 a factor of i?
True
Let n be 4/(45/(-24) - -2). Suppose -2 = -3*p - n. Does 26 divide (-1044)/p + 28/(-70)?
True
Suppose 5*j = 10*j - 10. Suppose j*x - 11 = 73. Is x a multiple of 14?
True
Let n(q) = 7*q + 94. Is n(5) a multiple of 3?
True
Let z(f) = -25*f - 5. Let t = 15 - 17. Is 11 a factor of z(t)?
False
Let d be 0 + 1 - 0 - -3. Suppose -24 - 232 = -d*t. Does 32 divide t?
True
Let p(u) = -u**2 + 1. Let b(j) = 7*j**2 + 12*j - 2. Let z(g) = b(g) + 3*p(g). Is z(-8) a multiple of 50?
False
Suppose 5*t - 4*j = -116 + 456, 0 = 2*t + 4*j - 164. Does 24 divide t?
True
Suppose -3*j + 2 = -7. Suppose -4*p + j*m = m - 212, 3*p - 4*m - 159 = 0. Is 16 a factor of p?
False
Suppose -6*v = -759 + 3321. Let z = v + 725. Is z a multiple of 20?
False
Suppose d = -d - 4*c + 10, 5*d + 5*c - 15 = 0. Let b be ((-33)/(-6))/(d/8). Suppose 0*g - 2*v - b = -2*g, g - 28 = -2*v. Is 12 a factor of g?
True
Let i(n) = 8*n**2 - 5*n - 6. Let m be i(-3). Suppose 0 = -82*j + m*j + 160. Is 43 a factor of j?
False
Let a = -113 - -68. Let f = a + 99. Is 6 a factor of f?
True
Let l(p) = -8 + 11 - p + p**2 + 15. Suppose -2 = -y - 0*c + c, -10 = -2*y + 5*c. Does 9 divide l(y)?
Tru