- 2*o + 2. Let f be x(1). Let t be r(f). Let s = 20 + -20. Solve t = -j - s*j for j.
0
Let p be (0 + 0 + 0)*-1. Suppose 4*i + 6 = 5*m - 14, -3*i - 3*m = -12. Let b(s) = 2*s**3 + 7. Let k be b(i). Solve k*r - 4*r = p for r.
0
Let z = -144 - -144. Solve z = 4*h + 4 + 8 for h.
-3
Suppose -506*x + 504*x = 0. Solve 3*l = 9 - x for l.
3
Let m be (-10)/(-2) - ((0 - -1) + 4). Solve m = -3*h - 0*h - 5*h for h.
0
Let q = -52 + 54. Solve 0 = -3*d + 1 + q for d.
1
Let n(s) be the first derivative of s**2/2 - 2. Let i be n(3). Let p be (-4 - -5)/(i/12). Solve -o = p*o for o.
0
Let a = -353 - -355. Solve -f = a + 2 for f.
-4
Suppose -48 = -4*v - 4*s, -21*v + 2*s = -26*v + 72. Solve 0 = -2*h - 2*h - v for h.
-4
Suppose 5*y = -4*n + 22, 6*n + 2 = -5*y + 10*n. Solve y*j + 3*j = -5 for j.
-1
Let a(h) = -h**2 + 9*h + 12. Suppose -4*j = -5*v - 60, 2*j - 22 - 2 = v. Let r be a(j). Solve 5*g = r - 7 for g.
-1
Suppose -8*t = -13*t - x - 5, 5*t + 20 = -4*x. Solve t = y + 4*y - 5 for y.
1
Suppose -2*m - 2*c = 8, -3*m + 20 = 5*c + 40. Solve m*z - 3*z = 12 for z.
-4
Let s be (-623)/(-14) + (-3)/6. Solve -6*u + s = 14 for u.
5
Let v = 0 + 2. Suppose -5*n = -3*n - 10. Let i(r) = -r + 10. Let k be i(n). Solve v*b = -3*b + k for b.
1
Suppose a = q - a - 5, -3*q - 3*a - 3 = 0. Suppose 5*w = -g - 3 - q, 3*w = g + 4. Solve 2*k + 2 = -w for k.
-1
Let k(s) = 137*s - 822. Let z be k(6). Solve 36*b - 35*b - 4 = z for b.
4
Suppose p - 3*a + 3 + 6 = 0, p = 4*a - 14. Let h = p + 0. Let w = 9 - 4. Solve h = -w*l - 14 for l.
-4
Let m(s) = 7*s + 1. Let i be m(-1). Let c = i - -9. Solve c*x = 4*x - 2 for x.
2
Let c be (-22)/(-4) + (-4)/8. Solve 0*z - c*z = -15 for z.
3
Let f(b) = -b**3 - 5*b**2 + 5. Let s be (8 + -9)*1*5. Let o be f(s). Suppose -r + o*r = 40. Solve -26 + r = -4*j for j.
4
Let o(u) = 2*u**2 + 28*u + 103. Let q be o(-10). Solve 31*c = q*c + 8 for c.
1
Suppose -2 = -5*z + 8. Let r = 3 - z. Suppose 3*s - 6 = 2*b, 8 = -4*b + 2*s + 4. Solve -r = f - b for f.
-1
Suppose 0*s - 25 = -5*s. Suppose 5 = 7*k - 16. Solve 23 = -s*w + k for w.
-4
Let k be -6*(-2)/4 + -1. Let a be (k/4)/(2/24). Solve -3*b + 12 = -a*b for b.
-4
Let u = 274 - 271. Solve 0*b - 3*b = u for b.
-1
Let l(f) = -f**3 + 61*f - 175. Let b be l(5). Let u = -2 - -3. Solve -u = -b*p + 4 for p.
1
Suppose -5*i + 2*s = -i + 36, -3*s - 45 = 3*i. Let z(v) = -v**2 - 16*v - 49. Let k be z(i). Solve 0 - k = 3*l for l.
-2
Suppose 0 = -20*r + 161 + 79. Solve 18*h + r = 15*h for h.
-4
Let b be 16/(-14)*28/(-16). Solve b*f - 5 = 1 for f.
3
Let s = 4 - 2. Suppose s*j + 0*j - 6 = 0. Suppose 3*p - 6*r - 21 = -3*r, -p = -2*r - 10. Solve j*w - p*w = 0 for w.
0
Let h = 70 + -35. Let l(z) = -z**3 - 2. Let s be l(2). Let x be (4/s)/((-7)/h). Solve -x*n - 7 = -17 for n.
5
Let h be (((-9)/3)/(-3)*-2)/(-2). Solve -x - 6 = -h for x.
-5
Suppose 3*q + 13 = 3*z - 2*q, -29 = -4*z - 5*q. Solve 12*u = 10*u - z for u.
-3
Suppose -2*s - 2*p + 40 = 0, -4*p - 46 = -s - s. Solve -5*w = -12*w + s for w.
3
Let v = 1564 - 1525. Solve 39*d - 26*d = -v for d.
-3
Let d be (-24)/10*30/9. Let p be (2/4)/((-4)/d). Let k be (p/(-2))/(4/(-16)). Solve 0 = -3*h - k*h for h.
0
Let o = 6 - -13. Suppose -o*x = -14*x - 20. Suppose 0 = -2*b - x, 2*s + 1 = 5*b + 21. Solve -s*n = 1 + 4 for n.
-1
Let r(i) = 4*i + 1. Let t be r(-2). Let p(b) = -b**2 - 9*b - 6. Let d be p(t). Solve -l + 4 = d for l.
-4
Let u(g) = -g**3 - 9*g**2 - 9*g + 13. Let b be (8/20)/((-2)/40). Let w be u(b). Suppose -81 = -3*p - w. Solve 6*r - r = -p for r.
-4
Let c = -139 - -173. Solve -c*h = -31*h for h.
0
Let o(b) = -7*b**2 + 0*b + 4*b**2 + 4*b**2 + b. Let c(g) = -4*g**2 - 10*g - 2. Let u(t) = c(t) + 5*o(t). Let l be u(6). Solve -l*n - 20 = n for n.
-4
Suppose 4*u + 3*o + 2*o - 17 = 0, -4 = -2*u + 2*o. Suppose 3*a = -u*a + 24. Solve 0 = -a*f + f for f.
0
Suppose 95 = 7*n - 2*n. Suppose 3*v = 4*f - 14, 14 = 4*v + 5*f - n. Suppose 0 = -v*l - 2*m + 2, 5*m - 4*m + 35 = 5*l. Solve -4*z + l = -2*z for z.
3
Suppose -29*b + 75 = -70. Solve -52 = 31*s - b*s for s.
-2
Let w = -14 + 20. Let f(p) = -p**3 + 16*p**2 - 12*p - 43. Let g be f(15). Suppose 8 = w*r - g*r. Solve 2 - 10 = r*q for q.
-4
Let n(y) = 9*y**2 - 15*y - 17. Let v(u) = -4*u**2 + 7*u + 8. Let k(f) = 3*n(f) + 7*v(f). Let l be k(6). Let i be 26 + l/((-21)/(-6)). Solve -1 = 5*d + i for d.
-5
Let q = 405 + -403. Solve -z = -q*z for z.
0
Suppose -30 = -3*o + u, -2*o + 0*o - 4*u + 20 = 0. Suppose o*q = 13*q. Solve q = -d - d for d.
0
Let z be (-1 - (0 + 0))*33. Let j = z + 37. Solve 4 = 2*m - j for m.
4
Let i = -114 + 129. Solve 0 = -5*d + i + 5 for d.
4
Let b be (-4 + 7)/((-1)/(-1)). Solve b = -4*k - 5 for k.
-2
Suppose 7*p = p - 42. Let h(c) = -3*c - 15. Let i be h(p). Let b be ((-2)/i)/(3/(-27)). Solve -7*z + 12 = -b*z for z.
3
Let o = -136 + 138. Solve -o*f = f + 6 for f.
-2
Let i be (-1)/(-5) - -12*77/55. Suppose -l = -4*l + 12. Let m be (l/(-6))/(4/(-30)). Solve -3*r = -m + i for r.
-4
Let u = -94 + 98. Suppose -u*r + 13 = -3. Solve 2*g = 6 + r for g.
5
Let z = 6 + -3. Let f = z + -3. Suppose c - 6 = -v, -4*c + 5*v + 15 = -f*c. Solve c*t = -11 - 9 for t.
-4
Let q(c) = -20*c**2 - 12*c - 5. Let z(s) = -7*s**2 - 4*s - 2. Let h(t) = -6*q(t) + 17*z(t). Let j be h(-5). Solve 3*i + 4 = j for i.
-1
Let h be ((-12)/8)/(3/(-14)). Suppose -h*t = -5*t. Let j = 26 + -25. Solve t = 2*b - j - 1 for b.
1
Suppose g = 2*f - 192, -g = -3*f - 2*g + 298. Let i = -98 + f. Solve i = -3*s + 6 - 0 for s.
2
Let c(y) = 0*y - 2 - 8 + 9 + 2*y. Let p be c(2). Solve p*h - h = 0 for h.
0
Let x = 32 - 12. Suppose -698 = -8*d - 98. Suppose -d = -5*b - r, -2*r = 2*r + x. Solve 0 = 3*m + m + b for m.
-4
Suppose 8 = 5*d - 7. Let c be d + 4/16 + (-2)/8. Let u(n) = 2*n**2 - n - 2. Let m be u(-2). Solve c*r - 5 = m*r for r.
-1
Let z = -38 + 36. Let k be 0/(z + 9/3). Solve k = -d + 6 - 1 for d.
5
Suppose -14*p + 269 = 2*n - 11*p, 546 = 4*n - 2*p. Let b = 139 - n. Solve b = -0*c - c for c.
-3
Let b = 110 - 62. Let i be 2/(-4) - (-435)/30. Let r be 4/i + b/28. Solve 2*n + r*n = -12 for n.
-3
Let z = 1697 + -1693. Solve -z*f - 1 = -1 for f.
0
Let c be (-24)/(-9)*63/4. Let w = -39 + c. Solve -w*u - u = 0 for u.
0
Let l(d) = 9*d + 422. Let k be l(-42). Solve -44 = x - k for x.
0
Let g be (20/(-6))/((-12)/18). Solve -13 = g*t + 12 for t.
-5
Let o = 78 + -78. Suppose 6*v - 46 + 10 = o. Solve j - 3 = -v for j.
-3
Suppose -2204 + 2204 = 13*a. Solve -16*i + 24 - 104 = a for i.
-5
Suppose -3*g - 2*g = 25. Let l be (-19)/g + (-40)/50. Solve l*b - 1 = 5 for b.
2
Let r(y) = -y**2 + y - 1. Let u(i) = 2*i**2 - 6*i + 1. Let a(n) = -3*r(n) - u(n). Let t be a(-3). Solve 3*d - t = -5 for d.
-1
Suppose -4*t + 6*y - y + 36 = 0, 5*t + 3*y = 45. Suppose -o - t = -4*k, 1 = 3*k + 3*o - 2. Solve -6 = -k*h - 12 for h.
-3
Suppose 5*d - 12 = -p, 0 = 5*d - 0*p + 4*p - 18. Suppose 0 = 5*c, -d*q - q + 15 = -5*c. Solve 0*w + 25 = q*w for w.
5
Let n = -314 + 317. Solve 0*c + 3 = -n*c for c.
-1
Let d = 14 + -9. Suppose 0 = -n - 0*x - d*x + 29, 4*n - 26 = -2*x. Suppose -n*h = 4*r - 16, r + 2*h - 3 = 5. Solve -20 = -4*v - r for v.
5
Let g(v) = -v**3 - 12*v**2 + 2*v + 28. Let o be g(-12). Suppose m - o = 4*m + 4*r, 0 = 5*m - 5*r - 5. Solve -j + 1 = -m for j.
1
Suppose 18*o - 27*o = -387. Solve -2*v - 33 = -o for v.
5
Let t = -2219 + 2221. Solve -f = -t*f - 1 for f.
-1
Let x = -104 + 107. Solve -y = x*y for y.
0
Let u be ((-1)/1 - 204/(-18))*-3. Let o(s) = 4*s**2 + 6*s + 3. Let h be o(-4). Let r = u + h. Solve 0 = 2*g - r + 4 for g.
4
Let t(c) = 11*c + 4. Let a be t(-4). Let r be (a/8)/(1 + 0). Let s(o) = o**3 + 6*o**2 + 5*o + 2. Let y be s(r). Solve -7*z + 5 = -y*z for z.
1
Let j = -17 - -11. Let w be (2/j)/(2/(-60)). Suppose 3*y + w = 34. Solve y + 4 = -3*c for c.
-4
Suppose -2*s + 17 = 5*f, 3*s + 0 = -f + 6. Suppose 5*b - 25 = 2*n, -f*b - 4*n = 16 - 5. Solve -3 = b*l - 0*l for l.
-1
Suppose -2*d = -6 - 2. Suppose 0 = d*t + t - 30. Suppose 3*s - 5*s + t = 0. Solve 5*f - s*f = 0 for f.
0
Let i = 26 - 24. Suppose i*z + 4*b = 36, -z = -5*z + 5*b + 33. Solve z = -3*m - m for m.
-3
Let j = 1335 + -1331. Solve -j*s = 16 - 0 for s.
-4
Let j = -872 - -873. Solve j = 8*h + 9 for h.
-1
Suppose -5 = -3*w + 5*z - 4, 4*z = 4. Suppose -h - 2*s = 8, -3*h - w*s + 1 = 13. Let g be 1*(3 + h + 2). Solve j - 8 = g*j for j.
-4
Let l = 36 -