et o be s(i). Suppose 0 = -3*u - 0*u - 3*x + 39, o = u - 5*x + 11. Is u a multiple of 6?
False
Suppose 4165 = 122*r - 115*r. Does 11 divide r?
False
Let y be (0 + (-108)/16)*-16. Is y*((-4)/6)/(16/(-12)) a multiple of 9?
True
Suppose 4*a - 163 = -59. Suppose 5*s = -h + 206 + 44, -5*h = s - a. Does 10 divide s?
False
Let o = -222 + 1020. Is 17 a factor of o?
False
Suppose 2*c - 3*m = -4*m + 210, -2*c + 2*m = -198. Let q = 191 - c. Is q a multiple of 4?
True
Suppose 0 = -5*r - 12 - 3, 226 = 5*m - 2*r. Let j = m - 27. Is 6 a factor of j?
False
Suppose 5*g + 185 = -5*b + 650, -5*g = -5*b + 445. Is b a multiple of 8?
False
Let v be 5/30 - 158/12. Let z(o) = -o - 11. Let t be z(v). Suppose -6*b = -t*b - 300. Does 15 divide b?
True
Let d = 0 - -12. Suppose -4*v - 3*y + 117 = 0, v + 3*y - 39 = -d. Does 10 divide v?
True
Let g be 4 - 5*5/25. Suppose -q + h = -4*q + 95, -87 = -3*q + g*h. Does 9 divide q?
False
Suppose 3*f - f = 186. Let y = 251 - f. Suppose -d - 2*x - y = -4*d, d - 56 = 4*x. Is d a multiple of 20?
False
Suppose 4*o - 4*j - 16 = -0*o, 4*j + 2 = -3*o. Let l = 5 - o. Suppose 0 = 5*y - l*c - 135, y - 18 = -c + 1. Is 8 a factor of y?
True
Let h be 6*(2/2)/(-3). Let z = h - -4. Suppose z*n = 5*g - 129, 0*n + 114 = 4*g + 2*n. Is 20 a factor of g?
False
Let z(x) = x**3 - 12*x**2 + 4*x - 9. Is 16 a factor of z(14)?
False
Let i = 42 + -17. Suppose g = 4*r - 197, 2*r + 220 = 7*r + 4*g. Let x = r - i. Does 11 divide x?
False
Let l(t) = t**3 - 3*t**2 - 8*t - 11. Let y be l(5). Let m(i) = 13*i**3 - 2*i**2 + 3*i - 2. Let f(v) = v - 1. Let b(n) = 3*f(n) - m(n). Is 7 a factor of b(y)?
True
Suppose -159*c + 161*c = 5712. Does 84 divide c?
True
Let p be -6*(-2)/(1 - -1)*-1. Let k = 41 + p. Does 7 divide k?
True
Suppose 5*z - k - 10 = 2*k, -2*k - 15 = -5*z. Let u = 3 - -2. Suppose -5*j = -u*x + 280, -z*x + 161 + 113 = j. Is x a multiple of 11?
True
Let l(f) = -9*f + 20*f + 305 - 304 + 19*f. Let h(n) = n**2 - 3*n + 3. Let v be h(2). Is l(v) a multiple of 31?
True
Let n = -43 - -165. Suppose 5*p = -2*q + 66, 3*q - 4*p = -0*q + n. Suppose -4*k - 2*c + 216 = 0, 4*k + 4*c = 182 + q. Does 21 divide k?
False
Let m(w) = -5*w**3 + w**2 - w - 3. Let q be m(-2). Let y = q - 13. Does 5 divide y?
True
Suppose -29*f = -28*f - 21. Suppose 4*z = f + 27. Is 6 a factor of z?
True
Let c = -101 + 191. Suppose -5*o + 184 = -a, c + 102 = 5*o - 3*a. Is 16 a factor of o?
False
Let c(h) = h**2 - 6*h + 1. Let z be c(6). Let b = -907 + 911. Does 7 divide 3 - z - (b - 20)?
False
Let t(h) = -2*h**3 - 22*h**2 + 14*h + 19. Is 4 a factor of t(-12)?
False
Let f(q) = -11*q**2 + 33*q**2 - 12 + 6*q + 12. Is 36 a factor of f(-3)?
True
Suppose 5*j + 2*h - 118 = 0, -2*h + 46 = 2*j - 0*h. Is j a multiple of 12?
True
Let k = -42 + 44. Suppose 3*x = k*x + 70. Is x a multiple of 45?
False
Suppose -25*r + 3414 - 289 = 0. Is r a multiple of 25?
True
Does 25 divide (57/3)/((-11)/(-473)) + -1?
False
Let y = -2 + 8. Suppose 2*s = -192 - y. Let t = s - -141. Is t a multiple of 14?
True
Let q(t) = t + 34. Suppose -18 - 2 = 2*b. Does 12 divide q(b)?
True
Suppose 22*a - 45 = 27*a. Let w(k) = 2*k**3 + 20*k**2 - k + 20. Is w(a) a multiple of 41?
False
Let q = 596 + -200. Is q a multiple of 33?
True
Suppose 5*j + 845 = 1390. Is j a multiple of 4?
False
Let l(w) = -4*w**2 - 5 + w + 8*w**2 + 3*w + w. Let n(f) = -f**2 + 1. Let r(j) = l(j) + 2*n(j). Is r(-5) a multiple of 6?
False
Let l(z) = 3*z**2 - 19*z - 5. Suppose 0 = 3*a + 3*v - 18, 3*v - 31 = -5*a + 3. Is 23 a factor of l(a)?
False
Suppose -y = 5, 0*c + 5*y = -3*c - 1. Let s(b) = 2*b + 11. Let g be s(c). Suppose -a - 2*a + 4*o = -24, -5*o = a - g. Is 6 a factor of a?
True
Suppose -2*w - 8 = 5*j - 110, -3*j = 5*w - 65. Is 16 a factor of -3 + 95/j*4?
True
Let b(h) = 21*h**3 - 5*h**2 - 7*h + 3. Is b(3) a multiple of 14?
True
Let s = 1 + -6. Let g(j) = 2*j**3 + 12*j**2 - 15*j - 23. Let x(i) = i**3 + 6*i**2 - 7*i - 11. Let r(b) = -6*g(b) + 13*x(b). Is 17 a factor of r(s)?
False
Let g = 3612 - 1248. Does 20 divide g?
False
Let s(x) = 10*x - 56. Does 6 divide s(8)?
True
Let h = 9 - 3. Let v be 45/h*(-8 + 0). Let c = v - -112. Is 13 a factor of c?
True
Let w(a) = 334*a**2 + 4*a - 2. Is 17 a factor of w(1)?
False
Let k = -112 + 13. Does 6 divide ((-132)/k)/(3/(135/2))?
True
Suppose -4*i - 4*d + 6620 = 0, -11*i + 8278 = -6*i + 2*d. Is i a multiple of 85?
False
Is 10 a factor of (-915)/(-20) - 21/12?
False
Let i = -1323 + 2199. Is i a multiple of 6?
True
Suppose 0 = b - 5*d - 1794, 3*b - 3*d + 1204 = 6550. Does 45 divide b?
False
Let x(i) = -13*i - 1. Suppose 2*z + 20 = -2*z. Is x(z) a multiple of 16?
True
Let o(a) = -9*a - 135. Is o(-17) a multiple of 7?
False
Let m(k) = k**2 - 4*k - 3. Let y be m(5). Suppose -s = 3*l + 26, s - 3 = y*l + 6. Let u(h) = -2*h + 8. Is 16 a factor of u(l)?
False
Suppose 216 = 4*b - 2*s - 406, 0 = 4*s + 12. Is b a multiple of 11?
True
Suppose -s + 1 = -0*s. Let i be 1*(2 - s)*0. Suppose i = -2*l + 17 + 29. Does 11 divide l?
False
Let q = -302 - -378. Is q a multiple of 3?
False
Let y be (-2)/9 - 44/(-36). Suppose 3 = 2*z - y. Suppose 0*t + 36 = z*t. Does 9 divide t?
True
Let u(z) = 7*z**2 + 3*z. Let f be u(5). Suppose -p + f = 4*p. Is 8 a factor of p?
False
Let q(x) = 2*x**2 - 8*x + 8. Is 18 a factor of q(-10)?
True
Let y be 8*5/10 - 0. Suppose -5*x - 5 = -6*x, -y*g + 3*x = -385. Is g a multiple of 50?
True
Let o = 61 - 32. Let m be o/(-1) - (-2 + 1). Let q = m + 54. Is q a multiple of 11?
False
Suppose -11*m = -2729 - 637. Is m a multiple of 95?
False
Let b(x) be the third derivative of -x**5/60 + 7*x**4/24 - x**3/3 - 2*x**2 - 44*x. Let g = -13 + 18. Does 3 divide b(g)?
False
Let w(i) = -11*i + 8. Let o(a) = -4*a**3 + 2*a**2 - a + 5*a**3 + a**3 + 0 - 2. Let b be o(-2). Does 32 divide w(b)?
True
Let f be -78*(-6 - -1)/5. Let b = f + -38. Is 8 a factor of b?
True
Suppose 1653 = 40*v - 1587. Does 9 divide v?
True
Let t(g) = -g**2 + 6*g - 5. Let h be t(5). Suppose -5*o + 2*o + 9 = h. Suppose -q + 18 = 5*s, -7*q - o*s = -2*q - 90. Is q a multiple of 12?
False
Let a(h) = -h**3 - 4*h**2 - 2*h - 3. Let l be a(-4). Suppose 9*f - 116 = l*f. Suppose -2*t + q = -f - 23, -4*t + 120 = 2*q. Is 28 a factor of t?
True
Suppose 14 = v - 5*y, -3*v + 6*y - 3*y = -6. Is 1*-52*(0 + v) a multiple of 13?
True
Let z = 141 - 93. Let y = 52 - z. Does 4 divide y?
True
Suppose 0 = 9*i - 1049 - 409. Suppose -2*y - 30 - 16 = -b, 4*b - i = -3*y. Does 14 divide b?
True
Suppose 4*s = -4*z + 24, 20 = 3*z + s + 4*s. Does 9 divide 1/z - 4334/(-55)?
False
Suppose -4*z + g - 78 = 207, -3*g = z + 55. Let r be 883/7 + 10/z. Does 21 divide (r/(-3))/1*-1?
True
Let c(x) be the second derivative of x**4/12 - x**2 + x. Let i be c(-3). Suppose 3*h = -i + 16. Does 3 divide h?
True
Let w(k) = k**3 - 4*k**2 - 6*k + 4. Let l be w(4). Let h = 32 - l. Is h a multiple of 43?
False
Let i(h) = 9*h + 310. Is 31 a factor of i(0)?
True
Suppose 5*x - 4*x = -2*d + 45, 5*d - 174 = -4*x. Is 10 a factor of x?
False
Let n(y) = -2*y - 3. Let m be n(-3). Is 27 a factor of (-20)/m*429/(-22)?
False
Let r be 4/24 - (-1)/(-6). Let j(u) = -2*u + 36. Does 9 divide j(r)?
True
Suppose -2*c + 2*z = -0*z - 1278, -4*c + 3*z = -2560. Is c a multiple of 5?
False
Suppose -24 = -3*y - 105. Is 2/(-3) + (-1503)/y a multiple of 6?
False
Let q(i) = -i**2 + i - 1. Let r be q(-2). Does 12 divide (12/r)/((-6)/126)?
True
Let i(t) = t**2 + 7*t + 9. Let u be i(-6). Suppose -5*d + r + 310 = -u*r, r = d - 63. Let p = d + -12. Is p a multiple of 12?
False
Suppose -47*t + 44*t + 18 = 0. Suppose t*s - 157 = 101. Is s a multiple of 6?
False
Let p(t) = 5 - 156*t**3 - 2 + 0 - 193*t**3 + 2*t. Is 14 a factor of p(-1)?
True
Let c = -584 - -895. Is c a multiple of 9?
False
Let g(z) = z - 2. Let n be g(6). Suppose 5*y + 8 + 7 = 5*x, -y = n*x - 12. Suppose -3*j = -w - 118, y*j = -4*j + 2*w + 160. Does 19 divide j?
True
Let d(b) = -b**2 - 5*b - 4. Let g be d(-4). Suppose -11 = -2*q + 5*m - 2, -3*q - m + 39 = g. Suppose -q*n + 10*n = -44. Does 5 divide n?
False
Suppose 0 = 5*l - 5*r - 35, -29 = -l - l + 5*r. Suppose 0 = -l*g + 5*g - 510. Suppose 2*y = 7*y - g. Does 17 divide y?
True
Let z be (-6)/(-4)*(-32)/(-24). Suppose -z*s = 2*c - 3*s - 88, -4 = s. Does 13 divide c?
False
Let s be 60/(-8)*(-264)/10. Suppose -t + 264 = 4*f - 3*t, -3*f = -