= t for x.
0
Let o(x) = -13 + 12*x + 20 - 11. Let h be o(2). Solve h = -f + 6*f for f.
4
Suppose -j + 4*c + 14 + 7 = 0, -c - 19 = -3*j. Solve 0 = j*x + 37 - 12 for x.
-5
Let y(i) = -2*i + 14. Let k be y(7). Let o = 6 + -10. Let g be k/(o + 0) - 0. Solve -5*d + 3*d - 4 = g for d.
-2
Let l = -1244 + 1249. Solve -l*w - 138 + 158 = 0 for w.
4
Let j = 128 - 125. Suppose 1 = -2*n + 5*u + 6, -j*n = u - 16. Solve -r = -n*r for r.
0
Let l = -32 + 34. Suppose l*a = 4*a. Solve 2*f = -a - 8 for f.
-4
Suppose 3*z - 152 = -2*x, -2*z + 40 = -4*x - 56. Let n be 34/10 - 20/z. Let b be n - (-1 - 4/(-1)). Solve 1 + b = -q for q.
-1
Suppose 0 = -57*l + 58*l + 20. Let u be l/35 + 4/7. Solve 2*w - 3 - 3 = u for w.
3
Let u(w) = w**2 - 27*w - 91. Let l be u(29). Let k = 41 + l. Solve 4*h = -0*h + k for h.
2
Suppose 0*x = -x + n - 2, -22 = -x - 5*n. Suppose -27 = -u - 5*z, x*u - z + 3 = u. Solve u + 3 = k for k.
5
Let i be (-1*2/7)/(4/(-28)). Solve 0 = i*z + 3*z - 4*z for z.
0
Let a = -166 + 166. Solve -s + a = 3 for s.
-3
Let b = 44 + -33. Let j = b + -8. Solve -2*p + j = p for p.
1
Let b(u) = -8*u + 7. Let c be b(5). Let q be c/9*(-6)/2. Solve 5*f = q + 4 for f.
3
Suppose 0 = -x + 4*s - 1, 30*x = 25*x + 4*s + 11. Solve -2*g - 5 = x for g.
-4
Suppose -3*r - 360 = 5*r. Let i be r/(-1) + (3 - 5). Suppose 26 = 2*t - w - 3, 2*w = 3*t - i. Solve 0 = -3*d - 2*d + t for d.
3
Suppose 0 = -2*u + 2*q - 6 + 2, -4*u = -5*q + 10. Let f be u - -1 - -1 - -3. Suppose -f*b + 14 = -1. Solve -4*o = -b + 19 for o.
-4
Let b(v) = -v**2 + 8*v + 9. Let d be b(7). Let i = d - 7. Let y be -6 + i/3 - -3. Solve -2*o + y = 4 for o.
-2
Suppose 4 = 6*f - 14. Let i = 22 + f. Solve 7*p + i = 2*p for p.
-5
Let h be (-6)/21 - 102/(-14). Let k = h - 7. Suppose -4*o = 5*y - 55, -5*o - 9 = 4*y - 71. Solve -5*n + o + 15 = k for n.
5
Suppose 1 = 2*o + 5*k, 0 = -5*k - 1 - 4. Solve 0 = -o*z + 3 - 12 for z.
-3
Suppose 4*f + f = 0. Let u(m) = 2*m - 2. Let k be u(3). Suppose 2*h - 5*q + 9 - 2 = f, 31 = k*h + 5*q. Solve 0 - h = -i for i.
4
Let o(v) = -4*v**2 - 130*v - 160. Let q be o(-31). Solve 22 - q = 2*n for n.
-2
Let n = 1 - -1. Let f = 129 - 126. Solve n*v = -v - f for v.
-1
Let m(p) = p**2 - 7*p + 9. Let n be m(6). Let v be (132/110)/(n/10). Solve -3*d = -v*d - 4 for d.
-4
Let l be (-1 - -1)/(-10*(-1)/5). Suppose -8*y + 13*y - 20 = l. Solve y*r + 1 - 5 = 0 for r.
1
Suppose -2*y - 15 = -7*y. Let p be 4*(y + (-2 - -1)). Solve -p*m + 3*m = 0 for m.
0
Let i(c) = c**2 - 14*c + 23. Let a be i(13). Suppose 5*m = 3*l - 6, -3*m + a = 4*l + 2. Solve -l*b - 4 = -3*b for b.
4
Let r(p) = -p**3 + 9. Let c be r(2). Solve 0 = 5*m - c + 11 for m.
-2
Let z be ((-4)/6)/((-10)/45). Suppose z*t = k + 29, 2*t - 2*k = k + 24. Let n = t + -4. Solve 4*r = 5*r + n for r.
-5
Suppose -5*y = -5, -5*g - 12*y + 7*y = -100. Solve g = 6*l + 43 for l.
-4
Suppose -11*k - 34 = -89. Suppose -l - 5 + k = 0. Solve l = -5*i + 3*i + 8 for i.
4
Suppose -g + 5*g + 9 = 3*r, -2*g = 2*r - 6. Suppose g = -o + 25 - 23. Solve -o*d - 14 = -6 for d.
-4
Let p be 13392/378 + 3/(-7). Solve -2*g - 43 + p = 0 for g.
-4
Let q be (1 - 9) + -4 + -2. Let s be 245/q*(-4)/(-2). Let p = s + 36. Solve -h + 3 = p for h.
2
Suppose 0*t - 4*j = 3*t - 215, -3*t + 210 = 3*j. Solve -9 = -t*w + 68*w for w.
-3
Let j(t) = 2*t**2 + 16*t + 14. Let r be j(-7). Solve r*q = -2*q + 10 for q.
5
Suppose -s = -2*y - 12, 2*y = -3*s + y + 1. Suppose 0*f + 1 = 2*d - f, 3*d + 2*f + s = 0. Suppose d = -8*p + 6*p. Solve 0 = -z - p*z - 1 for z.
-1
Let u(j) = j**2 + 43*j + 133. Let o be u(-40). Solve o*t + 18 = 7*t for t.
-3
Suppose 0 = -2*y + 795 - 783. Solve -y*l - 47 + 59 = 0 for l.
2
Let u(g) = g**2 - 1. Let l be (1 - 0)/(2 + -3). Let t(w) = 4*w**2 - 7*w - 14. Let s(b) = l*t(b) + 3*u(b). Let x be s(8). Solve -x*f + 10 = -f for f.
5
Let s be 2/2*(8 - 0). Let x be s/3 - (-14)/(-21). Suppose -m = x*o - 0*m - 7, 2*m = 3*o. Solve o*f - 25 = -3*f for f.
5
Let l = 51 + -96. Let u = l + 45. Solve u = r - 0*r - 5 for r.
5
Let d = -1 + 37. Let l = 37 - d. Solve i = -l + 4 for i.
3
Suppose 0 = -3*o - 1 + 7. Suppose -14*x + 0 + 0 = 0. Suppose x = 5*l - 20 - 5. Solve 8 = -l*q - o for q.
-2
Suppose 0 = c + 3*c + 4, -2*c = 3*g - 4. Let k = g + 6. Let q(p) = 3*p + 2. Let u be q(0). Solve -u = 2*h - k for h.
3
Let h(q) = q**2 - 11*q + 5. Let w be h(0). Solve 0 = w*n - 10*n - 15 for n.
-3
Suppose 62*m - 131*m = 0. Solve m = 3*d - 14 + 23 for d.
-3
Let m be 5*(-8)/(-8) + -1. Solve 15 = -m*a - a for a.
-3
Let d = 1203 - 1195. Solve 0 = -w + d*w + 5*w for w.
0
Suppose -3*y - 21 - 21 = 2*t, -t - 43 = -4*y. Let c = -23 - t. Solve c*i - 2*i = 0 for i.
0
Let m be 7 - (-7 - (-5 + 53)/(-4)). Solve -9 + 1 = m*d for d.
-4
Suppose -3*r + 50 = 14. Suppose -10*v + r = -7*v. Suppose -3*x = 2*p - 17, 3*p = p - v*x + 20. Solve -p*b + 8 = -0*b for b.
2
Let m be -4 + 19 + -4 + -1. Solve -5*i + 0 = -m for i.
2
Let c(v) be the first derivative of -v**2/2 + 7*v + 3. Let g be c(5). Suppose -u + g*u - k - 17 = 0, 0 = -5*u + 4*k + 89. Solve -5*q = 1 - u for q.
4
Let d be (-13)/((-117)/(-54)) - 80/(-4). Solve -d = 8*f + 18 for f.
-4
Suppose -2*y = 4*j - 10, 4*y - 110 + 130 = 0. Suppose -4*t = -0*t - 12. Solve t*h = j*h for h.
0
Suppose 0 = -2*y - 7*y + 108. Solve -4*c + y*c - 24 = 0 for c.
3
Let o be (12/(-10))/((-14)/35). Solve o*p + 16 = 4 for p.
-4
Let n(x) = -x**3 - 4*x**2 - 5*x - 5. Let j = 0 + -4. Let b be n(j). Let o(p) = p**3 - 16*p**2 + 16*p - 11. Let i be o(b). Solve i = 3*t + 1 for t.
1
Let f be 10/15 + 2/(-3). Suppose 10*w + 131 = 201. Solve -w*u + 10*u - 15 = f for u.
5
Suppose -2*o = -6*o - u + 7, 0 = -3*o + 5*u + 11. Let i be (-1)/(-4)*(1 + 19). Solve o*f - 12 = i*f for f.
-4
Let c be (0 + 1)*-1*-4. Suppose -32*i + 84 = -396. Solve -i = c*t + 1 for t.
-4
Suppose -15*y + 5*q = -11*y - 7, -q = 5*y - 16. Solve y*g - 30 = 9*g for g.
-5
Suppose 0 = 3*d - 6, 4*k = 20*d - 18*d + 16. Solve -2 = k*t + 8 for t.
-2
Let u(w) = -w**2 - 37*w + 461. Let i be u(-46). Solve -i*a + 28 = -40*a for a.
4
Suppose 11*w = 20*w - 99. Solve w*f - 9*f - 4 = 0 for f.
2
Suppose 96 = 4*i - 5*j, 3*j + 107 = 47*i - 42*i. Solve i*x - 80 = 3*x for x.
5
Let a(b) = -b - 5. Let k be a(-5). Suppose 20*l - 21*l + 4 = k. Solve l = 2*r + 14 for r.
-5
Let f(g) = 3*g - 1. Let a be f(2). Suppose 0 = -a*t + 6 + 9. Suppose -t*w = 4*k - 3*k - 9, -2*k = 6. Solve w + 1 = -5*o for o.
-1
Suppose -5*j = 948 - 948. Solve -3*d + 6 = -j for d.
2
Let b be ((3 - 2) + -1)/1. Suppose b = -0*c + 5*c - 100. Let x be 2/2*(-27)/(-9). Solve -d = x*d + c for d.
-5
Let g = -112 + 115. Let d(k) = k**3 - k**2 - k. Let p(n) = -3*n**3 + 12*n**2 + 7*n + 10. Let u(t) = -4*d(t) - p(t). Let j be u(-8). Solve j = g*v + 2 for v.
4
Let c = -1900 + 1905. Solve -32*s + 37*s + c = 0 for s.
-1
Suppose 6*y - 7*y - 6 = -2*d, -2*d + 6 = 3*y. Solve 3*c - 9 = -y*c for c.
3
Let r = 179 + -178. Solve r = -v + 5 for v.
4
Suppose 198*z = 192*z + 36. Solve 0*u = -6*u + z for u.
1
Let a be 0 - -3 - (4 + 3). Let x = 0 - a. Solve 0 = -z - x*z - 10 for z.
-2
Suppose -316*r + 337*r - 126 = 0. Solve 6*x - r = 24 for x.
5
Let v be (0/(-12 + 6 + 2))/2. Solve v = -14*o + 4*o + 30 for o.
3
Let t = 62 - 57. Suppose 0 = -5*c - k + 6, 0*c + 22 = c - t*k. Solve c = -u + 1 for u.
-1
Let g = -30 - -32. Suppose -d = -1 - g. Solve d*j + 0*j + 9 = 0 for j.
-3
Let t = 2245 - 2243. Solve 20 - 22 = t*g for g.
-1
Let r(s) = 6*s**3 - 10*s**2 - 2*s - 2. Let j(n) = 7*n**3 - 11*n**2 - n - 3. Let x(v) = 5*j(v) - 6*r(v). Let c be x(6). Solve b = c*b for b.
0
Let q(z) = -2 - 17*z + 20*z + 1. Let i be q(1). Suppose -3*t - 2 - i = -4*b, -4 = -5*t + 4*b. Solve -t*w + 15 = w for w.
3
Suppose -6*v = -v. Let f(o) = -3*o**2 + 22*o - 12. Let u(a) = -a**2 + 7*a - 4. Let n(y) = -2*f(y) + 7*u(y). Let l be n(3). Solve v = -3*g + l*g - 5 for g.
-5
Suppose 0 = 4*a - 3*h - 9, -3*a = 3*h + 2*h + 15. Let k be 10 - -1 - 1*(-1 + a). Solve -5*s + s + k = 0 for s.
3
Suppose -3024 = 13*t - 27*t. Let h be ((-1)/6*-2)/(18/t). Solve y = 2 - h for y.
-2
Suppose 3*h - 20 - 3 = -4*n, 0 = 2*h + 5*n - 20. Suppose -h*t + 20 = 15. Solve 4*k - 9 = -t for k.
2
Let p be (2/(-2))/(2/(-6)). Suppose -4*r = -0*r - t - 24, 2 = 2*r + 2*t. Let n be 2 + 2 - (r - 2). Solve -p*y + 4*y + n = 0 for y.
-1
Let d(s) = -s + 1. Let a be d(1). Let b be (-4)/(-18)*(1 + 8). Solve a = -b