r - j = 4*m - 3*r for m.
-2
Let z(d) = -d + 1. Let a be z(2). Let i be 1 + (13 - 0) - a. Solve -q + 2*t + 12 = 3*q, t + i = 5*q for q.
3
Let u(g) = -g**3 + 14*g**2 - 13*g + 9. Let c be u(13). Suppose -2*v = 2*j - 12, 4*v = 2*j - j + 14. Solve -3*o + v*z - 12 - 9 = 0, o - 2*z + c = 0 for o.
-3
Let s(c) = c**3 + 9*c**2 + 4*c - 11. Let n be s(-8). Solve p + n = 2*o - 2*p, -3*o + 5*p + 34 = 0 for o.
3
Suppose 6 - 22 = -4*t. Solve 5*d - t*k = -25, 5*d - 3*k = 2*k - 30 for d.
-1
Let s = 15 - 10. Let g be 0 - s/((-5)/2). Solve -5*c + i + 1 = -4*c, 3*c = -g*i + 23 for c.
5
Let a be (15/10 - -2) + (-3)/2. Solve 3*k + 2*k = a*m + 1, 0 = -2*m + 4*k for m.
2
Let o be ((2 - 2)/(-7))/(3 + 0). Suppose -4*b - 15 - 17 = 5*w, -2*w + 5*b = 26. Let n = -6 - w. Solve 15 = n*z + a, o*z + 5*z = -4*a + 45 for z.
5
Let g = 22 - 19. Let w(x) = x**3 + 5. Let a be w(0). Suppose d - a = -g. Solve 0 = -f - 4*t + d + 3, 0 = -3*f + 4*t - 17 for f.
-3
Suppose 0 = 6*b - 3*b - 4*w - 56, 2*b - 3*w - 37 = 0. Suppose 4*u + 3 = 23. Solve -3 = -5*j - 3*n, 15 = 5*j - u*n - b for j.
3
Let x be (-6)/(-2)*(-8)/32*-4. Solve -2*c = -x*y + 13, 0 = -2*y - 4*c - 18 for y.
1
Let y be -6*(2 - (-16)/(-6)). Let h(d) = d**3 - 4*d**2 + 3. Let r be h(y). Solve -4*p - 3*w + 10 = 0, -r*p + w + 3*w - 5 = 0 for p.
1
Let h(a) = -9*a + 7. Let r be h(-5). Suppose -4*d + 5*v = -30 - 20, -5*d = -v - r. Suppose -d = -5*k - 0. Solve 4 - k = -t, 8 = 5*q - 4*t for q.
0
Let z = 201 + -191. Solve 50 = -5*c + 5*i, c - z = -c - 4*i for c.
-5
Suppose 0 = 3*i - 6*i + d + 1, 2*i - 5*d = -21. Solve -1 = -5*x + 4*z, i*x - z + 2 = -0 for x.
-3
Suppose 8 + 4 = 4*m. Solve 2*r = 3*j + m, 5*j + 4*r - 16 = j for j.
1
Suppose -2*c - 96 = -5*r - 0*c, -4*r + 82 = c. Suppose -o = o - r. Solve -4*y + 7 = -9, -3*m + 4*y = o for m.
2
Suppose q - 5 = -0. Suppose 4*b - 5*o = 50, 4*b + 3*o - 4*o = 58. Suppose 3*u + 6 = b. Solve -4*v - u*w + 7 = 18, -q = 5*w for v.
-2
Suppose -3*c = -4*o, -2*o - 5*c = -3*c - 14. Solve -o*u - 5 = w, -3*w - 9 - 6 = u for u.
0
Suppose -f = -0*f - 4*p - 23, 3*f + 2*p + 1 = 0. Suppose -7*m = -3*m - 4*q - 24, 12 = f*m - q. Solve -3*g - 5*i + 23 = 0, m*g - 11 = i - 3*i for g.
1
Let m be (-50)/12 + (-1)/(-6) + 7. Solve -q = 3*p + 8, 2*q + 4*p - m = -11 for q.
4
Suppose -5*o + 12 - 2 = 0. Suppose 0 = 3*l - 5*l + 4. Solve 3*r + 4 = o*h, 7*r = 2*r + l*h - 4 for r.
0
Let h(k) = -k - 7. Let q be h(-7). Let z be 9/6*(2 - 0). Solve 3*b + m + 2*m + 18 = 0, q = b - z*m - 2 for b.
-4
Let f = 0 - 1. Let s be (-1)/(-2)*(f - -1). Suppose s*y - 2 = -y. Solve -m - k = 0, 2*m + 3 = -y*m - 3*k for m.
-3
Let h = -30 + 46. Let m be h/3 - (-3)/(-9). Solve -t + 4 = i, 9 = m*t - 4*i - 20 for t.
5
Let g = 4 - 4. Suppose g = -5*x - 0*x + 10. Suppose -x = c - 4. Solve -p = -3*p + 2, 5 = c*z - 5*p for z.
5
Let n = -73 - -74. Solve 5*i + 8 - n = -h, -h + 3*i + 1 = 0 for h.
-2
Let x = 2 - 3. Let h be (x/3)/((-2)/42). Let a(j) = j**3 - 8*j**2 + 9*j - 9. Let t be a(h). Solve c - t*w = -2*c - 34, 2*w = -4*c - 2 for c.
-3
Let x(h) = 14*h**3 - h**2 + h. Let y be x(1). Solve 4*s = -2*b + b + 6, -3*s + y = -4*b for s.
2
Suppose 0 = 3*x + x. Suppose 2*q + 0 - 4 = 0. Let y = 1 + q. Solve -3*u - c = 2*c - 12, x = -y*u + c for u.
1
Suppose -2*k + 4*p - 2*p = 0, p + 10 = -k. Let o = k - -9. Solve 0 = 2*t - 5*d + 7 - 35, -24 = -2*t + o*d for t.
4
Let b(c) = c**2 - 7*c + 8. Let f be b(6). Let p = 24 + -9. Suppose r - p + 1 = 0. Solve -2*m = l + m + r, f*m = -l - 9 for l.
1
Suppose 4*q - 7 = 5. Solve 0 = -5*r - 2*i - 9, 0 = -2*r + 4*i - q + 9 for r.
-1
Let g(x) = 2*x. Let c be g(3). Suppose w - c*w = -35. Solve 5*u + w = -3*i, 0 = -4*u - 0*i - i - 7 for u.
-2
Let z = -17 - -25. Let a = 2 + z. Solve -y - g = -2*g + 1, -2*y = 2*g + a for y.
-3
Let r be ((-8)/(-10))/(4/10). Suppose v - 54 = -r*v. Solve -5*x - u + 4 = -v, 5*u + 35 = 4*x for x.
5
Let u(n) = -33*n**3 - 1. Let q(w) = w + 3. Let o be q(-4). Let k be u(o). Solve -k = 4*p - 3*t, -3*t = -p - 2*t - 9 for p.
-5
Let x be (-774)/(-99) - (-4)/22. Solve x = 5*d + b, 0 = d - b - 4 for d.
2
Let f(v) = -2*v - 7*v + v - v**2 + 0*v - 8. Let x be f(-6). Suppose 7 = x*t - 9. Solve -5*o - 5*s = 15, -2*o + t*s - 2 = 10 for o.
-4
Let h(g) = -12*g + 74. Let t be h(6). Solve 2*j = -5*o + 27, t*j - 2*o + 0 + 8 = 0 for j.
1
Let s be (-3)/(-1) - -4*1/2. Solve 5*u = -s*z + 10, 3*u + 15 = 2*z - 4 for u.
-3
Let r(v) = -6*v**3. Let c be r(-1). Let p(b) = -b**2 + 8*b + 1. Let w be p(c). Solve -3*i + 9 = 3*g, 0*i - 5*i + w = 4*g for g.
2
Let p be (4/10)/(2/10). Suppose 2*u + 5*q = 7*u - 10, -u + p*q = 0. Solve 0 = 5*x + u*f + 6, 4*f - 6 = 2*x - 26 for x.
2
Let s = 55 - 30. Suppose -5*l + 5 + s = 0. Let u(p) = -p**3 + 7*p**2 - 5*p + 4. Let y be u(l). Solve 3*m = 4*c + m - y, -20 = -2*c - 2*m for c.
5
Let u be 0/(-2) - (14 - 23). Solve -f = 2*q + u, -f - 18 = -q + 3*f for q.
-2
Suppose -4 = 3*t + 2*n, 0*t + 2*n = t + 4. Let m = 1 - t. Solve m*q = -2*g + 13, -4*q - 2*g = -g - 9 for q.
1
Let b(m) = 3*m + 13. Let o(z) = 1. Let s(i) = -b(i) + 3*o(i). Let u be s(-5). Solve -2*j = 4*w + 2*j + 20, j = -u for w.
0
Let j be 20/3*18/12. Let f = -7 + 13. Solve -5*o + 5*v = j, 4*o + 5*v - f = 4 for o.
0
Let o(b) = -b - 2 - b - 1 + 6. Let k be o(3). Let n(i) = i**2 + 2*i + 1. Let v be n(k). Solve 5*y = -4*h + 18, -v*y + 2*h + 0 + 4 = 0 for y.
2
Let w(z) = z**2 - 5*z + 16. Let j be w(8). Solve -5*c = b + 17 + 13, 5*b + j = -3*c for c.
-5
Suppose 3*k + f + 13 = -15, 4*f = 2*k. Let a be (k/6)/(2/(-9)). Solve 3*m = a*m + d + 7, 2*d = m + 14 for m.
-4
Let n be (-10)/(-8) + (-1)/4. Suppose 5*g - 27 = 2*y - n, -3*g - 5*y = 3. Solve -g = s + 2*t + 2, -3*s - t = -7 for s.
4
Let s be (13 - 13) + 41/1. Solve 0*c = 5*c + 3*g + 13, 4*g - s = 5*c for c.
-5
Let i(c) be the second derivative of -c**3/6 - c**2 - c. Let h be i(-2). Solve -3*s = -h*m + 2*m + 6, -s = 0 for m.
-3
Let k be (0 + (-3)/6)*0. Let q be -3 + 5 - (-1 - k). Solve -2*o + q*o - 7 = -j, -5*o = -3*j - 19 for o.
5
Let z be (9/6)/(-3)*-4. Let n be (3 - 1)*(-25)/z. Let p be 2/1*n/(-10). Solve 3*r - p = -u + 3, -2*r = -3*u + 2 for u.
2
Let x(m) = -m + 3. Let a be x(-3). Solve -3*j - 6 = j - 2*p, 3*j = 2*p - a for j.
0
Let x be 6/4*(-12)/(-9). Suppose h - 4*h = -3. Solve t = -x*z + 11, -3*z + t + h + 3 = 0 for z.
3
Let n(a) = a**2 + 5*a + 0*a**2 + 0*a**2 - 3 - 3*a. Let q be n(-4). Suppose -k - 2*k = -93. Solve -3*b = -4*m - 7, q*b - 3*m + 6*m = k for b.
5
Suppose -5*v + 39 = -2*k, v - k + 2 - 11 = 0. Suppose -5*y = 2*c - 0*c, y - c - v = 0. Solve 0 = 2*s + y*j + j - 6, 3*s = -j + 2 for s.
0
Suppose 0 = -2*z + z + 40. Suppose -4*i - 5*j + z = 0, -12 = -0*j - 3*j. Solve -3*c + i*q = -13, -2*q = 5*c - 0*q + 30 for c.
-4
Suppose -46 = -4*k - 4*v - 6, 2*k - 24 = -4*v. Let l(r) = -r**3 + 11*r**2 - 19*r + 14. Let d be l(9). Solve -5*x = 2*n - k, d*x - 3*n = -n + 12 for x.
2
Suppose h = 4*h - 9. Solve -5*b = -h*b - 3*o + 4, b + 2 = -o for b.
-2
Let p = 254 - 223. Let s = 1 - -2. Solve -4*l + p = -3*a, 2*l = -a + s - 0 for l.
4
Let i(s) = s + 4. Let j be i(-9). Let x be (18/(-15))/(2/j). Solve d + 4*p - 2 = 0, -4*d + 1 = -x*p + 12 for d.
-2
Suppose 6*n - 2*l = 7*n - 1, 3*l = -n. Solve -2*z - 4 = n*f - 6*z, -z = -f - 1 for f.
0
Let g(n) = -4*n**2 + 9*n + 1. Let p(v) = v**2 - v - 1. Let j(d) = -g(d) - 5*p(d). Let q be j(-4). Solve 2*y + 0*o = -q*o + 8, 0 = 3*o for y.
4
Let x = 74 + -62. Let y = -40 + 19. Let b = -14 - y. Solve -x = -w - 4*i, -w - 3*i + b = -2 for w.
0
Let f(g) = g**2 - 16*g - 25. Let n be f(17). Let t be (-12 + -1)*(-1 - -2). Let z = n - t. Solve 3*d = -5*b - 11, -2*b - 8 = z*d - 2*d for d.
-2
Suppose 4*b + 0*b = 16. Solve -m = -0*v + 2*v + 2, 3*m - b*v + 16 = 0 for m.
-4
Let k be 7*(-4 + (-124)/(-28)). Solve -n - 5*s + 21 = n, -4*n + k*s - 23 = 0 for n.
-2
Let o(a) = -5*a**2 + 4*a - 2. Let m be o(2). Let p be 74/14 - (-4)/m. Solve d - 5 = p*u, -d + 3 = -u - 2 for d.
5
Let l(n) = -n**3 - 4*n**2 - 3*n + 3. Let m be l(-3). Let y(h) = 3*h - 6. Let x be y(m). Solve -2*q + 3*r = 7*r + 26, -r = -x*q - 4 for q.
-3
Suppose 0 = 4*m + m. Suppose -3*c + 3*l + 13 = l, -2*c + 8 = -2*l. Suppose 0*u = u - 5. Solve 5*k + 35 = u*y, -c*k = -m*k + 3*y - 5 for k.
-2
Let o be (5 - 0)*42/10. Suppose -3 = 3*l - o. Let f(s) = -s**3 + 5*s**2 - 3*s - 2. Let r be f(4). Solve l = r*a + d, 4*a - 6*a + d = -2 fo