(-1). Suppose k = h - 4. Is 7 a factor of h?
True
Suppose 0*o + 2*o = -2, 3*a = 3*o + 3. Suppose -2*d - 3*d - x - 35 = a, 3*x = -d + 7. Let m = d - -72. Is 16 a factor of m?
True
Let k(c) = -2*c**3 - 5*c**2 - c + 6. Let h be (-1)/((-3)/(-27)) + 4. Is k(h) a multiple of 29?
False
Let s(x) = -21*x + 14. Let w(m) = 11*m - 7. Let k(q) = -3*s(q) - 5*w(q). Suppose 0 = -4*n - d + 7, -5*n = 3*d - 0*d - 7. Is 7 a factor of k(n)?
False
Suppose g + 13 - 16 = 0. Suppose 0 = -5*b + g*i + 78, -b - 4*i + 10 = -6*i. Is 5 a factor of (-12)/b - 154/(-6)?
True
Let q = 28 + -28. Suppose g = b + b + 37, q = -4*b. Is g a multiple of 18?
False
Let c = 692 - -87. Is c a multiple of 19?
True
Suppose -12*c + 44460 = 14*c. Is c a multiple of 15?
True
Let f(d) be the second derivative of d**6/120 - d**5/6 + d**4/2 - 5*d**3/3 - d**2/2 - 6*d. Let j(w) be the first derivative of f(w). Is j(9) a multiple of 6?
False
Does 48 divide -1 + 3 - 6462/(-18)?
False
Let d(j) = -110*j**2 + 2*j - 7. Let p(y) = 55*y**2 - y + 4. Let q(b) = -6*d(b) - 11*p(b). Is q(-1) a multiple of 27?
True
Suppose -3*f - 399 = 432. Let n = 524 + f. Suppose 2*t - 2*o - n = -t, 0 = o + 2. Does 27 divide t?
True
Is 336/(-10)*(-90)/27 a multiple of 8?
True
Let g(v) = 21*v - 93. Let d(h) = -10*h + 46. Let q(t) = 9*d(t) + 4*g(t). Is q(-24) a multiple of 33?
False
Let k = -574 + 549. Let f = -25 - 9. Let p = k - f. Is 9 a factor of p?
True
Let r(o) = o**3 + 6*o**2 - 9*o + 2. Suppose -2*g = -3*f + 9, -2*g = 4*f - 2*f + 14. Is r(g) a multiple of 12?
False
Suppose 0 = -2*w - 941 + 3887. Does 11 divide w?
False
Let p(h) = h**2 + 7*h. Let k be p(-6). Let b = -2 + k. Let n = b + 29. Is n a multiple of 9?
False
Suppose 412 = 5*r + 4*v - 6989, 5 = -5*v. Does 12 divide r?
False
Suppose 4*s - 8*s = 0. Suppose 4*c - 99 + 547 = s. Let o = -29 - c. Is 28 a factor of o?
False
Let b(h) = h**3 - h**2 - 11*h + 355. Is 8 a factor of b(0)?
False
Let c(g) = g**3 - 4*g**2 - 7*g + 2. Let w be c(-5). Let m = -81 - w. Is 28 a factor of m?
False
Does 6 divide 1 - (-927)/12 - 11/44?
True
Let i(u) = 17*u - 22. Is 22 a factor of i(22)?
True
Let x be 2583/(-6)*(-6)/9. Suppose -3*o - 80 + x = 0. Is 23 a factor of o?
True
Let c = -272 - -422. Is 15 a factor of c?
True
Let f(v) = -4*v**3 + v. Let u be f(-1). Suppose -x + 2*y = -0*x - 14, -4*y + 52 = u*x. Suppose -28 = -4*q - 4*m, -5*q + x = 4*m - 22. Is q a multiple of 5?
True
Let c = 192 + -111. Suppose 4*j - 98 - 2 = 4*x, 2*x - 5*j + 59 = 0. Let a = c + x. Does 16 divide a?
False
Suppose p - 21 = -2*k, 5*k - 24 = 3*k + 2*p. Suppose -k = -6*m + 5*m. Does 9 divide m?
False
Let l be -1 + (5 - 4) + -17. Let n = -14 - l. Suppose -3*y - w - 3*w = -33, y - 11 = n*w. Does 5 divide y?
False
Suppose 3 = j - 0. Suppose 0 = -3*a - 4*t - 39, -j*t = -a - 26. Let w = -1 - a. Is w a multiple of 6?
False
Let o(v) = 3*v - 5. Let s be 4*4/32*4. Let b be o(s). Is -3*(20/(-12))/b a multiple of 2?
False
Let i = -1013 + 1032. Is 2 a factor of i?
False
Suppose 50 = -2*k + 4*w, -2*k - 8*w - 50 = -3*w. Is 8 a factor of 80 - 5/k*0?
True
Let u(d) = -2*d**3 + 2*d**2 - 5*d + 4. Let c(s) = 3*s**3 - 4*s**2 + 9*s - 7. Let a(f) = 4*c(f) + 7*u(f). Is 3 a factor of a(-2)?
True
Let i(k) = -2*k**3 + 23*k**2 + 28*k + 22. Let n be i(13). Suppose -2*p + 5*c - 130 = -0*p, -4*p - c - 282 = 0. Let w = p - n. Is 14 a factor of w?
False
Let s = -2 - -8. Let d be (-2)/((36/(-15))/s). Suppose g = d*g - 432. Is g a multiple of 36?
True
Let m(d) = 2*d**2 + d - 1. Let y be m(1). Suppose -3*t - c + 10 = -27, 3*t - y*c - 34 = 0. Is 10 a factor of t?
False
Suppose h = -4*h. Suppose 0 = 3*q - h*q - 132. Suppose 4*k - 4*v = -0*k + q, 3*v - 45 = -3*k. Does 12 divide k?
False
Let d = 461 - -1662. Is d a multiple of 18?
False
Suppose 0 = l - y, 36 = 5*l - 0*y + 4*y. Suppose -l*s + 15 = 3. Suppose s*i - 4*i + 25 = 0. Does 5 divide i?
True
Let v = -1635 + 2857. Is v a multiple of 37?
False
Suppose 5*v - 94 = 3*v. Suppose 0 = -3*i + 19 + v. Does 5 divide i?
False
Let o = -1791 + 2862. Does 119 divide o?
True
Suppose 5*y - 4*d = 3*y + 170, 5*y - 477 = -3*d. Let p = 6 - 4. Suppose -p*t = -5*t + y. Does 17 divide t?
False
Let s(l) = -372*l - 2. Is s(-1) a multiple of 10?
True
Suppose -20 = -6*a + 2*a. Suppose s + 0*y = 4*y + 47, y - 130 = -a*s. Does 12 divide s?
False
Let f(o) = -o**3 + 4*o**2 - 3*o + 5. Let x be f(2). Suppose 5*t - 32 + x = 0. Suppose 2*s + 3*d = 3 + 7, -5*s + t*d + 75 = 0. Is 8 a factor of s?
False
Let p(d) = 235*d**2 + d. Let j(s) = 7*s - 71. Let t be j(10). Does 38 divide p(t)?
False
Let r(w) = 36*w - 7. Let x be r(4). Let o = x - 119. Is 9 a factor of o?
True
Let f = 1144 - 169. Is f a multiple of 59?
False
Let i(y) = 69*y - 11. Let g be i(6). Suppose -86 = -v + w, 0*w + g = 5*v + 4*w. Let a = v + -57. Is a a multiple of 13?
True
Let j(l) = -48*l + 372. Is j(6) a multiple of 37?
False
Let i(s) = 12 + 12 + 4 + 17 - 5*s. Is 5 a factor of i(8)?
True
Let f = 8 + -3. Suppose 0*h + 3*q = -h - f, -5*q = 5*h - 5. Suppose 15 = k + h. Does 10 divide k?
False
Let k be (-8)/16 - (-2)/4. Is 120 + 2 - (3 - (k + 0)) a multiple of 37?
False
Let r(b) = b**3 - 6*b**2 + 4. Let q be r(6). Suppose o + 2 = 3*y + 11, 0 = -4*o + q*y + 44. Suppose 76 = -o*f + 14*f. Does 11 divide f?
False
Let n(o) = 4*o**2 - 5*o - 3. Let j(k) = -k - 8. Let z be j(-10). Suppose -z*f = -4*f, -5*i = f - 30. Is n(i) a multiple of 37?
True
Suppose 0*u - 2*r - 2378 = -4*u, 3*r = -4*u + 2403. Suppose 0 = -5*q + 643 + u. Is q a multiple of 16?
False
Let r = -16 + 18. Let a be 2*(4 - (-23 + r)). Let b = 110 - a. Does 12 divide b?
True
Let b = 531 + -392. Is b a multiple of 56?
False
Suppose q + 20 = 5*q. Suppose 0*s = q*s. Suppose -g + 4*x + 32 = s, 30 = g + 3*x + 12. Is 12 a factor of g?
True
Is (1*(-52)/65)/(4/(-810)) a multiple of 54?
True
Let v(n) = 5*n**3 + 15*n**2 - 10*n - 2. Let m(q) = 4*q**3 + 14*q**2 - 10*q - 2. Let t(i) = 6*m(i) - 5*v(i). Let o be t(8). Does 22 divide o + 132 - 8/2?
True
Suppose -f - 520 = -10*l + 7*l, 0 = 3*l - 4*f - 532. Does 84 divide l?
False
Let s(j) = 2*j**3 - 37*j**2 - 27*j - 36. Is 48 a factor of s(20)?
True
Does 13 divide ((-20)/10 + 5)/((-1)/(-76))?
False
Suppose 244*n = 246*n - 226. Is 4 a factor of n?
False
Suppose 0 = -14*c + 5*c. Suppose 304 = 4*m + 5*r - 33, -5*m + 3*r + 375 = c. Is 26 a factor of m?
True
Let m(u) = 3*u**2 + 16*u - 4. Is 30 a factor of m(-8)?
True
Let g(r) = 5*r**3 + 10*r**2 - 9*r + 10. Is g(5) a multiple of 14?
True
Suppose 3*l + 4 = -l. Let m(w) = 36*w**2 + 1. Is 9 a factor of m(l)?
False
Let j(b) = -b**3 - 7*b**2 - 12*b - 18. Let s be j(-13). Is 8 a factor of s/112*(8 - 1)?
True
Let d be 4 - (4/8)/((-3)/6). Suppose -571 = -3*l - 5*j, 4*l + d*j + 0*j = 763. Is l a multiple of 32?
True
Let f = 2864 - 1002. Does 49 divide f?
True
Suppose 5*w - 2523 = -2*b, -2017 = -0*w - 4*w - 3*b. Is w a multiple of 11?
False
Let y(i) = 8*i - 13. Suppose -43*u - 24 = -47*u. Is y(u) a multiple of 5?
True
Let d = 10388 + -6762. Does 64 divide d?
False
Suppose -3*d - 3*a = -255, 245 = 5*d - 2*d + a. Is d a multiple of 72?
False
Suppose -s + 2*s + 3*k - 18 = 0, 21 = 4*s - 5*k. Let n(o) = 4*o + 21. Is n(s) a multiple of 13?
False
Suppose 2*s + 8*y - 3*y = 246, -2*s + 5*y + 286 = 0. Let x = 241 - s. Is 12 a factor of x?
True
Let i = -12 - -18. Suppose 0 - i = -3*j. Suppose j*y = -w + 33, -9 = -y - 0*y + 2*w. Does 8 divide y?
False
Let d be (-12)/21 - (2892/(-14) + -1). Suppose -r + 2*h = -60, -5*h = 5*r - 93 - d. Is 5 a factor of r?
True
Does 12 divide (-15)/(-1) + (9 - 10)?
False
Suppose 0 = -2*x + 5*l + 51, x + 6*l - 21 = 4*l. Let f = -103 + x. Let k = -54 - f. Is k a multiple of 26?
True
Suppose -f = 3*a - 74, -2*f + 4*f = -3*a + 157. Does 13 divide f?
False
Suppose -4*m + 2*r + 86 = 0, 3*m = 2*r + 13 + 53. Suppose 0 = -4*d + 20 + 40. Let f = d + m. Is f a multiple of 22?
False
Suppose 237 = 4*z - z. Let h = z + -62. Is h even?
False
Let g = 127 - -27. Is 14 a factor of g?
True
Let t(f) = -33*f - 2. Suppose 78*g = 79*g + 4. Does 26 divide t(g)?
True
Let y(m) be the third derivative of m**7/1680 - m**6/90 + m**5/30 + 4*m**2. Let w(v) be the third derivative of y(v). Is w(6) a multiple of 3?
False
Suppose b = -3*k + 5, -2*k = 2*b + 2*k - 10. Suppose b*o = -30 + 790. Is o a multiple of 19?
True
Let k be (10/(-5))/((-2)/4). Does 2 divide (-1 