e
Let q(g) = 3 - 2*g**2 + g**3 + 8*g**2 + 1. Let u be q(-6). Suppose 4*l = -u*p + 28 + 12, -3*p + 2*l = -10. Is p a multiple of 3?
True
Suppose -3*q + 2*q - 9 = 0. Let u = q - 11. Does 6 divide (-72)/u*20/6?
True
Suppose -3*y = 5*n - 9, 3*y = -0*y - 6. Is 9 a factor of 2/n - 332/(-6)?
False
Let n = -17 - -14. Let s = -31 - -17. Let i = n - s. Does 6 divide i?
False
Let h(t) = -3*t**3 + 2 - t**2 - 2. Let w be h(-1). Suppose 23 = j - 3*p, 5*j - 135 = -3*p - w*p. Is 13 a factor of j?
True
Let z be -2 + -3 - (-6 - -2). Is -10 + 10 - (z - 38) a multiple of 11?
False
Suppose 4*w - w = -3. Let z(u) = -32*u + 1. Is 11 a factor of z(w)?
True
Is 8 a factor of (12/(-18))/(2/(-48))?
True
Suppose 50 = 3*m - 3*n + n, m - n = 17. Does 5 divide m?
False
Let f(r) = -r**3 - 7*r**2 + 3*r + 8. Does 12 divide f(-8)?
True
Let p(v) = -v**3 - 4*v**2 - 2*v - 9. Let m be p(-6). Suppose -3*u - 3*z + m = 0, u = -4*z + 6*z + 19. Does 13 divide u?
False
Suppose -13*v + 4*v + 1908 = 0. Is v a multiple of 28?
False
Let d(h) = 2*h - 4. Let g be d(8). Suppose -3*r = -4*r + g. Is 6 a factor of r?
True
Let w(u) = u**2 - 9*u + 3. Let y be w(9). Suppose -y*t = -35 - 4. Suppose -2*k + 5*k = -5*c + t, -5*c - 11 = -k. Does 6 divide k?
True
Let n = -8 + 11. Suppose -2*g - 22 = -2*j, -j + 1 = -n*g - 0. Does 8 divide j?
True
Let r(a) = a**3 - 6*a**2 - 7*a + 5. Is 18 a factor of r(8)?
False
Suppose 5*f + 5 = 25. Is 37/(-1 - f/(-2)) a multiple of 33?
False
Suppose 0 = -3*i + 2*v - 37, -6*i - 2*v = -5*i - 1. Suppose 3*o = 36 - 99. Let g = i - o. Is g a multiple of 6?
True
Let n = 10 - 1. Suppose 4*s + 3*g - n - 2 = 0, 0 = 2*s - g - 13. Suppose 97 = 4*o - 3*j, s*o + 5*j - 2*j - 155 = 0. Is o a multiple of 10?
False
Suppose 0 = -9*o + 1537 + 146. Does 11 divide o?
True
Let f = 31 + -76. Let o = f - -83. Is o a multiple of 19?
True
Suppose -199 - 63 = -2*v. Is v a multiple of 12?
False
Let a = -381 - -61. Let z = -221 - a. Is z a multiple of 26?
False
Let d = -30 + 69. Does 13 divide d?
True
Does 17 divide (-102*(-4)/6)/2?
True
Let u(f) = -f - 5. Let d be u(4). Let i = d - -21. Suppose -2*v + 3*s + i = 2*s, 0 = -v - 2*s + 16. Is 4 a factor of v?
True
Suppose -c + 24 = -4*p, 0 = 5*c + 7*p - 2*p + 5. Suppose -24 = -c*m + 2*m. Is 10 a factor of m?
False
Let v = 340 - 190. Is 25 a factor of v?
True
Let b be 3 - 1 - (0 + 0). Suppose 2*r - 3 - 3 = 0. Suppose -2*o + 44 = r*x, 2*o - b = -0*o. Is x a multiple of 14?
True
Let a be (8/(-16))/(2/224). Let v = 108 + a. Is 13 a factor of v?
True
Suppose -5 + 1 = 4*x + 4*o, -2*o - 10 = 0. Suppose 225 = 4*p + p. Suppose p = x*q - q. Is q a multiple of 6?
False
Let h(f) = 4*f**2 - 3*f - 1. Let z be h(-1). Suppose -4*x + z*x - 26 = 0. Is 13 a factor of x?
True
Let p = -64 - -120. Does 11 divide p?
False
Suppose -f = f. Suppose 5*g + 8*l = 3*l + 10, 3*l = f. Suppose 2*q = g*b + 16, 0 = -5*q - b + 22 - 6. Is 2 a factor of q?
True
Suppose 3*i - i + 4*u = 58, u + 5 = 0. Is 8 a factor of i?
False
Suppose 20 = 4*v - 0*v. Suppose s - v*s = -176. Is 11 a factor of s?
True
Suppose -2*h + 0*h + 18 = -5*v, -5*h = -v - 45. Suppose w = 3*r - 2*w + 9, r = -w + 5. Suppose -c + h = -r. Is 10 a factor of c?
True
Let r(o) = -5 + 13 - 2 + 14 - o**2. Is r(0) a multiple of 20?
True
Suppose -4*o + 6*o = 0. Is (o - -4)*(2 + 2) a multiple of 14?
False
Suppose -9 = -2*w + 19. Let f(g) = g**2 + 2. Let l be f(0). Is 7 a factor of w/5*(l + 3)?
True
Is 2/(-6) + 1220/15 a multiple of 9?
True
Let d be (-1 + -3)*9/(-18). Suppose d*v - 22 = -6. Suppose -3*n = -v*n + 20. Is 4 a factor of n?
True
Let v(u) = 39 - 39 - 8*u. Let a(i) = i**3 + 3*i**2 + i + 1. Let z be a(-3). Is 6 a factor of v(z)?
False
Let t be 1/3 + (-88)/12. Let b = -18 - t. Is 11 a factor of 2/b + (-1062)/(-33)?
False
Does 9 divide 6*3/(36/104)?
False
Let v(t) = t - 4 + 23*t**2 + 4. Does 22 divide v(-1)?
True
Let u(w) = 4*w + 2*w + 0*w + w**2 - 5. Let o be u(-7). Suppose -4*b - 9 = o*n - 3, -3*n - b = -11. Does 3 divide n?
False
Suppose 5*a - 2*j = 101 - 321, -3*a + 4*j - 146 = 0. Let c = 20 - a. Is 21 a factor of c?
False
Suppose -v = -5*k - 8, v + 9*k = 4*k - 12. Let p be -2*((-5)/v)/(-5). Does 7 divide (6/8)/(p/24)?
False
Let p = 6 + 2. Is ((-42)/p)/(1/(-4)) a multiple of 19?
False
Does 6 divide (-2)/((-272)/1062 - (-2)/9)?
False
Let h = -4 + 6. Suppose -v = -h*v. Suppose 34 = s + 3*u, v*s - 40 = -s - u. Does 19 divide s?
False
Let j be 500/18 - 6/(-27). Let d = j - 2. Is 13 a factor of d?
True
Does 14 divide (11640/150)/(-2 + (-24)/(-10))?
False
Suppose 0 = d + 2, -3*g = -2*d - d - 285. Let x = 59 - g. Let l = -9 - x. Is l a multiple of 13?
False
Suppose 3*j - 2*f + 4*f = 426, -f + 141 = j. Is j a multiple of 16?
True
Suppose -5*b - 2*h + 83 = 0, h = -3*b - 3*h + 47. Let k = 30 + b. Is k a multiple of 13?
False
Let l be 2/(-2) + -3 + 17. Suppose 20 = 5*o, -2 = -3*t + 5*o - 22. Suppose s - l - 5 = t. Is s a multiple of 12?
False
Suppose -18*s + 2352 = -2*s. Does 21 divide s?
True
Suppose 3*z - 2*u = 2*u + 357, 2*z - 4*u = 242. Suppose 3*m = -g + z, m + g - 41 = 2*g. Let o = m + -26. Does 5 divide o?
False
Let m(r) = -13*r + 6. Let o be m(-6). Let v be o/(-8) - (-3)/6. Is 4 a factor of (-96)/v + (-4)/(-10)?
False
Suppose -3*a = -0*a - 4*w - 259, -5*w = 20. Suppose -a = 4*k - 321. Let j = k - 24. Is j a multiple of 12?
True
Let u(i) be the first derivative of -i**2 - i - 3. Is 2 a factor of u(-4)?
False
Suppose 2 = 3*m - 4. Suppose -9 = 2*s - 2*p - 3, m*p = 4*s + 12. Let l(z) = -z**2 - 5*z - 4. Is 2 a factor of l(s)?
True
Suppose -5*m + 483 = 3*s, 0 = 4*s + 3*m - 472 - 161. Does 12 divide s?
True
Let r(o) = -o**3 + 4*o**2 - 2*o. Let z be r(3). Suppose -h = 4*f + 22 - 74, -f + 123 = z*h. Is h a multiple of 20?
True
Let i be 8*(2 - 1)*6. Is i + ((-12)/(-4) - 1) a multiple of 25?
True
Let l(g) be the third derivative of -g**6/40 - g**5/20 - g**4/8 - g**3/6 - 9*g**2. Suppose k = -5 + 3. Is 11 a factor of l(k)?
False
Suppose 3*v - 3 = -2*y, 2*v - 12 = -2*y + 4*y. Is v a multiple of 3?
True
Suppose 206 = -5*a - 4*t + 643, 5*t - 79 = -a. Is a a multiple of 32?
False
Let r = 57 - 177. Let n = r - -170. Is n a multiple of 13?
False
Suppose 30 = 2*v - 0*v. Let u be 0 - (-5)/(v/(-174)). Is 18/24 + u/(-8) a multiple of 7?
False
Suppose -2*q - m + 84 = 0, 0 = -4*q - m - 38 + 206. Is q a multiple of 13?
False
Suppose 0 = -10*d + 5*d + 60. Is d a multiple of 3?
True
Let b = -169 + 280. Suppose 0 = 4*s - 129 - b. Suppose 3*k - 2*z = s, 2*z = -3*k + 5*k - 38. Is 11 a factor of k?
True
Let h(o) = 10*o**3 + o**2 - 1. Let y be h(1). Suppose -t - t - 2 = 0. Is 5/t*y/(-2) a multiple of 9?
False
Let r(d) = -d - 1. Let b be r(-5). Let o(q) = 1 - 2*q + 3 + q**3 - 3*q**2 + 1. Is 13 a factor of o(b)?
True
Let p be 4 + -50 + 1/1. Let w be 10/p - (-745)/(-9). Is 17 a factor of (-1)/(-2) + w/(-2)?
False
Suppose 5*i + 3*w = w + 1127, 0 = 4*i - 5*w - 895. Is i a multiple of 32?
False
Let s = 7 + -2. Let y be 18/4*(7 - s). Is (y/12)/(1/24) a multiple of 6?
True
Suppose 4*i - 102 = j, 3*j = -i + 2*j + 23. Is i a multiple of 18?
False
Does 39 divide 1/4 - 102/24 - -131?
False
Let v be (-4)/(-12) - 22/(-6). Suppose v - 14 = -2*g. Suppose -17 + g = -s. Does 7 divide s?
False
Does 8 divide (-4 - 20)/6 + 54?
False
Let k(h) = h**2 - 3*h - 15. Let t be k(-6). Suppose -4*i + t = -49. Does 11 divide i?
True
Let g = 11 - 6. Let a = 21 + g. Does 13 divide a?
True
Suppose 0 = 4*r + 4*t - 260, -258 = -3*r - 5*t - 55. Is r a multiple of 25?
False
Let b(w) = 18*w - 1. Let x(o) = -o + 16. Let v be x(15). Is 17 a factor of b(v)?
True
Let u = -18 + 25. Let b = u - -1. Does 4 divide b?
True
Let m = -18 - -29. Let p be 30/9*3/2. Let f = m - p. Does 6 divide f?
True
Let g be -1 + -1 - (-4)/1. Let v = 0 - 0. Suppose 5*r - 4*m - 86 = -v*r, -3*r + 50 = -g*m. Is 14 a factor of r?
True
Let r be 2/(-8) - 145/(-4). Let h = 75 - r. Is -1 - h/(-5 - -2) a multiple of 6?
True
Suppose 0 + 3 = 3*r. Let y be (r + -2 - 5)/(-2). Suppose -4*a = -b - a + 15, -24 = -y*b + 2*a. Is b a multiple of 6?
True
Suppose 59*k - 55*k = 112. Is k a multiple of 6?
False
Suppose 2*t = -a + 10 - 2, 2*t + 2*a - 10 = 0. Suppose -3*g + 3*v = -84, -63 - 45 = -5*g - t*v. Does 12 divide g?
True
Suppose 0 = -4*s + 2*s - 5*i + 4, -3*s + 6 = -i. Let l be (4/(-8))/(s/24). Does 17 divide (3/l - 2)*-14?
False
Let b(r) be