v for v.
-2
Let p = -5 - -2. Let h = 6 + p. Solve -5*b = 2 + h for b.
-1
Let k be (-3)/21 - (-4 + (-54)/(-14)). Let f = -93 + 94. Solve -o - 3 - f = k for o.
-4
Let x be (-5 - -4)/((-10)/50). Solve x*q - 43 = -53 for q.
-2
Let w be 2/3 + (-175)/(-75). Solve 7 = -2*t - w for t.
-5
Let p(h) = 26*h + 2. Let r be p(1). Let v = -25 + r. Solve v*y + 0 - 15 = 0 for y.
5
Suppose -24*u + 5 = 5. Solve -62*k + 57*k - 10 = u for k.
-2
Suppose 5*w - 12 - 1 = -3*o, 5*w - 4*o - 41 = 0. Solve -2*g + 3 - w = 0 for g.
-1
Let h = 301 + -118. Solve 0 = -5*j + 188 - h for j.
1
Let x be (66/55)/(2/20). Suppose 4*c - u = -3*u + x, -5*u + 5 = 5*c. Suppose 0 = c*p + b - 23, 0 = p + 2*b + 3 - 13. Solve 4*v = 2*v - p for v.
-2
Let r be (12/9)/(40/90). Solve -y + 4*y = r for y.
1
Let n be -3 + 3 - (3 + 22). Let u = -4 - n. Suppose -5 = 4*p - u. Solve p*q - 2 = 2 for q.
1
Suppose -2*v + 36 = 30. Let s(w) = 6*w**2 - 2*w - 1. Let x be s(-1). Suppose 2*h = 5*q - 33, -v*q - 2*h - 28 = -x*q. Solve 1 = -q*g + 4*g for g.
-1
Let o = 92 + -52. Suppose -5*f + 20 = -o. Suppose -9 - 19 = -7*k. Solve -f = k*s - 0 for s.
-3
Let m(y) = -y**2 + 29*y - 210. Let p be m(14). Solve 6 + p = 2*x for x.
3
Let w(p) = p**3 - 15*p**2 + 15*p - 10. Let l = -78 + 92. Let h be w(l). Solve -h*d - 9 = 11 for d.
-5
Suppose -5*x + 0*s - 3*s - 15 = 0, -25 = -5*x + 5*s. Solve -5*m + 0*m - 10 = x for m.
-2
Let x(i) = i**2 + 4*i + 3. Let d be x(-2). Let y be d*(-4)/(-4) + 1. Let b(u) = -2*u**2 + 6. Let r be b(y). Solve 3*g = g - r for g.
-3
Let z be 120/(-16)*-2 - 0. Solve z*g + 19 = -26 for g.
-3
Let l = -56 + 68. Suppose 0 = j + 2*j - l. Solve -5*a + j + 1 = 0 for a.
1
Let s be (-2)/(-4) - (1 - (-15)/(-6)). Suppose 3 = h + m - 8, -s*m - 76 = -5*h. Solve 4*j + 6 = -h for j.
-5
Suppose -5*o = 2023 - 2103. Solve -35 = o*w - 9*w for w.
-5
Suppose 4*h - 5*m + 8 = 0, -8*h = -5*h + 4*m - 25. Solve 4*z + 7 = -h*z for z.
-1
Suppose 3*j - 2 = -o, -j + 0*o + 6 = -o. Let a(v) = -v + 4. Let x be a(j). Suppose -3*q - 1 = 2*g + x, g = 3*q + 3. Solve 0 = -2*c - g - 4 for c.
-2
Let z(r) = 2*r**3 - r**2 - r + 1. Let m be z(1). Let s be m/(-3)*(-1 - -1). Suppose 6*t - t = s. Solve t = -n + 2*n + 1 for n.
-1
Suppose 11 = 4*d + w - 14, -5*d = w - 30. Suppose 2*u = 4*h - u, 2*h = d*u. Solve 0 = 2*g - h*g - 2 for g.
1
Let w be ((-3)/2)/1 + (-25)/2. Suppose -5*g - 69 = 21. Let j = w - g. Solve j = -4*h + 2*h for h.
-2
Suppose h + 2*h = 0. Suppose -5*i + 19 = 4. Let m be 30/20 + i/(-2). Solve m = -v - h*v + 5 for v.
5
Let v(a) = -a**3 - 9*a**2 + 12*a + 23. Let s be v(-10). Solve d = -0*d + s for d.
3
Suppose -124*i + 42*i + 328 = 0. Solve 6*y = 2 + i for y.
1
Suppose 2*x - 3*a + 0*a = 252, -4*a + 412 = 3*x. Suppose 11*k + k - x = 0. Solve 5*l + 9 = -k for l.
-4
Let h(u) = -2*u - 19. Let i be h(-8). Let w be (1 + i)*39/(-6). Solve -w = 5*j + 2 for j.
-3
Let h(i) = i**2 - 2*i - 3. Let c(j) = -j**2 + 4*j. Let n be c(3). Let f be h(n). Suppose 3*x - 9 = -f*x. Solve -2*o - x = -o for o.
-3
Let k = 35 + -31. Suppose -l - l = -k. Solve -4*u + l = 6 for u.
-1
Let b = -7 - -10. Suppose b*l - 12 = 0, 5*j - l + 0*l - 26 = 0. Solve 0*k = 3*k + j for k.
-2
Let z(d) = d**3 - 8*d**2 + 3*d - 3. Let o be 3 + (-20)/(0 - 4). Let f be z(o). Let r = f + -21. Solve r*p = p for p.
0
Let t(d) = 4*d - 6. Let u(h) = 3*h - 5. Let f(q) = 6*t(q) - 7*u(q). Let a be f(6). Let w(z) = -23*z**2 + 72*z - 4. Let s be w(3). Solve s*p + a = 2 for p.
-3
Suppose 0 = 4*q - 33*q + 87. Solve -2*i - 1 = -q*i for i.
1
Let k = 3 - 0. Let r = -3304 - -3324. Solve -r = -2*b - k*b for b.
4
Suppose d + 16 = 18. Let c(z) = -z**2 - 8*z + 11. Let r be c(-9). Solve -d = r*t + 6 for t.
-4
Let u be (110/(-6))/(5/15). Let n = -55 - u. Solve 2*d + n = -6 for d.
-3
Let x(d) = -d + 4. Let w be x(-8). Let m = w - 13. Let q be 8/(-2) - (-5 + m). Solve -3*t - q*t = -5 for t.
1
Let d(o) = 2*o**2 + 9*o + 1. Let n be d(-8). Let c = -55 + n. Solve -2*k = -0 + c for k.
-1
Let z be -1 + 0 - (-2 + -1). Suppose -2*u + 28 = 3*g, g + g = -z*u + 18. Let a be 4/g + 8/(-20). Solve v + 4 - 2 = a for v.
-2
Let l(w) = w**3 + 6*w**2 + 8*w. Let p be l(-4). Suppose 2*n + 9 = 5*t, 3*t + 7 = 2*t - 4*n. Let r be ((-16)/24)/(t/(-6)). Solve p*i = r*i for i.
0
Let l(c) = -c**3 + 8*c**2 - 7*c + 7. Let o be l(7). Suppose o*w = 8*w. Solve -9 = -3*q - w for q.
3
Suppose -3 = -77*a + 74*a. Solve -l = -0 + a for l.
-1
Let p be -1 + (-1 - 1)/(-2). Suppose p = 2*f - 3*z - 13, z - 34 = -4*f - z. Suppose w = 2*w - f. Solve 5*q = w*q - 15 for q.
5
Let y = 76 - 69. Suppose y*n + 0*n - 3*n = 0. Solve -i + 1 + 1 = n for i.
2
Suppose 5*g = -5*i + 6*g + 9, 3*i - 5*g = 1. Suppose 0 = -i*h - 43 + 53. Solve h*y = 11 + 14 for y.
5
Let g(w) = -24*w - 20*w + 4 + 32*w - 2*w**2. Let b be g(-6). Solve 0 = -b*a + 13 + 7 for a.
5
Let z = -11 - -15. Let y be (z + -1)/(9/6). Let d(v) = -v**2 + 9*v + 42. Let g be d(11). Solve -2*x = y*x + g for x.
-5
Let c be 1*(3 + 2 - 3). Suppose -25 = -5*p, -3*q - c*q + 5 = -3*p. Solve -w + 0 - q = 0 for w.
-4
Suppose 0 = 2*d - 10 + 4. Let m(z) = z**3 + z**2 + z + 2. Let x be m(-2). Let p be (4/x - 3)*(-26)/8. Solve -d*o + p = -2 for o.
5
Suppose 0 = 3*l + 29 - 89. Suppose 39*j - 13*j = 234. Solve -4*x - l = -j*x for x.
4
Let w be (-217)/(-49) + 6/(-14). Suppose w + 2 = -q. Let d be 1/4 - q/8. Solve 0 = 3*t - 2*t + d for t.
-1
Let z = -39 + 79. Let k be (4/2 - 104/z)*-15. Solve -5*n - 11 = k for n.
-4
Let i(n) = 24*n**2 - 7*n - 7. Let j be i(-1). Solve -3*m - j = 3*m for m.
-4
Suppose 7*m - 2*m = -3*q - 3, 4*m - 4*q + 28 = 0. Let g be m/(33/(-6) + 4). Solve g*f + 6 = -0 for f.
-3
Suppose -6*z - 18 = l - 2*z, -5*z - 17 = 4*l. Let o = -58 + 73. Solve -5*w + o = -l*w for w.
5
Let o be (-6)/(-15) + 523*1/5. Suppose -4*v = 3*v - o. Solve -3*h + v = 2*h for h.
3
Let m(l) = l**2 - 5*l + 2. Let a be 3/(-3) - -1 - -5. Let x be m(a). Solve x = b + 6 for b.
-4
Let c = 71 + -21. Let w = 57 - c. Solve 0 = 3*n - w - 2 for n.
3
Let x(z) = 2*z + 69 - 11 + 5*z. Let k be x(-8). Solve -2 = k*t - 4 for t.
1
Let u be (-12)/(-15) + (-5412)/15. Let p be (u/198 - (-4)/(-22)) + 2. Solve p = -4*s + s for s.
0
Let z(l) = -l**2 - 6*l - 3. Let j be z(-4). Suppose 11*n - 10 + 2 = 14. Solve -j*a = n + 3 for a.
-1
Let l(i) = i**3 + 8*i**2 + 6*i - 7. Let h be l(-7). Suppose h = a - 2 - 1. Solve 7*g - 16 = a*g for g.
4
Let v(z) = -z**2 - 5*z + 2. Let s be (-26)/6 - (-3)/9. Let o = -9 - s. Let y be v(o). Solve h + y = -0 for h.
-2
Let s(o) = o**3 - 14*o**2 + 33*o + 6. Let r be s(11). Solve t + r = 11 for t.
5
Suppose -2*t = 39 - 47. Solve -t + 7 = -d for d.
-3
Suppose -3*a + 2*r + 15 = 5*r, -5*a = -3*r - 9. Solve a*u = -u - 4 for u.
-1
Let q(j) = -8*j**2 + 4*j + 5. Let w(i) = 15*i**2 - 7*i - 9. Let r(h) = 5*q(h) + 3*w(h). Let z be r(-1). Solve 0 = -z*o - o - 15 for o.
-3
Let g(b) = 10*b**3 + b**2 + 8*b - 2. Let c be g(2). Solve 105*r = c*r - 35 for r.
-5
Let o be ((-2)/(-2))/((-2)/(-10)). Solve -o*l + 15 = -5 for l.
4
Let o = -1348 - -1348. Solve -4*d + 15 + 1 = o for d.
4
Let d(j) = j**2 - 15*j - 25. Let s be d(17). Solve 9*a = s + 18 for a.
3
Suppose -c - 3 = -0, 0 = 3*n + 3*c - 3. Suppose 0 = -4*h - 8, -5*h = 2*t - n*h - 16. Solve t = -3*s + 3 for s.
-2
Let t be (0 + (0 - 1))*32/(-16). Solve -6*r = -t*r + 20 for r.
-5
Let i = 38 - 36. Suppose -2*b + w = b - 19, i*b + w - 6 = 0. Solve -b*m = -0*m + 15 for m.
-3
Let j = 4 + -1. Suppose -5*t + 8 = -4*l - 0, -2*t + 4 = -2*l. Solve -j + t = -f for f.
3
Let z be 2*(-1)/6*12. Let i be 1/z + (-13)/(-4). Suppose 2*v + v = i. Solve 0*x = x + v for x.
-1
Let t(u) = -2*u**2 + 3*u + 1. Let k be t(4). Suppose -5*v - 105 = 5*r, 0 = 2*r - 4 + 12. Let l = v - k. Solve -6 = -l*a + 4 for a.
5
Suppose 7*t = 125 + 50. Solve -9*h = 7 - t for h.
2
Suppose 4*z + 149 = 5*y, 5*z + 5*y + 127 = -3. Let h = z - -43. Solve 6*b - 3*b - h = 0 for b.
4
Suppose -m - 9 = 2*x - 0*x, -5*m + 3*x = 110. Let k = m - -22. Solve 2*l - 5 = -k*l for l.
1
Let o(k) = k**3 + k**2 - 5*k - 4. Let h be o(3). Let i = h - 7. Solve 0*p - 2*p = i for p.
-5
Let a = -1727 + 1778. Solve 0 = -3*u + 63 - a for u.
4
Let d be 12 + -4 + (-18)/(-3). Solve d*f - 15*f - 2 = 0 for f.
-2
Suppose -1 = -2*c + 3. Let r = 3 + -2. Let s be (r - c) + 1 + 2. Solve -2*u = -4 - s for u.
3
Let c(g) = 11*g**2 - 44*g - 159. Let j be c(-5). Solve -4*p + 336 = j for 