 g = -10*l for l.
-1
Let f be 25 - ((4 - 3) + 0). Suppose -x + 0*x = -5*o + f, -38 = 2*x - 5*o. Let n = 15 + x. Solve -5 = -2*a + n for a.
3
Suppose -22*d + 93 + 83 = 0. Solve 0 = 2*b - d for b.
4
Suppose 23 + 3 = 2*x - 4*p, -2*p = 8. Let q be -1 + -4 + 1 - -9. Solve -6*u + q*u + x = 0 for u.
5
Let r(i) = 3*i**2 + i - 1. Let v be r(1). Suppose t + v*t + 5*n = 27, 0 = 3*t - 2*n - 49. Solve 0 = 5*m - t - 7 for m.
4
Let a = 39 + -37. Suppose a*o - v = -1 + 7, 3*v = 0. Solve o*i = -i for i.
0
Let u(f) = f**3 - 10*f**2 + 2. Let z be u(10). Suppose 2*r - 5*m - 24 = -0*r, -4*r = z*m. Solve -r*k = -k + 3 for k.
-3
Suppose -q + 3*q = -4*n + 142, 0 = -4*n + q + 157. Suppose 3*f + n = 7*f - 3*s, -5*s - 10 = 0. Solve -f + 2 = 2*d for d.
-3
Let o = -12 + 35. Suppose 19 = 5*z - w - 1, -o = -z + 4*w. Let b = -1 + 2. Solve 2*s + b = z*s for s.
1
Suppose 0 = -16*v + 15*v - 93. Let s = -77 - v. Solve 0*b - 4*b = -s for b.
4
Let j = -201 + 207. Solve -j*q - 7 = -1 for q.
-1
Let u = 5 + -5. Let q be 3/(-2)*20/(-10). Let p be (-1)/q - (-52)/12. Solve -p*k + 0 - 16 = u for k.
-4
Let s = 39 + -39. Let u(f) = -5*f + 78. Let h be u(15). Solve g - h*g + 10 = s for g.
5
Let n(a) = -2*a + 22. Let h be n(9). Suppose -3*w = -h*c - 0*w + 31, -5*w + 9 = 2*c. Suppose -v + 16 = c. Solve j + v = -2*j for j.
-3
Let q(p) = 2*p + 27. Let s be q(-16). Let t be (6/9)/(s/(-15)). Solve 0 = -0*b - 2*b - t for b.
-1
Let z(v) = v + 2. Let i be z(-2). Suppose 0 = -9*f + 15 + 12. Suppose -3*x = 2*c + 7 - 36, f*c + 4*x - 44 = 0. Solve -w + 5*w + c = i for w.
-4
Let m(q) be the second derivative of -6*q + 0 + 5*q**2 + 1/6*q**3. Let x be m(-8). Solve -x*t = -0*t - 6 for t.
3
Let f(d) = d - 5. Let a be 18/(-99) + (-224)/(-22). Let o be f(a). Suppose -5*n - 3*z + 15 = 0, 0 = -n + 3*z + o - 2. Solve -4*w = -n*w + 2 for w.
-2
Let f be (-36)/(-15) - (-6)/(-15). Let b(v) = v**2 - v - 2. Let w be b(3). Solve 14 + f = w*i for i.
4
Let w(r) = r**3 - 6*r**2 - 2*r + 24. Let k be w(6). Solve -k = 2*j - 6*j for j.
3
Let p(j) = -j**2 - 2*j + 2. Let f be p(1). Let g be 4/(f/(-1 + 3 + -3)). Solve a + g*a = -20 for a.
-4
Let p = -990 - -992. Solve -p*s - 9 = -1 for s.
-4
Let h(m) = 16*m + 7. Let c be h(0). Let o = -55 - -4. Let q be c/(-14) - o/2. Solve 3*y = -2*y - q for y.
-5
Let j = -548 - -579. Solve j*p - 26*p = -5 for p.
-1
Let t(u) = -3*u**2 - 19*u - 4. Let b be t(-6). Solve 3*x + b*x + 25 = 0 for x.
-5
Let c be 1/((-81)/(-18) + -4). Solve -c = u - 1 for u.
-1
Let w(k) = -7*k + 14. Let c(g) = -g**3 + 13*g**2 - 11*g - 10. Let r be c(12). Let v be w(r). Solve 0 = -v*l - l - 5 for l.
-5
Suppose -c + 2 = -2. Let g be c/2 + 1*3. Solve 0 = p - g for p.
5
Suppose 40 = 166*r - 156*r. Solve -12 = w - r*w for w.
4
Let i be -1*(-4 - -3)*3. Suppose -2*g - i = 27. Let h = g + 17. Solve -o - h = -2*o for o.
2
Let o = -642 - -645. Solve o*v + 6*v = -45 for v.
-5
Suppose -26 + 58 = 2*o. Solve 20*y - 16*y - o = 0 for y.
4
Let h be (-10 - -2)/((0 - -2)/(-2)). Solve -10*q = -h*q + 10 for q.
-5
Let t(n) = 2*n - 6. Let c be t(6). Suppose -228 = -47*x - 10*x. Solve c - 2 = x*z for z.
1
Let k(j) = j**3 + 3*j**2 - 4*j + 2. Suppose 0*v = 5*v + 4*d, d = -v + 1. Let z be k(v). Suppose -205*o + 35 = -198*o. Solve -3*i + z = -o*i for i.
-1
Let o be (-15)/5*(-12)/18. Solve -4*u + o*u = 2 for u.
-1
Let h = 6 - 7. Let d be (-2 + -2)/(-3 - h). Let c be (-5)/d*2*-5. Solve -z + c = -6*z for z.
-5
Suppose 183*u + 36 = 192*u. Solve w + u - 7 = 0 for w.
3
Suppose 2*r = -7*r - 5*r. Solve 0 = -4*y + 4 - r for y.
1
Suppose -5*i = -128 + 88. Solve -9*f + i*f + 1 = 0 for f.
1
Let u(t) = -t**2 + 10*t + 5. Let i be u(10). Suppose -2*b = 3*l - i*b - 21, -l - 4*b - 8 = 0. Solve 4*k = 3*k + l for k.
4
Let m(c) = c + 10. Let a be m(-8). Suppose a*n + 3*y - 8 = 7*y, 2*n - 3*y - 7 = 0. Let u be 3 + 2/(-4)*n. Solve -f - 3 = -u*f for f.
3
Suppose -9 = -l + 6. Let p(y) = -y**3 + 23*y**2 - 2*y + 46. Let w be p(23). Suppose w = -13*t + 10*t. Solve t*r - 3*r = l for r.
-5
Let w = 6 + -12. Let z be (-3)/(w*4/(-32)). Let y = 0 - z. Solve -y - 2 = -3*b for b.
2
Suppose 0 = -2*j - h + 115, 0*j = 2*j - 2*h - 130. Let o be (j/(-9))/((-8)/12). Solve -o = -2*r - 2 for r.
4
Let a be 5/(-2)*(-66)/55. Suppose -32 = -j + a*p, 72 = 2*j - 4*p + 2*p. Suppose 47 + j = 5*o - b, -26 = -o + 2*b. Solve -4*y + o + 4 = 0 for y.
5
Let k be ((-2)/2)/(1/(-9)). Suppose q = -2*j - k, -5*q + 6 = -2*j - 3*q. Let r = j - -9. Solve 1 = -2*u - r for u.
-3
Let u(m) = 7*m - 31. Let f be u(6). Let p = 8 + -4. Solve p*z - 1 = f for z.
3
Suppose -2*r + 32 = -y, -80 = -3*r - r - 2*y. Suppose -12*i + 15*i = r. Solve -5*t = -i*t for t.
0
Let k(x) = x**2 + x - 4. Suppose m + 4*m = 4*r + 75, 2*r = -4*m + 60. Let c = m - 18. Let l be k(c). Solve -l + 4 = -s for s.
-2
Suppose 2*a - 17 = 3*m, -3*a + m - 4*m = 12. Suppose -2*d = d + 5*l - 179, 5*d - 5*l - 325 = 0. Suppose 0 = -9*x - d + 297. Solve 5*c + x = a for c.
-5
Let s be (-2)/6 - 13/(-3). Let w(q) = 3*q - 43. Let b be w(16). Suppose b*g - 1 = 9. Solve 10 = g*j - s*j for j.
-5
Suppose 3*l + 4*q - 29 - 64 = 0, -2*l + 4*q = -42. Suppose 11 = 5*i - 0*i - g, -5*i - 3*g = -l. Suppose 0 = -i*t - t + 24. Solve -2*s = s - t for s.
2
Let l(y) = -y**3 - 11*y**2 + y - 11. Let w be l(-11). Let z = -22 - w. Suppose 5*v = -z*v. Solve 2*n + v = 2 for n.
1
Suppose -1725 = -5*j - 2*d, 0 = -2*d + 6*d. Solve -3*y + 342 = j for y.
-1
Let j(n) = -n**2 + 27*n + 4. Let f be j(27). Solve f*i + 20 = -i for i.
-4
Let q be (-40)/(-6)*15/10. Suppose q = -k + 6*k. Solve 4*s = k + 18 for s.
5
Let j = -876 - -894. Solve 7*q = -17 - j for q.
-5
Suppose -5*z + 7 = 2. Let v be 16 + 4/6*(-9)/6. Let w be (-33)/(-15) + (-3)/v. Solve 0 = -w*k + k - z for k.
-1
Suppose -10 - 20 = -3*p. Let x be p/5 + -4 - -4. Solve 0 = 3*i + x*i - 15 for i.
3
Let k be -2 - 6/(-2) - 9*9. Let n = -78 - k. Solve d - 1 - n = 0 for d.
3
Let b(m) = -m**3 - 8*m**2 + m + 3. Let x be b(-8). Let l be (8 - 6) + (-2 - x). Solve l*t + 16 = -4 for t.
-4
Suppose -2 = g + 3*w, 4*g = w - 2 - 6. Let f(q) = 0 + 3*q**2 - 88*q + 84*q - 3. Let n be f(g). Solve 0 = -5*v - n + 2 for v.
-3
Suppose 0 = 4*r + x + 13, -r + 5 = 5*x - 6. Let p(k) = -k - 2. Let m be p(r). Suppose 7 = m*q - q + 5*v, 0 = 4*q + 3*v - 11. Solve -w - q*w - 12 = 0 for w.
-4
Let h be 33/66 + 6/4. Solve 2*r = -h + 6 for r.
2
Let x(o) = 6*o**2 - 13*o - 4. Let l be x(3). Solve l*g = -0*g + 22 for g.
2
Let l(a) = a**2 + a + 3. Let v be l(-5). Solve 28*t = v*t + 10 for t.
2
Let q = -101 + 107. Solve -3*y + 0*y + q = 0 for y.
2
Let f(y) = -55*y + 173. Let m be f(3). Solve m = 18*t - 14*t for t.
2
Suppose -58*o + 46 = 3*f - 57*o, 3*f - o - 44 = 0. Solve 15 + f = -15*d for d.
-2
Suppose 55 = 18*m + 55. Solve -x + 5*x = -m*x for x.
0
Suppose g = -4*v + 57, -26*v - 4*g = -29*v + 19. Solve 8*o = -27 - v for o.
-5
Suppose x - 21 = -48. Let k = 33 + x. Solve -5*c + 14 = -k for c.
4
Let p = -23 - -37. Let a be (-105)/15*(-4)/p. Solve -a*f + 4 = -2 for f.
3
Let q(g) = -3*g - 3. Let d be 3 - (1 + (-3 - -1)). Suppose 10 = -d*f - f. Let v be q(f). Solve a - v = -2*a for a.
1
Suppose -24 = -39*k + 35*k. Suppose v = -v + k. Solve -6 = v*h + 6 for h.
-4
Let d be (-62 + -8)/(-10) + 1. Solve 5*m + 2 = -d for m.
-2
Let d(s) = -s**3 + 15*s**2 - 26*s + 1. Let g be d(13). Solve 2*t - 9 = g for t.
5
Let w = 1037 - 1028. Solve -1 - w = -5*r for r.
2
Let s(j) = 5*j**2 - 7*j + 6. Let o be s(1). Let m be (2 + -4)/((-1)/2). Suppose -m*z - z - 7 = -f, -4*f = 3*z - 51. Solve -o - f = -4*v for v.
4
Suppose 0 = -28*o + 36*o - 200. Suppose 5*a - 7*w - o = -3*w, 4*w = 0. Solve -a*j = -18 + 3 for j.
3
Suppose 0 = 3*x - 3*i - 15, -i - 3*i - 12 = 0. Suppose -c = -4 - x. Solve 6*j = 3*j - c for j.
-2
Suppose -5*p - 23 = -4*f, 2 + 22 = 4*f - 4*p. Let h be (-2 - f/(-2))*2. Suppose 0 = -4*b + h*b + 2. Solve 0*t + b = -t for t.
-2
Let i be (-23)/(-5) - 0 - (-12)/30. Suppose n - i*b = -20, 3*n - b = -0*b + 10. Solve -n*r + 10 = -15 for r.
5
Let z(v) = 11*v**3 + 3*v**2 - 5*v + 4. Let a be z(1). Solve 7 = -3*f + a for f.
2
Let n(t) = -2*t**2 + 54*t + 124. Let u be n(28). Solve -u = -25*k + 7 for k.
3
Let n(k) = -3*k + 9. Let b(w) = -w**3 + 14*w**2 - 12*w - 11. Let f be b(13). Let v be n(f). Solve -v*o = 2*o + 15 for o.
-3
Let i(h) = h + 20. Let q be i(8). Let u = q - 17. Solve 0 = -4*o - u - 5 for o.