- 3 = y for f.
-3
Suppose -30 = -2*j + 28. Suppose 10 = -27*s + j*s. Let p = -2 + s. Solve 3*k - 15 = -p*h, -6 - 19 = -5*k - 2*h for k.
5
Suppose 6*m = 38 + 28. Suppose 4*k - m = -b, 0 = -k - 1 - 0. Solve -b = 2*h + 3*u - 2*u, h + 3*u = -20 for h.
-5
Let k be 8*(-5)/10 - -4. Suppose k = 4*s + n - 72, n - 3*n + 30 = 2*s. Solve -4*u - 2*z = 3*z + s, -13 = -2*u + 5*z for u.
-1
Suppose 4*p - 2 = 5*i, -10 = -2*p - 6*i + 4*i. Let g(d) = -p*d - 6 + 0*d + d + 3*d. Let n be g(8). Solve 3*q - 2*y + n = q, 3*y = q + 3 for q.
0
Let g = -447 - -452. Solve 0 = -g*u + 5, 3*j = 5*u - 13 - 1 for j.
-3
Suppose c - 4*c = -5*d + 15, d = 2*c + 3. Solve d*q + 15 = 2*g, 5*q - g = 2*g - 24 for q.
-3
Suppose -14 = 5*l + 11, -c = -3*l - 24. Suppose -14 + c = -5*o. Solve 0 = -4*u + 5*p + 2 + o, -2*p = u - 4 for u.
2
Let a = 15 - 10. Suppose -a*x + 45 = -30. Suppose -2*c + 2*m = -37 + 39, 3*m - 11 = -c. Solve 0 = -4*o + y - 3, c*y = -2*o + 1 - x for o.
-2
Suppose 0 = -24*b + 28*b + 5*d - 61, -b - d + 16 = 0. Solve -z + 0*f - 5 = -5*f, -2*f + b = 3*z for z.
5
Let j(u) = 4*u - 4. Let a be j(1). Solve 0 = -z - 0 - 4, a = 4*x - 3*z for x.
-3
Let i(n) = n**3 + 7*n**2 + 10*n + 2. Let d be i(-5). Let k be (d - 6) + 8 - (2 - 1). Solve 1 - 16 = 5*y - 5*c, -k*y + c = 7 for y.
-2
Suppose 2*k - 4*k = 0, -3*f + 57 = 3*k. Solve 8*y - 5*y + 12 = 0, -p + f = -5*y for p.
-1
Suppose -2*a - 3 = -9. Suppose a + 3 = u. Solve u + 23 = 5*h - c, 18 = 2*h - 2*c for h.
5
Suppose -s - 11 = -4*t, s - 2 = 5*s + 5*t. Let r be -3 + (0 + s - -9). Solve -5*w + 4*k = 20 + 13, -r*w - 25 = -5*k for w.
-5
Suppose -16 + 6 = -2*u. Suppose 100 = 8*k + 1708. Let g = k + 209. Solve g = 3*y - q, 4*q = -q + u for y.
3
Let r(i) = 6*i**2 + 1 + 0 + 0 - 7*i - i**3 - 2. Let t be r(4). Solve 4*g + 3*l - 2 = -7, -t*g + 5*l = 11 for g.
-2
Let k(d) = -2*d + 21. Let t be k(9). Let z be (2*(-1 - 0))/2*-3. Solve 0 = 3*w + 6, 0 = -t*a - z*w - 8 - 7 for a.
-3
Let g = 135 + -131. Solve -25 = -l - g*k, -3*l - 3*k + 10 = -4*l for l.
5
Let t be (4/(-1))/(-5 + 1 + 3). Let j = 38 - 35. Let q be -1*1*(-2 - 0). Solve h + t = -2*h + q*r, 0 = -4*h + r + j for h.
2
Suppose 3*o - 46 = -37. Solve -16 = -o*u + y, -7 = -u - u - 3*y for u.
5
Let l(f) = -f**2 + f + 136. Let i be l(12). Solve -t + 6 = -3*u, -16 = u + 3*u - i*t for u.
-1
Suppose -f = -2*f + 9. Suppose -4*g + 0*d = d - 89, -4*g - 5*d + 93 = 0. Suppose 2 = -2*q + g. Solve -2*k - q = -2*u - 5*k, -u - f = -2*k for u.
-1
Let t be -5*(2/2)/1. Let p = t - -15. Let z(r) = r**3 + 32*r**2 + 6. Let d be z(-32). Solve d*h - p = 3*h - 5*l, -25 = -5*l for h.
-5
Let v(c) = -c + 13. Let h be v(11). Suppose -4*g = 3*l - 2*g, 11 = -h*l - 5*g. Solve -5*b = l*u - 14, -u = 3*b + u - 10 for b.
2
Suppose 21 = -97*f + 102*f - x, -3*x = 4*f - 32. Solve 8 = -3*w - 2*u, -f*w + u = 5*u + 16 for w.
0
Let f be ((-3)/(-4))/(30/(-24) - -2). Solve -4*y - 6 = -3*l + f, 4*y = -4 for l.
1
Suppose 16*b = 29*b - 52. Solve -3*p + b*a = 25, 5*p = p + 2*a - 20 for p.
-3
Let o be 9/(-3*5/(-10)). Let x be 2/o - (-20)/12. Solve 3*w = 5*l - 8, 2*l - x*w - 1 = 3 for l.
1
Let n be 2*(12/(-3) - -5). Solve 16 = -3*v + 5*s, -4*v + n*s = -4 + 2 for v.
3
Let v(z) = -6*z + 186. Let j be v(31). Solve 2 + 2 = g + 3*f, g - 4*f - 4 = j for g.
4
Suppose -5*x = 5*k - 20, 4*k + 19 = 3*x - 0*x. Let y be (-22)/(-4) + x/(-10). Let d be y/((-20)/12) - -9. Solve 3 = g, g - d*g + 30 = -5*b for b.
-3
Let i(q) = -q. Let d(v) = 2*v. Let l(n) = 6*d(n) + 11*i(n). Let p be l(3). Suppose -p*s + 16 = s. Solve 0 = 3*r + w + 11, 5*w = s*r - r + 17 for r.
-4
Let p be (0 - -1)/(39/117). Solve -3*f = -2*f - 5, 0 = 3*r - p*f for r.
5
Suppose 0*z - 2*z + 20 = 4*t, 2*t + 3*z = 10. Solve 17 + 18 = t*q - 5*p, 3*q + p = 13 for q.
5
Let a(n) = -2*n**2 + 17*n + 34. Let u be a(10). Solve u*t - 5*t - 2*i + 1 = 0, 0 = 2*i - 4 for t.
-3
Suppose 14*r = 2*r + 48. Solve -r = t + 2*w, -w - 3*w = -5*t + 22 for t.
2
Let f be (-3)/12*32/(-8). Solve -x - 11 = -3*r, -x - 4*r = -9 - f for x.
-2
Suppose -f - 2 + 7 = 0. Suppose -f*g + 2 + 3 = 0. Let u be 1/(2/10*g). Solve -c - 3*p + 0*p + 6 = 0, 11 = 2*c + u*p for c.
3
Let p be (1 + -2)*(-5 - -1). Let b(a) = -a**2 + 9*a - 12. Let k be b(6). Let n = 9 - k. Solve n*g = 4*w + 19, -2*w + g = -p*w + 3 for w.
-1
Suppose 11*q = -47 + 168. Solve 0 = 3*z + 2*j + q, -9 = -5*z + 8*z + 3*j for z.
-5
Suppose -6*h + 45 = -11*h. Let n be (8/6)/((-4)/h). Solve 20 = -0*v + 3*v - 2*r, n*r + 16 = v for v.
4
Let y(s) = -s. Let h(n) = 4*n - 8. Let i(d) = -h(d) - 6*y(d). Let j be i(8). Suppose 3*p - 7*p + 20 = 0. Solve 0 = 4*k - 5*a - j, k = -p*a + a - 15 for k.
1
Let k be 1 + (-10)/(-15)*(-1 - 17). Let x be 0 + 2 - (k + 9). Solve 0 = x*n - 5*i - 0*i + 33, -4*n - 4*i + 12 = 0 for n.
-2
Let m = 17 + -14. Solve 0 = -m*k - 3*a + 12, -6 - 19 = -5*a for k.
-1
Let p(m) = 6*m + 103. Let z be p(-16). Solve -z*h + 5*v + 24 = -5*h, 2*v + 12 = 2*h for h.
2
Let l = -10 - -10. Suppose 2*r - 2*c = -0*r, l = 5*r - 3*c. Solve 5*g = -5*m, r = -4*m + 3*m + 3 for g.
-3
Let q = 36 + -24. Let c = q + -9. Suppose -c*i - 3 = -0*i + 5*m, 5*i + m = 17. Solve 0*a - i*a - 24 = -g, 29 = g - 5*a for g.
4
Let z(x) = -x**2 + 14*x + 2. Let h(t) = -6*t - 16. Let p be h(-5). Let f be z(p). Let v = 1 + -1. Solve 4*a = v, -f*c = -7*c + 2*a for c.
0
Let g(z) = z**2 - 4*z - 21. Let w be g(-3). Suppose -4*d + 68 - 24 = w. Solve 0 = b + y + 4, -3*y = 5*b + d + 5 for b.
-2
Let w(g) be the second derivative of -g**5/10 - g**3/6 + 5*g. Let n be w(-1). Solve 0*p - 2*p - t = -1, -n*p = 5*t + 2 for p.
1
Suppose 5*t = -u - 6, 4*t = -0*t + 3*u - 1. Let j be (-1)/(t/(-4)) + 32/4. Solve -j*w = -6*w - 5*p - 17, -5*p - 16 = w for w.
-1
Let c = 234 + -229. Solve -3*w + 2*l = 16 - 2, c*l - 12 = -4*w for w.
-2
Let h = -16 - -9. Let d(p) = -p + 5. Let r be d(h). Solve z + 1 = -4*k + 15, 4*z + 5*k = r for z.
-2
Let x(d) = 3*d**2 + 24*d + 2. Let b be x(-8). Let l be (-19 + 4)/(-3) + 0. Solve 5 = -n - 2*w, -3*n - l = 4*w + b for n.
3
Suppose 44 = 5*v + 4. Suppose v*p = 3*p. Suppose p = 4*c + 5*c - 45. Solve n = -2*z - 2*n + 5, -c*z = -4*n - 1 for z.
1
Let s(h) = -h + 11. Let g be s(8). Suppose -4*n = -4*f + 16, -3*f + 5*f + 5*n + 20 = 0. Solve 3*k - 4*m = f, g*k + 7 = 4*k + m for k.
4
Let p(k) = k**2 - 5*k + 6. Let o(s) = 7*s**2. Let w be o(1). Let b be p(w). Suppose 10*g - 6*g = b. Solve -y = 5*a + 11, 0 = g*y + 3*a - 11 for y.
4
Let v be (-3 + -2)*(-28)/35. Solve 0 = -5*u + v*f + 5, -5*u - 3*f + 3 + 2 = 0 for u.
1
Suppose 8*i - 6 = 10. Let v be 4 - 1/(-2)*i. Suppose 0 = -4*k + v*k. Solve k = -4*s - 12, -2 + 11 = -4*q - 3*s for q.
0
Let g(b) = -2*b**2 - 3*b + 5. Let y be g(2). Let j be -3*30/y*(-8)/(-5). Solve -3*f = k + j, -4 = 2*k - k for f.
-4
Let a = 400 + -388. Solve j + 5*c + 7 = -8, 4*c + a = -5*j for j.
0
Let r be (1/4)/(3/12). Let d be -4 - (-111)/15 - (-8)/(-20). Solve -4*q - 1 = -2*b + 5, -d*b = -2*q - r for q.
-2
Let q = -30 + 32. Suppose -4*u - 2 = -6. Suppose -5*b = u - 21. Solve -16 = -q*n - 4*l, l - b*l + 9 = 0 for n.
2
Suppose 168*v + 14 = 175*v. Solve v*h + 8 = -0*k + 3*k, -k = -5*h + 6 for k.
4
Let u be -1*0/(6/3). Suppose -39 = -5*c - t, u = -3*t - t - 4. Solve 2*w = -f + 2*f + c, -4*f = 0 for w.
4
Suppose -140 = -55*j + 41*j. Suppose -1 = f + 2, -k = -4*f - 93. Let m be (-4)/j + k/15. Solve 2*t + 0*r + 2 = -4*r, -3*t = m*r for t.
5
Let x be (-168)/144 - (-124)/24. Solve -c + 23 = 3*q + x*c, -2*q + 6 = c for q.
1
Let u be 24/10 - 6/15. Suppose u*b - 20 = 5*a, a + 3*a - b = -13. Let l = a - -6. Solve -2*p + 8 = l*n, p - n = 4*p + 3 for p.
-2
Suppose -5*y + 11 = -14, -3*v = -5*y + 322. Let a be 2 + (v/(-3))/3. Suppose -16*r + a*r = -18. Solve 0 = -2*j - 8*c + 3*c + r, -4*j - 14 = -3*c for j.
-2
Let t = 52 + -57. Let j be 7 - (15 + 0)/t. Solve a = 4*k - j, 1 = k - 0*a - a for k.
3
Suppose 4*v = 5*c - 37, -2*v = 5*c - 9 - 10. Let b be 37 - (4/4 - v). Suppose -t + b = 2*t. Solve -2*s - 11 = -5*x, -2*x + 4*s + 3 = -t for x.
1
Let h(b) = b + 16. Let u be h(-7). Suppose -5*z + 16 = -u. Solve j - 13 = 4*c - 2, 20 = -5*c - z*j for c.
-3
Suppose 12*k - 74 = -26. Solve 3*z = 3*c + 9, -k*z + c - 3*c = 12 for z.
-1
Let u be (-4 + (-10)/(-5))*3/(-2). Solve -3*x + 6 = -6*x, -1 = -u*q + 2*x for q.
-1
Let d = -24 + 30. Suppose -f - 7 + 1 = -2*u, 4*f + 12 = 5*u. Solve 4*m - 4*c + d = -2, 8 = m + u*c for