. Suppose -3*w + 19 + b = 0. Is w a multiple of 17?
True
Suppose 0 = -10*y + 2*y + 1512. Is 21 a factor of y?
True
Is 18 a factor of (-1278)/(6 + -7)*(-1 + 2)?
True
Suppose 0 = d - 19 + 8. Suppose 3*z + 2*z = -4*h + 56, -z - h = -d. Suppose 13 = 13*u - z*u. Is 8 a factor of u?
False
Suppose -12 = -4*k + 24. Suppose 12 = -4*d, 5*d = 4*m + 2*d - k. Suppose m = 2*l + 2 - 26. Does 2 divide l?
True
Let p(m) = 496*m - 43. Is 3 a factor of p(1)?
True
Suppose 77*j - 1310 = 67*j. Does 43 divide j?
False
Let l(v) = v**3 - 21*v**2 - 22*v + 36. Is l(22) a multiple of 6?
True
Suppose 0 = 2*u - 7*u. Suppose 5*i + 260 = -u*i. Is -1 - -1 - (i + -2) a multiple of 27?
True
Let s(h) = h + 1. Let a(l) = l**3 + 5*l**2 - 4*l + 1. Let y(w) = -a(w) - 6*s(w). Let t be y(-5). Let j = 37 - t. Is j a multiple of 13?
False
Let i(u) = 5*u + 25. Let r be i(-5). Suppose w - 1078 = -5*n, r = -n - 0*w + 4*w + 203. Does 13 divide n?
False
Suppose -30*v - 5*v = -12285. Is 9 a factor of v?
True
Let b(j) = 2*j**3 + 8*j**2 + 8*j. Let i(n) = -n**3 - 3*n**2 - 3*n. Let d(c) = -3*b(c) - 8*i(c). Let s be d(2). Let a = 43 + s. Is 23 a factor of a?
False
Suppose -59*j = -72*j + 21983. Is 15 a factor of j?
False
Suppose -t + 14 = -m, 5*t = 5 + 5. Let z = m + 47. Is 7 a factor of z?
True
Let s(p) = 146*p**2 + 10*p + 11. Is 24 a factor of s(-3)?
False
Let r = -26 + 31. Suppose 4*l - s - 704 = -r*s, -5*l - s = -872. Let d = l - 109. Is 13 a factor of d?
True
Let c(d) = 11*d**2 - 7*d - 6. Is c(7) a multiple of 11?
True
Let d be 6/4 + 1/(-2). Let w(i) = 46*i**2 + 1. Let s be w(d). Let h = 81 - s. Is h a multiple of 17?
True
Let x = 5 + 142. Let c = x - 93. Is 18 a factor of c?
True
Let t = -4861 - -10368. Does 100 divide t?
False
Let v = 70 + -68. Suppose -v*j - 176 = -4*j. Does 8 divide j?
True
Let w(t) = -3*t + 9. Suppose u = -5*r + 29 + 8, 2*u - 3*r = 9. Let x be w(u). Let k = 18 - x. Does 15 divide k?
True
Let h(c) be the first derivative of 3*c + 1/3*c**3 + c**2 + 4. Does 11 divide h(7)?
True
Let o = 57 + 141. Does 13 divide o?
False
Suppose -3*f = 3, 5*f + 7 + 89 = p. Is 6 a factor of p?
False
Let c(v) = v**3 - v + 3. Let w(s) = 4*s**3 + s**2 - 5*s + 12. Let h(m) = 9*c(m) - 2*w(m). Is h(4) a multiple of 8?
False
Let f(o) = 169*o**2 - 3*o + 2. Let p be 1 - (-18)/(-15) - (-6)/5. Is f(p) a multiple of 28?
True
Let f(g) = 17*g - 32. Let j be f(-4). Let t = 174 + j. Does 13 divide t?
False
Let q(m) = 40*m**2 + m. Let o be q(1). Let s be 672/(-35) - 8/10. Let z = o - s. Does 16 divide z?
False
Suppose -g - 4*h - 9 - 2 = 0, 4*g - 40 = 5*h. Suppose g*x - 484 = -169. Is x a multiple of 9?
True
Let h be -2 + 1120/5 - -2. Is 10 a factor of 1 + 3 + h/4?
True
Let f = 13 + -9. Suppose -k - 5*y + 5 = 4*k, y = f*k + 1. Suppose -p = -k - 4. Does 4 divide p?
True
Suppose 5*y - y + 483 = j, 0 = 2*j - y - 980. Suppose 0 = -3*b + o - 3*o + 370, 4*b - j = -5*o. Is b a multiple of 10?
False
Suppose 2*k = -0*k + 4. Suppose m + 2*m + k*s = 16, -5*m + 3*s = 5. Suppose -6*p + 2*p = -3*d - 116, -m*p - d = -68. Is p a multiple of 10?
False
Let l(z) = 12*z**3 - z**2 - 7*z + 21. Is l(6) a multiple of 13?
True
Is 13 a factor of (-6)/(-27) + (9482/18)/1?
False
Let z = 124 + -109. Is z a multiple of 15?
True
Suppose -96 = 2*t - 278. Let k = 247 - t. Suppose -k + 408 = 6*b. Does 9 divide b?
False
Let k(b) = -1. Let f(s) = s + 1. Let o(u) = -6*f(u) - 13*k(u). Let x = 0 + -7. Does 13 divide o(x)?
False
Suppose 3*z - 16 - 8 = 0. Suppose 7*g - 5*k + 44 = z*g, 4*g + 2*k - 212 = 0. Is g a multiple of 27?
True
Suppose -25*d + 22222 - 1097 = 0. Does 13 divide d?
True
Suppose -7852 = -4*k - 3*n, 3*k - 2*n - 2393 - 3496 = 0. Does 13 divide k?
True
Suppose 5*x = 7 + 8. Suppose -547 - 29 = -x*w. Is 12 a factor of w?
True
Let w(h) = -8*h**2 + 5*h - 4. Let j(d) = 7*d**2 - 5*d + 3. Let b(z) = -6*j(z) - 5*w(z). Let t be b(-3). Let x = t - -53. Is x a multiple of 8?
False
Suppose u + 0*u - 340 = 0. Does 28 divide u?
False
Let a(d) = -d**3 - 17*d**2 + 18*d + 2. Let r be a(-18). Let f(v) = 14*v**3 + v**2 + 3*v - 5. Does 39 divide f(r)?
True
Suppose 175*t - 190*t = -5340. Does 14 divide t?
False
Let x = 4472 + -2238. Is 14 a factor of x?
False
Let q = 12 - 2. Suppose 84 = q*h - 6*h. Is h a multiple of 12?
False
Suppose -n + 2 = 2*p, 3*n - 5*p + 33 = 2*n. Is n - -5 - -14*6 a multiple of 27?
True
Suppose -z = -2*u + 12, 4*z - 13 + 1 = -4*u. Suppose 0 = -u*d + 81 + 4. Does 10 divide d?
False
Suppose -m + 3*m - 2*b - 10 = 0, -4*m + b = -17. Is 8 a factor of m/6 + ((-1840)/6)/(-5)?
False
Let r(k) = -3*k + 20. Let c be r(6). Suppose -2*m = -5*o - 49, c*m + o - 59 + 4 = 0. Is 27 a factor of m?
True
Let c be (-183 - 3) + (-16)/(3 + -7). Let b = c + 452. Does 45 divide b?
True
Suppose 0 = 2*a - 11 + 65. Let g = a + 27. Does 17 divide 237/3 - (-2 - g)?
False
Suppose -y + 311 = 5*v + y, 4*v = 2*y + 256. Suppose 5*t + v + 122 = 0. Let d = t - -67. Is 30 a factor of d?
True
Suppose 2*s - 8 = -0*s. Suppose c + w = -4*c + 246, -5*c + 266 = -s*w. Let b = -34 + c. Is 7 a factor of b?
False
Suppose -3*g - 276 + 531 = 0. Is g a multiple of 2?
False
Suppose l + 3*o - 6 = -4*l, o = 5*l + 2. Suppose l = 9*q - 10*q + 5. Suppose q*s - 13 = 22. Is s a multiple of 3?
False
Let r = -59 - -67. Suppose -b + r = -49. Is 11 a factor of b?
False
Let j(h) = -2*h - 23. Let p be j(-10). Is -20*(p + 7/(-2)) a multiple of 26?
True
Let s = 1314 + -862. Does 31 divide s?
False
Let h = -40 - -46. Let n(l) = 3*l**2 - 9*l. Does 22 divide n(h)?
False
Let q(f) = 5*f - 18. Let v(r) = 2*r. Let b(t) = q(t) + v(t). Suppose 0 = i - 4 - 2. Is b(i) a multiple of 8?
True
Suppose 0 + 2 = y. Let g = 11 - -21. Suppose y*n = n + g. Is 11 a factor of n?
False
Let o(n) = n**2 - 17*n + 11. Let j(g) = 3*g + 0*g - 3 + 1. Let s(w) = 34*j(w) + 6*o(w). Is s(-2) a multiple of 17?
False
Suppose 261 - 12 = -3*u. Let j = 122 + u. Does 8 divide j?
False
Let y = 109 - -281. Is y a multiple of 12?
False
Let z = 1001 - 891. Is z a multiple of 10?
True
Let n = 16 - 12. Does 24 divide (138/3 - 2) + n?
True
Suppose -8 = -2*n - 0. Let b be (16/40 + (-6)/15)/(-2). Suppose -n*w + 96 = -b*w. Does 5 divide w?
False
Suppose -11 = 3*s + 85. Let b be -9*(2 + s/12). Suppose b*k - 226 = 4*k. Is 31 a factor of k?
False
Let b(p) = 8*p**2 + 15*p - 4. Is b(-7) a multiple of 22?
False
Let a = -5 - -5. Let v = a - -2. Suppose j + v*u = 20, -j - j + 4*u = -32. Is j a multiple of 6?
True
Let q = -200 + 104. Let m = 175 + q. Does 5 divide m?
False
Let h be 1/(2/6) - -88. Let b be 130/4 + 1/(-2). Suppose -2*x + 5*s + h = 0, x = -s - s + b. Is 11 a factor of x?
False
Suppose -13*b + 14 = -12*b. Suppose b = 3*x - 10. Suppose 0 = -r + 33 - x. Is r a multiple of 12?
False
Let v(h) = -h**3 + 9*h**2 + 5*h + 7. Let x be v(9). Let f(m) = x + 10*m**2 - 14*m**2 + 5*m**2. Is 13 a factor of f(0)?
True
Let u = 28 - 14. Suppose u = 2*m - 10. Let f(h) = h + 4. Is f(m) a multiple of 8?
True
Suppose -5*r - 74 = -3*k, 2*r = 5*k - k - 122. Does 12 divide k + 0/(-2) + 3?
True
Suppose 3*s - 749 = -2*q, -6*q = -s - 7*q + 251. Is s a multiple of 13?
True
Let s(x) be the first derivative of x**5/30 + x**4/8 - 2*x**3/3 + x**2 + 4. Let g(z) be the second derivative of s(z). Is 4 a factor of g(-3)?
False
Let p(a) = -a**2 - 8*a - 32. Let d be p(-4). Let u be (-3)/((-6)/4) + 28. Let l = d + u. Does 11 divide l?
False
Suppose -5*c = 2*x - 35, 11 = c + x + 1. Does 29 divide ((-1)/((-3)/(-186)))/((-2)/c)?
False
Let l(p) be the third derivative of -13/24*p**4 - 13/60*p**5 - 3*p**2 - 1/120*p**6 - 1/2*p**3 + 0 + 0*p. Is 3 a factor of l(-12)?
True
Let z(g) = g**2 + 10*g + 8. Let w be z(-8). Let r be (5 - 3)/(w/(-12)). Suppose 117 = r*v + 3*x, x - 203 = -0*v - 5*v. Is 7 a factor of v?
False
Let n(m) = 4*m**3 + 2*m**2 + 4. Let c(u) = 16*u**3 + 7*u**2 + 15. Let t(k) = 6*c(k) - 22*n(k). Let z be t(2). Let d = -21 + z. Is 7 a factor of d?
False
Suppose 12*d - 5 = 11*d. Suppose -b + 5*v + 101 = 0, 2*v = 4*b + d*v - 289. Is 18 a factor of b?
False
Let t be -8 - -9 - (-1 + -214). Is ((t/10)/(-9))/((-1)/100) a multiple of 32?
False
Let q = 107 - -363. Is 29 a factor of q?
False
Is 31 a factor of 54/(-16) + 3 + 4374/16?
False
Suppose -t - 5172 = -4*o + 3*t, 5*t + 1297 = o. Does 26 divide o?
False
Suppose h = -0*h + 3. Suppose -m - 1 = h, -w = -3*m - 9. Is 10 a factor of 33 - 