l - 3*s - u. Does 15 divide l?
False
Suppose t + 3*t - 5*b = 79, b = -4*t + 109. Let m = 49 - t. Is 16 a factor of m?
False
Suppose -2*x = -142 + 24. Does 11 divide x?
False
Is 108 - (-3 - -6) - 1 a multiple of 26?
True
Let d = 30 - -15. Is 8 a factor of d?
False
Suppose -3*l + 372 = 2*l - 3*u, 0 = 4*l + 2*u - 280. Is l a multiple of 9?
True
Let k(i) = 2*i + 20. Let b be k(-10). Let q = 9 + -6. Suppose -q*v - 125 = -5*g, b*v - 4*v = -4*g + 92. Is g a multiple of 14?
True
Let q(i) = 5*i**2 - i - 4. Suppose -5*b = -25, -32 = r - 5*r - 4*b. Does 18 divide q(r)?
False
Suppose 3*u + 5*m - 20 = 0, 2*m = -u + 4*m - 8. Suppose -f + 2 = -u*f. Suppose -3*w = f*w - 35. Is w a multiple of 6?
False
Let b be 6/(2 - -1) - 7. Let p(t) = t - 1. Let g be p(b). Let d = g + 9. Is 2 a factor of d?
False
Let t = -13 - 3. Let h = -10 - t. Does 4 divide h?
False
Suppose -4*j + 307 = 67. Is j a multiple of 5?
True
Let p(g) = g**3 + 5*g**2 - 5*g - 1. Let y be p(-6). Let j(f) be the third derivative of -f**5/60 - 11*f**4/24 - 7*f**3/6 - 3*f**2. Is j(y) a multiple of 8?
False
Let l(i) = i + 24. Does 3 divide l(-6)?
True
Let o = 147 - 75. Is o a multiple of 6?
True
Suppose 5*n = 26 + 119. Is 8 a factor of n?
False
Suppose 0 = -16*y + 13*y. Suppose 0 = -y*u + 5*u - 160. Is 8 a factor of u?
True
Suppose 5*f + 73 = -2*g + 213, -5*f - 3*g + 145 = 0. Is f a multiple of 13?
True
Suppose -3*u + 638 = 200. Let s = u - 101. Let r = s - 19. Is 13 a factor of r?
True
Let r = 4 + -1. Is (r/2)/((-15)/(-40)) a multiple of 3?
False
Suppose 8 = -2*x, r + 2*x = -3*r - 72. Let w = 27 + r. Does 4 divide w?
False
Suppose c - 1 = 2*c, -2*g + 2*c - 54 = 0. Let l = -3 - g. Let s = -15 + l. Is 9 a factor of s?
False
Let f(r) = r**2 + 7*r + 7. Let p be f(-8). Suppose -7*i + 6*i = -p. Is 5 a factor of i?
True
Suppose -5*v + 32 = -133. Is 11 a factor of v?
True
Is 40 a factor of (3/(-1) - -2) + 41?
True
Let q = -18 + 35. Does 11 divide q?
False
Suppose g - 2*t = -12, -3*t + 0*t - 12 = 0. Let h = -5 - g. Does 5 divide h?
True
Suppose -3*w - 157 = -2*o - 35, 208 = 4*o + 3*w. Is o a multiple of 11?
True
Let t = 9 + -7. Suppose t*g + 3 = 11. Is 4 a factor of g?
True
Let i(l) = 2*l - 2. Let y be i(-2). Suppose 4*u = n - 12, 3*u + 4*n + 12 = -u. Is (15/y - u)*34 a multiple of 12?
False
Let u = 53 - 7. Let h = 2 - 2. Does 22 divide u/(-6)*(h + -6)?
False
Is 27 a factor of ((-102)/(-85))/(2/360)?
True
Suppose -m + 0*m - 4*c = -140, 0 = -m + 5*c + 149. Does 15 divide m?
False
Suppose -80 = -4*g + 2*g. Is 7 a factor of -2 - (-1 - g/2)?
False
Let j(g) = g**2 - 3*g + 3. Let a = -3 + 5. Suppose -4*y + 3*m + 15 = -y, a*y - 3*m - 10 = 0. Is j(y) a multiple of 13?
True
Suppose 2*n + 2*k = n, n - 3*k = 10. Suppose n*h + f = 107, 2*h = 3*h - 2*f - 29. Is 18 a factor of h?
False
Let o(y) = 0*y**2 - y**3 + 3 + y - 2 + y**2. Let m be o(-1). Is 7 a factor of (1 - m/4)*28?
True
Suppose -3*a + 25 = 2*a. Suppose -n + 5*g - 2 = -91, 15 = -a*g. Let v = n + -50. Is 19 a factor of v?
False
Suppose -19 = -3*c - 2*t, -2*c + c - 4*t = -3. Let x(u) = 5 - 7 - 8 + 7*u. Is x(c) a multiple of 18?
False
Suppose -169 = -4*p + 3. Is 18 a factor of p?
False
Let d = 90 - 62. Let q = -3 - 14. Let u = q + d. Does 11 divide u?
True
Let j(c) = 9*c - 3. Let g be j(2). Suppose -2*x - m - 1 = -g, x - 5*m = -15. Is 4 a factor of (32/(-20))/((-2)/x)?
True
Let t be (-10)/2*54/(-30). Let c = -15 + t. Let v(h) = h**2 - 2*h - 2. Does 23 divide v(c)?
True
Let r be ((-1 - -1) + -1)*-3. Suppose r*j = -0*j + 84. Does 8 divide (10/(-7))/((-4)/j)?
False
Suppose -5*g = -2*g - 12. Let u be (-2*1)/(g/(-6)). Suppose -3*i = u*d - 24, -2*i = -2*d - 2*d + 14. Is 5 a factor of d?
True
Suppose y + 4*y = -2*w + 52, 0 = -3*w - 12. Suppose 7*b = y*b - 295. Is b a multiple of 12?
False
Suppose 3*g - 5 = -2. Let o(t) = 76*t - 1. Let f be o(g). Let x = f + -39. Is 18 a factor of x?
True
Suppose 3*j + 3*m = -1 + 10, -2*m = -2*j + 2. Suppose -3*g - 50 = -j. Let v = -8 - g. Is v a multiple of 8?
True
Let v(i) = 2*i. Let c be v(4). Let k = 2 + c. Let z = k + 1. Does 4 divide z?
False
Suppose -8*z + 4*z = 60. Let h = -5 - z. Is 5 a factor of h?
True
Is 20 a factor of (1/(-1))/(6/(-192))?
False
Suppose 35 = 2*z - 4*c + 7, 0 = -z + c + 11. Suppose 48 = 9*k - z*k. Is 19 a factor of k?
False
Suppose -6*a + 22 + 410 = 0. Is a a multiple of 30?
False
Suppose 3*r - o = 6*r - 7, 4*o - 7 = -5*r. Suppose -r*f + 2*u - 106 = 3*u, 140 = -4*f - u. Is 16 a factor of -2*f/4*1?
False
Let x be ((-2)/(-5))/(3/(-45)). Is 8 a factor of 1*-2*45/x?
False
Let k(j) = j**3 + 9*j**2 + 7*j - 10. Is k(-7) a multiple of 12?
False
Suppose 4*l + 5*n - 43 = -0*n, -2*l - n = -23. Is 6 a factor of l?
True
Let p be 2/2 - (-3 + -1). Suppose -1 = -3*x - p*n, -2*x = -3*n - 5 - 2. Suppose -x*l + 52 = 4*q - 0, q - 5 = 0. Is l a multiple of 8?
True
Let l(a) be the second derivative of -a**5/20 + a**4/2 + 7*a**3/6 + a**2 - a. Let z be l(7). Suppose -c + 2*s = -14, -c + z*s - s = -15. Is 8 a factor of c?
True
Suppose 2*d - 27 - 103 = 0. Is 29 a factor of d?
False
Let h = -83 + 142. Is h a multiple of 19?
False
Suppose -4*h = 3*z - 206, -5*z + 216 + 106 = -4*h. Let y = 102 - z. Does 12 divide y?
True
Suppose -13 - 371 = -2*v. Is v a multiple of 32?
True
Let g(i) = 10*i + 6. Let m be g(5). Is (0 + 3)/(6/m) a multiple of 26?
False
Suppose 6*r - 2*r - 4*b - 40 = 0, -4*r + 30 = -2*b. Is 4 a factor of r?
False
Suppose 5*z - 4*z - 115 = -2*l, -561 = -5*z - 3*l. Suppose 2*s = 2*h - 8, -2 - 14 = 4*s. Suppose -5*j - 87 = -3*v - h*j, 4*v - z = 5*j. Does 12 divide v?
True
Let q(h) = 22*h**2 + h - 3. Let y be 2 - (-2*2 - -2). Let u(k) = 21*k**2 + k - 2. Let w(l) = y*u(l) - 3*q(l). Does 9 divide w(-1)?
True
Let g(m) be the second derivative of -m**4/12 + m**3 + 2*m**2 + 2*m. Is g(6) even?
True
Let l(g) = -g**2 + 15*g + 20. Does 5 divide l(15)?
True
Let s be -1*(3 - 74) - -2. Let a be (-16)/(-6) - 2/(-6). Suppose a*n + w = -0*n + s, -n + 3 = -5*w. Does 16 divide n?
False
Let d(j) = -2*j**2 + 4*j - 3. Let f be d(2). Let n be (-104)/12 + (-2)/f. Does 6 divide ((-9)/4)/(3/n)?
True
Let i(j) = 3*j**3 - j**2 - 4*j - 1. Is 17 a factor of i(3)?
False
Let o = -97 + 164. Is 6 a factor of o?
False
Let l(w) = -5*w**3 + 2*w**2 - 2*w + 12. Let z(f) = 9*f**3 - 5*f**2 + 4*f - 23. Let g(m) = -11*l(m) - 6*z(m). Does 22 divide g(-8)?
True
Let a = -28 + 88. Suppose -p + 2*n = -33, 2*p - 2*n - a = -4*n. Suppose -25 - p = -2*w. Is 14 a factor of w?
True
Let y(w) = -w**3 + 6*w**2 + 5*w + 10. Let p be y(7). Let l be 3/(-12) + 19/p. Is (-4)/(-20) - 219/l a multiple of 16?
False
Let a = 2 + 3. Is 2 a factor of a?
False
Let h = -16 + 8. Let a(c) = c**3 - 6*c**2 + 5*c + 5. Let q be a(5). Is 4 a factor of -1 - h - q/(-5)?
True
Let x be (34/(-6))/(2/(-6)). Let l = x + -4. Suppose m = 2*m - l. Is 13 a factor of m?
True
Let d be 2/(3*6/(-27)). Let b = -4 - d. Does 4 divide ((-1)/b)/((-3)/(-21))?
False
Let p(u) = 5*u**3 - 5*u**2 + 9*u - 3. Let n(a) = a**3 - a**2 + a. Let v(i) = -6*n(i) + p(i). Let l be v(2). Is 9 a factor of (69/(-6))/(l/2)?
False
Let a(k) = 13*k + 3*k**2 - 4*k - k**2 + 8 - k**2. Let g(i) = 6*i + 2. Let z be g(-2). Is a(z) a multiple of 9?
True
Let p(x) = 2*x + 4. Let q be p(7). Is 5 a factor of 24/108 - (-86)/q?
True
Let w = 38 - -16. Is w a multiple of 28?
False
Suppose -3*p + p + 252 = 0. Suppose 2*u = -2*n + 62, 4*u + 0*n + 3*n = p. Is 14 a factor of u?
False
Suppose -3*d - 116 = d. Let t = 15 - d. Does 14 divide t?
False
Suppose -2*g = x - 175, 0*g - 90 = -g + 2*x. Is g a multiple of 22?
True
Suppose 0 = 4*o + o - 3*r - 100, -o = 2*r - 20. Is o a multiple of 20?
True
Is 8 a factor of (4 + 28)*(-5)/(5/(-2))?
True
Suppose -3*x + 6*x = 318. Suppose -3*o + 71 = -x. Does 21 divide o?
False
Let l(a) = -a**2 + 13*a - 21. Let q be l(10). Suppose -8*m + q*m = 19. Is 6 a factor of m?
False
Let f = 36 + 16. Does 20 divide f?
False
Suppose -4*x + 12 = -0*x. Let o be x/9 + 25/(-3). Does 8 divide ((-21)/4)/(2/o)?
False
Suppose -t + 2*n - n = -4, 2*t - 8 = n. Suppose 0 = 2*i + t, 4*a - 94 + 18 = 2*i. Does 9 divide a?
True
Is 14/(3 + (-15)/6) a multiple of 13?
False
Let u(n) = -n**3 - 8*n**2 - 7*n + 2. Let b(s) = -7 - 11*s**2 + 8*s + 0*s + 10*s**2 + 0*s. Let v be b(8). Is u(v) a multiple of 2?
True
Let o be (555/6)/(-5)*4. Let k = -29 - o. Is k a multiple o