+ 2*z for u.
-2
Let l = -42 + 43. Let i be ((-210)/12 - l)/((-2)/4). Solve -5*p = 4*a - i, a + 2*p - 7 = 2*a for a.
3
Suppose -3*r + 17 = 2. Let j(z) = z**2 - 7*z + 12. Let p be j(r). Suppose -p*l - 25 = -7*l. Solve -3*u + 5*q - 9 = 0, -l*u = -4*q + 6 + 9 for u.
-3
Let f(c) = c**2 + 6*c - 27. Let w be f(-9). Suppose -8*z + 18*z - 40 = w. Solve 3*v - 2 = 2*a - a, z*a = v + 3 for a.
1
Let g be (-106)/(-20) + 141/(-470). Solve h = 3*h, 3*c = g*h - 6 for c.
-2
Suppose -2*f = 24 - 46. Let m(q) = -2*q**2 + 2*q + 4. Let j be m(3). Let z = j + f. Solve -5*v - 5*p = -30, 2*p - 8 = -z*v + p for v.
1
Let k be (85/(-51))/(-1 + (-3)/(-18)). Solve 0 = -k*s + 4, 2*b + 0*b + 12 = 3*s for b.
-3
Let d(o) = 2*o**2 + 11*o + 17. Let m be d(-2). Solve -4*t = 4*j + 32, t - 3*t - 19 = m*j for j.
-3
Suppose 3*a - a = 10. Suppose 4*u - 4*d = 12 + 8, a*d - 31 = -2*u. Let s = u - -24. Solve -3*z - 4*i = 2*z - 5, -s = 4*z - 4*i for z.
-3
Let g be 1*((-10)/(-5) - 7)/(-5). Solve -17 + g = 2*d - 2*z, -11 = 2*d - z for d.
-3
Let l(x) = x**2 - 16*x + 2. Let z = -12 + 28. Let f be l(z). Suppose 0 = 6*m - f*m - 8. Solve -13 = 4*h - h + m*o, -4*o - 20 = 0 for h.
-1
Suppose 0 = -h + 22 - 7. Let b = 922 + -918. Solve c - b*f + 0*f - h = 0, 3*c = -2*f + 3 for c.
3
Let g(n) be the first derivative of n**4/4 - 2*n**3 - n**2/2 + 10*n - 15. Let y be g(6). Solve -2*h = 5*c - 2, c + y*h + 12 = -2 for c.
2
Let x be ((-36)/63)/(4/(-28)). Solve 0 = 3*d + 2*k - x, -2*k - 15 = -5*d + 13 for d.
4
Let m(n) = -n + 7. Let g be m(5). Suppose 70 - 105 = 5*v. Let f = 20 + v. Solve 2 + 1 = -g*z + s, 5*s + f = -4*z for z.
-2
Let h = -1029 + 1031. Solve -2*f - n = 8, h*n = 7*n - 10 for f.
-5
Let y(g) = -g**3 - 8*g**2 - 9*g - 12. Let s = 38 + -45. Let a be y(s). Solve 5*o = -2*i - i - 15, -2*i - a*o - 6 = 0 for i.
0
Suppose -f + j + 21 = -3*j, j + 4 = 0. Let k be (f/10)/(1/54). Let t = -18 + k. Solve y - 15 = -2*y + 3*w, -y + 2*w + t = 0 for y.
1
Suppose 3*a - i - 7 = 2, 4*i - 12 = -4*a. Solve -3*g - a*w = -24, 7*g = 8*g + 5*w - 28 for g.
3
Let y be 8/32*-4 + 12 + -6. Let d be (-2)/(-5) + 6/(-15). Suppose d = -3*q - 6, 22 = 4*z - q + 4. Solve 4*x + z = -c, y*x - x + 4 = 4*c for c.
0
Let s(y) = 28*y - 4. Let d be s(2). Suppose -8*k + d = 12. Solve m + m - 3*l = 4, 2*l - 29 = -k*m for m.
5
Let l(g) = 10*g - 29. Let x be l(10). Let i = x + -69. Solve 4*z = 2*r - 12 - 8, 0 = -i*z + 5*r - 18 for z.
-4
Suppose 0 = -5*z - 5, 3*z = -5*g - 12 - 16. Let a be 2/6*(g + 29). Suppose a*s - 45 = 3*s. Solve -8 = -4*f, 2*f - 5 - s = -2*c for c.
5
Let f be (-2 - -3)*(-69)/3. Let g = 28 + f. Solve 0*d - 8 = 4*d + 4*r, -3*d - g*r = 8 for d.
-1
Let q be ((-2)/(-4))/(1/(-6)). Let n be 4/((-12)/q)*3. Let w be n - (-3 - -2)*0. Solve -2*l + 3*s = 2, -9 - 28 = -5*l - w*s for l.
5
Let r be 3/(-9) + (7 - 100/15). Solve -3*c + 4*o + 15 = r, 3*c + 3*o - 2*o = 0 for c.
1
Let s = 10 + -7. Suppose s*b - 20 = -11. Solve 4 = j - 3*t, j - b = 5*t + 7 for j.
-5
Let x(h) = -h**2 + h + 1. Let w = 0 - 0. Let f be x(w). Suppose 5*d = -23 + 33. Solve 0 = -y + f, 3*a = -d*a - 4*y - 16 for a.
-4
Let n = 3 - -1. Suppose -n*r = -12 + 4. Let p(g) = g**2 - 6*g - 22. Let k be p(11). Solve -5*j - r*y = -29, 9*j + 4*y = 4*j + k for j.
5
Let j = -33 - -46. Let x = j - 10. Let r(o) = o**2 - o - 3. Let n be r(x). Solve -5*m = -2*i + 8, -3*m = 2*i + n*i + 11 for m.
-2
Let l(a) = -3*a**2 - 51*a - 39. Let z be l(-16). Solve 0 = 5*h - 3*o + z, 5*o = -h - 1 + 16 for h.
0
Let p = 16 + -10. Suppose -8 = z - 10. Suppose -2*t - z*t = 4*x - 4, -4*t - 6 = -x. Solve f + x = -2*u, -p*u + u - 3*f - 3 = 0 for u.
-3
Let p = -336 + 340. Solve -5*f - 4*k = -f + 40, 5*k = p*f - 5 for f.
-5
Suppose 4*y = -0*y - 8. Let k be 8 - (2*y - -1). Suppose 4*g - k = g + 5*u, u = 4*g - 9. Solve -i - 6 = -3*h + 2*h, g*h - 15 = 3*i for h.
3
Suppose 24*x = 27*x - 18. Suppose -5*v + 9*i + 16 = 5*i, 2*i - 10 = -2*v. Solve x = 3*d, -2*t - 5*d + v = -d for t.
-2
Suppose -4*f + 12 = -4. Solve m + 7 = -2*g, -23 = m - 2*m + f*g for m.
3
Let b(i) = 4 + i - 6 + 1. Let t = 22 - 16. Let u be b(t). Solve v = -2*n - 5 - u, -3*v - 10 = 2*n for v.
0
Let j = 145 + -143. Solve 5*i = -j*w - 17, 4*i = -18*w + 13*w - 17 for i.
-3
Let i(d) = d**3 - 7*d**2 - 17*d - 9. Let t be i(9). Solve -2*n - 6 = t, n + n = l - 8 for l.
2
Let n(i) = -3*i - 10. Let a be n(-5). Let b(s) = -2*s + 10. Let m be b(a). Let p = 0 - -2. Solve 2*k + 5*h - 10 = -m*k, -2*k = -p*h - 10 for k.
5
Let b(n) = 11*n**2 - 6*n**2 - n - 4*n**3 + 5*n**3. Let d be b(-5). Solve d*f + 8 = -v - 12, -4*f = -3*v + 35 for f.
-5
Let j(b) = b**3 + 8*b**2 + 6*b - 3. Let r be j(-7). Let l(z) = 2*z**2 - 5*z. Let i be l(r). Solve 2*f - 5*m = 14, -5*m + 2 = i for f.
2
Let r(o) = o**3 - o**2 + o - 1. Let n be r(1). Let l be (-3 - n) + 5 + 1. Solve -l*x + h + 3 = -16, -x - 5*h = 15 for x.
5
Suppose -156 = -8*m - 44. Let i = 30 - m. Solve -i = -u - 3*t, -4*t + 6 = -3*u - 11 for u.
1
Let k be 3/12 + (-46)/(-8). Let w be 309/15 + (-6)/(-15). Let g be k/9 - w/(-9). Solve -2 - 2 = 4*h, 2*y + g*h = 3 for y.
3
Let g = 1012 - 992. Solve -6 = -3*a + 2*a + 2*c, g = -4*a - 3*c for a.
-2
Let l(v) = 3*v**2 - 32*v + 22. Let a be l(10). Solve j + 5 = w + a, 4*j = -5*w - 12 for j.
-3
Let l be 2/3*(-11 + 17). Suppose 3*g = g + l. Suppose 33 = 4*h - q, 0 = -3*h - q + g + 21. Solve -h = -2*y + x, x + 2*x = -5*y + 31 for y.
5
Let c be (-4)/(-12) + 14/3. Let k = -58 + 90. Let o = k + -31. Solve 0 = 5*z + 3*r + 15 - o, 0 = z - c*r - 14 for z.
-1
Let o = 174 + -152. Suppose -4*g - 3 = -15. Solve 2*f = 4*m + o, 9 = -g*m - 3 for f.
3
Suppose -14 = -3*j + d, 0 = -2*j + 9*d - 4*d + 5. Solve -5*f + 10 = j*o, o = 2*f + 2 + 9 for f.
-3
Suppose -13*y + 27 = -4*y. Solve -5*k - s - 21 = -3*s, -5*k - 19 = -y*s for k.
-5
Let d(c) = -7*c**2 + 3*c. Let k be d(-1). Let n be (-3)/15 - 12/k. Solve 4*o = -5*f - n, 0*o - 2*o + f - 11 = 0 for o.
-4
Suppose -4*o = -20, -2*d - 3*o = -5*o. Suppose -n + 7 - 14 = 0. Let c be 4/8 - n/2. Solve c*h = -5*t, h = 2*t + d*h for t.
0
Suppose 2*g = -2*g + 16. Let y be -3 + 7 - 1 - 1. Solve l = 2*o - 1, 5*l + 13 = g*o + y for o.
-1
Suppose 2*g - m = -15, 0 = -2*g + 6*g + 5*m + 9. Let j be (33 + -30)/(g/(-4)). Let i be 1*-1 + 1 + 10. Solve -4*s - i = l, 0*l + 2*l + j*s + 2 = 0 for l.
2
Let i = -7 - -4. Let w be ((-182)/(-42))/((-1)/i). Solve 3*k = 4*u + 11, k + 4*u - w + 4 = 0 for k.
5
Let p = -202 + 206. Solve -p*n + 4*j - 16 = -4, 18 = -5*n + 2*j for n.
-4
Let j = -5 - -21. Suppose -2*w = -j + 6. Solve -w*f + 2*f = 5*l + 26, 0 = -4*l - 16 for f.
-2
Let f(v) = -v**2 - 7*v - 12. Let y be f(-4). Suppose 0 = 14*w - y*w - 70. Solve -3*c = -4*n - 6*c - 9, -w*n - c - 14 = 0 for n.
-3
Suppose -3*b = 3*z + 3 - 0, 0 = -2*b + 3*z + 13. Solve 0 = -s - b*j + 4*j, 2*j + 6 = 4*s for s.
2
Let x be -3 - ((-4)/(-3) + 4/(-12)). Let o be x/(8/2) - -4. Solve -4 = f + o*f + 4*m, -2*f = -3*m - 18 for f.
3
Let a be 6351/1305 + (13/(-15) - -1). Solve -a*j - 17 = 3*t - 7, 10 = -5*j + 2*t for j.
-2
Let k(v) = -10*v + 25*v - 14*v - 15. Let n be k(16). Suppose c - n = 2. Solve 6 = -d - h, -12 = c*d + 2*d - h for d.
-3
Suppose 3*x - 12 = -4*i, 4*x + i - 38 + 9 = 0. Let f be (-4)/x*-1*6. Suppose 5*t = f*t. Solve -h - 4*d + 2*d + 2 = t, -d = -2*h + 4 for h.
2
Let i(m) = 9*m + 2. Let t be i(1). Let l = t + -5. Let v be -1 - 3/l*-8. Solve -4*y - 16 = 7*f - 2*f, 2*f - 12 = v*y for f.
0
Let s = -31 - -46. Suppose -25 = -15*c + 10*c. Solve u - 3 = c*o + s, 0 = 2*u - o for u.
-2
Let v(f) = -f**2 + 6*f - 6. Suppose 112 = -3*w - w. Let a be -6*(-3 - w/12). Let j be v(a). Solve 0 = -2*h + 6 + j, -2*i = h - 2 for i.
-1
Let f(x) = -x + 1. Let h be f(7). Let v(i) = -i - 5. Let s be v(h). Let j = 4 - s. Solve -3*r + 4*c - 1 = -7, -15 = j*r + 3*c for r.
-2
Suppose -4*d + 4*f - 12 = -f, 0 = 2*d + 3*f - 16. Let c be 0/((-3 - 2) + 4). Suppose c = -5*y + 2*y. Solve -3*l = -5*u - 6*l - 12, y = d*u - l + 7 for u.
-3
Let h = -1 + 1. Suppose h*y - q = -4*y + 3, 0 = q + 3. Suppose 4*b = p, 5*b = p - 2*p. Solve b = -3*x - 15, 4*g - x + 3 = -y for g.
-2
Let p(b) = b**2 + 11*b + 12. Suppose -6*n + n + 15 = 0. Suppose f = -n - 7. Let j be p(f). Solve 5*v - j*y = -12, 4*v + 0*y - 4*y = -12 for v.
-2
Let n(b) = -13*b - 59. Let f be n(-5). Solve -2*m + 16 = -4*z, 2*z - 4 = m + f*z for m.
4
Let o be (33/22)/(1/22). Suppose -2*