 = -2*f - 6 + f + 0*f. Suppose -5*i = -3*m + 18, 22 = -3*i + m - 2*m. Let r be v(i). Solve t - 3*t - k - 5 = r, -2*t = 4*k - 4 for t.
-4
Let k(c) = -c**3 + 7*c**2 + c - 3. Let u be k(7). Suppose -2*j + u = -j. Suppose -9 = -j*x + 3*x. Solve -s - 2*b = x + 2, 5*s + 11 = b for s.
-3
Let c be 6*3/3*1. Let v be ((-21)/(-6))/(3/c). Solve 4*x = 3*t, v*t + 3*x - 29 = 2*t for t.
4
Let f be (9 - 3)/((-12)/(-8)). Solve f*q - 4 = 3*u + 5, q + 5*u = 8 for q.
3
Let t = 6 - 42. Let j = -26 - t. Solve 5*h = 5*a - j, -12 = 6*a - 4*a + 2*h for a.
-2
Suppose 0 = 4*x + 3*v - 21, -2*v - 10 = -5*x - 1. Solve -3*i + 9 = -c + 3*c, x*c = -2*i + 6 for i.
3
Let v(s) = -s**3 + s**2 - s + 4. Let m be v(0). Let w be 38/8 + 1/m. Let y = 0 - -1. Solve -5*p - c + y + 5 = 0, 30 = w*p - 5*c for p.
2
Suppose -8 = -2*i - 2. Suppose 3*d + 63 = -57. Let g be d/(-6) + (-1)/(-3). Solve 0*n - p - g = 2*n, 0 = 3*p + i for n.
-3
Let s be ((-6)/(-9))/(6/81). Let t = 14 - s. Solve -t*x + 3*y + 12 = -3*x, 3*x + y = 7 for x.
3
Let a be ((-7)/14)/((-2)/20). Solve h + 3*d = -7, 6*d - 3*d + 19 = a*h for h.
2
Suppose 11*c = 13*c - 44. Solve -5*s - 2 = 2*j, 3*s = -0*j + 4*j - c for j.
4
Let g(q) = q**3 + 4*q**2 - 4. Let t be g(-3). Solve -p - 3 = -0*w - 3*w, -t*w + 4 = -2*p for w.
2
Suppose -4*k - 2*k = -48. Solve 2*p + f = 5*f - 26, -4*f + k = 4*p for p.
-3
Let l be (5/(-2))/(10/(-8)). Solve -l*v - 2 = 2*r, 0 = -0*r + 5*r - 5 for v.
-2
Suppose 4*a - 4*r = 8, 0*r = 5*a + 4*r + 26. Let s = 2 + a. Solve -3*j = 5*i - s*j + 23, -3*j - 19 = 4*i for i.
-4
Let d be 2/3 - (-16)/(-24). Solve -5*t = -n + 3, -3 = -n + 2*t - d*t for n.
3
Suppose -d + 16 = 2*g, 44 = 3*d + 6*g - g. Suppose 4 = 6*s - d. Solve 8*i = 4*i + 4, 0 = -2*j - 4*i + s for j.
-1
Suppose 7*y + 88 = 11*y. Solve -h = 4*i + y, -4*h - 14 = -2*h + 2*i for h.
-2
Let u = 2 + -1. Let j be -1 - (0 + -2 - u). Suppose j*d = 1 + 13. Solve v - 7 = -3*o + o, 3*v - o - d = 0 for v.
3
Let v = -4 + 9. Let b(x) = x**3 + 2*x**2 - 7*x - 6. Let k be b(-4). Let y be (3 + -11)*k/8. Solve -5*m + v*u + y = 0, 4*m + 3 - 1 = -u for m.
0
Let r = -26 + 54. Suppose 6*h = h - 15. Let k = r + h. Solve 4*y = -4*a - y + 37, 0 = -5*a - 2*y + k for a.
3
Let t be (-1 - 2)*5/(-5). Solve 2*p - 4 - 2 = -t*f, 5*f = -4*p + 12 for p.
3
Suppose 2*j - 9 = -j. Solve -q - 2*x + 8 = 0, 3*q + 5*x - 8 = j*x for q.
0
Let v(x) = 2*x - x + 10 + 0*x**2 - x**2 + 6*x. Let n = 14 - 6. Let u be v(n). Solve -q - u*l + 7 = -l, q + 5 = 2*l for q.
3
Let b be 7/3 + (-50)/(-75). Solve -g + 9 = -2*m, -b*g - 4*m + 11 = -2*m for g.
5
Let r(v) = 8*v**2 - 1. Let i be r(-1). Let n be (-5)/i + 4/(-14). Let z(d) = 7*d**2. Let h be z(n). Solve 4*p = 4*a - 8, 4*p - h = 4*a - 5*a for p.
1
Let g be 10/4*20/25. Solve -5*o = g*y + 3, 3*o + 4 = -4*y - 9 for o.
1
Suppose 18 = 4*w + 2*u, 4*w + 0 = 3*u + 23. Suppose -w*y + 11 = -4*y. Let a(i) = i**2 + 3*i. Let n be a(-3). Solve y = 2*g - d, 3*g - d + n*d - 14 = 0 for g.
3
Let s = 0 + 0. Suppose s = -i + 2*i - 5. Suppose 22 = -4*b + 3*b + i*n, 14 = 3*b + n. Solve -4*d + 15 = -b*w - 5, 4*w = 5*d - 26 for w.
-4
Let y(a) = a**2 - 22*a - 18. Let h be y(23). Solve -r + 13 = h*t + 2, 0 = t + 2*r + 5 for t.
3
Suppose -5*x - 4*p = -3*p - 23, 0 = 5*x + 4*p - 17. Solve -3*j + 4*i - 6 = -x*j, -9 = j - 4*i for j.
-1
Let a(i) = -2*i + 2. Let l be a(0). Suppose l*s + 3 = 3*s. Solve -s*g - 5 = g + 3*n, -5*n = -5*g - 15 for g.
-2
Let f be 6/((-3)/2*-1). Solve z - c = 4*z - 4, -f = -z - c for z.
0
Let n be (-224)/(-22) + (-2)/11. Let z be ((-4)/n)/(1/(-5)). Suppose 2*b = -2 - z, b = s - 13. Solve 4*u = -v - 2*v + 25, -v + s = 2*u for v.
3
Let y = 8 + -6. Let n(r) = -3*r - 4. Let b be n(-2). Solve 0 = -3*x + y*v + 3*v - 11, 5*x - b*v + 12 = 0 for x.
-2
Let w = 82 - 62. Solve -o - 4 = -4*v - w, 5*o = -v + 17 for o.
4
Suppose 3*w + 12 = 0, 10*w - 5*w = -4*h - 20. Suppose h = -5*y + 5 + 5. Solve 0 = -y*z - 3*q - 1, -2*q - q = -2*z - 19 for z.
-5
Let n(x) = x**3 - 4*x**2 + 7*x - 10. Let h be n(3). Solve 0 = -2*p - 8, 3*l + p = -h*p - 9 for l.
1
Let q be 4 - (-2 + 4) - -2. Solve 0 = 3*n, 0 = -3*c - 0*c + q*n + 12 for c.
4
Suppose -2*v + v + 2 = 0. Let n be v/(-11) - 228/(-44). Suppose 5*u - n*y = 50, -4*u - 10 = -3*y - 48. Solve -b = -4*r - u, 0*r - 4*r - 8 = -2*b for r.
-2
Suppose 40 = -2*k + 4*k. Suppose 2*x = -0*x + k. Solve x = 3*d + 2*d + 5*m, -16 = 4*d - 2*m for d.
-2
Suppose -t + 44 - 7 = 0. Solve -3*x - n = 15, -12 = -5*x + n - t for x.
-5
Let h = -7 + 2. Let s = h + 9. Solve 5 + 10 = 3*b, s*b - 45 = -5*j for j.
5
Suppose -21 = u + 2*u. Let q be 2/7 + (-33)/u. Suppose -q = -g - 3*r, -15 - 2 = -2*g + r. Solve -2*y - 1 = h - g, -5*y = -h for h.
5
Suppose 0 = 2*l - 4*l. Suppose l = -0*b - b + 4. Solve -d - 5*x - 4 - b = 0, -4*d + 5*x - 7 = 0 for d.
-3
Let m be -3 - (1 - 8/(-4)). Let q be m/2 + (7 - -1). Solve -3*y + 0*f - q*f + 19 = 0, -5*f = y - 23 for y.
-2
Let t = 2 + 6. Suppose -4*i - t*n + 4*n = -24, -5*n = -2*i - 2. Let g be 12/(-36)*(0 - 6). Solve 3*w - 2*b + i = 0, 0 = 5*w + b - g for w.
0
Suppose 0 = 3*b - 5 - 25. Solve 5*r + 7 = -2*n, -5*n - r = 4*r + b for n.
-1
Let q = 1 - -7. Suppose -9*r - 22 = -10*r. Suppose 0 = 3*f + 12, -r = -2*z - 0*f + 3*f. Solve -5*t + 4*o = q, z*o + 0 = -t - 19 for t.
-4
Suppose -14 = -4*c + 2*l, 5*l - 2*l = 4*c - 11. Let z(h) = 3*h + 1. Let y be z(4). Suppose 0 = 2*f - y + 3. Solve -4*t = -5*a - 41, f*t + c*a + 0 = -5 for t.
4
Let y(m) = -m**2 - 9*m - 8. Let f be -2*2/(-4) + -8. Let c be y(f). Let i be 1*(1 - 1 - -2). Solve 4*a - c = i*u, -u - 5*a - 1 = 2 for u.
-3
Suppose 28 = 4*c - 2*t, 0*t + 35 = 5*c - 5*t. Suppose 3*q = 8 + c. Suppose -j = j - 10. Solve -j*x = -4*b - 23, -b - 16 - 1 = -q*x for b.
-2
Let r(i) = 9*i - 5. Let z be r(2). Solve -33 = 2*s + y - 6*y, -3*s + z = 5*y for s.
-4
Let k(x) = -x**2 - 5*x + 6. Let b be k(-6). Solve b = 2*z - 4, 3*f - 14 = -f - 5*z for f.
1
Let k = -25 - -15. Let p be ((-8)/10)/(k/25). Solve -3*m = z - 17, -p*z + 6*z - 4*m = -12 for z.
2
Let g be ((-3)/9)/(1/(-12)). Suppose -g*y - x + 20 = -2*x, -4 = x. Suppose f + 3*m - 4 = -5, 2*m - 6 = -y*f. Solve 0*u - f*u = -3*t - 19, u - 22 = 4*t for u.
2
Let n(j) = j - 2. Let m be n(5). Solve g + 14 = 3*x, -5*g + 10 = -2*x + m*x for g.
1
Suppose -201 + 281 = 5*g. Solve 0 = 5*v - o - 0*o - 8, 0 = v - 5*o - g for v.
1
Let g be (-1 + 4)/3 - -3. Solve -4*d = -5*t - 16, -g*d + 4*t - 3*t = -16 for d.
4
Suppose w + t = -4*w + 30, 30 = 5*w + 5*t. Solve z + 10 = 5*n, 2*n - 21 - w = 5*z for n.
1
Let j(c) = -4*c**2 - 4*c + 3. Let b be j(2). Let w be (-2)/7 + (-90)/b. Solve 0 = o + w*y - 17 - 5, -o - 3*y = -17 for o.
2
Let x(y) = y + 1. Let c be x(1). Suppose 3*q = s + 2*q, c = -s + 3*q. Let f = -1 + s. Solve -10 = -4*w + 5*i - 1, f = 3*w + 3*i for w.
1
Let o be 15/((-15)/(-6) - 1). Suppose -t + 4*t - o = 2*z, 4 = -2*t + 4*z. Solve 3*h + 2*h + 3 = 4*b, 4*h = 5*b - t for h.
1
Suppose 0 = -v - 3*v. Let o = 2 + v. Let p be 1/(-2)*(-2 + -2). Solve -p*t = 5*q + 25, t + 6*q + 17 = o*q for t.
-5
Let d = 10 - -6. Let b = 3 - 3. Suppose 4*n - 2 - 18 = b. Solve 3*i - i = 3*f - d, -n*i = 25 for f.
2
Suppose 7 = 4*p - 1. Solve 3*h + 5 = p*k, 3 = -3*h - 4*k - 32 for h.
-5
Let o = 21 + -8. Let y = 9 - 9. Solve y*k = f - 4*k - o, 0 = 2*f - 3*k - 11 for f.
1
Let c(l) = 8*l - 3. Let i be c(1). Solve 3*v - 2*v - i = -4*z, 5*z - 4 = v for v.
1
Let g be (1 - (-4 - -3)) + -2 + 2. Solve 0 = p + 2*x - 5, 3 + 3 = -g*p + 4*x for p.
1
Let b = 1 - -1. Let t be 2/3 + (-80)/(-24). Suppose -t*a + 53 = -a + h, 3*a + 2*h - 52 = 0. Solve -w = -3*w - p - 1, 4*w = b*p + a for w.
2
Let l(d) = -15*d. Let a be l(-4). Suppose f + 2*j = 3*j + 21, 4*j = -5*f + a. Solve 4*p + 4*s + f = 0, -2*s - 12 = -4*p + 2*p for p.
1
Let q = 4 - -28. Solve -3*o + 4*t - 1 = 0, -3*t = 8*o - 4*o - q for o.
5
Let x(g) = g**2 + 2*g + 1. Let h be x(-3). Solve h*m - 24 = 5*q, -m - q + 3*q + 9 = 0 for m.
1
Suppose 0 = -5*u + 5*v - 85, 5*v = -0*u + u + 17. Let k = u + -37. Let x be (k/(-4))/((-4)/(-8)). Solve 4*o = -4*z + 16, 5*z = -3*o - 5 + x for o.
-1
Suppose -4*l + 0*l + 8 = 0. Suppose 5*d + 5 = l*r, 3*r + 2*r + 3*d - 90 = 0. Solve -5*n + 2*a = -r, -a + 14 = 4*n - 3*a for n.
1
Let p(r) be the first derivative of -1/2*r**2 - 1 + 13*r. Let a be p(9). Solve k = 3*t - k + a, 2*k = -2*t - 16 for t.
-4
Let d(i) = 3*i**2 - 20*i - 2. Let a be 