r o.
1
Suppose 0*d = d - 3*s - 23, 2*s = 2*d - 34. Suppose -20 = 4*k, -k - 3 = -3*o + d. Let t(a) = a**2 - 7*a + 8. Let r be t(6). Solve r*h = o*h for h.
0
Suppose -p + 3*h - 15 = 0, 0 = -p + 7*h - 3*h - 20. Solve 4*q + q = p for q.
0
Let a = -84 + 92. Solve -a*f - 16 = -12*f for f.
4
Let m = -11 + 19. Let j be ((-60)/m)/(1/(-2)). Let t be (-14)/(-3) - (-4)/(-6). Solve -t*x - j = x for x.
-3
Let v be (4/3)/(2/6). Suppose v*d + i - 44 = 0, -3*d - 2*i + 20 = 2*i. Let s be (9/(9/3))/1. Solve -s*k = -0*k - d for k.
4
Suppose -3*h + 4 = -11. Suppose h = 5*c - 20. Solve 5 = -c*i + 20 for i.
3
Suppose i + 20 = -i. Let q = 49 - 34. Let v = q + i. Solve v*x = x + 16 for x.
4
Suppose 2*x = -x + j + 1, 2*j + 2 = 0. Suppose -9 = -5*g + 16. Suppose v + 3*z - g = -0, -20 = -4*v - 4*z. Solve 5 = -v*n - x*n for n.
-1
Suppose -4*m = 8*m - 72. Suppose 3*w - 2*w = 0. Solve 0*f + 3*f - m = w for f.
2
Let x be 6/(4 + -2) - 3. Solve -y + 3*y = x for y.
0
Let g = -17 + 20. Solve 0*i = g*i for i.
0
Suppose -5*w - a + 37 = 0, -2*w - 3*w - 2*a = -34. Let v = -4 + w. Suppose v*n + n = 5, -3*n + 1 = -2*x. Solve -4 + x = y for y.
-3
Suppose -i - f + 4 = 0, 0 = 5*i - 5*f - 4 + 14. Let o = 1 + i. Let l = 30 + -20. Solve 4*t - o = -l for t.
-2
Suppose -18 = -3*o + 4*o - 5*v, 5*v - 20 = 0. Solve o*l = -3*l + 5 for l.
1
Suppose 52*o = 48*o. Solve -2*s + 0*s + 2 = o for s.
1
Suppose 0 = -5*x - 2 - 3, 0 = -2*n + 2*x + 26. Let t be (4 + -1)*2 - 2. Solve -4 = t*h - n for h.
2
Let h(r) = r + 3. Let i be (-93)/15 + (-1)/(-5). Let a be h(i). Let w = a - -3. Solve w*u + 2 = u for u.
2
Let r be (-32)/(-56) - (-76)/14. Let a be (-39)/(-6) - r/(-4). Solve s - a = -s for s.
4
Let n = -9 + 10. Let o = n - 0. Solve 10 - o = 3*f for f.
3
Suppose 8 = -2*g - 4. Let h(s) = s + 9. Let m be h(g). Solve 4*a - m*a = 4 for a.
4
Let d be 1/4*2*-14. Let y = 1 - d. Solve 3*r = 5*r - y for r.
4
Suppose -3*q = -q - 12. Let k(s) = -4*s. Let t be k(-1). Suppose 0 = -2*v + 4*v - t. Solve v = -h + q for h.
4
Let v be (-10)/15*5*6/(-4). Solve -v*r + 30 - 5 = 0 for r.
5
Suppose -4*m - 5 = t, -5*t + 2*t + 2*m - 15 = 0. Let a be (6/t)/((-32)/80). Solve 0 = a*j + j - 4 for j.
1
Let n(m) = -m**2 - 7*m - 1. Suppose 0 = w - 5*w + 2*l - 26, 4 = -w - 2*l. Let r be n(w). Solve 0*d = r*d + 25 for d.
-5
Suppose b + 48 = 9*b. Suppose -3 = l - 6. Solve l*s - b*s = 0 for s.
0
Suppose 20 = 48*s - 43*s. Solve a - s - 1 = 0 for a.
5
Let a = 32 - 22. Solve 3*l = -2 - a for l.
-4
Suppose -2*j + 1 + 5 = 0. Solve -4*w + j = -w for w.
1
Let b = 16 - 16. Solve 0*c + c + 2 = b for c.
-2
Suppose 2*f + 14 = 2*g - 0*f, 2*f = g - 2. Let x(m) = -m**3 - 12*m**2 + m + 5. Let d be x(-12). Let w = d + g. Solve 0 = -u + w*u - 8 for u.
2
Let j(d) = -d**3 - 5*d**2 + 4*d - 10. Let b be j(-6). Solve b*y + 3 = -3 for y.
-3
Suppose -5*f - 4*q = -92, -5*f = 3*q - 90 + 1. Solve 5*a - f = 4 for a.
4
Let v = 9 + -5. Suppose -v*i + 10 = i. Solve q = -i + 3 for q.
1
Let a(i) = -i**2 - 6*i + 7. Let d be a(-7). Suppose q + 1 - 2 = d. Solve -4*y + 9 = q for y.
2
Suppose y = h - 1, -3*y - 5*h + 37 = -0*h. Solve -y = -u - 2 for u.
2
Let b(v) be the first derivative of 2*v**3/3 + v + 4. Let o be b(-1). Suppose f + 10 = 5*y, -3*f - 28 = -7*f + 3*y. Solve 0 = -o*s + s - f for s.
-5
Let n = 9 + 2. Let p(f) = -f**3 - 7*f**2 + 9*f + 10. Let g be p(-8). Solve -g*r = 1 - n for r.
5
Let l(h) = -h**2 + 9*h - 6. Suppose -4*z + 19 + 3 = -5*i, 4*z - 38 = -3*i. Let v be l(z). Suppose 4*c - 2 = x, -10 + 0 = 5*x. Solve v*s = -c*s for s.
0
Let x = 39 + -39. Solve 3*f - 5*f + 2 = x for f.
1
Let g(w) be the third derivative of w**6/720 - w**5/60 + w**4/24 + w**2. Let n(m) be the second derivative of g(m). Let k be n(7). Solve -k*c - 2 = -6*c for c.
2
Let n(v) = v**3 + 6*v**2 + 5*v - 7. Let c be n(-4). Solve 14 = -c*j - 11 for j.
-5
Let h(p) = p**2 - 3*p. Let o = -15 + 21. Let k = o + -3. Let t be h(k). Solve 2*s + 4 + 4 = t for s.
-4
Let s(t) = -5 - 4 - t + 2. Let o be s(-9). Solve 3*h + o = -7 for h.
-3
Suppose t - 32 = 2*d - 6, -5*d = -2*t + 49. Suppose t = 5*g - g. Solve -2*c = -g + 4 for c.
2
Suppose 4*d = 3*p + 2, -2 = -2*d - p + 4. Suppose -14 = 2*t + 5*h, 4*h + 27 = d*t + 5. Suppose 0 = -8*f + t*f. Solve f = -2*v - 1 - 3 for v.
-2
Suppose 2*v = 2*x, 8 = -0*v - v + 5*x. Solve d = 3*d + v for d.
-1
Suppose 0 = -4*j - 2*h + 26, 0 = 2*j - 0*h + 3*h - 11. Solve -4*n = -j*n - 12 for n.
-4
Let w = -5 + 8. Let l(n) = -1 - 2*n + 3*n - 3*n**2 + n**3 - 2. Let x be l(w). Solve x = -3*g - 0 - 6 for g.
-2
Let g(h) = 2*h**2 - 23*h - 12. Let m be g(12). Solve 4 = -m*w - 4*w for w.
-1
Suppose 5 = -c + 5. Solve c = -2*a - 2*a - 12 for a.
-3
Suppose 0 = 11*t - 8*t - 3. Solve t - 3 = u for u.
-2
Let t(o) = o**2 + 25*o + 84. Let p be t(-21). Solve p*u - 4 = 2*u for u.
-2
Suppose -2*y = -4*q + 2*y + 28, 2*y + 8 = -q. Let i be 3*q/((-2)/(-1)). Suppose -2*m - 3*o + 15 = 0, -i*o = m - 1 - 2. Solve -5*g = -g + m for g.
-3
Let s be 4 + (-1 - (-2 - (-2 - -2))). Solve 2*o - o + s = 0 for o.
-5
Let j(k) = k**2 + 7*k - 5. Let a be j(-8). Let h = -6 + a. Let s = h - -5. Solve -2*t - 4 = s*t for t.
-1
Let l = -34 + 56. Let a = -22 + l. Let t(q) = 2*q**2 + 1. Let w be t(-1). Solve a*u - w*u = 3 for u.
-1
Let v be 2/(-1*(-8)/12). Suppose v*y - 27 = 3*w, 4*y - 24 = -4*w + 2*w. Solve -y*x - 15 = -2*x for x.
-3
Suppose -3*h + 5*u + 13 = -2*h, -2*u = -5*h + 42. Solve 2*t - 4*t + h = 0 for t.
4
Let d be (-4)/14 - 177/(-7). Let t(q) = -2*q + 3. Let b be t(4). Let j = 1 - b. Solve -j*i = -i - d for i.
5
Let c = 23 - 23. Solve 0 = o - c*o + 5 for o.
-5
Let h(x) be the third derivative of -x**5/60 + x**4/8 + x**3/6 - 3*x**2. Let v be h(3). Solve 4 - v = -w for w.
-3
Let c(h) = 22*h + 12. Suppose 5*a + 20 = a. Let w(n) = -9*n - 5. Let y(g) = a*c(g) - 12*w(g). Let x be y(-6). Solve -5*p + 2*p = -x for p.
4
Suppose 0*g - 8 = 2*g. Suppose -30 = 3*d + 2*d. Let p be ((-15)/d)/((-2)/g). Solve 0*z = -5*z - p for z.
-1
Let w(v) = v**3 - 2*v**2 + 5*v - 4. Let f be w(2). Solve -f*j + 3*j = 3 for j.
-1
Suppose 0 = 5*x - 19 + 9. Solve 0 = -3*r - x*r for r.
0
Let v = -1 + 5. Suppose v*q + q = 15. Suppose -3*a = q, h = -0*h + a + 4. Solve -t + h = 5 for t.
-2
Let j(v) = v - 1. Let p be j(3). Solve -4 = -b + p*b for b.
-4
Suppose 3*r - 690 = 8*r. Let d be r/(-42) - (-4)/(-14). Solve 0*c = 3*c - d for c.
1
Let w be (-4)/6 - 101*(-3)/9. Solve 0 = -5*v - w + 13 for v.
-4
Let i(q) = -q**3 - 9*q**2 - 9*q - 5. Let z be i(-8). Suppose 13 = -z*v + 5*s, 4*v + 3*s = -2*s + 41. Solve -v*x - 16 = -0*x for x.
-4
Let i(f) = -f**2 - 4*f + 7. Let u be i(-5). Suppose 2*z = u*y - 4*y + 12, -24 = -4*y - 5*z. Solve -4*j - 14 = y for j.
-5
Let b = -22 + 24. Solve -b*u - 25 = -7*u for u.
5
Let k(z) be the third derivative of -z**4/12 + 3*z**2. Let s be k(-4). Let j = -5 + s. Solve h = j*h for h.
0
Suppose 23 - 17 = 6*c. Solve o + c = 2 for o.
1
Suppose -5*q + 23 = -n, -4*q + 4*n = -8*q + 28. Let f(m) = m**3 - 5*m**2 - 12*m + 38. Let t be f(6). Solve -t*d - 6 = -q*d for d.
2
Suppose 0 = -0*n + 8*n - 24. Solve n*r = -0*r for r.
0
Let t be (-76)/(-24) + (-2)/12. Suppose t*d = 2*d. Let u be (1 + 2)/((-3)/(-2)). Solve d = u*w + w for w.
0
Suppose 0 = 3*o + 5*u - 22, 2 = -3*u + 8. Solve -8 = o*q - 0 for q.
-2
Let q be 1 - 3/((-3)/4). Solve -q = h - 0*h for h.
-5
Suppose -a - 3*a + 2*t + 8 = 0, -4*t = 3*a + 5. Let b be 13 + (a + -4 - 1). Solve -b = 4*m + 7 for m.
-4
Let t(c) = 13*c - 1. Let q be t(2). Let r be (20/q)/((-2)/(-50)). Let m be (r/(-12))/((-1)/3). Solve -6*b + b + m = 0 for b.
1
Suppose -5*u + u = 2*x - 4, -5*u = -2*x - 14. Suppose 0 = -w - 4*s + 24, -3*w + u*w + 14 = 2*s. Solve -5*c = -c + w for c.
-1
Let c be 6/(-4)*(-12)/6. Solve -2 = c*r - r for r.
-1
Let s(r) = 2*r**2 + 4*r - 1. Let p be s(-3). Let v(j) = j**2 + 3. Let h be v(3). Suppose x = -2*x + h. Solve 0 = -p*q + q + x for q.
1
Suppose 4*s - 6*s + 3*n = 15, 2*n - 10 = 4*s. Solve 3*g + 5 - 17 = s for g.
4
Let w(s) = -s**3 - 2. Let v be w(-3). Solve 3*q - v = -2*q for q.
5
Let y be (1/(-1))/((-2)/(-14)). Let l(r) = -5*r + 3. Let h be l(2). Let n = y - h. Solve -v - v = n for v.
0
Let c(v) = v**2 + 2. Let h be c(0). Solve -14 = -4*n - h for n.
3
Let f = -2 - -6. Let i = 17 + -12. Suppose -i*n + 4*o = -31, 5*o = 2*n - 4*n - 14. Solve -z + n = f for z.
-1
Let d(g) = -5*g**2 + 4*g - 3. Le