 l for l.
-4
Suppose 0 = 5*y - 14 + 19. Let o be -4 - y - 1*-6. Solve 2*p - 10 = -o*p for p.
2
Let y be (-4 - 50/(-8))*(-8)/(-6). Solve 195*b - 196*b + y = 0 for b.
3
Let d be (-10)/(10/(-11)) - 6. Solve -5*m - 15 = d for m.
-4
Suppose -5*y = -32 + 17. Suppose -3*a - 3 = -y*x, -4*x + 2*x = -5*a + 1. Solve -x*r + 5 = 3*r for r.
1
Suppose 3*d - 20*a = -25*a + 59, 4*a = 16. Solve 15 + d = 14*r for r.
2
Let y = 149 - 89. Let c = y - 57. Solve 11 = c*u - 4 for u.
5
Let s be 21 + -18 + (-1 - 62). Let r = s - -64. Solve -2*c - 2*c = -r for c.
1
Let r = 64 + -60. Let y be 0/1 - 1*(r - 8). Solve 6 = -y*q + q for q.
-2
Suppose 0*c = -7*c. Suppose 3*n - 1 + 16 = c. Let l = n - -5. Solve -4*f + 5*f + 5 = l for f.
-5
Suppose 2*g + d = 104, -33*g + d + 166 = -30*g. Solve -52*h + g*h = 4 for h.
2
Let m be (-26 + 25)/((-1)/3). Suppose -3*i - 12 = -f, 0 = 3*f + f + 3*i - m. Suppose 0 = y - 3*v - 20, 0 = y + 4*v - 3 + 18. Solve -6 = f*a - y*a for a.
3
Suppose 3*n - n = 2. Let p = -19 + 34. Let v be ((-1)/5)/((-48)/p + 3). Solve n = y - v for y.
2
Suppose 2*x - i + 10 = 0, 0 = i - 6 + 2. Let t = -3 - x. Solve -3*g = -3 - t for g.
1
Let v(s) = -45*s + 58. Let o be v(1). Solve 6*i - 28 = o*i for i.
-4
Suppose 10 = 10*t - 12*t, 3*s + 3*t + 15 = 0. Solve 2*c + 5 - 1 = s for c.
-2
Let k(g) = -2*g - 3. Let c be k(-6). Solve 10 = c*f - 4*f for f.
2
Let b(p) = p**2 + 5*p + 7. Let c be b(-4). Solve -c*s - 28 = -10*s for s.
4
Let j be (-12)/42 + 107/7. Suppose -8*q + j = -3*q. Suppose b + q*v = 9, -b + 4*b + 4*v = 17. Solve 6*i + 15 = b*i for i.
-5
Suppose -2*v - 25 = 3*v, 0 = 2*x + 2*v - 2. Let z(s) = s**3 + s. Let b be z(0). Let n(k) = k**3 - k**2 + 3. Let h be n(b). Solve -3*y = x + h for y.
-3
Let v = -3 + -4. Let h be 2/8 - v/4. Suppose -3*o - j = h*j - 33, -20 = -2*o - 4*j. Solve 2*i = -2*i + o for i.
3
Suppose 4*t - 2 = u, 8 = -4*u + 3*t - 4*t. Let y be u/2*(1 - 13). Let w = -7 + 9. Solve -w*d + y = 2*d for d.
3
Let m(i) = 2*i**2 + 45*i - 123. Let o be m(-25). Solve 3*j = -10 - o for j.
-4
Let h(w) = -12*w**3 - 2*w**2 - 2*w - 1. Let t be h(-1). Suppose 4*d - t = 21. Solve -j = j - d for j.
4
Suppose -37 + 2 = 5*o. Let a = 14 + o. Suppose a + 3 = 2*t. Solve 6*f + t = f for f.
-1
Suppose 2*y + 55 = 5*t - 3*y, 3*t = 2*y + 28. Suppose -3*j + t*j + 36 = 0. Let q be (9/j)/(9/(-24)). Solve q*u = 4*u for u.
0
Let n(w) = 7*w - 54. Let k be n(15). Suppose -k = 2*d - 51. Suppose 0 = -4*g - g + 2*i + 23, 5*i - 20 = -3*g. Solve g*v - 35 + 10 = d for v.
5
Let u be 1 + 4 + (-6)/15*-5. Solve 0 = 3*g - 22 + u for g.
5
Let i = -18 - -18. Suppose -2*d + i*d = 0. Let k be ((-7)/2)/(-7)*d. Solve -4*c + c - 12 = k for c.
-4
Suppose -12*i = -17*i. Suppose -m - 4*m - 5*r = i, 0 = 3*m + 4*r. Solve m*u = -u - 2 for u.
-2
Let o be ((-32)/(-6))/(12/18). Let w be (o/(-5))/((-4)/10). Let x be w/8*-1*-12. Solve x*q - 2*q = 4 for q.
1
Suppose 6*j + 2*w = 7*j, -4*j - 3*w = 0. Suppose -3*o = 5*s - 11, -3*s + o + 4 = 3. Solve j - s = b for b.
-1
Let k(u) = -u**3 + u**2 - u + 3. Let q be k(0). Suppose 0 = -w + 2*s - 3 - 1, -2*w - 4 = -2*s. Solve w = -2*r + q*r for r.
0
Let h(f) = f**2 + 11*f + 6. Let b be h(-11). Let y(l) = -2*l**2 + 1 - 5*l**3 - 1 - 5 + b. Let q be y(-1). Solve 0*c = -4*c - q for c.
-1
Let x be (-2)/(2/(96/(-3))). Suppose 3*g + 4*q = x, -2 = -g + 2*q + 2. Let n = -7 + g. Solve -h = n - 3 for h.
2
Let t be ((-4)/(-8))/((-1)/(-6)). Suppose t*g - 24 = 6. Solve 0 = -6*p + p + g for p.
2
Let f = -1 + 1. Let x(z) = z - 13. Let y be x(16). Suppose 5*a - 7 = h - y*h, 2*a = 2*h. Solve -5*q + 4 + h = f for q.
1
Let n be 1*5 - (5 - 2). Suppose n*z = 4*z. Suppose 0*g + g = z. Solve g = -2*p + p - 1 for p.
-1
Suppose -4*m = -6*m. Suppose 8*u - 7*u = m. Let s = 47 + -42. Solve -s = h - u for h.
-5
Let o(p) = -14*p - 378. Let g be o(-27). Solve g = 13*i - 16*i for i.
0
Suppose 127 - 25 = 6*n. Let x(l) = l - 11. Let p be x(n). Solve -5*d + p = 1 for d.
1
Let z = -1 + 6. Let y(g) = 5*g**2 + 0*g**3 - g**3 - g**2 + 7*g - 6. Let u be y(z). Solve 0 = u*k - 10 - 2 for k.
3
Let w(x) = -x**2 + 11*x - 8. Let f be w(5). Solve 4*n + f - 10 = 0 for n.
-3
Suppose -21 = -5*l + i, 4*l + 0 - 12 = -4*i. Suppose f + 18 = l*f - 5*o, -5*f + 61 = 2*o. Suppose 18 = 5*r + 2*h + 1, 4*r = h + f. Solve r*y + 4 = -y for y.
-1
Suppose 4*f = f + 6, -j = f - 2. Suppose -1 = 4*b - p, 3*b - 4*b + p - 1 = j. Solve z + z = b for z.
0
Let t = -107 + 133. Let n = -20 + t. Solve -8*x + 5*x + n = 0 for x.
2
Let x be (-164)/(-10) + 16/(-40). Suppose -3*d + x + 14 = 0. Solve 5*j = -0*j - d for j.
-2
Let h = 74 + -55. Suppose -8*c + h = -21. Solve -4 = -3*s + c*s for s.
-2
Suppose -109*k - 116*k = -219*k. Solve -9*z + z + 40 = k for z.
5
Suppose 0*l + 21 = l. Let n = 27 - l. Solve 0 + n = -3*q for q.
-2
Let z be (-13)/(-2) - 5/(-10). Suppose 0 = -2*t + z*t - 65. Solve -4*i + 7 = -t for i.
5
Suppose 5*g - 4*u - 42 = -11, 0 = 3*g - 2*u - 17. Suppose -6 = -4*f + g*f. Suppose 0 = -11*o + f*o. Solve -c = -o*c for c.
0
Suppose 6 - 1 = n. Solve -10 - n = 3*w for w.
-5
Let j = 134 + -134. Solve 3*b = -j*b + 3 for b.
1
Let r = 46 - 23. Suppose 0 = -m + 5*b + r, -2*m - 2*b + 1 = m. Solve -m*l - 3 = 3 for l.
-2
Let s(i) = -2*i + 6. Let j(r) = r**2 - 11*r + 13. Let b be j(10). Let q be s(b). Let x = -1 - -1. Solve -c + q*c - 1 = x for c.
-1
Let c(b) = -b**3 + b**2 + 7*b - 1. Suppose 9*w - 36 = -3*w. Let q be c(w). Solve 2*t + q = -2 for t.
-2
Suppose -10*v + 11*v = 1. Suppose 0 = k + 5, -k = -c + 2*c + 5. Let h = v - c. Solve n + 6 = h for n.
-5
Let b be (1 + -1)/((-5 - 3)/4). Let l(v) = v + 12. Let p(s) = s + 13. Let n(c) = 5*l(c) - 4*p(c). Let j be n(b). Solve -5*f - j = 12 for f.
-4
Let o = -567 - -571. Solve -2*k + o + 4 = 0 for k.
4
Let h be 4 + 5/10*-6. Let v = 29 + -20. Solve -2*m - v = -h for m.
-4
Let o = 2227 + -2227. Solve o = 2*m + 1 - 1 for m.
0
Let s be (-1)/3 - 550/(-30). Suppose -4*y - 32 = -4*l, l - s = -2*y + 4*y. Let w be (-75)/y*4/6. Solve -3*t = -1 - w for t.
2
Let y be (-4)/((21/(-18))/(-7)). Let l be (-2)/(-2) - y/6. Let d(b) = b + 24. Let v be d(-24). Solve l*h - 10 = -v*h for h.
2
Suppose 0 = -w + 1 + 1. Suppose -g = o + 3*g - 6, -5*o + 14 = 4*g. Let q be o/(3/w + -1). Solve -l = -q + 2 for l.
2
Let z(i) = i**3 + 7*i**2 + 14*i + 21. Let s be z(-5). Solve -7*t = -8*t + s for t.
1
Let t be ((-30)/3 - -3) + 9. Solve 9*c + 7 = t*c for c.
-1
Let u be 1*((-4)/(-1) - 2). Suppose 2*g + 2*l - 5*l - 2 = 0, 14 = -u*g - 5*l. Let h = -2 - g. Solve 0 = -w - h*w for w.
0
Suppose -5*l + 80 = -3*h - 2, 3*l - 5*h = 46. Suppose 48 = -l*v + 14*v. Let m = -11 - v. Solve 0 = m*c - 1 + 6 for c.
-1
Let m(b) = -2*b**3 - 8*b**2 + 7*b - 10. Let s be m(-5). Solve 0 = s*o + 28 - 23 for o.
-1
Let h = -24 - -18. Let p be 3/2*(-4)/h. Solve -l = 5 - p for l.
-4
Suppose -2*v = 1 - 5. Let c(h) = 5*h**2 - h + 3*h**v + 2*h. Let d be c(-1). Solve -d*i - 5 = -2*i for i.
-1
Let r = 2 + -2. Suppose -y + 6 = 2*y - 3*n, r = 5*n. Suppose -y*q - 3*q = 0. Solve q = o + o for o.
0
Let r be 2 + (14/5 - 17/(-85)). Suppose 5 = -3*n + 5*g, -r*n + 2*g = -2*n - 7. Suppose b - 15 = -3*y, 2*b + 2*y - 10 - 8 = 0. Solve -21 = -n*x - b for x.
3
Suppose 0 = 11*k + 18 - 282. Let b be 4/k*-2 - 16/(-3). Solve 0 = -4*l - l + b for l.
1
Let s be (13 - (-5 + 3)) + -11. Solve 0 = 13*v + s*v - 68 for v.
4
Suppose -4*s - 4*u = -12, 2*u = -5*s + 64 - 46. Suppose -5*w + 12 = -13. Suppose 3*h + 3*q = 22 + w, 3*q - 15 = 0. Solve 0 = s*k - h for k.
1
Let i be (-782)/6 - (-5)/15. Let t = -130 - i. Solve -15 = 5*l - t*l for l.
-3
Suppose -3*f + 0*f = -4*r - 27, 3*f - 27 = -2*r. Solve -5 + f = -4*m for m.
-1
Suppose 2*x = 4*v - 2, -5*v + 2*x + 1 + 4 = 0. Suppose 5*s - 15 = 2*d + 3*d, 5*d = -v*s - 15. Solve s = -c + 2*c - 2 for c.
2
Let n = 6 + -3. Suppose -2*p + 14 - 24 = -4*a, 20 = -3*a - 4*p. Solve a = -q + n - 5 for q.
-2
Let x(r) = -r**2 - 3*r + 3. Let m be x(-8). Let u = m - -43. Solve 0*o - 3*o = u for o.
-2
Let a = -142 + 246. Suppose 39 - a = -13*w. Solve 2*k = w*k - 6 for k.
2
Let d be (-15)/(-45) - (-15)/9*1. Suppose -n = 3*n - 24. Solve -8 + n = -d*h for h.
1
Suppose -3*l = z - 5*l - 8, 10 = 2*z - 2*l. Solve -z*x + 0*x = -8 for x.
4
Let g be (28/(-21))/((-4)/12). Solve 0 = -7*w + g + 3 for w.
1
Suppose -i + 5*v + 19 = 0, 0 = -2*i + v + 39 - 19. Solve i*p = 16 + 20 for p.
4
Let f be ((