2*a - 54 = v, -5*v + 3*v - 80 = -3*a. Suppose 10 = 3*w - 5*w, 2*n + 3*w + 9 = 0. Suppose 0 = n*x - x - a. Is x a multiple of 7?
True
Let j(q) = q**2 - 7*q - 8. Let z be j(8). Suppose -5*i - 3 + 28 = z. Suppose h - i = p + 28, -6 = 2*p. Does 10 divide h?
True
Let i(c) = -2*c**3 + 5*c + 3. Let t be i(-3). Suppose 3*w = -5*z + t + 17, -2*w + 46 = 4*z. Does 10 divide z?
True
Suppose -4*v = -8 - 4. Suppose v*t = -t - 5*k - 5, -k = 5*t - 20. Is t a multiple of 5?
True
Suppose -3*k + 206 = -10. Suppose -4*x + 0*x + k = 0. Suppose 5*l - 3*l = x. Is 9 a factor of l?
True
Let o(a) = 3*a**2 - 2*a + 3. Let z be o(2). Suppose w = -2 + 5. Let h = z + w. Does 14 divide h?
True
Suppose -4*l = 5*w - 1083, -l - 5*w + 66 + 216 = 0. Is l a multiple of 17?
False
Let y = 25 + -17. Does 2 divide y?
True
Let j(i) = -5*i - 1. Let w be j(-1). Suppose 0 = -w*r - 3*h + 82, -3*r = -2*r - 5*h - 9. Is 7 a factor of r?
False
Suppose 40 = 2*q + 8. Does 16 divide q?
True
Suppose 2*p - 4*f = -p + 35, 3*p - 5*f - 40 = 0. Let o(j) = j**3 - 4*j**2 - 2*j - 7. Is o(p) a multiple of 8?
True
Does 8 divide (-345)/6*(-4)/5?
False
Let u be 3 + (-6)/1 - -5. Suppose 6 = -0*q + u*q. Suppose -42 = -q*w - 3*g, 7*w - 4*w = 5*g + 34. Is w a multiple of 4?
False
Suppose -8 + 32 = 4*g. Is 12 a factor of (4/g)/((-10)/(-345))?
False
Does 28 divide 110 + (-2 - -4)/(0 + 1)?
True
Let w be (-240)/(-18)*3/(-2). Does 8 divide ((-32)/w)/(2/10)?
True
Suppose 2*v - 1 - 55 = 0. Is v a multiple of 14?
True
Suppose 5*a = c - 35, 2*c - 2*a - 157 = -c. Let d(u) = 22*u. Let r(s) = 308*s. Let j(i) = c*d(i) - 4*r(i). Is j(-1) a multiple of 21?
False
Let o(h) = h**3 + 10*h**2 - 5*h - 5. Let g be o(-9). Let y = -81 + g. Suppose y = z + z. Is 9 a factor of z?
False
Let g = -3 + 5. Let a(b) = -22*b - 2. Let m be a(-2). Suppose s + 8 = i, 4*i = g*s + m - 12. Is 2 a factor of i?
False
Does 22 divide -4 + (-2 - 0 - -94)?
True
Suppose -2*v - 27 = -5*v - 5*q, 3*v + q - 39 = 0. Suppose -3*y + 1 = -v. Suppose -y*t + 3*s = 30 - 78, 2*t = -3*s + 15. Is t a multiple of 9?
True
Let z = 5 + -2. Suppose 8*j = z*j + 120. Let h = j + 14. Is h a multiple of 19?
True
Let u be 2/(-2 - 24/(-15)). Let q = 16 + u. Does 3 divide q?
False
Let g(z) = -z**3 - 8*z**2 - 2*z - 4. Suppose 2*k + 6 = -m, -k - 9 = 2*m + 6. Does 6 divide g(m)?
True
Let t = -6 + 8. Let d(z) = 19*z - 3. Does 12 divide d(t)?
False
Let p = -57 - -96. Is p a multiple of 13?
True
Let r(z) be the third derivative of -z**4/24 - 2*z**3/3 - z**2. Let k be r(-11). Suppose 54 = 10*t - k*t. Is t a multiple of 6?
True
Suppose 4*u + 3 = 139. Let k = u - 24. Does 4 divide k?
False
Let v = 1 + 1. Let o = -3 + v. Is 29 - o - (-2)/1 a multiple of 16?
True
Let v(o) = -o**3 - 9*o**2 + 8*o + 8. Does 24 divide v(-10)?
False
Let o = 48 - -12. Is 20 a factor of o?
True
Let z(t) = 9*t - 4. Let x = -3 - -8. Does 13 divide z(x)?
False
Suppose -4*s - 60 = -2*m - 2*s, -4*s + 80 = 4*m. Suppose m + 15 = 5*y. Is 1/(-4) + 90/y a multiple of 11?
True
Let g = 3 + -3. Suppose -z + 28 = -g*z. Is 14 a factor of z?
True
Let v = 16 - 10. Suppose 2*h + v = 3*h. Suppose -2*m + h = -m. Is 3 a factor of m?
True
Let m(o) be the second derivative of 13*o**4/12 + o**3/3 + 2*o. Let j(f) = f**2 - f. Let z be j(2). Does 21 divide m(z)?
False
Suppose 4*w - 8 = 2*b + 2*b, 0 = 3*b + 3*w - 6. Suppose -18 = -l - 6. Suppose -5*j + 9*j - l = b. Is 2 a factor of j?
False
Let u = 3 + 9. Is u a multiple of 3?
True
Is 13 a factor of (-3)/9 + (-151)/(-3)?
False
Let j(x) = -x**3 - x**2 - 19. Let s be j(0). Let p = 11 - s. Is 12 a factor of p?
False
Let h(g) = g**2 - 10*g - 16. Let s be h(12). Let b = s - -1. Does 3 divide b?
True
Suppose -a = -3*x + 11, -a - 9 = -4. Suppose x*n - 4*i = -20, 3*n + 3*i + 18 = -n. Let d = 11 + n. Is 5 a factor of d?
True
Suppose -2*b - b = -180. Does 16 divide b?
False
Let s = 7 + 41. Is s a multiple of 18?
False
Suppose 0 = -4*u + u + 9. Let f(r) = r**2 + 5*r + 2. Is f(u) a multiple of 7?
False
Suppose 3*r - 3*m + 6*m = 60, 2*m = -3*r + 58. Is r a multiple of 18?
True
Let r = 12 + 47. Is 9 a factor of r?
False
Suppose -2*z + 70 = 4. Is 10 a factor of z?
False
Let v = -12 + 31. Is 19 a factor of v?
True
Suppose 0 = f - 5*f + 84. Let a(m) = 2*m**2 + 8*m + 5. Let i be a(-6). Let c = i - f. Does 4 divide c?
True
Let v(p) = p + 3. Let l be v(-3). Suppose l*w - 4*w = -12. Suppose 5*z - 138 = 3*b - 36, -z + 18 = -w*b. Does 9 divide z?
False
Let g be 35/(-15) - (-4)/(-6). Let x(d) = d + 3. Let z be x(g). Is (z - 1) + 75/3 a multiple of 13?
False
Let p(r) = r**2 + 3*r. Let j be p(-4). Is 7 a factor of 16/(-12)*(-30)/j?
False
Suppose 2*g - 7*g + 165 = 0. Is 11 a factor of g?
True
Let m be (-7 + 6)/(3/54). Let t = -9 - m. Does 2 divide t?
False
Let p be (-3)/(-5) - 3/5. Let f be 1 + 4 - (-2 - p). Suppose 0 = -v + f + 3. Does 6 divide v?
False
Suppose -5*v + 208 = -4*s, 0*s + 3*s - 154 = -4*v. Does 12 divide v?
False
Is 8 a factor of 1/2*40 + 4?
True
Let y(m) = -m**3 + 12*m**2 + 11*m - 8. Does 33 divide y(12)?
False
Suppose 2*c + 2*c = 8. Suppose c*k = 26 - 10. Is 4 a factor of k?
True
Let u(z) = -2*z**3 + 6*z**2 - 2*z + 3. Let l be u(4). Let f = l + 100. Let d = f - 35. Does 10 divide d?
False
Let u be ((-66)/9)/((-4)/6). Suppose -2*z = 3*j - 13, j = -3*z + u - 2. Is 15/(-2)*(-4)/j a multiple of 4?
False
Let a(o) = 3*o**2 - 7*o + 6. Let y(w) = -w**2 - 17*w - 10. Let s be y(-10). Let v be s/14 + 4/(-14). Is 13 a factor of a(v)?
True
Suppose -6*a + 3*a + 168 = 3*j, -2*a + 3*j = -87. Let d = a - 17. Is d a multiple of 17?
True
Let q be (3/2)/(6/732). Let p = q + -127. Is p a multiple of 14?
True
Let s(b) = 2*b**3 - 4*b**2 + 3*b - 3. Let o be s(4). Suppose -k - 5*p + o = 0, -3*p - 225 = -2*k - 3*k. Suppose -k + 8 = -r. Is r a multiple of 20?
True
Suppose 0 = 2*k - k. Suppose k = -2*j - 2*a + 24, -2*a - 46 = -3*j - 15. Is j a multiple of 3?
False
Let x(h) be the first derivative of -h**4/4 + 2*h**3 + h**2 - 3*h + 1. Suppose 4*v - 2*k - 3 - 7 = 0, k = 3*v - 10. Is x(v) a multiple of 16?
True
Suppose 0 = -u + 4*x + 11, -5 = -5*u - 4*x + 2. Suppose t - 176 = -4*d - u*t, -3*t - 204 = -5*d. Does 21 divide d?
True
Is 6 a factor of 1332/45 + (-2)/(-5)?
True
Let n be (2724/(-8))/((-6)/(-8)). Does 17 divide 2/(-9) + n/(-18)?
False
Let y(w) = 8*w**2. Let u be y(1). Suppose -3*r + 40 = -u. Does 4 divide r?
True
Let g(o) = 2*o + 10. Let v be 8 - 0 - 1 - 1. Is g(v) a multiple of 16?
False
Suppose 3*n + 2*n - 390 = 0. Does 13 divide n?
True
Suppose -a + 2*a = 0. Suppose a*o = 4*o - 64. Is o a multiple of 8?
True
Suppose b + 4*n - 368 = 0, -3*b - n + 2*n = -1130. Is b a multiple of 54?
False
Is 6 a factor of 36 + 10/5 + -2?
True
Suppose 74 = 3*p - 97. Is 3 a factor of p?
True
Is 3 a factor of (-78)/9*6*2/(-8)?
False
Let h(y) = y**2 - 9*y + 20. Is 9 a factor of h(13)?
True
Suppose -p - 3*p + 12 = 0. Let i = p - 3. Suppose -3*b + 81 = -i*b. Does 17 divide b?
False
Suppose 0*f = -f + 6. Suppose -t - 2*t = -f. Suppose 2*c + b - 34 = 0, -c + 0*c - t*b = -23. Is 8 a factor of c?
False
Let s = -7 - -7. Suppose 0 = -s*m + 5*m - 70. Does 14 divide m?
True
Let d(o) = 11*o + 14. Let b be d(-6). Let u be ((-3)/2)/(3/b). Is 423/39 + 4/u a multiple of 10?
False
Let i = 0 + -2. Let z = 39 + -28. Is 0*(-1)/i + z a multiple of 4?
False
Suppose -8*n - 168 = -1560. Does 19 divide n?
False
Suppose -4*f - u = -122, 5*u = f + 3 - 23. Suppose -f = x + 4*x. Let m = x + 14. Is m a multiple of 3?
False
Let j(d) = d**3 - 8*d**2 + d - 8. Let o be j(8). Suppose 5*h - 3*z - 14 = o, -2*z + 6*z = 5*h - 12. Is 4 a factor of h?
True
Let l(i) = 16*i**2 + i - 3. Is 9 a factor of l(-2)?
False
Suppose 0 = -y + 2 - 0, p + 3*y = 175. Let u = p + -119. Does 25 divide u?
True
Let h = 10 - 6. Suppose 44 = h*r - z, 0*r + 3*r + 5*z = 33. Is r a multiple of 8?
False
Let v = 6 + -9. Suppose 0*k + 5 = 5*k. Is v/(k + -7)*14 a multiple of 7?
True
Let a be -44 + (2 - (-2 - -2)). Let o(j) = j**2 + j + 9. Let f be o(-8). Let m = a + f. Does 9 divide m?
False
Is 13 a factor of 8/(-56) + 526/7?
False
Suppose -56 = -5*w - 21. Let r = w + 4. Let j(g) = -g**3 + 11*g**2 + 3*g + 3. Does 15 divide j(r)?
False
Let c = -31 - -4. Let q = c + 53. Is q a multiple of 13?
True
Let w(r) = 3*r**2 - 1. Let n be w(-2). Suppose -5*q + 41 = n. Suppose 0 = -4*y + q*y - 10. Does 5 divide y?
True
Sup