- 9 - 6 = r for g.
5
Let k be 10 + 9/(-3) + -5. Solve -8*j + k*j = -6 for j.
1
Suppose 0 = 5*t - 8 + 23. Let r(i) = i**3 + 2*i**2 - 3*i + 2. Let x be r(t). Let u = x + -2. Solve u*a - 5*a = 20 for a.
-4
Let q(l) = l + 4. Suppose 2*w = 2*t + 22, -5*t = 2*w + 4 - 5. Let p be q(w). Solve -4*y = -y - p for y.
4
Let j(v) = -10*v - 45. Let q be j(-7). Suppose 0*b = -4*b + 3*a + q, 4*b - 10 = -2*a. Solve 2 = 2*x - b for x.
3
Let s(g) = 5*g**3 - 2*g + 1. Let m be s(1). Suppose -3*r = 2*r + 10. Let f = r + m. Solve -12 + 4 = -f*x for x.
4
Let l(x) = 8*x**2 + 4*x - 5. Let o be l(2). Let i be (-6)/(-27) - o/(-45). Let a be (1/1)/(i/4). Solve z + a*z - 20 = 0 for z.
4
Suppose -5*t + 2 = 22. Let b = -2 - t. Let a = 4 + -1. Solve -a - b = -q for q.
5
Let m be 4 - (-16)/(-6)*-6. Suppose -a = m - 25. Suppose 16 = 4*v - a*r, -5*r + 29 = -0*v + v. Solve v*k = 4*k + 10 for k.
2
Let j be ((-12)/(-7))/(4/14). Suppose -5*a = -j*a + 1. Solve 1 + a = 2*m for m.
1
Let h = -265 + 265. Solve h = 3*t + 17 - 5 for t.
-4
Let s = 12 - 12. Let n(d) = d**3 - 14*d**2 - 3*d + 46. Let r be n(14). Solve r*i - i - 9 = s for i.
3
Let w = -160 - -170. Solve -w = 3*k - k for k.
-5
Let q = -109 + 69. Let p = 44 + q. Solve p = -x - x for x.
-2
Let f(j) = 16*j**2 + 14*j + 13. Let d be f(-1). Solve 6*s + d = 11*s for s.
3
Suppose -4*g = 2*q - 10, 5*g - g = 3*q + 15. Let t = 6 - 6. Suppose t = 2*a + 2*a - 72. Solve -6 = -g*d - a for d.
-4
Let x = -106 + 112. Let q(k) = -k**2 + 12*k + 13. Let c be q(12). Suppose 5*f - 133 = 2*u, 3*f + u - 58 - c = 0. Solve w - f = x*w for w.
-5
Let b(c) = -c**2 + 5*c - 2. Let z be b(2). Suppose p - i + 5*i - 2 = 0, -2*i - 8 = -z*p. Let q be ((-20)/(-8))/(10/24). Solve -q = -2*r + p for r.
4
Suppose s + 4*l = 2*l, -s - 1 = l. Let b(k) = -3*k. Let x be b(s). Let r be 50/20*x/5. Solve 1 = r*d + 4 for d.
-1
Suppose 0 = 3*n + 9, 4*k + 3*n + 40 - 31 = 0. Solve 0 = 6*o + 12 - k for o.
-2
Suppose -4*k - i = -57, 0*i = -5*i - 15. Let a(c) = c**2 - 14*c - 3. Let h be a(k). Solve -j = 3*j - h for j.
3
Suppose 0 = -16*z + 147 - 147. Solve z = -6*v + 11*v - 20 for v.
4
Suppose 58*z - 55*z - 39 = 0. Solve -3 = z*v - 10*v for v.
-1
Let w(a) = -4*a + 34. Let k(o) = -o**2 + 15*o - 28. Let s be k(12). Let x be w(s). Solve -x*n - 3*n = -10 for n.
2
Suppose -2*l + 2*w = -64, -7*w = -10*w + 3. Solve -l*f = -36*f + 6 for f.
2
Let q be (-69 + 59)/((3/(-2))/3). Solve 8*t + 12 + q = 0 for t.
-4
Suppose 17*p - 19*p - 4*w + 24 = 0, 4*p - 3*w - 48 = 0. Solve 4*q = -p + 4 for q.
-2
Suppose -4*r = -c + 30, r - 2*r - 3*c - 14 = 0. Let m = r - -13. Suppose -3*h + 9 = 3*k, 5*h + 17 = 3*k - 0*k. Solve -k*f = -m*f for f.
0
Let s = -2567 + 2582. Solve -20 = s*a - 5*a for a.
-2
Let w(n) = 4 - 5 + n**3 - 5 - 7*n**2 + 7*n. Let k = 451 - 445. Let r be w(k). Solve 2*g = -r*g - 8 for g.
-4
Let s be -1 + 3 + -4 + -5 + 6. Let b be -3*1/(s/(32/12)). Solve -b = c + 3*c for c.
-2
Suppose -5*b + 9 = -6. Let m = -3 + b. Let x = -6087 + 6092. Solve m*q + x = -q for q.
-5
Let u be (3/18*-4)/((-18)/(-3699)). Let j = 141 + u. Solve -y = -j*y for y.
0
Let y be 0/2 + (-2 - -4). Let g be 24/(-16)*(-2)/1. Suppose -13 = -5*d + 2*f, y*f - 5*f = -g. Solve -4 - 2 = -d*x for x.
2
Let f = 29 - 21. Let m = f - 5. Suppose 0 = 2*c - m*k - 22, 5*k - 22 = -2*c + 4*k. Solve c + 1 = 3*d for d.
4
Suppose -13 = -m + 4*b, 4 = 2*m - 3*b - 7. Suppose 13 = -k + m. Let n be 2/6 + (-32)/k. Solve 12 = n*w - 0 for w.
4
Let h be (-21)/6 - 5/(-10). Let l be (-15)/35 + h/(-7). Suppose y = -5*r, l = y - 5*r + 2*r. Solve c + 0 + 1 = y for c.
-1
Let k = 919 - 919. Solve k = -6*z + 19 - 1 for z.
3
Let z(s) = -s**3 - 4*s**2 + 11*s - 7. Let l be z(-6). Let p be 9/4 + l/4. Solve -p = -i - 1 for i.
1
Suppose -o = -3*o - 2. Let g be 133/14 + o/2. Suppose -3*m - g = -3*p, -2*p = 2*p - 3*m - 14. Solve 10*q = p*q + 5 for q.
1
Suppose -12*p - 920 = -58*p. Solve -p + 4 = 4*i for i.
-4
Let n = 57 - 52. Suppose 2*a + 10 = 5*t, 10*t - 5*t - n*a - 10 = 0. Solve 4 = -3*r - t for r.
-2
Suppose t = -0*t - 1. Let m be 17/4 - t/(-4). Let w be m/(-16) - 9/(-4). Solve -w*r - 11 = -1 for r.
-5
Let p = 15 + -4. Suppose -h = r + 5 - 0, 0 = -5*r + 4*h + p. Let j be (r/1)/(3/(-30)). Solve x + j = 3*x for x.
5
Let d = 164 - 164. Solve 8*g - 16 = -d*g for g.
2
Let k(l) = 2*l + 27. Let r be k(-14). Let c be 0/(-3 + 0) + (0 - r). Solve -c = 2*n + 5 for n.
-3
Let l(k) = -k**2 + 7*k - 7. Let v be l(4). Suppose -v*h + 0*h = 0. Solve h = -2*o - o for o.
0
Suppose -26*j + 25*j - 12 = 0. Let m be (j/15)/((-1)/(-10)*-2). Solve -g + m = -5*g for g.
-1
Suppose o + i = 3, 2*o = -0*o - 5*i + 3. Suppose -w - o = -3*w. Suppose w*u + 5*v = -2*u + 9, 0 = -3*v + 3. Solve u = 3*k - 2 for k.
1
Suppose 0 = -6*t + 3*t + 6. Suppose t*a - 2*a = 4*a. Solve r + 4 = -a*r for r.
-4
Suppose 0 = u + 4, 11 + 5 = -3*q - u. Let s be (-64)/(-10) + (-2)/(-20)*q. Solve 5*f = 2*f - s for f.
-2
Let b be (0/(110/11))/(2*-2). Solve -5*j + 15*j - 20 = b for j.
2
Let f(n) = 4*n + 29. Let t be f(-6). Suppose 9 = 4*r + 5*w - t, -3*w = r - 7. Solve 5*k - r = 24 for k.
5
Let u(r) = r + 50. Let s be u(-30). Solve -7*m + s = -3*m for m.
5
Let p be -3*((-2)/(-6))/((-24)/192). Suppose 5*w - 2*w = 0. Suppose 3*l - 18 = -3*d, w = 5*d + l - 6*l. Solve v - p = -d*v for v.
2
Let f be 1*0/((-6 - 0) + 4). Solve -14*o + 16*o + 10 = f for o.
-5
Let k(u) = 8*u + 2. Let q be k(8). Suppose q = 5*r - 14. Let t be ((-12)/r - -2)*4. Solve -3*c + 4*c + t = 0 for c.
-5
Suppose 9*t + 17 = 98. Solve -2*x = -5*x - t for x.
-3
Suppose -3 - 3 = -3*j. Suppose -4*x + 15 = -a, 2*x + 5*a + j = -7. Suppose 4*h - 3*h = 2*n + 13, 3*h + 6 = -3*n. Solve x*g + h = 9 for g.
2
Let l(t) = -3*t + 68. Let y be l(14). Solve -5*z - y = -21 for z.
-1
Let i be ((-87)/(-145))/((-1)/5). Let r(f) = -f + 4. Let k be r(i). Solve 0 = -2*m - k - 1 for m.
-4
Suppose -5*k + 3*v = -87, 4*k + v - 64 = 2*v. Suppose -9*w + 6*w + k = 0. Let p = w - 3. Solve 2 = -4*y - p for y.
-1
Let m = -194 + 201. Let r be (-6)/(-1 - 1/2). Suppose f = -2*f + 2*w + 15, -5*w = 4*f + 3. Solve f - m = r*q for q.
-1
Suppose 0 = 3*v + v - 16. Suppose -6 = q - v*q. Solve 0*t - q*t = 8 for t.
-4
Suppose -2*b + 0*b = -4*m - 20, -5*m - 28 = -4*b. Suppose 5*p + 1 - 10 = b*g, 0 = -3*p + 3*g + 9. Solve 3 + p = j for j.
4
Suppose 153 - 50 = 5*o - 3*t, 3*o = 5*t + 65. Suppose -d = -1, -2*j + 11 = d - o. Let p be (12/j)/(2/5). Solve p*u + 1 + 1 = 0 for u.
-1
Let l = 8 + -6. Suppose l = -3*b + 14. Suppose 0*h = h - b*q - 7, 5*q + 11 = 2*h. Solve 0*p = h*p for p.
0
Let a(h) = h**3 - 2*h**2 - 5*h + 2. Let j be a(4). Suppose 396*x - 10 = 391*x. Solve x = 3*w + j for w.
-4
Let h(i) = 4*i**3 - 2*i**2 - 1 - 2*i**3 + i**2 + 2*i. Let u be h(1). Let x be (-8 + 69/9)*0 + 7. Solve u*r - 1 = x for r.
4
Suppose 18*n - 14*n = 28. Solve -14*a = -n*a - 14 for a.
2
Let b = -6 - -10. Suppose 0 = 4*l + 5*z - 64, -8*l - 3*z + 64 = -b*l. Suppose -l*t - 54 = -19*t. Solve -6 = -3*m - t for m.
-4
Suppose -3 - 7 = 2*y - 3*x, -5*x = -3*y - 17. Let z(f) = -f**3 + 9*f**2 - 8*f + 2. Let k(b) = b + 15. Let w be k(-7). Let c be z(w). Solve c*v = 11 - y for v.
5
Let c(x) = 12*x**2 - 1. Let f be c(1). Let y be (1/2)/(6/24). Suppose 3*m - q - 15 = -m, -y*m + 10 = 2*q. Solve 0 = 5*h + f + m for h.
-3
Suppose -k + 5*t = -23, 360 = -k + 2*t + 371. Let c = 6 + -4. Solve -c*p = -k*p for p.
0
Suppose -5 = 2*j + 4*x + 73, -5*j - 223 = -4*x. Let h = j - -43. Solve h*v - v - 5 = 0 for v.
-5
Suppose -3*z + 5*z = -5*r + 11, -2*z = 4. Solve -i + r = 6 for i.
-3
Let x(h) = -3*h**3 - h**2. Let f be x(-1). Solve -f*l + 3 = -3 for l.
3
Suppose 0 = 5*r + v - 144, -121*r + 125*r - 5*v - 92 = 0. Solve 14*o - 7*o = -r for o.
-4
Suppose -100 = 24*m + 26*m. Let h be (-3)/(1 - (-2)/4). Let w be (h - 0)*(1 + m). Solve w*y + 1 = -3 for y.
-2
Suppose 15*s - 17*s + 4 = 0. Suppose -2*y + 2 = -h + 2*y, 0 = s*h + 4*y - 44. Solve 5*t + h = -11 for t.
-5
Suppose 236 + 79 = 5*p. Suppose 0 = 12*c - 15*c - p. Let r = -21 - c. Solve -2*n - 1 - 1 = r for n.
-1
Let k be (-4 + -2)/((-4)/(-6)). Let m = k - -25. Suppose -3*v - 2*u - m = 2*u, 4*v = -2*u - 8. Solve l - 1 = -v*l for l.
1
Let a(g) = g. Let z(k) = 7*k + 12. Suppose 5*q + 2*n + 4 = -18, -q + 2*n - 14 = 0. Let s(y) = q*a(y) + z(y). Let o be s(-8). Solve 10 = o*r + r for r.
2
Let b = -51 - -55. Solve -s + b = s f