g.
0
Let c = 43 + -22. Let m = -18 + c. Solve m*j = j + 2 for j.
1
Let o(k) = k**2 + 6*k - 17. Let g be o(-8). Suppose 4*p - 1 = 11. Let j = g + p. Solve -2*y - 16 = j*y for y.
-4
Let a = 1 - 4. Let o(j) = j**2 + 4*j + 3. Let l be o(a). Suppose 0*m + 2*m + r - 2 = 0, l = 5*m - 4*r + 8. Solve -i + 4*i - 6 = m for i.
2
Let z be (-4)/(-14) + 4/(-14). Suppose 3*x + 0*x - 20 = b, z = x - b - 10. Solve 6 = 3*v - x*v for v.
-3
Let a be -1*2 + -2*20/(-10). Solve -4*n = -a*n + 6 for n.
-3
Suppose j - 8 = 2*x, -20 = -4*j + 3*x + 2. Let w = j + -3. Let l(i) = 7*i - 1. Let f be l(w). Solve f = 4*g - 6 for g.
3
Let f(h) be the second derivative of 0 - 1/20*h**5 + h - 1/3*h**3 - 3*h**2 - 1/3*h**4. Let o be f(-4). Solve -3 = 5*j + o for j.
-1
Suppose 0*w + 2*w - 5*f = -9, 4*f - 8 = 2*w. Let l be w/(6/(-9)*1). Solve 0 = -2*p - 1 - l for p.
-2
Suppose -2*l = 6 - 14. Solve -l*r + 2*r = 8 for r.
-4
Let a be (9/12)/(1/4). Suppose o + y - 3 = 0, -3*o + 0*y + 3 = -a*y. Let h be 1*(-6)/(-2 - 1). Solve 3*c - o*c = -h for c.
-2
Suppose j = 4*j - 9. Suppose -5*i + j = -2. Solve -i = 5*s + 4 for s.
-1
Let r = 27 + -15. Let p be 30/8 + 1/4. Suppose 0 = -2*f + p*f - r. Solve 4 + f = -5*a for a.
-2
Let c be (3 - 2)/(2/4). Solve -4 = 2*s + c*s for s.
-1
Suppose 36 = 5*z - 89. Let j = 3 - 4. Let f be 3 + 0 + 2 + j. Solve -f*k + z = k for k.
5
Let z = 38 - 36. Solve 1 + 3 = -z*d for d.
-2
Let d = 17 - 12. Suppose -5 = -5*h - 2*s + 5, 3*h - 5*s - 37 = 0. Solve -h*w = w + d for w.
-1
Let p(b) = 10 - 11 + 14 + b. Let l be p(-11). Solve 0 = -2*j - l*j - 8 for j.
-2
Let u be (-2)/(-2)*-1 - 0. Let s be -2*(u/(-2) - 0). Let k be (-10)/(s/((-1)/(-2))). Solve -k*m + 15 = -0*m for m.
3
Let p = -12 - -12. Let v be 2/5*(24 + 1). Solve p = -3*a - v - 5 for a.
-5
Let q = -26 - -28. Solve -q*j = j for j.
0
Let t(r) = -r**3 - 6*r**2 - 3*r - 3. Let b be t(-5). Let z be b/(-4) - (-4)/(-16). Solve z*i = -0*i - 6 for i.
-2
Let b(l) = -5 - l + 2 + 2. Let y be b(5). Let u(q) = q**2 + 6*q + 6. Let k be u(y). Solve 2*g - k*g = 12 for g.
-3
Let l(o) = o**3 - 6*o**2 - 1. Let u be l(6). Let g = 3 + u. Solve g*h + 2*h = 20 for h.
5
Let s = -12 - -12. Suppose 0*b + 4*b = s. Let o = 7 + -3. Solve b = -3*l - l + o for l.
1
Suppose -3*p - 8 = -32. Suppose p = 2*q + 4. Solve -4*o - q = 10 for o.
-3
Let h(k) = 1 - 5*k + 3 + k. Let f = -12 - -8. Let j be h(f). Solve -j = -2*v + 7*v for v.
-4
Let o = -10 + 12. Let g(n) = n + n + 3*n**2 - 4*n**2 + 3. Let d be g(3). Solve -r = -o - d for r.
2
Let j = -11 - -19. Suppose 4*x + x = 20, 0 = 4*u - 2*x + j. Let a be (1 - 2 - -7) + -2. Solve -a = -2*g - u*g for g.
2
Let s = -3 - -4. Suppose -2*w + 5 - 3 = 0. Let g = w + s. Solve 4*z + 6 - g = 0 for z.
-1
Let q be 9/3 + -4 + 6. Suppose -7*r + 6*r + q = 0. Solve 2*a - 6 = r*a for a.
-2
Let a = 3 + 0. Let b(m) = 3*m + 13. Let v be b(-6). Let o = v - -14. Solve -o = 2*r - a for r.
-3
Let d(a) = a**3 + 8*a**2 - 12*a + 6. Suppose 3*q + 8 = -19. Let k be d(q). Suppose 4*f - k = 31. Solve 2*x = -2*x + f for x.
4
Let t be 42*((-12)/3)/(-1). Suppose 2*x + 2*x - t = 0. Suppose -4*f + x = -0*f + 5*w, 4*f + 4*w = 40. Solve -v = 3*v - f for v.
2
Let w = 54 - 30. Let f = -13 + 9. Let v = w + f. Solve 0*j - v = 4*j for j.
-5
Let t = 10 + -7. Suppose t*k = -k. Let m be (k/(-1)*1)/1. Solve m = -0*v - v - 4 for v.
-4
Let u be (2/(-5))/((-1)/5). Solve u*q + 3 = 11 for q.
4
Let r(d) = -d**2 - 11*d - 8. Let b be r(-4). Solve -4*q = -0*q + b for q.
-5
Let u = -6 + 7. Let z = u - 1. Let v be (3*1)/(6/8). Solve z = 3*d + v - 1 for d.
-1
Let i(z) = 2*z - 3. Let a be (-12)/(-20) - (-12)/5. Let s be i(a). Solve -f = -s*f for f.
0
Suppose 2*o = -3*r + 2*r + 10, -3*r - 4*o = -22. Let i be 1/(5/r + -2). Let a = -23 - -25. Solve -a*h = i*h for h.
0
Suppose 9*w - 4*w = 20. Solve w*r = r for r.
0
Suppose 2*f - 3 = 5. Suppose f*n + 12 = 44. Suppose q - 2*j = n, -j - 13 - 5 = -4*q. Solve -q - 1 = -5*z for z.
1
Let h(q) = -q - 1. Let p be h(-6). Let i(l) be the second derivative of -l**3/6 - 7*l**2/2 - 7*l. Let u be i(-10). Solve -p*y - 4 = -u*y for y.
-2
Suppose x - 8 = 3*w, w - x + 16 = -4*w. Let y(g) = -g + 1. Let u be y(-4). Let f = u + w. Solve 2*v + f = -3 for v.
-2
Suppose -3*p = 5*h - 2*p - 41, 2*h - 4*p - 34 = 0. Suppose 0 = -4*m + 5*m - 2. Solve -m*d - d = -h for d.
3
Suppose 3*v + 6 = 4*v. Suppose q = 4*a - 5*a, -q = 2*a + 4. Solve -v = -2*g + q*g for g.
-3
Let k(x) = x**2 - 13*x + 14. Let m be k(12). Solve -3*q - m*q + 5 = 0 for q.
1
Let t = 8 - 5. Suppose 0 = -8*u + 3*u + 15. Let v be (t - u)/(2 + -1). Solve -2 = -v*s + s for s.
-2
Let y be (-2)/11 + (-72)/88. Let b be (0 - 0)*y/2. Solve b - 4 = -4*l for l.
1
Let r(v) = v + 1. Let m = 3 + 0. Let n be r(m). Solve 25 = -o - n*o for o.
-5
Let x be 4/(-14) + (-256)/(-14). Suppose 4*q - x = 3*q. Let p = q - 12. Solve -h = h - p for h.
3
Let i = 1 - -1. Solve -i = 5*x + 23 for x.
-5
Let t be 1/((-1)/(-18)*3). Let b be t + -4 - (-2)/(-1). Solve 0 = -b*v + 3*v - 15 for v.
5
Suppose -3*x - 5*q = -3*q - 41, 2*q = 2. Solve 4*j - 7 - x = 0 for j.
5
Let d(k) be the second derivative of k**4/6 - k**3/2 + 3*k**2/2 - k. Let q(w) = 2*w**3. Let l be q(1). Let n be d(l). Solve 0*b + n = -b for b.
-5
Suppose -5*h - 3*d - 190 = -0*d, 4*d - 50 = 2*h. Let s = -6 - h. Suppose -n + 3 = 3*r - 16, -4*r = 5*n - s. Solve -2*c = -r - 4 for c.
5
Suppose 4*q + 9 - 25 = r, q - 4 = -r. Solve r = -5*f - 0*f - 10 for f.
-2
Let p = 55 + -88. Let k = p + 18. Let x be 52/5 - (-6)/k. Solve -z - z = -x for z.
5
Let t(k) = -k - 3. Suppose 7*r + 2*u = 3*r - 12, -u = 0. Let s be t(r). Solve 4*x + 0*x = s for x.
0
Let x(a) = 3*a + 48. Let p be x(-16). Solve p = 2*b - b for b.
0
Let v = 13 - 10. Solve -5*f + 8 = -v*f for f.
4
Let u = -5 + 31. Suppose 0 = 2*g + 4*r - u, g - 5*r + 0 = 48. Solve -8 = 3*h - g for h.
5
Let p be ((-21)/9)/(1/(-48)). Let u be p/10 + 1/(-5). Let c be (-2)/3 - u/(-3). Solve -c - 12 = 5*o for o.
-3
Let t be (-6)/((-12)/4) - -1. Suppose 5*d = -r - 11, 0 = -4*r - d - t*d + 20. Solve 0 = 6*s - 3*s - r for s.
3
Suppose -7 = -3*z - 2*z - 3*s, z = -2*s. Solve 3*g - 20 = -z*g for g.
4
Let x = 8 - 6. Solve 4 + 4 = -x*v for v.
-4
Let n = 6 + -2. Suppose n*f + 3 = 11. Solve -5 = -q - f for q.
3
Let j(n) = -n**3 + 9*n**2 - 8*n - 6. Let t be j(8). Let p = -4 - t. Suppose 0 = -3*s - 3*z + 12, 2*z + 1 = -s + p*s. Solve -s*k + 10 = 2*k for k.
2
Suppose 4*k = -z + 16 + 1, 0 = 3*k + z - 14. Let t = 19 - 13. Suppose -m = -t - k. Solve 11 + m = 5*l for l.
4
Let a(z) = -z**3 + 5*z**2 - 2*z - 4. Let c be a(4). Let y(x) = x - 1. Let m be y(4). Suppose 2*w - 6 - 4 = m*u, 16 = 4*w - 4*u. Solve w + 2 = c*o for o.
1
Let f be ((-9)/(-6))/((-1)/(-2)). Solve 2*d - f = d for d.
3
Let g be (6/(-3) + 2)/1. Suppose 2*n + 14 = -5*b + b, g = 5*n + 2*b + 3. Let t be 0 - (n - (8 + 1)). Solve 3*k - t = 7 for k.
5
Let h(v) = 2*v**2 + v - 2. Let l be h(-3). Let m = -1 + l. Suppose 4*i = -4*d - m, -2*d - 5*i - 1 = 14. Solve d = -5*n + n + 16 for n.
4
Let a be (-40)/(-50)*10/4. Solve -r + a = 5 for r.
-3
Let y(c) = 3*c - 14. Let r be y(6). Solve r + 0 = f for f.
4
Let k = -70 + 81. Solve -k = -4*l + 5 for l.
4
Let i(v) = -3 - 4*v + 5*v + 12*v**2 + 2. Let k be i(1). Solve -2*u - 2*u - k = 0 for u.
-3
Let t = 29 - 26. Solve 4*f + 3 = t*f for f.
-3
Let y = 53 - 38. Solve -4*v - y = -v for v.
-5
Let l be -3*12/27*-3. Suppose -20 = l*s, q - 4*s - 20 = -2*q. Solve q = 5*v - 5 - 10 for v.
3
Let y = 20 + -16. Solve -2*q + 3*q - y = 0 for q.
4
Let r(v) = -v + 6. Let u be r(5). Let t be 2 + -2*u/(-1). Suppose 0 = 2*a + 3*a. Solve -2*d + 0*d + t = a for d.
2
Suppose -3*p = 0, 3*p = 4*m + 2 - 10. Solve y + 12 = -m*y for y.
-4
Suppose 9*p + p = 20. Solve -7*o = -p*o - 25 for o.
5
Let a(p) = p**3 - 4*p**2 + p + 6. Let g be a(5). Suppose -5*s + 4*c + g = 0, -2*c - 2*c = -3*s + 28. Solve 3*b + 1 = s for b.
1
Let y = -66 + 69. Solve -b - y = -0*b for b.
-3
Let j(i) = -2*i - 31. Let l be j(-18). Solve 3*d + 1 = -l for d.
-2
Let q = -15 + 17. Suppose -2*o - 2*o = 0. Let f = 3 + o. Solve 1 = -q*h + f*h for h.
1
Suppose -7*v = -3*v - 8. Solve 4*i - 2*i = -v for i.
-1
Let x(z) = z. Let t be x(0). Let g = -6 + 10. Let q be (24/18)/(g/6). Solve -a + q*a - 3 = t for a.
3
Suppose -9*i + 24 = -3*i. Let h(m) = m**3 + 2*m**2 - 4*m - 1. Let k be h(-3). Solve 0 = -3*z - k - i for z