for u.
-5
Suppose -6*q + 15 = -q. Suppose z + q*z - 16 = 0. Solve -t + 9 = -z*t for t.
-3
Suppose -2*i + 10 = 3*g, -2*i = 4*g - 2 - 8. Suppose -2 + 17 = 5*c. Solve g = c*p - 1 - 11 for p.
4
Let g(s) = s - 1. Let y be g(7). Suppose 5*b + 2*t = 24, 19 = 4*b - 5*t - 20. Solve 4*w + y = -b for w.
-3
Suppose 2*q - 5*v = 15, v - 120 = -5*q - 42. Let k = 17 - q. Solve -g + k*g = -3 for g.
-3
Let v(l) = -l - 4. Let p(u) = -3*u**2 + u + 4. Let o be p(2). Let s be v(o). Solve s*i + 2*i - 12 = 0 for i.
3
Let x be ((-14)/(-8))/(2*4/64). Solve -4*a = -6 - x for a.
5
Let p be (1 + -4)/(-2 - -1). Solve 4*o = p + 17 for o.
5
Let q(l) = l**2 + 0*l + 3*l**2 + 1 - 2*l + l. Let m be q(1). Suppose 0 = m*a - 0*a. Solve 2*i - 7*i = a for i.
0
Let x = 8 + -8. Let z = -4 - x. Let b = 7 + z. Solve 0*y - y = b for y.
-3
Let z be (0/(-7))/(-1 - 0). Solve 3 = 3*w - z for w.
1
Suppose 0 = -v + 1 + 3. Suppose x + 4*x - 15 = 0. Solve 7 = v*w + x for w.
1
Let b(k) = -k**3 + 9*k**2 + 2*k - 10. Let q be b(9). Let c = q - 12. Let j(z) = z + 4. Let w be j(c). Solve w = n + 1 - 3 for n.
2
Suppose 0 = -0*b - 3*b + 15. Let t be 12/(-8) + b/2. Solve 0 = 3*r + 10 - t for r.
-3
Suppose 2*u + 5*g = -110, 17 = -2*u - 4*g - 91. Let j be (-8)/12 - u/(-6). Let v be 2/(-9) + (-83)/j. Solve 4*x + v = -3 for x.
-3
Suppose -3*m = -m. Let t = -5 + 7. Let z = m + t. Solve 3 + 3 = -z*o for o.
-3
Let p(b) = b - 5. Let d be p(9). Solve -d = 4*o - 16 for o.
3
Suppose -5*u + 5 = -5. Suppose u*x - 3 = x. Suppose -x*v + 10 = 1. Solve -v*s = -8*s - 25 for s.
-5
Let l(n) = 3*n + 4*n - 2 - 4*n. Let v be l(4). Let u be 4/v*1*5. Solve h = -0 - u for h.
-2
Let c = -1 - 0. Let y = 2 - c. Solve 7 = y*s - 8 for s.
5
Let p = 106 - 103. Solve -6*m + 7*m + p = 0 for m.
-3
Suppose -i - 1 + 20 = -4*c, -3*i + 5*c + 57 = 0. Let y = 29 - i. Solve -4*h + 2*h + y = 0 for h.
5
Suppose 5*r = -2*o + 99, r - 143 = -4*o + 2*r. Suppose -5*z + y = 14 + o, 5*z + 3*y = -67. Let s = 17 + z. Solve s*f = 3*f for f.
0
Let u = -1 - -2. Suppose 0 = 4*q - 0 - 8. Suppose -2*l + u = -3*h, 2*l - 6 + q = 2*h. Solve x - h*x = -8 for x.
4
Suppose 0 = 2*u + 5*h - 12, 3*h - 82 = -4*u - 30. Solve n + 3*n = -u for n.
-4
Let l(h) = h - 3. Let z be l(7). Suppose -15 - 1 = -z*q. Solve k + 9 = q*k for k.
3
Suppose -4*a - 11 = -3*m + 8, 0 = -2*a - 8. Suppose 5 = 2*l + m. Solve -f = l*f for f.
0
Suppose 0 = 2*b - 2, -4*s = s + 2*b - 57. Solve -5*n - s - 14 = 0 for n.
-5
Suppose 9 - 17 = -4*x. Solve -x*v + 4*v + 10 = 0 for v.
-5
Let n be ((-27)/(-12))/((-1)/(-4)). Suppose 3*l - 6 = -3*y, 4*l - 2 - 13 = 3*y. Let w be (2 - (l - 4))/1. Solve -w = -3*i - n for i.
-2
Suppose 6 + 3 = c. Let n = 12 - c. Solve -n = -2*p + 5 for p.
4
Suppose -2*k = 5*u - 29 - 15, -4*u + 25 = 5*k. Solve u = -6*n + n for n.
-2
Suppose 2*i + 3*i = 0. Suppose 4 = q - 0. Suppose -3*x - k = 3*k - 28, 4*x + q*k - 40 = i. Solve 32 - x = 5*d for d.
4
Suppose -2*h + 5*g - 4*g + 8 = 0, 5*g = -h - 7. Suppose -8*k = -h*k. Solve k = 2*z - 4*z - 8 for z.
-4
Let r(y) = y**3 + 6*y**2 + 5*y + 8. Let v(d) = -1. Let i(w) = r(w) + 6*v(w). Let l be i(-5). Solve -l*g - 4 = -g for g.
-4
Let n = -5 + 17. Solve -4*t - 4 - n = 0 for t.
-4
Let l = 16 + -15. Solve -h = -6 + l for h.
5
Suppose 3*a = 4*t - 0*a - 11, t - 17 = -4*a. Solve -p + 6 - t = 0 for p.
1
Let p be (-3*1 - -2) + 60/12. Solve -4*d = p - 0 for d.
-1
Let z = -7 - -7. Suppose -b + 2 = -z*b. Solve -b*q = q - 3 for q.
1
Let i = -8 - -11. Suppose -5*x - 5*n = -25, -x - 3 = -i*n - 8. Solve -2*h + x*h - 15 = 0 for h.
5
Let l = 6 - 21. Let c be ((-6)/l)/((-2)/10). Let p be (0/c*1)/2. Solve 0 = -p*n - 3*n + 3 for n.
1
Let i(k) = k**3 + 6*k**2 + 1. Let o be i(-6). Let j be (o - -2)/(3/(-36)). Let n be (3 - j/(-15))*5. Solve 0 = 5*q + 2 + n for q.
-1
Suppose -m + 8 = -3. Let f(a) = a - 5. Let n be f(5). Suppose -4*x = j - m, 3*j + n*j - 13 = -2*x. Solve 4*p - x = 2 for p.
1
Suppose -3*d + 2*p + 3 - 4 = 0, 1 = 3*d - p. Let s be (d - 2) + 8 + 6. Solve 0 = 5*j + s + 12 for j.
-5
Let r = 47 - 19. Let g = -23 + r. Solve -5*a = -g + 15 for a.
-2
Let l(x) = -2*x - 12. Let o be l(-6). Suppose 0 = r + 2*h - 8, o*r + 4*h - 16 = -3*r. Solve b - 2*b - 5 = r for b.
-5
Let l be (-2)/9 + 5 + 129/(-27). Solve -p + l + 4 = 0 for p.
4
Let f = -12 + 16. Let c(m) = -m + 4. Let g be c(f). Solve i + 3 = -g*i for i.
-3
Suppose g + 10 = 4*t + 3*g, -3*t = -2*g + 3. Let b be (-4 + 1)/(0 - t). Solve 2*f + b = 1 for f.
-1
Suppose -o + 2*d + 25 = 0, 8*o = 3*o - 5*d + 50. Let j = o + 5. Solve -z + j = 3*z for z.
5
Let d = 9 - 3. Solve 5*o + 1 = d for o.
1
Let p = -85 - -84. Let k(d) = -d**2 - d + 3. Let o be k(0). Let z be 4/(p - (o - 6)). Solve z*a - 2 = 2 for a.
2
Let b = -5 - -14. Let m be (b - -1) + (2 - 4). Solve -i = -3*i + m for i.
4
Let m = -15 + 17. Solve 3*h - m*h = 0 for h.
0
Suppose -n + y - 3 = n, 0 = 2*n + 3*y - 9. Suppose 3*t + k - 10 = 15, 4*t - 5*k - 46 = n. Solve 3*z = -0*z - t for z.
-3
Let y = 4 - 4. Solve -5*b + 6*b + 5 = y for b.
-5
Let w(s) = 2*s + 8. Let k be w(-7). Let y = k - -9. Solve -5*g + 4*g - y = 0 for g.
-3
Let x(v) = -15*v + 1. Let c be x(-1). Solve 3*f = -f + c for f.
4
Let k = 22 + -12. Suppose 5*m - 125 = -3*l - l, -3*l + 15 = 0. Suppose -m = -4*u - b - 4, -2*b = -5*u + 5. Solve -u*v - k = 2*v for v.
-2
Suppose -g + 100 = 2*p + 372, -2*g = -5*p - 680. Let l be p/(-22) - (-10)/(-55). Solve -l = -3*x + 3 for x.
3
Suppose 0 = 2*d + 5*c - 25, -2 = -4*d - c + 3. Suppose 0*p - p = d. Solve -r + p = -4 for r.
4
Let s = -53 + 56. Solve -s*a = a + 12 for a.
-3
Suppose 2*b - 6 = 6. Let o = -2 - -4. Suppose -v = o - b. Solve -v*a = -0*a - 4 for a.
1
Let n(b) = -b**3 - 8*b**2 + 2*b + 11. Let l be n(-8). Let j(o) = -o + 4. Let k be j(l). Solve -s - k = 2*s for s.
-3
Suppose -h + 2 = 4*c + 16, 0 = 3*h - 3*c - 18. Solve h*q - 15 = -q for q.
5
Suppose m = 1 + 2. Let x = 0 + m. Suppose -7*k - 2*k = -27. Solve -9 + k = -x*z for z.
2
Let m = 5 + -2. Let f = m - 0. Let x be (-2 - -2)*(-2)/(-2). Solve -h - f = -x*h for h.
-3
Suppose 15 = -u - 4*m, 3*u - 5*m = -2*m + 15. Suppose 0 = -f + u + 1. Suppose 2*b + 3*b = 0. Solve b = -f*d - 7 - 3 for d.
-5
Let i be 6 + 5 + -3 + 0. Let u = 10 - i. Solve -x + u = 7 for x.
-5
Let m = 1 + -5. Let x be (4/8)/((-1)/m). Solve -x*d - 6 = -0 for d.
-3
Let a(t) = -2*t**3 - 5*t**2 - 3*t + 2. Let n be a(-3). Let j = n + -19. Solve 2*q = -9 - j for q.
-5
Suppose 2*z - 3 - 1 = 0. Suppose -3*n + 5 = z*n. Suppose -1 - n = -u. Solve 0 = p - u*p for p.
0
Let s(d) = -2*d**3 - d**2 - d + 1. Let u be s(-2). Suppose 4*v - u = 13. Solve v*c + 25 = 2*c for c.
-5
Let q be 1 + (-1 - -1) - -8. Let k = 39 - 37. Suppose k*p = -l + 13, -3*p - l + q = -3*l. Solve -4*x + 7 = -p for x.
3
Let i = -6 + 11. Let q = 8 + -5. Let g be (-3)/(-2)*(-1 + q). Solve g*u + 7 = -i for u.
-4
Let t be 6/(-27) + (-40)/(-18). Suppose 0 = x - t*x. Solve x*w + 2*w = -10 for w.
-5
Suppose 0 = -6*t + 5*t + 7. Solve 0 = 5*p - 27 + t for p.
4
Let y be -12*((-10)/35 - (-3)/(-14)). Solve -m = -y*m for m.
0
Let l(x) be the third derivative of -x**4/24 - 6*x**2. Let t be l(0). Solve t = -0*z - 4*z - 12 for z.
-3
Let i be (3 + -1)*(-10)/(-4). Suppose 4*r - 3*f - 2 = i, 0 = r - 2*f - 3. Solve -2 - r = y for y.
-3
Let a be (-2 - (2 + -4))/(-1). Solve 3 + a = -i for i.
-3
Let w = 29 - 23. Let h(k) = 6*k**2 - k - 1. Let c be h(-2). Solve w*x - x = c for x.
5
Let n = 3 - 1. Suppose 5*z = 16 + 19. Solve -n = l - z for l.
5
Let l(s) = s**2 + s - 2. Let o(p) = -p - 1. Let b be o(-3). Let w be l(b). Suppose 0*z + 4 = z. Solve -w*v + 2*v = z for v.
-2
Let d(q) = 5*q - 1. Let t be d(1). Let b = t - -1. Solve -2*w - 3*w = -b for w.
1
Let g = 54 + -38. Solve -4*z + 4 - g = 0 for z.
-3
Let f(r) = -r**3 + 4*r**2 + 5*r - 2. Let y be f(5). Let l = 4 + y. Solve -l*x - x = 0 for x.
0
Let w = -8 - -1. Let r be 0/(-1) - (w - -4). Solve r*d - 15 = -0*d for d.
5
Let c = -2 + 10. Solve -23 = -5*w - c for w.
3
Let b(q) = 4*q**2 - 2*q. Let k be b(2). Let s = 14 - k. Solve -3*f = -s*f - 5 for f.
5
Let x(u) = -u**2 - 4*u. Let a be x(-3). Suppose -2 - a = -q. Solve -9 - 11 = -q*h for h.
4
Let u(y) = -16*y**3. Let v be u(-1). Suppose -9*z + v = -7*z. Solve 2*j = -2*j - z for j.
-2
Let w(i) = -i**2 + 10*i - 2. Let q be w(9). Suppose -q = -2*p + 1. Solve 1 + p = 5*a for a.
1
Suppose -2*t - 6 = -3*t. Let s(x) = 