, -124 = -2*u - 5*k + k. Does 13 divide u?
True
Let r(z) = z - 6. Suppose 4*t - 4*x + 0 = 4, t - 4*x + 11 = 0. Let n be r(t). Does 15 divide n - (45 + 3)/(-3)?
True
Let f be (228/(-15))/((-6)/15). Suppose 16*r = 18*r - f. Let j = r - -21. Is 10 a factor of j?
True
Does 32 divide (-6400)/((-16)/(-2) + -10)?
True
Is 2 a factor of 2094/54 - (-8)/36?
False
Let b = -88 + 452. Suppose -5*a + w + b = 0, -3*w - 71 = -4*a + 229. Is a a multiple of 12?
True
Suppose 0 = -g - 140*k + 135*k + 1492, -5*g + 3*k + 7348 = 0. Does 46 divide g?
True
Let y be (4 - 1)*(-4)/3 - -3. Does 20 divide -9 - -9 - 105/y?
False
Let i = 128 + -200. Let r = 131 + i. Does 15 divide r?
False
Suppose -3*u = 4*g - 960, -2*g + 3*g - 2*u - 229 = 0. Does 30 divide (-21)/(-14) + g/2?
True
Let o be (-17 + 11)/(((-8)/(-225))/(-4)). Suppose o = -14*x + 19*x. Does 9 divide x?
True
Suppose -5*y + 3186 = 2*v - 9*y, v - 1609 = -2*y. Does 8 divide v?
False
Let n(s) = -3*s + 105. Does 6 divide n(-24)?
False
Suppose -s - 3*d = -10, 2*s - 3*s + 3*d = -34. Let h = 67 - s. Is h a multiple of 7?
False
Suppose -2*z + 105 = -3*g - 149, 0 = -4*g. Suppose c + 95 = z. Is c a multiple of 8?
True
Let k(y) be the second derivative of 6*y + 1/6*y**4 + 3/2*y**2 - 1/2*y**3 + 0. Does 34 divide k(8)?
False
Let g(h) = 10*h**3 - 9*h**2 + 18*h + 19. Is g(5) a multiple of 21?
True
Suppose 10*q - 5*q - 520 = 0. Is 104 a factor of q?
True
Let s(p) = 1185*p - 16. Is s(2) a multiple of 22?
True
Let g be 100/15*3/4. Suppose 420 = 3*c - g*n + 9*n, 0 = -2*c + 5*n + 280. Does 28 divide c?
True
Let j be ((-2)/(-3))/((-2)/(-12)). Suppose -258 = c - 3*c - 4*n, 3*c - 367 = j*n. Is 27 a factor of c?
False
Let o = -73 + 96. Let m(a) = a**3 + 3*a**2 - 2*a - 1. Let v be m(-4). Let z = o + v. Does 4 divide z?
False
Suppose 16*r - 22*r = 0. Suppose r = -2*f - 0*y + 4*y + 106, f = 4*y + 63. Is 11 a factor of f?
False
Suppose -158 = -10*d + 252. Let i = d - 37. Is i a multiple of 2?
True
Let o(v) = 11*v + 32. Suppose -y + 25 = 4*s, -24 = -4*y - 4. Is o(s) a multiple of 10?
False
Suppose -c + 0*n - 4 = n, 0 = -5*c + 2*n + 8. Is 305/(-1 - -6) + c + -1 a multiple of 15?
True
Let m(w) = -w**3 + 10*w**2 - 17*w - 19. Is 9 a factor of m(7)?
True
Let f(n) = n**3 - 6*n**2 + 7*n + 13. Let y be f(5). Let a = y - -4. Is a a multiple of 27?
True
Let r(b) = 20*b - 32. Let g be r(3). Suppose -2*d - 72 = -3*d. Suppose -4*m + g + d = 0. Is m a multiple of 10?
False
Suppose -4*i - 2 = -14. Let v be (i - 0)/((-3)/27). Is 14 a factor of 8/16 - v/2?
True
Let w(v) = 13*v**2 - 5*v - 1. Let d be w(-6). Let s be 8 + 1 - 0/(-2 + 5). Suppose 196 = s*a - d. Is 28 a factor of a?
False
Let z(l) = -2*l + 6. Let u(t) = t - 1. Let w(v) = u(v) + z(v). Let b be w(5). Suppose -5*k + 786 - 231 = b. Is 33 a factor of k?
False
Suppose l = 6*l - 20, j = 2*l - 260. Let w = 439 + j. Does 39 divide w?
False
Suppose 20*z - 13*z - 931 = 0. Is 19 a factor of z?
True
Let g be 1*(2 + (5 - 3)). Let o = g + -8. Does 23 divide o/6 + (-267)/(-9)?
False
Let y(z) = -z**2 - 9*z + 3. Let g be y(-9). Suppose -g*x = -5 - 1. Does 25 divide (x + 67)/((-3)/(-2))?
False
Let q(i) = i**3 + 12*i**2 + 16*i + 5. Let s be q(-10). Suppose -7*r = -4*r - s. Is r a multiple of 15?
True
Let o(r) = -35*r - 5. Let b be (-2)/(-8) + 58/(-8). Let h be o(b). Suppose -4*n + h = n. Is n a multiple of 8?
True
Let y(z) be the first derivative of -8*z**2 - 8*z + 24. Does 11 divide y(-6)?
True
Let s be -1 + 2 - 4*-1. Suppose 325 = -3*b - 4*t, -s*b - 3*t - 852 = -303. Let i = 167 + b. Does 14 divide i?
True
Let g(c) = 17*c**2 + c. Let m be g(1). Does 12 divide 434/9 - 4/m?
True
Let f = -98 - -102. Is 11 a factor of (-7)/(7/f) + 1*46?
False
Suppose -4*d - 1372 = 4*v, 0*v = -5*v + 3*d - 1739. Let b = -236 - v. Suppose 0 = -3*f - 4*u + 160, -4*u + 3*u = 2*f - b. Is f a multiple of 14?
True
Let z = 506 + -242. Suppose -10*g = -12*g + z. Is g a multiple of 15?
False
Suppose -1048 = -4*k - 3*g - g, -4*g = -4. Is k a multiple of 29?
True
Let r(u) = -u**3 - u**2 - 2*u - 4. Let q be r(-4). Let a = q + -19. Let x = 91 - a. Does 29 divide x?
True
Let b = 1882 - 1570. Is 26 a factor of b?
True
Suppose -3*l + 7 = 1, 0 = -3*w + 5*l - 76. Let h be (-44)/w*6/4. Suppose -h + 27 = q. Is q a multiple of 4?
True
Let o = -6 - 18. Does 9 divide o/108 + 886/18?
False
Suppose 0 = -2*k + 2 - 18. Let b(y) = -2*y - 10. Let a be b(k). Is 230/12 + (-1)/a a multiple of 7?
False
Let k = 2196 - 1338. Does 14 divide k?
False
Suppose f + 1 = 0, 3*m - 7 = -5*f + 3. Suppose 0 = r - h - 10, 0 = -0*r - 4*r - m*h - 5. Let n = 13 + r. Is 9 a factor of n?
True
Let q = -435 - -785. Is q a multiple of 29?
False
Let n(j) = -j**3 + 11*j**2 + j + 4. Let i(t) = -t**2 - 9*t - 9. Let q be i(-5). Is n(q) a multiple of 4?
False
Does 25 divide -8*(369/(-6) - 1)?
True
Suppose 0 = -0*d + 5*d - 45. Let p(o) = -14*o**3 - 30*o**2 - 14. Let f(b) = 5*b**3 + 10*b**2 + 5. Let x(y) = -17*f(y) - 6*p(y). Does 16 divide x(d)?
True
Is 36 a factor of 8 - 244/(8 + -9)?
True
Suppose -5*s + 442 = -83. Is s a multiple of 21?
True
Let w(j) = 2*j - 3. Let u be w(1). Let b(l) = -133*l**3 - l**2 - 2*l - 2. Is b(u) a multiple of 22?
True
Suppose -12*a + 1185 + 579 = 0. Is a a multiple of 21?
True
Let o be 324/5 + (-1)/(-5). Let c = o + -45. Does 4 divide (36/(-30))/((-6)/c)?
True
Suppose -3*l + 108 = 10*i - 5*i, -2*i + 64 = -4*l. Is 2 a factor of i?
True
Suppose 5*v + 37 = 207. Let f = -17 + v. Suppose g = 3*r + f, -g + 2 = -3*g - 3*r. Is 5 a factor of g?
True
Let t be (-1)/(-1)*2 + (11 - 11). Is 21 a factor of 2744/126 - (0 + t/(-9))?
False
Suppose -207*n + 204*n = -87. Is n a multiple of 16?
False
Let r(o) = o**3 - 9*o**2 + 8*o + 2. Let z be r(8). Let g(j) = j**3 - 2*j**3 + 0*j**z + 8*j**2 + 6. Does 6 divide g(8)?
True
Suppose -3*h - 4*h = -812. Is h a multiple of 5?
False
Suppose 20 = 3*a + a. Suppose -o + 3*o + 114 = a*q, -2*o + 30 = q. Let b = 38 + q. Does 9 divide b?
False
Let p = 230 + -188. Is p a multiple of 3?
True
Let b = -11 - -3. Let k be b*(-3 - (-2 + 1)). Suppose 0 = o + 3*w - k, 0 = -o - w - w + 15. Does 13 divide o?
True
Suppose -5*j = w + 27 - 103, 3*w = 3*j + 318. Suppose -k = -106 - w. Suppose 2*u - k + 39 = 0. Does 14 divide u?
True
Let p(r) = 6*r**2 - 25*r - 21. Does 84 divide p(21)?
True
Suppose 3*c - 145 = -40. Suppose -4*p - c = 21. Does 24 divide p/(-49) - 733/(-7)?
False
Let n = -15 - -17. Suppose -5*o + 113 = n*u - 23, -4*o + u + 101 = 0. Suppose -8*m + o = -7*m. Is m a multiple of 7?
False
Let b be 2/(-4) + 7/14. Suppose b = -0*y + 5*y + 20. Let d = -1 - y. Does 3 divide d?
True
Let o = 6 + -1. Suppose 5*w - 101 = -4*z + 453, -o*z = 3*w - 335. Is 11/(w/12)*10 a multiple of 4?
True
Let n be 14/(-105) + (-724)/(-30). Is 21 a factor of (-255)/(-4) + (-18)/n?
True
Let g be 2/3 - 442/(-39). Let z be (8/g)/(4/114). Let o = z + -12. Is o a multiple of 7?
True
Suppose -4 = -5*i + 46. Suppose 0 = 4*g - 2*g, -5*a = -5*g - 90. Let d = a - i. Does 4 divide d?
True
Suppose 0 = -3*s + w + 427, s + s = 5*w + 302. Does 2 divide s?
False
Let m(l) = -178*l + 37. Is m(-3) a multiple of 81?
False
Let z be (-6)/10 - (-162)/45. Suppose -z*v = -7 - 8. Does 3 divide v?
False
Let m(j) = -j**2 - 4*j + 5. Let h be m(-5). Suppose 3*v + 159 = 4*l - 2*v, -5*l + 2*v + 186 = h. Is 11 a factor of l?
False
Let l = 5054 - 2432. Does 34 divide l?
False
Let n = 5 - 1. Suppose -4*f = n*i - 12, 4*f - 4*i - 21 = -5*i. Suppose f + 64 = 5*o. Does 7 divide o?
True
Let v(w) = w**2 + 3*w - 7. Let n be v(5). Suppose -3*c - 4*m = -m - n, -4*c + 43 = 3*m. Is c a multiple of 10?
True
Let g = 1308 - 1302. Is g a multiple of 3?
True
Let n = -319 - -295. Let o(u) = u**3 + 2*u**2 - u - 2. Let c be o(-2). Let y = c - n. Is 8 a factor of y?
True
Suppose 3*h + 2*l + 5 = 7*l, 4*h + 2*l = 2. Suppose -2*o - 5*n + 25 = -h*n, 4*n = -o + 17. Suppose o*g + 6 - 16 = 0. Does 2 divide g?
True
Let z be 2*(-2)/(8/(-6)). Suppose 333 = z*o + 93. Is o a multiple of 40?
True
Let b = 42 - -8. Does 15 divide (b/(-3))/(6/(-27))?
True
Does 41 divide 3 + (49812/(-56))/((-3)/4)?
True
Let c(m) = 12*m + 4*m - 25*m + 6. Let d(x) = x**2 - 5*x. Let w be d(3). Is 18 a factor of c(w)?
False
Suppose -5*k = 5*h - 5750, 0 = -3*k + 10*h - 7*h + 3480. Is 15 a factor of k?
True
Let z(t) = 30*t**3 - t**2 - 2*t + 2. Let q be z(1). Let b = -37 + q. Do