1). Is q(v) a multiple of 2?
True
Does 2 divide 8064/76 - (-18)/(-171)?
True
Suppose 16*d - 5*x - 2803 = 13*d, 1875 = 2*d + 3*x. Does 71 divide d?
False
Let t(z) = 7*z**3 - z**2 + 3*z - 3. Let r be t(1). Let u = 30 - r. Is u a multiple of 11?
False
Suppose 0 = -5*l - 10, -10*h = -11*h + 3*l + 208. Is 44 a factor of h?
False
Let w(c) be the first derivative of c**4/4 + 7*c**3/3 - 5*c**2/2 + 3*c + 3. Let x be (-2 + -2)*70/40. Is w(x) a multiple of 12?
False
Suppose -4*c - 4*d - 108 = 0, 49 = -2*c - 0*c + 3*d. Let z be c/117 - 482/18. Let l = z + 46. Is l a multiple of 19?
True
Suppose 1618 + 6032 = 5*z. Is z a multiple of 85?
True
Suppose 0*x - 6*x + 48 = 0. Let f(t) = 5 + 0*t**3 + t**3 + 1 + x*t**2. Is f(-6) a multiple of 13?
True
Let c be -2*(-1 - (-9)/6). Let a(v) = -14*v. Let s be a(c). Let u = s - 2. Is u a multiple of 5?
False
Let l = -46 + 89. Suppose -l*i = -45*i + 90. Is i a multiple of 9?
True
Suppose 4*v + 106 = 5*s, 0*v + 3*v + 12 = 0. Let d = s - 2. Let j = d - -34. Is 16 a factor of j?
False
Let u = -431 + 647. Does 8 divide u?
True
Let y(i) = -i**3 + 13*i**2 - 7*i - 3. Let l be y(11). Does 15 divide 36/l + (-547)/(-9)?
False
Suppose 10 = -0*v - 3*v - 5*l, -5 = -5*v - 4*l. Suppose -4*m + v*m - 85 = 0. Is m a multiple of 17?
True
Suppose 2*q = q - 90. Let y = 185 + q. Does 32 divide y?
False
Let x(f) be the second derivative of -f**3/6 + 3*f**2/2 - 5*f. Let z be x(0). Suppose 0*k - k + z = 0. Does 3 divide k?
True
Suppose 2*z = -s + 1295, -2*s + 5*z + 47 + 2561 = 0. Is 75 a factor of s?
False
Let r be 2922/(-14) + (-5 - 231/(-49)). Let j = -84 - r. Does 25 divide j?
True
Let q be -2 - -2*(-2)/(-2). Let n = -22 - -26. Suppose -3*p = -n + 19, q = -y + p + 20. Is y a multiple of 5?
True
Let u(n) = 9*n**2 + 4*n + 1. Let m be u(-1). Is 19 a factor of m/(-16) + 1580/32?
False
Let x(y) = -y**3 + 4*y**2 - 6*y - 2. Let t be x(5). Suppose 12 = 4*w, q - 5*w - 102 = -0*q. Let v = t + q. Does 20 divide v?
True
Suppose 4*o = 1975 + 1805. Is o a multiple of 15?
True
Suppose -7*q - 95 = -39. Does 7 divide 1/((-1)/(-84)) - (-8 - q)?
True
Let c(t) = 2*t**3 + 3*t**2 - 3*t - 2. Let a be -1 - -2 - 0 - -1. Let d be c(a). Suppose -2*p - 2*p = -d. Is 5 a factor of p?
True
Suppose 3*l - 4*j = 2174, -10*l + 3*j + 3616 = -5*l. Is 5 a factor of l?
False
Let x(a) = a**2 - 6*a + 9. Let s be x(6). Let r = 137 + s. Does 12 divide r?
False
Let h = 1221 + -289. Does 8 divide h?
False
Let h = -18 - 8. Let x = 36 + h. Is x a multiple of 8?
False
Let h(s) = -9*s - 25 - 7 + s + s. Does 40 divide h(-16)?
True
Let u be (-3 - (-40)/3)*39. Is 2 a factor of u/62 - (-2)/(-4)?
True
Let s be 21/(-28) - (-2 + 3/(-4)). Suppose -76 = -s*p + 106. Does 11 divide p?
False
Let d(a) = a**3 - 7*a**2 - 7*a - 3. Let q be d(8). Suppose -3*t + 8*t = q*w - 40, 13 = w - 2*t. Suppose 4*k = 5*p - 66, w*p - 5*p = 3*k - 8. Is 8 a factor of p?
False
Suppose 12 = 3*v, 0 = 5*q - 5*v - 47 - 2488. Is 60 a factor of q?
False
Let f(v) = 0*v**2 - 10*v + 4 - 9*v**2 + 6 - v**3. Is f(-8) a multiple of 26?
True
Suppose -3*o + 7*o - 5*c = 4578, 1151 = o + 2*c. Is o a multiple of 37?
True
Suppose -w + f = -246, w + 2*f - 223 - 32 = 0. Suppose -7*u + 2*u = -5*i + 310, -w = 4*u - 5*i. Does 13 divide -3 - -4 - 4 - u?
False
Suppose -s + 215 = 4*d, 0*d + 3*d - 12 = 0. Is 37 a factor of s?
False
Suppose -9*h + 14*h - 205 = 0. Let o = 73 - h. Is 18 a factor of o?
False
Suppose -2 = -w + 1. Let i be 4/6 - (-13)/w. Let h = i + 1. Is 3 a factor of h?
True
Let f = 18 + -15. Suppose -2*s + 3*q + 276 = 0, 49 = s + f*q - 89. Does 25 divide s?
False
Suppose 3*b - 33 = -0. Suppose 2*m + 84 = -3*t, 3*t + 73 = 5*m - b. Is (-301)/t - (-1)/4 even?
False
Suppose -4932 = -13*f + 4142. Does 10 divide f?
False
Let i(w) be the third derivative of -w**5/30 - w**4/12 + w**3/6 + 3*w**2. Let n be i(1). Is 16 a factor of (16/10)/(n/(-60))?
True
Suppose 0 = -m - 2*m + 5*k + 6, -2*k = 0. Let i be 6/(-24) + (-5)/(-19 - 1). Suppose i = q + j - 10, 0*j = -m*q + 3*j + 25. Does 11 divide q?
True
Let r(w) = w**2 - 3*w - 16. Let j be r(7). Suppose -j*a + 13*a = 97. Is 12 a factor of a?
False
Let k(f) = -6*f + 10. Suppose -p = -15 + 12. Let w be -9 - 0 - (p - 5). Does 14 divide k(w)?
False
Suppose 7*z + 190 + 6 = 0. Let k = 145 + z. Is 11 a factor of k?
False
Let v(w) = -w**3 - 18*w**2 - 16*w - 56. Let g be v(-19). Suppose -1185 = -4*j - 10*m + 5*m, 2*j - 3*m - g = 0. Is j a multiple of 23?
False
Let s(q) = -q**3 + 7*q**2 - 6*q - 2. Let d(i) = i**3 + 12*i**2 - i - 7. Let w be (-51)/4 - (-6)/8. Let m be d(w). Is 14 a factor of s(m)?
False
Let j be 5 + ((-3)/1)/3 + 646. Suppose -2*k = -2*v + v - j, v = 0. Does 28 divide k?
False
Suppose 5*q - 43 + 8 = 0. Suppose 5*y + 2*p - 356 = -q, -8 = -4*p. Is 9 a factor of y?
False
Suppose -1423 = -2*t - p, -4*p - 2480 = -3*t - 318. Is t a multiple of 17?
True
Let t = 163 - 129. Let a = t + -21. Does 5 divide a?
False
Suppose -307 = -y + 443. Suppose v = -2*v + y. Is 20 a factor of ((-6)/5)/((-5)/v)?
True
Let t(i) = -5*i**3 - i**2 - 12*i - 10. Is 25 a factor of t(-4)?
False
Suppose 0 = 5*v + 5*n - 3*n - 43, 2*v + n = 18. Is 13 a factor of 1 + (v*6 - 4)?
True
Let f(z) = -20*z + 16*z - 63 - 2. Is f(-31) a multiple of 5?
False
Suppose 3*l + 4*i + 32 = 0, 3*l + 24 = 3*i + 6. Let m(w) be the second derivative of -w**4/12 - 7*w**3/6 + 5*w**2 + 8*w - 1. Is 2 a factor of m(l)?
True
Let s be 1*9 + 0/(-5). Let d(t) = -4 + 3 - s*t - 2. Is 11 a factor of d(-4)?
True
Let g be 43/9 - (-10)/45. Suppose g*o + 7 - 137 = 0. Suppose -140 = -2*b - o. Is b a multiple of 19?
True
Suppose 6*c - 3*c = 222. Suppose 3*l = -5*d + c, -2*d - 4*l + 3 + 21 = 0. Does 8 divide d?
True
Let m = 1167 - 805. Is m a multiple of 23?
False
Let o(g) = 3*g**3 + 4*g**2 - 2*g - 2. Let h(n) = -4*n**3 - 5*n**2 + 2*n + 3. Let u(w) = 2*h(w) + 3*o(w). Let q = 3 + -1. Is u(q) a multiple of 3?
True
Let c be (-4)/(-5)*(-105)/(-6). Suppose -r + 3 = 3*l + c, -2 = 2*l - 2*r. Is l/9 - (-112)/12 a multiple of 2?
False
Let o be (8/2 - -291) + -1. Suppose p - 4*p + o = 0. Does 17 divide p?
False
Let c = -134 + 139. Suppose 125 = 6*q - c*q. Does 6 divide q?
False
Is 19 a factor of ((-6)/(-4))/(30/16900)?
False
Let p(q) = 13*q**2 + 3*q - 2. Let s be p(3). Let i = -74 + s. Suppose 0 = 4*t + x - i, 5*t = -x - 11 + 73. Is 9 a factor of t?
False
Suppose 5*w + 11 = 1, -5*w + 29 = -3*a. Suppose 0 = 3*g - c - 5 - 53, -4*g + 69 = -3*c. Let l = g + a. Does 4 divide l?
True
Let w(c) = c**2 - 6*c + 14. Let a be w(7). Is 26 a factor of -24*((-12)/(-28) - 100/a)?
True
Let u be (-12)/(-16) + (-10)/(-8). Suppose 4*h - 4*r = -20, 0*h + h - u*r = -4. Let a(z) = -z**2 - 6*z + 8. Is a(h) a multiple of 8?
True
Suppose 5*m - 6 = 2*m. Suppose -148 = -m*k + k. Suppose 0 = 4*f - w - k, -3*w - 133 - 23 = -4*f. Does 36 divide f?
True
Suppose -n + 4*o - 7*o = -44, -20 = 5*o. Does 7 divide n?
True
Is (0 - -2) + -1 + 142 + 1 a multiple of 48?
True
Suppose m - 1 = 4*w, -m + 3*w = -0*w. Let k = 69 + m. Does 22 divide k?
True
Let z(w) = w**3 + 29*w**2 + 82*w - 21. Is z(-25) a multiple of 13?
True
Let j be (-1 - -19)*(464/(-12))/4. Let t = -48 - j. Is 9 a factor of t?
True
Suppose -c + 4684 = 4*o, -4*c + c - 2328 = -2*o. Is o a multiple of 65?
True
Let d(b) = -2*b + 18. Let w be d(9). Let h be 1 + w + 64 + -3. Suppose 5*a = -u + 4*u + 129, 2*a + 4*u = h. Is 9 a factor of a?
True
Is 17 a factor of (0 - -1) + 134 - (2 + -3)?
True
Let j(z) = -z + 12. Let u be j(9). Suppose 4*q = 4*l + 48, 8*l = 11*l + q + 16. Is (-8)/4 - l*u a multiple of 9?
False
Suppose -2532 = -8*c + 9708. Is c a multiple of 51?
True
Suppose 0 = 3*v - 11 - 7. Let j(i) = -15 - 24 - 8*i + 38 + 4*i**2. Is 30 a factor of j(v)?
False
Let s = -11 - -17. Let q(u) = u + 14. Does 10 divide q(s)?
True
Let s be (-33 + 3 + -4)/(-2). Suppose s*t + 132 = 19*t. Is 11 a factor of t?
True
Let r(x) = 2*x - 52. Let m be r(0). Let y = 26 + m. Is 34 a factor of (1 - -1)*(-1001)/y?
False
Suppose g + 4*g = -z + 55, 0 = -3*z + 15. Let i be (4 - 3)/((-2)/(-32)). Let y = i - g. Is y a multiple of 6?
True
Let u be (-4 - -2)*(2 + 22/(-4)). Let m(k) = -k**2 + 8*k + 24. Is m(u) a multiple of 11?
False
Let f = -497 - -1181. Is 36 a factor of f?
True
Let o(d) = d + 7. Suppose 0 = -y + 3*y - 12. Let g be o(y). Suppose -5*w + 61 = -i, w + 4 = i + g. Is 13 a factor of