3*v, 5*v = -z*l + 3*l + 10 for v.
2
Suppose -3*b + 7*b + 48 = 0. Let q = b + 15. Suppose 7*x - 40 = 3*x. Solve -4*g = q*v - x, -v - 4*v - g = 6 for v.
-2
Let b(h) = h**2 + 8*h - 4. Let i be b(-9). Solve -4*t + i*r - 5 = 0, 0*t + 3*t + 4*r = 4 for t.
0
Let k be (-44)/(-4) + 9/3. Suppose 5*x = 11 + k. Solve x*s = 2*z - 5 - 15, -5*z = -s - 4 for z.
0
Let n(l) = -l**2 + 6*l - 6. Let v be n(4). Let t(w) = 2*w + 1. Let g be t(v). Solve 4*z + g*u + 20 = 3*u, 3*z + 2*u + 15 = 0 for z.
-5
Suppose -j - 2 = -0*j. Let h be j + 1 - -1 - -3. Solve -m = -4*o, m = -h*o - 2*m for o.
0
Let q(y) = -y + 2. Let u(t) = -t**2 + 4*t + 7. Let g be u(6). Let f be 12/g - 6/(-15). Let l be q(f). Solve -o - 14 = l*w, 0*w = -w + o - 6 for w.
-4
Let s(c) = -c**2 + 5*c + 4. Let f be s(5). Suppose 4*y + 10 = -54. Let g = -14 - y. Solve -2 = g*m - u, 0*u = 4*m - f*u - 4 for m.
-3
Suppose v = -6*v + 28. Solve 2*l + 6 = 0, -l + v = 2*f + l for f.
5
Suppose i = 4*t - 1 - 4, -i = 5. Let m = t + 0. Solve 2*y + 2 + m = h, 2*y = 5*h + 14 for h.
-4
Let o be (-6)/(-9) + 16/12. Solve 0 = -2*h + t + t - 18, 0 = o*h + 2*t - 2 for h.
-4
Let r be 5*4/(0 + 1). Solve -k + 7 - 2 = -4*u, -4*k + r = -4*u for k.
5
Suppose -6 + 2 = -i, -4*v - i = -160. Suppose a - 78 = -3*c + 2*a, -5*a = -2*c + v. Solve -4*k = -3*d - c, 4*d = 4*k - 17 - 15 for k.
3
Suppose 3*s - 15 = 4*q - 46, -4*q = 5*s + 9. Suppose q*r - 8 = 2*r. Solve -r*l - 7 = -3*a - 0*a, -a + 2 = -l for l.
-1
Let i be ((-2)/2)/(4/(-16)). Let y be (-164)/(-10) - ((-48)/(-20) - 2). Solve -i*a - y = -4*c, 5*c + 29 = -3*a + 9 for c.
-1
Let x(l) = -l**3 - 8*l**2 + 4. Let p be x(-8). Suppose 3*m + 0*m - 3*h - 18 = 0, -p = 4*h. Solve -5*t - 5 = -m*o + 15, 4*t + 10 = -2*o for t.
-3
Let w be ((-12)/15)/((-8)/20). Let d(p) = 3*p - 2. Let y be d(w). Solve 3*i - 3 = -4*u + u, 4*u = -i + y for u.
1
Let j be 5/(-3)*-3*1. Let c = j + -1. Let o(p) = -30*p + 215. Let z be o(7). Solve 0 = z*u + 15, c*v - 3*u = u + 4 for v.
-2
Let u = 100 + -88. Solve 4*c = 4*l + u, 5*c - 5*l + 3*l - 9 = 0 for c.
1
Suppose -3*b = 5*r + 7, 2 = 2*r - 0*r. Let x(k) = k**2 + 6*k - 4. Let o be x(-6). Let s = o - b. Solve s*j + 12 = 4*j - 4*z, 0 = 2*z - 2 for j.
4
Suppose 0 = -2*k - 5*v + 21, 3*k - 4 = -v - v. Let b be 2/k*(-3 + 1). Solve z = b*t + 2*t + 1, -13 = -2*t + 5*z for t.
-1
Suppose -6*t + 4*t = 4*r + 50, -4*t - 4*r - 80 = 0. Let c be ((-9)/5)/(3/t). Solve 3*d = -4*k + 2 - 13, 0 = 3*d - c for k.
-5
Let w(h) = -2*h**3 + 4*h**2 - h - 2. Let n be w(2). Let q be n/(-22) + (-256)/(-44). Let b = q + -3. Solve 4*t = -2*u + 12, -b*u - t = -2*t + 17 for u.
-4
Suppose -2*q = -3 - 1. Let s = -9 + 24. Let l(j) = 3*j**3 + 2*j**2 - 2*j + 1. Let u be l(1). Solve 3*i + q*b = 7, u*b = 5*i - 4 - s for i.
3
Suppose 0 = f - 0*f - 2. Solve 2*z + 6 = f*u, 2*u = 5*z - 1 + 4 for u.
4
Let t = 110 - 105. Solve -3*f + 8 = z, 3*z - 7*z + 11 = t*f for z.
-1
Let w be 1*4 - (-32)/(-8). Suppose w = y - 5. Solve -j - 8 = 3*l, 2*j - j + 12 = -y*l for l.
-2
Suppose 5 = -5*g - 0. Let x be -1 - (3/g - 0). Suppose 2*i = -2*d - 0 + x, -d = -i - 9. Solve -4*p + d = 5*v - 5, -2*v + 4 = 3*p for p.
0
Let a(d) = d**2 + 2*d - 6. Let p be a(-4). Solve -5*f + 4 = h, -5*h - 4 = 3*f - p*f for h.
-1
Suppose 5*g = -5*u - 35, -g + 4*u + 8 = -0*u. Let x be g/(-4)*3*1. Solve x*h - 7*f + 2*f - 20 = 0, 3*h + 3*f = -12 for h.
0
Suppose 4*k = 4*f - 60, -62 = 4*k + f - 4*f. Let z = 8 - k. Solve 2*y = -4*u + 7*y + z, -4*u + 2*y = -22 for u.
5
Let y = -11 - -17. Let s = -2 + y. Solve 3*r + 3*l = 0, r + 15 + 0 = s*l for r.
-3
Suppose -3*w + 3*l - 12 = 6, 0 = -3*l + 12. Let q = w - -4. Solve -15 = -r - 4*h, q*r - 3 = -4*h + 15 for r.
3
Let j be 141/6 + (-1)/(-2). Suppose j = -5*m + 99. Let f = 0 + 6. Solve -2*c - 2*k + f = 0, -4*c + 3 = -2*k + m for c.
-1
Suppose -3*i + 47 = -88. Let w = -24 + i. Suppose r = -6 + w. Solve 5*x = 5*y + r, 4*x - x - 15 = -3*y for x.
4
Suppose -2*m - 2*m = 0. Solve 0 - 3 = 3*i + 3*x, m = -4*i - x + 8 for i.
3
Let v be 1 + 0 + 45/3. Let w = v - 14. Solve -23 = w*d + 4*z + 3, 0 = 4*d + 5*z + 37 for d.
-3
Let f(a) = 2*a - 9. Let t be f(6). Solve 0 = y - 4*j - 9, y + 3*y + t*j = -21 for y.
-3
Let f(h) = -h + 5. Let r be f(0). Let l(d) = 6 + d + 4 - d**2 - r. Let z be l(0). Solve 3*t = z*y - 3 - 1, -y + 8 = 3*t for y.
2
Let r be (-63)/(-2) - 1/(-2). Let u(n) = 23*n**3 + n - 1. Let j be u(1). Let s = r - j. Solve 3*o = 4*d - s - 1, -o - 5 = -3*d for o.
-2
Suppose 0 = -2*k - 2*k. Suppose -2*d + 8 + k = 0. Solve d*r = 2*a - 0*r + 8, -5*r + 12 = -2*a for a.
4
Suppose 0 = 7*n - 3*n - 20. Solve -2*j = -4*l - 6, 4*j - n*l = -j for j.
-3
Suppose 0*s + 4*s = 8. Suppose -4*a + 20 = 3*n - 0, s*a + 4*n = 10. Let b be 6/2*10/15. Solve 2*r = -2*o, b*r = 5*o + 19 - a for r.
2
Let b(o) = -o - 2. Let c be (-66)/4*(-4)/6. Let k(p) = -5*p - 9. Let y(t) = c*b(t) - 2*k(t). Let h be y(-4). Solve -4*g + 4 = h, -5*s + 10 + 4 = -g for s.
3
Let q = -1 - -3. Let c = 3 + q. Let n(k) = -2*k**3 - 2*k**2 + 4*k + 2. Let y be n(-3). Solve -c*b - y = -1, o - 3*b - 11 = 0 for o.
-4
Let v = -37 + 58. Solve 0 = -r + 1, -5*o - 5*r = -o - v for o.
4
Let u be ((-20)/(-6) + -3)*3. Suppose 2 + u = -3*t. Let m = t - -3. Solve w = -a, -3*w = a + m*w for a.
0
Suppose -3*p - 2*s + 0*s + 15 = 0, s = -3*p + 15. Let a be -4 - -14*(-2)/(-4). Solve -4 = 3*u - 2*c, a + p = -2*c for u.
-4
Let a be (1/(-1))/(-1 - 0). Let m = a + 3. Suppose -t - 2*h = -7, t - 29 = -2*t - m*h. Solve -4*z - b = t, 5*b + 9 = 4*z - 2*z for z.
-3
Suppose -2*p - 3 = 5*t - 13, -5*p - 13 = 3*t. Solve 0 = 2*w + q - 12, q + t = 3*w - q for w.
4
Let o(c) = -c**2 + 9*c + 14. Let n be o(10). Let r be n*1*(3 + -2). Solve -5*p + 6 = -r*j + j, -p + 15 = 4*j for j.
3
Let t be ((-39)/(-15) - 1)*5. Solve t = -y - 3*z, -3*y - 2*z = 2*y - 12 for y.
4
Let d be 0/5*(2 + -3)*-1. Solve 0 = -4*f - 4*r - 0*r + 8, -5*r = d for f.
2
Suppose 0 = 5*n + 2*d + 19, 3*n - 4*d - 2 = -3. Let f = n + 6. Solve -4*p - t + 1 = 7, -3*p + 3*t = -f for p.
-1
Let m(j) = -2*j - 6. Let k be m(-12). Solve q + z - k = 5*z, 0 = q - 2*z - 8 for q.
-2
Let g = 12 - 7. Suppose g*d = 2*d - 63. Let w = d + 32. Solve 3*a = z + w, a - 2 = -0*a for z.
-5
Let l be 2/(1/(-3)*-2). Suppose 0 = -l*j + 46 + 224. Suppose 5*a - 4*c = j + 46, 0 = -5*a + 3*c + 132. Solve -6 = -3*k + 3*r - a, -r + 4 = k for k.
-1
Let m(t) = -19 - t**3 + t + 19 + 2*t**2 + 0*t. Let s be m(2). Suppose 28 = u - 4*d + 8, u + 4*d - 20 = 0. Solve -4*g - 12 = q, -5*q = s*g + 8 - u for g.
-4
Suppose -1 = 3*h - 3*k - 7, -h + 4*k = 1. Solve -5*j - h = 4*r + 21, -4*j = -2*r + 14 for r.
-1
Let o = 3 + -1. Let y be -3 - 1 - (o + -1). Let w be y*(-3)/((-6)/(-2)). Solve 3*z - 5*u - 14 = 0, 3*u - w*u + 1 = z for z.
3
Suppose 2*i = i + 2. Solve 0 = -x + 4*x - i*m + 7, 3*m = -12 for x.
-5
Let z(o) = 2*o - 3. Let c be z(3). Suppose -m + c*w + 30 = 2*m, 3*w = 2*m - 24. Solve 2*s = 3*p - 0*p, -3*p = -4*s + m for p.
2
Suppose -t + 50 = 4*t. Suppose 11*p = t*p + 13. Solve -r - 2*j + p = 0, 3*r - 4*j + 7*j - 24 = 0 for r.
3
Suppose -5*t = 2*i + 57, 17 + 3 = 5*i. Let n = 18 + t. Let j = n + -1. Solve 12 = -4*w + 8*k - j*k, 0 = 3*w + 2*k - 6 for w.
0
Suppose -3*m + 0*l + 13 = -l, 4*m - 20 = 2*l. Solve -m*h - 5*p - 34 = 0, -h - 3*p = -4*p - 2 for h.
-3
Let b = 7 - 7. Let x = -4 - -9. Solve 0 - x = -3*d + p, b = -d - p + 7 for d.
3
Let i be (15/(-20))/(1/(-12)). Solve -3*f + 3*w = -2*f - i, 5*f - 13 = -w for f.
3
Suppose 1 = f, -3*u + 5*f - 46 = -161. Let n be 96/u + (-2)/5. Solve -n*y = -h + 11, -h + 8 = -y - 0*h for y.
-3
Let a(w) = w**3 + 4*w**2 + w - 3. Let l be a(-3). Solve l*b + 2*b - 3*q = 31, -30 = -4*b + 5*q for b.
5
Let y be (-606)/(-8) + (-4)/(-16). Let u = y + -53. Let r be 682/165 + (-4)/30. Solve r = 8*t - 6*t + 3*g, 0 = -3*t + 4*g + u for t.
5
Suppose 3*c = -2*c + n, 0 = c - n. Suppose -5*a + 10*a = c. Solve -24 = 4*q - q + 3*w, 3*q - 5*w = a for q.
-5
Suppose -2*z + 2*a + 0 + 8 = 0, -2*a + 22 = 4*z. Solve -1 = -o, -8 - 6 = -3*h - z*o for h.
3
Let v(x) = -7*x**3 - x - 2. Let b be v(-3). Let m = -111 + b. Suppose -3*u - 2*d = -m, 2*u - 4*d + 2*d - 46 = 0. Solve -i = 3*p - 13, -5*p - i = 4*i - u for p.
4
Suppose m = 2*i - 0*m, 5*m = i + 18. Let b be -1 + 5 - (0 + i). Solve b*y + 4 = 0, -6 = 2*s + y - 2*y for s.
-4
Let l = -2 - -6. Solve -5*b + 7*h - 32 = l*h, -2*b + 5*h - 28 = 