q + 5 = g for g.
5
Suppose -3*b + 2*b = 0. Suppose 2*c + 0 - 4 = b. Suppose 4 = 3*p - c. Solve -2*t - 3*f = -11, 2*f = p*t - 2*f - 4 for t.
4
Suppose m = 6*m - 15. Suppose -3*x = -2*x - 10. Suppose 0 = 2*c + 4 - x. Solve -c*p + 4*t = -20, -p = t - m*t - 10 for p.
0
Let l(a) = -a**2 + 4*a + 2. Let q be l(4). Suppose 0 = 6*m - 18. Solve 0 = -4*o + q*g + 16, 0*g = m*g - 6 for o.
5
Let a(r) = 2*r + 10. Let i be a(-8). Let k = -8 - i. Let x(z) = z**3 + z**2 - z + 2. Let o be x(k). Solve o = 5*j - 2*f + 6, -j + 3*f - 10 = 7*f for j.
-2
Suppose d - 3*n + 10 = 0, 3*n = -d + 5*n - 6. Solve 3*t = 3*j - 9, j - 10 = -d*j + 4*t for j.
2
Let j = 3 + -1. Let k(m) = m**3 - 3*m**2 + 2*m + 1. Let s be k(j). Let z be (8/(-6))/(s/(-3)). Solve g = 5*c - z*c + 2, 5*g = -2*c + 17 for c.
1
Suppose -11 = 3*c + 5*o - 1, 0 = -3*c - 3*o. Suppose 0 = c*i - 22 + 2. Suppose 2*n + 20 + 8 = 3*l, 5*n + 31 = l. Solve i*f = 2*x + l, 3*f + 0 = 5*x + 8 for x.
-1
Suppose -7*s + 4*s = 3. Let v = s + 3. Suppose -v = -m - 0*m. Solve 5 = i - m*z, 0*i - 3*i = 4*z - 5 for i.
3
Let k be (-1)/3 + 21/9. Solve 5*f - 2*c = c - 24, 3*c - 3 = -k*f for f.
-3
Let h(j) = j**2 - j - 6. Suppose 0 = g - 5*i + 10, 3*i - 1 = 5*g + 5. Let v be h(g). Let y be (9/(-2))/(3/v). Solve u + 4*s - y = 0, -2*s = -2*u - s - 9 for u.
-3
Let x = 33 - 29. Solve 0 = 2*u + 3*p + 13, 0*p + x*p + 24 = 4*u for u.
1
Let n(s) = 2*s + 2. Let f(a) = -11*a - 11. Let l(z) = -6*f(z) - 34*n(z). Let o be l(-2). Let k be (-2)/(-8) + 11/4. Solve -12 = o*r + k*d, 5*d + 18 = -2 for r.
0
Let b(r) = -r**2 - 7*r - 4. Let j = -7 + 1. Let d be b(j). Solve 2*t + 3 = -l, 2*t = 3*l - d*t - 1 for l.
-1
Let h = 37 - 27. Suppose u + 3*u = v + h, 9 = 3*v + u. Solve -2*p = -2*f + v*p + 2, -3*f + p = -8 for f.
3
Suppose -5*v + 15 = -5. Let h = 1 - 3. Let s be h/(-4) - (-2)/(-4). Solve s = -5*z, -f + 20 = 3*f + v*z for f.
5
Suppose q + 4*c - 3*c - 8 = 0, -4 = 4*q - 5*c. Solve 0 = 3*z + q*a - 3, a - 5*a = -5*z + 37 for z.
5
Suppose b - 3 - 7 = 4*o, 0 = -2*b - 5*o - 6. Solve -2*g = -8, -3*l = -b*l - 2*g + 3 for l.
5
Let p(g) = -2*g - 4 + 0 + 3. Let y be p(5). Let q = y - -16. Solve -q*n + 9 = 4*s - 0, 3*s - 2 = n for s.
1
Let w be 4/2*(-18 - -19). Let g be ((-2)/(-3))/(4/6). Solve -w*j + 9 = 3*c, 4*j = -2*c + j + g for c.
5
Let h = -3 - -8. Solve 5*a = -d - 2 + 6, 0 = a - h*d - 6 for a.
1
Let p = -11 + 15. Suppose -z - 1 = -p. Solve -2*b = f, -5*f - 2 + 9 = z*b for b.
-1
Let v = 47 - 43. Solve z - v*a = -16, 3*a = 4*z - 4 + 16 for z.
0
Let d = -18 - -21. Solve -2*o - 3*r = 7, -4*r = -o - 5*r - d for o.
-2
Let q be (-74)/14 + (-44)/(-154). Suppose 9*z = 4*z - 10. Let f be z/q*(2 - -8). Solve -5*h + f = 4*l - l, -4*h = 2*l - 2 for h.
-1
Let t(f) be the first derivative of -1/3*f**3 + 3*f - 9/2*f**2 - 1. Let y be t(-6). Solve -5*i + 10 = 5*p, -5*i + 3*p + y = 3 for i.
3
Let t = 21 - 16. Solve 3*s - t*d + 1 = 6, -d - 1 = -s for s.
0
Let s(x) = x + 16. Let m be s(-12). Solve 4*l + 16 = -m*p, -3*p - 2*l = 6 + 4 for p.
-2
Let f be 5 + -5 + 3 + -2. Solve -n = 5*m + 23, -n + f = -1 for m.
-5
Let o = 12 - 10. Suppose v - 2 = 2*v, -o*x + 12 = -3*v. Solve -r + 8 = x*m, 0*m + 4*m = 5*r + 17 for m.
3
Let f = -6 + 6. Suppose -m - 2*s + f*s = -21, 0 = -s + 2. Let a(v) = v**2 + 2*v - 5. Let p be a(-5). Solve 3*n - m = -w, -3*w + 26 = 2*n + p for n.
5
Let g(r) = -r. Let f be -1 + (-4 - -3) - 3. Let p be g(f). Solve -p*a - u = -2*u + 3, 0 = -4*a + 4*u - 12 for a.
0
Let s(l) = 2*l**3. Let q be s(-2). Let f = q + 16. Solve 5*t - 15 = -c, f = 2*c - 4*c for t.
3
Let x(k) = 2*k**2 + 0 + 0 - 1 + 4*k**2. Let i = 0 + 1. Let m be x(i). Solve y = g + 3*y + 11, m*g - 3*y = 10 for g.
-1
Suppose 5*z = 2*z. Let f = 10 + -7. Let o be (12/(z + f))/2. Solve -o*m - 3*t - 1 = 0, -4*m - t + 3*t + 6 = 0 for m.
1
Suppose 5*z + 120 = 5*m, m + 0*m - 3*z - 34 = 0. Let y = m - 13. Let k be (-1)/3 - (-38)/y. Solve 0 = 3*x - 4*s + 9, 4*x - 2*s + 8 = k*x for x.
1
Let m = -127 + 129. Solve -3*q - 3*x - 12 = m*x, q + 4*x = -4 for q.
-4
Let x be -1 + 4 + (-1 - -1). Suppose 0 = -x*b - 4*v - 8, 0 = 5*b - 0*b - 3*v - 35. Solve l - 4*l = 4*o, 4*l - b*o = 0 for l.
0
Suppose 0 = -2*c - 2*s + 10, 0*s + 4*s - 16 = -3*c. Suppose -x - c*x = -40. Let d = x + -6. Solve 2*q = -d*w, -2*q + 4*w - 12 = -36 for q.
4
Suppose -2*r - 2 = -3*r. Solve 3*a + 3*x - 6 = 0, 5*a = -2*x + x + r for a.
0
Let m(f) = f**2 + 2*f - 4. Let x be m(2). Solve 3*s + w = -7 - 4, s + x*w = -22 for s.
-2
Let f = 3 - 0. Let l = 0 + f. Solve 4*g + 8 = -m, l*m - 4 = -g - 17 for g.
-1
Suppose -7 - 11 = -2*q. Let i = q + 2. Solve 2*s - 1 - i = -2*m, -3*s = -m - 14 for s.
5
Let g = 0 - 0. Suppose -48 = -4*h - 4*v, -2*v + 17 = h - 0*v. Solve g = k - 2*q + h, 3*k - 6*q = -3*q - 9 for k.
1
Let a(x) = -x**2 - 8*x - 3. Let c be a(-5). Let t be (c/20)/(1/5). Solve s = -4*p - 17, 0*s - 12 = t*p + s for p.
-5
Suppose -q + 7*g + 8 = 2*g, 5*q + 2*g = -14. Let c = 5 + q. Solve -j - j + 7 = -c*t, -6 = -5*j - 4*t for j.
2
Let f(c) be the first derivative of -c**2 + 16*c - 6. Let u be f(8). Solve 2*h + 2*s - 6 = u, -2*h = -h - 2*s - 9 for h.
5
Let n be 2 - (-4 - -3)*1. Solve 31 = n*v - 5*w, 1 = 4*v - v + w for v.
2
Let g = 45 - 35. Solve -2*c = r + 4, 5*c - 4*r - g - 6 = 0 for c.
0
Let p be (2/3)/((-2)/(-15)). Suppose -2*s + 4*s + 4 = 2*q, 0 = s + 5. Let f(w) = -w - 3. Let o be f(q). Solve 3*x + 1 = -n - o, 0 = -2*n - p*x - 1 for n.
2
Let s(l) = l + 2*l + 13 - 4*l - 5. Let m be s(4). Suppose y = 5*c + 12, m*c = 2*y - 0 - 12. Solve 0 = 5*n - d - 1, y*n - n + 5*d = 21 for n.
1
Suppose 10 = 5*k - s, 4*k - 8 = -2*s - 0. Suppose -k*l + 4*p = 20, 4*l = p - 7 + 2. Solve 4*g - 4*y = -0*y + 32, -5*g - 4*y + 4 = l for g.
4
Let d(v) = -56*v + 16. Let q(l) = -11*l + 3. Let f(y) = 2*d(y) - 11*q(y). Let z be f(-1). Let s be (-6)/(-5)*z/(-3). Solve -2*h = 2 - s, -m = 4*h - 8 for m.
4
Let m = 5 + -3. Let j be -1 + m + 3 + 0. Let r be (-32)/(-18) + (-6)/(-27). Solve -j = 4*b, 3*b + 4 = r*f - 3 for f.
2
Let z be -1 + 3 - 6/12*-14. Suppose 4*v + 3*k + 2 = 32, 5*k + 2 = 2*v. Let c = z - v. Solve -j - 21 = -c*j + 3*t, 4 = 3*j + t for j.
3
Let i(y) = -y**2 - 7*y + 10. Let v be i(-10). Let b = -10 - v. Solve 4*j = 5*j - 3*d - 2, 3*d + b = -j for j.
-4
Let i(t) = 5*t**2 - t - 1. Let r be (1/(-3))/((-2)/(-6)). Let y be i(r). Solve y*m + 3 = 4*o - 3, o - 4 = 0 for m.
2
Let d be (-5)/2*-2 + -1. Suppose 4*k + 6 = 14. Suppose 4*u = 3*z + 12, -u + z = -2 - k. Solve d*g + 19 = 7, u = -4*l + g + 11 for l.
2
Let l be 21/4 - (-3)/4. Suppose -s = -4*o + 13, -5*s = -2*o - 1 - l. Solve q = -3, -7 = s*z + 2*q + 11 for z.
-4
Let h be 58/(-7) + 12/42. Let u = h - -19. Solve 3*y = 5*g - 5 - u, 5*y + 4*g = -2 for y.
-2
Suppose -4*n + 5*n = -1. Let a = n - -7. Solve -d - 11 = 5*q, 5 = -q + 2*d - a for q.
-3
Suppose -5*u = -9*u + 16. Suppose -15 = -3*p - 0*p. Suppose 5*f = 24 - 4. Solve -p*h = 4*y - h + f, 0 = -4*y - 2*h + u for y.
3
Let s(y) = -y + 3. Let b be s(-2). Solve -b*q = -5*r + 5, -4*q = -2*r + 3 + 3 for q.
-2
Let i = -110 - -110. Solve -2*k - 6 = -2, i = 2*h - k for h.
-1
Let j(y) = y**3 - 4*y + 3. Let i be j(2). Let v(x) = -x**3 + 7*x**2 + 1. Let z be v(7). Let m = z - -3. Solve m*p + 12 = 0, i*p + 6 + 0 = -h for h.
3
Let t(h) = 26*h + 1. Let a be t(-1). Let u = -13 - a. Suppose -11*i + 8*i + u = 0. Solve i = -2*z + 3*s - 7*s, 4*z + 3*s + 3 = 0 for z.
0
Let a = 4 - 3. Let i be -2 + (-2 + a - 2). Let g(f) = -f**3 - 6*f**2 - 4*f + 6. Let r be g(i). Solve -2*b + 6 = -2*m, -2*b - 13 - r = 2*m for m.
-5
Let n(r) = -r**3 + 3*r**2 + r - 1. Let i be n(2). Solve -v + i*t + 5 = 0, -2*v - 5 = -3*t - 1 for v.
-5
Suppose -u + 4*k + k + 563 = 0, -4*k + 581 = u. Let t be 1/3 - u/(-9). Suppose -6*r + t = -2*r. Solve 4*m + f - 8 = -3*f, 0 = 4*m - 4*f - r for m.
3
Suppose 4*g + 4 = z + 20, 0 = 3*g + 5*z + 11. Let s be 5 - -2*3/(2 + -5). Solve -g*d + 2*i = 6, -s*d - 10 = 2*d - i for d.
-2
Let w be (-1 - -3)/(6/(-24)). Let k = -6 - w. Suppose 5 = 4*d - 15. Solve k*y + 3*y = d*b - 10, 12 = 2*y + 2*b for y.
2
Suppose -3*k = n - 2, 5*n - k - 4 - 6 = 0. Solve -4*y = -w - 4, -n*w + y - 2 = -8 for w.
4
Suppose 0 = -4*f + 2*x + 12, -2*f - f + 9 = -x. Solve -b + 2*l = 2, 0*b - l = -b - f for b.
-4
Let o(p) = 2*p**3 - 4*p**2 + 3*p - 3. Let i be o(3). Solve 2*u - m - 3*m - i = 0, 5*u = 4*m + 30 for u.
2
Suppose -4*i