*a + 15 for a.
-5
Let a(g) = -g**3 + 2*g**2 + 2*g - 3. Let u be a(2). Solve 1 = 2*z - 3*r, -z - 2 = -5*r + u for z.
2
Let h = -1 - -3. Suppose h*i = i + 3. Suppose -2*m - 4 = i*j, -2*j + 4 = -j - 2*m. Solve c = 4*s - 11 - 9, c + 5*s - 16 = j for c.
-4
Let z(g) = -g**2 - 5*g + 3. Let i be z(-3). Solve -5*q + 2*v - i = v, 14 = -2*q + 3*v for q.
-1
Let l = 95 + -91. Solve 4 = -2*q + 2*g, -2*q + 4 = -l*g + 10 for q.
-1
Let l(a) = a**3 - 2*a - 1. Let s be l(-1). Suppose 2*b + s = -14. Let c be b/14 - (-10)/4. Solve 2*p - c = -4*j - 14, -5*j + 4*p - 28 = 0 for j.
-4
Suppose -32 = -2*r + 4. Suppose m = 3*m - r. Let t(w) = w**3 - 4*w**2 - 2*w - 10. Let i be t(5). Solve b = 2*o - 5, -m + 4 = -i*b - 5*o for b.
-1
Let d be 1*-3 - (2 + 51). Let t be (d/(-35))/(1/15). Solve 2*k - 4*l + 12 = -5*l, -t = 3*k + 3*l for k.
-4
Suppose 3*r + 15 = 6*r. Solve -q - 1 = 5*f + 9, -r*q - 5*f - 30 = 0 for q.
-5
Let v = 27 + -5. Suppose -10 = -3*r + r. Let l be -1 + (1 - 2) - -6. Solve l*o - r*d = -d - 24, -v = -3*o - 5*d for o.
-1
Let y(w) = -w**2 - 7*w + 11. Let d be y(-8). Suppose d*s + 19 = -5. Let h(m) = m**3 + 8*m**2 + 2. Let f be h(s). Solve j - 10 = -z, f*z + 2*j = 7*z - 15 for z.
5
Let n be (0/2)/(-1) - -4. Let s = 1 + n. Solve -4*b - s*x = -11, 2*b + 0*x = 2*x + 10 for b.
4
Suppose -3*a + a + 8 = 0. Suppose 0 = o - a. Solve -s - 4 = 0, -o*s = -3*x - 2*s - 7 for x.
-5
Suppose -5*o + 2*o - 3*c = -21, -o - 2*c = -12. Suppose 2*u = -3*k + o, -2*u + k = -u - 6. Solve 7*a - 2*a = -l - 3, 5*a = -u*l + 3 for l.
2
Suppose -p + 3 = -8. Solve t = 2*g - 5, -2*g = -4*t + t - p for t.
-3
Let f be (-27)/(-45) - (-27)/5. Solve 2*b = -3*p + 14, -f = -0*p - p - b for p.
2
Let u be 3 + 1 + 0/(-18). Solve -3*m - l = -u*l + 3, m = -3*l - 17 for m.
-5
Suppose 5*v = 2*v - 4*s + 6, -s - 5 = 4*v. Let q(t) be the first derivative of -t**2/2 + 2*t - 5. Let f be q(v). Solve o + 2 = -f*r, 6*o - 2*o = 2*r - 8 for r.
0
Let g(u) = 2*u**2 + 2*u + 3. Let y be g(-1). Solve 3*z + 0*b = -3*b + y, 3*z + b = 7 for z.
3
Suppose 54*h - 55*h + 5 = 0. Solve -h*c + w = 3*w + 31, -18 = 3*c + w for c.
-5
Suppose 0*u + u - 1 = 0. Suppose 5*c - 3*c + 3*f = -u, -2*f = c. Let s be (c/4)/(6/(-120)). Solve -2*o + 0*m - 4*m + s = 0, 0 = 3*o - 3*m + 30 for o.
-5
Let q(z) = z - 1. Let k be q(5). Solve -3*a + 3*b - b + 8 = 0, -b - 14 = -k*a for a.
4
Let c(f) = f**2 - 9*f - 10. Let m be c(10). Solve -h = 2*k - 1 - m, -h - k = -2 for h.
3
Suppose -2*x - 240 = -4*s, 60 = 2*s - s - 4*x. Let f be 444/s + 2/(-5). Solve -3*i + 4*k = -f + 3, -8 = -i - 2*k for i.
4
Let o be (-1)/1*(-1 - 0). Suppose 0 = -3*n + 10 - o. Solve -n*p = 2*b + p - 20, -4*b + p + 13 = 0 for b.
4
Let d be 244/30 - (-8)/(-60). Solve 3*q = 2*o - d, 4*q = -o + 2*q + 4 for o.
4
Let v be 9/(-54) + 25/6. Solve -u = -5*z - v, 4*u + 0*z - 2*z + 2 = 0 for u.
-1
Suppose u = 2*b + 5 - 32, 9 = -3*u. Let d be (8/b)/(2/6). Solve -5*i - 3 = -d*r, -i + 2 = r - 3 for r.
4
Let p(s) = 5*s + 3. Let y be p(3). Solve 4*m + m - 3*k + y = 0, -4*k = -2*m - 10 for m.
-3
Let y be (1 - 2)*26 + 1. Let x = -18 - y. Solve 5*w = -3*d - 21, -2*w - 3*d = -x*w - 9 for w.
-3
Suppose -4*r - 3*w = 5 + 5, -5*r - 4*w = 12. Let h = r + 2. Let y = h + 2. Solve y = -5*o + a - 11, -2*a = -0 - 2 for o.
-2
Let z = 21 + -30. Let p = z - -10. Solve p = 4*t + 5, -2*o + t - 5 = 0 for o.
-3
Suppose -2*r + 2*v = -7*r + 2, 10 = 3*r - v. Let w be (-3)/((-3)/(-1)) + 1. Suppose -2*x + 8 + 2 = w. Solve 0 = 3*a + 5*h + r + 14, -h = x for a.
3
Let r = -39 + 65. Let j = r + -18. Solve -4*t + y = 3*y + 8, -j = 4*t - 4*y for t.
-2
Let p = -1 - -7. Suppose 6 = 3*t - p. Let v(b) = b - 2. Let n be v(5). Solve -5*w = -n*u - 5, -3*w - 4*u + 6*u + t = 0 for w.
-2
Let i(y) = y - 1. Let j(k) = -7*k + 1. Let z(u) = 6*i(u) + j(u). Let f be z(-6). Let l = 4 - f. Solve -3*n = -4*s, 4*s = 2*s - l*n for s.
0
Let x = -4 - -12. Suppose -x = -3*o + o - 2*i, -o = 5*i - 20. Suppose o = l - 3*l + 18. Solve l + 11 = -5*q - 4*h, -5*q = 3*h + 15 for q.
0
Let n = 6 - 3. Suppose 0 = n*k - k. Solve t + k*t - 3 = 0, 0 = -2*b - 3*t + 19 for b.
5
Let y be (18/(1 + 2))/2. Let d be 4/18*-3*y. Let u be (0 + d)*(-3)/3. Solve 5*a + p = -3*p + 13, -p = u*a - 7 for a.
5
Suppose 0 = -4*v - a, v + 0*a = a + 5. Let r(u) = u + 1. Let j be r(v). Solve -2*f = -4*c + 20, -j*c + 0*c = -10 for f.
0
Let p = -11 - -31. Suppose -2*r = -2*m - m + 4, m = -4*r + p. Solve -3*t + m*g - 2 = 0, -3*t + 3 + 5 = g for t.
2
Suppose 0 = -8*i + 6*i + 10. Solve -28 = -0*h - h + i*v, -2*v - 13 = -h for h.
3
Let u be 0/((2 - 2) + 1). Suppose u*j = 3*j - 4*a, -a + 11 = 2*j. Suppose n + 0 = 3. Solve j*d + 12 = n*y - d, 4*y + 2*d = 16 for y.
4
Let d(h) = h**3 + 3*h**2 + 6*h + 5. Let p be d(-4). Let k be (-21)/p - 22/(-5). Solve 0*i - k*i + 3*u + 7 = 0, 0 = -5*u + 5 for i.
2
Let c = 12 - 8. Suppose -g - c + 5 = 0. Solve 24 = 2*t + 5*j, 5*j - 13 = 4*t - g for t.
2
Let s be 3/(((-27)/(-2))/9). Solve -m + 3 = 5*v + 2*m, -5*m - 26 = -s*v for v.
3
Let z = -8 + 11. Suppose -z*a = k - 58, a + 6*k = 2*k + 1. Solve 0 = -3*y - 5*p - 25, -8*y + 5*y - 3*p - a = 0 for y.
-5
Let p be 1/2 + 138/4. Let y be 37/7 + (-2)/7. Solve -y*k - p = -5*s, 5*k - 17 + 48 = 4*s for k.
-3
Suppose 4*x + 9 = 5*q, -5*q + 8 = -x - 2*x. Let c = 3 + x. Suppose t + c*t = 6. Solve 0*f - 5*a + 17 = -2*f, t*f + 4*a = 28 for f.
4
Suppose -5*a + 15 = -0*a. Solve -3*k + 2*n = -13, a*n - 7 = -4*k + 16 for k.
5
Let g = -23 + 27. Solve g*f + 24 = 4*y, y + 0*y + 2 = -f for f.
-4
Suppose 0 = -0*p - 5*p + 25. Suppose -3 = -p*o + 7. Solve -i + o*k = -0*i - 5, k = i - 1 for i.
-3
Suppose -5 = -2*q + q. Suppose -2*v = -6*v. Solve 0*a = -q*c - a, 5*c + 3*a = v for c.
0
Let h(a) = a**2 + 2*a + 1. Let d be h(-3). Let y(p) = 2*p**2 + 9*p - 7. Let f be y(-7). Let n = 30 - f. Solve -5*j - 17 = d*o, 0 = n*o - 4*o - 3*j - 9 for o.
-3
Let t be (2 - 5/2)*-22. Solve -3*k = 2*q - 11, -5*q + 4*k - t = 19 for q.
-2
Let m = -2 - -2. Let r(d) = 2*d**2 - 8*d - 6. Let g be r(6). Solve v - 3 = 5*x + g, m = -2*v + 2*x + 2 for v.
-4
Suppose 0 = o - 4*o - 21. Let r = o - -5. Let w = -2 - r. Solve 4*v + w*f + 3 = f, 0 = -4*v - 4*f + 12 for v.
0
Let m(p) = p - 2. Let x = -4 + 6. Let n be m(x). Solve n = 3*l - 0*l - 6, l + 3 = -z for z.
-5
Let i be 3/6*(3 - -1). Let b be (-2 + (-3 - 0))*-1. Solve i*f - f - b = -5*a, -1 = -3*f - a for f.
0
Suppose -x + 4 = -0. Solve g = -2*z + 8, x = -3*g + g for z.
5
Let y(g) = -g**2 + 8*g - 5. Let f be y(7). Solve v - 2*c - 8 = 0, -v - c = -f*v + 5 for v.
2
Let g be (0 - -1 - (23 + 3))/(-1). Solve 5*m + 3*j - g = -2*j, -j = -5 for m.
0
Let j = -7 - -10. Let k be (3/2)/(j/18). Suppose 2*q + 3*r = -8 - 1, q = -3*r - k. Solve 4*m - 3*v = -32, 5*m - 3*v + 59 - 22 = q for m.
-5
Let x(q) be the first derivative of q**3/3 + 4*q**2 - 5*q - 2. Let a be x(-9). Solve -h + a = -2*b - 3, 0 = 2*b - 2*h + 12 for b.
-1
Let a = 28 - 20. Let f(d) = d + 11. Let z be f(-9). Solve v - a = 3*v, -v + 4 = -z*b for b.
-4
Let v be 1 - ((-1 - 2) + -2). Let z = 11 - v. Solve 0 = -3*n - 3*l + 15, 0*n + l + 13 = z*n for n.
3
Let f(h) = h**2 + 6*h - 3. Let g be f(-4). Let x = 8 + g. Let r be (3*-1)/x + 1. Solve 5*t = -3*q + 2, r*q - 4*t = -0*t - 6 for q.
-1
Let j be ((-9)/(-15))/(2/10). Suppose 0 = -q + j, -3*t + 1 + 2 = q. Let w = 1 - t. Solve -4*u = w - 9, 3 = a + 3*u for a.
-3
Suppose 3*i + 68 = 7*i. Solve 2*v + 13 = -5*x, 3*v = -5*x - 0*v - i for x.
-1
Let p be 6*6/(-18) - 6*-5. Solve 5*o = 2*g - p, 18 = 3*g - 4*o - 10 for g.
4
Suppose 3*f + 24 = 7*f. Solve 4*d + 2*i - f = 6, -4*i = 4*d - 8 for d.
4
Let k(i) = 3*i + 3. Let g(b) = -1 - 3 + 5. Let l(u) = -3*g(u) + k(u). Let p be l(1). Solve 5*n = 4*q + 1, 5*q = p*n - 1 - 10 for n.
-3
Let n(c) = -c + 1. Let b be n(-9). Solve 2*w = 5*k + b, 0*w - 13 = 2*k + w for k.
-4
Let c be (-5)/10 - (2 + 18/(-4)). Solve 5 = -c*s - 3*h, -2*s + 4*h + 14 = -s for s.
2
Let c(i) = 0*i**3 + 7*i - 3 - i**3 - 3 - 7*i**2. Let o be c(-8). Suppose 13 + 9 = o*t. Solve -t = 3*k + b, k - b - 3 = -4 for k.
-3
Suppose 2*f - w = 0, -4*w = f + f - 10. Let m be (f - (-46)/(-4))*2. Let g be (6/m)/((-2)/14). Solve -11 = g*j + h, 0 = 5*j - 4*h + 4 + 4 for j.
-4
Let o(m) = m**3 + 13*m**2 + 11*m - 12. Let n be o(-12). Suppose -16 = -2*b - 5*a, 4*b + n*b - 18 = -3*a. Solve 3*q + 6 = -k - 2, 0 = 4*q + b*k + 14 for q.
-2
Let a(u) = -u