-2 + a + 2 + 1. Solve 3 = -2*v + t for v.
2
Let i = 13 + -12. Let c be i*(-1)/3 + (-39)/(-9). Solve -4*y - c = -0*y for y.
-1
Let d(h) = 15*h - 1. Let l be d(6). Let y = l - 87. Solve -2*m - y = -3*m for m.
2
Suppose 0 = 4*p - 59 + 39. Solve -3*o + 7 = -p for o.
4
Suppose 0 = -3*i - i + 40. Suppose 4 + i = 7*t. Solve n - t = -n for n.
1
Let x(u) be the second derivative of -u**3/6 + 3*u**2 - 6*u. Let o be x(6). Solve 5 = -o*y + y for y.
5
Let k(b) = -b**3 + 6*b**2 - 6*b + 12. Suppose 0 = 3*u - 7*u + 16. Let l be k(u). Solve -5 + l = -3*w for w.
-5
Let q be (7 - 8)/((-1)/(-22)). Let l = 22 + q. Let o(a) = a**2 - a - 1. Let r be o(3). Solve c - r*c - 16 = l for c.
-4
Let p be (-1)/1*-2*4. Solve p*d + 18 = -22 for d.
-5
Let y = -33 + 26. Let g = y + 9. Suppose 4*i - 9 = 7. Solve -g*k = -6*k - i for k.
-1
Let a(y) = -y**3 - 7*y**2 - 2*y + 11. Let h be a(-7). Solve -19*d + h = -24*d for d.
-5
Let f(r) = -r**3 + 8*r**2 + 10*r - 6. Let o(d) = -2*d - 1. Let x(p) = -4*p - 1. Let z be x(1). Let a be o(z). Let h be f(a). Solve 5*m - h = 7 for m.
2
Let w = -78 + 117. Let f = w - 37. Solve -3 + f = -j for j.
1
Let r = -285 + 317. Solve -6*h - r + 2 = 0 for h.
-5
Let t = -2375 + 2430. Solve -52*i = -t*i + 6 for i.
2
Let k(j) = j**2 - 19*j + 22. Let t(q) = 2*q**2 - 38*q + 44. Let c(m) = -7*k(m) + 4*t(m). Let s be c(18). Solve r + 0*r = s for r.
4
Suppose 3*g + 0*u - 83 = -u, -u = -3*g + 85. Let o = g + -15. Let a be 2/(-13) + 132/o. Solve 6*z = z + a for z.
2
Suppose q + 40 = 7. Let f be (-2)/(-3) + (-11)/q. Let x be f/(-2)*-6 + 0. Solve x*d + 5 = -4 for d.
-3
Let o be (24/32)/((-2)/(-16)) - -4. Solve -4*z + o*z = 30 for z.
5
Let k(s) be the second derivative of -5*s**3/6 - 5*s**2 - 19*s. Let y be k(-3). Solve -2 + 12 = y*j for j.
2
Let c be (51/21 + -3)/(8/(-28)). Solve -8 = -c*o - 10 for o.
-1
Let g = 46 + -48. Let p be g*5/25*-15. Solve 0 = -2*d - 0 + p for d.
3
Let j = 52 + -46. Suppose -2*q + 136 = j*q. Solve -4*d + q = 1 for d.
4
Let z(w) = w**2 + 11*w + 36. Let s be z(-4). Solve 0 = s*u - 5*u + 12 for u.
-4
Let d = -150 - -78. Let k be 4/(-6) - 480/d. Let m = 4 + -1. Solve -m*b - 3 = k for b.
-3
Let u = -10 - -10. Suppose 4*v - 2*k + 5*k - 73 = u, 0 = -5*v - 4*k + 92. Suppose 5*y - v = y. Solve -y = 2*o - 0 for o.
-2
Let j(s) = -s + 2*s - 3*s + 4*s. Let k be j(1). Suppose -2*t - 3*r = -2*r - 22, 4*r - 4 = -t. Solve -2*b = k*b + t for b.
-3
Let g = -11 + 14. Let r be -36*3/(18/g). Let t = 22 + r. Solve -o - t*o = -20 for o.
4
Let o(a) = a**3 - 9*a**2 - 11*a + 15. Let z be ((-7)/14)/(1/(-20)). Let g be o(z). Solve 3*j = 2*j + g for j.
5
Let x(p) = p**2 - 45*p + 169. Let m be x(4). Solve -57 + 72 = -m*l for l.
-3
Suppose 221 = 14*v + 3*v. Suppose -f = -v*f + 132. Solve 16*s = f*s for s.
0
Let k = 122 - 119. Solve -u = k*u + 12 for u.
-3
Let n be 3/5 + (-32)/20. Let q be (-33 + n)/(2/(-8)). Let j be q/14 + (-10)/(-35). Solve -3*y - j = -y for y.
-5
Let g be ((-6)/(-15))/((-7)/(-35)). Let x be 0/(0 + 4 - g). Suppose -3*d + 15 = -x*d. Solve 2 = -l + d for l.
3
Let l = -221 + 233. Solve -u = l - 14 for u.
2
Suppose 4*o = w - 0*o - 31, -3*o = w - 17. Solve -5*l - w + 3 = 0 for l.
-4
Suppose 0*t - t - 27 = -3*m, 2*m - 70 = 5*t. Suppose 4 = 4*r, -7*o + 3*o + 7 = -5*r. Let s be (t/(-2) - o) + -1. Solve 0 = 3*n - s*n for n.
0
Let f(u) = 23 + 3*u - 41 - 34. Let b be f(18). Solve -10 = -4*i - b for i.
2
Suppose -8 = 78*s - 82*s. Solve 2*y + s*y - 8 = 0 for y.
2
Suppose 12*a - 7*a = 15. Let k(c) = -a + 2 - c + 2 - 3. Let u be k(-3). Solve -4*h - 9 = -u for h.
-2
Let w = -18 - -31. Let x be (w/4)/(4 + 60/(-16)). Solve -3*o - x = -1 for o.
-4
Let h = -147 + 149. Solve -h*x = -8 + 4 for x.
2
Let b = 2 - -21. Let l = b - 15. Let k(u) = u**2 - 5*u - 18. Let w be k(l). Solve -2*z = -w*z for z.
0
Let f(x) be the second derivative of -x**4/12 + 5*x**3/6 - 5*x**2 - 3*x. Let t be f(6). Let d be (t/10)/((-8)/100). Solve 7*g - 2*g = d for g.
4
Let b(c) = -4*c**3 - 2*c**2 - 12*c - 8. Let w(h) = -5*h**3 - h**2 - 13*h - 9. Let g(u) = 6*b(u) - 5*w(u). Let z be g(8). Solve -z = -5*a - 30 for a.
-5
Let v(r) = 6*r**2 - 8*r + 9. Let l(n) = -7*n**2 + 8*n - 9. Let t(d) = 5*l(d) + 6*v(d). Let y be t(6). Let q be ((-1)/y)/(4/12). Solve -2*i + q = -i for i.
1
Let f be -2*3/(-18)*18. Let i be 1 + 2/8*(2 - f). Solve 3*t + 2*t - 20 = i for t.
4
Let k = 17 - 23. Let f(i) = -i**2 - 8*i + 5. Let c be f(k). Let g = 25 - c. Solve -3*d - 1 = g for d.
-3
Let r = -76 - -78. Solve -r*x - 6 = 2 for x.
-4
Let i be ((-3)/2)/(1*2/(-28)). Solve 2*x - i = -5*x for x.
3
Let n = 66 + -45. Let k be (-8)/28 - (-111)/n. Suppose -17 + 7 = -k*l. Solve -l*g - 2 = -g for g.
-2
Suppose 3*f = 4*f - 5. Suppose b = 5*b - 16. Suppose 8 = -4*r - b, 3*l - r - 60 = 0. Solve -1 - l = -f*q for q.
4
Let a be 5*1/((-10)/(-12)). Suppose -a*z + 17 = -1. Solve y + z = -2*y for y.
-1
Let u = 1542 - 1527. Solve -17*k = u + 2 for k.
-1
Let t(x) = -x**3 - 20*x**2 + 70*x - 1. Let u be t(-23). Let z be 6/(-8) + (-138)/u. Solve z*v + 0 - 25 = 0 for v.
5
Suppose 0 = 5*a - 3*a - 5*z + 5, z = 5*a - 22. Solve -2*u + 35 = a*u for u.
5
Let b(f) be the second derivative of f**4/12 - 5*f**3/6 + 9*f**2/2 + 7*f. Let o be b(4). Suppose -31*d = -28*d - 48. Solve o*q + d = q for q.
-4
Let z = 5 - 26. Let d = z - -23. Solve c = -c + d for c.
1
Let k = 11 + -9. Let v = -2 + k. Solve v = c - 0*c - 2 for c.
2
Let v be -50 - -46 - -1*25. Solve -v*b = -17*b + 20 for b.
-5
Suppose -17 = -3*y - 8. Suppose 3*w - 30 = -y*w. Solve -3 - 7 = -w*m for m.
2
Let f(y) = 4*y - 3. Let r be f(3). Let x = r - 8. Suppose 5*j - 6 = -2*p, -3*p + 2 = -0*j + 4*j. Solve 11 = -j*l + x for l.
-5
Suppose -24*h = -2*q - 22*h + 150, h = 5. Solve 13*p + 3*p = -q for p.
-5
Suppose -30 = -5*t + 4*l - 7, 5*l + 10 = 0. Let z be (0 - 5)*-1 + -3. Let c be 0*(4/z - 3). Solve -t*k = -c*k + 6 for k.
-2
Let x = -280 + 289. Solve x*h = h for h.
0
Let t = -50 - -50. Let g(y) = -3*y. Let l be g(t). Solve 5*o - 3*o = l for o.
0
Let n = 672 + -659. Solve n*s = 4*s + 36 for s.
4
Let p(f) be the first derivative of -f**3/3 + 4*f**2 + 11*f - 3. Let z be p(9). Solve z*q = 4*q + 6 for q.
-3
Suppose 3*z + 4*r = -r - 4, 5*z + 3*r - 4 = 0. Suppose -4*o = -4*g - 92, -34 = -2*o - 4*g + z*g. Solve 0 = -10*w + 5*w + o for w.
4
Let l(v) = 4*v - 6. Let s be l(4). Suppose -6*m = -s*m + 16. Solve 7*n = m*n for n.
0
Let d = 17 + -12. Suppose -4*i + d = -0*h - 5*h, -2*i + 25 = 5*h. Suppose -g + h*z = -2, 3*z = -g - 0*g + 2. Solve -g*k = 2*k - 16 for k.
4
Let w(i) = -4*i**3 - 2*i**2 + 2*i + 3. Suppose 30*h = 24*h - 6. Let j be w(h). Solve -j*n = n for n.
0
Suppose g - 4 = -2. Suppose 24 = g*z + z. Solve 2*o + 0*o + z = 0 for o.
-4
Let d be (86/4)/((-1)/(-2)). Suppose d*a - 45*a = -8. Solve 0*p = a*p - 12 for p.
3
Let h be 3 - (-31)/2 - (-2)/(-4). Solve 7*j + 3 + h = 0 for j.
-3
Let f = -6 + 8. Let a = 3 + f. Suppose -52 = -3*p - 4*h, 7*h - 5*h = 4*p - 84. Solve p = -a*c - 0*c for c.
-4
Suppose -5*v + 5 = -5*a, v + 2*a - 10 = 3. Suppose 2*j + 5 = 3*x + j, 3*x + v = -j. Solve -o + 3*o - 10 = x for o.
5
Suppose -3*i + 108 = -12*i. Let x be (-196)/i + (-32)/24. Solve 4*b = b + x for b.
5
Suppose 4*u = -4*n + 4, n + 5 + 0 = 0. Suppose 4*z = b - u, -2*b + 3*b + 4*z + 2 = 0. Solve -3*y + b = -10 for y.
4
Let x be 10/(-3)*(-14 + (-325)/(-26)). Solve 0 = 5*j - x - 5 for j.
2
Let v = 409 - 395. Solve v = 11*l - 19 for l.
3
Suppose 5*x + 5 = 0, 4*x = -3*w + 2*x + 58. Solve -3*t = 2*t + w for t.
-4
Let l(n) = -2*n**2 - 3*n - 9. Let b(c) = -7*c**2 - 11*c - 36. Let y(r) = 2*b(r) - 9*l(r). Let a be y(-2). Solve -k - 2*k = a for k.
-5
Let f(k) = -18*k**2 + 56*k + 9. Let w be f(3). Suppose 5*r - 5*v - 15 = 0, 0*v = -v. Suppose 0 = -4*z + 2*i + i + 17, -r*i = 4*z - 23. Solve 5*n - z = -w for n.
-2
Let q = -13 + 15. Suppose 1 = r - q. Suppose 5*d - 4*p - 51 = 0, 2*d + r*p = -1 + 3. Solve -d*f + 12 = -3*f for f.
3
Suppose y = 1 - 2. Let c be 0 - y - (-16)/4. Suppose 0 = -c*q - 5, -q + 0 = b - 1. Solve 25 = -b*u - 3*u for u.
-5
Let n(l) = -l + 7. Let r be n(6). Suppose c + r = 0, -5*c = -4*u + 5*u + 1. Solve 4 = u*s - 0*s for s.
1
Let f be (40/50)/(4/10). Let b be 44/7 + ((-84)/(-49) - f). Solve -r - b = -3 for r.
-3
Let g(t) = t**2 - 23*t + 101. Let o be g(19). Solve -o*x = -27*x + 2 for x.
1
Let j be (40/24)/((-2)/((-420)/25)). So