b = -o*b + f for b.
5
Suppose 24 = -6*o + 3*o. Let a = 10 + o. Suppose -j + 4 = -4*p, 0 = a*j - p - p - 2. Solve j = -3*b - 5 + 2 for b.
-1
Let g(c) = 2*c**2 - 2*c - 2. Let x be g(2). Solve -x*m = -4*m + 6 for m.
3
Suppose -4 = -u - 2. Suppose 2*g = -u - 0, 19 = 2*m - 3*g. Solve 4 = 4*x - m for x.
3
Suppose s = -38 + 38. Solve -4*v - 4 + 0 = s for v.
-1
Let m = 8 - 4. Solve 0 = m*c + 4 for c.
-1
Let r be (-1 - -2) + 2 + -2. Suppose r = -o - 7. Let j be o/((-1)/(1/2)). Solve j*x + 4 = 8*x for x.
1
Let n be (-6)/(-4)*4/3. Suppose -3*j - n*j + 20 = 0. Suppose -2*w - 6 = -j*w. Solve 0 = -w*g + 7*g - 12 for g.
3
Suppose -5*h - 11 - 4 = 0. Let t = 0 + h. Let d be 3*((-24)/9 - t). Solve -r = d + 4 for r.
-5
Suppose 3 + 2 = -5*s. Let k = 1 + s. Solve -4*q = -k*q for q.
0
Suppose 5*k = -0*i + 2*i + 80, 4*i + 48 = 2*k. Suppose 0*c - c - 5*f - 13 = 0, 22 = 5*c - 4*f. Let v(r) = r + 1. Let p be v(5). Solve k - p = -c*g for g.
-4
Let l = -4 + 13. Suppose -i - 5 = -l. Solve o - i = 1 for o.
5
Let t(y) = 5*y**2 + y. Let m be t(1). Suppose 3*c + 29 + m = 4*a, 4*c + 20 = 0. Suppose -a*i = 3*d - 3, 3*i - 9 = -d + 4*i. Solve d*b = b - 15 for b.
-3
Let w(i) = i**2 + i + 4. Let l(r) = -r**2. Let d be l(-2). Let o be w(d). Suppose 8*x = 4*x + 164. Solve 5*a = -o + x for a.
5
Let u = -1 - -2. Let r = -17 + 20. Solve r + u = -z for z.
-4
Let u(x) = -4*x + 1. Let l be u(2). Let z be (l/(-4))/(6/24). Let d = 11 - z. Solve -d*j = -0*j - 16 for j.
4
Let a = 21 + -17. Solve a*t + 4 = -0 for t.
-1
Let n(r) = -r**3 + 6*r**2 - 2*r - 3. Let b = 9 - 18. Let y = -4 - b. Let x be n(y). Solve 3*z - 3 - x = 0 for z.
5
Suppose 4*n - 16 = -w - 2*w, 2*n = 2*w - 6. Solve q + 0*q = w for q.
4
Let b(f) = f**3 - 6*f**2. Let x be b(6). Solve -2*l + 5*l = x for l.
0
Let f(s) = 2*s - 4. Let g be f(4). Solve g*r - 5 = 15 for r.
5
Suppose z = -z. Solve z = 3*a - a for a.
0
Let t be 0*(-3)/6 - -1. Let k be 1/(4/(29 + 3)). Suppose -33 + k = -5*q. Solve -4*m - q = -t for m.
-1
Let o be (4 - 4)*(-2)/(-4). Let c be o/3 - 0/1. Solve -3 = -3*i - c*i for i.
1
Let b(r) = -r**2 + 8*r - 7. Let o be b(6). Let s(w) = w - 1. Let d be s(3). Suppose -o*p + 18 = -d. Solve -p*x - 6 = -x for x.
-2
Suppose 7 = k + 4. Solve 3*d - k = 9 for d.
4
Let d(x) = x**3 + 7*x**2 - x + 8. Let p be d(-7). Solve 2*c = -3*c - p for c.
-3
Let l(g) = -14*g**2 + 11*g - 16. Let j(a) = -3*a**2 + 2*a - 3. Let f(u) = 11*j(u) - 2*l(u). Let v be f(-1). Let k be v*(3 + (-14)/4). Solve -d = k*d + 16 for d.
-4
Suppose -4*o - 44 + 56 = 0. Solve -2 = 5*f - o*f for f.
-1
Let x(p) = p - 5. Let s be x(6). Suppose r - 3 = -s. Solve r*u + 15 = -3*u for u.
-3
Let h(n) = 3*n**2 + 6*n + 5. Let j be h(-4). Suppose 70 = 5*t - 5*k, -5*t + 2*k + j + 26 = 0. Suppose -t = -5*b + 1. Solve 0 = 6*r - 4*r + b for r.
-1
Let s = -2 + 4. Suppose 2 = -s*l + 6. Suppose -l*u + w + 9 = 0, -4*u + 4*w + 8 = -20. Solve -u*n - 9 = n for n.
-3
Suppose 0*y - 2 = y. Suppose 0 = -2*h + 4 - 0. Let t = y + h. Solve -4*l = -t*l - 16 for l.
4
Let q(z) = 1 + 6*z**2 + z**3 - 10*z + 0*z + 3*z + 0. Let v be q(-7). Let s = 4 - v. Solve u = -1 + s for u.
2
Suppose -o = 2*o. Suppose o = 5*m - 23 + 8. Suppose -4*p + m = -z - 13, 5*z + p - 25 = 0. Solve z = d - 0*d for d.
4
Let o(t) = t**2 + 7*t + 8. Let m be o(-6). Let z be (-15)/3*6/(-10). Solve -z = a + m*a for a.
-1
Suppose d = 2*d + 3. Let i be 5*((d - -2) + 2). Solve i*g + 1 = 16 for g.
3
Suppose 11*w = 5*w + 18. Solve -h - w*h = 0 for h.
0
Suppose 0 = -v - 2. Let q be (-2)/2*-4 + v. Solve 2*z + q*z + 16 = 0 for z.
-4
Let d(p) = p. Let w be d(4). Let g be (w/(-1))/(0 - 2). Suppose 0*i + i + 3*h = -g, 3*h = -6. Solve 0 = -i*a + a for a.
0
Suppose 0 = -2*v + 6*v - 3*d + 12, 3*v - d = -4. Solve 3*q + 4 - 13 = v for q.
3
Suppose 1 - 9 = -j. Solve -3*d - 5 = -j*d for d.
1
Let m be (-6)/8 + (-2)/8. Let y be m*(0 - -1 - 3). Let w be 0/((-1 - y)/3). Solve w*p = 4*p + 8 for p.
-2
Let n(r) = r**2 - 10*r. Let d be n(10). Suppose d = 4*l - 33 - 27. Solve 2*i - l = 7*i for i.
-3
Let a be (-2)/((-3)/(-1 + 4)). Suppose 3*o = 6*o - 18. Suppose -o*n + n + 80 = 0. Solve -n = -6*b + a*b for b.
4
Suppose 4*f - 2*h + 10 = 0, -5*f = -4*f - 4*h + 20. Let d = 0 + f. Suppose d*i - 4 = -4*y + 2*i, y - 3*i = -9. Solve -3*x + y + 0 = 0 for x.
1
Let h = -2 + 2. Solve c + h = -4 for c.
-4
Suppose -3*u + 36 = -x, 2*x - 4*u + 3*u = -47. Let i = x + 24. Solve -i*m = -2*m + 1 for m.
-1
Suppose -5*b + 2*b - 3*p + 21 = 0, 2*b - 2*p = 22. Let u = -7 + 14. Suppose -5*o = -4*a - u, -4*a + b = o - 2. Solve h = -a*h - 3 for h.
-1
Let u(z) = 4*z**2 + 2*z. Let w be u(-4). Suppose w = 7*c - 3*c. Let r be 3/(6/c)*1. Solve 3*v = -4 + r for v.
1
Let p = 3 + -1. Let y = 0 + p. Solve y - 12 = 2*z for z.
-5
Suppose 2*z + z - 3 = 0, 3*k + 2*z = 8. Solve -4*i + k = -2 for i.
1
Let l(t) = -t**2 + 2*t - 2. Let f be l(3). Let m(o) = -o**2 - 6*o - 2. Let k be m(f). Suppose 14 = -k*z + 5*z. Solve 3*c - z = -1 for c.
2
Suppose -2*m - 3*g + 2 = 0, 5*g - g = -3*m + 3. Solve 3 - m = v for v.
2
Let c be -2 + ((-105)/(-18) - 1/(-6)). Solve 0*w + c = -w for w.
-4
Let f(k) be the second derivative of k**4/12 - k**3 - 5*k. Let o be f(8). Solve 0 = 4*p + o for p.
-4
Let k(y) = 5*y**2 + 2*y + 1. Let u be k(-1). Let l(t) be the second derivative of -t**4/12 - 3*t**3/2 + t**2 - 2*t. Let x be l(-9). Solve u + 6 = x*q for q.
5
Let o be 1 + 1 + 0/1. Let f(y) = 3*y**2 - 3*y + 2. Let n be f(o). Solve -3*p = -n*p for p.
0
Suppose -4*g + 2*g = -0*g. Solve -b + g*b + 3 = 0 for b.
3
Let n = 14 + -12. Suppose 5*m + 9 = 2*g - 13, -n*m = 8. Solve g + 4 = -v for v.
-5
Suppose -56 - 14 = -7*b. Solve -4*q + b = q for q.
2
Let n be 6/(-4)*16/(-6). Suppose 4 = p + s, 4*s - 2 = n*p - p. Solve 0 = m - 1 + p for m.
-1
Suppose 0 = -8*w + 21 + 35. Solve -1 = 4*j + w for j.
-2
Let i = 18 - 3. Suppose 0 = 4*q + q - i. Solve q = 3*b - 0 for b.
1
Let x(i) = 6*i**2 + 7*i. Let s(h) = 7*h**2 + 8*h. Let d(b) = -4*s(b) + 5*x(b). Let v be d(-2). Solve -y - v*y = 12 for y.
-4
Suppose 8*f = 12*f. Solve -5*t + 0*t = f for t.
0
Suppose 5*t - 6*t = -4*p - 20, 0 = -4*t - 3*p + 23. Let v be 1/3*72/6. Solve -t = v*h + 8 for h.
-4
Let r(o) = -2*o + 18. Let x be r(9). Solve -3*u + 2*u - 3 = x for u.
-3
Let h = 11 + -6. Let x be -2 + (-4)/2 + 8. Suppose 13 - 4 = x*i - 3*y, 0 = -h*i + y + 25. Solve -20 = -2*w + i*w for w.
-5
Let h be (3 - 17/5)*-5. Suppose -2 = -2*l - 4*k, 3*k = -2*l - h + 6. Solve 3*n - 2 + l = 0 for n.
-1
Let g = 42 - 39. Solve -6*w - 6 = -g*w for w.
-2
Let d = -11 + 13. Solve d*a = -2*a - 16 for a.
-4
Let j(b) = -b**2 + 7*b + 8. Let z be j(8). Solve -k + z = -1 for k.
1
Let n(w) = w**2 + 3*w - 7. Let x be n(-5). Let s(y) = 2*y - 4. Let k be s(x). Solve -t - 3 = k for t.
-5
Let k be ((-10)/(-4))/(2 + 19/(-10)). Solve 0 = 7*u - 2*u - k for u.
5
Let q(s) = -s**3 + 5*s**2 - 4*s + 2. Let c be q(4). Suppose c*m = -0*m. Solve m = 3*u + u - 12 for u.
3
Suppose 3*k - 5*k = -4. Suppose 0*h + k = -2*r - 2*h, 0 = -5*r + 5*h + 35. Solve -v - 2*v = r for v.
-1
Let f be (6/9)/((-1)/(-3)). Suppose 5*h + q = 116, 56 = 2*h - 4*q + f*q. Suppose h = 5*l + 4*p, -2*p - 1 = -3*p. Solve -w = -5*w - l for w.
-1
Suppose -i = -0*i. Suppose 4*h - 7*h = i. Solve h = -0*j + 3*j + 3 for j.
-1
Let q(n) = 2*n - 7. Let z be q(5). Let d be 2/8*2*0. Suppose d = z*x + 3 - 18. Solve -x*f + f - 12 = 0 for f.
-3
Suppose 0 = d - 5*d + 12. Suppose -d*j + j + 12 = 0. Let f = -3 + j. Solve b = -0*b + f for b.
3
Let i(j) = -j + 2. Let u be i(-8). Solve -4*l = -2*l + u for l.
-5
Let o be ((-3)/(-2))/((-6)/(-16)). Suppose 0 = -5*b - o*s + 29, 5*s + 17 = 4*b + 2*s. Let a = 0 + b. Solve z - a + 4 = 0 for z.
1
Suppose 30 = 5*z - 3*z. Solve 2*n + 5 - z = 0 for n.
5
Let b(d) = -4*d - 5. Let y be b(-3). Solve 3*l - y*l - 16 = 0 for l.
-4
Suppose -24 = -3*q - 3*q. Let b(g) = -g**2 - 8*g + 8. Let z be b(-7). Solve -q*p - z = p for p.
-3
Let f(w) = -4*w + 75. Let y be f(18). Solve 0 = -6*a + y*a + 15 for a.
5
Let y(t) = t + 2. Let k be y(0). Suppose w + 2*w + k*v = 28, -33 = -3*w - 3*v. Solve 0 = q + 2*q - w for q.
2
Let y(c) = -c**2 - 18*c - 15. Let r be y(-17). Suppose -3*i + 5 = r*i + 5*f, i = 2*f + 13. Solve 0 = i*d - 0*d + 15 for d.
-3
Suppose 5*v = 2*v. Solve v = -9*n + 4*n - 20 for n.
-4
Suppose 11 = 3*i - 16. Let t be (i/(-6) + -1)*-2. Let c = -2 + t. Solve h = c*