Suppose 5*l - 2*d = -0 + 20, -4*d = 0. Suppose -l*r + 64 = -0. Is r a multiple of 3?
False
Suppose b + r - 20 = 3*r, 2*r = -4. Is b a multiple of 8?
True
Let l be (6/4)/((-15)/(-30)). Suppose -4*p + 2*p + 10 = 0. Suppose 0 = -p*n + l*n + 32. Is 8 a factor of n?
True
Let q(i) = 4*i**3 + 3*i**2 + 2*i. Let a be q(-2). Let c be (-1)/2 + (-54)/4. Let k = c - a. Is k a multiple of 10?
True
Suppose -314 + 74 = 4*y. Let a be -2 - 3/(-3) - 33. Let t = a - y. Is t a multiple of 13?
True
Let x(d) be the second derivative of 1/20*d**5 + 1/6*d**3 + 0 - d + 3*d**2 - 1/2*d**4. Is x(6) a multiple of 12?
True
Let o = 132 - 68. Is 8 a factor of o?
True
Suppose 2*u - 37 = -2*u - 5*y, -u = 3*y - 18. Is ((-7)/2)/(u/(-18)) a multiple of 13?
False
Let i(d) = d**2 + 14*d. Let a be i(-14). Let u(r) = -r**2 - 6*r + 7. Let v be u(-7). Suppose a = 3*y - v*y - 39. Is y a multiple of 13?
True
Let t = 10 - 18. Let s = t + 24. Is s a multiple of 8?
True
Let v = 17 - 12. Suppose -4*q + 11 = d - 2*q, 2*q - 5 = v*d. Is 4 + d - (0 + -2) a multiple of 7?
True
Suppose -2*w + 7*w - 90 = -5*x, 4*w - 92 = -5*x. Is x a multiple of 4?
True
Suppose -2*u - j = -436, 5*u + j - 1307 = -223. Is 18 a factor of u?
True
Let y(n) = 0 - 2*n + 4 + 3*n + 10. Is y(-6) a multiple of 2?
True
Suppose 3*k = -k + 364. Is 13 a factor of k?
True
Is 8 a factor of 418/13 + 5*16/(-520)?
True
Suppose 4*p - 8*p + 20 = 0. Suppose g = p*g - 20. Does 5 divide g?
True
Let v = -53 + 34. Let z = 35 + v. Is z a multiple of 8?
True
Let v(j) = j - 6. Let h be v(8). Suppose h*n = -2*s + 112, 2*n + n - 160 = -5*s. Does 20 divide n?
True
Suppose h - g = 6, g = 3*h + 6*g + 6. Suppose -5*z - 5*l = -z + 56, -h*z = 3*l + 39. Let i = 15 + z. Does 3 divide i?
True
Let q = 123 - 43. Is q a multiple of 10?
True
Let b = -106 + 231. Let o be (4/(-2))/(2/61). Let k = o + b. Is k a multiple of 19?
False
Let q(j) = -4*j - 4. Let i be q(-3). Let r(b) = -b**2 + 17*b - 2. Let h be r(i). Suppose 3*n = n + h. Is n a multiple of 11?
False
Suppose -2*q - 120 = -7*q. Let z = 8 - q. Is 11 a factor of z/6*(-18)/4?
False
Suppose -4*c = -y - 196, -4 - 34 = -c + 3*y. Is c a multiple of 10?
True
Let i = -136 + 272. Is 8 a factor of i?
True
Let d(q) be the first derivative of q**4/4 - q**3/3 - q**2/2 + 5*q - 3. Let z be d(0). Suppose -z*h = -2*o - 81, -28 = -3*h + h + 3*o. Does 6 divide h?
False
Suppose d - 20 - 40 = 0. Is 15 a factor of d?
True
Suppose 4*s - 8 = 0, 3*z - z = 4*s + 8. Let q = -6 + z. Suppose -q*r = -4*r + 46. Is 9 a factor of r?
False
Suppose 0 = -r + 4*q + 12, -r + q + q = -4. Let k(s) = s**2 + 2*s - 3. Does 5 divide k(r)?
True
Let d = -3 - -12. Does 9 divide d?
True
Suppose 5*l + 2*i - 110 = 0, 14 = -4*i - 6. Is 24 a factor of l?
True
Is 18 a factor of (96/2)/((-2)/(-3))?
True
Let f(y) = -4 + y**3 + y**2 - 3*y**2 + 7 - 2*y. Does 8 divide f(4)?
False
Suppose -5*i + h + 36 = -266, -2*i + h = -122. Suppose 5*m - i = m. Does 5 divide m?
True
Suppose -4*n = -u - 102 + 10, 10 = n + 3*u. Is 2 a factor of n?
True
Let s(o) be the third derivative of 4*o**5/15 - o**4/24 + o**3/6 + 3*o**2. Does 18 divide s(-2)?
False
Let m = -114 + 125. Is 9 a factor of m?
False
Let f be (-4)/6 - (-165)/(-9). Let r = f + 9. Let k = r + 25. Is 10 a factor of k?
False
Suppose 2*s + 3*l - 3 = -s, -12 = -4*s - 2*l. Suppose 2*g - r = 12, s*g - 24 = g - 4*r. Is g a multiple of 6?
True
Suppose -841 = -2*t - 97. Suppose -5*b = -b - t. Is 22 a factor of b?
False
Let o(a) = 3*a + 184. Let y be o(0). Suppose -59 = -w + 3*d, -4*w - d + y = -0*d. Is 27 a factor of w?
False
Let l(g) = 36*g + 24. Let d(v) = -9*v - 6. Let n(f) = 9*d(f) + 2*l(f). Is n(-4) a multiple of 15?
True
Let h(r) = -8*r - 4. Is h(-3) a multiple of 10?
True
Let v be (3/(-6))/(2/(-48)). Let g = v - -8. Is 5 a factor of g?
True
Suppose 0 = i - 5*m + 3*m - 5, -2*m = 3*i - 55. Is i a multiple of 5?
True
Let q(w) = -w**2 - 9*w. Let y(v) = -5 + 5 + 2 - 5*v. Let s be y(2). Does 4 divide q(s)?
True
Suppose 2*o = 4*b + 3*o + 8, -o = -b - 2. Is 3 + (1 + b - -45) a multiple of 25?
False
Let w(p) = p**2 + 13*p + 13. Let b be w(-8). Suppose 3*j = 5*z - 294, z - 4*j = -2*j + 56. Let o = b + z. Is o a multiple of 12?
False
Let m = 77 + -54. Is m a multiple of 16?
False
Let x(h) = -2*h**2 + h. Let g be x(1). Let v(p) = 37*p + 1. Let l be v(g). Let k = 58 + l. Is k a multiple of 11?
True
Let i be (-2)/(-4)*(-2 - -2). Is 7 a factor of i + (11 - (-1 - 0))?
False
Let p(t) = t**3 - 5*t**2 - 4*t - 6. Let c be p(6). Is 32 a factor of c/(-21) - 891/(-7)?
False
Let b(i) = -i**3 - i**2 + 38. Is 12 a factor of b(0)?
False
Suppose -2*a + 53 + 27 = -4*i, -4*a = -4*i - 164. Does 7 divide a?
True
Let m = -63 + 35. Let t = 59 + m. Let q = -12 + t. Is 11 a factor of q?
False
Let r be (-2 + 0/2)/(-1). Is 33/6*1*r a multiple of 4?
False
Let q = 23 - 9. Suppose 6 = 2*c - c - b, 5*c - q = -3*b. Does 4 divide c?
True
Let l = -5 - -8. Suppose -5*h = -l*o + 31, 7 = o - 3*h + 2. Is 8 a factor of o?
False
Let l(k) = -k**2 - 8*k - 2. Let t be l(-7). Suppose t*r = r + 172. Let q = -13 + r. Is q a multiple of 10?
True
Let c(z) = 8*z**3 - 3*z**2 + 3*z - 2. Let w be c(2). Suppose 5*h - w = -4*t, h - 40 = -2*h - 4*t. Is 6 a factor of h?
False
Let p(s) be the third derivative of -9*s**4/8 + s**3/6 - 4*s**2. Let r(j) = j**2 + 7*j - 9. Let t be r(-8). Does 12 divide p(t)?
False
Suppose 15 = 5*o + 3*h, 4*o - 2*h = -0*h - 10. Let q be (7 - o)*2/7. Let y = q - -2. Does 4 divide y?
True
Is 19 a factor of -38*(-4 + 1)/6?
True
Let y = 15 + 33. Does 12 divide y?
True
Let d(p) = 7*p - 20. Does 9 divide d(13)?
False
Suppose 5*s - 3 = 7. Suppose 4*b - n - s = 5, -5*b + 2*n + 5 = 0. Suppose -70 + 10 = -b*x. Is 9 a factor of x?
False
Does 4 divide 6*(2 - (-3 - -2))?
False
Let m(w) = 7*w**3 + 4*w**2 + 5*w - 2. Let t(r) = r**2 + 3*r**2 - 2 + 6*r**3 + 0*r + 4*r. Let f(y) = 2*m(y) - 3*t(y). Is 11 a factor of f(-2)?
True
Suppose 0 = -4*k + 2*k + 56. Does 7 divide k?
True
Let g(p) = p**2 - 6*p**2 - p**3 + 3*p + 0*p. Let u(l) = 2*l**2 - 12*l - 6. Let y be u(6). Is g(y) a multiple of 18?
True
Let r(w) = 5*w**2 + 0*w**3 - w**3 + w**2 - 1 - 6 + 2*w. Is r(5) a multiple of 21?
False
Let h be 3/3 + -2 - -3. Suppose 3 + 65 = h*x. Is 17 a factor of x?
True
Let h be 2 + (0 + -1)*17. Let v be (-69)/h + 4/10. Suppose -5*q + 20 = 4*a, v*a - 53 + 15 = -3*q. Is 5 a factor of a?
True
Suppose -3*i + d - 5 = -25, 3*d = -2*i + 6. Is 6 a factor of i?
True
Let y(z) = 2*z**2 - z - 3. Does 22 divide y(-6)?
False
Suppose 0 = c - 19 - 44. Let l = c + -12. Is l a multiple of 13?
False
Let y = 112 + -58. Suppose 3*p - 60 = y. Is p a multiple of 19?
True
Let q(a) = a**2 + 9*a + 8. Let z be q(-8). Suppose -n = -z - 3. Suppose -11 = -m + n. Is m a multiple of 5?
False
Suppose 5*p - 2206 = 3*i - 702, -5*i = -10. Is p a multiple of 47?
False
Suppose -4*m + 321 = 41. Is 5 a factor of m?
True
Let o(g) = -3*g + 2 + 6 + 1 + 0. Is 8 a factor of o(-5)?
True
Let g(v) = v**2 + 7*v + 8. Let q be g(-6). Suppose 5*a = q*x + 36, -a + 2 = -3*x - 0. Is 25 a factor of 738/14 - a/(-28)?
False
Let t = -4 - -5. Suppose t = z - 3. Suppose -q + 90 = z*q. Does 6 divide q?
True
Suppose 4*w - f - 287 = -4*f, -3*w = 4*f - 224. Is w a multiple of 9?
False
Let y(h) = -12*h - 6. Let l be y(5). Let c = l - -110. Does 22 divide c?
True
Suppose -5*t + 2*j + 19 = 0, -5*t + 0*j + 34 = 3*j. Let w(a) = 13*a - 6. Is 22 a factor of w(t)?
False
Suppose -3*j = j - 784. Is j a multiple of 49?
True
Is 0 - (-4 - (31 - 3)) a multiple of 16?
True
Suppose 5*u - 2*v = 58, 32 = 2*u - 0*u - 3*v. Is u a multiple of 3?
False
Is 16 a factor of (-1923)/(-15) + 2/(-10)?
True
Suppose 4*n - 10 = -2. Let a(i) = 18*i**3 + i**2 + 2. Let y be a(n). Suppose 93 = 3*x + p + 2*p, 0 = -5*x - 4*p + y. Does 7 divide x?
False
Let i be (0 - -7)/(4 + -3). Let l(a) = a**3 - 6*a**2 - 6*a - 7. Let o be l(i). Does 16 divide 2/1 - (-41 + o)?
False
Let c = 104 - 5. Does 22 divide c?
False
Suppose 2*h + 3*h = -35. Let p(x) = -8*x - x - 9 - 3*x**2 + 2*x**2. Does 5 divide p(h)?
True
Does 32 divide 1/(-3) + (-253)/(-3)?
False
Suppose -3*m + 2*m + 104 = 5*n, 4*m - 17 = -n. Does 5 divide n?
False
Let v be (-9)/(-18)*(13 + 1). Suppose 0 = 5*j - 2*x - 19 - v, 5*j = x + 28. Does 3 divide j?
True
Suppose -12 = -0*q - 4*q. Let b(j) = 4*j. Does 12 divide b(q)?
True
Suppose -18 = 3