ue
Let i(g) = 2*g + 6. Let t be i(-5). Is -8*10*t/8 a multiple of 20?
True
Let u(i) = i**2 + i. Let k be u(-1). Suppose -3*b + k*b = 0. Suppose 3*n - 68 = -4*c, -5*c - n + 0*n + 85 = b. Is 7 a factor of c?
False
Suppose -3*n + 55 = -2*q + 6, 5*q - 22 = -n. Does 8 divide n + -1*4/4?
True
Suppose n + 10 = 2*n - 2*r, 2*n = -4*r + 12. Is n a multiple of 2?
True
Let f(k) = -4*k + 1. Let d be f(1). Let w be (2/d)/((-2)/75). Suppose -w = -4*r + 27. Does 7 divide r?
False
Let i(u) = -6*u**2 + 8*u - 6. Let b(y) = 5*y**2 - 9*y + 6. Let n(p) = -5*b(p) - 4*i(p). Is 6 a factor of n(9)?
True
Let g = -85 + 135. Is g a multiple of 3?
False
Let d be (0 + 0)/(-17 + 18). Let f(i) = -i**3 - i + 60. Does 30 divide f(d)?
True
Does 11 divide (190 - -2)/3 - (-1 + -2)?
False
Let z = 58 + -87. Let u = z + 51. Does 6 divide u?
False
Let m = -1 + 7. Let b(h) = 4*h**3 - 11 - 7*h**2 - m*h**3 + h**3. Is 28 a factor of b(-8)?
False
Let t be 0 + -19 + 5 + -3. Let m = t - -74. Let s = m + -29. Is 11 a factor of s?
False
Suppose -2*y + 6 = b - 35, 5*y - 5*b = 65. Does 6 divide y?
True
Let k = 43 - -87. Is k a multiple of 26?
True
Let q(j) = j. Is 11 a factor of q(11)?
True
Let r = 25 - -4. Is 16 a factor of r?
False
Suppose 2*u = -2*u. Let y(p) = 15*p**2 + 11*p**2 + u*p + 0*p. Is y(-1) a multiple of 13?
True
Let d(r) = 11*r + 10. Let x(k) = 12*k + 11. Let m(n) = -6*d(n) + 5*x(n). Is m(-5) a multiple of 12?
False
Let f(q) = 2*q**2 + 9*q - 2. Let l(g) = g**2 + 4*g - 1. Let t(w) = -6*f(w) + 13*l(w). Suppose -12 = -d + 4*d - 2*s, 0 = -5*d - 4*s - 20. Is 11 a factor of t(d)?
False
Suppose -46 = 6*x - 8*x. Does 3 divide x?
False
Suppose -m = 2*r - 0*m - 31, r + 5*m = 38. Suppose 5*f + 0*f = -3*v + 19, f - 5*v = -r. Is 2 a factor of f?
True
Let y(k) = k**2 - 2*k + 1. Let t be y(3). Suppose t = 4*o + 3*i + 157, -3*i + 27 = -o. Is (o/10)/((-6)/20) a multiple of 12?
True
Is 6 a factor of -4*3/6 + 32?
True
Let l = 341 - 186. Does 31 divide l?
True
Let f(n) = 56*n**3 + 2*n + 1. Let w be f(-1). Let q = 8 - w. Is q a multiple of 18?
False
Let d(j) = -j**2 + 10*j - 8. Let s be d(6). Let q = -12 + s. Does 3 divide q?
False
Suppose -2*g + 14 = -3*j - 49, -3*j + 45 = g. Let m(l) = -l + 7. Let s be m(5). Suppose -s*p - g = -106. Does 11 divide p?
False
Let o(u) = u**2 + 6*u - 6. Let j be o(-8). Let t = j + -3. Is 7 a factor of t?
True
Suppose -f = -4, -4*y + 5*f = -3 - 5. Does 4 divide y?
False
Suppose 0 = -5*k + 3*g + 93, k - 2*k - 4*g + 14 = 0. Let o = k - 9. Does 9 divide o?
True
Is 2/(-12) - 289/(-6) a multiple of 8?
True
Suppose 124 = 2*o - 4*a, 5*o - a - 297 = -4*a. Does 20 divide o?
True
Let k(d) = -8*d**3 + d**2 + d. Let q be k(-1). Let z = q + -8. Suppose -3*y + z*y = -135. Does 18 divide y?
False
Suppose -5*o - 4*q - 50 = 0, 0 = 2*q + q + 15. Let n be 1*-3*(-32)/o. Does 12 divide (n/(-10))/((-8)/(-60))?
True
Let p be 4*1/(-3 - -4). Suppose p*s + 14 = -3*g - 0*g, -2*s = 5*g. Is (-2)/s - 588/(-30) a multiple of 10?
True
Let m(l) = -4*l - 4. Is m(-19) a multiple of 18?
True
Suppose p = -1 + 33. Is p a multiple of 16?
True
Suppose 0 = -3*z + 4*z + 2. Let q be z/(-7) - 57/(-21). Is 4/q*108/8 a multiple of 18?
True
Let j = 1 - -14. Suppose -2*k + j = 3*u, -u - 3*k + 19 = 3*u. Is 7 a factor of u?
True
Let x(b) = b**3 - 8*b**2 + 10*b - 8. Let i be x(6). Is 4/i - 161/(-5) a multiple of 13?
False
Suppose -27 = -2*d - 5*y, -7*y - 150 = -5*d - 3*y. Suppose -5*m - 11 = -d. Suppose -m*n - 2*n = -35. Does 3 divide n?
False
Let n be (38 - -5) + 0 + 2. Let a = 64 - n. Does 9 divide a?
False
Let g(r) be the second derivative of -3*r**5/20 + r**4/4 + r**3/2 + r**2/2 - 2*r. Is g(-2) a multiple of 14?
False
Let f(q) = -2*q**3 + 5*q**2 - 2*q - 1. Let z be (6/(-10))/((-1)/5). Let y be f(z). Does 6 divide (-1*y/(-2))/(-1)?
False
Let q be (-2)/6*2*3. Let n be q/(-5) + 416/10. Let a = n + -23. Is a a multiple of 14?
False
Let l(i) = i**3 + 12*i**2 - 1. Does 23 divide l(-8)?
False
Suppose 0 = m - 3*m - 6. Let w(k) = 4*k**2 + 2*k - 3. Does 6 divide w(m)?
False
Suppose -5*m + 2*m = 4*z - 46, 3*m = 3*z + 18. Does 8 divide ((-48)/20)/((-3)/m)?
True
Let k be (-4)/(-2) - (-199 - 1). Let t = k + 28. Suppose -3*n + 5*u = 2*n - t, -n + 26 = 4*u. Is 17 a factor of n?
False
Suppose -4*a = -73 - 119. Is 16 a factor of a?
True
Suppose z + 5*h = -20 + 6, 3*z = 4*h - 80. Let q be (15/4)/((-9)/z). Suppose g - 4*m - q = 0, -g = -4*g + m + 8. Is 2 a factor of g?
True
Let c = -6 + 8. Suppose -4*b + c*h + 153 = -h, 4*h - 121 = -3*b. Is 10 a factor of b?
False
Let l be -1 + 3/(-3)*1. Does 18 divide 66/4 + (-3)/l?
True
Suppose 0 = -i - i + 68. Let c = i + -18. Is 6 a factor of c?
False
Let b(c) = -c + 13. Let g be b(9). Suppose 2*u - d - 29 = 0, -2*u - g*d - 6 + 30 = 0. Is 7 a factor of u?
True
Let z(o) = 16*o + 15. Does 12 divide z(10)?
False
Let y = -12 - -212. Is y a multiple of 20?
True
Let h(g) = -g**3 + g**2 + 12. Let l be h(0). Suppose -w = w + l. Let a(o) = o**3 + 7*o**2 + 3*o + 1. Is 7 a factor of a(w)?
False
Let u = 27 - 6. Is 3 a factor of u?
True
Suppose 57 = 3*a - 5*m, -3*a + 0*a + 4*m = -54. Is 9 a factor of a?
False
Let q(y) = -y**3 - 12*y**2 + 9*y - 4. Let j be q(-13). Let l be 3 - 0/(-1 + 2). Suppose p - l*p = -5*w + j, -5 = -5*p. Does 10 divide w?
True
Suppose 2*k - 21 = 5*q + 39, 3*q = 4*k - 22. Let t = 23 + q. Does 4 divide t?
False
Let v(n) = n**2 + 15*n + 20. Let p be v(-14). Let c = 11 - p. Is c a multiple of 3?
False
Let n(b) = 2*b**3 - 3*b**2 - 12*b + 13. Is n(6) a multiple of 44?
False
Suppose -10 = -2*a + 3*q + 12, -3*a = q - 11. Let y(p) = 2*p. Is y(a) a multiple of 5?
True
Let m = 11 - 8. Is 9 a factor of 1 - (m + (-11 - 1))?
False
Let g(i) be the third derivative of 0*i + 1/24*i**4 + 0 - i**2 + 7/6*i**3. Is g(0) a multiple of 4?
False
Suppose -2*j = j - 27. Suppose 12 + j = u. Does 21 divide u?
True
Let m(x) = 12*x**3 - 9*x**2 + 5*x - 9. Let q(w) = -3*w**3 + 2*w**2 - w + 2. Let d(i) = -2*m(i) - 9*q(i). Is 22 a factor of d(2)?
True
Let b(w) = w**2 + 8*w + 10. Let h be b(-7). Suppose -h*r = r. Suppose -2*g + 56 = -r*g. Is g a multiple of 14?
True
Suppose -4 = 4*o, 2*y + 5*o = -2*y + 171. Is 8 a factor of y?
False
Let z(u) = -2*u**2 - 5*u - 1. Let p be z(7). Let s = p + 196. Suppose -t + 3*t = s. Does 18 divide t?
False
Let b(r) = 7*r + 58. Is 30 a factor of b(17)?
False
Let r(p) = -2*p**3 + p**2 + p + 2. Let l be r(2). Does 8 divide 66/l*(2 + -6)?
False
Let a = -108 + 199. Does 20 divide a?
False
Let b(s) = -241*s**2 + 2*s - 1. Let v(t) = 1204*t**2 - 11*t + 5. Let x(q) = -11*b(q) - 2*v(q). Let z be x(1). Suppose 5*o - z = -94. Does 24 divide o?
False
Let k(r) = -127*r**3 - r**2 + 2*r + 2. Does 18 divide k(-1)?
True
Let j be 9/18 + 5/2. Let i = j + -1. Is 2 a factor of i?
True
Let d be (54/12)/((-6)/8). Does 8 divide ((-96)/(-10))/(d/(-20))?
True
Suppose 0 = -4*o + 2*p + 20, 2*o - 16 = p - 3*p. Let i(a) = 2*a**2 - 9*a - 5. Is i(o) a multiple of 3?
False
Let z be (-2)/(-7) + 94/14. Let y be z + 0 - (-1 - 1). Suppose 1 = r - y. Is 5 a factor of r?
True
Suppose -6 = -3*u - 0*u. Let w(f) = 9*f + u - 1 + 2. Does 15 divide w(3)?
True
Let o = 134 - 224. Suppose -2*g + 49 - 301 = 0. Let c = o - g. Is c a multiple of 18?
True
Suppose 3*v = -2*v + 15. Does 14 divide (v - -1)/((-2)/(-19))?
False
Let o be 2/(4/24*4). Suppose -4*p = -3*q - 140, -3*p + 44 = -2*p - o*q. Is p a multiple of 16?
True
Suppose 2*g = -5*g. Suppose -2*z + 2 = g, w = -2*w - 2*z + 116. Is 9 a factor of w?
False
Is 19 a factor of 1*((-184)/2)/(-1)?
False
Let c = 41 + -60. Let a = c - -4. Does 6 divide (18/4)/(a/(-20))?
True
Let t(d) = -d**2 + 9*d - 10. Does 5 divide t(4)?
True
Let x(y) = -22*y - 62. Is 19 a factor of x(-9)?
False
Let i be -2 + 2 - (3 - 4). Let w be i*(5 - (1 - 0)). Suppose -39 - 73 = -w*u. Does 13 divide u?
False
Suppose -u = -5*u. Let f = u - 2. Is (52/6)/(f/(-6)) a multiple of 13?
True
Suppose -h - 5*u = 75, 0 = -0*h - 2*h - 4*u - 120. Is h/(-3) + 4/12 a multiple of 14?
False
Let y be 0 + 14/(-4)*-2. Let a be 2/y + 150/14. Is 11 a factor of 376/a - (-4)/(-22)?
False
Is 10 a factor of (-5 + (-5 - -4))*(-496)/12?
False
Let x(j) = 4*j - 8. Let u be x(8). Suppose p - 9 = u. Is 11 a factor of p?
True
Let s be -9*(1*-3)/(-3). Does 5 divide 1/(-3) + (-48)/s?
True
Let q(v) = v**3 + 6*v**2 - 2*v - 8. Let t = -8 + 2. Let a be q(t). Sup