h*v - v - j = 0 for v.
-1
Let t = -12 - -12. Suppose 5*z = -t*z + 250. Suppose -5*p + 3*p + z = 0. Solve -2*r + p = -7*r for r.
-5
Let y be 3*(51/(-9) + 3). Let h(o) = -o**2 - 9*o - 8. Let z be h(y). Let x = z + 4. Solve -w = -x*w + 15 for w.
5
Suppose -26 + 81 = 11*y. Let z be 8/4 - y - (-4 + -1). Solve -z = -f - f for f.
1
Let d(b) = 2*b**2 - 9*b - 8. Let o(q) = -q**2 + 9*q + 8. Let r(c) = 4*d(c) + 5*o(c). Let u be r(-1). Solve u = -w + 5 for w.
3
Suppose -z - 8 = -2*h, -27*h = -22*h + 4*z + 6. Let p = 0 - -4. Solve -h*k = -p*k for k.
0
Let w be 0 - 1/(4/48). Let q = 13 + w. Let v be q - ((-4)/1 - -3). Solve 3*l + 5 = -v*l for l.
-1
Let c be ((-4)/(-1) - 4)/1. Suppose c = -4*a - 5*h + 28, 2*a + 6*h - 3*h - 16 = 0. Solve 4 = -y + a*y for y.
4
Let u be (10/25)/((-9)/(-90)). Solve -10*p + 11*p = u for p.
4
Let p = 24 + -13. Solve -p*w = -0*w - 11 for w.
1
Let g(f) = -f**3 - 21*f**2 + 46*f + 7. Let m be g(-23). Solve t - m*t = -18 for t.
3
Let d be 84/35 - 12/30. Solve 0 = w + d + 1 for w.
-3
Let p be (-69)/(-6) + 1/2. Let n be (p/8)/(3/8). Let c = 16 - 11. Solve n = c*o - o for o.
1
Let u = -16 + 22. Let i be ((-4)/u)/((-12)/(-126)). Let j(b) = b**3 + 6*b**2 - 7*b + 2. Let q be j(i). Solve 4*s = -q - 6 for s.
-2
Let o(n) = -n - 2. Let g be o(-8). Suppose 2*d = -l + g*l - 18, -3*l = -5*d - 7. Solve -l*u + 9*u = -15 for u.
-3
Let k be -4 + (-1955)/(-119) + (-6)/14. Solve 3 = -k*t - 33 for t.
-3
Let n be 22/(-55) + (-2)/(-5). Suppose t - 1 = 0, 5*j + n*t - 21 = -t. Solve -2*x = -4*x + j for x.
2
Let i(w) = -w**2 + 7*w + 8. Let r be i(7). Let g = -1848 - -1848. Solve 4*z + r = -g*z for z.
-2
Let u(n) = n**2 + 6*n - 9. Let c be u(-7). Let b(z) = z + 11. Let s be b(-5). Let v be (-3)/c + 21/s. Solve v - 13 = 2*h for h.
-4
Suppose 7*b = 4 + 10. Suppose 5*k - b*n = 13, -5*n + 2 = -3*k + 2*k. Solve g = 2*g - k for g.
3
Suppose -38*y + 32 = -22*y. Solve -y*g = -3*g + 2 for g.
2
Let u = 37 + -23. Suppose 0 = 2*q - u - 14. Solve q = 4*r - 2 for r.
4
Suppose -3*h = -15, -137 = i - 5*i - 5*h. Let m = i + -14. Suppose 4*z - 4*b = 64, -3*z + 4*b + 66 = m. Solve 2*s - 5*s - z = 0 for s.
-4
Let a = -51 + 56. Suppose -4 = l - 15. Let u = -9 + l. Solve 3*b + u = a for b.
1
Let k(j) be the first derivative of j**3/3 + 13*j**2/2 + 25*j + 9. Let y be k(-11). Solve 6 + 3 = -y*i for i.
-3
Suppose 0*x + m = 2*x - 28, -3*x + 64 = 4*m. Solve -18*u - 8 = -x*u for u.
-4
Let k be 11 + (35/14)/(2/4). Solve 4*s = 8*s + k for s.
-4
Suppose -7 = -4*f + t + 9, -t + 8 = 2*f. Suppose -5*z + 5*y + 2 - 7 = 0, y = -3. Let a be z/(-2 + 0) + (-10 - -13). Solve -f + a = c for c.
1
Let u = 231 - 220. Solve -3*o + 24 = -u*o for o.
-3
Let b be 13 + -13 - (372/(-3))/2. Solve 0 = -b*h + 59*h - 3 for h.
-1
Let f(l) = l**2 - 3*l - 9. Let c be f(5). Suppose c = 4*r - 7. Suppose 3*n = 4*p + 9 + 11, -4*n + 20 = -4*p. Solve n*d + r = -d for d.
-2
Suppose q - 15 - 13 = 0. Let r(b) = -b**3 + 5*b**2 - 3*b + 1. Let y be r(4). Suppose -q + 18 = -y*k. Solve 1 = k*p - 7 for p.
4
Suppose -4*x + 32 = 2*g, -2*g = -2*x + 14 - 4. Let j be (-1)/(-1) + (8 - 5). Suppose x = t + j. Solve -t*k + 8 = -k for k.
4
Let u be 111/(-6)*10/(-5). Let a = u - 32. Solve -6 = a*i - 1 for i.
-1
Let c(j) = -j**2 - 9*j - 3. Let d be c(-6). Suppose -5 - 1 = -2*r. Solve d = -r*y - 0*y for y.
-5
Let t(w) = -2*w + 3. Let i be t(-1). Suppose -3 = 2*b + q - 11, -2 = -2*b - 4*q. Suppose -4*s + 5*s = b. Solve 2*z = -s - i for z.
-5
Suppose -2*h - 30 = 3*h. Let o = 24 - h. Suppose f = 3*f - o. Solve 5*v - 2*v + f = 0 for v.
-5
Let t(v) = -17*v + 34. Let f be t(2). Solve -5*r + 21 - 11 = f for r.
2
Suppose -3 = 5*n - 3*n - f, 0 = -4*f + 12. Solve m - 14 + 11 = n for m.
3
Let w(t) = t**2 + 7*t + 12. Let i be w(-5). Suppose -7*c + i*c + 15 = 0. Solve 0 = -c*d - 0*d - 3 for d.
-1
Suppose -4*j = -0*j - 28. Let b = j + -4. Solve -15 = -b*q + 8*q for q.
-3
Let c be (-29 + 1)*4/(-8). Suppose 0 = -2*b + 5*b - 2*f - 19, -3*b + f = -c. Let o be ((-36)/(12/3))/(-1). Solve 0*i + b*i = o for i.
3
Let m be (11/22)/((-2)/(-484)). Let i = m - 117. Solve 1 + 11 = i*x for x.
3
Let g = -325 - -336. Solve 10 = g*h - 16*h for h.
-2
Let g(h) be the first derivative of -h**4/4 + 17*h**3/3 - 8*h**2 + 4*h + 5. Let c be g(16). Solve -c*y + 6 - 14 = 0 for y.
-2
Suppose -7*k + 50 = -6. Solve -11 = k*f + 29 for f.
-5
Suppose -57*g = -53*g - 24. Solve -g*v = -2*v - 12 for v.
3
Let w(k) = -k**3 - 5*k**2 + 15*k + 9. Let s be w(-7). Let y(p) = p + 4. Let h be y(-6). Let x = h - -5. Solve x*j + 1 + s = 0 for j.
-1
Let s = 6 + -4. Let o be (-16)/(-2) - (0 + s). Let z = 10 - o. Solve -t + z*t - 3 = 0 for t.
1
Let a be (2/8)/((-1)/(-8)). Solve -q + 7 = a for q.
5
Suppose -85*d + 90*d - 25 = 0. Suppose 6*z = 41 - d. Solve -k = k - z for k.
3
Let o(w) = -3*w**2 - 5*w + 26. Let r be o(0). Solve 0 = -9*b + 1 + r for b.
3
Suppose 92 = 150*l - 148*l. Solve -10*f - 4 = l for f.
-5
Let o(r) = -r**3 + 2*r**2 + 4*r + 1. Let q be o(-1). Suppose q = 9*h + 35 - 125. Solve t + t + h = 0 for t.
-5
Suppose 4*s - 5*o = -s + 25, -2*s + 14 = -3*o. Suppose 9 = 4*p + s. Suppose -t = -p*t + 6. Solve 0 = -t*y + y for y.
0
Let n be 2 - (6/(-27) - (-33)/27). Suppose -9*w + 35 + n = 0. Solve -6*d + 2*d = -w for d.
1
Let d be 1*(3 - -4) + -3. Suppose h + 12 = -0*t + 5*t, -d*t = -h - 9. Suppose -74 = -5*p + 6. Solve p = t*g + g for g.
4
Let t(r) = 2*r - 24. Let s be t(9). Let h = 8 + s. Solve -h*j + 9 = j for j.
3
Suppose -11*j + 170*j - 954 = 0. Solve -j*x + 21*x + 45 = 0 for x.
-3
Suppose 3 = 4*a - 0*a - 3*j, 0 = a + j + 1. Solve h - 60 + 58 = a for h.
2
Let l = -582 - -595. Solve l*h - 17*h - 8 = 0 for h.
-2
Let g = -53 - -56. Suppose 5*o = -g*k + 1, 0*o = 2*o - 5*k - 19. Solve m = -2 - o for m.
-4
Let c = -149 - -151. Suppose -2*r = 5*y + 3, -5*y + 6*r - 5*r = 6. Let m(w) = 2*w**2 - w - 1. Let j be m(y). Solve -j*q - c*q + 20 = 0 for q.
5
Let r be (-1)/(-2) + (-2)/4. Let y be (1 + r)*(-20 + 22). Solve 0 = -y*v - 0 - 8 for v.
-4
Let k(q) = -q. Let n be k(-6). Suppose u = n*u - 15. Suppose 3*c = -u*z + 24, -2*c = c - 12. Solve z*d + 6 = 2*d for d.
-3
Suppose -7*q = -21*q + 378. Solve 5*o + 7 = q for o.
4
Let c be (-164)/9*1 + 10/45. Let w = c + 20. Solve -5*x + 9 = -w*x for x.
3
Suppose -2*h = 5 - 19. Suppose -l = 3 - h. Let j be ((-32)/l)/(-4) + 1. Solve -j*u - u = 16 for u.
-4
Suppose -338 + 415 = 7*n. Solve n*w - 10*w = -4 for w.
-4
Let h be (-15)/(-6) + (-2)/4. Suppose 4*i = -z + 7*i + 1, -3*z + 3 = h*i. Solve c - 4 = -z for c.
3
Suppose -5*w - 3 = -8*w. Let i(a) = 3*a**2 - 15*a - 4. Let h(g) = g**2 - g. Let p(r) = w*i(r) - 4*h(r). Let o be p(-10). Solve 2*x = -x - o for x.
-2
Let n(g) = -g**2 + 277*g + 3. Let r be n(0). Suppose f = -y + 18, 0*f = -3*y + f + 62. Solve 0 = r*b - 5 + y for b.
-5
Let z be 62*(-3)/6*1. Let l = -21 - z. Suppose 0 - 4 = -4*u. Solve 3*g - l + u = 0 for g.
3
Let f(j) = -62*j + 124. Let v be f(2). Solve -5*s - 8*s + 65 = v for s.
5
Let u = 35 - 30. Suppose -58 = -u*a + 2*y + 45, -4*y + 79 = 5*a. Solve 5*t + a = -1 for t.
-4
Let l be (-8)/(-14) - (-92)/(-14). Let g(n) = n**3 + 5*n**2 - 8*n - 9. Let m be g(l). Suppose -d - 2 = -4. Solve 0 = -i - d - m for i.
-5
Let x be (7 - 0) + 6/(-2). Solve -29*l + 30*l = x for l.
4
Suppose -f + 8 = -0*f - h, 2*f + 3*h = 11. Let q be f/(-2) - (-24)/16. Let s be (-12)/(-2 + -1) + q. Solve -3*t = -s*t + 5 for t.
-5
Suppose 0 = 12*d - 9*d - 15. Solve d*k - 3*k + 2 = 0 for k.
-1
Let z be -3*2/3 - -5. Let s(g) = -129*g - 772. Let r be s(-6). Solve -a + z*a = r for a.
1
Let x = -860 + 880. Solve 2*d - 12*d = -x for d.
2
Let b(q) = -q**2 + 28*q - 43. Let d be b(26). Solve -5*s = -d*s - 4 for s.
-1
Suppose 3*o - 41 = 151. Suppose p + o = -3*p. Let f be 3/12 - 28/p. Solve f*n - 9 = 1 for n.
5
Let k be 3 + (4 + -6)*1. Let h(c) = 40*c + 1. Let i be h(k). Let y = -21 + i. Solve -7*s - y = -2*s for s.
-4
Suppose -2*d - 146 - 189 = -3*h, -2*h + d = -225. Suppose -6*g + h = -23. Solve 3*f = -8 + g for f.
5
Suppose -66 = -6*c + 18. Solve -5*y = c + 1 for y.
-3
Let v be 0/(1 + 1 + -4 + 0). Let o(z) = -z + 1. Let p be o(-2). Suppose p*k - 6*k = v. Solve 6 = -3*r - k for r.
-2
Suppose -f + 3*f = 36. Let w be 148/f + (-8)/36. Let u = 9 - w. Solve -l - u + 2 = 0 for l.
1
Let i = 42 - 37. Suppose -s + 2 = -4*s + i*p, 2 = s - p. Solve -3*t = -s*t + 9 for t