*r + g for r.
3
Let b be -2 - (-3 + -3 - 0). Let s(h) = -h**2 + 5*h. Let n be s(b). Solve 3*o + t = n, -o + 3*t = 2*t for o.
1
Let a = -3 + 4. Suppose 2*t = a + 29. Solve -3*c - q + 2*q = 15, -q - t = 3*c for c.
-5
Let p = -88 - -88. Solve p = u + r - 2, -5*u + 2*r = -2*r - 28 for u.
4
Suppose d - c = -19 + 42, 4*d - 2*c = 86. Suppose 0 = -5*x - f + 6*f + d, -x - 4*f - 1 = 0. Let s = -4 + 7. Solve -h + x = -2*a - 5, s*a + 19 = -2*h for h.
-2
Let z(l) = l - 6. Let n be z(10). Solve 4 = 2*g - 3*r + 23, -11 = n*g + 3*r for g.
-5
Suppose -2 = -4*i + 3*s, 3*i + 4*s + 5 = -6. Suppose 16 = -0*x + 4*x. Let n = x + i. Solve 0 = -2*o + n*u - 2, -1 = -o + u - 0 for o.
5
Let x(g) = -g**2 + 6*g - 6. Let f be x(4). Solve 0 = 2*l - 2*z - 2, f*l - 1 = 4*z + 1 for l.
1
Suppose u - 7 = 3. Let j be (-3)/2 - -3 - (-6)/(-4). Let f(t) = t**2 + 5*t + 4. Let p be f(-5). Solve w + 4*c = -p + 13, 4*w + 3*c - u = j for w.
1
Let n(v) = -v**3 - 3*v**2 + 9*v + 12. Let x be n(-5). Solve 0 = l - 3*u - x, 3 = u + 8 for l.
2
Let s(h) = -h**2 - 5*h + 8. Let c be s(-6). Suppose c*f - 6*f = -20. Suppose 0 = -0*o - 5*o + 25. Solve -o = f*g - 5*t, -3*t - 14 = 4*g - 2*t for g.
-3
Let b(v) = -v + 5. Let w be b(4). Let q = 4 - w. Solve -4*f - q*k + 9 = -1, 4*k = -f + 9 for f.
1
Let u = -47 - -52. Solve 16 = -4*x + j, u*x + 26 + 9 = 5*j for x.
-3
Let r(x) = x**3 - 16*x**2 + x - 7. Let o be r(16). Let s = o - -3. Solve 3*b + 4*y + 17 = 0, 4*b + 6 = -3*y - s for b.
-3
Suppose 3*v - 15 = 3*r, 0*v - 25 = -3*v - 2*r. Solve 3*q = -4*j + v*q - 16, -2*j + 1 = q for j.
-1
Let s = -11 + 27. Let i(m) = 5*m + 72. Let c be i(-14). Solve c*v + 2 = 2*r, -3*v + 1 = s for r.
-4
Let h = -8 + 8. Suppose 5*s - 3*o - 65 = h, 40 = s + 2*s - 2*o. Suppose -2*x = -1 - 7. Solve 3*v - 4*f - 22 = 0, 3*v + 5*f + x = -s for v.
2
Let t = -6 + 11. Solve 0 = 2*i - t*m, -3*m - 19 = -0*i - 5*i for i.
5
Let l = 2 - -2. Let b(g) = -g**2 + 4*g + 3. Let m be b(l). Solve -v + y + m = 0, -3*v - y - 4*y = -17 for v.
4
Let n(y) be the third derivative of -y**4/24 + 11*y**3/6 + 3*y**2. Let c be n(9). Solve -4*j = -4*m + 12, -2*m - c = 2 for j.
-5
Let z be (-2 - -2 - -1)*-3. Suppose -4*g - 31 = -7. Let f be (-2 + z/g)*-2. Solve -f*l + 0*l - 2*u - 2 = 0, -4*l - 12 = -2*u for l.
-2
Let x(v) be the third derivative of v**6/120 + v**5/15 + v**4/24 - v**3/3 + 10*v**2. Let t be x(-3). Solve t*k = -m + 12, 0 = 5*m + 4*k + 6 - 34 for m.
4
Suppose 0 = -3*f + f. Let v be 2 - (1 - f/4). Solve -j - 4*x - 8 = j, 0 = j - x + v for j.
-2
Suppose 2*x - 34 = 24. Solve -2*h = 5*d - x, -5*h + 7*d - 3*d - 10 = 0 for h.
2
Let b = 117 - 57. Let n = b + -42. Solve -2*z + n = 5*i, -4*i - 8 = -3*z - z for z.
4
Suppose -3*c = 5*r + 19, -2*c + 5*c = r + 11. Let i be (-2)/(-3)*3*1. Let p = c - i. Solve -2*w + 4 = n - 3*n, p = 3*n - 2*w + 3 for n.
1
Let v(u) = -2*u**2 - 15*u + 11. Let x be v(-8). Let q be -3*(-1)/(3/4). Solve -3*m = x*k + 12, -m + 5*k = -q*m - 22 for m.
1
Suppose 0 = -a - 3 - 2. Let d be (-2)/(6/a)*3. Solve -d*n = 3*z, -2*n + 0 = 4*z + 14 for n.
3
Let j(z) = -5*z**3 + 4*z**2 - z - 2. Let u be j(2). Let t = -13 - u. Solve 5*q = a - 10 - t, -22 = 3*q - 2*a for q.
-4
Suppose -4*i = -3*i - 3. Solve -y + 7 = -3*x, i*x + 19 = -2*y - 3*y for x.
-3
Let w = 3 + -3. Let r = 0 - w. Solve g + b = -5, 10 = -r*g + 2*g - 3*b for g.
-1
Let q be (0/4)/(6/3). Suppose w - 3 + 6 = q, 0 = 3*v + 3*w - 9. Solve 5*f = -v*x + 3*x - 26, -2*f - 6 = -x for x.
-2
Let q be (2/(-3))/(4/(-54)). Suppose -u + q = 2*u. Solve 7*t - 11 = -s + u*t, -2*t + 1 = -s for s.
3
Suppose -5*x = 3*k + 95, k - 6 = -1. Let b = 27 + x. Solve -5*z + h - 5 = 1, -10 = 5*z - b*h for z.
-1
Let n = 23 - 20. Solve 4*m - 2*i - 10 = n*i, 2*m + 2*i + 4 = 0 for m.
0
Let r = 17 - 12. Suppose 6*a = 5*a + r. Solve l = -3*l - 3*k + 7, a*l - 3*k = 2 for l.
1
Let n(g) = -g**2 + 5*g - 4. Let j be n(3). Suppose -j*p + 3*p = 0. Let o be 1/4 - (-70)/8. Solve -4*h + f = -p*h + o, 4*f = 4*h + 24 for h.
-1
Suppose -4*c = -1 - 15. Solve 0 = 5*f - 5*s + 10, -3*f = 2*f - c*s + 7 for f.
1
Let h be ((-6)/(-7))/(3/14). Suppose 5*a + 3*s - 12 = 0, 4*a - s = 18 - 5. Solve 3*t = -12, 3*f + a*t + h = -f for f.
2
Suppose 7 = 5*t - 2*r, 4*t - 3*r - 4 = -r. Solve 0 = -4*f - 4*i - 8, 5*f - 17 = i + t for f.
3
Let d(i) = 2*i - 11. Let y be d(7). Solve 2*k - 3 = 2*q + 3, -4*k - q = y for k.
0
Suppose -13 = -z + 3*g, -g + 5*g = -12. Suppose z*q + 50 = 2*i - 4, -5*q - 110 = -5*i. Solve -i = -u - 5*f, 0*u + u + 3*f - 9 = 0 for u.
-3
Suppose -5*n + 44 = -n + 4*p, 3*n - 38 = 2*p. Solve -3*m + 31 = 5*y, -3*m + 3 = -3*y + n for y.
5
Let d be 147/(-14)*(-4)/6. Suppose -4*s + d*s = 0. Solve 5*n = s, -2*x + 0*n = 3*n - 8 for x.
4
Let o be (28/(-6) + 2)*-12. Suppose 3*j = -j + o. Suppose -j = -3*g - g. Solve g*i + 0 + 10 = 0, -3*a - 2*i = 22 for a.
-4
Let b be (36/45)/((-1)/(-5)). Solve -4*s + 0*l = 3*l + 3, 3*s = b*l + 29 for s.
3
Suppose 5*c - 225 = -4*k + 6*k, -k = -5. Let h = c + -20. Solve 3*m = -r - 4 + 15, -3*r + 3*m - h = 0 for r.
-4
Let i = 19 + -15. Solve 4*n - 5*w - i = 0, 0*n - 12 = 4*n - w for n.
-4
Let z be (-2)/7 - (-128)/56. Solve 4*y = 2*f + 3 - 1, -z*f + 3*y = 0 for f.
3
Let r = -1 - 0. Suppose 0 = 3*d - 3. Let x = d - r. Solve 0 = 2*z + v - 3 + 7, v - x = 0 for z.
-3
Let v(s) = -s**3 - s**2 + 2*s - 3. Let y be v(-3). Solve -14 = 3*z + z + 2*l, -z = -2*l - y for z.
-1
Let c be 3 - 1*(0 + 1). Solve 5*u + 3*d = 9 + 7, -d = c*u - 6 for u.
2
Let i(l) be the first derivative of l**3/3 - l**2/2 - 4*l + 3. Let h be i(3). Solve 5*u - 5 = 3*r, -h*r = -u + 2*u + 12 for u.
-2
Let l = 29 - 24. Solve -u = -4*z + 13, 3*z - l*u + 1 = -2 for z.
4
Let u = -3 + 17. Let x be (-20)/6*(-21)/u. Solve 4*h + 4*i + x = 1, 4*i = -8 for h.
1
Let i be (-1)/5 + 184/(-5). Let u = i + 78. Suppose 5*j = 14 + u. Solve -2*v = 2, j = t + 2*t + 4*v for t.
5
Let n(f) = f**3 - 5*f**2 - 11*f - 1. Let w be n(7). Solve -5*o - w = -5*g, -o + 5*g - 3*g - 7 = 0 for o.
-1
Suppose -3*a - 11 = -74. Solve y - 7 = -4*q, 5*y - 5*q + 19 = -a for y.
-5
Suppose 2*j + 7 = w, 4*w + 2*j = -2*j + 88. Let d = w - -2. Solve 4*u + g = 21, 0 = 5*u + 2*g - d - 11 for u.
4
Let u be 4/8*(0 + 6). Suppose 0 = -0*t - t + 2*i, -u*i + 13 = 5*t. Solve -t*p - 3*h = 4, 3*p - h + 0*h + 6 = 0 for p.
-2
Let l(w) = -w**2 + 4*w + 5. Let q be l(4). Let d be (-4)/(5/((-15)/2)). Suppose -r + d*v = 3*v + 4, 0 = -r + 2*v. Solve -2*a = f - 16 + q, 0 = -a - f + r for a.
3
Let w = 13 + -4. Solve w = 2*f - 3*z, -3*f + 2*z + 5 - 4 = 0 for f.
-3
Suppose 2*u = -2*y + 4 - 0, -2*y + 4 = 5*u. Let r be 3/y + (-6)/(-4). Solve r*k + 46 - 9 = 5*z, -5*z - 5*k + 5 = 0 for z.
5
Suppose 99*j - 103*j + 12 = 0. Solve -2*a = 3*a - 2*p - 19, 4*p + j = 3*a for a.
5
Suppose 5*h = -4*v - 5, 2*h + 0*h - 3*v = 21. Let c = 3 - 0. Solve c*t - 4*k = -t + 12, t + 5*k + h = 0 for t.
2
Let u be (-7 + 1)/3 + 2. Suppose v + 2*v + 102 = u. Let j be 3/(-2)*v/3. Solve -3*m + 8 = c - 5*c, 5*m - 3*c - j = 0 for m.
4
Suppose g + 31 = 2*g. Let d = g + -22. Solve 2*z - d = -2*f - f, 3*f - 9 = 4*z for z.
0
Let b(h) = -h + 4. Let w be b(2). Solve 0 = 5*l + 4*n - 9*n + 40, 5*l + 28 = w*n for l.
-4
Let a(x) be the first derivative of -x**4/4 + x**3/3 + 9*x + 2. Let k be a(0). Solve 3*i + 2 = -2*p, 0 = -5*p + k + 1 for i.
-2
Suppose 5*k - 5*a = 30, -6*k + 6 = -k + a. Solve -3*w - 5*g - 5 = 0, 3*g - g = -k for w.
0
Let l(m) = 3 - 3*m - 5 - 8*m + 2*m**2 + 1. Let n be l(6). Let r be 3/(1/2 + 1). Solve -r*p - 9 = -a, 0*a - 4*a - n*p - 29 = 0 for a.
-1
Suppose -2*v + 5*v = 0. Let b(x) = x**3 + 6*x**2 - 6*x + 10. Let l be b(-7). Let f = v + l. Solve 6*o + 15 = o - 3*g, 15 = f*o - 3*g for o.
0
Suppose 0 = 14*r - 18*r + 8. Solve 0 = a - 3*b + 4, -r*a - b = 12 - 4 for a.
-4
Let f(k) = k + 0*k - 4 + 0*k. Let q be f(7). Solve 4*g = 4*p - 8, -q*g + 1 = -5*p + 15 for g.
2
Suppose -5*l - 10 = 4*s, -l - 3 + 1 = 3*s. Let n be (l + (-26)/(-10))*5. Solve -3*b = -5*f + 4 - 12, -5*b - 8 = -n*f for f.
-4
Let f be 2 - (-16)/4 - -5. Solve -3*x - 8 = -2*a + 3*a, -4*a - f = 5*x for x.
-3
Let m(v) = -3*v**3 - v**2 + v + 2. Suppose a = -3*a - 8, 2*k + 2*a + 8 = 0. Let x be m(k). Solve -3*h + u = -10, -2*u = h - x + 5 for h.
5
Suppose 5 = -2*t + 3*t. Solve -3*a + 8*a = -5*b + 30, -t*a + 22 = b for a.
4
Suppose 2*g - 20 = -5*d, 5*d = -2*g + d + 16. Solve 2*w + i + 9 = 0, 4 =