s + 3*s for s.
4
Let b be ((-60)/2)/((-4)/4). Suppose b = 2*h + 3*h. Suppose 0 = -3*o + h*o - 12. Solve -5*f + o = -f for f.
1
Let r be (-1 - 0)/(2/(-4)). Suppose -l - 1 = 2*i, r*l - 5*i = 6 + 28. Solve 0 = 2*p + l - 3 for p.
-2
Let z = 16 + -7. Let g = 10 - z. Solve 0 = -h - 3 - g for h.
-4
Let a(v) = 7*v - 51. Let x be a(8). Solve -x*k + 4 = -11 for k.
3
Let d(w) = -w + 1. Suppose 6 = -2*y + 3*n, -4 = -5*y + 4*y - 2*n. Let f be d(y). Let g be (7 - 2)*f + 0. Solve g = -2*o + o for o.
-5
Let l be 24/(-9)*6/(-4). Let d be (-44)/(-10) - l/10. Solve i + 9 = d*i for i.
3
Let b(j) = -j**3 + 8*j**2 + 4*j - 6. Let n be b(8). Let z be 6/9 - n/(-6). Solve z*d - d + 20 = 0 for d.
-5
Suppose -4*i = 4*h - 125 + 33, 5*i - 88 = 4*h. Suppose 4*p = 16, 4*l + p + 2*p = i. Suppose l - 3 = -y. Solve 0 = f - y - 1 for f.
2
Suppose 2*m + 5*v - 2 = 3*v, 0 = -2*m + 2*v - 2. Suppose -3*p - 12 = m, -5*p - 16 = -4*o - 3*p. Solve -6*t + o*t - 16 = 0 for t.
-4
Let u = 118 + -65. Let x = u + -28. Suppose -z = 5*v - 31, -4*v + 9*v - x = 0. Solve 5*l = -1 + z for l.
1
Suppose -12 = 6*z - 10*z. Solve 7*i = z*i - 4 for i.
-1
Let i = 12 - 9. Solve 0 = d + i for d.
-3
Suppose -d = -5*d. Suppose -3*f - 3*v = -2*v - 34, d = 2*f - 2*v - 20. Solve f + 9 = 4*b for b.
5
Suppose 6*u = 4*u + q + 22, 5*u - 55 = 3*q. Let y = -5 + u. Solve 0 = y*j - j for j.
0
Let g(n) = n + 3. Let w be g(3). Suppose -w*i = 3 - 21. Let a(z) = z + 3. Let o be a(-2). Solve -b + i - o = 0 for b.
2
Let k = 1 - -1. Solve 8 - k = 2*u for u.
3
Suppose p + 23 = 24. Let m(u) = -u**3 - u**2 + u + 2. Let d be m(0). Suppose -g + 15 = d*g. Solve 2*s + p - g = 0 for s.
2
Suppose 8 = -5*q + 18. Solve 5*h - 8 - q = 0 for h.
2
Let r = 12 + -8. Suppose -2*d + 5*g - 10 = -d, 0 = -4*d + 2*g - r. Let n = d + 0. Solve n = -4*m + 9 + 7 for m.
4
Let k = -4 - -10. Let r be 24/9*9/k. Solve -x = -r*x + 15 for x.
5
Let y = -4 - -7. Suppose 3*b = 2*s - 20, 3*s + y*b - 50 = -2*s. Solve s = -2*g + 7*g for g.
2
Let i(p) = -p**2 - 10*p - 19. Let z be i(-7). Solve -z*q - q = 0 for q.
0
Suppose 22*k - 17*k - 40 = 0. Solve 3*d - d = k for d.
4
Suppose -5*w - 3*u = 3, 8*w - 3*w = u + 1. Solve 8 = -4*z - w*z for z.
-2
Let o(x) = -x**3 + x**2 + 5. Let i be o(0). Let l = i + -3. Solve 0 = -0*j - l*j + 10 for j.
5
Suppose 2*p + 5 + 5 = 0, 5*m + p = 0. Solve 3*n - m = -16 for n.
-5
Let h be 15/(-4)*(-8)/12*4. Solve -4 + h = 2*k for k.
3
Let p(o) be the second derivative of -o**5/20 + o**4/4 + 5*o**3/6 - 2*o**2 - o. Let k be p(4). Let w = 1 + k. Solve -2 = -l + w for l.
3
Suppose 3*b + 2 = 5*a, -2*b + 4 = 2. Let v be a/((-21)/(-18) - 1). Let g(p) = p**3 - 6*p**2 + p - 6. Let y be g(v). Solve -k - k - 4 = y for k.
-2
Suppose 0*n = 2*n - 6. Solve k + 1 = -n for k.
-4
Let d be (-2)/16 - 289/(-136). Solve d*u + 3*u - 25 = 0 for u.
5
Let q(x) be the first derivative of x**4/4 - 2*x**3 + 7*x**2/2 + 2*x + 2. Let w be q(5). Solve 3*d + 0*d - w = 0 for d.
4
Let y(p) = -p**3 + 5*p**2 - 4*p - 1. Let c be y(3). Suppose 31 = c*u - 44. Solve m + 2*m = -u for m.
-5
Let h(q) = q**2 - 4*q - 4. Let r be h(5). Suppose -4*b = -z - 8, 0*z = 3*b + 4*z - 6. Suppose 6 = w - c, -4*w + b*c = r - 15. Solve 0 = -0*j - j + w for j.
1
Suppose 3*a = -0*m + 2*m - 3, -3*m + a = -8. Suppose -4*j + 19 - 6 = o, -17 = -j - 3*o. Solve -m*k + 1 = -j*k for k.
1
Let x be (0 + (-30)/9)*3. Let l be (24/x)/4*-5. Solve l*o + 2*o = -10 for o.
-2
Let l be 0/(-4 + -1 + 2). Solve 0 = -4*g - l*g for g.
0
Suppose -2*k + 1 + 15 = 0. Suppose k = 3*z - 7. Solve 4 = z*h + 24 for h.
-4
Let l(k) = -6*k + 1. Let b(s) = -6*s + 1. Let w(c) = 6*b(c) - 7*l(c). Let z be w(1). Solve d - 2*d - z = 0 for d.
-5
Let u(n) = -8*n - 10. Let c be u(-2). Solve 5*y = -c - 14 for y.
-4
Let a(t) = -t - 1. Let w be a(-5). Suppose u + w = 7. Solve -u*s + 20 = s for s.
5
Let l be 7 - (8/(-4) - -2). Let p = l - -3. Solve -3*c + p = -c for c.
5
Let w = 262 + -98. Let x be w/16 - 3/12. Suppose 0*k - k + 5 = 0. Solve x = k*d - 0 for d.
2
Let p = -12 - -15. Solve 1 = -4*o - p for o.
-1
Let j(b) = b**2 + 2*b + 1. Let m be j(-3). Let g(w) = 9*w - 1. Let s(n) = 44*n - 4. Let u(x) = -24*g(x) + 5*s(x). Let q be u(m). Solve 7*y = 3*y + q for y.
5
Let s = -13 - -18. Suppose s*f - 2*f - 18 = 0. Solve -3*n + f = -0 for n.
2
Suppose 0 = -5*t - 5. Let x be t - -9 - (9 - 6). Suppose 0 = -2*y + r + 8, -11 = -5*y + r + 12. Solve -x = 4*v - y*v for v.
5
Suppose -6*t + t = 0. Suppose 0 = f, 5*m + 3*f - 1 - 14 = t. Suppose -6 = 5*y - 4*x, -m*x = 3*y - 8*y - 2. Solve 5*a + y - 7 = 0 for a.
1
Let r be (6 - -3 - -2)*1. Let h = r - 5. Solve 0*o = -2*o - h for o.
-3
Let b be (-4 - 54/(-15))*-10. Solve -u + b*u = -9 for u.
-3
Let r(i) = i - 10. Suppose -33 = -2*j - j. Let u be r(j). Solve -f - u = -2 for f.
1
Let f be 10/(4 + 1)*1. Solve 3*t - f*t + 5 = 0 for t.
-5
Let h(c) = -c**3 - 13*c**2 - 14*c - 20. Let k be h(-12). Solve 0 = 6*x - k*x for x.
0
Suppose 0 = 5*g - 2*m + m - 14, -2*m = 8. Solve k - g = -0 for k.
2
Let q = 30 + -17. Let i = 15 - q. Solve y - 5 = i*y for y.
-5
Suppose 0 = 4*v - 0*p - p - 13, -3*v = -3*p - 12. Let m = v - 1. Suppose 0 = -4*l + m*l + 6. Solve -5 - 1 = l*n for n.
-2
Suppose -4*q + 33 - 9 = 0. Let n = q + -2. Let k = 2 + n. Solve 2*j - k = -j for j.
2
Suppose 0 = -2*u + 6*u. Solve u = 2*z - 6*z for z.
0
Suppose -4*r = 4*m - 837 - 27, -m = 1. Suppose 4*f - r = -9. Suppose 0*q - 2*b - 38 = -2*q, 0 = -3*q + 2*b + f. Solve 0 = -4*a + 6 - q for a.
-2
Let a be ((-10)/6)/((-1)/6). Let j be (1 + 1)*(-1 - -2). Let r be 0/(-3 + j)*1. Solve 5*k - a = -r for k.
2
Let r be ((-10)/1)/(9/(-27)*6). Solve r*i = 1 + 14 for i.
3
Suppose 15*x = 18*x - 12. Solve 0 = -7*b + x*b + 9 for b.
3
Let y be ((-1 - 0) + 1)/1. Let s(d) = d**3 - 10*d**2 + 9*d + 1. Let a be s(9). Let p be -6*(2/3 - a). Solve -p*b = -y*b - 4 for b.
2
Let x(k) = k - 2. Let n be x(10). Suppose -n = -5*a + 3*a. Solve 0 = 3*s + a + 2 for s.
-2
Let f be (5 + -14)*(-2)/3. Suppose 0 = -b + f. Solve -2*l + 12 = -b*l for l.
-3
Suppose 11 = 2*h + b, 2*b + 16 = -3*h + 7*b. Let s(f) = -f**2 + 6*f - 1. Let o be s(5). Suppose v + 2*p = 13, o*v + 3*p - 6 = 31. Solve -2 = -h*a + v for a.
3
Let s(g) = -g**3 - 4*g**2 - g - 1. Let y be s(-4). Solve -p + 4 = y for p.
1
Let q = -2 + 2. Let j = q - -4. Let i = 9 - j. Solve -w - 20 = -i*w for w.
5
Let r be -3 + 4 - (0 - -5). Let y = r + 4. Suppose 5*x - 3 = 12. Solve y = -x*h + h + 10 for h.
5
Suppose 4 = -4*x - 4*u, -2*x - 2*x + 20 = -4*u. Let c be 1 + 2 - -1*x. Solve 0 = -5*r + 10 + c for r.
3
Let t(v) = 2*v**2 + 3*v + 2. Let x be t(-1). Solve -2*r = -x - 1 for r.
1
Let t = 22 + -13. Let i be (-160)/(-72) - 2/t. Solve i*c - 6*c = -8 for c.
2
Suppose 0 = -2*c - 1 + 5. Let d(t) = 6*t**2 + 34*t - 8. Let o be d(-6). Solve -c = -o*z + 6*z for z.
-1
Suppose -3*r + q - 3*q + 45 = 0, 0 = r - 4*q - 1. Solve 0 = 4*v + r + 3 for v.
-4
Let c(d) = 2*d - 4. Let w = 20 - 15. Let l be c(w). Solve t = l*t for t.
0
Let p = -2 - -6. Suppose 3*i + 5*a + 3 = 0, -8 - 3 = -5*i - 3*a. Suppose 8 = 2*f, 4*q - 2*f + p + i = 0. Solve q = -b - 0 + 2 for b.
2
Let x(t) = -t**3 - t**2 - t - 1. Let c(v) = 7*v**3 + v**2 + v + 2. Let p(q) = c(q) + 6*x(q). Let r be p(6). Solve -r*i - 8 - 2 = 0 for i.
-5
Let p be (2/5)/((-3)/(-30)). Suppose -p*d = -d. Solve l + l + 2 = d for l.
-1
Let s = -155 - -155. Suppose 3*u - 6 = -0. Solve s = -u*a - 3*a for a.
0
Let b(f) = -f**3 - 11*f**2 + 2. Let z be b(-11). Let y be 58/18 + z/(-9). Solve q - 2 = -y for q.
-1
Suppose 5*w - 2*z + 10 = z, -4*w - 8 = -3*z. Let q be 10*((-3)/w + -1). Solve q*u + 0 = -25 for u.
-5
Let o be ((-3)/4)/(7/(-28)). Suppose t + 0*t - o = -v, -5*v + 4*t + 6 = 0. Suppose -v*l + 1 + 9 = 0. Solve l = -4*y + 1 for y.
-1
Let u be (4*2)/2*1. Let p(h) = h**2 - h. Let c be p(2). Solve c*x + u = -0*x for x.
-2
Let g(z) = -z**3 + 7*z**2 - 3*z - 16. Let t be g(6). Solve -3 = t*h + h for h.
-1
Suppose n - 14 = -3*a, 16 = 5*n - 0*n - 3*a. Solve -n*t + 8 = -3*t for t.
4
Let k(s) = 7*s**3 - 3*s**2 - 9*s + 8. Let g(v) = 8*v**3 - 4*v**2 - 10*v + 9. Let n(r) = -6*g(r) + 7*k(r). Let y be n(2). Solve -3*m - m - y = 0 for m.
-4
Let y = 7 - 4. Let g = 3 - y. Suppose -4*a - 4 = 2*p, -5*p - 5*a = -g*a + 5. Solve p = i - 6*i for i.
0
Let q(r) = -r - 1. Let u be q(-5). Let y = u - 8. Let h be (-2 + 0)/(y/6). Solve 1 = p + h for p.
-2
Let 