r f.
2
Suppose 3*g + 4*h - 15 = 0, -25 = -g - 4*g + 5*h. Solve -g*w - 1 - 14 = 0 for w.
-3
Let o(t) = -t**2 - 4*t + 1. Let f be o(-2). Solve 0*z = -f*z + 5 for z.
1
Suppose -2*v + 20 = -8. Let q = v + -14. Solve q = 4*d - 12 + 32 for d.
-5
Suppose 3*f = 12 + 3. Suppose -2*y + 0*a = 4*a - 4, a = f*y - 21. Let w = 4 - y. Solve -5*c - 20 = -w*c for c.
-4
Let q be 0 - (5 + -1)/(-1). Solve q*j = 5 - 1 for j.
1
Let s = -1 - -2. Solve s = -2*m - 3 for m.
-2
Suppose 2*u = 6*s - s - 72, -s = -2*u - 8. Let q = s + -11. Solve i = -0*i + q for i.
5
Let o be (-1 + 0 + 1)/(-1). Suppose 2*g = 3*b + 5*g + 9, 3*b - 6 = 2*g. Let z = b + o. Solve 5*v - 15 - 5 = z for v.
4
Suppose 27 = 7*v - 8. Solve 12*j - v = 11*j for j.
5
Let w(r) = -2*r - 9. Let y be w(-6). Let s be 99/(-15) + (-6)/(-10). Let t = 6 + s. Solve t = -y*j + 8 - 2 for j.
2
Suppose 0 = -3*k + 5*l + 24, 0 = -4*l - 0*l. Let p = -108 - -111. Solve p*f - k = f for f.
4
Let w = -168 - -170. Solve -5*g = -w*g - 6 for g.
2
Let a = 98 + -76. Solve y = a - 19 for y.
3
Suppose 5*r + 5 - 15 = 0. Solve r = i - 2*i for i.
-2
Let y = 8 + -10. Let g = -6 + 3. Let d be g/2*y + -1. Solve 15 = i + d*i for i.
5
Let y be 2/8 - (-2)/(-8). Let n(z) = -9*z - 42. Let m be n(-6). Solve -3*h - m = -y for h.
-4
Let g = -57 - -12. Let s be (g/(-6))/5*-2. Let x be 2 + (2 + -2)/s. Solve -h = x*h for h.
0
Suppose 5 - 14 = -5*p - 4*o, 0 = 2*p + 2*o - 2. Suppose 0 = -2*a + 79 + 81. Suppose a + 72 = 4*h. Solve -13 = -p*r - h for r.
-5
Let u = 135 - 125. Let o = 0 + 0. Solve 5*v + o*v = -u for v.
-2
Let v(g) = g**2 + 22*g - 4. Let x be v(-23). Let r(c) = c**2 + 4*c - 1. Let z be r(-5). Suppose -2*w + w = -z. Solve -5*i = -w + x for i.
-3
Let a = -34 + 48. Suppose 2 = 4*n - a. Suppose 0 = -t + n*t. Solve t*f = -f for f.
0
Suppose 5*o + 50 - 10 = 5*f, -5*o - 16 = -f. Solve -3*s + 5*s + f = 0 for s.
-3
Let n be (-9)/21 - (-34)/14. Suppose 2*w = -3*g, 4*g + 5*w = n*w. Solve 3*u - 4*u + 5 = g for u.
5
Let p(y) = 2*y**2 + 6*y - 2. Let f be p(-5). Let z = f + -13. Solve -o = 4*o - z for o.
1
Let c be 1 - 1 - 3 - -15. Let q = c + -7. Solve q*s - 10 + 35 = 0 for s.
-5
Suppose 6*r - 8 = 2*r. Let i = 3 - 2. Let w be -6 - -20 - (i + 2). Solve -w = r*b - 3 for b.
-4
Suppose q + 20 = 5*q. Suppose -12 = -q*r + 18. Solve -4*c + r + 2 = 0 for c.
2
Let n(t) = -2*t**3 - 11*t**2 - 5*t + 2. Let m be n(-5). Solve m*i = i - 1 for i.
-1
Suppose -3*m = 2*m - 4*x - 20, -3 = -m + x. Let r(g) = -g + 8*g + 2 - m. Let c be r(4). Solve c = -5*s + 2 for s.
-4
Let c(t) = t**2 + 7*t + 1. Let b be c(-7). Solve b = -3*k - 2 for k.
-1
Let f(w) = w + 8. Let l be f(-5). Suppose 12*u - 11*u = l. Solve 4*p - 5 = u*p for p.
5
Let r be (-2 - -3)*-1*12. Let t be (-1)/(-3) + (-44)/r. Solve 2 = 2*g - t for g.
3
Let o be -9*4/(-42)*7. Solve -o*w + 5 = -w for w.
1
Let s(z) = z - 3. Let y be s(4). Let m be 1*-2*(-9)/6. Solve -y - m = r for r.
-4
Suppose -h - 3*h - 28 = 0. Let k be (-21)/(-49) + (-46)/h. Let r = -7 + k. Solve r = 2*m + m - 15 for m.
5
Let d(o) = 2*o. Let u be d(-1). Let r be (-2 + 1 + 1)/u. Solve 0 = k - 2 - r for k.
2
Let b(n) = n**2 + 3*n. Let i be b(-3). Suppose i = -d - 4*v - v - 5, -2 = 5*d + 2*v. Let c be d/((-1)/((-1)/(-2))). Solve 4*r - 3 - 1 = c for r.
1
Let v be -6*(-1)/(6/9). Solve 5*k + v + 11 = 0 for k.
-4
Let g be 4 + 4 - (-2 - -4). Solve 3*k + 9 = g*k for k.
3
Suppose -12*u = -9*u + 36. Let o(q) = -q**3 - 12*q**2 - q - 8. Let p be o(u). Solve -p*l - l + 20 = 0 for l.
4
Let t be (-6)/(-15) - (-6)/10. Let w = 0 - 0. Solve -2*p + t + 9 = w for p.
5
Let c(z) = z**2 + z + 5. Let h be c(0). Let l(b) = b**3 - 4*b**2 - 4*b - 2. Let p be l(h). Solve 0 = -8*n + p*n - 15 for n.
-3
Let t = 0 - 0. Solve t*k - 2*k = 0 for k.
0
Suppose -2*i + 21 = -37. Solve -5*q + 4 - i = 0 for q.
-5
Let k(s) = -s**3 - 6*s**2 - 2*s - 9. Let c be k(-6). Suppose c*v = 3*p, 3*v = -4*p + 2*v. Solve -4*g + g = p for g.
0
Let k = 31 - 27. Solve k = 4*p - 8 for p.
3
Let m be (2/4)/(2/12). Let z be (-20)/(-25)*10/(-2). Let j be (0/z)/(-3 - -2). Solve -w + m*w - 4 = j for w.
2
Let m = -7 - -11. Let c be (24/(-20))/(m/(-410)). Let q be c/39 - 4/26. Solve q*z = z for z.
0
Let d be ((-6)/4)/((-12)/16). Suppose -3*r = -d*u - 16, -4*r + 3*u + 25 = 5. Solve 0 = -4*y + r*y + 4 for y.
-1
Let q be -2 - (0 + (-4 - 2)). Let h be (-21)/14*-1*q. Solve 3*j + 0 = -h for j.
-2
Suppose -2 = 5*q + 2*r - 16, 3*q = -r + 8. Suppose -10*u = -5*u. Solve 0 = -q*x - u*x + 10 for x.
5
Suppose 8 = o + 3*o. Let d = 7 - 5. Suppose -d*z = z - 9. Solve -o*c + 1 = z for c.
-1
Let f(s) = -s**3 - s**2. Let y be f(-1). Let t(l) = l**2 - 3*l. Let r be t(3). Suppose z + 4 = 3*m, 4*z - 6*z + 4 = 0. Solve y = j + m - r for j.
-2
Suppose 5*j = 4 + 26. Suppose -j = 3*o - 6*o. Suppose -3*t - 2 = -5*t. Solve 0 = o*d + 7 + t for d.
-4
Suppose 4*a + 5*j - 61 = 0, -2*a - 2*j = a - 44. Solve 1 = -5*o - a for o.
-3
Let n be 2/(-9) + 74/9. Suppose -24*m + 2*m + 110 = 0. Solve r - m*r - n = 0 for r.
-2
Suppose -o - 8 = -2*o - 4*k, -2*o - 2*k = -10. Suppose m + o = 5. Solve t = m - 0 for t.
1
Let v(r) = -r**2 - 6*r - 2. Let y be v(-5). Suppose n + 2*o - 1 = o, 12 = -y*o. Suppose -3*l = 5*c - 22, -l = 2*l + 4*c - 26. Solve -l = -n*g + 6 for g.
4
Suppose 5*n = -5, -5*n - 20 = -8*w + 3*w. Suppose -w*u = -3 - 0. Solve -3*l = 16 - u for l.
-5
Let d = 40 + -26. Solve d = -5*b - 1 for b.
-3
Suppose 2*y = 4*f + 32, 5*y - 108 = 5*f - 18. Let o(a) = -2 + a + a**3 - 2*a**2 + 0*a - 4*a**2. Let k be o(6). Solve k*t - y = -0*t for t.
5
Let u(m) = -4*m + 3 - 2*m**2 + m + 3*m**2. Suppose 3*y = 6*y - 9. Let k be u(y). Solve 0 = -k*f + f + 10 for f.
5
Let v = -15 - -32. Solve 4*q = 5 - v for q.
-3
Let c(o) = o**2 + 7*o. Let k be c(-7). Suppose 0*p = 2*p - 5*u + 1, 4*p + 2*u - 10 = k. Let w = 0 - 0. Solve 2*l + 0 + p = w for l.
-1
Suppose 2*u - 1 - 1 = -2*n, -5 = -2*n + u. Let i be (n*(-1)/2)/(-1). Solve -3*a = -i + 10 for a.
-3
Suppose 2*y - 8 = -2*y. Suppose -y*g = 3*g - 20. Solve 0 = 4*v + g - 0 for v.
-1
Suppose -3*h = -0*h + 3*w + 3, 5*h + w = -1. Solve 4 = -h*c + c for c.
4
Suppose -6 = u + c + c, -20 = 5*c. Suppose 2*m + u*m = 0. Solve -4*x + 12 = -m for x.
3
Let t(d) = d**3 + 2*d**2 + 2*d + 2. Let x be t(-2). Let a be x*(-2)/(-4) + 4. Let u be (-3)/2*32/(-12). Solve a = -u*b + 11 for b.
2
Let c(f) be the first derivative of -f**3/3 - 4*f**2 - 5*f + 7. Let j be c(-7). Solve -j*g - 4 = -0*g for g.
-2
Let r(j) = -2*j + 2. Let y be r(-1). Solve -4*g = -y - 8 for g.
3
Let m(k) be the first derivative of -k**2/2 + k - 1. Let n be m(-4). Solve -2 - 13 = n*d for d.
-3
Suppose 4*j = 3*j + 95. Suppose j = 4*p + p. Solve 5*n + p = -1 for n.
-4
Let s = 11 + -9. Solve 0 = -2*c + s - 0 for c.
1
Suppose 2 = q - 0. Let g(u) = 5*u**3 - u**2 + u - 1. Suppose 0 = -5*i + 3 + 2. Let f be g(i). Solve 0 = -q*x - f + 12 for x.
4
Let m(t) = t**2 + 2*t - 2. Let w = -10 + 6. Let j be m(w). Solve -j = 5*y + 9 for y.
-3
Suppose -4*a + 4*v + 32 = 0, 3*a - 37 = -2*a + 4*v. Solve 0*b - 20 = a*b for b.
-4
Let g(h) = 6*h - 1. Let p be g(1). Solve -8 = p*z - 3 for z.
-1
Let p = -2 - -4. Let c = -1 + p. Let x = 38 - 33. Solve -c = x*y + 14 for y.
-3
Suppose -4*c = 3*d - 0*c - 246, 4*d - 332 = -4*c. Let n = -53 + d. Solve 0 = 5*j + 8 - n for j.
5
Let j be (0 - (-6)/3)*2. Solve j*i + 1 - 13 = 0 for i.
3
Suppose 4*y = -3*m + 1, 3*m + 2*m - 20 = -3*y. Let w(a) = 5*a + 25. Let p be w(-6). Let h = p + m. Solve -z + h = 1 for z.
1
Suppose -4*n + 3*t + 80 = 0, 2*t = 5*n - t - 103. Solve 0 = 4*z + 3 - n for z.
5
Suppose -12 = 2*s - 4*s. Suppose 0*c - 5*c = -5. Let a = 5 - c. Solve a = -5*g - s for g.
-2
Let q(c) = -c**3 + 11*c**2 - 12. Let m be q(11). Let l = m - -15. Solve f = -l*f - 8 for f.
-2
Suppose -q - 2 = 2. Let r(o) = -o**3 - 3*o**2 + 5*o + 4. Let d be r(q). Solve 2*y - 3 - 5 = d for y.
4
Let q(t) = -t**3 + 8*t**2 - 9*t + 16. Let v be q(7). Solve v*h - 12 = -2*h for h.
3
Let k(a) = -2*a + 6. Let w be k(3). Solve 4 = -2*c - w for c.
-2
Suppose 5*x - 4*l = 3 + 13, 0 = -4*x + 5*l + 20. Suppose x = 2*w - 4*w. Solve t + 3*t + 16 = w for t.
-4
Suppose -9 + 1 = -4*z. Let y be 0 + 1 + z + 0. Let r(x) = 2*x - 8. Let d be r(6). Solve -d*c + y*c = -4 for c.
4
Suppose 0 = -2*w - 3*w + 70. Let x = -12 + w. Solve -x*n - 3*n + 25 = 0 for n.
5
Suppose 4 = 5*a - 6. Let m(b) = -b**2 - b**a + 3*b**2