2*v - 20. Is v a multiple of 6?
False
Suppose 281 = r + d + 44, 5*d - 10 = 0. Does 29 divide r?
False
Suppose 4*o + 5 + 1 = w, 3*o - 5 = -4*w. Suppose -w*r = r + 9. Does 2 divide -2 + (7*-3)/r?
False
Suppose 26 = 3*v - w, 3*v - 4*w = -2*v + 48. Does 11 divide (-1*v)/((-2)/8)?
False
Suppose 3*q + 40 = 4*w, -4*q - q = -4*w + 80. Let y = -14 - q. Is 6 a factor of y?
True
Suppose -k - 10 = 4*k. Let x(y) = -y. Let s be x(k). Is s/(-3) + (-40)/(-6) a multiple of 3?
True
Is (28/8)/(3/6) a multiple of 4?
False
Let i(d) be the third derivative of d**6/120 + d**5/15 - 5*d**4/24 - d**2. Let p be i(-5). Let l(r) = r**3 + r**2 + 27. Is l(p) a multiple of 15?
False
Let n be 798/(-90) + 6/(-45). Let k(t) = t + 24. Is 4 a factor of k(n)?
False
Suppose -3*p = 3*t + 3, -2*t + 7*t - 3 = 3*p. Let u(n) = n**2 + 13. Is u(t) a multiple of 10?
False
Let h be 7/(-1)*(-12)/14. Let y be (-4)/h + 88/6. Suppose 0 + y = 2*a. Is a a multiple of 4?
False
Let k be 8/(-2) - ((2 - 1) + -17). Let o(w) = -w + 21. Let h be o(0). Let d = h + k. Is d a multiple of 12?
False
Suppose 5*s + 10 = 0, 0 = -i - 6*s + 2*s - 4. Suppose q - 2*c = -0*q - 9, i*q + 21 = 3*c. Is 7 - 1/(q/6) a multiple of 9?
True
Let m(y) = -y**3 + 6*y**2 - 5*y + 5. Suppose -3*r - 2*r + 95 = 0. Suppose 5*z + p = 3*p + 18, -5*z + p + r = 0. Is m(z) a multiple of 17?
True
Suppose 4*q = -2*u + 66, 5*u = 2*q - q + 121. Is 5 a factor of u?
True
Suppose 0 = -5*c + 2*i + 171, -3*i + 63 = 2*c - 2*i. Let d = -18 + c. Let h = d - -1. Is 8 a factor of h?
True
Let d = 153 + -105. Suppose 0 = -0*j + 2*j. Suppose 2*c - 6*c + d = j. Is c a multiple of 12?
True
Let k(s) = s**3 - 10*s**2 + 10*s - 7. Let p be k(9). Suppose p*t + 110 = 5*z - 2*z, 5*t + 66 = 2*z. Suppose -z = r - 3*r. Is 9 a factor of r?
False
Is 16 a factor of (-6)/(-27) + 572/18?
True
Let x(z) = 4*z + 8. Let t(k) = 7*k + 15. Let y(j) = -3*t(j) + 5*x(j). Let s be y(-5). Let h(w) = -w + 21. Is 9 a factor of h(s)?
False
Let w(a) = a**3 - 4*a**2 - 5*a + 3. Let x be w(5). Let z = 4 - -3. Suppose 3*j - s = 41, 2*j - x*s = z + 25. Is j a multiple of 13?
True
Let p(c) = -c**3 - 4*c**2 - 12*c - 9. Does 27 divide p(-6)?
True
Let l = 19 - -53. Is l a multiple of 13?
False
Let r = 7 + -5. Suppose -2 = -2*m, m = 4*n + r*m - 137. Suppose 3*t - n - 38 = 0. Is 12 a factor of t?
True
Let y = -5 - 11. Let x be (-45)/2*y/6. Suppose 3*i = 57 + x. Does 13 divide i?
True
Let h = 8 + -5. Let b(s) = h + 3*s + s - 5*s. Is 5 a factor of b(-7)?
True
Let q(u) = u**2 - 7. Let h(z) = -z. Let d(r) = -4*h(r) + q(r). Let i be d(-5). Is 9 a factor of -1 + (i - -24)*1?
False
Let w(u) = -u**3 + 8*u**2 + u + 3. Does 21 divide w(6)?
False
Let a be (1 + 3 + -4)*1. Let g = -4 - -7. Let k = a + g. Does 3 divide k?
True
Let q(u) = -2*u + 54. Is q(0) a multiple of 18?
True
Suppose 0 = -5*v - s + 40, -v + 38 = v - 4*s. Is 7 a factor of v?
False
Suppose 2 + 0 = l. Let n = l - 23. Is 9 a factor of (-2)/7 + (-384)/n?
True
Let u(t) = -t**3 - 6*t**2 - 6*t. Suppose -15 = 5*x + 10. Is u(x) a multiple of 2?
False
Let c be ((-92)/(-8) + 1)*-2. Let d = 24 - 36. Let o = d - c. Is 6 a factor of o?
False
Suppose 0 = -4*r + 2*c + 3*c + 205, -3*r = 5*c - 110. Let b = -15 + r. Is b a multiple of 10?
True
Let u(l) = 2*l. Let d be u(1). Suppose -d*h + 4 = -0*h. Suppose k - h*k + 5 = 0. Is k a multiple of 2?
False
Suppose -9*z + 3*z = -1362. Is z a multiple of 30?
False
Let h = -14 - -21. Let l(g) = -g**3 - 4*g**2 - 3*g - 1. Let n be l(-4). Suppose n = 2*k - h. Is 9 a factor of k?
True
Let a = 4 - 6. Let v be ((1 - -1) + -4)*a. Let w = v - 2. Is w a multiple of 2?
True
Let t = -70 - -154. Does 14 divide t?
True
Let a(p) = 13*p**3 + 3*p**2 + p - 2. Is a(1) even?
False
Suppose d + 20 = 6*d. Is 2 a factor of d?
True
Let n(u) = u**3 - 18*u**2 - 17*u + 4. Is n(19) a multiple of 6?
True
Suppose 22 - 146 = -4*k. Does 5 divide k?
False
Let l(z) = 4*z - 6. Let m be l(4). Let y = m - 4. Does 2 divide y?
True
Let u = 48 - -6. Is u a multiple of 7?
False
Let j(t) = t**3 - 10*t**2 + t + 14. Let d = 22 + -12. Is j(d) a multiple of 8?
True
Suppose 3*c + 7 = 3*r + 22, 3*c - 4*r = 14. Suppose -c*t = d - 2*t - 43, -3*t + 96 = 2*d. Is 17 a factor of d?
True
Let t = -17 + 44. Is t a multiple of 5?
False
Suppose -2*j = 4*x - 112, 4*j - x - 13 = 238. Is 31 a factor of j?
True
Let i(k) = -k**2 - k - 6. Let j be i(0). Let g be 0/(j/(-9)*3). Suppose 4*y - 52 = -g*y. Is y a multiple of 13?
True
Suppose 0*b = 3*b - 6. Suppose 3*m + b*i - 174 = 0, -3*i + 112 = 4*m - 119. Suppose -4*y = 4*d - m, 2*y + 35 = 5*d - y. Is 6 a factor of d?
False
Suppose 3*p + 2*p = 30. Suppose 74 = 4*y - p. Is 10 a factor of y?
True
Suppose 20 = -2*b + 6*b. Is 3 a factor of b?
False
Suppose 2*r - 11 = -3*j + 3*r, -j + 5*r + 27 = 0. Let k(g) = -5*g + 2*g**j + 9 + g - 7*g - 2*g. Is k(8) a multiple of 12?
False
Let b = 129 - 91. Is 4 a factor of b?
False
Let q be (-6)/6 - (-6 - -1). Suppose -5*n = -q - 6, 4 = -t + 4*n. Is t a multiple of 3?
False
Suppose 5*q - 15 = -4*w - 4, 4 = w. Let t be (-2 - q)/(3/(-12)). Suppose -7 = y - 0*y + t*p, 4*y - 52 = 4*p. Does 4 divide y?
False
Let h be 35/10 - 1/2. Suppose -2*w = -h*w + 30. Is w a multiple of 15?
True
Suppose -6 - 6 = 4*j, 4*o = -2*j + 6. Let t be 0/((-2)/(2 - o)). Is 25 - 3 - (-2 - t) a multiple of 12?
True
Suppose -4*l + 6 = -l. Is (1 - l) + -2 + 10 even?
False
Is ((-354)/(-18))/(1/3) a multiple of 4?
False
Suppose -27 = -0*k - k. Is k/((-1)/(2/(-3))) a multiple of 7?
False
Suppose -11*k = -3*k - 256. Is k a multiple of 12?
False
Suppose 0*x - 4 = -2*x. Suppose s = x*s - 3. Suppose -2*k = -4*k + 3*w + 5, 3*w - s = 0. Is k a multiple of 4?
True
Suppose 3*z = -5*g + 171, 2*g + z - 31 = 37. Is g a multiple of 11?
True
Let n(q) = 2*q + 2. Let h be n(-3). Let w = -19 + 47. Let d = w + h. Is 24 a factor of d?
True
Suppose f - 18 = -2*f. Let h be (2/f)/(2/222). Let l = 58 - h. Is 11 a factor of l?
False
Suppose j + 48 = 4*n, -7 = 2*n + 3*j - 31. Let d = 16 + n. Does 14 divide d?
True
Let q(y) = -24*y + 3. Is q(-1) a multiple of 4?
False
Let u(b) = 3*b - 11*b**3 + 1 - 2*b**2 - 3*b. Is u(-1) a multiple of 10?
True
Let u be 1/(-2) + 116/8. Suppose u = 5*v - 76. Is 9 a factor of v?
True
Suppose 0*t = 2*b - t - 6, t = 3*b - 8. Suppose -2*g + w + 34 = 0, -g + 5*w + 37 = b*g. Let s = -4 + g. Is 13 a factor of s?
False
Let l(g) be the third derivative of -g**6/120 + g**5/6 - 5*g**4/24 - 3*g**2. Is l(9) a multiple of 13?
False
Let a = 2 + 1. Suppose -2*t - a*s = 5, -2*t - 2*s - 11 = 3*s. Suppose -t*b + 18 = -18. Is 18 a factor of b?
True
Suppose 4*w = 4*v - 8, 0*w + 5*v - 16 = 2*w. Suppose -w*l - 94 = -4*l. Does 11 divide l?
False
Suppose 6*y + 166 = 886. Is 24 a factor of y?
True
Suppose u + 3*u - 72 = 0. Does 9 divide u?
True
Let m(k) = -k**3 + 7*k**2 + 13*k + 6. Let y be m(8). Suppose -2*w - y = -3*w. Is 22 a factor of w?
False
Suppose 6*w + 8 = 2*w. Let p be 1 - (w + -1)/3. Suppose 3*x - 130 = -p*x. Does 13 divide x?
True
Suppose 295 = 5*z + u, 4*z - 136 = 2*z - 4*u. Is z a multiple of 11?
False
Let b(t) = -10*t. Let w(p) = -1 + 2*p + 4 - 5*p**2 + 0*p**2 - 4. Let n be w(1). Is b(n) a multiple of 16?
False
Suppose 0 = -3*a + 5*q + 530, 4*q - 124 = -3*a + 424. Does 12 divide a?
True
Let f(k) = k**2 - 6*k + 6. Let h be f(4). Let a(r) = 2*r**2 + 3*r + 2. Let x be a(h). Suppose 6*u = x*u + 18. Is u a multiple of 9?
True
Suppose 4*v - k = -3*k + 632, 2*v - 308 = -3*k. Does 20 divide v?
True
Let x = -2 - -2. Suppose -k + 5*k - 112 = x. Is 10 a factor of k?
False
Let h = -29 + 36. Is 5 a factor of h?
False
Let a(i) = -i**3 - i + 252. Is 18 a factor of a(0)?
True
Suppose -4*n - 11 = y - 63, 3*n + 5*y - 56 = 0. Let i(q) = q**3 - 11*q**2 - 9*q - 13. Does 23 divide i(n)?
True
Let x(c) = -c + 7. Suppose -j - 7 = 2. Let s be x(j). Let w = 0 + s. Is 12 a factor of w?
False
Suppose 7 = 5*h - 8. Suppose 4*x - x = 4*l - 71, -h*x = -l + 29. Does 6 divide l?
False
Let n(h) = 1 - h - 3*h**2 - h + 8*h**2. Does 17 divide n(2)?
True
Let s = -28 - -37. Is s a multiple of 3?
True
Let z = -1 + 1. Suppose z*b + 35 = 2*b - 5*k, -b - 5 = 5*k. Is 5 a factor of b?
True
Let o(r) = -4*r + 71. Does 3 divide o(11)?
True
Let b(h) = -51*h + 53*h + 5 + 3. Let t be -9*-2*1/3. Is b(t) a multiple of 10?
True
Suppose 2*y + 5*q = 201, -4*q = 3*y - 0*q - 305. Is 37 a factor of y?