 -a - x = -2*a for a.
1
Let q be (-132)/(-36) - (-4)/(-6). Solve -8*o = -q*o - 15 for o.
3
Let q be ((-10)/(-4))/((-1)/4). Let v = 20 + q. Solve -v = 4*h - 2*h for h.
-5
Let l(a) = -a**2 - 11*a + 8. Let i be l(-10). Suppose 7*v - i = 2*v - 2*u, 5*v = -u + 19. Suppose -v*r + 5 + 19 = 0. Solve 16 = -r*n + 2*n for n.
-4
Let u = 29 - 24. Solve -u*f + 13 = -12 for f.
5
Suppose -20 = -0*u - 5*u. Let a(d) = -8*d + 1. Let m(f) = f + 1. Let k(j) = a(j) + 3*m(j). Let h be k(-5). Solve -9 + h = u*l for l.
5
Suppose -g + 12 = 3*d, 3 = -4*d - 3*g + 19. Solve d*a - 15 = -a for a.
3
Let g(s) = -s + 5. Let o be g(3). Solve 2 = 2*y - o for y.
2
Let w be (-2)/3 + (-260)/6. Let n be (-8)/w + (-2)/11. Suppose -3*s + 12 = -3*u, n*s - 3*s + 12 = 2*u. Solve 2*d + 0*d = u for d.
0
Let v(r) = -r + 9. Let p be v(4). Suppose -5*q = p*c - 5, 4*q - 5 = -2*c + 5. Solve d - q - 1 = 0 for d.
5
Let f(a) = a**2 + a + 18. Let y be f(0). Let u = -16 + 17. Suppose -3*n = -s - 13, 4*n + 4*s + 3 = -u. Solve -n*m = -y + 6 for m.
4
Let f(v) be the second derivative of v**3/6 - v**2/2 - v. Let h be f(3). Solve -u = -h*u - 1 for u.
-1
Suppose 176*k - 171*k = 25. Solve m = k*m + 16 for m.
-4
Let j(o) = o + 1. Let k(m) = 4*m + 5. Let q(s) = -5*j(s) + k(s). Let h be q(-1). Solve 0 = 3*a + h + 8 for a.
-3
Suppose 4*g - 8 = -0*g. Solve -2*n - g*n = 20 for n.
-5
Suppose -17 = -4*w - 1. Suppose -w*q + 3*q + 2 = 0. Suppose q*m + 2*b + 3 = 15, -3*m + 4*b + 4 = 0. Solve -m*x = 3 + 17 for x.
-5
Let y be 3 + (-2 - -1)*-4. Let d = -4 + y. Let l(b) = -4*b**3. Let m be l(-1). Solve d*n + m - 13 = 0 for n.
3
Let v(p) = p - 13. Let z be v(15). Solve z = -2*q - 2 for q.
-2
Let w(u) = -u**2 + 13*u - 9. Let b be w(12). Solve 0 = -b*t - t + 20 for t.
5
Let n be (-5)/(5/8) - -1. Let g(u) = 5*u + 3. Let w be g(-3). Let h = n - w. Solve 4 = h*d - 11 for d.
3
Let c = 1 + 0. Let t = -3 + c. Let r = t - -5. Solve r*q = -3 + 9 for q.
2
Let p(d) = d**2 - 5*d - 9. Let s be p(8). Let a be s*(2 - 10/6). Let c = -3 + a. Solve 0 = g - c - 0 for g.
2
Suppose 3*s + 39 = 3*c, 2*s = -4*c - 0*s + 22. Suppose 3*p - 15 = -2*q, -3*p - q + 4 + c = 0. Solve -p*z + 10 = 25 for z.
-5
Suppose -87 = j - 88. Solve -h - j = 2 for h.
-3
Suppose -79 - 1 = -5*b. Solve -9 = 5*q + b for q.
-5
Suppose -20 + 13 = -7*p. Solve 4*v = 5*v + p for v.
-1
Let v(l) = 3*l**2 - l**3 + 0 + 8*l - 11*l**2 - 4. Let c be v(-9). Solve -c*h + 15 = -2*h for h.
5
Let y = 7 - 6. Let f be (-1)/(-3) + 1/(-3). Solve -2*b + 3 + y = f for b.
2
Let u be (4 - -1)/(16 - 15). Solve u*c = c - 4 for c.
-1
Suppose -2 - 7 = -3*l, 4*u + 2*l - 26 = 0. Solve -u*i + 0 = 10 for i.
-2
Let f(n) = -5*n**3 - 5*n**2 - 3*n + 3. Suppose 0 = 2*t - 0*t - 8. Let a(l) = -l**3 + 1. Let c(v) = t*a(v) - f(v). Let q be c(-4). Solve -5*d = -10 - q for d.
3
Suppose 2*r = 4*r - 6. Solve -r = o - 0 for o.
-3
Let g = 34 - 34. Solve 3*q - 5*q - 6 = g for q.
-3
Let b(w) = -2*w**2 + 17*w + 5. Let h be b(9). Let g be (-4 - h)*3/(-6). Solve l = -g + 2 for l.
2
Let j(u) = -u - 1. Let d be j(-1). Solve d = -0*l - 2*l + 4 for l.
2
Let t be 0/(-1 + -1 + 1). Solve 20 = -4*x - t*x for x.
-5
Let k(s) = -12*s + 1. Let a be k(1). Let q(l) = l + 14. Let m be q(a). Solve r = m*r - 4 for r.
2
Let h(v) = 2*v**2 + 2*v - 4. Let q be h(-3). Let k be -2 + q - (-3 - -4). Solve -k*i = -3*i for i.
0
Let h(n) = -n**3 + n**2 - n - 10. Let l be h(0). Let g(b) = b**3 + 10*b**2 + 6. Let o be g(l). Solve -3*j + 15 = -o*j for j.
-5
Let r be 4/6 + (-22)/(-3). Let x = -2 + r. Let y be (-37)/(-7) + (-10)/35. Solve i - x*i + y = 0 for i.
1
Let q(n) = n**2 + 4*n + 4. Let g be q(-4). Suppose 0 = -h - g*h. Suppose 18 = 5*p - 4*a + a, h = -3*p + 2*a + 11. Solve -p*s + 4 = -11 for s.
5
Let f = -23 - -35. Solve -6*z - f = -2*z for z.
-3
Let h(b) = b**2 - 4*b + 1. Let u = 1 - -2. Let z be h(u). Let j = 6 + z. Solve -j*f = f for f.
0
Let n = 32 + -32. Solve -4*s = -n*s for s.
0
Let i(y) be the second derivative of y**4/4 + y**3/2 - 3*y. Let g be i(-3). Suppose 5*u - g = 2*u. Solve t - u*t + 20 = 0 for t.
4
Let a(n) = n**2 + 11*n - 1. Let c be a(-10). Let g = 10 - c. Solve 5*o - 4 = g for o.
5
Suppose -1 + 10 = 5*q - 2*g, -2*q + 2*g = 0. Solve -7*x + q*x = 16 for x.
-4
Suppose -4*t + 13 - 1 = 0. Suppose 4*j + t*s = -25, 31 = -2*j - 2*j - 5*s. Let m be (-80)/(-24)*(-6)/j. Solve m = 2*v - 1 for v.
3
Suppose w = 5*w. Solve w*c = -c for c.
0
Let w(p) = -p**3 + 7*p**2 + 4. Let c be w(7). Let b be c*(-2 + (-10)/(-4)). Suppose b*h + 5 = 9. Solve 0 = 3*o + h + 4 for o.
-2
Let q(t) = -t**2 + 4*t + 3. Let o be q(3). Suppose 3*n = -3*i + o, 0*n - 2 = 2*i + 4*n. Solve i*k - 4 = k for k.
1
Let q(c) = -c**2 + 5*c + 3. Let v be q(5). Suppose 5*m + 2*o + 8 = 0, -2 = -v*m + 5*o + 18. Let g be m/(-1) - (-1 - 1). Solve -g = -f + 2*f for f.
-2
Let g(b) = 4 - b - 5 + 4 + 2. Let f be g(2). Solve x = -f - 1 for x.
-4
Let w(g) = g**2 - 8*g + 1. Let p be w(8). Solve 9 - p = 2*r for r.
4
Let m be (-10)/5 - (-1 + -29). Suppose m = 5*t - 3*t. Solve 6 + t = 5*q for q.
4
Suppose -2*f - 9 = -w + 2, 5*f = -2*w + 4. Suppose 3*a + 12 = w*a. Suppose 3*k = -0*k. Solve -t + a*t - 2 = k for t.
1
Suppose 0 = 2*i - 5*i + 12. Suppose -i = 4*l - 12. Solve -l = -3*o - 17 for o.
-5
Suppose 114 - 14 = 5*j - 5*t, -4*j = 5*t - 62. Solve -4*a - j + 2 = 0 for a.
-4
Suppose -30 = -6*o - 6. Solve k = o*k + 12 for k.
-4
Let z(f) = f**2 - 5*f - 6. Let i be z(6). Let h be 3/6*(i + 6). Solve 6*c = h*c + 3 for c.
1
Let b = 14 + -10. Solve u = 2*u + b for u.
-4
Let q(c) = c**3 + 6*c**2 + 5*c + 1. Let j be q(-5). Suppose 0*f = -4*f. Let h be (j - (f + 1)) + 3. Solve -h*x + 2*x = -4 for x.
4
Let r(p) = -p**2 + 1. Suppose 0 = -3*g + 4*g - 2. Suppose -g*w = -0*w. Let z be r(w). Solve -z + 6 = 5*b for b.
1
Let o = 24 - 16. Let c(b) = -b + 17. Let d be c(o). Suppose -m + q = -4 + 1, 3*q = -m - d. Solve 3*p = -m*p for p.
0
Let r(c) = 2*c - 12. Let d = 1 - 1. Let k be -2 + (0 - d - -10). Let g be r(k). Solve g*s + s = 25 for s.
5
Let l be (-1 + (0 - -1))/(-2). Suppose 45 = 4*h + v + 15, -4*h + 2*v + 36 = l. Solve -k + h = k for k.
4
Let s(z) = -z**2 + 9*z - 10. Let m be s(7). Suppose -2*u + m = -32. Let y = u - 10. Solve -3*d - 7 = y for d.
-5
Let p = 5 - 3. Suppose u = p*u. Solve 2*n - n + 4 = u for n.
-4
Suppose 5*h + 13 + 7 = 0, -4*h = 3*k + 49. Let g = 20 + k. Solve -1 - g = -5*u for u.
2
Let t(a) = -2*a. Let j be t(-1). Let f be (-3 + 1 + j)/1. Solve -z - 5 = -f*z for z.
-5
Suppose l - 2 = -l. Let f be 0/((4/2)/l). Suppose -2*h + 5*h = -2*w + 16, 2*w - 3*h - 4 = f. Solve -w*a - 10 = 10 for a.
-4
Suppose -t = 5*y - 7 - 12, -3*y + 5*t + 17 = 0. Let k = -4 + y. Let a = 2 + k. Solve -a*r - 1 = 7 for r.
-4
Let c = 20 - 0. Solve c = -3*z + 7*z for z.
5
Let k(r) = 12*r**3 + 2*r**2 - 4*r + 2. Let y be k(1). Solve 5*s = -y - 13 for s.
-5
Let v be 552/54 - 2/9. Let t(y) = -y**3 + 10*y**2 + 3. Let z be t(v). Solve z*d = d - 6 for d.
-3
Let c be -1*0/((-16)/(-4)). Suppose 0 = q - 0 - 1. Solve 2*l - 3*l - q = c for l.
-1
Suppose 4*q + 2*g + 3*g = -3, -5*q + g + 18 = 0. Suppose 0 = -0*h - h + q. Suppose h = 3*a - 2*p - 5, -a + 3*p = -5. Solve -3*d = -d + a for d.
-1
Let n be 42/4*(-4)/(-3). Let j(g) = 6*g + 276. Let l be j(-45). Solve -5*m = -l - n for m.
4
Suppose 3 = o + 9. Let i = -16 - o. Let h = -7 - i. Solve 0 = -h*x - 2*x for x.
0
Let f = -4 + 10. Let w = f - -12. Let i = -13 + w. Solve 17 - 2 = i*a for a.
3
Let d = -13 + 17. Solve -d*i = -2*i - 10 for i.
5
Let d = -11 + 7. Let n be (10/(-8))/(1/d). Suppose g = n*g - 12. Solve -g*x - 5 - 4 = 0 for x.
-3
Suppose 0 = -5*p + 3*y + 23, -4*p + 18 = -2*y - 0. Let o be (-2 - 0)/(p/(-18)). Solve 3*l - o = -0*l for l.
3
Suppose 0 = 5*o - 0*o - 20. Solve -8*s = -o*s for s.
0
Suppose -5*d + 2*d = -27. Let p(c) = 2*c - 7. Let r be p(5). Let s(f) = -f**2 - 3*f + 3. Let w be s(-3). Solve -r*t = d - w for t.
-2
Let c(b) = -b**3 - 6*b**2 + 2*b + 6. Let g be c(-6). Let l be (1 - -2)*(-8)/g. Solve 0 = -0*h - l*h for h.
0
Let r be 2 + 31 + 7 + -8. Suppose 4*x = r + 16. Solve 0 = -3*l - 0 - x for l.
-4
Let c(n) = n - 1. Let v(a) = 3*a - 3. Let q(x) = 5*c(x) - 2*v(x). Let f be q(-3). Solve 0 = -f*b - 1 - 3 for b.
-1
Suppose -15*j = -12*j. Solve j = -3*u - 0*u - 12 for u.
-4
Let q(y) = y - 1. Let m be q(11). Solve 2 + m = -3*f for f.
-4
Let t be ((-4)/(-6) - 0)/(74/333). Let