j = t + 2 for t.
2
Let p(f) = f**3 + 5*f**2 - 4*f - 16. Let b be p(-5). Solve 4*m - 20 = 0, m = -b*r - 2*m + 15 for r.
0
Suppose 3*d - 1 = 11. Let w be (-8)/36 - 119/(-9). Solve 0 = p - 3*k + w, 15 = 3*p - 2*p + d*k for p.
-1
Let r be (-465)/(-105) + 8/14. Solve -m - 26 = -5*b, 0 = -5*b + 30 - r for m.
-1
Suppose -20 = -3*i - 4*f, f + 16 = 2*i + 5*f. Solve 4*q = -2*s - q + 31, 4*s - i*q = -8 for s.
3
Suppose -5*g + 0*o - 2*o = -6, 4*o = 12. Suppose -2*h + 4 = -2*w - 0*h, g = -5*h + 20. Suppose 6 = -w*s + 10. Solve 20 = 4*r, -s*i - 4*r + 6 = -8 for i.
-3
Let v be 2*1 - (-1 + -1). Suppose v*n = n. Let y be -1 - ((-2)/1 + n). Solve -m + y = 3, 2*m = -4*a - 4 for a.
0
Let k = 4 - -17. Suppose 0 = -3*p - 2*u + k, 2*u - 11 = -2*p + 5. Solve -11 = 2*s - p*w + 19, s - 3 = -2*w for s.
-5
Let c = 8 - 5. Let u be (8/3)/(1/c). Suppose 5*m - 125 = 5*r, 3*m + u*r - 3*r - 67 = 0. Solve 4*y + 3*v + m = 0, 13 + 22 = -5*y - 5*v for y.
-3
Suppose 8 = -h + 4*n, 3*h + n - 2*n + 24 = 0. Let t be 4/h*(-3 + 1). Solve -t = i, -2*p = -0*p + 5*i + 9 for p.
-2
Let x be 2/8*40/2. Solve -i + 2*r + 1 = 4*i, -3*i + 4*r - x = 0 for i.
1
Suppose 3*m - 13 = -2*w - 3*w, 0 = 5*w + m - 11. Suppose -3*u = -2*b - w, 0 = 5*u - 2*b - 2. Solve 5*q = -4*t + t + 10, u = 5*t + 3*q - 6 for t.
0
Suppose 0*r = 5*r + 25. Let i(l) = l + 8. Let v be i(r). Solve 4*s = v*a + 16, -2*a + 2*s = 4*s + 6 for a.
-4
Let t(c) = 2*c**2 + 7*c + 2. Let d be t(-5). Suppose -f + 6*f - 14 = -s, 4*f - 5*s - d = 0. Solve 4*v + 2 + 2 = -j, 2*v = -f*j - 2 for v.
-1
Let h be 5/((260/(-24))/(-13)). Solve -9 = 3*x, 7*x = -3*d + 2*x - h for d.
3
Suppose -5*d + 2*c - 5 = -13, -3*d - 4*c + 10 = 0. Solve -w + 18 = -5*g + g, -d*g - 3*w - 16 = 0 for g.
-5
Let k = -17 + 23. Solve -3*y = -d - k - 3, 0 = -2*d for y.
3
Let t = 0 + 2. Let p(z) = 2*z**3 - 3*z**2 - z + 2. Let u be -2 + -2 + 3 + 3. Let i be p(u). Solve i*m - 6 = -t*c - 30, 2*c + 16 = -2*m for c.
-4
Let a be (4/(-2))/(4/6). Let o be (3 - a/(-3)) + 2. Let z = 64 - 48. Solve -j = 4*v - 2*j + 4, 4*j - z = o*v for v.
0
Let m = 33 + 4. Solve -5*h = -3*a - a + m, 4*a + 5*h = -13 for a.
3
Let z = 3 - 1. Let b be (1 + 1/(-3))/((-4)/(-30)). Solve 2*w + 5*o = z*o - 7, -5*o - 20 = -b*w for w.
1
Suppose 2*z + h + 4 - 14 = 0, -5*z = -h - 11. Suppose -4*c + z = -85. Let b = c - 12. Solve -f - 3 = -1, 5*f + b = -n for n.
0
Let z be 10/15 + (-13)/(-3). Suppose 0 = z*k - k - 20. Solve -k*b + 36 = 4*o, -2*o - 15 = 4*b - 39 for b.
4
Let m(q) = -q**3 - 7*q**2 - 3*q - 7. Let w be m(-7). Solve 0 = 2*c - 0*c - 2*s - w, 0 = -5*c + 3*s + 25 for c.
2
Let a(c) = c + 8. Let g be a(-6). Solve 4 - 2 = -g*s, 2*v + 5*s = -3 for v.
1
Suppose 97 = -4*h + j, 4*j = h + 2*j + 19. Let x = h + 30. Solve 2*d = x*d - 6, 1 = -r + 3*d for r.
5
Suppose -25 = -5*v - 0. Solve v = a - 6*a, 5*t + 2*a = -17 for t.
-3
Let y be ((0/2)/2)/(-2). Suppose -24 = -y*s - 2*s. Solve 0*c - 4*c - 16 = -4*t, -5*c = -t + s for t.
2
Let y = 3 + 1. Suppose p - 9*a + 14*a = 17, 0 = 5*p - 2*a - 4. Suppose 7*w - 20 = 2*w. Solve -3*h + 29 = -y*g, -p*h + 0*g - 2*g = w for h.
3
Let k(u) = -u**3 + 10*u**2 + 12*u - 9. Let v be k(11). Solve -2*f - 5*x - 35 = 0, 2*f = -v*x - 9 - 11 for f.
-5
Suppose 4 + 6 = 5*v. Let p(m) = 3 - 4*m**v + m**3 + 2 - m - 4*m. Let s be p(5). Solve -4*t + 5 = u - 3, -s*t = -u - 19 for t.
3
Let d(u) = -u**2 - 22*u - 28. Let a be d(-20). Solve -6*c = -c + 4*j + 14, -4*j - a = 4*c for c.
-2
Let m(a) = 6*a**2 - 2*a + 3. Let g(w) = -5*w**2 + w - 2. Let t(i) = -4*g(i) - 3*m(i). Let h be t(1). Solve h*x = -5*k + 23, 21 = 5*x + 2*k + 8 for x.
1
Let i be (160/100)/((-4)/10). Let y = -15 + 23. Let j = i + y. Solve -j*t - 18 = -3*u - 7*t, -2 = 3*u - 2*t for u.
2
Let n be 1*(-5 + 3 + 18). Suppose o = -3*o + n. Solve -3*f + 3*v = 16 - 4, 0 = o*f - 2*v + 12 for f.
-2
Let y = -1 - -3. Let g = -205 - -208. Solve 5*i - y*x = 9, 10 + 2 = g*i + x for i.
3
Let d be (-42)/(-4)*2/3. Solve 3*u = m + u + d, -3*u = -15 for m.
3
Let h(a) = -a**3 - 3*a**2 - 2*a. Let o be h(-2). Solve o = -3*w + x - 1, 4*w + 3*x - 3 = -0 for w.
0
Suppose 3*k + 0 - 6 = 0. Suppose -p = -5 + k. Solve 0 = -3*n - 15, -4*r - 4*n + p*n - 9 = 0 for r.
-1
Let s(a) = 4*a**2 + 2*a - 2. Let w be s(1). Solve 0 = -2*o - 2*f + 6*f - 4, w*o + 5*f = 31 for o.
4
Suppose -3*o - o = 0. Let r be 1 + 2*(-1 + 2). Suppose o = i - r*i + 10. Solve -3*f + 15 = -6*b + i*b, -2*b + 10 = 2*f for b.
0
Suppose -2*s - 3 = -3*s. Suppose 4*w + 20 = -5*c + c, s*c + 4*w + 20 = 0. Let y be 15/6*(-8)/(-5). Solve 5*d = -t + y*t + 14, c = -4*t + 5*d - 12 for t.
2
Let a = 2 - -6. Suppose 0 = -i - v + a, i = -i - 3*v + 15. Let b = -2 + 7. Solve s - 3 + 6 = -b*u, i = -2*u - 3*s for u.
0
Let r(d) = d**2 + 2*d - 6. Suppose 2*o = 4 - 12. Let s be r(o). Solve 6 = -3*q + k + 2*k, 0 = -5*q - s*k + 18 for q.
2
Suppose 41 + 149 = 5*w. Suppose 3*s - 5*s = 4*f - w, 2*s = 6. Suppose -29 = -c + f. Solve 3*y + y + 14 = 2*r, 5*y = -4*r - c for y.
-5
Let l = 0 + 3. Solve 2*s - 10 = 0, -l*n + 0*s + 8 = s for n.
1
Let n be (21/5)/((-3)/(-15)). Let o = n + -15. Solve 3*a - o = -3*z, -3*a + 5*z = 2*a for a.
1
Suppose x = 6*s - 3*s - 11, -s + 5 = 0. Solve 0 = 4*q - 5*w, -3*q + 2*q - 11 = -x*w for q.
5
Suppose 6*l - 16 = 14. Solve l*o = -5*j - 3 - 7, 5*j + 8 = -4*o for j.
0
Suppose -2*b - 3*b + 25 = 0. Solve -5*m - 3*t = -31, -4*m - 2*t + b*t + 14 = 0 for m.
5
Let h = 41 + -41. Solve h = -n + 3*f + 8, 2*n + 3*f - 6 = -f for n.
5
Suppose j = -2*j + 3. Let r be 5 - (0 - (j - 2)). Let s = r + -2. Solve -2*l = -6, -d = s*l + 5 - 15 for d.
4
Let y be -14*(-7)/((-49)/(-2)). Solve 4*p + 7 = c, p = -3*c + 4 + y for p.
-1
Let f be -10*2/(-20)*4. Suppose j + j + 3*g - 14 = 0, 4*j - 24 = -f*g. Solve -8 = -5*t - j*u, -5*t + u + 15 + 8 = 0 for t.
4
Suppose 5*n - 9 - 11 = 0, -3*n + 12 = 4*m. Suppose r - 2 = -m*r. Solve 3 = 3*v - r*l - 3, 2*v = 2*l + 2 for v.
4
Let l = 208 - 204. Solve -l*w - 2 = -2*z, w = -2*z - 0*w - 13 for z.
-5
Suppose 0 = 2*v - t, -4*v - 7 - 5 = -5*t. Let a be 0*3/6*-1. Solve 3*y + v*l - 13 = -0*y, -3*l + 15 = a for y.
1
Suppose 28 = 5*g + 3*o, -20 = -3*g - 2*g + 5*o. Let t(k) = 3*k**2 + 3*k - 4. Let l be t(-3). Solve -2*h = -g*h + 5*a + l, -4*a + 11 = 5*h for h.
3
Let f(x) = -x + 6. Let u(w) = -w**3 - 9*w**2 - 7*w + 2. Let s be u(-8). Let o be f(s). Solve -4*z + 4*g - 5 = 7, 2*g = -4*z - o for z.
-3
Suppose -v + 6 = 2*p, 0 = v + 6*p - 2*p - 10. Suppose d - 24 = -5*l, 0*d + l - 12 = -v*d. Solve d*s + 24 = -2*r + 6*r, -3*s + r - 14 = 0 for s.
-4
Let p(l) = -l**3 - 18*l**2 - 35*l - 28. Let z be p(-16). Solve -4*o + z = -4*w, o - w + 4 = -3*w for o.
2
Let w(m) = m + 9. Let a be w(-4). Let f be (2/(-3))/((-2)/9). Suppose -f*r = -4*r + 5. Solve j = r*h - 10*h + 22, -3*h - a*j = 0 for h.
5
Let a = 13 + -3. Let r = -10 + a. Solve 0 = -2*p + 2, 4*l + l - 2*p - 23 = r for l.
5
Suppose -3*k - 46 - 44 = 0. Let j be 3*(-5)/(k/4). Solve -4*c + 3 = a + 4, -5*c + j*a = 11 for c.
-1
Suppose 0 = 3*d + 2*d - 2*k - 1, -5*k + 10 = 0. Suppose 0 = -2*s + 3 - d. Solve -u + 2 = 0, -5*y + 3*u = -0*y + s for y.
1
Let a(f) = -f**2 + 3. Let v be a(0). Suppose v*l - l - 6 = 0. Solve 0 = -l*q - y + 13, q + 5 = -8*y + 3*y for q.
5
Let t be -2 + (1 - (2 + -5)). Suppose -t*b = 2*b - 2*v - 6, 5*b = -3*v - 9. Solve 4*k = -12 - 4, 2*j + k + 10 = b for j.
-3
Let k(h) = h - 4. Let x be k(6). Solve x*r = -0*r - 5*c + 11, -3*c - 1 = 5*r for r.
-2
Suppose -4*w + 15 + 1 = 3*c, 16 = 4*w - 3*c. Let r = 1 - -1. Solve r*u = w*f + 18, 4*f + 10 = -3*u - 13 for f.
-5
Let o = 1 + -1. Suppose 3*c = -o*c - z + 14, 5*z = -2*c + 18. Suppose 17 - 1 = c*r. Solve -5 = -r*m + 5*g, 0*m + 5*g = -4*m + 35 for m.
5
Let j = 8 + -15. Let o be 12/7 + (-2)/j. Solve -7 = -3*u - 2*u + o*t, -5*t + 20 = 0 for u.
3
Let q be (1 - 0) + -9 + 6. Let x = 4 - q. Suppose y - 17 = -2*v - x, 1 = -2*v + 3*y. Solve 3 = -k + 4*k + t, v*k = 3*t - 9 for k.
0
Suppose -5*c + 50 = -3*r, 4*r + r = -4*c + 40. Let b = -5 + c. Solve 4*s = -4*a + 24, -3*s + b*a - a = 10 for s.
2
Let z be (7 - 5) + (10 - -1). Solve -15 = -2*b - x, 3*b + 2*x - z = 12 for b.
5
Let x(g) = 5*g**2 + g + 1. Let n be x(-1). Let d be 0*(-2)/(-8) - -3. Suppose -d*i - 5 = -35. Solve -i = -5*a + 2*a + m, -n*a + m = -20 for a.
5
Let j be 1*(-4)/6 + (-51)/(-9). Let b be (-2)/6 + (-7)/(-3). Solve -j*t - 18 = b*z, z + 3 + 3 = -t fo