x.
5
Let b be (6/(-9))/(2/(-3)). Let o = -1 + b. Let z = -6149 - -6149. Solve g + o*g - 3 = z for g.
3
Suppose 2*i + 4*l - 20 = 0, 0*i = -i - l + 7. Suppose 0 = a - i*a + 36. Solve 3*h + 0*h + a = 0 for h.
-4
Suppose 45*k = 25*k. Solve 15*m - 2*m + 26 = k for m.
-2
Suppose 4*f - 27 = 17. Suppose f + 5 = 4*l. Suppose 4*c = -3*o + 25, 5*o = -5*c + 39 - l. Solve -o*z - z - 4 = 0 for z.
-1
Let z be 4 - ((-3 - 0) + 4). Let t = z - -3. Solve 5*a = 2*a + t for a.
2
Let t = -11 + -24. Let z = -15 - t. Solve 0*n = 5*n - z for n.
4
Let c be 4 - ((-156)/180 + 4/(-30)). Suppose -5*s + 3*a = 0, -5 = c*s + 7*a - 11*a. Solve 0 = 3*n - 2*n - s for n.
3
Suppose u - 2 = -15. Let k = -1 - u. Let o = -4 + k. Solve o*r + 25 = 3*r for r.
-5
Let h(x) = -2*x - 45. Let c be h(6). Let b = c - -67. Solve 3*z = -5 - b for z.
-5
Let p(m) = m**3 - 5*m**2 - 2*m - 15. Let n be p(6). Solve -8*y + n*y = 1 for y.
1
Suppose 6 = 5*a - 4. Let q(t) = 3*t**2 - 12 + 6*t - 2*t**2 + 3*t + 38. Let v be q(-4). Solve a*i = v - 0 for i.
3
Suppose 4*y + p = y + 8, -3*y = 2*p - 10. Suppose -y*o + 14 = 4*z, 0 = -3*z - 5*o + 14. Suppose -z = 2*i - 11. Solve b + i*b = -10 for b.
-2
Suppose -72*o + 67*o + 20 = 0. Let t = o - -2. Solve t = 5*c - 9 for c.
3
Let d(o) = o**3 + 12*o**2 - o + 10. Let m be d(-12). Suppose 4*h + 3*v - 10 = m, 8 = h - 2*v. Solve 3*u - h = -u for u.
2
Let y be (112/12)/7 - (-4)/6. Solve y = -2*t - 2 for t.
-2
Let l(u) = -u**3 + 5*u**2 - 5*u + 1. Let a be 16/9 - ((-160)/(-90) + -2). Let z be l(a). Solve -w = z*w for w.
0
Let o be ((-3)/(-2))/(111/148). Let c be (0 + 1)/((-2)/(-6)). Suppose -4*k = j + 1, 5*k - c*j - 18 = o*k. Solve 4 = -5*w - k for w.
-1
Let v be (-1 - -5)/(-1 - (-4 + 2)). Solve v*t + 19 - 3 = 0 for t.
-4
Let z(q) = q**2 + q + 2. Let u be z(0). Suppose -5 = u*f - f, -2*n - 5*f = 17. Suppose -11 = -n*d + 1. Solve 3*r + 12 = -d for r.
-5
Suppose -2*u = -5*b + 40, -2*b + u = 2*b - 35. Let w = 10 - b. Let j be (-5)/10*(0 - w). Solve 10 = -5*g - j for g.
-2
Suppose -2*s - 3*j - 23 + 77 = 0, -j - 80 = -4*s. Suppose -4*a + s - 5 = 0. Solve d + 15 = -a*d for d.
-3
Let r(c) = -5*c - 23. Let h be r(-5). Solve h*d = -0*d + 4 for d.
2
Suppose 12*j = 20*j. Let y be (0*(-3)/(-6))/2. Solve 3*f + y*f + 15 = j for f.
-5
Let m = -12 - -23. Suppose 4*y + 5 = -3*k, 4 = k - 2*y - m. Solve 5 = k*b - 0*b for b.
1
Suppose -5*d + 8*d = 45. Let m = d - 15. Solve 9 = 3*p - m*p for p.
3
Let h be 138/36 - (-3)/18. Let g(i) = i - 4. Let r be g(h). Solve r = -c - 1 for c.
-1
Let k = 87 - 85. Solve t + k*t = 6 for t.
2
Suppose 0 = 4*t - 8, 13*t - 10*t - 1 = 5*w. Let c(a) = a + 1. Let f be c(-1). Solve -w = m - f*m for m.
-1
Let z be (-21)/(-14)*(-2)/(-3). Let v(c) = c**3 + 5*c**2 - 16*c - 9. Let n be v(-7). Suppose -3*g + n = -1. Solve g*y - y - z = 0 for y.
1
Let i(c) = 9*c**2 - 7*c - 9. Let u(g) = -5*g**2 + 4*g + 5. Let w(z) = -6*i(z) - 11*u(z). Let p be w(2). Let b be 2*(-3)/(-6) - p. Solve 6 = v + b*v for v.
2
Let t = 130 + -107. Solve -t*g = -19*g - 16 for g.
4
Let y = -38 - -50. Let h = 27 - y. Solve 4*g = -g + h for g.
3
Let t(j) = j**2 - 6. Suppose 2*i = i + 6. Let o be i/8 - 54/(-24). Let p be t(o). Solve 7 = w + p for w.
4
Let j be 9 - -3*(-64)/24. Solve j + 44 = -9*i for i.
-5
Let u(l) = -l - 1. Let i be u(-1). Let d = 6 + -8. Let s be 12 + (d - 2) + -4. Solve -s*v + i*v = -16 for v.
4
Suppose 173 - 167 = 3*k. Suppose -59 = -5*f + 2*u, -f + 0*u + 7 = -k*u. Solve 4*x = f + 3 for x.
4
Suppose 0 = -3*r - 0*r + 15. Suppose 20 = 4*n - 36*k + 40*k, 5*n = -2*k + 10. Suppose 0 = -0*i - i. Solve n = -i*t - r*t for t.
0
Let u be (-136)/170 + 2*(-2)/(-5). Let q be (u - 0/(-3))/(3 - 5). Solve q = o + 1 for o.
-1
Let m be (6 - -1)/(3/3). Let k = m + -7. Suppose 3*i - 13 + 4 = k. Solve -3 = 3*u + i for u.
-2
Let a be (-7)/((-98)/108) - 2/(-7). Suppose -6*d + a*d - 4 = 0. Solve -r - d*r + 3 = 0 for r.
1
Let v = 20 - 2. Suppose 4 = v*d - 16*d. Suppose -4*p = 4*h - 0*p - 4, -10 = d*p. Solve -h*r = -3*r for r.
0
Suppose 0 = h + 3*l - 17, 0 = -9*l + 8*l. Solve -2*b = -h*b - 75 for b.
-5
Let c(w) = -w**3 - 10*w**2 - 33*w - 53. Let z be c(-6). Let k(p) = -2*p - 9. Let d be k(-6). Solve z = u + d for u.
-2
Suppose 5*a = -o + 59, -3*a - o - 2*o + 33 = 0. Solve a + 3 = -5*j for j.
-3
Suppose 4*q = 2*q - 8, 2*h - 3*q = 30. Let j = -3 + h. Suppose 0 = 2*y - j*y. Solve -4*t = -y*t - 16 for t.
4
Suppose 142*g - 135*g = 259. Solve 33*c - 16 = g*c for c.
-4
Let h = -2 + -12. Let q be 144/56 + 8/h. Solve 0 - q = -k for k.
2
Suppose -5*o = 3*m - 14, -14 = -2*m + 5*o + 12. Solve 0 = -13*l + m*l + 25 for l.
5
Let i(m) be the third derivative of m**5/60 - m**4/3 + 7*m**3/3 - 20*m**2. Let j be i(6). Solve j = z - 3 for z.
5
Suppose 24*d - 26*d = -3*h - 39, -2*h = -4*d + 58. Solve -f + d*f = 55 for f.
5
Let r(f) = 11*f**2 - 33*f + 21. Let j(y) = 5*y**2 - 16*y + 11. Let d(v) = -9*j(v) + 4*r(v). Let q be d(11). Let h be (q/(-2))/(-2 + 4). Solve w + h = -2 for w.
-3
Let x be ((-9)/(-15))/(2/40). Suppose -5*k - j = -79, 5*j = -x + 32. Solve -4*t + k = t for t.
3
Let s = -153 - -172. Solve 21*l - s*l = -8 for l.
-4
Let z(t) = -t - 2. Let s be 7/(-14) + 6/(-4). Let h be z(s). Suppose h = 4*a - 3*a. Solve a = l + 3 + 1 for l.
-4
Let q = -127 - -135. Solve -5*g = q + 2 for g.
-2
Suppose 3*l - 40 = 5*m, -2*m = 3*m + 10. Solve 25 = 3*h + l for h.
5
Let z = -403 - -407. Solve 0 = 2*t + z - 8 for t.
2
Let l(g) be the first derivative of -5*g**2 - 5. Let q be l(4). Let w = q - -60. Solve -7*p + 2*p = -w for p.
4
Suppose 0 = -4*a - b + 86 + 12, 4*a - b = 94. Solve -11*k = -5*k + a for k.
-4
Let m = -13168 - -13172. Suppose f + u = -0*u + 5, f + 1 = 5*u. Solve -m*i = f + 12 for i.
-4
Let n = -771 - -779. Solve 130*p - n = 134*p for p.
-2
Let w(p) = 2*p**3 - 7*p**2 + 6*p. Let i be w(2). Solve 5*d - 14 - 6 = i for d.
4
Suppose -2*k = -5*f - 60, -f + 48 = -3*k + 5*k. Suppose -6*g + k + 5 = 0. Solve -4 = -g*u - 14 for u.
-2
Suppose 2*a + 3*d = -7 + 22, 0 = a - d. Suppose 0 = z - a + 10. Let y be (-22)/(-4) - z/(-14). Solve -11 - 4 = -y*m for m.
3
Let h = -1890 - -1918. Solve 10*m - h = -38 for m.
-1
Let c(m) = m**3 - 5*m**2 - 6*m + 12. Let y be c(6). Solve 0 = 7*u + 19 - y for u.
-1
Suppose -6 = -0*z - 2*z. Let a(v) = -v + 4. Let x be a(5). Let o be 1*x + (6 - 0) + -5. Solve z + o = 3*p for p.
1
Let s be 15/(-10) - (-14)/4 - 2. Suppose 0 = -g - 4*p, -7 = -2*g + 4*p - 5*p. Let t = 8 - 6. Solve -g = t*q - s for q.
-2
Let z be ((-6)/(-3))/(10/15). Let p be (-3 + 21)*1/z. Solve p*s - 7*s = 3 for s.
-3
Suppose -3 = -0*b - b. Let c be -1 + b - 12/4. Let q be 1*(c + (-12)/(-4)). Solve -q = -4*o + 6 for o.
2
Suppose 6*l - 48 = 2*l. Let n(y) = 7*y + 28. Let i be n(-8). Let q = i - -31. Solve q*t = -t + l for t.
3
Let q be (-92)/(-6) - (-1)/((-12)/4). Let w be 8/57*q - (-8)/(-76). Solve 13 = -5*v - w for v.
-3
Suppose -8*t = -6*t. Suppose 3*w - 15 = t, -3*d - 4*w + 11 = -3*w. Solve d - 7 = 5*f for f.
-1
Let o(y) = y + 15. Let i be o(-13). Let f be ((-11)/(-7) - i)*(4 - 11). Solve -f*z - 5 = -4*z for z.
5
Let a(m) = 55*m - 35. Let c be a(1). Solve u - c = -22 for u.
-2
Let p be (-2 - -1)/(-3 + 4). Let k be (-2 - p)/(5/(-20)). Let z(d) = d**2 - 1. Let x be z(-2). Solve -2 = x*m + k for m.
-2
Let k be 12/2 + (-50)/5 + 6. Solve 3 = -k*r - 7 for r.
-5
Let n be -3 - -14*(2 - 3). Let o = -15 - n. Solve -f - 5 + o = 0 for f.
-3
Suppose -3*n - s = -4*s - 3, 5 = 5*n + 3*s. Let h be 2/(-4)*(-6)/((-8)/(-48)*9). Solve -n = b + h for b.
-3
Let j(y) = y**2 + 3*y + 4. Let z be j(-3). Let u = z - 1. Solve 10 = u*b + 2*b for b.
2
Let z(a) = a + 1. Let v be z(2). Suppose 0 = -3*m + v, -2*m = -0*x - x + 3. Solve -x*t = 8 + 7 for t.
-3
Let s = 161 + -105. Suppose -5*n + 0*n - 3*l - s = 0, -3*n - l = 32. Let v = 10 + n. Solve v*t - 20 = -4*t for t.
5
Suppose 2 - 6 = k - 2*l, 0 = -3*k + 2*l - 4. Solve -57*a + 62*a + 15 = k for a.
-3
Suppose 18*b - 22 = 32. Solve -13 = -b*x - 4 for x.
3
Suppose 3*g + 2*g - 15 = 0. Let k be -1 - -3 - (g - -3). Let f be 13/7 + k/(-28). Solve f = -m + 3*m for m.
1
Suppose -3*z = 2*z. Suppose 4*v = -b - 0*b - 14, v = 4*b - 12. Let n be 200/12 - b/3. Solve -4*u + 0*u + n = z for u.
4
Suppose 2*i - 6 = -2*j + 4, -4*j + 4*i + 20 = 0. Solve 0 = d - j + 2 for d.
3
Let b be 4/10*(-3 + 8). Solve 21 = -b*f - 5*f for f.
-3
Let s(f) = 8*f**2