e i?
False
Let v(y) = 6*y**2 + 9*y + 1. Let q(x) = x**2 - 1. Let o(u) = 5*q(u) - v(u). Is o(-7) a multiple of 4?
True
Let m = 5 + -20. Let v be -2*2/(-4)*30. Let x = m + v. Does 14 divide x?
False
Let q be (-4)/16 - 87/(-12). Suppose 2*r - q = 3. Suppose n = 5*l + 17, r*n - 3*l + 11 = 118. Is 18 a factor of n?
False
Suppose -48 = -4*d - 2*x, -10 - 2 = -d + 5*x. Let l be 3*1*100/d. Is l + 3/(3/1) a multiple of 13?
True
Suppose -5 - 10 = 3*z. Is 4 a factor of (9 + 1)*(-2)/z?
True
Let g(h) = 2*h - 1. Let l be g(2). Let r = 30 - l. Is 9 a factor of r?
True
Let l be 52/(-14) - (-2)/(-7). Let n(x) = -x**3 - 5*x**2 - 5*x - 2. Let c be n(l). Suppose -c*b + 51 = -1. Is 13 a factor of b?
True
Let u(h) = 8*h**2 - h - 4. Is u(-2) a multiple of 4?
False
Suppose 0*l - 3*x - 27 = -l, -52 = -2*l + 4*x. Is l a multiple of 6?
True
Let n(q) = q - 6. Let h be n(8). Does 16 divide (h/(-3))/(5/(-360))?
True
Suppose -5*t - 5*k = -k - 509, 5*t = 3*k + 502. Is t a multiple of 26?
False
Let c(s) = s**2. Let h(j) = 6*j**2 + 9*j + 8. Let f(a) = 5*c(a) - h(a). Is 8 a factor of f(-6)?
False
Suppose -7*a - 186 = -10*a. Does 13 divide a?
False
Let z(l) = l**3 - 14*l**2 + 14*l - 10. Let h be z(13). Let x(o) = -3*o - 7*o - h + 6*o. Is 11 a factor of x(-9)?
True
Suppose 1 = l - 1. Suppose r + l*k - 84 = 0, 5*r + 4*k - 390 = -0*k. Is 10 a factor of r?
False
Let o = 5 - 5. Suppose 4*t - t + 4*x - 3 = o, 15 = -5*x. Suppose 29 = t*m - 2*h - 9, -2*m - 3*h = 0. Is 3 a factor of m?
True
Let q(v) = -v**2 + 2*v + 2. Let f be q(3). Let d = -1 - f. Suppose -5*a + 70 = -2*x - 46, -x + 2 = d. Does 14 divide a?
False
Let x be ((-49)/(-2))/((-1)/(-2)). Suppose -13 - 7 = 4*a, 3*d = 2*a + x. Is d a multiple of 13?
True
Suppose 2*a - 3*r = 9, 0*r - 5 = -r. Does 10 divide a?
False
Let g(f) = 21*f - 48. Is 3 a factor of g(8)?
True
Let v = -19 + 16. Does 13 divide 51 - (-3)/(0 - v)?
True
Suppose 0*d - 6 = -2*d. Suppose -d*g + 23 = -4*u, -3*g + 3 = 2*u + 28. Let h(f) = -f**2 - 7*f + 11. Does 2 divide h(u)?
False
Suppose 5*f - 75 = 4*s, -3*f + 24 + 21 = -4*s. Suppose -f = -0*y - 3*y. Is 2 a factor of y?
False
Let r be -2 - -1 - 1 - -16. Let q = -109 - -170. Suppose 3*w = q + r. Is w a multiple of 12?
False
Is ((-2)/(-6))/(10/1110) a multiple of 5?
False
Suppose -2 - 62 = 4*a. Is (-156)/(-8)*a/(-6) a multiple of 15?
False
Let s = -12 - -25. Is s a multiple of 8?
False
Suppose 0 = 3*r - 43 - 20. Does 7 divide r?
True
Suppose f + 36 = -2*j - 34, -j = 4*f + 28. Let u = -23 - j. Is u a multiple of 4?
False
Let q = 107 - 26. Let z = q - 42. Does 12 divide z?
False
Suppose -3*o + o - 5*r + 38 = 0, -5*o + 61 = 4*r. Does 3 divide o?
True
Let m(k) = -10*k**3 - 2*k**2. Is 4 a factor of m(-1)?
True
Let t = 3 - 1. Suppose -t*i + 262 + 12 = 0. Suppose i = 5*k - 4*j, 3*j = 3*k - 0*k - 84. Is 9 a factor of k?
False
Let u = -67 - -105. Suppose -2*g - g + 4*l + u = 0, 0 = -5*g - 3*l + 15. Is g a multiple of 6?
True
Let x(h) = 31*h**2 + 2*h - 1. Let y be x(1). Suppose 5*o = m + y, 0 = 2*o + o + 5*m - 8. Is 6 a factor of o?
True
Let t = 71 + 16. Is 16 a factor of t?
False
Suppose -106 = 2*x - 5*x + i, 3*x - 4*i - 109 = 0. Is 7 a factor of x?
True
Suppose -22*n = -20*n - 14. Is n a multiple of 3?
False
Suppose 0 = -22*w + 18*w + 84. Is 7 a factor of w?
True
Let l be (1/(-2))/(7/(-168)). Suppose 0*y + l = y. Is y a multiple of 6?
True
Suppose -7*w + 4 = -6*w. Let r = 22 + w. Is 7 a factor of r?
False
Let s be (-17)/(-3) - (-1)/3. Let q = -79 - -79. Suppose q = -z + 2 + s. Is 8 a factor of z?
True
Let i(f) = f**3 + 10*f**2 - 5*f + 13. Is 11 a factor of i(-10)?
False
Let w = 196 - 169. Is w a multiple of 9?
True
Does 13 divide (-4)/18 + 3420/81?
False
Is 13 a factor of 616/12 + 16/24?
True
Let j be (-8 + 7)*(0 - 2). Let z be 10/(j/(-13)*-1). Suppose -z = -3*v + 43. Is v a multiple of 17?
False
Let i(d) = d + 1. Let l(b) = -4*b + 1. Let r(z) = -i(z) + l(z). Let a be (-14)/(-35) + 34/(-10). Is r(a) a multiple of 15?
True
Let q = -9 + 5. Does 3 divide q/6 + 23/3?
False
Let h = -14 + 25. Let j = h - -2. Does 8 divide j?
False
Let y(b) = -b**3 + 7*b**2 - 6. Let i be y(7). Does 9 divide 116/i*(-6)/4?
False
Let c = -39 + 195. Is 42 a factor of c?
False
Suppose 3*z = 4*g - 0*z - 119, 0 = 5*g + z - 144. Is g a multiple of 9?
False
Let z = 3 - 0. Suppose g + 4*l = -1, -z*g + 0*l = 2*l - 7. Suppose -g*w - 2*w + 39 = 3*u, -2*u - 22 = -2*w. Is w a multiple of 9?
True
Let r = 3 - -3. Suppose -r*m + 15 = -m. Is m a multiple of 3?
True
Is 26 a factor of (-3920)/(-18) + 8/36?
False
Let b(v) = -v**3 + 10*v**2 - 3*v - 11. Does 5 divide b(9)?
False
Let s(u) = u**3 - 3*u**2 - 2*u + 7. Let h(a) = -3*a - 4. Let k be h(-3). Let o be s(k). Let p = -29 + o. Is p a multiple of 12?
False
Suppose -4*x - 21 = 3. Let a(y) = -4*y - 5. Is a(x) a multiple of 7?
False
Suppose 3*a = 2*a, -2*u + 4 = -a. Suppose 2*r - 2*z = 0, -u*r + r = 2*z - 6. Suppose 2*b + 4*w - 40 = 0, -2*b - b = -r*w - 68. Is 16 a factor of b?
False
Let b(n) be the first derivative of 4*n**2 + 11*n - 1. Let v be b(9). Suppose -4*z - 3 + v = 0. Is z a multiple of 20?
True
Suppose -3*q + 56 + 16 = 0. Is 20 a factor of q?
False
Let d = 0 - -10. Let s = 58 - d. Does 16 divide s?
True
Suppose 2*y + 47 - 169 = -3*t, 4*t + 4*y = 160. Suppose -5*n = -2*j + 28, -5*j - 3*n = 3 - t. Is j a multiple of 9?
True
Let w = -11 + 5. Let q(n) = n**2 - 5. Does 23 divide q(w)?
False
Let l(o) = -o**3 - 8*o**2 - 8*o - 15. Does 9 divide l(-8)?
False
Let p(f) = 57*f + 5. Let w be p(5). Suppose -4*y - k = -800 + 238, -2*y + w = 5*k. Suppose -4*m - 5*q = -141, -2*m = -6*m - 4*q + y. Is 9 a factor of m?
False
Let m(u) = -11*u - 7. Does 22 divide m(-6)?
False
Suppose -2 = 4*f + 2. Is -2 + 52 + 3 + f a multiple of 18?
False
Suppose 175 = 3*g - f - 3*f, -3*f - 3 = 0. Does 13 divide g?
False
Let o = 157 + -93. Is 16 a factor of o?
True
Let o(y) = 2*y**2 - 10*y. Let m be o(8). Let w = m - 30. Is 6 a factor of w?
True
Let g = -4 - -10. Suppose g + 18 = f. Is f a multiple of 12?
True
Let n(q) = q - 1. Let w(j) = -5*j. Let x(k) = -4*n(k) - w(k). Is 13 a factor of x(9)?
True
Let p = -48 - -14. Let q(n) = 6*n - 6. Let v be q(9). Let h = v + p. Is 10 a factor of h?
False
Let b(h) = h**3 + 4*h**2 - 3*h - 6. Let c = -10 - -14. Suppose 0 = 3*l - c*u + 16, -l - 8 = 2*l + 4*u. Is 3 a factor of b(l)?
True
Suppose -3*o + 36 = 3*a, 5*a + 3*o - 20 = 4*a. Is a a multiple of 2?
True
Let u(v) = -v - 1. Let t be u(-7). Suppose -4*k + k + t = 0. Suppose 3*a - j + 0 = 88, -4*a = -k*j - 118. Does 14 divide a?
False
Suppose 5*b + 22 = 2*c, -b - 5 + 3 = 2*c. Is 3 - (-1 + (-32)/c) a multiple of 12?
True
Suppose 3*d - 2*d - 45 = 0. Suppose -5*q - 2*t = -7*t - d, 3*q + t = 23. Suppose 5*i - 4*i - q = 0. Does 4 divide i?
True
Let k(a) = a**3 - a**2 - a + 6. Let w be k(0). Suppose -p = -w*p. Suppose p = -i - 5*j + 51, 0 = i + 2*i + j - 83. Is 8 a factor of i?
False
Suppose 4*k - 4*c = 24, k + 0*k - 7 = 2*c. Suppose -10 = -k*b - 4*n + 2, -2*b - 5*n = 2. Suppose b*m = 3*w + 71, 13 = 3*m + 5*w - 4. Is 8 a factor of m?
False
Let k(h) = h**3 + 7*h**2 + 3*h + 4. Let l be k(-5). Let q = l - 23. Is 8 a factor of q?
True
Is (-106)/(-3) + (-2)/(-3) a multiple of 6?
True
Suppose -2*f + 6 = w - 0*f, 0 = -4*w - 2*f + 18. Suppose -12 = -2*d + v - w, 5*d + 4*v - 7 = 0. Suppose 13 = d*c - 20. Does 9 divide c?
False
Let z = -7 + 7. Let u be z - (-29 - 3 - -3). Suppose h = -8 + u. Does 7 divide h?
True
Let m(r) = r**3 + 15*r**2 + 11*r + 9. Is m(-14) a multiple of 17?
True
Let n = -1 + -1. Let v = n + 4. Suppose 10 = h - 4*y + v, 68 = 4*h + 2*y. Is h a multiple of 16?
True
Let j(u) = 11 - u + 7 + 8. Let s = -1 + 1. Is j(s) a multiple of 13?
True
Let c be 1580 - (3 - (3 + 1)). Let y be c/15 - 6/15. Suppose 3*d = -3*h + y, -2*d - d + 100 = 4*h. Is d a multiple of 12?
False
Let t = 21 + -12. Is t a multiple of 3?
True
Let y be 0 - (1/1 + -5). Suppose y*x - 16 = -4. Suppose 0 = -x*z - 4*d + 26, 0 = 3*z + 2*d + 24 - 58. Is 14 a factor of z?
True
Let k = 31 + -18. Does 11 divide k?
False
Suppose 371 = 5*c - f, 2*c - 55 = -2*f + 103. Let q = -53 + c. Is 12 a factor of q?
False
Let q(u) be the third derivative of 5*u**4/24 - u**3 + 6*u**2. Is q(8) a multiple of 9?
False
Let v = 21 + 2. Does 16 divide v?
False
Let c = -16 - -80. Is 16 a factor of c?
True
Suppose -2*a + 14