 + 2. Let v be q(0). Let z be (19 + 1)/v + 0. Solve -o - z = o for o.
-5
Let w(a) = 3*a - 6. Let s be w(6). Let v be 6*(-3 + 40/s). Solve -v*h - 2*h + 4 = 0 for h.
1
Let p = -7 + 13. Let i be 0*1*(-2 - -1). Suppose i = -p*s + s. Solve r = -s*r - 5 for r.
-5
Suppose -2*l = -8, 0*l = 2*u - l + 6. Let j be u/(-2) + 4/(-8). Solve j = -2*p - 2*p for p.
0
Let d = 42 - 21. Let a be (2*1)/(14/d). Solve a*i + 1 = 13 for i.
4
Let n be (-7)/(-2) + 4/(-8). Suppose 4*y + 28 = -5*u - 19, 2*u - n*y = -5. Let s = u - -7. Solve -r = -s*r - 2 for r.
2
Let n(q) = -q**2 - 6*q + 3. Let x be (30/(-25))/((-1)/(-5)). Let t be n(x). Solve -2*u + 5 = t*u for u.
1
Let d = -34 + 37. Solve -l = d*l for l.
0
Let m = -7 + 1. Let v = m + 16. Let c = v - 6. Solve c*o = o + 12 for o.
4
Suppose 185 = 3*z - 2*p, 2*z - 4*p - 125 = -p. Suppose 3*s - 29 = -5*n, -3*s + 5*s - 5*n = z. Let h be 3/s + (-238)/(-12). Solve 0*b + 4*b - h = 0 for b.
5
Let r = 7 + -3. Let y = 6 - r. Solve y*g = -g for g.
0
Let h(r) = -r + 8. Let f be h(8). Suppose f = 5*s - s - 20. Let u(j) = j**2 - 8*j + 5. Let w be u(8). Solve 2*c + w = -s for c.
-5
Suppose 5*p = -0 + 25. Suppose -5*g = 2*a - 20, -3 = g - 2*a - 7. Solve 0 = p*y - g + 14 for y.
-2
Suppose -20 = -7*z + 3*z. Suppose 2*r + 5*r = 28. Solve -3*x + r*x = z for x.
5
Let i(r) = r**2 - 11*r + 25. Let c be i(8). Solve 0 + c = f for f.
1
Suppose 0 = -s - 4*t - 3, 5*t + 3 = s - 2*s. Let z be 1*(2 - 5)/s. Solve -m = z + 1 for m.
-2
Suppose -6 = -79*y + 76*y. Solve -4*d + 3*d = y for d.
-2
Let f be ((-35)/10)/(-7)*(7 - 1). Let m be -2*-2*5/4. Solve f*p + m = -2*p for p.
-1
Let q = 11 - 1. Let z = q + -6. Suppose 0 = -b - 2, z*b + 8 = 3*t. Solve t = v - 5 + 2 for v.
3
Let w(f) = -f**3 + 7*f**2 - 1. Let y be w(7). Let k(u) = -3*u**3 + u**2. Let t be k(y). Solve 6*a + t = 2*a for a.
-1
Let p(u) = -2*u**2 - 3*u + 5. Let h(i) = i**2 + i - 3. Let l(x) = 5*h(x) + 3*p(x). Let c be l(-4). Suppose -2 = -4*r + 18. Solve t + c*t - r = 0 for t.
5
Let j be (1/(-2))/((-3)/6). Solve 2*s + 1 = -j for s.
-1
Suppose -18 = -3*l - 3*l. Solve -2 = l*w + 1 for w.
-1
Let a(c) = -2*c - 14. Let v be a(-7). Solve v = -5*i + i + 4 for i.
1
Suppose 0 = -5*z - 3*d + 24, -3*z - 2*d + 12 = -z. Solve z*a = -2*a - 20 for a.
-4
Suppose 4 = -j + 4*z, 2*j - 20 = j - 4*z. Let k = -4 + j. Solve -5 - 3 = k*o for o.
-2
Let u(c) = 2*c - 6. Let d be u(4). Solve 0 = -3*n + n - d for n.
-1
Let m = 87 + -84. Solve -m*r + 5 = -7 for r.
4
Let u(t) be the first derivative of t**3/3 + 7*t**2/2 + 5*t - 1. Let y be u(-7). Suppose -8*o - 5 = -13*o. Solve 0 = -2*c + o + y for c.
3
Suppose 0 = c + 2 - 6. Suppose 8*u = 6*u + c. Solve 0*j = -2*j - u for j.
-1
Let c = -6 - -6. Suppose c = -2*n + 4*n. Solve 12 = -3*d - n*d for d.
-4
Let f(n) = n**2 + 5*n - 6. Let h be f(-6). Let l(p) be the first derivative of p**2/2 - 3*p - 2. Let d be l(3). Solve h*r - 2*r - 4 = d for r.
-2
Let l(u) = -2*u - 13. Let f(v) = v - 2. Let w be f(-7). Let s be l(w). Solve -4*t + s = t for t.
1
Let i = 21 + -17. Let k be (4/i + -4)*-1. Let a = 9 - 3. Solve 0 = 3*t + k + a for t.
-3
Let i be -1 + 3 - 0/2. Let j(b) = -b + 8. Let q be j(6). Let v be (-1)/5 + q/10. Solve -i*y + v*y = -6 for y.
3
Let w(u) = -u + 18. Let o(n) = n**2 + 2*n - 2. Let p be o(3). Let j be w(p). Let k be -10*(1 + 1*-3). Solve -j*t + k = -t for t.
5
Let f be (-17)/3 - (-5)/(-15). Let l be (-98)/(-6) + 2/f. Solve 4 = -4*k - l for k.
-5
Let g be (-15)/(-5) + (3 - 1). Solve 7 + g = 3*q for q.
4
Let p = 1 - -1. Suppose -4 = p*l + 2*o, 4*l - 14 = -l + o. Solve -3*t = -l*t + 2 for t.
-2
Let o = 5 - -3. Solve -4*v - 12 = -o*v for v.
3
Let u(w) = w - 5. Let b(l) = -l**3 - 3*l**2 - l + 2. Let j be b(-3). Let t be u(j). Solve 1 = -v - t for v.
-1
Suppose 25 = 3*v - 3*c + 1, -16 = -2*v + 4*c. Suppose -v*p - 13 = -37. Solve r - 6 = p*r for r.
-3
Let q be 0/(-9)*(-2)/(-6). Solve q = -j + 6*j + 25 for j.
-5
Suppose 5*l - 27 = -7. Suppose 3*r = -4*d + 16, -5*d + 0*r = l*r - 21. Solve -j + d - 2 = 0 for j.
-1
Suppose -4*c + 5*d - 7 = 0, 0 = c - 0*c - 4*d - 12. Let f = c + 8. Solve -x + f = -2 for x.
2
Let g be (-32)/(-20) - 8/(-20). Solve 0 = 3*l - g*l - 1 for l.
1
Suppose 0 = i - 5*l + 24, -i + 4*i - 3*l = -12. Solve -j + i = -0 for j.
1
Let m = -33 + 67. Suppose -2 = 4*g - m. Solve -5*u = -g - 12 for u.
4
Suppose 4*x = x. Suppose x*y - 2 = -y. Solve -y*q = q - 3 for q.
1
Suppose -7*v = 9*v - 48. Solve 9 = -v*w - 0 for w.
-3
Suppose 3*p = 2*h - 3*h + 6, 5*h - 10 = -5*p. Let k = 4 - 2. Let z = p - k. Solve z*m - 15 = 5*m for m.
-3
Let w(h) = -16*h**3 + h. Let x be w(-1). Let n = 20 - 18. Solve n*b - x = -3*b for b.
3
Let v = -5 + 9. Let b = v - 3. Let r = b - -1. Solve r*m - 9 = 5*m for m.
-3
Suppose x - 2*g = 26, -83 = -4*x + 5*g + 12. Solve -h = -5*h - x for h.
-5
Let x(u) = u + 9. Let c be x(-8). Suppose -6 = -5*z - c. Solve 3 = h - z for h.
4
Let x be 1*0/(2 + -1). Suppose -8 = -x*v - 4*v. Solve 0 = v*y - 4*y - 6 for y.
-3
Suppose -5*a - 3*p = -31, 3*a - 15 = 2*a - 5*p. Solve 4*w - a = 5*w for w.
-5
Let s be (0 - 1) + (7 - 5). Let c be 2 - (s + -1 + 0). Solve c = -2*z + z for z.
-2
Suppose 3*p - 5*v = 2*p - 6, 0 = v. Let s(q) = q - 6*q - 2 + 7 - q**2 + 3. Let u be s(p). Solve -x = u*x - 12 for x.
4
Suppose -2 = -2*p + 2. Suppose 6 = -0*u + 3*u. Solve p*w = -0 - u for w.
-1
Let q be (-2)/8 + 1/4. Let h = q - 0. Solve 0*g - 3*g + 15 = h for g.
5
Let x = 101 - 101. Solve -20 = 5*q - x*q for q.
-4
Suppose -2*f - 5*g + 2 + 6 = 0, -f - 2*g + 4 = 0. Solve f*o - 3 = 5*o for o.
-3
Let p = 0 + 0. Suppose -3*g + 2 = -2*m, p*g + 4*m + 4 = -3*g. Suppose -4 = -2*k - 4*n, 0 = k - 2*n - 1 - 1. Solve k*a + a = g for a.
0
Let w be ((-2 - -2)/1)/(-2). Let g = 0 + w. Let q = g - -3. Solve 3*j + q = -3 for j.
-2
Suppose 0 = 5*l + 3*r - 40, 6*r - 15 = -l + 4*r. Let g = 0 + 9. Solve l*j + g = -1 for j.
-2
Suppose -18 = -4*j + 2. Solve 0 = -2*x + x - j for x.
-5
Let k be (0*((-27)/6)/(-9))/(-2). Solve k = 5*w - 6 + 21 for w.
-3
Let a(x) = x**2 - 12*x - 20. Let v be a(15). Suppose 2*b + 7 - v = 0. Solve -2*k = k - b for k.
3
Let h be 6/((-3)/4*2). Let c = 12 + h. Let o be 1/(-1 + c/6). Solve -r = 6 - o for r.
-3
Let f = -18 + 38. Let j = -42 + 45. Solve -j*h = -8 + f for h.
-4
Let f = -1 + 8. Suppose -2*r + 10 = n, -27 = -4*r - 3*n - 5. Suppose -1 = -w - r*i - 6, -2*w + 4*i + 14 = 0. Solve w*t - 8 - f = 0 for t.
5
Let o = -142 + 143. Solve r - 2*r = o for r.
-1
Suppose 0 = 4*i - 9 + 33. Let g be (i + 11)/(2/6). Solve 3*r = 3 - g for r.
-4
Let r be 432/42 - 2/7. Solve 3*z = 2 + r for z.
4
Suppose 0 = -3*v + 2*v + 2. Let j = 14 + -8. Suppose 0*k - 2*k + j = 0. Solve -v*a = -a - k for a.
3
Suppose h = 4*i + 21, 0 = -h - 0*h - 2*i - 9. Let k = 3 - h. Solve k*b = -2 - 0 for b.
-1
Let x be 40/14 - 5/(-35). Solve -x*q = q + 8 for q.
-2
Let l(p) = -p**2 - 6*p + 2. Suppose 0 = 2*d + d + 18. Let h be l(d). Solve 2*q + h*q + 8 = 0 for q.
-2
Suppose -5*z + 58 = -27. Let p be -1 - -1*3 - z. Let u be ((-6)/5)/(3/p). Solve -2 = -2*t - u for t.
-2
Suppose 3 + 1 = 2*w. Solve -10 + 4 = w*u for u.
-3
Let q = 23 + -19. Let o(x) = -x**3 + 9*x**2 - 7*x - 5. Let s be o(8). Solve s*h - 1 = -q for h.
-1
Suppose -2*c - 20 + 12 = -3*q, 5*c = -q - 20. Solve -b + q = 1 for b.
-1
Let t be (-2 + 7 + 0)*1. Solve t*c = 30 - 10 for c.
4
Suppose 5*z - 3*a = 13, 0 = 4*z - 0*z - a - 9. Solve 0 = -z*v - v for v.
0
Suppose 0 = -x - 0*x. Suppose x = -4*u - 0*u + 108. Let o be 140/18 - (-6)/u. Solve k = 5*k + o for k.
-2
Let a be (-10)/(-8) + 9/12. Let g = 8 - a. Solve g = c + 2*c for c.
2
Suppose -3*j + 5*j = 0. Solve -h + j = -3 for h.
3
Let b be 1 - (-23 + -1)/2. Let v(t) = t**2 + 4*t - 4. Let n be v(-6). Let p = b - n. Solve 0*s = p*s - 5 for s.
1
Suppose 19*s - 14*s = 30. Solve -4*h - 2 = s for h.
-2
Let m(l) = -2*l**3 - 5*l**2 - 4*l - 4. Let a be m(-4). Suppose 3*r + a = 7*r. Solve r = 2*s + s for s.
5
Let c(i) = -i**2 - 9*i + 16. Let o be c(-10). Solve 2*m = 5*m + o for m.
-2
Suppose -x - 5*z = -2*x - 17, 5*z = -x + 23. Solve 0 = x*u - u - 2 for u.
1
Suppose 5 = 2*p - 3. Let f(r) = -r**2 + 5*r - 4. Let b be f(p). Let s = 2 + b. Solve 0 = -s*d + 1 - 3 for d.
-1
Let m be 30/12 - (-1)/(-2). Suppose -f = m - 5. Solve 4*t - f - 5 = 0 for t.
2
Let i be 3/15 - (-5853)/(-15). Let c be i/(-33) + 2/11. Solve 0 = -2*k - 2*k + c for k.
3
