ve -i + s = a for i.
-2
Let w = 36 - 20. Let a be 6/9 - (-494)/114. Solve a*x + w = -4 for x.
-4
Suppose -8 = -2*j - 2. Suppose 3*l = g - 3*g + 146, -j*l = g - 142. Let h = -30 + l. Solve 5*c - 9*c - h = 0 for c.
-4
Let s be 2/(-5)*(-10)/(-2). Let j be (3 - s)*(-10)/(-25). Suppose 0*g - 8 = -j*g. Solve i + 1 + g = 0 for i.
-5
Let c(t) = 2*t + 8. Let y be c(-3). Solve m + y*m = 15 for m.
5
Let c(g) = 2*g**3 + g**2 + 15*g + 5. Let w be c(0). Solve -9*y = -10*y + w for y.
5
Let z(g) = g + 15. Let b be z(-5). Let c be 4/b - (2 - 56/35). Solve c = 4*t + 28 - 8 for t.
-5
Let o(a) = -a + 2. Let v be o(-2). Suppose -4*p + 35 = -p - 4*b, v*b + 15 = -p. Suppose 4*i = -4, 4*x + 0*i = p*i + 5. Solve -2*y = -2 - x for y.
1
Suppose -s + 22 = w, -s + 44 + 50 = 5*w. Solve 0 = 2*h - w + 10 for h.
4
Let t(y) = -28*y - 470. Let d be t(-17). Solve 4 = -d*s + 16 for s.
2
Let j(z) = z - 25. Let p be j(29). Solve -2*g - 2*g = p for g.
-1
Suppose -37*u = -28*u - 126. Solve 0 = -7*s - 0*s + u for s.
2
Suppose -5*w = -2*w - 48. Suppose 3*r = -0*n + n + 10, 0 = -4*r + 2*n + w. Solve m + r = -m for m.
-1
Suppose 1 = x + 2*x + 2*r, 4*x + 3*r = 0. Solve -x*c - 2*c + 20 = 0 for c.
4
Suppose 3*o = 2*o + 3*o. Solve 3*l + o = -15 for l.
-5
Let z be 1/2*(3 + 191 - 2). Suppose 108 = 6*j + z. Solve j*q + 2 + 4 = 0 for q.
-3
Suppose -3*l + 9 = -2*f, 5*l + 5*f - 3*f - 31 = 0. Solve 4*h - 3 - l = 0 for h.
2
Let j be 2/(-4) - (-2)/4. Suppose j = -3*x + 5 + 1. Suppose 0 = x*m - 3*m + 2. Solve m*p = p for p.
0
Let h(f) = -f**2 - 1. Let u(i) = i**3 + 11*i**2 + 5*i + 17. Let l(r) = -5*h(r) - u(r). Let n be l(-6). Solve 5*j - 7 = n for j.
5
Suppose 2*z + 3*h - 10 - 12 = 0, 10 = z + 2*h. Let l = 16 - z. Solve g + g = l for g.
1
Let h = 116 - 116. Suppose -5*p + j - 5*j - 2 = 0, h = -4*p - 2*j + 2. Solve p*i - 3*i = 0 for i.
0
Let z = 68 - 69. Let i = z + 7. Solve i = -r + 4*r for r.
2
Suppose -27*t + 24*t = s - 44, 5*t = -5*s + 210. Solve -16*l - 125 = -s*l for l.
5
Let n be (-4)/6 + (-64)/(-24). Suppose -5*y = -n - 3. Suppose 0 = -g + y + 2. Solve g*w + 0 = -3 for w.
-1
Let z be ((-20)/15)/((-3)/18*2). Suppose -4*n = 5*j - 9 - 31, z*j + 4*n = 36. Solve j*w + 4 = -4 for w.
-2
Suppose 40*i + 2670 = 129*i. Solve -21*m = -27*m + i for m.
5
Let o = 65 - 60. Solve -o*t - 5*t = 0 for t.
0
Let g = -1713 - -1720. Solve -g*s + 29*s + 44 = 0 for s.
-2
Suppose 0 = 3*o - 5*c + 310, 4*o + 448 = c - 3*c. Let v = o - -115. Solve -5 = v*l + 5 for l.
-2
Let c = -79 - -139. Suppose -2*r - q = -7*r - c, 4*r + 32 = 4*q. Let p = r - -33. Solve -x - 3*x = -p for x.
5
Let c = -197 + 201. Solve m = -c*m - 20 for m.
-4
Let c(n) = n**2 + 1. Let u be c(-1). Suppose -8*m = -3*m + 4*z - 10, 5*m = -u*z + 10. Suppose 0 = w - 3 + m. Solve 4 + w = d for d.
5
Let t(q) = 2*q - 22. Let i be t(18). Suppose i = 2*k - c, 3*k - 7 - 5 = -3*c. Suppose -s = 0, -131 = -4*j - 3*s - 31. Solve p - k*p = -j for p.
5
Let k(h) = h**2 + 10*h + 10. Let b be k(-9). Let y(v) = 6*v**2 - 1. Let n be y(b). Suppose -3*r + 60 = n*j - 2*r, -2*r = 4*j - 42. Solve 7 + j = -5*t for t.
-4
Let a = -56 - -59. Suppose a*v + 3*x - 10 = 14, 4*x = 0. Solve 0 = 3*r - 5*r - v for r.
-4
Suppose w = -5*w. Suppose 4*d + w*d = 0. Suppose 0 = 2*t - 4 - 0. Solve -t = -2*a - d for a.
1
Let v = -31 - -3. Let m(z) = -z**2 - 12*z + 3. Let i be m(-9). Let u = i + v. Solve k - u*k = 2 for k.
-2
Let q = -415 - -418. Solve 0 = 9*b - 12*b + q for b.
1
Let q(c) = c**3 + 6*c**2 - c - 3. Let v = -11 - -11. Let b = v + -6. Let x be q(b). Solve -3*s = 6 - x for s.
-1
Suppose t + 16 = 9*t. Suppose m = 2*y - 3*m - 26, -t*y + 6 = m. Solve -y = -2*x + 1 for x.
3
Let i(t) be the first derivative of -2*t**3 + t + 2. Let f be i(1). Let n be (-2 - -2)/(-3 - f). Solve -2*p - p - 9 = n for p.
-3
Let q be -1*(0/(-3) + -6). Suppose -b - 20 = -q*b. Suppose 2*m = b*m - 4. Solve t - m = 2 for t.
4
Suppose -89*c - 21 = -110*c. Solve 0 = 2*b + c - 3 for b.
1
Let t(d) = 3*d**2 + 36*d + 23. Let s be t(-12). Solve -4*p = 35 - s for p.
-3
Let f = 13 - 11. Suppose 0 = -65*b + 39*b + 78. Solve 0 = f*a - b + 1 for a.
1
Suppose 0 = -s - 4, 0*d - 4 = 4*d + s. Solve d = 4*k - 7 - 5 for k.
3
Let s be 440/(-10)*(-6)/8. Solve s = 9*u + 2*u for u.
3
Let z = -250 - -250. Let c be 3 - (-3)/((-6)/(-2)). Solve z*b = b + c for b.
-4
Suppose 25 = -6*d + 73. Solve d*p + 16 - 24 = 0 for p.
1
Let q be -1 + (-2 + 4 - -2). Let t = -17 - -2. Let l be t/10 - (9/(-2) - -2). Solve 0 = 2*z + l + q for z.
-2
Let t be (4/(-6))/(16/(-408)). Let h be (2*1)/(((-64)/28)/(-8)). Solve 5*g - h = -t for g.
-2
Let k(c) be the first derivative of c**3/6 + 3*c**2/2 - 2*c - 1. Let l(p) be the first derivative of k(p). Let w be l(-3). Solve 6 = -w*n + 2*n for n.
3
Let x be -3 + (-9 - -6) - -6. Solve -3*q + 6 = -x for q.
2
Let l(u) = 14*u**3 - u**2 + 13*u - 14. Let p be l(1). Solve 5*d + 13 + p = 0 for d.
-5
Suppose 5*v - 18 + 3 = 0. Let g(f) = -3*f**2 - 7*f - 4. Let q be g(-5). Let m be q/(-10) + 4/(-10). Solve o - m*o + v = 0 for o.
1
Suppose -2*c = 4*l - 80 - 10, 3*l = 15. Suppose -f = f + 4*g - 36, c = 5*f - g. Solve i + f = -3*i for i.
-2
Let f(z) = -z**3 - 24*z**2 + 46*z - 136. Let w be f(-26). Solve 0*s - w = 5*s for s.
-4
Let w be 0/((1/(-2))/((-1)/4)). Suppose 4 = 2*q - 2*g, w = -3*q + 2*q + 4*g - 13. Solve q*v + 10 = 2*v for v.
-2
Let c(y) = y**2 - 4. Let r be c(3). Let j be (-4)/r - (2 + (-195)/25). Solve -6*w + 5 = -j*w for w.
5
Let g be 24/16*(64/6)/4. Solve -j = g*j for j.
0
Let o = -122 + 133. Suppose o*q - 6 = 5*q. Solve -2*t - q - 5 = 0 for t.
-3
Let o(l) = -38*l + 43. Let u be o(1). Solve -u*r = 3*r + 24 for r.
-3
Let s = -239 + 242. Solve s*r - 5 = -2*r for r.
1
Let m(z) = z**3 + 34*z**2 + 3. Let l be m(-34). Solve -7 = -l*v - 13 for v.
-2
Suppose 13*j - 44*j + 558 = 0. Solve -8*c = 14 + j for c.
-4
Let t = -69 + 99. Let j be 14/4 - (-9)/54*-3. Suppose 8*l = j*l + t. Solve 0 = -5*f - l - 14 for f.
-4
Suppose 5*u - u = 16. Suppose -4*a + u = -12. Suppose -8*p + a*p + 16 = 0. Solve -p*k + 2*k - 2 = 0 for k.
-1
Let f be (-4)/2 - (-1 + -28). Suppose 0 = 3*d + 5*x + 32, -2*d - 53 = -0*d - 3*x. Let w = f + d. Solve 2*p + 0*p + w = 0 for p.
-4
Let u(h) = h**3 + 6*h**2 + 6*h + 7. Let l be u(-5). Suppose -2*v = 3*s, 0*v - 4*s = 2*v. Solve o + o - l = v for o.
1
Let n(t) = -3*t + 4. Let q be n(-2). Let i(v) = v - 21. Let r be i(q). Let g = 11 + r. Solve g = 3*m - 6 - 3 for m.
3
Let r(d) = d - 6. Let v be r(8). Suppose 0 = k + o + 1, 2*k - v*o = 25 - 7. Solve n = k*n for n.
0
Suppose -g = 2*g. Let b = -1715 + 1720. Solve c - b + 1 = g for c.
4
Suppose -2*h + 3*s = h + 3, -4*h - s = -6. Let i = 3 + h. Suppose i*u = 7*u - 3. Solve -4*f = u - 5 for f.
1
Let q = -10 - -14. Suppose q*f = 0, -3*u - 4*f = f. Let c be (u - 0)/(14/7). Solve c = 4*b - 2 - 2 for b.
1
Let r = -18 - -44. Let c = r + -25. Suppose -l - c = -8. Solve -l + 27 = 4*b for b.
5
Let a be 9/(-3) + (13 - -2). Let d be a*(-2 - -4)/2. Let w = 0 + 3. Solve 0 = -0*f - w*f - d for f.
-4
Let r(t) = 35*t**2 - 5*t - 5. Let n be r(-2). Let q be ((-4)/(-10))/(29/n). Solve -3 = q*s + 1 for s.
-2
Let u = -11 + 13. Let j = u - -6. Solve -j = -4*y + 4 for y.
3
Suppose -3*w + 3 + 27 = 0. Let n = 7 - w. Let u = 5 + n. Solve y = -u + 1 for y.
-1
Suppose -4 = -n - n. Let p be 4*(-14)/(-16)*(-8)/(-14). Solve n*d = 4 + p for d.
3
Let v = -2 + 4. Let h = 149 - 149. Suppose v*c - 7 - 5 = h. Solve 0 = m - c*m for m.
0
Let j = -111 + 113. Suppose j*v + 2*v + 5*v = 0. Solve -q - q = v for q.
0
Let i(c) = c**3 - 9*c**2 + 21*c. Let n be i(6). Solve n*m = 9*m for m.
0
Suppose 0 = -4*g + 5*g - 10. Suppose 2*u = -3*u + 15. Let j(p) = -p**3 + 4*p**2 - 3*p + 3. Let q be j(u). Solve -8*b - g = -q*b for b.
-2
Let m be (3 - (-2 - -2)) + 6 + -6. Suppose 2*l - l = -3*o - m, -4*o = 8. Solve l = 2*g + g for g.
1
Let c = -214 - -243. Solve -27 + c = r for r.
2
Let i = 432 + -419. Solve -37 - 28 = -i*v for v.
5
Suppose 10*v - 27 = 93. Solve -5*a + 2*a = v for a.
-4
Let j be ((-2)/4)/(4/(-960) + 0). Solve j - 128 = -2*l for l.
4
Let s = -9 - -19. Suppose -b = 7 - s. Solve b*p - 2*p = 4 for p.
4
Suppose 0 = -0*x - 3*x - 2*l - 2, 0 = -5*x + 4*l + 26. Suppose -3*k = x*k. Suppose -2*r + 2*d + 4 = k, 0*r = r - 3*d - 4. Solve 0 = -2*s + r - 3 for s.
-1
Suppose -41*r - 3 = -42*r. Suppose -f - f = 0. Solve f*l - 12 = 