 t = n for t.
5
Let v = 48 - 26. Let o be (-24)/(-10)*165/v. Let b(m) = m**3 - m**2 + 3. Let t be b(0). Solve t*n = -3 + o for n.
5
Let q(t) be the first derivative of 2 - t + 1/2*t**2. Let g be q(3). Solve 2*k + 0 + g = 0 for k.
-1
Let l be 0/(-30) - 1*-4. Solve -7*q = -31 - l for q.
5
Let o(v) = -5*v - 10 + 2*v - v. Let b be o(-6). Let w be b/8 + (-3)/(-12). Solve 2*k + w = -0 for k.
-1
Let j(h) be the second derivative of h**4/24 - h**3/3 + h**2/2 + 2*h. Let c(r) be the first derivative of j(r). Let o be c(4). Solve 6 + o = 2*z for z.
4
Let z(s) = -s**3 - 7*s**2 + 5. Let a be z(-7). Suppose -a*d + d = 0. Solve d = j - 5 + 3 for j.
2
Suppose 3*o = -2*j + 17, -4*o - 5 + 26 = j. Let w be j/(3*2/162). Suppose 75 - w = 4*b. Solve i + b = -3*i for i.
-3
Let t(a) = 2*a**3 + 4*a**2 - 8*a - 1. Let x be t(-3). Solve -11*s + x = -6*s for s.
1
Suppose 257 + 29 = 26*x. Solve -3*h + 8 = -x*h for h.
-1
Suppose 2*i = 41 + 9. Suppose 3*c = -4*z + z + 27, -3*z = -c - 3. Suppose o = c*o - i. Solve 4*w = o*w for w.
0
Let c(o) = 5 + 0*o - o + 1 + 4. Let x be c(12). Let v be (9 + -9)*(-1)/x. Solve v = p + p - 4 for p.
2
Let x(u) = -6*u - 10. Let y be x(-2). Solve -a + y - 3 = 0 for a.
-1
Let j = 116 - 113. Solve 4*k + 9 = -j for k.
-3
Let p(g) = -g**3 + 11*g**2 - 8*g - 17. Let o be p(10). Solve -4*l - 19 + o = 0 for l.
-4
Suppose 13*z = 118 - 27. Solve 2*p - 9*p = z for p.
-1
Let g = 8 - 5. Suppose -g*z - z = -4. Suppose -2*q + 10 = 5*l, 11*q - l - 10 = 9*q. Solve -3*y + q = -z for y.
2
Let u(r) be the first derivative of -r**3/3 + 5*r**2 + 8*r - 21. Let h be u(10). Let y be (-1)/6 - (-2)/12. Solve 2*l = -y*l + h for l.
4
Suppose 4*i - o = 13, 0*i + 5*i - 2*o = 17. Solve 0 = -i*z - 14 + 5 for z.
-3
Let r(s) = -s**2 - 13*s - 10. Let x be r(-10). Let y = -16 + x. Solve 0 = -y*t + 24 - 4 for t.
5
Suppose 0 = 3*v + 1132 - 1276. Solve v = 5*s + 58 for s.
-2
Let j(a) = -a**3 + a**2 + a + 44. Let f = 19 + -19. Let o be j(f). Suppose -32 + o = 3*q. Solve -2 = -q*r + 2*r for r.
1
Let h(t) = 4*t + 3. Let l(a) = -9*a - 6. Let m(j) = 5*h(j) + 2*l(j). Let f be m(3). Let o = f - 9. Solve -g + o*g + 5 = 0 for g.
5
Suppose -3*u - 36 + 66 = 0. Solve 24*i - 26*i = u for i.
-5
Suppose o - 9 - 7 = 0. Let a(c) = c**2 - 9*c - 5. Let q be a(10). Solve -q*t = -t - o for t.
4
Let f(r) = -r**3 + 19*r**2 + 25*r - 37. Let x be f(20). Let m = 65 - x. Solve 7*c = m*c for c.
0
Let v = -19 - -23. Suppose v*d = s + 6, -3*s + 4*s = 5*d - 9. Suppose 2*t + t = s. Solve t*i + 2*i = 8 for i.
2
Let z = -160 + 189. Solve -z = 12*m - 5 for m.
-2
Let x(g) = -2*g + 31. Let p be x(12). Solve 3 + 18 = p*d for d.
3
Let b = 70 - 100. Let j = b + 22. Let m = j - -8. Solve m*x = 4*x - 16 for x.
4
Suppose -5*v + 145 = -3*x + 25, 4*v = -2*x + 74. Solve v - 1 = 10*g for g.
2
Suppose 0*z - 24 = -4*c + 4*z, -4*z = 2*c. Suppose 25 = 5*w + h, 4*w - 2*h = 2*h - c. Let r(k) = 2*k - 16. Let p be r(10). Solve 0*j + w = p*j for j.
1
Suppose -4*m + 5*u - 6*u + 162 = 0, m - 2*u - 36 = 0. Solve m*q = 38*q + 2 for q.
1
Let p = 318 + -313. Solve 3 = p*k - 12 for k.
3
Suppose -3*p + 12 = 3*l, 5*p = 5*l + 2*p - 28. Solve l*k = 5 - 0 for k.
1
Let w be (-2 + 24/20)*-5. Suppose -w*u = 3*f - f + 26, -5 = -5*u + 5*f. Let d be 4*u*1/(-8). Solve 0 = -b - d for b.
-2
Suppose z = -4 + 6. Let t be z/(-8)*1 + (-252)/(-48). Solve 7*u = 2*u + t for u.
1
Suppose -j = 17 - 6. Suppose -n + 51 + 25 = 4*q, -n + 4 = 0. Let i = j + q. Solve -i = -2*k - 1 for k.
3
Suppose -236 - 25 = -9*n. Let o = n - 29. Solve -2*s - 5 - 3 = o for s.
-4
Let a(r) = -r**3 + 13*r**2 - 14*r + 32. Let z be a(12). Suppose -8*j + 4*x = -13*j - z, 2*j + 8 = -4*x. Solve 0*y - 3*y = j for y.
0
Let w be 12/(-42) + 16/7. Suppose -p + 15 = 3*x - 0*x, -5*x = 3*p - 29. Suppose f + 7 + p = -4*o, -w*f = -o - 7. Solve f = -i - 2 for i.
-4
Suppose -15*z = -27*z + 96. Solve -z*b + 4 = -12*b for b.
-1
Let d be ((-102)/(-18) - 5)*(-18)/(-4). Solve -k + d*k = -8 for k.
-4
Let n(x) = 16*x - 13. Let i be n(1). Let k be 0/(0 - (4 - 2)). Solve 2*l - i - 1 = k for l.
2
Suppose i = -4*i. Let z(h) = 3*h - 1 - h + 10 + i*h. Let o be z(-4). Solve 3 - o = -2*a for a.
-1
Let s(g) = -g**3 + 3*g**2 + 6*g - 8. Let q be s(4). Suppose 8*t = 5*t + 15. Let h = t - q. Solve 0 = h*b - 3 - 7 for b.
2
Suppose -10*w + 9*w = 10. Let j = w + 12. Solve 0*h + j = 2*h for h.
1
Let g = -7 - -3. Let k = g + 9. Suppose -5 - k = -2*t. Solve -t*r - 5 = 15 for r.
-4
Let w be 16/(-2)*(-18)/(-36). Let r(f) = f**3 + 4*f**2 - 3*f - 7. Let v be r(w). Solve -15 = 4*y + v for y.
-5
Let s(p) = 2*p + 1. Let u be s(-1). Let z be (u/(-2))/(5/40). Suppose z*a = a. Solve 0 = v - a*v for v.
0
Let z = -1 - -5. Suppose -14*x + 44 = -3*x. Let p(g) = -g**2 + 3*g + 8. Let u be p(x). Solve u*q + 4 = -z for q.
-2
Suppose 5*t + 4*s + 322 = 0, -3*t + 0*t - 3*s = 192. Let d = 66 + t. Solve d*r + 5*r = 10 for r.
2
Let i be 7/(28/20) - (-2)/(-1). Let s(j) = -j**2 + 2*j + 5. Let l be s(i). Solve 0 - l = -a for a.
2
Let s(f) = -3*f - 11. Let n be ((-15)/5 + 2)*7. Let l be s(n). Suppose -5*g + l = -0*g. Solve -g*p = -p for p.
0
Suppose -11 = -2*h - 13, -2*r + 13 = -3*h. Solve -1 = -r*q + 4 for q.
1
Suppose 0 = 4*r - 0*r. Suppose r = -5*a + b + 19, b + 0*b = 2*a - 10. Solve q - a = 2 for q.
5
Suppose -5*i - 26 = -2*k + 19, -3*k + 50 = -4*i. Suppose 34 = -2*t - 2*t + 5*q, 5*q = k. Let p be 24/t*1/(-1). Solve 0*j - 16 = -p*j for j.
4
Suppose 0 = -3*z - 9, 2*j - 2*z = -j + 36. Let p = j + -2. Let a = -4 + p. Solve 9*r = a*r + 5 for r.
1
Let c be ((-4)/(-20))/((-24)/(-3000)). Solve c - 35 = 2*f for f.
-5
Let b = 408 + -401. Solve b*w + 6*w - 14*w = 0 for w.
0
Suppose -4*q + 35 = 3*s + 11, 3*s - 21 = -3*q. Solve -9 = -6*u + q*u for u.
3
Let o = 31 + -29. Suppose 0 = 3*n - 3*y, -n - 5 - 1 = -4*y. Suppose 0*g - 3*g + 6 = 0. Solve -o = -n*x + g for x.
2
Suppose -5 = -l - 2. Let p be -3 + 2 - -1*3. Suppose -11 = -4*b - l*o, 3*o - p = 1. Solve -3 = b*j - 5 for j.
1
Let w = -9 - -4. Let o(s) = -4*s**2 - 4*s - 4. Let u(g) = -7*g**2 - 8*g - 7. Let n(k) = w*o(k) + 3*u(k). Let z be n(-3). Solve 0 = z*l + 3*l - 20 for l.
4
Let v(k) = -k**2 - 8*k - 7. Suppose -5*n - 35 = 3*q, 0 = 2*q - n - 4*n - 10. Let l be v(q). Let t(z) = 3*z - 7. Let r be t(l). Solve 3*u = r - 2 for u.
5
Let d(c) = -c**3 + 16*c**2 + c - 12. Let j be d(16). Solve j = 2*g - 6 for g.
5
Suppose m - 3*u = 1, 4*m + 0*u = 4*u - 4. Let g be (-3)/m - (-57)/6. Suppose -t + g = 3. Solve -4*r + 2*r = t for r.
-4
Let c(n) = n**2 + 6*n - 16. Let w be c(-8). Suppose w = 2*j + 2*j - 8. Solve j + 6 = 2*u for u.
4
Let l(s) = -6*s**2 + 29*s - 10. Let c(f) = -7*f**2 + 29*f - 9. Let x(u) = 4*c(u) - 5*l(u). Let v be x(14). Solve v = m - 0 - 2 for m.
2
Let m(q) = -3*q**2 + 49*q + 90. Let y be m(18). Solve 4*a + 4 = -y for a.
-1
Let x(b) = b**3 - 2*b**2 + b + 1. Let s be x(2). Let u = 1 + s. Suppose 3*a - 4 = -2*v, u*v = 2*a + v - 20. Solve 2*k - 6 = a for k.
5
Let k be 6820/140 + (-4)/(-14). Let w = k + -34. Let d be (-4)/12 + 38/6. Solve -d*g + w = -g for g.
3
Let u(r) = -r**2 - 4*r - 13. Let i be u(-7). Let a = i - -40. Solve -a*g = -g for g.
0
Let p = -130 + 151. Let x be 7/((-7)/2)*-2. Solve p = -x*u + 5 for u.
-4
Let b = -445 + 462. Solve -10*j = -b*j + 28 for j.
4
Let a be 2/(-1) + 1*6. Let p(h) = -h**2 + 9*h + 21. Let u be p(12). Let y be 2/(-3 + (-51)/u). Solve -a*w = -5*w + y for w.
5
Suppose 2*r + 4*j = -j - 34, -r = -2*j + 8. Let c = 10 + r. Let t be ((-12)/(-8) + -3)*c. Solve 2*w - w = t for w.
3
Suppose -22 = -3*c - 13. Solve y + c*y - 8 = 0 for y.
2
Suppose 0*i = 2*i - 5*p - 2, 0 = -2*i - 2*p + 16. Suppose -28 = -i*d + 2*d. Suppose -x + d = 3. Solve -2*u - x = -u for u.
-4
Let q(z) = 7*z**2 - 80*z + 25. Let l be q(12). Solve -l*d = -75*d for d.
0
Let t = 24 + -14. Suppose -5*h = -10*h + t. Solve d - h*d + 3 = 0 for d.
3
Suppose 3*v - 42 = 4*k, -3*k = -5*v - k + 70. Solve 4*q - v = -10 for q.
1
Let t(d) = d**2 - d - 67. Let s be t(9). Let l(k) = -2*k**2 + 15*k - 25. Let q be l(s). Solve q = -4*v + 5*v + 2 for v.
-2
Let c(k) = 3*k**2 + 39*k + 4. Let g be c(-13). Suppose -g*l + 6*l = -d + 13, 3*l - 6 = 3*d. Solve -x + 0*x = d for x.
-3
Let s be (8/28)/(1/14). Suppose -2*f + s*b = 6, -4*f + 0 = -3*b - 3. Suppose 0*i - 2*u - 6 = 2*i, 9 = -4*i - f*u. Solve 0*x + x = i for x.
0
Let f = -35 + -10. Let d be 5