-1 + 11 = -d*g for g.
-2
Suppose -99*a = -126*a + 1107. Solve -a = 18*s + 13 for s.
-3
Suppose -4*a = b - 3 - 11, 0 = -4*a. Solve 0 = j - 16 + b for j.
2
Suppose 8*m = -30*m + 342. Solve 31*l - m = 28*l for l.
3
Suppose 0 = -t - 3*d + 5, t + 1 = 3*t - 3*d. Suppose 4*c - 29 - 36 = -5*y, c - 15 = -y. Solve 4*i + t + c = 0 for i.
-3
Let q(x) = -3*x - 15. Let r be q(-7). Let g(b) = -1 + 9*b - r*b + 7 - b**2. Let u be g(4). Solve -3*y - u*y + 25 = 0 for y.
5
Let y(n) = n**2 + 9*n + 19. Let u be y(-7). Suppose -5 = -v - 4*m + 10, -2*m - 150 = -4*v. Suppose u*r = -2*r + v. Solve 0*s - 10 = r*s for s.
-2
Let n(x) = -x**2 + 5. Let q be n(6). Let l be 26/((-130)/10) - (32 - 1). Let s = q - l. Solve -s*w = w for w.
0
Let n(y) = -7*y + 4. Let t be n(3). Let d = -7 - t. Solve 0 = 2*r - 0*r - d for r.
5
Suppose -17 = -4*i + 31. Let h be (3 - i)/(9/(-12)). Suppose -5*n = -3*n - h. Solve -y = -n + 3 for y.
3
Let c(j) = -6*j**2 + 41*j - 15. Let v be c(5). Solve v = -8*q - 2*q for q.
-4
Let j(f) be the second derivative of f**3/3 - 9*f**2 - 16*f. Let r be j(9). Solve -6 = -3*p - r*p for p.
2
Suppose -3*t + 20 = 3*p - 2*t, 3*t = p + 10. Suppose 3*b + 5*m = -41, -p*m = -2*b - 8*m - 27. Let o be ((-51)/b)/(2/8). Solve 5*x + o = -8 for x.
-5
Suppose 5*h - 25 = 3*s, -15*s = -11*s + h - 5. Solve 0 = 19*u + 19 - s for u.
-1
Suppose -24 = -z - 5*x, 3*x - 21 = -4*z + 7. Solve -z = -i - 0 for i.
4
Suppose -5*r + 1785 = 10*r. Solve 0 = 3*a - r + 131 for a.
-4
Let d be (-92)/(-20) + 3/(-5). Solve 3 = d*n - 9 for n.
3
Let t be -1*8/52*546/(-42). Let d(s) = s + 2. Let h be 0 + (-1)/(1/(-6)). Let q be d(h). Solve t*p - q = 4*p for p.
-4
Let c = 33 + -18. Suppose 0*v - 4*m = v + c, 3*v + 3*m = 0. Solve 0 = -2*l + v*l + 6 for l.
-2
Suppose 0 = -8*a + 4*a + 160. Let u = a - 40. Solve -2*n + 4*n + 4 = u for n.
-2
Suppose -x = -0*i + 4*i + 37, -3*i - 15 = 5*x. Let q be ((-12)/i)/(2/5). Let z = 3 + -3. Solve z*n + q*n = -9 for n.
-3
Suppose 0 = -4*n - 4*h + 188, n - 2*h = -4*n + 214. Solve -8*u - 28 = -n for u.
2
Let n = 10 + 9. Let a = 21 - n. Suppose a + 2 = y. Solve -5*d = 6 + y for d.
-2
Let k = -290 - -186. Let a = 104 + k. Solve -j + 2*j = a for j.
0
Let s(k) = k**3 - k**2 - 2. Let a be s(2). Suppose -a*d = 3*d - 15. Suppose 13*p = 88*p - 44*p - 403. Solve -p = 2*y - d for y.
-5
Let x be (-6)/(-2)*(-18 - (-3 + 2)). Let w = 64 + x. Solve -w*n + 9*n = 8 for n.
-2
Let g be 2/(-4)*(-7 + 1). Suppose 0 = g*m + 25 - 10, 5*l - 5*m - 50 = 0. Solve -8 = -u + l*u for u.
-2
Let s = 4 - 4. Let z = 4 + s. Let r = -4 - -4. Solve r*p - z*p = -16 for p.
4
Let s be (-2)/(-7) - 228/14. Let i = 10 + s. Let b(p) = -p - 4. Let q be b(i). Solve q*c = 4*c - 8 for c.
4
Let j(z) = 2*z**2 - 4. Let m be j(2). Let o be 19 + 2 + m + -1. Solve 0*a + o = 6*a for a.
4
Let b be 0*(-2)/(-5)*35/(-28). Solve 4*g = 20 - b for g.
5
Let d(l) = 5*l**2 + l - 16. Let t be d(3). Suppose 5*v = -3*q + 60, -v - 4*v - 4*q = -55. Let m be t/15 + (-2)/v. Solve 0 = m*w + 7 - 1 for w.
-3
Let m = 23 - 18. Suppose -m*y + 41 = 4*b, -4*y + 0*y + b = -16. Solve 0 = -4*r + 11 + y for r.
4
Let r be ((-16)/(-2) - 11)*(-2)/2. Solve 4*t + r = t for t.
-1
Let n(j) = -6*j - 7. Let k be n(-5). Suppose 5*d - 90 = -v - k, -v = -2. Let l be (20 - 20)/(2 - 12/2). Solve l = 4*g - d + 5 for g.
2
Suppose -41 = -13*n + 24. Solve -n + 11 = -6*i for i.
-1
Let r = -27 - -17. Let g(x) = -x**2 - 12*x - 17. Let p be g(r). Solve 0 = -p*j + 3 - 6 for j.
-1
Let c(y) be the second derivative of 0 - 6*y + 3/20*y**5 + 0*y**2 - 1/6*y**3 + 1/12*y**4. Let r be c(1). Solve 3*l = -0*l + r for l.
1
Suppose 0 = -4*g - 4*v + 12, 0 = g + 3*v + 1 - 2. Suppose -s + g*s = 6. Let j(u) = -u**3 + 5*u**2 + 1. Let a be j(5). Solve -s*r + a = -5 for r.
3
Let j be (-3)/((-15)/(-5))*-4. Solve -j*n + 0*n = -16 for n.
4
Suppose -220 - 123 = -49*k. Solve -5 + 19 = k*m for m.
2
Let w(s) = s**3 + 7*s**2 - 11*s - 16. Let q = -29 - -21. Let x be w(q). Solve -4*h + x = -0*h for h.
2
Suppose 0 = 3*k + k - 16. Suppose -5*p - 12 = b, k*b + 2 = -2*p + 26. Solve 0 = -5*u - b - 7 for u.
-3
Let k(m) = 2*m**2 + 4*m + 5. Suppose -n - 4*n = -2*v - 29, -v + 4*n = 22. Let s be k(v). Solve 5*q = 5 + s for q.
2
Let t(a) = -5*a + 35. Let z be t(6). Solve -z*m + 11 = 1 for m.
2
Let n(s) = 2*s + 1. Let m be n(1). Let w = 1 + m. Suppose b - 8 = -5*a - 1, -3*b + w = -2*a. Solve i - 3 = -b for i.
1
Let g(s) = s**3 - 6*s**2 + 3*s - 12. Let u be g(6). Suppose 44 = -2*i + u*i. Let k = i + -9. Solve 4 = 6*z - k*z for z.
1
Let z be 1/(-3) - (-100)/30. Suppose 5*f = -4*t, z*t + 4*f = 5*t. Suppose -4 = -3*d + 11. Solve d*s - s = t for s.
0
Let n = 21 + -15. Let j be (24/(-20))/(2/(-5)). Suppose u - j = -0. Solve 0*g + n = u*g for g.
2
Let u be 9/6*(-12)/(-2). Let i(b) = -b**2 + 9*b + 5. Let q be i(u). Suppose 2*w = 4*p + 36, 0*w + q*p + 75 = 4*w. Solve -5*s = -s - w for s.
5
Let l(r) = -r**3 + 8*r**2 + 2*r - 6. Let b be l(8). Suppose -o + 0*f + 15 = 3*f, -b = o - 2*f. Let n be (-1)/9 + (-368)/(-72). Solve o = -n*z + z + 16 for z.
4
Let y be (-10)/1*(-8)/10. Let w(t) = -t**3 - t**2 + t - 3. Let z be w(0). Let r be (8 + -8)/(0 + z). Solve -2*x + y + 0 = r for x.
4
Let b = 1 + 3. Suppose -v + b*m + 20 = 4*v, -4*m = -3*v + 20. Let s be (3 - 7/3)/(4/18). Solve -s*z + v - 3 = 0 for z.
-1
Let q(y) = -y**3 - 11*y**2 + 13*y + 22. Let f(o) = -o**2 - 5*o + 2. Let w be f(-7). Let x be q(w). Solve -4*i + 6*i = -x for i.
-5
Let b be 4 - ((-12)/14)/(2/14). Solve -5 = -5*g + b*g for g.
-1
Let u(d) = d**3 + 3*d**2 - 9*d - 12. Let r be u(-4). Solve r*b + 20 = -12 for b.
-4
Let m(z) = 2*z**2 - 15*z - 11. Let b be m(8). Let t be b*-2*(-3)/(-9). Solve -2*f = t + 2 for f.
-2
Let j = -17 - -20. Suppose 6*f - j*f = -93. Let w = f - -31. Solve -2 + w = -2*m for m.
1
Let l(i) = -i - 2*i**2 - 22 + 56 - 25 + i**2. Let g be l(-3). Solve -2 = -g*z + 1 for z.
1
Let w be -6 + (-5 - -23)/2. Solve 47*c - w = 50*c for c.
-1
Let d be ((-4)/8)/(21/(-126)). Solve 0 = -d*l + 5*l + 4 for l.
-2
Suppose -z + 3*z - 8 = 0. Let m = -1 + z. Suppose 2*b - m*b = 0. Solve -3*q = 6 - b for q.
-2
Let i(q) = 4*q**3 - q**2. Let f be i(2). Let s = -26 + f. Suppose 3*j + 2*r = 6*j - 29, -3*j = s*r - 13. Solve -j + 3 = 2*c for c.
-2
Let w(n) = 128*n - 103. Let k be w(1). Solve 26*f = k*f - 2 for f.
-2
Let z be 2/11 - (-31)/11. Suppose -5*h + 92 = 2*y - 3*h, -2*h = -3*y + 118. Let a be (-1)/(-3) + 238/y. Solve -z*l + a*l = 15 for l.
5
Let j = -3 + -65. Let k = 103 + j. Let a be (-102)/(-5) - 14/k. Solve 2*o = -2*o + a for o.
5
Suppose 0 = -5*a + 4 + 6. Let m be -1*(8/a + (-12 - -3)). Solve 0 = -m*t + 16 - 1 for t.
3
Let m = 428 + -408. Solve -3*r = r - m for r.
5
Let g = 7 - 5. Suppose -g*t - 2 = -12. Suppose -6*a + 6 = -t*a. Solve 3*y - 6 = a for y.
4
Let s(a) = a**3 - 2. Let q be s(2). Let w = 130 - 127. Solve 0 = -w*o + q*o for o.
0
Suppose 25 = 4*a + a. Let x be (((-1 - 0) + 1)*1)/2. Let s be -8 - -6 - (x - a). Solve s*i + 5 = -10 for i.
-5
Let c = -4 - -8. Suppose c*j = j. Suppose j = -2*i + i. Solve i = -o + 2*o + 4 for o.
-4
Let u(t) = t**2 + 5*t + 5. Let d be u(-5). Suppose -3*j - 1 = -10. Let i be -23 + 36 + -16 + 7. Solve -j*s + d = -i*s for s.
-5
Suppose -d - 6 = -r - 0*d, -3*r + 2*d + 15 = 0. Let t(n) = -2*n + 1. Let j be t(-7). Let s = j - 10. Solve r = s*i - 2*i for i.
1
Suppose f + 2*c - 70 = 56, 0 = -5*f - c + 603. Solve -25*u = -u - f for u.
5
Let t be (12 - 11) + 1 + 18. Solve -9*g = t + 7 for g.
-3
Let l = 112 + -112. Solve -2*r + 11 - 15 = l for r.
-2
Let a be (44/110)/(2/30). Let b be 2/4*a*-1 + 5. Solve -d + 2 = -b for d.
4
Let o(v) = v. Let l be o(-3). Let p be l + 7/(14/6). Solve 4*y = -p*y + 20 for y.
5
Suppose -12*c + 11 = -14*c + 3*g, 4*g = -c + 22. Solve c*v - 13 + 3 = 0 for v.
5
Suppose -4*y + 6*g = g - 15, -5*y - g = -26. Solve -2*o = -7*o - y for o.
-1
Let c(z) = 37*z**2 + 58*z + 1. Let x be c(-2). Solve 6*s = -9 + x for s.
4
Let y = 63 + -23. Let p = 43 - y. Suppose 3*x - 11 = 10. Solve p*c = x + 2 for c.
3
Let j = -19 - -88. Let n = -59 + j. Solve n - 4 = 3*s for s.
2
Let m = 9 - 3. Suppose -3*n - 16 + 22 = 0. Suppose 0 = -n*w + 7*w. Solve w = 4*x - m - 2 for x.
2
Let f(s) = -s**2 + 8*s - 7. Let h be f(6). Let c(m) = 3*m + 9. Let d be c(h). Let u = d + -24. Solve u = -5*p + 17 + 3 for p.
4
Suppose -48 = 98*g - 104*g. Solve -6 = -g*