Let f = 3 - 3. Suppose k + k - 48 = f. Suppose -4*j + 8 = -k. Solve -2*m - j = -0*m for m.
-4
Let h = -30 - -34. Solve 2*j + 0*j - h = 0 for j.
2
Let g be 4 + -1 + (2 - 2). Suppose -g*m = 2*m. Suppose 3*v - 6 = 0, 4*p - 5*v + 2 = -m*v. Solve p*i + i - 15 = 0 for i.
5
Suppose 0 = -4*y + i + i + 22, -5*y + 44 = 3*i. Solve -y*u + 2*u = 0 for u.
0
Suppose 16*w - 12*w = 0. Suppose w*c = -c. Suppose 0 = -3*j - 2*j + 60. Solve -3*h = -c*h - j for h.
4
Let q(b) = -b**3 + 3*b**2 + 5*b - 2. Let k be q(4). Solve k*t = -t - 9 for t.
-3
Suppose 5*h - 4 = -j + 18, 2*h - 28 = -2*j. Solve -5*p + j = -2*p for p.
4
Let w(p) = p**3 - p**2 - p + 4. Let a be w(0). Suppose -46 = -5*u + a*z, -2*u + 14 = u + z. Solve -3*t - u = -0*t for t.
-2
Let x = 39 + -9. Suppose -2*z + 0*z = -x. Solve 1 = 4*i - z for i.
4
Let i = 10 + -5. Suppose 5*k - 1 = -o + 21, 30 = 3*k - i*o. Solve 3*w - 1 = k for w.
2
Suppose -3 + 1 = -o. Suppose 4*b = 2*n - 24, -3*n - 7*b + 36 = -2*b. Suppose -n = 4*w, -a + 3*w = o*w - 5. Solve 6 = -a*c - 0 for c.
-3
Let n be 2/(-6) - 2/3. Let z = n + 6. Let b = -4 + 6. Solve z = b*v - 5 for v.
5
Suppose -4*m = 14 + 10. Let w = m - -11. Solve -1 - 4 = -w*f for f.
1
Let z = -5 - -8. Let h = z - 0. Solve 15 = -2*k - h*k for k.
-3
Let b(n) = n**2 + n + 11. Let i be b(0). Suppose 3*q + 16 = a, -4*a + 6*a - 12 = 2*q. Let x = q + i. Solve 2*y - x = -y for y.
2
Let m = 41 - 37. Solve m*h = -0*h - 16 for h.
-4
Suppose 0*s - 5*s - 10 = 0. Let l = 1 - s. Let z be l + -1 - (-1 + 2). Solve -4 = 3*i - z for i.
-1
Suppose -2*k + k = -4. Solve 3*q = -q - k for q.
-1
Let u be (-2)/(-3)*63/(-7). Let g = -2 - u. Suppose -l - g = -2*l. Solve -k + l = 3*k for k.
1
Let x(r) = -r**2 + r + 12. Let y be x(4). Solve y*t = -t + 1 for t.
1
Let s(g) = -g**2 - 12*g + 13. Suppose 4*h - 31 = -83. Let f be s(h). Solve -5*c - 7 - 3 = f for c.
-2
Let a = 112 - 109. Solve -2 = a*x + 7 for x.
-3
Let i(j) = j**3 + 8*j**2 - 12*j - 22. Let v be i(-9). Solve -z = -v*z for z.
0
Let k(u) = -u**2 + 4*u + 3. Suppose 4*v + v - 3*a = 11, v = a + 1. Let z be k(v). Let b = 9 - 3. Solve -z*x = -6*x - b for x.
-2
Let u be (3/1 - -2) + 1. Let n = -12 - -12. Let p = -1 + 3. Solve n*z + u = -p*z for z.
-3
Let j(i) = i**3 + 13*i**2 + 11*i + 3. Let r be j(-12). Solve -3*s = -6*s + r for s.
5
Let o be -1 + 0/(2 - -1). Let t be 2/(-4)*(-1 - o). Solve 3*h - 2*h - 4 = t for h.
4
Suppose -4*b - 1 = -3*k + b, -3*k + 3*b = -3. Solve r = -k*r for r.
0
Suppose 6*v - 36 + 24 = 0. Let o = -1 - -2. Solve -9 = -v*f + o for f.
5
Suppose 8 = -6*p + 2*p. Let z = p - -3. Let s = 3 - z. Solve s*f + f = 0 for f.
0
Suppose 0 = -8*m + 6 + 10. Solve -o = m*o - 9 for o.
3
Suppose -5 + 17 = 4*j. Solve i - j*i + 8 = 0 for i.
4
Suppose -5*q = 4*r + 17, r + 14 = -2*r - 4*q. Let w be 3 - (-3)/3*r. Suppose 0 = w*b - 9*b. Solve b = 3*u + 2*u for u.
0
Suppose -6 = q - 5. Let x be (q/3)/(7/(-84)). Solve 0 = o + x*o for o.
0
Suppose 5*g + 50 = 15*g. Solve -24 = g*h - 4 for h.
-4
Suppose 0 = 5*v - 14 + 4. Let i = v - 0. Solve 4*j + 10 = i*j for j.
-5
Suppose -h = -0*h - 4*c - 14, -3*c + 93 = 5*h. Solve -4*s - 2 - h = 0 for s.
-5
Suppose -12 = 15*c - 19*c. Solve 11*i = 14*i + c for i.
-1
Let v = -3 - -5. Suppose 2*i = -2*i, 5*r = -0*r + 2*i. Solve -v*u - u = r for u.
0
Let z = -8 + 24. Suppose -2*a = -5*p + 13, -2*p + z = 2*p + 4*a. Solve 3*m + p = 6 for m.
1
Let y = 22 + -20. Let k = y + -2. Suppose 2*m - 2 + 0 = 0. Solve g + k*g = m for g.
1
Let y be ((-1)/(-3))/(1/(-6)). Let q be ((-3)/y)/((-1)/(-2)). Solve -5*r - 17 = q for r.
-4
Suppose 5*c = -19 + 4. Let t be (-1)/(-1*c/(-6)). Solve -5*q - t = 23 for q.
-5
Suppose -3*a = 3*m - 12, 0*m = m - a. Solve m*v + 6 = -0*v for v.
-3
Suppose 0 = -3*q + 33 + 21. Let g = q - 18. Solve g*l - 2*l = -8 for l.
4
Suppose 23 = -h + 25. Solve h*u = u for u.
0
Let d(u) = -u**3. Let a be d(-1). Let b be (3 - 4)*a*-3. Solve 2 - b = f for f.
-1
Let u(t) = 5*t**2. Let k = 3 + -1. Let p = 4 - k. Let q be u(p). Solve -m - 4*m - q = 0 for m.
-4
Let z(t) = -2*t - 2. Let d = -3 - -3. Let n be d + -1 + (4 - 5). Let r be z(n). Solve -p + 2 + r = 0 for p.
4
Let a(w) = -w**3 - 4*w**2 - 2*w - 4. Let h be a(-4). Suppose 16 - h = 2*b. Suppose 3*c + 2*c - 30 = 2*g, -c - 5*g = -b. Solve -o - c = o for o.
-3
Let t(l) = -l**3 - 7*l**2 + 9*l + 11. Let z be t(-8). Let u be 1/(-3) - 2/(-6). Solve -z = -u*f + 3*f for f.
-1
Let i be -7 - 4/2*1. Let f = -5 - i. Solve h - 7 + f = 0 for h.
3
Suppose 2*c = 8 - 2. Suppose -2*y = -5 - c. Solve 1 + 19 = y*h for h.
5
Let x(b) = b**2 - 5*b + 3. Let k be x(5). Let s = k - 2. Let i = 6 + s. Solve 2*t - i*t = -10 for t.
2
Let q(n) = n + 1. Let x be q(2). Let c be (32/x)/((-4)/(-18)). Suppose -4*i - 36 = -5*h + 2*h, -4*h = -2*i - c. Solve -2*w - h = w for w.
-4
Let b = 143 - 139. Solve b*o + 9 - 5 = 0 for o.
-1
Let g be ((-4)/6)/(8/(-60)) + 2. Solve 4*b - 3 = -g for b.
-1
Suppose 4*r - 57 = 5*a, -5*r + 35 = -0*r + a. Solve 0 = -4*f - r - 4 for f.
-3
Suppose 0*b + 12 = 3*b. Solve b*u - 5 = -1 for u.
1
Suppose -3*j = -2*x + 18, 0 = -x - x - 5*j - 14. Let u(d) = 2*d - 4. Let s be u(x). Let g be 0 - -3*(-1 - -2). Solve g*r + 2 = s*r for r.
-2
Suppose 0 = -0*y + y. Suppose y = r + 9 - 1. Let h be (-28)/r - 2/(-4). Solve 3*t = -t - h for t.
-1
Let r = 4 + -1. Let l(f) = f**3 - f**2 + 5*f - 4. Let i be l(r). Suppose i = 2*g - 5*o - 0, -5*g = 2*o. Solve 2 = -g*k - 0 for k.
-1
Let x(p) = -6 - 3*p**2 + 4 - p + 3 - p**3. Let y be x(-3). Solve y*m = 10 + 6 for m.
4
Let f(z) = -5*z**3 - 2*z**2 + 1. Let k(d) = d + 5. Let w be k(-6). Let n be f(w). Solve 8 = n*i - 0 for i.
2
Let k be (135/18)/((-17)/10 + 2). Solve 3*q = -2*q + k for q.
5
Let v be (-1)/(-4) + 23/4. Let d = -42 + 62. Solve -n + v*n = d for n.
4
Suppose 24 + 0 = 3*b. Let x = 14 - b. Solve -2*m - x = -0*m for m.
-3
Let l = 0 - -7. Let q be 10/35 - 2/l. Solve q = 3*c - 7 - 5 for c.
4
Let q be 8*-1*(-6)/4. Suppose -2*x = -i + 11, 0*i + 4*i = q. Let j = 4 + x. Solve j*z + z = 2 for z.
2
Let i(j) = -35*j**3 + 2*j**2 - j. Let r be i(1). Let y be 1/4 - r/(-8). Let v(o) = -2*o + 4. Let p be v(y). Solve -p = -0*b - 3*b for b.
4
Let w(x) = 2*x + 14. Let t(n) = -n - 7. Let i(g) = 5*t(g) + 2*w(g). Let f be i(-7). Solve -6*u + u = f for u.
0
Let t be 1/(-3)*(-12)/(-2). Let g be 6 + -1 + t + 5. Let i = -8 - -10. Solve -i*v = -0 - g for v.
4
Suppose 3*m = -5*t + 14, 8 + 4 = -2*m + 2*t. Let k be 1/((-1 + -1)/m). Let n = -1 + k. Solve 4*s + n = -16 for s.
-4
Suppose 2*r = -2 + 8. Suppose -r*n - v + 14 = -5*v, 4*n + v - 25 = 0. Solve -n*j = -4*j - 10 for j.
5
Let y be 2/20*-6 - 63/(-5). Solve -2*s = s + y for s.
-4
Let d(k) = -k**3 + 10*k**2 + 2. Let n(r) = 4*r**2 + 2*r - 2. Let y be n(-2). Let a be d(y). Solve -q = -a - 3 for q.
5
Suppose 3*l = 2*v + 6, l + 8 = 5*l + 4*v. Solve r + 0 = -l for r.
-2
Let j = -1 - -2. Let u = j + 1. Solve 0 = -k + u*k for k.
0
Let v = 5 - 5. Solve v = -2*a - 0*a - 8 for a.
-4
Let j(x) = -x**3 + 5*x**2 - x - 1. Let b be j(5). Let g(v) = -v**2 - 6*v + 4. Let q be g(b). Solve 0 = 2*n - 3*n - q for n.
-4
Let m be (-1 + 2)*(2 + -2). Solve m = 3*a - a + 8 for a.
-4
Let s be 3/((-6)/(-4)) - 2. Let u(w) = 3*w**3 + 2*w**2 - w. Let c = 3 + -2. Let l be u(c). Solve -l*z + 5*z = s for z.
0
Suppose -3 - 7 = t. Let l = 15 + t. Suppose 4*z - 1 = 5*i - 6, -l = -i. Solve z*c - 11 = -1 for c.
2
Let y(c) = c + 9. Let x be y(-7). Solve -x*z = z for z.
0
Let s be 6/1 - (-17)/(-17). Let v be 0*(-3 + 1)/(-2). Solve v = s*l - 16 + 1 for l.
3
Let k(l) = l + 9. Let y be 1 - 2 - 3/(-1). Let h be 21/6*y/(-1). Let g be k(h). Solve -10 = g*x - 2 for x.
-4
Suppose 2*x - 2*x = 2*x. Solve -10 + x = -5*n for n.
2
Let k = -32 - -38. Solve 3 = -3*h + k for h.
1
Let f = 17 + -15. Let n be 36/10 + (-4)/(-10). Solve 0 = -n*g + 2*g + f for g.
1
Let i(s) = s**3 - 2*s**2 + s + 4. Let a be i(3). Solve a = 2*w + 2*w for w.
4
Let w(o) = -o**3 - o**2. Let v be w(-2). Solve -v*j = -0*j for j.
0
Suppose 2*l = -3 + 13. Suppose 0 = -3*u + l*u - 24. Solve 0 = 2*f - 5*f - u for f.
-4
Let g(t) be the third derivative of t**7/2520 - t**6/90 + t**5/60 - t**2. Let v(s) be the third derivative of g(s). Let w be v(6). Solve w*y + 10 = -y for y.
-2
Let j be (32/3 - 4)*3. Suppose 1 + 7 = -4*w + 5*p, j = 4*w + 2*p. Solve w*a = -5 - 7 for a.
-4
Suppose d = -2*i + 3, -i + 5*d + 3 = -2*i. 