r f.
4
Let i(g) = 2*g**2 + 6*g - 7. Let h be i(-4). Solve 2*p = -3*j - h - 2, -3*j - 3 = 3*p for p.
0
Let p = 2 + 1. Suppose -2*i + 19 = 5*t - 12, 10 = -t + 5*i. Let w(c) = 8*c**2 - 148*c - 73. Let j be w(19). Solve t*u = x - 1, u = -6*x + j*x + p for u.
0
Let l(o) = 22*o - 31. Let f be l(5). Let c = 84 - f. Solve -c*n = 2*t - 0*n + 9, t - 1 = 3*n for t.
-2
Suppose -199 = -74*k + 171. Solve -k = -3*x + 2*d, -5*x + 7 = -2*d - d for x.
-1
Let z be (-4)/(-6)*(13 + -7 + 42). Solve 3*w = k + 2, -5*k = 5*w - z + 2 for k.
4
Let u(m) = 18*m**3 - m**2 + 2*m - 1. Let o be u(1). Let s(h) = h**3 - 18*h**2 - h + 26. Let z be s(o). Solve 0*d + x = d, z = -d + 3*x for d.
4
Suppose 3*a + 16 = -5*c, -3*a + c = 5*c + 11. Solve -5*t = -4*i - 41, 5*t = -a*i + i + 17 for i.
-4
Let p be (-17 + 2)/(6/(-4)). Suppose 0 = -2*r + 5*r - f - p, 0 = -r - f + 2. Suppose 0 = 5*o + 2 - 12. Solve 0 = -4*s + o*x + x - r, 4*x - 4 = s for s.
0
Let t(b) = -105*b + 318. Let o be t(3). Solve -3*x + o = 3*a, 0 = -2*a - a - 4*x for a.
4
Let j be (-60)/(-35) - (-2)/7. Let y(o) = -13*o**3 - o - 1. Suppose 3*c + s = 1, -2*c - s - s = -6. Let u be y(c). Solve 4*w - u = q, 3*w - 22 = -j*q - w for q.
3
Let q(o) = o**3 + 6*o**2 + 8*o + 12. Suppose -12 = 28*x - 25*x. Let a be q(x). Solve 5 = -3*y + 2*l + 12, 0 = -3*l + a for y.
5
Let g be (-37)/2*((-24)/3 - -6). Let v = g + -37. Solve v*t + 3*t - a = -11, 9 = -t - 5*a for t.
-4
Suppose 44 = 5*a + j, a = 2*j - 4*j + 16. Suppose 3*q + y - 5 = a*q, -4*y = -2*q - 20. Solve -b = 3*r - q*b + 7, 5*r + 3*b = -5 for r.
-4
Let j(p) be the first derivative of -3*p**2/2 - 25*p - 27. Let i be j(-9). Solve -f = i*m - 6, -f - f + 2*m + 6 = 0 for f.
4
Let h = -118 + 83. Let y = -27 - h. Solve 3*k - y = -k, 2*k = 5*a + 24 for a.
-4
Let q(g) = 2*g + 19. Let o be q(-8). Solve s - 1 = -c, -7*s + o*s + 32 = -3*c for c.
-4
Let j = -440 + 440. Solve -4*l + u + u - 8 = j, 2*l - 2 = 4*u for l.
-3
Let b = 11 + -21. Let x(r) = r**3 + 5*r**2 + 10*r + 18. Let j be x(-2). Let n = j + b. Solve -3*d - a - 12 = n, -4 = -d - 3*a - 0*a for d.
-5
Let m be -4 - ((-48)/18)/((-3)/(-9)). Let n(y) = -y**2 + 11*y. Let v be n(9). Solve -2*d + m*b + v - 4 = 0, -3*d + b = -16 for d.
5
Let c be (2/(-4) + 0)*-10. Solve 2*y = -2*y - 2*k - 10, k = c*y + 23 for y.
-4
Suppose 5*v = -3*b + 12, 3*v = 7*v. Solve 4*n + b*z - 28 = 0, 0*n - 2*n + 12 = z for n.
5
Let f = -19 - -24. Solve -g + 4*b + 1 = 0, 0 = -4*b + f - 1 for g.
5
Suppose 4*b - 2*r - 48 = 0, -3*b + 5*r = 20 - 56. Solve 5*q + 3*i = -b, -q - 2*q + 5*i = 14 for q.
-3
Suppose 4*b - 5*b = -2*j, 0 = -b + 4. Suppose 6*w + j*w = 48. Solve c = 5*f + 11, -3*f + 2*c - 25 = w*c for f.
-3
Let d(i) = -2*i**3 - 23*i**2 - 12*i - 9. Let z be d(-11). Solve -2*u + b = -7 - 2, -7 = -z*u + 3*b for u.
5
Let b = 6 - -9. Suppose -11*i + 15*i - 60 = 0. Let p = b - i. Solve -k = -2*o - 2*o + 11, p = 3*k + o + 7 for k.
-3
Let u be 30/7 - 4/126*9. Solve 0 = -w + 3*o + 5 + 6, o = -u*w - 21 for w.
-4
Let y = 142 + -137. Let u = 14 - 9. Let p = 10 - u. Solve -p*z + 2*z - 19 = -y*c, -25 = -5*c for z.
2
Let k(a) = -a**3 - a**2 - 12. Let t be k(0). Let j be -2 + 32/t*-6. Let u = 16 - j. Solve 0 = -5*s - u*g - 14, 5*g + 10 = -0 for s.
-2
Let f be 4/(-6) + (-17)/(-3). Let r be (-1 + 4)*(-32)/(-6). Let i(w) = 2*w**2 + 11*w + 19. Let m be i(-2). Solve f*n - 4*p = -30, r = -3*n - 3*p + m*p for n.
-2
Let n(j) = -4*j + 9. Let u be n(5). Let r be 2 - u/(11/(-12)). Let o be (r/25)/(2/(-10)). Solve -o*y + 0*y = 2*v + 10, 4*v - 25 = 5*y for v.
0
Suppose -j - 4*f = -12, f - 60 = -2*j + 2*f. Solve 2*p - 15 = -5*s + 9, -5*s = 4*p - j for p.
2
Suppose -1311 + 511 = -20*y. Solve -4*g - 2*n = -18, 11 = -2*g - 5*n + y for g.
2
Suppose 0 = 4*k + 3*c - 3 - 0, k + 2*c = -3. Suppose b - 2*f - 6 = 0, -18 = k*b + 2*f + f. Let y be b*3/6 + 21. Solve 4*u = -u + 4*z - 2, 5*u = -5*z - y for u.
-2
Let p = 49 + -40. Suppose 39 + p = 8*d. Solve 5*k - 2*v = 9, 0*k + d = -2*k + 4*v for k.
3
Let w(o) = 2*o + 7. Let n be w(-4). Let s be -8 - -11 - (n + 0). Let z be (0 - 7)/((-1)/s). Solve 4*q = -4*j - 0 - 4, -2*j + z = -4*q for j.
4
Let b be ((-34)/6 + 6)*(4 - 1). Solve -d - 4*x + 17 = 0, 20 - b = 2*d + 3*x for d.
5
Suppose 4*v - v + 12 = 0. Let g be (-16)/v - (1 + 1). Solve 0 = g*u - 4, -21 = -5*w - 2*u + 3 for w.
4
Suppose -2*h + 20 + 32 = 0. Let m be (-6)/12 - (1 + h/(-4)). Solve -m*w - 5*b + 4*b = -10, -2*b = -10 for w.
1
Let k(f) = 11*f - 758. Let d be k(69). Solve -2 = -3*q - j + 3, -3*j = -5*q - d for q.
1
Suppose 4*r - 5*u - 390 = 0, -r + 277 = 2*r + 4*u. Suppose -r = -5*a - 5. Solve -13 = -0*y - 4*y + 3*p, 2*p + a = 5*y for y.
4
Let r(s) = -s**3 - 14*s**2 + 14*s - 12. Let p be r(-15). Suppose -2*m - 3*m + 20 = y, -3*m + 12 = -p*y. Solve -m*b = 5*v - 27, -3*b - v + 3*v = -3 for b.
3
Let s = 0 - -4. Let h(w) = 38*w - 7. Let a be h(-2). Let i = a - -85. Solve -2*l + s*x = 0, 0 = -5*l + 3*x - 16 + i for l.
-4
Let s be (-12)/(-6) - 4*1/(-4). Solve 2 = -u - 4*j - 1, u = -s*j - 3 for u.
-3
Let x(t) = -t**2 - 9*t - 8. Let v be x(-8). Suppose 3*m + 0 - 3 = v. Let w be 3 - 3 - (m - 4). Solve 0 = 3*d - 5*j + 3, 0 = -0*d - w*d - 2*j + 18 for d.
4
Suppose -5*c - 20 + 0 = 0. Let t = c + 8. Solve 0 = -3*d, 3*d - 4 = -t*w + 2*d for w.
1
Let h be 2*-3*6/(-36) + 2. Solve -b + 20 = h*y + 8, 0 = -4*b - 4*y + 8 for b.
-3
Let t be (7 + 0)*14/49. Solve 6 = i + u, t*i + u - 13 = -6 for i.
1
Let b(o) = -o**2 + 10*o - 27. Let r be b(9). Let x be (0 + (-2)/2)/(r/36). Solve -5*y + t + 5 = 0, -3*y = -0*y + x*t - 3 for y.
1
Let z(j) = j + 16. Let a be z(-12). Solve r + d = 11 - 3, -a*r + d + 7 = 0 for r.
3
Let r(o) = o - 5. Let h be r(13). Solve v + 2 = 5*s, 2*v - s - 4 + h = 0 for v.
-2
Let d(z) = z**3 - 6*z**2 - 4*z - 17. Let q be d(7). Solve q*p + 20 = -3*n, p + 2*p + 4*n + 15 = 0 for p.
-5
Let w be 4 - (3 - (5 + -3)). Let f(y) = -y**3 + 3*y**2 + y. Let k be f(w). Solve -4*m - r + 3 + 4 = 0, r - k = -2*m for m.
2
Suppose -5*u - 66 + 166 = 0. Let r = 1 - -11. Solve -5*q = u, 0 = -2*w - 4*q - 0*q - r for w.
2
Let g(l) = -l**2 + 48. Let t be g(-7). Let y(s) = 2*s + 7. Let j be y(t). Solve 0 = -3*r + 3*c + 3 - 18, 3*r = -j*c + 17 for r.
-1
Let y be ((-612)/238)/((-3)/14). Solve -3*t = -4*n + 14, -5*t + 4*n - 6 = y for t.
-2
Let i be 34/6 - (-2)/(-3). Solve -i*y - 2*z = 2, 2*z - 3*z - 4 = 4*y for y.
-2
Let u(v) = v**2 - 1. Let t(i) = 2*i**2 + 14*i - 28. Let l(r) = t(r) - u(r). Let h be l(-16). Solve 0 - 5 = h*o, -2*j - 2*o = -6 for j.
4
Suppose a - 7*a = 0. Suppose 132 = -a*j - 6*j. Let y = j + 25. Solve 0 = -t + 2*t - y*o + 7, -3*t = 3*o - 3 for t.
-1
Let h = -106 + 113. Solve -4*k + 5*p + h = 0, 4*k = -2*p + 9 + 5 for k.
3
Let a be -6*((0 - -2) + 4/3). Let c = a - -23. Solve 10 = -5*x - 2*q, 3*q - 6 = c*x - q for x.
-2
Suppose -7*b + 2*b + 29 = -3*g, -4*g + 22 = 2*b. Solve 2*v + 5*s = -2*v - 13, 5*s + b = -v for v.
-2
Let v = 11 + -9. Let o(h) = 12*h**2 - 8*h - 2*h**2 + 6 - h**v - 8*h**2. Let t be o(8). Solve 3*u = -5*s + t*u - 16, -2*s - 5*u = 25 for s.
-5
Let s be (-4 - -3) + (-1 - -7). Let h be s/10 + 10/4. Suppose 0 = -139*m + 151*m - 36. Solve 0 = -0*y - 4*y - m*i - 17, 23 = -4*y + h*i for y.
-5
Let z = 6 + -1. Let l(g) = 20*g**2 - g - 1. Let o be l(-1). Suppose 0 = c - z*r - o, 0 = -5*r + 2 - 22. Solve c = -5*f - 5*k + 15, 1 = f + 3*k - 0 for f.
4
Let g(r) = -r**3 + 6*r**2 + 3*r. Let v be g(6). Suppose 23*s = v*s. Solve 3*o = 3*b + 6, s*b + 3*o = b + 10 for b.
2
Let j be 32/20 - 10/(-25). Suppose 1 = t - 2*r - 25, 0 = j*t + 2*r - 28. Solve -5*i - 2*w = t, -3 + 15 = 2*i - 4*w for i.
-2
Let y(g) be the first derivative of -3/2*g**2 - 7*g + 6. Let h be y(-14). Solve -2*f - f - 31 = -4*u, 0 = -5*u + 3*f + h for u.
4
Let l = 67 - 46. Let n = l - 17. Suppose -n*c + m = 2, -2 + 8 = c + 3*m. Solve 0 = 3*k + 4*d - 1 - 10, c = 5*k - 3*d - 28 for k.
5
Let a(m) = m**2 + 3*m. Let p be a(-4). Suppose 4*f - 5*k - 4 - 12 = 0, -f + p = 2*k. Solve 0 = 5*c - 2*o - 5, -5*c = f*o - 2*o - 25 for c.
3
Let u(l) = 7*l**2. Let c be u(1). Suppose f = -c + 2. Let q = f - -8. Solve 4*a - q*z - 13 = 0, -5*a + 2*z + 2*z + 17 = 0 for a.
1
Let q = -39 + 40. Solve 3*j = -5*f + 6*j + 3, j + q = -3*f for f.
0
Suppose x + 2*l = 8, -3*l - 3 + 10 = -x. Suppose 2*u - x = -8. Let a be (-144)/(-28) - u/(-21). Solve -2*p + 4*y - 26 = 0, -a*p - y = -0*y