2 - 6 - f. Is 12 a factor of h(-2)?
True
Suppose -20 = -4*m + 3*s + 57, 4*m = 2*s + 78. Is m a multiple of 5?
True
Let l be 8/10*(7 + 8). Let u = -6 + l. Let q(x) = -x**3 + 6*x**2 + 3*x + 4. Is 7 a factor of q(u)?
False
Let u(w) = -4*w - 33. Let o be u(-9). Suppose 2*s + o*n = 7 + 17, 3*s = 2*n + 62. Is s a multiple of 2?
True
Suppose -4*v - 3*f = -6*v - 74, -164 = 4*v + 2*f. Let t(q) = q**3 + 5*q**2 - 2*q - 6. Let u be t(-6). Let g = u - v. Is 8 a factor of g?
False
Let h = -7 + 0. Let a(v) be the second derivative of v**5/20 + 7*v**4/12 + 5*v**2 + 17*v. Is a(h) a multiple of 5?
True
Let p(k) = k**3 + 22*k**2 + 36*k - 13. Let d(a) = -2*a**3 - 45*a**2 - 72*a + 25. Let c(q) = -3*d(q) - 7*p(q). Is 25 a factor of c(-17)?
True
Let j be 2/4*(4 + 2). Let q be 374/66 + 1/3. Suppose 27 = j*g - q. Does 11 divide g?
True
Let d(c) = -c**2 - 2*c + 2. Let r be d(-4). Let m(s) = s**2 - 3*s + 2. Let t be m(r). Let l = t + -23. Is 10 a factor of l?
False
Suppose 5*f - 11*o + 7*o - 1246 = 0, -f + 2*o + 248 = 0. Is 25 a factor of f?
True
Suppose 3*h + 7 = 2*i, -2*i - 4*h + 44 = 2*i. Is -95*(-4)/i*2 a multiple of 19?
True
Let o(j) = -18*j + 2. Let g be o(2). Let f = g - -56. Suppose -5*n + f + 23 = 0. Is n a multiple of 7?
False
Let h(r) = 20*r**3 - r + 1. Suppose 0 = 2*y + 8, -3*o + o - 10 = 3*y. Let q be h(o). Is 0/6 + q/1 a multiple of 6?
False
Suppose 4*v - v - 525 = -3*d, d = -4*v + 685. Suppose -2 + v = 3*x. Is x a multiple of 8?
True
Let j(c) be the first derivative of c**6/180 + c**5/40 - c**4/6 - 7*c**3/3 - 6. Let y(i) be the third derivative of j(i). Is y(-3) a multiple of 2?
False
Suppose 24*o + 30 - 606 = 0. Is 6 a factor of o?
True
Suppose 3*z = -0*z - 3*b + 369, b + 1 = 0. Suppose z = 3*s - 11. Is 15 a factor of s?
True
Suppose i - 6*i - 926 = 4*j, -2*i + j - 373 = 0. Let l = i + 317. Is 34 a factor of l?
False
Let m be (-1016)/(-14) - (-60)/(-105). Let c = m - -40. Is c a multiple of 16?
True
Let o(j) = j**3 - 6*j**2 - j + 3. Let n be o(5). Does 17 divide (74/18)/(9/n)*-9?
False
Let q(p) = 2*p**3 - 10*p**2 + 14*p - 5. Suppose 5*h + 2 = d + h, 3*h - 33 = -5*d. Does 9 divide q(d)?
False
Let g(l) = l**3 - 6*l**2 - 11*l - 5. Let h be g(7). Let j = h + 58. Is 13 a factor of j?
False
Suppose 3 = t + 2. Let y = 3 + t. Suppose 5*f + 7*l - 3*l - 39 = 0, 0 = 3*f - y*l - 49. Is 9 a factor of f?
False
Let z be (2 - 56/26) + 2660/52. Let d = 12 - 7. Suppose 5*j - 13 - 57 = -d*g, 4*j - z = g. Is j a multiple of 6?
False
Suppose -34 = 3*t - 4*u + 37, 0 = -u + 5. Suppose -37 = -7*a + 166. Let x = t + a. Is 4 a factor of x?
True
Let l be 0 + 4 + -3 + (-10)/(-1). Let i(y) = -y**2 + 15*y + 74. Does 11 divide i(l)?
False
Suppose -81*p = -77*p - 2316. Does 24 divide p?
False
Suppose 39*c = 41*c - 8. Suppose 86 = -4*k + 6*k - 2*q, 5*q = c*k - 171. Is k a multiple of 22?
True
Is 3/((-3)/(-70))*9 a multiple of 7?
True
Let b(h) = -2*h**3 - 43*h**2 + 16*h + 48. Does 20 divide b(-22)?
True
Suppose -j = 4 - 13. Suppose 4*m + 0*m = -w + 13, 0 = -w - 3*m + j. Is 17 a factor of w/3 - (-68 - 1)?
True
Let b(r) = 15*r**2 - 2*r + 6. Is 18 a factor of b(-6)?
True
Let y = -2 + 8. Suppose y*g - g = 0. Let k(t) = 2*t + 52. Is k(g) a multiple of 16?
False
Let l = 432 - -78. Is l a multiple of 56?
False
Suppose -5*p + 154 + 201 = 5*v, -3*p + 9 = 0. Suppose -z = -2*h - v, -260 = -z - 3*z + 5*h. Does 20 divide z?
True
Let s(g) = g + 2. Let w = 3 + -7. Let h be s(w). Does 9 divide -18*h/(4/3)?
True
Let n be (8 + -3)/10*4. Suppose -n*d = -7*d. Suppose d = -5*t - 2*y + 143, 23 + 67 = 3*t - 3*y. Is 29 a factor of t?
True
Suppose j - 7 = -1. Let k(s) = 2 + s**3 - 4*s**2 + s + 4*s**3 - 4*s**3 - j. Is 19 a factor of k(6)?
False
Let l(r) = 18*r + 2. Let m(y) = y**2 + y - 1. Let q be m(1). Let p be l(q). Suppose p = 3*u - u. Is 7 a factor of u?
False
Let g = -11 + 13. Suppose g*z = -z + 240. Is 20 a factor of z?
True
Let h(p) = 3*p + 14. Let l(g) = 5*g + 27. Let t(q) = 11*h(q) - 6*l(q). Let y be t(4). Suppose -15 = -f - 3*m + 1, 64 = y*f - 2*m. Does 8 divide f?
True
Suppose -u + 2 = -4*h, 5*h = -0*h. Suppose -27 = -u*s + 91. Let z = -39 + s. Is 10 a factor of z?
True
Is (712/10 - -2)/(88/1760) a multiple of 4?
True
Let m = 21 + -17. Suppose 2*f = 4*u - 2*u + 28, u = -m*f + 51. Is 8 a factor of f?
False
Let g(x) = x**3 + 18*x**2 - 28*x - 54. Does 13 divide g(-19)?
True
Let o = 634 - -1490. Is 18 a factor of o?
True
Suppose 4*k - 3*j = 11 + 6, 4*k - 2*j - 18 = 0. Suppose 0 = 3*x - 1 + 7, 0 = 5*b + k*x - 820. Is 33 a factor of b?
False
Let p(b) = 3*b - 2. Let t be p(-4). Let q(y) = -y**3 + 5*y**2 + 11*y - 21. Let v be q(6). Is 2 a factor of (t/6)/((-3)/v)?
False
Let a = -243 + 474. Is a a multiple of 11?
True
Let t(r) = r**2 - 2*r - 4. Let c be t(-2). Let v(f) = 5*f**2 + f - 4. Let m be v(c). Does 30 divide 18/(-4)*m/(-6)?
True
Suppose -18*z = -5*z - 4095. Does 15 divide z?
True
Let c = 23 - 22. Let y be (4 - c) + (-2 - -6). Is 49*(6/y - 0) a multiple of 10?
False
Suppose -6*f = -13*f - 77. Let z = 102 + f. Does 13 divide z?
True
Let i = 1511 + 820. Is i a multiple of 12?
False
Let s(v) = -v**2 - 8*v + 17. Suppose 3*t - 6*o + 144 = -2*o, -5*t - 3*o = 240. Let x be (-106)/12 - (-8)/t. Is 7 a factor of s(x)?
False
Does 9 divide (-1 + (0 - 0))/((-10)/8850)?
False
Does 16 divide -2*(-56)/(-16) + 343?
True
Suppose r - 2975 = -5*q + 1011, -2*q = 3*r - 1584. Does 37 divide q?
False
Let g = 168 - 128. Does 5 divide g?
True
Suppose -26*l - 8 = -28*l. Is 5*l/10 - -61 a multiple of 17?
False
Let n be (387/7 - -1) + 16/(-56). Suppose -6*c + n = c. Is 5 a factor of c?
False
Let b(d) = -36*d + 2. Let l(p) = -37*p + 3. Let f(h) = -3*b(h) + 2*l(h). Is f(2) a multiple of 33?
False
Suppose -9 = -5*a - 3*o, -3 = 5*a - 2*o + o. Suppose 0 = -4*g - 8, -4*s + 2*g - 64 + 252 = a. Does 15 divide s?
False
Suppose -11 + 3 = -a. Suppose 0 = -a*y + 12*y - 240. Does 11 divide y?
False
Let h be -2 - 1/3*9. Is 20 a factor of (-2)/h*1300/26?
True
Suppose 0 = 36*q - 33*q - 18. Does 64 divide (14 + -2)/(q/160)?
True
Let g = -1485 - -2019. Is 41 a factor of g?
False
Suppose 4*y + 0*y - 12 = 0. Suppose 8*c + 36 = 4*c. Is 23 a factor of y/c - 695/(-15)?
True
Let q = -323 + 230. Let m = -42 - q. Suppose -3*n + m = -36. Is n a multiple of 27?
False
Let o = 266 + 430. Is 24 a factor of o?
True
Let j = 8 + -16. Let z = 425 + -377. Does 3 divide (-143)/j + 6/z?
True
Let v = -9 - -99. Is 15 a factor of 298/5 + 36/v?
True
Is 10/((-889)/(-175) + -5) a multiple of 10?
False
Let i be -94 - (-20)/30*9/2. Let q = i - -336. Is 21 a factor of q?
False
Suppose 0*w + 3*o + 216 = 5*w, -5*w + 4*o = -218. Suppose 2 = -2*h + w. Does 6 divide h?
False
Let g = 2220 + 2232. Is g a multiple of 12?
True
Let s be 11/(-4) + 2 + 18/(-8). Let y(m) = -31*m + 3. Does 44 divide y(s)?
False
Let y = 23 + -23. Suppose y = -4*n - 4, 5*n - 48 = d + 17. Let v = d + 103. Is 7 a factor of v?
False
Suppose 14*v - 5*r = 11*v + 1053, r = 0. Does 10 divide v?
False
Let n be 356/30 + 10/75. Suppose 0 = -5*o + 4*i - n + 118, 2*o - 2*i - 44 = 0. Does 10 divide o?
False
Suppose s - 4*i + 3 = 0, -4*s - 51 = -9*s - 2*i. Suppose 0 = s*t - 892 + 298. Is 8 a factor of t?
False
Let n be 0/(-1 + 1 + 1). Suppose -5*w + 135 = 5*c - n*w, 4*w = 4*c - 100. Is c a multiple of 18?
False
Suppose 4*f - 3*f + 9 = -4*d, 5*d = f. Is 5/((-15)/(-144)) + f a multiple of 13?
False
Let s(w) = -3*w**3 + w**2 + 3*w + 456. Does 19 divide s(0)?
True
Let o(t) = 457*t**3 + 2*t**2 - t. Does 4 divide o(1)?
False
Suppose -4*z - 25 = -0*d + 3*d, -z - 16 = 4*d. Let q = -3 - z. Is ((-1)/1)/q - -27 a multiple of 6?
False
Suppose 281 - 275 = 3*u, 3422 = 5*x + u. Does 19 divide x?
True
Suppose 3*m - 14 = -l, 30 = 4*l + 2*m - 3*m. Suppose -293 - 267 = -l*a. Does 14 divide a?
True
Let r(q) = 280*q + 17. Does 13 divide r(2)?
False
Let m(d) = -6*d + 218. Does 17 divide m(-28)?
False
Let q = -31 + 6. Let c = q + 47. Is c a multiple of 5?
False
Let q(o) = 12*o**2 - 83*o + 14. Is q(10) a multiple of 48?
True
Let r(i) = -18*i**2 - i - 4. Let w be r(-2). Let l = w - -137. Is l a multiple of 7?
True
Suppose k = 5*s - 12, -k + 4*k - 8 = 4*s. Let g be 12/10*(-15 + 20). Is ((-45)/(-6))/(g/k) a multiple of 5?
True
Let o(k) = -14*k - 8. Is 6 a factor of o(-4)?
True
Suppose 0 = -4*l + 4 + 12. Let t be l/3 + 24/36. Suppose t*w + 2*w = 