u*n + 2 = -n for n.
2
Let z(a) = -a + 17. Let j be z(0). Let d(h) = -h + 5. Suppose 5*t + 5*c = 25, -t - 15 = 4*t - 3*c. Let g be d(t). Solve 3*r - g + j = 0 for r.
-4
Let q(y) = y**2 + 6*y + 1. Let i be (-8)/28 + (-80)/14. Let h be q(i). Solve 5*f - 4*f + h = 0 for f.
-1
Suppose 3*x = -44 + 8. Let i = x - -12. Solve i = -5*y + 3 - 28 for y.
-5
Let s(f) = -f - 7. Let y be s(-9). Let l(i) = 1 - 3*i**2 + 3*i**2 + i**2. Let d be l(3). Solve y*g = -3*g - d for g.
-2
Suppose p + 4*k + 9 = 0, -5*p - 2 + 5 = 4*k. Let i = -6 + p. Let n(x) = x**2 + 3*x + 2. Let o be n(i). Solve -o*a = 2*a for a.
0
Suppose 5*d - 4*z - 36 = 0, 0 = 2*d - 5*d + z + 16. Solve r = -r - d for r.
-2
Suppose 2*h + h = -i + 29, h + 5*i - 5 = 0. Let p be ((-12)/h)/((-3)/10). Let r(b) = b**2 + 8*b - 14. Let k be r(-10). Solve -p*f - 10 = k for f.
-4
Suppose 0 = 7*u - 2*u. Solve 5*p - 3*p + 2 = u for p.
-1
Let m = -3 + 10. Solve 2*o - 1 = m for o.
4
Suppose -6*n = -3*n + 15. Let s = n - -5. Suppose 0 = -4*f - 2*z + 30, -2*f - 5*z = -2*z - 25. Solve f*h + 0*h = s for h.
0
Suppose m + 3*r = -9, m + 9*r = 10*r + 3. Solve m = -3*n - 0 + 12 for n.
4
Let y(s) = s**3 + 9*s**2 - 3*s. Let r be y(-9). Solve 4*d - r = -7 for d.
5
Suppose 0*z - 3*z + 6 = 0. Solve -t = z*t - 15 for t.
5
Suppose 3*t + 22 - 4 = 0. Let l = -3 - t. Solve l*x + 1 = -5 for x.
-2
Suppose 0 = -q + 1, k - q + 2*q - 11 = 0. Let y = 46 - 32. Suppose 3*m = k + y. Solve m*b + 20 = 3*b for b.
-4
Suppose -5*m = -2*c + 16, 0*c - 2*c - 4 = 5*m. Suppose -w + 7 - 2 = 0. Suppose 0 = w*d - 3*d - 16. Solve -l + d = c*l for l.
2
Suppose -j + 3 = -2*b - 5, 3*j = -4*b - 16. Suppose -9 = -j*h - h. Suppose 3*q - h = -0*q. Solve 0 = u + q*u + 8 for u.
-2
Suppose -27 = 96*q - 99*q. Solve 3*h + q = -0 for h.
-3
Let z(q) = -q - 2. Let d be z(-4). Suppose -5*k + 5*h = -5, -k - h = d*k - 7. Let s be 2/k - (-2 + -7). Solve 5*v = -15 - s for v.
-5
Suppose 8 + 16 = -4*w. Let a = w - -11. Solve n = a*n + 8 for n.
-2
Let s be (9/(-6))/((-1)/(-6)). Let d be (-3)/(-15) - s/5. Suppose a = 4*x + 22, 0 = 4*a + 2*x + d - 0. Solve 2*z - a = -8 for z.
-3
Suppose 3*x - 8*x = -20. Suppose 1 + x = w. Suppose -6*b = -3*b. Solve b = -w*r + 3 + 17 for r.
4
Let r(q) = q**2 + 1. Let w be 4/(-5) - (-2)/(-10). Let t be r(w). Let n(h) = -h + 1. Let i be n(-1). Solve -i*p - 8 = -t for p.
-3
Let r be (3 + 55/(-15))*(-3)/2. Solve 0 = l + r + 1 for l.
-2
Suppose 4*w = -2*s - 6 - 4, 15 = 5*s. Let r be w/(-4) + 0 + -1. Suppose 0 = -u - 2, d + 2*d + u - 58 = r. Solve 0 = -2*y - 2*y + d for y.
5
Suppose -20 = -5*t - 0. Suppose 2*g + 2*g - t = 0. Let u = g - 1. Solve -5*a - 15 = -u*a for a.
-3
Let v = 6 - 4. Let o be (-7)/14 - (-9)/v. Solve -c = -o*c - 6 for c.
-2
Suppose 0*j + 12 = 4*j + 2*u, 3*u + 9 = 3*j. Suppose 2*x = j*i - 34, -x - 10 = 4*x. Solve -3*w + 8*w - i = 0 for w.
2
Suppose -4*f = 3*y - 19, 0*f - 9 = 3*y - 3*f. Let v = 483 - 277. Let t be (-3)/(-12) + v/8. Solve 5*a = y - t for a.
-5
Let t be 0/(-1)*(-5 + 4). Let j be -12*2/(-8)*3. Let i = -2 - -6. Solve -d + i*d - j = t for d.
3
Let b be ((-15)/4)/((-75)/100). Solve b - 1 = -u for u.
-4
Let w(x) = 13*x**2 + x. Let a be w(1). Let i be (0 - -4)/((-7)/14). Let g = 13 + i. Solve -a + 4 = -g*c for c.
2
Suppose 4*a + 5*a - 108 = 0. Solve -5*r + r = a for r.
-3
Let v(b) = -2 - b**2 + b**2 + b**2. Let h be v(-2). Solve -h*z - 3*z + 25 = 0 for z.
5
Let r = 4 + -4. Suppose 2*v - 3 - 5 = r. Solve -v*w + 18 = -2 for w.
5
Suppose -21 = -4*p - m - 0*m, -4*p + 4*m = -16. Suppose -4*i - p*y + 41 = 0, -4*i - y = i - 25. Solve i*z = 2*z + 2 for z.
1
Let d be 3/2*(-8)/(-3). Suppose -3*n + n = 3*s + 4, 3*n + 6 = 2*s. Let z be s/(-2) + -6 + 9. Solve z = -d*w + 7 for w.
1
Let i(o) = -2*o**2 + 38*o - 48. Let h be i(17). Solve -16*t - 20 = -h*t for t.
5
Suppose 0*i - i = 0. Let g be (i/(-1))/(3 - 5). Solve 0 = -g*p - p + 3 for p.
3
Let y be 3/6*-2*-2. Solve -g = y*g for g.
0
Let u = 22 + -19. Solve 2 = u*x - 4 for x.
2
Let l = -19 - -23. Solve 0 = i - 2*i + l for i.
4
Let o(c) = -c**2 + 3*c + 3. Let y be o(3). Solve -l + 1 - y = 0 for l.
-2
Let n(j) = 0*j**3 - 6 + 7 + j - 3*j**3. Let t be n(-1). Solve -8*a + t*a - 10 = 0 for a.
-2
Suppose -d - 2*p = -14, 0 = 3*d - p - 0*p - 35. Solve 2*t = d - 2 for t.
5
Let d be (-16)/56 - (-86)/7. Suppose -5*n = -3*z - d + 38, -4*n = -2*z + 20. Solve -l = -z - 2 for l.
4
Let u(n) = n + 6. Let m be u(-6). Suppose 0*j + 2*j = m. Solve j*k + 3*k + 12 = 0 for k.
-4
Let z = -50 - -50. Solve z = g + 2*g for g.
0
Suppose 0 = w - 2*h - 9, 5*h - 1 = 5*w - 31. Suppose w*q + 0 = 6. Solve 0 = q*v + v for v.
0
Let m(p) = p + 3. Let i be m(0). Let b(y) = y**2 - 5*y - 3. Let r be b(6). Suppose r*c = 4*x - x + 3, -5*x = -4*c + 3. Solve -c*g = -i*g for g.
0
Let q = 4 + -6. Let p = 34 - 30. Let c = p + q. Solve -c*x = -6 - 0 for x.
3
Let m be (-22 - -4)*(-4)/12. Solve -4*d - m = -2*d for d.
-3
Suppose 5*k = -8 - 2. Let s(o) = o**3 + o**2 - o + 2. Let n be s(k). Solve -2*c + n*c - 8 = 0 for c.
-4
Let i = 7 + -4. Let f = 41 + -25. Suppose -2*l + i = j + 4*j, 3*l = 4*j + f. Solve 3*y - 4*y + l = 0 for y.
4
Suppose -3*i + 26 = -2*u - 2*u, 4*i = -5*u - 17. Solve -3*k = -k - i for k.
1
Let i(o) = -o + 13. Suppose 1 = 3*d - 4*d. Let w be d/(-4) - (-39)/4. Let m be i(w). Solve -8*j - 5 = -m*j for j.
-1
Suppose -4*v - 4*h + 12 = 0, -5*h = 5*v - 4*v - 15. Suppose -n + v*n - 6 = 0. Let p be n/(-36) - 82/(-12). Solve -4*l - p = 1 for l.
-2
Let m = -11 + 12. Let x = 1 - m. Solve 0*z - z + 5 = x for z.
5
Let s(p) = p**3 - 4*p**2 + 5*p - 5. Let y be s(3). Let u be 2 - (-2 - (y + -1)). Solve -u*q - 6 = 10 for q.
-4
Suppose -3*i = -0*i. Solve -5*n + n - 4 = i for n.
-1
Let t(r) = r**2 - 23. Let m be t(-5). Solve 0 = -m*x - 2*x - 20 for x.
-5
Let w = -5 - -7. Suppose 0 = -w*d - 3*d. Solve d = -k - 0 + 3 for k.
3
Suppose 7*z - 4*z - 6 = 0. Solve -z*k - 3 - 7 = 0 for k.
-5
Suppose 3*o - 2*r = -0*r + 9, -3 = -o + 2*r. Suppose 15 = o*k + 2*k. Solve k*b = -0*b + 15 for b.
5
Let g(u) = -u**3 + 7*u**2 - 2*u - 6. Let p be g(7). Let x be -4 + 5/(p/(-16)). Solve 4*s + 11 + 9 = x for s.
-5
Let g(p) = p - 5. Let k be g(5). Let u = 1 - -3. Suppose -24 = -2*a - 5*i + 6, 0 = u*a - 3*i - 8. Solve k*n - a = n for n.
-5
Let a(n) = -n. Let u be a(-5). Suppose 0 = u*j - j. Solve j*q + 5*q = 20 for q.
4
Suppose -2*m - 4 + 10 = 0. Let f = 1 + 2. Let z = f + m. Solve p - 10 = z*p for p.
-2
Let s(h) be the first derivative of -h**4/4 - 2*h**3/3 - 3*h**2/2 - h + 3. Let o be s(-2). Solve -2*c = 3 + o for c.
-4
Suppose -4*l + 5*l = 0. Solve y + 3 = -l*y for y.
-3
Let v be -15*(-1 + 0/(-1)). Let l(t) = -t**3 - 2*t**2 + 6*t + 12. Let c be l(-3). Solve v = 8*n - c*n for n.
3
Let j be 135/6 - (-4)/(-8). Suppose 0 = 4*p + f - 17, 2*p - 6*f - j = -2*f. Solve -p*l + 16 = -l for l.
4
Let b(w) = w**3 + w**2 + 1. Let c be b(0). Solve 2*u = u + c for u.
1
Let v = 3 + 2. Solve 2*c = v*c for c.
0
Let v = -1 + -1. Let j be (v/6)/((-5)/(-15)). Let p be (-15)/6*4*j. Solve p = f + f for f.
5
Suppose y - 2 = -5. Let u be 6*(y/9)/(-1). Solve -3 = -u*v - 11 for v.
-4
Suppose -5*h - 3*t = -5, -2*h = -0*t - 2*t - 18. Solve h = 2*x - 6 for x.
5
Let j(f) = -f**2 + 11*f - 8. Let v be 52/5 + (-2)/5. Let k be j(v). Suppose 3*g - 7 = u, 0 = -3*u + 5*g - 7 - k. Solve -u*w = -2 - 2 for w.
2
Let u = -142 - -147. Solve 1 = -u*x + 6 for x.
1
Let d(g) = -g. Let b be d(-1). Let k(m) = 3*m**2 - 1. Let t be k(b). Let n be 14/4 + (-1)/t. Solve -5*y + n*y = 8 for y.
-4
Let x = -6 + 6. Solve s + 3*s - 8 = x for s.
2
Suppose -i = 5*m - 103, -2*i = -m - 0*m + 14. Let g = m - 14. Suppose 0 = 3*s - g*s. Solve -3*x + 9 = -s for x.
3
Suppose -5*g - 4*c = 80, -113 = 5*g - 3*c - 33. Let h = 23 + g. Suppose -3*j + h = f - 0*f, 2*f - 11 = -3*j. Solve 0 = -l + f*l for l.
0
Suppose 4*j - 2 = 2*y - 30, 5*j = -y. Solve -2*z = 3*z - y for z.
2
Suppose 5*u = -2*x - 6, 0 = -4*x + 3*x + 4*u + 10. Suppose 0 = -4*h + x*s + 16, -3*h - 12 = -6*h + 2*s. Solve 2*r - r = h for r.
4
Suppose 2*h = -h - 3. Let o be (-10)/6 + h/3. Let d be (-1 - 1)*1*o. Solve 0 = d*m - 8*m for m.
0
Let s(u) = -u + 9. Let g(l) = l**2 - 7*l. Let w be g(5). Let x = w - -17. Let m be s(x). Solve -2*z - m = 4 for z.
-3
Let g be (0 - 1)*3 + 3. Solve 4*q + q = g for q.
0
Let b(o) = -o**3 + 5*o**2 - 6. Let m be b(5). Let v(z) = z**3 + 5*z**2 - 6*z 