 g + p*g + 25 for g.
-5
Let i(v) = v**2 - 8*v - 13. Let p be i(9). Let y be (-10)/(p - (-6)/2). Solve -2*f - y = -4*f for f.
5
Let l(r) = r**2 - 8*r + 3. Let m be l(8). Solve -m*x + 8 = 23 for x.
-5
Let g = 16 - 9. Suppose s = -3 + g. Let r(l) = -l**3 + 4. Let c be r(0). Solve 0*m + c*m = -s for m.
-1
Let n be -1 - (0/(-3) - 1). Let k = 0 + n. Solve k = 4*d - 3*d for d.
0
Suppose -2*o = 10, -3 = -r - o - 5. Let f(l) = -2*l**3 - l. Let i be f(1). Let y = i + r. Solve -n = -y*n - 5 for n.
5
Let a(i) = i**2 - i + 4. Let z be a(0). Let r = 2 - -9. Suppose y + 2*k = r, y + 5*k - 3 = 23. Solve z = -s + y for s.
-3
Let k be (-1 - 2)/((-18)/(-12)). Let o(x) = -x + 1. Let g be o(k). Solve 0*a + 9 = -g*a for a.
-3
Let m(i) = -i**2 + i + 3. Let s = -3 - -3. Let t be m(s). Solve -t = -5*l - 8 for l.
-1
Let c = -16 - -26. Solve 4*u - c = 10 for u.
5
Let u = 26 - 12. Solve -2 = -4*x + u for x.
4
Let y be (10 + -20)*2/(-5). Let j(z) = 2*z**2 - 2*z. Let l be j(2). Suppose 2*g + 0*g + 6 = -n, 0 = -y*n - 3*g - l. Solve -3*r = -1 - n for r.
1
Let d = -188 - -194. Let o be (-2)/(-6)*9/3. Solve -u = d - o for u.
-5
Let r(f) = f**3 - 8*f**2 + 6*f + 7. Let s be (-3)/6*-14 - -1. Let a be (s - 1)*(-1 + 2). Let p be r(a). Solve p = -3*m + 3 + 6 for m.
3
Let w = 5 - 5. Let n(g) = g - 9. Let o be n(0). Let l(i) = i**2 + 8*i - 5. Let t be l(o). Solve d + w*d = t for d.
4
Let a = 68 - 65. Solve a*z = -2*z for z.
0
Let w(t) = t**2 + 17*t + 32. Let m be w(-15). Let n be 0*((-5)/2 + 2). Solve n = -c - 0 + m for c.
2
Let a be ((-12)/10)/((-4)/10). Let j be (-1)/a + 68/6. Let w be (-3)/(-2*(-2)/(-4)). Solve w*b - j = 4 for b.
5
Suppose 0 = 4*o + 5*k - 22, 0*k + 2 = k. Let l(q) = -2*q**o + 2*q - 3*q**3 + 4*q**3 + 4*q**2 - 6. Let n be l(4). Solve -n*u = -0 - 6 for u.
3
Let j = 2 + 6. Let u = j + -6. Solve u*l + 5 = -5 for l.
-5
Suppose 9*s = 4*s. Solve s*w - 6 = -3*w for w.
2
Let g(f) = f**2 + 9*f - 6. Let q be g(-10). Suppose 0*d = -5*d - 20, 2*h = -5*d - 26. Let t be (1/h)/((-2)/36). Solve -t - 2 = -q*a for a.
2
Let k be 2/(-5) + 12/5. Suppose -2*s + 4*r = 12, 0*s - 3*r = -s - 10. Suppose -p - 9 = 2*p, -3*n = -s*p - 15. Solve 0 = b + k*b + n for b.
-1
Let a(t) = -t**2 + 3*t + 8. Let y be a(6). Let b = -5 - y. Solve 0 = b*x + 17 + 8 for x.
-5
Let f be (-2)/8 + (-10)/(-8). Let y be -3 - (-5 - (f - 1)). Solve -y = 5*l + 8 for l.
-2
Let n(q) = 3*q**3 - 3*q**2 + q - 2. Let d be ((-60)/8)/((-2)/4). Let c be ((-12)/d)/(2/(-5)). Let r be n(c). Solve 0 = 5*w + 13 + r for w.
-5
Let w = 6 - 4. Suppose w*y + 17 = -2*y - 5*j, y + 8 = -2*j. Solve -3*q = y*q for q.
0
Let l = 13 - 10. Let b = l - 2. Solve -j + 0 = -b for j.
1
Let z = 0 - 4. Let s = z + 9. Solve 0 = s*u + 2 + 3 for u.
-1
Let d be (-180)/(-54)*6/4. Solve d*o + 5 = -15 for o.
-4
Suppose -5*g - 10 = 0, 3*l + 9 = -2*g - g. Let p(c) = -3*c**3 + 2*c**2 + c. Let z be p(l). Solve -4*v = -3*v + z for v.
-4
Suppose 6 = -5*w + 26. Solve 5*o - 4 = w*o for o.
4
Suppose -5*o = -2*g - 12, 4*g - 16 = -g + o. Solve -x = g*x for x.
0
Let t be (-3)/3 - 2 - -8. Solve 34 - 9 = -t*d for d.
-5
Suppose 0 = -4*o + 5*o - 25. Let a(b) = b**3 + 3*b**2 + 2*b. Let p = -6 - -4. Let z be a(p). Solve z*g + o = 5*g for g.
5
Let p(b) = 7*b - 1. Let o be p(3). Let k = o - 12. Solve 0 = 2*m - k for m.
4
Let w = 0 - -2. Let x(i) = -i**3 + 9*i**2 + 2*i - 8. Let k be x(9). Suppose o = -w*v + 9, 4*o + v + k = 67. Solve -7*q + 2*q - o = 0 for q.
-3
Let t be 2 + (1 - 0/3). Let c be 1/2*0/(-3). Solve -t*d + c*d - 6 = 0 for d.
-2
Let n be (-2)/3*30/(-4). Suppose -4*d - 3*y + 54 = -y, -n*d + 4*y = -48. Solve -3*x - d - 3 = 0 for x.
-5
Suppose 0 = 4*g - 2*k + 18, 5*k - 25 = 0. Let s be 1 + (-6)/(g*1). Suppose -s*q = -q. Solve -2*b = -q*b for b.
0
Suppose 4*n - 8*n + 16 = 0. Let l(q) = -3*q + 6 + q + q + n. Let s be l(8). Solve 0 = -2*m + s + 4 for m.
3
Let s(v) = -5*v**2 + 2*v - 2. Let d be s(1). Let x = -5 - d. Solve 0 = q + 3 - x for q.
-3
Suppose -2*w + 17 + 19 = 0. Suppose 0 = -4*p + 5*p, 3*o + p = w. Solve o - 26 = 4*z for z.
-5
Suppose -3*u - s = -19 + 44, -5*u + 4*s - 53 = 0. Let g be 2/6 - (-3)/u. Solve -2*x - 2*x - 4 = g for x.
-1
Suppose 3 = -o, -2*o = -4*y - 14 + 36. Solve y*g = g for g.
0
Let n = 152 - 152. Solve -4 = q - n for q.
-4
Let j be (-1 + -1 + 3)*2. Solve 0*x - 6 = -j*x for x.
3
Suppose -5*f = 1 - 61. Suppose -3*o + 48 = -f. Suppose 4*y - o = 5*g, 4*g - 6*g + 5*y = 25. Solve -a = 5 - g for a.
-5
Suppose d + 4*z - 31 = 0, 0*d - 2*d + 68 = 2*z. Suppose 3*q = 5*p + d, 0*p = -q - 5*p + 5. Let h be (6/(-4))/((-6)/16). Solve h*o - q = -o for o.
2
Suppose -3*l + 22 = 7. Solve -1 = -j - l for j.
-4
Let a(r) = r. Let l be a(-1). Let i = 8 - 16. Let j be i/(0 - (3 + l)). Solve 0*o = j*o for o.
0
Suppose 75 = -2*c + 7*c. Let p be (35/20)/((-2)/40). Let h be (-1)/(-6) + p/(-6). Solve -h*u + c = -u for u.
3
Let f(k) = k + 1. Let s be f(1). Suppose 0 = -5*w + c + 10, -4*w - 13 = -3*c - s*c. Let v be 2 + -1 + (3 - 4). Solve v = -2*t + 1 + w for t.
2
Let x be (-1)/(2/(-8)) + -4. Solve -2*q = -x*q + 10 for q.
-5
Let h be (-56)/(-16) - (-6)/4. Solve -h = -3*m - 2*m for m.
1
Let s(y) = y**3 + 11*y**2 - y + 9. Let a be s(-11). Solve -3*i + a = 2*i for i.
4
Let d = -17 - -19. Solve 5*g = d - 7 for g.
-1
Let p(n) = n**2 + 5*n - 6. Let h be p(-6). Suppose h = -0*b - 2*b + 50. Solve 0 = 4*m + m + b for m.
-5
Let l be 2/(-1*2) - 2. Let q = 5 + l. Let j be (-45)/(-4) - (-9)/12. Solve -d = q*d - j for d.
4
Let v be -2*(7/2 - 3). Let b be v/(-3 - 5/(-2)). Solve b*y - 7 = 3 for y.
5
Let y(g) = g**3 - 5*g**2 + 4*g. Let b be y(4). Let z(t) = t**3 + 6*t + 2 - 5*t + 0*t + 0. Let k be z(b). Solve h = k*h - 3 for h.
3
Let p be 6/((-9)/(-6) - 0). Solve p*k = 5 - 1 for k.
1
Let p(i) = i**2 + 2*i. Let f be p(-2). Let n = 3 + 0. Suppose f = 5*m, -w - m + n + 2 = 0. Solve w*x - x - 8 = 0 for x.
2
Suppose -2*s - 6 = -5*s. Suppose -2*j = -2 - s. Solve j = -u - 3 for u.
-5
Let j be 6 + -8 + 3*-2. Let h = j - -10. Solve -2*f + f = -h for f.
2
Let o(g) = -g**3 + 10*g**2 - 7*g - 3. Let t be o(9). Suppose 5 = 2*k - 5*j - 14, 3*k - t = 3*j. Solve -k*p + 20 = 2*p for p.
5
Let s be (0 - -3)*(-2)/(-3). Solve -s*q - 2 = -3*q for q.
2
Let u be (-36)/(-24) + (-58)/(-4). Solve -3*f = f - u for f.
4
Suppose 0 = -2*a - 1 + 5. Suppose -m - a*m = -3. Suppose 0 = -i + 1 + m. Solve 4 = -4*f + i*f for f.
-2
Suppose 3*h - 47 = 28. Solve -s - h = 4*s for s.
-5
Suppose -27 = -4*i + z, 4*i = -0*z + 3*z + 17. Suppose -2*s - 2*f + 18 = 0, i = s + 4*f - 4. Solve -3*c - 2 + s = 0 for c.
2
Let r = 3 - -7. Let z(o) = 6*o - 2*o + 0*o - 7 - 2*o. Let m be z(5). Solve -m*x - r = -x for x.
-5
Suppose -15 = 3*c, 5 + 2 = 3*o + c. Solve -q = -o*q - 3 for q.
-1
Let v = -49 + 54. Solve 0 = -v*b + 8*b - 9 for b.
3
Let b be (-12)/(-7) - 26/(-91). Solve q - 3 = b for q.
5
Suppose -2*p - 2*t = -20, 0*p - 17 = -2*p - t. Solve -3*s = -p*s - 8 for s.
-2
Suppose -3*l = 2*w - 2, 3*w + 0 = -6. Let g be 210/28 + 1/l. Solve 4*t + 0 = g for t.
2
Let f be (-14)/(-8) + 2/8. Suppose -8 = 3*h + 19. Let q be (f/(-1))/2*h. Solve -3*j = -6*j + q for j.
3
Suppose 0 = 2*m - 2. Let i = m + 4. Let t be (0 - -5) + 0 + 0. Solve -t*y + i = 30 for y.
-5
Suppose 0 = -2*q + 11 + 9. Suppose -15 = -5*c + q. Solve f = c*f - 16 for f.
4
Suppose -2*c - 9 = -w, 2*w + 8 - 2 = 0. Let y = c - -6. Solve -3*m + y*m = -12 for m.
4
Let j = -15 + 11. Suppose 4*y + 2*p = 22, 3*p + 2 = 3*y - 28. Let r = y + j. Solve r*w - 4*w = 3 for w.
-3
Let r = 0 - -3. Suppose -5*c = r - 93. Let n(t) = -t**2 + 5*t + 2. Let x be n(5). Solve x = 5*k - c for k.
4
Let n be -2*16/(-1 - -3). Let b = n + 30. Suppose -2*j = -j + 2*h - b, 5*h = -3*j + 37. Solve -w + 2*w + j = 0 for w.
-4
Suppose -3*i = -0*i. Suppose i = -4*h + 3*h + 14. Let f = h - 4. Solve 0 = -3*l + l - f for l.
-5
Let w(m) = -m + 2. Let n be w(2). Suppose -5*b + 19 + 11 = n. Solve b*l - 5 = l for l.
1
Suppose 6*k + 14 = 8*k. Let v(t) = -t**3 + 8*t**2 - 7*t. Let i be v(7). Let h be 9 + -2 - (i + 2). Solve -h*z + k = -8 for z.
3
Suppose 5*p + 6 + 4 = 0, 4*h - 48 = 4*p. Solve w = -w + h for w.
5
Suppose 4*w = -0*y - 3*y, 4*w = 5*y. Let m(t) = t**2 - 3*t + 4. Let f be m(3). Solve w = 4*h + f - 0 for h.
-1
Let h = -18 + -12. Let t be (264/h)/(2/(-5)). Suppose 3*n - 58 = -t. Solve 4*w + n = w for w.
-4
Let x = -17 - -20. Solve -2*q