= -4*k + 172, 0 = 2*k + 3*j - 84. Suppose -k = -z - 2*v, 5*z + 2*v - 231 = v. Is 14 a factor of z?
False
Let z(c) = 18*c + 2. Let u be z(2). Let k(d) = 18*d + 1. Let a be k(1). Suppose -3*r = -u - a. Does 7 divide r?
False
Let z(d) = d**2 - d. Let w(x) = 3*x**2 - x + 5. Let s(n) = -w(n) + 4*z(n). Does 11 divide s(6)?
False
Suppose 0 = -5*g - 3*o - 13, -2*g + o = -2*o + 22. Let q = g - -22. Is q a multiple of 4?
False
Let k(s) = -s + 24. Let c(p) = -p**3 + 6*p**2 - 6*p + 5. Let t be c(5). Let l be k(t). Suppose -3*f + 0*f = -l. Is f a multiple of 3?
False
Let d = -20 - -76. Let y = 99 - d. Is 14 a factor of y?
False
Let q(y) = 4*y + 3*y - 3 + y + 1. Let h = -4 - -9. Is q(h) a multiple of 19?
True
Suppose 4*l = -65 + 861. Is 23 a factor of l?
False
Does 6 divide 32 + ((-6)/(-9))/(3/18)?
True
Let h(n) = -19*n - 2. Let m be h(-4). Let q = m + -27. Is 10 a factor of q?
False
Let y(j) = -j**3 - 2*j**2 + 13*j + 3. Is 8 a factor of y(-5)?
False
Suppose 5*l = 211 + 354. Suppose 2*c + 50 = a, -l = 4*a - 2*c - 301. Is a a multiple of 23?
True
Suppose 0*f + 3*f + 302 = 4*x, -5*x + 5*f + 375 = 0. Is x a multiple of 2?
False
Let b = -14 - -29. Is (b/4)/(1/4) a multiple of 15?
True
Let n(s) = -s + 14. Let y be n(11). Suppose y*x - 2 = 1. Is 19/x - (2 - 5) a multiple of 10?
False
Suppose 2*d + 2*r = -84, -92 = 4*d - r + 51. Let g = d - -108. Is 19 a factor of g?
False
Suppose 4*l = 3*t - 201, l = -2*t - 2*l + 134. Let r = t - 43. Does 10 divide r?
False
Let g(z) = 4*z**3 + 2*z + 0*z**3 + 10*z**2 - 5*z**3 - 12. Is g(10) a multiple of 8?
True
Let b(g) = -g**2 - 13*g - 2. Does 4 divide b(-3)?
True
Suppose 9 = -3*i - 9. Let w(z) be the first derivative of 2*z**3/3 + 3*z**2 + 15. Is 12 a factor of w(i)?
True
Suppose -45 - 19 = -4*p. Does 8 divide p?
True
Suppose 2*s + 12 = 4*k, 3*s = -3*k + 6 + 21. Suppose -k*a = -3*a - 116. Is a a multiple of 15?
False
Let q(i) = 4*i**2 - 3 - 2*i**2 - i**2 - 3*i. Is q(-4) a multiple of 7?
False
Suppose -l = -5*u, l = 4*u - 0*l. Suppose -3*g + 108 = -u*g. Does 11 divide g?
False
Suppose -2*d + 180 = -2*a, d - 280 = -2*d + 5*a. Is d a multiple of 17?
True
Let u(s) = -2*s**2 - 9*s - 32. Let o(l) = -l**2 - 4*l - 16. Let p(x) = -9*o(x) + 4*u(x). Let z be p(0). Does 3 divide 108/z - 6/8?
True
Let c(b) = b**3 + 8*b**2 - 2*b - 10. Let l(f) = f**2 + f - 8. Let o be l(0). Let w be c(o). Does 3 divide ((-4)/w)/(3/(-18))?
False
Let i be 7/((-14)/(-184)) - 0. Let j be ((-6)/4)/((-2)/(-84)). Let v = j + i. Is v a multiple of 15?
False
Let g(z) be the second derivative of 2*z**3/3 - z**2/2 + z. Suppose -4*o + 1 + 3 = 0. Does 2 divide g(o)?
False
Let p = 15 + 255. Does 45 divide p?
True
Suppose 2*x = -3*u + 73, -2*x - 42 + 107 = -5*u. Is x a multiple of 3?
False
Suppose 1 - 94 = -3*p. Is p a multiple of 9?
False
Suppose -6*a + a + 390 = 0. Suppose -5*z + 290 = -4*n, -25 = -2*z - n + a. Is z a multiple of 12?
False
Let n(u) = u**2 + 5*u - 1. Suppose 0*o + 2*o = -12. Let c be n(o). Let b = c + 2. Is b a multiple of 7?
True
Let w = 14 + 0. Does 9 divide w?
False
Suppose 4*h + 424 = 8*h. Is 29 a factor of h?
False
Let s(w) = 5*w - 4. Is 8 a factor of s(8)?
False
Let i(c) = -11*c - 40. Is 25 a factor of i(-15)?
True
Suppose 7*x + 5*p = 11*x - 81, 3*p - 81 = -3*x. Does 5 divide x?
False
Suppose g - 80 = -5*v + 90, -g - 5 = 0. Is v a multiple of 7?
True
Suppose -5*l + 15 = -0*l. Let u be l - (3 - 0)/(-3). Suppose 0 = u*f - 20 - 76. Is f a multiple of 12?
True
Let i = -68 + 140. Is 9 a factor of i?
True
Suppose -12*y = -2*y - 610. Is y a multiple of 8?
False
Suppose -5*n - 6 = -2*a, 2*a + 3*n = 4 + 2. Let h = a - 0. Suppose -15 = -h*x - 2*x. Is 2 a factor of x?
False
Suppose 5*w - 2*w = 2*x - 118, 2*w = x - 58. Is x a multiple of 31?
True
Let n be (-12)/5 - (-4)/10. Let q = n - -8. Does 6 divide q?
True
Let x = 44 - -36. Does 40 divide x?
True
Suppose -p + 5*v + 0*v + 1 = 0, -3*v = p - 1. Does 27 divide (p - -63) + 2 + -2?
False
Is 70 a factor of 8/(-36) - (10320/(-27) - 2)?
False
Let f(r) = -16*r - 1. Is f(-2) a multiple of 9?
False
Let q be -1 + 2 + -1 + -10. Let h = 25 + q. Is h a multiple of 6?
False
Suppose 65 = 4*z - 59. Does 10 divide z?
False
Let p(h) = 3*h**2 - 7*h - 10. Suppose -3*d + 20 + 7 = 0. Let x be p(d). Is x/8 - (-2)/(-8) a multiple of 9?
False
Suppose -49 = -5*t + 156. Does 9 divide t?
False
Does 37 divide (21/(-14))/((-3)/296)?
True
Suppose 14*j + 382 - 2146 = 0. Does 14 divide j?
True
Let x(p) = -11*p**2 + 4*p - 5. Let g(f) = 11*f**2 - 5*f + 6. Let b(r) = -6*g(r) - 7*x(r). Is 13 a factor of b(-2)?
True
Suppose 0 = x + n + 8, -x + 0*x - 13 = -4*n. Let i = 4 - x. Is 11 a factor of i?
False
Let q be (-224)/(-12) - (-3)/9. Suppose 4*s = -4*n + 28, 0 = -5*n + 3*s - 4*s + q. Suppose o = v - o - 6, -29 = -4*v + n*o. Is v a multiple of 5?
False
Suppose 50 + 75 = 5*g. Is 3 a factor of g?
False
Let k = 13 - -4. Suppose 61 - k = 4*a. Is a a multiple of 4?
False
Let z(r) = -r**2 + 5 + 7 + 10*r + 2*r - 1. Is 19 a factor of z(9)?
True
Let o = -156 - -252. Is 16 a factor of o?
True
Let p = 115 - 28. Is 16 a factor of p?
False
Let t be 7/2 - (-6)/4. Suppose -2*l - p = -0*l - 11, l - t*p = 0. Is l a multiple of 4?
False
Suppose 3*i + 15 = 0, -2*i = 5*w + 3*i - 285. Does 22 divide w?
False
Suppose -a - 5*d + 298 = -d, 3*d = -a + 300. Does 13 divide a?
False
Let a(f) = -6*f**3 + f**2 + 2*f + 1. Let s be a(-1). Let b = 9 - s. Does 14 divide ((-6)/(-5))/(b/50)?
False
Let m be (-1)/((-23)/(-8) - 3). Suppose m = 5*p - 37. Let d = 18 - p. Does 3 divide d?
True
Let w be (-1)/(-4) - (-22)/8. Suppose 11 = w*f + f + p, 4*p + 24 = f. Does 12 divide f/8 - 23/(-2)?
True
Suppose -3 = -4*l - 3*t + 5, -3*l - 3*t = -3. Let u(m) = 7*m**2 - 5*m + 14. Let x(f) = 4*f**2 - 3*f + 7. Let w(b) = 3*u(b) - 5*x(b). Is w(l) a multiple of 16?
True
Is 8 a factor of (-62)/(-4) + 0 + (-27)/(-54)?
True
Let l = 91 + 103. Is l a multiple of 34?
False
Let u = 24 - 20. Is u a multiple of 4?
True
Suppose -2*u - 2*u = -340. Suppose 10*z - 5*z = u. Does 5 divide z?
False
Let j(f) be the first derivative of 6*f**3 - 3. Suppose 0 = 2*y - 0 + 2. Is j(y) a multiple of 9?
True
Suppose 6 = w + 2*w. Suppose w*l - 4 = 8. Suppose l = 4*s - 18. Is s a multiple of 4?
False
Suppose b - 6 - 12 = 0. Let i = -6 + b. Is i a multiple of 5?
False
Let q(w) = -77*w**2 - w - 1. Let n be q(-2). Let s be n - 3/(9/3). Is 2/(-9) - s/9 a multiple of 17?
True
Let o(x) = x**3 + 9*x**2 - 2*x + 9. Let t be o(-9). Suppose -t = -k - 2*k. Does 9 divide k?
True
Let g(a) be the first derivative of -a**4/4 - a**3/3 + a**2/2 + 6*a + 21. Suppose 0 = -0*l - 3*l. Is 6 a factor of g(l)?
True
Let p be 4/18 + 350/45. Let r(u) = 1. Let n(j) = -j**2 + 4*j + 7. Let z(i) = -n(i) + 5*r(i). Does 15 divide z(p)?
True
Let x = 6 + 30. Does 6 divide x?
True
Suppose -2*h = h + 108. Let d be (-14)/(-35) + h/(-10). Is (-3)/(-6)*d + 11 a multiple of 13?
True
Let j(f) = f**3 + 9*f**2 - 19*f + 5. Is j(-8) a multiple of 17?
True
Let t be 20/12*(-3)/(-1). Let x(s) = -3*s + 2*s + 7 + 6*s. Does 16 divide x(t)?
True
Let q be (-12)/9*3/(-2). Suppose -45 = -t - q*t. Suppose -t = -r - 2. Does 13 divide r?
True
Suppose -o - 3*v = 12, 4*o + v + v = 2. Suppose o*c = -5*p + c - 2, -3*c = p + 3. Suppose p = -5*f - 27 + 107. Does 8 divide f?
True
Let q = 28 + 30. Is 20 a factor of q?
False
Let t = 128 + 43. Is 9 a factor of t?
True
Suppose 5*u + i - 18 = 0, -1 = 2*u - 5*i + 8. Let y(v) = -v + 7. Does 2 divide y(u)?
True
Let u be 4/(-6)*90/(-12). Suppose u*s - 10 = 20. Is 3 a factor of s?
True
Let g(w) = w + 13. Let h be g(-8). Suppose 0 = -h*m + 3*m + 4. Suppose -2*y = 2*n - 63 + 3, -3*y - m*n + 88 = 0. Does 14 divide y?
True
Is 4 a factor of 14*(-7)/(147/(-18))?
True
Suppose 0 = -3*z - 6*z + 27. Is 3 a factor of z?
True
Suppose -178 - 38 = -2*t. Is t a multiple of 27?
True
Let v(w) = -w**2 + 9*w + 19. Is v(8) a multiple of 16?
False
Does 12 divide (-3 - 12)/((-18)/24)?
False
Let j(h) = 2*h**2 + h + 5. Is 34 a factor of j(4)?
False
Suppose 8 = w + 3*w. Suppose -7 - 17 = -5*v + w*b, 0 = -b - 2. Let n = 22 - v. Is 9 a factor of n?
True
Let c = -7 - -9. Suppose c*l + 3*l = 65. Is 12 a factor of l?
False
Let l = -2 - -238. Suppose 3*f = -f + l. Suppose -5*o - f + 179 = 0. Is o a multiple of 12?
True
Let s(q) = 11*q**2 + 3*q + 2. Let u be s(-2). Let y be (-8 - 1