. Does 35 divide f?
True
Let r = 137 + -51. Let l = r - 80. Does 6 divide l?
True
Let i = 54 + -44. Suppose 26 = 3*l - i. Is 12 a factor of l?
True
Suppose -3*o - 822 = -6*o + 3*l, -3*o + 822 = 3*l. Is 7 a factor of o?
False
Let x = 75 + -204. Let k = -65 - x. Does 32 divide k?
True
Suppose -5*q + 510 = -2*q. Does 34 divide q?
True
Suppose -353 = -g - 4*k, 133 = -2*g + 5*k + 878. Is g a multiple of 20?
False
Let s(g) = -7*g - 17. Let q be s(-3). Suppose q*l = p + 120, -p - 150 = -5*l - 5*p. Does 3 divide l?
True
Let y(z) = 5*z**2 + 6*z - 7. Suppose 4*h - 66 = 15*h. Is 25 a factor of y(h)?
False
Suppose -2*a + 3*p + 36 = -5, 5*a - 4*p - 85 = 0. Let s be (2 - -3)*12/15. Let n = s + a. Is n a multiple of 10?
False
Suppose 2*r - 5*a - 145 = 0, 12*a + 154 = 2*r + 10*a. Is 5 a factor of r?
True
Let c = -1415 - -1715. Does 20 divide c?
True
Let y = -2590 - -8873. Is y a multiple of 61?
True
Let l(t) = -309*t + 196. Is 53 a factor of l(-13)?
False
Suppose -11*u = -106 - 92. Is u a multiple of 9?
True
Suppose -22*t + 1018 + 434 = 0. Is 22 a factor of t?
True
Let s be (-4)/(-1 - 0/2). Suppose 5*l = s*l + 351. Does 29 divide l?
False
Suppose k = -4*t - 2*k + 291, 3*t - 2*k - 231 = 0. Is 18 a factor of 12*(t/10 + 0)?
True
Suppose -2*v + 0 = 4. Let i(q) = -111*q + 2. Let n be i(v). Suppose -5*z + z + n = 0. Does 14 divide z?
True
Suppose 4*d - 724 = -d - 4*g, 4*d + g = 588. Is d a multiple of 32?
False
Does 13 divide ((-34)/4 + 2)/(10/(-140))?
True
Let a(z) = 88*z - 3. Let p(w) = 88*w - 3. Let c(m) = 2*a(m) - 3*p(m). Is c(-2) a multiple of 23?
False
Let y be (-294)/(-10) - (-4)/(-10). Suppose -5*l + 4*l + y = 0. Suppose -92 = -3*n - l. Is n a multiple of 8?
False
Let i = -361 - -505. Is 8 a factor of i?
True
Let d = 3654 + -2441. Is 12 a factor of d?
False
Suppose -4*n - 3*n = 0. Suppose n = -5*k + 71 - 1. Is 2/7 - (-668)/k a multiple of 12?
True
Let p be (31*(-3 - 0))/1. Let s = -151 + 88. Let v = s - p. Is 8 a factor of v?
False
Suppose z - 2*t - 5 = 0, -z - t - t = 11. Let h be -64*z/(1 + 5). Suppose -32 = -n + h. Is n a multiple of 27?
False
Let c(s) be the third derivative of -s**6/10 + s**5/60 + 5*s**4/24 - s**3/3 - 4*s**2. Let w be c(3). Does 13 divide w/(-6) - 13/39?
False
Let i(u) = 4*u**2 - 15*u + 54. Is 38 a factor of i(8)?
True
Suppose -4*p = 2*b - 7*b + 1536, 3*p = -12. Suppose -182 = -3*a - u, -5*u + 6*u = -5*a + b. Suppose 3*s + 5*w + 9 = a, 2*w = -s + 16. Is 8 a factor of s?
True
Let y(v) = 8*v**2 - 4*v**2 + 8*v**2 + v + 4*v**2 - 2. Suppose 0*f - 6 = 3*f. Does 20 divide y(f)?
True
Is (1632/(-21))/(8/(-112)) a multiple of 16?
True
Suppose -621 = -z + 4*n + 391, 0 = 3*z + 3*n - 3036. Is z a multiple of 27?
False
Let y be (-11 - -28) + -1 + -1. Does 22 divide y*3 - (-12 + 13)?
True
Let s(c) be the second derivative of -5*c**3/6 - 2*c**2 - c. Let i(f) = f - 16. Let j be i(12). Is s(j) a multiple of 16?
True
Is 53 a factor of (-10 - (-5420)/12)*3?
True
Suppose y + c = 11, -y + 4*c + 6 = -0*y. Suppose -3*z + 5*z - y = 0. Suppose -24 = -3*a + 5*s + 1, 0 = -z*a - s + 23. Is 3 a factor of a?
False
Let g(h) = -h**3 - 6*h**2 - 10*h. Suppose 3*s = -s + 3*v - 37, -4*s - 40 = -4*v. Is g(s) a multiple of 7?
True
Let f be (-56)/(-6)*(-372)/(-16). Suppose -5*c = 3*a - 251, 3*c - 3*a - f = -c. Is 13 a factor of c?
True
Let o = 2 + 0. Suppose -7*y = -o*y - 10. Suppose 0 = 2*h - x - 82, -y*x + 76 = -2*h + 4*h. Is 18 a factor of h?
False
Let n = 0 - 0. Suppose 0 = -d + t + 2, n = -d + 3*t - 4. Suppose -15 - 35 = -d*z. Is 2 a factor of z?
True
Suppose -j = -11 + 7. Suppose a + a + 3*f + 6 = 0, -3*f = j*a + 24. Does 5 divide ((-6)/a)/(2/87)?
False
Suppose 10*n = 5*n + 3*b + 2775, 2257 = 4*n + 5*b. Is n a multiple of 5?
False
Suppose 264 + 153 = -3*c. Let x = 244 + c. Is x a multiple of 21?
True
Let o(g) = 96*g. Let p be o(1). Suppose -10*w + 8*w + p = 0. Is 23 a factor of w?
False
Let i(v) = -6*v + 41. Let d be 1/(-2)*(30*5)/5. Is i(d) a multiple of 33?
False
Suppose 0*c = -c - 4. Let s be -4*(1 - (-2 - c)). Suppose s*a = -2*y - 2*y + 136, 3*y - 136 = -4*a. Does 17 divide a?
True
Let v = 3 - 2. Let z be 0 + 1 + 1/v. Suppose 0 = -3*c + 4*x + 25, -5*x = -c + 3 - z. Is c a multiple of 5?
False
Suppose -10*k + 6802 - 1522 = 0. Is k a multiple of 33?
True
Let q = 1 - 1. Let r(h) = q - 4*h + 2 - 2*h + 9*h**2 + 4*h. Is r(2) a multiple of 14?
False
Let l = -84 + 95. Suppose 2*r + 0 = 4. Suppose -5*s = 20, 2*s = p - l - r. Is p a multiple of 2?
False
Suppose w - 297 = 3*a, w + a - 297 = -0*w. Suppose -3*y - 3*v = -w, -y + 2*v + 102 = 6. Is y a multiple of 26?
False
Let p(y) = y**2 - 2*y - 207. Is p(-35) a multiple of 17?
True
Suppose 282 = 3*s - 231. Suppose -3*i + 3*p + s = 0, -p = 2*p + 15. Does 13 divide i?
True
Suppose -11*h = -3*h - 920. Is h a multiple of 5?
True
Does 4 divide (-403)/(-5) + 90/(-150)?
True
Is 0 + 2037/5 - 128/320 a multiple of 37?
True
Suppose 27 = 3*f - 0. Suppose -f*a = -5*a - 104. Is 16 a factor of a?
False
Let f = 425 + -294. Let d = -114 + f. Does 5 divide d?
False
Let d be (1/1)/(-3 - (-1 - 1)). Let j = 35 - d. Is 18 a factor of j?
True
Let v = -702 + 1386. Is 18 a factor of v?
True
Suppose 0*s = 3*s - 60. Suppose 0 = -t + l + s, 44 = 3*t - l + 2*l. Is 4 a factor of (8*1)/(8/t)?
True
Let c(x) = -5*x + 2. Let t be 12/18 + 8/(-3). Is 11 a factor of c(t)?
False
Let g = 524 + -214. Does 31 divide g?
True
Let p be (-994)/63 + (-4)/18. Let f(m) = -m**2 - 19*m - 7. Let h be f(p). Let z = h - -36. Does 27 divide z?
False
Let p(q) = q - 3. Let u(d) = 3*d - 5. Let k(n) = -5*p(n) + 2*u(n). Let b be k(0). Suppose -75 = b*l - 325. Does 25 divide l?
True
Suppose -3*f + 467 = a, f + 169 = 2*f + 3*a. Does 2 divide f?
True
Suppose -14 = -4*u + 5*l + 2561, -2*u - l = -1277. Does 40 divide u?
True
Suppose -4*c + 0*c = 5*j - 30, -16 = -4*c + 2*j. Let q(k) = -11*k**3 + 0 + 12*k**3 - 2 + 2*k**2 - c*k - 4*k**2. Is 16 a factor of q(5)?
True
Suppose 0 = 2*y - 3*n - 163 - 2043, -5*n = 0. Is y a multiple of 16?
False
Let j(h) = 4*h - 22. Let x be j(6). Let d(z) = 23*z**2 - 3*z - 1. Is d(x) a multiple of 17?
True
Let n be (-21 - -19)*46/(-4). Let x = -26 + n. Is 2 a factor of (-3)/(x/(-3)) + 7?
True
Suppose 0*v + v - 4 = 0. Suppose -v*q - 12 = -32. Does 3 divide q?
False
Suppose -n - v + 1381 = -5*v, 3*n = 3*v + 4107. Is 5 a factor of n?
True
Let g = 270 - -690. Is g a multiple of 32?
True
Let u(f) = 31*f**2 + 2*f - 2. Let a be u(-3). Suppose 0 = k - 3, -s + 3*k = -3 - 4. Suppose -4*g = s, 2*g + a = 4*b - 217. Is b a multiple of 33?
False
Suppose -4*p + 78 = -p. Suppose -2*y = d + 11, p = -0*d - 4*d - 2*y. Does 14 divide (-1)/d - (-1881)/45?
True
Let x be 4/16 + (-717)/(-12). Suppose -59*v = -x*v + 36. Is v a multiple of 6?
True
Let y(l) = 8*l + 46. Let a be y(-6). Let d(z) = 39*z**2 - 4*z - 4. Is 10 a factor of d(a)?
True
Suppose 0 = -3*u + 393 + 327. Is 48 a factor of u?
True
Let j(k) = -4*k - 2. Let g(d) = -5 - 3 + 2*d + 3 + 6. Let y(s) = 9*g(s) + 4*j(s). Is 25 a factor of y(12)?
True
Suppose 0 = -5*t - 10, -10*x = -15*x + t + 572. Does 3 divide x?
True
Let t(z) = -z**3 + 8*z**2 + 8*z + 7. Let v be t(9). Is 104 - 3/v*(-16)/(-12) a multiple of 8?
False
Suppose -48 + 268 = 4*o. Suppose 5*r - 12 - o = -2*p, 41 = p + 5*r. Suppose 2*f - 16 = p. Does 5 divide f?
False
Suppose 0 = -3*o + 88*s - 90*s + 12095, -2*o + 4*s = -8090. Is 51 a factor of o?
False
Suppose 5*u = 10*u - 535. Suppose f - 11 = u. Is 16 a factor of f?
False
Let v(j) = -4*j**2 + 2*j + 6. Let x be v(-5). Does 26 divide (3/2 + -2)*x?
True
Let w(s) = -s**2 + 5*s - 3. Let y be w(3). Suppose -f = y*l - 373, -2*l + f + f = -262. Let o = l - 75. Is 17 a factor of o?
True
Suppose 0 = t + 4*m + 4, 16 = 5*t - 0*t + 2*m. Suppose 0*p + 134 = t*p + 2*k, -k - 38 = -p. Is 9 a factor of p?
False
Let m(z) = -22*z - 1. Let f be m(-9). Suppose 2*k + 4*u = 112, -4*k + u + 0*u + f = 0. Does 11 divide k?
False
Suppose -11*v + 1352 = 2*v. Suppose -21*u = -13*u - v. Is 4 a factor of u?
False
Suppose -4*p - 4*q = 676, -2*p + 0*q = 4*q + 348. Let k = p + 341. Does 31 divide k?
False
Let w be 4/(2 + (-14)/6). Let d be 38/(-1)*(-42)/w. Let q = -90 - d. Is 11 a factor of q?
False
Let d(o) = o**3 + 15*o**2 - 14*o + 54. Is 41 a factor of d(-13)?
True
Suppose 2550 = 2*q + 3*q. Suppose c - q = -3*h, 4*h = -c - 3*c + 672. Is h a multip