 for l.
2
Let r = 28 - 19. Solve 0 = 4*j - r*j - 25 for j.
-5
Suppose -4*m - 2*g = -36, 3 - 5 = -g. Solve 5*t = m + 12 for t.
4
Let m(w) = w**2 - 10*w + 9. Let y be m(9). Suppose 2*t + x = 8, y = 4*x - 9*x + 10. Solve -t*n = -n for n.
0
Let k(a) = a - 9. Let c be k(7). Let l = 9 + c. Solve 2 = -3*w - l for w.
-3
Suppose -5*d - 5 = -0*n - n, 2*d = 4*n - 2. Solve -i + n*i - 3 = 0 for i.
-3
Let g be ((-6)/(-8))/(8/32). Solve 0 = g*q - 7*q + 4 for q.
1
Suppose 5*c - 63 = -0*c - 4*f, 47 = 5*c - 4*f. Suppose -4*s = 2*n + 1 + c, -4*n = 5*s + 9. Solve -m + n = m for m.
2
Let f(w) = -4*w - 1. Let c be f(-1). Suppose -a + c*a - 6 = 0. Suppose -3 = -2*i + j, -i + 3*j = 2*j + 1. Solve -i*b = -a*b + 1 for b.
-1
Suppose n = -2*c, -3*c + 3*n = n. Solve -2*u + 4 = -c*u for u.
2
Suppose 0 = -5*r - 3*m + 37, 5*r - 4*m + 1 = 2*r. Suppose 0 = 3*z + r*j - 0 + 1, -5*j = 4*z - 2. Solve -f - z = 1 for f.
-4
Let m(d) = -d + 5. Let h be m(0). Suppose 0 = 3*g - 17 - 10. Suppose -h = 2*q - g. Solve -q*i - 3*i = 10 for i.
-2
Suppose 0 = 3*b - 9*b. Solve 2*w + 8 + 0 = b for w.
-4
Suppose -o = -1 - 2. Solve -y + 8 = -o*y for y.
-4
Suppose 6 = 55*b - 49*b. Solve -5 = 2*z + b for z.
-3
Let u = 23 + -22. Solve 0 = h - 2 - u for h.
3
Suppose -4*s = -26 + 6. Let u = s - 3. Solve -u*z - 1 = -z for z.
-1
Let a be (-1 + 2)/1 + -3. Let w be (24/(-3))/(2/a). Solve 0*t - w = -4*t for t.
2
Let l(p) = -14*p - 1. Let w be l(-1). Let i = 35 - w. Suppose u + 2*y - i = 0, -2*y - 23 = -3*u + 35. Solve -4*g + 0 = u for g.
-5
Let x(t) = 29*t**2. Let k be x(1). Suppose -11 = -3*f + o, k = -5*f - 5*o + 74. Let y be (-3)/30 - 322/(-20). Solve f*q + y = q for q.
-4
Suppose 2*u + i = 6*i, 4*i = 2*u - 4. Solve 5*n - u - 15 = 0 for n.
5
Let j(m) = m + 2. Let f be j(10). Let x = f + -7. Solve x = -2*s + 1 for s.
-2
Suppose -7 - 8 = -3*f. Let q be 0 + 1 + 5 - -2. Suppose q*k = f*k. Solve -5*u + 4*u + 2 = k for u.
2
Let r = 2 - 0. Suppose 5*q + 4*t = -16, -3*q + r*q = -t - 4. Let k = q - -2. Solve -y = y - k for y.
1
Suppose -2*r = 4*c - 12, 2*c - 3*c = -4*r - 3. Solve -6 = -c*h + h for h.
3
Let m = -6 - -10. Suppose 3*w = m + 11. Solve 5 = -w*f + 10 for f.
1
Let y(d) = 22*d. Let l be y(1). Suppose -l = -4*z - 3*x, 3*x = z - 0*x + 2. Solve 9 = -n + z*n for n.
3
Suppose -7 = -3*o + 14. Suppose -g + j - 1 = 0, 5*g + 2*j - 3*j - o = 0. Solve 0 = -2*i - g*i for i.
0
Let z be ((-6)/(-5))/(27/(-90)). Let p = 4 + z. Solve -5*m + p*m - 5 = 0 for m.
-1
Let l = 5 + -5. Solve l = o + 3*o + 4 for o.
-1
Suppose 3*y + 7*y = 50. Solve -6*j + 5 = -y*j for j.
5
Let p(z) = z**2 + 13*z + 5. Suppose -4*x + 10*x = -78. Let c be p(x). Solve -2*r + c = 3*r for r.
1
Let h be 2*1/(-3)*-3. Suppose -h*p - y - 5 = 0, y + 4 - 3 = 0. Let k be 6 - (2 + p - -2). Solve -2*l - 4 = -k*l for l.
2
Let b = 2 + -1. Let z(f) be the third derivative of 5*f**4/12 - f**3/6 + f**2. Let k be z(b). Solve 0 = y + 2*y + k for y.
-3
Suppose -6*g + 3*g = -33. Solve 2*s = 3 - g for s.
-4
Suppose -3*t - 2*r = -7*r - 21, -3*t - 3*r - 3 = 0. Suppose -3*n + t*s + 10 = s, -n - 2*s = -15. Suppose 0*c + 55 = n*c. Solve -c = 3*m - 2 for m.
-3
Let k be ((-2)/3)/(1/(-6)). Solve 0 - k = 2*f for f.
-2
Let n(v) = -v - 2. Suppose 8 = -2*q - 2*q. Let f be n(q). Suppose -2*w + 5 - 1 = f. Solve w*h - 3*h + 5 = 0 for h.
5
Suppose 2*x + 3*o + 1 = 20, 5*x - 38 = 2*o. Solve 5*z = 12 + x for z.
4
Let q = -28 - -15. Suppose 2*z + 12 = -p + 2, -3*z = 4*p + 10. Let d = z - q. Solve d*y = 4*y + 15 for y.
5
Let u(p) = -3 + p + 1 - 2. Let d be u(3). Let w be (0 + d)/(1/(-5)). Solve -w*r + 12 = -8 for r.
4
Let v be 2/6 - (-104)/12. Solve 0 = -4*y + y + v for y.
3
Let p be 1 + (1 + 1 - 3)*-1. Solve p*z + 2 = -6 for z.
-4
Suppose -1 + 22 = 3*a. Let v = 11 - a. Solve v*s + 13 = -3 for s.
-4
Suppose 5*t - v - 39 = 3*v, 5*t = v + 36. Solve t*i = 4*i - 6 for i.
-2
Let n(v) = -1. Let r(o) = -o**2 + 7*o - 4. Let a(h) = -3*n(h) + r(h). Let d be a(6). Suppose 4 - 5 = -u + j, d*j = 3*u - 5. Solve t + 0*t = u for t.
0
Let y be 3/2*(-8)/(-6). Suppose -y*k + 0*k + 4 = 0. Solve j + 3 = k*j for j.
3
Let w be (30/4)/((-1)/(-2)). Let s be (-3 + (3 - -1))*0. Solve -3*v + s*v = -w for v.
5
Let t = 19 - 15. Suppose -q + j = 0, -q = -2*j + t - 1. Solve -w - 2 = q for w.
-5
Suppose -4*p - 1 = 3, -3*p = -2*a + 11. Solve -c + a*c + 9 = 0 for c.
-3
Let x be ((-2)/(-4)*-2)/(-1). Let g = -6 + 8. Solve g*p - p - x = 0 for p.
1
Let f(a) = a**3 - 4*a**2 - 2*a + 8. Let r be f(4). Solve -3*l = -6 - r for l.
2
Let k = -5 - -2. Let z be (-12)/k + 2*-1. Suppose -3*y - z*a + 25 = 0, 4*y = 5*a - 6 + 1. Solve 8 = -y*c + c for c.
-2
Suppose 0 = -2*s - 5*f - 25, f + 0 = -5. Solve m + 1 + 1 = s for m.
-2
Let q = 13 + -11. Let v be (7 - q) + -3 - 0. Solve v*k + 8 = -0 for k.
-4
Suppose -20 = 5*m, 3*m + 10 - 1 = -3*b. Let z = b + 3. Solve 0*a + z*a + 4 = 0 for a.
-1
Let z(d) = d**2 + 14*d - 2. Let k be z(-14). Let w = k - -10. Solve -w - 4 = -3*j for j.
4
Let h be (16 + -13)*22/6. Solve h - 1 = -2*i for i.
-5
Let h be 1/(2/(-1 - -5)). Solve 0*b - h*b = 0 for b.
0
Let d be 2/(-4)*(-13 - -3). Suppose -2*t + 4*l + 0 + 6 = 0, 4*t = d*l + 12. Let p(s) = 2*s**2 + 2*s + 1. Let f be p(-2). Solve 17 = -t*r + f for r.
-4
Let d(g) = -3*g**3 + 2*g**2 + 4*g + 3. Let v be d(-2). Solve 0 = 4*o - v + 7 for o.
5
Let k(r) = -10*r + 53. Let i be k(5). Solve 5*h - i - 2 = 0 for h.
1
Let w be (-30)/1*(-10)/(-15). Let s be 2/10 - 1556/w. Let y be (-2)/(-8) + s/8. Solve m = -m + y for m.
5
Let j(t) = t**3 - 12*t**2 - 12*t - 9. Let b(a) = a**2 + 10*a + 2. Let q be b(-11). Let n be j(q). Solve -6 = n*f - f for f.
-2
Let z be -2*3*(-3)/6. Suppose -c = k, 1 = -4*c - z. Solve -x = 2 + k for x.
-3
Suppose 4*c - 1 - 7 = 0. Let n = -3 - -6. Suppose y + 20 = 5*y. Solve n*u + y = c*u for u.
-5
Let v = 21 - 12. Let r(y) = -2*y - 1. Let b be r(-2). Solve b*s + v = -0 for s.
-3
Suppose 3*u = 13*u - 30. Solve u = k + 8 for k.
-5
Let z be 4/14 - 96/(-56). Solve -z*h = h + 9 for h.
-3
Suppose 0 = 4*q - 4*o - 28, o = 6*o + 25. Solve 0 = 7*k - q*k + 20 for k.
-4
Let z(l) = l**2 + 9*l + 11. Let i = -11 - -3. Let o be z(i). Solve 0 = -4*w - 5 - o for w.
-2
Let v(w) = 2*w - 1. Let r be v(3). Let c be 0/(r + -2 + 0). Solve -7*q + 3*q - 8 = c for q.
-2
Suppose 0 = -l + 7 - 3. Let j be 3/6*42/1. Let d = j + -12. Solve l*i = d + 3 for i.
3
Let s(d) = d + 2. Let n be s(-2). Solve 3*f + 2*f - 20 = n for f.
4
Suppose 0 = d + d. Suppose d*b + 4*b - 8 = 0. Solve -10 = b*c + 3*c for c.
-2
Let q(k) = k**2 - 6*k - 5. Let v be (28/10)/((-6)/(-15)). Let d be q(v). Solve d*t = -3*t for t.
0
Let w = 16 + -27. Let j = -1 - w. Let x(b) = b + 6. Let n be x(-6). Solve n = 2*m - 0*m + j for m.
-5
Let h(w) = 8*w**2 - 2. Let x be h(-2). Suppose -3*o = -15 - x. Solve -3*l = -8*l + o for l.
3
Let u = 13 - -14. Let z = u + -19. Solve 5*m - m = z for m.
2
Let a = 39 - 37. Solve -a = 3*r - 11 for r.
3
Let r = -2 + 1. Let n = r + 5. Let t be 2 + -1 + n + 0. Solve -3*q = -t*q for q.
0
Let i = 2 - 4. Let o be (-14)/(-2) - i/2. Suppose -o*g = -3*g. Solve 3*v + 4 + 8 = g for v.
-4
Suppose -9*u = -6*u - 12. Solve -8 = -3*i + u for i.
4
Let x be (-30 - (0 + 2))/(-2). Suppose 0 = 3*u + 3*r - 12, -2*u + r + x = 2. Solve 2 = -2*s + u for s.
2
Let f(o) = 2*o**2 + 2*o - 1. Let d be f(1). Suppose 9 = -d*n - 6. Let j = n - -5. Solve j = -p - 5 for p.
-5
Let g(x) = -x**3 - 11*x**2 + 14*x + 27. Let k be g(-12). Suppose 0 = 2*i + 5*o - 41, 0*o + 59 = 5*i - 2*o. Solve -k*r - 4 = -i for r.
3
Let z(h) = h. Let c(r) = r + 1. Let f(b) = 2*c(b) - 3*z(b). Let q be f(-2). Solve 18 = q*l + 2 for l.
4
Let a = 77 + -32. Let n be 522/a + 4/10. Solve y + 3*y = -n for y.
-3
Let q be (-4)/(-10) + (-45)/(-75). Solve -q + 0 = s for s.
-1
Let i be (-1)/5 + (-33)/(-15). Suppose i*w + 76 = 5*z, w = 2*z - 8 - 22. Solve -l - 3*l = z for l.
-4
Suppose 0*i - 2*i + 86 = 4*p, -2*p + 23 = -3*i. Solve -5*x - p = -4 for x.
-3
Suppose 5*b + 3*v - 1 - 5 = 0, 3*v - 3 = -4*b. Solve -3 = -b*w + 2*w for w.
3
Let m be (-3)/(-1)*14/6. Let k = 13 - m. Suppose 5*o + 6 = k*o. Solve -4*b + o = 26 for b.
-5
Let p = 1 - 13. Let l = p + 16. Solve -2*k + 4*k = l for k.
2
Let t = -180 + 190. Solve 5*f = t + 10 for f.
4
Let f(d) = d**2 + 0*d + 0*d**2 + 3*d - 4*d. Let x = -2 + 1. Let y be f(x). Solve 1 = y*b - 7 for b.
4
Let g be (-2)/12 - (-111)/18. Sup