+ 6 for l.
-3
Let p be 8 - (-132)/(-18) - 12/(-9). Solve -p*o - 24 = 10*o for o.
-2
Suppose -4*h - 4*l = -5*l - 29, 4*l + 20 = 0. Solve h*q = 10 + 8 for q.
3
Let a be (-2 + 1)*-6 + 0. Let l = 0 - 0. Suppose -a*f + 7*f = l. Solve 5*c - c + 12 = f for c.
-3
Suppose 36 = 4*r - 2*k, -3*r - 7*k = -6*k - 32. Solve -r + 13 = m for m.
3
Let p be (0 - -1)*(11 - (-10 + 20)). Solve -7*n + p = -6*n for n.
1
Let s be 12/78 + 100/26. Let h be s/((-80)/(-25))*4. Solve h*f + 6 = -9 for f.
-3
Let b(i) = -i**2 - 10*i - 7. Let u be b(-9). Suppose -u*n = 2*o - 34, 22 = -o + 2*o - 4*n. Let g = o - 6. Solve y - 4*y = g for y.
-4
Let v(y) = y - 4. Let o be v(7). Let d(x) = -5*x**3 + x**2 - x + 1. Let i be d(1). Let t be 2 - (1 - 0) - i. Solve -18 = t*g - o for g.
-3
Suppose o + 4*p = 7, 0*p = o + 2*p - 5. Let h(b) = b**2 + 13*b - 66. Let u be h(-17). Solve -11 + u = -o*j for j.
3
Let y = 23 + -23. Suppose l + 0*l - 10 = 0. Suppose 0*o = -5*o + l. Solve -o*r - r + 12 = y for r.
4
Let y(m) = 2*m - 9. Let h(u) = -3*u - 5. Let t be h(-4). Let i be y(t). Suppose -5*r + 120 = 2*q + 3*q, -i*q + 80 = 3*r. Solve -g - r = 4*g for g.
-4
Let s(y) = 4*y**2 + 6*y - 4. Let t be s(-2). Suppose -c + 3 = -1. Let b = c + -1. Solve t*p + b*p = -6 for p.
-2
Suppose 3*i - 32 = -i. Suppose -3*t - f - 3*f - 34 = 0, 0 = 4*t + 2*f + 32. Let l be (5/(-10))/(1/t). Solve i - 2 = l*m for m.
2
Let x(w) = 64*w - 436. Let k be x(7). Solve g + 33 = k*g for g.
3
Let i = 69 + -64. Let s = 0 + i. Solve -1 + s = -p for p.
-4
Suppose 30 = 2*o - 5*m, -7*o - 5*m = -5*o - 10. Solve 2*s - o = 4*s for s.
-5
Suppose 4*x = -4, -44*x + 41*x - 8 = -c. Solve 0*g + g = c*g for g.
0
Suppose -32 = -3*i + 5*q, i + q = 4*q + 16. Let k be 12/(-9)*(-9)/i. Solve 5 = -2*x - k for x.
-4
Suppose o - 4*s = -16, -17 = o - 4*o - s. Solve -o = 7*k + 17 for k.
-3
Let d(w) = 7*w**2 + 3*w. Let j be d(-2). Let f be 4/12 + j/6. Suppose 40 = 5*t + 5*p, 4*t - 2*p + p = 42. Solve -f*r - 2 = -t for r.
2
Let a(i) = 5*i - 12. Suppose -5 = 2*n - 2*q - 3*q, -5*q = -15. Let u be a(n). Suppose u - 33 = -5*f. Solve 2 = f*p + 6 for p.
-1
Suppose v - 28 = 5*m, m = -4*v + 23 + 152. Solve -v - 41 = 21*r for r.
-4
Suppose 5 = 4*t + t. Let i = -1 + t. Suppose 2*k - 5*w + 0 + 1 = i, -3*k = -w - 5. Solve -4*a = 6 + k for a.
-2
Let d = 59 + -57. Suppose 44 = d*i + 4. Solve -h + 5*h = -i for h.
-5
Suppose -4 = 2*a - 3*a. Let i be a*1/(-2) - -7. Let p = 126 + -113. Solve -7 = -i*m + p for m.
4
Let v = -194 - -194. Let n(z) = z**2 + 5*z + 5. Let g be n(-5). Solve g*a = -v*a for a.
0
Suppose 0*o = 6*o - 6. Let q be 10 - ((-6)/6 - o). Solve 3*d + d = -q for d.
-3
Suppose 0 = 4*v - 722 + 658. Suppose t = s - 0*s + 20, 2*t - 3*s = 37. Suppose 0*i - 3*i - 4*q = -v, 3*q = -5*i + t. Solve 0 = 3*a - i - 5 for a.
3
Let k be 8 - (-2 - (0 + -6)). Suppose 0 = 2*a + y - 4, a - 8 = -k*y + 5*y. Suppose -16 = -w + 4*u, 0 = -3*w - a*u + 8 - 24. Solve w = -3*v - 1 - 5 for v.
-2
Let t = 39 + -36. Suppose 5*x + t*f - 30 = 1, 1 = x - 2*f. Solve 2*k - x = 3*k for k.
-5
Let u be ((-90)/(-25) - 4)*10. Let x(n) = n + 7. Let l be x(u). Solve 6*y - 3 = l*y for y.
1
Suppose b + 0 - 8 = 0. Let c be (-96)/28*((-4)/b + -3). Solve 0 = -4*k + c + 8 for k.
5
Let o(p) = p**2 + 17*p + 37. Let s be o(-15). Solve s*a - 4 = 5*a for a.
2
Suppose -2*l + 30 = l. Let y be 4/(-3) - (-12)/9. Suppose y = 3*n - 19 + 10. Solve -l = 2*t + n*t for t.
-2
Let l(u) = u**3 - 7*u**2 + 6*u + 9. Let v be l(6). Solve -34 + v = 5*j for j.
-5
Let p(c) = -c**3 + 4*c**2 - 3*c. Let w be p(3). Solve 3*s - 11 + 17 = w for s.
-2
Let k = 1 + 2. Suppose -o = 5*y + 1 - 65, -5*y + 5*o = -70. Solve -y = 2*a - k for a.
-5
Let t be (0*3/(-9))/6. Solve t*j = -8*j + 32 for j.
4
Let q = 60 - 32. Suppose -4*r + q = 16. Solve 0 = -p - 0 - r for p.
-3
Let k = 3 + 13. Suppose 2*h = 6*h - k. Suppose -3*y - h = -y + 4*x, 4*x = 3*y - 4. Solve y = g - 3*g for g.
0
Suppose 5*o - 113 = -3*d + 7*d, 4*o + d - 103 = 0. Solve 3*f = o - 10 for f.
5
Let l be 0/(4 - (-4)/(-2)). Let p be l + (-2 - -12)/2. Suppose 13 = 4*q + p. Solve q*h = -3*h - 5 for h.
-1
Let u be (3*32/(-12))/2. Let x be u - 24/(-3) - 2. Solve x*v - 5*v - 15 = 0 for v.
-5
Suppose -9 - 21 = -10*b. Solve -b = 2*u - 1 for u.
-1
Let c(f) = 3*f**2 - 10*f - 11. Let z be c(8). Solve 100*i = z*i for i.
0
Let l be 8/(-12)*-2*(0 - -3). Suppose -8 = -4*x + l. Solve -x*p + 10 = 2*p for p.
2
Suppose s + s - t = 52, -3*s + 60 = 3*t. Let b(n) = -n**2 + 11*n + 21. Let j be b(9). Suppose 0 = 3*q + 6, 0 = -5*a - 3*q - 0 + j. Solve a = -3*p + s for p.
5
Suppose 0*v = 4*v - 8. Suppose -2*q - b + 6 = 0, -b + 3 = 1. Solve -v*r - q*r = -20 for r.
5
Suppose 0 = 6*g - 2*g + 5*q - 40, 4*g - 24 = -q. Let a be ((0/5)/2)/((-2)/(-2)). Solve g = -b - a*b for b.
-5
Let s(a) = -2*a + 5. Let l be s(-3). Let b = l - 11. Solve 0*q + 3*q + 3 = b for q.
-1
Let n = -12 - -57. Let y = n - 43. Solve -u + 1 = -y*u for u.
-1
Suppose -152*u + 39 = -142*u - 21. Suppose 2*r = 4*x - 4, -3*r - x + 14 = 3*x. Solve 2*y - r = -u for y.
-2
Let t = -2240 + 2242. Solve t*v - 31 + 41 = 0 for v.
-5
Let k = 34 - 33. Let p be (16/(-20))/(k/(5/(-2))). Solve 0 = 2*d - d - p for d.
2
Let g(z) = -2*z**2 + 39*z - 17. Let o be g(19). Suppose i + 2*j - 3 = 1, 3*i = j + 12. Let r = -2 + i. Solve -2 = o*n + r for n.
-2
Suppose -4*i = n - 12, 0 = 2*n + 1 - 9. Suppose -5 = -i*x + 1. Solve 0*l = x*l for l.
0
Let q = -25 + 13. Let v be (q/10)/(5/25). Let s be (-72)/30*40/v. Solve -2*w = 2*w + s for w.
-4
Suppose -3*t = -2*y + 7, -5*t = 1 + 4. Suppose -5*w + 10 = -0. Solve -w*g = -g - y for g.
2
Suppose -46 = -25*l + 129. Solve 6*z - 11 = l for z.
3
Suppose -3*q - 21 = -0*q. Let p(a) = a**2 + 7*a + 5. Let w be p(q). Solve -d + w = -2*d for d.
-5
Suppose 0 = c - 5*c + 4*o - 16, -2*o = -3*c - 7. Solve -2*s - c = -9 for s.
4
Suppose -3*z + 6 = -5*k, -7 = 2*k - 5*z + 3. Let m be 0 - (k - (-15)/(-5)). Let q be ((-2)/(-4))/((-5)/(-150)). Solve m*a = -2*a - q for a.
-3
Let n(q) = -q**3 + 6*q**2 + q - 1. Let g be (12/(-10))/((-1)/5). Let m be n(g). Suppose 5*u - 53 = 72. Solve -u = 4*v - m for v.
-5
Let o be 6/(-12)*(2 - 2). Suppose -c - 5*u + 22 = o, 0*u = 4*c - 2*u. Solve c*t - 4*t + 6 = 0 for t.
3
Let i = -1 - -6. Suppose 55 = 5*t - 3*s, -t - 6 = i*s + 11. Solve -t = 3*z + z for z.
-2
Let z(u) = 11*u + 6. Let t be z(-6). Let d be (-51)/4 - 45/t. Let w = d + 17. Solve w*y = 2*y + 3 for y.
1
Suppose 194 + 331 = 75*h. Let f = -45 - -69. Let v = f - 6. Solve -5*s - v = h for s.
-5
Let f = -18 - -23. Suppose -f*o - 69 = -2*o. Let z = -19 - o. Solve z = u + 3 for u.
1
Let m = -28 + 32. Let u(b) = 23*b**3 + 2*b - 7. Let f(i) = 34*i**3 + 3*i - 11. Let w(n) = -5*f(n) + 8*u(n). Let c be w(1). Solve -2*q - m = -c for q.
5
Let d be (-22)/(-8)*(-8 + 4). Let y = d + 7. Let c(v) = -v - 1. Let f be c(y). Solve -f*z - 4 = -7*z for z.
1
Let y be (-60)/9 + 8/12. Let r = 12 - y. Suppose 14*a = r*a. Solve 6 = -a*j - 3*j for j.
-2
Let j be (-3 - 3)*((-6)/(-4) + -2). Let r = -202 + 204. Solve -p = -j*p - r for p.
-1
Suppose 3*u - 4*h - 208 = 0, 0*h = 5*u + 2*h - 312. Suppose s = 5*s - u. Solve -3*l + s = 7 for l.
3
Suppose 24 = 91*c - 88*c. Let m(z) = -z**3 + 5*z**2 + 7*z - 1. Let s be m(6). Solve -t - c = -s*t for t.
2
Let y(p) = p + 20. Suppose -3*w + 12 = 3*f, f = -4*f + 4*w + 38. Let k = f + -21. Let a be y(k). Solve a*i = 3*i + 10 for i.
5
Let o = -259 - -265. Solve -o*w - 10 = 2 for w.
-2
Suppose -5*c = -4*f + 7*f - 60, 5*f - 61 = -4*c. Solve c*l = 10*l + 3 for l.
-3
Let m(s) = -s**3 + 19*s**2 - 43*s - 66. Let o be m(16). Solve o*v - 18 = -4 for v.
1
Let x(q) = -q**2 - 8*q - 3. Let o be x(-7). Suppose -o*j + 2*j - 6 = 0. Let f be 9/(-3)*(j + 0). Solve -f = 4*u + 7 for u.
-4
Let y = 1032 - 1026. Solve -27 = -y*a - 51 for a.
-4
Let j be (-11)/(-3)*(-5 + 11). Solve -j*m + 5 = -21*m for m.
5
Suppose 2*j = b + 3, b - 2*b + 1 = -j. Suppose 8*t = -2*g + j*t - 2, -6 = 3*t. Solve -5*l = -g*l - 2 for l.
1
Let u = 23 + -23. Suppose 10*i - 8*i = u. Solve 6 = -i*f + 3*f for f.
2
Let z = 43 - 43. Suppose z*d + 14 = 7*d. Solve d*s = 5 + 5 for s.
5
Let g = -460 + 706. Solve -g*w + 30 = -252*w for w.
-5
Let v = 107 + -98. Let k = -5 + 8. Suppose 17 = k*n - 0*n + y, y - v = -n. Solve -n*f - 25 = f for f.
-5
Let u = -43 + 43. Let f = -6 + 7. Solve 2*j - j - f = u for j.
1
Let l(s) = -