 s for t.
3
Suppose -12 = 3*s, -2*a - s = a - 8. Let g(j) = j**2 + j. Let q be g(0). Let n = a + q. Solve n*r + 3 + 1 = 0 for r.
-1
Let j be (-18)/(-4) + 16/(-32). Solve 6*k - 5*k + j = 0 for k.
-4
Let y(m) = 3 - 7 + 3. Let b(t) = 2*t + 4. Let u(g) = b(g) + 5*y(g). Let z be u(2). Solve z*x + 3 = -0 for x.
-1
Let t(v) = v**2 - 4*v. Let p be t(-2). Solve -p = -d + 5*d for d.
-3
Let b be 14/8 + (-2)/(-8). Let z(o) = 0*o**b - 6*o - 10 + 5*o**2 + o - 4*o**2. Let x be z(7). Solve -x*w - 2 = -2*w for w.
-1
Let w = 49 - -80. Suppose 4*z + 45 = w. Solve -5*t + 4 = -z for t.
5
Suppose 1 = -5*p - 14. Let w be 2/(-4) - p/(-2). Let q = w + 3. Solve 0*s = s - q for s.
1
Let z(m) = m**3 + 4*m**2 + 2*m - 2. Let c be z(-2). Solve -c*x + 3 = -1 for x.
2
Suppose 2*s + 0*s = 4. Solve 6 = s*z - 0 for z.
3
Suppose -g = v + 2, -4*v = -g - 2*g + 22. Solve 2*t - 4 = -g*t for t.
1
Let u be 10/(-1)*12/(-8). Solve -13*z = -10*z + u for z.
-5
Suppose 30 = 5*n - 10. Let f = -8 + n. Solve -t - 6 + 2 = f for t.
-4
Suppose 6*p - 3*p = 0. Let i be 0/((p + 1)/1). Solve -c + 6*c - 10 = i for c.
2
Let t = -6 + 8. Solve 3 = -s + t*s for s.
3
Suppose -9*m = -5*m - 112. Solve -m = -5*c - 8 for c.
4
Let z be (8/(-14))/(10/(-35)). Solve -16 = -z*j - 2*j for j.
4
Let p be 0/5 - 0 - -5. Solve 0 = p*o - 5 for o.
1
Let p = 2 - 3. Let f = p - 11. Let s be ((-8)/6)/(2/f). Solve -4*a = 8 + s for a.
-4
Suppose -4*c = -2*m, m + 4*c = -2*m + 30. Solve 12 = -m*d + 3*d for d.
-4
Let x be 5 - (2 + -2 + 2). Suppose d = 6 - x. Let r = d - 0. Solve r - 11 = -2*c for c.
4
Let c(p) = p - 10. Let v be c(14). Solve 20 + 0 = v*s for s.
5
Let m = 44 - 26. Solve -5*q = -7 - m for q.
5
Let u be (0 + 45/(-25))/((-9)/30). Solve -x = x + u for x.
-3
Let q(p) = 2*p - 16. Let c be q(11). Suppose 0 = -4*b + 5*r, b + c*r - r = 0. Solve b = -0*l - 5*l + 25 for l.
5
Suppose -u = u - 10. Suppose -8*x - p - 14 = -3*x, -4*x = u*p + 7. Let s be 10*(x + 7/2). Solve s*q - 1 = -6 for q.
-1
Let g be ((-8)/20)/(1/5). Let n be g/(-7) - 66/(-14). Solve 0 = -n*r + 2*r + 15 for r.
5
Let r(a) = 2 + 2*a - 6 - 5. Let g be r(6). Suppose -2*p - 1 = 2*q - q, -5*q = p - 4. Solve -q = -2*v + g for v.
2
Let k(x) = x**3 - 3*x**2 - 3*x + 2. Let s be k(4). Suppose -2*n + 5*n - 16 = -2*o, 3*o - 3*n = -s. Let v be 1 + 1*(2 - 1). Solve -2 = v*z + o for z.
-2
Let m = 41 + -34. Solve 3*k = m + 8 for k.
5
Let h = 7 - -5. Let i = -7 + 9. Solve -i*t - h = t for t.
-4
Let d(s) = -s**2 - 4*s + 1. Let q be d(-3). Let u be (-2 - (-152)/6)*-3. Let f = -49 - u. Solve 5*n - q = f for n.
5
Suppose -24 = -5*q + z - 5, 4*z = -16. Solve -q*g - 8 = g for g.
-2
Let b be (-3)/4 - (-6)/(-24). Let n = 3 + b. Solve t = -n*t - 15 for t.
-5
Let z be ((-2)/2)/((-3)/15). Suppose 0 = z*f + 3*a - 64, 5*f - 6*f + 23 = 4*a. Solve -9 = 4*q + f for q.
-5
Suppose -37*m - 20 = -38*m. Solve -m = -5*f + 5 for f.
5
Let x(j) = j - 2. Let f be x(2). Solve f = q + 2*q + 12 for q.
-4
Let n(o) = -o**3 - 7*o**2 + o + 11. Let w be n(-7). Solve -2*z = -w*z - 6 for z.
-3
Let g = 6 - 0. Solve -5*c = -g + 1 for c.
1
Let a be (6/9)/((-1)/(-6)). Solve -j - 5 = a*j for j.
-1
Let w = 12 + -8. Suppose -2*b + c = -33, -3*c - 29 = -3*b + 19. Suppose -v = 3*v + h + 1, -3*h - b = -2*v. Solve 0 = -s - v - w for s.
-5
Let h(j) be the second derivative of -j**3/6 - 9*j**2/2 + 4*j. Let x be h(-10). Solve 0 = -a - 0 + x for a.
1
Suppose 4 = 2*s - 16. Solve -w + s = w for w.
5
Suppose 2*v + 6 = 22. Let f(w) = -w**2 + 7*w - 7. Let y = -7 + 12. Let h be f(y). Solve n = h*n - v for n.
4
Let s be 0 - 3 - (-22)/2. Solve -3*u + s*u + 20 = 0 for u.
-4
Suppose -3*c = -7*c + 5*n + 10, n + 2 = 0. Let v be c/2*4/(-8). Solve 2*q + 12 - 4 = v for q.
-4
Suppose -3*w = 12, 3*w - 2*w + 8 = -4*l. Let r(p) = 3*p**2 + 106*p - 50*p - 55*p. Let v be r(l). Solve y + 0*y - v = 0 for y.
2
Suppose 5*l - 22 = -o, o + l + 18 = 6*l. Let s be (-44)/(-8) - o/4. Solve 1 = -2*c + s for c.
2
Suppose -n + 4 - 2 = 0. Suppose 0 = n*f - 0 - 6. Solve -3*m + f = 9 for m.
-2
Let n = -67 - -78. Solve 5*m - n = 9 for m.
4
Let r be (0/(-1))/((-1)/1). Let j = 19 + -14. Solve -j*x + 4*x + 3 = r for x.
3
Suppose -2*j + t + 13 = 0, -1 = -t + 2*t. Solve -j = -g + 4*g for g.
-2
Let s be (-5)/(-15) + 166/6. Solve -3*v + 13 = s for v.
-5
Suppose 27*f + 16 = 35*f. Solve 3 = f*p - 3*p for p.
-3
Let x(n) = n**3 - 6*n**2 - 2*n - 9. Let r be x(7). Suppose 2*j - 41 = j. Let u = j - r. Solve 0 = a + 2*a - u for a.
5
Let y(v) be the first derivative of -v**4/4 + v**2/2 + 33*v + 1. Let k be y(0). Suppose 3*r = 5*r - a - 13, 3*a = 5*r - k. Solve -r = -z - z for z.
3
Suppose p - 2*t = 2*t + 18, -5*t - 30 = -5*p. Solve s + 1 = p*s for s.
1
Let p = 8 + -36. Let u = -16 - p. Suppose 0 = 5*t - 0*t. Solve d - 5*d - u = t for d.
-3
Let r be ((-1)/(-2))/((-2)/(-4)). Let b(q) = 12 - r + 0 + q. Let i be b(-6). Solve 2*c + 3 - i = 0 for c.
1
Suppose -2*k + 20 = -2*j, -3*k + 4*j + 26 = -8. Solve -5*w = -3*w - k for w.
3
Let h be (8/(-6))/(10/(-15)). Solve -10 + 4 = h*z for z.
-3
Let o(w) = w + 3. Let h be o(-6). Let d be ((-4)/10)/(h/60). Solve d = 3*x + x for x.
2
Suppose 11 + 25 = 9*b. Solve -b*w + 17 = 5 for w.
3
Let j be -18*8/36*-3. Let x(p) = -p**3 + 13*p**2 - 12*p + 4. Let l be x(j). Solve 4*c - l = 2*c for c.
2
Suppose -33 = -4*i - 5*r, -5*i + 45 = -0*i + 5*r. Let k be 40/(-12)*i/(-10). Let v be (k/1)/(4 - 2). Solve -3 = -v*t + 3*t for t.
-3
Suppose -3*p = -4*b - 2*p + 4, -4 = -4*b + 3*p. Solve -l = -3 + b for l.
2
Let q(z) = 3*z - 1. Let y be q(1). Suppose 3*i = -h, -2*h - 3*h - y*i = 0. Solve h*b = -2*b for b.
0
Let q be -24*(-1 - 1/(-2)). Let w = 8 + q. Let y = -6 - -8. Solve -y*n - w = -7*n for n.
4
Let t = 1 - 1. Solve t = 4*s - 5 - 15 for s.
5
Let b(l) = 2*l - 11. Let k be b(8). Suppose 0 = -k*o + o + 20. Suppose 3*y = -o*s + 5, 0 = -2*s - s + 5*y + 37. Solve -3 = -s*c - 11 for c.
-2
Let c(d) = -d**3 + 7*d**2 + d - 2. Let s be c(7). Solve 20 = s*v - v for v.
5
Suppose 2*j + 6 + 18 = 3*c, 0 = -5*j + c - 47. Let u = -9 - j. Let d be ((-6)/(-3) + -3)*u. Solve 2*h + d = 2 for h.
1
Let a = 32 - 28. Solve 0 = -5*p + a*p for p.
0
Let q be (1 + -1)/(-3 + -3 + 5). Solve n + 3*n + 12 = q for n.
-3
Let o(p) = -p**3 - 11*p**2 + 2. Let g be o(-11). Let l(z) = -z + 4. Let w be (-6)/(-4)*(-1 - 3). Let i be l(w). Solve -i = 2*y - g for y.
-4
Suppose 0 = -a - 2*a. Suppose 0*b = -2*b + 3*s + 21, -b + s + 9 = a. Solve 2*h - b*h = 20 for h.
-5
Let m be (-312)/(-169) - (-2)/13 - -1. Suppose -5 = 5*k + 15, -5 = -l + k. Suppose -3*h = l - 25. Solve m*j + j + h = 0 for j.
-2
Suppose -5*z - 7 = -17. Suppose 0*h = z*h - 24. Suppose 6 = 3*o - 0*o. Solve o*d + h = -2*d for d.
-3
Suppose -20 = -3*i - i. Solve 2*t + i = t for t.
-5
Let c be 0*(6/(-4) - -2). Suppose -4*m + 0*n = -n - 10, c = 2*n + 4. Suppose 3*y + 6 = m*b, -4*b + 15 = b - 4*y. Solve 0 = d + 2 + b for d.
-5
Let j(d) = 5*d**2 + d. Let x be j(-3). Suppose 3*u - x = -18. Solve -5*g - 7 = u for g.
-3
Suppose 10*b = 15*b. Solve b*z = 4*z - 16 for z.
4
Let r = 35 + -34. Let x be -3*(-3)/3*-1. Let m be 1/x + (-2)/(-6). Solve -5*v - r - 14 = m for v.
-3
Let u(r) = 3*r + 5*r**3 + 4 + 5*r**3 + 2*r**2 - 11*r**3. Let x be u(3). Solve -25 = x*y + y for y.
-5
Suppose -4 = d, -4*a + 24 = -0*d - 4*d. Suppose i - a = -1. Solve -2*n = i - 3 for n.
1
Suppose 2*g - 16 = -2*v, -23 + 3 = -3*v + g. Let n = v - 2. Solve -n*c = 7 + 13 for c.
-4
Let a = -7 + 1. Let g = a + 8. Solve 0 = -2*c - g + 10 for c.
4
Let b = 29 - 19. Solve -8*k = -3*k + b for k.
-2
Let z(h) = -h**2 - 11*h + 5. Let p be z(-11). Let k = 0 + -2. Let j be k*(-1)/(-1) - -6. Solve -p*w + 16 = -j for w.
4
Suppose 13 = 3*t - 2*i, 3*i = -t - 8 - 6. Solve t = 3*f + 13 for f.
-4
Suppose 3*k - 18 = -0*k. Let c be 1 + k/(2 + 1). Solve -1 + c = 2*b for b.
1
Suppose 4*t + 5*j = 1 + 11, -t - 5*j - 12 = 0. Let d = -4 + t. Suppose -d*l - 5*y + 45 = 0, 0 = 3*l - y - 10. Solve 2*f + l = 3*f for f.
5
Suppose 6 = m + 2*m + 5*a, 3*m = a + 6. Let y(i) = 11*i**3 + i**2 + i - 1. Let h be y(1). Suppose -12*d + 9*d + h = 0. Solve 0 = -m*q + d*q for q.
0
Let w be 6*(0 - (-8)/3). Solve 4 = 4*b - w for b.
5
Let m(x) = -3*x - 25. Let y be m(-9). Solve 2*l = 3*l - y for l.
2
Suppose -5*h = -2*h. Solve -2*m - 3*m = h for m.
0
Suppose -18*i = -13*i - 5. Solve 4*r = i + 3 for r.
1
Let q = 4 + -2. Let z(t) = -6