e
Suppose 22 = 3*u - 35. Does 9 divide u?
False
Let u(d) = -5*d - 4. Does 12 divide u(-8)?
True
Let v = 161 - 103. Let m = -40 + v. Suppose 6 + m = 2*o + b, 18 = o + 2*b. Does 10 divide o?
True
Suppose 0*q - 3*l = -4*q + 117, 5*q + 3*l = 180. Suppose -9*h = -6*h - q. Is 5 a factor of h?
False
Is 10 a factor of 8/6*(-120)/(-8)?
True
Let x(c) = 116*c**3 - c. Let i be x(1). Suppose 3*g = -2*g + i. Does 6 divide g?
False
Is 10*-4*16/20*-4 a multiple of 8?
True
Let c(k) = 8*k**2 - 7*k + 6. Let z be c(4). Suppose -v - z = -4*t + v, 5*v = -2*t + 23. Does 15 divide t?
False
Suppose 2*l + 54 = 4*q - 568, 2*q = -4*l + 296. Is 14 a factor of q?
True
Suppose 8 = -2*s, 0 = -5*z - 3*s - 2*s + 5. Suppose z*b - 238 = -53. Is 11 a factor of b?
False
Suppose -w = 2*w + 5*n + 650, -5*n - 875 = 4*w. Does 23 divide (16/(-20))/(6/w)?
False
Let b = 135 - 91. Is 11 a factor of b?
True
Let u(a) be the third derivative of a**5/60 - a**4/8 - 2*a**3/3 + 27*a**2. Let q(c) = -c**3 + 5*c**2 - 4*c + 2. Let s be q(3). Does 10 divide u(s)?
False
Let c(y) = -1 - 4 + 1 - y**2 + 4*y. Let k be c(4). Is k*-2*3/6 a multiple of 4?
True
Suppose -5*d = -115 - 55. Does 15 divide d?
False
Suppose -4*p = -0*p - 284. Is p a multiple of 8?
False
Let w = 4 + -6. Is 4 a factor of (w/(-5))/((-3)/(-30))?
True
Let o(d) = d**3 - d + 1. Let l be o(1). Is 2 a factor of (-6)/((0 + l)*-2)?
False
Suppose -5*h = -0*h - 5. Let b be ((-10)/5)/(h + 1). Is 11 a factor of (b/1 - 0) + 32?
False
Let j = 83 - 11. Is j a multiple of 24?
True
Suppose 2*b - y + 142 = 5*b, -182 = -4*b - 5*y. Suppose -3*r - r = -b. Does 5 divide r?
False
Suppose 4*v + 5 = -19. Let f(m) be the third derivative of -m**4/12 - m**2. Is 10 a factor of f(v)?
False
Let c be 9/2*(-132)/(-18). Suppose j - 5*b - c = 0, -4*j + 8*j = 2*b + 78. Is j a multiple of 5?
False
Let a(m) = m**3 + 9*m**2 - 2*m - 12. Let l be (1 + -2)/((-4)/(-36)). Let t be a(l). Suppose -t = -o + 5. Is 3 a factor of o?
False
Let d be (-27)/(-6) + (-3)/2. Suppose s + d*s - 212 = 0. Is s a multiple of 15?
False
Suppose -11 = -u + 5. Let v = u + -5. Is 3 a factor of v?
False
Suppose 0 = -3*g + 9 + 9. Suppose -g*f + 146 = -4*f. Is 25 a factor of f?
False
Let u be 12/(-18)*12/2. Does 17 divide u/((6/17)/(-3))?
True
Suppose -2*r + 36 = -3*d, -5*r - 18 + 3 = 3*d. Let n = 12 + d. Suppose -g + n*g = 12. Does 5 divide g?
False
Let k = -116 + 256. Is 16 a factor of k?
False
Suppose 0 = -s + 5*j + 25, s - 15 = 5*s + 3*j. Suppose -3*t - 2*t + 230 = 5*w, s = -4*t + 4*w + 216. Is 17 a factor of t?
False
Suppose 0 = y + 4*d - 41 - 40, -y + 82 = 3*d. Does 3 divide y?
False
Let h be (1 + 0 - -4)*-1. Let g(i) be the first derivative of i**3/3 + 2*i**2 + 7*i + 20. Is g(h) a multiple of 12?
True
Let d = 141 - 71. Let r = -22 + d. Does 12 divide r?
True
Suppose 10*y = 6*y + 12. Suppose y*c + 147 = 2*f, 0 = -6*f + f + 3*c + 372. Is 20 a factor of f?
False
Suppose 2*j + 3*j = 150. Suppose 4*s + j - 94 = 0. Is s a multiple of 6?
False
Suppose -168 = 2*g - 9*g. Is 6 a factor of g?
True
Let q(d) = d**2 + d - 1. Let n(f) = 4*f**2 - 6*f - 6. Let i(c) = n(c) - 5*q(c). Suppose 5*g = 5*l + 5, -16 = 3*g + g. Is i(l) a multiple of 23?
False
Let f = 38 - 24. Is 11 a factor of (-13)/(-91) - (-404)/f?
False
Suppose 5 = 4*b - 3. Let c(k) = -k - b*k + 4*k + 25*k**2. Is c(1) a multiple of 13?
True
Does 11 divide (46 - 12) + -1*1?
True
Suppose -m + 12 = -28. Is 4 a factor of (m/15)/((-1)/(-3))?
True
Does 13 divide (-2 + 4 - 6) + 30?
True
Suppose 3*w - 314 = -k, 215 = -w + 3*w - 5*k. Is 15 a factor of w?
True
Let z(d) = -39*d**3 + d**2 - 1. Let o be (-1)/(3/(6/2)). Let y be z(o). Let h = y - 24. Does 6 divide h?
False
Suppose 7*h + 8 = 9*h. Is h a multiple of 4?
True
Suppose 3*u = 2*u - 24. Let n = -8 + u. Let k = -16 - n. Is 14 a factor of k?
False
Let w(q) = -7*q - 1. Does 17 divide w(-5)?
True
Suppose 0*u + u - 4*p - 5 = 0, -5*u + 2*p + 43 = 0. Let k = u - -15. Is k a multiple of 24?
True
Is (78/(-10))/(19/(-190)) a multiple of 14?
False
Suppose 0 = -8*k + 2*k + 120. Is k a multiple of 12?
False
Let m(r) = r - 5. Let x(g) = g**3 - 7*g**2 - 8*g + 6. Let j be x(8). Let d be m(j). Does 4 divide (4/6)/(d/6)?
True
Let c = 155 - 59. Does 15 divide c?
False
Let q(j) = -2*j - 10. Is q(-9) a multiple of 4?
True
Suppose n = 2*k - n - 56, k + 2*n = 16. Is 11 a factor of 794/12 - 4/k?
True
Let u = -67 + 39. Let r(h) = -49*h. Let t be r(-1). Let b = u + t. Is b a multiple of 10?
False
Suppose 4 = 3*p + 19. Let l(s) = 0*s**2 - 2 + 2*s**2 - 3 + 5*s. Does 7 divide l(p)?
False
Suppose 5 = 4*o - 3*p, 0*o = 2*o + 5*p - 9. Suppose -6*n = -o*n - 56. Is 6 a factor of n?
False
Let j be (4/14)/(5/35). Let r(f) = 20*f + 3. Is 12 a factor of r(j)?
False
Let a = 12 + -6. Is 18 a factor of ((-10)/a - -1)*-99?
False
Let o(c) = 7*c - 5. Let w = -3 - -8. Is o(w) a multiple of 19?
False
Let l = 15 + -52. Let p = 83 + l. Does 11 divide p?
False
Let c(a) = 3*a**2 + 16*a + 21. Let u(l) = -l**2 - 5*l - 7. Let w(i) = 3*c(i) + 8*u(i). Is 7 a factor of w(-9)?
False
Suppose g = -3*f - 7, -g = -4*g - 2*f. Suppose g*m - 22 = -0*m. Is m a multiple of 5?
False
Let a be 84 + 7/((-21)/12). Suppose 3*k - 12 = 0, 3*f - 3*k = k - 7. Suppose l - a = -f*l. Is l a multiple of 6?
False
Let o(w) be the third derivative of -w**6/120 + 3*w**5/20 - w**4/8 - w**3/6 - w**2. Let b(z) = -z**2 - 2*z + 8. Let m be b(0). Is 14 a factor of o(m)?
False
Suppose 4*r = 4*z, 5*r = z + 3*z + 2. Suppose 2*f + 7 = 3*d + z*d, -20 = -5*f. Is (d - 2)/(3/42) a multiple of 7?
True
Let b = 14 - 8. Suppose -24 = -b*m + 2*m. Is 3 a factor of m?
True
Let t(g) = -2*g + 25. Is t(-5) a multiple of 7?
True
Let c = -2 - 2. Let v = 31 + c. Is v a multiple of 13?
False
Suppose 5*s - 19 = t, 2*t - 6*t = 5*s - 24. Let a be -63 - -2 - (t - 2). Is 13 a factor of a/(-4) - (0 - -2)?
True
Suppose 0*k - 2*k = -238. Let v = k - 56. Is v a multiple of 15?
False
Suppose -5*u = -6*g + 3*g + 188, -g - u + 52 = 0. Suppose 0 = -4*d - 3*m + 2*m - 46, 0 = -5*d - 2*m - g. Is (6*-5)/(d/8) a multiple of 10?
True
Let f = 137 + -275. Let a = -96 - f. Does 14 divide a?
True
Suppose 0 = -5*t, -x - 2*t - 2 = -7. Let u = 30 + x. Suppose 3*p - u = 2*p. Is p a multiple of 16?
False
Let d be 5 + (-2 - -6)/(-2). Suppose -d*b + 50 = 5. Is 15 a factor of b?
True
Let u be 52/14 - (-4)/14. Suppose -q + 2*q + 3 = 0, 2*q - 26 = -u*h. Does 5 divide h?
False
Is (-2)/6*(-8 + 5) - -107 a multiple of 4?
True
Let d(w) be the second derivative of w**5/20 + w**3/6 + w**2/2 - 5*w. Is d(2) a multiple of 7?
False
Does 20 divide (-3916)/(-14) - 70/(-245)?
True
Let y(f) = -f**2 + 13*f - 2. Let d = 18 + -8. Does 9 divide y(d)?
False
Let v(p) = -6*p - 1. Let c be v(2). Let a = -26 + 45. Let f = a + c. Is f a multiple of 3?
True
Let g(a) = 2*a. Let w be g(7). Let z = 3 + w. Is 9 a factor of z?
False
Suppose 7*b + 15 = 2*b, 3*j - 93 = -3*b. Is j a multiple of 13?
False
Suppose 0 = 43*f - 48*f + 255. Is 17 a factor of f?
True
Is (-3560)/16*16/(-20) a multiple of 25?
False
Let f be 2/2*31 - 2. Let y be 0 + (-60)/3 - -2. Let c = f + y. Is 11 a factor of c?
True
Let c = 0 - -10. Let g = 12 + c. Is 22 a factor of g?
True
Let s(g) = -g**3 + 6*g**2. Does 9 divide s(3)?
True
Does 10 divide 150/(-12)*(-12)/5?
True
Let s = -2 + 6. Suppose -s*z + 170 = 2*a, 5*a - 2*z - 50 - 351 = 0. Suppose -5*c = -2*c - a. Is c a multiple of 9?
True
Suppose 5*q - 141 = 4*t + 184, 0 = -2*q + 5*t + 147. Suppose -3*g = -g + 5*y - 69, -q = -2*g + 3*y. Is 32 a factor of g?
True
Let x be -8 + -5 - 1/1. Let v(s) = -2*s - 21. Is v(x) a multiple of 2?
False
Let a be (-1)/((-4)/32*-4). Is a - 13*3/(-3) a multiple of 11?
True
Suppose 7*x - 8 = 3*x. Suppose x*n = -2*n - w + 9, 0 = -n + 2*w - 9. Is 10 a factor of -1 + 30 + n - 2?
False
Suppose 8*s + 540 = 11*s. Is 30 a factor of s?
True
Let i(t) = 25*t**3 + 3*t**2 - t. Is i(2) a multiple of 42?
True
Suppose t - 76 = 157. Let b = -112 + t. Suppose 5*l - b = -4*g - 42, -38 = -2*g - 4*l. Does 21 divide g?
True
Suppose -3*z - 3*j - 3 = 0, 0 = 5*z + 4*j - 3*j - 3. Let m be -3 + z + 21*2. Is 7 a factor of m/2*(-1)/(-2)?
False
Let i(o) = o**3 + 5*o**2 - o + 1. Let l be i(-5). Let g be 4/(-10) - 47/(-5). Suppose l*d - g = 3*d. Does 2 divide d?
False
Suppose -2*h + 4*h - 2 = 0. Let w(l) = 5*l**2 + 4*l + 2 + h - 2*l**3 - l**2. Is w(-2) a mu