= 18 for g.
-2
Let f = 582 + -580. Solve -a + 1 = -f for a.
3
Let y(a) = -3*a**2 + 7*a - 2. Let b be y(3). Let t = -17 - b. Let c be (-3)/(-2) - t/6. Solve 0 = c*w - 0*w - 12 for w.
4
Suppose 4*q + 6 = 6*q. Suppose -8611*j + 8643*j = 224. Solve -j*i = -q*i - 16 for i.
4
Let a = -170 + 172. Solve -a*h = -0*h + 6 for h.
-3
Let b(j) = -j**3 - j**2 - j + 29. Let z be b(0). Solve 0 = -7*y - z + 50 for y.
3
Let y(v) = v**3 - 8*v**2. Let u(l) = 4*l. Let k be u(2). Let h be y(k). Suppose m - 5 = -2. Solve m*t + 15 - 3 = h for t.
-4
Let k(c) = 4*c + 84. Let s be k(-21). Solve 12*m - 15*m + 12 = s for m.
4
Suppose -3*o + 33 - 6 = 0. Suppose 5*l - 15 = 4*g, -3*l + 2*g + 12 = l. Solve 0*a - l*a - o = 0 for a.
-3
Let m be 0 - (-45 + (-7 - -4)). Let y = -44 + m. Solve -y*t = 3 + 17 for t.
-5
Suppose 18 = 2*r - 0*r. Suppose r*o = 14*o. Solve o = -n - 2 + 7 for n.
5
Let n(z) = -z**3 - 7*z**2 + 19*z + 2. Let d be n(2). Solve k = -d*k for k.
0
Let j(n) = n**2 + 9*n + 7. Let a be j(-9). Suppose -2*w + a + 13 = 0. Solve -t + 6*t = -w for t.
-2
Let m = -94 + 99. Solve -1 + 21 = m*p for p.
4
Suppose 0 = 2*o - 2 - 4. Suppose r + 4 = 0, -4*u + o*r = 4*r - 12. Let n be (19/(-2))/(u/(-8)). Solve -3 + n = -4*p for p.
-4
Let i = 42 + -16. Let o be -1 + 0 + (i - 0). Suppose -2*a - 5 = -15. Solve o = -5*v + a for v.
-4
Suppose 2*s = 5*l - 0 + 3, 5*l - 67 = -3*s. Suppose -9*w = 5 - s. Let m be (-2)/(-9) - (-68)/18. Solve -m*v = -11 - w for v.
3
Let z(r) = -r**3 - 2*r**2 - 23*r - 73. Let k be z(-3). Solve -k*b = -4 - 1 for b.
1
Let u = -7 + 11. Suppose 6635*y + 24 = 6639*y. Solve 0 = -8*j + y*j + u for j.
2
Let z be ((1 + -6)/10)/(2/512). Let y = z + 131. Solve -y*w + 7 = -5 for w.
4
Let b(d) be the first derivative of -d**4/4 - d**3 - 3*d**2/2 - 2. Suppose 3*a + 5*s + 2 = 3, -4*s + 20 = -4*a. Let q be b(a). Solve o + 2*o = -q for o.
-3
Let a(c) = -c - 1. Suppose 3*r + 2*r + 90 = 0. Let v be ((-4)/6)/((-12)/r). Let o be a(v). Solve o = l + 2*l - 6 for l.
2
Let a be (60/(-16))/((-3)/16). Solve 0*w + a = 5*w for w.
4
Let w be (-3)/(-2*(-1)/(-4)). Suppose -w*r = -4*r - 16. Let u(v) = -v**3 + 7*v**2 + 9*v - 8. Let t be u(r). Solve -p + t = 1 for p.
-1
Let m(v) = 2*v**3 + 79*v**2 - 44*v - 135. Let x be m(-40). Solve 14*c - x = 19*c for c.
-5
Let w(j) = 10*j - 52. Let r be w(6). Solve 5*a - r = -23 for a.
-3
Suppose 2*x + 5 = 2*d - 5, -4*x - 20 = -5*d. Suppose 4*n - 3*t - 48 = d, -4*n + 4*t = -2*n - 14. Solve -4*f - n = -f for f.
-5
Suppose 0 = p - x + 1, -3*p + 2*p + 2*x - 3 = 0. Let q be 15/(-6)*p*4/(-5). Solve -q*l = l for l.
0
Let y(l) = l - 8. Let a be y(8). Let n be (-1)/(10/(-48)) - 25/(-125). Suppose 10 = -5*p - n*h, 4*p + 5*h + 21 - 9 = a. Solve p*v + 6 = 4*v for v.
3
Let y = -470 + 476. Solve 0*a - 30 = y*a for a.
-5
Suppose 3*b = -0*b - 24. Let n = b + 15. Solve -2*z + n*z = 0 for z.
0
Suppose 4*r + 48 = 5*a, 9 + 11 = 3*a + 2*r. Let f be (-2 - a/4) + 8. Solve f*v + 4 = 8*v for v.
1
Let c be (2 + -4*2)/1. Let u be c/((6 + -4)*-1). Solve n - 1 + u = 0 for n.
-2
Let f be ((-6)/(-4) - 1)*2. Let y = 197 + -149. Suppose 0 = -y*m + 37*m. Solve -q - 2 - f = m for q.
-3
Let v be (4 + -3 + -5)/2. Let g be (-3)/(v*(-3)/(-10)). Suppose 13 - g = c. Solve 0*r - 2*r = c for r.
-4
Suppose -l + v + 3 = -0, -3*v = -2*l + 6. Suppose -s = -5*s + 4, -g + 6 = l*s. Suppose -f = f - g*o - 12, -5*f + o = -17. Solve -6 = -h + f*h for h.
-3
Suppose 294 = 7*n + 63. Solve 24*a - n = 63 for a.
4
Let i = 944 - 940. Let x = -2 - -4. Solve x = -i*k + 14 for k.
3
Suppose -4*x + 1 - 34 = -5*f, 3*x + 1 = -f. Solve -11 - f = 4*q for q.
-4
Let c = 121 - 96. Solve 20 = -c*u + 21*u for u.
-5
Suppose -y - y = -s - 32, 4*y - 64 = -3*s. Solve -5*f = -f - y for f.
4
Suppose s - 71 = -4*c + 67, -4*c = -5*s - 150. Let d = 45 - c. Solve 8*t + d = 3*t for t.
-2
Let p = 56 - 24. Let h = p + -22. Solve 2 = 4*r + h for r.
-2
Let v = 672 + -662. Solve 0*m + v = -5*m for m.
-2
Let q(s) = s**3 + 4*s**2 + 104. Let k be q(0). Solve -k*u = -109*u + 5 for u.
1
Let i(r) = r**3 - 17*r**2 + r - 15. Let z be (-6 - -4) + 10/2 + 14. Let h be i(z). Solve h*w + 3*w = -10 for w.
-2
Let r be (0/((-12)/(12 - 6)))/1. Solve r = 2*o - 6*o + 8*o for o.
0
Let s = -5 + -12. Let k = s + 27. Solve -5*j = -0*j - k for j.
2
Let c(k) be the first derivative of -k**4/4 + 10*k**3/3 - k**2/2 + 10*k - 17. Let i be c(10). Solve -a + 3*a = i for a.
0
Let m(b) = -4*b. Let d be m(-1). Let g(j) = -3*j**2 + 13*j + 7. Let x be g(5). Let y = d - x. Solve -y = p - 3 for p.
-4
Let k be (-1)/3 - (-12)/36. Let m(n) = 1 + 0 + 7*n - 2. Let s be m(1). Solve s*l - 5*l = k for l.
0
Let x(g) = -g**3 - 6*g**2 + g - 1. Let n be x(-6). Let y(k) = -k**2 - 7*k. Let d be y(n). Solve 5*t + 0 + 5 = d for t.
-1
Let r = 271 - 271. Solve 0*s + 6*s = -r*s for s.
0
Let s(r) = r + 1. Let q be (2 + -12 + 2)/(-2). Let f(b) = 4*b + 2. Let v(h) = q*s(h) - 2*f(h). Let n be v(-1). Solve -n*z + 10 = -6 for z.
4
Let l = 344 - 316. Solve 0 = l*f - 31*f + 9 for f.
3
Let c be (0/(((-12)/(-3))/(-4)))/1. Solve c = -13*g + 4*g for g.
0
Suppose 4*z + 4 = 4*t, -2*t - 5 = -7. Solve -9 = 3*n - z*n for n.
-3
Suppose 5*g - 56 = 64. Let l = -176 - -188. Suppose -l*y + 8 = -52. Solve -4 + g = y*u for u.
4
Let b = -1681 - -1686. Solve 49 - 29 = -b*w for w.
-4
Let t(o) = o**3 + 22*o**2 + 25*o + 92. Let h be t(-21). Solve -h*l - 2*l = -20 for l.
2
Suppose -7 = 4*d - 3*h, 0 = -3*d + h - 6*h + 31. Suppose -3*s = -4*s + d. Let y be 0/((2/s)/1). Solve -4*q + 7 + 9 = y for q.
4
Let l = -25 + 10. Let r = 17 - l. Let g = r - 26. Solve 4*o = o - g for o.
-2
Let z(r) = r**3 + 5*r**2 + 9*r + 8. Let w be z(-2). Suppose 0*k - 2 = -k. Solve w = k*j - 2 for j.
2
Let p be (-3 + (-6)/(-2))/(84/12). Solve p = -11*t + 6*t + 15 for t.
3
Suppose 3*j + 3*k - 4*k = 75, -4*k - 125 = -5*j. Let w be (0 - -1)*-1*-15. Suppose 0 = u + 9 - w. Solve -n = -u*n + j for n.
5
Suppose -5*u = -3*u + 3*y + 14, -3*y = -2*u + 10. Let w(z) = -2*z**3 - z**2 + 3*z + 2. Let h be w(u). Solve 3*k - 1 + 7 = h for k.
-2
Let j = 162 + -153. Solve 4*f - f = -j for f.
-3
Suppose -m = 2*m - 108. Suppose -3*d - 2*y = -m, 4*d + 24 = -3*y + 72. Suppose -4*s - 5*a + 5 = -1, 0 = 5*s + 4*a - d. Solve 0 = -s*w - w for w.
0
Let h be (-3)/2 + 45/(-18) + 34. Solve h = -18*w - 42 for w.
-4
Let y(v) be the first derivative of 5 + 8*v - 1/2*v**2. Let l be y(8). Solve l = -3*n - 3 - 3 for n.
-2
Suppose -5*r + 30 - 21 = f, -3*r = -4*f + 13. Solve 0 = -f*o + 2*o - 2 for o.
-1
Let n = 530 - 521. Solve n*q = q - 32 for q.
-4
Let f(p) = p**2 + p + 2. Let w be f(2). Suppose -5*y + 37 = 3*s - 4*s, -5*y + 5*s + 25 = 0. Suppose w*n - y = 4*n. Solve 0 = n*o - 3*o for o.
0
Let s(x) = x**2 + 7*x + 16. Let b be s(-7). Suppose 4*q = 5*v - 24, -4*v + 8*q + b = 4*q. Solve 4*u + 0*u = v for u.
2
Let f be (-40)/6 - 18/(-27). Let q = f + -2. Let h be ((-4)/q)/(2/12). Solve -h*s = -0*s for s.
0
Suppose -591*w = -587*w - 8. Let j(l) = l**2 - 1. Let z be j(-1). Solve z = -5*p + w*p - 15 for p.
-5
Suppose -3*d = 2*c - 4, 9*d + 11 = 6*d + c. Let j be ((-8)/28)/(d/14). Solve s + 0 = -j for s.
-2
Let j be (4/3)/((-2)/27). Let s = j - -18. Suppose c = u - 4*u + 13, 28 = 4*u + 4*c. Solve s = 4*o - u*o - 2 for o.
2
Let v(w) = w + 27. Let o be v(-15). Let c be (0 + o/(-9))/((-4)/6). Solve 2 = -c*n - 6 for n.
-4
Suppose 711*o - 693*o = 126. Solve -4*z - 7*z = o*z for z.
0
Let f = 2239 + -2231. Solve 23 = -15*h + f for h.
-1
Let v(x) = -2 + 3*x + 5 + 3*x. Let z be v(2). Solve -4*n = -n + z for n.
-5
Let q(d) = 2*d**2 + 1. Let l be q(-1). Let x be (0/l)/(3/3). Solve -2*t = -x*t for t.
0
Suppose 152 = 4*t + 4*n, -153 = -4*t - 3*n - 0*n. Let y = t + -29. Suppose -2*p + y = 3*p. Solve 6*b = p*b - 4 for b.
-1
Let a be 138/(4 + -7) - 4. Let n be ((-2)/(-5) + -2)/(5/a). Solve -u - n = -5*u for u.
4
Let i = -23 + 31. Let u = i - 6. Suppose 0 = 3*m + 2*q - 7, 4*m + 0 = 4*q - 4. Solve m = -u*f - 3 for f.
-2
Let f be (-1398)/(-34) + 1344/136 + -10. Solve 0 = -5*p + f - 16 for p.
5
Suppose 5*m + 3*f = -15, -2*m - 20 = -7*m + 4*f. Let r = 30 - 2. Suppose -7*j = -m*j - r. Solve -15 = -j*p + 1 for p.
4
Suppose -4*u - 5*v + 26 = 0, 16*u = 19*u - 5*v - 37. Solve -2*a = -u*a - 7 for a.
-1
Suppose 4*c = -3*w - 8, -2*c + w - 1 = -7*c. Suppose 19*i - 16*i - 3 = -3*g, -7 = -4*g - i. Solve -k - c = g for k.
-3
Let q be (