 = 18. Is 4 a factor of n?
True
Let u = -18 + 34. Is 9 a factor of (u/48)/((-1)/(-153))?
False
Let u(t) = t**3 - 8*t**2 + 8*t + 23. Let n be u(6). Let h(m) be the first derivative of -16*m**2 + 3*m - 1. Is 4 a factor of h(n)?
False
Let f(o) = -o**2 - 11*o + 18. Let h = 15 + -28. Let a be f(h). Let t(i) = -4*i - 4. Is t(a) a multiple of 13?
False
Let h be 5 + 2/8*4. Suppose 4*m + 3*i + h = 0, 0 = m + m + i + 4. Let a(c) = -3*c**3 - 5*c**2 - 3*c - 3. Is 11 a factor of a(m)?
False
Suppose 5*w + 2*f = 291, 4*f = 4*w - f - 246. Let t = w + -32. Does 3 divide t?
True
Suppose -436 - 527 = -3*t. Suppose -77 = -p + 4*k + 43, -3*p - k = -t. Is 16 a factor of p?
False
Let k(u) = 3*u**3 + u**2 + u - 1. Let w(l) = l**3 + 8*l**2 + 7*l + 2. Let c(q) = -5*q + 3. Let t be c(2). Let h be w(t). Is 8 a factor of k(h)?
False
Let r = -11 - 8. Is (-7)/(28/(-12)) - r a multiple of 20?
False
Suppose 6*w = w. Let f be 13/3 + 23/3 + -8. Suppose r + 4*r + f*d = 536, 2*d - 8 = w. Is 13 a factor of r?
True
Let y be (4/3)/(2 + (-32)/12). Is -2 - 1 - -8 - (y - 0) a multiple of 2?
False
Let d(j) = 0 + 1 + 10*j - 11*j. Let q be d(-7). Suppose 2*c = q*c - 342. Is 13 a factor of c?
False
Let b = 27 - 25. Suppose -28 + 0 = -r + b*t, -3*r - 2*t = -92. Does 10 divide r?
True
Suppose -9 = -u - 3*u - 3*x, -5*x = 3*u - 15. Suppose -4*c - 30 + 394 = u. Suppose 2*d - 4*d = 5*k - c, -5*k = -5*d + 280. Does 21 divide d?
False
Let g be ((-34)/6 + 2)*-3. Let w = g - 9. Is 30 a factor of 9/w*40/3?
True
Suppose -t + 3*o = -5193, 8*o = -4*t + 6*o + 20814. Is 18 a factor of t?
True
Let u(f) = 22 + 1 - 1 - 6*f. Is u(-10) a multiple of 10?
False
Let g = -31 - -47. Suppose 5*d - 302 = 2*j, -d + 4*j + 48 = -g. Is 20 a factor of d?
True
Let i be (-224)/4 + -1 + 2. Let b be 11/i + (-24)/5. Let t = -1 - b. Is t even?
True
Let g(x) = x**2 + 3. Let l be g(4). Suppose 48 = y - 4*c - l, 3*c - 171 = -3*y. Is y a multiple of 16?
False
Let n = 158 - 68. Does 10 divide n?
True
Let u be ((-2)/1 - -356) + (-6)/(-2). Let j = -146 + u. Does 17 divide j?
False
Let k(j) = -546*j - 117. Is 26 a factor of k(-3)?
False
Suppose -152*y + 41382 = -141*y. Is 19 a factor of y?
True
Does 8 divide (772/(-16))/(3 - 13/4)?
False
Let a(n) = -3*n + 20. Let u be a(6). Suppose -u*g - 139 = -651. Is g a multiple of 16?
True
Let g(m) = m**2 + 3*m - 28. Let i be g(6). Suppose 5*t - 3*z - 61 = -19, z - i = -5*t. Is t a multiple of 6?
True
Suppose 2*n = -3*n - 25, -2*s - 2 = 2*n. Suppose -s*a + 2*a + 90 = 0. Does 9 divide a?
True
Let j = 16 + -1. Let p be (1 + -2)/((-5)/j). Suppose -5*c = -p*c - 120. Does 15 divide c?
True
Let q be 2*(20/(-5) - 1). Is (-175)/q*((-28)/(-10) + 0) a multiple of 7?
True
Let f be (-285)/((-6*12/16)/(-3)). Let k = -114 - f. Is 16 a factor of k?
False
Suppose 2*x - 3*j - 331 = 0, -x + 72*j - 75*j = -179. Is 5 a factor of x?
True
Let f = -430 - -775. Does 34 divide f?
False
Let d be 10 - 1 - (1 - -4). Let q = d - -19. Is q a multiple of 2?
False
Let h(w) = -w + 39. Does 3 divide h(0)?
True
Is 18 a factor of 4/(-30) + 164870/150 + 10?
False
Suppose -2*l - 16 = 5*k + 4, 30 = -3*l + 3*k. Suppose -20 = 2*b + 3*b. Is b/l - (-444)/15 a multiple of 5?
True
Let y be (-12)/20 - (-204)/15. Suppose 5*w + y - 173 = 0. Is 8 a factor of w?
True
Suppose 5*a + 85 = 4*m, 5*m - m - 76 = -4*a. Suppose 5*l - m = 0, -4*v = -l - 2*l + 4. Is 13 a factor of (-101)/(-2) + 1/v?
False
Let x = -666 - -377. Let z = -151 - x. Does 23 divide z?
True
Does 38 divide -9*(-824)/12 + -4?
False
Let t = 186 - -408. Is 14 a factor of t?
False
Let d = -48 - -27. Suppose 4*k = 126 + 22. Let h = k + d. Does 4 divide h?
True
Let i(y) = 2*y**2 - 23*y + 146. Is 4 a factor of i(10)?
True
Suppose -6*l + 7 = -23. Let z(k) = 65*k**2 + 7*k - 2. Let m(i) = 66*i**2 + 8*i - 3. Let n(g) = l*z(g) - 4*m(g). Does 15 divide n(-1)?
True
Let f = 3981 + -2101. Does 20 divide f?
True
Suppose -2*t - 90 + 120 = 0. Suppose 11*c - t*c = -800. Is c a multiple of 25?
True
Suppose 18 = -2*c + 5*c. Suppose a + 20 = c*a. Suppose 89 = 2*j + 5*q + 11, 182 = a*j - 3*q. Is 10 a factor of j?
False
Suppose 2*h + 2*h - 324 = -4*b, h + 5*b = 73. Does 10 divide h?
False
Is 2/(7/(2219 - 7)) a multiple of 8?
True
Suppose 0 = s - 2*i + 7*i + 31, 5*s = -2*i - 109. Let k be (-16)/(-12)*s + -2. Is 10 a factor of (-820)/(-24) + 5/k?
False
Let r(h) = 9*h + 18. Suppose i - 2*j = -3*j + 3, 31 = 5*i - 3*j. Is r(i) a multiple of 20?
False
Suppose -2*o - 3*o - f = -3062, o - 616 = -2*f. Is o a multiple of 51?
True
Is 57 a factor of (-3)/(3/(-3)) - -235?
False
Let w = -1102 + 1312. Is 4 a factor of w?
False
Suppose 73*w - 57*w - 6288 = 0. Is w a multiple of 6?
False
Let l(n) = -n + 1. Let u(h) = 9*h + 8. Let t(o) = -3*l(o) + u(o). Does 24 divide t(7)?
False
Suppose -4*n - 34 + 514 = 0. Does 15 divide n?
True
Suppose 2004 = 19*k - 1758. Does 9 divide k?
True
Let l = -3343 + 5818. Is 75 a factor of l?
True
Suppose -886 = -v - y, 4*v = -v - 4*y + 4426. Does 34 divide v?
False
Let z(x) = -x**3 - x**2 + 6*x + 6. Let f = -2 - -6. Suppose 3*h + 9 = 3*s, f*h + 12 = -3*s - 7. Is z(h) a multiple of 15?
True
Let q be ((-3)/(-2))/(29/406). Is 3*9*14/q a multiple of 7?
False
Let v = -6 - -17. Let d(n) = -v - 2*n + 17 + 0*n + n**2. Does 10 divide d(6)?
True
Suppose -2*v + p + 8 = 0, 6*v - 2*p - 20 = v. Suppose -2*t - v*s - 14 = 0, 4*t = -0*t + 4*s + 32. Suppose -t*y = -27 - 3. Is 5 a factor of y?
True
Let t = -277 + 2019. Is 13 a factor of t?
True
Suppose -3*z - 111 = -s, -z = -2*z + 3. Is 12 a factor of s?
True
Let t = 1643 - 1227. Is 2 a factor of t?
True
Is 138 a factor of (-36)/(-5)*(377 + 83)?
True
Let s = 16 - 1. Let c = s - -167. Does 11 divide c?
False
Suppose 2*b - 7 = -3. Let i(q) = q + q + b*q + 2 - 9. Is 6 a factor of i(5)?
False
Let j(d) = 9*d + 17. Is 3 a factor of j(-1)?
False
Let m = -28 - -33. Suppose -m*r = 2*j - 5, 3*j - 4*r + 0 = -4. Suppose j*v + 112 = 7*v. Does 16 divide v?
True
Let d = -511 - -1326. Is d a multiple of 28?
False
Suppose -1568 = -14*a + 2534. Does 11 divide a?
False
Suppose -416*r + 403*r = -25311. Is 33 a factor of r?
True
Suppose -2 = -h, -z - 2*z + 16 = 2*h. Suppose -3*m = 3*r - 60, 0*r - 35 = -r - z*m. Suppose -3*f + r = -0*f. Is f a multiple of 2?
False
Let k = 18 + -16. Suppose -2*x + 106 = 4*a, 1 = -k*a - 4*x + 39. Does 5 divide a?
False
Suppose -o + 189 = -1215. Is 52 a factor of o?
True
Suppose 42 = 2*a - 4*i - 258, -4*a + 2*i + 630 = 0. Is a a multiple of 2?
True
Is (-110)/(-165)*4/((-16)/(-1974)) a multiple of 7?
True
Suppose 13*k = 58 + 722. Is k even?
True
Let t(j) = 30*j + 45. Is 73 a factor of t(35)?
True
Suppose -2*z + 2074 = 4*w, 4160 = 4*z + 16*w - 11*w. Is z a multiple of 19?
True
Let s be (1 - (2 + -6)) + -3. Suppose s*j = 57 + 7. Does 2 divide j?
True
Let f(b) = 2*b - 5. Let g = -2 + 6. Let a be f(g). Suppose 0 = 4*k + a*i - 165, k - 4*k + 105 = -4*i. Is 20 a factor of k?
False
Let r be 4 - (-4)/(16/4). Suppose -r*t - 20 = 0, h + 2*h + 4*t = 23. Does 3 divide h?
False
Suppose r = 2*c + 1286, -2*r = 3*r - 5*c - 6405. Does 29 divide r?
True
Let y(g) = -3*g + 6. Let f be y(5). Let c(t) = -6*t + 21. Is 15 a factor of c(f)?
True
Suppose 2*c + 2*y - 238 = 0, -2*c + 615 = 3*c - 5*y. Is 6 a factor of c?
False
Let c be -14 + 412 + 1*-2. Suppose -5*w - c = -1131. Does 21 divide w?
True
Let c = -10 + 12. Let v(b) = 11*b - 5. Is 4 a factor of v(c)?
False
Suppose 0 = -3*u - 2*v + 645, 0*v + 3*v - 9 = 0. Let f = -147 + u. Does 18 divide f?
False
Suppose -4635 = 26*h - 71*h. Does 4 divide h?
False
Let c = 70 - 68. Suppose j - 19 = 4*g, c*g = -2*g + 16. Is 12 a factor of j?
False
Suppose 5334 = 14*v - 5922. Does 12 divide v?
True
Let m = -10 + 10. Suppose -3*t + 161 = 5*q - q, m = -2*t + 5*q + 69. Does 18 divide t?
False
Let i(p) = p**3 + 11*p**2 + 8*p - 5. Let h be i(-10). Let v = h - -29. Suppose -3*x + 34 = -2*s, 3*s + v = 4*x - s. Is 4 a factor of x?
True
Let v(j) = j + 22. Let g be v(-14). Is 9 a factor of (3010/g)/5 + (-30)/(-40)?
False
Let j = -22 - -29. Suppose -j*k = -5*k - 40. Is 10 a factor of k?
True
Let a be 6/(-4)*(-352)/24. Let v be a*(-3)/2*-1. Let g = v + -17. Is 7 a factor of g?
False
Suppose j = l - 263, -3*l + 4*j = -j - 797. Is 10 a factor of l?
False
Suppose -2*n = 2*s + 3*s - 28, 14 = n - 3*s. Is (n/(-35))/((-2)/120) a multiple of 12?
True
Let d 