450*w. Solve -123*d + 128*d = w for d.
0
Suppose -5*d + 8 = 3*o - 20, 0 = 3*o - 5*d - 8. Let t be 9/o*(1 + 1). Suppose -4*b + 12 = -4*v, 4*v - b = 4*b - 17. Solve t*c - v*c = 0 for c.
0
Let k(r) = r**3 + 3*r**2 - r - 3. Let h be -4 + (1 - -5)/3. Let l be k(h). Solve 0*m - l*m + 6 = 0 for m.
2
Let x be 5 + (14/2 - -4). Solve 4*b + 0 = -x for b.
-4
Let c(g) = g**3 - 6*g**2 + 8*g - 8. Let n be c(4). Let a be ((-16)/(-12))/(n/(-12)). Solve 0 = k + a - 1 for k.
-1
Let k(t) = 15*t + 3 + t**2 + 17 - 10 + 16. Let n be k(-13). Solve n = -2*v + 3 + 1 for v.
2
Let t(p) be the first derivative of p**4/2 - 2*p**3/3 - p**2/2 - 2*p - 1. Let q be t(2). Suppose 5 - 12 = 4*m - 5*d, -3*m + 5*d = 9. Solve -q*w = 2 + m for w.
-1
Suppose -4*n + 23 = -1. Let p = 16 - n. Suppose -18 = -13*w + p*w. Solve 4*i = -2 - w for i.
-2
Let v(q) = q**2 + 2*q + 10. Let b be v(-8). Let j = b + -53. Solve j*d = d for d.
0
Suppose 4*q - 3 = -i + 10, 4*i - 35 = q. Suppose 0 = -12*d + 3*d + i. Solve 1 = 2*u - d for u.
1
Let u be (((-192)/44)/(-4))/(2/11). Solve u*x = 3 + 27 for x.
5
Suppose -4*s = -13 - 35. Suppose -5*v = -4*p + s, -v = -5*p + v + 15. Suppose -5*t = 43 - 48. Solve -b - p - t = 0 for b.
-4
Let a be -2 - (-2 - (-2 + 4))*1. Suppose -a*i + 9 = 3. Solve -i*j - 14 = -2 for j.
-4
Let q be (-546)/(-18) + (-10)/30. Solve q*p - 26*p = 8 for p.
2
Suppose 9*a - 54 = -4*d + 7*a, 2*d + 4*a - 42 = 0. Solve 6 - d = -z for z.
5
Let c(u) = -10*u**2 + u**2 + 13 + 0*u**3 + 0*u**2 - 7*u - u**3. Let s be c(-8). Solve s*b - 4 = b for b.
1
Suppose -2*c + 8 = -4*v + 34, -2*c = 5*v - 10. Solve 0 = 4*y + v + 12 for y.
-4
Suppose 0 = -415*n + 409*n + 108. Solve -8*l - n = -50 for l.
4
Suppose 4*r + 85 = 105. Suppose f - r*f = -8, -4*a = 5*f - 18. Solve -4 = -h - a for h.
2
Suppose 5*b - 9*b - 104 = 0. Let p = b - -31. Solve 4*g - 1 = -p for g.
-1
Let b be (2328/44)/6 - (-14)/77. Solve b = -2*w + 5 for w.
-2
Let n be -1 - (-3 - (-3 - (0 - 5))). Solve 4 = n*h + 8 for h.
-1
Suppose -4*q = -5*m - 20 - 4, 0 = 4*q + m. Let l = q - -3. Solve l*c - 13 = -1 for c.
3
Suppose -5*d + 5*y = 0, -2*d + 0*d - 10 = -4*y. Suppose 2*g + 2*n + 0*n = 4, -4*g + 2 = n. Solve d*x + 14 + 11 = g for x.
-5
Suppose 5*w = 4*r + 68, 4*w - 3*r = -r + 52. Solve -6*a - w + 36 = 0 for a.
4
Suppose -4 = 2*g, 0 = -7*j + 3*j + g + 222. Solve 10*n - j = -n for n.
5
Let l(y) = y**3 + 3*y**2 - 4*y. Let v be l(-4). Suppose 1 = -3*z - 2*b - 5, 5*z + 4*b = -12. Suppose -5*d + 21 = 6. Solve 3*i + v*i + d = z for i.
-1
Suppose 0*d + 5*d = -25. Let y be (3/d)/((-1)/5). Suppose -1002*f + 1007*f - 60 = 0. Solve y*m - 6*m = f for m.
-4
Suppose 2*d + 38 = 44. Suppose 2*g = -d*g. Solve g*w + 4 = w for w.
4
Let d be (-2)/6 + 16/3. Suppose -2 = 7*k - 8*k. Suppose -20 - 9 = -v + k*t, -t = -3*v + 77. Solve 0*x - d*x = v for x.
-5
Suppose -i = -4 - 3. Let d(m) = -m**3 + 8*m**2 - 6*m - 3. Let c be d(i). Suppose -6*l + c*f = -2*l + 4, -l = -4*f + 16. Solve -l*n - 1 = 3 for n.
-1
Let b(j) = -4*j - 15. Let u be b(-5). Suppose -2*v + 23 = u*k, -5*k + 0*k = 4*v - 21. Solve 2 = k*a + 7 for a.
-1
Let n(y) = y**3 + 5*y**2 - y - 9. Let i be n(-5). Let m be 1/((i/(-20))/((-6)/(-15))). Solve -f - f = m for f.
-1
Suppose 12*v = 17*v. Suppose 3*i - 52 = 5*s - 167, v = s - i - 25. Let g(m) = -m**2 + 7*m + 3. Let o be g(7). Solve 5 = o*r + s for r.
-5
Let i be (2 - 2/1)*(-12 + 11). Solve i = 2*o - 1 + 7 for o.
-3
Let v(p) = 4*p - 26. Let q be v(6). Let g be (-4)/(2/3 + q). Solve -20 = -g*l - 5 for l.
5
Let z(h) = -h**3 - 3*h**2 + 4. Let t be z(2). Let l be 2/(-4) - 56/t. Solve 2*o + 1 = l*o for o.
1
Let g be (8 + -8 + 4)*(-3)/(-6). Solve g*c - 6 + 4 = 0 for c.
1
Suppose q = -3*q + 8. Suppose -3*o - 147 = 144. Let x = -82 - o. Solve q*l + l = x for l.
5
Let o(a) = -23*a + 264. Let w be o(11). Solve -10 = -w*b + 9*b for b.
5
Suppose -59 = -3*m - 0*n + 4*n, -4*m + 67 = -3*n. Suppose -4*a + 3*j + m = 0, 2*a + 2*a = -2*j + 18. Solve -a*o = -26 + 6 for o.
5
Let h be (260/3)/(10/15). Let d = -126 + h. Solve -x + d*x - 6 = 0 for x.
2
Let i(j) = j**3 - 8*j**2 + 6*j + 5. Let g = 15 - 8. Let b be i(g). Let k(r) = r**3 + 2*r**2 + 3. Let l be k(b). Solve q = l*q for q.
0
Suppose 277*p - 6 = 275*p. Solve 13*c - p = -29 for c.
-2
Let v(y) = y**3 + 4*y**2 - 6*y. Let l be v(-5). Let x(w) = -29*w - l + 11*w + 16*w. Let o be x(-4). Solve z = o*z for z.
0
Suppose 2 = w - 3*w. Let h(c) = -8*c**3 - c**2 - c - 1. Let m be h(w). Solve -22 = -5*q - m for q.
3
Let b be 0*(50/15)/10*1. Solve -4*j + 5*j - 1 = b for j.
1
Suppose 9*u - 15 - 30 = 0. Suppose 3*a = a + 14. Suppose a = 2*y - 1. Solve -u*h + 4*h = -y for h.
4
Suppose -4 + 4 = 6*b. Solve b = -10*x + 12*x - 4 for x.
2
Let v(z) = z**3 + 9*z**2 - 6*z - 51. Let q be v(-9). Solve 6*f + 9 = -q*f for f.
-1
Suppose -9*x + 4*g = -12*x - 3, -3*x = 3*g + 6. Let h be (-5 - -22) + 3 + x. Solve -7*m = -2*m + h for m.
-3
Let n = 11 - -5. Let v = n + -16. Solve 2*f + 6 + 2 = v for f.
-4
Let m be (6*45/162)/((-3)/(-18)). Solve m = 21*c - 19*c for c.
5
Let j(w) = w**3 + 20*w**2 - 46*w - 33. Let h be j(-22). Solve h*g = 13*g + 2 for g.
-1
Suppose 5*t = -7 + 22, -3*i + 3*t = 9. Suppose 2*u + 3*r - 4*r - 20 = 0, 2*r + 8 = i. Solve -u = 5*c - c for c.
-2
Suppose 0 = 3*d + 2*b - 4*b - 12, -b = -2*d + 9. Suppose 4*w + 5*n - 24 = 0, -2*n + d = -w + 25. Suppose 3*t + 2*t = 15. Solve 1 = t*q - w for q.
4
Let g = -57 + 60. Suppose -3*u - u = -g*s - 20, -16 = -4*u + 2*s. Solve 0 = -r + 3*r - u for r.
1
Suppose 0 = -157*t + 159*t. Solve -2*x + x + 5 = t for x.
5
Suppose r + u - 10 = 0, 11*r = 13*r - u - 26. Solve r = -a + 4*a for a.
4
Let f be (42/(-12))/((-3)/18) + 7. Solve f = -21*q + 7 for q.
-1
Suppose 0 = -l - 5*l + l. Suppose 2*m - 2 = -0, 4*t + 4*m - 24 = l. Solve -t*i = -9 - 1 for i.
2
Suppose 106 = 4*d + 5*u, -4*d + 27 = -2*u - 65. Let x = d - 19. Solve -x*t + 1 = 11 for t.
-2
Let r(f) = -f**2 - 10*f - 10. Let q be r(-8). Suppose -60 = q*x - 9*x. Let n = -20 + x. Solve n = 2*v + 4 - 2 for v.
-1
Let g be (0 - -2 - (14 + -11)) + 4. Solve g*l - 15 = 8*l for l.
-3
Let s = -55 + 57. Suppose 0 = s*x - 3*x. Solve x = 3*p + p for p.
0
Let p(f) = 3*f + 23. Let v be p(-6). Suppose t = r - 0 + 5, t = v. Solve -s - 4 = -r*s for s.
-4
Let g(h) = -2*h**2 + 17*h - 5. Let q be g(8). Suppose -5*k = 0, 2*d - 4 = -q*k - 0*k. Solve -4*c = -d*c - 2 for c.
1
Let v be 5*(-2)/(20/(-6)). Solve v = -4*o + 11 for o.
2
Suppose 5*g + r - 71 = -23, 0 = 3*g + r - 28. Solve a + g = -a for a.
-5
Suppose 3*z + 16 - 28 = 0. Solve t = z*t - 3 for t.
1
Let d be (24/72)/((-1)/(-9)). Suppose 0*k + 5*k = 4*b + d, 2*k + 2*b = 12. Solve -h - 2 = k for h.
-5
Let a(p) = 4*p**2 - p + 2. Let t be a(1). Let h be -3 + t - (-1 - 5). Let x(f) = -f + 23. Let c be x(h). Solve c = 3*b + 3 for b.
4
Let g be (10/4)/(1/2). Let m be (-3 - -29) + (g - 1). Let w = m + -27. Solve 4 = -w*v + v for v.
-2
Let x be ((-92)/(-8))/((-15)/(-30)). Solve -4*a = x - 11 for a.
-3
Let q(d) be the second derivative of -d**4/12 + 5*d**3/6 + 3*d**2/2 - 50*d. Let p be (-2)/6 - 32/(-6). Let r be q(p). Solve r*m - m = -10 for m.
-5
Let o = -253 - -256. Solve l + 12 = -o*l for l.
-3
Let v be (-45)/6*(-8)/6. Let d be -11 + (-805)/(-77) + 122/22. Solve -d*c - v = 5 for c.
-3
Let x(y) = 2 - 2 - 1 + 7*y. Let r be x(1). Suppose g + 18 = -5*p, -4*g - 3*p - 6 + 2 = 0. Solve -4 - r = g*s for s.
-5
Let p = 0 + -8. Let s = 1 + p. Let k(h) = -h**2 - 7*h + 3. Let w be k(s). Solve -w*b + 10 = 1 for b.
3
Let b = 644 + -617. Suppose 2*f - 5 = 1. Let c = f - -1. Solve c*i = -7 + b for i.
5
Let m(r) = r**2 - 8*r + 10. Suppose 3*i + 5*v - 46 = 0, 5*i - v = -6*v + 60. Let l be m(i). Let a be ((-1)/(1 - 4))/(5/30). Solve -3 = a*o - l*o for o.
3
Let u(f) = f**2 - f. Let j(k) = -k**3 + 3*k**2 + 2. Let c(a) = -j(a) + 3*u(a). Let o be c(-2). Let s = o - -6. Solve 0 = -s*x - 0*x - 2 for x.
-1
Let c be (-35)/(((-10)/(-4))/5). Let l be 20/c + (-23)/(-7). Solve l = -s - 0 for s.
-3
Let c = -14 - -18. Suppose 3*d - 5 = -2*x, -c = -2*x - d + 7. Solve 2*y - x*y = -10 for y.
2
Suppose -10*i + 9*i + 5 = 0. Let r be 7 + ((-75)/i)/5. Solve r*y + 8 + 12 = 0 for y.
-5
Let a = -61 + 83. Let l = a - 20. Solve -4*v + l + 6 = 0 for v.
2
Let p(x) = x**2 + 2*x + 27. Let t be p(-4). Suppose -2*l - t = -7*l. Solve 3*g - l - 8 = 0 for g.
5
Suppose 22*u - 22 + 0 = 0. Let n 