20 for u.
4
Let s = -65 + 124. Suppose -j + 65 = s. Solve j = h - 3*h for h.
-3
Let u = -47 - -43. Let v(b) = b**3 + 5*b**2 - 16. Let y be v(u). Solve y = -g + 2*g for g.
0
Let y be ((-2)/3)/(22/(-231)). Suppose 31 = 6*j + y. Let i = 48 - 34. Solve -j = 5*s - i for s.
2
Let z = -33 + 56. Suppose 0 = -5*s + 2*w + z, -4*w - 21 = -5*s - 0. Suppose 4*r - 17 = -l, -2 = -l - s. Solve 0 = c - 0*c + r for c.
-5
Suppose 26*c = 72*c. Solve c = 5*q + 107 - 107 for q.
0
Let f(k) = k**2 - k. Suppose 0*g - 4 = -4*g. Let a be f(g). Let l(q) = 3*q**2 + q + 1. Let w be l(-1). Solve j - 2*j - w = a for j.
-3
Let w be (-6)/21 + 107/7. Solve a = -4*a - w for a.
-3
Suppose -d = 2*d - 6. Let m be 608/76 + -3*1. Solve d*k + 15 = m*k for k.
5
Let o be (29/(-58))/(2/(-4)). Solve -3*y = -10 + o for y.
3
Let y(b) = -b**3 + 10*b**2 - 18*b + 20. Let s be y(8). Solve 3*i + s = 1 for i.
-1
Suppose -s = -2*q + 6, 2*q = 2*s - 3*s + 6. Solve 16*j - 14*j + 6 = s for j.
-3
Let t(o) = -o**3 - 10*o**2 - 8. Let k be t(-10). Let w be k/(-16)*(-4)/(-2). Solve 0 = -h - 4 + w for h.
-3
Suppose o - 2 = 0, -4*o = -4*s - o + 58. Solve -4 = -4*i - s for i.
-3
Let h be ((-3)/6)/((-2)/48). Let n be 172/(-8) - 1/2. Let r = -22 - n. Solve r = v + 3*v - h for v.
3
Let i(y) = -1. Let k(q) = q**2 - 9*q - 13. Let a(v) = 3*i(v) - k(v). Let t be a(10). Solve t = -0*m - m - 1 for m.
-1
Suppose -h + 166 + 17 = 2*a, -5*h - 465 = -5*a. Solve -94*p + 8 = -a*p for p.
4
Let k(l) = -3*l - 18. Let a(u) = -2*u - 17. Let t(w) = -4*a(w) + 3*k(w). Let d be t(12). Suppose -2*b = 8 - 20. Solve b + 2 = d*s for s.
4
Suppose -p = 37 - 57. Let y = 20 - p. Solve j - 5 = -y for j.
5
Let k be (2 + 5)*(-12)/(-14). Suppose -15 = v - k*v. Let y(q) = q**2 - 6*q + 6. Let n be y(6). Solve -v*x - 6 = n for x.
-4
Let m be (-7 + -1 + 14)*(-22)/(-3). Solve 19 = -5*y + m for y.
5
Let j be -1*3 + 1/((-4)/(-24)). Suppose 4*l + l = -0*l. Solve -j = v - l for v.
-3
Suppose 14*t - 9*t = 50. Suppose 3*x + 5*i = 7 + 3, 0 = 2*x - 5*i + t. Suppose x = -0*l - 2*l + 40. Solve 0 = -4*o - o + l for o.
4
Let a be (-1)/(-2) - (-1)/2. Suppose -2*d - a + 7 = 0. Let y = -31 - -39. Solve -y*k + 20 = -d*k for k.
4
Let d(z) = z**3 + 65*z**2 + 64*z + 11. Let m be d(-64). Solve r + 10 = m for r.
1
Let p(a) = -14*a**2 - 7*a + 3. Let w(f) = -21*f**2 - 11*f + 5. Let q(g) = -8*p(g) + 5*w(g). Let s be q(-1). Solve -3*h - 4 = -s*h for h.
1
Let t be 88/10 + (-26)/(-130). Suppose -t = -12*y + 11*y. Solve -6 = 5*w + y for w.
-3
Let r be (-276)/(-108) - (-8)/18. Suppose -4*m + 8 = -20. Solve r*i = m*i for i.
0
Let g be 2/9 + (-7)/(630/(-8800)). Solve -g = -3*d - 113 for d.
-5
Suppose 2*l + 2 = -w + 13, -5*l = 2*w - 20. Suppose -5*z = -3*d + d + w, 3*z + 9 = -d. Solve -4*t + 0*t + 16 = d for t.
4
Let j = 4 + 1. Suppose 2*a - 2 = -5*i + 33, 2*a + 4*i = 30. Solve -5*z = a + j for z.
-2
Let x be 3*28/12*2. Solve -19*n = -12*n + x for n.
-2
Suppose -5*n + 16 = 6. Let o(y) = -4*y**n - 2 - y**3 + 5 - 5*y**2. Let f be o(-9). Solve 4*x + 1 = f*x for x.
-1
Suppose -2*j - c + 3 + 8 = 0, 0 = 5*j + c - 35. Suppose -j = 2*l - 6*l. Solve 2*i + 20 = -l*i for i.
-5
Suppose -m = -z + 1, z + 3*z = 3*m + 3. Solve z = -5*h + 18 + 2 for h.
4
Suppose 3*k = 8*k - 85. Let m = -15 + k. Suppose -m*s = -5*j, s = -j - 4*s. Solve j = -2*x - x + 15 for x.
5
Let u(c) = -2*c**2 + 16*c - 27. Let x be u(5). Solve x*n - 14 = -2 for n.
4
Suppose r + 0*l - 9 = l, -12 = 3*l. Suppose -r*q = -2*q. Let i(d) = d**2 + d + 7. Let g be i(q). Solve 2*v - 1 = g for v.
4
Let t(h) = h**2 - 35*h + 127. Let b be t(31). Solve r - 4 + b = 0 for r.
1
Suppose -2*w - 3 = -z, z + z + 4*w - 6 = 0. Let n(v) = -v**3 + 2*v + 1. Let x be n(-1). Suppose -2*l - 1 + 5 = x. Solve k + l*k = z for k.
1
Let n(t) = -t + 1. Suppose -x + 1 - 8 = 0. Let p be n(x). Solve -p*d + 25 = -3*d for d.
5
Let y(h) = -2*h**3 - 4*h**2 - 2*h - 9. Let v be y(-3). Let j = 8 + -4. Solve j*o + 1 = -v for o.
-4
Let w = 4 - 1. Let u = w - 2. Suppose 2*d - 2*n = -3*n + 22, -2*d = -2*n - 16. Solve u = 3*s + d for s.
-3
Suppose 5*f - 9 = -3*x, -2*x - f + 4 = -2. Solve x*b = -3*b for b.
0
Let l be 2/4*(-13)/((-39)/72). Solve l*b = 11*b - 3 for b.
-3
Suppose -m + 2 = -2. Suppose 24 = 5*b + 2*o, -o + 14 = -4*b + 7*b. Solve -2*r + m + b = 0 for r.
4
Let l = 65 - 65. Let j be (-4 - l/(-1))/(26 - 28). Solve -j = -2*z + 2 for z.
2
Suppose -3*a + 15 = 3*f, -5*f + 9*f + a = 26. Solve -f*d - 120 = -134 for d.
2
Let v = -34 - -46. Suppose 7*h = 10*h + 5*n - 31, 4*h - n = 26. Solve v - h = y for y.
5
Suppose -2*p + p + 2 = 0. Let h be (2 + 8)/p - 2. Suppose 2*f = -3*d + 19, -h*d + 13 = 2*f - 3*f. Solve -10 + d = -5*w for w.
1
Let l(y) = 3*y**3 + 6*y**2 - 3*y - 2. Let p be l(-2). Solve 0 = 8*k - 4*k + p for k.
-1
Let b be 150/138 + 10/(-115). Solve -f - b = -6 for f.
5
Suppose -16 = 15*l - 46. Solve 143 = -l*u + 135 for u.
-4
Let w = -102 - -115. Let g(a) = 2*a. Let m be g(4). Suppose m*v = w*v. Solve -r - 2*r - 9 = v for r.
-3
Suppose -40 = -10*f - 0*f. Solve f*d = d + 12 for d.
4
Let c = 1 + 1. Suppose -19*v = -17*v. Suppose v = a - 3 - c. Solve a*b + 0*b = -5 for b.
-1
Let h(t) = 9*t. Let s(m) = -m - 1. Let u(v) = h(v) + 12*s(v). Let y be u(-7). Solve -1 = 2*o + y for o.
-5
Let i be 2/(20/35 - (-10)/(-21)). Solve 16*h + i = 9*h for h.
-3
Suppose 0 = 3*n - 180 + 147. Solve n*i = i for i.
0
Suppose -4*x = -0*x. Suppose -14*z = 25*z. Solve z*q + 3*q + 6 = x for q.
-2
Let z(p) = p**3 + 4*p**2 + 3*p + 1. Let x be z(-2). Suppose -n - 2*k + x + 4 = 0, 5*k = -5*n + 25. Suppose n*s = 6*s - 18. Solve -3*g = -0*g - s for g.
2
Suppose -2*d - 8 = -3*d. Let o = d - 6. Suppose -4 = -2*j - 35*a + 31*a, 0 = 5*a. Solve g + o = j*g for g.
2
Let u be (4 - (3 + -1))*(-6)/(-4). Let b be 6 - (2 + (-1)/(-1)). Suppose -2*r = b*w - 8, 4*w + r - 13 = -4*r. Solve 0 = u*l - w*l for l.
0
Let s(z) = -43*z - 1393. Let u be s(-33). Solve -4 + u = 11*l for l.
2
Let n(y) = -3*y**2 - 4*y - 1. Let t be n(-1). Let l(o) = -o + 8. Let z be l(t). Solve 17 = 5*b - z for b.
5
Let f(i) = -9*i - 2. Let w(p) = -7*p - 1. Let o(x) = -4*f(x) + 5*w(x). Let k be o(-1). Solve 0 = 4*a - k*a - 8 for a.
4
Let c be (-45)/6*((-112)/20)/7. Let v be 1/2*8*1. Let s be v/3*c/4. Solve k = -0*k + s for k.
2
Let p be (1 + 0)/((-3)/(-9)). Suppose 10*y - 9*y = p. Solve -y*b - 8 = -b for b.
-4
Let o = 31 - 17. Suppose -5*n - g = -0*g - 22, -g - o = -4*n. Suppose -s - h = 1, -2*s - 23 = -n*s + 3*h. Solve -s - 6 = 5*p for p.
-2
Let w be 3*2*1/2. Suppose -w*d + 20 - 5 = 0. Let n be (-4)/(3 - -9)*0. Solve x - d*x = n for x.
0
Let t = -6 + 10. Let r(o) = 46*o + 113. Let g be r(-2). Solve -9 + g = -t*s for s.
-3
Let h be (-1 - -1)/(9 + -8). Solve h = 2*l + 18 - 16 for l.
-1
Suppose -x - 2 = -7. Let c be 6/((-12)/x)*12/(-15). Solve c*h - 1 = h for h.
1
Let o(z) = 12*z + 47. Let v be o(-3). Solve 0 = -v*p - 1 + 1 for p.
0
Let r = 4 + -4. Let s = 39 + -33. Let k be 2 + s + 12/(-4). Solve -k*u - 5 + 0 = r for u.
-1
Suppose -5*g - 3*p = -6, 4*g - 2*p = g + 15. Suppose 0*a = 3*a. Suppose 0*c + 3*c = 4*n + 52, -2*c - 2*n = -16. Solve w + g*w + c = a for w.
-3
Let t(l) = -l**2 + 4*l + 3. Let z be t(4). Suppose -8 + 2 = -z*r. Suppose w + 1 = r. Solve -1 = -x + w for x.
2
Suppose -1085*l - 80 = -1090*l. Solve 4*w + 60 = l*w for w.
5
Suppose 0*b = -5*b - 2*s + 28, -4*b = -4*s. Let r = b - 2. Solve 3*p = -r*p + 20 for p.
4
Let q(p) = -4*p + 0*p + p - 2*p**2 + 3 - 7*p. Let y be q(-5). Solve -2 = g + y for g.
-5
Let x be 50/15*(-6)/(-10). Solve 4*d - x*d = -6 for d.
-3
Suppose 0 = -2*o - w - 1 + 6, 7 = 4*o + 5*w. Suppose -o*v + 29 - 23 = 0. Solve b - 4 + v = 0 for b.
2
Suppose -2*u + 8 - 36 = 0. Let q = u + 17. Solve -5*a = 13 - q for a.
-2
Let j = 21 + -13. Suppose -2*z - j = 4*h, -5*h - 1 - 23 = -z. Let l be (4/(-6))/(h/18). Solve -2 = -l*c + 13 for c.
5
Let a = 448 - 443. Let y = -2 - -3. Let i be (-4)/(-26) - 50/(-13). Solve -a*k - y = i for k.
-1
Let q be (-18)/(-27)*(-9)/(-2). Suppose 2*k = 3*k - r - 10, -q*r + 18 = 3*k. Let x = 4 - 4. Solve x*l + 2*l + k = 0 for l.
-4
Let j be (-3)/(12/2)*-12. Solve j*u - 8 = 2*u for u.
2
Let r be ((-88)/8)/(3 + -2). Let y be ((-1)/(-1))/(r/(-33)). Suppose -y*d + 12 = -i, -4*d + 16 = -4*i + 6*i. Solve 1 = d*o - 3 for o.
1
Let b = -2295 + 2302. Solve 0 = -7*u - b*u + 70 for u.
5
Let w = 10 - -7. Let h(k) = k*