749 + 2604. Does 109 divide o?
False
Suppose -88 = -3*j + 4*y, -4*j + 112 = -7*y + 3*y. Is 150/j - 2/8 even?
True
Let j(n) = -n**2 + 2*n - 1. Let x be j(3). Let c = -10 - x. Is 75/10 - c/4 a multiple of 3?
True
Let s be 22/6 + (-8)/(-24). Suppose -2*u + s*u = 16. Is 7 a factor of (-6)/u + (-760)/(-32)?
False
Let l(t) = t**2. Let m(z) = z**2 + 14*z - 5. Let v(w) = 2*l(w) - m(w). Let k be v(14). Suppose 143 + 26 = 5*f + j, -k*j + 86 = 2*f. Does 11 divide f?
True
Suppose 6842 = 42*l - 24406. Does 12 divide l?
True
Let r(g) = 14*g**2 + g. Let y be r(1). Let p be (-42)/(-5) + (-6)/y. Does 18 divide (18/p)/(2/16)?
True
Suppose -3*b - 53 = -4*x, 5*x + 3*b = -0*b + 73. Let u = -4 + 3. Is 16 a factor of 422/x - u/(-7)?
False
Let i = 212 - 129. Is i a multiple of 7?
False
Suppose 0 = k - 13 + 20. Let j be 1*-17 - (7 + k). Let p = j + 43. Is p a multiple of 13?
True
Suppose 0 = -4*n - 2*l, -3*n + 2*l + 0*l = 0. Suppose -5*w - 10 = n, -33 = -2*m + 2*w + 13. Is 21 a factor of m?
True
Let v = 1 + -4. Does 10 divide 25 + 2/v*6?
False
Suppose -3*p - 9*p = -2868. Is 13 a factor of p?
False
Suppose 3*k + 2 = 3*r + 14, -4*k = 2*r - 4. Suppose -4*z - v = v - 138, -5*v - 75 = -k*z. Does 20 divide z?
False
Suppose 0 = -2*l - 2*c + 6*c + 2608, c + 1 = 0. Is 21 a factor of l?
True
Let o = -1812 - -3069. Suppose -2*u = s + s - 510, -5*s + o = -4*u. Does 14 divide s?
False
Let h(g) = -37*g - 2. Let p be h(-2). Let n be (-2)/5 - p/(-5). Is 20 a factor of ((-20)/n)/((-2)/28)?
True
Suppose -5*p + 1481 = 2*s, 116 = p - 3*s - 170. Is 10 a factor of p?
False
Let c = 2 - 4. Let d be 1/c + 820/8. Suppose 5*u + 3*k - d = 192, u - 54 = -3*k. Is 20 a factor of u?
True
Let h(q) = -5*q**2 - 3*q - 5. Let u(n) = -5*n**2 - 4*n - 5. Let i(o) = 2*h(o) - 3*u(o). Let r be i(-6). Suppose 19 + r = 4*c. Does 14 divide c?
True
Let d be 32 + -1 - (1 - 0). Suppose -4*o + 5*w = 30, 32 + 24 = -5*o - 3*w. Let k = o + d. Does 10 divide k?
True
Let t(w) be the second derivative of 11*w**4/12 - w**3/3 - 7*w. Does 6 divide t(1)?
False
Let n(f) = 7 - 7*f + 2*f**2 + f**3 - 3 - 2*f. Let m(g) = -6*g + 76. Let s be m(12). Does 34 divide n(s)?
False
Is 52 a factor of ((-10560)/(-360))/(0 - (-1)/15)?
False
Suppose 20 = 4*r, -4*t + 2*r - 1 = -3*r. Let f be (-4 - 5)*(-2)/t. Suppose -f*a - v + 180 = -6*v, -4*a - 5*v = -240. Is 12 a factor of a?
True
Let p(u) = -3*u - 1. Let y(k) = -k**2 + 8*k - 2. Let r be y(8). Let t be p(r). Suppose -5*w + t*l = -161 + 36, 2*l - 139 = -5*w. Is 10 a factor of w?
False
Let f(j) = 5*j + 10. Let p be f(-5). Let q(i) = i**3 + 16*i**2 + 14*i - 12. Let w be q(p). Suppose w*y - 5*y = -62. Is y a multiple of 5?
False
Suppose -3*x + 105 = 435. Let g = x - -194. Is g a multiple of 6?
True
Suppose l - 3*l = -22. Let f(z) = z - 9. Let t be f(l). Suppose a - 60 = -t*a. Does 10 divide a?
True
Suppose -9*z = -0*z - 288. Is 4 a factor of z?
True
Suppose -54173 = -23*q - 7805. Is 34 a factor of q?
False
Let u(j) = -j - 13. Let x be u(-8). Let n(p) = -p**3 - 4*p**2 + 6*p + 5. Let t be n(x). Suppose t = 2*r - r + 5*i - 61, 4*i + 43 = r. Does 17 divide r?
True
Suppose 2*o = 3*v + 195, -478 = -3*o - 2*o - 2*v. Suppose 7*w - o = 3*w. Let g = 57 - w. Is 11 a factor of g?
True
Let b(t) = -t**2 + 15*t + 19. Let d be b(16). Suppose -4*m + 53 = -d*m. Let o = m + -25. Is o a multiple of 14?
True
Let h = 57 + -43. Suppose 601 + h = 5*o. Does 41 divide o?
True
Does 83 divide (-10)/6 - 1367620/(-366)?
True
Suppose -5*x + n - 685 = 0, -5*x + 0*x - 705 = -5*n. Let b = -71 - x. Is 20 a factor of b?
False
Suppose -10*s + 7455 = 11*s. Is 15 a factor of s?
False
Does 5 divide (-534)/(-9) - (-2)/((-30)/5)?
False
Is (-37432)/(-36) + 4 + (-170)/45 a multiple of 41?
False
Suppose 0*w - s = 3*w + 17, 5*w = 5*s - 35. Is 17 a factor of (-2)/w - 200/(-12)?
True
Suppose -5*x + 32 - 12 = 0, -3*r + 3*x + 132 = 0. Does 8 divide r?
True
Does 49 divide (8082/30)/1 + 4/(-10)?
False
Let i(t) = 21*t + 2. Let p(s) = 42*s + 3. Let z(o) = -3*o**2 - 2*o + 1. Let v be z(-2). Let k(u) = v*i(u) + 4*p(u). Is k(2) a multiple of 10?
True
Let y(s) = 2*s - 13. Let f be y(8). Let r be 6/6 + 0/f. Is 21*(30/9 - r) a multiple of 18?
False
Let a(o) = o - 10. Let s(p) = 6*p - 50. Let k(m) = -14*a(m) + 3*s(m). Let q = 19 - 14. Is k(q) a multiple of 5?
True
Suppose 0 = 4*x - 3*x + 20. Let s be (-88)/x*(-25)/(-1). Suppose -14 = 3*i - s. Is 30 a factor of i?
False
Suppose 6*w = -n + 2*w + 250, 0 = -2*n - 3*w + 500. Is n a multiple of 28?
False
Is (-1776)/24*5/(-2) a multiple of 18?
False
Suppose q - 5*f - 12 = 5*q, f = 2*q - 8. Suppose -5*h + 3*u = 27, 2*h + q*u - 7*u = -7. Let r(x) = x**2 + 3*x + 6. Does 8 divide r(h)?
True
Let k = 12 - -3. Suppose -k*c - 32 = -17*c. Does 16 divide c?
True
Let p(u) be the third derivative of -u**6/24 + u**5/30 - u**4/12 - u**3/6 + 27*u**2. Is p(-2) a multiple of 9?
False
Let t(b) = b**2 - 11*b + 24. Let u be t(8). Suppose 0 = -2*f - 5*w + 321, 3*f - 450 = -u*f + 3*w. Does 18 divide f?
False
Suppose 0 = 2*q - 3*q. Suppose -2*d + 967 = 3*t, q = 5*t + 4*d - 2724 + 1113. Suppose 94 = -3*v + w + t, 0 = -4*v + 2*w + 306. Does 18 divide v?
False
Let k(x) = 33*x - 36*x + x**2 + 14*x**2. Let t be k(2). Is 5418/t - (-2)/(-6) a multiple of 17?
False
Let r(y) = -2*y**3 - y**2 - 15*y - 9. Let x be r(-4). Let b = x + -37. Does 17 divide b?
False
Suppose 6*b + 110 = 16*b. Suppose b*z = 6*z + 620. Is 12 a factor of z?
False
Let r(k) = -2*k + 10. Let j be r(4). Suppose -2*b + f = -2*f - 96, 0 = j*f + 8. Is 14 a factor of ((-80)/(-15))/(4/b)?
True
Suppose 333 = 4*p - 99. Let j = p - 64. Is j a multiple of 4?
True
Let c(z) = z**3 + 7*z**2 + 2*z + 6. Let y be c(-6). Does 6 divide (-12)/(-90) + 356/y?
True
Let y(g) = 5 + 2*g**2 + 1 + 11*g + 17*g - 20*g. Does 20 divide y(7)?
True
Let r(y) be the second derivative of -y**5/20 + 3*y**4/4 - y**3/3 + 3*y**2/2 - y. Suppose 2*z + 4*c + 14 = z, 4*z - 2*c - 34 = 0. Does 15 divide r(z)?
False
Let w(t) = 25*t. Let k be w(-1). Let a = -16 - k. Is (-79)/(-3) - (-6)/a a multiple of 6?
False
Suppose 0*n + 13 = n. Suppose t - z = n, 3*t + t = 5*z + 49. Does 27 divide (-706)/(-8) - (-12)/t?
False
Suppose -338 = -9*h + 76. Is 6 a factor of h?
False
Let q be 0/(-4*(-3)/6). Suppose q*o = -2*o + 4. Is 4 a factor of (-4)/(-3)*3*o?
True
Let u = 72 + -165. Let k = u + 111. Is 18 a factor of k?
True
Let c = 5621 + -2387. Does 154 divide c?
True
Let u(b) = -b**3 - 2*b**2 + 6*b - 3. Let h be u(-4). Suppose -3*y + 2*y = -3*a - 10, -h*a + 4*y = 26. Is 27 a factor of ((-1)/a)/(1/214)?
False
Let t be -346*(-2)/10 - (-112)/140. Let j = -56 + t. Does 7 divide j?
True
Let i = 1 - 1. Suppose 4*h = i, -4*f + 3*h = -3*f. Suppose 6*c - 162 = -f*c. Does 9 divide c?
True
Let s = 340 + -185. Suppose 10*g - 11*g - s = 0. Let d = g - -225. Does 19 divide d?
False
Let p(g) = -3*g - 7. Let i(u) be the second derivative of u**2/2 - 8*u. Let d(a) = 2*i(a) - p(a). Does 14 divide d(11)?
True
Let k(c) = 12*c**2 + 8*c - 36. Let t be k(6). Suppose w + 2*p = 216, 0*w + 2*w = -p + t. Does 56 divide w?
True
Suppose 5*r = 2*f - 6, 0*r - 2*r - 29 = 3*f. Let x(s) = 2*s**3 + 2*s**2 - 2*s + 3. Let n be x(2). Let a = n + f. Is a a multiple of 15?
False
Let u be 46 - 6/(-3) - 1. Suppose -4*c - 3*k + u = 0, -4*c - c = k - 45. Does 3 divide c?
False
Let h be 30 - (-5 - -2) - -3. Suppose -3*w - 3*n = -h, 0 = 3*w + n - 3*n - 51. Let m = 21 - w. Is 5 a factor of m?
False
Let j = -341 + 448. Is j a multiple of 4?
False
Let b = 24 - -482. Suppose -6*q = -b - 358. Does 36 divide q?
True
Suppose 3*p = -5*v + 687 + 634, -4*p = -5*v - 1703. Is p a multiple of 6?
True
Suppose 389 = -4*h + 1205. Is 36 a factor of h?
False
Is (-10)/(-6) - (-54425)/105 a multiple of 13?
True
Suppose -4*x = -3*x. Suppose 5*w - 4 - 16 = x. Let l = 6 + w. Is 3 a factor of l?
False
Suppose 0*h = 5*q + 4*h + 46, -4*h + 14 = -q. Let n = 5 - q. Does 5 divide n?
True
Suppose d - 64 - 86 = 0. Does 15 divide d?
True
Let i = 563 + -386. Does 8 divide i?
False
Suppose 0 = 67*x - 70*x + 2*t + 176, -286 = -5*x - 4*t. Is 13 a factor of x?
False
Let w = 1375 - 885. Is w a multiple of 18?
False
Let k = 2454 - 1770. Does 6 divide k?
True
Suppose -15*d + 16*d = 222. Is 2 a factor of d?
True
Let m(d) = d**2 + 11*d + 7. Let i be m(-10). Let j be 2*3/(-6) - i. Suppose 0 = -4*l + 5*s + 97 - j, l +