 + 10 for o.
2
Suppose -2*c = 3*z - 19, 2*z + 3*z - 17 = 4*c. Solve 3*k = z - 2 for k.
1
Suppose -x + 5*m = -12, 4*x + x + 56 = -4*m. Let s = x - -8. Solve 5*g - 4*g + 4 = s for g.
-4
Let l = 48 + -48. Solve l*p = -3*p for p.
0
Suppose 0 = -4*w + 4*d, -w + 5*d = w. Solve 0*v + 4*v - 12 = w for v.
3
Suppose 4*c - 2*b - 33 = -11, -3*c = -b - 15. Suppose -9*o + c*o = -55. Solve 2*x + o = 3 for x.
-4
Let z be 12 + 16/(-4) - 4. Let d be (-13)/(2/4*-2). Solve -z*v - d = 7 for v.
-5
Let i(n) = n + 10. Let f be i(-5). Solve -2 = s - f for s.
3
Let z be 2*(0 - (0 + -1)). Solve -z*g + 8 = 2 for g.
3
Suppose 5*q - 2 = 18. Let u(y) = -y**3 + 4*y**2 + 5*y + 2. Let w be u(5). Solve -w - 2 = q*s for s.
-1
Let d = -3 - -5. Let l = 1 + d. Solve -2 = 5*s + l for s.
-1
Suppose w - 12 = 3*w. Let o = w + 8. Solve -6 = -x - o for x.
4
Let a = 21 - 8. Let s = a - 23. Let p be ((-12)/s)/((-6)/(-30)). Solve -t = t + p for t.
-3
Suppose -4*n + 49 = 41. Solve -n*i - i = -3 for i.
1
Let h be (-2)/8 - (-51)/12. Suppose q = d + h*q - 6, -11 = -2*d - 5*q. Suppose 2*o = -d*o. Solve o = -0*i + i for i.
0
Suppose 4 = -3*w + 13. Solve 5 - w = -2*v for v.
-1
Let d = -2 + 1. Let r(c) = 8*c**2 + 2*c + 1. Let p be r(d). Solve 8 = -p*q + 3*q for q.
-2
Suppose 3*w = -0*p + 3*p + 192, 0 = -3*w + p + 184. Suppose w = 4*g + g. Solve 5*d + 13 = -g for d.
-5
Let a = -29 - -32. Solve -a - 7 = -5*v for v.
2
Suppose -5*j = -2*j + 12. Let b be (-34)/j + 1/2. Solve 7*t = 4*t + b for t.
3
Suppose -r + 70 = 4*r. Suppose 0 = -2*a - 5*f + 26, -a - f + r = f. Suppose a = 3*x + q - 3*q, -2*x = -q - 11. Solve -w + 5*w = -x for w.
-1
Let z = 10 - -4. Let t = z + -9. Solve 0 = 5*w + t + 5 for w.
-2
Suppose 0 = p + 3*p. Let y be (-2 - (-2 + -3)) + 1. Suppose p = -c + y. Solve -2*a + a = -c for a.
4
Let v = -29 - -41. Let x be (-18)/v + 9/(-2). Let j = 10 + x. Solve m + j - 6 = 0 for m.
2
Let i be ((-1)/(-2))/(2/(-20)). Let k be 1/i - (-32)/10. Suppose 4 + 7 = 4*y + 5*f, -y + 24 = -k*f. Solve 4*o + y = o for o.
-3
Suppose 11 = 4*g - h - 1, -4*h = -g - 12. Solve 0*i + g*i + 12 = 0 for i.
-3
Let p(o) = o**2 - 4*o + 2. Let c be p(4). Let m(b) = b**3 + 3*b - 2*b + 4 - 8*b**c + 6*b. Let d be m(7). Solve s + s - d = 0 for s.
2
Let n(l) = l**2 - 2*l - 1. Let r be n(-1). Solve -r*b + b + 4 = 0 for b.
4
Let s = 0 + 2. Suppose s*y - 2 = 2. Suppose -12 = -3*i, -6*i = y*q - 2*i - 16. Solve q = u - 1 for u.
1
Let d(l) = -214*l + 1. Let n be d(1). Let b be n/(-5) + (-10)/(-25). Let r = -23 + b. Solve -r = -4*a - 4 for a.
4
Let s(p) = -p**2 + 32*p + 3. Let q be s(32). Let l(n) = -n**2 - 7*n. Let c be l(-3). Solve -c = -0*x - q*x for x.
4
Let y be (3 - 74/10 - -4)*-5. Solve y = -5*m - 3 for m.
-1
Let u be 22/8 - 2/(-8). Suppose 0 = 4*x - 23 + u. Solve -x*o = -18 - 7 for o.
5
Let u be (1 + 12/8)*2. Suppose -v = u*n - 19, 2*v - 3 - 11 = -2*n. Solve -4*t + 1 = -n for t.
1
Let w be (-12)/15*-5 - (-1)/1. Solve 2*d = w*d - 6 for d.
2
Let p = -199 - -203. Solve 4 = -p*m + 6*m for m.
2
Suppose -p - 3*p + a + 3 = 0, 5*p + a = 15. Solve 8 = -2*n - p for n.
-5
Suppose d = -3*v + 19, d + 2*d - 29 = -2*v. Solve 0 = 5*o - d - 18 for o.
5
Let c(w) = -w**3 + w**2 - w + 1. Let p be c(1). Suppose p*u - 20 = -u. Solve u = 5*r - 10*r for r.
-4
Let j = 21 + -18. Suppose j = 3*m + m - w, 5*w + 15 = 0. Solve m = -2*d + 4*d for d.
0
Let d(u) = u**3 - 13*u**2 + 13*u - 1. Let m be d(12). Solve -m = -5*l + 4 for l.
3
Let z be (-270)/(-75) - 6/10. Solve -c - z = -2*c for c.
3
Let m be 484/20 - (-1)/(-5). Let z be (-3)/(-2)*m/9. Suppose r = 3*r - z. Solve 4 = w - r*w for w.
-4
Suppose 4*k + k - 20 = 0. Suppose -o - 25 = 2*o - 5*g, 5*o + 20 = k*g. Solve o = -z - z for z.
0
Let s(c) = -c - 10. Let u be s(-10). Solve u = -2*z - 5 + 7 for z.
1
Let t = 8 + -4. Suppose 0*z + 4 = 4*z. Let p be -2*z + -1 + 11. Solve -t*w = -2*w - p for w.
4
Suppose 0 = 4*p - 15 - 5. Let r = 7 - 5. Suppose 5*t - 5*y + 13 - 73 = 0, t = 5*y. Solve -r*b = -p*b + t for b.
5
Let r(z) = 9*z + 2. Let g be r(2). Suppose 4*m - 29 = x + g, x + 16 = m. Suppose 0 = -3*w + m - 2. Solve w*f = 4*f - 1 for f.
1
Let f be 0*3/(-18)*-2. Let x be 3 + -4 - f - -3. Solve 4*u - x*u = 2 for u.
1
Let i = 73 + -70. Solve 3 = -i*v - 6 for v.
-3
Suppose 3 = 3*v - 3, 3*v - 3 = q. Suppose 9 = -2*a - q*z, -a + 0*a + 2*z = -13. Suppose a*t + 36 = 6*t. Solve -4*l - t = -0*l for l.
-3
Suppose -4*g + 20 = 4*d, 0 = 3*d - 3*g + g + 10. Solve -2*x + 5*x = d for x.
0
Let n(c) = -c - 4. Let t be n(3). Let b be (-65)/t + 2/(-7). Let j(z) = -2*z - 1. Let i be j(-3). Solve -b = i*l - 8*l for l.
3
Suppose 2*i - 1 = -5. Let c be (-4)/i - (3 + -4). Solve 2*z + c*z + 10 = 0 for z.
-2
Let p = -43 + 29. Let m = p + 25. Solve 0 = -4*y + m + 5 for y.
4
Let s = -9 - -12. Suppose s*a - 13 = -4*x + 3, -3*a - 12 = 0. Let c be 1 + (x + -2 - 2). Solve f + c + 1 = 0 for f.
-5
Let s(p) = 8*p - 58. Let w be s(8). Solve w*k - 28 = -k for k.
4
Let s = 9 + -4. Suppose -s*n + 0*n = -15. Solve -5*d - 12 = n for d.
-3
Suppose -4*v = v. Suppose v = -3*f + f + 6. Suppose -o + 16 = f*o. Solve -12 = o*s - s for s.
-4
Suppose 4*v - 8 = 12. Suppose 0 = -2*z - v + 13. Suppose -1 + 13 = z*o. Solve 2*w + 4 = o*w for w.
4
Let u(m) = 43*m**2 - 1. Let g be u(1). Suppose 2*q = -q + g. Solve 5 - q = 3*h for h.
-3
Let u be (-69)/(-21) + -3 - (-26)/7. Solve -n + u = 9 for n.
-5
Let g(w) be the third derivative of -w**5/60 - w**4/4 + w**3 + 4*w**2. Let b be g(-6). Solve y + 10 = b*y for y.
2
Let b(n) = 2*n - n - 2*n. Let u be b(-1). Let t be u/2 + (-10)/(-4). Solve q = t*q for q.
0
Let q be (-1 - -2 - -3) + 0. Let v(s) = s**3 + s + 5. Let t be 1/4 + (-8)/32. Let r be v(t). Solve u - r = -q for u.
1
Let x(j) = -3*j**2 + 1. Let m be x(1). Let s be -1*2*1 - m. Solve -4*z + s*z = 20 for z.
-5
Let l be 16/(-6) + (-4)/(-6). Let p(o) = -o**2 - 2*o. Let k be p(l). Solve k*g - 3 = 3*g for g.
-1
Let q = 31 + -15. Suppose 4*j = -0*j + q. Solve c + j*c = -5 for c.
-1
Let b be (-1 - 0)*(2 + -4). Let f be (b/(-3))/(10/(-45)). Solve f = -0*c + 3*c for c.
1
Suppose 8*i = 11 + 21. Solve -8 = i*m - 0 for m.
-2
Suppose -2*w = 6 - 8. Solve -6*a - w = 5 for a.
-1
Let g be (-10)/(-4)*44/55. Solve 15 = n + g*n for n.
5
Let d = 12 - 6. Solve -a + d = 2*a for a.
2
Suppose -10 = 3*c - 3*i - 34, -4*c - i + 57 = 0. Suppose -1 = 2*f - c. Let r(g) = 4*g - 4. Let h be r(5). Solve -f*l - h = -2*l for l.
-4
Let u = -10 + 15. Solve -3*a + 2 - u = 0 for a.
-1
Let j(b) = -b**3 - 3*b**2 + 10*b. Let i be j(-5). Solve -3*z + 2 - 11 = i for z.
-3
Suppose -5*x + 67 = 4*h, x = 5*h - 9*h + 71. Let o = -10 + h. Let t = 9 - o. Solve -l = -t - 2 for l.
3
Suppose 5*i - 5*p + 18 = -p, -3*p = -5*i - 21. Let c(u) = -2*u + 2*u + 2 - u**3 - 7*u**2 - 7*u. Let v be c(i). Solve 3 = h + v for h.
-5
Suppose s - 5 + 4 = 0. Solve s + 1 = l for l.
2
Let q = -4 - -5. Let s be -3 + q + -1 - 2. Let a = s + 11. Solve 4*u - a - 2 = 0 for u.
2
Let h = 5 - 1. Suppose 1 + h = 5*y. Suppose 2*g = y + 7. Solve g*b = -b + 15 for b.
3
Let t be 7 + 1/(2/(-6)). Solve d + t = 1 for d.
-3
Let b be (-1)/(-4) - (-184)/32. Solve -b*l + 3*l = 6 for l.
-2
Let m(f) = 2*f**2 + 3. Let o be m(-3). Let z = -3 + 5. Suppose z*a - 5*v - o = 0, 0 = -v - 0*v - 3. Solve 0 = a*i + 1 - 7 for i.
2
Let l(h) = -h**3 - 9*h**2 - 4*h + 7. Let y be l(-8). Let t = -10 - y. Solve 0 = 5*o - 0*o - t for o.
3
Suppose 2*f + 3*u = 5*f - 15, -2*f - 2*u = -30. Suppose -f = -2*v - 0*v. Suppose 5*y - 5*c = 115, 0*y + v*y - 117 = 4*c. Solve -3*t = 2*t - y for t.
5
Let y(w) = -w + 1. Let f(c) = -c**3 - 5*c**2 - 5*c - 1. Let d(m) = f(m) - 4*y(m). Let p be d(-5). Solve -2*u = -p*u for u.
0
Suppose 0 = 4*j - 4*l - 28, 3*l = -2*j - 0*j - 11. Suppose -3*x + 8*x = 0. Solve x = -j*c + 5*c + 15 for c.
-5
Suppose -s - 2*s = 0. Suppose -21 = -5*g + f, 4*f + 13 = 2*g - f. Suppose -r + 0*r = -g. Solve 2*b + r + 2 = s for b.
-3
Suppose 11 - 43 = -t. Suppose n = 4*v - 4*n - t, 2*v - n - 10 = 0. Solve -2*q - v = 1 for q.
-2
Let r = 5 + -5. Suppose -c - 3*c = r. Solve 0 = -k - c + 1 for k.
1
Suppose 0*l + l + 3*t = 4, -5*t = 0. Suppose -7*x + 3*x + 16 = 0. Suppose n - x*n = -6. Solve 0 = l*g - 3*g + n for g.
-2
Suppose 0*v - h = v - 9, -20 = -4*h. Solve v*y = 2*y - 8 for y.
-4
Suppose 5*y - 6*y + 23 = -5*o, -o = -1. Let n(i) = 4*i**2 - i - 2. Let f be n(2). Let u = y - f. Solve 