+ 179. Let q = m - -103. Suppose 4*v - q = 2*v. Is 7 a factor of v?
False
Suppose 0 = -3*v - v - 8, -3*m = -4*v - 17. Suppose n + 5*i - 28 = 0, -m*i - 11 - 1 = 0. Does 12 divide n?
True
Let y = 12 + 2. Is (-3*2)/((-3)/y) a multiple of 14?
True
Let f(o) = -4*o**2 + 2*o - 4. Let p(v) = -v**2 + v - 1. Let k(w) = -3*f(w) + 8*p(w). Does 11 divide k(-3)?
False
Suppose 1 = w + 9. Let g be (w/(-12))/(4/6). Is (-34)/(-2) - (g - 0) a multiple of 16?
True
Let d = 5 + 139. Is 16 a factor of d?
True
Let m = 12 + -10. Let x(t) = 5*t. Let z be x(3). Suppose -z = m*o - 7*o. Is o even?
False
Suppose 3*h - h = 132. Is (-1)/(-2 + 130/h) a multiple of 11?
True
Suppose -2*q = 2*z - 438, q + 5*z = 4*q - 681. Is q a multiple of 33?
False
Suppose -d + 2 = 28. Suppose 5*i - 101 = -2*b, -5*i - 43 = -2*b + 8. Let j = d + b. Does 7 divide j?
False
Let g(q) = -q + 42. Let x be g(0). Suppose 5*w = -5*a + 75, 6*a - x = 2*a + 5*w. Does 12 divide a?
False
Let x be (-3 + 3 - 2) + -1. Let d(i) = i**3 + 5*i**2 - 6*i + 3. Let m be d(-6). Is 15 a factor of m*x/3*-7?
False
Suppose 2*n + 194 + 34 = 2*c, -5*c + 550 = 5*n. Suppose 4*p - 300 = -c. Is 17 a factor of p?
False
Let g(b) = 3*b + 1. Let u be g(-1). Let x(f) = 7*f**3 + f**2 - 4*f - 3. Let v be x(u). Let o = v + 81. Is 13 a factor of o?
False
Does 19 divide 192/7 + 12/(-28)?
False
Let i be 1404/(-14) - 4/(-14). Let l = i + 4. Let w = l + 144. Is w a multiple of 24?
True
Let l = 1 - -4. Suppose 16 = l*o + n - 0*n, 0 = -5*n - 20. Suppose o*p = -0*p + 72. Does 10 divide p?
False
Suppose g - 3*k = k + 46, -3*g + k = -127. Does 21 divide g?
True
Let c = -84 - -133. Suppose 0 = -w + 4 - 35. Let x = c + w. Does 13 divide x?
False
Suppose 5*q = -4*i + 2*q + 95, -5*q = 4*i - 105. Is 4 a factor of i?
True
Let d(h) be the second derivative of -h**4/12 - h**3/3 + 3*h**2/2 + 2*h. Let t be d(-3). Suppose -2*u + 6 = -t. Is u a multiple of 2?
False
Suppose 4 = -3*r + 16. Suppose 3*u = -12, -2*t - r*u = t - 128. Is t a multiple of 16?
True
Suppose -168 = -3*r + 60. Does 44 divide r?
False
Is ((-444)/(-15))/((-3)/(-30)) a multiple of 38?
False
Let n be 41 - (1 + (0 - 0)). Let f = n - 22. Is 9 a factor of f?
True
Let o(r) = -2*r**2 + 3*r**2 + 6*r + 0*r**2. Let z be o(7). Suppose -z = -4*p - 15. Is 19 a factor of p?
True
Let l be (-4*(-1)/1)/1. Let p(y) be the first derivative of y**4/2 - 2*y**3 + 2*y + 2. Does 17 divide p(l)?
True
Let d(k) = k**3 - 4*k**2 - 3*k - 2. Is d(5) a multiple of 4?
True
Let s(z) = 2*z - 5. Let w be s(7). Let j(r) = r - 7. Let v be j(w). Suppose 0 = v*m - 0*m - 56. Is m a multiple of 12?
False
Let r(s) = -s**2 - 1. Let g(q) = q - 11. Let c(u) = u - 21. Let d(w) = -4*c(w) + 7*g(w). Let v(b) = -d(b) - 4*r(b). Is v(3) a multiple of 12?
True
Let a(m) = 2*m**2 - 18*m + 19. Is a(13) a multiple of 9?
False
Does 3 divide (-1 - 0)*6*-1?
True
Suppose 0 = -0*m - 2*m + 546. Suppose 78 - m = -5*l. Let d = 56 - l. Is 11 a factor of d?
False
Let u(g) = 11*g - 1. Is 5 a factor of u(1)?
True
Let i be 5 - (0 - (0 + -3)). Suppose i*y + 2*y = 5*d - 26, -2*y - 10 = -2*d. Is 6 a factor of d?
True
Suppose 4*a - 1250 = -5*m, 483 = m + m + 5*a. Suppose 0 = -5*k + b + m, 6 = -3*k + 3*b + 168. Does 30 divide k?
False
Suppose 3*h - 154 = -2*f - 3*f, 4*f = -4. Is 14 a factor of h?
False
Suppose i - 3*i + 50 = 0. Is 13 a factor of i?
False
Suppose 0 = 3*q - 36 - 72. Is 8 a factor of q?
False
Suppose -2*d - 164 + 6 = -2*f, -5*f + 2*d + 401 = 0. Suppose 3*a = 9, -f = -2*p + 4*a - 3*a. Does 21 divide p?
True
Let y(g) be the second derivative of -11*g**3/6 + g**2/2 + 3*g. Let k(t) = t**2 + 6*t + 4. Let r be k(-5). Is 6 a factor of y(r)?
True
Suppose x - 237 = -2*x - 3*s, 0 = 2*x - 2*s - 174. Is x a multiple of 12?
False
Is 22 a factor of 109 + -1 - (6 + -8)?
True
Let a(x) = -7*x - 26. Is a(-8) a multiple of 8?
False
Suppose -16 = -3*j + 20. Is j a multiple of 3?
True
Suppose 0*t = t + 4*y - 40, -3*y - 54 = -t. Is t a multiple of 9?
False
Let j be (4 + -3)*(-1 + 5). Suppose 7*r - 27 = j*r. Does 3 divide r?
True
Suppose 62 = -5*b - 23. Let r = b + 29. Is 12 a factor of r?
True
Let n(g) = g**2 - 10*g + 11. Let y be n(9). Suppose -y*q + q = -4. Does 3 divide 1/q + (-15)/(-4)?
False
Is 6*46 - (4 + -4)/4 a multiple of 69?
True
Let i be 1 - (-1)/((-2)/(-2)). Let v(w) = -1 - 3 + 5*w**3 + w**2 + i*w - 4*w**3 + 0*w**3. Is 13 a factor of v(3)?
False
Suppose -3*c = 1 + 17. Let y = c - -39. Is 11 a factor of y?
True
Let m(w) = -w**2 + 10*w - 4. Is 20 a factor of m(4)?
True
Let l = -7 - -8. Suppose -2*z + l = -5. Suppose z*n = 5 + 25. Is 9 a factor of n?
False
Let t(d) be the second derivative of -d**5/20 + d**4 + d**3/6 - d**2 + 3*d. Is 10 a factor of t(12)?
True
Let m(f) = f**3 + 9*f**2 - f - 6. Let k be m(-9). Suppose -k = n - 5. Let i(r) = 3*r**2 - r + 2. Is i(n) a multiple of 6?
True
Let w = -78 + 55. Let p = 41 + w. Is 17 a factor of p?
False
Let n = 58 - -111. Is 13 a factor of n?
True
Let y be ((-136)/24)/(2/(-24)). Let c = -75 + 39. Let s = c + y. Does 16 divide s?
True
Let x(i) = i**2 + 9*i + 8. Let m be x(-8). Let r be m/3 - -1 - -33. Suppose -4*b + r = -2*b. Is b a multiple of 17?
True
Let m(f) = 2*f**3 + 20*f**2 - 6*f - 9. Is 17 a factor of m(-10)?
True
Let s = -14 - -56. Does 7 divide s?
True
Suppose 34 = 2*v - 0*v. Does 17 divide v?
True
Suppose 0 = 2*v - 6 - 0. Suppose 3*q = 45 + v. Suppose o + 2*o - 9 = -4*l, 0 = -l + 2*o + q. Is 6 a factor of l?
True
Let i = 324 - 222. Does 13 divide i?
False
Let a(u) = u**2 - 4*u - 8. Let t be (-15)/(-3) - (1 + -3). Is 12 a factor of a(t)?
False
Let m = 91 - 25. Is 16 a factor of m?
False
Let a = -19 + 42. Let u = -2 + a. Let p = 32 - u. Is 4 a factor of p?
False
Suppose 2*i = -5*b + 320, b - 64 = -0*b - 3*i. Does 32 divide b?
True
Suppose -4*i = -d + 150, 0*i = 3*d - 4*i - 418. Does 7 divide d?
False
Let a = 32 - 63. Suppose 3*g + 26 = -25. Let t = g - a. Is t a multiple of 7?
True
Suppose -2*l - 318 = 2*g - 5*l, -2*l = 5*g + 795. Let y = -90 - g. Let v = y - 30. Does 17 divide v?
False
Let s = 359 + -86. Suppose -15 = 2*b - 7*b, -3*k + 2*b = -s. Does 31 divide k?
True
Let r(b) be the first derivative of -b**3/3 + 3*b**2/2 + 5*b - 1. Let h be r(5). Let u(y) = y**3 + 4*y**2 - 4*y + 7. Does 2 divide u(h)?
True
Let b be -2 - (-7 - -1) - 1. Suppose -2*j - 55 = -7*j - 5*u, -b*u = -2*j + 7. Is j a multiple of 8?
True
Let j(k) = -4*k - 5. Let o be j(-2). Suppose -25 = 4*l - 9, -5*l = -o*q + 209. Is 21 a factor of q?
True
Let m(w) = -21*w - 3. Let i be m(-2). Suppose 4*c - 137 = i. Is 22 a factor of c?
True
Let v = -2 - -4. Suppose 2 = -g - v. Does 3 divide (10/8)/((-1)/g)?
False
Does 4 divide (155/(-10) + -1)*-2?
False
Suppose 3*z - 895 = 2*h - 6*h, 0 = -2*h - z + 445. Is h a multiple of 34?
False
Let o(l) = -4*l**2 + 4*l - 2*l**3 + 0*l**2 - 6 + l**3. Let p be o(-5). Let c = p + 3. Does 2 divide c?
True
Let o(l) = l**2 - 5*l + 4. Let v be o(3). Suppose -7*c + 26 = -23. Let f = c - v. Does 4 divide f?
False
Let s be ((-4)/3)/((-1)/(-3)). Let x(n) = -23*n**2 - 3 + 13*n**2 + 4*n + 14*n**2. Is x(s) a multiple of 19?
False
Let u = -63 + 147. Is 21 a factor of u?
True
Suppose -2*d = -9 - 33. Is d a multiple of 9?
False
Suppose -6 = 2*d - 28. Suppose 0 = 3*q + d + 1. Let z(w) = 2*w**2 + 6*w. Does 6 divide z(q)?
False
Suppose 2*h + 0*h = -3*w + 133, -4*h + 259 = -w. Is h a multiple of 13?
True
Suppose -2*c + 2 = 0, -4*i + c + 7 = -8. Let k be (0 - -3)/((-11)/(-495)). Suppose i*l - k = -l. Is l a multiple of 27?
True
Is 20*(0 - -3 - 1) a multiple of 10?
True
Does 12 divide 111/5 - 2/10?
False
Suppose -h + 4*q + 35 = 0, -3*q = -2*h + 9 + 46. Let c(x) = x**3 + x**2 - x. Let y be c(-2). Let o = h - y. Is o a multiple of 13?
False
Suppose -200 + 35 = -5*q. Does 7 divide q?
False
Let a(n) = 3 + 1 + 0 + 2*n**2 + 6*n - 3*n**2. Does 4 divide a(5)?
False
Let q = -13 - -22. Suppose q*p = 4*p + 55. Does 6 divide p?
False
Let s be (-490)/(-26) - (-8)/52. Suppose -z + 3*p + s = 0, 5*z = z - 3*p + 76. Does 19 divide z?
True
Suppose 5 + 19 = 6*f. Let k = 18 - f. Is 7 a factor of k?
True
Suppose -3*a = a + 4. Does 8 divide (-51)/(((-6)/(-4))/a)?
False
Let n(l) = l**2 - 7*l + 6. Let x be n(9). Suppose -4*u - 92 = -4*m, -m + 2*u + x + 3 = 0. Is m a multiple of 19?
True
Suppose -4*v = -2*w - 0*w + 6, -w + 3*v + 3 = 0. Is 5 a factor of w*(3 - 8)