lve -k = 6*k - j for k.
2
Let w be ((-32)/(-20))/(2/5). Suppose w*m - 7 = k, 3*m - 4*k = -9 - 2. Suppose -5*u + m*b = -23 - 4, 0 = 3*u + 3*b + 3. Solve u*o + o = 12 for o.
3
Let j be (4 - 7)/(0 + -1). Suppose -5*p + j*p + 85 = -o, -4*o = 3*p - 144. Let x be 11/p + (-1)/4. Solve 0*u - 3*u + 15 = x for u.
5
Let o(m) = 20*m**2 + 9*m. Let z be o(-1). Solve -11 + 22 = z*a for a.
1
Suppose -16*z = 5*t - 14*z - 14, 2*z + 22 = 4*t. Solve -t = 43*x - 39*x for x.
-1
Suppose -4*z - 2*d + 22 = 0, 0 = 2*z - 3*d + 1. Solve -12*t + z = -8*t for t.
1
Let d be (10/40)/(50/16 - 3). Solve -d*z = 2*z + 4 for z.
-1
Suppose -94 = -5*b - 2*w, -2*w + w + 2 = 0. Suppose 4*x = -4*t + 12, 4*t - x = x + b. Let z(y) = -y**2 + 11*y + 60. Let q be z(15). Solve q = t*p - 2 - 6 for p.
2
Let z be ((-12)/(-36))/((-2)/(-6)). Let k be 8/4 + (-2)/z. Solve -3*p = -k*p - 12 for p.
4
Let u(l) = -4*l - 30. Let a be u(-8). Solve -s + a = 7 for s.
-5
Let g(l) = l**3 - 36*l**2 + 35*l + 14. Let u be g(35). Solve 11 = -5*n - u for n.
-5
Let y = -30 + 40. Suppose -30 = y*f - 16*f. Solve 0 = f*k + 3 + 17 for k.
-4
Let f = -178 + 180. Solve 7*h - 15 = f*h for h.
3
Suppose -21 = 137*b - 144*b. Solve b*x - 25 + 13 = 0 for x.
4
Let y be (-2)/(-6) + 888/333. Solve -y*h = -9 + 6 for h.
1
Let b be -2*(5 + -2)/(-3). Suppose o = 1 + b. Solve -5 - 4 = -o*z for z.
3
Let j be 16/(-32)*(0 - 0). Solve 5*z + 0*z = j for z.
0
Suppose y - 3*y = o - 10, 3*o - 10 = 4*y. Solve -24 = -0*l - o*l for l.
4
Suppose -4*s + 8 = -2*c, 3*c + 0*c = -12. Suppose -17*a + 5 = -16*a. Let d be -1*a + (-75)/(-15). Solve d = q - s*q + 5 for q.
-5
Suppose z + 4*b - 1 + 0 = 0, -b = -4*z + 55. Suppose 61 - z = 3*i. Solve i + 0 = -4*w for w.
-4
Let t be (-1*(3 - 3))/(-1). Suppose t = 2*q - 2*i - 2, 4*q + 0*q - 6 = 2*i. Solve 0*l + q*l = 6 for l.
3
Let a be -4 - 9*(-4)/6. Suppose 16 = a*o + b - 3, -4*b = 5*o - 52. Solve 4*v + o = 2*v for v.
-4
Let u = 252 + -248. Let q be -2*1/4*0. Suppose -x - a + 3 = q, -u*a - 20 = -2*x + a. Solve -x*r = -r - 8 for r.
2
Let f = -31 - -43. Let x = 4 - 1. Let i = x + f. Solve -4*j = -9*j + i for j.
3
Let l = 26 + -6. Suppose -5*r + 31 = -4*g, -510*r + 505*r - g + 11 = 0. Solve b = -r*b - l for b.
-5
Suppose 0 = q - 2*q + 20. Let g be q*4/(6 + 2). Let s be (-26)/65 - (-44)/g. Solve s = 4*d - 2*d for d.
2
Let d be 2 + (-4 - 2) + (42 - 26). Suppose 0*i - d = -i + 4*t, -i + 6 = -t. Let z be ((-4)/(-2) + -6)/(-1). Solve z = i*o - 8 for o.
3
Let d be 7/((-112)/40)*(-8)/10. Solve d*g - 4 = -0 for g.
2
Suppose 4*v = 2*f + 3*f + 4, 3*v = -4*f + 3. Let p = 271 + -270. Solve u - p = -f for u.
1
Suppose 3*h = 3*m, -3*h + 0*h = 3*m - 6. Let a be m/(3 - (1 + 1)) - -4. Solve d - 6*d = a for d.
-1
Let j be (22/44)/((-1)/(-10)). Suppose a - j = -4. Solve -3*g - a + 4 = 0 for g.
1
Let w(m) = m**2 + 4*m + 7. Let u be w(-3). Suppose 4*j = 30 + 34. Suppose 0*z = -u*z + j. Solve z*q + 4 = -12 for q.
-4
Let v = -39 - -51. Suppose 2*c = -2*f + v, 0 = c - 6*c - 4*f + 27. Solve 0 = 5*d - 2*d - c for d.
1
Suppose -4*a - 2*v + 30 = 0, 43*v = 4*a + 48*v - 33. Solve -31 = 8*q - a for q.
-3
Suppose 3*v + 58 = 4*o, 2*o + 0*o - v - 30 = 0. Suppose -o = u - 5*u. Solve 0 + u = -4*p for p.
-1
Let w(t) = -t**2 + 5*t - 3. Let f be w(5). Let h be f*(-4)/(-6) + 6. Let v(y) = -2*y + 2. Let c be v(-1). Solve -h = -2*q + c*q for q.
-2
Let n = 1505 - 1501. Solve -260*d - n = -261*d for d.
4
Let r(s) = s**3 - 4*s**2 - s - 17. Let c be r(5). Solve 14 = c*t + 11 for t.
1
Let o(s) = s**2 + 5*s + 7. Let n be o(-5). Solve -n*p = -3*p + 8 for p.
-2
Let z be ((-2)/9)/(19/(-342)). Solve -5*h = -6*h + z for h.
4
Let l(z) = 3*z + 36. Let b be l(-12). Solve 2*i - 4 - 2 = b for i.
3
Let f = -159 - -244. Let b = -83 + f. Solve -b*j + 25 = -7*j for j.
-5
Let w(h) = -2*h + 40. Let m = 123 + -104. Let o be w(m). Solve -o*n + 8 - 4 = 0 for n.
2
Suppose 3*b + 15*r = 6*r + 33, -5*b + 13 = r. Suppose 2*q + 0*q = -o + 1, -2*q - 5 = 3*o. Let z be (5/o)/(3/(-27)). Solve 3*d = -b*d - z for d.
-3
Let p be (-9 - -11)*(3 - 2). Solve 1 = p*c + 1 for c.
0
Let u(i) = i**3 + 13*i**2 + 28. Let p be u(-13). Suppose -5*n = -19*n + p. Solve -n*m - 11 = -1 for m.
-5
Suppose 5*h - 5*q = 5, -3*h + 8*h - 2*q - 17 = 0. Let n = 105 + -73. Let k be 4/(-6) - n/(-48). Solve h*o + 7 + 13 = k for o.
-4
Suppose -2*p - 220 = -5*l, -5*l - 2*p + 132 + 68 = 0. Suppose -11*o - 9 + l = 0. Suppose 3*x - 5*b = -6, -3*x + b = -0*x - 6. Solve -x*s = -0*s - o for s.
1
Suppose -3*j + 4*c + 17 = -2*j, 23 = 3*j + 2*c. Let n be (-23)/(-4) + j/(-12). Let g = n + -5. Solve -1 = -u - g for u.
1
Let b = -1753 - -1858. Solve -2 = b*z - 107*z for z.
1
Suppose g - d - 4*d + 22 = 0, 4*g = -d + 17. Suppose g*p - 17 = -2*h - 2*p, 0 = -4*h - 5*p + 19. Solve -3 = 4*t + h for t.
-1
Let q(u) = -u**3 - 13*u**2 - 12*u + 2. Let h be q(-12). Suppose 2*z - 2*v - 2 = 0, 0*z = 5*z + h*v - 12. Solve z*s + s = 0 for s.
0
Suppose -3 = -4*b + 21. Let h be (-3)/9 + 20/b. Solve 0 = -2*q - h*q for q.
0
Let p be ((-64)/(-24))/((-4)/(-6)). Let m = -23 - -27. Suppose 7*g = m*g + 9. Solve -p = -7*c + g*c for c.
1
Let q be (1 + 44)*(-56)/(-42). Let x be (-8)/(-2) - q/(-6). Suppose 2*r - 10 = 4*l, 4*r - 5*l + x = 37. Solve -r = -2*h + 3 for h.
5
Let h be -1*1 - (-6 - -5). Let z = 5 - h. Suppose 3*s + 10 = z*s. Solve 0*t = s*t - 10 for t.
2
Let r be -5 + (-2 - (-1 - -3)). Let d be r/((-45)/10) + 1. Solve b = d*b for b.
0
Suppose -5*h + 7 = -23. Suppose -28*j = -30*j + h. Solve 0*a = j*a for a.
0
Let d(o) = 2*o**2 - 6*o - 5. Let f be d(5). Suppose 47 - 32 = 5*p. Solve 3*h - f + p = 0 for h.
4
Let y be 288/45 + -6 + (-26)/(-10). Solve -1 = y*l + 11 for l.
-4
Let f = -57 + 61. Suppose f*r + 3*g = g, g = 2*r. Solve -4*b + 7*b = r for b.
0
Suppose 0 = 8*a + 11 - 43. Suppose 23*p + a = 25*p. Solve -2*t - p = 4 for t.
-3
Let x(m) = -2*m - 2. Let r(i) = 3*i - 22. Let w be r(8). Suppose 3*p - 14 = 2*t + w*t, -p + 18 = -4*t. Let y be x(p). Solve -5*g = -y*g - 9 for g.
3
Let k be (-1 + -26)*(1 + -2). Let p = -253 - -270. Let u = k - p. Solve 3*l + u = l for l.
-5
Let u = 52 + -28. Let i = u + -19. Suppose i*q - 4 = 3*q. Solve 0*s - q*s = 8 for s.
-4
Let f(s) = -14*s**2 - 6*s + 18. Let g(l) = 5*l**2 + 2*l - 6. Let p(o) = -4*f(o) - 11*g(o). Let v be p(2). Solve 4*n - v = 2 for n.
1
Suppose 190*q - 189*q - 2 = 0. Solve -72*k = -70*k + q for k.
-1
Let b(d) = d**3 - d - 2. Let j be b(3). Let g = 22 + -7. Suppose -g = -5*n + 6*v - v, -4*n - 3*v + 5 = 0. Solve -n = 5*c - j for c.
4
Let o be -2*3/(-9)*9. Let p = 5 - o. Let c be ((-12)/3)/p - 3. Solve 5*r - 9 = c for r.
2
Let q be (5 - (-3 - -3))*1. Let c(k) = -3*k**2 + 18*k - 12. Let w be c(q). Solve -w*y + 24 = 9 for y.
5
Suppose 9*r - 4 = 5. Let s = 2 - -2. Suppose -6 - 2 = -s*u. Solve r = -u*q - 3 for q.
-2
Let b(v) = -v**3 - 9*v**2 + 2. Let d be b(-9). Suppose 5*j - 4 + 0 = -3*t, -2*j - d*t = 0. Solve j*r + 0*r = 0 for r.
0
Let i = -125 + 125. Let q(h) = -h**3 + 9*h**2 - 7*h - 1. Let v be q(8). Solve -v*j + 2*j = i for j.
0
Let m(p) = -2*p - p**3 - p**3 + 7 - 8 - 5*p**3. Let y be m(-1). Solve 0*x - 2*x + y = 0 for x.
4
Let u(k) = -5*k**2 - 7*k**3 + 0*k - 15 - 2*k**3 + 6*k + 10*k**3. Let x be u(5). Solve x = 5*b - 0 for b.
3
Suppose 3*v = z + 4, -5*z - 5*v = -0*v - 40. Suppose -7 = z*s - 32. Suppose 6*r - s*r - 13 = 0. Solve 2 = -3*g - r for g.
-5
Let c(h) = -h**3 - 4*h**2 - 5*h - 8. Let v be c(-4). Suppose -4*r + v = -r. Solve 0 = f - r + 3 for f.
1
Let b(q) be the third derivative of -q**4/24 - 5*q**3/6 - 6*q**2. Let c be b(-3). Let l be ((-7)/c)/(1/2). Solve -5*s + 3 = -l for s.
2
Let t = 35 + -35. Suppose -19 = 4*o - 35. Solve -o*y + 5*y = t for y.
0
Suppose -d - 5 = -2*g, -10 = 3*g - 4*g + 2*d. Suppose 0*k - 5 = k, -4*s - 2*k + 6 = g. Solve -s = -m + 1 for m.
5
Let d = -48 - -48. Solve d = -5*s - 2*s + 21 for s.
3
Suppose -2*s - 162 = -18. Let v = 79 + s. Solve 2*p + v = -1 for p.
-4
Let r be (-7 + 1 + 6)/(-2). Solve r = 4*v + 48 - 28 for v.
-5
Let b be (-201)/(-12) + 3 + (-11)/(-44). Solve 12 = 4*d + b for d.
-2
Let s = -86 - -88. Solve 0 = s*o - 16 + 12 for o.
2
Let m(r) = -r**3 + 8*r**2 - 2*r + 21. Let k be m(8). Suppose 13*x = k*x. Solve 2*a = -x*a - 8 for a.
-4
Suppose -3 - 9 = -4*b. Suppose 4*i + 5*v - 52 = 0, i - 2*v + 8 = 2*v. Let w = 9 - i. Solve 7 = b*y + w for y.
2
Let a = 132 + -114