 Solve -3*r + 2*v + 3 = l, r - 1 = 2*v for r.
-5
Suppose -u - 2*u = 0. Suppose -3*j = -u*j + 12. Let o be (-5)/20 + (-1)/j. Solve 3*x = -5*t + 19, -4*x + 6*t - 3*t - 23 = o for x.
-2
Let x be 2*(-3)/6 - -24. Solve -5*l + 4*z = -x, -3*l - 3 + 2 = 5*z for l.
3
Let y be (10/4)/((-3)/(-6)). Let i(l) = l**2 + 30*l - 17. Let n be i(-31). Solve 0 = -y*g + 2*t - 25, 4*g - 4*t = 6*g - n for g.
-3
Suppose 2*b - 4*b - p = 3, 2*b = 3*p + 9. Suppose b = -5*u + 15, 2*y - 7*u + 2*u + 7 = 0. Solve -4*z - 1 = -4*o + 19, -3*z = y*o + 8 for o.
1
Suppose 12*q = 8*q + 12. Suppose 3*k - 6 = q. Solve 4*v = -k*l - 5, l + 2*l = 5*v - 14 for l.
-3
Let k be ((-18)/(-12))/((-30)/(-40)). Solve 1 = -o + 5*q - 1, k = -o - 2*q for o.
-2
Let o be -3*8*((-195)/10)/(-13). Let z be (6/5)/(-2 - o/15). Let d be (-2)/1 + (0 - -2). Solve b = 3*g - 4, d = -3*b + 2*g + z*g for b.
5
Suppose 8 = -4*c - 5*h, -2 = 2*c + 10*h - 8*h. Solve -6*d + 10*d + 5*z = -27, c*d + 3 = 2*z for d.
-3
Suppose -t = 5*w - 10, -8*t + 3*t + 2 = w. Solve h = -2*n - w*n + 15, -12 = -4*n for h.
3
Let k be 7/14 + 9/6. Solve -2*x = 2*r - 16, 5*x - 9 = 2*r + k*x for r.
3
Suppose -5*y + 52 = 4*c, 2*c - 65 + 51 = -y. Solve 12*t - 13*t - y = 3*k, 0 = -k - 5*t - 12 for k.
-2
Let o = -981 + 985. Solve -5 = -5*q, 2 = -o*j + j - q for j.
-1
Let z(h) = -10*h**2 - 10*h + 20. Let b(w) = -2*w**2 - 2*w + 4. Let f(v) = -14*b(v) + 3*z(v). Let q be f(-2). Solve 0 = -4*p - 8 - 8, q = -3*a + p - 5 for a.
-3
Suppose -4*m = -4*w - 12, 2*m - 15 = -3*m - 5*w. Suppose -37 = -4*j + 3. Let l be (j + -11)/((3/5)/(-3)). Solve 2*n = 3*f + 12, m = f - l*n + 7 for f.
-4
Suppose -2*w + 117 = w. Suppose 0 = w*j - 41*j + 48. Solve 7 - j = -2*x - 3*a, -x - 24 = -5*a for x.
1
Suppose 0 = -3*o + 2*o + 21. Suppose -6 = 3*l - o. Let f(m) = -m. Let v be f(0). Solve 2*z + 0*c - 5*c - 26 = v, 20 = -l*c for z.
3
Let d(q) be the first derivative of -q**3/3 - 13*q**2/2 + 5*q - 5. Let g be d(-13). Solve -g*a + 22 = 4*c, 4*a - 2*c = 2 - 0 for a.
2
Let r be (6/10)/((-3)/(-15)). Suppose -r*x = -3*h + 30, 0 = -5*h - 4*x - 5 + 55. Solve -3*q + h = -3*m - 2, -4*m - 2 = 3*q for m.
-2
Suppose -3*d - 3 = 6. Let f(z) = z**2 + 5*z + 1. Let r be f(d). Let o be r/(-20) + 7/4. Solve -o*u = -4*c + 22, -5*c - 3*u = -5 - 17 for c.
5
Let t(z) = -21*z + 12. Let u be t(-3). Suppose -45 = -3*g - 5*w, 3*g - 4*w - w = u. Solve -2*a + 25 = 5*l, -6*l + 2*a = -2*l - g for l.
5
Suppose -o + 2*n + 11 = 0, -7 = 2*o - 3*o + n. Solve -4*s = o*t + 23, t - 3*s + 19 = -4*t for t.
-5
Let k(r) = 5*r**3 + 2*r**2 - 1. Let y be k(-1). Let a be ((-2)/4)/(y/272). Let q = -29 + a. Solve -p = 4*t - q*p - 32, t = 2*p + 12 for t.
4
Let j(z) = -z**2 + z - 1. Let a(c) = -4*c**2 + 9*c - 10. Let g(r) = -a(r) + 5*j(r). Let h be g(-3). Solve 7*s - 2*s - 9 = -2*q, -4*q + h = 0 for s.
1
Let r be -1 + (2 - 1) + 1. Let j = r + 4. Let c be (124/(-341))/((-16)/88). Solve w + j = s, -4*s + 0*s + c = 2*w for s.
2
Let g be 12*(-4 - 2/(18/(-39))). Solve 2*q = 4*d + 5*q - 9, 0 = -g*d - 4*q + 8 for d.
3
Let b = -68 - -73. Suppose -20 + 20 = b*u. Solve -4*k - a + 4 = -3, -a + 3 = u for k.
1
Let s(d) = d**2 + 2*d + 1. Let f be s(-1). Let m be (2 - 2)/(1/(2/(-8))). Solve f = -3*i - i + 16, m = 5*b + 4*i + 9 for b.
-5
Let n = -154 + 156. Solve r + j = -2, -7 = n*r + j + 2*j for r.
1
Suppose 3*t + 0*k - k = 26, 2*t = 3*k + 29. Solve -2*i + 5*y = -0*y + t, -4*i + y = 5 for i.
-1
Suppose -2*h + 28 = -22. Let v = h - 21. Solve v*w - 33 = 5*u, -u - 15 = -3*w - 2*w for u.
-5
Let n = -3258 - -3260. Let j be 6/5*(-20)/(-6). Solve -n*w + 4 = j*u, -2*w + 3*u - 23 = -2*u for w.
-4
Let r be 1/3 + (-209)/(-3). Suppose r = 4*o - 3*v, -v = 3*o + 4*v - 38. Solve 4*k + 4 = 3*d + d, d = -4*k + o for k.
3
Let x = -111 - -116. Solve 0 = 3*i - 2*b - 8, x*b + 8 + 7 = 5*i for i.
2
Let w be ((-9)/(-27))/((-1)/(-39)). Suppose 0 = g - 15 + w. Solve -16 = 4*q - g*f + f, 2*f = 2*q + 2 for q.
-5
Suppose 0 = -13*z + 11*z. Solve h - 4*p - 9 - 8 = z, -5*p = 25 for h.
-3
Suppose 17 = 4*g - 47. Let v = g + -12. Solve t + v*q = -18, 5*q - 1 = 5*t - 11 for t.
-2
Suppose 3*k - 8*k = -25. Let j be -2 + k + -3 - 0. Solve -20 = 4*n, -5*r + 4*n - 2*n + 15 = j for r.
1
Let i = -472 - -475. Solve u = -i, -33*q + 32*q = -4*u - 7 for q.
-5
Let f(n) = n**2 - n. Let t be f(2). Suppose t - 9 = -v. Solve -s = -3*s + 2*q + 10, 2*s - q = v for s.
2
Let z(a) = a + 10. Let s be z(-7). Solve -5*k - 12 = -s*p - 10*k, 0 = -2*p - 3*k + 7 for p.
-1
Suppose 0 = y + 2*w - 18, 4*y - 5*w - 137 = -0*y. Suppose 4*k + 2*g = y, -4*k + 24 = 2*g - g. Solve 0 = -2*p - 0*u + k*u - 19, 5*p = u + 10 for p.
3
Suppose 11*s + 120 = 35*s. Let c(i) = i**3 + 6*i**2 + i + 5. Let d be c(-6). Let n = 3 - d. Solve -v + 3*u + 3 = 0, -u + s = -n*v - 5 for v.
-3
Let w be 84/21 + (0 - 0). Solve -4*z + 5 = 3*o - w*o, 0 = -4*o - 20 for z.
0
Suppose 5*x = -246 + 266. Let h = 67 + -29. Let l be h/3 - (-1)/3. Solve -x*u + 0*u = 5*v - l, 4*v - u = 2 for v.
1
Let x(q) = 15*q**3 - q - 1. Let r be x(-1). Let u be 5*-1 - r/5. Let g be ((-36)/(-8))/(-3)*u. Solve -3*z + 5 = i + 24, -z + 2*i = -g for z.
-5
Suppose -132 + 132 = -3*u. Solve -3*g - 13 = -u*t - 2*t, -2*t + 23 = -5*g for t.
-1
Let l(g) = -g**2 + 10*g + 16. Suppose 9 = 3*q + 6. Let o(f) = 12*f - 1. Let w be o(q). Let r be l(w). Solve -4*x - r*t + 45 = 0, -4*x + t + 10 + 5 = 0 for x.
5
Let h(c) = -c**3 - c**2 + c + 2. Let p be (-15)/(-10)*(0 + 2). Suppose -p*w = -10 + 16. Let b be h(w). Solve -3*g = 4*q - 4*g + 23, -b*q = 2*g + 14 for q.
-5
Suppose b + 16 = 5*b. Suppose b*w = 2*p - 46, -4*p + 100 = -w - 3*w. Solve v - 4*v - 5*g = p, 2*v = 3*g + 1 for v.
-4
Let v = 27 + 13. Suppose 14*r - 6*r = v. Solve -r*q = f + 15, 4*f - 6 = -2*q + 6 for q.
-4
Let k be 7 + -3 + 0 + -4. Solve -5*f - s = -k*s - 29, 3*s - 32 = -4*f for f.
5
Let z be 21/(-49) - (-15)/35. Solve 2*q - 7 = h - z*q, -q + 8 = h for h.
3
Let h = 80 + -93. Let o = h - -36. Solve 3*q - t - 3*t - o = 0, -5*q = -5*t - 35 for q.
5
Let x = 3 - 1. Let t be (x/(-4))/((-2)/4). Let m be ((-16)/(-6))/((-13)/((-468)/(-24))) + 8. Solve -m*y - 5*v - t = 1, 8 = 3*y - v for y.
2
Suppose 4*t - z = 9, 4*z - 3*z + 3 = 2*t. Solve -d - 2*o + o = -10, t*o - 15 = 0 for d.
5
Let s = -6 + 11. Suppose s*i + 0*i - 14 = 2*g, -5*g - 10 = 0. Suppose 5*f + 5*m = 45, 0 = -m - 5 + 10. Solve -12 = -3*k + 3*u, i*u - f = -k - 2*u for k.
4
Let q(s) = s**2 - 5*s + 10. Let m be q(3). Suppose -f + 0*f - 5 = m*r, r - 13 = -5*f. Solve 2*p = -4*h - 3*p + 15, -3*h + p = f for h.
0
Suppose 46 = n + 41. Solve 4*l - 2*l = -4, 4*l + 28 = -n*g for g.
-4
Let n = -585 - -587. Solve -2*j - n*k + 10 = 0, k - 6 = 4*j - 21 for j.
4
Let s be (-42)/147 - (242/(-14) + 1). Solve 0 = 4*a - j + 6*j - 28, 4*j = s for a.
2
Let b(o) = 3*o**3 + 11*o**2 - 8*o - 1. Let d be b(-4). Solve 4*w + d = -p, 0*w = 4*p - 4*w - 20 for p.
1
Let m(l) be the second derivative of -l**4/6 + l**3 - l**2 - 13*l. Let h be m(2). Let f = 1 - -1. Solve 2*x - 2 = -f*i, h*x + 5*i - 10 = -2 for x.
-1
Let h(v) = v**2 - 8*v + 3. Let j be h(8). Let m be (-12)/2*(-42)/12. Let d be 9/(-2)*(-14)/m. Solve 2*b + 4*z + 14 = 0, d*b + 0*z - j*z = -3 for b.
-3
Let p be 12/(-2 + 4)*(-5 + 9). Suppose 4*f - 4*a = p, -4*a = 3*f - 0*a - 18. Solve f + 4 = 5*d + o, -3*d - o + 6 = 0 for d.
2
Let k = -21 - -23. Suppose -47 = k*a - 51. Solve x - 6*x + 5 = 5*h, 0 = -a*h - x + 6 for h.
5
Let k be ((-5)/2 - -3)/((-3)/96). Let l = k + 19. Suppose 0 = c - f, -3*f + 20 = 2*f. Solve -5*s + 18 = -l*m - 2*s, 0 = c*m + 2*s + 18 for m.
-5
Let c(n) = n**2 - 8. Suppose 0 = g + 3*g - 3*v - 3, 4*g - 2*v - 2 = 0. Let u be c(g). Let b = 11 + u. Solve 3*h = -y - 13, -b*y = 3*h - 8*h - 3 for y.
-4
Let i(p) = 10*p - 2. Let h = 58 - 57. Let f be i(h). Solve -3*o = -2*q + 14, -3*o = 6*q - 2*q + f for q.
1
Let h = 23 + -20. Suppose -3*y - h*z = 2*z - 25, -3*y + 20 = 4*z. Solve y = -3*x - c - 1, 8*c + 8 = -4*x + 5*c for x.
1
Suppose 7 + 13 = 10*p. Solve -3 = 5*n - 2*m, -3*n - p*m = n - 12 for n.
1
Suppose 4*p = 2*n - 7*n, 0 = 2*p + n - 6. Let h be 3/(-5) - (-12)/20. Suppose 3*f = 2*f. Solve f = -l - 3*o - 1, l - p*l - 2*o + 16 = h for l.
5
Suppose -3*y = -3*z + 45, 5*z + 2*y + 78 = 10*z. Solve -4*s - 4*m + z = 0, -2*m + 8 = 5*s - 0*m for s.
0
Suppose 2*n + 4 = -2*n - l, 16 = 4*n - 4*l. Let c(b) = -b + 3. Let w be c(0). Let q = 8 +