*u - 1 = -u for u.
1
Suppose u - i = 36 - 4, 2*i - 32 = -u. Solve u = 22*t - 56 for t.
4
Let o(p) = p**3 + 29*p**2 + 2*p + 61. Let f be o(-29). Solve -11*i + f = -8 for i.
1
Suppose -2*k + 3*x + 9 = -9, -k = 3*x + 9. Solve 5 - k = f for f.
2
Let q = 77 + -66. Solve z - q = -6 for z.
5
Let y = -119 - -132. Solve 3 = 4*t - y for t.
4
Let i(z) = 7*z**2 - 7*z. Let o(a) = -13*a**2 + 13*a. Let q(y) = -11*i(y) - 6*o(y). Let t be q(0). Let j = -545 - -549. Solve 2*u = j - t for u.
2
Let s(j) = 2*j**2 - 48*j + 91. Let t be s(22). Solve 3*z - t*z = -2*z for z.
0
Let c be (-12)/20 + 35/(-25). Let y be -12*2/(-4) - c. Solve y*o + 20 = 4*o for o.
-5
Let n = -5 + 9. Let r be (n + -10)/((-3)/2). Suppose 4*k - 5*h + 4 - 29 = 0, -r*k + 3*h = -23. Solve -k*b = -8 - 12 for b.
4
Let w(s) = 9 - 13*s + 5 - 2*s**2 - s**2 + 4*s**2. Let x be w(12). Solve x*k = k - 4 for k.
-4
Let l = 53 + -38. Suppose 9*z + 33 = 4*f + 4*z, l = -3*z. Solve f + 2 = -p for p.
-4
Suppose 5*m - 14 - 6 = 0. Suppose -4*x = -16 - m. Solve -19 = -x*i + 6 for i.
5
Let a be (-16)/(-6)*(-189)/(-36). Suppose 2*m = a - 12. Solve 0*g + g - m = 0 for g.
1
Suppose -3*t - 38 = 2*i, -5*i = 2*t + 10 + 19. Let l be ((-6)/t)/(2/4). Solve l = c + 3 for c.
-2
Let y(j) = j**3 - 14*j**2 + 12*j + 15. Let z(l) = 2*l**3 - 2*l + 1. Let c be z(2). Let d be y(c). Solve 2*q = 3*q + d for q.
-2
Let u be 4/7 - (14 - 286/14). Solve 1 = -2*a + u for a.
3
Suppose -16 = -8*t - 0*t. Solve 10*h = -t*h for h.
0
Let y = -13 + 15. Suppose -y*n = 2*o + 8, -2*o - o - 6 = n. Let c be (o/3)/(1/(-21)). Solve s = c - 2 for s.
5
Let h = 34 + -32. Suppose -2*d + 9 = 3*c, -d + h = c - 2. Solve c = -2*z + 3*z for z.
1
Suppose -4*v - 4 = -3*y, -11*y + 13*y - 2 = 3*v. Suppose 9 = m + v*m. Let z be (5 - 1) + 2*-1. Solve -m = g + z*g for g.
-1
Let p = -12 + 28. Solve 6*y = p + 14 for y.
5
Let j(h) = h**3 + h**2 - 2*h - 4. Let f be j(2). Suppose q - 2*q - f = -4*r, 2*r - 8 = -q. Solve 4*n = -0*n - q for n.
-1
Let p be 6 - (3 - 18/6). Let k be 4/(-3)*(-1 + -2). Suppose -k*c - 5*g + p - 23 = 0, 0 = 2*c - 3*g - 19. Solve c*h + 12 = -2*h for h.
-3
Suppose 3*g - 4*g = -3, -32 = -4*a - 4*g. Solve 18*z - a = 19*z for z.
-5
Let y be 16/1 + 15/5. Let l be (16/(-4))/(-4) + y. Solve 0 = -d - 4*d + l for d.
4
Suppose 3*a - 4*i = -2, -a + i - 4*i = -8. Let o(f) = 3*f - 11. Let c be o(6). Suppose 0 = -4*j + 23 - c. Solve -a*u = -j + 12 for u.
-4
Suppose -60*q + 67*q = 0. Suppose 2*i = -0*i + 6. Solve q = 2*v - 1 + i for v.
-1
Let q(g) = g**2 + 11*g + 2. Let f be q(-11). Let a(l) be the second derivative of -l**5/20 - l**4/12 + 2*l**2 + l. Let u be a(0). Solve u*v = f*v for v.
0
Let q(o) = -o**2 - 2*o + 16. Let d be q(-5). Let i be 25/(-10)*(6/(-10) - d). Solve 0 = i*b - 0*b + 4 for b.
-1
Let u = 161 - 151. Solve -5*k = -u*k + 25 for k.
5
Suppose 3*v - 4 = 5*v, 0 = 2*l - 5*v - 10. Solve r + 2 + 3 = l for r.
-5
Let o(d) = d**3 - 6*d**2 + d - 1. Let r be o(6). Suppose -r = -u - 0*u. Let k be (3/(-2))/((-6)/16). Solve u = k*a + a for a.
1
Suppose -5*a - 6 = u - 22, -u - 2 = -a. Let t(m) = 6 + 3*m + 4*m**2 + 3*m**2 - a*m**2 - 3*m**2. Let w be t(-5). Solve 0 = 5*o - w + 6 for o.
2
Let g(i) = -4*i. Let p be g(-3). Suppose 46*c = -5*c + 204. Solve c*r + 0*r - p = 0 for r.
3
Suppose 0 = -4*l + k + 13, -3*k - 5 + 34 = 5*l. Suppose 0*d - 2*c = d - 9, c = l*d - 9. Solve d*b = 8*b - 25 for b.
5
Let w be 2 + 1 + (-36 - -4). Let k = w + 31. Solve -2*p + k = -4 for p.
3
Suppose 1420 - 1324 = 16*p. Solve p*c - 10*c - 4 = 0 for c.
-1
Let s(k) = -7*k + 147. Let f be s(21). Solve -4*t + 15 - 23 = f for t.
-2
Let c = -21 + 24. Suppose 0 = -o - c*o. Solve -2*i - 9 + 1 = o for i.
-4
Let i = 10 + -6. Let d(r) = r**2 - r - 1. Let z(m) = 4*m**2 - 11*m + 6. Let n(g) = -5*d(g) + z(g). Let j be n(-7). Solve j*s = i - 0 for s.
1
Suppose 6*z - 30 - 30 = 0. Solve -u + z = u for u.
5
Let p be 1/(16/(-20) + 1). Solve -14 = p*t - 4 for t.
-2
Suppose 8*d + 8 = 6*d. Let z be -6*(1 + 7/(-3)). Let t = z + d. Solve t*h + 11 = -5 for h.
-4
Let p(x) = -6*x + 94. Let q be p(13). Solve -90*a = -82*a - q for a.
2
Let q = -913 + 935. Solve -q + 37 = 5*c for c.
3
Let j(c) = -2*c + 2. Let v be j(0). Let z = 37 + -12. Suppose -4*o + 2*n = -7*o + 10, 0 = -o + 5*n - z. Solve v*k - k + 2 = o for k.
-2
Suppose -112 + 117 = v. Solve -5*s - 20 = v*s for s.
-2
Let n(f) = -f**2 - 6*f. Let i be n(-6). Let l(x) = -x**2 + 7*x + 13. Let k be l(10). Let z = k + 17. Solve i = -5*v - z*v for v.
0
Suppose -867*n + 54 = -861*n. Solve 23 = -8*l - n for l.
-4
Let k(z) = z**3 + 7*z**2 + 6. Let o = -9 + 2. Let n be k(o). Let l be -5 - (-2)/(((-24)/10)/(-6)). Solve l = -n*g + 3*g - 9 for g.
-3
Let c(w) = 3*w**2 - 179*w + 290. Let s be c(58). Solve 4*u + 0*u + 20 = s for u.
-5
Let o(q) = 28*q - 2. Suppose 2 = -4*d + 5*d. Let f be o(d). Suppose -3*i + 5*t + 62 = 0, 4*t + f = 3*i + 7*t. Solve -i = -4*z - 7 for z.
3
Let z be ((-14)/16)/((-41)/328). Suppose -7 + 32 = 5*v. Solve z*o + v = 6*o for o.
-5
Suppose 18 = 3*u - 21. Suppose u*s = 10 + 120. Solve -l = l - s for l.
5
Suppose 8*u - 13*u + 10 = 0. Solve 0 = -0*x - 2*x + u for x.
1
Let f be -17*(3 + (-6 - 1)). Solve -f*i - 3 = -71*i for i.
1
Let d(k) = k**3 - 23*k + 11. Let h be d(-5). Suppose 3 = -2*r + 3*r. Solve 5 + h = -r*y for y.
-2
Let f(z) = 2*z - 11. Suppose -4*j + 17 = -u - 20, -17 = -4*j - 3*u. Let q be f(j). Solve q*s - 3 = 2 for s.
1
Suppose 2 = 5*n - 13. Suppose k - 2*k - 19 = 5*m, 0 = 4*m + k + 15. Let q be -3 + 24 + 16/m. Solve 5*d - n = q for d.
4
Suppose -10 = -3*c - 8*w + 9*w, 5*c - 17 = 2*w. Solve -25 = 2*f + c*f for f.
-5
Suppose c - 3*p - 32 = -3*c, -3*p - 22 = -2*c. Suppose 0 = 2*a - s - 13, -a = -c*s - 6 + 13. Suppose y + y = a. Solve -5*d + y = -3*d for d.
2
Suppose -116 = 21*l - 79*l. Let n(v) = -2*v - 9. Let m be n(-6). Solve m*g = -l + 11 for g.
3
Let y(v) = -2*v**2 + 17*v + 33. Let c be y(10). Solve -c*a + 11 = 5 for a.
2
Let c(l) = 11*l**2 + 2*l - 1. Let i be c(1). Suppose 0 = 22*n - 25*n - 36. Let k = i + n. Solve k = 5*b + 1 + 4 for b.
-1
Suppose 11*j - 4 = 9*j. Let m be 0/(4*1/j). Solve t + 1 = -m*t for t.
-1
Let j = -697 - -699. Let u be 2/3 - 4/(-3). Solve o + j + u = 0 for o.
-4
Suppose 2*u + 3*k + 10 = 0, 0 = -2*u + k + 2 + 4. Let t = 34 + -30. Suppose -t*x + 25 = -5*o, 4*x - 10 = -x + 2*o. Solve b - 2 + u = x for b.
1
Let b(a) = 1. Let z(l) = 2*l - 11. Let t(j) = -6*b(j) - z(j). Let g be t(-10). Solve -g = -6*s + s for s.
5
Let k = 24885 - 24880. Let v = -1 + 1. Solve k*u = -v*u + 15 for u.
3
Suppose -38*p + 32*p + 30 = 0. Solve p - 1 = 2*j for j.
2
Suppose 403*x - 320 = 383*x. Solve x*g + 40 = -24 for g.
-4
Suppose -3*g + 16 = 1. Suppose -z + 16 = -g*v + 9*v, 17 = 3*v + 2*z. Solve -v + 12 = 3*q for q.
3
Let q = -160 - -164. Solve -q*g + 10 = 26 for g.
-4
Let o be (6/(-8))/(1/(-12)). Let r = -5 + o. Let g be 0 - (55/11 - 11). Solve -n - g = -r*n for n.
2
Suppose 0 = 28*m - 138 - 58. Solve 2 = -v + m for v.
5
Let g(u) = -u**3 - 10*u**2 - 10*u - 5. Let l be g(-9). Suppose 10 - l = 2*h. Solve -h*j = -2*j for j.
0
Let p be 8/(-20) - (-17)/5. Let r(f) = -6*f**2 + 4*f**3 - 2*f**3 - 7*f - 6 - 3*f**p. Let w be r(-5). Solve -w*l - 1 = 3 for l.
-1
Let b(z) be the first derivative of -z**3/3 - 25*z**2/2 - 46*z - 59. Let x be b(-23). Suppose -2*d = -4*n + d + 27, 3*n = d + 14. Solve -o + n*o = x for o.
0
Let u = -4 - -7. Suppose -30*g + 25*g = 5*v - 30, -g - 3*v + 4 = 0. Solve -u = -4*f - g for f.
-1
Suppose 135 = -3*g - 3*i, -5*i - 26 = 3*g + 113. Let n = g - -43. Solve 3*s - 5*s - 10 = n for s.
-5
Suppose -2*a + 0*a = 4*f + 2, -3*a + 42 = -3*f. Let y(j) = j**2 + 5*j + 1. Let c be y(-6). Let o = a - c. Solve 0 = 4*t - o - 18 for t.
5
Let r be 6 - (-2)/(-6)*-21. Solve -10 = r*s - 8*s for s.
-2
Let p = -920 - -922. Solve p*k - k = 5*k for k.
0
Let q(c) = c**3 - 4*c**2 + 2*c + 4. Let b be q(3). Suppose -1 = 8*j - b. Solve 4 + j = -4*l for l.
-1
Let t(d) = -d**2 - 9*d + 4. Let f be t(-9). Suppose 0 = -10*a - 2 + 12. Solve a = -3*u + f for u.
1
Let g(t) = 19*t**3 - t**2 - 2*t + 2. Let y be g(1). Suppose -i = -4*i + y. Solve -i*o = -2*o for o.
0
Let a(x) = 4*x - 34. Let f be a(15). Suppose -n = -4*n + j + 14, -2*n + f = -4*j. Solve 0 = -4*t + n*t - 5 for t.
-5
Let o(x) = -x**3 + 3*x**2 + 3*x + 9. Let j be o(4). Solve j*v + 7 + 8 = 0 for v.
-3
Let r be -