lve -r*x - 12 = -x for x.
-4
Let o = -13 + 28. Solve -o = -0*i + 5*i for i.
-3
Suppose -2*f = -4*z, 0*f = -2*f + z + 6. Solve -f*d = -d for d.
0
Let u be 12/1*1/3. Solve -1 + 21 = u*j for j.
5
Suppose z - 4*w + 8*w + 18 = 0, -21 = 2*z + 5*w. Solve 4*h = 2 + z for h.
1
Let d be (-2 + 8/2)*5/2. Solve -d*t = -14 - 11 for t.
5
Let k(x) = x**3 + 5*x**2 - x - 3. Let c be k(-5). Let l(r) = -9*r**c + 0*r - r + 10*r**2. Let d be l(2). Solve 0 = -d*v + 2 for v.
1
Let x(p) = 2*p**2 + 0*p - 3*p - 1 - p. Let y be x(3). Suppose 2*j - 1 - y = 0. Solve 5*o = j + 2 for o.
1
Let v(h) = -5*h - 1. Let m be v(-1). Let i(a) = -5*a**3 + a. Let c be i(-1). Solve c*j = -4 - m for j.
-2
Let r be (-1 - 3)*(-1 + 0). Let z(a) = a - 3. Let y be z(r). Let o be -2 - -7 - (3 - y). Solve o*v = -2*v - 10 for v.
-2
Let k(y) be the first derivative of y**3/3 - y**2 - 3*y + 3. Let x be k(4). Solve 2*q = x*q - 3 for q.
1
Let j = 6 + -3. Suppose 5*n = -2*x, 4*n - j*n = -2*x. Solve -g + 2*g = n for g.
0
Suppose 4*x + 0*x = -4*h + 24, -4*h + 27 = 5*x. Let c(p) = p + 2. Let v be c(-4). Let y be (-3 + 2)*1*v. Solve h*s - 1 = y for s.
1
Let h(f) be the second derivative of f**3/6 - 3*f**2/2 + 7*f. Let g be h(7). Solve -g*d - d - 5 = 0 for d.
-1
Suppose r - 7 = 1. Solve t = -t - r for t.
-4
Let u(b) = 5*b + 1. Let n be u(1). Let h be (4/(-3))/((-4)/n). Suppose -3*z = -2*a + 14 + 9, -2*a = -5*z - 33. Solve -h*i = -6*i - a for i.
-1
Let s be (8 + -11)/(-2 + 1). Let v be 0*(-5)/30*-2. Solve v*y = s*y + 3 for y.
-1
Suppose 2*u = -3*x - 2*u + 31, -4*u = 4*x - 36. Suppose 5*z = -x, 3*g - 8 - 6 = -z. Suppose -5*w + 6 - 35 = -2*h, w + 3 = 0. Solve g*t + h = -8 for t.
-3
Suppose -t + 5*t - 16 = 0. Let a(v) = -v**2 - 5*v + 6. Let z be a(-6). Let l(b) = b**2 + 3*b - 24. Let k be l(-7). Solve 4*f + k + t = z for f.
-2
Suppose -p = -0*p - 2. Let x(d) = -d - 2. Let b be x(-6). Suppose 0 = -4*j - 0*j + b. Solve -j + p = m for m.
1
Let a be 4/(-10) + (-4)/(-10). Suppose 5*y = -3*j - 17, y + 3*j + j = a. Let t be y/6 + (-8)/(-12). Solve x = -t - 2 for x.
-2
Let o be (-2)/2*(2 - -1 - 3). Solve -2*b - 3*b + 20 = o for b.
4
Suppose 0 = 2*s - 6*s - 4*u - 4, s - 4*u - 14 = 0. Suppose -m = s*m. Solve -3*i + 0*i = m for i.
0
Let g(z) = z**2 - z + 2. Let v(j) = -j**3 - 4*j**2 - 3*j. Let t be v(-2). Let p be g(t). Solve -h = h - p for h.
4
Suppose -k - 1 = -4. Let f(u) = -3*u**2 + 1. Let i be f(1). Let t = i + 4. Solve t*l - 5 = k*l for l.
-5
Suppose -14 = -a + 3*a. Let u(f) = f + 9. Let i be u(a). Let p(l) = -l**3 + 6*l**2 - 4*l. Let s be p(5). Solve i*b + s = 3 for b.
-1
Let p be ((-35)/(-15) + -4)/((-1)/3). Solve 3*k - p = -2*k for k.
1
Suppose -2*g + 2*u = 8, 3*g + 2*u = -5 - 2. Let h(i) = -i**3 - 3*i**2 + i + 3. Let l be h(g). Solve -3*a + 6*a + 3 = l for a.
-1
Let d(l) = l**2 - 5*l + 3. Let v be d(5). Let m be 3/(-3) - (-19 + v). Solve -3*h + 6*h - m = 0 for h.
5
Let s = 27 - 23. Solve 2*c - s = 4 for c.
4
Let t = -4 + 1. Let p = 5 + t. Suppose -7*d + 3*d + 16 = 2*s, 0 = 2*s + d - 4. Solve -g + 1 + p = s for g.
3
Let h(t) = t + 1. Let d(v) = 7*v + 4. Let z(x) = d(x) - 6*h(x). Let f(b) = b**2 + 8*b + 12. Let p be f(-7). Let g be z(p). Solve -g = -0*y - y for y.
3
Let r be ((-3)/(-2))/(6/20). Let n(t) = t**2 + 6*t + 5. Let d be n(-5). Let y = d + 2. Solve r = -h + y*h for h.
5
Suppose 2*z + 3 = 4*o + 1, -5*z = -4*o - 13. Suppose -4*m - 24 = -5*b - 5*m, -5*b + 12 = -2*m. Let g = b - 0. Solve z = q + g for q.
1
Suppose -4*b - 3*y - 4 = y, -5*y = 4*b + 7. Suppose -j - b*j + 18 = 0. Solve -d = -1 + j for d.
-5
Suppose -4*z - 10 = 5*w, 5*z + 0 = -2*w - 4. Solve -2 = -2*y - z for y.
1
Let h = 0 + -3. Let n be (-10)/h*(-180)/(-25). Suppose -q = 2*q - n. Solve k + 3 = q for k.
5
Let g be 4/(-6)*1*(-18)/12. Solve 0 = r - g for r.
1
Let z be 1 + 5 + -5 + 5. Let t be (2 - -1)/z*0. Solve -2*q + 0*q = t for q.
0
Suppose 0*l - 5 = -l, -3*a = 5*l - 7. Let u be ((-2)/a)/((-2)/(-18)). Solve -x + 2 = -u for x.
5
Suppose -2*r = -r - 2. Solve -u - 6 = r*u for u.
-2
Let s be ((-64)/(-160))/((-2)/(-10)). Solve -s*a + 4 = -3*a for a.
-4
Let n = -5 + 8. Suppose 2*q - 3*q = n*k - 4, q - 5 = -4*k. Suppose -2*z = -x, -5 = -2*x + z + k. Solve -x = -b + 5*b for b.
-1
Let g(r) = r + 9. Let v be g(-8). Let y be (v + -3)*3/(-2). Suppose y*a - a = 6. Solve -a*u - 18 = -6 for u.
-4
Let v(q) = -5*q - 17. Let x be v(-7). Suppose 4*d - x = 2. Solve d*y - 9 = -4 for y.
1
Suppose 0*s - 3 = -s. Solve -s*o = 2*o + 10 for o.
-2
Suppose -5*b + 15 = -2*m, 3*b + 3*m - 9 = m. Suppose 3 + 3 = b*z. Let t(u) = u - 4. Let o be t(6). Solve 4*i = o*i - z for i.
-1
Let r = -1 - 3. Let m be 4 + r/(-2) + -2. Solve m*t = 3*t for t.
0
Suppose -18 = 4*l - 6*l. Suppose -3*u = -3 - 0. Let d = u + l. Solve w + w - d = 0 for w.
5
Let k(q) be the second derivative of -q**5/20 + q**3/3 + q**2/2 - 2*q. Let a be k(-2). Solve -a*j + 14 = -6 for j.
4
Suppose 4*n = 2*n - i - 7, -4*i + 27 = -3*n. Let r be (n/(-10))/(1/4). Suppose 5*u - u - 4 = 0. Solve -u = r*z + 1 for z.
-1
Suppose 5*n + 4*o = 36, 4*n - 5*o - 3 - 34 = 0. Let c be 22/n - (-3)/(-4). Solve -9 = -c*m + 5*m for m.
-3
Suppose -3*b + n + 7 = 2*n, 0 = 5*b + 4*n - 21. Suppose -5*r + 45 = -5*c, 24 = r + 3*r - c. Suppose b = r*l - 24. Solve l*f - f = 8 for f.
2
Let r be 2 + 0 + 0/(-2). Let p be -3 + 2 + (-10)/(-2). Let t = p - 2. Solve -12 = t*o - r for o.
-5
Suppose -14 = l - 2*l - 3*z, 5*l - 5*z = -10. Let c = 8 + -6. Suppose c*a + 5 = 4*y - 5*y, -3*y - 15 = -4*a. Solve a*m + l = m for m.
2
Let i = 20 - 25. Suppose 0 = 2*j - o, 0*o = 2*o. Let q be (-1 + -3)*(j + i). Solve -3*h - q = 2*h for h.
-4
Let z(r) = r. Let x be z(1). Let k be (4 + -3 + 4)*1. Let f = 10 - k. Solve 2*m - f = x for m.
3
Let o be -5 + 2 + 10/2. Solve o*l - 3*l = -3 for l.
3
Suppose 1 = 3*g + 4. Let h be 3 + g + -1 + 3. Solve -q - 1 = h for q.
-5
Let t be (-1 + 0)*3/(-3). Let a be 3/(-9) - t/(-3). Solve a = 2*w - w for w.
0
Let i(a) = -5*a**2 + 9*a + 4*a**2 + 0*a**2 - 2 - 3*a. Let h be i(5). Solve h*g = -2*g for g.
0
Let x = -7 - -7. Solve x = t - 0*t - 4 for t.
4
Let r be 0*((0 - -1) + 0) + 9. Solve -6 = 5*u + r for u.
-3
Suppose 2*w + 14 = -24. Let t = w + 22. Solve -1 - 8 = t*o for o.
-3
Suppose -15*o = -20*o + 60. Suppose -7*r = -o*r. Let q(u) = u**2 - u - 4. Let x be q(3). Solve k - x + 1 = r for k.
1
Suppose 0 = 3*k + 2 - 17. Solve 4*z = k*z - 3 for z.
3
Suppose -3*d = 2*q + 2, 0*d = -4*d - 16. Solve -b + 2*b = -q for b.
-5
Let l = -1 + 5. Let i be 9/(-6)*l/(-3). Suppose -i*d = -2*j - 16, -2*j - 25 = -8*d + 3*d. Solve k = -d + 2 for k.
-1
Let c = -8 - -16. Suppose 0 = 4*i - t, 0 = 3*i - c*i + t. Solve 0*f - 3*f - 15 = i for f.
-5
Suppose -s - s = -18. Let l be 1 - (1 + -2 - 0). Solve -l*u - s = u for u.
-3
Let h be (20/4 - 3) + 15. Suppose -2*r + 3*x - 5 = 0, 3*r = -r - 3*x + h. Solve -v - 3 = r*v for v.
-1
Let o(y) = -y**3 + 14*y**2 + 14*y + 16. Suppose -2*p = -8 - 22. Let a be o(p). Solve 5*x + 19 = -a for x.
-4
Let r(l) = l**3 - 25*l**2 + 27*l - 60. Let d be r(24). Solve 9*z = 3*z - d for z.
-2
Suppose 2*i + 3*i - 5 = 0. Solve -3 - i = -u for u.
4
Let b = 11 + -9. Let x(d) = -d**3 + 4*d**2 - 4*d + 4. Let c be x(3). Suppose -9 = -b*l + c. Solve -2 = l*n + 8 for n.
-2
Let d(c) = c**2 + 4*c - 9. Let g be d(-6). Let q be (g + -2)/1 + 0. Solve -q = -w - 6 for w.
-5
Suppose u - 3 = 2*u. Let s be 2/u - 16/(-6). Suppose 0 = -4*l + 2*v + 2*v - 4, -4*v = 3*l - 25. Solve j + l + s = 0 for j.
-5
Suppose 8*f = -2*f + 10. Let x = 0 + 0. Let d(v) = v**2 - 2*v - 1. Let g be d(-1). Solve x = q - f + g for q.
-1
Let z be 4*(-1 + 12/8). Suppose s = -4*x - 12, 3*x + 13 - 4 = z*s. Solve h + s*h = 0 for h.
0
Let n(x) = x**3 - 4*x**2 + 4. Let z be n(4). Suppose z*r - 32 - 4 = 0. Solve r*q = 4*q - 15 for q.
-3
Let f be 60/(-36) - 1/3. Let h be (-10)/(-6 - -2 - f). Solve h*u - 2*u = 0 for u.
0
Let x be 4 + (3 + -1 - 2). Solve x = -4*b - 0*b for b.
-1
Suppose 2*u - 6*u - 16 = 0. Let t be 0/((-2)/u*-2). Let o(c) = c**3 - c**2 + 9. Let l be o(t). Solve -4*n = -l*n - 25 for n.
-5
Let s = -78 - -78. Solve s = 3*a - 4*a + 2 for a.
2
Let u(f) = -f - 4. Let k be u(-6). Let r(o) = -o + 1. Let i be r(-3). Suppose 0 = -i*y + 1 + 11. Solve -4 = -y*t + k for t.
2
Let h = -15 + 21. Let i be (10/(-4) + 2)*-6. Suppose 0 = -2*g - 5 + 15, -u - 2*g + 10 = 0. Solve 0 = -u*s + i*s 