42. Is u a multiple of 34?
False
Let r(k) = -k**3 + 2*k**2 - k + 5*k**2 - k**2 - k - 6. Let m be r(5). Suppose 0 = m*w - 8*w - 22. Is 3 a factor of w?
False
Let k be -1 + (0 - -2) + -1. Suppose -4*l + 11 + 1 = k. Suppose l*x - 27 = -h + x, -2*x - 19 = -h. Does 7 divide h?
False
Let q(b) = -7*b - 22. Let p be q(-4). Suppose p*i = 5*i + 150. Is 10 a factor of i?
True
Let c(q) = q**3 - 9*q**2 + 13*q - 7. Let j(g) = -g**3 + 9*g**2 - 14*g + 6. Let x(u) = -3*c(u) - 2*j(u). Does 6 divide x(7)?
True
Suppose -34*g = -30*g. Suppose 22*y - 27*y + 280 = g. Is 8 a factor of y?
True
Suppose 1 + 3 = -k, -1552 = -4*h - 3*k. Suppose -3*l + h = -5. Suppose l = 5*x - x. Is 11 a factor of x?
True
Let f be (-25)/(2/4*1). Let q be 15/(-9) + 240/36. Let c = q - f. Does 17 divide c?
False
Suppose 2*z - 15 = -3*z. Suppose 0 = -2*g - z*g + 100. Does 10 divide g?
True
Let f = 28 + 210. Let t = f - 118. Is 15 a factor of t?
True
Suppose 0 = 3*p - 0*p - 9. Suppose g + 6 = p*g. Suppose 5*h - 114 = g*h. Does 16 divide h?
False
Suppose 27*i = 14*i + 1989. Is 38 a factor of i?
False
Let q(t) = 14*t + 8. Let r be q(10). Suppose -2*h + 4*d + r = 0, 4*h + d = -0*d + 278. Is h a multiple of 10?
True
Suppose 0*j + 5*j - 81 = -2*t, 2*t + 69 = 5*j. Let d be (0 + -5)*(-9)/j. Suppose -d*k + 2*g + 14 = -k, 5 = 5*k + 5*g. Is k a multiple of 2?
True
Suppose -34*m + 4275 = -19*m. Suppose 3*w + x = 13, 2*w + 0*w - 7 = -x. Suppose w*k - m = 2*k + b, -3*b + 9 = 0. Is k a multiple of 11?
False
Suppose l - 6 = w + 368, l - 380 = -2*w. Is 16 a factor of l?
False
Let n = -6 + 11. Let s(v) be the third derivative of -v**5/60 + 7*v**4/24 - 7*v**3/6 + 4*v**2. Does 3 divide s(n)?
True
Suppose 2*t - 50 + 248 = 0. Let z = 169 + t. Is z a multiple of 14?
True
Let j(b) = 14*b + 34. Suppose 4*c + 8 = 0, -3*c - 35 = -5*w + 2*c. Is 8 a factor of j(w)?
True
Let x(j) = -j + 2. Let n be x(10). Let f = -3 - n. Suppose 0 = 4*y + 4*d - 172, f*y + 2*d = 88 + 142. Is y a multiple of 12?
True
Let z = -24 + 26. Suppose 0 = -y - z*y - m - 123, 5*m + 15 = 0. Is 6 a factor of (-20)/(-25)*y/(-1)?
False
Let i = -19 - -59. Is 5 a factor of i?
True
Let x(y) = -y**3 - 15*y**2 - 12*y + 39. Let o be x(-14). Let i = 96 + o. Is i a multiple of 13?
False
Is (5 - (-24)/(-4))/((-3)/87) a multiple of 5?
False
Let l(h) = -3*h - 15. Let o be ((-30)/21)/((-1)/7). Suppose 3*n = -z - 4, 5*z - 4*n + o = -29. Does 6 divide l(z)?
True
Suppose 2*p = 7*p - 15. Let r = 86 + -20. Suppose -p*m = -m - r. Does 11 divide m?
True
Let p be (0 - 4)*4/((-48)/18). Is 10 a factor of (29 - 27) + p*3?
True
Let j(z) = z**3 + 9*z**2 + 17*z + 15. Is j(-6) a multiple of 2?
False
Let a = 671 - -479. Is a a multiple of 50?
True
Suppose -4*d + 4*p + 24 = 0, -28 + 7 = -2*d + 5*p. Suppose 0 = -3*k - 3*g + 51, -g - 6 = -d*g. Is k a multiple of 11?
False
Let y(n) = -2*n - 8. Let m be y(-4). Suppose -3*j + 4*p + 317 = -m*p, -216 = -2*j + 5*p. Does 23 divide j?
False
Let x = -28 + 15. Let z = x + 48. Suppose 0*s = 5*s - z. Is 2 a factor of s?
False
Suppose 22 = 3*l - 14. Suppose 522 = l*v - 1062. Is v a multiple of 12?
True
Does 12 divide (-56)/(-2)*30/35?
True
Is (18516/(-8))/(1 - 5/2) a multiple of 38?
False
Suppose 0 = -5*l + 2*a - 146, 2*a = a + 3. Is 12 a factor of (-6644)/(-28) - (-8)/l?
False
Suppose -i + 0 = -2. Suppose 3*c = -v + 79, c - i*v - 23 = -3*v. Is 2 a factor of c?
True
Suppose -7594 = -15*o + 2396. Does 10 divide o?
False
Suppose 31*k - 24 = 35*k. Suppose 7*h = 3*h - 24. Does 31 divide k/(-9) + (-644)/h?
False
Suppose -3*f = -0*f - 270. Suppose 0 = -5*l - 20 + f. Suppose 3*z - 4*t - 4 = l, 4*z - t = 24. Is z a multiple of 6?
True
Let m = 20 + -15. Suppose d + 3*d - 2*b - 174 = 0, -m*d + 217 = -3*b. Is d a multiple of 11?
True
Suppose -19*o + 16*o - 183 = 0. Let l = o + 189. Does 36 divide l?
False
Suppose h - 14 = -h. Suppose -h = 5*n - 47. Is 4 a factor of n?
True
Let v(l) = -51*l - 171. Is v(-20) a multiple of 36?
False
Suppose 2*t + 102 = 3*z, 52 + 59 = 3*z - 5*t. Suppose 38 = 3*n + 2*q, 5*q = -2*n - n + z. Is n a multiple of 3?
False
Let c(u) = u - 11. Let k(x) = 5*x - 44. Let y(p) = -9*c(p) + 2*k(p). Let d be y(-9). Suppose -208 = -4*n + i, -i = d*n - 16 - 88. Does 26 divide n?
True
Suppose 5*t = -5*j - 2580, -3*j - 2*t - 1552 = -0*t. Let d = j - -319. Let q = -87 - d. Does 32 divide q?
False
Is 13 a factor of (0 - (-4)/(-14)) + (-5500)/(-140)?
True
Let o be 24/9*(-5 + (-2)/(-4)). Is o/3 + 4 - -75 a multiple of 22?
False
Let s = 141 + 525. Is s a multiple of 9?
True
Let z(w) = -2*w**3 + 2*w**2 - 3*w - 1. Let d be z(-4). Let t = -93 + d. Suppose -3*i + t = -0*i. Is i a multiple of 13?
True
Let v be (-2)/(-4 + 3) + 73. Is (192/(-10))/(((-5)/v)/1) a multiple of 18?
True
Suppose 0 = -5*t - 3*d + 9417 - 3458, 4*t - d - 4774 = 0. Does 92 divide t?
False
Suppose 0 = -2*c + 8 - 0. Suppose 3*j + c*u = -7, -4*u - 4 = -j + 5*j. Suppose 0 = j*b - 0*b - 216. Does 24 divide b?
True
Let w(o) = 10*o - 2. Let y be w(-2). Let x = -14 - y. Is x even?
True
Let c(v) be the second derivative of -v**5/20 + v**4/3 - v**3/3 - v**2/2 + 14*v. Let m be c(3). Suppose -t = m*t - 84. Is 28 a factor of t?
True
Let w = -32 - -34. Suppose -3*n = w*n - 55. Is n a multiple of 9?
False
Does 28 divide (-1)/(-4 - 710/(-178))?
False
Let k(h) = 2*h**3 - 4*h**2 + 4*h - 2. Let i be k(3). Let f = i - 1. Let t = f + -3. Is 8 a factor of t?
True
Suppose -4*i + o + 2337 = -i, -i = 3*o - 789. Is i a multiple of 4?
True
Let s = 2980 - 1780. Does 50 divide s?
True
Suppose c - 3*r = 1865, 5*c + 16*r - 9311 = 17*r. Does 38 divide c?
True
Let p(x) = 2*x**2 - 36*x + 140. Is p(28) a multiple of 10?
True
Suppose 12 = -4*o, -5*c - 1 - 7 = o. Let r(x) = x + 1. Let h be r(c). Suppose -5*u - 2*b + 239 = -h*b, 4*b - 8 = 0. Is u a multiple of 19?
False
Suppose g - 2*d = d + 123, -5*d = 4*g - 458. Let t = -57 + g. Does 30 divide t?
True
Suppose -2*z + 5*z - 393 = -5*o, 0 = -2*o - 4*z + 160. Suppose 0 = 10*u - o - 1112. Is 17 a factor of u?
True
Let j be (-44)/(-10) - 2/5. Let a(m) = -m**3 + 4*m**2 + m + 1. Let z be a(j). Suppose -z*i + 28 = -32. Is i a multiple of 6?
True
Suppose -n + 50 = 4*n. Is 24 a factor of 18/30 + 1434/n?
True
Let v(o) = 5*o**3 - o**2 + 3*o - 24. Is 32 a factor of v(3)?
False
Let i(b) = -4*b**2 - 22*b + 3. Let w be i(-6). Suppose 2*f + f + 123 = 0. Let q = w - f. Is 8 a factor of q?
True
Let c(n) be the third derivative of -n**6/120 + n**5/6 - 7*n**4/24 + 2*n**3 - 11*n**2. Let u be c(8). Is 10/4*u/10 a multiple of 5?
False
Suppose 17*h - 5*r = 19*h - 2314, -h + 1162 = 5*r. Does 12 divide h?
True
Suppose 98*m = 80*m + 2106. Is 13 a factor of m?
True
Suppose 0 = -v - 2*v + 5*t + 6, -t = 0. Let q(h) = 2*h**3 + 14*h**2 + 7*h - 1. Let p be q(-6). Suppose -77 = -v*i - p. Does 14 divide i?
False
Suppose -3*q + 1 = -11. Suppose -5*o = -0*d + q*d - 49, 2*d = 2*o - 16. Let m(n) = -n**2 + 12*n + 13. Does 7 divide m(o)?
False
Suppose 2*a - 11 = b, b + 14 = 3*b + 5*a. Let h(u) be the third derivative of u**5/15 + u**4/8 - u**3/2 + u**2. Is 12 a factor of h(b)?
True
Let p be (-40)/(-6) + (-4)/6. Let b be (-20)/8 + p/4. Is b - (6/3 - 6) even?
False
Suppose 0 = k + 2 + 5. Let i(h) be the second derivative of -h**3/6 + h. Is 3 a factor of i(k)?
False
Suppose -14 = 6*y - 4*y - c, -5*c = -2*y - 30. Let a(r) = -16*r - 8. Let x(h) = -33*h - 16. Let g(z) = 13*a(z) - 6*x(z). Is 14 a factor of g(y)?
True
Let k be (3/4)/((-4)/(-16)). Suppose -k*l - 3*g - g = -86, 0 = -4*l - 4*g + 116. Is l a multiple of 10?
True
Let k = 27 - 55. Is 9 a factor of 0 + (-1268)/k + (-2)/7?
True
Let s(x) = -4*x - 24. Let d be s(-6). Suppose -j - 4*l + 54 = 0, -18*j + 13*j + l + 375 = d. Is j a multiple of 5?
False
Let l(s) be the first derivative of -10*s**2 - 3*s - 29. Is l(-2) a multiple of 26?
False
Let r(n) = 21*n + 118. Does 19 divide r(-2)?
True
Suppose 0 = -2*t + d + 405 + 439, -3*d = -5*t + 2112. Is t a multiple of 14?
True
Suppose 4*d - 13 = -5. Suppose -148 + 112 = -d*x. Is x a multiple of 4?
False
Let s be 73/15 + 798/(-90) + 9. Suppose -4 = -2*b + b, -s*k + 2*b + 1252 = 0. Is k a multiple of 36?
True
Suppose 5*y + 6257 = 2*p, 4*y - 1532 - 1564 = -p. Is 12 a factor of p?
False
Let t(m) = 74*m + 1. Let p be t(2). Let b = p + -102. Is (b - 0) + 1 + -5 a multiple of 10?
False
Let q = -15 + 15. Suppose 0 = -q*f + 8*f 