r t.
1
Suppose -2*g + 6 = -j, 4*j - 4*g + 8 = j. Suppose -j*t + 4*x = -28, -4*t - 12 = -0*t + 4*x. Solve 4*c = -t - 10 for c.
-3
Let o = -8 - -10. Let p be 29/3 + o/(-3). Solve -2*r - r - p = 0 for r.
-3
Let n(o) = -3*o + 44. Let j be n(14). Solve 0 = l + j - 5 for l.
3
Let x be (0 - (0 + 0)) + -2. Let c(d) = d**2 + 0*d**3 + 0*d**3 - 3*d - 1 + d**3. Let g be c(x). Solve -r - g = -0 for r.
-1
Let b(i) = -13*i - 2. Let v be b(2). Let m = 39 + v. Let u = -72 - -76. Solve -u*z - m = 9 for z.
-5
Let z = 1 - -2. Suppose -d = z*d - 60. Solve 3*o + d = -2*o for o.
-3
Suppose -c + 4*c + 42 = 0. Let k be 10/35 - (-4)/c. Solve 5*x - 14 - 6 = k for x.
4
Suppose -4*y + 11*y = 56. Solve -y + 0 = -4*x for x.
2
Let a = -5 + 5. Let j be (a - 1) + 4 + 0. Suppose 0 = -3*v + 7*v + d - 11, -v = -d + 1. Solve -v*h = -j*h for h.
0
Suppose 3*w + 15 - 38 = -z, 5*w - 5*z = 5. Suppose -3*q + 3 = -w. Solve 4*h - q = 1 for h.
1
Let n(q) = -5*q. Suppose 8 = 4*k - 0*k. Suppose -k*h - 4*r - 21 = -h, -5*h + 3*r + 10 = 0. Let j be n(h). Solve g = -0*g + j for g.
5
Let o = 4 - 3. Let b be (0 - o) + 1 - 6. Let q be ((-3)/b)/(2/8). Solve 0*w = q*w for w.
0
Let t(f) = f**2 + 9*f + 7. Let p be t(-9). Let j = 3 - p. Let q = j + 5. Solve g + 0 = -q for g.
-1
Suppose 3 = 5*b - 3*b - 5*f, -7 = -b - 3*f. Suppose -b*l - 12 = 3*a, 0 = -2*a + 3*l + 5 + 4. Solve -3*z - 6 = -a*z for z.
-2
Let q(i) be the third derivative of i**4/24 - 3*i**3/2 + 3*i**2. Let f be q(12). Let w = 5 - f. Solve 2*p - 4 = w for p.
3
Suppose -3*b = -3*m - 9, 2*m + 2*m + 4*b = 28. Solve m*a + 2 = -2 for a.
-2
Let g(j) = -3*j**2 - 9*j + 4. Let s be g(-3). Solve s*i - 3 = 5*i for i.
-3
Let c be 2*3/(12/14). Let k = -126 + 129. Solve k*v - c = 2 for v.
3
Suppose -3 = 3*z + 2*m, 4*z + 27 = 5*m - 0*m. Let s = z + 15. Solve k - 4*k = -s for k.
4
Let j be (-12)/(-3) + 5/(-5). Solve 0 = r - j*r + 2 for r.
1
Let l be (90/(-50) - -1)*(-25)/2. Solve -6*j = -j + l for j.
-2
Suppose -4*u - 3*a + 1 = 7, -2*a = -2*u + 4. Suppose -3*r - 4 + 10 = u. Solve -3*b = r*b - 25 for b.
5
Suppose -v + 2*v - 3 = 0. Suppose -v*u = 2*u - 20. Let q be (5/5)/((-2)/(-12)). Solve -7*f + q = -u*f for f.
2
Suppose -3*d = -6 - 0. Let s be 2/(-4)*-4 + 0. Let b be 21/12 + s/8. Solve -b = -d*j - 4 for j.
-1
Let g = 1 + 1. Suppose 0 = 4*z - 3*z - g. Suppose 3*o - z = 3*i + 1, -o = -2*i + 3. Solve -i = 3*j + 2 for j.
-2
Let p(n) = n + 4. Let w be p(3). Let o(x) = x + 3. Let q be o(3). Let y = -1 + q. Solve y*f + 22 = w for f.
-3
Let y be (7 + -2)*1 - 1. Let t(x) = -x + 12. Let g be t(6). Suppose -6 = -3*h + g. Solve -y = h*a - 0 for a.
-1
Let s(z) = -z + 7. Let y be s(5). Let r = -54 - -57. Suppose -h = -y*v - 4*h + 10, -14 = -r*v - 5*h. Solve v = a + a for a.
4
Suppose 3*y = -7 + 19. Solve c + y = 1 for c.
-3
Suppose 38*l = 43*l. Solve l*u = u for u.
0
Suppose -4*q + 9 = -3*d, -11 - 10 = -q - 3*d. Solve -q*s + s + 15 = 0 for s.
3
Let t(j) = -3*j + 6. Let n be t(5). Let v = n - -4. Let w = v + 5. Solve w = 4*z - z for z.
0
Let c(y) = y**2 - 8*y + 15. Let r be c(5). Solve r = 2*h - 6 + 2 for h.
2
Let f = 5 + -1. Let a be (f/(-8) + 0)*-4. Solve -a*i + 15 = 3*i for i.
3
Let p be (-1)/((-22)/(-8) + -3). Solve p*j = 2*j - 6 for j.
-3
Suppose 2 = 2*n - 0. Solve 2*y + n = 11 for y.
5
Let o(q) be the second derivative of q**3/6 + 4*q**2 + 2*q. Let i be o(-6). Suppose 3*m - 23 = -4*r, -i*m + 0*m + 3*r + 4 = 0. Solve 5*k - m = -0 for k.
1
Let q = -18 + 26. Let n be (q/(-6))/4*-6. Let i = 7 + -4. Solve r - n = i for r.
5
Let n be (2 - 1)/(2/2). Let t = 28 - -7. Suppose -5*v - 2*y + t = -7*y, -2*y - 20 = -5*v. Solve v + n = -3*x for x.
-1
Suppose 2*k = -k - 2*s + 14, k = s + 3. Solve k*p - 9 = 3 for p.
3
Let o(h) be the second derivative of -h**3/6 - h**2 + 2*h. Let u be o(-6). Let j be (u/8)/(2/12). Solve -s = j*s for s.
0
Suppose 4*s - 21 = 15. Let u be (-1)/(-2 - 14/(-8)). Suppose s*o - 100 = u*o. Solve -c + 6*c = -o for c.
-4
Let d = 12 + -18. Let o(u) = u**2 + 4 - u**3 + 6 - 3*u - 3 - 7*u**2. Let g be o(d). Solve 4*f = g - 9 for f.
4
Suppose 0 = 3*q - 10*q. Solve -l + 0*l - 5 = q for l.
-5
Suppose 0 = -0*j + 5*j - 20. Solve -j*q = q - 25 for q.
5
Let z be -9 - ((-1)/(-1) + -2). Let y = 17 + z. Let p be 3*(39/y + -3). Solve -10 = -2*x + p*x for x.
-5
Suppose 12 = 3*a, -4*m - 3*a + 3 + 13 = 0. Let v be m*2/((-2)/(-5)). Suppose t - k = v, -2*t - t = 2*k + 10. Solve 5*f + 20 + 0 = t for f.
-4
Let y(d) = -d + 4. Let f be y(0). Suppose -f*w = o + 3*o - 20, o = 0. Solve 0 = -w*j - 0*j - 25 for j.
-5
Let q = 16 + -13. Solve 0*o = q*o - 15 for o.
5
Suppose -3*r = -4*j + 2*j - 16, 0 = 4*r + 2*j - 40. Let i be (3 + (-10)/4)*r. Solve -6*y = -i*y - 8 for y.
4
Suppose 0 = -5*z + 4*p + 11, 6*z - 2*z - 4*p = 8. Solve 7 = -z*g - 2 for g.
-3
Let c = 13 - 7. Let z(u) = -u**3 + c - 5*u + u - 2*u - 7*u**2. Let p be z(-6). Solve -6 - p = 3*l for l.
-4
Let p(i) be the second derivative of i**4/12 - i**3 + 3*i**2 - 2*i. Let j be p(6). Solve -c = -j*c - 15 for c.
-3
Let t(c) = c**3 - c - 2. Let w be t(2). Let q = w + -4. Suppose f + 4*f = q. Solve -5*i - 20 = -f*i for i.
-4
Suppose 0 = 3*u - u - 32. Let z = u - 14. Solve 0*f = -2*f + z for f.
1
Let r(a) = -2*a**3 + 2*a**2 + 2. Let c be r(-2). Let h = 30 - c. Solve 0 = h*v - 2*v - 6 for v.
3
Suppose -3*w - 2*w - 3*n + 56 = 0, -2*w - n = -22. Solve 0*z + w = 2*z for z.
5
Suppose 0 = 3*p + c - 8, -5*c = -4*p + 34 + 2. Solve 0 = -p*l - 5 - 11 for l.
-4
Let u = -26 + 31. Solve u = 2*k + 15 for k.
-5
Let k(j) = j**3 - 3*j**2 + 4. Let z be k(3). Suppose -z*c + 7*c = 15. Let l be 24/20*5/1. Solve -c*p = -l - 4 for p.
2
Suppose 5*v = -3*c + 6, v = 6*v - 4*c + 8. Let o = 28 - 21. Let a be 2/o + 114/42. Solve a*m + 0 + 3 = v for m.
-1
Let b = -2 + 8. Let i be ((-1)/(-3))/(b/72). Solve -w = -i*w - 6 for w.
-2
Let f be (22/(-4))/(2/4). Let b = f + 4. Let c(h) = h**2 + 6*h - 5. Let g be c(b). Solve g = -n - 2 for n.
-4
Let f(n) = -n**3 + 4*n**2 + 4*n - 4. Let h be f(4). Let d be 10/(-25) - h/(-5). Solve d*u - 5*u + 15 = 0 for u.
5
Let t be 1/(-1 - (0 + -2)). Let g be -1*(10/2 - t). Let n be (g + 1)/(2/(-6)). Solve n*p - 4*p = 20 for p.
4
Suppose -5*s + 10 = -k - 3*s, -2*s + 10 = 0. Suppose -5 = -k*y - y. Suppose -8 - 2 = -y*x. Solve x*m + 3*m = 0 for m.
0
Suppose -25 = -9*n + 4*n. Suppose g - n*p = -0*p + 14, -16 = -2*g + 4*p. Suppose 0 = b - 2*j - 6 + g, 0 = 4*j + 4. Solve -a + 2 = -b for a.
2
Let b = 138 - 133. Solve 0*y = -b*y for y.
0
Let y = -16 + 22. Solve 3*k - y + 9 = 0 for k.
-1
Let h(n) = -n + 11. Let d be h(0). Let f = d - 7. Solve -r + f = r for r.
2
Suppose 7*s + 44 = 3*s. Let d = -7 - s. Solve 2*t + 0 + d = 0 for t.
-2
Let u = -139 + 139. Suppose -2 = -3*i - 5*n + 2, 2*i - 4*n = 10. Solve u = i*r - 4 + 19 for r.
-5
Let l(z) = -z**3 + 9*z**2 + 13. Let k be l(9). Let o = -2 + 5. Suppose -o*p - b = -k, 1 + 21 = 5*p + 2*b. Solve -2*w + p*w = -6 for w.
-3
Let v be (-60)/(-16) - 6/8. Suppose -i + 12 = -2*r, 4*r - v*r + 3 = -i. Suppose 0 = -3*t + i + 19. Solve 5*u - 3 = t for u.
2
Let t = -6 + 8. Suppose 4*v = -v + 15. Solve v = -t*j + 5 for j.
1
Suppose 4*v + 61 = 13. Let g be (-3)/v + (-3)/12. Solve 0*y - 3*y = g for y.
0
Let w(o) = o**2 - 4*o - 7. Let f = 3 + 3. Let v be w(f). Solve -5 - 5 = -v*y for y.
2
Let y(m) = m**2 - 3*m - 1. Let i be y(4). Let b(c) = -c**3 + 2*c**2 + 4*c. Let o be b(i). Solve -o*h - 16 = -4 for h.
-4
Let x be -3*(-3)/6*2. Suppose -x*m - 8 = -7*m. Suppose -m*c = 10, -4*c + 6*c + 13 = f. Solve -3 = -f*n - 15 for n.
-4
Let a = 1 + 2. Suppose 3*u = -4*r - 6, 0 = -5*r - u - 6 + 4. Solve z = -r*z - a for z.
-3
Let y be (1 - (-2 - 0))*1. Solve y*s = -s for s.
0
Let d = 23 - 47. Let h be 18/d - 30/(-8). Solve 17 = -5*p - h for p.
-4
Let w(k) = k - 7. Let x be w(3). Let c be 0/(-1) - 16/x. Let j = c - -11. Solve j = -b - 4*b for b.
-3
Suppose -5*w - 2*h + 0*h - 50 = 0, 3*w = -5*h - 49. Let f(j) = -j**2 - 7*j + 3. Let p be f(w). Let v = p + 8. Solve v*b - 4 = 4*b for b.
-4
Let a(i) = 4*i**2 - i - 1. Let g be a(-1). Let u = 91 - 87. Solve -u*b - 12 = -g for b.
-2
Let f be 1/3*(-21)/(-1). Solve 1 = 3*c + f for c.
-2
Let q(p) = -p - 1. Let d = 9 + -12. Let i = -4 + d. Let s be q(i). Solve -s*w + w = 25 for w.
-5
Suppose -4*v + 25 = 3*m + 4, 4*v = 2*m + 6. Let x = 0 + v. Solve 0 = -x*s + 2*s - 2 for s.
-2
Let o(v) = -v**3 - 2*v