olve -4*f + 0*f = s for f.
-4
Suppose -2*a - 5*u - 99 = -2*u, -12 = 4*u. Let k be 4542/(-24) + (-2)/(-8). Let h be k/a + 2/(-10). Solve 8*l - 4 = h*l for l.
1
Let o(z) = 2*z**2 - 3*z - 1. Let x be o(-2). Suppose -3*k + x = -2*j, 0*k - j = k - 6. Let u be 17/4 + (-1)/4. Solve 7 + k = -u*p for p.
-3
Let m be (-1 + 0)*2/4*-8. Solve m = 2*c + 10 for c.
-3
Let g = 29 - 27. Solve -o + g = -2 for o.
4
Suppose i + 3*d = 39, -4*i + 2*d - 3*d + 112 = 0. Solve 5*h - i = -12 for h.
3
Let t(m) = -8*m - 11. Let j(g) = -9*g - 11. Let z(c) = -5*j(c) + 6*t(c). Let l be z(-8). Suppose 6*n - 60 = n. Solve -n = 5*s + l for s.
-5
Let q = 7 - 25. Let o = -15 - q. Solve 6*m - o*m - 6 = 0 for m.
2
Let h be (-6 - -6)/(2*-2). Solve -5*n + h*n - 15 = 0 for n.
-3
Suppose -2*c = -3 - 3. Suppose -c*g - 2*g = 5*a - 25, -3*g = -3*a - 15. Solve a*j = 3*j + 15 for j.
-5
Let g be -1 - (-44)/(-12)*-3. Solve 0 = -5*m - g - 15 for m.
-5
Let l = 18 + -15. Solve 5*f = l - 18 for f.
-3
Suppose 0 = k - 3 + 9. Let v be (-38)/k + (-4)/(-6). Solve -5*w - v - 8 = 0 for w.
-3
Suppose 20 = 3*i + 3*l - 4, -4*i - 13 = -5*l. Solve 3*b = -6 - i for b.
-3
Let x be ((-34)/17)/((-2)/3). Suppose 2*o - 5*g - 12 - 15 = 0, 2*o + 4*g = -18. Let c = 4 - o. Solve -c*i = 18 - x for i.
-5
Let u = -26 - -29. Suppose 2 = u*y - 2*y. Solve 5 = p - y*p for p.
-5
Suppose 0 = 3*t - d - 13, -t = -2*d - 0*d - 6. Solve 0 = -4*h + t for h.
1
Suppose r - 28 = -3*l - 0*r, 0 = 2*l + 5*r - 36. Let k = l - 2. Let w be (-2)/(-4) + 21/k. Solve -7*t = -w*t for t.
0
Let l(d) = d**3 - d**2 - 1. Let t be l(0). Let g be (-15)/(-10)*(-2)/t. Solve v + 0*v = g for v.
3
Suppose -4*f = -b + 7, b + 3*f - 21 = -0*f. Solve -6*u = -u + b for u.
-3
Let o(r) = -6*r. Let u be o(-1). Suppose -u = m - 3*m. Solve 0 = d - m*d for d.
0
Let v be 2 + (4 - (-1 + 4)). Suppose -v*n + 9 = -0*n. Suppose n*u - m = 5*u - 30, -4*u - m + 62 = 0. Solve z = 5*z - u for z.
4
Let d = 34 + -31. Let b(v) = -v**2 + 5*v + 5. Let h be b(5). Suppose -4*n - 6 = 5*w, h*w + 0*n + 10 = -5*n. Solve -d = -w*j - 5 for j.
-1
Suppose 0 = 4*c - 8*c + 28. Solve -c*n - 8 = -3*n for n.
-2
Let g be (2 - 2 - -1) + 4. Solve 3*c - g*c = -10 for c.
5
Suppose 0 = -5*v + 9 + 16. Let s = 4 + -6. Let b = s + v. Solve 0 = -4*y - b - 1 for y.
-1
Let f be ((-8)/4)/4*-8. Let y be (-3)/((-14)/f - -3). Solve -4 = -d - y for d.
-2
Let y(l) = -l**2 + 4*l + 5. Let n be y(5). Let h be (-1 - (-2 - n))*-10. Let p = -7 - h. Solve 7*j = p*j - 12 for j.
-3
Let z = 0 + 0. Suppose -b + 4*b = 0. Solve z = -n - b*n for n.
0
Let s = -29 - -41. Let m be s - 4/(4 - 8). Let p be 4/10 - 26/(-10). Solve 0 = 4*c + p + m for c.
-4
Let k be -10*(-3 + 39/15). Solve 3*j = k*j - 4 for j.
4
Suppose 0 = -2*b + b. Let q be ((1 + 0)*b)/(-1). Solve q*c + c + 1 = 0 for c.
-1
Suppose -3*z + 2*z = g - 11, -2*g = 3*z - 33. Suppose 2*o = -m + z, -7*m + 37 = 4*o - 2*m. Solve o*w - 8 = 1 for w.
3
Let s be 26/6 - (-8)/(-24). Let u = s + -3. Solve 0 = -3*m - 4 + u for m.
-1
Let g = -9 + 7. Let n = 0 - g. Solve 0 = b + n + 2 for b.
-4
Suppose -d = 4*d. Solve d = w - 0 + 3 for w.
-3
Let s be (2 + -3 + 1)/1. Suppose -i = -s*i - 3. Solve 2*h + i = -3 for h.
-3
Suppose m + 4*m = 0, 5*g - 50 = -3*m. Suppose -g = 4*h - 30. Solve -2*i - h = 1 for i.
-3
Let t be 1 + -1 - (1 + 1). Let y = t - -6. Suppose -2*n - i = 5, 0 = 4*n - 3*n + y*i + 20. Solve n = 4*m - 2*m for m.
0
Let k be ((-7)/(-14))/(2/12). Let g be (-6)/(-9)*k*1. Suppose g*v = -2 + 10. Solve -5*c = -v*c + 3 for c.
-3
Let k be -1 - (-4 + -1 - 1). Let w = -50 + 33. Let a = -12 - w. Solve 5 + a = k*t for t.
2
Suppose 2*v + z = -1, -2*v - 6*z + 2*z - 4 = 0. Suppose v = -2*m + 5*p + 55, 0*p - p = -2*m + 51. Solve -d + 6*d = m for d.
5
Let n be 2/11 - (582/(-66) + 6). Solve n*d + 1 = -2 for d.
-1
Let x be 12/(2/1)*1. Let f(t) = -t**2 - 8*t - 9. Let g be 4/14 - 44/7. Let l be f(g). Solve l = 3*z + x for z.
-1
Suppose 4*h = 3*h - 8. Let s be -1 - (h - (-1 - -4)). Solve 4*d + s = -2 for d.
-3
Suppose 3 = 2*g - 3*u, -g + 3*u + 2 = u. Solve 0*d - d - 3 = g for d.
-3
Let z(u) = u + 1. Let r be z(4). Suppose -2*o + 18 = 2*x + o, 0 = -r*x - 2*o + 56. Solve -n = 2*n + x for n.
-4
Let p = 6 - -2. Let z(y) = -2 + y**2 + p - 2 - y. Let i be z(0). Solve -i = -2*a + 4*a for a.
-2
Let l(s) = -s**3 - 2*s**2 + 3*s + 4. Let f be l(-3). Solve -v - v = -f for v.
2
Let x be (-16 - -2)*(-1)/2. Solve 9 + x = 4*f for f.
4
Let u = -13 + 19. Let p = u + 6. Solve 3*k = 7*k + p for k.
-3
Suppose -4*i = -119 - 9. Suppose -u = u - i. Let m(z) = z**2 + 6*z + 5. Let p be m(-6). Solve j - p*j - u = 0 for j.
-4
Suppose 0 = 4*w - 5*w. Solve w = -3*b + b for b.
0
Let o = -1 + 2. Solve 0 = 2*w + 3 - o for w.
-1
Let u be 31/7 + (-44)/(-77). Solve -5*z = -0 + u for z.
-1
Suppose -3*k - 11 = -n - 3*n, 3*k = -3. Suppose -f = -27 + n. Solve -2*i = -7*i - f for i.
-5
Let o(x) = -x + 9. Let k = 13 - 6. Let i be o(k). Solve -i*t - 6 = t for t.
-2
Let u = 12 + -10. Solve u*z - 15 = -z for z.
5
Let t be 9 + 0*(-3)/9. Solve 3*x = -t - 0 for x.
-3
Suppose 4*v + 4*v = 48. Let f be 1 - (-1 - (-1 + 3)). Suppose 0 + f = l. Solve l*x - v = 14 for x.
5
Let v be 4/(-12)*(-14 - -2). Suppose -2*c - 49 = n - v*n, 2*n = 3*c + 36. Solve 2*s = -3*s - n for s.
-3
Suppose -15 = -3*s, 40 = -4*b - 5*s + 17. Let u be (b/10)/((-3)/10). Suppose 5*w - 24 + u = 0. Solve 3*f = w*f - 2 for f.
2
Let r = 71 - 46. Solve 2*a - 7*a = r for a.
-5
Suppose 4*y + 14 = 2*t, 5*y + 19 = 3*t - t. Let s be (4/(-8))/(t/30). Suppose j + s = 2*j. Solve -2*v = -j*v - 3 for v.
-1
Suppose -2*c - 8 = b + b, 0 = -2*c - 3*b - 8. Let r = 0 - c. Solve 1 + r = 5*l for l.
1
Suppose -5*t + 845 = 5*y, 2*t = 6*t. Suppose 4*x + 37 = y. Suppose -j = 2*c - 10, -3*c = 4*j + 8 - x. Solve 16 = -0*p - j*p for p.
-4
Suppose -2*g - 3 = -5*g. Let p be (g/(-2) + 0)*0. Let d = -5 + 7. Solve 0*f - d*f + 8 = p for f.
4
Let j be (-50)/(-8) + 1/(-4). Suppose 0 = j*h - 9*h. Solve h*i - 5 = i for i.
-5
Let b(s) = 3*s - 3. Let r be b(3). Solve -4*o - 6 = -r*o for o.
3
Let f(k) = k**3 - 7*k**2 + 3. Let v be f(7). Solve a - 1 = -v for a.
-2
Let k = -2 + 4. Suppose 0*u - 3 = 5*u - 3*d, -2*u + k = 2*d. Solve -q - 5 = -u*q for q.
-5
Suppose -2 = -l + 3. Let g = 0 - 3. Let n(m) = m**2 + 2*m - 3. Let v be n(g). Solve v = -8*j + 3*j - l for j.
-1
Suppose 8*l - 7*l = 2. Solve -k + l - 6 = 0 for k.
-4
Let u = 0 - 1. Let k = 3 + u. Suppose -13 = -q - 5*b, 2*q + 12*b - 10 = 10*b. Solve k*z = -q*z for z.
0
Suppose p - 12 = 2*o, p - o - 15 = -4*p. Solve p + 2 = -n for n.
-4
Let x = 2 - 1. Suppose -y - x = -4. Suppose -p - y = 5*a - 13, -3*p = 0. Solve -a*b = b - 3 for b.
1
Suppose 12 = -5*m + 3*m - 5*r, -3*m + 4*r + 28 = 0. Let j(z) = z**2 - 13*z. Let y be j(13). Solve m = -c - y for c.
-4
Let l(d) = -5*d + 1. Let j be (-12)/(-5) - 6/15. Suppose o - 1 = -g, 2*g + g - j = -4*o. Let t be l(o). Solve t*s = 2*s - 12 for s.
-3
Suppose 0 = n - 4*d - 20, 5*n + 3*d + 4 = 3*n. Let h be 2/(-8) + 21/n. Let u be ((-12)/10)/(6/(-15)). Solve 0 = b + u - h for b.
2
Let s be ((-45)/6)/5*2. Suppose 4*u + 34 - 2 = 0. Let t = s - u. Solve -t*a - 12 = -2*a for a.
-4
Let f(b) = 3*b. Suppose 2*z + 2*j + 1 - 3 = 0, -2*z + 2 = -5*j. Let o be f(z). Suppose -2*i = -o*i + 4. Solve i*a + 25 = -a for a.
-5
Let g be -1 - (3 + -3) - -3. Let a = 1 + -1. Let d be 0 + -2 + 4 - a. Solve f + g = d*f for f.
2
Let b(t) = -t**2 - 3*t + 5. Let u be b(-4). Let n(m) = 13*m**2. Let k be n(u). Let w(v) = 6*v**2 - v. Let d be w(1). Solve d*x = k + 2 for x.
3
Suppose 0 = 3*l + 5*w, 3*l + 4*w = 5*w. Solve -5*n + 6*n + 1 = l for n.
-1
Let q = 3 - 1. Solve -7*f + 25 = -q*f for f.
5
Suppose 0 = -4*h, 5*r + 3 = -3*h + 13. Let i = 2 + r. Solve -k = k - i for k.
2
Suppose -q - 4 = 2*u - 5*q, 0 = 5*u + 2*q - 26. Let s = u + -4. Solve 4*m = -s*m + 8 for m.
2
Let c(x) = 3*x + 1. Let h be c(-2). Let i = h + 3. Let t = i - -4. Solve -3*p - 2 = -t*p for p.
-2
Suppose -2*j + 0*j + 18 = 0. Let k be (-10)/(2/4*-1). Let d(w) = -2*w - 2. Let t be d(-3). Solve j*s - t*s = -k for s.
-4
Suppose 5 = -2*m + 13. Suppose -2*x + x = -2*v + 19, -v + 14 = m*x. Suppose -v = -n + c, n + 5*c = -4*n. Solve 6 = n*h - 2*h for h.
2
Suppose -5*d = -d - 8. Let c be -2 + ((-4)/(-12) - 34/(-6)). Solve -c*w + 2 = -d for w.
1
Suppose 3*s - 108 = -a, -5*s - 5*a = -3*a - 181. Suppose 3*r - s = -z - 2*