= u*f + 2 for f.
2
Suppose -3*k = 6 + 15. Let y(t) = t**2 + 6*t - 7. Let v be y(k). Solve -10 = -5*s - v for s.
2
Suppose 4 = -2*p - 3*u + 6, -3*p - 3*u = -6. Suppose -4*c + 135 = -33. Let n be ((-14)/c)/(2/(-12)). Solve -p*l + 6 = -n*l for l.
3
Let q be (4/(-5))/((-2)/5). Solve -i - q = 2 for i.
-4
Let r = 120 - 120. Solve r = u + 3 for u.
-3
Let d(o) = o - 2. Let q be d(7). Solve 14 = q*b - 6 for b.
4
Let m be (-1 - -85) + 3/3. Suppose 0 = g - 4, -5*s - m = -3*g + 107. Let i = 54 + s. Solve i = 5*v - 2 for v.
4
Suppose s = 2*n - 48, -5*n + 58 = -2*n + 2*s. Suppose k - 4*t - 25 = 0, 2*t - t = k - n. Let r = k + -15. Solve 4 - r = -p for p.
2
Let m(y) = -y**2 - 6*y - 2 + 0 - 3. Let x be m(-5). Suppose -s + i + 4 - 2 = x, 2*s - 5*i - 10 = 0. Solve s*w = -w for w.
0
Suppose -5 = -4*o - p, 3*o + 2*p - p - 3 = 0. Let h(t) = t - 1. Let u be h(1). Solve -r = -u*r - o for r.
2
Let n be (0/2)/((-12)/(-6)). Let x be n*(-2 - 1)/(-6). Solve x = -5*a + a + 20 for a.
5
Let j = 2 - 0. Let t be ((j - 2) + -1)*-5. Suppose t + 6 = r. Solve -3*m - r = 4 for m.
-5
Let d(n) = -2*n + 5. Let y be (0 + -2 + 2)/2. Let t be d(y). Solve t*w = w for w.
0
Suppose -d = 5*n + 5, 2*d + 3*d - 21 = -2*n. Solve -x + d = -6*x for x.
-1
Let a(o) = o - 6. Let h be a(8). Solve 4*d + h = -18 for d.
-5
Let b be (-5)/((-5)/28) + (3 - 2). Solve -b*j + 28*j = -5 for j.
5
Let d(s) = s**2 + 5*s + 13. Let b be d(-4). Solve -3*o - 3 = b for o.
-4
Let k(d) = d**2 - d. Let q be k(1). Suppose 4*f + 3*m - 42 = q, 0*m = -4*f - 4*m + 40. Suppose 12 = 2*i - 0. Solve -i*z = -2*z - f for z.
3
Suppose m = -5*u - 15, 0*u - 4*m + 4 = 4*u. Let a = 7 + u. Solve 0 = a*f + 2*f for f.
0
Let a be (1/2)/(0 - (-4)/56). Solve a*q = 2*q for q.
0
Suppose -3 - 4 = -r + c, -4*r - c + 3 = 0. Suppose -r*l + 6 = -l. Let q be (12/9)/(l/9). Solve -y - 7 = -q for y.
-5
Let s(r) = r + 13. Let i be s(-7). Suppose -m + 10 = -i*m. Let t = 5 + m. Solve -8*h + t*h = 10 for h.
-2
Suppose 4*f - h = 9, -1 - 2 = 4*f - 5*h. Solve f = -5*u + 23 for u.
4
Suppose 2*u = 3*r - 18 + 66, 5*u - 106 = 4*r. Solve u = -4*z + 2 for z.
-4
Let i(r) = -r + 9. Let c be i(9). Solve -5*z - 20 = -c*z for z.
-4
Let n = 122 - 121. Solve q + 1 = -n for q.
-2
Suppose 3*o = -o + 48. Let g = -7 + o. Let f(m) = -m**3 - 6*m**2 + m + 6. Let v be f(-6). Solve c - g = -v for c.
5
Let f(o) = -o + 9. Let y be f(8). Let u be (0/y - -1)/1. Let j be 0 + 1 + (0 - u). Solve j = -3*k + 4*k + 4 for k.
-4
Suppose -7*c + 8 = -6*c. Suppose -5*m = -a + c - 26, -3*m - 3*a = 0. Solve 4*o + 1 = m*o for o.
-1
Let z be 24/16*(-4)/(-3). Solve -3 = -a + z for a.
5
Let z(k) = -3*k**2 + k - 2*k**2 + 4 + 4*k**2. Let j be z(0). Let l be 0 + (-1)/((-2)/j). Solve -l - 1 = 3*f for f.
-1
Let j = 10 + -8. Solve b = -j*b + 15 for b.
5
Let o(m) = m**2 + 1. Let w be o(0). Suppose 5*t - w - 24 = 0, -4*q = t - 53. Solve -5*g = 2 - q for g.
2
Let q(l) = l**3 - l**2. Suppose 6*v - 3*v - 3 = 0. Let m be q(v). Suppose 0 = -3*z - 5*n + 17, m = n - 6*n + 5. Solve 2*w = z - 0 for w.
2
Suppose 12*j - 13*j = 0. Solve -3*v + v - 6 = j for v.
-3
Let q = -50 + 50. Solve q = -2*v - 2*v - 16 for v.
-4
Let v(t) = -t**2 - 6*t - 3. Let m be v(-4). Suppose 16 - 1 = m*c. Solve 4 = c*u + 7 for u.
-1
Suppose -4*i = -23 + 27. Let o(a) = -a**3 - 2*a**2 + 3*a + 3. Let c be o(-2). Let k = i - c. Solve k + 2 = -w for w.
-4
Let u = 0 - 3. Let t be (-1)/(-1) - (u - -2). Solve -y + 3 = t for y.
1
Suppose 4*h - 3*h = 5. Suppose 4*p = h*p - 2. Suppose 0*d = p*d - 40. Solve 0 = 5*w - w - d for w.
5
Let c be (-42)/28 - (-18)/4. Solve c = -x - 2*x for x.
-1
Suppose 24 = 5*a + 3*z, -a = -3*z - 3 + 9. Suppose -18 = -r - 2*r. Solve -a*u + u = r for u.
-3
Let j(p) = 3*p - 10. Let z be j(5). Solve 0 = -z*n + n - 16 for n.
-4
Suppose 0 = 4*x - 5*a + 16, 3*x = -3*a - 6 - 6. Let q(c) = -c**3 - 4*c**2 - c - 3. Let w be q(x). Suppose 3*i = w + 11. Solve 5*v + i = -21 for v.
-5
Let d(c) = -c**3 - 3*c**2 + 2*c - 4. Let y be d(-4). Let g be -3*2/12*y. Let s be 3/2 + g/(-4). Solve -v - v = -s for v.
1
Let f be 3/9 + 2/3. Let g be (-4)/(2/(-2))*f. Solve 4 = -g*b - 0*b for b.
-1
Let z(c) = -6 + 0 - 5 + c - 2*c. Let p be z(-14). Solve p*y + 2 = -4 for y.
-2
Suppose -9 = -3*l, -3*o + 5*o - 2*l - 4 = 0. Suppose -3*c + 6*c - 15 = 0. Solve c*h = o + 10 for h.
3
Let n(j) = j - 5. Let f be n(5). Let s be 0/(-4) + -3 + 3. Suppose s = -f*m + m. Solve m = 3*t + 6 - 0 for t.
-2
Suppose 6 = 3*z - 0. Solve 0 = 2*x + 4 - z for x.
-1
Let n = 8 - 16. Let f be (-1 - -1)/(n/(-4)). Solve 0*z - z + 5 = f for z.
5
Let c be (-34)/(-4) + (-2)/4. Solve 0 = -3*t - t + c for t.
2
Let z(m) = -11*m + 2. Let k(c) = -6*c + 1. Let r(s) = -7*k(s) + 3*z(s). Let h be (1/(-3))/(4/(-12)). Let a be r(h). Solve 3*j + a = -j for j.
-2
Suppose 12 = -0*a + 2*a. Let p(t) = 2*t**2 + 3*t - 4. Let v(x) = x**2. Let f(h) = -p(h) + v(h). Let n be f(-4). Solve -y + a*y + 25 = n for y.
-5
Suppose -4*n = -j + 1 - 9, -2*j + 11 = n. Let k be (-1)/(n/(-4) - -1). Let i be k/10 + 77/5. Solve 5*b - i = -0*b for b.
3
Suppose 4*y + 45 = 5*f + 8*y, 4*y = -4*f + 40. Solve 12 = -f*p + 37 for p.
5
Let a be -4 + 4/(4/9). Suppose 4*p - 10 = 14. Solve a - p = m for m.
-1
Suppose 0 = -2*s - 4, 3*w - 5*s + 3*s = 16. Solve -3*d = -2*d + w for d.
-4
Let i = 4 - 1. Let n be 0*1/i*-1. Solve n = -0*c - c - 2 for c.
-2
Suppose -s + 243 = -2*u - 2*s, -2*u + 3*s = 263. Let o be 2/(-6) - u/12. Solve 2 + o = -3*k for k.
-4
Let i = -9 + 13. Let l be -1*(-2 - (-1 + i)). Solve 2 - 7 = -l*c for c.
1
Let c be (1 - (4 + 0)) + 5. Solve 2*f - c = -4 for f.
-1
Let u(r) be the first derivative of -3*r**2 + 1 - 1/3*r**3 + 3*r. Let h be u(-3). Solve -2*a = a + h for a.
-4
Suppose -4*k + 0*k = -20. Suppose 5*z - k*d = -2*d - 8, d + 4 = 0. Let f = z + 6. Solve f*p + 0 = -8 for p.
-4
Let w be (-3)/((-12)/(-4))*0/(-5). Solve w = -0*c + 3*c for c.
0
Suppose 0 = 2*v + v + 6. Let i = v + 8. Solve -5*x = -2*x - i for x.
2
Suppose 2*k + 5 - 15 = 0. Suppose 5*v + 2*z = -5 - 5, -25 = -4*v + k*z. Solve -2*w - 1 + 3 = v for w.
1
Suppose 17 = 2*q - 5. Suppose 29 = 3*l + q. Let k be (1 - l)/(1/(-3)). Solve -4*w + k = -w for w.
5
Suppose -l - 15 = -6*l. Solve -u + l = -0 for u.
3
Let o = -4 - -3. Let u(q) = 3*q**3 - q**2. Let p be u(o). Let y = p - -5. Solve h = -5 + y for h.
-4
Suppose -4*n + 12 = 0, 0*v - 2*v = -5*n + 17. Let j be (v/2)/(8/(-32)). Let o = -6 + 21. Solve t + o = -j*t for t.
-5
Suppose 7 + 1 = 2*x. Let z be (x/14)/((-1)/(-7)). Solve 4 = z*f - 4 for f.
4
Let b be ((-2 - -7) + -4)*0. Solve b = -2*m + 2 - 4 for m.
-1
Suppose 3*j = -3*k + 12, 4*j + 4 = j + 5*k. Suppose -j*x = -5*g + 39, -5*g + 41 = 3*x - 6*x. Solve -2*y + 20 = -g*y for y.
-4
Suppose -2*x + m + 9 = -6*x, 9 = -x + 2*m. Let z = x + 6. Solve z*u = u - 4 for u.
-2
Let z be (60/18)/((-2)/(-3)). Suppose -d + 24 = j, z*j + 0*d - 3*d - 128 = 0. Suppose -1 = f, 3*v - 5*f = -5 + j. Solve m = v*m - 4 for m.
1
Let c = 16 - 10. Let v = 10 - c. Let d = v - 4. Solve -4*j + j + 15 = d for j.
5
Let a be 368/138*(0 - 3/(-4)). Solve 0 = 4*k - a*k for k.
0
Suppose 18 = 2*q + 2*i - 6, 0 = -4*q - 5*i + 44. Solve -w = -5*w - q for w.
-4
Let i = 26 + -23. Solve -i*v + 5 = 2*v for v.
1
Let r = 11 - -14. Let d be (-36)/30*(-20)/6. Solve r = -f - d*f for f.
-5
Let h(k) = k**3 - 4*k**2 + 2*k - 1. Let t be h(3). Let a = t + 11. Solve 5*g - 13 = a for g.
4
Let p = -28 - -30. Solve -k = p*k - 9 for k.
3
Let f = -29 - -53. Suppose -5*r + 3*q = -2*r - 15, 0 = 5*r - 4*q - f. Suppose 4*z - 15 = -z - 5*s, 0 = -r*z + 2*s + 12. Solve 0 = h - 0 - z for h.
3
Let h be (-2)/(-12) - (-143)/78. Let r = 8 + -6. Solve -h*i + 12 = r*i for i.
3
Let x(h) = -h**2 + h - 4. Let q be x(0). Let a be 6/9 - q/(-6). Solve -4*s - 7 - 1 = a for s.
-2
Let u(g) = g + 12. Let p be u(-6). Let a(j) = -j**3 + 6*j**2 + j - 3. Let h be a(p). Solve -4 = v + h*v for v.
-1
Suppose 0*k = -2*k + 46. Solve k - 8 = -5*l for l.
-3
Let r = 15 - 13. Suppose -r*d + 12 = d. Solve -7 - 1 = -d*s for s.
2
Let d(i) = -2*i - 5*i + 4*i**2 - 3*i**2. Let f(j) = j + 3. Let r be f(4). Let z be d(r). Solve 3*b + z*b = 6 for b.
2
Suppose 0 = 9*o - 5*o - 28. Let f be 0 - (1 + (-1 - -2)). Let c be -1 - ((f - -1) + -6). Solve c*b - o*b = 0 for b.
0
Suppose -2*d = -4 - 44. Solve 5*v = 1 + d for v.
5
Let p(b) = b + 7. Let y be p(-4). Solve -y*c + 5 = 2*c fo