Suppose -5*o + i = -76. Is o a multiple of 20?
False
Let c(f) = -f + 7. Let v be c(5). Suppose -v*i - 40 = -2*p, -i + 5*p = p + 14. Let x = 1 - i. Does 9 divide x?
False
Let d(b) = 2*b**3 + 3 + 3 + b - 11 + 3. Does 5 divide d(3)?
True
Suppose 4*o - 6*f = -f - 887, 2*f + 1084 = -5*o. Let y = o + 308. Suppose -2*c - y = -5*c. Is 10 a factor of c?
True
Suppose -34*b - 59 = -33*b. Let k = 203 + b. Is k a multiple of 24?
True
Let c be 173 + 4/(-8)*4. Suppose 5*m - p - 122 = c, -2*m + 3*p = -112. Is 22 a factor of m?
False
Let l = -61 - -64. Suppose -4*x + 176 = -l*x. Does 19 divide x?
False
Let m = -493 - -790. Let p = m - 207. Let u = p + -3. Does 29 divide u?
True
Suppose -3*f + 6*f = 2634. Suppose 3*z - f = -2*y, 0*z + 2*z - 4*y - 564 = 0. Is 41 a factor of z?
False
Let v(k) = -10*k + 78. Is 4 a factor of v(7)?
True
Let d(i) = 2*i**3 - 2*i**2 - 10*i + 1. Let u be d(5). Suppose 0 = -3*x - 31 + u. Does 20 divide x?
True
Suppose -3986 = u - 4046. Does 4 divide u?
True
Suppose 3*y + y = 2*y. Suppose 2*x + n + 25 = 169, y = x - 5*n - 83. Does 10 divide x?
False
Suppose -3*q = 42 - 3. Let l = q + 22. Is 3 a factor of (-228)/(-18) - 6/l?
True
Let i(y) = -y**2 + 15*y - 22. Is 8 a factor of i(9)?
True
Let o be -1 + -1 - (13 - 25). Let l(n) = -31*n + o*n + 5*n - 12. Is l(-6) a multiple of 21?
True
Does 9 divide 1 + -6 - (-35 - -21)?
True
Suppose 0 = 37*r - 83*r + 86940. Is 126 a factor of r?
True
Suppose -4*l - 5*h - 332 = -6*l, 346 = 2*l + 2*h. Let f = 14 + l. Is f a multiple of 37?
True
Suppose 2*g = o, -4*g = -o + 1 - 3. Does 7 divide 105/2 + o/(-4)?
False
Let k = 67 + -1. Suppose -j + 38 = -3*y, 0*j - 2*j + y + k = 0. Is j a multiple of 9?
False
Let j = 10 - 6. Let h(x) = 22*x - 8. Let k be h(j). Suppose 5*i + b = 131, -i + 2*b - k = -4*i. Is i a multiple of 13?
True
Let b(q) = -2*q - 35. Let j be b(0). Let h = j + 66. Is 28 a factor of h?
False
Let x = -9 + 74. Is (-13)/x + (-682)/(-10) a multiple of 26?
False
Suppose u - 5*l = 62, u + 99 = 3*u - 5*l. Let b = 64 - u. Does 3 divide b?
True
Let w(c) = -6*c**3 - 2*c**2 - 13*c - 14. Is 56 a factor of w(-6)?
True
Suppose -4*m - 6 = 6. Is (m - 0)/3*-115 a multiple of 9?
False
Let j(u) = -u**2 - 11*u + 9. Let x be j(-14). Let f(m) = -7*m + 7. Let p be f(-6). Let t = x + p. Is t a multiple of 5?
False
Let r be (0 - -1) + 13/(-1). Let q be ((-6)/4)/(r/784). Suppose -q = -4*f + 62. Does 16 divide f?
False
Suppose -7*c + 8*c = 12. Suppose 6*q + c = 7*q. Is 2 a factor of q?
True
Let f = -1100 + 2155. Does 13 divide f?
False
Let h(g) = -156*g - 2*g**2 + 156*g + 5*g**2. Let w be h(6). Suppose -w = a - 7*a. Does 8 divide a?
False
Let t = -1382 - -2365. Does 44 divide t?
False
Let t(q) = -q**2 - 14*q + 55. Let j be t(-20). Suppose -5*c + c - 496 = -2*x, -2*x - 4 = 0. Let y = j - c. Is 20 a factor of y?
True
Let z = 8239 + -4783. Is 8 a factor of z?
True
Let h = 117 + 0. Does 4 divide h?
False
Suppose -3*i + 2*j - 31 = 0, 2*i + j + 22 = 2*j. Let c = i - -198. Does 28 divide c?
False
Suppose -4*s + 1179 = 3*x, 0 = s - 3*x - 130 - 146. Is s even?
False
Let d(n) = 10*n**2 + 3*n - 3 + 5 + 5. Does 22 divide d(-3)?
True
Suppose 0 = -5*v + 15, 0 = 3*g + 2*g - 5*v - 2010. Suppose -7*z + g = 13. Is 27 a factor of z?
False
Let t be 130/18 - (-2)/(-9). Let j(v) = 11 + 7*v**2 - t*v**3 - 15*v**2 + 15*v**3 - 7*v**3 + 11*v. Is j(6) even?
False
Let u(x) = -3*x**2 - 79*x + 4. Is 10 a factor of u(-21)?
True
Let f be (11 + -7)/(4/(-14)). Let p = 22 + f. Is 4 a factor of p?
True
Let w = 55 - 39. Suppose w = 2*h - 5*s, 4*h = h - 4*s + 1. Is 13 a factor of 10/15 - (-82)/h?
False
Let f = 811 + -477. Is f a multiple of 7?
False
Suppose -4*z - z = -10. Let b be z + (-3 - (-2 - 0)). Let p = b - -27. Is 6 a factor of p?
False
Let c(u) = -u**2 + 15*u. Let d(w) = -w**2 + 15*w + 1. Let q(h) = 3*c(h) - 2*d(h). Is q(8) a multiple of 9?
True
Let s(u) = 2*u**3 + 110*u**2 - 3*u + 129. Is s(-55) a multiple of 21?
True
Let a(o) = -76 - 2*o + o - 16*o + 54. Does 16 divide a(-6)?
True
Let w(i) = 4*i**3 - 24*i**2 - 12. Is w(9) a multiple of 40?
True
Let j(w) = -11*w + 10. Let o be j(4). Let n = o - -50. Suppose 0 = -r + 4*d + n, 2 + 18 = 5*d. Is 7 a factor of r?
False
Let d = -28 + 19. Let v = -7 - d. Does 8 divide 23 - 1 - v - -2?
False
Suppose -5*v + 12*v - 511 = 0. Is v a multiple of 15?
False
Suppose -2 = 7*n - 6*n. Let z be n - (-8*1)/4. Is 26 + z/(-3) + 1 a multiple of 13?
False
Suppose 0 = -4*h - 24 - 24. Let g be 0 + -1 - h/1. Let p = 26 - g. Is 15 a factor of p?
True
Let r(d) = -d**2 + d + 22. Let k be r(5). Is 4 + (-47)/((-5)/2 + k) a multiple of 35?
False
Let z(s) be the third derivative of -s**4/12 + 35*s**3/6 + 13*s**2. Is z(-11) a multiple of 19?
True
Suppose 4*j = -u + 16, -5*u + 3*j - 20 = -2*j. Suppose u*k + 5*r = -2*k + 202, 543 = 5*k + 3*r. Does 37 divide k?
True
Let o(v) = -v**3 + 5*v**2 - 3*v - 4. Let k be o(3). Suppose -k*x + 330 = f, 5*x - 208 = -5*f + 102. Does 11 divide x?
False
Suppose z + 5 = h + 4*h, -5 = -3*h + z. Suppose h = 11*k - 552 - 75. Is k a multiple of 19?
True
Let j be (-16)/72 + -2 + 164/9. Is 35 a factor of (-721 + 1)*11/((-440)/j)?
False
Suppose 3*q = c - 14, 2*q - 5 = -3*q - 4*c. Let z be 1 + q/(9/(-3)). Suppose -5*i + 0*i + 13 = z*y, 5*i - 51 = -4*y. Does 4 divide y?
False
Suppose 5*s + 20 = 0, 166 = 2*i - s + 4*s. Let a = -53 + i. Does 9 divide a?
True
Is (-48620)/(-160) + (3 - (-46)/(-16)) a multiple of 76?
True
Let k = 23 - 24. Let p(h) = 11*h + 2. Let v be p(k). Let m = 27 + v. Does 9 divide m?
True
Let h = -506 - -1002. Is 31 a factor of h?
True
Suppose 3 = 3*t, t = -m + 5*t + 624. Is 4 a factor of m?
True
Let s be 345/6*12/15. Suppose -y - 4*l = -s, 2*y - 26 - 54 = 4*l. Is 14 a factor of y?
True
Let t = 5676 - 2391. Is 22 a factor of t?
False
Suppose 23 = -5*d - i, -6*d + 3*d + 5*i + 3 = 0. Let j(z) = -3*z + 4. Does 4 divide j(d)?
True
Suppose 5*r - 12 - 3 = 0. Suppose -4*a - x = -0*a - 8, 0 = -2*x + 8. Is -1 - (r + -61 + a) a multiple of 16?
False
Suppose 0 = -13*g + 8*g. Suppose g*o - 38 = -o. Suppose 4*a + 4*u = 73 - 1, 0 = -2*a - u + o. Does 20 divide a?
True
Let h = 8 - 2. Suppose h = -4*f + 6*f. Suppose -f*w + 23 = 2. Is w a multiple of 3?
False
Let i(y) = y**3 - 22*y**2 - 24*y + 2. Let k be i(23). Is (-2)/(-7) + (-372)/k a multiple of 9?
True
Let t be 16/(-4)*(-3)/(-12) - -6. Suppose -t*k + 14*k = 27. Is k a multiple of 3?
True
Let u(v) = -7*v - 20. Let t be u(-5). Is 25 a factor of (-496)/(-10) + (-1 - (-21)/t)?
True
Suppose 3*r + 2 = -5*n, r + 4*r - 7 = 2*n. Does 8 divide (-142)/(-6) + n/(-3)?
True
Let d = 4 + -2. Let j(g) = -g**2 + g + 3*g**d - g + 2*g. Does 6 divide j(2)?
True
Suppose 11 = 5*s - b + 2*b, 15 = 5*s + 5*b. Let z be 3/6 - (271/2 + 1). Is -3 + z/((-8)/s) a multiple of 9?
False
Let z(o) = o**2 - 2*o + 2. Suppose -m - m + 4 = 0. Let h be z(m). Suppose 5*t + j - 99 - 8 = 0, 5*j = -h*t + 29. Is t a multiple of 22?
True
Suppose -740 = -14*q + 1038. Is q a multiple of 8?
False
Suppose 15*d - 17*d + 66 = 0. Is d a multiple of 2?
False
Let a = -31 - -36. Suppose -4*m + 231 = 4*s - a*m, -2*s + 112 = -4*m. Does 29 divide s?
True
Does 15 divide (-18)/108 - 7202/(-12)?
True
Suppose 3536*z - 3529*z - 1078 = 0. Is z a multiple of 11?
True
Let c be ((-16)/12)/((-3)/(1206/4)). Let m = c - 35. Is 28 a factor of m?
False
Let y(o) = -o + 14. Let f(i) = -2*i + 27. Let l(j) = 3*f(j) - 5*y(j). Let n be l(-11). Suppose -2*q = -4*h + n, 2*h + q = -q + 26. Is h a multiple of 3?
False
Suppose n + 4 - 9 = 0. Suppose 5*g = -z + 16, -4*z + 9*z + 40 = n*g. Suppose -2*k - g*k + 204 = 0. Does 17 divide k?
True
Let t = 21 - 17. Does 5 divide ((-24)/(-30))/(t/70)?
False
Let v(d) = d**3 + 10*d**2 - 11*d + 14. Let f be v(-11). Suppose -2*i + 8 - 2 = 0, j - f = -3*i. Suppose -5*b + 14 = 39, 3*y = j*b + 145. Does 18 divide y?
False
Let h(p) = 62*p - 44*p - 173*p - 151*p. Let t be h(-1). Suppose 296 = 4*r - 2*i, t - 34 = 4*r + 4*i. Is r a multiple of 24?
True
Let t be (-4)/(0 + (-2)/14). Suppose 205 = 10*z - 5*z. Let x = z - t. Does 3 divide x?
False
Let t = 65 + -60. Suppose u - 875 = -t*j, 3 = 5*j + 4*u - 857. Does 21 divide j?
False
Suppose q = -10 - 4. Let l be (-9 + 8)/(2/q). Suppose 0 = l*p - 0*p - 42. Is p a multiple of 2?
True
Let g = 914 + -662. Does 7 divide g?
True
Suppose 5*v = 4*s - 39, -s - 3*s + v + 27 