= -h - 3*r. Does 35 divide h?
True
Suppose -5*i + 39 = -16. Let w = 26 - i. Is 9/w + (-1368)/(-20) a multiple of 21?
False
Let z(c) be the first derivative of -7*c**2/2 + 13*c - 1. Suppose 2*b + 27 = -3*f, -b = -2 + 5. Does 11 divide z(f)?
False
Let i be (-6 + 7)/((-2)/(-4)). Suppose -g + 0*l + 175 = i*l, 0 = -2*g - 3*l + 345. Let a = -109 + g. Is 14 a factor of a?
True
Let o(p) = -4*p + 60. Let l(s) = 77*s - 1141. Let j(t) = -3*l(t) - 56*o(t). Is j(0) a multiple of 10?
False
Let a = -8 - -38. Suppose m = 6*m + 2*f + a, -3*f = 2*m + 1. Let k(o) = o**3 + 8*o**2 - 2*o - 2. Does 6 divide k(m)?
False
Let n(d) = -d**3 + 6*d**2 + 7*d + 3. Let u be n(7). Suppose -u = -f - 0*f. Suppose -f = -a + 45. Is a a multiple of 24?
True
Suppose -4*v = 6 - 26. Suppose -4*p + 5*x + 525 + 214 = 0, p - 181 = v*x. Suppose -i + p = 2*i. Is i a multiple of 16?
False
Let b = -105 - -107. Is 3/b*692/6 a multiple of 19?
False
Let c(r) = r**3 - 6*r**2 + 7. Let d be c(5). Suppose o - 47 = -o - s, s = 1. Let q = o + d. Is q even?
False
Let v be (-1 + -1)*(-21 - 49). Suppose -34 = -s + v. Does 29 divide s?
True
Suppose 33*f - 10206 = 24*f. Is f a multiple of 18?
True
Let o be (-26)/(-10) + 2/5. Let l = o + 116. Does 28 divide l?
False
Suppose 3*i - 6 - 6 = 0. Suppose -d + 2 - 125 = -f, -i*f = -3*d - 489. Does 40 divide f?
True
Let o(s) = 3*s + 36. Let b be o(-13). Is 21 a factor of 12/66 - b/(33/229)?
True
Does 101 divide (-2)/6*(-2290 - -7)?
False
Is 5 a factor of (-11)/((-66)/456) - 8/(-2)?
True
Let j(i) = 2*i**2 - 13*i + 20. Let r be (244/20 - 4) + (-1)/5. Is j(r) a multiple of 23?
False
Suppose 3*n - v - 709 = 0, 701 = 3*n - 7*v + 2*v. Let j = n + -75. Is j a multiple of 9?
True
Let o = 6347 + -4413. Is 8 a factor of o?
False
Suppose 0*x = -3*l + 5*x + 193, -5 = x. Does 36 divide l?
False
Suppose -112 - 80 = -w. Let u be ((-6)/(-8))/(12/w). Suppose 2*r - u = -4*j, 2*j - 13 = -4*r + 23. Does 5 divide r?
True
Let g = 87 - -3. Let p(a) = -2*a - 6. Let d be p(-6). Is (4/d)/(4/g) a multiple of 15?
True
Let d(x) = -6 - 8*x + 6*x - 8*x - 3*x. Is 9 a factor of d(-2)?
False
Suppose -8*c + 5*c + 6 = 0. Suppose b - 36 = -f, -c*f = -3*b + f + 90. Is 4 a factor of b?
False
Suppose -68*o - 16530 = -87*o. Does 15 divide o?
True
Let w = 26 - -2. Let b = 31 - w. Suppose 3*k + b*u - 213 = 0, -3 + 221 = 3*k + 4*u. Is 11 a factor of k?
True
Suppose 3*u - 2*u + 1 = 0. Let c be 4 + 42/(-10) - (-213)/15. Does 6 divide 6*(c/(-4))/u?
False
Suppose 148 = -3*f + 2*b - 0*b, 168 = -3*f - 3*b. Let j = 222 + f. Is 19 a factor of j?
False
Suppose 0 = 20*b - 21*b - 1. Let a = 6 + b. Suppose r = 4*n - 4, -a*n = -4*r - n + 32. Does 4 divide r?
True
Let l be 2*(14/4 + 0). Let j be 1*4/(-4)*-2. Suppose -j*f - 6 - l = -t, 8 = 4*f. Is t a multiple of 4?
False
Let l be 0/(4/(-3 + 5)). Suppose -4*z + l*g = 2*g - 12, -3*z - 3*g + 12 = 0. Suppose m = 3*c - 94, 2*c = 6*m - z*m + 76. Does 9 divide c?
False
Let z be 24/(-8) + -1 + 9. Suppose -z*f - 172 = -9*f. Does 10 divide f?
False
Let j = 1479 + -222. Is j a multiple of 54?
False
Suppose -2*t - 1 = -5. Suppose 0 = 2*u - t - 6. Suppose u*h - 2*h + 4 = 2*k, 3*k - h - 14 = 0. Does 3 divide k?
True
Let u = -84 + 89. Suppose -u*p + 626 = 216. Does 41 divide p?
True
Let b(l) = -l**3 + l**2 + l + 4. Let g be b(0). Suppose -g*r - s = -121, s = 5*r - 130 - 10. Does 2 divide r?
False
Suppose 5*w = 4*w + 176. Is 8 a factor of w?
True
Suppose 0 = -5*t - 0 + 5. Let q = 4 + t. Suppose 150 = q*o - 2*o. Is 10 a factor of o?
True
Let u(c) = -c**3 + 13*c**2 + 12*c + 19. Let k be u(14). Let d be 8/10*(k - -14). Suppose -f = 4*g - 4, 0 = f - d*g - 13 - 23. Is f a multiple of 4?
True
Let s be 15/3*((-108)/15 - 2). Let c = s + 60. Is c a multiple of 3?
False
Let r be (-6)/9 + 214/6 + 1. Let s = 38 - r. Is s a multiple of 2?
True
Let m(s) = -3*s**2 - 2*s**2 - 11*s - 5 - s**3 + 0*s**2 - 2*s**2. Let z be m(-5). Suppose -h - 3*h + 5*k + 289 = z, -h = -2*k - 70. Is 13 a factor of h?
False
Let u = -167 - -367. Is 9 a factor of u?
False
Let m(k) = -57*k - 57. Let d be m(9). Let u = -314 - d. Does 16 divide u?
True
Let n = -81 + 81. Suppose 2*v - 5*m - 123 = n, 2*v + 3*v + 3*m = 261. Does 6 divide v?
True
Let v(w) = -w**2 - 7*w + 6. Let n be v(-8). Is 18/n*(-140)/15 a multiple of 14?
True
Let i(o) = 2*o**2 - 2*o + 3. Let m be i(3). Suppose -m = 5*s - 4*c, -2*c = -4*c. Does 19 divide s*(2 - 42/2)?
True
Does 16 divide ((-1 - 441) + (-3 - -2))/(-1)?
False
Suppose -2*q + 34 + 4 = 5*z, -q + 34 = 5*z. Does 5 divide z?
False
Let k(j) = 6*j**2 + 4*j + 21. Let z be k(-6). Let x = -95 + z. Suppose -6*v = -38 - x. Is 13 a factor of v?
True
Let j(h) be the first derivative of h**4/4 - 2*h**3/3 - 3*h**2/2 + 3. Let z be j(3). Suppose 51 = -4*v + 6*v - 3*q, -4*v + q + 77 = z. Is v a multiple of 18?
True
Let g(c) = -c - 1. Let s(r) = -32*r + 16. Let i(a) = -3*g(a) - s(a). Is i(4) a multiple of 15?
False
Let p(s) = -s**3 - 5*s**2 + 8*s + 3. Let v be p(-6). Is (-79)/v + 12/54 a multiple of 2?
False
Suppose -171*f + 176*f = 1050. Is 30 a factor of f?
True
Suppose -2*l + 2*n + 4 - 2 = 0, -4*l = 2*n - 16. Suppose -4*a - l*w = -118, a - 6*w + w - 41 = 0. Does 22 divide a?
False
Let n(r) = -13*r + 469. Is n(-29) a multiple of 3?
True
Let b(k) = -17 - 11*k + 21*k - 7*k - 9*k. Is b(-5) a multiple of 13?
True
Let k be (-1 + 4)/((-9)/(-6)). Suppose 42 = k*i + 2*p, 74 = 4*i - 4*p - 50. Is i a multiple of 5?
False
Suppose -37 = -n + 5*t - 0*t, 5*n + 2*t = 104. Suppose n*k = 25*k - 54. Does 7 divide k?
False
Let l(c) = c**2 - 8*c + 8. Let f be l(7). Let i = 14 - f. Is i a multiple of 6?
False
Let u(v) = 36*v + 164. Is u(31) a multiple of 64?
True
Let i be (6 - 3) + -5 - -170. Suppose 3*m = -5*c + i + 28, 5*m - 2*c - 306 = 0. Suppose -3*n + 350 = m. Is n a multiple of 20?
False
Let c(k) = -467*k + 370. Is c(-6) a multiple of 13?
True
Suppose -2*m = -u - 7*m + 47, 2*m - 98 = -4*u. Suppose 6*i - 8 - u = 0. Does 4 divide i?
False
Suppose -4*q + 2*u - 11 = 23, -42 = 5*q - 2*u. Does 11 divide q - -4 - (-42 - -5)?
True
Let y be 44/55 - (-248)/(-10). Let u(t) = -t**3 + 6*t**2 + t + 2. Let m be u(6). Is (-1044)/y*m/6 a multiple of 16?
False
Let d(o) = 42*o - 4. Let j be d(-3). Let c = -90 - j. Does 11 divide c?
False
Is 28 a factor of 1/((-5)/(-9765)*7)?
False
Let k(y) = -5 + 1 + y + 3 + 3 + y**2. Let x be k(0). Suppose 191 = 4*c + 5*l, 5*l - 2*l = x*c - 79. Is c a multiple of 10?
False
Let x(u) = -3*u + 6*u**2 - 4*u**3 + u**3 + 2*u**3 + 14 + 2*u**3. Is 4 a factor of x(-5)?
False
Let q(w) = 9*w - 12*w + 13 + 2*w**2 - 7*w. Is q(16) a multiple of 62?
False
Suppose 3*g - g - 3 = o, -4*o - 5*g = -27. Suppose -o*d + 20 = -28. Does 4 divide d?
True
Let d = -55 - -26. Let v = -11 - d. Is 12 a factor of v?
False
Let t(q) be the third derivative of -q**4/24 - 2*q**3 - 11*q**2. Let c be t(-14). Suppose c*b - 18 = 4. Does 11 divide b?
True
Suppose 3*g - 22 + 13 = 0. Suppose 4*o = -d + 3*o, -d = g*o. Is d - (-1 + -7*17) a multiple of 30?
True
Suppose -k + 368 = -2*r + 28, 5*k - 1720 = 5*r. Does 18 divide k?
False
Let k = -49 - -53. Suppose -2*q - v - 1320 = -7*q, 0 = -k*q - 4*v + 1080. Is 48 a factor of q?
False
Let x = -1475 - -1779. Is 3 a factor of x?
False
Let r be 56/20 + (-1)/(-5). Let s(p) = -14 + 10*p + 8*p**2 + 5 - 2*p**r + p**3 - 2*p**2. Is s(7) a multiple of 4?
True
Suppose -4*w + 2*d = 32, 0 = -3*w - 5*d + 3 - 1. Is 8 a factor of (20/(-25))/(w/525)?
False
Let v(l) = -15*l**3 - 12*l**2 - 13*l. Let f(c) = -7*c**3 - 6*c**2 - 6*c. Let b(s) = -13*f(s) + 6*v(s). Let i be b(-6). Let q = 29 - i. Does 8 divide q?
False
Let b(g) = g**3 - 9*g**2 - 8*g - 1. Let p be b(6). Let f = -79 - p. Is 26 a factor of f?
True
Let k(b) = -b**3 - 8*b**2 + 8*b - 26. Does 18 divide k(-11)?
False
Let a be 6/4 + 3 + 15/(-6). Suppose -g + p + 103 = -0*p, -2*p = a*g - 190. Is g a multiple of 33?
True
Suppose 3*r = -2*n + 21 + 1, 0 = 5*n + 2*r - 44. Let c = 219 + -234. Is 4 a factor of n/(-3)*c/10?
True
Is (-6)/(-4)*(-62586)/(-81) a multiple of 61?
True
Let k(f) be the second derivative of -f**5/20 + 5*f**4/6 - 3*f**3/2 + 6*f. Let t be k(9). Suppose q - 5*z = 92 - 23, 4*q + 4*z - 156 = t. Is q a multiple of 22?
True
Let n = -11 + 7. Let s(k) = 10*k**3 + 2*k - 3. Let p be s(1). Is 3 a factor of (n/(-6))/(p/162)?
True
Suppose 2*m = 3*t + 29, m + 7 = t + 20. Su