-t*c = -l*c for c.
0
Let b be (-3)/(9/(-3)) + 17. Suppose -5*r - b = -2*w - 3, r - 9 = -2*w. Solve 0 = -h - 1 + w for h.
4
Suppose 44 - 14 = 3*o. Solve o = -f + 6*f for f.
2
Let h(j) = 2*j**2 - 24*j - 16. Let q be h(13). Solve 4*p + p - q = 0 for p.
2
Let l(a) = -5 - 11*a - 5*a**2 + 21 + 6 + 6*a**2. Let j be l(9). Solve 9*c + 10 = j*c for c.
-2
Suppose 2*c = 2 + 6. Solve 5*k = -c - 21 for k.
-5
Let i(d) = 4*d**2 - 20*d + 3. Let z(h) = h**2 - h + 1. Let g(t) = i(t) - 3*z(t). Let l be g(7). Let j be l/4*(-12)/15. Solve 0 = -5*o + j + 6 for o.
4
Suppose -5*m + 4*f = -41, -m - m + f = -14. Solve 0*w + m = 5*w for w.
1
Let o be 1/(6*2/36). Solve -3*p = -o - 9 for p.
4
Let k = 8 + -4. Suppose -3*t - n = -3 - 6, -k*n = -12. Suppose -t*m + 6 = 3*p, -5*m = -4*p + 16 + 15. Solve p*r + 8 = -0 for r.
-2
Let h(v) = -v - 4. Let o be h(-7). Let r = o + -3. Suppose 15 = -r*b + 3*b. Solve -b + 2 = -j for j.
3
Let f be 6 + (-1)/(-1)*2. Solve -3*d + 4 = -f for d.
4
Suppose 6*b - 3*b = 27. Let i = b - 9. Solve 0 = c + 4 - i for c.
-4
Let r(l) = l**2 + l + 1. Let m be r(0). Suppose 2*g - 5 = -m. Solve -g*a - 3 = 7 for a.
-5
Let b be (0/(-8))/(-1*1). Solve 0 = -3*s - b*s - 3 for s.
-1
Suppose 3*i - 2*i = 2. Solve -6*f - i = -4*f for f.
-1
Suppose -5*z - 43 = -83. Solve -3*a = -4 - z for a.
4
Let z be 14/5 + (-16)/20 + 1. Let i = 4 - 3. Let v = i - 1. Solve z + v = a for a.
3
Let t = -75 + 78. Solve t*b - b = 4 for b.
2
Suppose -4*i = g + 2 - 16, 5*i - 16 = -g. Let d be (4 - g/3) + 1. Solve d = -w + 1 for w.
-2
Let c be 94/(-8) - 2/8. Let q = 17 + c. Suppose 0 = -t + q - 3. Solve -3 = t*j + j for j.
-1
Let p(i) = -4*i. Let y = 2 - 0. Suppose -1 = -l - y. Let j be p(l). Solve j*b - 20 = -0*b for b.
5
Let c(p) = 2*p + 2. Let t be c(5). Let f be t/42 - (-12)/7. Suppose -f*r + 1 = -1. Solve r = j - 3 for j.
4
Suppose x + 1 = 0, -t + 2*t - 3*x - 5 = 0. Let j = 0 + 0. Let g be j/(-1 + (t - 2)). Solve g = -0*m - 3*m + 6 for m.
2
Let g = 25 + -22. Solve 0 = -4*x + x + g for x.
1
Let t(b) = b**3 - 5*b**2 - 6*b + 3. Let d be (-175)/(-28) + 2/(-8). Let c be t(d). Suppose -5 = -2*r + c. Solve -r*j - 3 = 5 for j.
-2
Let c = -14 + 18. Suppose c*d + 16 - 48 = 0. Solve -3*a = -a + d for a.
-4
Let l be -1 + 1 + 10/2. Let p(h) = -h**2 + 3. Let q(u) = -u + 1. Let r(k) = p(k) - 6*q(k). Let s be r(l). Solve -s*w - 8 = -6*w for w.
2
Let z(w) = 35*w**2 + w. Let l be z(1). Let i be 4/(-18) + 8/l. Solve i*c = 5*c - 10 for c.
2
Let p = 1 + -3. Let j be ((-7)/(-5) + p)*-5. Solve 11 = -j*a - 1 for a.
-4
Let v(r) = r - 2. Let o be v(4). Suppose -4 = -m - 3, o*g - 12 = -2*m. Let y be 2/g - (-138)/30. Solve y*t + 4 = -11 for t.
-3
Suppose 5*l = 2*l + 12. Solve -j + l*j + 15 = 0 for j.
-5
Suppose 13 = -o - 5*j + 32, -2*j + 13 = -5*o. Let x = o + 0. Let w be x/1*1*-1. Solve 0 = -5*z + w - 11 for z.
-2
Suppose -104*p = -95*p. Suppose 0 = -3*l - 12, l = -4*a + 5*l + 28. Solve -3*y + 2*y + a = p for y.
3
Let l(d) = -d**2 + d + 4. Let n be l(2). Solve 15 = n*f + 7 for f.
4
Suppose -h + 5 = 4. Solve 0 = q + h + 2 for q.
-3
Let y(m) = m + 4. Let i be y(-2). Solve -i = 2*w - 6 for w.
2
Let z(k) = 7*k**2 + 4. Let o be z(2). Solve -5*b - 7 + o = 0 for b.
5
Let z(d) be the first derivative of d**4/4 - 4*d**3/3 - 5*d**2/2 + d + 3. Let r be z(5). Let t = 4 - r. Solve o - t*o = -10 for o.
5
Let f = 137 + -135. Let r = 1 - 0. Solve -f*b - 1 = r for b.
-1
Suppose -4 - 1 = 5*z, 20 = 4*b - 4*z. Suppose b*a - 4*r = r + 39, 4*r + 36 = 4*a. Let u = a - 6. Solve -v + 1 + 4 = u for v.
5
Suppose 0 = 3*j + 8 - 14. Solve -j + 14 = -4*d for d.
-3
Let n(w) = -w**3 - 6*w**2 - 7*w + 7. Let f be n(-4). Solve 2*u + f*u = 0 for u.
0
Let q be 259/49 + 2/(-7). Suppose 0 = -0*h + q*h - 15. Suppose -h*g = -27 - 3. Solve -5 = 5*o + g for o.
-3
Let p = 11 + -7. Suppose -p*j = -j + 5*x - 11, 0 = -2*j - 5*x + 9. Suppose -16 = z - 5*z - 4*y, j*z + 3*y = 5. Solve z*n - 3*n - 4 = 0 for n.
1
Let b(s) = -2*s - 6. Let q be b(-4). Suppose 5*l = q*l. Suppose l = -u - 0*u. Solve -f = -u*f + 1 for f.
-1
Suppose -2*n + 0 = 2*d - 4, 16 = 5*d + 2*n. Suppose 3*k + 4 = -2. Let p = 6 + k. Solve -p*r - d = -0*r for r.
-1
Let m(h) = -h**2 - 4*h + 4. Let z be m(-4). Solve z*g = -g - 10 for g.
-2
Let b(p) = 0*p + 2*p**3 + 3*p**2 - 7*p**2 - p**3 + 2*p + 3. Let z be b(3). Solve z = -4*a - 25 + 9 for a.
-4
Let z(v) be the first derivative of 4*v - 1/2*v**2 - 2. Let q be z(4). Solve 10 = -2*l - q for l.
-5
Suppose 4*j - 7 - 13 = 0. Suppose 0*y = 5*y + 2*r - 6, -4*y = j*r + 2. Let w be y + 5 - (0 - -3). Solve 0 = -w*d + 3 + 17 for d.
5
Suppose -19 = 3*v + 3*a - 4, 19 = -5*v - 3*a. Let p be 0*((-5)/v - 3). Solve p*z = 2*z + 6 for z.
-3
Suppose 6 = -2*f - 4*j, -f = -6*f - j + 12. Solve 4*i - f - 5 = 0 for i.
2
Let r = 1 - 1. Suppose -4*h - 4 = 0, 0 = 6*c - c - h - 21. Solve -c = a - r*a for a.
-4
Let d = 8 - 4. Let v be 2*(-2)/d*-2. Let k be 1 - (-2 + 0)/v. Solve -1 = -k*z + 3*z for z.
-1
Suppose 7*k = 3*k + 16. Suppose -5*t - 6 = 2*u, -2*u - u - 9 = 2*t. Let j = k - t. Solve 12 = -4*c - j for c.
-4
Let l = 63 + -62. Solve 9 = 2*t + l for t.
4
Let i(g) = -g**2 + 5*g + 2. Let q be i(6). Let s = 5 - q. Let d be s/4 - 2/8. Solve -d*p = -p for p.
0
Suppose -3*b + 0 = c - 8, 4*b - 29 = -5*c. Suppose b = 3*w - 2. Solve 3 = 4*m - w for m.
1
Suppose -8*k = -8 - 8. Solve -k*p = p - 12 for p.
4
Let n be 12/10*(3 + 2). Let c(m) = -m**3 - 7*m**2 + 4. Let k be c(-7). Suppose -n*t = -4*t - o - 4, k*t = -4*o - 4. Solve -t = -2*d - 9 for d.
-4
Let r be (7 - 6)/((-1)/(-4)). Solve -h + 6 = -r*h for h.
-2
Let i(n) = 3*n**3 + n - 1. Let j be i(1). Solve -j*a - 9 = -6*a for a.
3
Let s(y) = -y**2 + 10*y - 12. Let d be (-4)/6*-4*3. Let a be s(d). Suppose 6*z = -3*u + 2*z + 57, -z - 57 = -3*u. Solve -a*m + 7 = u for m.
-3
Let s be (-12)/(-15) + 205/25. Let a be -3 - (0 - 0/(-1)). Let w = s + a. Solve 2*j + w = -0 for j.
-3
Let p = 1 + 7. Let n = -8 + p. Solve 6*l - l = n for l.
0
Let b(x) = -x**2 - 6*x + 7. Let u be b(-6). Let y(i) = u + 5*i - 5*i - i. Let g be y(5). Solve -4 = 2*d + g*d for d.
-1
Let m be (-15)/(-21) - (-10)/35. Solve m - 16 = 3*z for z.
-5
Let h = 6 - 1. Let u = 34 - 13. Suppose 2*r - u = h. Solve 1 = 4*t + r for t.
-3
Let k be (-4)/14 + 8/28 + 2. Solve g - 3 = k*g for g.
-3
Let m = 12 - -1. Suppose 0 = 5*g - 10. Suppose -g*p - 5 = -v - m, 4*v + 20 = 5*p. Solve 0*f - f = v for f.
0
Let z = -1 - -7. Suppose -2*y + 2 = -z. Suppose -y*s - 4 = -12. Solve s*i = -i for i.
0
Suppose 0 = -a + 2. Suppose a*m - 3*m = 3*t + 10, 3*t + 8 = -2*m. Solve m*u + 10 = -3*u for u.
-2
Let d(b) be the first derivative of -b**2/2 - 4*b + 3. Let n be d(-6). Solve w = -w + n for w.
1
Let p be (-1)/((9/3)/(-18)). Let r = -9 + p. Let n be 1*(3 - 0/r). Solve 0 = 4*y - n*y for y.
0
Let q(d) be the first derivative of -1/3*d**3 + 2 + 0*d - 5/2*d**2. Let t be q(-4). Solve -t = 2*u + 2*u for u.
-1
Let c = 15 + -14. Let d be 0 - c/3*0. Solve n - 1 = -d for n.
1
Let l(w) = -w. Let q = 3 - 4. Let b be l(q). Let r = 4 + b. Solve r*m - m + 16 = 0 for m.
-4
Let j = 16 + -13. Let t = -2 - 0. Let i = 2 + t. Solve 2*x + j + 3 = i for x.
-3
Suppose -7*f = -2*f + 5. Let s(n) be the first derivative of 22*n**3/3 + n**2 + n - 2. Let a be s(f). Solve 4*v = 5 - a for v.
-4
Let s = 14 - 51. Let p = 62 + s. Solve -3*q - 2*q - p = 0 for q.
-5
Let p = 18 - 6. Solve -4*v + p = -0 for v.
3
Let u be (-2)/(2 + 16/(-6)). Let j be 0*(u/2 + -2). Suppose j = -2*a + 6*a. Solve 0 = 4*b - a*b for b.
0
Let h = 22 + 2. Let z be 6/5*(-80)/h. Let n = 7 + z. Solve -p + 8 = n*p for p.
2
Let b be -1 + -5 + (1 - 0). Let j be (1 - 3) + (11 - 10). Let r be (1 + j)/(-6 - b). Solve 3*d = -r*d for d.
0
Suppose 2*u - 1 = 4*y + 3, 0 = 2*u + 8. Let z be y/2*16/(-6). Solve 0 = -4*w - 0*w - z for w.
-1
Let o = -2 - -4. Suppose 2*m = -o*m + 32. Let l be (3/4)/(1/4). Solve -l*y = -y + m for y.
-4
Let b be 4/22 + (-1218)/(-77). Suppose 0 = -2*i - 2 - b. Let r be (6/i)/(3/(-9)). Solve -4 + 2 = r*c for c.
-1
Let h(i) = -i**3 - 3*i**2 + 3*i - 4. Let q be h(-4). Let x be (-4)/(-6)*(q - -3). Solve -x*v - v - 9 = 0 for v.
-3
Let n = -1 + 8. Suppose -2*i + 2*k + 15 = n*k, 2*i = 2*k + 8. Suppose -i*z + 50 = -0*z. Solve -6*j + z = -j for j.
2
Suppose 5*b + 5 = 6*b. Solve b*h - 16 = h for h.
4
Suppose 2*o = 0, 6*o = 5*w + o - 15. Let t be 22/6 - 2/(-6). L