4 = v*u for u.
4
Suppose -176 = -10*c - 6*c. Solve c*x + 36 = -x for x.
-3
Let q(s) = -s**3 + 10*s**2 - 11*s + 138. Let y be q(10). Solve -30 = -y*x + 22*x for x.
5
Let o be (3 + 2)*20/4. Solve o*f = 30*f - 20 for f.
4
Suppose -7*f + 4*f + 8 = -2*b, 5*f + 5*b = 30. Solve 0 = c - 2 + f for c.
-2
Let r(c) = 2*c + 2. Let a be r(-1). Solve a = 3*y - 4 + 13 for y.
-3
Let q(x) = -5*x**2 - 43*x + 30. Let w be q(-9). Suppose -4*d + 0*d = -52. Let t = d - w. Solve -4*k - t = -17 for k.
4
Let u be (3/2)/(4/24). Suppose -u*x = -6*x. Suppose 18 = 11*m - 5*m. Solve x = -q - m*q - 4 for q.
-1
Let q(o) = -o**2 + 3*o + 7. Let d be q(5). Let r be (-10)/(-3) - (-1)/d. Let j = -46 - -48. Solve -5*a = -j*a + r for a.
-1
Let q(a) = a**3 + 12*a**2 + 12*a + 17. Let x be q(-11). Suppose 2*n = 3*h - 8, -x*h + 2*n = -h - 20. Solve 0*p - 2*p = -h for p.
3
Suppose -5*u = -2*u. Suppose -5*w = -d - 65, w + d - 19 = -w. Let k = w - 11. Solve o + u + k = 0 for o.
-1
Let u(q) = q**3 + 10*q**2 - 2. Let r be u(-10). Let i be -1 - -1 - -4*r/(-4). Solve -i*n + 3 = n for n.
1
Suppose -t = -3*t - 36. Let w be (t/72)/((-2)/8). Solve 0 = z - w for z.
1
Let u = -23 - -50. Let s be 5 - (-4)/((-8)/6). Suppose -u = -c - s*c. Solve -c = 2*j + j for j.
-3
Suppose -7 = -3*a + p, -3*p - 20 = 2*p. Let u(z) = z**3 - 3*z**2 + z - 3. Let n be u(3). Solve n*j = j + a for j.
-1
Let m(q) = q**2 + 10*q - 17. Let l be m(-12). Suppose -4*z + 88 = l*z. Solve 5*t + z = t for t.
-2
Suppose -4*y - 2*c = -6, -4*y + 5*c + 70 = 29. Solve -k = y*k - 20 for k.
4
Let k = 16 - 29. Let d = -15 + k. Let g = 39 + d. Solve g = 2*n + 1 for n.
5
Let x(d) = 3*d - 16. Let p(t) be the second derivative of t**3/2 - 8*t**2 - 3*t. Let f(n) = -3*p(n) + 4*x(n). Let s be f(7). Solve 0 = -s*l + 10 + 5 for l.
3
Let i be (45/6)/(-3)*32/(-20). Solve -i*v - 19 = -3 for v.
-4
Let u(o) = 38*o - 527. Let v be u(14). Solve v*w - 4 + 19 = 0 for w.
-3
Let s be 3/(-15) - 168/10. Let h = -8 - -27. Let g = s + h. Solve 4*o + 22 - g = 0 for o.
-5
Let f be 3 - (-97 - 4/(-2)). Let m = -86 + f. Solve -4*l = -7*l - m for l.
-4
Let c be 1*11/((-33)/(-18)). Let v be (-5)/(-4) - c/(-8). Solve -4*m = 14 - v for m.
-3
Let z be (7 - (2 + 4)) + 3 + -1. Solve 5*w = 2*w + z for w.
1
Suppose 0*p + 388 = 3*z + 5*p, -3*z + 397 = -4*p. Let w = z + -122. Solve -w = 12*v - 9*v for v.
-3
Let t be (1/(-3))/(1/(-69)). Let n = t - 22. Solve -5 = -2*i - n for i.
2
Suppose -v + 2*l = -1, 3*l + 2*l + 4 = 3*v. Suppose -3*t + 10 = b, 2*b = 4*t + 5*b - 5. Suppose -t*r - 5 = -80. Solve 0 = v*h + r - 0 for h.
-5
Let i be ((-22)/3)/(1/3). Let p = -22 - i. Suppose 4*x - 7*x + 15 = p. Solve -x*l + l = 12 for l.
-3
Let a(w) = w**2 - 2*w. Let k be a(2). Let r = 4 + k. Suppose -9 = -3*c - 0*c. Solve -5*d + r = -c*d for d.
2
Let w(r) = -r**2 + 6*r + 5. Let p be (0 - (-2)/6)*21. Let h be w(p). Let c(d) = -3*d - 3. Let f be c(h). Solve 0 = f*j - 9 for j.
3
Let c(v) = v**3 - 14*v**2 + 54*v - 32. Let q be c(7). Solve 12*l + 9 = q*l for l.
-1
Let q be (-8)/20 - (376/(-10))/4. Solve 8*w = 5*w - q for w.
-3
Let v = -2 + 3. Suppose 3*r = -5*h + 24, -2*r + 0*r + 14 = 3*h. Let p = h - v. Solve 5*x = p + 5 for x.
2
Suppose q + 5*v - 23 = 7, 0 = 2*v. Solve 9*n = 15 + q for n.
5
Let x be (0/1)/(3/3). Suppose -r = -3*f - 31, 0 = 4*f + 4 - x. Suppose 2*g = 4*g - r. Solve -g = 3*p - 2 for p.
-4
Suppose s - 2 = 0, -4*m - 5*s + 70 = -28. Let h = m - 10. Suppose -3*l + 12 = -0*l - 5*v, -v = 3*l - h. Solve 0 = -l*n - 0*n + 12 for n.
3
Let b be (-7 + (-29)/(-4))*-6*-40. Solve -b = -10*l - 2*l for l.
5
Suppose 0 = -s - 3*u - 6, 4*u = 3*s - u - 10. Let t be 5 - 355/(-20) - 3/4. Suppose 3*r - t = 2. Solve -2*d - 4 + r = s for d.
2
Let k be (-4)/(4/(-3)*(-9)/(-6)). Let d be (k/(-4) - 0)*(-12)/1. Solve -3*c = -c + d for c.
-3
Suppose -48 = 6*i + 12. Let s be (204/170)/(1 - (-6)/i). Solve s*b = 5*b for b.
0
Let n be 2600/150*(-5)/((-60)/9). Solve -17*k - 16 = -n*k for k.
-4
Let q = 300 - 294. Solve -27 = 3*l + q*l for l.
-3
Let m(t) = -t**2 + 13*t - 17. Let p be m(12). Let u be -4*p/10*1. Suppose 5*z + 4*y - 23 = 2*y, -5*z - 5*y = -35. Solve u*x - 25 = -z*x for x.
5
Let c = 483 + -455. Solve 124 = -3*m - c*m for m.
-4
Suppose -10*a + 16 = -12*a. Let v(t) = -t**3 - 7*t**2 + 8*t + 4. Let u be v(a). Suppose -3*p + 5*p - k + 4 = 0, -5*p + 4*k = 16. Solve 3*i - u*i = p for i.
0
Suppose 1 = 5*u - 9. Let a = 59 + -57. Solve -a*i - 4 = u*i for i.
-1
Suppose -5*u - 3 = -23. Suppose 0 = -5*s + u*k - 6*k + 14, 5*s = 2*k + 6. Solve -s*g = -4*g + 6 for g.
3
Let t = -1986 - -1988. Let h be 0*(2/4 + -1). Solve 2*y = -h + t for y.
1
Let b(f) = f - 6. Let q be b(3). Let d be -3 - (-5 - (1 - (6 + q))). Solve -i - 3 = -d for i.
-3
Let s = -30 - -46. Solve 0 = 20*h - s*h - 12 for h.
3
Let l(z) = z**3 + 6*z**2 - z - 2. Let m(w) = -w**2 + w - 6. Let t be m(0). Let c be l(t). Suppose 2 = 2*a - 2*q, -16 = -24*q + 20*q. Solve c*i = a*i + 4 for i.
-4
Suppose -2 = -3*b + 1. Suppose -5*g + 10 = 3*v, g + 9 + b = -3*v. Let h be g/2 - (-2)/4. Solve -t = h*t for t.
0
Suppose 11*a - 2 = 12*a - d, 0 = 3*d - 6. Solve a*x - 3*x + x = 0 for x.
0
Let g be ((-112)/(-98))/((-2)/(-7)). Solve -4*o + 2*o = g for o.
-2
Let j be (-4)/(-16) + (-33)/(-12). Suppose 5 - j = 2*v. Suppose 5*w - 20 = -0*w. Solve 9 = w*d + v for d.
2
Let w = -354 - -364. Solve 0 = 7*b - w*b - 9 for b.
-3
Suppose -u = -4*u + 9. Suppose 0 = -g + 4 - 0. Let z be 18/g*2/u. Solve n - 1 = -z for n.
-2
Let r = -20 + 24. Suppose -y + 5 = 3, r*y - 16 = -2*x. Let c(w) = -w**2 + 9*w + 1. Let g be c(9). Solve -x*a = -3*a - g for a.
1
Suppose u = -2*u - q + 5, 2*u + 2*q = 10. Let z be -1*(u - -3) - -7. Solve z*w + 9 = -3 for w.
-3
Let h = -85 - -85. Suppose h = -3*n - 66 + 87. Solve 4*k - 3 = n*k for k.
-1
Suppose 5*r = -z + 16, -2*z - 11 = -2*r - 7*z. Solve 6*t - r*t - 12 = 0 for t.
4
Suppose -1 = -3*v + 5*u + 19, -12 = 3*u. Let l(i) = i**2 - 3*i - 1. Let m be l(4). Solve v = m*y - 2 - 10 for y.
4
Let g(r) = -r**3 + 2*r**2 + r + 6. Let p be g(3). Let t be (-10 + p)/(-1 - -2). Let v = -7 - t. Solve -3*q - v = -6 for q.
1
Let z(w) = 6*w + 8. Let b be z(4). Suppose o + 3*o + b = 3*x, 4*o + 4 = -4*x. Solve a = -x*a for a.
0
Suppose 0 = 29*r - 28*r - 7. Solve r = s + 12 for s.
-5
Let h = 8 - 8. Let p(k) = 2*k**3 + 5*k**2 - 9*k - 17. Let s be p(-3). Solve h = -3*r + 8 + s for r.
3
Let f(z) = -z**3 + z**2 + z - 1. Let n be f(1). Let l(d) = -d + 6. Let r be l(4). Solve n = -m - m + r for m.
1
Suppose -34109*r = -34117*r + 16. Let m = 6 - 2. Solve -2 = -m*c + r*c for c.
1
Let r = 1787 + -1737. Solve 57*f - 7 = r*f for f.
1
Let n(i) = 3*i + 11. Let w be n(-8). Let h = w + -1. Let p = h + 17. Solve -1 - p = -2*o for o.
2
Let t be 14*((-40)/(-24) + (-4)/6). Solve t*d + 6 = 11*d for d.
-2
Suppose -w = -3, l + 2*l = 4*w - 12. Solve 4*c - 10*c = l for c.
0
Suppose -125 = -59*n + 288. Solve 1 = -2*v - n for v.
-4
Suppose 0 = -5*z - 7 + 22. Let f be (3 + 0)/(z/(-2)) + 4. Solve -3*k + f + 1 = 0 for k.
1
Let g = 27 - 25. Suppose 6 = f - g. Let y be 2/5 + 54/15. Solve 4*o = -f + y for o.
-1
Suppose 0*t = t + 5*i - 23, 0 = 4*t - i - 8. Suppose j - 20 = -t*j. Let h = 13 - j. Solve -c = -5*c + h for c.
2
Let t be (84 - 71)*(1 + 3*4). Solve -c + t = 172 for c.
-3
Let n = -2 + 5. Solve -n = 2*u - 1 for u.
-1
Suppose n + 6 = 3*v, -76*n + 5*v = -79*n + 52. Let w = 1 + -1. Solve -3*k = -w + n for k.
-3
Let p be 69/(-6)*8 - -2. Let n be (36/p)/((-1)/5). Solve n*h - 9 = 1 for h.
5
Let k = 28 - 25. Let s = k - 0. Solve 20 = -8*l + s*l for l.
-4
Let k be (-12)/78 - (-15)/13. Let j be 430/70 - k/7. Solve 3*r - r + j = 0 for r.
-3
Let j = -1291 + 1309. Solve 17*n = -52 + j for n.
-2
Let k = 41 - 30. Suppose d - 11 = 2*g, -4*d - 4*g + k = 3. Solve -8 - 7 = d*v for v.
-3
Let m(o) = -o**2 + 36*o - 108. Let t be m(32). Solve 4*i = -i - t for i.
-4
Suppose 3*j + 21 - 36 = 0. Solve -n + 11*n = j*n for n.
0
Let o(g) = -g**2 + 2. Let f be o(0). Suppose f*c - 2 = 2*n, -4*n + 2 = -3*n. Let k(l) = -l**2 + 2*l + 3. Let b be k(c). Solve b*p = -p + 2 for p.
2
Let n be 0 + 2 - (-2)/1. Suppose -5*i + 121 = -2*s, 2*i + 22*s = 24*s + 46. Solve -r - n*r = -i for r.
5
Let t(d) = 2*d**3 + 64*d**2 + 61*d - 14. Let v be t(-31). Solve v*g = 13*g for g.
0
Let i be 0*(-2)/4*-1. Suppose d + 12*a = 13*a - 1, -d = -3*a + 11. Solve d*c = -i*c 