+ 110. Is q(22) a multiple of 110?
True
Let l(v) = v**2 - 4*v + 5. Let s be ((-30)/(-8))/(4/16). Suppose -7*c + s = -4*c. Does 9 divide l(c)?
False
Suppose -3*m - 4*v + 144 = -2*m, 4*m - 557 = 3*v. Is m a multiple of 7?
True
Let z(y) = y - 8. Let m be z(8). Suppose m = 3*l - 8*l + 170. Let o = 14 + l. Is 12 a factor of o?
True
Is 30 a factor of 10 + -13 + 3 + 390?
True
Let o be (914*-1)/(2 + -4). Let b = -253 + o. Suppose 0*v - b = -4*v. Is 16 a factor of v?
False
Let y(i) = i**3 + 17*i**2 - 94*i - 3. Does 32 divide y(6)?
False
Let r(p) = -3*p**3 - 6*p**2 - 3*p + 11. Does 17 divide r(-4)?
True
Let w(j) = 5*j**2 - j. Let s(x) = x + 13. Let z be s(-15). Let p be ((-2)/(-2))/(1/z). Is w(p) a multiple of 7?
False
Let f = 69 - 41. Is (-1 + -35)*(-7)/f a multiple of 3?
True
Let w = -73 + 148. Let k = w - 45. Let t = -15 + k. Is t a multiple of 4?
False
Suppose 2 - 22 = -5*v, 3*q + 5*v - 656 = 0. Does 19 divide q?
False
Does 27 divide (-15)/(-30) - (1 - (-3586)/(-4))?
False
Suppose 5*g - 3*w = 1454, 2*g = -10*w + 5*w + 594. Let q = 524 - g. Suppose 6*v + 28 = q. Is 34 a factor of v?
True
Let v be ((-2)/(-4))/((-1)/(-130)). Suppose l = -15 + v. Let m = -32 + l. Is m a multiple of 7?
False
Let n(z) = 3*z + 7. Let d(f) = -12*f - 29. Let m(c) = -6*d(c) - 26*n(c). Let o be m(-8). Suppose -4*v = -5*v + o. Is v a multiple of 13?
False
Let c = -1 - -7. Suppose 0 = -3*i + c*i - 258. Is i a multiple of 28?
False
Let a be (0 - 75)*(220/50 + -8). Is 6/4 - a/(-12) a multiple of 12?
True
Suppose 13*v - 12*v - 28 = 0. Let g = v - 8. Is 20 a factor of g?
True
Let h = -2714 - -4663. Is h a multiple of 19?
False
Suppose -7*h = -2394 - 35. Does 8 divide h?
False
Let r = 59 - -5. Let d = r - 6. Does 16 divide d?
False
Suppose p + 63 = -3*p - j, -4*j - 72 = 4*p. Let b(r) = -5*r + 34. Is 14 a factor of b(p)?
False
Suppose 0 = -0*g - 4*g + 608. Suppose -2*r = -3*m - 68, 6*m = 5*r + 3*m - g. Let i = r - 4. Is 12 a factor of i?
True
Let f(u) be the third derivative of 0*u**5 - 1/6*u**3 + 0*u + 10*u**2 + 0*u**4 - 41/120*u**6 + 0. Is f(-1) a multiple of 10?
True
Suppose -2*s + 7*a + 6 = 4*a, 0 = 4*a. Suppose -2*o - s*b = -31, 2*o - 75 = -o + 5*b. Is o a multiple of 20?
True
Let x = 468 + 288. Suppose -4*k - 3*k = -x. Does 26 divide k?
False
Let a = 55 + -55. Suppose 21 = m - a. Is 4 a factor of m?
False
Suppose -5*g + 3*g = -682. Is 41 a factor of g?
False
Suppose 15*c - 7*c - 1920 = 0. Suppose 4*u - 659 - 269 = -4*s, u - 3*s = c. Is 38 a factor of u?
False
Let i(o) = o**2 - 12*o - 19. Let n be i(14). Is -12*(n/4 - 3) a multiple of 3?
True
Let c(h) be the first derivative of -h**4/4 + 8*h**3/3 + 5*h**2 - 26*h - 12. Does 9 divide c(8)?
True
Suppose 6*d + 2*d + 144 = 0. Let n = -6 - d. Does 2 divide n?
True
Suppose -1028 = 17*c - 1453. Is 17 a factor of c?
False
Suppose -4*f = 2*g - 58, 5*g - f - 107 - 38 = 0. Suppose -2*z + 123 = g. Let d = z + -34. Is d a multiple of 13?
True
Suppose 0*n - 2 = 2*n. Let z be 1*n*(3 + -2). Does 20 divide z/(-4) + 219/4?
False
Let p(m) = 8*m**2 + 94*m - 21. Is 3 a factor of p(-14)?
True
Let u(t) = 6*t**2 + 15*t + 44. Is u(-5) a multiple of 7?
True
Is 123/((102/136)/(26/8)) a multiple of 5?
False
Let z(g) = -g**3 - 12*g**2 + 12*g - 1. Let j be -7 + 10 + (-108)/(-2). Suppose 2*i - 5*n - 1 = 4*i, -n = -4*i - j. Is z(i) a multiple of 6?
True
Suppose 4*c = 2*c + 56. Let k = 38 - c. Is 4 a factor of k?
False
Let r(j) = -3*j - 9 + j - 11. Let k be r(-10). Let d(g) = g**3 + 2*g + 28. Is d(k) a multiple of 4?
True
Suppose -27*f + 7562 = -22*f + 2*y, 1508 = f - 4*y. Is 63 a factor of f?
True
Suppose -5*r - 10 = -10*r. Let k be (13/(-2))/(r/(-8)). Let l = 38 - k. Is 3 a factor of l?
True
Let c be (2412/(-24))/(2/4). Let j be (-6)/24 + c/(-4). Suppose -r + j + 25 = 0. Is r a multiple of 25?
True
Let u(h) be the first derivative of h**4/4 + 17*h**3/3 - 2*h**2 + 4*h - 15. Is u(-17) a multiple of 6?
True
Suppose -2*l - 3*l = 0. Suppose -3*m + 34 = m + 5*d, l = -4*m - 3*d + 38. Is 11 a factor of m?
True
Let f = 543 + -165. Suppose -7*b + f = -b. Does 11 divide b?
False
Suppose -3*d = -4*d. Let s(r) = -10*r - r**2 + 36 - 29 + 9*r. Does 7 divide s(d)?
True
Let p(u) = 172*u**2 + 7*u - 3. Is 6 a factor of p(2)?
False
Let o(a) be the third derivative of a**5/20 + 5*a**4/24 + 2*a**3/3 - a**2. Let u(z) = -z**2 + 6*z - 8. Let f be u(5). Is o(f) a multiple of 7?
False
Let y(a) = a**3 - 8*a**2 + 10*a - 18. Let f be y(7). Let t = 270 - f. Is 16 a factor of t?
False
Let j(k) be the first derivative of k**4/12 - 2*k**3/3 + k**2 + 6*k + 3. Let h(t) be the first derivative of j(t). Is 4 a factor of h(5)?
False
Let h = -102 + 109. Does 28 divide 8*h/(1/6*3)?
True
Suppose -o + 10 - 24 = 0. Let r = -11 - o. Suppose r*i - 117 = z - 3*z, -4*z = 12. Is 9 a factor of i?
False
Let g be (-1 - 0)/(2/(-4)). Suppose -4*c = g*m - 2*c - 156, -5*m + 5*c + 420 = 0. Let h = m - 8. Does 15 divide h?
False
Let v(w) = -3*w**3 - 48*w**2 + 30*w - 13. Is v(-17) a multiple of 43?
True
Suppose 0 = -5*c + 8*c - 21. Let j = c + -17. Is 5 a factor of (2/(-4))/(j/340)?
False
Let f(s) be the first derivative of -s**4/4 + 3*s**3 + 7*s**2 + 3*s + 9. Does 13 divide f(10)?
False
Let z(d) = -d**3 + 10*d**2 + 14*d + 34. Does 19 divide z(-5)?
False
Suppose 10 = -5*n + 5*v - 3*v, 5 = 2*n + v. Let d(b) = b**2 + 2*b + 25. Let i be d(n). Suppose 3*q - 41 = i. Is q a multiple of 11?
True
Let w(s) = s**3 - 4 + 0 - 9*s + 0*s**3 + 6*s**2. Suppose -4*g - 26 = 2. Does 6 divide w(g)?
False
Suppose 3*y + 349 = -4*l, -3*l + 5*y + 259 = -6*l. Let n be (-4)/(-6) - 24/9. Does 29 divide n/6 + l/(-3)?
True
Let a be (0/1)/((-8)/2). Suppose a = -i + 3*i - 4*m - 28, 4*i - 4*m - 68 = 0. Does 10 divide i?
True
Suppose 0*y = -2*y - 196. Let q = y + 169. Let r = q - 39. Is r a multiple of 8?
True
Suppose 5*x + 1982 = -4*b, -1 = -x + 1. Let g = 754 + b. Does 15 divide g?
False
Let v(z) = -z**2 + 21*z - 6. Let x be v(15). Let f = -68 + x. Is f a multiple of 2?
True
Suppose 3*m = g - 3*g + 753, -1851 = -5*g + 3*m. Suppose -3*k - g = -5*k. Does 27 divide k?
False
Suppose 2*q - 4 = 2*b, 2*q - 11 + 1 = 0. Suppose -b*o = o - 316. Let m = o + -40. Does 19 divide m?
False
Suppose 4*o - 166 = 3*k, 4*o + o - 202 = k. Is 5 a factor of o?
True
Suppose 7*t = 11*t + 5*z - 4943, 0 = 5*t - 4*z - 6230. Is 18 a factor of t?
True
Let c be -20 - (4 - 1/1). Let n(d) = d + 48. Is 8 a factor of n(c)?
False
Let o(v) = 11*v + 3. Let t be o(5). Suppose -c - c = -70. Let y = t - c. Is 23 a factor of y?
True
Let x(d) = -d**3 - d**2 - d + 54. Let j(z) = z**3 + z**2 + z - 54. Let f(r) = -3*j(r) - 2*x(r). Let l(w) = 2*w - 2. Let i be l(1). Is f(i) a multiple of 18?
True
Let j = 544 + -360. Suppose -5*i - j = -609. Is i a multiple of 17?
True
Let x(q) = 2 - 2*q + q + 103 + q**2 - 23. Is 41 a factor of x(0)?
True
Is 28/266 + (-3152)/(-19) a multiple of 4?
False
Let a be (26/39)/((-4)/(-78)). Suppose 5*s + 142 = 3*o - a, 0 = 2*o - s - 94. Suppose -o = -v + 4*y + 3, 3*v = 5*y + 165. Is v a multiple of 20?
True
Let d(a) be the second derivative of a**3/3 + 25*a**2/2 - 12*a. Is d(15) a multiple of 11?
True
Suppose 4*p - 4*z + 345 = -99, -p - 87 = 5*z. Let s = -71 - p. Is 9 a factor of s?
True
Let x be ((-50)/(-125))/(2/1585). Suppose -x = -3*u + 112. Is 13 a factor of u?
True
Suppose -5*v - 52 = 2*a + a, -60 = 4*a + 2*v. Let l(t) = t**3 + 16*t**2 + 18*t + 4. Let j be l(a). Let g = 246 - j. Does 17 divide g?
True
Let n(r) = -35*r + 1537. Is 29 a factor of n(0)?
True
Let q(c) = c**3 - 6*c**2 + 3*c + 2. Let k be q(5). Let i = k + 10. Suppose 0 = -3*p - 5*r + 76, -3 - 1 = -i*r. Is 8 a factor of p?
False
Let f(d) = 2*d**2 - 80*d - 253. Is 11 a factor of f(51)?
True
Let v = -560 - -913. Is v a multiple of 84?
False
Let d = 9 - 5. Let p(f) = -3*f**2 + 5. Let n be p(d). Let l = -17 - n. Does 6 divide l?
False
Suppose 2*z - 3*d = -6 + 63, -2*z = -4*d - 56. Is z a multiple of 15?
True
Let k be 3/15 - (-14)/5. Suppose -3*d + k*j + 609 = 0, 5*j = -5*d + d + 785. Let b = -138 + d. Is b a multiple of 19?
False
Suppose -3*k - 6 = 0, 4*v + k - 42 = -2*k. Let w be (15/v)/(3/12). Suppose w*a + 125 = 5*l, 5*l + 3*a = -a + 152. Does 14 divide l?
True
Suppose 2*s + 4 + 2 = 0, -5*s + 30 = -q. Let y = q - -128. Is 12 a factor of y?
False
Suppose -524 = -2*m - 12*f + 15*f, -2*f = -3*m + 796. I