*r + h - 86. Does 18 divide r?
False
Let u(y) = 164*y**2 + 1. Let f be u(-1). Suppose 0 = 5*h + l - f, -4*l + 41 = 3*h - 58. Is 13 a factor of h?
False
Let y be 1/(-5) - 45/25. Is (-7)/((-1)/(-10)*y) a multiple of 12?
False
Let o(t) = -4*t + 1. Suppose -6 = p + 3*c - 1, 8 = -4*c. Let f be o(p). Is 3 a factor of (-2)/3 + (-20)/f?
True
Suppose 0*g + 3*g = -6. Is 11 a factor of ((-3)/2)/(g/44)?
True
Let p(z) be the second derivative of z**3/2 - 22*z. Suppose 0 = 4*u - 2*b + 4, b = -u - 0*u + 5. Is p(u) even?
False
Let m(c) = -c**3 - 2*c**2 - c - 1. Let q = 12 + -15. Is m(q) a multiple of 9?
False
Suppose 0 = 2*a - 3 + 11. Is (111/(-4) + 0)*a a multiple of 30?
False
Suppose -28 = -0*u - 2*u + 2*f, -f = 0. Suppose -3*j - 3*a = -7*a - 24, -5*j - 2*a = -u. Is j a multiple of 4?
True
Suppose 0 = 3*n - 15, -2*n + 5*n - 1115 = -5*r. Suppose k - 5*k - 4*p = -r, -3*k = 4*p - 163. Is k a multiple of 19?
True
Suppose -3*h - 3*y = -66, -y - 28 = -2*h + 7. Is 9 a factor of h?
False
Let z(i) = 10*i**2 - 19*i + 4. Let h(u) = 7*u**2 - 13*u + 3. Let n(g) = -7*h(g) + 5*z(g). Is 15 a factor of n(-4)?
False
Let t(d) = 3*d**2 - 2*d - 11. Is 16 a factor of t(-6)?
False
Is (-64)/6*4/(8/(-6)) a multiple of 12?
False
Let d(z) = z**3 - 4*z**2 - 9*z + 7. Let w be d(6). Let b = w - 14. Is b a multiple of 4?
False
Let v(t) = 6*t**2 - 4*t - 1. Does 13 divide v(4)?
False
Let g(j) = -2*j + 5*j + 7 - 9 - 2*j + j**2. Let s be g(-3). Is 1/s + (-39)/(-4) a multiple of 4?
False
Let f(r) = -r**3 - 4*r**2 + 4*r - 3. Let l be f(-5). Is -8*(-4)/(2 + l) a multiple of 8?
True
Suppose 0 = 3*g - u + 20, 5*g + 38 = 4*u - 0*u. Let v be g*(-2)/(-6)*-1. Suppose -v*x - 5 = -27. Is x a multiple of 11?
True
Suppose 0 = -l + 1, -y - 4*y = 2*l - 27. Suppose -3*x - 4*k + 22 = 0, y*x - k - 25 = 4. Is 8 a factor of 116/6 - 2/x?
False
Suppose w + 3*w + 16 = 0, -2*l + 2*w = -158. Does 5 divide l?
True
Let j = 64 + -121. Let n be -2 + (-31)/2*2. Let v = n - j. Does 8 divide v?
True
Let b(r) = r**3 - 4*r**2 - 3*r - 5. Let i be 8 + 12/(-3) + 2. Is 25 a factor of b(i)?
False
Let v(s) = -s**2 - 6*s - 3. Let x be v(-5). Suppose 20 = 7*q - x*q. Suppose -w = -3*w - 4*k + 50, -q*w - 3*k + 85 = 0. Does 8 divide w?
False
Let m(s) = s**3 - 4*s**2 + s - 2. Let d be m(4). Suppose -f = d*f. Suppose -4*i + 3*i + 3*n + 1 = f, -5*i + 3*n = -17. Does 4 divide i?
True
Suppose g - 4*p - 56 = 0, 5*g - g + 4*p - 124 = 0. Is 12 a factor of g?
True
Let f = 139 + -77. Does 9 divide f?
False
Suppose 0 = u + u - 26. Suppose -5*y = -4*y - 14. Let g = y + u. Is 16 a factor of g?
False
Suppose 648 = 5*q + 4*z, -2*z - 2*z - 672 = -5*q. Is q a multiple of 19?
False
Suppose 0*v = -2*v + 10. Let i(n) = n**2 - 3*n - 2. Does 3 divide i(v)?
False
Suppose -b - 165 = 4*b. Let l = -47 - b. Let x = 43 + l. Does 15 divide x?
False
Let n = 1 + 8. Let i be ((-24)/n)/((-2)/3). Suppose -p = i*p - 110. Is p a multiple of 16?
False
Suppose 6*w - 2*w - 8 = 0. Suppose 0*s - 5*g = s - 23, 20 = -5*s + w*g. Let l = s - -20. Is 10 a factor of l?
False
Let m = 8 + -5. Suppose 0 = -5*l + 246 + 34. Suppose m*o - l = o. Is 11 a factor of o?
False
Let a = 18 - -33. Does 17 divide a?
True
Let n(l) = l**3 + 9*l**2 - 2*l - 13. Let w be n(-9). Suppose 4*i + 52 = 5*a + 8, -4*i - w*a - 4 = 0. Is 14 a factor of (-1 + -27)*i/4?
True
Let x be ((-3)/(-2))/(6/12). Let n(b) = 0 - 2*b + 2 + 4*b. Is 8 a factor of n(x)?
True
Let v = 113 + -360. Is v/(-3) + (-2)/6 a multiple of 21?
False
Let t(p) = p - 13. Let w be t(6). Let z(d) = -d + 8*d + d**2 + 3 + 0*d**2. Is z(w) a multiple of 2?
False
Suppose -32 = -5*r - 2. Let z = 11 - r. Suppose 47 + 23 = z*v. Is 6 a factor of v?
False
Let p(h) = -h**3 - 8*h**2 - 6*h + 10. Let r be p(-7). Is 13 a factor of r + -23*(2 - 3)?
True
Suppose l - 6*l + 380 = 0. Suppose -3*k + 74 = -l. Does 25 divide k?
True
Suppose -5 = -i + 5. Let a be ((-4)/i)/(1/(-5)). Is 3 - a - (-11 - 0) a multiple of 6?
True
Let x(q) = 4*q**2. Let v(m) = -m**2 + 5*m - 1. Let w be v(5). Let j be x(w). Suppose 5 = -2*o - 5, 79 = j*b - 3*o. Is b a multiple of 8?
True
Suppose -123 = -3*y - n - 4*n, -132 = -3*y - 2*n. Is y a multiple of 13?
False
Suppose 0 = -10*d + 5*d + 120. Let t = -7 + d. Is t a multiple of 9?
False
Is 11 a factor of (-2)/(-10) + 870/25?
False
Suppose 3*h = 9 - 0. Suppose 5*o + 7 + h = 0. Let b(m) = -2*m**3 + 2*m + 2. Is b(o) a multiple of 5?
False
Suppose 6*d - 102 = 3*d. Is 33 a factor of d?
False
Suppose 0 = -8*d + 17*d - 630. Does 14 divide d?
True
Let m = -19 + 25. Suppose 0 = 2*c + m, 4*b + 6*c - 2*c - 144 = 0. Does 9 divide b?
False
Let q(n) = n**3 + 4*n**2 + 3*n + 1. Let k be q(-3). Let c = k + 2. Suppose 0*v - 15 = -5*v + i, 0 = v - 3*i - c. Is 3 a factor of v?
True
Let a(m) = -m**3 - m**2 - 1. Let h(b) = -4*b**3 + b**2 + 5*b - 9. Let j(z) = 3*a(z) - h(z). Is 2 a factor of j(5)?
True
Let r(h) = -2*h**2 - h. Let t be r(2). Let j = -4 - t. Suppose j = d - 2. Is d a multiple of 8?
True
Let v(p) = 11*p**3 - 2*p**2 + 1. Let d(b) = -23*b**3 + 5*b**2 - 2. Let m(j) = -2*d(j) - 5*v(j). Is m(-1) a multiple of 4?
True
Suppose -8 = -4*w, -5*a = -10*a + w + 53. Let n(h) = 8*h - 36. Let i(f) = 3*f - 12. Let g(d) = a*i(d) - 4*n(d). Is 2 a factor of g(-9)?
False
Suppose -a + 2*h = -84, 0 = 2*a + 3*h - 82 - 51. Is a a multiple of 16?
False
Suppose 6*k = 2*k + 3*h + 24, -7 = k - 4*h. Suppose -p = -4*p + k. Is (2 - -12) + -2 + p a multiple of 15?
True
Let y = 1 + 2. Is -11*(-2 + y + -3) a multiple of 11?
True
Let z(i) = -i**2 + 9*i - 3. Suppose -2*j - 5*m - 34 = 2*j, 3*m = -4*j - 30. Let w = j - -13. Is 5 a factor of z(w)?
False
Suppose -3*i + 2*a = 4, 4*a - 29 + 5 = -2*i. Suppose i*y - 15 = 1. Is 2 a factor of y?
True
Let i = 27 + 1. Is 17 a factor of i?
False
Does 23 divide 4956/18 - (-4)/6?
True
Let u = 21 + -5. Let g = u + -10. Is g a multiple of 6?
True
Let a(q) = 4*q**2 + q - 2. Let o = -17 - -21. Is 33 a factor of a(o)?
True
Let c(f) = -3*f**2 - 4*f - 6. Suppose 5*y = 28 - 8. Let v(g) = 9*g**2 + 11*g + 17. Let j(q) = y*v(q) + 11*c(q). Is j(2) a multiple of 6?
False
Let y(k) = k**3 - 7*k**2 + 7*k - 6. Let l be y(6). Let u = l - -15. Is 5 a factor of u?
True
Suppose 2*c = -5*q + 111, 5*c - 2*q = 31 + 319. Is 23 a factor of c?
False
Is 16 a factor of 64*(-2 - (-20)/8)?
True
Does 19 divide ((-9)/(-12))/(1/36)?
False
Let v = 25 + -31. Is 8 a factor of (3 - (-15)/v)*16?
True
Let a be 4/2 + 0 + 64. Does 9 divide (1/(-3))/((-2)/a)?
False
Suppose -5*l + 2*o = -676, -3*l + 2*l + 140 = 2*o. Does 20 divide l?
False
Let f(v) = -18*v + 1. Let y(g) = 37*g - 2. Suppose -5*h = 5*x + 30, 3*h - 4*h - 5*x - 18 = 0. Let u(l) = h*y(l) - 7*f(l). Is 12 a factor of u(2)?
False
Let p = 4 - -18. Suppose 5*c - 21 = 39. Let j = p - c. Is j a multiple of 4?
False
Is (-2)/10 - 236*7/(-10) a multiple of 33?
True
Let s = 43 + 45. Is s a multiple of 11?
True
Let u(o) = -2*o. Let n be ((-1)/(-2))/(3/(-24)). Does 8 divide u(n)?
True
Let u(o) = o**3 + 6*o**2 - 2*o - 7. Let s be u(-6). Suppose y - 3*g - 12 = 0, 4*y + s*g = 47 + 86. Is 7 a factor of y?
False
Suppose 2*o + 0*j + 2*j - 166 = 0, 2*j - 82 = -o. Is 13 a factor of o?
False
Let w be 6/(-9) + 104/12. Suppose -a + w = 3*a. Suppose -2*y - a*g + 58 = 0, 59 + 95 = 5*y - 4*g. Is 15 a factor of y?
True
Let d = 103 + -31. Let m = d + 2. Is m a multiple of 19?
False
Let s = 19 + -13. Is 19 a factor of s/10 + 564/10?
True
Let p(q) = -2*q - 4. Let f be p(-4). Suppose 3*r - 2*t = -0*t - 44, -4*t + f = 0. Is 11 a factor of 4/14 - 304/r?
True
Let j = -9 - -14. Suppose 35 = j*b + c, 3*b = 4*b - 5*c - 7. Does 7 divide b?
True
Let u(c) = -3*c - 12. Let s be u(-6). Let o(f) = f**3 - 5*f**2 - 3*f - 6. Is o(s) a multiple of 11?
False
Let c = 8 + -17. Let p(k) = 5*k - 1. Let z(g) = -3*g. Let x(v) = c*z(v) - 4*p(v). Does 16 divide x(4)?
True
Let n = 11 - -3. Is n even?
True
Is 17 a factor of (-1)/5 + 106/5?
False
Let d = -517 - -737. Is d a multiple of 11?
True
Let n = 85 - 38. Does 2 divide n?
False
Let h = 507 + -282. Does 15 divide h?
True
Suppose -q + 3 = -12. Is 3 a factor of q?
True
Suppose 2*i - l + 11 = 49, 5*i = -3*l + 84. Does 18 divide i?
True
Is 6 a factor of 1/(2/386) - 4 - -3?
True
Let y(d) = -d**3 + 7*d**2 - 4*d - 1. Let o be y(3). Suppose -5*t + 2*c = -o, 4*c - 7*c = -2*t + 18. Suppose 0*a - 24 = -t*a. Is a a multiple of 4?
True
Suppose