for f.
-3
Suppose 3*r - 3 = 3. Suppose -b - 5*q = 8, 0 = -r*b + 3*q + 6 + 4. Solve -b*a - 4 - 2 = 0 for a.
-3
Let g be ((-6)/(-5))/(9/(315/(-14))). Let v be 7 + -4 + (-2 - g). Solve -3*u + 2 = -v*u for u.
-2
Let m be (32/(-112))/((-2)/98). Solve 24 = -m*y - 18 for y.
-3
Let r = 1141 + -1138. Suppose z - 12 = -f, 0*z + 2*f = z. Solve z = -r*g - 1 for g.
-3
Suppose -4*c = -5*v + 149, 3*v + c - 41 = 62. Suppose 3*m = v + 3. Solve 0*r = 3*r - m for r.
4
Let x = 5 + -5. Suppose -5*s = -3*c + c + 6, -3*c = s - 26. Suppose -3*p = p - c. Solve x - 8 = -p*l for l.
4
Suppose 0 = t + 3 - 4. Suppose 0 = -r - 0 + t. Solve -1 = 2*o + r for o.
-1
Suppose -11*l = 33 - 33. Solve -2*y + 0*y + 6 = l for y.
3
Let f be (-1 + 1)/(-2 + 6). Solve 3*q + f + 6 = 0 for q.
-2
Suppose 0 = 4*u + 4*d + 12 + 4, -2*u = 5*d + 5. Let k be (12/5)/((-2)/u). Solve -k*v = -v for v.
0
Let b = 125 + -97. Solve 4*j + 3*j = -b for j.
-4
Suppose 2*r - 4*k = 8, 4*r - 39*k - 13 = -34*k. Solve 0 = -17*q + r*q - 15 for q.
-1
Let l be 99/(-63) - -1 - 306/(-21). Solve -11*v = 30 + l for v.
-4
Let m(y) = -2*y - 10. Let v be m(-8). Let j be 20/15 + 4/v. Suppose -j*k = -3*k + 8. Solve o - k = -o for o.
4
Let o(t) = -t**2 - 8*t + 2. Let m be o(-8). Suppose 5*v + m*f - 22 = 0, -6*f = -5*v - f + 15. Solve 0*s + 16 = v*s for s.
4
Let f be ((-5)/((-20)/(-64)))/((-45)/90). Solve 18*t - f*t - 28 = 0 for t.
-2
Let p(j) = -8*j + 2*j**3 - 3 + 1 + 1 - j**3 + 6*j**2. Suppose 4*t = -26 - 2. Let v be p(t). Solve -m + 4*m = -v for m.
-2
Let c be -4*(-3)/12 + 19. Suppose 2*n - 6*n - 2*g = -22, -4*g + c = 0. Solve -n*r = 2*r for r.
0
Let d be (-2 - -4) + -1 + 3. Let b be (-5)/(-15)*-4*30/(-8). Solve d = b*a - a for a.
1
Let p(n) = -12*n - 24. Let t be p(-6). Let x = 51 - t. Solve -w + 4 = -x*w for w.
-2
Let f(r) = r**3 - 6*r**2 - 6*r - 3. Let h be f(7). Solve 2*b + h = 10 for b.
3
Suppose -2*u + 122 = -4*u. Let b = u + 65. Solve -b*c + 1 = -3 for c.
1
Let u = 36 - 31. Solve 3 - 8 = u*j for j.
-1
Suppose 22*v = -5*q + 25*v + 112, 0 = 5*q - v - 104. Solve -q = m - 6*m for m.
4
Suppose 0*q = -3*q + 51. Let n = q - 12. Suppose -4*k - k = 5*u, -n*u = -2*k + 35. Solve -3 = -i - k for i.
-2
Let x(t) = -t**3 + 3*t**2 + 5*t - 2. Let v be x(4). Let z = -147 - -147. Suppose n - 11 = -v*n + p, n + 3*p - 7 = z. Solve 3*g - 8 = n for g.
4
Suppose -12 = 9*n - 111. Solve n*z = 3*z for z.
0
Let t be 22/(-6) + (-4)/12. Let b = -7 - t. Let j be 3/(b + (-27)/(-6)). Solve 2*x = -j - 0 for x.
-1
Let r = 1751 - 1741. Solve -r*z = -6*z for z.
0
Let g(n) = 2*n**2 - 7*n - 11. Let w be g(6). Let l = w + -7. Solve v + l = 5*v for v.
3
Let s(b) = -b**3 - 11*b**2 - 13*b - 24. Suppose -16*x - 10 = -15*x. Let o be s(x). Solve l - 3 = -o for l.
-3
Let b be 0/(2*(-2)/4). Suppose -4*z + 12 = 4*f - 32, 2*f + 5*z - 10 = b. Let r be 3/9 - (-25)/f. Solve 2 = r*n - n for n.
2
Suppose -z = 4*z. Let y be (8/(-10))/(2/(-10)). Let s = z + y. Solve 0 = -s*i - 2 + 6 for i.
1
Let m(g) = -g**2 - 29*g - 26. Let v be m(-28). Let q be -2 + (0 - -2 - -2). Suppose -q = -3*t + 7, 0 = -5*n + 2*t + 14. Solve 2 = n*y - v*y for y.
1
Let r be (-2)/17 - (-242)/34. Let h be (-76)/(3 - r)*1. Let i = -18 + h. Solve 4*v - i = -17 for v.
-4
Let q(u) = -2*u**3 + 40*u**2 - 21*u - 23. Let h be q(19). Solve h*o = 298*o + 10 for o.
5
Suppose -t = 5*x + 4*t - 20, 5*t - 20 = 2*x. Solve -6*b - 1 - 11 = x for b.
-2
Let b be 2/3 + 5/(-3). Let x(n) = 10 - 30 + 9 + 9 - 4*n. Let y be x(b). Solve 0 = 5*u + 7 - y for u.
-1
Suppose -t = -3*r - 3*t + 31, -r + 5*t + 16 = 0. Suppose r*s + s - 12 = 0. Solve 5*f = -16 + s for f.
-3
Suppose 4*n - 12 = 0, -4*i + 2*n + 4 = 2. Let s(w) = 4*w**2 + 4*w**i - 3*w**2 - 3*w**2. Let d be s(-1). Solve 7*r = d*r - 25 for r.
-5
Let h(l) = -8*l + 37. Let z be h(10). Let j = z - -46. Solve u = 4*u + j for u.
-1
Let k be (-4)/16 - 6/(-24). Let w(v) = -v + 1. Let u be w(-4). Solve -o + u*o - 8 = k for o.
2
Suppose r = 3*r. Suppose -2*k - 4 = -r. Let s be (-227)/(-9) + k/9. Solve -j - s = 4*j for j.
-5
Suppose 30 = y + y. Let k = y - 15. Suppose k*m = m - 8. Solve a - m = -3*a for a.
2
Let r be (-26)/(-5) - -5 - 2/10. Solve r = v + 13 for v.
-3
Let i be 0 + 3 + -1 + 2. Suppose -17 = -i*v - 9. Solve 3*o + 2 = v*o for o.
-2
Let h(n) = n**3 + 14*n**2 + 9*n - 39. Let j be h(-13). Solve j + 7 = -5*s for s.
-4
Suppose -3*l - 5*c = -10, 5*c = -3*l - 2*l + 10. Suppose -h - 33 = -4*h - 2*z, l = h - 5*z - 11. Let u = h + -1. Solve -5 = 3*n + u for n.
-5
Let p(f) = 2*f**2 - 26*f + 24. Let s be p(12). Let l(c) = -c**2 + 4*c - 1. Let h be l(3). Solve s + h = 2*i for i.
1
Let n be (-4)/(-34) + ((-288)/136 - -6). Solve n*a + 6 = 2*a for a.
-3
Suppose -6*s + 680 = 2*s. Let n = 87 - s. Solve -n*w - 1 = -3*w for w.
1
Let q = 777 - 774. Solve 8*y - 11 = -q*y for y.
1
Suppose 4*i + 3 = -17, 5*l = -2*i - 30. Let g be (27/(-6) - -3)/(2/l). Solve 0 = -g*c + 5*c - 10 for c.
5
Suppose -28 = -5*h + 2*a, -5*a - 1 = 2*h - 3*h. Let j be h*1*66/44. Solve -3 = 4*w + j for w.
-3
Let p = 80 - 82. Let c be ((-11)/(-22))/(p/(-8)). Solve 0 = -4*s - 10 + c for s.
-2
Let h be (5 - 2) + 9/(-3). Suppose h = t - 5*t. Solve -2*f - 3*f - 5 = t for f.
-1
Suppose 3*g = -g + 2*f + 2, 0 = -3*g - f - 1. Suppose -b + 7*h - 2*h = 0, g = -3*b - h. Suppose -2*j - 10 + 16 = b. Solve j = -5*p - 2 for p.
-1
Let x(z) = -z**3 - 6*z**2 - z + 4. Let y be x(-6). Suppose -10*o = -15*o + y. Solve -o*h = -4*h - 6 for h.
-3
Let v = 53 - 33. Let b = -67 + 70. Solve -2*l - b*l - v = 0 for l.
-4
Suppose 6*c - c - 15 = 0. Suppose 2*b = -2*a, c*a - 12 = -2*a + b. Suppose 0 = a*z + z - 9. Solve z*v + 1 = 2*v for v.
-1
Let x be -2*(-1)/2*5. Let m be x + (-1 - 4/2). Suppose m = 4*s + p, p - 8 = -s - 3*p. Solve d = -s*d for d.
0
Let a = 12 - -20. Suppose -4*w = 4*v - a, 9 = -2*v - 2*w + 5*w. Suppose -5*n = -v*f + 2 + 20, n - 18 = -5*f. Solve 1 = -y + f for y.
3
Let g(l) = 2*l - 6. Let n be g(8). Let z be 2/(-2) + n*(-2)/(-4). Solve 2*i = i - z for i.
-4
Let u = -693 - -695. Solve 3*z - u = -11 for z.
-3
Let f(a) = -2 - 3*a**2 + 1 - 8 - a**3 - 1 - 5*a. Let u be f(-3). Solve -9 = u*l + 6 for l.
-3
Let i be 11/4 + 1/4. Let l be 4/(-22) + ((-1488)/(-22))/(-2). Let y = l + 34. Solve -i = -y*j + j for j.
-3
Suppose 4*u = 3*u + 23. Let k(j) = 4*j. Let w be k(2). Let x = u - w. Solve x = -4*t - 5 for t.
-5
Let q be (24/(-10))/(87/(-290)). Solve q = -4*h - 12 for h.
-5
Let o be 1 - 0 - (-23 + -8). Solve 0 = -26*v + o*v - 12 for v.
2
Let a = 64 - 57. Solve 4*s - a = 9 for s.
4
Let w(q) = -2*q - 2. Let y be w(-4). Suppose -3*z = -y*z. Let f = 2 + z. Solve -f*b = 12 - 2 for b.
-5
Let u = 1208 + -1208. Solve u = 6*k - 47 + 53 for k.
-1
Suppose f = z - 6, 18 = 3*z + 2*f + f. Solve l - 4 = -z for l.
-2
Suppose 2*d + 1 = 23. Let x = -9 + d. Let n = 15 - 8. Solve x = -j + n for j.
5
Suppose -2*b - r = 167, 5 = -2*r - 1. Let k = -79 - b. Solve -k = -g + 1 for g.
4
Suppose 4*o - 2*c + 1 = o, -c - 4 = -3*o. Suppose 10 = -2*g, u - o = -g + 2. Let a(r) = r - 7. Let f be a(u). Solve f*m - 2*m + 4 = 0 for m.
-4
Suppose 0 = -0*x - 4*x + 12, 4*d = 2*x + 62. Let b = d + -14. Solve 0 = -b*y + 4 + 11 for y.
5
Let y = 58 + -60. Let d(t) = 3*t - 17. Let j(a) = 4*a - 25. Let c(x) = 7*d(x) - 5*j(x). Let i be c(y). Solve -i = -v + 1 for v.
5
Suppose -9*q + 42 + 66 = 0. Suppose -3 = 2*u + 3*d - 15, 0 = 3*d - q. Solve 2*s = -u*s - 4 for s.
-2
Let d = 38 + -36. Suppose d*i + 4*i = 120. Solve -4*h = h + i for h.
-4
Let a = 174 - 155. Solve -u = -a + 14 for u.
5
Let v(y) = y**3 + 2*y**2 - 8*y + 1. Let d be v(2). Let r(l) = 3*l**3 - l**2 + l. Let u be r(d). Solve 6 = u*i - 0*i for i.
2
Let k be (-13)/39*6 + (4 - 0). Solve -25 = k*i - 15 for i.
-5
Let z be 40/16*16/5. Let d = 11 - z. Solve -d*m - 2 - 4 = 0 for m.
-2
Suppose -o + 3 + 7 = 5*y, -3*y = -5*o - 34. Suppose -5*a = 4*c - 4, 5*c = 2*c + y. Suppose 0*n - n = a. Solve n = -0*p + 4*p - 20 for p.
5
Let x = -35 + 37. Suppose -v + x*u - 7*u = 15, 4*v = -5*u. Solve -4*a - 5 = -v*a for a.
5
Suppose -3*i = 2*z - 9, -4*i + z - 3 + 4 = 0. Let p be (15*i)/(9/6). Solve 3*j = -2*j + p for j.
2
Suppose 404 = 8*s + 388. Solve -s*i - 10 = -12 for i.
1
Suppose -3*s + 3 = 0, -3*s - 10 = 2*m - 1. Let y = 8 + m. Suppose 3*b - y = 2*b. Solve b*l + 3*l = 5 for l.
1
Let s(j) = 2*j**2 - 12*j + 17. Let p be s(7). Let z = 32 - p. Solve u = 