u - 32 for o.
4
Let s = 35 - 33. Let d = -12 - -16. Let q = d + -2. Solve s*l = -0*l - q for l.
-1
Suppose 0 = 196*x - 198*x + 10. Solve 0*j = x*j for j.
0
Let i = 14 + -7. Suppose -3 = 3*r + 3*j, 8*r - 9 = 5*r + j. Solve 0 = r*w + 1 - i for w.
3
Let a = -101 - -155. Let l be (24/a)/(((-24)/(-27))/4). Solve -l*d + 10 = -0*d for d.
5
Suppose 6 = 4*v - 2*y, 7*v - 6*v = -4*y - 3. Let i be 1 + (8 - 4 - 1). Solve i = 3*u + v for u.
1
Suppose -n - 4*m + 28 = -3*m, -5*n + 148 = m. Let x be (-14)/(-35)*n*1 + 4. Solve -5*y + x = 6 for y.
2
Suppose -j + 6 = -3*j. Let h be 5/(j*2/(-24)). Let c be 5*3*4/h. Solve c*z = 5*z - 2 for z.
1
Suppose 0 = -24*w + 8*w + 16. Let z be w/(-2 + 6) + 3/4. Solve 2*d = d + z for d.
1
Let t be 2*(48/(-6) - -10). Solve 8 + t = -4*q for q.
-3
Let v = -94 - -127. Let z = -31 + v. Solve -d - z = -0 for d.
-2
Let f = 59 - 35. Solve -4*s + 4 = f for s.
-5
Let j(s) = -s + 2. Let n be j(7). Let g = -5 - n. Solve 9*u - 7*u + 2 = g for u.
-1
Let y be (3 + -6)*(-2 + 236/6). Let d be (y/(-6))/((-28)/12 - -3). Solve -4*g - 8 = -d for g.
5
Let j = -7 - 1. Let n be (2/(-5))/((-7)/(-70)). Let p = n - j. Solve -p*w - 9 = -w for w.
-3
Let y = -19 + 23. Suppose 2*p = -p. Let o = 2 - p. Solve -y*g + 18 = -o for g.
5
Suppose -2*b = -s + 5 - 3, -4*b - 14 = -3*s. Solve -18*q + 20*q = -s for q.
-5
Suppose -23 = 7*m - 86. Solve -4*b = -m*b for b.
0
Let u = 361 + -359. Solve 14 = -u*w + 4 for w.
-5
Let j = -28 - -30. Suppose -3*b + 5*b - 40 = 0. Solve -j*d - 3*d = -b for d.
4
Suppose -4*t + 2*p = -16, 2*t + 2*p + 8 = -p. Solve 0 = t*f - 6*f - 8 for f.
-2
Suppose 0 = -3*y + 5*i - 13, -3*y + 4*i = -1 + 9. Suppose -5*z + 12 = -3*j, 2*z - 3*z + y = j. Let t be (0/(-1))/(-1) + 2. Solve j = t*v + 7 for v.
-3
Let t = 2 + -9. Let h = -4 - t. Let b be 1 - (24/(-4) + h). Solve b*o - 4 = 3*o for o.
4
Suppose 4*s + 10 - 6 = 0, -4*s = 5*i - 161. Solve -9*b + i = 2*b for b.
3
Suppose -4*y + 3*r + r = 4, -25 = -5*r. Suppose w - 3 = f + 2, 4*w - 20 = -y*f. Solve -4 + 19 = -w*a for a.
-3
Suppose 2*d = 3*d - 4*r + 1, -51 = 3*d + 4*r. Let j = 15 + d. Solve 0 = -g - 0*g + j for g.
2
Let k = 63 + -65. Let p be (-3)/3*(k - (4 - 1)). Solve -m + 2 = p for m.
-3
Suppose 0 = 5*i + 2*b - 7, 4*i - 5*i = -3*b - 15. Solve i*w - 2*w = 2*w for w.
0
Suppose 65*a = 50*a. Suppose 6 = -4*q + 2. Let t be 2/(-2)*(-1 - q). Solve a = -4*n - t*n - 20 for n.
-5
Let o = 14 - 11. Let m = 3 - o. Solve -t + 5*t + 8 = m for t.
-2
Let p be (-24 - 2)*2/(-1). Suppose -p = -7*n - 31. Solve n + 0 = 3*s for s.
1
Let y = -8 + 4. Let f be -3 + (y - (-7 + 0)). Solve f = -3*w + 2 + 4 for w.
2
Let d(c) = c**3 - 13*c**2 + 12*c + 14. Let y be d(12). Suppose 2 = -2*p + 2*o, -2*o + y = 3*p - 2*p. Solve -m - 1 + p = 0 for m.
3
Let c = -208 - -211. Solve -5 = c*k + 4 for k.
-3
Let i = -11 - -2. Suppose -131*o = -134*o + 33. Let s = i + o. Solve 0*u + s*u + 4 = 0 for u.
-2
Let m(x) = x**3 + 14*x**2 + 12*x - 11. Let j be m(-13). Suppose 4*n - 3*c - 20 = 0, 3*n - 17 = j*c - 3. Solve -7 + n = -5*d for d.
1
Let y be 5/(-2)*(-20)/25. Let i(g) = g**2 + 6*g + 5. Let b be i(-6). Suppose -y*m = -b*m. Solve m = -3*j + 8 + 4 for j.
4
Let o(j) = 5*j**2 - 2. Let i be o(1). Solve -5 = -i*b + 10 for b.
5
Let o be (2 - 1) + (-7)/(42/(-48)). Suppose 0 = -o*j + 54 + 72. Solve -5*l + j = -11 for l.
5
Suppose 324*n - 325*n = -24. Solve -10*g + n = -2*g for g.
3
Let i be 1 - (2 - (15 - 8)). Solve -2 = -i*w + 4 for w.
1
Suppose 54*o + 16 = 56*o. Let f be 4/5*(3 - 4/o). Solve 0 = -2*w - f - 6 for w.
-4
Suppose 0 = -8*w + 15*w - 98. Solve w = -5*s + 4 for s.
-2
Let h = -12 - -20. Let q be (-1)/((-4)/(-20)) + 10. Solve -h*k + 9 = -q*k for k.
3
Let h = 225 + -223. Solve 0*n = -n + h for n.
2
Let y be 15*((-24)/9 + 3). Suppose -4*v + 46 = 3*p, -y*v + 32 = -5*p - 8. Suppose 3*g - v = -4. Solve -3*q - g = -q for q.
-1
Suppose 0 = j - 3*v - 15, 4*j - 15 = 4*v + 13. Suppose 0 = -43*d + 40*d. Suppose 2*g - 4*w = -16, d*g + 4 = g + w. Solve -j*r - 10 + 4 = g for r.
-2
Let r be 1*(-10 - -10)/(-12). Solve 20*k - 27*k + 28 = r for k.
4
Let h(o) = -o**3 + o**2 + o + 5. Let g be 6/9*(-72)/16. Let k = 3 + g. Let m be h(k). Solve 0*p = m*p - 20 for p.
4
Suppose 5*g - 4 - 11 = 0. Suppose -7*p = -g*p. Solve p = -n - 4*n - 20 for n.
-4
Let b = -91 - -162. Let d = b - 56. Solve -d = 7*y - 2*y for y.
-3
Let z be 104/78*(0 + 12). Solve -4*r + z - 4 = 0 for r.
3
Let w(l) = -l**3 + 7*l**2 + 2*l - 4. Let a be w(7). Suppose 0 = 8*v - a*v + 4. Suppose v*f - 1 - 9 = 0. Solve 2*m - f = m for m.
5
Let g = -126 - -130. Solve 0 = -7*i - 3 - g for i.
-1
Suppose -7*d - 22 = -162. Solve -2*l = 3*l - d for l.
4
Let z = 2 + -1. Let x = -73 + 69. Let b be -4 + 9 + x + 4. Solve z = n + b for n.
-4
Let o(w) = 5*w + 160. Let d be o(-32). Solve d = 2*g + 2*g - 16 for g.
4
Let l = 1918 - 1914. Solve -l*p + 85 = 13*p for p.
5
Let j be ((-6)/(-27))/(7/63). Suppose 0 + 4 = j*h. Solve -h*t + 5 = -t for t.
5
Let w(g) = g**2 + 35*g - 102. Let h be w(-38). Solve -h + 24 = 4*r for r.
3
Let o(q) be the third derivative of 3*q**6/20 - q**4/12 + q**3/3 - 7*q**2. Let u be o(1). Solve 3*c + 3 = u for c.
5
Let i(n) = -n**3 + 2*n**2 - 1. Let j be i(1). Suppose 0 = 3*f - j*f - 6. Let b be 0/((-1)/(1/f)). Solve -x - 3*x = b for x.
0
Suppose 0 = 5*b - 21 + 6, -2*b = -3*x + 171. Suppose 21 + x = 5*k. Suppose -k*r + 13*r = -24. Solve -4*c + r = -0*c for c.
2
Let d = 251 - 251. Solve d*h = -3*h for h.
0
Suppose -8 = 3*s - 44. Suppose -s = -5*o + 18. Suppose 30 = 3*w + o. Solve 4*y + 0 = -w for y.
-2
Let z(v) = -v**2 + 3*v + 4. Let t be z(2). Solve 15*w + t = 13*w for w.
-3
Let s(r) be the first derivative of r**3/3 - 3*r**2 + 13*r + 17. Let k be s(4). Solve 21 = -k*y - 4 for y.
-5
Suppose 7*w - 5 = 16. Suppose -4*g = -w*g - 20. Solve g = 3*m - 8*m for m.
-4
Let a(m) = -m**3 + 4*m**2 + 2*m - 5. Let d be a(4). Suppose -5*n = b - 17 + 4, d*b = -5*n + 9. Suppose 5*r - 7 - n = 0. Solve -r*i = -0*i - 10 for i.
5
Let q be ((-4)/(-7))/((-22)/(-77)). Suppose -3 = -2*p + 5*v, p - q*p + 2*v = -3. Suppose -p + 49 = 4*j. Solve -3*h + 2 = -j for h.
4
Suppose 49*v = 42*v. Solve z - 6*z + 5 = v for z.
1
Let k be (-3)/(-12) + 130/(-8). Let u = 23 + k. Solve 3 + u = -2*z for z.
-5
Let n = -383 + 385. Solve n = -0*t - t for t.
-2
Let n be (-3248)/64 + (-1)/4. Let b = -44 - n. Solve -2 - b = -3*z for z.
3
Let x(y) = -y**2 - 7*y - 10. Let p(n) = -7*n + 19. Let f(c) = -3*c + 9. Let k(a) = -9*f(a) + 4*p(a). Let m be k(0). Let z be x(m). Solve 3*o + o = z for o.
0
Let l(v) = v + 27. Let x be l(-12). Suppose -2*y + 2*d + 2 = 3*y, 3*d = 12. Suppose -2*j = y*j + s - x, s + 6 = 3*j. Solve j*b + 17 = 5 for b.
-4
Suppose 3*a + 3*l = 36, -4*a + 4*l + 31 + 33 = 0. Solve 5*h - 24 = -a for h.
2
Let a = 10 + 3. Let w = -9 + a. Suppose 2*t + h - 4 = 0, t - w*h + 10 = 6*t. Solve -15 = t*c + c for c.
-5
Let w be ((-2)/(-5))/((-211)/(-30) - 7). Solve 2*l + w = -2*l for l.
-3
Let c be (-33)/(-6) - (-1)/(3 + -1). Solve c*b - 18 - 6 = 0 for b.
4
Suppose -9*a + 90 = 9*a. Solve a = g + 4 for g.
1
Let u(n) = -n - 4. Let s be u(-10). Solve -4 - s = -2*t for t.
5
Suppose 2*w - 24 = -4*w. Suppose -r - 5*t = -16, t - 97 = -w*r - 33. Solve 0 = 4*z - r - 4 for z.
5
Let q = -31 + 54. Suppose -80 = -q*p + 7*p. Solve -14 - 1 = -p*u for u.
3
Let g(m) = -m**2 + 7*m - 19. Let l be g(8). Let w = -25 - l. Solve w*q = 6*q + 16 for q.
-4
Let g(v) = v**2 + 10*v + 8. Let f be g(-7). Let n(r) = r**2 + 13*r + 16. Let x be n(f). Solve -w + x = -5*w for w.
-4
Let u be 2 - 0/(-2 + -3). Suppose -7*n = -5*n - u. Solve -t + n - 3 = 0 for t.
-2
Let r = -3 - -3. Let g = -337 - -339. Solve r*t = -g*t for t.
0
Suppose 63*h = 76*h - 52. Solve 4*q + 16 = -h*q for q.
-2
Suppose -10 = -5*r - 0. Suppose 0 = 8*s - 5*s - 15. Solve s*i = -7 + r for i.
-1
Let a = -29 - -23. Let x = a + 6. Solve -i = -x + 1 for i.
-1
Suppose 5*b = 5*a - 9 - 1, 3*a + 6 = -3*b. Let o = 146 - 143. Suppose 12 = -0*k + 3*k, a = -g - o*k + 15. Solve -5 = g*s - 4*s for s.
5
Let i(r) = -r**2 - 6*r - 3. Let n be i(-9). Let w = 32 + n. Solve w*g + 2*g + 12 = 0 for g.
-3
Suppose 2*o + 2 = 2*y - 7*y, -5*y + 6 = 4*o. Let u be y + 1/((-1)/9). Let d = 31 + u. Solve 3*m = -m + d for m.
5
Let y(f) = f**2 + f + 2. Let j be y(4). Let u = j - 16. Let p = -4 + u. Solve 0*m = p*m for m.
0
Suppose -12*t + 26 = -22. 