u for u.
-3
Let m(h) = 2*h**2 - 3*h + 2. Let t be m(2). Suppose 0 = 3*j - 4*v + 3*v + 8, v = 5. Let r = t + j. Solve 2*q - r = -5 for q.
-1
Let r(y) = y + 6. Let s be r(-6). Solve s = 5*p - 3 + 23 for p.
-4
Let r(o) = -o**3 + 2*o**2 + 4*o - 3. Let d be r(3). Suppose 0 = -2*v + 6. Let k = v + -1. Solve l + k = -d for l.
-2
Suppose i + 3*i - 12 = 0. Suppose 1 = i*z - 5. Solve 0 = f - z + 1 for f.
1
Let f be 10/2 + 0/(-3). Suppose -3*j - f = -5*b, 3*j - 2 = 3*b - 5. Solve -4*u - 4 = -j for u.
-1
Let d = -53 + 68. Solve 2*x = -x + d for x.
5
Suppose -2*v - 4*h = -44, 2*v + 2*v - 5*h - 23 = 0. Let d = v - 7. Solve d*p + 1 = 11 for p.
2
Suppose 4*k - 6*k = 5*i + 10, -4*k + i + 2 = 0. Solve k = -6*q + q + 15 for q.
3
Let n(t) be the first derivative of -t**2/2 - 2*t + 1. Let v be n(-6). Let m be 0/(0 + v/2). Solve m = -4*i + i for i.
0
Let c be (43 - 23) + -3 + 0/(-2). Solve -5*m + c = 2 for m.
3
Let a be (-13)/5 - (-3)/5. Let i = 4 + a. Solve 12 = -i*j - 2*j for j.
-3
Let b(m) = m**2 + 3*m - 2. Let h be b(2). Let a = h + -4. Suppose 4*f = 24 + 36. Solve f = a*l + l for l.
3
Let w(h) = h**3 - 6*h**2 + 7*h - 5. Let v be w(5). Let o be -5*-6*2/v. Suppose -o = -3*d - 3*x + 4*x, 3 = 3*d + 2*x. Solve -d*b + b = -10 for b.
5
Let w be 1*(-1 + 1/1). Let n = -8 - -11. Let u be 4/n*(3 - 0). Solve 2*s = -w*s + u for s.
2
Let p be (10*(-2)/(-4))/1. Suppose -125 = -p*m - 0. Solve -5*k = -5 + m for k.
-4
Let f(q) = q**3 + 4*q**2 + 4*q - 1. Let a be f(-3). Let o be 2 - (-2)/(a/4). Solve i + 0 - 4 = o for i.
4
Suppose -5*v + 1 - 10 = 3*w, 4*w = -12. Let f = -1 - v. Let b(t) = 16*t**2 + 1. Let h be b(f). Solve 5*u - 2 = -h for u.
-3
Let u be 1*(0 + (-2)/(-1)). Suppose 5 = u*z - z. Solve 0 = -0*q + z*q + 10 for q.
-2
Suppose m + 4*m = 0. Let i be (-18)/(-27) + 8/6. Let r = i + m. Solve 0 = -3*o - r*o for o.
0
Let d(v) = v**3 + 3*v**2 - v - 2. Suppose 3*t + 5 = -1. Let r be d(t). Solve -r*a + 15 = -a for a.
5
Suppose 23 = 3*x + y, 0*x + 5*y + 11 = 3*x. Let v be 6 + (1 - (x - 3)). Solve 0 = -v*g - 2*g for g.
0
Let i(n) = -n + 9. Let c = -19 - -25. Let z be i(c). Solve 16 = m + z*m for m.
4
Let b be (-2 - (7 + 1))/(-2). Suppose 5*h - 2*t = -6*t - 26, -b*h - 25 = 5*t. Let l be (1 - h)/(3/3). Solve 0 = -4*i - 23 + l for i.
-4
Let f be (5/10)/(2/148). Suppose 3*m + 2*m - f = b, 0 = -5*m - 2*b + 46. Let x(y) = -y**2 + 10*y - 6. Let t be x(m). Solve 5*z - 3*z - t = 0 for z.
5
Let l(r) = 2*r**3 - 4*r**2 + 4. Let y be l(2). Solve -t - y*t - 15 = 0 for t.
-3
Let k be ((-9)/(-3))/3*-5. Let p = k + 8. Let b = 13 + -7. Solve b*x = p*x for x.
0
Let t(s) = -4*s - 5. Let h be t(-5). Suppose 0 = 5*i - 4*c - h + 3, -3*i + 4*c = -12. Solve 0 = 5*g - i*g + 10 for g.
-2
Let b(y) = y**2 - 2*y - 7. Let c be b(4). Solve 3*f - c = 2*f for f.
1
Suppose -5*b - 5 = -y, 2*y - 5*b - 3 = 2. Let u = y + 7. Solve 0 = 5*q + u + 3 for q.
-2
Suppose 15 = 2*a + a. Let w = -2 + a. Solve -w*t - 10 = -t for t.
-5
Suppose 4*b = 2*b + 4. Solve b*z + 4 = -0*z for z.
-2
Let t(o) = o - 6. Let c(x) = x**2 - 3*x + 4. Suppose -2*n + 16 = 2*p, -2*n - 3*p = -11 - 9. Let d be c(n). Let j be t(d). Solve -q + j*q = 3 for q.
3
Let n be 31/4 - (-1)/4. Solve -18 = -2*w - n for w.
5
Let z(o) = 3*o**2 - 3*o - 2. Let m be z(-1). Let y(x) = -x**2 + 7*x - 4. Let q be y(6). Let n = 5 - q. Solve b = -n*b + m for b.
1
Let a = 19 - 16. Solve -a + 2 = h for h.
-1
Let g be (9/(-3)*1)/((-4)/8). Solve g*q - q - 5 = 0 for q.
1
Let w(k) = k**2 + 5*k + 3. Let m be w(-5). Let t = m + -1. Solve -3*c - t = -c for c.
-1
Let t = 1 - -1. Let q(i) = -i + 4. Let r be q(0). Solve -r*h = -t*h for h.
0
Suppose 0 = 3*y + 2*y - 10, 2*y = 3*k - 20. Solve k*c + 16 = 4*c for c.
-4
Let u be (-21 + 1)*(-9 - -8). Let h be (u/25)/((-2)/(-10)). Suppose -k + 0*k + h = 0. Solve -r - k = r for r.
-2
Suppose -2*a - k = -28, 3*a = -0*k + 2*k + 56. Suppose 2 + 1 = s. Solve -b - s*b - a = 0 for b.
-4
Suppose 2*k + 8 = 2*d - 2*k, d - 4*k - 14 = 0. Let h be 3*(1 + d/(-3)). Suppose -h = 4*q - 33. Solve -q*x + 8 = -2*x for x.
2
Suppose -3*d = w, 6 = 5*w + 2*d - 7. Solve 0 = -w*g + 11 + 4 for g.
5
Let c be 0/((-1)/1*2). Solve c = 5*q - 20 for q.
4
Let h be (-3 + 1)*4/(-8). Let k be h + 1 - (1 + -2). Let b = 23 - 15. Solve 0 = 5*l + k - b for l.
1
Let g(m) = -m**3 - 4*m**2 - 5*m - 4. Suppose 0*j - j - 7 = 0. Let r = j - -4. Let x be g(r). Solve -x*a - 2 = 4 for a.
-3
Let o be ((-4)/6)/(6/(-9)). Let i be (-44)/(-10) + (-15)/(-25). Solve c - i = -o for c.
4
Suppose -2*u + 4*d + 23 = 1, 0 = -u + 3*d + 15. Solve u = 5*b - 2 for b.
1
Suppose -4 - 11 = -3*f. Suppose -2*u + 50 = 2*j, -f*u + 20 = -0*u. Suppose j = 5*v + y, 2*v = 3*v + 3*y - 7. Solve 0*t - v = -2*t for t.
2
Suppose 0 = -2*v, 5*f + 4 = 3*v + 14. Solve f*i + 10 = -0*i for i.
-5
Suppose 4*q + 2*z - 12 = 0, 11 = 3*q - 0*q + z. Let k(p) = -p - 5. Let j be k(-7). Suppose -j*d - 7 + 27 = 0. Solve -q*i - d = -0 for i.
-2
Suppose 3*v - 4*c = -0*c - 20, 4*v - 3*c = -22. Suppose -3*q + 4*q + 4 = 0. Let o = q - v. Solve -3 = -r - o for r.
3
Let r be 3 - 7 - (-32 + 1). Let x = -15 + r. Solve -4*b - 8 = x for b.
-5
Suppose -7*m - 8 = -9*m. Suppose -5*p + g + 39 = -p, m = 4*g. Solve -3*t - 2*t - p = 0 for t.
-2
Let d = 5 - 2. Suppose y = -5*a + 10, 3*y = -5*a + y + 10. Suppose -8 = -2*j - 2*j, d*j - a = 2*w. Solve -5*g - 3 = -w*g for g.
-1
Let h(n) be the third derivative of -n**4/24 - n**3/2 - 7*n**2. Let u be h(-5). Solve 0*l = u*l + 8 for l.
-4
Let f = 134 - 131. Solve r + f*r + 12 = 0 for r.
-3
Let s = -6 + 16. Let w = -7 + s. Solve w*x + 2*x = -25 for x.
-5
Let w = 7 + -4. Suppose 2*k + 20 = 7*y - w*y, -5*y = 3*k - 47. Solve y = -4*a + 19 for a.
3
Let b(o) = -o**3 + 12*o**2 - 12*o + 13. Let f be b(11). Solve 0 = f*z - 7*z for z.
0
Let s = 2 - 1. Let w = s - -7. Solve -3*a + w = -a for a.
4
Let j(l) = l. Let k = -4 - -4. Let d be (0/(-5))/(k + 2). Let a be j(d). Solve -q + a = -4 for q.
4
Suppose 2*o - 5*z = -3*o - 25, -3*z + 15 = 0. Solve 0 = -o*f + 2*f + 6 for f.
-3
Let t = 11 + -6. Suppose -u = -t*u. Solve u*q = 2*q + 6 for q.
-3
Suppose -4*x + 16 = -2*x. Let u = x + -2. Solve 3*g + u = -3 for g.
-3
Suppose -4 = l + 9. Let m = -11 - l. Solve m = r - 2*r for r.
-2
Let x be 1/(-3)*3 + 3. Solve -x + 3 = -l for l.
-1
Let j(c) = 4*c**2 - c. Let w be j(1). Let h be 3 - (6 + (3 - w)). Let n = 6 + h. Solve -n*t = -2*t - 4 for t.
4
Let n = -18 + 27. Solve -5*f + 6 = -n for f.
3
Let c = -8 - -14. Suppose -c*r = -r - 10. Solve 0 = -2*i - r*i for i.
0
Let n(j) = -2*j + 7. Let d be n(5). Let f be (d - -3) + 24/4. Solve l + f = 2 for l.
-4
Suppose 13 = 10*k - 7. Solve -2 = -k*s + 8 for s.
5
Suppose -8*j + 3*j + 5 = 5*h, -h + 5 = -3*j. Let z = -15 + 17. Suppose 13 - 1 = z*p - 2*y, 4*y - 18 = -3*p. Solve -p*n - 12 = -h*n for n.
-3
Let c(q) = -q - 2. Let y be c(-6). Suppose y*w = -w - 2*s + 21, -4*w + 15 = s. Suppose -3*b + t - 4*t = 12, 0 = -3*b + t + 4. Solve w*r - 12 = -b*r for r.
4
Let u be 7 + -3 + (4 - 4). Solve -u*h + 25 = -9*h for h.
-5
Let x = 1 - 0. Suppose 9 + x = 2*h. Solve -h*s = -10*s for s.
0
Suppose -2 = -5*u + 3*v + 7, 0 = -4*u - 5*v - 15. Solve u = 4*z - 3*z for z.
0
Let f = 22 - 20. Solve f = 3*i + 5 for i.
-1
Let k = -7 - -8. Let h be ((-3)/k)/((-3)/2). Let u = -3 - -4. Solve h*g - 11 = -u for g.
5
Suppose -q - 5 = 2*w, -5*w - q - 17 = -0*q. Let u = w + 4. Let d(s) = s**2 - s + 8. Let j be d(u). Solve 0*n + j = 2*n for n.
4
Let t be 15/(-12) + (-3)/(-12). Let b = t - -9. Solve -4 = -4*v + b for v.
3
Let s(t) = t**2 + 6*t + 6. Let g be s(-5). Let h be 1 - (0 + g)*-1. Suppose -2*y = -5*y. Solve h*c + 3*c - 15 = y for c.
3
Suppose -6*s = -s + 45. Let d = s + 17. Suppose 5*v - d = 7. Solve 0 = -3*t - v + 15 for t.
4
Let t = 10 + -10. Suppose 0 = -t*b + b. Solve b = o - 0*o - 1 for o.
1
Suppose 3*x + 11 = s, 0*s + x - 3 = -3*s. Solve -3*t - s - 1 = 0 for t.
-1
Let p = -20 - -25. Solve -k = -p*k - 12 for k.
-3
Let q = -3 + 2. Let j be -24*q*(-2)/(-4). Solve 8*s - 5*s = -j for s.
-4
Let r(v) = -v**2 - 5*v + 53. Let c be r(5). Solve -c*d + d - 4 = 0 for d.
-2
Let q(o) = -o**3 - 8*o**2 - 9*o - 14. Let v be q(-7). Solve -6*f + f - 20 = v for f.
-4
Let t be 87/12 + (-3)/12. Solve 4*a = -13 - t for a.
-5
Suppose 6*x = 2*x + 4*w - 4, -1 = -5*x - w. Suppose 4*r + 2*g - 6 - 4 = x, 5*g = r + 14. Solve r + 2 = k for k.
3
Let j be (