or y.
5
Let a(j) = 3*j + 1. Let m be a(3). Let b be (-3 - -5)*m/4. Suppose 3*q = 4*v + b + 4, -2*q - v + 6 = 0. Solve -1 + q = -f for f.
-2
Let l be (-4)/(-30) + (-8)/60. Suppose l = 2*q - 3*q. Let f = 2 + q. Solve 5 = z - f*z for z.
-5
Let w(t) = -t**2 - 17*t + 1. Let a be w(-17). Let g(j) = 4*j**2 - 3*j + 3. Let o be g(a). Solve o*n + 25 = 9 for n.
-4
Let m(l) = -l**2 - 26*l - 22. Let o be m(-25). Suppose -7*f + 20 = -3*f. Solve -r = -f + o for r.
2
Suppose 3*m + 0*m - 156 = 0. Let g = m - 43. Solve -f + 4 = g for f.
-5
Let u(t) = -t**3 + 11*t**2 + 25*t + 14. Let q be u(13). Solve -4*y + 21 = q for y.
5
Suppose 3*z = -5619 + 5772. Solve 0*x = 17*x - z for x.
3
Suppose 1 = -2*v - 2*q + 7, 0 = -5*v + q + 33. Solve -3*c = -v + 9 for c.
-1
Suppose 0 = -4*r - k - k + 28, -29 = -r + 5*k. Let g(x) = -x + 9*x + 2*x - 10*x**2 - 1 + x**3. Let n be g(r). Solve -z + n = 3*z for z.
2
Let h = 80 - 76. Suppose -4 = y + 5*l, h*y + 5*l = -y. Solve -3*m - 2 = y for m.
-1
Let u(a) = a + 12. Let k be u(9). Let n be 4/(12/k) + 3. Let l be n/15 + 58/3. Solve 4*p - l + 8 = 0 for p.
3
Suppose -2*g = -4*f - 14, -6*g + g - 17 = 3*f. Let h be 8 + -6 + g + 4. Solve h*y = 2*y - 3 for y.
-1
Let r = -27 - -43. Suppose 5*p - 9 = -3*z + r, -2*p - 4*z = 4. Solve -4*j + p*j = 4 for j.
1
Suppose 0 = 56*p - 53*p - 18. Let t be p + -2*2/(-4). Let v = 3 + -1. Solve -v*m + t*m = -10 for m.
-2
Suppose -53 = -4*o + 43. Suppose -t + 27 = 6. Let d = o - t. Solve y - d + 4 = 0 for y.
-1
Suppose -3*u + 5*h + 14 = -53, 157 = 5*u + 3*h. Solve 24*l - 25 = u*l for l.
-5
Let y be 70/(-3) + (-2)/3. Let r = y + 31. Solve r = -3*b + 1 for b.
-2
Suppose 0 = -122*k + 124*k - 10. Solve k*g = 6*g + 5 for g.
-5
Suppose 4*m + 2*h + 40 = 0, 6*m = 8*m + 4*h + 32. Let c be m*((-3)/108 + (-10)/45). Solve 0 = -2*d - c for d.
-1
Suppose -7*c = 5*c - 50*c. Solve 12*d - 15*d - 15 = c for d.
-5
Let t = 27 - -4. Let m = t + -21. Suppose -a = 4*a - m. Solve -d = a*d - 6 for d.
2
Let v(k) = -k**3 + k**2 - k - 7. Let n be v(0). Let r(t) = 3*t + 21. Let s be r(n). Solve s*p = -p for p.
0
Let m(g) = g**2 - 1. Let p be m(2). Suppose -x + 5*x = 3*c + 9, c + 3 = 5*x. Solve x*q + 15 = p*q for q.
5
Let h = 30 + -57. Let d = h - -27. Solve j - 1 = -d for j.
1
Let q be -3 + 105/(-5 + 10). Solve 2 + q = -4*u for u.
-5
Let z be ((-4)/(-5))/((-18)/(-45)). Suppose 0 = o + z - 5. Solve -o*n - 6 = -0 for n.
-2
Let v(k) = k**3 + 9*k**2 + 11*k - 28. Let r be v(-4). Let l be -1*(-14)/(-2) - 2. Let j be (1*-3)/(l/12). Solve -j*a = 4 + r for a.
-3
Let f be (-1)/(3/6 - 1). Suppose -3*d = -2*n - d + 10, -n - 1 = f*d. Solve -n*p = 5 + 10 for p.
-5
Let h(i) = -3*i**2 - 5*i + 16. Let n(d) = 4*d**2 + 5*d - 17. Let m(b) = -3*h(b) - 2*n(b). Let x be m(-7). Solve 0 = 4*s + 4 - x for s.
-1
Let q = 18 - 16. Let r(w) = 5*w**2 + 1. Let b be r(q). Suppose -z + b = 3*z + l, 0 = -3*z + 2*l + 2. Solve 0*k = -z*k - 20 for k.
-5
Let q(g) = -36*g - 429. Let a be q(-12). Solve 2*s - 5 = -a for s.
1
Let n = -72 - -112. Let g = n + -36. Suppose 4*x - g*f - 22 = x, -4*f = 5*x + 6. Solve 0 = -x*r + 3*r - 4 for r.
4
Let k be 4/(2 - -1 - 2). Suppose 0 = -5*s + 10 - 5. Let q(p) = 3*p**3 + 2*p**2 - 2*p + 1. Let y be q(s). Solve y*n = 2*n - k for n.
-2
Let i be 2 + 2 + -3 - -1. Solve i*f = 20 - 14 for f.
3
Let v be ((-30)/(-8) - 1)/(32/128). Solve -9*t + 4 = -v*t for t.
-2
Let x be 6 - 4 - (-17 - -4). Solve 0 = -6*z + 9*z - x for z.
5
Let k(v) = -10*v + 34. Let g be k(3). Solve -g*a + 6 + 10 = 0 for a.
4
Let q = 146 - 146. Solve 12*a + 11*a = -q*a for a.
0
Suppose 19 = 2*h - 5*b, 3*h - 3 = 2*b - 3*b. Solve -6 = -h*u - 0 for u.
3
Let s = -521 + 525. Solve 0 = s*x + 30 - 26 for x.
-1
Let f(i) = 3*i - 8. Let s be f(4). Suppose s*n + 3*m - 2*m = 5, 3*m + 11 = n. Solve -n*q + 0 = 8 for q.
-4
Let g = 468 - 462. Solve 13 = -g*z - 5 for z.
-3
Let z(l) = -32*l - 17. Let c(i) = 8*i + 4. Let s(j) = -9*c(j) - 2*z(j). Let b be s(1). Let w = -3 - b. Solve -3*v = -w*v for v.
0
Let b be (-31 - (-5)/(5/2))/1. Let h = b + 38. Solve -4*s = -h*s + 10 for s.
2
Let q = 37 - 30. Suppose -q*a + 0*a + 42 = 0. Solve 3*j = -a + 3 for j.
-1
Suppose -2*g + 3*n + 3 + 10 = 0, 5*g = -5*n + 70. Solve g*c = 13*c + 8 for c.
-4
Let v(d) = d**2 - 2*d - 145. Let y be v(14). Solve 35 = -4*q + y for q.
-3
Let o = -249 + 266. Solve -5*y + 8 = -o for y.
5
Suppose -7*v + 17 + 53 = 0. Solve 0 = 4*y - 6*y + v for y.
5
Let x = -46 + 68. Suppose 3*r + 2*r - k = x, -14 = -r + 5*k. Solve r = c - 0*c for c.
4
Let q(r) = -r - 9. Let b be q(-13). Suppose 3*t = b*v + 9, 0 = -5*t + 2*v + 3*v + 15. Solve 18 = -5*k + t for k.
-3
Suppose 66 + 96 = 18*j. Suppose i = -2*i - 15. Let n = i + j. Solve -12 - 8 = n*p for p.
-5
Suppose f - 261 = -244. Solve -f + 2 = 3*a for a.
-5
Let x(i) = 5*i**3 - 131*i**2 + 26*i + 4. Let u be x(26). Solve 0 = -7*f - u + 39 for f.
5
Let r = -1329 - -1393. Solve 4*s = r - 76 for s.
-3
Let k = -40 - -48. Solve 0 = 2*a - 2 + k for a.
-3
Suppose 0 = 2*p - 4*n - 28, -n - 9 = -4*p + 12. Suppose p*r - 6*r - 2*u + 2 = 0, 5*u = 0. Solve -r = -g + 2 for g.
3
Let i(d) = d**2 + 6*d + 5. Let b = 7 - 13. Let t be i(b). Let g = -2 + 15. Solve -t*s - 12 = g for s.
-5
Let g = -1 + 1. Let t be (-6 - -5)/1 - -4. Solve g*x + t*x - 9 = 0 for x.
3
Let n(c) be the first derivative of -c**4/2 + 9*c**3 - 7*c**2 + 21*c + 40. Let j be n(13). Solve -4*u = -j*u for u.
0
Let r be (5 - (5 - 1))*52. Suppose 5*v - 18*v + r = 0. Solve 9*l + 25 = v*l for l.
-5
Let a = 258 + -228. Solve -7*j + j = a for j.
-5
Let l be (-3 - (2 + -6)) + 7 + 1. Solve l = f + 2*f for f.
3
Let s = 6 - 3. Suppose -10 = -3*f - 2*q, -3*q + 14 = s*f + q. Suppose p - 2*w - 6 = 7, -2*p + 5*w + 30 = 0. Solve -g = -f*g - p for g.
-5
Let u be 78/52*16/6. Solve u*w - 8 = -20 for w.
-3
Let k = -102 + 105. Let n be 10/(-15)*k - -4. Solve -y + 3 = n*y for y.
1
Let b be (-89)/(-7) - 2/(-7). Let s(y) = -2*y**2 + y + 4. Let t be s(2). Let d be (t - (-6 + 3 - -1))/(-1). Solve d = -4*g + b - 1 for g.
3
Let c be 132/12 + 1/(-1). Suppose -4*o + 2*t + c = -0*t, -3*t = 3*o - 12. Solve y = -o*y + 16 for y.
4
Let p be (-8)/((21/(-7))/3). Solve -p + 24 = 4*f for f.
4
Let x = -12 + 20. Suppose l = -5 + x. Suppose l*u = -4*n - 2*u - 7, 3*n = -3*u - 3. Solve 4 - n = d for d.
2
Let q be 8/(-32) + (-569)/(-8)*2. Let b = 145 - q. Solve -b*z = -0*z + 12 for z.
-4
Let h = 436 + -411. Solve -h = 5*y - 45 for y.
4
Suppose 0 = -v + 3, -5*g = -2*g + 5*v - 24. Suppose g*d = -11 + 17. Solve -13 + 3 = d*c for c.
-5
Suppose -31*u - 28 = -29*u. Let n be ((-2)/(-3))/(u/(-21)). Solve h + n + 2 = 0 for h.
-3
Let o = -101 + 116. Solve -o = 3*d - 30 for d.
5
Let g be -6*4/(-3) + 1. Solve 8*d - 15 - g = 0 for d.
3
Suppose 3*j - 3*w - 32 = 22, 0 = -5*j + 3*w + 94. Let o be (-1)/(75/j - (-12)/(-3)). Solve u - o = -0*u for u.
4
Suppose -10*t = 3714 - 3714. Let v = 6 - 1. Solve -v*u + t*u = 0 for u.
0
Suppose 0*a + 5*j + 45 = 2*a, 4*a - 3*j - 69 = 0. Suppose c + 2 = a. Let y = 14 - c. Solve -11 = -5*q - y for q.
2
Let v(z) = -3*z - 20. Let n(k) = -k - 10. Let y(o) = -5*n(o) + 2*v(o). Let w be y(8). Suppose -l - w = 2, -t + 25 = -5*l. Solve 0 = t*d + 15 for d.
-3
Suppose -38 = -m - 38. Solve m = -18*d + 15*d for d.
0
Let d be 4/(-3) + (-20)/(-6). Solve -a = a - d for a.
1
Suppose -14*q + 564 = -822. Let m = -97 + q. Solve s = m*s for s.
0
Suppose -20*v + 21*v - 5*c - 33 = 0, 0 = 3*v - 3*c - 39. Solve 2*f = -2*f - v for f.
-2
Suppose -36 = -4*h - 2*h. Suppose a + 30 = h*a. Solve -a*j + 4*j = 0 for j.
0
Let z be -2 - 6/(-2) - -2. Let c be 1/z - (-11)/3. Solve 5 = -3*t + c*t for t.
5
Suppose 5*x - 15 = 0, x = 3*r - 5*r - 111. Let g = r - -59. Solve 0 = g*d - 4*d for d.
0
Suppose 0 = 12*s - 80 + 44. Solve -t - s*t = 0 for t.
0
Suppose -2*x - 4*c + 30 - 98 = 0, 0 = 4*x - c + 136. Let p be x/(-8) + (-2)/8. Solve 2*w - 6 = p for w.
5
Suppose 6*n = n + 40. Suppose -42 = 89*s - 103*s. Let l = -4 - -11. Solve l*u - s*u + n = 0 for u.
-2
Let w be -1 - (48/(-8) - -5). Suppose 16 = -4*z, 4*z + 1 = -2*c - c. Let m = -3 + c. Solve w = 3*s - 11 + m for s.
3
Suppose 0 = -0*o - o. Suppose -2*v - 5*w + 34 = o, 3*v + 2*w - 1 = 4*v. Suppose 16 = 5*r + 3*d - 4*d, 4 = 2*r - d. Solve -v = -r*i - 23 for i.
-4
Let r be -1 - 69/(-9) - 134/201. Solve 5*o = -r*o - 33 for o.
-3
Suppose 70*t = 62*t + 64. Solve t*c + 3 = -5 