 = v + -19. Solve -r - x = 2*r for r.
-4
Let j(x) = -x**3 - x. Let d be j(0). Let u be 1*d*(-1)/(-4). Suppose 0 = a + 4, -3*a = 5*p + 2. Solve u = -b + p*b - 5 for b.
5
Let f(u) = 3 - 5 - 2 + 4*u. Let h be f(4). Solve -g = 3*g - h for g.
3
Let i = -25 - -49. Let z be 106/22 - i/(-132). Solve z*w + 7 = -13 for w.
-4
Let t be 4 - (-56)/(-12) - (-149)/3. Solve 0 = -4*i - t + 45 for i.
-1
Suppose 0 = -31*v + 35*v - 320. Solve -5*b = -v + 55 for b.
5
Let i(a) = -2*a**3 - 51*a**2 - 22*a + 77. Let n be i(-25). Solve -7*d + 6*d = n for d.
-2
Let v = 38 - -40. Suppose -31*x = -25*x - v. Solve -5*t = x + 2 for t.
-3
Suppose -5*m = m - 384. Suppose 4*y - m = 2*n - 2, 0 = y + 2*n - 3. Solve 0 = -3*d - y - 2 for d.
-5
Let s be (-4)/((-8)/14) - -3. Suppose 3*j - 26 = -2*q, -q - s = -3*q + 5*j. Let k be q/15 + 8/6. Solve -7*g + k*g + 20 = 0 for g.
4
Let i = -13 - -18. Suppose 0*u + 10 = 4*u - q, 2*u - 2*q - 8 = 0. Suppose -7*x + 2*x = -u*h - 2, 0 = -x - 3*h + 14. Solve -3*r + x = i for r.
-1
Let y be 4/(-4 + 51/12). Suppose 4*f + 3*x + 4 = -0*x, -4*f + 2*x + y = 0. Solve -p - 4 = -f for p.
-2
Let r = 60 + -40. Suppose 6*i = 5*i + r. Solve -4*a = -0*a + i for a.
-5
Let u(x) = x**3 - 3*x**2 + 3*x - 6. Let n = 12 + -8. Let z be u(n). Let h = z - 16. Solve 5*c = 2*c + h for c.
2
Suppose 0 = -899*d + 898*d + 24. Solve -26 - d = 10*h for h.
-5
Suppose -2*r - l + 12 = 0, 3*r + 10 - 27 = -l. Solve 5 = 2*t + r for t.
0
Let r(l) be the second derivative of l**3/2 - 5*l**2/2 + 2*l. Let s(c) = -2*c + 28. Let b be s(13). Let j be r(b). Solve -2 = f + j for f.
-3
Let z(i) = i**2 - 3. Let x be z(0). Let q = x + 3. Let o = -1021 + 1023. Solve q = o*y + 2*y - 8 for y.
2
Let r(k) = 3*k**2 - 4*k - 1. Let c be 1 + 1 - (-6 - (-6)/1). Let a be r(c). Solve a = 2*n + 11 for n.
-4
Let d = -29 + 36. Suppose -13 - 92 = -d*o. Let s be 2*(-2)/6*-3. Solve -3*u = s*u + o for u.
-3
Suppose 3*c - 6 + 0 = 0. Suppose 0 = -5*p - 4*v - 12, p + 3*v - c*v = -3. Solve p = -0*l + l - 4 for l.
4
Suppose 61 = 13*m + 9. Solve -2*r = m*r for r.
0
Let w = -87 + 90. Suppose -4*u + w*g + 49 = -2*g, u - 5*g - 16 = 0. Solve -u*r = -9*r + 10 for r.
-5
Let j = -1 - -5. Let m be j/18 + 16/9. Suppose 0 = 2*c - 2239 + 2233. Solve -t + c = -m*t for t.
-3
Let z = -454 + 456. Solve -s = -z*s for s.
0
Suppose -3 = 5*w - 3*a - 119, 0 = 2*w + 2*a - 56. Let h be (0 - w)*(-4)/10. Solve h = 3*m + 2*m for m.
2
Suppose -5*q - 21 = -a, 0 = 3*a - 0*a + 5*q - 63. Solve -12*k - a = 39 for k.
-5
Let z(t) = 5*t - 27. Let f = 42 - 35. Let k be z(f). Solve 2*g - k = -2 for g.
3
Suppose -16 = -5*m - 2*l + 42, -m - 5*l + 7 = 0. Solve -2*k + 8*k + m = 0 for k.
-2
Suppose -61 = 6*y + 53. Let t be (190*1)/(6/(-15)). Let b be ((-2)/(-10))/(y/t). Solve -5*r = -b + 20 for r.
-3
Suppose -r + 8 + 21 = 4*f, 0 = -4*r - 5*f + 160. Suppose 3*v - 18 = 6*v. Let b be 5*(-3)/(r/v). Solve 0 = u - 5 + b for u.
3
Let c = -22 - -22. Suppose 3*u + 4*u = -c*u. Solve -m + u = -4 for m.
4
Suppose 3*t - 2*r + 6 = 5*t, -2*t - r + 6 = 0. Let m(d) = -21*d - 206. Let h be m(-10). Solve -i + h = -t*i for i.
-2
Let m be (-10)/4*120/(-10). Suppose -6*b + m = -3*b. Suppose 1 = r - 5. Solve r*n + b = n for n.
-2
Suppose 0 = -9*k + 316 + 989. Solve -l = -30*l + k for l.
5
Let q be -1*2*39/(-6). Suppose 17*t - 8 = q*t. Suppose -2*n = t - 8. Solve -w = -0 - n for w.
3
Let a = 1690 + -1665. Let b(q) = q**3 - 7*q**2 - q + 10. Let d be b(7). Solve -d*p + a = 2*p for p.
5
Let d(o) = 4*o + 1. Let s be d(6). Let x = s - 21. Suppose -b = x*b - 15. Solve 0 = 3*r + b + 3 for r.
-2
Let l(b) = b. Let m be l(-3). Let a be (6/(-7))/(m/14). Solve -a*o = o + 25 for o.
-5
Let g(z) = -2*z**2 + 6*z - 3. Let a be g(5). Let b = -25 - a. Let s be b/(-8) - 12/(-16). Solve s = -c + 3 for c.
2
Let h(j) = j**3 + 20*j**2 + 16*j + 23. Let k(a) = -a**3 - 21*a**2 - 16*a - 22. Let u(w) = 6*h(w) + 5*k(w). Let d be u(-14). Solve d = g - 0*g + 2 for g.
-2
Let w be 1054/22 - (-11)/121. Solve 8*u + 8*u = w for u.
3
Let b be 25/(((-10)/20)/(-1)). Solve -5*p - 5*p + b = 0 for p.
5
Let a(c) = c**3 + 7*c**2 + 3*c - 4. Let s be a(-6). Let d be (4 - 2)/(4/s). Let w = -10088 + 10090. Solve -d + w = b for b.
-5
Suppose 0 = 3*t + 54 - 69. Let i(x) = 2*x - 5. Let n be i(10). Suppose 17 = 4*s - n. Solve -t*a = -a - s for a.
2
Suppose 0*b + 4 = -b. Let c(x) = x**3 + 12*x**2 + 10*x - 21. Let l be c(-11). Let y be (48/20)/(b/l). Solve -y = -5*j + 19 for j.
5
Let b(p) = -14*p**3 - p. Suppose 0 = 6*q - 9*q. Suppose 3 = -3*o - q*o. Let s be b(o). Solve w = -2*w - s for w.
-5
Let q(z) = z**2 + 7*z + 3. Let l be -2 + 0 - -5 - 10. Let m be q(l). Solve m*d - 4*d - 5 = 0 for d.
-5
Suppose 3*m + 7 = 2*o, -5*o - m - 159 = -185. Solve o*p = 12 + 3 for p.
3
Suppose -13*v - 178 = -256. Solve 6*a - 7*a = -v*a for a.
0
Let o(i) = i**3 - 9*i**2 + 10*i - 8. Let n be o(8). Suppose -5 = -n*u + 7*u. Solve -2*c + u*c = 6 for c.
2
Suppose 4*v + 5*o = -3, 8*v + 2*o = 13*v - 21. Solve -3*j - v - 3 = 0 for j.
-2
Let a(b) = -b**3 - 3*b**2 + 6*b. Let x be a(0). Solve -2*t + 4*t = x for t.
0
Let g = -29 - -57. Suppose 6*f - 44 = 3*f - 5*a, -2*f + g = 3*a. Solve -4*h = -2*h - f for h.
4
Suppose -2*p - 300 = 4*p. Let u = -50 - p. Solve u*j - 1 = j for j.
-1
Suppose 20 = 4*c - 2*p, 0 = -2*c - 0*c + 2*p + 6. Solve -c = -5*x - 27 for x.
-4
Let t = -1030 + 1036. Solve -3 = 5*g - t*g for g.
3
Let v be -2 + (-5)/15*-21. Solve -v*p - 13 - 12 = 0 for p.
-5
Suppose 11*a = 7*a - 10*a. Solve a*u = u for u.
0
Suppose 2*b = 10*b - 240. Solve 0 = -b*r + 27*r for r.
0
Let f be (-7)/5 - (-34)/85. Let q be 5 + f/3*-3. Solve 2*y + 0 + q = 0 for y.
-3
Let l(z) = 8*z + 61. Let f be 0 + (-1)/(-3) + (-352)/48. Let n be l(f). Solve 0*c = n*c for c.
0
Let w be 3 + -2*3/(-2). Suppose 7*b = 9*b - w. Solve b*n = 2*n for n.
0
Suppose 37*i - 35*i = 0. Solve n + 1 - 3 = i for n.
2
Let s = -5 + 27. Suppose 2*w - 4*w - s = -2*r, -2*r + 4*w + 30 = 0. Solve -2*y = -r*y - 25 for y.
-5
Suppose 96*t - 83*t = 208. Suppose -3*i = 2*i - 10. Solve t = i*p - 6*p for p.
-4
Suppose d - 22 = 4*j, -5*d - 9 = -3*j - 51. Solve 18 = 8*s - d for s.
3
Let s(i) = -i**2 + 13*i + 3. Let q be (66/(-12))/((-2)/(-20)). Let g be (-9)/12 - q/4. Let h be s(g). Solve -3 + 0 = -h*y for y.
1
Let k be 7 - (4 + -1) - (-21 - 0). Solve k*f = 22*f - 6 for f.
-2
Let a = 3 - 3. Suppose -5*t + 38 - 8 = 0. Suppose 0 = t*i - 5*i - 2. Solve -2*h - 8 + i = a for h.
-3
Suppose 0 = -v, -3*v + 60 = 4*q + q. Let x = -9 + q. Solve 4*b + 5 = x*b for b.
-5
Suppose 5*y + 4*d = -0*d + 25, -3*y = 3*d - 15. Solve -y*h = -0*h - 20 for h.
4
Let d be 3/(-2)*(2 - 0)*-1. Suppose -d*m = 10 - 16. Solve m*o - 6*o = 8 for o.
-2
Let n be ((-14)/(-35))/((-9)/(-45)). Solve -24 = -14*g + n*g for g.
2
Let q(p) = -p**3 + 8*p**2 + 14*p - 35. Let h be q(9). Solve -8*w = -h + 34 for w.
-3
Let m(w) = -w + 6. Let q be m(-10). Suppose -4*y + 25 + q = 5*z, 0 = -5*y - 5. Solve 0*c = 3*c - z for c.
3
Suppose -2*u + 0*u + 6 = 0. Suppose 0 = y - 3*h - 14, 0 = h - 1 + 2. Suppose l = -5*c + 37, -3*c + 8 + y = -l. Solve -m + u = c for m.
-4
Let c be (3/(-18))/(-3 + 6/((-432)/(-212))). Suppose -v = 3*v - 4. Solve 0 = -2*s + c - v for s.
1
Let s(m) = -2*m**2 + 2 - 8*m - m**2 + 2*m**2. Let h be s(-8). Suppose -h*o = l - 6*l - 10, -l - 25 = -5*o. Solve 2*k + l*k = 2 for k.
1
Let f = -404 - -404. Solve 4*z = -f*z for z.
0
Let w be 975/240 + 4/(-64). Solve -w*l + 115 = 103 for l.
3
Suppose 3*h - 5*n - 40 = -8, -4*h + 2*n + 52 = 0. Solve 12 = -11*x + h*x for x.
4
Let d be ((-25)/(-10) + -3)*0 - -5. Solve d*l - 10 = 10*l for l.
-2
Suppose 45 + 55 = -5*w. Let x be (-2 - w/8)*0. Suppose -2*n + n = x. Solve n = 4*b + 4 for b.
-1
Suppose 18*l + 33 = 21*l. Solve 0 = -6*y - 1 - l for y.
-2
Let j(v) = 6*v - 15. Let y be j(6). Let k be (-9)/6 + y/6. Solve -2*d - k*d - 16 = 0 for d.
-4
Suppose -67 = -7*u + 2*u - 2*q, 5*u - q - 64 = 0. Let a = -10 + u. Solve -3 = a*k - 0*k for k.
-1
Let f be (-3)/(-18)*5 - 80/96. Suppose -4*h = -10 - 10. Solve f = j - 0*j + h for j.
-5
Let w be 39/26 - 30/(-4). Let v = w - 7. Solve -v*c + 2 = -3*c for c.
-2
Let n be (-1 - 1) + (1 - -4). Let w(d) = 2 - 2*d**2 + 2*d**3 + d**n - 2*d**3 - d. Let q be w(2). Solve 0 = -q*f - 2*f for f.
0
Let f = -1214 + 455. Let l be ((-2)/3)/(46/f). Solve l = 5*r + 1 for r.
2
Let u be 35/45 - (-6)/27. Solve d 