 30*z for z.
0
Suppose 0*u + 5*l + 13 = -2*u, l = 2*u - 5. Solve 3*t + 2 = -u for t.
-1
Let m = 7 - 57. Let s = m + 52. Solve -s*q - 6 = -5*q for q.
2
Let j(t) = 5*t - 1. Let u be j(-5). Let v = 29 + u. Solve 6 = -v*x + x for x.
-3
Suppose -24*o = -25*o - 13. Let d(h) = -h**3 - 11*h**2 + 27*h + 20. Let t be d(o). Solve -t = -2*m - 1 for m.
3
Suppose -4*m + m = -12. Let p be (0 - -1 - 1) + m. Let s = p + 11. Solve 3*c + 0*c - s = 0 for c.
5
Let w be 48/168*(0 + 7). Solve -y + 3 = w*y for y.
1
Let d be -5*(-4)/40*6. Suppose 0 = 3*w - w + 3*c + 15, -w - d*c = 15. Suppose p + p = 2*h - 56, w = p + 3. Solve 2*q - h = -3*q for q.
5
Suppose -5*i + 18 = -7. Suppose -129 = -3*g - 3*v, 0 = -3*v - 7 - 2. Let b = 56 - g. Solve 5*c + b = -i for c.
-3
Let h be 1*-20 + 6/2. Suppose -4*u - 3*l - 103 = 0, 5*u + 78 = u + 2*l. Let f = h - u. Solve f*m = m + 16 for m.
4
Let d(m) = -m**3 - 6*m**2 + 5*m - 2. Let g be d(-7). Let l = 119 + -99. Let h be l/(-6)*18/(-15). Solve -h*k + 0*k = g for k.
-3
Let z(y) = y**2 + 13*y - 25. Let j be z(-15). Suppose 2*u + 0 = -5*d - 21, 0 = -5*u + 4*d + 30. Solve u*p - 1 = -j for p.
-2
Let f = -19 - -19. Suppose 0 = 5*h - 2*r + 7*r - 45, 3*r = f. Suppose 0 = 3*i - 1 - 14. Solve i*v + 1 = -h for v.
-2
Suppose 3*o = 4 + 5. Suppose 4*b - 7 = -o. Solve b - 10 = 3*k for k.
-3
Let h = -64 + 97. Suppose b = 4*q + 2, 0 = 2*q - 3*q - 2. Let k be b/33 - (-6)/h. Solve -y + 3*y = k for y.
0
Let g = 3 + 1. Let p(u) = 3*u**2 - 7*u - 1. Let i be p(3). Let w = i + g. Solve -5*c = 1 + w for c.
-2
Suppose h = -2*x + 5*h - 326, -4*h = 2*x + 334. Suppose -28*m - 318 = -234. Let p be (1/m)/(11/x). Solve -p*a = -2*a - 3 for a.
1
Let y = -28 + 40. Suppose -o = 2*o - y. Solve -2*k = -o*k - 6 for k.
-3
Let b(f) = -f - 1. Let p be b(-1). Let a be ((-13)/13)/(1/(-5)). Suppose -3*w - 2*w + a*s + 5 = p, 3*s = 4*w - 6. Solve 0 + w = z for z.
3
Suppose 0 = -58*z + 53*z + 25. Let g(l) = 4*l - 16. Let i be g(z). Solve i*c = -c - 5 for c.
-1
Suppose -2*b = 3*y - 6, 4*b - 9 = b - 5*y. Suppose 0 = b*v + f + 49, 2*f + 27 = -2*v - 3. Let s = v + 20. Solve 2*i = -s*i + 15 for i.
3
Let u = 31 - 21. Suppose 5*y - 5*i - 25 + 75 = 0, i + 1 = 0. Let q be y/(-3) + u/(-15). Solve v = q*v + 6 for v.
-3
Let x = -2 - -5. Let p be 243/18*(-2 - 40/(-15)). Solve x*i - 3 = p for i.
4
Let o be (1 + 0)/((-34)/(-272)). Solve o + 1 = -9*k for k.
-1
Let u be 1*329/7 + -7. Solve 7*y + 13*y - u = 0 for y.
2
Suppose 5 = q + 1. Let b be (-2)/q - 26/(-4). Suppose -z + 12 = 2*z. Solve z*f = -2 - b for f.
-2
Let g(p) = -p**2 - 14*p + 34. Let m be g(-16). Solve 8 = m*z + 10 for z.
-1
Let s(g) = -g**2 + 26*g + 123. Let o be s(30). Solve o*b + 15 = -0 for b.
-5
Let o(t) = -23*t - 11. Let a be o(-1). Solve -6*s + 9*s - a = 0 for s.
4
Suppose 13 = g - 2*x - 2*x, 5*g - 5*x - 35 = 0. Let j(t) = t**2 + 26*t - 29. Let v be j(-27). Let l = v + g. Solve l*q - q = 0 for q.
0
Suppose -2*j + 0*j - a + 3 = 0, 24 = 4*j - 4*a. Suppose j + 3 = 3*i. Let x be (-6)/(-18) - 5/15. Solve x = -c + i*c for c.
0
Let u be (-1 + 2)/((-6)/(-72)). Suppose 6*i - 4*i - u = 0. Suppose w + w = i. Solve 5*q - w = 2 for q.
1
Let v be 6 + 1 + -2 + -1. Let d = v + -2. Let r be (3 + 0 + -6)/(2/(-4)). Solve 0 = d*h + h + r for h.
-2
Let z = -753 - -755. Solve -22 = -4*b - z for b.
5
Let l be (-3 + 5 + 0)/(4/46). Solve -20*n + l*n = -3 for n.
-1
Let a(x) = x**2 + 21*x - 49. Let m be a(-23). Let q be (m + 8/6)*-9. Solve -4*s + q = -s for s.
5
Let d(j) = j**3 + 10*j**2 + 13*j - 9. Let n be d(-8). Let c = n - 15. Let z(g) = g**2 + 5*g. Let u be z(-5). Solve c = -u*o + o - 5 for o.
5
Suppose 3*v - 4*d - 13 = 0, 4*v + 8*d = 12*d + 20. Suppose 2*p + 15 = 5*p. Solve 3*h - v - p = 0 for h.
4
Let g be ((-40)/180)/((-1)/9). Suppose -b + g = -7. Suppose 3*c = 6*c - b. Solve c*l = l for l.
0
Let c(p) = 2*p + 7. Let r(z) = -3*z - 6. Let m(x) = 4*c(x) + 3*r(x). Let y be m(9). Solve v + 0 + y = 0 for v.
-1
Let z(n) be the first derivative of -n**3/3 - 2*n**2 - n - 1. Let o be z(-1). Let p(m) = -m**2 + 9*m. Let v be p(9). Solve v*b - 2*b + o = 0 for b.
1
Let z(o) = -o**3 - 13*o**2 - 13*o - 10. Let x be (-18)/(-8)*(-112)/21. Let b be z(x). Solve -i = -3 + b for i.
1
Let b be 11/((-616)/(-1152)) - 3/(-7). Solve 0 = -b*u + 6*u + 60 for u.
4
Let u(a) = a + 8. Let b be u(8). Suppose 4*l = -0*l - v + 12, 4*v - b = 0. Solve 0*k - l*k + 2 = 0 for k.
1
Let h be (-16)/(-6) - 8/(-6). Let k(n) = 0*n + n**2 - 3*n + 3 + n**2. Let p be k(3). Solve -h*v - p = -0*v for v.
-3
Suppose 5*s - v - 1 = 0, -s + 2*v = -v - 3. Let l be ((-6)/15)/2 + (-82)/(-10). Let j be (-4)/l*s - -2. Solve h + 5 = j*h for h.
5
Let g be -2 + 1 + (5 - 4). Solve g = -3*p - 5*p + 32 for p.
4
Let v = 882 - 822. Solve 4*t = -11*t - v for t.
-4
Suppose 0 = -4*v + 2 + 14. Suppose 7 = x + v. Solve -s + x*s - 6 = 0 for s.
3
Let i(h) = 19*h**2 - 2*h**2 + 12*h**2 - 8*h**2 + h. Let d be i(1). Suppose 2*c = -4*j + d, c = -0*j + 2*j - 5. Solve -k + 0*k + c = 0 for k.
3
Suppose -5*d - 52 = -4*z, z + 0*z - 4 = -d. Let q = 4 + z. Solve -q - 8 = 4*w for w.
-5
Let g(y) = 5*y**3 + 2*y**2 - 17*y + 14. Let x be g(1). Solve -9*s + x*s = -10 for s.
2
Let v be ((-2)/(-6))/((-3)/27*-1). Suppose 0 = -v*a - 2*a + 3*a. Solve a*w + 15 = 5*w for w.
3
Let k(x) = x**2 - 17*x - 12. Let z be k(18). Suppose -2*d = d - z. Suppose -p + 5*v = 14, -3*p = -6*p + 5*v - d. Solve h + p - 1 = 0 for h.
-5
Suppose -o + 3*s = -1, 0*o + o = -2*s + 1. Solve 2*m = -o + 3 for m.
1
Let h = 83 - 86. Let w be -1 - h - (-4 + 9 + -6). Solve -4 = -w*f + 11 for f.
5
Let b(j) = -2*j**2 + j + 4. Let z(w) = w**2 - 7*w + 6. Let h be z(6). Let p be b(h). Solve p*x + 0*x + 4 = 0 for x.
-1
Suppose -4*h = -8*h + 8. Let w(x) = -2*x**2 + 21*x - 33. Let c be w(7). Suppose 3*i = 7*i - 8. Solve -c = -h*q - i*q for q.
4
Suppose -2*i + 1 = -3*r + 2*i, 3*r + 2*i = 5. Let t = 54 + -51. Suppose t*h - 87 + 81 = 0. Solve h*p + r = -7 for p.
-4
Suppose -141*t = -145*t + 76. Solve -t*j + 13*j = 12 for j.
-2
Let h be -1 + 1 + 24/6*10. Solve -k + 37 = h for k.
-3
Let u(c) = 6*c**2 + 19*c + 43. Let m(v) = -7*v**2 - 20*v - 42. Let j(n) = 5*m(n) + 6*u(n). Let z be j(-5). Solve 5*w + 8 = z*w for w.
-4
Suppose -4*m + 4*o = -32, -o = -2*m - 4*o - 4. Solve m*j + 25 = -j for j.
-5
Suppose 5*u = 4*c - 81, -3*c - 45 = -8*c - 5*u. Suppose -4*x = -h + c, x = -5*h - 2*x + 1. Solve h = -2*g - 6 for g.
-4
Suppose 3*r + 5 + 4 = 0. Let q be (r + 3)*2/(-4). Solve q*m = m for m.
0
Suppose -396 + 88 = 4*f - 3*a, -a = 0. Let c = 79 + f. Solve c*l + 5 = 13 for l.
4
Let i(v) = -v**2 - 5*v + 3. Let q(j) = -j**3 - 2*j**2 + 3*j + 3. Let u be q(-3). Let z = u - 7. Let w be i(z). Solve -w + 4 = p for p.
-3
Suppose -p + 28 = 3*p - 4*y, 4*y = p - 10. Suppose 5 = 5*w, 6*i - 4*i = 3*w - 5. Let b be 4/i + (p - 2). Solve -k = -3 - b for k.
3
Suppose -4*u + 16 = -4*c, -2*u + 0*u = -c - 6. Suppose 6*q + u*q = 0. Solve 2*n = -q*n + 2 for n.
1
Suppose 72*r + 3 = 73*r. Solve 2 - 8 = r*n for n.
-2
Let q = 966 - 966. Solve 2*t + 2*t - 12 = q for t.
3
Let i(f) = -f**2 + 20*f + 23. Let b be i(18). Let c = -57 + b. Solve 0 = -3*v + c*v + 2 for v.
2
Let b be 6/(21/6 - 2). Suppose -b*x + 6*x + 2*x = 0. Solve x = 2*y - 2 + 12 for y.
-5
Let h be (-14)/2 - (-18 + 9). Solve 0*x - 7*x + h*x = 0 for x.
0
Let j be (-39)/(-9) - 20/15. Suppose -j*q + i + 1 = -3, 4*q - 5*i = -13. Let v be (1 + 3 - -6)*1. Solve q*s = s - v for s.
-5
Let b be (2/4*1)/((-14)/(-364)). Solve -b = -2*f - 17 for f.
-2
Suppose 0 = -5*j + j - 104. Let a = j + 32. Suppose -b = -3*b + a. Solve 4*l + b = -9 for l.
-3
Suppose -4 = -3*c - 34. Let l be (-13)/3*(7 + c). Suppose -3*t + l = 10. Solve -f - 3 + t = 0 for f.
-2
Let y be 6/(-3) + 4 - -2. Let w = -43 + 41. Let r = w + y. Solve n = r*n + 5 for n.
-5
Let o = 253 + -179. Let w = -70 + o. Solve -w = -4*b + 8 for b.
3
Suppose -4*x + 4*n + 24 = 0, -4*x + 7 = n - 2. Suppose 0 = -6*r + 28 - 4. Solve x*p - p = -r for p.
-2
Suppose 4*d + 5*l - 33 = -0*d, 0 = -3*l + 15. Solve -75 + 83 = d*t for t.
4
Suppose -2*l + 1 = -49. Suppose -4*q + 24 = 4*t - 4, 5*t = q + 47. Solve t*y = 4*y + l for y.
5
Let d(j) = j. Let r be (-10)/15 - 92/6. Let h be ((-6)/(-9))/(r/(-72)). Let u be d(h). Solve 13 = -4*n - u for n.
-4
Let f = 2322 - 2319. Let g = 4 - -2. Suppose 3*u = -w - 3, -w = 5*u - 3*w - g. Solve -f*r + 0 - 15 