Suppose o - 4*o = 5*n + 211, 4*o - 188 = 4*n. Let z be -1 + 2 + (-65)/1. Let y = n - z. Is y a multiple of 10?
True
Let u(z) = -22*z - 1. Let t be u(-3). Suppose h = 6*h - t. Does 13 divide h?
True
Let h(k) = 34*k + 8. Does 3 divide h(1)?
True
Let l(c) = -c**3. Let g(h) = -2*h**3 - 4*h**2 - 5*h + 4. Let q(u) = -g(u) + 3*l(u). Suppose -7*w + 2*w = -15. Does 10 divide q(w)?
True
Let x(v) = 6*v**2 - 2*v - 2. Does 28 divide x(3)?
False
Suppose 11*q = 9*q + 204. Is q a multiple of 34?
True
Suppose 0 = y + 3*y - 24. Let z be y/18 - 65/(-3). Suppose -q + 0 + z = 0. Is q a multiple of 22?
True
Suppose -4*w - 2*v - 29 = -219, 0 = 3*v - 15. Suppose 5*q + w = 2*q. Let t = -5 - q. Is 5 a factor of t?
True
Suppose 2*i = -i + 279. Does 20 divide i?
False
Suppose 7*s = 8*s - 3. Suppose -s*i = 4*z - 360, -2*z - 23 + 203 = -2*i. Does 18 divide z?
True
Is (-2 - 2)/((-4)/56) a multiple of 37?
False
Let j(v) be the second derivative of v**4/6 + 8*v**3/3 + 15*v**2/2 - 3*v. Let g be j(-10). Let p = -26 + g. Does 16 divide p?
False
Let r(g) = 4*g**3 - 2*g**2 + g. Let p = 7 - 6. Let h be r(p). Suppose -h*b - 4*y + 45 = 0, -2*b - 4 = 3*y - 33. Does 6 divide b?
False
Suppose 0 = -3*r + 4*c + c + 25, 0 = 2*r - c - 26. Suppose r = 3*m - 0*m. Is m a multiple of 5?
True
Is 10 a factor of -41*(-3 + 2) - 1?
True
Let g(a) = 3*a. Let i be g(-3). Let o = i + 14. Is 3 a factor of o?
False
Suppose 0 = -4*s - 2*g - 102, -6*s = -s + 4*g + 135. Let h = -25 - -82. Let t = h + s. Does 17 divide t?
True
Let h be 13 - (-5 - -1 - -1). Let y = h - 10. Is 3 a factor of y?
True
Let b(u) = 3*u + 12. Does 11 divide b(7)?
True
Let s(t) = t**3 + 3*t**2 + 3. Let w be s(-3). Suppose 0*y + 46 = 2*y. Suppose -y = -c - w. Is c a multiple of 15?
False
Suppose 2*h = -2 - 2. Let b be (-1 - -43)*(-3)/h. Suppose -2*a - b = -5*s, 5*a - 2*a = 3. Is s a multiple of 9?
False
Let f(k) = -2*k + 5. Let i be f(9). Suppose 0 = -s - 2*s - 63. Let n = i - s. Does 4 divide n?
True
Let n(o) = o**2 - 6*o - 1. Let x be n(6). Let p(s) = -s**2 + 3*s - 2. Let g be p(3). Is 4 a factor of x - -2 - 18/g?
False
Let q(v) = -v**3 + 7*v**2 - 4*v - 5. Let g(m) = -m**3 + 7*m**2 - 3*m - 4. Let z(w) = 2*g(w) - 3*q(w). Does 2 divide z(6)?
False
Suppose -3*v - 13 = q, 3*q + 33 = -5*v - 26. Let n be -1*(-1 - 0)*-8. Is 21 a factor of 7/q + (-338)/n?
True
Let w be 4/6 + 67/3. Suppose -3*z + 2*z + 70 = -5*t, -t = -2*z + w. Let h = -6 - t. Does 7 divide h?
True
Let v = 2 + -2. Suppose v = 2*k + 2*d - 10, 4*d = -0*d + 8. Suppose 3*l = 3*b + 6, k*l - 4*b - 3 = 1. Is l a multiple of 4?
True
Let z(y) = -y + 8. Suppose -2*n = n - 24. Let c be z(n). Suppose c = -d + 6*d - 65. Is 8 a factor of d?
False
Suppose 3*b = 5 + 19. Let o = -6 + b. Does 8 divide 8/(-3 - (-7)/o)?
True
Let c(u) = -u**3 + 6*u**2 + 3*u - 1. Let v be c(5). Suppose 0 = -2*m + v + 33. Is 9 a factor of m?
True
Let y(d) = d**3 + 8*d**2 - d - 13. Let m be y(-8). Let q(g) = -g + 8. Let w be q(6). Is (w/m)/((-3)/120) a multiple of 16?
True
Let p(z) = z**3 + 10*z**2 + 5*z - 8. Let t be p(-8). Suppose -t = -5*b - 10. Does 7 divide b?
True
Suppose -6 + 2 = -2*q. Suppose 42 = q*k - 46. Does 8 divide k?
False
Let p = 9 + -7. Suppose p*t = -t + 6. Suppose 3*m = -3, 82 = t*x + 2*x - 2*m. Does 6 divide x?
False
Suppose 3*j - w = 60, 0*j - w = j - 20. Does 4 divide j?
True
Let w(t) = -5*t**2 - 3*t + 32. Let h(b) = 2*b**2 + b - 16. Let g(v) = -7*h(v) - 3*w(v). Is g(0) a multiple of 4?
True
Let h(o) = -o - 4. Let g be h(-2). Let y(q) be the second derivative of -q**5/5 + q**4/6 - q**3/3 - q**2 - 4*q. Is 21 a factor of y(g)?
True
Let x = -14 - -10. Let i(v) = -v**2 - 3*v + 4. Let o be i(x). Suppose o = -4*g + 49 + 23. Is 18 a factor of g?
True
Suppose 4*u + 222 - 34 = 2*q, -5*q = 5*u - 485. Is q a multiple of 24?
True
Let y(s) = -14*s**3 + s**2 - 3*s - 2. Is y(-2) a multiple of 20?
True
Let i(l) = -l**2 - 1. Let v(p) = -2*p**2 - 1. Let x(f) = 5*i(f) - 3*v(f). Suppose -2*h = -4*o - 0*h + 4, 2*o = -h + 6. Is 2 a factor of x(o)?
True
Suppose 0 = 4*c - 21 + 5. Suppose -11 - 209 = -c*a. Does 11 divide a?
True
Let q(l) = -l**2 + 11*l - 7. Let s be (-291)/(-33) - 2/(-11). Is q(s) a multiple of 9?
False
Suppose -179 - 65 = -2*i. Suppose 3*n + 67 = j - 75, -2*n + i = j. Suppose -3*t - 4*c = -j, -4*t - 3*c + 9 + 169 = 0. Is t a multiple of 16?
False
Suppose -5*c - 3*x = -42, -6*c = -2*c + x - 28. Is ((-57)/c)/(2/(-8)) a multiple of 19?
True
Let u be 273/(-14)*(-12)/9. Let m = -12 + u. Is 9 a factor of m?
False
Let j(h) = h + 5. Let t be j(5). Suppose t - 27 = -y. Does 16 divide y?
False
Let g(u) = 6*u**2 + u - 1. Let t be g(-1). Suppose t*r - 38 = -5*x + 8, 5*r - 5*x = 35. Does 9 divide r?
True
Let s = 21 - 14. Suppose 3*c - 5 = s. Suppose -32 - 16 = -c*n. Is 6 a factor of n?
True
Does 4 divide (-4 - (3 + -8))*14?
False
Let z(h) = -2*h**3 - 6*h**2 - 2*h - 3. Let s be 1/3 + 13/(-3). Does 22 divide z(s)?
False
Let r(s) be the second derivative of -32*s**3/3 + 9*s**2/2 + 3*s. Let b(x) = 32*x - 5. Let u(h) = -11*b(h) - 6*r(h). Is 17 a factor of u(1)?
False
Let h = -26 - -100. Is h a multiple of 22?
False
Let a be 0 - 6/2 - -8. Suppose 0 = -a*y - 15, -k - 2*k = -3*y - 141. Suppose -4*f + k = -60. Is 13 a factor of f?
True
Is 20 a factor of 6*(-3)/(-9) - -318?
True
Suppose 2*x + 5 + 3 = 4*u, -x = u - 5. Is 5 a factor of 20*(x - (-12)/(-8))?
True
Let b(i) = 3*i**2 - 5*i - 4. Let a be (2 - 4 - 0)/(-1). Let q be a/5 + 72/20. Is 12 a factor of b(q)?
True
Let s(a) = -7*a - 30. Is s(-14) a multiple of 4?
True
Suppose 2*q - 6 = 0, -4*o - 3*q - 30 + 135 = 0. Does 6 divide o?
True
Let l be -1 - 1*(-5)/1. Let i(u) = u**2 + 5*u. Let z be i(l). Suppose 3*p = -3 + z. Is p a multiple of 4?
False
Let h(b) be the first derivative of b**4/4 + 2*b**3 + b**2/2 + 2. Is 19 a factor of h(-5)?
False
Let y be 8/(-4) - (-27 + 1). Let p be (-4)/10 + y/10. Suppose -p*t - 5*x + 4 = 0, t - 12 = -t - x. Is 3 a factor of t?
False
Let g(r) = -3 + 4*r - 3*r - 3. Let x be g(8). Suppose 0 = -x*t + 5*t + 6, 5*q + 3*t = 4. Is q even?
True
Suppose 0*y = -4*y + 428. Is 25 a factor of y?
False
Let h(v) = v**2 - 5*v + 7. Let q be h(5). Suppose q*g - 10*g = -9. Is g a multiple of 2?
False
Let w(c) = -3*c**3 + 2*c**2 + 2*c + 1. Let k be w(-1). Suppose 0 = k*f - f - 120. Does 10 divide f?
True
Let n(a) = -3*a + 3. Let k(g) = -2*g + 3. Let u(i) = 3*k(i) - 4*n(i). Is 15 a factor of u(3)?
True
Let z = 16 + -12. Suppose 2*s - 5*i - z - 60 = 0, 4 = i. Is s a multiple of 14?
True
Let o = 3 + -6. Let j be 4/8 - o/2. Suppose -2*k + 9 = j*a - 11, -3*a - 5*k + 30 = 0. Does 5 divide a?
True
Let w(l) = -5 - l + 8 - l. Let v be 4/(-6) + (-13)/3. Is 5 a factor of w(v)?
False
Let l = 17 + -20. Is 32 a factor of l/(-9) + (-573)/(-9)?
True
Let p = 15 + -6. Suppose -3*n = p - 87. Does 24 divide n?
False
Let u = 2 + 49. Does 15 divide u?
False
Suppose -561 = -19*n - 124. Is n a multiple of 3?
False
Let w(f) = 7*f**3 + 2*f - 1. Let g(d) = -d - 5. Let q be g(-6). Is 4 a factor of w(q)?
True
Let g(u) = 2*u**2 - u + 1. Let k be g(1). Suppose -k*j + 2 = -12. Suppose 35 = j*w - 2*w. Is w a multiple of 4?
False
Is (-1)/(-3) - -5*21/9 a multiple of 6?
True
Let k = 963 - 429. Suppose -117 = -g - 3*u, -4*g + u = 118 - k. Is g a multiple of 35?
True
Let l(f) = -f**2 - 5*f. Let q be l(-6). Is 112/6 + q/(-18) a multiple of 8?
False
Suppose 4*f + 0*f - 8 = -a, 31 = -3*a - f. Suppose -2*s = -3*s + 31. Let d = a + s. Does 9 divide d?
False
Let p = 4 - -18. Let y be p - (3 - (2 + -1)). Suppose 5*a + y = 110. Is a a multiple of 9?
True
Let o be 9 - 78 - 2/1. Let x = o + 110. Is x a multiple of 12?
False
Let d(w) = -w**2 - w + 2. Let v be d(2). Is 14 a factor of (2/v)/((-6)/372)?
False
Let i(q) = q**2 - 10*q + 9. Let w be i(9). Suppose -t = -3*d, w = 2*d - 5 + 1. Is 14 a factor of (-4)/(-6) + 98/t?
False
Let s be 4*(0 + (-22)/(-4)). Is 1*(s + -2 + -1) a multiple of 4?
False
Is 10 a factor of 15*((-2)/(-12))/((-5)/(-80))?
True
Suppose -f + 165 = 3*g + 2*f, 161 = 3*g + 5*f. Let q = 86 - g. Does 6 divide q?
False
Let z be ((-2)/1)/(7/7). Let r = z - -4. Suppose r*y - o + 0*o - 30 = 0, -3*o - 48 = -3*y. Is y a multiple of 5?
False
Suppose -3*m + 5*f + 129 = 0, 5*m - 3*f + 120 = 319. Does 19 divide m?
True
Is 31 a factor of (-366)/((-4)/8 - 12/8)?
False
Let v be (-3)/2*312/(-18). Does 12 div