- f + x for v.
-3
Suppose 4*d - 16 = 3*m + 24, -69 = -5*d - m. Let h = d + -11. Solve 0 = -2*w - 0 + h for w.
1
Let q(l) = 8*l + 153. Let v be q(-4). Solve v*f - 119*f + 4 = 0 for f.
-2
Let m(h) = h**3 + 7*h**2 + 8*h + 15. Let f be m(-6). Suppose 5*k = -5*o + 5, -9 = k - 2*k + f*o. Solve -2 = l - k*l for l.
1
Suppose 28 + 0 = 2*p. Suppose 12*i - p*i + 14 = 0. Solve i*h - 2*h = 0 for h.
0
Let w(m) = -2*m - 6. Let c be (-2)/(-15) + (-712)/(-60). Let n be (c/(-15))/((-2)/(-10)). Let r be w(n). Solve -3*f = r + 1 for f.
-1
Let n = -55 - -66. Let w(l) = -l**3 + 11*l**2 - 2*l + 26. Let h be w(n). Solve h + 6 = 2*d for d.
5
Let n = -389 - -389. Solve -8*z = -n*z for z.
0
Let j = -67 - -72. Solve -j*h + 9 - 4 = 0 for h.
1
Let n(t) = -t**3 + 13*t**2 + 8*t + 87. Let i be n(14). Let d(s) = -s - 2. Let x be d(-9). Solve -i*p + 4 = x for p.
-1
Suppose 3*b = b - 6. Let x be (5 + -2)*b/(-9). Let n = -12 - -16. Solve n = -5*l - x for l.
-1
Let t be 0 + (-4)/(-3) + (-22)/(-33). Solve -t*u + 20 = 3*u for u.
4
Suppose 0 = -7*y + 9*y - 16. Solve 0 = -y*i + 4*i + 16 for i.
4
Let x(g) = -g**3 - 5*g**2 + 5*g - 1. Let o be x(-6). Let h = -1 + o. Solve -i = h*i - 20 for i.
4
Suppose f - 2*w = 2*w - 14, 3*f + 4*w - 38 = 0. Let g = 7 - f. Let l be 2/(g/((-15)/(-2))). Solve l = -4*i + i for i.
-5
Suppose b - 8 = 1. Let m be 3 + (1 - 0)*b. Suppose 0 = 4*l - l - m. Solve -3*z - l = z for z.
-1
Let m(b) = 9*b - 222. Let a be m(25). Suppose 0 = r + 4*r - 50. Solve r = -q + a*q for q.
5
Let k(t) = 127*t**2 + 5*t + 4. Let z be k(-1). Let q = -121 + z. Solve q*o + 0*o = 0 for o.
0
Let y(m) = m**3 + 7*m**2 + 3. Suppose 9 = -p + 2. Let d be y(p). Suppose 3*i - 9 = b, 2*i = b + d*b - 4. Solve -5*h = 2 + b for h.
-1
Let j be (1 + -1)*2/2. Let g(a) = 2*a - 9. Let d be g(2). Let o be d/((-5)/(-15)*-3). Solve j = -o*b - 0*b - 20 for b.
-4
Let r = 6 - 2. Solve -r*j + 615 = 599 for j.
4
Suppose -3*g + 6 - 51 = -4*k, 0 = -2*k - 5*g + 29. Let s = 15 - k. Suppose -3*r - 2*y + 2 = s*y, -2*y = 4. Solve 3*u + r + 11 = 0 for u.
-5
Let n(k) = 2*k + 38. Let m be n(-9). Suppose -13*i = -18*i + m. Solve i*d - d = 0 for d.
0
Suppose u = -a + 1, -4*a + 0*a = -2*u - 4. Let j be -6*2*(-4)/6. Let w be j + (-2 - (-3 + 3)). Solve u = -h + w*h - 5 for h.
1
Let b be 5/(-10)*-6 - -31. Solve 6*o + 4 = b for o.
5
Suppose 0 = -4*f + 2*f + w + 59, f - 3*w - 32 = 0. Let h = -12 + f. Suppose -2*s = -19 + h. Solve s = -0*o - o for o.
-1
Suppose 3*y - 184 = -133. Solve 0 = -y*h - 14 - 20 for h.
-2
Suppose -2*r + 2*m = -12, 4*r - 2*m = -r + 18. Solve 8 = -r*o - 2 for o.
-5
Let x be (-6)/9 - (-12)/(-9). Let q be 1 - (-2 + 2) - x. Let g be (3 + 9)/q - 2. Solve v + g = 2*v for v.
2
Suppose -2*a + 6*a = -2*d + 12, 0 = 3*d - 2*a + 14. Let c be 3 + (28/(-8) - d/4). Solve -2*i + 5 + 5 = c for i.
5
Suppose -2*b + 2*c = c - 125, 4*c = -3*b + 160. Suppose 0 = v + v - b. Suppose 5*x - v = -0*x. Solve z = -z - x for z.
-3
Suppose -405*u + 393*u + 156 = 0. Solve -u*i = -i - 3*i for i.
0
Suppose 29*y - 204 = 12*y. Solve 3*z + y = -3*z for z.
-2
Suppose -3*x + t + 14 = 0, -6 = -x - 17*t + 16*t. Solve 2*g = 3*g + x for g.
-5
Suppose 22*z = 8*z + 28. Solve z*c + c = 12 for c.
4
Suppose 0*r = -4*y + 5*r - 112, 100 = -4*y + 2*r. Let b = -95 + 70. Let h = y - b. Solve h*u - 4*u = -2 for u.
1
Suppose -3*l + 5*g - 130 = 0, l - 2*g + 80 = -l. Let t = 39 + l. Solve t*h + 4 + 12 = 0 for h.
-4
Let c be 1*(-5)/2*6/(-3). Let s be (1/(-1))/((-2)/6). Solve -c*v - 18 = -s for v.
-3
Let p = -207 - -211. Solve -p*j = 39 - 23 for j.
-4
Let s = -23 - -48. Solve 7*x - 2*x + s = 0 for x.
-5
Let m = -2 + 7. Suppose 3*b + 22 = -m*u, -5*b - 4*u = -b + 16. Suppose b = 5*o - 19. Solve o*n - 3*n + 3 = 0 for n.
-3
Suppose 0 = -4*a + 19 - 3. Let j be ((1 - 2) + a)/((-3)/(-18)). Solve 4*q = 2 + j for q.
5
Let h(c) = 7*c**2 - 4*c + 16*c - 15 - 10*c**2. Let q(f) = -f**2 + f - 1. Let g(u) = -h(u) + 4*q(u). Let t be g(-9). Solve -2*j + 3*j + t = 0 for j.
-2
Suppose -612 = 9*b - 3*b. Let c = -97 - b. Solve c*k + 0*k = 10 for k.
2
Let u(y) = -45*y + 277. Let h be u(6). Solve -16 = -h*t + 5 for t.
3
Suppose z - 4*v - 3 = -13, 2*z = -3*v + 13. Solve 14 = -z*x + 6 for x.
-4
Suppose 20 = 3*z - 13*n + 9*n, -z + 7 = -n. Solve 0 = -z*p - 3 - 5 for p.
-1
Let m(t) = 3*t + 16. Let l(p) = 4*p + 15. Let d(w) = 2*l(w) - 3*m(w). Let j be d(-15). Let k = 4 + j. Solve 2*s - 3 = k for s.
2
Let f be (189/(-6))/3*-2. Let b = f - -1. Let u = 22 - b. Solve 3*v + v + 8 = u for v.
-2
Suppose -b = j - 8, b + 2 = 2*j - 5. Suppose 11*s - 70 = 18. Solve -5*z + b*z = -s for z.
4
Suppose -98 = 6*j + 28. Let w = -19 - j. Solve -l - w*l = 0 for l.
0
Let u(b) be the first derivative of b**3/3 + 15*b**2/2 + 22*b + 9. Let c be u(-14). Solve 9*v = c*v for v.
0
Let t = 1 + -10. Let f = t + 13. Suppose 4 = -f*a + 5*a. Solve -a*c + 1 = 13 for c.
-3
Suppose 4*y = 5*x - 12, -459*x + 26 = 5*y - 455*x. Solve 10*m - 28 - y = 0 for m.
3
Let o = 572 + -564. Solve -6*n = -4 - o for n.
2
Let l be (-1*1)/1*0/59. Solve 6 + l = 3*v for v.
2
Suppose 8*l = 3*l. Suppose -g + l = -2. Let s be (-4)/34 - 152/(-136). Solve g*o + 3 - s = 0 for o.
-1
Suppose -4*d + 10 + 6 = 0. Solve -d*v - 3 = -5*v for v.
3
Suppose -187 + 19 = 3*k. Let t = -53 - k. Solve -s - t = -2 for s.
-1
Let v(i) = 2*i**2 + 3*i + 1. Let b(n) = -n**2 - n. Let d(a) = -5*b(a) - 2*v(a). Let u be d(2). Let m be ((-80)/(-4))/2 + u. Solve m*y = 5*y for y.
0
Suppose -6*x = -5*x - 1. Let u = 2 + x. Solve 3 - 15 = -u*s for s.
4
Let d = 7 + 3. Let k(q) = -q**2 - 12*q + 29. Let u be k(-14). Let n be ((-17)/2 + u)*(-6)/5. Solve -d = -n*a + 4*a for a.
2
Let j(m) = -2*m + 9. Let c be j(3). Suppose c*a - r - 5 = 10, -2*r = a + 2. Solve 3*t - a = -t for t.
1
Let q be 2/(-3) + 244/6. Suppose q + 2 = 3*x. Solve -2*u + 6 = x for u.
-4
Let g be ((-2)/5)/((-1)/5). Suppose i - 20 = -4*i. Suppose 5*a + 9 - 2 = -4*r, -i = 5*a + 3*r. Solve g*h = a - 9 for h.
-4
Suppose 0 = -v - 3*v. Suppose 2*r + 8 + 8 = v. Let k be (-12)/r - (-15)/6. Solve -1 = 3*m - k for m.
1
Let u = -624 + 641. Solve -u = -6*l + 13 for l.
5
Let c(h) = -h**3 - 5*h**2 - 3*h + 5. Let l be c(-4). Let i be l/(-2)*608/(-16). Let o be (1 - 2) + 2 + i. Solve -4*a + o = a for a.
4
Let f(i) = -i**3 + 5*i**2 + 9*i - 14. Let t be f(6). Suppose 4*p = -4*c + 16, t*c = c + p - 4. Solve c = -2*s - s for s.
0
Let i(t) = t + 10. Let p be i(-7). Let v = 53 - 32. Suppose -u = p*b - v + 8, 4*u = 4. Solve 1 = 3*d - b*d for d.
-1
Let j(m) = 3*m - 63. Let h be j(25). Suppose 3*f = h + 9. Solve f + 5 = -3*p for p.
-4
Suppose -21*r - 758 + 779 = 0. Let z be 1 - 0 - 2/(-2). Solve 0 = p - r + z for p.
-1
Let u = 58 + -43. Suppose -6*t = -2*t, -5*y = 4*t - u. Solve 0*l - y*l + 12 = 0 for l.
4
Let p be 0 + 5 + -1 + -46. Let m be (-76)/(-6) - (-28)/p. Suppose -m = -3*i + 3. Solve -2*t + 3*t - i = 0 for t.
5
Let i(r) = -3*r - 2*r**2 + 3*r**2 - 1 + 5. Let p(j) = -j**3 - 6*j**2 + 3*j - 24. Let l be p(-7). Let q be i(l). Solve -q = s - 3*s for s.
4
Suppose 32*p = 262 - 6. Solve -p = -2*o + 4*o for o.
-4
Suppose 6*n = 56 + 16. Let m = n + -7. Solve -5*c - m - 5 = 0 for c.
-2
Suppose 5*r = 4*u - 195, -7*r + 3*r - 5*u - 115 = 0. Let x = r + 39. Solve -d = -0*d - x for d.
4
Let x be 4 - 3 - (2/1)/2. Let n be x*1/3*-1. Solve n = 5*h - 0*h - 5 for h.
1
Let w = 2463 - 2427. Solve 57*f - 45*f - w = 0 for f.
3
Let n be 12*4*(-5)/(-60). Let b = -1 + 1. Let q be (2/(-4))/((-2)/12). Solve b = -n*s + q*s for s.
0
Let h be 46/207 + (-68)/(-18). Solve 95 = -h*w + 111 for w.
4
Let q be -13 + (29 - (14 - -2)). Let g(k) = -k**2 + 8*k + 8. Let c be g(6). Solve 5*m = -q*m - c for m.
-4
Suppose -7*g + 107 - 30 = 0. Solve 8*t - 15 = g*t for t.
-5
Suppose -3*r - 17 - 16 = 5*v, 2*r + 28 = -4*v. Let z = v + 12. Solve z*w - w = -8 for w.
-4
Suppose 5*p + 4*b - 16 - 24 = 0, 4*p - 41 = -5*b. Solve 16*r + 20 = p for r.
-1
Let g = -43 + 39. Let w be (-154)/(-8) + (-3)/g. Solve -w = 3*u + u for u.
-5
Suppose 4*l = -t + 18, 0 = 3*l + t - 3*t - 8. Suppose 0 = l*h - 24 + 8. Solve 0*z - h = 4*z for z.
-1
Let k = 232 + -232. Solve k = f - 10*f + 45 for f.
5
Suppose 3*t + 4*l - 21 = 0, -9 = -2*t - 5*l + 12. Suppose -q - 13*q = -42. Suppose 0 = q*p - 12 - 48. Solve u + p = -t*u for u.
-5
Let y(g) = -6*g + 144. Let p be y(23). Solve 0 = 2*d - 0*d + p for d.
-3
Suppose 5*l = -