k) = 14*k - 1. Is h(r) a multiple of 18?
False
Suppose -36*l + 10*l = -14274. Is 61 a factor of l?
True
Let j(x) = x**2 - 4*x + 4. Let t be j(2). Suppose t*c + 6*c - 372 = 0. Is c a multiple of 7?
False
Suppose -18*i = -22*i. Suppose 5*o + 19 - 59 = i. Is 4 a factor of o?
True
Let f = 539 + -284. Is f even?
False
Let y(q) = q**2 + 17*q - 17. Let d be y(-20). Suppose d = -4*s + 5*s. Is 43 a factor of s?
True
Let q = -22 + 13. Let t be (24/18)/(2/q). Does 5 divide 9/6*(-20)/t?
True
Let s(f) = -f - 1. Suppose -4*b + 3*u + 5 = 0, u + 6 = -6*b + 3*b. Let o be s(b). Suppose 5*d - 138 = -2*p - 20, -2*p + 8 = o. Is d a multiple of 22?
True
Suppose 2*t + 68 = 4*v + 4*t, -2*v = -2*t - 46. Let n = v - 17. Suppose -15 = -n*j + 9. Is j a multiple of 10?
False
Let h = -225 - -255. Let m be (2 - 1)*-1*-2. Suppose -4*x = -5*n + 44, 3*n - h = x + m. Is 3 a factor of n?
True
Let z(c) = -c**3 - 4*c**2 + 3*c - 7. Let s be z(-5). Suppose 2*u - 52 = o, 8*u - 3*u - 132 = 2*o. Suppose s*k = 97 - u. Is 5 a factor of k?
False
Let y(v) = 22*v - 33. Is 33 a factor of y(6)?
True
Let y(h) = -h**2 + h + 36. Let z be y(0). Let n(t) = t. Let v be n(2). Suppose v*s - z = -12. Is s even?
True
Let n(o) be the first derivative of o**3 + 3*o**2 - 7*o - 6. Let h be n(-6). Suppose 2*c = z - 70, z - h = 4*c + 11. Does 16 divide z?
True
Let u = -35 + 80. Suppose 0 = -3*s + 4*v + 124 - 14, 3*v + u = s. Is s a multiple of 6?
True
Let g = -1020 + 1319. Does 6 divide g?
False
Let f = -73 + 124. Suppose 0 = -5*a + f + 279. Is 6 a factor of a?
True
Let b = 44 + -44. Suppose -4*o = h + 2*h - 3, b = -5*o + 2*h + 21. Does 3 divide o?
True
Is (-1)/(7/42) + (-2 - -312) a multiple of 9?
False
Let b be (10/1)/(26/(-13)). Let z(g) = -5*g - 3. Let h be z(b). Let x = h - -5. Is x a multiple of 9?
True
Let g be 2/12 + (-145)/(-30). Suppose -85 = -g*f - 3*u + 731, 5*f - 837 = 4*u. Does 33 divide f?
True
Suppose -3*t = -0*t + 3*d - 474, 0 = 5*t + 3*d - 788. Is t a multiple of 25?
False
Suppose -145*l - 156 = -133*l. Let m(q) = -q**2 - q - 1. Let z(w) = -w**3 - 10*w**2 + 13*w + 4. Let v(k) = 2*m(k) + z(k). Does 8 divide v(l)?
False
Let c(q) = 8*q**2 - q + 1. Let h = -9 - -11. Let o be c(h). Let m = 8 + o. Is m a multiple of 8?
False
Let t(z) = -15*z + 13. Let b be t(9). Let u = -27 - b. Does 19 divide u?
True
Let v = -89 - -89. Suppose 0 = -5*g - 25, 3*w + 5*g - 72 - 386 = v. Is w a multiple of 23?
True
Let h(k) be the second derivative of k**5/20 - k**4/2 - 5*k**3/6 - k**2 - k. Does 5 divide h(7)?
False
Suppose 21 = 4*b - z, -b = -3*b - 4*z + 24. Let n(o) = 3*o**2 - o - 5. Is n(b) a multiple of 28?
False
Let w(l) = 7*l**2 - l + 4. Let r = 24 + -19. Let v(h) = h**2 - 3*h - 8. Let u be v(r). Is w(u) a multiple of 15?
True
Let g = 2362 + -1621. Does 6 divide g?
False
Suppose -6*r = -2*r - 12. Suppose r*u = -0*u + 15. Suppose -7*h - 5*k = -2*h - 190, 5*h - u*k = 140. Does 11 divide h?
True
Let i be (18/(-8))/(138/(-368)). Let z(j) = -j + 2*j + 3*j. Does 12 divide z(i)?
True
Suppose -11 = -4*g - g + 2*l, 3*g + 3*l = 15. Suppose g*u - 64 = u. Let t = u - 18. Is t a multiple of 7?
True
Suppose -3*w - 14*f = -11*f - 1377, 5*w - 5*f - 2285 = 0. Does 24 divide w?
False
Let n = -85 + 247. Let v = n + -54. Is v a multiple of 40?
False
Suppose 0 = u - 5*h - 32, -u + 4*u = -h + 16. Suppose -5*n + u = -13. Suppose -5*t + n*k = -3 - 187, -t = k - 47. Does 21 divide t?
True
Suppose 0 = 4*v - 2812 - 548. Does 30 divide v?
True
Suppose 804 = -6*c + 198. Let a = 90 - c. Does 13 divide a?
False
Suppose -41*i + 27*i + 1428 = 0. Is i a multiple of 25?
False
Let g = 478 - 147. Suppose 149 = -o - g. Does 11 divide 4/6 - o/9?
False
Suppose 0 = -4*i - 2*k + 130, 0*k = -4*i - k + 133. Suppose 4*d - 5*d = -i. Is 4 a factor of d?
False
Let i(m) = 8*m**2 - 28*m + 32. Is i(9) a multiple of 23?
False
Let g(d) = -d**3 - 9*d**2 - 3*d + 3. Let q(t) = t. Let p(f) = g(f) - 4*q(f). Let z be p(-8). Let w = 11 + z. Is w a multiple of 6?
True
Let m(j) = -20*j + 30. Let q = -64 + 55. Does 12 divide m(q)?
False
Suppose 3*d + 4*j - 56 = -3, 0 = -d + 4*j - 9. Is 3 a factor of d?
False
Suppose -r = -2*m + 14, -r - 2*m = -3*m + 11. Suppose -4*n = -0*n - 32. Is 5 a factor of (-6)/n + (-126)/r?
True
Let l(a) = -4*a - 2. Let k be l(-7). Let v = k - -10. Is v a multiple of 31?
False
Let u(i) be the third derivative of -i**6/40 + i**5/15 + i**4/6 + i**3/3 + i**2. Let s be u(-2). Let f = 70 - s. Is f a multiple of 12?
True
Let p = 1783 - 1166. Is 19 a factor of p?
False
Is ((-36)/9)/((-3)/54) a multiple of 6?
True
Let b(l) = 2*l**2 + 7*l + 1. Let s be 0 + 7/(21/6). Let a be -10 + -1 + s + 2. Does 17 divide b(a)?
False
Let p be (9/3 + -6)*5/(-3). Suppose -4*n + s + 561 = 0, 5*n - p*s = -s + 704. Is 35 a factor of n?
True
Let m(d) = -2*d**2 - 53*d - 26. Let y be m(-23). Let i = y + -107. Is i a multiple of 9?
False
Does 3 divide ((-11 + 9)*-111)/(-2 - -4)?
True
Let d(o) be the second derivative of -6*o**3 - o**2/2 - o. Let f be d(-1). Suppose -5*w = -4*g - 30, f = 4*w - 0*g - g. Does 3 divide w?
False
Let q be (-36)/(-126) + 5626/7. Suppose -v - q = -5*v. Suppose 0 = 5*n + 3*a - v, -n + 4*a = -3*n + 86. Does 7 divide n?
False
Suppose -7*p = -13*p - 30. Let i = p - -29. Does 8 divide i?
True
Suppose 5*d - 143 = 3*v, -v - 32 = 2*d + 23. Let q = v - -99. Does 14 divide q?
False
Let n = 1324 + -826. Is 60 a factor of n?
False
Let v(n) = -24*n - 9. Let y(j) = 77*j - 78*j + 2 - 3. Let d(a) = 2*v(a) - 22*y(a). Is d(-2) a multiple of 14?
True
Let k(y) be the second derivative of 3*y**5/10 - y**4/6 - 5*y**3/6 + 6*y. Let p(i) be the second derivative of k(i). Is p(2) a multiple of 21?
False
Let s(j) = 2*j**2 - 5*j + 1. Suppose c = 3*c - 10, -20 = -5*o - c. Suppose -o*p = -7*p + 16. Is 13 a factor of s(p)?
True
Let y(m) = 2*m**2 + 9*m + 451. Does 58 divide y(0)?
False
Suppose 3 = -3*x, -2*m - 1 - 2 = -3*x. Let b be m/((4/8)/(-1)). Let g(t) = t**2 + 3*t - 9. Is 15 a factor of g(b)?
True
Let p be 18 + (-4 - (-4 - -2)). Suppose p = 5*m + 3*h, 4*m = 6*h - h - 2. Suppose 5*q - 4 = m*x, 5*x - 2*q - 22 = 10. Does 3 divide x?
False
Let l = 75 + -72. Suppose -147 = -l*x - 3*j, -4*x + 2*x + 2*j + 86 = 0. Does 13 divide x?
False
Suppose -3241 = -3*t - 4*t. Is t a multiple of 27?
False
Let r(b) = -10*b - 2 + b + 2*b**2 - 3. Let l(k) = 2*k**2 - 8*k - 4. Let v(a) = 5*l(a) - 4*r(a). Is v(3) a multiple of 2?
True
Let t be 12/5 + 4/(-10). Suppose 3*d + d + 3*v = -6, 8 = t*d - 4*v. Does 18 divide (d + 24)/((-22)/(-33))?
True
Suppose -876 = -7*m + 6*m. Is 13 a factor of (4/6)/(-2 + 1760/m)?
False
Let k be (1 - 48)/((-141)/72 + 2). Does 25 divide 8/(-6) - -1 - k/9?
True
Suppose -2*v = -5*v. Let c(n) = n - 3. Let g be c(v). Let r = 5 - g. Does 5 divide r?
False
Suppose -4*o - j = -10238, 2*j - 10240 = -32*o + 28*o. Is 67 a factor of o?
False
Let c be 27/(-2)*8/(-12). Is 7 a factor of (-54)/45*(-210)/c?
True
Let a = -1818 + 3191. Does 30 divide a?
False
Let g(c) = c**2 - 4*c - 10. Let y be g(5). Let m = 22 + y. Suppose -4*n + 55 + m = 0. Is n a multiple of 9?
True
Let n be 6/21 - (-261)/(-7). Let t be n/(15/4 + -4). Suppose 0 = -2*x + 4*x - 4*z - t, 3*x + 5*z = 189. Does 17 divide x?
True
Let s(u) = 1 - 4 - 6*u**2 + 4*u + 2*u + u**3. Let k be s(5). Suppose m + 5*q = 49, 62 = m + k*q + 10. Does 15 divide m?
False
Is 15 a factor of (0 + 843)*(-17)/(-51)*2?
False
Suppose 0 = -4*t + 2*c + 12, -4*c + 8 = t - 4. Suppose 787 = 4*p - g - 59, -t*p - 3*g = -838. Is 46 a factor of p?
False
Let d(l) = l**2 - 2*l + 7. Let w be d(-7). Suppose -9*f = -11*f + w. Is f a multiple of 7?
True
Let q(y) = -y - 4. Let l be q(6). Let w be 12/(-30) + (-4)/l. Suppose w = 19*i - 18*i - 19. Is 10 a factor of i?
False
Does 7 divide 1 + 468 + (-49)/(-7)?
True
Does 4 divide 3 + 86*(-3)/(-6)?
False
Suppose 4*l - 5*n = -2*n - 60, n = -4*l - 76. Let o be 4/l - 910/(-45). Suppose 0*h + o = 4*h. Is 3 a factor of h?
False
Does 15 divide 405/(-2)*(-24)/36?
True
Does 74 divide (-10841)/(-5) + (2 - (-77)/(-35))?
False
Suppose 21 + 51 = 2*a. Let f = 115 + -31. Let b = f - a. Does 12 divide b?
True
Let i = 11 + -7. Let o be i + -2 + 2 - 0. Suppose o*l - 59 - 73 = 0. Is 11 a factor of l?
True
Let q = 818 - 516. Is 8 a factor of q?
False
Suppose -2*x + 3*x = 2*z, -3*z + 3*x = 0. Does 5 divide ((-33)/(-4))/(6/16 + z)?
False
Suppo