 - 7 = 2*u + u, -5 = 2*m + 3*u. Suppose m*g = 17 + 19. Is 3 a factor of g?
True
Let o(p) = 5*p. Let a be (-57*1)/(-3) - -2. Suppose 0 = -3*z - 3*w + a, w - 5 = 5*z - 16. Does 15 divide o(z)?
True
Let s be 3/1 + 744/2. Suppose s = -y + 6*y. Let g = y + -39. Is g a multiple of 18?
True
Suppose -3*o + 75 - 7 = 5*j, -3*o + 52 = 4*j. Is 8 a factor of j?
True
Suppose 0 = a - 2*v - 408 + 125, 0 = -4*a - 4*v + 1084. Suppose w - a = -4*w. Is w a multiple of 26?
False
Let i(w) = -5*w**3 + 2*w**2 + 3. Let b(x) = -5*x**3 + 2*x**2 + 4. Let f(s) = 4*b(s) - 5*i(s). Is f(2) a multiple of 33?
True
Let v be (1 + 3)*(-116)/(-16). Suppose -46 = -5*b + v. Is b a multiple of 5?
True
Let i = 5 + -4. Let o = 29 - i. Is 8 a factor of o?
False
Suppose -24 = 4*i - 0*i. Let r be 526/6 - 2/i. Suppose 0 = -3*u + 5*t + 132, -u = -3*u - 3*t + r. Is u a multiple of 22?
True
Let o = 3 - 15. Let z be o/(-9) - 4/(-6). Suppose -z*u + 45 - 1 = 0. Is 16 a factor of u?
False
Suppose -2*a + 0*a = -50. Is 5 a factor of a?
True
Suppose -p + 16 = 1. Is p a multiple of 4?
False
Suppose 0 = 5*j - 112 - 13. Is 25 a factor of j?
True
Suppose 0 = -2*d + 6. Suppose -2*z + 4*y + 36 = 0, -z = -d*z + 5*y + 40. Suppose 0 = -k - 4*a + 55, -2*k + 5*a + z = -k. Does 13 divide k?
False
Let z(j) = 46*j + 3. Is 12 a factor of z(2)?
False
Let h(u) = 6*u + 7. Let k(p) = -p - 1. Let j be k(1). Let r be (-2)/(-1)*4 + j. Does 21 divide h(r)?
False
Let s(r) = r**2 + 3*r - 2. Is 16 a factor of s(3)?
True
Let m be 3 - -3*(-2 - -3). Let q(o) = -o**3 + 9*o**2 - 7*o + 9. Let z be q(m). Suppose -5*x + z = -2*x. Is 10 a factor of x?
False
Let r = 30 - 13. Is 7 a factor of r?
False
Let v(h) = -2*h**2 + 1 - 5*h + 1 + h**2. Let m be v(-4). Let l = m - 4. Is l even?
True
Suppose -2*l - 5*o + 67 = 0, -5*o + 26 + 5 = l. Suppose -a - a + l = 0. Does 9 divide a?
True
Suppose r - 12 = -r. Suppose r*b - 57 = 3*b. Is 19 a factor of b?
True
Let h(i) = -i**2 + 6*i + 6. Let k be h(6). Suppose -20 = -k*a + a. Suppose -3*n + o + 67 = -n, a*n - 119 = 5*o. Does 18 divide n?
True
Let v be 45/2 - 2/4. Suppose 2*s - 5*s + 24 = q, -s = 5*q - v. Is s a multiple of 3?
False
Let m(r) = 3*r**2 + 9*r - 10. Let n(u) = -13*u**2 - 37*u + 40. Let h(g) = 9*m(g) + 2*n(g). Let a be h(-7). Let s = a + 48. Does 16 divide s?
False
Let g = 16 + -8. Let t(n) = 3*n. Is 8 a factor of t(g)?
True
Suppose -2*j + 4*a = 3*j + 1, 5*j - 23 = -2*a. Suppose -5*s + j*s - n = -45, s - 12 = -4*n. Is s a multiple of 8?
True
Let l(r) = -r**3 - 7*r**2 + r + 10. Let f be l(-7). Suppose -39 = -0*v - f*v. Is v a multiple of 4?
False
Let o(c) = 4*c. Let j be o(9). Let i = j + -22. Does 5 divide i?
False
Let b(q) = -q**3 + 8*q**2 + 10*q - 9. Let k be b(9). Suppose k = -0*v - v + 7. Is 7 a factor of v?
True
Let v(n) = 4*n**2 - 5*n. Does 11 divide v(4)?
True
Let x be (7/(-21))/((-1)/9). Suppose -4*f + 2*f = -p + 11, -x*p = 3*f + 3. Suppose 0 = 3*k + o + o - 145, -133 = -p*k - 5*o. Is 14 a factor of k?
False
Suppose -4*g + 3*c + 20 = 0, -c = -5*g + 2*c + 22. Suppose -247 = -4*v + 3*k, 3*v = -g*v + 2*k + 300. Is 15 a factor of v?
False
Suppose 2*s = -2*h + 2 + 4, 0 = 5*h + 3*s - 5. Let v(t) = -t + 1. Let o be v(h). Is 17 a factor of 17/o*(-2 + 5)?
True
Suppose 1232 = 4*x + 7*x. Is x a multiple of 14?
True
Suppose -5*q + 0*q + 4*f + 35 = 0, -25 = -5*q + 2*f. Suppose -g - 4 = -q. Does 10 divide g*(-2 - (1 - -15))?
False
Suppose -2*v + 8 = 2*v. Suppose 4 + 6 = v*p. Suppose -p*i + 25 = -0*i. Is 5 a factor of i?
True
Let v be (-6)/(-3) + (1 - 8). Let c(y) = 25*y + 3. Let j(b) = -12*b - 2. Let w(i) = 4*c(i) + 9*j(i). Is 25 a factor of w(v)?
False
Let w be 16 + 2*(-1)/2. Does 5 divide ((-4)/(-10))/(1/w)?
False
Let v(a) = a**2 + 10*a - 33. Is 9 a factor of v(-15)?
False
Suppose -6 = -y - 4*i, -5 = -2*i - 3*i. Suppose 4*w + o - 63 = 0, -4*w + 5*w + y*o = 14. Is 5 a factor of w?
False
Suppose 8*h = -8*h + 4848. Is h a multiple of 14?
False
Let v = 17 - 26. Let n = -6 - v. Suppose -3*w = 2*x - 17, 52 - 9 = 4*x - n*w. Is x a multiple of 10?
True
Suppose -4*f + f = -111. Is 11 a factor of f?
False
Suppose -t = -3*y - 51, -3*t - 3*y + 194 = -19. Is t a multiple of 25?
False
Does 12 divide 3/((-100)/105 - -1)?
False
Suppose 4*x + 2*h - 331 = 277, 5*h = 4*x - 622. Suppose 2*t = 5*t - x. Is 17 a factor of t?
True
Suppose 0 = 3*b - 0*b - x - 260, b = -x + 92. Is 28 a factor of b?
False
Let c(g) = 1 + 2 - 3*g + 4*g + 7*g - 3*g**2 - g**3. Is c(-5) a multiple of 6?
False
Let i(r) = -55*r**3 - r**2. Is 14 a factor of i(-1)?
False
Let w(m) = -m**3 - 4*m**2 - 4*m + 12. Is w(-6) a multiple of 12?
True
Let p be -2*(-3)/(3/1). Suppose 4*a + 28 = 4*r + a, 12 = 5*r + p*a. Let i = r - 2. Is 2 a factor of i?
True
Suppose -r - 4*r = -770. Suppose -6*u + 3*b = -u - r, -b + 66 = 2*u. Does 13 divide u?
False
Suppose 10 - 190 = -9*z. Suppose 2*p - 6 + 0 = -2*m, -4*p + 28 = -4*m. Suppose 2*h + c = 3*h, -p*c = -h - z. Does 4 divide h?
False
Suppose 2*h = h + 51. Does 17 divide h?
True
Let a be 3 - (1 + -14)*3. Let x = a - 29. Is 13 a factor of x?
True
Let d = 16 + -1. Is 15 a factor of d?
True
Let q be (1 + 0)*(0 + 3). Does 3 divide 1 - 2*(q + -6)?
False
Let u be 5/(-20) - 597/(-4). Let q = u + -101. Is q a multiple of 16?
True
Let y = 99 - 154. Let q = 87 + y. Is q a multiple of 16?
True
Let g(h) = -4*h. Let z(v) = 3*v. Let p(d) = 5*g(d) + 6*z(d). Let i be p(-6). Let s = i - -2. Is s a multiple of 8?
False
Let u(c) = c + 7. Let m be u(-3). Suppose 17 = m*a - 2*t - 57, -70 = -5*a - 5*t. Let j = a - 12. Is j a multiple of 5?
True
Suppose -14 = 3*h - 5*p, -3*p = -h - 4*h - 2. Suppose y = 3*v - 2*y - 204, -h*y + 120 = 2*v. Suppose 5*q + 2*l + 2*l = v, 0 = -3*q - 2*l + 40. Does 8 divide q?
True
Let r = 74 - -17. Is r a multiple of 7?
True
Let v(o) = o**2 - o + 8. Let j be v(0). Suppose -f + 6 + j = 0. Is 7 a factor of f?
True
Let i(s) = s - 6. Let d be i(10). Suppose -3*v = -2*v - d*f - 24, v + 21 = -5*f. Is 4 a factor of v?
True
Suppose -4*c = c - 300. Does 20 divide c?
True
Let r(x) = -7*x - 1 + 6*x - 1. Let v be r(0). Does 7 divide (21/v)/((-6)/8)?
True
Suppose -3*o + 33 = 2*y, -3*y + 0*o = 2*o - 47. Let t(w) = w**3 - 5*w**2 + 4*w + 2. Let f be t(4). Suppose -f*i + 1 = -y. Is 4 a factor of i?
True
Let s = 7 - 4. Suppose s = y + 1. Suppose y*j - 1 - 11 = 0. Does 2 divide j?
True
Suppose -7*s = -4*s + 4*h + 20, 0 = s + 3*h + 5. Let w = -6 - s. Suppose w*k = -k + 39. Does 13 divide k?
True
Let q = -8 - -9. Let n be (13 - 1) + 3/q. Suppose 4*k - 23 = 2*s + 37, k + 2*s = n. Is 14 a factor of k?
False
Suppose -4*p + 5*x = 0, 2*p + 4*x + 1 = 27. Suppose -4*f - 39 + 10 = -p*r, -5*f - 20 = -3*r. Is 3 a factor of r?
False
Suppose r + 173 = l, 4*l + 2*r = 3*r + 677. Is 28 a factor of l?
True
Let a = -14 - -56. Is a a multiple of 15?
False
Let f(z) = z**3 - 4*z**2 - 2*z - 1. Let i = 9 + -2. Suppose 22 = 3*m + i. Is f(m) a multiple of 7?
True
Let d(p) = -4 - 4*p**2 + 10 + 0*p + 0*p. Let w be d(-5). Is 2/(-3) - w/6 a multiple of 15?
True
Let n be (103/(-3))/(4/(-12)). Suppose i - 37 = -3*l - 2*l, -n = -4*i - 5*l. Does 11 divide i?
True
Let i = 16 + -7. Let l = i + -4. Is 5 a factor of l?
True
Let r be -3 + (19 - (-3)/(-3)). Suppose 2*o - 79 + r = 4*w, -2*w + 46 = 2*o. Suppose y + o = b + 3, -2*y = b - 20. Does 10 divide b?
False
Let a(l) = -7*l + 1. Is 11 a factor of a(-8)?
False
Suppose a - 2*r - 3*r - 5 = 0, -2*a - 2*r = -10. Suppose d - a*d = -100. Suppose 0*o + d = 5*o. Is o a multiple of 2?
False
Let k(o) be the third derivative of o**3/3 + o**2. Let y(p) = p - 2. Let s(v) = -3*k(v) - 2*y(v). Is s(-3) a multiple of 2?
True
Suppose -v + c = -30, 5*v - 15 = -3*c + 111. Does 16 divide v?
False
Suppose -12 = -2*u + 5*l + 78, -3*u - 3*l = -156. Let s = u + -23. Does 11 divide s?
False
Let a = 22 + -7. Does 7 divide a?
False
Let u be -15*(4/(-6) + 0). Let t = 17 - u. Is 7 a factor of t?
True
Let b be -2*(1/2)/(-1). Let p(h) = 4*h**3 - h**2. Let y be p(b). Suppose -y*s = 2*s - 15. Is 2 a factor of s?
False
Let s(p) = -p**3 + 4*p**2 + p - 2. Let w be s(4). Let z(c) = -4*c + 4 + 0*c**2 + 4*c**2 - c**2 - 2*c**w. Is 9 a factor of z(5)?
True
Let u(a) be the first derivative of 17*a**4/2 + a**2/2 - 4. Is u(1) a multiple of 9?
False
Does 24 divide -4 + (-5 + 1 - -56)?
True
Let b(c) = 6*c - 1. Let z(u) = -u**2 - 7*u + 5. Let p be z(-7)