+ 5*r - k for h.
4
Let a = 1607 + -1602. Solve -2*b + 12 = 3*j, 0 = -2*b + 2*j - a - 3 for b.
0
Suppose -4*j = -y - 6*j + 7, 3*y + 3*j - 18 = 0. Solve 0 = -4*p + 2*t + 2, 6*t = -y*p + t - 5 for p.
0
Suppose 0*o = 3*g - o - 13, -g - 4*o = 0. Let k = g + 1. Let n be (0/((-28)/(-2)))/(1 + 0). Solve j - 3*j - 8 = b, k*b - 10 = n for j.
-5
Suppose -2*h - 2*h = 2*k - 12, -3*k - 4*h + 16 = 0. Suppose 2*b - 5*g = 7 + 5, 47 = 5*b - k*g. Solve -4*x = 2*i - x + b, -2*x - 10 = 0 for i.
2
Let p = 117 + -117. Solve -5*q = 5*f + 50, -15 = 2*f - p*f + q for f.
-5
Let a(s) = s**3 - 2*s**2 + s + 1. Let o be a(2). Suppose 3*w + 0 = -2*v - 2, 5*w + 12 = v. Solve u + r + v = 0, 0 = -4*u + r - o*r - 2 for u.
1
Let w = -793 - -796. Solve 4*p - 6 = -d + 14, 2*p = -w*d + 10 for d.
0
Suppose -5*h - 21 + 29 = 2*q, h = -2*q. Let d(p) = -p**3 - 3*p**2 - 3. Let g be d(-3). Let c be 0*(-1 - 0) - g. Solve -h*r + 2*u = 10 + 2, c*r + u = -2 for r.
-2
Let o(z) = 3*z**2 - 15*z - 12. Let q be (-62)/(-8) - (-2)/8*-3. Let d be o(q). Solve -2*u - 3*u + d = -5*k, -10 = 5*u + 3*k for u.
1
Suppose -2*o + 4*d + 4 = 0, 9 = -2*o - 5*d + 4. Solve -2*w + h - 3 = 0, o*w - 4*w = 3*h + 31 for w.
-4
Let l(k) be the first derivative of 2*k**3/3 - 13*k**2/2 + 8*k - 24. Let i be l(6). Solve -i*y = 3*t - 11 - 5, 0 = -t - 3*y + 10 for t.
4
Let o be (-21)/35 + 2/(-5). Let k be ((-8)/(-6))/(o/3). Let d be 1/k + (-85)/(-4). Solve 5*h - u + d = 0, -15 = 3*h - 3*u - 0 for h.
-4
Let u be 4/(-10) + (216/10)/9. Solve 4*r + 5 = u*a - 13, -5*a - 30 = 5*r for r.
-5
Suppose -16 = v - 7. Let f = v + 7. Let o = 0 - f. Solve 4*d = -k - 6, 4*d + 2*k = d - o for d.
-2
Suppose 68*o = 28*o + 160. Solve 4*i - 20 = o*s, 2*s = -2*s - 20 for i.
0
Let k(u) = 2*u**3 - 3*u**2 - 7*u - 1. Let q be k(3). Solve m + o + q = -2*o, -2*m - 10 = -3*o for m.
-5
Let f(q) = 23*q - 138. Let p be f(6). Solve 4*a - 5*k + 8 = p, 0 = -3*a + 5*k - 1 - 5 for a.
-2
Let c = -113 + 114. Solve -5*v - 2*g - c + 0 = 0, -5*g = -5*v - 15 for v.
-1
Let z(h) = -6*h - 234. Let a be z(-39). Solve a = -s - 0*y - 2*y + 3, 2*s - 4*y = 6 for s.
3
Let s(p) = p**2 - 6*p - 6. Let a be s(-6). Let n = -47 + a. Solve -l - 5*z = -23, 5*l + 3*z = 2*z + n for l.
3
Let m = 13 + -8. Suppose -34 = -2*h - 2*v + 4*v, -65 = -m*h + v. Let b be 63/h + 2/(-8). Solve -y - 3 = 2*i - 7, 4*y + 10 = b*i for y.
0
Let c be (21/(-7) + 4)*3. Solve 3*w + 2*a - 21 = 0, -7 = -c*w + w + a for w.
5
Let f(g) = -14*g**3 + g**2. Let h be f(-1). Let m(z) = z**2 - 15*z + 5. Let r be m(h). Solve 0*d + r*v - 17 = d, -3 = -v for d.
-2
Suppose -34*g + 33*g + 63 = 0. Let p = g - 61. Solve 0 = -0*h - h - 4*z + 5, 5*z = 3*h + p for h.
1
Let h = -44 - -30. Let f = h - -20. Suppose 19 = -u + f*u - 2*m, u = -m + 1. Solve 0 = -6*p + p - u*c + 25, 3 = -p + c for p.
2
Let y = 82 - 79. Solve -2*x = -y*o - 15, -6*x + 6 = -4*x for o.
-3
Let k be 194/(-2231) - (-188)/46. Suppose -2*r - 8 = -l, 4*l + 2*r = 2*l + 28. Solve 2 = 2*f - 5*t + k, f + 4*t = l for f.
4
Let f be ((-54)/(-9))/(3/2). Let h be 0*(2 - (-3 + f)). Solve s + 21 = -5*y, h = 2*y + 2*s + 10 for y.
-4
Let x be 18/(-45) - (-4)/10. Suppose -4*p - 3*l = l - 16, x = 3*l + 12. Suppose 2*j - p = -2*j. Solve -j*w = -3*q - 16 - 6, -6 = 2*w + 4*q for w.
5
Suppose 0 = 5*h - 5*z + 70 + 75, -63 = 3*h + 3*z. Let r = 10 + h. Let i = 15 + r. Solve -k + 14 = -3*g, -2*k + i*g + 13 = -g for k.
5
Let b(q) = 5*q**2 + 12*q - 6 - 4*q**2 + 1. Let a be b(-13). Let p be (a - 1/1) + -2. Solve -l = 4 - 5, -p*m + 3*l - 28 = 0 for m.
-5
Suppose -5*d = -5*l + 25, 2*l + 4 - 5 = -d. Solve -y + 3 = -3*q, -l*q - 3 = 1 for y.
-3
Let j = -658 + 658. Solve z + 10 = -2*l - j, 5*l = 4*z - 25 for l.
-5
Let k(u) be the first derivative of -u**3/3 + 3*u**2/2 + 10*u - 1. Let t = 238 - 238. Let s be k(t). Solve 3*j - 5*j - 2*p = -8, 0 = 2*p - s for j.
-1
Suppose 23*g + 24 = 29*g. Solve 5*t + 10 = -3*d, d + 4*t = -4 - g for d.
0
Suppose 0 = -5*b - 2*n + n - 17, 4*b - 5*n + 31 = 0. Let y = b - -8. Solve -3*l - 1 = -0*l + 2*w, 0 = 4*l + y*w + 4 for l.
1
Let n = 49 + -47. Let u be (2/(-4))/(1/2). Let d be (-4 + n + -1)/u. Solve -d*r = 6, z = 2*z - 5*r - 12 for z.
2
Suppose -53 = -z - 29. Suppose 4*f = -0*u - 2*u + z, 3*u - 11 = -f. Solve -u*s = -k - 3, 3*s + 2*k - 3*k - 2 = 0 for s.
-1
Let z be -1 + (4 + 2)/6. Let r = 14 - 9. Let v be r/((-5)/(-2)) - -1. Solve -v*x + 1 = 5*i - 1, z = 4*x - 2*i - 20 for x.
4
Suppose -4*d - 6*x + 52 = -4*x, -d - 4*x = 1. Let y = -70 + 70. Solve 3*q = c - d, y*c + 26 = -5*q + 2*c for q.
-4
Suppose 0 = -2*i + 6*i. Let z = 275 + -270. Solve i = -5*p - 4*s + z, 0*p - 4 = -4*p + s for p.
1
Suppose -9*q - 12 = -15*q. Suppose -n - 2*b - 5 = 0, q*n + n - b = 20. Solve -3*j = -n*c - 29, -3*j - 5*c + 5 = -4*c for j.
3
Suppose -10 = 5*g, 8 = -m - 0*m - 4*g. Let r(o) = 5 + 1 - 2 + o**2. Let h be r(m). Solve -h*y = d - 20 + 3, 0 = -5*y - 3*d + 30 for y.
3
Suppose 2*x = -2*x - 4*z, -2*z + 3 = 3*x. Let y(v) = -2*v**2 + 6*v + 2. Let h be y(x). Solve -h = -n - 3*d, 3*n - 6 = d - 6*d for n.
2
Let a(x) = 16*x**2 - x. Let v be a(1). Let d(z) = -2*z + 21. Let h be d(9). Let o be 2 - (12/h - 2). Solve o*b = -3*b + 3*j + v, -4*b - 5 = j for b.
0
Let c be (1 + (-3)/5)/((-9)/45). Let g be c + (2 - 0)/((-4)/(-8)). Solve -u - 4*u - 11 = -3*w, -g*u = -2*w + 2 for u.
-4
Suppose 4 = -8*a + 3 + 25. Let v be (-6)/3 + 0/(-2). Let o be ((-3)/v)/(5/10). Solve -2*d + o = -3*r, 4 = a*d - 6*r + r for d.
3
Let t = 55 + -30. Let f(x) = -x**2 + 24*x + 28. Let z be f(t). Solve -z*l = -2*u + 1, -4*l = -4*u - 0*l for u.
-1
Suppose -2*c - 10 = 3*d, -3*c - 15 = -0*c. Let v = 15 + -10. Suppose d = -3*s + 13 + v. Solve -3*x - i = 14, s*i = -2*x + 3*i - 14 for x.
-4
Let z = -438 - -442. Solve -5*q + 6 = 5*m - 6*m, z*m + 4*q = 0 for m.
-1
Let g be 2/24 + (-418)/(-456). Let w = -8 - -12. Solve -5*y = 2*i - 3, 5*i + 0*i = -w*y - g for i.
-1
Let y be (-50)/(-15)*(-3)/(-5). Suppose -o - y*x - 9 = 3*x, -3*o = 5*x - 3. Solve -5*z + o*u - 4*u + 20 = 0, 5*u + 8 = 2*z for z.
4
Let m be 4/18 - (-1 + 628/(-9)). Suppose j + 51 = m. Solve -5*i = o + j, -i + o = -o + 15 for i.
-5
Let y(q) = q + 16. Let j be y(-16). Suppose j = -z - 4 + 9. Solve 2*a + 2*a = -3*p + 7, 3*p = -z*a + 5 for p.
5
Suppose -12*r + 24 = 5*k - 11*r, -3*r = -3*k + 18. Solve -4*s + i = 12, -3*s - 3*i = -k*i + 9 for s.
-3
Let n(d) = -d - 7. Suppose -5*o = 40 + 5. Let x be n(o). Suppose -q = x*q. Solve q = 4*s - a - 11, 21 = 4*s + a + 8 for s.
3
Let s = -235 - -240. Solve -l + s*y = -2, -2*l - 8 = -6*l + 5*y for l.
2
Let p be (1/(-2))/((-1)/4). Let s = -153 + 159. Suppose p*d = 4*d - s. Solve 4*v = -x + v + 3, 4*x + 3 = d*v for x.
0
Let a be (30/(-8))/(-5)*(-16)/(-6). Suppose 9 = -z - 3*s, 0 = 2*z - 0*z + s - a. Solve -4*c + 2*d + 18 = 0, -5*d = z + 2 for c.
4
Let k be 616/252 + 4/(-9). Let m = 6 + -1. Solve -m*g - r + 12 = 0, -g - 3*r + k - 8 = 0 for g.
3
Let l(d) = -4*d**2 + d. Let g be l(-1). Let b = -5 - g. Solve 12 = f - b*i - 3*i, 10 = -2*i for f.
-3
Suppose 5*y = a + 22, -2*a - 20 = -3*y + 2*a. Suppose -44 = -10*l - y. Solve -l*n = 3*w - 7, 0 = -4*n + w + w + 2 for n.
1
Let z = 70 + -67. Solve -3*w = z, q - 1 = 4*q - 5*w for q.
-2
Let j be 3/2 - 12/8. Let m = j + 4. Suppose -m = -2*o + 3*k + 11, -2*k - 6 = 0. Solve o*y - p = -11, 0 = -y - 2*y + 2*p - 13 for y.
-3
Let f = 283 + -281. Solve f*c + 3*d + 3 = 0, 0*d = 4*c - 2*d - 18 for c.
3
Let b(j) = -j**2 + 11*j - 16. Let y be b(9). Suppose -t + y = -3. Suppose -2*k - 5*v - 12 = -v, 0 = 4*k + 2*v. Solve 3*m = k*f + 1, 2*f = 3*m + t*f - 6 for m.
1
Let b(j) = -j**2 + 41*j - 176. Let s be b(5). Solve -7*l = -11*l + s*g + 16, 2*l + 2*g = 0 for l.
2
Let r be 1 + 101 + 3 - 0. Let g be r/28 + 1/4. Let c(k) = 30*k. Let b be c(1). Solve -4*m - g*p = 0, 3*m - 5*p + b = 2*m for m.
-5
Let b be (11 - 4) + (3*-2 - -1). Let q(c) = c**3 - c**2 + 4*c - 3. Let v be -1*(-3)/(6/4). Let n be q(v). Solve n = -3*m - b*l + 20, -3 = 5*m - 2*l for m.
1
Let g be -8 + 3 + 14/2. Solve g*i - 4*i = 3*u + 5, i + u + 3 = 0 for i.
-4
Let m = 12 + -8. Suppose -m*t - 5*v = -63, t - 2*t + v + 9 = 0. Solve -3*l + 3*k = 0, 2*l - 3*k + t = 2*k for l.
4
Suppose -2*r + 659 = -5*v, 680 = -5*v - 2*r - 3*r. Let y be 4/(-14) - 703/v. Solve 2*n - 20 = 4*t, -5*t - 25 = -n + y*n for t.
-5
Let x(g) = -g**2 - 3*g + 9. Let m(t) = 4*t**2 + 11*t - 36. 