m - y - 1 = 0 for m.
2
Suppose -5*c - 5*b = -25, 2*c + 2*c + 5*b - 23 = 0. Suppose -c*m = -5 + 3. Solve -l + m = -2*l for l.
-1
Let h = 58 - 54. Solve -3*v + v = h*v for v.
0
Let a be 6/15 + 4/(-10). Suppose j = 6*j - 15. Solve n + j + a = 0 for n.
-3
Let t = -32 + 35. Suppose t*n - 6*n = -6. Suppose -2*r = 2*r - 12. Solve 0 = -n*d - r - 3 for d.
-3
Let p = -3 + 3. Suppose -4*c - 29 = -49. Let t be ((-20)/(-12))/(c/15). Solve p = t*i - 1 - 4 for i.
1
Let s = -46 + 146. Let g = -98 + s. Solve -g*x + 7*x = 10 for x.
2
Let s = -1079 + 1093. Solve -12*c = -s*c for c.
0
Let y(j) = j**2 - 4*j - 104. Let c be y(13). Solve -18*l = -5*l - c for l.
1
Let n(l) = l**3 + l**2 + l - 1. Let z be n(1). Suppose q = z*x + 10, -q - x = 2*x + 10. Solve d - q*d = 2 for d.
-2
Let h be ((-3)/(-3) - -97) + 1 + -2. Let w = h + -94. Solve w*z + 0 = -3 for z.
-1
Suppose -4*j - 18 = -46. Suppose 2*y - 1 - j = 0. Solve 2*b - y = 4 for b.
4
Let q = -1455 + 1468. Solve 4*c - 3 = q for c.
4
Suppose 2*j - 18 = -3*o, 3*j - 8 = 2*o + 3*o. Let l be 6/(-36) - (-7)/j. Let c be ((-2)/l)/(5/(-25)). Solve -v - c = v for v.
-5
Let h(f) = -f**3 + 2*f**2 + 4*f + 1. Let b be h(-1). Let a(x) = -x - 1. Let i be a(-2). Let j be 10*(6/4 - i). Solve -2*s + j*s = b for s.
0
Let x(p) = -8*p + 66. Suppose 6*j + 20 = 2*a + 8*j, 4*j - 8 = 0. Let g be x(a). Solve g*k - 5*k = -15 for k.
5
Let w(h) = -7*h**2 + 12 - 4*h + 0*h**2 - h**3 + 0*h**3. Let m be w(-6). Solve o + 3*o - 8 = m for o.
2
Suppose 6 = 2*g - 4, -3*n + 34 = -g. Suppose -n*b = -12*b - 3. Let v = b + -3. Solve 3*h - h + 6 = v for h.
-3
Let x(p) = 3*p**3 + 10*p**2 + 5*p - 4. Let m be x(1). Solve -3*c - m = -2 for c.
-4
Let v = -1053 + 1060. Solve v*r - 120 = -85 for r.
5
Suppose -4*u - 36 = 2*y + 68, 5*y + 78 = -3*u. Let f = 132 - 96. Let p = f + u. Solve p + 10 = -4*g for g.
-5
Let m be 4 - (0 - (2 - 4)). Suppose -4*u - 26 = -3*i, m*i - i + u = -3. Solve -5*d + i = -3 for d.
1
Suppose 124 - 131 = -m. Solve 0 = -m*y + 8*y - 2 for y.
2
Suppose 78 = -5*o + 598. Suppose 2*t - 4*s + o = 20, 0 = 2*s - 8. Let z = -34 - t. Solve z*l = -3*l + 15 for l.
5
Let y = -40 + 82. Let v = 44 - y. Suppose 0 = -2*x - 2*x. Solve v*m + x = 10 for m.
5
Let p = -29 + 37. Let g = -4 + p. Solve 0*z = -g*z - 8 for z.
-2
Let j(g) = -g**3 + 11*g**2 - 14*g + 6. Let y be j(10). Let a = -17 - y. Solve 2 = 3*h + a for h.
-5
Let t = 418 + -412. Solve -t*x + 1 = -5 for x.
1
Suppose -a = -o, 0*o + 4*o + 2*a - 18 = 0. Suppose 5*v - 37 + 12 = 0. Let z be ((-8)/(-5))/(1/5). Solve -o*m - v = -z*m for m.
1
Let r = -85 - -85. Let j be 12 - (0 - -4 - r). Solve -2*t + 4 - j = 0 for t.
-2
Let b(o) = -10*o**2 - 21*o - 30. Let f(a) = -3*a**2 - 7*a - 10. Let r(j) = 2*b(j) - 7*f(j). Let k be r(-6). Solve 16 = -0*y - k*y for y.
-4
Let n(a) = -21*a + 219. Let h be n(10). Solve -h = 11*q + 13 for q.
-2
Suppose -2*m - 5 = 1. Let b(l) = l**2 + 9*l + 6. Let s be b(m). Let q be 1 + 2 + s/(-4). Solve -q = 3*o - 3 for o.
-1
Let o = 6 + -4. Let p(f) = -3*f + 2*f + f - 3 + o*f. Let u be p(4). Solve u - 1 = k for k.
4
Let o(l) = -l**3 + 16*l**2 + 5*l - 73. Let j be o(16). Solve -j*g = 15*g - 44 for g.
2
Let u be 22/8 + 3 + (-44)/16. Let l(j) = -4*j + 12. Let x be l(u). Solve x*m + m + 3 = 0 for m.
-3
Let o(f) = 9*f - 84. Let l be o(-6). Let j = -135 - l. Solve 2*c = -j - 5 for c.
-4
Let m = -1323 + 1325. Solve v + 4*v = m*v for v.
0
Let y(d) = -d. Suppose 2*a + 15 = -a. Let v = -10 - a. Let u be y(v). Solve 0 = z - u for z.
5
Let c(a) = 2*a**2 - 3*a + 1. Let p be c(3). Let x = p - 10. Suppose -u - 3*u + 16 = x. Solve u*o = -o + 15 for o.
3
Suppose 3*f + 3*g = 2*g + 10, -14 = -5*f - g. Let h be (-22)/(-5) - 8/20. Suppose -2*v - 12 = -5*v. Solve -h*d = -f*d + v for d.
-2
Suppose 4*l = -p + 36, 3*l = 2*l + 5*p - 12. Let a(c) = c**2 - 9*c + 11. Let w be a(l). Solve 0 = -w*t + 8*t for t.
0
Suppose -w + 0*w = 4, -4 = 2*h + 2*w. Suppose -15 = f - 16. Let l be 2 + (-1 - (f + 0)). Solve -2 = h*k - l for k.
-1
Let l be (-161)/(-92) - (-2)/8. Solve 0 = 2*j - 10 + l for j.
4
Let h(u) = u**2 - 2. Let y be h(-4). Suppose 0 = -4*c + 3*b - 2*b + y, -5*c + b + 17 = 0. Suppose -l + 4 = -c*x, -x + 4*x = 0. Solve z = -l*z - 25 for z.
-5
Let p(l) = -l**2 + 13*l - 10. Let j be p(12). Let b(n) = n**3 - 11*n**2 + 4*n - 24. Let u be b(11). Solve -2*a = j*a + u for a.
-5
Suppose -4*k - 4*i = -108, -54 = -4*k + i + 34. Suppose -6*m = k + 1. Let s be (-3)/m + (-114)/(-8). Solve 0*d - s = 3*d for d.
-5
Let h = 18 - 15. Let i(n) = -4*n**3 - 4*n**2 + 5*n + 5*n**3 + 1 - n - 2. Let o be i(h). Solve -1 - o = 3*q for q.
-1
Suppose m + 3*m + 13 = y, -4*y + 5*m = 3. Let d be (-25)/(-15) + 8 + 2/(-3). Let t = y + d. Solve t*h - 8 = 4*h for h.
-4
Let y = -12 + 24. Solve -4*b + y = -0*b for b.
3
Suppose -6*s = -4*s + h - 10, s + 4*h = 5. Suppose 4*l = 4*f - 12, 5*f + 1 - 4 = 2*l. Let i(p) = -p**2 - 4*p. Let v be i(l). Solve -s*y + 13 + 2 = v for y.
3
Let j(f) = -f**2 + 2*f + 201. Let l be j(15). Solve -l*s = -1 + 7 for s.
-1
Suppose -276 = -0*r - 6*r. Let n = r + -70. Let g = n + 27. Solve 9 - 3 = -g*u for u.
-2
Let l(h) = 2*h - 7. Let w be l(4). Suppose -2*u - 3 = f, -3*f = u + w - 2. Let q be (f/3)/(4/300). Solve 6*o + q = o for o.
-5
Let x = -403 - -407. Solve 4 = x*p - 3*p for p.
4
Let t(f) = f**3 - 23*f**2 - 2*f + 46. Let j be t(23). Solve 0 = 5*k - j*k + 20 for k.
-4
Let n(w) = 69*w - 65. Let s be n(1). Solve -s*d - 25 = d for d.
-5
Let v be (4/8)/((-10)/(-20)). Solve 0 = -5*y + v + 4 for y.
1
Let r(v) = v**2 - 4*v - 8. Let w be r(6). Suppose -7 = y - 7. Solve -w*x = -y*x + 20 for x.
-5
Let k = -6 - -9. Solve k*o + 0*o = 6 for o.
2
Suppose 4*x - 3*x = 6. Let i be (40/x)/(24/36). Let b(n) = -n + 10. Let a be b(8). Solve a*l = -3*l + i for l.
2
Let j(q) = 5*q - 6. Let r(p) = p**3 - p**2 - p + 2. Let y be r(0). Let i be j(y). Suppose -4*h + 10 = h, 0 = -i*x + 2*h + 12. Solve 0 = -4*b + 6*b - x for b.
2
Let a be (1 - (-14)/(-10))/(73/(-2190)). Solve 7*j = a - 33 for j.
-3
Let b(p) = p**3 - 5*p**2 + 7*p - 3. Let w be b(3). Suppose r + 0*r - 2 = 0. Solve w = r*f - 1 - 1 for f.
1
Let s(u) = u**2 - 14*u - 41. Let h be s(18). Let v = -28 + h. Solve -v*j = j - 20 for j.
5
Let f(d) = -d**2 - 7*d - 9. Let c be f(-6). Let m(z) = -z - 1. Let k be m(c). Suppose -7*h + 15 = -2*h. Solve h = k*p + 7 for p.
-2
Let y(r) = -3*r + 13*r + 21 - 12*r. Let n be y(8). Solve 0*g + 5 = -n*g for g.
-1
Let l(w) = -6*w**2 + 5*w - 15 + 2*w**2 - 3*w**2 - 4*w**3 + 5*w**3. Let j be l(7). Solve -j = 3*a + a for a.
-5
Suppose -2*x + 0*x - 4*r = -36, x = -4*r + 20. Suppose x*w = 14*w. Solve w*u = -u for u.
0
Suppose 4*d - 18 = -2*c, 3*c = 4*d - 0*c - 23. Suppose 0*i + d*i = 75. Let m be 42/9 + (-2)/(-6). Solve 0 = 5*l - m - i for l.
4
Suppose 13*s + 26 = 14*s. Let v(h) = -h**3 + 5*h**2 + 5*h + 5. Let a be v(5). Let t = a - s. Solve -t*b - 2 + 6 = 0 for b.
1
Let y = -16 - -18. Suppose -2*a + 1 = 3*l, 8 = 3*l - y*a - 9. Solve 0 = l*j + j for j.
0
Suppose g = -5*f - g + 2, 0 = f - 2*g - 10. Solve 10*s = 11*s + f for s.
-2
Let s = 124 - 122. Suppose 8 = -r + s*q, 4*q + 4 - 24 = 0. Solve -r = -i - i for i.
1
Let f be (3 + -3 - -1) + (70 - 0). Solve -72*h = -f*h - 1 for h.
1
Let k = -3 + -3. Let x(m) = -m - 1. Let g(d) = d**3 + 6*d**2 - 6*d - 9. Let t(z) = g(z) - 3*x(z). Let s be t(k). Solve -w = -5*w + s for w.
3
Suppose -4 + 634 = 9*s. Solve 25*w + 55 + s = 0 for w.
-5
Let h = -38 - -53. Let z = -3 - -5. Let d(l) = -l**3 + 2*l**2 - l + 2. Let j be d(z). Solve j*o - h = -5*o for o.
3
Let g(v) = -v + 13. Let z be g(3). Let y be (-4)/5 + 68/z. Solve m = -m - y for m.
-3
Let f = -102 - -122. Suppose 0 = 5*g - 0*g - 25. Solve r - g*r = -f for r.
5
Suppose 5*q - 4*g = 25, 28 - 23 = q + g. Solve -q*x - 8 = 2 for x.
-2
Let a be 274/14 + (-8)/14. Suppose -5*g + 0*g = 25, y - 3*g - a = 0. Suppose 41 = y*h - 19. Solve h = -7*w + 2*w for w.
-3
Let c be -1*(-24)/(-8) + 268/1. Solve -c + 262 = -d for d.
3
Suppose 0 = -4*x - 0*b - b - 3, -3*b = -x + 9. Suppose 4*s = -q + 5, x*s - 3 = -4*q + s. Solve -f = -6 + q for f.
5
Let x = 73 + -73. Solve 7*m + x*m + 7 = 0 for m.
-1
Suppose 2*z = 3*w + 10, -3*z - 5*w - 5 = -4*z. Suppose 31 = 2*n + n + 5*u, -z*n - 5*u = -55. Suppose -62 = -2*d - n. Solve 0 = 6*j - j + d for j.
-5
Let g = -16 + 8. Let h be g*(-2 + 30/8). Let t be (-7)/h - 30/(-4