*i - 5. Suppose 2*h - 53 = -4*g + 31, -i*h - 4*g = -198. Is h a multiple of 10?
False
Let c = 86 - 55. Let q = c + 17. Does 16 divide q?
True
Let h = 4 - 4. Let b = 6 - h. Suppose 0 = w + m - b, -5*w + 18 = 2*m - 9. Is w a multiple of 5?
True
Suppose 3 = -3*f - 9. Is 3 a factor of (2/4)/(f/(-48))?
True
Let y(c) = -c + 197. Let w be y(0). Let f = -116 + w. Does 26 divide f?
False
Let j(c) = -5*c. Let p be j(-4). Let s = -13 + p. Is 6 a factor of s?
False
Let j(a) = 2*a**2 + 2*a + 1. Let q be j(-1). Suppose -q - 3 = -2*u. Suppose -5*n + u*g + 27 + 70 = 0, -2*g - 55 = -3*n. Is 21 a factor of n?
True
Let i(r) = -r**3 - 7*r**2 - 2*r - 3. Does 5 divide i(-7)?
False
Let r(f) = 21*f - 35*f - 28*f. Is r(-1) a multiple of 9?
False
Suppose 2*y - 48 = 2*q, -3*y - 2*q + 0*q = -72. Suppose 0 = -l - l + y. Is 12 a factor of l?
True
Let c be 1/(-2) + (-5)/(-2). Suppose -c*y + 35 = 3. Does 13 divide y?
False
Let c be ((-3)/(-4))/(3/48). Let x = c + -2. Is 5 a factor of x?
True
Suppose -2*p - 240 = -2*f + 6*f, -4*f + 3*p = 240. Let q be 2/(-4) - f/(-8). Is 4 a factor of ((-75)/10)/(6/q)?
False
Suppose -5*h - 4*t + 456 = 0, 0 = 2*t - 3*t - 1. Suppose v - 4 = -0. Is h/6 + v/6 a multiple of 14?
False
Suppose 0 = -3*p + 3*k, 0 = -4*p + 3*k - k + 10. Suppose 4*b - 4*j = 152, -p*b - 5*j + 12 = -188. Is b a multiple of 13?
True
Let w(m) = -m**3 + 3*m**2 + m + 2. Is w(-3) a multiple of 14?
False
Let w(o) = o**3 + 7*o**2 + 5*o - 4. Let r be w(-6). Let y(c) = c**2 - c**2 - 2*c**2 + c**r - 5 + 7*c. Is y(5) a multiple of 2?
False
Let b = 21 + -7. Is b a multiple of 2?
True
Suppose -3*f - 3*m - 2*m = 7, 5*f - 3*m = 45. Is 3 a factor of f?
True
Let k be (4 - 3) + (0 - -1). Does 6 divide 12 - (k + -3 - -1)?
True
Suppose 2*p + 794 = 4*h, -h - 4*h = -p - 1000. Let n be 12/(-16) - h/(-12). Does 3 divide (-1)/2 + 72/n?
False
Let o(j) be the first derivative of j**4/12 - j**3/3 - 2*j + 3. Let r(y) be the first derivative of o(y). Is 4 a factor of r(4)?
True
Is (-125 + -4 - 1)*-1 a multiple of 8?
False
Let l(h) = -h**2 - h - 1. Let w be l(-3). Let r = w - -22. Suppose n + y + 4 = r, 0 = -4*y - 12. Is n a multiple of 7?
True
Let y = -4 - -3. Let c = 9 + y. Is c a multiple of 3?
False
Let a(b) = b**3 + b**2 - b - 3. Let j = 9 - 6. Is 11 a factor of a(j)?
False
Suppose -7*r = -3*r - 44. Is 11 a factor of r?
True
Suppose -d + 6*d = 120. Suppose -3*g = g - d. Is g a multiple of 2?
True
Let x = 550 + -301. Is x a multiple of 25?
False
Let l(j) = -6*j**2 + 5*j + 4 - j**2 + 15*j**2. Is 18 a factor of l(-2)?
False
Does 19 divide -2*(-10)/(-2)*(-456)/20?
True
Let h(n) = n**2 + 5*n + 6. Is h(-7) a multiple of 5?
True
Let d(b) = 2*b**2 + 4*b + 1. Let g be d(-4). Is (-3)/((-35)/g + 2) a multiple of 15?
False
Let t(i) = -i**3 - 9*i**2 + 6*i + 5. Let m be t(-10). Suppose 5*n - 2*j - m = 0, -3*j + 4*j = 4*n - 33. Let c = 10 - n. Does 3 divide c?
True
Suppose 7 = -3*o - 2. Is 3/((-1 - o) + -1) a multiple of 3?
True
Let k(z) = 31*z. Does 8 divide k(4)?
False
Does 9 divide -4 - (4 - 145) - (-3 + 5)?
True
Let z = 40 - 27. Let g = z + 1. Is g a multiple of 14?
True
Let d(h) = 1 + 3*h + 13*h**2 + 12*h**2 - 18*h**2 + h**3. Is d(-3) a multiple of 14?
True
Suppose 8 - 2 = 3*g. Suppose -g*d + 50 = 2*t - 8, t - d - 29 = 0. Is 16 a factor of t?
False
Let z be 12 + (2 - (3 + 2)). Does 10 divide 3*111/z - 1?
False
Suppose v - 54 = 27. Suppose -5*w = -0*w - 4*f - 138, -3*f = -3*w + v. Is 10 a factor of (w/(-9))/((-1)/3)?
True
Let o(b) = -2*b + 42. Is 2 a factor of o(0)?
True
Let i(l) = 2*l - 2 + 11*l + 15*l. Let r be i(2). Suppose -18 = -2*k + r. Does 18 divide k?
True
Suppose 2249 + 661 = 5*a. Suppose -k - a = 2*k. Is 11 a factor of k/(-10) - (-2)/(-5)?
False
Let j = -10 - -13. Let i(w) = 32*w - 7. Is 25 a factor of i(j)?
False
Suppose l + 2 = -5*m + 20, 3*l - 134 = m. Does 4 divide l?
False
Let q(n) = 2*n**2 - n - 3. Let w be q(-4). Let t = -13 + w. Is t a multiple of 7?
False
Let j(o) = -o**3 + 7*o**2 + 5 + 9*o + 2 + 0. Does 15 divide j(8)?
True
Suppose -s + 4*m = 4*s - 184, 0 = s - 2*m - 38. Is s a multiple of 26?
False
Let y(w) = w**3 - 7*w**2 - 12*w - 6. Suppose l = -3*l + 36. Does 9 divide y(l)?
False
Suppose m = -0*m. Suppose -y - 3*y + 185 = -i, m = -5*y - 2*i + 228. Let p = y + -26. Does 20 divide p?
True
Suppose -86 - 109 = -5*x. Let h(g) = -g**2 - 4*g - 4. Let q be h(-4). Is 2/8 - x/q a multiple of 7?
False
Let q be (1 + -3)*6/4. Let x = 37 - q. Does 20 divide x?
True
Let h = 5 - 1. Suppose 0 = 4*a + 5*g - 261, 5*a = h*a + 5*g + 59. Suppose 5*r - r = 2*z + 160, 2*r - a = -3*z. Is 19 a factor of r?
True
Suppose h - 254 = -k - 2*k, -3*k + 244 = -4*h. Does 12 divide k?
True
Suppose 3*p - 4*m = 153, -3*m = -4*p + 2*p + 102. Suppose -v + 0*v = -p. Is 17 a factor of v?
True
Let m = 4 + 0. Suppose 2*d - 5 = -3*r, 0 = -3*r + d - m*d. Is r even?
False
Let v(t) = -t + 4. Let f be v(0). Suppose 2*s + 2*s + f = 0, -5*k - 4*s = 69. Let y = 1 - k. Does 7 divide y?
True
Let a(q) = -q + 1. Let g(u) = -u - 7. Let y(t) = -a(t) - g(t). Let p be y(-6). Let w = p - -18. Does 5 divide w?
False
Let l be 2/(2 + 9/(-6)). Suppose 6 = -n - 3*r, -l*n - 1 + 12 = 5*r. Is 9 a factor of n?
True
Suppose -5*a = 28 - 143. Does 12 divide a?
False
Is 16 a factor of -4 + 5 - -1*79?
True
Suppose 2*a = a + t + 5, t = 3*a - 17. Is a a multiple of 3?
True
Suppose 0 = -6*h + 11*h - 490. Does 27 divide h?
False
Let a be 3/(-9) - (-1)/3. Suppose 6*b - 2*b - 8 = a. Suppose b*r + 2*j - 30 = 0, -r - 3 = 5*j - 2. Is r a multiple of 7?
False
Let i(o) = 4*o**3 + o**2 - o + 2. Let x be i(2). Suppose 2*n - 3 = -5, -5*l + 3*n + 93 = 0. Is 7 a factor of 220/l + (-8)/x?
False
Let h(s) = 24*s**2 - 3*s + 4. Let t be h(3). Suppose -f - 4*f = 3*n - t, 0 = -3*n - f + 203. Is 25 a factor of n?
False
Suppose -t - 60 = -3*t + 3*q, -t + 24 = -3*q. Let z = 57 - t. Is z a multiple of 8?
False
Suppose 0 = -o + 6*o - 2*g - 115, -3*g = 0. Does 16 divide o?
False
Suppose -r = -0*r - 5. Let v = r + -1. Suppose 0 = k - v. Is k a multiple of 2?
True
Let n(r) = -r**3 + 5*r**2 - 4*r + 2. Let h be n(4). Let x = -2 - h. Is 21 a factor of -2 + 1 - (-47 - x)?
True
Suppose 0 = 2*b - 10, 5*k - 65 = -4*b - 15. Suppose -k*f + f + 283 = 2*h, h = f - 58. Does 19 divide f?
True
Let q = -1 + 4. Suppose 0 = 2*l - 5*g + 2, q*l - 23 + 1 = -5*g. Does 3 divide l?
False
Let y = 0 + 3. Suppose -y = -2*x + 99. Does 18 divide x?
False
Suppose -27 = -4*s - 7. Suppose 0 = -2*c + 3*c - s. Does 2 divide c?
False
Is (17 - 1)*(1 + 2) a multiple of 24?
True
Is (4/22 + (-3714)/99)*-3 a multiple of 19?
False
Let d(t) = -6*t - 8. Let s(b) = 8*b**3 + b**2 + b + 1. Let m be s(-1). Let j(k) = -k**2 - 6*k - 1. Let c be j(m). Is d(c) a multiple of 16?
False
Does 11 divide ((-11)/(-3))/(5/15)?
True
Let r be (-3)/2*(-12)/9. Let n(a) be the first derivative of 5*a**3/3 - a**2 + a + 2. Does 9 divide n(r)?
False
Let x = -22 + 52. Is 6 a factor of x?
True
Suppose c - 9 - 8 = 0. Is 4 a factor of c?
False
Let r be (-40)/(-6) - (-2)/(-3). Suppose r*p - 16 = 4*p. Is 5 a factor of p?
False
Let n(p) = 8*p - 11. Let l(c) = -7*c + 10. Let y(z) = -6*l(z) - 5*n(z). Suppose 0 = 4*v - 19 - 13. Does 4 divide y(v)?
False
Suppose -z = -2*a - 208, 2*z - 4*a = 3*z - 232. Does 9 divide z?
True
Suppose 8*i - 3*i = 150. Suppose 0 = 3*a - 2*a - i. Does 15 divide a?
True
Let o(n) = 343*n**2 + 2*n - 2. Does 49 divide o(1)?
True
Suppose b + 3*b = 32. Let d be (b/(-24))/(2/(-12)). Is 7 a factor of ((-6)/d)/((-6)/14)?
True
Suppose 3*b = -1 + 7, q - 33 = -3*b. Let p = q - 11. Is p a multiple of 16?
True
Let z = -15 + 6. Let a be 83/2 - z/6. Suppose -5*v + a = 4*d - d, d - 3*v + 9 = 0. Is 3 a factor of d?
True
Let u(p) = p**3 + 2*p**2 - 1. Let w be u(1). Let i be (-58)/(-4)*w/1. Let c = -14 + i. Is 15 a factor of c?
True
Let d(h) = 8*h - 3. Let r(n) = n - 8. Let q be r(6). Let a be q*(-3)/3 - -2. Is d(a) a multiple of 16?
False
Let z = 8 + -25. Let q = z + 49. Is q a multiple of 8?
True
Suppose -5*z + 404 + 271 = 0. Let t = z - 81. Suppose -6*s + 3*s - r = -45, -4*r = 3*s - t. Is 7 a factor of s?
True
Let w = 248 - 92. Does 45 divide w?
False
Suppose 5*c - 2 = 4*c - r, 10 = 2*c + 5*r. Suppose c = a - 6*a - 25. Is 5 - a/(5/(-2)) even?
False
Let s = -18 + 4. Let n = 20 + s. Suppose 2*l = n*l - 88. Is l a multiple of 7?
False
Let d(m) = 12*m