for t.
2
Let l = -25 + 22. Let j be (2/l)/(2/(-6)). Solve 0*g = j*g - 6 for g.
3
Let s(l) = 2*l + 41. Let x be s(-19). Solve x*t - 2 = -5 for t.
-1
Suppose 0 = k + 5*f - 24, -f = 3*k - 6*k + 72. Suppose 2*l - k = 6*l. Let s be (-2 + (-8)/l)*-3. Solve 0*a - s*a = -2 for a.
1
Suppose 0 = -2*c - i - 1, 4*c - 5*c - 4*i = 18. Suppose 0 = -2*h + 8 + 12. Let g = -5 + h. Solve -c*w = -g*w - 3 for w.
-1
Suppose -2*l - 48 = 4*y, -2*y - 74 = 5*l + 6. Let n = 13 + l. Let c = 1 - n. Solve -u = -c*u + 5 for u.
5
Suppose 14 = 16*k - 18. Solve 4 + k = -3*f for f.
-2
Let w(h) = 122*h**2 + 3*h + 1. Let v = 7 - 9. Let o be w(v). Let i be (-6)/8 + o/84. Solve 0 = -2*k - i + 13 for k.
4
Let n be (-4)/(-2) - ((-5)/15)/((-19)/(-228)). Let t(x) = -x**3 + 7*x**2 - 7*x + 6. Let h be t(6). Solve h = -s - s - n for s.
-3
Suppose 3*p = 7*p - 8. Let j(y) = -6 - 4 + 12 + y + 15. Let l be j(-12). Solve -l = 3*s - p for s.
-1
Let k(l) = 4*l**3 - l**2 + l - 1. Let x be k(1). Let o(u) = 2*u - 1. Let m be o(13). Suppose 11 = 2*p - j, 7*j - 2*j = 5*p - m. Solve -9 = -x*f + p*f for f.
-3
Let g be (5 + -1 - -1) + -2. Solve g*w = 7*w + 16 for w.
-4
Suppose -5*o + 9*m + 35 = 6*m, 0 = 5*o + 2*m - 60. Suppose i = 4*l - o, 4*l + 15 = -3*i + 49. Solve 3*r + i = -0*r for r.
-2
Suppose 0 = 7*h - 39 + 25. Solve -4*x = -h - 14 for x.
4
Let n = 1 - 11. Let v = n + 14. Solve 3*u + v = -2 for u.
-2
Let o(z) = -z**2 + 3*z - 1. Let i be o(3). Let g be -2 - (-2 - (i - -1)). Suppose g = -5*d + 4*y, -2*d + 16 = 5*y - 17. Solve -4*v + d = -4 for v.
2
Suppose a - 1191 + 1181 = 0. Solve o + a = 8 for o.
-2
Suppose a - 155 = o, 2*o + 648 = 4*a + 5*o. Solve 0 = 161*b - a*b - 8 for b.
4
Suppose -2*x - 3*x = 3*w - 3, -5*w - 5*x + 15 = 0. Let k = 2 - -2. Suppose 0 = 6*r - k*r - w. Solve -r*p = -p - 6 for p.
3
Suppose k - 4 - 2 = 0. Let j = 10 - k. Suppose -j*g + 3 = -13. Solve g*v + v = -5 for v.
-1
Let g = -641 - -667. Solve -g + 17 = -3*h for h.
3
Let f(z) = 4*z**2 + 13*z - 12. Let r be f(1). Suppose -18 = 4*c + i - 73, -3*i - 75 = -4*c. Solve -2*t + r*t = c for t.
5
Suppose 0 = 5*a - 3*v - 22, -13*a - 26 = -18*a - v. Solve -3*c - 4 = a for c.
-3
Let o be ((120/16)/15)/((-1)/(-20)). Solve o*s = 12*s + 8 for s.
-4
Let z(g) = g + 17. Let q be z(-2). Solve -7 = 4*b - q for b.
2
Suppose 276 = -105*g + 102*g. Let a = -84 - g. Solve t = 5*t - a for t.
2
Let a be 1/(-6) + 1/6. Suppose 4*d + d = a. Suppose -2*b + 10 = 0, d = 5*q - b - 3*b + 15. Solve -3*g = -q + 7 for g.
-2
Let b = -24 - -12. Let g = b - -6. Let v be 2*(-1)/4*g. Solve v = x + 5 for x.
-2
Let w be (-2 + (1 - 2))*(0 + -7). Suppose -11*h - w = -14*h. Solve h*b - 20 = 2*b for b.
4
Let h = -745 - -749. Solve h*b = -23 + 19 for b.
-1
Suppose 139 = 3*j + t, -4*j = -4*t - 0*t - 180. Let o = j - 38. Solve -o + 3 = -d for d.
5
Let x(q) = q**2 - 20*q - 93. Let p be x(24). Solve -4*y = -p - 1 for y.
1
Suppose 30 = -3*o + 8*o. Suppose 11*h = o*h. Solve d - 5*d + 20 = h for d.
5
Let l be 84/8 + 3/(-2). Suppose -l*d = -0*d - 27. Suppose 3*y + 22 = 5*c, 3*c + 5*y - 20 = -0*c. Solve -2*m + c = d*m for m.
1
Suppose -21 = -0*z - 3*z. Suppose 0 = d - 4*a + 17, 0*a = 5*d + 5*a - 40. Solve -d - z = -5*v for v.
2
Let z(g) = 10*g - 88. Let m be z(9). Suppose -i + 3*i = -2. Let r be (1 - (i + m))/(-1). Solve r*q = 5*q + 25 for q.
-5
Suppose -89 + 29 = 5*n. Let p be (n/30)/(2/(-90)). Let h = -18 + p. Solve 4*j + 13 - 1 = h for j.
-3
Let n = -13 + 12. Let f be (-2 + -52)*n/3. Solve 3*o = f - 3 for o.
5
Let a(c) = c**3 - 17*c**2 + 2*c - 20. Let i(n) = -n**2 - 1. Let s(o) = -a(o) + 6*i(o). Let f be s(11). Let m be (-44)/(-10) + f/20. Solve -m*z = -3*z for z.
0
Suppose -4*c = -11*q + 8*q - 9, 2*c - 10 = -4*q. Solve -c = 2*h - h for h.
-3
Suppose -2*k = 3*k - 45. Suppose 0 = -3*i + 2*v + k, 0 = 2*i - 2*v - 2 - 6. Solve n - 1 = i for n.
2
Let o be (-1 - 7)/(-1 - 0/(-8)). Solve 2*n + 0*n = o for n.
4
Suppose -8 - 17 = -5*i. Suppose i*f - 13 = -3. Let n = f - -1. Solve 0 = -3*j - 0*j - n for j.
-1
Suppose -202*b = -197*b. Solve b = -4*l + l for l.
0
Suppose -16 = 20*s - 24*s. Let y(m) = m - 4. Let d be y(s). Solve -b - 4 - 1 = d for b.
-5
Suppose 2*n = x - 8, 5*n + x = -0*x - 34. Let h be (-116)/(-16) + n/24. Solve -h = m - 2 for m.
-5
Suppose -3*m + 6 = -6*m. Let s be ((-56)/(-35))/(m/(-5)). Suppose -s*c - c + 10 = 0. Solve c*o = 5*o - 9 for o.
3
Suppose 5*g - 2641 = -2591. Solve -2*a - 16 = -g*a for a.
2
Let n be (-3)/2*(-28)/6. Suppose 3*d = n - 1. Let h = 12 + -10. Solve k = d*k + h for k.
-2
Suppose 5*s - 125 = 5*v, 2*s = -5*v + 36 - 175. Let z = v - -30. Solve -4*o = 11 - z for o.
-2
Let u(a) = -2*a**3 + 10*a**2 - 9*a + 9. Let w be u(4). Solve r + 20 = w*r for r.
5
Suppose -3*m + 20 = 2*m. Suppose -6*w = -24 - 60. Let s be -4 + 31/7 + 148/w. Solve -5 - s = -m*u for u.
4
Let a(h) = -h**3 + h**2 + 2*h + 4. Let k be a(-2). Suppose 2*w - 37 = 37. Solve 5*q = w - k for q.
5
Suppose l - 15 = -0. Solve 142*f - 137*f = l for f.
3
Let p(a) = 11*a + 13. Let w be p(-1). Solve 0*i = w*i - 6 for i.
3
Let t be 436/4 - (6/(-3) - 1). Let w = -110 + t. Solve -3 = w*m - 11 for m.
4
Let d be (33/6 + -3)*4/5. Solve 0 = l + d - 3 for l.
1
Let w be (2/(-3))/(6/(-27)). Let r(j) = -4*j**2 - 4*j**3 + 2*j + j**2 + 5*j**3 + 0*j**2. Let l be r(w). Solve 22 = 4*m + l for m.
4
Suppose -h + 32 = 29. Solve 2*o + 1 - h = 0 for o.
1
Let q(b) = -b**3 + 7*b**2 + 45*b + 2. Let y be q(11). Solve -y = 10*n - 53 for n.
4
Suppose 2*b + 6 = r - 3*b, -r + 6 = 3*b. Suppose -2 = -x + r. Solve -x*p = -6*p + 6 for p.
-3
Let y = 2511 + -2504. Let j = 7 - 2. Solve 0 = -4*k + y + j for k.
3
Suppose -2 = -7*n + 6*n. Suppose 3*f - n = g + g, -2*g = 5*f - 30. Solve -f*d = -5 - 3 for d.
2
Suppose 22*z - 207 = -z. Solve -17*p + 32 = -z*p for p.
4
Let q be 9/(-3) - (-5 + 3 - 3). Suppose -f + 4 = -0*x + x, q*x = 4*f + 14. Solve 16 = u - x*u for u.
-4
Let j(f) = -f**2 + 5*f - 1. Let y be j(4). Suppose 0 = 5*a + 8*w - 3*w - 35, -4*a = -y*w - 14. Suppose -a*q = -5 - 15. Solve 10 = q*i + 2 for i.
2
Let h = 224 + -214. Solve -29 - 21 = h*t for t.
-5
Let m = 2 - 0. Let s be 9 - (36/(-3))/4. Suppose 3*l - s = 2*l. Solve -q = m*q + l for q.
-4
Suppose 3*o + 2*h - 14 = 0, o + 4 = -2*h - 3*h. Let n be (-40)/(-16)*o/5. Solve -n*b = 3 + 6 for b.
-3
Let l = 447 + -443. Solve 0 = -17*o + l*o for o.
0
Suppose g + 4*g - 25 = 0, -4*a - 10 = -2*g. Suppose -w + 10 - 6 = a. Solve 5*q - 4*q + w = 0 for q.
-4
Suppose 0 = -3*q - 2*m + 6*m + 22, -3*q + 10 = -m. Let n be 7/(-7)*(-2)/1. Solve -n*l = -l + q for l.
-2
Suppose 10*z = 13*z + 4*f - 17, -4*f + 24 = 4*z. Let q(p) = p**2 - 1. Let u be q(-2). Suppose -z*r = -u*r. Solve r*s + 3 = s for s.
3
Let y(i) = -2*i + 2. Let k(u) = -u**2 - 11*u - 7. Let c be k(-10). Suppose -c*g - 5 = 1. Let t be y(g). Solve -3 = -5*p + t*p for p.
-3
Let k(x) = -x**2 - 14*x - 12. Let i be k(-12). Let r = i - 18. Let f be (-12)/(-18) + r/9. Solve 0 = -f*h - 5*h + 25 for h.
5
Let n(h) = -h**3 + h**2 + h + 1. Let d be n(0). Let g(k) = -k**2 + 8*k - 6. Let p be g(6). Let m(j) = -j**2 + 9*j - 5. Let t be m(p). Solve -d = 3*l - t for l.
4
Suppose -19 - 13 = 3*k - 4*d, 2*d - 4 = 0. Let j be (-1 + 0)*(k + 10). Let z be j/9 + (-8)/(-36). Solve z*s = s for s.
0
Suppose 6 = 3*s + 3*h, s = h - 4*h. Solve 5 = -s*m - 7 for m.
-4
Let k(s) = 5*s - 27. Let y be k(7). Solve y = 14*q - 48 for q.
4
Suppose 5*y = 447 - 182. Solve y*p + 15 = 48*p for p.
-3
Let n = -2148 + 2173. Solve -109 - 16 = -n*l for l.
5
Suppose -6 = -3*v, -19*v + 21*v - 36 = -4*y. Solve -24 = 8*z + y for z.
-4
Let o(t) = t - 10. Suppose -4*u + 5*k + 15 = -20, -3*k = -3. Let b be o(u). Suppose b = -2*c - 2*m - 0*m + 2, 2*m = -5*c + 11. Solve -p = -c*p - 4 for p.
-2
Let b(s) = s**3 + 2*s**2 + 3*s - 2*s + 4*s**2 + 7. Suppose 22 = -5*d - 4*i, 2*d - 3*i = 3*d. Let r be b(d). Solve 0 = 4*h - 19 - r for h.
5
Suppose -6*a - 2*a = 392. Let h = 51 + a. Solve -h = d - 0 for d.
-2
Let c(i) = -9*i + 283. Let f be c(31). Suppose 3*b = -0*b. Solve b*p - p = f for p.
-4
Let w(t) = -t**2 - t + 3. Let z be w(0). Suppose 2*k = 5*r - 21, -z*r - r - k + 22 = 0. Solve 0 = -r*n - 1 + 6 for n.
1
Let u(y) = y + 3. Let h = 15 - 16. Let a be u(h). Suppose -8*w + 10 = -3*w. Solve a = w*s + 12 for s.
-5
Suppose -2*w + 8 = -2*m, 4*w - 8*w = 4*m + 16. Solve 6*a - 4*a = w for a.
0
Let w(s) = s**2 - 2