i - t = 0 for i.
1
Let g = 14 - 13. Solve 3*x = -2 - g for x.
-1
Let o be 7/(-2*(-3)/(-6)). Let m = o - -10. Let k be (2 - m)/((-1)/2). Solve -3*v - k*v = 25 for v.
-5
Let x(t) = t**2 + 16*t - 9. Let o be x(-16). Let s = o - -15. Solve -s + 26 = -4*q for q.
-5
Suppose -2*h = 2*h + 8. Let t(l) = -l**3 - 2*l**2 - 2*l + 2. Let f be t(h). Let b be f*((-1)/(-1))/1. Solve 2*i + 0 - b = 0 for i.
3
Let v(h) = h**3 + 6*h**2 + 3*h - 6. Let j be v(-5). Suppose -j*w = -3*z + 52, 60 = -4*w - 0*z + z. Let b = w - -41. Solve r + 4*r = b for r.
5
Let s be (9/(-6))/((-2)/4). Solve 0 = s*z - z - 6 for z.
3
Let m(d) = d**2 + 6*d + 6. Let g be m(-6). Let n = -2 + g. Solve y = -n*y for y.
0
Suppose 0 = -4*z - 38 + 6. Let s = -4 - z. Suppose -l = -s*l. Solve l = -u + 3 - 7 for u.
-4
Let t(j) = -j**3 + 6*j**2 + 8*j - 5. Suppose 2*z = 2*u - 8 - 8, 3*z = 4*u - 31. Let l be t(u). Solve l*x = -3*x - 20 for x.
-4
Let v(o) = 4*o**2 + 1. Let p be v(1). Solve -p*y + 13 = -7 for y.
4
Suppose -2*q + 4 = 4*u, 5*q = -3*u - 4 + 21. Solve -2 - q = -2*h for h.
3
Suppose 0 = -4*u - 4. Let h = u + 3. Solve h*p = 6*p + 20 for p.
-5
Let k(j) = j + 3. Let f be k(-7). Let i be f/(-6)*(-1 - -4). Solve 0 = 3*x + i*x for x.
0
Let h be 21/6 - (-1)/2. Solve 3*p + h - 1 = 0 for p.
-1
Suppose -y = -5*k + 3*y + 40, 3*k - 5*y = 37. Suppose 0*x - 5*x = k*p - 5, -3*p - 4 = -4*x. Solve h + 0 - 2 = p for h.
2
Let v = 0 - 18. Let z = v + 7. Let m = -5 - z. Solve 0 = m*p - 2*p - 20 for p.
5
Let i(c) = 2*c - 3. Suppose 3*a - 8 = -a. Let n be i(a). Let h = 1 - n. Solve h*m = -2*m - 2 for m.
-1
Let o be ((-6)/7)/((-4)/(-28)). Let g be (-15)/(-6)*o/(-5). Solve -g = w + 2 for w.
-5
Suppose 5*k + 2 = 2*g + 13, -2*g + 3*k = 5. Solve 0 = -m - g*m for m.
0
Let q = -62 + 69. Solve -2*a = -1 - q for a.
4
Suppose 2*h = 4*n, -4*n - 3*h - 4 = -6*h. Suppose -6 = -u + 4*f, -3*u + n = 4*f - 0. Let l be ((-2 - -2)*-1)/(-2). Solve l = -4*r + u - 10 for r.
-2
Let t be 27/6 + 9/(-6). Solve -d + t = 6 for d.
-3
Let c(a) = a - 7. Suppose -h = -2*h - 2*v + 6, -5*v = -h + 13. Let o be c(h). Solve -o = d - 3 for d.
2
Suppose 2*t - p + 2*p = 9, -2*t - 4*p + 18 = 0. Suppose -3*n + t + 3 = 0. Suppose n*y - 26 = -4. Solve -9 = 5*l + y for l.
-4
Suppose 0 = 4*u - 8*u + 12. Solve 0 = -8*s + u*s - 25 for s.
-5
Suppose -s + 0*s = 0. Suppose 3*f - 4*b - 18 = -2*f, 4*b = -8. Solve s*p = p - f for p.
2
Suppose -12 = 3*j - 6*j. Solve 2*c + 2 = j*c for c.
1
Let h be 2/1*(1 + 3/2). Solve h = 5*m - 0 for m.
1
Let w be (-1 + 2)*-1 - 0. Let p(n) be the first derivative of n**3 + n**2/2 + n + 1. Let a be p(w). Solve -3*z - a - 9 = 0 for z.
-4
Suppose 3 = r + 2*w, 2*r - 6*w + 26 = -2*w. Let h be (-15)/1*(-1)/3. Let a = r + h. Solve -2*v + 2 - 4 = a for v.
-1
Suppose n - 4*t = -20 + 4, 2*n + 5*t = 20. Solve 0 = 3*d - n*d - 9 for d.
3
Suppose -3*v - 2*v + 45 = 0. Let n(j) = -j**3 - 6*j**2 - j. Let h be n(-6). Suppose 5*g = 4*p - h - v, 5*g = -15. Solve -3*o + o + 4 = p for o.
2
Suppose -2*f - 2*f = 0. Suppose f = -0*i + i - 9. Let d be (-28)/8*(-2 - 0). Solve d*j = 4*j - i for j.
-3
Let d = 68 + -63. Solve -k = -2*k + d for k.
5
Let p be 6/(-4)*(-180)/54. Solve -2*f = -3*f - p for f.
-5
Suppose 6 = -3*r + 18. Solve -2*i - r = 2 for i.
-3
Let m be 16/24*(-21)/(-2). Let f be (-2 - -1 - 0)*-5. Solve -m = f*s - 2 for s.
-1
Suppose -5*d + 5*s + 19 = -21, -2*d + s = -11. Suppose 0 = 2*i + 4*y - 9 + 1, -4*i = -4*y - 4. Solve d*n = -i - 1 for n.
-1
Let p(w) = w**2 - 4*w + 3. Let q be p(4). Let g(r) = r**3 + 6*r**2 + 5*r - 3. Let h be g(-4). Let x be -1 - h/(9/(-3)). Solve y + q = -x*y for y.
-1
Suppose -5*g = -25, 3*g = -3*r + 4*r + 12. Suppose 0 = r*z + k - 9 - 32, -3*k - 12 = 0. Solve -3*d + 0*d = -z for d.
5
Let v(a) = a**3 + 5*a**2 - 5*a + 8. Let x be v(-6). Suppose -4*u = -2*m, -m - 2*m = -x*u - 4. Solve 3*o + m*o - 5 = 0 for o.
1
Let c be ((-4)/(-6))/(2/9). Suppose j - k - 4*k + c = 0, 5 = j - k. Let l be ((-2)/(-4))/((-3)/(-78)). Solve 5*t = l + j for t.
4
Let j = 12 + -8. Suppose -t = -4*v, -j*t - v + 6 + 11 = 0. Solve 5*l = l - t for l.
-1
Let y(k) = -2*k - 10. Let g be y(-8). Let r = g - 6. Let x be 2/(4 + -2) - -2. Solve 2*o + x + 3 = r for o.
-3
Let k(j) = -j + 16. Let d be k(7). Suppose q + 2*q = d. Solve 0 = -q*h + 11 - 2 for h.
3
Let u(g) = -g**3 - 9*g**2 + 6*g + 12. Let q be u(-8). Let d be 42/(-1)*12/(-14). Let y be (-4)/(-18) - q/d. Solve -n - y = 2 for n.
-5
Suppose 19 = 5*r - 1. Let f(z) = -27*z + 4. Let d be f(r). Let b be (-2)/(-7) + d/(-28). Solve b*s - 1 = 11 for s.
3
Let b(z) = -z**3 + 3*z**2 - 3*z + 1. Let v be b(2). Let l(m) = -20*m**3 - m**2 + m + 1. Let o be l(v). Solve 5*r - 1 = o for r.
4
Suppose 13*h - 81 = 4*h. Solve 5*u = h*u for u.
0
Suppose 3*d + d = -v + 7, -3*v - 30 = -5*d. Let j = 12 - 7. Suppose 0*n = -j*n. Solve 0*k - d*k = n for k.
0
Let k = 14 - 11. Solve 3*t = 3 + k for t.
2
Let c = -2 + 5. Let g = c + 0. Solve -2*q + g = q for q.
1
Let c(r) = -3*r**3 + 3*r + 2. Let o be c(-2). Suppose -2*j + 7*j - 4*n = 31, -1 = j + n. Solve j*k = -k + o for k.
5
Let j(k) = 2*k**2 - 3*k - 1. Suppose -5*m = 5*o - 17 - 13, 18 = 4*m + 2*o. Let b be j(m). Let p be 14/6 + 1/(-3). Solve -p*r + 0*r + b = 0 for r.
4
Let m = 40 + -37. Solve -5*v - m = -8*v for v.
1
Let k = -2 - 38. Let g be 22/10 + 8/k. Solve o - 3 + g = 0 for o.
1
Suppose 0*x = 2*x - 8. Let j be (2 + -1)*2*(-10)/(-10). Solve 0*k + j*k = -x for k.
-2
Suppose -7 - 5 = -4*q. Suppose q*f = -f. Suppose 2*o = 4*x, f = -3*x + x. Solve o = -3*t - 2*t for t.
0
Let x(i) = i**3 - 4*i**2 + i + 3. Let g be x(4). Let m(a) = -5*a - 3. Let d be m(-4). Suppose 5*b = 2*n + 19, d = 5*b - n - 0*n. Solve -2*c + b = -g for c.
5
Let a(m) = -m - 4. Let v be a(-7). Solve 1 - 10 = -v*s for s.
3
Let t(m) = -3*m**3 - m - 1. Let r be t(-1). Let b be 171/15 - 9/(-15). Let q = b + -7. Solve -r*c = 2*c + q for c.
-1
Suppose -3*t + 4*t = 0. Suppose 0 = -3*f + 18 - t. Suppose -c + 0 = -3. Solve 0*x = -c*x + f for x.
2
Suppose -336 = -p + 4*p. Let d be p/(-21) - (-1)/(-3). Solve -d*s - 15 = 5 for s.
-4
Suppose -5*r + 4*r + 3 = 0. Solve 4*q - 3 = r*q for q.
3
Suppose 23 - 7 = -4*r. Let m = r + 9. Solve 17 + 3 = m*w for w.
4
Suppose 0 = 3*p - 3, j + 4*p = 8 - 2. Suppose -5 - 1 = -3*h. Solve 0 = -j*z - h + 6 for z.
2
Let m be 15/(9*5/60). Solve -2*d - 3*d + m = 0 for d.
4
Let d be 4/(-2)*(3 - (-2 - -9)). Solve -4*r = -4 - d for r.
3
Let m = 30 + -25. Solve 8 + 7 = -m*w for w.
-3
Suppose 0 = w + a - 12, -5*a = 4*w - 4*a - 33. Let u = w - 7. Solve 4*f - 2*f + 6 = u for f.
-3
Suppose -5*m = -22 - 13. Let q = 3 + 0. Solve q*a = 2 + m for a.
3
Let o = -13 - -13. Solve o*x + 20 = -4*x for x.
-5
Let a(c) = c**3 - 2*c**2 - 2*c + 4. Let v be a(3). Suppose 0 = 4*s - 13 - v. Suppose 0 = -3*f + s*q + 20, -2*q - 4 = 5*f - q. Solve b + 0*b = f for b.
0
Let r be ((-3)/9)/(2/6). Let l be (-5 - r)*(3 + -4). Solve -c + l - 2 = 0 for c.
2
Let r(d) = -d**2 + 2. Let v be r(2). Let z be ((-3)/v)/(15/20). Suppose 0*o - 4*o + 15 = -3*k, 10 = z*o - 4*k. Solve -5*u + o*u = 8 for u.
-4
Let c be (-7)/((-28)/8) - -4. Suppose -4 = 2*p, -c*p - 4 = 4*j - 4*p. Solve j = 3*x + x + 20 for x.
-5
Let v(i) = 0*i - 7 + i**2 - 6*i + 0 + 3. Let q be v(7). Solve x + q*x = -20 for x.
-5
Suppose 0 = 3*r - r. Solve 0 = -r*g - 4*g - 8 for g.
-2
Let p be (-18)/(-8)*(-8)/(-3). Suppose 5*q = 3*q + 12. Solve -4*h = q + p for h.
-3
Suppose 4*a + 26 = 3*m, -3*a = 4*m - 13 - 5. Suppose -4*u = 5*h + m, 2*u + 4 = -3*h - 0. Solve -5 = -2*k - u for k.
2
Let q = 8 - 5. Suppose -13 = -4*h + q*s, 2*s - 5 - 1 = -h. Solve -o = -h*o - 6 for o.
-2
Let s = -6 + 10. Let j = 5 + -5. Solve h + s - 7 = j for h.
3
Let c(m) = -m**3 + m**2 - m + 4. Let x be c(0). Let w be 3 + 2/(-2) + 0. Let r = w + -2. Solve -x*u + 5*u = r for u.
0
Let s(x) = 4*x**2 - x - 1. Let v be s(2). Suppose -4*n = -3*f - v, -7*n + 3*n = 5*f - 53. Suppose 3 - n = -2*a. Solve 3*g - 3 = a*g for g.
3
Suppose 0 = 3*i + 3*k + 9, 14 + 6 = -4*k. Suppose 0 = -3*j - n + i, j - 8 = -4*j - 4*n. Let v = 2 + j. Solve f + 12 = -v*f for f.
-4
Let v be ((-3)/(-4))/(8/(-64)). Let q be (2 + -2)*(-7 - v). Solve 3*l - 2 - 13 = q for l.
5
Let c be (6*(-3)/(-9))/1. Solve -c - 3 = 5*n for n.
-1
Suppose 4*k - 41 = 2*y + 41, 81 = 3*k + 5*y. Solve -5*m = 2 - k for m.
4
Let h = 2 + 2. Let i(c) = c**3 + c**2 - 2*c + 9. Let u 