 = 0 for o.
1
Let b(k) = k + 1 + 2 + 1. Let m be b(-4). Solve -2*t = -m*t - 10 for t.
5
Let x be 7/(-14) - (-2)/4. Suppose x = -5*t + 15 - 0. Solve 0 = t*p + 2*p + 25 for p.
-5
Suppose 5 = 2*w - 1. Solve w*t - 10 = -1 for t.
3
Suppose 0 = s + 153 - 26. Let q be s/(-5) + 4/(-10). Solve g - q = 6*g for g.
-5
Let v(h) = -h**3 - 4*h**2 + 6*h - 1. Let a be v(-5). Let f be 12/(-9)*a/2. Solve -12 - 8 = -f*n for n.
5
Suppose -j - x + 3 = 0, 0*x = -2*x - 6. Solve 2*c + 14 = j for c.
-4
Let i = 45 - 41. Solve 6*c + 2 = i*c for c.
-1
Let x(a) = -a - 1. Let r be x(-2). Let h be (-8 - -4)*(r + 1). Let l(d) = -d**2 - 8*d + 6. Let g be l(h). Solve -16 = -g*q + 2*q for q.
4
Suppose h + 32 = 5*h. Let o = -4 + h. Solve p + o = 3 for p.
-1
Let h be (-76)/(-18) + 10/(-45). Let c(y) = -y + 4. Let o be c(h). Solve o = r - 0*r + 4 for r.
-4
Let v = 10 - 7. Suppose -5*r - 4*b + 27 = 0, -8 = 4*r - 5*b - 46. Solve r*x + 4 = v*x for x.
-1
Suppose i = -2*d + 2*i - 5, 5*d - i + 5 = 0. Let n = 199 - 196. Solve n*a = -d*a for a.
0
Let o(i) = -i**3 + 6*i**2 - 5*i + 6. Let h be o(5). Let t be (2 - (-5)/(-2))*0. Solve t*j + h = -3*j for j.
-2
Let u be 12*4/(-96)*-6. Solve -u*z - 2 = -z for z.
-1
Let t(x) = 2*x**2 - 2*x - 1. Let h be t(-1). Suppose -8 - 1 = -4*s - h*k, -2*k + 6 = -s. Solve s = -2*y + 3 + 7 for y.
5
Let a = -8 - -20. Solve 5*c - c - a = 0 for c.
3
Let n be (2/(-4))/(10/(-160)). Suppose i = -i + n. Let z be ((-10)/i)/((-3)/6). Solve 0 = z*y - 2*y - 9 for y.
3
Let k = 5 - 17. Let y = 18 + k. Solve -y = 3*d - 3 for d.
-1
Let w be 76/16 + 2/8. Solve -q + 2 - w = 0 for q.
-3
Suppose -65*w = -69*w + 12. Solve -13 = 5*s - w for s.
-2
Let o = -3 + 6. Let n be (-1)/(3/(-24)*2). Suppose 4*g + 8 = n*s, o*s = s + 4. Solve g = 3*a - 6 - 3 for a.
3
Suppose -5*s - 2 + 17 = 0. Solve -16 = -s*t - t for t.
4
Suppose -2*s - 12 = -2*y, 4*y + 4*s - 12 = 2*y. Let i = 1 + y. Let f be -2 + i - 2/1. Solve -2*q - 11 = -f for q.
-4
Suppose 3*u = 3 + 3. Solve u*p - 4 = p for p.
4
Suppose 5*n = 3*k + 16, 0 = -k + 2*n - 4 - 3. Solve c = -0*c + k for c.
3
Let y be (1 - 1)/(0 + 1). Solve y*q + 2*q = -2 for q.
-1
Suppose d - 3 + 2 = t, 2*t = -4*d + 22. Suppose -d*i + 6 + 2 = 0. Let l = 2 - i. Solve 2*c + l*c = 0 for c.
0
Suppose 7*m = 2*m - 40. Let q(t) = 2*t + 12. Let o be q(m). Let u(i) = -i - 4. Let j be u(o). Solve j*w = -3*w - 12 for w.
-4
Let k be (-13)/(-5) + (-2 - (-12)/5). Let a be (0 - -2)*(-3)/(-2). Solve -k - a = -2*w for w.
3
Let f = 69 - 69. Solve f = -0*i - 4*i - 8 for i.
-2
Let u be -3*(-2)/(-6)*0. Solve -2*i + 5*i + 3 = u for i.
-1
Let j(o) = o - 4. Let s be j(7). Suppose 3*w = 4*v - 3 + 1, 0 = 3*w - s*v. Suppose w*i - 13 = -3. Solve 0*c + i*c + 20 = 0 for c.
-4
Let q be 0 + (-1)/(1/(-2)). Suppose 0 = -0*x - q*x - 64. Let o be 2 + x/(2 + -4). Solve -6 + o = -4*a for a.
-3
Suppose o + 4*z = -0*o + 26, -4*o = -3*z - 9. Let y be o + (5 - (0 + 3)). Solve -4*m + 8 = -y for m.
4
Let w(g) = g + g**2 - 5 + 1 + 3*g. Let t be w(-5). Let u = t - -3. Solve -u = -2*l + 2 for l.
3
Suppose 0 = -3*b + 2*b + 1. Let z = b + -1. Solve 0 = -2*o - z*o - 10 for o.
-5
Let w(z) = z + 11. Let l be w(-9). Let i = 3 - l. Suppose -4*k - 12 = -4*n, 0 = 3*n + 4*k - 2 - 0. Solve -n*g + i - 7 = 0 for g.
-3
Suppose 2*t - t = 0. Solve n + n + 4 = t for n.
-2
Let w(o) = -o**3 - 11*o**2 - 13*o. Let l be w(-10). Suppose 2*k = 7*k - l. Suppose j = k*j - 90. Solve 3*h = -3 + j for h.
5
Let c be 1/(-2 - (-21)/9). Suppose 5*d + 3*y - 25 = 0, -5*d + d - c*y = -23. Solve 0 = -d*i - i - 15 for i.
-5
Let u be 1 + -2 + (-6)/2. Let s = u - 4. Let v be (-98)/s + (-2)/8. Solve -7*a + v = -3*a for a.
3
Suppose 5*v - h = -0*h + 21, -5*h = 2*v - 3. Solve -2*i + v = -0*i for i.
2
Let g = -2 - 0. Let f be 3/(-1) + 6 - g. Let s be 3/((-3)/4) + 9. Solve f = -0*u + s*u for u.
1
Let h(y) = -11*y**2 - 27*y + 38. Let v(b) = -7*b**2 - 18*b + 25. Let g(o) = -5*h(o) + 8*v(o). Let s be g(-8). Solve -s = -4*n + 2 for n.
5
Let f be 1/((2 - 0)/4). Suppose -x + f*x - 2*k = -9, -3*x - 4*k = -23. Solve -h + x = -1 for h.
2
Suppose -8 = 2*v, -4*v - 6 - 16 = -3*z. Suppose -z*f - 8 = -4*f. Solve 3*o = o + f for o.
2
Suppose 12 = 4*d - 3*d. Let w = d - 5. Let a = w + -5. Solve 0 = k + a*k - 6 for k.
2
Suppose 5*t = 5*c + 10, 3 = -3*c + 6. Let m(g) = 4 - 1 + t*g - 2*g. Let k be m(-3). Solve k*d - 4 = -d for d.
4
Suppose -4*a - 4*j + 21 = -5*j, -17 = -3*a + j. Suppose 2*n + 3*w = -7, -a*n + 6 = w + w. Suppose -n*f + 63 = -37. Solve 0*o + f = 5*o for o.
5
Let u be (3 - 6)*-1 + -3. Suppose 0 = p + k - 6, -2*k + k + 1 = u. Solve -5*j + p = -5 for j.
2
Let j(d) = d + 8. Let p be j(-6). Let o be 2/p*(1 + 1). Suppose -13 = 3*c - 49. Solve 6*z - c = o*z for z.
3
Let k = -10 - -18. Suppose -k = -3*m - x, 4*x = -m + 3*x + 4. Solve -m*c + 4 = -3*c for c.
-4
Suppose -z + 2 = -1. Let d be 1 + (2 - (z + -2)). Solve -i = i + d for i.
-1
Let k = 7 + -4. Let s = 0 + 4. Solve k*u - s*u = 0 for u.
0
Suppose -10 = -8*x + 3*x. Suppose 3*v - 6*v + 4 = 5*r, 4*r = -5*v - x. Solve 2*s = 4*s + r for s.
-1
Let j(d) = -3*d**2 - 84*d. Let f be j(-28). Solve f = 3*s - s - 8 for s.
4
Suppose 0 = 2*g - g. Let t be (-3)/9*0 - -20. Suppose 5*d - t = -g*d. Solve 0 = 2*b + d + 2 for b.
-3
Let n(f) = f**2 + 9*f + 13. Let r be n(-8). Solve -11 = -r*x + 4 for x.
3
Suppose -3*x = -2*x + 3*n + 6, -3*x = -3*n - 6. Solve u + 0*u = x for u.
0
Suppose 2*g = 4 + 12. Solve k - g = 3*k for k.
-4
Let q = 1 + 1. Let s(h) = 4 + 2*h + 6 + 3*h**3 - 11 - h**2. Let v be s(1). Solve -3*k = -q*k - v for k.
3
Let p(j) = -5*j. Let y be p(-1). Suppose 0 = -u - 3, 0*g - 23 = -y*g + u. Let d(t) = t**3 - 4*t**2 + t + 1. Let b be d(g). Solve -2*k = -b*k + 9 for k.
3
Suppose 14*w - 20 = 10*w. Solve x - 2 = -w for x.
-3
Let d(y) be the third derivative of 4*y**2 + 0*y + 0 + 0*y**5 + 0*y**3 - 1/24*y**4 + 1/120*y**6. Let w be d(1). Solve w = -4*s - 4 - 8 for s.
-3
Suppose -4 = -9*w + 41. Solve 2*t + 3 = -w for t.
-4
Suppose -5*p + 22 = -v + 5, -2*v - 10 = -4*p. Suppose 0 = 5*y - 16 + 1. Suppose -23 = -y*i - 8. Solve 4*q = -i - v for q.
-2
Suppose 2*l + 3 = -4*x + 11, -2*x = 3*l. Let t = x - 0. Suppose -t*v + 13 = 1. Solve -5 + v = n for n.
-1
Suppose s + 1 = 2*c - 3, 2*s - 10 = -5*c. Let o be (-5 - -3)*c*-1. Suppose -5*u = -2*u - 6. Solve -o = -v + u*v for v.
-4
Let d(r) = 3*r - 2. Let w be d(1). Solve -i + 0*i + w = 0 for i.
1
Let l be (-148)/(-28) + (-4)/14. Solve -7 = -l*i + 13 for i.
4
Suppose -10 + 13 = p. Solve m = p*m for m.
0
Let n(p) = -p**3 + 9*p**2 - p + 9. Let c be n(9). Solve -5*u + 0*u + 25 = c for u.
5
Let f be 2*-2*2/(-8). Suppose -5*p - 4*z - 17 - 42 = 0, -z - f = 0. Let x = -8 - p. Solve u + 0 + x = 0 for u.
-3
Let q be 8 - (2 - -1)*1. Suppose 4*w = -w. Suppose 5*m - 3*u = 13, -1 = -w*m - 3*m - q*u. Solve 2*d + 8 = -m for d.
-5
Let n be (1 - 0)*(-2 + 2). Let q be 38/9 - (-4)/(-18). Suppose n*h = -q*h. Solve -4 = w - h for w.
-4
Let m = -47 - -55. Solve 6*d = 4*d + m for d.
4
Let z(c) = 4*c**3 - 4*c**2 + 2*c. Let v be z(2). Suppose -v = -3*n + 7*n. Let m(b) = -b**2 - 6*b - 2. Let q be m(n). Solve -q*y = 2*y for y.
0
Suppose 3*w + 25 = 1. Let n = -5 - w. Solve n*q + 2*q = 5 for q.
1
Suppose 0 = -2*z + 5*z. Solve 2*t + z = -4 for t.
-2
Let v(n) = -n + 1. Let h be (-2)/8 - (-62)/(-8). Let k be v(h). Let i(o) = -o**2 + 9*o. Let r be i(k). Solve r = 3*z - 15 + 3 for z.
4
Let m = -16 - -22. Solve s + m = -s for s.
-3
Let o(c) = -5*c - 7. Let u be o(-6). Let x be 135/18*2/3. Solve u = -x*r + 8 for r.
-3
Let i be ((7 - -1)/2)/2. Suppose 3*k = -i*k. Solve k*j + 4*j = 0 for j.
0
Suppose 37 = 13*c - 67. Solve -3*j = -c*j + 15 for j.
3
Let b(l) = -l**2 + 19*l - 31. Let k be b(17). Solve 23 = 5*i + k for i.
4
Let o(b) = -3*b + 1. Let a be o(1). Let u be (-1 - 1/(-1))/a. Suppose 16 = 4*h - u. Solve -h*i = 6 + 14 for i.
-5
Suppose 2*h + 26 = 2*a, 46 = -3*a + 7*a + 2*h. Solve 2*q + q = -a for q.
-4
Let c be (1 + 5)/(12/8). Let i(y) = -4*y - 22. Let s be i(-6). Solve -s + c = t for t.
2
Let h = 37 + -35. Solve 0 = h*d - 6 - 4 for d.
5
Let r = -3 - -6. Suppose -j + 3 = j - y, y + 6 = r*j. Solve -j*z = z + 4 for z.
-1
Let l be 6/21 + (-38)/(-14). Suppose 24 = -2*o - 2*q, -3*o - 17 - 19 = 2*q. Let b = -10 - o. Solve -l*x - b = 4 for x.
-2
Let d be 30/7 - 2/7. Suppose 5*j = 3*j + 4. Suppose -5*k + 6 = -j*k. Solve -d*