= 2*i + 3*y + 28. Let f = -5 - i. Is f a multiple of 4?
False
Let l = 412 - 641. Let v = -17 - l. Suppose -3*c + 157 = -j, -4*j = -3*c - c + v. Is 19 a factor of c?
False
Let w be ((1*18)/(-3))/2. Let d = 11 - w. Is d a multiple of 7?
True
Let z be (352/(-33))/((-1)/3). Suppose 4*c - 2*c - z = 0. Is c a multiple of 16?
True
Let n be 2/3 + 6/(-9). Suppose -2*l - l = -5*g + 219, -4*g - l + 182 = n. Is g a multiple of 13?
False
Let f be -4*(-1 + (-3)/2). Let m(t) be the third derivative of -t**6/120 + 3*t**5/20 + 11*t**4/24 + t**3/3 + 14*t**2. Is 4 a factor of m(f)?
True
Let s = 182 + -95. Is s a multiple of 27?
False
Let r(x) = -x**3 + x**2 + x - 1. Let u(h) = 5*h**3 - 5*h**2 - 3*h + 10. Let f(y) = 6*r(y) + u(y). Let p = -38 - -35. Does 14 divide f(p)?
False
Let z = -31 + 58. Suppose -z = 5*t - 162. Does 9 divide t?
True
Let c be (-108)/(-26) - (-2)/(-13). Suppose -s + c*s = -60. Let d = -10 - s. Is 4 a factor of d?
False
Let d = -7 + 10. Suppose -3*j = 3 + d. Does 11 divide 8*((-3)/(-4) - j)?
True
Let d(f) = -4 + 2*f - 4*f + 7 - 7*f. Is d(-5) a multiple of 16?
True
Suppose -n = -2*n + 56. Is 21 a factor of n?
False
Suppose 21*h = 19*h + 28. Is h a multiple of 14?
True
Suppose 3*w = 2*s - 33, w = -2*s - 0*w + 21. Suppose -h + 3 + 0 = 0. Suppose -h*c + x = -5*c + 16, 3*x = -s. Does 3 divide c?
False
Is 1302/4*8/12 a multiple of 35?
False
Suppose -6*r + 4*r = -120. Is 19 a factor of r?
False
Let a(s) be the third derivative of 11*s**4/12 - s**2. Let d be a(1). Let p = 6 + d. Is p a multiple of 14?
True
Suppose 2*s - 51 - 13 = -5*z, 5*s + 71 = 4*z. Is 7 a factor of z?
True
Let q(m) = -10*m - 15. Is q(-8) a multiple of 16?
False
Let d = 21 - 13. Is 4 a factor of d?
True
Let o(s) = -s**2 + 3*s + 3. Let f be o(3). Suppose -f*z + 1 = -254. Is z a multiple of 25?
False
Let q = -220 - -325. Is 15 a factor of q?
True
Suppose -3*p - 50 + 245 = 3*o, -2*p = o - 125. Is 30 a factor of p?
True
Let a be (-4)/10 - (-128)/20. Suppose 0 - a = -3*s. Is (10/(2/2))/s a multiple of 2?
False
Suppose -4*r + 57 = 5. Suppose 5*t + 3 = r. Suppose 0 = t*d - 14. Is 7 a factor of d?
True
Let u = -1 + 1. Let o(c) = -c**2 - c + 10. Is o(u) a multiple of 5?
True
Let y be 392/(-63) + 2/9. Let k(t) = -t**3 - 5*t**2 + 4*t + 4. Is k(y) a multiple of 8?
True
Let n = -95 - -142. Suppose 3*i + s + s = 53, -3*i + n = 5*s. Is i a multiple of 5?
False
Suppose 0 = 3*c - 5*a - 275, -3 = -3*a - 15. Does 17 divide c?
True
Suppose -y - 10 = -3*h, -14 = -3*h - 3*y + 2*y. Suppose 2*c - h = -m, -2*m - 20 = -2*c - 4. Is c a multiple of 3?
False
Let n = 99 + -47. Is n a multiple of 13?
True
Let p = 121 + -23. Does 14 divide p?
True
Let k(m) = m**2 - 10*m + 6. Let a(s) = s**2 - 10*s + 5. Let x(y) = 6*a(y) - 5*k(y). Does 21 divide x(14)?
False
Suppose 93 = -4*u - 2*d + d, 5*u + d + 115 = 0. Let v = 48 + u. Does 11 divide v?
False
Let g(r) = r**2 - 10*r + 13. Is 44 a factor of g(-7)?
True
Let s = 5 - -3. Suppose s*o - 185 = 3*o. Is 13 a factor of o?
False
Let o(a) = 68*a + 1. Does 11 divide o(1)?
False
Suppose 4*w = -5*h - 1397, 0 = 2*w - 5*h + 428 + 263. Is w/(-8)*2/3 a multiple of 10?
False
Let j = -13 - -23. Does 16 divide ((-12)/j)/(6/(-80))?
True
Let k = 0 + 1. Let a(x) = 25*x**3 + 1. Does 13 divide a(k)?
True
Suppose 2*p - 6*p = -160. Does 8 divide p?
True
Let f be (3/(-2))/(9/(-12)). Suppose -4*h = 5*s - 112, -4*h + f*h - s + 62 = 0. Is h a multiple of 14?
False
Suppose -2*d + 6*d = -5*z + 22, -3*d - 2*z = -13. Let p be 4/d - (-6)/(-18). Suppose 5*l - 146 = -p. Is l a multiple of 14?
False
Let n = -65 + 86. Is 3 a factor of n?
True
Suppose 5 = b - 34. Does 13 divide b?
True
Let c(n) = 4*n + 3. Suppose -3*d - 9 = -5*w + 24, 15 = 3*w + 3*d. Let u be c(w). Suppose 5*t = -u + 112. Is t a multiple of 17?
True
Let v(t) = t**3 + 7*t**2 - 3*t + 1. Let y = -5 + -2. Does 13 divide v(y)?
False
Let f = 0 + 4. Suppose -2*u - q = -11, 4*u + f = 5*q + 5. Does 3 divide u?
False
Let p = 78 - 45. Suppose p = 5*l - 27. Does 4 divide l?
True
Let p(m) = 21*m**2 - 6*m + 7. Is 4 a factor of p(1)?
False
Let o be (-5 - 1)/(-1*1). Let v be -19 - (o/3 + -2). Let t = 34 + v. Does 7 divide t?
False
Let d(c) = c**3 + 10*c**2 - 2*c - 8. Let g be d(-8). Suppose -7*t + 3*t = -g. Let s = t - 5. Is 11 a factor of s?
False
Let j = 0 + 30. Does 9 divide j?
False
Suppose 6*o = 3*o. Suppose 2*g - 2*v - 4 = o, g - 2*v = 4*g - 6. Is g a multiple of 2?
True
Does 5 divide ((-18)/7)/((-6)/42)?
False
Suppose 0 = -4*f - 2*g + 351 - 17, 3*g + 401 = 5*f. Suppose -2*j + z = -f, -4*j + 101 = -j + 4*z. Does 20 divide j?
False
Suppose -s + 5 = 2*v - 6, 5*s + 5*v - 35 = 0. Let p(i) = 2*i**3 - 5*i**2 + 2*i + 1. Let g be p(s). Suppose -n - g = -2*n. Is n a multiple of 8?
True
Let p(d) = d**3 - 4*d**2 - 6*d + 7. Let t be p(5). Suppose -52 = -t*h - 2*h. Is 13 a factor of h?
True
Suppose r = -3*k + 2, 4*k + 1 = 2*r - 3. Suppose -3*a = r*a - 100. Is a a multiple of 10?
True
Let u(y) = y - 12. Let x be u(9). Let j be (-4)/x*(-3)/(-2). Suppose j*l - 3*l + 3 = 0. Is l a multiple of 3?
True
Suppose 187 = 5*i - 218. Does 27 divide i?
True
Let l = 2 - 2. Let f be (l + -12)/((-3)/4). Suppose 5*s = -5*k + 95, f - 1 = -5*s. Is 11 a factor of k?
True
Let s be (4/3)/((-1)/(-18)). Let g be 30/(-9)*s/(-20). Suppose g*u = 5*q + 6 + 33, 3*q - 79 = -4*u. Is 16 a factor of u?
True
Suppose -2*k = 2*p - 2, -4*p - 5 = -0*p - 5*k. Suppose 212 = -x + 5*x. Suppose -3*c + 2*b + p*b + x = 0, -c - b + 16 = 0. Is 11 a factor of c?
False
Suppose 0*w - 120 = 3*w. Let q = -22 - w. Is q a multiple of 18?
True
Suppose -x = -18 + 4. Is 10 a factor of x?
False
Let i = -91 - -129. Is i a multiple of 11?
False
Let y(s) = s**3 - 3*s**2 - 6*s - 3. Let p be y(6). Suppose 3*l = -0*l - p. Let c = -14 - l. Does 4 divide c?
False
Let c be (5 + -3)*(-59)/(-2). Suppose 0 = -5*f + 11 + c. Is f a multiple of 14?
True
Suppose -i = -2*h - 70, -h - 386 = 4*i - 9*i. Suppose 3*t = 2*t + i. Is t a multiple of 26?
True
Let z(n) = n**2 - n - 94. Let h be z(0). Does 4 divide 7/28 + h/(-8)?
True
Suppose 0 = 5*z - 147 - 343. Is z a multiple of 25?
False
Let c(t) = t**3 - 2*t**2 - 24*t - 1. Is c(7) a multiple of 19?
True
Let j(q) = q - 2. Let v be j(5). Suppose -v*h + 22 = -14. Is h a multiple of 6?
True
Let t(a) be the first derivative of a**4/4 - 3*a**3 + 6*a**2 - 4*a + 3. Is 14 a factor of t(8)?
True
Let a = 3 + -1. Suppose -a*g + 96 = -0*g. Is 12 a factor of g?
True
Let v be (8/5)/(18/765). Suppose 5*a - 4*a = v. Is 34 a factor of a?
True
Suppose -5*x - 35 = 5*n, -2*n + 65 = -5*x + 3*n. Let u be (x/(-4))/(2/4). Suppose u*y - 18 = 4*y. Is 9 a factor of y?
True
Suppose y + 7 = 5*g - 13, 5*y + 4*g - 16 = 0. Let a(i) = i**3 - i + 7. Is a(y) a multiple of 7?
True
Suppose -5 = -2*c - 1. Suppose -c*z = 5*o - 3*o, -o - 4*z = 0. Suppose 2*b + o*b - 16 = 0. Is b a multiple of 3?
False
Let v(b) = -b**3 + 6*b**2 + 4*b + 3. Does 10 divide v(6)?
False
Suppose -16 = 3*r - 8*r - 3*w, 5*w = 5*r - 40. Does 4 divide r?
False
Is (-480)/(-27) - (-4)/18 a multiple of 9?
True
Let v(p) = -p**3 + 5*p**2 + 2*p - 6. Suppose -5*h + 11 = -14. Let k be h + (-3)/9*0. Does 2 divide v(k)?
True
Let t(m) = 5*m - 7. Is t(4) a multiple of 13?
True
Let l(d) = 4*d**2 + 9*d - 8. Is 22 a factor of l(-8)?
True
Suppose 5*b - 25 = -5*l, -3*l + 6 = 2*b - 8. Suppose 0 = 2*t - 15 + b. Is 2 a factor of t?
False
Suppose 4*q + q = 35. Let v(i) = 2*i - 10. Does 2 divide v(q)?
True
Let p = 4 - -14. Suppose -p = -5*a + 3*i + 45, -61 = -5*a + i. Does 3 divide a?
True
Let x = 6 - 4. Suppose -4 = -2*o - 2*p, x*p = -3*o - 0*o + 4. Let h = 10 + o. Is h a multiple of 5?
True
Let c = 100 + -58. Does 13 divide c?
False
Let a = 23 + -17. Let j(b) = b**2 + 4*b - 6. Does 21 divide j(a)?
False
Let n = -15 + 10. Let l = 8 + n. Suppose r = 18 - l. Is r a multiple of 9?
False
Let u(o) = 4*o - 4. Let z(l) = 0*l - 3 + 6*l - l. Let g(i) = -2*u(i) + 3*z(i). Is g(1) a multiple of 6?
True
Let v = -1 + 7. Suppose -r = -v*r + 455. Suppose -4*i + 85 = -r. Is i a multiple of 22?
True
Suppose 7 = 4*m - 77. Suppose 0 = -14*v + 13*v + m. Is v a multiple of 10?
False
Let t(v) = 19*v**2 - 4*v + 3. Let p be t(4). Let c = -172 + p. Suppose -61 - c = -5*f. Is 18 a factor of f?
True
Suppose 0*s + 3*s - 24 = 0. Suppose -t + 20 = -s. Is 7 a factor of t?
True
Is (-36)/(-3 + (-9)/(-4)) a mu