2. Let t be r(-2). Suppose -6 + t = -2*p. Solve p*c = c for c.
0
Let l be 11*2/(3 - 1). Let i = -7 + l. Suppose 11 = i*j - 5. Solve j - 3 = -z for z.
-1
Let g = -3 + 5. Suppose 0*z + 2*z + 4 = -2*a, 0 = -g*a - 3*z - 6. Solve a*u + 2*u - 6 = 0 for u.
3
Suppose 0 = -0*j + 5*j + 5*q, 0 = -2*j + 2*q. Solve j = -x - 0*x - 2 for x.
-2
Suppose -l + 13 = -2*j, 19 = -5*j + l - 12. Let u be (j + 4)*9/(-2). Suppose u*x = 4*x + 75. Solve -x = t + 2*t for t.
-5
Suppose 0 = -4*z - 3*i + i + 18, -23 = -4*z + 3*i. Solve 0*k - z = k for k.
-5
Suppose -3*s + 8*s - 25 = 0. Solve -s + 3 = -2*o for o.
1
Let y = 91 + -91. Solve y = -3*n + 1 + 2 for n.
1
Let i(a) = -a + 1. Let k(d) = -2*d + 2. Let v(l) = -3*i(l) + 2*k(l). Let g(n) = -n**2 - 8*n + 1. Let w be g(-8). Let u be v(w). Solve u = -0*t - 3*t - 3 for t.
-1
Suppose 8 = 3*a - 2*h, 2 = -2*a + 3*h + 2*h. Suppose -l - a = -2*b, 5*b = -2*l + 21 - 2. Solve u = -b*u for u.
0
Suppose 5*h - 7*o + 10 = -2*o, -3*h = -5*o + 16. Suppose h*b - 9 = 0, 4*m + 0*m - 3 = 3*b. Suppose 5*q - m*q - 10 = 0. Solve -5*k + 10 + q = 0 for k.
3
Suppose -107 = 2*y - 267. Let u be (2/(-4))/((-1)/y). Suppose 3*g + 5*r - u = -15, -r = g - 5. Solve g*d = 5*d for d.
0
Suppose -3*c - 400 = -c. Let y be c/(-24) - (-4)/6. Suppose 0*g + 10 = -2*g, -3*u = 3*g + y. Solve -2*s = 2 + u for s.
-2
Suppose 5*r + 4*t = r, -r + t + 10 = 0. Solve -r*i + 10 = 30 for i.
-4
Let c = 6 + -1. Suppose -2*p - g + 2 = 0, -g + 2 = c*p - 0*g. Solve p = -0*d - d for d.
0
Let t = -2 + 4. Suppose -3 - 15 = -t*n. Solve 0*h + n = -3*h for h.
-3
Suppose -2*m = -23 + 17. Solve -m*z + 8*z = 5 for z.
1
Suppose -i - p + 4 = 0, 0*i + 16 = 5*i + p. Suppose -i*z + 10 = -14. Solve -2*h = z - 0 for h.
-4
Suppose 15 = 4*c - 5. Solve h + c = 6*h for h.
1
Let n be 2/(-6) + 366/18. Solve -6*k + k + n = 0 for k.
4
Let a(r) = r**3 + 6*r**2 - r - 3. Let t be a(-6). Let o be ((112/(-20))/7)/(1/(-5)). Solve -o = t*u + u for u.
-1
Suppose -k - 6 = -2*k. Let t(w) = -w**2 + 6*w + 5. Let r be t(k). Solve 9 = -r*a - 1 for a.
-2
Let m = -22 + 33. Solve 4*t = 1 + m for t.
3
Let p = -24 - -44. Solve -5*y - p = -5 for y.
-3
Let v(q) = 5*q**2 + q + 1. Let l be 1 + (-2 - -2) - 2. Let i be v(l). Suppose t - 12 = -0*t. Solve t + 13 = i*x for x.
5
Let b(t) = 2*t + 6. Let g be b(6). Let q be 176/g - (-2)/9. Suppose u + 0*z = -z + 2, 0 = -u - 5*z + q. Solve -d - d + 2 = u for d.
1
Let t(d) = -d + 23. Let f be t(15). Solve -f*p - 8 = -4*p for p.
-2
Suppose 0 = -y - 2*h, -45 = -5*y - 3*h + 8*h. Solve -5*v = -19 - y for v.
5
Suppose o = 1, -4*q - 5*o + 0*o + 17 = 0. Let c be 4/8*(1 + (-4)/4). Solve y - q*y - 4 = c for y.
-2
Suppose -15*t = -9*t - 18. Solve t*x - 5*x + 4 = 0 for x.
2
Let i be (3/2)/(2/4). Suppose 5*x + g - 7 = 0, -i*g = 5*x + g + 2. Solve 0 = -s + 4 - x for s.
2
Suppose 0 = 3*h, f = 6*f - 5*h - 15. Solve -j - f = -4 for j.
1
Let u(v) = -6*v. Let x(f) = f**2 - f - 3. Let s be x(3). Suppose -16 - 16 = s*g - 5*i, 2*i - 4 = -g. Let w be u(g). Solve 5*r = -w + 9 for r.
-3
Suppose -2*v + 9 = v, 2*d - 5*v = -15. Solve i + 4*i - 25 = d for i.
5
Suppose 0 = -5*w + 6*w - 2. Suppose -4*q + 4*z + 56 = 0, 0 = 5*q - 4*z - 30 - 44. Solve -4*y + q = w for y.
4
Let d be -1 + (2 - (3 - 4)). Solve d*z - z + 1 = 0 for z.
-1
Let w = -3 + 7. Suppose -x + w*x = 15. Suppose -2*f + x*s = -6*f + 8, 0 = 3*s. Solve -f*a + 4 = -a for a.
4
Let k(b) = b - 4. Let o be k(6). Suppose o*t = -2*t. Solve t = -0*g + 5*g - 25 for g.
5
Let n be 2 + (4 - 2) + -3. Let k = n - 1. Solve k = -0*w - 3*w + 6 for w.
2
Let x = 26 - 26. Solve 5*q + 0*q + 15 = x for q.
-3
Suppose 5*x + 5*c = 80, -c + 3 + 1 = 0. Suppose -3*o - g + 17 = 0, -2*o - 4*g = -3*g - x. Let q(h) = -h**2 + 8*h + 2. Let i be q(8). Solve o = z - i*z for z.
-5
Let t(i) = -2*i**2 - 18*i + 12. Let p be t(-9). Solve -2*x - 2 + p = 0 for x.
5
Suppose -5*c = -0*i - i - 33, 4*i - 43 = -5*c. Suppose 0 = -26*u + 25*u + 3. Let b = c - u. Solve 2 = -2*g - b for g.
-3
Suppose 4*t - 24 = 5*u + 15, 0 = 2*t - 4*u - 24. Solve 0 = -2*c - c + t for c.
2
Suppose -v = -2*v + 24. Let b be (7/(-21))/((-2)/v). Solve b*l = -0*l - 12 for l.
-3
Let i = 14 - 9. Suppose 0 = -i*u + 3*u + 8. Solve -u*j - 9 = 7 for j.
-4
Let q = -1 + 4. Let y(x) = -x**2 + 4*x + 1. Let i be y(q). Solve i*h + 1 = -3 for h.
-1
Let g = 7 + -4. Let o = g + 0. Suppose -j = -3, j + 12 = o*u + 5*j. Solve -l - 1 + 2 = u for l.
1
Let a(y) = y**3 - 7*y**2 + 12*y. Let h be a(5). Solve -9*q = -4*q - h for q.
2
Let i = 20 + -20. Solve i*f = -4*f - 12 for f.
-3
Let r = 0 - 0. Let l(z) = z + 4 + 4 + r*z. Let q be l(-6). Solve c - 3 = -q*c for c.
1
Let u(d) = -4*d + 1. Let x be u(4). Let f = 18 + x. Solve 4 + 5 = -f*c for c.
-3
Let h be 80/15 - (-4)/6. Solve 4*u - h*u = 0 for u.
0
Suppose -2*i = u - 3*i + 2, u - 2*i + 5 = 0. Let o = 14 - 10. Solve -o*j = -u + 9 for j.
-2
Let n(h) = h**2 + 4*h - 2. Let y be n(-4). Let b be ((-3)/y)/((-7)/(-14)). Solve k - 4*k - b = 0 for k.
-1
Let o be (-72)/(-7) + (-4)/14. Let f be (3 - 2)/(2/o). Solve f*j = 3*j - 2 for j.
-1
Let b = 14 - 8. Solve -b*y = -y - 10 for y.
2
Suppose 2*h + 4 = 4*h. Suppose -2*j + 27 = 5*m - 43, -5*j - 2*m + 133 = 0. Solve -3*i + j = h*i for i.
5
Suppose 12 = 3*w + w. Suppose -w*g = -18 - 24. Solve g + 1 = -3*n for n.
-5
Let h(l) = -8*l - 1. Let w be h(-1). Let n = w + -5. Let s be (-10)/5*(-3)/n. Solve 15 = s*r - 0*r for r.
5
Let d(a) = a + 16. Let v be d(-14). Suppose -3*l - 5 = 5*s - 18, 0 = -v*l + 5*s - 8. Solve -f + l = -2*f for f.
-1
Let k be ((-12)/(-7))/(6/21). Suppose w = k*w. Solve i + i - 4 = w for i.
2
Let f = 19 + -15. Solve -f*i + 4 = -8*i for i.
-1
Let i = -83 - -86. Solve -4*f - i = -3*f for f.
-3
Let d = 15 + 4. Suppose 5*s = d + 31. Let x = 17 - s. Solve 2 = -5*o + x for o.
1
Let v = 0 - -1. Let g = v - -2. Solve g = -2*s - s for s.
-1
Suppose 28 = 33*c - 26*c. Solve -g - c*g = 15 for g.
-3
Let x be 68/18 - 6/(-27). Suppose 0 = j - x. Solve -5*y = 29 - j for y.
-5
Let k(h) = -h**2 - 3*h + 2. Let m = 4 + -7. Let s be k(m). Let i = s + -2. Solve i*d = -2*d - 4 for d.
-2
Suppose -4*m + 0*s + 17 = -3*s, -m = -4*s - 14. Solve m*u = -0*u + 8 for u.
4
Let p = -18 + 30. Solve -4*g + 0*g - p = 0 for g.
-3
Suppose 13 = -m + c - 2*c, 3*m = 4*c - 46. Let w = 8 + m. Let z = 6 + w. Solve -6*q + q - 10 = z for q.
-2
Let g = -14 + 19. Solve 11 = -g*a + 26 for a.
3
Suppose 2 + 3 = 5*n. Let f be 0/(n + 0/1). Solve 2*x - 10 = -f*x for x.
5
Suppose 0 = 3*u - 8*u. Let f be 1 + -4 + 20/5. Solve u = -s - f - 2 for s.
-3
Suppose -5*b + 5*m + 20 = 0, -3*b + 0*m = -2*m - 8. Suppose 2*l + 4*w - 34 = b, -l - w = -0*l - 13. Let f be 55/15 - 2/3. Solve 3*c - l = -f for c.
2
Suppose 4*c + 76 = 4*j, -5*c = -4*j - 29 + 121. Let m be 2/3 + c/24. Solve m = 3*t - 2*t + 2 for t.
-2
Suppose -3*p - 15 = 5*s, 5*s - 2*p = p - 45. Let a be (-5)/15 + (-2)/s. Let h be (3/2 - 1)*a. Solve -k + h*k + 4 = 0 for k.
4
Suppose -4*c = -3*c - 2. Let d = 0 + c. Suppose d*g = -2*g + 136. Solve 5*f - 9 = -g for f.
-5
Suppose 6 = -5*g + 1. Let y be 0*(-2)/(-4)*g. Suppose -2*r + 0*r + 4 = y. Solve 4*k = r*k - 8 for k.
-4
Suppose 23 = 5*m - 7. Let l(y) = -y**3 + 8*y**2 - 5*y - 8. Let j be l(7). Solve 0 = 3*n - m - j for n.
4
Let l(b) = 4*b**2 + b + 1. Let q be l(-1). Let n = 6 - q. Solve 0 = n*p - 4*p - 4 for p.
-2
Let k = 5 + -3. Suppose -k*x = x - 12. Solve -2*y - 6 = -x*y for y.
3
Let w = -6 - 0. Let s be (1 + -1*4)*1. Let j = s - w. Solve j*h + 10 = 1 for h.
-3
Suppose 0 = w - 3*w. Suppose -4*z = -w*z. Solve z = -5*a + a + 8 for a.
2
Let g = 4 - 1. Solve -4*i = -g*i + 3 for i.
-3
Suppose 5*r = -3*b + 11, -5*r = -2*r + 15. Solve d - 5*d = b for d.
-3
Suppose 0 = -4*k - 4*p + 4, 2*k - 4*k + 2*p - 2 = 0. Let s be 15 + -19 + (3 - -1). Solve k = t - s*t for t.
0
Let k be 2/(-8) + 567/(-36). Let b be (k/12)/((-6)/9). Solve b*u = u - 4 for u.
-4
Suppose 2*t - 3*t = -2. Let w be 2/(3 - (0 + t)). Suppose -10 = 2*d + d - 5*a, -w*d - 2*a = -20. Solve 4 = -d*i - 21 for i.
-5
Suppose -3*y + 6 = 4*c, -11*c + 16 = -9*c - 5*y. Solve c = -w + 1 for w.
-2
Suppose 2*z + 4*r - 11 - 15 = 0, 3*z - 3*r = 3. Suppose -2*y + y = -5. Solve 0 = z*n + y for n.
-1
Let q be -1 + 0 - (-2 + -2). Suppose 2 = 5*m - q. Let i be 10/(m + (-1)/2). Solve 0 = 4*o + o - i for o.
4
Suppose 134 = 4*h + 6. Suppose -3*j = -7*j + h. Let t = -8 - -11. So