-4
Suppose 11*t - 12*t = 0. Solve 6*j - 3*j = t for j.
0
Let f = 8 - 16. Let r = -6 - f. Let a be (-10)/(-5) + r*1. Solve a = -2*w + w for w.
-4
Suppose -44 = 8*l - 156. Solve l - 12 = j for j.
2
Let w(t) = -t**3 + t**2 + 1. Let f(r) = 5*r**3 + 14*r**2 + 8*r - 8. Let q(x) = -f(x) - 3*w(x). Let g be q(-8). Solve -u = -0*u + g for u.
-5
Let r(f) = -f**3 - 9*f**2 - 9*f - 3. Let k be r(-8). Suppose 11 = k*x - 4. Suppose -x*d + 2*d = -4. Solve j = -d*j for j.
0
Let i(f) = f + 7. Let m be i(-3). Suppose 6 = -2*z - 6*u + 3*u, -z - 9 = 3*u. Suppose -v + 26 = m*g, 0 = z*v - g + 3 - 16. Solve -9 = 5*q + v for q.
-3
Suppose 3*r + 2*r - 50 = 0. Solve 0 = 5*k - 0 - r for k.
2
Suppose -j + 3*o = -13, 9 = -0*j - 3*j - 3*o. Suppose 5*f = 4*c - 45, -3*f + j - 21 = -c. Solve -2 = c*h - 17 for h.
3
Let z be -1*(-2 + 0 + -2). Let k = z - 4. Suppose n + n - 12 = 0. Solve -n*a + a - 10 = k for a.
-2
Suppose 2*f + 2*a - 8 = -f, 3*a - 14 = -5*f. Let i be 420/54 + f/18. Solve 6*o = 2*o - i for o.
-2
Suppose 0 = 16*d - 19*d + 81. Solve 5*y = d - 7 for y.
4
Suppose -d + 3*c + 12 = -25, -d - c + 21 = 0. Solve -d = 5*y - 0*y for y.
-5
Let n(h) = -h**3 - 5*h**2 + 3*h - 3. Let i be n(-6). Solve -i = -t + 6*t for t.
-3
Let c be ((-36)/42)/(1/(-7)). Let r be (-1 + 1)/(12/c). Suppose -a + r = -2. Solve -x + 0 = a for x.
-2
Suppose 7 = 5*q - 3. Suppose 3*j - q*j + 15 = 2*o, -5*j + 30 = 5*o. Solve -2*c = -o*c for c.
0
Let r be -3*4/8*-2. Solve 4*d - r = d for d.
1
Let a = -3 - -3. Suppose 0 = p - a - 3. Solve 3*q - p - 12 = 0 for q.
5
Let v(n) = -n**3 + 5*n**2 - 5. Let m be v(4). Suppose -29 = -4*l + m. Let i be 3/(1/2 + 0). Solve -r = -i*r - l for r.
-2
Let p = -16 + 20. Let c be (-7)/(-2) - p/(-8). Solve -c = 4*y - 0 for y.
-1
Let a be (-2)/(-3)*(-3)/(-2). Suppose -4*r + 5*b = a + 1, 4 = r + b. Solve -1 - r = -h for h.
3
Suppose 0 = 2*j - 9*j + 28. Solve -j*i = -i - 9 for i.
3
Suppose -12 + 246 = -3*s. Let i(f) = 2*f - 4. Let n be i(4). Let p be (-3)/(-6) - s/n. Solve -3*g - g = -p for g.
5
Let z(t) = 2 + 3*t + 3*t - 6*t**2 + t**3 + 1. Let s be z(5). Let m = 7 + -3. Solve s - m = -4*h for h.
-1
Let a = 45 + -41. Solve -4*f + 2*f - a = 0 for f.
-2
Suppose 0 = 4*h - 51 - 93. Let l be 4/6*h/8. Solve -4*q + 5 = -l*q for q.
5
Let v(a) = a**3 - 10*a**2 + 10*a + 11. Let q be v(9). Solve -q = 2*w - 6*w for w.
5
Let p be (-1)/(99/(-45) - 2/(-1)). Solve 2*y = p*y - 6 for y.
2
Suppose -16 = -s - 3*s. Solve -s*m - 20 = m for m.
-4
Suppose 4*z - n - 8 = -z, 4*z - n - 6 = 0. Suppose -4*t = 5*c - 29, -z*t - 3 + 0 = -c. Solve a = c*a for a.
0
Let k = -22 - -2. Let p be 1*-10*16/k. Solve -p*o = -4*o for o.
0
Let n(f) = f + 8. Let h be n(-4). Suppose 13 + 8 = -h*r - 3*v, 0 = 5*r + 4*v + 27. Let i(a) = -a**3 - a**2 + 3*a + 3. Let s be i(r). Solve -s = -y + 5*y for y.
-3
Let f(x) = -x**2 - 9*x - 6. Let q be f(-8). Let a = q - 0. Solve -a*g = 16 - 6 for g.
-5
Let u = -15 - -23. Let n(d) = d**3 - 8*d**2 + 1. Let k be n(u). Let m be 0/(-3)*k/(-2). Solve m*g = g for g.
0
Let r(o) = 17*o + 11. Let m(s) = -9*s - 5. Let k(g) = -11*m(g) - 6*r(g). Let z be k(-5). Solve -z*n - 25 = -5 for n.
-5
Let w = 170 + -169. Solve -2*d + w = 7 for d.
-3
Let y(n) = n**2 - n - 3. Let p be y(3). Let w be (0 - 0)*4/(-7 + 3). Solve -p*s - s - 8 = w for s.
-2
Let c(w) = -w**3 + 5*w**2 - 2*w - 6. Let y be c(2). Solve x = y*x for x.
0
Let k be (-6)/9 - 10/(-6). Let u = k - -1. Suppose 4*j + 0*j - 23 = -h, 0 = -4*h + 12. Solve 0 = u*m - 3*m - j for m.
-5
Let n = 1 - 4. Let s = n - -5. Solve -6 - 4 = s*j for j.
-5
Let u be 18/(-3 + 1)*-1. Let y(o) = -41*o + 331. Let q be y(8). Solve u + 0 = -q*x for x.
-3
Suppose 3*q = 3*i, 4*i = -3*q - 22 - 6. Let r be (2/q)/((-5)/20). Let f(d) = 3*d**3 - d**2 + d - 2. Let z be f(r). Solve -5*p + p = z for p.
-5
Let a(s) = s**3 - 7*s**2 + 6*s + 5. Let t be a(6). Suppose 4*i = -3*u + 10, -3*i + 8*i - t = 0. Solve 6*l - 16 = u*l for l.
4
Let j be (-10)/15*(-6)/2. Solve 0 = -4*f + j - 6 for f.
-1
Let z = -30 - -43. Suppose -r - 4 = 3*u - z, 4*u - r - 12 = 0. Suppose 3*b - 7 = 5*p, 3*b + 2*p = -2*p + 16. Solve u*g + 1 = b for g.
1
Let c(y) = -2*y**3 + 3*y**2 - y. Let r be c(2). Let z be ((-6)/4)/(3/r). Solve -w - 6 = -z for w.
-3
Suppose 4 = -3*x + 22. Solve i = -i + x for i.
3
Suppose 0 = c + 3*c - 12. Suppose v + c*v - 12 = 0. Suppose -5*a - 3*i - 6 = 0, -2*a + 0*i + 4 = -2*i. Solve 0 = -a*h - v*h for h.
0
Suppose -3*x = 2*x - 10. Suppose 5*v - 22 = -h + 3*h, 0 = -5*v + 20. Let f = h + x. Solve -4 = -a - f for a.
3
Let r be (9/(-6))/(6/(-16)). Suppose 1 = r*k - 7. Solve -k = p - 5 for p.
3
Let t(q) be the second derivative of -q**5/20 - 5*q**4/12 + 5*q**3/6 - q**2/2 - 5*q. Let o = -20 - -14. Let u be t(o). Solve -12 = u*z + 8 for z.
-4
Suppose w = -3, -2*w = -v - 2*v + 15. Solve j = -v + 7 for j.
4
Let k(v) = -2*v + 1. Let n(g) = -g**3 - 5*g**2 - 4*g + 1. Let t be n(-3). Let q be k(t). Suppose 1 = -5*z + q. Solve -z*w = w for w.
0
Let u(k) = -3*k**3 + 2*k + 1. Let a be u(-1). Suppose -l + a*l = 16. Suppose w - 6*w - 4*v - l = 0, 4*v = -16. Solve -o = -w*o + 1 for o.
-1
Let u be (2/(-6))/((-2)/12). Let y be u/5 - 39/(-15). Solve -2*i = y*i + 5 for i.
-1
Let n(j) = j**3 - 24*j**2. Let t be n(24). Let c be 1 + 4/6*3. Suppose -c*u - 4 = 4*v, u = -u + v + 1. Solve u*z + 5*z = t for z.
0
Let a = -7 + 10. Suppose -4*h + 27 = -5*b, -h - 4 - 2 = a*b. Suppose c = -4*c. Solve -n = -c*n - h for n.
3
Suppose 0*c + 3*z - 37 = 2*c, 2*c - 2*z = -32. Let s be (0 + 2)*c/(-2). Solve 1 - s = 2*t for t.
-5
Let m = 21 + -19. Solve 2 = m*v - v for v.
2
Let o = 7 - -5. Let t = o - 12. Solve -4*h + 0 - 4 = t for h.
-1
Suppose 2*z + 4*p + 91 = 7*z, 3*z - 49 = p. Let t = -15 + z. Solve -3 = -t*j - 3*j for j.
1
Let w = 24 + -24. Solve w = 4*b + b for b.
0
Suppose 2*w + 10 = -2*l, -3*w + 8 = 4*l + 26. Let k = 8 - w. Solve k = -o - o for o.
-5
Let u be (9 + -1 + -1)*-1. Let a be 3/u - (-924)/98. Solve -3*t - a = -0*t for t.
-3
Let c(b) = 2*b. Let r be c(1). Solve r*m - 2 = -4 for m.
-1
Let z(d) be the first derivative of -d**2/2 - 8*d - 4. Let m be z(-11). Solve -7 = -m*t + 8 for t.
5
Let s(d) = d**3 + 4*d - 4. Let w(y) = -y**3 + y**2 - 3*y + 4. Let v(g) = -2*s(g) - 3*w(g). Let m be v(3). Let h = m - -1. Solve c + 0*c - 2 = h for c.
2
Suppose 3*p - 3 = 2*q, -4*p + p = 3*q - 18. Suppose 2*g + 3*z + 5 = 0, 3*g + 2*z = -0*g. Solve q*y = y + g for y.
1
Let g be (12/(-8) + 0)*-2. Suppose 0 = -y - g*y + 36. Solve 3*j - 6*j = y for j.
-3
Let r = -21 + 38. Let t = r - 12. Solve 0 = -t*g - 14 - 11 for g.
-5
Let y be 6/24 + (-22)/(-8). Solve c + y*c = -16 for c.
-4
Suppose -5*b = -s + 11, 2*s = 4*s - 2. Let g be 1/b - (-42)/4. Let p = g - 4. Solve -q = q + p for q.
-3
Suppose -1 = -n - s - 0, -n = -5*s + 5. Solve n = -2*k - 0*k for k.
0
Let y(l) = -l**3 + l + 1. Let t be y(-1). Let j = t - -1. Suppose 2*s = 10 + j. Solve a = s*a + 10 for a.
-2
Suppose d = -d + 10, -4*d + 4 = -4*y. Suppose -y*m - 2 = -o + 33, 2*m + 10 = 0. Solve -o = -3*v - 3 for v.
4
Suppose 0 = i + 3*i. Suppose i*s + 2*s = 24. Solve -s = -n + 5*n for n.
-3
Suppose -14 = -4*f - 3*f. Solve f = d + d for d.
1
Let s = 37 - 58. Let q = 26 + s. Solve -3 - q = 4*f for f.
-2
Let n(x) = x - 11. Let q be n(13). Suppose 3*h - 50 = -q*h. Solve -a = -6*a - h for a.
-2
Let a be (-1)/(-3)*(2 - 2). Suppose o + k - 4 = a, 2*o = 4*o - 5*k - 22. Solve 4*s + o + 6 = 0 for s.
-3
Let a(u) = u**2 + 2*u - 1. Let f be a(-3). Let w be (-190)/(-20) + 1/f. Solve 0 = 2*c - 0*c - w for c.
5
Suppose -2*b + 9 = -3*a, -4*b - 9 = -0*a + 3*a. Solve b = 5*f - 4*f for f.
0
Suppose -20 = w - 0*w - 4*r, -3*r = -w - 15. Solve w = -x - x for x.
0
Let d = -5 - -8. Let p = -37 + 37. Solve d + p = -a for a.
-3
Let j = 14 + -21. Let y = 8 - j. Solve 4*w = w + y for w.
5
Let m(i) = -i**3 + 2*i**2 + 4*i + 2. Let w be m(-2). Suppose -z = -4*k - w, -3*z + 0 - 3 = -k. Let d be (-17)/(-4) - z/(-8). Solve -3*j = 16 - d for j.
-4
Suppose -3*m = -2*x - 9, -x = -5*x - 12. Solve y - 4 = m for y.
5
Let h = -18 - -18. Let x = 5 - 0. Suppose -x = -4*j + 7. Solve h = j*c + 9 for c.
-3
Let w = 2 + 3. Suppose -2 = -3*d - 5*k + 63, 0 = w*d + 3*k - 103. Solve 2*f - 6*f = -d for f.
5
Suppose 0*t + t = -141. Let m be 1/4 + t/(-12). Let u be (24/30)/((-2)/(-10)). Solve -m + u = 2*i for i.
-4
Suppose 7*f - 55 = 2*f. Let q be f/