for x.
3
Let j be (2 - 2)/(-1 - (-7)/(-7)). Solve -29*g + 23*g + 30 = j for g.
5
Let x be -4 + 0 + 23 + -4. Let u(j) = -j**2 + 14*j + 17. Let w be u(x). Solve q + w = 3*q for q.
1
Let t(j) = -j**2 - j - 2. Let i be t(0). Let y be 11/i + 3/2. Let l be (-1)/(y + 76/20). Solve 1 = 2*v - l for v.
3
Suppose 0 = u - 3*o - 7, -4*o = 2*u + 3*u - 16. Suppose u*m + 15 = -17. Let r = -4 - m. Solve r*g = g - 15 for g.
-5
Let s = 17 + -38. Let t be 28/s*9/(-6). Solve 13 = 5*h - t for h.
3
Suppose 87 = 19*h - 160. Suppose -q + 0*q = -5. Solve -q*y = -7 - h for y.
4
Suppose -5*o + 15 + 10 = 0. Suppose o*c - 25 = 0, -2*h + 36 = 2*h + 4*c. Let n be (-324)/(-48) - (-1)/h. Solve -n = 3*v + 8 for v.
-5
Let h(d) = d**3 - 6*d**2 + d + 22. Let p be h(5). Solve 4*r = -p*r for r.
0
Suppose -2*r = -5*q + 16, r + 3*r = q + 4. Let f = 30068 - 30048. Let j be (-6)/21 + 4/14. Solve j*s + q*s - f = 0 for s.
5
Suppose 7*n - 4 = 10. Solve -n*l = -3*l + 1 for l.
1
Suppose d + 0*d = 18. Let p be (((-6)/(-10))/(16/80))/1. Let g be 3/d*2*p. Solve 3*f - g = -10 for f.
-3
Suppose 25 = m - 5*q, -3*q = -m + 54 - 39. Let k(y) = -2*y**3 + y + 1. Let o be k(-2). Solve m*w + 3*w - o = 0 for w.
5
Suppose -5*p + 25 = 20*p. Solve 16 - p = 3*u for u.
5
Let i be (-3 + 9)/(3 + -2). Let x be 2*(15/i + 2). Let f = 12 - x. Solve 0 = w - f + 8 for w.
-5
Let t(x) = -3*x**2 + 5*x + 7. Let a be t(3). Let z be (a + 3 - -4) + 0. Solve -z*v - 10 = -0*v for v.
-5
Let q(u) = -u**2 + 7*u - 9. Let r be q(6). Let x be 16/((-10)/15*r). Solve x = -5*s + 33 for s.
5
Suppose -5*p + 5 + 25 = 0. Suppose -p*y - 2 = -7*y. Solve -y*i - 9 = i for i.
-3
Let m(v) = -4*v + 1. Let k be m(-1). Let c(p) = p**2 - 4*p + 2. Let j be c(4). Let n be (72/18)/(-4 - 14/(-3)). Solve j*l + n = k*l for l.
2
Let g = 538 - 499. Solve -43*q + 12 = -g*q for q.
3
Suppose c - 88 = -3*o, 31 = o + 5*c - 17. Suppose -2*s + 24 = 4*u, -2*s + o = -0*s + 5*u. Let a be 7 + (-2 - 1/(-1)). Solve -a = -s*f - 22 for f.
-4
Let b(p) = p**2 + 3*p - 8. Let t be b(2). Solve -2*a + t = -a for a.
2
Let n be 4/(-14)*(1 + -8). Suppose 4*k = -3*v - k + 43, v + 4 = n*k. Solve v = a + a for a.
3
Let c(t) = t**2 + 49*t - 660. Let i be c(11). Suppose 2*k + 0 - 4 = 0. Solve -z + i = -k for z.
2
Let i = 261 - 198. Solve i*g = 64*g + 4 for g.
-4
Let r be (-108)/30 - (-6)/10. Let a be 4 + 0/((-12)/r). Solve -a*i - 12 = -0*i for i.
-3
Suppose 2*j - 74 = -v - 4*v, 0 = -2*j - 6. Suppose -v*w - 4 = -17*w. Solve w*r = -10 + 2 for r.
-2
Suppose -x + 3*x - b = -2, -2 = -3*x - b. Suppose 5*h + 0*h - 5 = -5*g, -5*h + 11 = -g. Suppose 0*q = 2*q. Solve x = -q*d + d + h for d.
-2
Let y(t) = -t**2 - 2*t + 2. Let n be y(0). Solve n*q - 6*q = 0 for q.
0
Let x be -4 - (-3 + 0 - 3). Suppose 12 = 3*p + x*o, 3*p + 4*o - 2 = 4. Solve -3*v = -p*v for v.
0
Suppose -4*s - 23 = -3*f - 139, -2*s + 58 = 4*f. Solve 8*l - 61 = -s for l.
4
Suppose -6*z + 3420 = 9*z. Solve -z + 228 = 6*u for u.
0
Suppose 0*x + 5*b = -2*x + 18, 0 = -2*x - 2*b + 12. Suppose -x + 22 = 3*a. Solve 4*f = -26 + a for f.
-5
Let r = -81 + 81. Solve r*l = 2*l for l.
0
Let m(y) = 2*y**3 - 10*y**2 - 15*y + 8. Let o be m(7). Solve 5*r + 74 = o for r.
5
Let a = -2062 - -2074. Solve a*n + 24 + 12 = 0 for n.
-3
Let o = 704 + -701. Let l(i) = -i + 2. Let z be l(-2). Solve o*m = 5 + z for m.
3
Let g = 143 + -137. Solve 9*t + 3 = -g for t.
-1
Let c(y) = y**2 - 6*y - 1. Let x be c(7). Let i be 14*(-2)/(-84)*6. Solve -i + x = -h for h.
-4
Let f(d) = -d**3 + 5*d**2 - 2*d + 1. Let w be f(4). Suppose -5*g = -2*g - w. Suppose -4*y = -z + 3*z - 24, -g*y + 21 = 3*z. Solve -15 = -z*j - 7 for j.
4
Let y = -107 - -111. Let m be 3/(18/y)*(-90)/(-6). Solve -2*t - 3*t = -m for t.
2
Let i be ((-4)/10)/((-6)/(-9))*-10. Solve 0 = 17*j - 20*j - i for j.
-2
Let f be (-3)/((-18)/(-40))*201/(-134). Solve 15 = f*b - 7*b for b.
5
Let c(h) = h - 10*h - h**2 + h - 3. Suppose 3*j - 13 = -34. Let w be c(j). Solve 0 = -4*r - 16 - w for r.
-5
Let w(f) = -f**3 + 7*f**2 + 3*f. Let v be w(7). Suppose x + v = -j, -j - 3*x + 137 = -6*j. Let k = -19 - j. Solve k*r - 3*r - 15 = 0 for r.
5
Let k(h) = 16 - 6 + h + 17. Let r be k(-11). Solve m = 5*m - r for m.
4
Suppose 2*c - 2*y = 6, 0 = 2*c + 5*y - 3 + 25. Let m be (c - 0)*(-1 - 2). Solve 2 = x - m for x.
5
Suppose 2*o = t - 12, 3*o + o = -4*t. Solve -b + 0 = -t for b.
4
Suppose -1 = 2*p - 21. Suppose 3*b + 1 = p. Suppose 5*i - 6*i = -b. Solve 9 + i = 4*m for m.
3
Let y(c) = 2*c**3 + 10*c**2 - c - 1. Let f be y(-5). Suppose f*q = -q. Solve q = -3*j - 0*j + 6 for j.
2
Suppose 3*n = 2*k - 0*k + 2, -3*n + 17 = k. Let d = -4 + k. Let c be d - 4 - 36/(-12). Solve -j = -c*j for j.
0
Let k = 8 + -1. Suppose -k*s = -s. Solve -b + 4 - 2 = s for b.
2
Let g = -9 - -9. Let o(k) be the third derivative of k**6/120 + k**5/15 + k**4/24 - k**3/3 + k**2. Let r be o(-3). Solve g = x - r*x for x.
0
Let d be (1/(-2))/(1/50). Let b be 1*10/(-5) - 3. Let w = b - d. Solve 3*f = -f + w for f.
5
Let g be -1 - -9 - 1*(8 + -4). Suppose -3*n - g + 1 = 0, -2*a - 5*n - 1 = 0. Solve -15 = -a*z - z for z.
5
Let d be 1/5 + (-7 - 68/(-10)). Solve 0 = -d*h - 7*h - 14 for h.
-2
Let h = 111 + -101. Solve -5*z = -h*z + 5 for z.
1
Let q(l) = l**3 - 13*l**2 + 40*l + 19. Let t be q(7). Solve -8*a + 3 = -t*a for a.
1
Suppose 0 = -2*b - 4*y + 20, -2*b - 8*y = -6*y - 14. Solve 0*t - 12 = -b*t for t.
3
Suppose 0 = -4*u + 2*u. Let d(k) = -k**3 + 5*k**2 + 8*k - 9. Let p be d(6). Solve 0 = p*r - u*r for r.
0
Let t(z) = -27*z - 7. Let n be t(3). Let x = n + 90. Solve x*f + 8 = -2*f for f.
-2
Let x(a) = -a**2 + 25*a - 16. Let b be x(24). Solve -2*u + b - 18 = 0 for u.
-5
Let x(i) = i**3 - 4*i**2 + 4*i + 1. Let w be x(3). Suppose -4*l + 2*l + 6 = 0. Let s be (-1 + 2/l)*-3. Solve -3*k - s + w = 0 for k.
1
Let i(m) = m - 5. Let v be (2/3)/(38/513). Let y be i(v). Suppose b - 2 = 3*h, -h - 8 = -2*b - 2*b. Solve -y*u = -h*u - 20 for u.
5
Suppose d + 27 = 5*j, -6*d + 2*d + 3*j = 23. Let f be 4*(-2 - 0)*d. Let h be (8/(-10))/(12/(-10) + 1). Solve -4 = h*y - f for y.
3
Suppose -q - 5 = -m, 2*q = -4*m - q + 20. Suppose 66 = -x - 8. Let j = 79 + x. Solve -10 + j = m*u for u.
-1
Let i(l) = l**3 - 5*l**2 + 3*l + 8. Let d be i(4). Let c be d*(1 + (-3 - (-20)/8)). Solve 5*z - c = -7 for z.
-1
Suppose 49*z + 21 = 50*z. Let r = z + -18. Solve r*a + a + 4 = 0 for a.
-1
Suppose 0 = -2*h - 2*h + 16. Suppose v - h = -v. Suppose 14 = v*l - 0*l + 5*g, -4*g = 4*l - 16. Solve 0 = p - l + 6 for p.
-4
Let a(l) = l**3 + 5*l**2 - 25*l + 12. Let n be a(-8). Solve 0*j = 5*j + n for j.
-4
Let k be 147/12 - (-3 - -2)/(-4). Solve 5*d - 2*d + k = 0 for d.
-4
Suppose 65 = -24*f + 185. Solve -3*h = -f - 4 for h.
3
Suppose -2*o - 39*l + 144 = -35*l, 2*o - l = 159. Solve -84*r + o*r + 24 = 0 for r.
4
Let z(w) = w**3 - 3*w**2 + 2*w - 10. Let k be z(4). Solve -4*v - k + 2 = 0 for v.
-3
Let u(i) = 2*i**3 + 6*i**2 - 4*i - 6. Let z be u(-3). Let q = -12 + 20. Let y = q - z. Solve 3*p - 4 = y for p.
2
Let s = -21 - -21. Suppose 0 = -0*b - 3*b + 5*c + 35, 5 = -3*b - 5*c. Suppose b*f = 4*n - 29, -6*n - f = -3*n - 17. Solve s = -2*d - 2 + n for d.
2
Let s be (-11 + 6 + 4)/(2/(-14)). Solve 3*f = f + s*f for f.
0
Let t(j) = -3*j - 4. Let z be t(-4). Suppose 6*u = -2*u + 16. Suppose d + d = -u*o + 2, 0 = 2*o - 4*d + 4. Solve h + h - z = o for h.
4
Let c(j) = -j**3 + 6*j**2 - 4*j + 3. Let u be 7 + (0 + 0 - 2). Let q be c(u). Solve -2*v - q = 2*v for v.
-2
Suppose 0 = -54*p - 25*p + 316. Solve -p*a - 8 = 4 for a.
-3
Suppose -5*n + 56 = -4*v, n - 9*v = -12*v - 4. Solve -8 = -n*y - 0 for y.
1
Suppose 0 = 5*x + 12 - 12. Solve 4*i + 9 + 11 = x for i.
-5
Let t = 8 - 7. Let i = 11 - 14. Let h be 0/1 - i - -1. Solve -3*u - t = -h for u.
1
Let q = -22 - -19. Let h(g) = g**2 - g - 7. Let k be h(q). Solve 2*d = k*d + 6 for d.
-2
Let k(q) be the third derivative of q**4/24 - q**3/6 + 22*q**2. Let n be k(17). Solve -v + n = 3*v for v.
4
Suppose -181*s - 120 = -189*s. Solve s*j - 18*j = -12 for j.
4
Let k = -506 + 510. Solve -20*o - 16 - k = 0 for o.
-1
Let l = 20 + -15. Suppose -4*k = l*v + 20, -5*v = -k - 2*k - 15. Let n be v*((-3)/(-2) + -1). Solve -2*m + m = n for m.
0
Suppose 3*d - 12 = -0*d. Suppose 6*w - 86 = d*w - 4*l, -5*l + 85 = 2*w. Suppose 0 = -0*u + 5*u - w. Solve 4*s = -7 - u for s.
-4
Let t(l) = 119*l + 8. Let y b