 -3*l + a = 44 for l.
-2
Let w be 22/12*-2*(12/(-6) - 1). Solve w*f - 19 = 36 for f.
5
Suppose 0 = -s - s - 12. Let v(f) = f**3 + 11*f**2 + 30*f + 9. Let u be v(s). Solve -u*d - 16 = -5*d for d.
-4
Let k be 11 + 652/16 + 1/4. Solve -70 = 42*t - k*t for t.
7
Let p(d) = 2*d**2 - 2. Let r be p(-3). Suppose -15*f = -r*f. Suppose x - 4*x = f. Solve -2*o + x = 2 for o.
-1
Let q be 51300/4860 - -4*(-1)/(-9). Solve -11*a + 0*a = -q for a.
1
Suppose r - 4 = -3*r, -q - 3*r = 6. Let g(t) = -t**2 - 12*t - 2. Let y be g(q). Suppose -4*o = p - 18, -2*o + 117*p + 6 = 118*p. Solve 0 = o*n - n - y for n.
5
Let z = 6232 - 6091. Solve -36 + z = -21*q for q.
-5
Let k = -1891 - -1923. Solve -44 = 12*a - k for a.
-1
Let g(o) = -8*o + 66. Let i be g(7). Solve -p - i = -16 for p.
6
Let a(u) = -u**3 + 3*u**2 - 2*u + 2. Let v be a(2). Suppose 2 = -v*h - b, 5*b - 8 = 2. Let l(j) = -2*j + 3. Let c be l(h). Solve -4*q - 3 = -c for q.
1
Suppose -3*q = 3*f - 0*f - 12, 4*q + 5*f = 18. Let a be 1 - ((-1)/(-1) + -16). Suppose -q*d - 4 = -a. Solve -4*l + l = -d for l.
2
Let o be ((-6)/9)/((-2)/12). Suppose 4*l = 4*f - 16, 4*l - 18 = -5*f + 11. Suppose f = o*s + s. Solve 0 = -u - 2 + s for u.
-1
Suppose 3145 = -19*l + 3240. Solve 0 = l*s + 23*s + 28 for s.
-1
Let z be 9596/(-50) + (-68)/850. Let i = 192 + z. Solve -4*s + 16 = -i*s for s.
4
Suppose 0 = 19*f - 23*f + 64. Suppose 5*t = t + f. Solve 2*x = t*x for x.
0
Let l = 4038 + -4036. Solve 2 = -l*b - 8 for b.
-5
Let y(k) = k**3 - 13*k**2 - 14*k + 34. Let l(u) = -u - 1. Let o(m) = 2*l(m) + y(m). Let h be o(14). Let x be (-6)/3 + 3 - -2. Solve 3 = -x*f + h*f for f.
3
Let o(x) = 6*x + 0 - 2 - 2 + 3. Let i be o(1). Solve -6*u = -i*u - 3 for u.
3
Suppose 2*j - a - 1 = -2*j, -5*j + 4*a = 7. Let k = 1 + j. Suppose -4*f + 2*m + 20 = 0, 0 = 2*f - 3*f + k*m + 11. Solve -f*r + 2*r = -5 for r.
5
Let g = -146 - -145. Let j be (-10 + (-2 - -7))/(-2 - g). Solve -j = -6*k + 19 for k.
4
Let z = -1 - -3. Suppose n + 5669 - 5743 = -4*s, 0 = 2*n + s - 71. Solve -n = -4*q - z*q for q.
5
Let k(r) be the first derivative of r**4/4 - 14*r**3/3 + 25*r**2 - 14*r + 80. Let b be k(8). Solve 0 = -b*j + 7 + 3 for j.
5
Let g = 46 - 40. Suppose -5*p + 5*c = -40, -2*c - g = -4*p + 18. Suppose p*q = q - 0*q. Solve 2*f = -q*f + 2 for f.
1
Let u(m) = -m + 3. Suppose -4*l + 273 = p + 2*p, 2*p - 6 = 0. Let y = 67 - l. Let z be u(y). Solve 0 = z*g - 0*g for g.
0
Suppose 0 = 2*x + 6, -16 - 145 = 2*y - x. Suppose -8*v + 1032 = 4*v. Let h = y + v. Solve -3*c = -h - 2 for c.
2
Let h = -185 - -164. Let u be ((-14)/h + -1)*-9. Solve z + 1 = -u for z.
-4
Let t(o) = 3*o**2 + 6*o + 15. Let m(r) = 2*r**2 + 6*r + 14. Let x(a) = 6*m(a) - 5*t(a). Let c be x(3). Solve -k + c = 4 for k.
-4
Suppose 83*x - 87*x + 1044 = 0. Let u = -252 + x. Solve 0 = 5*c - u*c + 16 for c.
4
Let z be 16 - 6/8*8. Let y be (-11)/3 - 2/(-3). Let t = y - -5. Solve z + t = 4*i for i.
3
Let q(y) = y + 5. Let i(n) = n**2 + 7*n - 7. Let s be i(-7). Let c be q(s). Let p be (-1)/2 - 3/c - 1. Solve o + p*o = 2 for o.
2
Let i(c) = -c**2 + 5*c + 16. Let a be i(7). Suppose 0 = u - 5*k + k - 15, k + 6 = -2*u. Let g be 0/(-10)*u/(-2). Solve g + 4 = -a*h for h.
-2
Suppose 2*g + q - 29 = -2, 0 = 4*g - 4*q - 36. Solve 0 = -6*b - g*b for b.
0
Let g(i) = 5*i**2 - i - 1. Let w be g(-1). Suppose -2*b + w = -25. Suppose -10*p = -b*p + 15. Solve -3*a = -0 - p for a.
1
Let w = -24632 - -24638. Solve 11*y = w*y + 45 for y.
9
Let k(l) = -l**2 + 102*l - 2187. Let y be k(71). Solve -7*j + y + 0 = 0 for j.
2
Let w be 21*(-225)/54*12/(-15). Solve -40*q + 180 = -w*q for q.
-6
Let u(o) = o**3 + 42*o**2 - 86*o + 99. Let h = -298 + 254. Let x be u(h). Solve -10*j + 2 = -x*j for j.
-2
Let i be ((-6)/(-9))/((-2)/(-60)). Suppose -4*r - 58 - 22 = 0. Let c be (24/i)/((-8)/r). Solve -g + 2*g = c for g.
3
Suppose 2*n + 10 = -2*g, 6*g + 52 = g + 4*n. Let t(y) = -y**3 + 15*y**2 - 14*y + 13. Let p be t(14). Let r = p + g. Solve 4*j + r = -j for j.
-1
Let b be ((-242)/4 - (-69)/(-46))*21/(-6). Solve b + 14 = -33*v for v.
-7
Let z be (-4)/30*36*40/3. Let f = -63 - z. Suppose 0 = -2*w + 3*l + 3, -2*w - l = 2*w + f. Solve 4*n = 16 - w for n.
4
Let i(s) = 25*s - 3. Let a(f) = 58*f - 7. Let t(b) = -3*a(b) + 7*i(b). Suppose -6 = l - 4*l. Let o be t(l). Solve o*x = -x for x.
0
Suppose 3 + 17 = 5*b. Suppose 0*t - b*r + 36 = 5*t, -r - 16 = -5*t. Let y = -6976 - -6981. Solve -16 = y*i + t for i.
-4
Let r(f) = 10*f - 24. Let u(q) = 2*q. Let t(h) = -2*r(h) + 6*u(h). Let a be t(6). Let y(n) = -15*n + 1. Let l be y(-1). Solve a*i - 4*i - l = 0 for i.
-4
Suppose t - 3*c = 6*t - 66, 2*t - 4*c = 16. Suppose t*i = -550 - 602. Let g = i - -105. Solve -4*l + g*l = 10 for l.
2
Let n(q) = 0*q**2 - 4*q**3 + 5*q**3 + 2 + 2*q**2 + 0*q**3. Let b be n(0). Solve 0 = r + b*r for r.
0
Suppose 0 = a + a - 6. Suppose 354*f = 584 + 235 + 243. Solve a + f = -2*g for g.
-3
Let k = 79828 + -79825. Suppose 5*j - 9 = 1. Solve j*y = k*y for y.
0
Let o = -11407 - -11411. Solve -o*t = -67 + 39 for t.
7
Let j(z) = z**3 + 19*z**2 - 115*z - 2136. Let i be j(-19). Solve -4720*q - i = -4727*q for q.
7
Suppose -171*g + 1590 = -65*g. Suppose 0 = -y - 2*y. Let v(k) = -k**2 - 7*k - 1. Let c be v(-6). Solve y*z + g = -c*z for z.
-3
Suppose -22*g + 921 + 333 = 11*g. Solve g = 2*m + 36*m for m.
1
Suppose 5*s + 264*n + 10 = 260*n, -3*s = 4*n + 14. Suppose 2*k = 4*v - 2*k - 32, 5*v - 10 = -5*k. Solve v = -3*p + s*p for p.
-5
Let c(i) = -i**3 - 5*i**2. Let z be c(-5). Suppose -17*j + 2*u + 14 = -15*j, -20 = -2*j - u. Solve 11*o - j*o + 2 = z for o.
-1
Suppose -22*m - 16*m = 18*m - 12264. Solve -76*y + m = -3*y for y.
3
Let j be 564/57 - 2/(-19). Suppose -j*w = -120 + 30. Solve 3 = 3*m - w for m.
4
Let l be (-11 - (0 + -4))*(54/21 + -3). Solve -9 = 6*b - l for b.
-1
Suppose -11*f + 207 = 12*f. Suppose 22 = f*s - 14. Solve -s*p + 13 = 1 for p.
3
Let s(f) = -58*f + 4. Let v be s(2). Let u be ((-5)/2)/((-8)/v). Let x = -30 - u. Solve -x*d - 11 = 9 for d.
-4
Suppose 38*a - 34*a = 16. Let b be (-5 - -6)*a - -11. Solve -6*z - b = -3*z for z.
-5
Let t(l) = 2*l**2 - 3*l + 5. Let r(f) = f**3 - 12*f**2 + 21*f - 10. Let h be r(10). Let a be t(h). Solve 12 = a*p - 3 for p.
3
Suppose 12172 = -63*p + 131*p. Solve 0 = -12*o + 251 - p for o.
6
Suppose -671*z = -667*z - 420. Suppose -15 = -6*j + z. Solve -22*q = -j*q + 4 for q.
-2
Let n(l) = l**3 - 3*l**2 - 15*l - 6. Let y be n(7). Suppose -y*j = -82*j - 24. Solve -j*z + 6 = -6*z for z.
3
Suppose 4*t + o = -30 + 33, -3*t - 9 = 3*o. Solve -5*d = 9*d + t*d for d.
0
Suppose 4*a - 76 = 3*p, -a + 6 + 4 = -3*p. Suppose -35*u + 92 - a = 0. Solve -u*s = -13 + 17 for s.
-2
Let f(w) = 2*w**2 + 12*w + 25. Let q be f(-4). Solve 6*h = -3 - q for h.
-2
Let d = -61 + 63. Suppose 10 = 3*y + d*y. Suppose -4 + 2 = -y*o, 0 = 3*i - 2*o + 2. Solve i = -f - f for f.
0
Suppose 61*i = 49*i - 12. Let p be (2 + -1)/(i/(-3)). Solve -7*l + p = -10*l for l.
-1
Let x(l) = 13*l - 36. Let w be x(-11). Let j = 181 + w. Solve j*a = a for a.
0
Suppose 3 = k - 2*m + 1, 3*m - 3 = 0. Let f = -271 - -304. Suppose 5 = a, 23 - f = -t - 2*a. Solve t = k*i - 0 - 4 for i.
1
Let k(o) = -2*o**2 - 49*o - 3. Let g be k(-24). Suppose 0 = 2*j - 6*j + 5*w + 41, w = 4*j - g. Solve -5*r = j - 19 for r.
3
Suppose 19*w - 1391 = 1250. Suppose -w*t = -135*t - 16, -4 = v - 3*t. Let c = 6 - 4. Solve -4*o + c*o = v for o.
-4
Let j = 206 - 195. Suppose -26 = -j*k + 7. Solve -k*u + 7*u = 0 for u.
0
Let a be (-1503)/12 + 5 + (-3)/(-12). Let y = 120 + a. Solve y*j - 6 = 2*j for j.
-3
Suppose -3*v + 63 = -3*x, -3*v - 9*x + 8*x + 79 = 0. Solve 16*t - 82 = -v*t for t.
2
Let x(c) = -18*c - 170. Let p be x(-5). Suppose -192 - 132 = -4*a. Let s = a + p. Solve f + s = -0 for f.
-1
Suppose 325*i - 318*i = 14. Suppose -5*u = -2*c - 90, 0 = 2*u - i*c - 1 - 35. Solve 0*l = 9*l + u for l.
-2
Let r = -6997 - -7000. Solve 3 = -r*c + 18 for c.
5
Let z(a) = -10*a - 340. Let k be z(-34). Solve k = -51*u + 2 - 53 for u.
-1
Suppose -24 = 4*q - 3*m - 202, -3*m = -3*q + 129. Solve 2*u + q = -5*u for u.
-7
Let j = 21509 + -21502. Solve 0 = j*k + 2 - 30 for k.
4
Let l(j) = j + 13. Let p be l(-10). Suppose 8*y = -p*y. Let z be (-1 - (1 + -2))/(0 - 1). Solve 5*f + z*f + 15 = y for f.
-3
Let l be 30/9 + 8/12. Suppose l*x = 3*x + 1. Suppose -23*y - 2*n