11 + 2*g**2 + 3*g. Let l be a(-2). Solve l*s = s + 4 for s.
-4
Let a be 0 + 5 - (1 - 0). Suppose -a*g = -g - 33. Solve -5 = -g*o + 6*o for o.
1
Let g(v) = 3*v. Let c be g(-1). Suppose 2*p = 3*p + 2. Let j = p - c. Solve f + j = 2*f for f.
1
Suppose 2*i = 4 + 12. Suppose -8 - 2 = -5*v. Solve 4*j - v*j + i = 0 for j.
-4
Suppose 0*u + u + 15 = 4*c, -4*u = -5*c + 16. Suppose -l + 0 = u. Let h(i) = -i + 1. Let x be h(l). Solve -4 + x = -o for o.
2
Let i = 46 - 41. Solve i*u - 10 = 5 for u.
3
Suppose -20 = -4*a - 0*a. Suppose 4*u - 12 = y, 4*y + 6 = 2*u + a*y. Solve 0 = 2*m - u*m for m.
0
Let a = 11 + -9. Let p be (6/(-9))/((-4)/18). Suppose p = b + 1. Solve a = -b*i + 4 for i.
1
Let a = -12 + 37. Let x(q) = q**3 + 10*q**2 + 7*q - 14. Let p be x(-9). Solve -p*v = v - a for v.
5
Let x(k) = -k**3 + 3*k**2 - k - 1. Let r be x(2). Suppose -r = 3*v + g, -3*g = 2*v - g - 2. Let p be 4 + 2 + v + 1. Solve 0 = -3*w - 0*w - p for w.
-2
Let u(x) = -2*x - 4. Let v be u(-5). Let n(s) = -s**2 + 8*s - 9. Let a be n(v). Suppose a*y - 6 = y. Solve t + 10 = y*t for t.
5
Let u = 6 + -4. Let i(n) = -n**2 + 8*n - 7. Let y(a) = 6*a**2. Let o be y(1). Let k be i(o). Solve u*b - k*b = 0 for b.
0
Suppose -4*g = 16, -5*g = -4*l - 23 + 83. Suppose -x = 2*r - 3*r + l, -r = -5*x - 50. Let n = x + 27. Solve -n = 5*q - 7 for q.
-2
Let i = -3 - -9. Suppose 2*n = -j - 0*n, 0 = -j + n + 6. Suppose j*y + 0*y = -2*q - 12, 0 = -4*q - 2*y + i. Solve -q*a - 4 = 16 for a.
-5
Suppose 3*a - 3*s = 12, 0 = -2*a - 3*s - 0*s + 3. Suppose a*j = 4*j - 2. Solve j - 3 = -v for v.
1
Let x = 41 - 36. Solve s = x - 2 for s.
3
Let b(w) = w + 3. Let q be -2*-3*(-3)/6. Let z be b(q). Solve 2*d + 10 = -z for d.
-5
Let h(y) = -y**2 - 6*y - 5. Let i be h(-6). Let v = 7 + i. Solve 2*g + v = 10 for g.
4
Suppose -2*h - 3*p + 7 = -4, -5*h + 23 = 3*p. Suppose -3*b + h*j + 22 = 2*j, 15 = 5*b + j. Solve 3*y = b*y + 3 for y.
-3
Let l(f) = -6*f + 6. Let w be l(1). Solve -b - 3*b + 12 = w for b.
3
Let n(g) = 4*g - 8. Let f be n(7). Solve -f = -a - 3*a for a.
5
Let y = 41 - 39. Solve 0 = -l + y*l + 3 for l.
-3
Suppose -q = 2*q - 21. Solve q - 27 = -5*j for j.
4
Suppose 5 = -3*x + 5*n, -4*n + 5 = -x + n. Suppose 5*t - 4*f = 32, -t - 2*f = -0*t + 2. Suppose 4*v + 20 = x, 4*g - t*v - 22 = 2*g. Solve 0 = 2*i + 7 + g for i.
-4
Suppose 0*q + 12 = 3*q. Solve q = 4*v - 0 for v.
1
Let i be 7 + 12/(-4) - 10. Let q be (3/i - 0)*-6. Solve -2*y = -5*y + q for y.
1
Let h be ((-25)/1 - -3)/(-2). Solve 1 - h = -5*b for b.
2
Let u = 0 - 0. Suppose u + 12 = -4*w. Let z be 0*w/(-9)*3. Solve 5*s = 15 - z for s.
3
Let z be (-6)/21 - 135/(-7). Let y = z + -9. Suppose g = -4*g + y. Solve g = 4*v + 18 for v.
-4
Let t be (0 + (1 - 1))/1. Suppose -49 = -t*w - 7*w. Solve 3*i + w = -2 for i.
-3
Let k(d) = d**3 - 9*d**2 + 2*d - 10. Let q be k(9). Let a = q + -6. Let u(g) = g**3 + 7*g**2 + 7*g + 6. Let t be u(-6). Solve -a*n - 4 = -t for n.
-2
Let r = -22 - -37. Let k = 27 - r. Solve -2*c - k = 2*c for c.
-3
Let k = 57 - 46. Solve -5*p - 4 = k for p.
-3
Let u be (-2)/6 - 125/(-15). Solve v = -v - u for v.
-4
Let o be ((-12)/(-9))/((-3)/9). Let y = o + 8. Solve -y*n + 6 = 2 for n.
1
Let f = -5 - -7. Let k(m) = m + 2. Let b be k(f). Suppose 0*l - 2 = -l. Solve 0*p - b = -l*p for p.
2
Let w(c) = -c + 12. Let g be w(8). Suppose -2 + g = v. Suppose -3*y - 3 = 3*f, -v*f + 3*y - 9 + 32 = 0. Solve s - f + 2 = 0 for s.
2
Let m = -6 + 10. Suppose -m*z - 12 = -z, -3*r + 5*z = -23. Solve 0 = -2*j - 5 - r for j.
-3
Suppose 3*x - 40 = -2*x. Solve 3*q - x = q for q.
4
Suppose -2*o - t - 7 = -4*o, o + t = 2. Suppose -o*q = -i - 2*i + 12, -16 = -4*i - 5*q. Suppose -5*m - 5*b = 20, 3*m + 2*b + 4 = -i. Solve -a - 6 + 3 = m for a.
-3
Let o(y) = y**2 + 6*y - 8. Let f be o(-8). Suppose 2*m + 4 + 0 = 3*a, -2*m = -5*a + f. Solve -a*t = -t for t.
0
Let j = 57 + -33. Solve j = -4*g + 4 for g.
-5
Suppose 2*d + 50 = t - 5*t, -3*t + 4*d - 21 = 0. Let c = t - -31. Let i be (1 - -3 - 1) + 0. Solve -g = i*g + c for g.
-5
Let a = -39 + 93. Let z be a/15 + 2/5. Suppose -8 = -4*d + 2*d. Solve d*p + 0 = z for p.
1
Let u(d) = d - 5. Let w be u(5). Suppose -3 = -b + 5*c - 4, -b = -c - 3. Solve w = -3*n + n + b for n.
2
Suppose 5*a - 8*a = -9. Solve -6*o + a*o = -15 for o.
5
Let u = 37 + -27. Solve 25 = 5*m - u*m for m.
-5
Let q be (1/(-3))/(10/(-60)). Let f be 1 - (-1 - 0/(-2)). Solve q*p = -f*p + 20 for p.
5
Let v(q) = -2*q**2 + 2*q + 1. Let x be v(2). Let h be (-2)/2*3 - -1. Let y be h/(-4)*(-3 - x). Solve -6*s + s - 20 = y for s.
-4
Let l(b) = b**2 + b - 2. Let z(q) = -16*q - 66. Let o(f) = 3*f + 13. Let i(s) = -11*o(s) - 2*z(s). Let p be i(-8). Let v be l(p). Solve -4*k + v = -16 for k.
5
Suppose 3*m = -m + 24. Let f = -6 + 8. Suppose -f*q + 16 = 2*q. Solve -2*k - m - q = 0 for k.
-5
Let z = -2 + 3. Let m(w) = w**3 - 6*w**2 - w + 7. Let s be m(6). Let x be 6 + (-3)/(s/z). Solve 9 = 3*j - x for j.
4
Let q(h) = h**3 + 5*h**2 + 2*h + 6. Let p be q(-5). Let b be (-3)/p*4 - -1. Solve 0 = 6*g - b*g - 2 for g.
1
Suppose -r + 1 = 0, 0 = 2*a + 5*r - r - 4. Suppose 0 = t - 1 - 1. Suppose -43 - 2 = -3*o. Solve t*m + 3*m + o = a for m.
-3
Let s = 51 - 31. Suppose -s = -5*l - 0*l. Solve -5*f = -l*f + 5 for f.
-5
Suppose 0 = -4*a + 18 + 2. Let l(s) = 6*s**2 + 2*s - 1. Let v be l(1). Let u = v - 2. Solve u*b - 10 = -a for b.
1
Suppose -4*x = x. Let w = 4 + 4. Let j be (2 + -1)/(1/w). Solve 4*p + j + x = 0 for p.
-2
Let g = 23 + -19. Solve 5 = g*b - 11 for b.
4
Suppose d - 6 + 3 = 0, 2*d - 12 = -2*w. Solve 0 = -w*t - t + 20 for t.
5
Let n(h) = 7*h - h**2 + 0*h**2 + 2*h**2 + 3. Let s be n(-7). Solve -3*m = -s + 12 for m.
-3
Let w(p) = 29*p**2 - 1. Let a be w(-1). Suppose 3*q - 5*x + a = 0, 2 = -2*q - 0*q - 5*x. Let v be 9*(4/q)/(-2). Solve -11 = -2*l - v for l.
4
Suppose 5*z + j + 4 = 0, 0 = 2*j + 3*j + 20. Let g be z/(-3)*(-3)/6. Solve g*a - 2*a + 8 = 0 for a.
4
Suppose -3*g + 8*g - 56 = 3*j, 3*j = -3*g - 24. Let i be 3/j + 435/12. Suppose 3*f - i = -4*c, -6*c + 45 = -c + 3*f. Solve 2*y = -y - c for y.
-3
Suppose 5*m = 5*y - 0*y + 5, 3*y = -5*m + 37. Solve 3*j + m = 2 for j.
-1
Let w = -2 - -1. Let k be (-122)/(-8) - w/(-4). Solve 0 - k = 3*t for t.
-5
Suppose 5*x = -2*s + 11, -3 = 4*x - 2*s - 19. Suppose 4 = -4*h, -5*h = -l + x*l + 1. Solve 0 = -q - 0*q - l for q.
-2
Suppose -4*g + 2*g + 9 = -5*x, 4*x + 14 = 5*g. Let t = g - 0. Let s = t + -1. Solve -s = 4*h - 9 for h.
2
Suppose c + 3*c = -5*q + 393, 507 = 5*c + q. Let o be c/27 - 4/(-18). Solve -o*n = n for n.
0
Let v be (-14)/(-77) - (-2)/(-11). Solve -k + 0 + 1 = v for k.
1
Let m be (1 + 2)*(-12)/(-9). Let a(i) = -i**2 + 3*i + 3. Let q be a(m). Let z = q + 4. Solve -z*p - 1 - 5 = 0 for p.
-2
Suppose -y + 1 + 1 = 0. Suppose -39 = -y*c - 9. Let b = -9 + c. Solve -b*x = -x for x.
0
Let d(r) = -r**2 + 4*r. Suppose 2*z + 5*l - 18 = 0, -4*l = 4*z - 25 + 1. Let w be d(z). Solve c + w*c = 3 for c.
3
Let p(h) = h**3 - 5*h**2 - 4*h + 4. Let b(n) = 4*n - 3. Let r be b(2). Let s = 11 - r. Let g be p(s). Solve -5*u = g - 1 for u.
-3
Let d = 23 + -20. Solve 2*t - 2 = d*t for t.
-2
Suppose 24*x - 16 = 8*x. Let z = -3 + 5. Solve b + x = z for b.
1
Suppose -15 = -4*x + 5*a, -4*x - 15 = x + 5*a. Solve x*i + 10 = -2*i for i.
-5
Let i(t) = t**2 + 2*t + 4. Let r(o) = o - 1. Let w(d) = -i(d) - 5*r(d). Let f be w(-6). Suppose 15 = -2*h + 7*h. Solve 0 = -h*x + 1 - f for x.
-2
Let p(y) be the first derivative of y**3/3 - 2*y**2 + 3*y - 1. Let d be p(3). Suppose d*m = -2*m. Solve -2*c - 3*c - 5 = m for c.
-1
Let q be 6/(-4)*(-88)/3. Suppose 14 - q = -5*v - 3*h, 3*h - 18 = -3*v. Solve 0 = -v*y + 2*y - 12 for y.
-3
Suppose 1 = -n - 1. Let q = n + 2. Solve q*w = w for w.
0
Let z = -5 + 5. Let s(d) = d**2 - d + 4. Let m be s(3). Let u = m - z. Solve i = 6*i + u for i.
-2
Let t(f) = -27*f. Let v be t(-1). Let l be (-21)/(-35) - v/(-5). Solve -2*c + l = c for c.
2
Let l be (-2 + (-8)/(-5))*-5. Suppose 2*a = -2*a. Solve a*i = -l*i - 6 for i.
-3
Suppose -7*t = -6*t - 7. Solve v - 2 = -t for v.
-5
Suppose 0 = -4*y + 3*q + 39, -y + 3*q = -6*y + 15. Suppose -3*v + 23 - 7 = 5*c, 2*c + v = y. Solve -c*n - 12 = n for n.
-4
Let r(d) = d**2 - d - 1. Let a be r(-1). Let f(u) = -u**2 + u. Let v be f(a). Solve v*p + 4 = p for p.
4
Let b be (-44)/(-12) - 4/6. Suppose -b*y + 15 = 2*y