se -3*k + 88 = -k - 2*q, 2*q - 142 = -3*k. Suppose 15*u = 16*u - k. Does 19 divide u?
False
Suppose -4 = 4*a, 2*a - 13 = -q + 2*q. Let s = q - -51. Does 18 divide s?
True
Suppose i - 2 = -0*i + 2*w, w + 45 = -5*i. Let j = i + 1. Let m(t) = t**3 + 7*t**2 - 4*t - 8. Does 7 divide m(j)?
False
Let d(c) = -c**2 + 15*c + 9. Let s be d(15). Let v = -2 - s. Is 22 a factor of v/(1 + (-5)/4)?
True
Let w(i) be the second derivative of -4*i**3/3 - 7*i**2/2 - i. Suppose -16 = -6*s + 2*s, 0 = -a + 4*s - 20. Is w(a) a multiple of 7?
False
Suppose -4*d - 36 - 28 = 0. Let m(p) = -p**3 + 6*p**2 + 7*p - 3. Let r be m(7). Let j = r - d. Does 13 divide j?
True
Let x(i) be the second derivative of 29*i**3/6 - i**2/2 - i. Suppose 2*f - 10 = -2*h, -10*f + 2*h - 13 = -13*f. Is 21 a factor of x(f)?
False
Suppose -1546*n + 1554*n = 7720. Is 100 a factor of n?
False
Let t be -3 - (-1)/(4/32). Suppose -609 = 3*k - t*m, -6 + 3 = m. Is k/(-6)*6/4 a multiple of 18?
False
Let n(u) = -u**3 + 17*u**2 + 17*u + 18. Let j be n(18). Suppose z + 315 = 5*b - j*z, -3*b + 167 = -5*z. Is b a multiple of 16?
True
Let x = 34 - 28. Suppose -x*f + 660 - 228 = 0. Does 9 divide f?
True
Suppose -2*u = 15 + 9. Let c = 23 + u. Let g = 0 + c. Is g a multiple of 10?
False
Let g be 28056/(-105) + 0 + 1/5. Let t = -86 + -103. Let q = t - g. Is q a multiple of 19?
False
Let n(v) = v**3 + 18*v**2 + 15*v - 18. Is 16 a factor of n(-7)?
True
Suppose -t + 138 - 51 = 0. Suppose -h - t = -2*w - 2*h, 3*h - 220 = -5*w. Is w a multiple of 18?
False
Let h = 372 - 288. Is 12 a factor of h?
True
Suppose -3*n - 15 = 0, -f + 5*f - 28 = 4*n. Suppose 0*g + 29 = -5*g - x, f*x = -2*g - 10. Is 4 a factor of 84/8 - g/(-4)?
False
Let h(a) be the first derivative of -a**5/20 - 3*a**4/4 + 5*a**3/3 + 11*a**2/2 + 3*a - 6. Let i(s) be the first derivative of h(s). Is 11 a factor of i(-10)?
True
Suppose -2249 = -12*d - 677. Is 22 a factor of d?
False
Suppose -8 = 4*q, -4*q - 955 - 93 = -5*s. Does 11 divide s?
False
Suppose -2*s - 6 = 0, -44 - 6 = -u + s. Let g = 6 + u. Does 6 divide g?
False
Suppose 0*g + g = 6*g. Suppose -4*n = -5*u + 319, -5*u + g*n = n - 314. Is u a multiple of 9?
True
Suppose -4*x - 814 = -2*i - 3*i, 0 = -2*i + 4*x + 316. Does 6 divide i?
False
Let s be (-2)/8 - (-260)/16. Is 17 a factor of 2*-2*4/s*-221?
True
Suppose 0*m - m + 865 = 3*u, -8 = 4*m. Suppose -2*z = -5*t + u, 4*t + 2*z = 5*z + 234. Is 11 a factor of t?
False
Suppose n = 2*q - 3*q + 2844, 2*n + 4*q = 5694. Is 60 a factor of n?
False
Let h(t) = t. Let a(d) = -2*d - 35. Let x(g) = -a(g) - 4*h(g). Let v be x(0). Suppose -5*y = -0*f - f - 98, 2*y = -f + v. Is y a multiple of 8?
False
Suppose 6*n - 1344 = 1866. Is n a multiple of 33?
False
Let s be (-3 + 2)/(1/(-2)). Suppose -9 = -3*k + s*o - 2, -13 = -4*k - o. Is 13 a factor of (-2 + 1)*k + 29?
True
Let p be 46/(-161) - 172/(-14). Let g(n) = 21*n + 24. Does 46 divide g(p)?
True
Let g = 471 + 55. Suppose 0*h + b = -5*h + 652, -g = -4*h - 3*b. Is h a multiple of 10?
True
Let j be (9/6)/(-3)*(-3 - 3). Suppose 153 = j*c - 15. Is c a multiple of 8?
True
Let y(u) = -48 - 6*u + u**3 - 111*u**2 + 43*u**2 + 55*u**2. Is 8 a factor of y(14)?
True
Let j = -39 + -7. Let q = j - -266. Is 22 a factor of q?
True
Let s = -2517 + 2895. Is s a multiple of 7?
True
Let j = 312 + -220. Is 4 a factor of j?
True
Let d = -13 - -17. Let w be d*(7 + (-9)/(-3)). Let z = 59 - w. Does 19 divide z?
True
Suppose 5*a - 20 = -0*a - 5*q, -4*a = -3*q - 51. Let g = a + -7. Is 6 a factor of ((-7)/g)/((-3)/18)?
False
Let i(a) be the first derivative of -9*a**2/2 + 14*a - 1. Let t be i(-11). Suppose -5*f + t = 3. Does 11 divide f?
True
Let h(n) = 6*n**2 - n. Let z be h(-1). Suppose -2*v - z = -0*x + x, 0 = x - v - 8. Suppose 0 = w + o - 51, -3*o - 2*o + 143 = x*w. Is w a multiple of 19?
False
Let l(s) = -s**2 + 14*s + 22. Let p be l(15). Let d(z) = z**2 - 5*z + 1. Does 13 divide d(p)?
False
Let a be 71/4 + (-9 - -5)/(-16). Is (128/5)/(a/90) a multiple of 32?
True
Suppose 4*c + 1860 = -0*c. Let h be (-10)/15 - c/9. Suppose 0 = -2*r + 4*f + 42, -r - 2*r = -2*f - h. Is r a multiple of 15?
True
Suppose 0 = -w - j + 8, -12 - 5 = -4*w - j. Suppose b - w*i = 186, -3*i - 3 - 3 = 0. Is 56 a factor of b?
False
Let w(x) be the third derivative of x**6/120 - 7*x**5/60 - x**4/24 + 3*x**3/2 + x**2. Let y be w(7). Does 8 divide (60/(-35))/(y/(-21))?
False
Let z be -4*(3/(-2))/(-3). Let y(p) = -5*p - 1. Let t be y(z). Let u = t + -5. Is u a multiple of 4?
True
Suppose -6*g + g + 1045 = y, -3*g + 627 = 2*y. Is g a multiple of 11?
True
Let j(t) = 17*t - 240. Is j(18) a multiple of 5?
False
Let a(k) = -34*k**3 + k**2 - 1. Let u be a(-1). Let z = u + 3. Suppose -3*v + z = -35. Does 8 divide v?
True
Let u(p) = -p**3 + 24*p**2 + 4*p + 87. Does 29 divide u(24)?
False
Let l(o) be the first derivative of 3/2*o**2 - o - 3 - 2/3*o**3 + 1/4*o**4. Is l(3) a multiple of 10?
False
Is (-26 - 46)*(-8)/6 a multiple of 24?
True
Let l = 90 - 25. Suppose -l - 55 = -4*b. Let j = -9 + b. Is 6 a factor of j?
False
Let g = 397 + -78. Is 19 a factor of g?
False
Is 73 a factor of -1 - -446 - (31 - 24)?
True
Let g be 8/3*(212/(-8) - -1). Let l = g - -176. Is l a multiple of 16?
False
Let k be 18/(-2 - 0) - 2. Let i = 50 + k. Suppose 5*l - 129 = -i. Is l a multiple of 9?
True
Suppose 2017 = 4*p - 1987. Is p a multiple of 91?
True
Suppose -6557 = -145*k + 66*k. Does 2 divide k?
False
Suppose 84 = 4*w - 8*w. Let y = 15 + w. Let a(c) = -c**3 - 4*c**2 + 7*c + 6. Is 6 a factor of a(y)?
True
Suppose -d + 93 - 14 = 0. Suppose 0*t = -t + d. Suppose n + 4*m = t, m = -2*n - 3*n + 395. Does 20 divide n?
False
Let k(r) be the third derivative of r**5/60 + 7*r**4/24 - 2*r**3/3 - r**2. Suppose -d + 3*n + 28 = -5*d, 4*n = -2*d - 4. Is 16 a factor of k(d)?
False
Let x = 4 - 2. Let n(c) = 8*c**2 + 5*c + 6. Let b(w) = 7*w**2 + 6*w + 7. Let y(i) = -5*b(i) + 6*n(i). Is 24 a factor of y(x)?
False
Suppose -4*y - 20 = 0, 4*c - y = -4*y - 19. Is (-120)/(-35)*(41 - (c + 0)) a multiple of 18?
True
Suppose -26*o + 9959 = -10607. Is o a multiple of 7?
True
Is (6 + 119/(-14))/((-2)/924) a multiple of 33?
True
Let r(l) = -11 + l**2 - 7*l - 11 + 2*l + 6. Does 25 divide r(-6)?
True
Let j(i) = i**3 + 2*i**2 - 2*i + 1. Let c be j(-3). Let s(h) = -h**3 + h**2 + 2*h. Let f be s(c). Is (3 - 3) + 2*f a multiple of 16?
True
Let g be 3465/14 - ((-6)/(-4) - 2). Suppose -7*w - w + g = 0. Is 7 a factor of w?
False
Let f be 4/6*105/10. Let o = 2 + f. Does 9 divide o?
True
Let f(i) = 16*i**2 + 6*i - 5. Let z be f(3). Suppose -2*s - 2*s + z = -5*l, -s + 3*l = -48. Is s a multiple of 3?
True
Is (-6)/(-5)*(-1 - (-172)/12) a multiple of 3?
False
Suppose -5*q + 5*n + 1 + 4 = 0, -5*n - 1 = -4*q. Suppose -q*t + 3*h + 20 = 4, 0 = 2*t + 2*h - 22. Suppose 0 = -t*u + 824 + 2. Is 29 a factor of u?
False
Let t = 28 + -39. Let c be (-3*2)/2 + 19. Let a = c - t. Does 14 divide a?
False
Suppose 0*q + 2*q = 10. Let i(v) = -7*v - 1. Let f be i(-1). Suppose -204 = -f*g + g + 4*y, q*y = 3*g - 112. Is 19 a factor of g?
False
Suppose 2*y - 5 = -n + 2, 3*y - 28 = -5*n. Suppose -5*b = n*g + 35, 4*g - 49 = 4*b + g. Is (25/b)/(2/(-20)) a multiple of 10?
False
Let j = -32 - -35. Suppose h = -j*h + 12, 2*p - h = 285. Is p a multiple of 9?
True
Suppose -j + 187 = -4*v + 736, 5*v - 2*j = 690. Is v a multiple of 16?
False
Suppose 5*m - 72 = m. Let g(w) = w**2 - 3*w - 4. Let p be g(0). Let j = p + m. Is j a multiple of 7?
True
Suppose -65*u + 68*u - 1443 = 0. Is 12 a factor of u?
False
Suppose 2*s - 1 = 5*m - 11, 5*m + 3*s = 10. Suppose 82 = m*u - 2*w, -5*u - 2*w = 3*w - 235. Suppose 5*x = 4*i + x - u, -43 = -5*i - x. Is i a multiple of 4?
False
Suppose 0 = -n - 4*p + 16, 5*p + 2 = 12. Suppose -l - l + n = 0. Suppose 3*j - 76 = l*i - 3*i, 0 = -3*i + 15. Does 8 divide j?
False
Let f(y) = y + 32. Let u be f(-13). Let k = u - 25. Is 6 a factor of k/8 - (-225)/12?
True
Let a = 87 - 33. Suppose -9*g = -12*g + a. Is 18 a factor of g?
True
Let v = -331 - -953. Is 23 a factor of v?
False
Suppose 21 = -3*g + 6, w + 2*g - 257 = 0. Does 20 divide w?
False
Suppose -i = 5*l - 4 - 12, 0 = -2*l + 4. Suppose 31 + i = h. Is h a multiple of 13?
False
Suppose f + 12 = 4*f. Suppose -f*v - 24 = 4*n, 0*v - 8 = 3*v + n. Is (2/(-3))/(v/78) a multiple of 13?
True
Let z be (-2)