. Is (9 - 11)*x*-9 a multiple of 3?
True
Let i(a) = a**2 - 5*a + 5. Let f(o) = 3*o**2 - 16*o + 16. Let w(t) = -4*f(t) + 14*i(t). Is w(9) a multiple of 9?
False
Let r = 34 + 25. Suppose -3*p - r = -4*p. Is p a multiple of 10?
False
Suppose -1960 = -5*u + 3*k, 3*u + 2*k - 379 = 2*u. Does 4 divide u?
False
Let b(j) = 4*j**2 + 21*j - 32. Let p be (3 + -1)/(-2) - 10. Is 19 a factor of b(p)?
False
Let o(t) = 3*t**2 + 8*t - t**2 - 6*t**2 - 11 + 3*t**2. Suppose 6*f - 3*f = 15. Is o(f) a multiple of 4?
True
Suppose 0 = 4*f + r + r - 86, 5*r = 25. Let o = 19 - f. Is (-63)/18*(-16 - o) a multiple of 14?
True
Let c be 1/(9/(-6)) - 2499/(-9). Suppose -f + 4*z + 103 + c = 0, 1176 = 3*f - 3*z. Is f a multiple of 22?
True
Suppose 220 = 4*y - 8. Let h = 77 - y. Does 5 divide h?
True
Suppose 2*y = 34*d - 37*d + 362, 357 = 3*d - 3*y. Is d a multiple of 15?
True
Let l(x) = 6*x**2 + x. Suppose -n = 4*n + 15. Does 8 divide l(n)?
False
Suppose -y + 4*f + 83 = -40, y + f = 113. Suppose -5*m - y = -295. Is 27 a factor of m?
False
Let k(c) = 4*c**2 + 2*c + 22. Let g be k(-10). Let p = g + -280. Is p a multiple of 61?
True
Let v = 657 - -1373. Suppose 9*t + t - v = 0. Is t a multiple of 43?
False
Is 29 a factor of (-1 - 392/(-5))*80/24?
False
Suppose 0*c + 90 = c. Does 6 divide c?
True
Suppose -18980 = -90*b + 80*b. Is 13 a factor of b?
True
Let j(a) = 160*a**3 + 2*a**2 - 5*a + 5. Let z be j(2). Let d = -1796 + z. Is (-2)/8 + d/(-36) a multiple of 14?
True
Let a = 3 + -2. Suppose 0 = -4*q - a + 9. Is 2 a factor of 128/22 - q/(-11)?
True
Suppose 4 = -4*u + 5*j, 2*u - 5*j + 5 = -7. Suppose 0 = u*b + 4*v, 2*b - 7*b + 4 = 4*v. Does 2 divide b?
True
Let o(u) = 2*u**3 - 2*u**2 - 4*u - 3. Let s(x) = 5*x**3 - 5*x**2 - 9*x - 6. Let j(k) = -7*o(k) + 3*s(k). Let d be j(3). Does 13 divide ((-6)/4)/(d/(-464))?
False
Let m be 1/2*0 + 6. Suppose -m = 2*h - 0*h. Is h/(-2)*(-150)/(-9) a multiple of 8?
False
Let l = 29 - 27. Suppose p - 90 = -l*o + 5*p, 0 = -2*o - p + 90. Is 19 a factor of o?
False
Let j(n) = 21*n**2 + 3*n + 1. Let x be j(4). Let u = x - 241. Is u a multiple of 36?
True
Suppose 4*j - 5*q - 1436 + 319 = 0, -j = q - 268. Is 6 a factor of j?
False
Suppose -702 = 40*h - 42*h + 4*u, 386 = h + 5*u. Does 19 divide h?
True
Let i = 423 + -333. Is 9 a factor of i?
True
Does 14 divide -9 - (-18 + -7)*67?
True
Suppose d - c = 4*c + 47, -2*c = 4*d - 122. Let f = d + 60. Is 3 a factor of f?
False
Let t be (1 - -1)/(4/10). Suppose -2*g = -t*h - 2, -g + 4 = -h + 3. Is 12 a factor of 12*(g + -3 + 4)?
True
Let s = -177 - -395. Suppose 0 = 3*m - 52 - s. Is m a multiple of 9?
True
Suppose -h - o + 1 = 0, 0*o = -2*h - 4*o. Is 16 a factor of (-11560)/(-180) + h/(-9)?
True
Let k be (-4)/3 + (-435)/(-9). Suppose 3*n - 64 - k = 0. Suppose -2*t = -33 - n. Is 14 a factor of t?
False
Let q(o) = -41*o + 1. Let a(t) = -40*t + 1. Let v(j) = -4*a(j) + 6*q(j). Does 8 divide v(-1)?
True
Suppose 0 = 3*i + 4*d + 5 + 24, -3 = -3*d. Let k = i - -11. Suppose k = -z + 4*u - 8, -2*u = -3*z + 3*u + 11. Does 4 divide z?
True
Let y = 2294 + -1344. Does 24 divide y?
False
Does 82 divide 1068 - (1 + 4/4)?
True
Suppose 7*n - 11 = 10. Suppose -3*z + 450 = 4*d, -306 = -n*d - z + 29. Does 18 divide d?
False
Let y be 6/(-4) - 26/(-4). Suppose -4*o + 2*n + 3 = -83, 0 = n - y. Does 9 divide o?
False
Let l be -170*(-4)/4*1. Suppose 25 = -a + l. Is a a multiple of 19?
False
Let y(m) be the second derivative of -11/2*m**2 + 1/12*m**4 + 0 - 8*m + 1/6*m**3. Is y(5) a multiple of 4?
False
Suppose 0 = 3*d + 138 + 15. Let b = 32 - d. Is 11 a factor of b?
False
Let z = 47 + -26. Let m = -15 + z. Suppose -m*n + n = -450. Is n a multiple of 30?
True
Suppose 13 = 3*g + 4. Suppose 67 = g*f - 101. Is f a multiple of 10?
False
Suppose -4*h - 74 = -506. Is h a multiple of 85?
False
Let c = 19 + -19. Suppose -k + 25 + 0 = s, -3*k = c. Suppose -5*a + j = -3*a - s, a - 16 = 4*j. Is a a multiple of 4?
True
Let g = 14 + -15. Let v be g/5 + (-1)/(-5). Suppose v*j = 3*j - 255. Is j a multiple of 27?
False
Suppose -4*r + 7340 = -t, 0 = -5*r + 30*t - 34*t + 9175. Does 5 divide r?
True
Let c(t) = 39*t**2 + 2*t + 5. Suppose l + 3 - 1 = 0. Is 36 a factor of c(l)?
False
Suppose -4*z = 20, z = -2*m + 4623 - 586. Is m a multiple of 78?
False
Let o(l) = -2*l - 11. Let x be o(-10). Is 14 a factor of (-3384)/(-81) - (-2)/x?
True
Let i(z) = 56*z + 268. Is i(13) a multiple of 31?
False
Suppose 2*a + 24 = 3*a. Suppose 5*x = 5*j - 30, 4*j + 8 = x - 5*x. Is a + (-6 + j - -1) a multiple of 6?
False
Is (85 - 2)*(-4 + 21/3) a multiple of 3?
True
Suppose 2*t = 9 + 29. Suppose 4*r + 5*n - t = 4, r = n - 1. Suppose -r*z + 217 = 3*w + 12, 3*w - 3*z - 225 = 0. Does 15 divide w?
False
Suppose -22*y + 5*w = -26*y + 1251, 4*w + 4 = 0. Does 3 divide y?
False
Let w = 338 - 290. Is w a multiple of 3?
True
Let v = -724 + 296. Let i = -248 - v. Does 30 divide i?
True
Suppose 14*u = 38 + 4. Suppose -u*x + 5*v + 133 = x, -3*x - 2*v = -94. Does 8 divide x?
True
Let u be ((-18)/(-9))/((-2)/(-4)). Suppose 0 = c - 0*c + 3*a - 26, 0 = -u*a + 20. Is c a multiple of 5?
False
Is 15 a factor of 4/(-14)*(-154)/352*424?
False
Let l(n) = 5*n - 5. Let o be l(4). Suppose 13*k = o*k - 184. Is 9 a factor of k?
False
Let w be (-54)/(-8) - 2/(-8). Let i be ((-36)/(-5) - 6)/(9/60). Suppose -i*y + 64 = -w*y. Is 16 a factor of y?
True
Let w(f) = -f**3 - 4*f**2 - 6. Let l be w(-4). Let c be (l/15)/((-5)/75). Suppose -y = -c*y + 110. Does 5 divide y?
False
Is -1*(-2)/1 + 598 a multiple of 10?
True
Suppose 0*y = -3*m + 3*y + 6, -y - 22 = -5*m. Let b = m + -22. Let h = b - -72. Is h a multiple of 15?
False
Suppose -3*z = -5*z - 2. Let m be 0 + z + 9/3. Is 21 a factor of 64/3 - m/6?
True
Suppose 0 = -x + 8*x. Suppose 4*f - 5*s - 7 = x, -2*f + 39 = f + 3*s. Does 4 divide f?
True
Suppose -2*u - 4*m + 48 = -76, -5*u = -m - 255. Let k = 74 - u. Is 11 a factor of k?
True
Let z be ((-51)/2 + (-6)/4)/1. Let b = z + 45. Is 15 a factor of b?
False
Let u = 0 - -734. Is 77 a factor of u?
False
Suppose -3*j = 3, 2*p + 0*j + j - 609 = 0. Does 21 divide p?
False
Let p(v) = -v - 8. Let x be p(-10). Suppose x*w = 3*b + 10, -2*w - b + 18 - 8 = 0. Does 3 divide w?
False
Suppose -4*w - 1 = -9, -3*w = a - 18. Let l = 10 - a. Let g = 17 - l. Is 19 a factor of g?
True
Is (2341 - (-8)/((-40)/25))/2 a multiple of 12?
False
Let o be -3 - (1 - (1 - 1)). Let j(b) = b - 10. Let g be j(10). Does 6 divide g - -2 - o/1?
True
Let m(k) = k**3 - 3*k**2 + k + 2. Let b be m(2). Suppose j - 95 - 3 = b. Is j a multiple of 21?
False
Suppose -5*h + x = -118, 4*h - 4*x + 3*x = 94. Let q be (-6)/10 - h/(-15). Is 11 - (-3 - -5)/q a multiple of 5?
False
Suppose -17 = -3*j - x, 2*x + 4 = -4*j + 6*x. Is 12 a factor of -1*(1 + -4) + j + 5?
True
Let t(n) = -n**3 - 19*n**2 + 37*n - 29. Is 4 a factor of t(-21)?
True
Let y(l) = l**3 + 8*l**2 + 2. Let n be y(-8). Is 21 a factor of 2*(-1*(n + -4) - -61)?
True
Let t(g) = 43*g**2 + 5*g + 1. Let i(y) = 42*y**2 + 6*y + 1. Let w(k) = -3*i(k) + 4*t(k). Let m be w(-1). Let j = 63 - m. Is 8 a factor of j?
False
Let x(m) = m**2 + 13*m + 34. Is 14 a factor of x(-21)?
False
Let w(h) = -2*h - 17. Let c be w(-13). Let f = -1 + 0. Let p = c - f. Does 10 divide p?
True
Suppose 5*s + 2*y = 134, -3*s + 61 = y - 20. Suppose -5*h = s - 148. Is 6 a factor of h?
True
Let p(m) = -m**3 + 8*m**2 + 11*m + 20. Let v be p(9). Is (-85)/(-2) - (-19)/v a multiple of 12?
False
Let n(f) be the first derivative of -11*f**2 - 11*f**2 - 4 + 19*f**2 - 3*f. Does 5 divide n(-3)?
True
Let u = -168 - -236. Does 22 divide u?
False
Let o = 8 + 19. Suppose 0 = -v - 2*v - 42. Let d = v + o. Is 4 a factor of d?
False
Suppose -5*v + s = -4*s, 0 = -v + 4*s - 15. Suppose 0*i + 4*w = v*i - 149, 3*w = 5*i - 153. Is 5 a factor of i?
False
Suppose 5*g + 10 = 0, 0 = 3*o - 2*g - 0*g - 2197. Is 10 a factor of o?
False
Suppose -4*h = c - 18, 0 = -4*c + 4*h + 84 + 8. Let j = -23 + c. Let u(t) = 37*t**2 - t - 1. Is 6 a factor of u(j)?
False
Suppose k + 2 = 0, 0 = 3*s + 2*k - k + 14. Let c(y) = -7*y. Does 14 divide c(s)?
True
Let a be 12/12 + (1 - -2). Suppose -64 = -n - 2*c, 120 = 4*n - a*c - 124. Is 8 a factor of n?
False
Suppose 18*t - 14*t = 16. Suppose -h - 3 = 0, u = t*h + 20 + 40. Is 24 a factor of u?
True
Let c(d) = d**2 + 5*d - 23. Does 29 divide c(1