Solve i - t = -i for i.
3
Suppose -m = -3*c + 1, -2*c = -3*m + 2*m + 2. Let w = 12 - m. Solve 3*y = -w + 7 for y.
1
Suppose d - 4 + 0 = 0. Let l be (-24 - 0)*d/(-12). Solve -3*s = -l - 7 for s.
5
Let w(i) = -i**3 + 8*i**2 + 19*i + 14. Let f be w(10). Suppose 11 = -3*p + 2*g, p + 0*g + 2*g = 7. Let d be (f/10)/(p/(-5)). Solve d + 3 = 5*u for u.
1
Let m(s) = 2*s**2 - 3*s + 1. Let z be m(2). Let l(t) = t**2 + 2*t - 1. Let k be l(z). Solve 4*c - k = 6 for c.
5
Suppose -13 = -t - 10. Solve 5*k = t*k + 8 for k.
4
Let n = 110 + -109. Solve -q - 2 = n for q.
-3
Suppose 4*r + 2*u + 16 = 0, -3*r - 2*u - 17 = 2*u. Let f = r - -18. Suppose -j - 4*j + n = -3, -5*n = j + f. Solve -o = -j - 2 for o.
2
Suppose -25 = -5*h - 5. Suppose 12 = 4*u, -4*n - h*u + 9*u + 5 = 0. Solve 0 = -3*m + n*m for m.
0
Suppose f - 2*k - 11 = -5*k, -5*f - 13 = -2*k. Let p = f - -4. Solve 3*g - 18 = -p for g.
5
Let i(n) = n - 4. Let x be i(8). Let d be x/10 - (-26)/10. Let y be (3 + 6)*1/d. Solve 0*u = y*u + 9 for u.
-3
Suppose 10*a - 14*a + 60 = 0. Solve -4*h + h = -a for h.
5
Let g = -20 - -20. Solve g - 5 = -f for f.
5
Let p be ((-18)/(-21))/(1/28). Suppose 0 = -2*d - 4*i - 4, -5*d + d - 4*i = 0. Suppose d*u + 3*k = 5*k, -5*u + p = k. Solve -o = -0 - u for o.
4
Suppose l + l = 5*t - 7, -5*t = 4*l - 1. Let g(a) = 5*a**3 - 2*a**2 + 3*a - 2. Let k be g(t). Solve 0*r + k = 2*r for r.
2
Let r(y) = -y**3 + 4*y**2 + 7*y - 4. Let v be r(5). Solve 5*s + 1 - v = 0 for s.
1
Let h be 2/3 - 210/18. Let s = 13 + h. Solve -y - 6 = s*y for y.
-2
Let m(u) = -2*u - 56. Let d be m(-29). Solve d*v = 2 - 0 for v.
1
Let i(w) = 2*w + 42. Let h be i(-21). Solve h = -k - 3*k for k.
0
Let b be -1*3*2/(-2). Let w be (1 - (-6)/(-2))*-1. Suppose 0 = 5*o - 2*y - 4, 0*y - 5*y - 10 = w*o. Solve o = u + b*u + 12 for u.
-3
Let z(q) = q**2 - 11*q - 8. Let d be z(12). Suppose 0 = -d*a - 5*n - 3, 0 = 5*n + 15. Solve -c - a*c = 0 for c.
0
Suppose -2*q - 1 = 3*h, h - q - 2*q = 18. Suppose -4*z + h*z + 6 = 0. Suppose -3*f - 3 - 7 = 2*p, 0 = -2*p + f + z. Solve -p - 14 = -3*g for g.
5
Let l = -9 - -1. Let s be 4/l - (-22)/4. Suppose -13 = -2*x - 3. Solve -s = -2*j + x for j.
5
Let r(j) = -j**3 - 4*j**2 - 4*j + 2. Let q be r(-4). Solve 2 = 4*k + q for k.
-4
Let w be (24/6 - -2) + -1. Solve -k = -7 + w for k.
2
Let k be -2 + 3 + 1/(-1). Let o = k - -8. Suppose -3*r + 18 = 2*m - 6*r, 0 = 4*m + 5*r + o. Solve 0 = m*d - 5*d for d.
0
Suppose 0 = -h - 2*h + 6. Suppose 0*n - n = 0. Let y be (-2)/(n + h/(-3)). Solve 0 = -y*k - 13 - 2 for k.
-5
Suppose 16 = -n + 4*n - 4*w, -5*n + 21 = -w. Solve 0*a + n = -a for a.
-4
Let d(k) = k - 4. Let q be d(6). Solve -q*x + 5*x = -6 for x.
-2
Let c = 13 + -10. Solve -c*z = z + 12 for z.
-3
Suppose 0*x = x - 6. Let n(r) = r - 6. Let g be n(x). Solve -q + 6 - 3 = g for q.
3
Let c be 16 - (3 + 1) - (-2)/(-1). Solve -i - c = i for i.
-5
Suppose 0 = 22*s - 24*s + 10. Solve 9 = s*x - 6 for x.
3
Suppose 35 + 25 = 10*f. Let r(x) = -3*x**3 + 2*x + 1. Let l(c) = -c**2 - 4*c + 4. Let z be l(-5). Let a be r(z). Solve -4*b + f = a for b.
1
Let s = -35 - -36. Suppose 4*q = 3*f - 32, -4 = -4*f - q + 7. Solve -s = f*p - 17 for p.
4
Suppose -20 = 4*r, -b + 1 = r - 0. Solve -2*x = b + 4 for x.
-5
Let w(z) = -z - z - 4 - 2*z. Let n be w(-3). Suppose -2*i + n = 2*i. Solve -i = 2*x - 0*x for x.
-1
Suppose -4*z = 2*o + 4, -2*o + 4*z = -5*o - 2. Suppose -5*c - 4*w + 22 = 0, -2*c + 17 = o*c + 3*w. Suppose 0 = u + c*u - 12. Solve -j - 6 + u = 0 for j.
-2
Suppose 6*d + f = d - 3, 4*d + 3 = -f. Solve d = -u + 4*u for u.
0
Let h = -24 - -34. Solve -p + 6*p - h = 0 for p.
2
Let j = 2 - 0. Let k be 8*(0 - -4)/1. Suppose -4*z + 54 = -3*d, 4*d - 2*d = -3*z + k. Solve j*b = -b - z for b.
-4
Let f = 0 - 0. Suppose -14 = -0*q - 2*q. Let h be -2 - (f - q - -1). Solve u - h*u = 0 for u.
0
Let b(h) = h**2 - 2*h. Suppose -o - 5*v - 8 = 0, -4*v + 5*v = o - 4. Let w be b(o). Let q = -3 + 5. Solve 3*i + q + 4 = w for i.
-2
Suppose 4*r = -0*r. Suppose -4 = -r*b - 2*b. Let q = 21 - 7. Solve -b*a = q - 4 for a.
-5
Let v = -4 + 10. Let d be (-3)/9 + -4 + (-168)/(-18). Solve v*h - h = -d for h.
-1
Suppose -5*q = -5*z - 5, -3*z - 2*q + 26 = z. Let w be 1/3*-3 - (-1 - 3). Solve 5*y - z = w*y for y.
2
Let v = 8 - -21. Let z = -18 + v. Solve 0 = 2*m - 1 + z for m.
-5
Let o be -1*(-1 + 0 + -1). Suppose -9*x - 60 = -14*x. Suppose -o*z - 6 = -s, 5*s + 5*z + x = -3. Solve -3 = -s*a + 3*a for a.
-1
Suppose -m - 3*m = -2*t - 76, m + t - 22 = 0. Solve -4*l + m = l for l.
4
Let w = -20 + 9. Let s = w + 14. Solve -s*u + u = -6 for u.
3
Let v = -6 - -2. Let c be (1 + -3)*(-1 + v). Solve k = -4*k + c for k.
2
Let w be -11 - -16 - (-2 - -1). Solve w*u = 2*u - 4 for u.
-1
Let p = -8 - -13. Suppose -p*q + 0*q - 20 = 2*b, 0 = -3*q - 12. Suppose b = -0*h + 4*h. Solve -r + 5*r = h for r.
0
Suppose 0 = 2*z + 3*z - 25, 4*z = -5*h + 20. Let g be h/((-6)/2) + 0. Solve 4*k - 10 + 2 = g for k.
2
Let z(x) = 4*x + 3. Let r be z(8). Suppose 5*t + 3*l - r = 0, l = -2*t + 3*l + 14. Solve 0 = -3*a + t*a + 16 for a.
-4
Suppose 0 = c - k - 2*k - 21, 3*k + 15 = 0. Let f be c/(-27) + (-83)/(-9). Solve -20 = -f*g + 4*g for g.
4
Let n = -2 + 4. Solve -n*x = -4*x + 8 for x.
4
Let n(d) = d**2 + 7*d - 10. Let s = -59 - -104. Suppose 6*h + s = h. Let y be n(h). Solve 3*c - y = 7 for c.
5
Suppose -c + 2*c = 1. Let j = c + -1. Suppose 0*g - 5*g + 30 = j. Solve l = g*l - 5 for l.
1
Let s = -9 - -19. Suppose 2*z - s = -3*y, -y + 4*y = 5*z - 46. Solve -2*p - 2*p + z = 0 for p.
2
Let m be (-4)/4*(1 - 5). Suppose 1 = -v, 0 = -5*x + m*v + 7 - 3. Solve x = -5*z - 5 - 10 for z.
-3
Let g be -2*4*2/(-4). Solve g = -y + 5*y for y.
1
Let i be (-2)/9 + 16/72. Solve i = 6*b - b + 10 for b.
-2
Suppose -45 = 5*g - 10. Let s = -5 - g. Solve -s*m + 9 = -5*m for m.
-3
Suppose 2*a + q = 5*a - 4, -2*q = 4*a - 2. Solve 7 - a = -2*l for l.
-3
Suppose 0 = h + j - 7, -j - 10 = -6*j. Suppose h*m + 4*x - 28 = 0, 5*m - 5*x = -0*m + 55. Solve 0*f + m = -2*f for f.
-4
Let a be 4/18 + 140/18 + 2. Solve -5*s = -25 + a for s.
3
Let z(b) = b. Let a(x) = 4*x - 10. Let l(r) = -a(r) + 5*z(r). Let q be l(-5). Solve -5*t + q = -0*t for t.
1
Let m = 0 - -2. Suppose -2*k + k = -m. Solve f - k = 1 for f.
3
Suppose -4*o - 32 = -4*h, -4*o = -5*h - o + 48. Solve h*x - 8*x - 8 = 0 for x.
2
Suppose 6*r = 2*r + 5*f + 9, -2*r + 5*f = -17. Let x be (-198)/(-10) + r/(-20). Let p be 3/(-2)*x/(-15). Solve -b + 0*b = -p for b.
2
Let o be 1/((-21)/(-12))*(-28)/(-8). Solve -2*w = -w - o for w.
2
Suppose 10*y - 6*y - 8 = 0. Solve -4*p = y + 2 for p.
-1
Let k = 25 - 15. Suppose k = 3*a + 2*a. Solve 2*y - a = -10 for y.
-4
Let k(a) = -a**2 - 8*a. Let x be k(-7). Let v(o) = o**3 - 8*o**2 + 6*o + 7. Let d be v(x). Suppose 2*r - 8 = -d*r. Solve -f = -r*f + 6 for f.
2
Let p(u) = -5*u - 1. Let f(k) = k - 1. Let d(n) = -2*f(n) - p(n). Let b be d(1). Solve -w = w - b for w.
3
Suppose 4*n - n = 69. Let i = n - 19. Solve -3*o + i = 1 for o.
1
Let u be ((-4)/(-5))/((-2)/(-5)). Suppose -u = 2*t + 6. Let x = -2 - t. Solve -x*c + 5 - 1 = 0 for c.
2
Let k(x) = x. Let q be k(7). Solve -3*u + q*u = -12 for u.
-3
Let k(j) = -j**3 + 2*j**2 + j. Let z be k(-1). Solve 0 = -0*h + z*h - 8 for h.
4
Let d(z) = -z**2 - 3*z. Let k be d(-3). Solve k*r + 1 = -r for r.
-1
Suppose 24 = 9*i - 5*i. Solve 3*a = i - 3 for a.
1
Let f = -26 - -8. Let u = -2 + -5. Let m = u - f. Solve m + 4 = 5*o for o.
3
Suppose 3*c - c - 14 = -4*o, 2*o = -3*c + 5. Solve -3*g = g + o for g.
-1
Let c be (1 - 1)/(-3)*-1. Suppose c = -5*y + 4*y. Solve 0 = -4*o - y*o - 12 for o.
-3
Suppose -j = -4*v + 8, 3*j = 5*j - 4*v + 4. Solve -j*b + 0 = -4 for b.
1
Let f = 8 - 9. Let c be f*2 + 2 + 3. Solve -p + 2 - c = 0 for p.
-1
Let c be 0/(2/(-2)*-1). Let k(a) = -a + 8. Let g be k(5). Solve c = d + g*d for d.
0
Let y be (-1)/(2 - (-10)/(-4)). Suppose 3*x + 15 = 5*z, 0 = -3*z + y*z + 2*x + 3. Solve -t = z*t for t.
0
Let v(s) = -s**2 + 2. Suppose 2*u - 3*u = 0. Let o be v(u). Solve -3*y - 5 = o*y for y.
-1
Let a(z) = z**2 - 3*z + 6. Let s be a(4). Solve 2*m + s = 4 for m.
-3
Let z = -38 + 41. Solve z*x - 2*x - 3 = 0 for x.
3
Suppose -z + 4*n + 16 = 0, -4*n = 3 + 9. Solve 0 + 4 = -z*d for d.
-1
Suppose -2*y + 12 = 4. Suppose y*r = 5 + 11. Solve -8*i + 20 = -r*i for i.
5
Let v(f) = -3*f + 24. Let t be