-2 + 2*a/(-2). Solve -t*b + 3 = -3 for b.
3
Let d(g) = -2*g**2 - 21. Suppose -20 = 5*z + 5*i, -5*z + 3*i - 2*i = -4. Let f be d(z). Let a be -1 - (4 + f) - 4. Solve 5*x - 3 = a for x.
3
Suppose 3*d = 2 + 4. Solve 0 = 2*x - 0 - d for x.
1
Let t(k) = 4*k**2 - k + 1. Let r be t(1). Let f(a) = -a - 4. Let b be f(-7). Suppose -b*o - 3 = 3*p, 3*p - 1 - 12 = o. Solve -p*h - r = 11 for h.
-5
Let m(a) = 3*a**2 - 4*a - 31. Let y be m(-3). Solve -2*d = 6*d - y for d.
1
Let y(i) = 5*i + 1. Let f be y(-1). Let s = 11 + f. Solve 4 = -s*p + 3*p for p.
-1
Let a(c) = -c**3 + 3*c**2 - c + 7. Let q be 33/(-11)*(0 - 1). Let n be a(q). Solve -2*w + n = -3*w for w.
-4
Suppose 5*i - 13 + 3 = 0. Suppose -a = i*a. Let h = -40 - -47. Solve a = h*m - 2*m for m.
0
Let m be 6/15 - 39/(-15). Let t(i) = 3*i**3 - i**m - i**3 - 10*i**2 + 3. Let n be t(10). Solve 2*y = n*y + 5 for y.
-5
Let r be 3 + (8 + 1 - 9/3). Suppose -6*i - r = -27. Solve 5*b - i*b = -8 for b.
-4
Let y = 47 + -35. Suppose 3*h = -5*k + 102, k - 2*h + y - 35 = 0. Solve -5 = -4*g - k for g.
-4
Let w be (-2 + 3)/((-4)/(-60)*1). Suppose -b - 2*b = -w. Solve q = b*q for q.
0
Let c = -19 - 8. Let f be 18/c + 17/3. Suppose s = -3*z + 6, f*z + 0*z + 4 = 3*s. Solve 0 = -2*a - s*a + 15 for a.
3
Let v be -8 + (4 + -3 - -2). Let x(s) = -s + 17. Let a be x(10). Let j = a + v. Solve j*o = 3*o - 3 for o.
3
Let q be (-4)/(-44) - (36/33 + -5). Solve q = -26*x + 25*x for x.
-4
Suppose 0 = -0*p + p - 30. Suppose -c = -4*x + p, c - 6*c = -5*x + 90. Let f = c - -24. Solve f = 3*t - t for t.
5
Let h(r) = 2*r**2 - 7*r - 12. Let b be h(5). Let x = -75 + 75. Solve -m = -x*m - b for m.
3
Suppose l - 3*l = 0. Suppose -16 = -g - 5*n, -n + l = 4*g - 7. Solve -g + 21 = 4*y for y.
5
Suppose 23*r + 35 = 81. Suppose 3*x + 3 = 4*u, -5*u + 2*x - 7*x - 5 = 0. Suppose 5 = -5*k - 5*m, u = -5*k + r*k + 3*m + 9. Solve n - k = 1 for n.
2
Let l(b) = 3*b**3 - 5*b**2 + 2*b - 3. Let y be l(2). Solve 4 = 4*r - y*r for r.
-4
Let l be 0 + 3 - 1/(-1 - 0). Suppose l*z - 18 = -5*z. Solve 0 = -z*j - j + 15 for j.
5
Suppose -11 = -3*f - 2*m, 3*m = 6*f - 5*f. Solve -f*y + 3 = 6 for y.
-1
Suppose 2*n + 13*n = 0. Solve -q + 2 + 3 = n for q.
5
Suppose 3*v = i + 1, -2*v = 2 - 4. Let s = 76 - 72. Suppose 2*y - s*y = 4*y. Solve i*r - 6 = -y*r for r.
3
Let q(d) = d**3 + 4*d**2 + d - 3. Let c be q(-3). Suppose 4*a = 2*a + 12. Suppose 0 = -5*f + 47 - 2. Solve f = -c*x - a for x.
-5
Suppose 0 = 3*a - 1 + 1. Suppose 4*w + 4*l - 32 = a, 0 = 3*l + 2*l - 20. Solve -6*q + w*q = -10 for q.
5
Let q(r) = -r**3 + 7*r**2 - 5*r - 2. Let n be q(6). Suppose -9 = 2*c + 3*l + 2, -2*c + 14 = -2*l. Let u be -5*4*(-9)/30. Solve -u = n*h + c for h.
-2
Let l = -1081 - -1115. Solve l*i + 14 = 20*i for i.
-1
Suppose -3*v + 0*v = -12. Suppose 0 + 2 = -5*c + 2*m, 0 = -5*c - 4*m + v. Solve x = -c*x + 2 for x.
2
Let j = -29 - -31. Suppose 0 = -2*h + 4*h - 8. Suppose 0 = 4*q + 4*k - 24, 3*k = -4*q - 10 + 33. Solve h*w = q*w + j for w.
-2
Suppose 5*b - s - 7 = 2, -4 = -4*s. Suppose -5*n + 55 = 35. Solve -n*m = -b*m - 2 for m.
1
Let w = 15 + -10. Suppose -5*p + 5 = -4*p, n + 2*p = 17. Let s(j) = -j + 13. Let i be s(n). Solve w*v - 1 + i = 0 for v.
-1
Suppose 19 + 32 = 3*r. Let o(i) = 2*i**2 + 6*i - 5. Let p be o(-5). Let w = r - p. Solve -w*h + 2 = -0*h for h.
1
Suppose 5 = -n + 20. Let t = -13 + n. Solve -t*u + 0*u = -8 for u.
4
Let s(t) = 2*t**3 - 9*t**2 - t + 3. Let n be s(5). Solve 6*k - 1 = n for k.
4
Suppose -2*h - 207*x + 202*x + 74 = 0, -5*x + 168 = 4*h. Solve -11*d + h = -8 for d.
5
Let t = 363 - 353. Suppose 2*x - 2 = x. Suppose -x*b + 5 = 3*d - 1, -3*b = 0. Solve 3*r = -d*r + t for r.
2
Suppose 87*l - 2*c - 37 = 86*l, -115 = -3*l + 2*c. Solve -11 = 7*j - l for j.
4
Let d(g) = 21*g + 130. Let w be d(-6). Solve -w*h + 39 = 59 for h.
-5
Let y = 1458 + -1456. Let l = 4 - 0. Let v be (2 + -6)*(-2)/l. Solve g - v = y for g.
4
Let l be (1/3)/(22/726). Solve 0 = 4*m + l + 1 for m.
-3
Let y be (-4 + 3)/((-2)/(-8)). Let d be 12/9*(-30)/y. Let g = 6 + -3. Solve -d = -g*s + s for s.
5
Suppose -4*h - 10 = z - 8*h, -8 = -2*h. Let j = 148 - 108. Let r = j - 38. Solve z - 2 = r*c for c.
2
Let p(i) = -2*i + 24. Let g be 12*((-66)/(-56) - 3/7). Let a be p(g). Solve 2 = m + a for m.
-4
Suppose f - 5*f = -96. Suppose -f = 4*j - 7*j. Suppose -3 = -9*l - 3. Solve 3*g + j + 4 = l for g.
-4
Suppose a = -0*a - 8. Let t = 10 + a. Let z(d) = -4*d + 1. Let o be z(-1). Solve t*m + o = -3*m for m.
-1
Let v = 143 + -139. Solve -v*y = -3*y + 4 for y.
-4
Suppose 3*b = b + k + 9, 0 = -b - 4*k. Suppose -2*y + 3*p = -27, 4 = y + 4*p - b. Solve y = 5*x - x for x.
3
Let u(w) = w**3 - 5*w**2 - 6*w + 4. Let n be u(6). Suppose t = -3*z + 5*t + 9, -4*t = n*z - 12. Suppose -1 = 5*h - 6. Solve -y - z = h for y.
-4
Let l = 74 - 70. Solve -28 + 44 = -l*i for i.
-4
Let w be 132/5*((-204)/(-18) + -8). Suppose 3*o = -4*p + 105 + 16, 0 = -5*p - 5*o + 155. Let j be w/p + (-1)/7. Solve 0 - j = 3*t for t.
-1
Let t(m) be the first derivative of -3 + 2*m + 5/2*m**2. Let k be t(3). Solve -3*s + 8 = k for s.
-3
Let h be (((-36)/14)/9)/((-6)/378). Solve 16*d + h = 2 for d.
-1
Suppose h - 165 = 3*w - 2*h, w = 5*h - 51. Let q = 58 + w. Solve 5*f + q = 7 for f.
1
Let v(l) = -l - 18. Let j be v(-7). Let f = -7 - j. Suppose -3*d - f*t + 6*t + 27 = 0, 36 = 4*d - 5*t. Solve -2*q = -5*q + d for q.
3
Let y be (-21)/(-4)*2 + 3/(-6). Suppose -3*k = -y*k. Solve k = 6*u - 2*u + 12 for u.
-3
Suppose -2*z + 3*z = x + 17, -x = 3*z + 17. Let i = x - -30. Solve -4*g + 7 = -i for g.
5
Let v be 2*(-6 + 5)*(-3)/3. Solve -v*w - 6 = -12 for w.
3
Let x(r) = -r - 7. Let i be x(-7). Let a be (5/10 + i)*6. Suppose -m + 9 = p, 3*m + 3*p + a = 6*p. Solve -n - m = -0*n for n.
-4
Let i(s) = 5*s - 2. Let b be i(-2). Let x be 3 + (b*3)/(-3). Suppose -z = -4*z + 4*f + x, -z + 2*f = -7. Solve -g - z = -3 for g.
2
Let b = 55 - 55. Suppose b = 2*t + 6, 2*t + 2 = -2*x - 0*t. Solve -v = -x - 1 for v.
3
Let n(q) = q**3 + 2*q**2 + 19 - 16 - 3*q**2 - 5*q. Let r be n(3). Solve -i + r*i = 0 for i.
0
Suppose -3*u = 4*x + 2*u + 372, 93 = -x - 5*u. Let c = -93 - x. Solve -m - 4 = -c*m for m.
-4
Suppose 15*w - 58 = 13*w. Suppose 4*l - 11 = w. Suppose -2*y - 16 = -6*y. Solve 0 = -y*o - o - l for o.
-2
Let b be (-4)/22 + (-963)/(-33) + -2. Solve -b*t = -t + 26 for t.
-1
Let r(b) = b**2. Let w be r(-2). Let q be 1/5 - (-4 + 122/10). Let o be 12 + 0 + -1 - (-9 - q). Solve -o = w*l - 4 for l.
-2
Suppose 0 = -410*c + 408*c + 80. Solve 0 = -6*q - 2*q + c for q.
5
Let f = -144 - -123. Let b be (f - -19) + (-16)/(-2). Solve 3*c - 15 = b*c for c.
-5
Suppose 2*r + 2*m = -m - 11, 0 = m + 5. Suppose -r*j + 3 = -3. Solve o - j = -2*o for o.
1
Suppose 5*s = 2*v - 2, 3*s - 2*s = -3*v + 3. Suppose -4*y + s*y = -16. Suppose y = u + 1. Solve 3*l + 0 = -u for l.
-1
Suppose 0 = 5*y + 3*p - 37, 0*y + p = 5*y - 21. Suppose -3*l = -4*l + 2. Suppose -4*o + 21 = 3*c - 8, -l*c - 3*o + 21 = 0. Solve -c*x = y - 2 for x.
-1
Let i be ((-285)/55 - 24/(-132)) + 8. Let f be 0/(-2) - 16/(-1). Solve -i*g = g - f for g.
4
Let n(s) = -s - 28. Let g be n(-28). Suppose 5*j = -b + 16, -43 = -5*b - 5*j + 17. Suppose -2*q = -0*x - 4*x, 3*x = -4*q + b. Solve g = -2*z - 0 + q for z.
1
Let r(q) = 102*q - 809. Let g be r(8). Solve 0 = 6*y + g - 13 for y.
1
Let k(g) = g**3 - 13*g**2 - 6*g - 1. Let v be k(13). Let x = v + 81. Solve x*t - 20 = 7*t for t.
-4
Suppose -5*d + 33 = -27. Suppose 0 = 3*y - 4*u - 0*u + 5, -2*y + 5 = -u. Let n = y + -3. Solve -n*o = d - 4 for o.
-4
Let v(b) = 11*b**2 - 25*b + 25. Let r(z) = -5*z**2 + 12*z - 12. Let a(j) = -13*r(j) - 6*v(j). Let k be a(4). Let p = k + 34. Solve p = 2*s - s - 4 for s.
4
Suppose 1628 = 14*t + 23*t. Solve -40*w + t*w + 8 = 0 for w.
-2
Let l be 12*(12/9 - 1). Suppose -d + 16 = 2*x, d - l*x = -10 - 4. Let m = 9 - d. Solve -m*k = -8*k + 10 for k.
2
Let l(j) = 23*j - 340. Let f be l(15). Solve f*s = 9 - 14 for s.
-1
Suppose -9*o + 72 = -6*o - 3*w, 2*o - 3*w - 47 = 0. Solve -o*f + 2 = -26*f for f.
-2
Suppose -n = 4*n - 20. Suppose -95 = -n*p - 2*a - 27, 0 = 2*p + 3*a - 42. Let h be (-156)/p*(-10)/4. Solve 5*g + 11 = h for g.
3
Let w be 111 - 1/(4/(-8)). Suppose w = 7*u - 6. Solve -u = 3*v - 2 for v.
-5
Suppose 0 = 3*h + 2*s + 4, -5*h = -3*s + 7*s + 8. Solve h = -2*n - 57 + 63 for n.
3
