 2*g + 4. Let x be b(0). Suppose l + 4*y + 13 = -0*l, y - 2 = -2*l. Suppose x*q - l = 9. Is q a multiple of 3?
True
Let o = -1 - -11. Let f(m) = 5*m + 2. Does 13 divide f(o)?
True
Let n be (-25)/2 - (-3)/6. Let f(b) = -b - 23. Let g be f(n). Let a = 19 + g. Is a a multiple of 8?
True
Suppose 0 = -l + 2 + 2. Let n be 2/l - (-6)/4. Suppose 0 = -2*z - n*y + 76, 0*z + 70 = 2*z - y. Is z a multiple of 12?
True
Let o(h) = -h**2 + 11*h + 5. Let z(y) = -y. Let x(q) = o(q) - 2*z(q). Let c be x(13). Suppose -c*t - 2*r - 5 = -183, -2*t = -3*r - 56. Is t a multiple of 17?
True
Let j = -52 - -59. Suppose -j*g + 11*g - 128 = 0. Does 16 divide g?
True
Suppose -5*o - 70 = -7*o. Suppose 0 = 5*b - 130 + o. Does 13 divide b?
False
Suppose 145 = 3*u - 2. Suppose 2*k = -5*z - u, -17 = 4*z - 4*k + 11. Let g = z - -23. Is g a multiple of 7?
True
Let w = 767 - 392. Let x = w - 254. Is x a multiple of 17?
False
Suppose -1320 = x - 6*x. Suppose w = 4*s - 16 + x, -2*w = 5*s + 323. Does 22 divide (-2 - 0)/(-2) - s?
False
Let v(d) = -d**3 + 49*d**2 - 92*d + 26. Does 119 divide v(46)?
True
Suppose 4*a - 18 = -b - a, 2*a = 6. Let h(o) = 60*o + 10. Is h(b) a multiple of 38?
True
Let u = -571 - -319. Is ((-3)/6)/(9/u) a multiple of 4?
False
Let j be (1/12 + 9/(-12))*-12. Suppose j*u = 5*u + 312. Is 13 a factor of u?
True
Let r(z) = -z**3 - 8*z**2 - 7*z - 5. Let k be r(-7). Is (k - -1) + 61 + 3 a multiple of 10?
True
Let a(c) be the first derivative of 13*c**2/2 - 8. Let g be a(1). Let p = 28 - g. Does 15 divide p?
True
Suppose -5*y + 374 = -2506. Is 24 a factor of y?
True
Let y(o) = -o**3 - 17*o**2 + 26*o - 46. Is y(-19) a multiple of 14?
True
Let m = -320 - -350. Is 6 a factor of m?
True
Is (-10)/(-25) - 1/((-10)/1616) a multiple of 18?
True
Let i = -43 - -117. Let l = 79 + i. Is l a multiple of 17?
True
Let v(j) = -j**3 + 6*j**2 - 3*j - 6. Let k be v(5). Suppose -k*a - 1 + 17 = 0. Suppose -6*t + 10 = -t, a*t = -2*b + 22. Does 2 divide b?
False
Let m = 150 + 255. Suppose -m = -r - 4*r. Is r a multiple of 14?
False
Suppose -8*w + 1982 = -2354. Suppose 8*c - 98 = w. Is 20 a factor of c?
True
Let w(v) = -186*v - 110. Is 8 a factor of w(-3)?
True
Let d(k) = -90*k - 2. Let o(t) = 178*t + 4. Let f(u) = 5*d(u) + 3*o(u). Is 11 a factor of f(1)?
False
Suppose 2*u - 41 = 5*h, -h = u - 4*u + 81. Suppose 0 = -5*l + g - u, 7*l - 3*l = -2*g - 28. Does 21 divide 53 + (l - -3) + 4?
False
Let h be 7/(56/(-12)) - (-161)/2. Suppose -g + 317 = 5*l, -l + 2*g + h = -3*g. Is l a multiple of 16?
True
Let q = 1969 + -1152. Is 43 a factor of q?
True
Let w(g) be the third derivative of 0*g - 5*g**2 + 5/12*g**5 + 0 - 1/6*g**3 + 0*g**4. Does 17 divide w(-1)?
False
Let h be (147/(-14) - -6)/(1/(-2)). Suppose 0 = k + 3*s - h, 5*k - 26 = 5*s - 1. Is 4 a factor of k?
False
Let j be (-3)/(6/(-4)) + 250. Suppose 6*g - j = 2*g. Is 9 a factor of g?
True
Let v(h) = -231*h + 117. Is 12 a factor of v(-5)?
True
Let g(p) = p + p + 0*p**2 + 2 + 7*p**3 - 3*p**2. Is 25 a factor of g(2)?
True
Let d(u) = -22*u - 1. Let p be d(1). Let n = 1 - p. Suppose o - n = -7. Is o a multiple of 17?
True
Suppose 2*q - 118 = -u, -2*u + 244 = 4*q + 2*u. Does 51 divide q?
False
Let k be 10/10 + 0 + 2. Let b = 1 + k. Suppose h = -2*h - b*r + 154, -3*r = h - 48. Is 27 a factor of h?
True
Suppose 3*w + 33 = -3*g, 3*g - 6*g = 12. Let u = w + 3. Does 9 divide 24 + (-6)/8*u?
True
Is 14 a factor of (-9)/27 - (4 - 27020/15)?
False
Let k be (-13)/((0 - -4) + -3). Let w(c) = -3*c - 6. Is 4 a factor of w(k)?
False
Is 17 a factor of (-2804)/14*((-26)/4 - -3)?
False
Let q = 18 + -6. Let y be (-3)/q - 9/(-4). Suppose -4*c + 6*b - 2*b = -64, 34 = y*c - b. Does 9 divide c?
True
Suppose -g - 5*g = -444. Let u = g + -36. Is u a multiple of 38?
True
Let g(k) = -k + 8. Let o be g(0). Suppose -13 = -5*h - o. Suppose 13 = d + v, 4*v + h = d - 2. Is 3 a factor of d?
False
Let m(g) be the second derivative of g**4/12 - 11*g**2/2 + 5*g. Let n be m(-9). Suppose 2*i + 3*x - 15 = 8*x, -n = -3*i - 2*x. Does 5 divide i?
True
Suppose -3*c + 32 = -2*c. Let n = c + -20. Does 6 divide n?
True
Suppose -3*w - 5*p + p + 232 = 0, 143 = 2*w + 5*p. Does 3 divide w?
True
Suppose -4*a + 22 - 90 = 0. Let s = -2 - a. Does 3 divide s?
True
Let r be (-1 - (2 - 0)) + (12 - 5). Suppose 2*y + 128 = r*y. Does 16 divide y?
True
Let n(x) = x**3 + 9*x**2 + 5*x - 8. Let j be n(-8). Suppose 0 = -2*p - 2*p + j. Suppose o + 3*s = 20 + 9, -3*o + p*s + 113 = 0. Is 25 a factor of o?
False
Let l(s) = 136*s**2 + s - 2. Let j(a) = 272*a**2 + 3*a - 5. Let m(c) = -2*j(c) + 5*l(c). Is 15 a factor of m(1)?
True
Let p(n) = 11*n**2 - 8*n - 19. Let c(y) = -10*y**2 + 4*y + 9. Let i(f) = -f**2. Let o(b) = -c(b) + 5*i(b). Let x(l) = 9*o(l) - 4*p(l). Does 2 divide x(6)?
False
Suppose 0 = -5*a - 2*b + 9, -4 - 5 = -4*a - b. Suppose 8*u - a*u = 90. Suppose l - 2*n = u, 4*l + 2*n - 28 = -n. Is 10 a factor of l?
True
Let t be (-44)/(-10) + (-4)/10. Suppose 0 = -t*z + 46 + 98. Is z a multiple of 10?
False
Let g(d) = -49*d + 1. Let c(o) = -48*o + 1. Let l(a) = -5*c(a) + 4*g(a). Let y(t) = 44*t - 1. Let h(m) = -3*l(m) + 2*y(m). Does 15 divide h(-1)?
True
Let b(r) = r**2 - 8*r - 5. Let i be b(9). Suppose 181 = 2*c - 3*f - i, 4*c - 380 = -4*f. Is 47 a factor of c?
True
Suppose 4*u = 2*c + 26, 4*u - 14 = 3*c + 17. Suppose 0 = 3*a - 15 + 6. Suppose 3*b - 33 = -a*q, -u*q + 29 = 3*b + q. Does 3 divide b?
False
Let p(h) = -h - 1. Suppose -3*z - 15 = -3*g, 0 = -5*z + 5*g - 2*g - 23. Let b be p(z). Suppose -b*i + 2*c + 32 = 0, -i + 6*c - 3*c = 1. Is 4 a factor of i?
False
Let r(v) = 11*v**2 - v. Let k be (-2)/(-9) - 18/81. Suppose k = 2*p - 0 - 4. Is r(p) a multiple of 21?
True
Let h = -411 + 771. Is h a multiple of 15?
True
Let r = -6 + 295. Does 17 divide r?
True
Let f = 5266 + -3394. Is 48 a factor of f?
True
Suppose -5*n + x = -2462, 5*x - 15 + 0 = 0. Is 55 a factor of n?
False
Suppose -5*y + 1976 = -4*y. Is 38 a factor of y?
True
Does 50 divide (226/4)/((-28)/(-168))?
False
Suppose r + 2*q - 1956 = -82, -2*r + 3775 = -5*q. Is r a multiple of 20?
True
Suppose 0 = -2*t + r - 15, 2*t - 5*r = -14 - 21. Is 146 - (t - -6)/((-1)/(-3)) a multiple of 13?
True
Suppose -4*b + 7 = -13, 3*b - 95 = -5*t. Suppose -t + 62 = r. Is 9 a factor of r?
False
Let x(d) be the first derivative of d**3/3 - d**2/2 - 26*d + 34. Is 13 a factor of x(17)?
False
Let u be 12/(-12) + (0 - -3). Suppose -18 = 4*z + 2, -u*z + 35 = 3*h. Is h a multiple of 5?
True
Suppose 66*k + 616 = 70*k. Is k a multiple of 7?
True
Suppose 4*p - 2*p - 127 = 3*a, 3*a - 97 = -2*p. Let x = p - 46. Does 3 divide x?
False
Let d = -28 + 35. Suppose 0 = d*y - 5*y - 190. Is 19 a factor of y?
True
Suppose -1260 = -4*t + t - 3*i, 0 = 4*t - 5*i - 1716. Let k = -268 + t. Does 13 divide k?
True
Let r = 30 + -21. Let x(o) = -3*o - o + 2*o**2 + 0*o**2 + r*o + 2. Is 22 a factor of x(-6)?
True
Let a(x) be the first derivative of x**4/4 - x**3/3 - x**2 + 2. Let f be a(4). Let q = 8 + f. Is q a multiple of 24?
True
Let a = -780 - -1380. Is 60 a factor of a?
True
Let x = -14 - -8. Let q(r) = 3*r**2 - 8*r - 36. Does 60 divide q(x)?
True
Suppose -4*g + 4 = 5*p, p + 0*g = g + 8. Let k be 196 + 1/(-2)*p. Suppose -4*q + k = 30. Is q a multiple of 14?
False
Suppose 4*r - 3*j + 2*j = 8, 3*j + 2 = r. Suppose 0 = -0*m - r*m. Suppose m = -3*v - 135 + 354. Is 21 a factor of v?
False
Let z = 18 - 14. Is ((2 + 2)/z - -1) + 121 a multiple of 27?
False
Suppose -6*w = -2*w + 252. Suppose 2*z - 9 = 31. Let m = z - w. Is m a multiple of 15?
False
Let l be 0 + ((-4)/(-4) - -4). Suppose c - 71 = 5*m, 5*c - l*m - 143 - 132 = 0. Does 7 divide c?
False
Let j = 4 + -4. Suppose j = 2*w + 9 - 79. Is 19 a factor of w?
False
Suppose c + 1 - 2 = 0, -g + 4*c - 2 = 0. Suppose -3*b = -2*z + g*b, -4*z + 26 = 3*b. Is 2 + z/((-20)/(-56)) a multiple of 8?
True
Let p be (-4)/(-6)*(-60)/(-8). Suppose -4*o + p*o - 92 = -5*h, -48 = -3*h - 3*o. Does 6 divide h?
False
Suppose 0*j + 3*j = 12. Let g be (4 - 4)/j + 3. Is 15*((3 - 5) + g) a multiple of 3?
True
Let v(z) = -z**3 + 12*z**2 + 28*z - 11. Let s be v(14). Let n(b) = 2*b**2 + 16*b + 27. Is n(s) a multiple of 31?
True
Suppose 0 = 4*y - 0*m - 5*m - 2775, -5*m = -3*y + 2085. Suppose 4*s + 151 = -l + y, s - 161 = 5*l. Is 17 a factor of s?
True
Let q(d) = -d**2 + 5*d + 8. Let k b