 - g = 0, -4*o = -3*r + 12 for r.
0
Let v = -12 - -14. Let s(p) = 4*p - 5*p + 3*p - 1. Let t be s(v). Solve -1 = -c, 4*c - c = -2*m + t for m.
0
Let b = 108 - 106. Solve -2*t - 1 = -3*t - b*h, 5*h = -3*t for t.
-5
Let p(r) = -r**2 - 4*r - 1. Let a be p(-3). Solve 2*j + a*y = 4, 4*j + 5*y = 2*j + 10 for j.
0
Let p be 4 + (-8)/(-2 + 6). Solve p*f = -5*o + 8, -o - 4*f + 18 - 2 = 0 for o.
0
Let t = -128 - -131. Solve g + 4 = t*d - 7*d, 0 = -4*d + 5*g + 20 for d.
0
Suppose 2*y = -y + 15. Let l(h) = h**3 + 2*h**2 - 4*h. Let t be l(-3). Suppose -2*p + t*p = 7. Solve -y*k - p*i = -2*i - 15, -3*k - 5*i + 5 = 0 for k.
5
Let s = 13 + -24. Let w = -8 - s. Suppose -15 - w = -3*a. Solve 4*b = -2*m - 12, 3*m + a = -2*b - 0 for m.
0
Suppose -2*x + 7*x - 25 = 0. Let n be 1/(-6) - 294/(-36). Suppose n*f = 4*f + 48. Solve 10*j - x*j + g + f = 0, -5*j = 4*g + 3 for j.
-3
Let g be 50/8 + 2/(-8). Let c(x) = -x**3 - x**2 + x + 5. Let n be c(0). Solve n = -l - b, 4 = -2*b - g for l.
0
Let w(h) = -h**3 + 9*h**2 + 3*h - 13. Let j be w(9). Let t = j - 11. Solve 4*q + 15 = 5*i, -t*q = -2*q for i.
3
Let p be (1/(-2) - 0)*0. Solve p*l + l - 2*n = 1, 3*l = -2*n - 5 for l.
-1
Let p = 35 + -31. Solve -5*m - 4 = -2*j, m + 22 = -p*j - 4*m for j.
-3
Suppose 4*t + 2*n = -0*t + 14, 2*n = -10. Suppose 0*h - 2*h + t = 0. Solve -16 = -5*c + s - 4, c = -h*s - 4 for c.
2
Let k = 2 + -9. Let a(m) = -m**3 - 8*m**2 - 8*m - 6. Let j be a(k). Solve -q - 3*x + j = -4*x, -q = 5*x - 1 for q.
1
Let b(l) = l**2 + 2*l - 43. Let q be b(-8). Solve 0 = -3*s + q*o + 19, 0*s + s + 5*o + 7 = 0 for s.
3
Suppose 0 = -4*p - 3*r + 4, -2*r = p + 4. Solve -p*w = t + 23, -2*t - 34 = 5*w + t for w.
-5
Suppose 2*w + b = w + 3, -10 = -4*w - 5*b. Suppose w*h - h = 0. Solve d - o = 2, h*d - 4*d - 2*o - 22 = 0 for d.
-3
Let l(b) = -3*b + 3. Let i(c) = 2*c - 3. Let w(k) = 6*i(k) + 5*l(k). Let q be w(-6). Suppose u - 14 + 4 = 0. Solve 0 = -2*m - 3*v - q, 0*m = m - 2*v - u for m.
0
Suppose -2*i = q - 2, 5*q + 1 - 2 = -i. Let j be 0 - (-1 + q) - 0. Suppose 4*p = 3 + 1. Solve -k - j = -n, -2 = 5*n - k + p for n.
-1
Suppose 6 = -5*a + 6*a. Let p be ((-21)/a)/(1/(-4)). Suppose 4*u = 6*u. Solve -3*m - g = 8, -2*m + u*g - 5*g = p for m.
-2
Let j be (12/15)/(2/5). Suppose 0 = -j*d + 3 + 1. Solve -d*a + 11 = -f, 1 + 2 = -3*f for a.
5
Let b be 4 - (0/1 + -1). Let z be ((-18)/(-3))/((-21)/(-14)). Suppose -11 = -z*v + b. Solve -5*k + 4*i = 4, -11 = -2*k + v*i - 3 for k.
-4
Let h(u) = 4*u + 1. Let b be h(1). Suppose -j = b*a - 25 - 0, j - a + 5 = 0. Solve 3*k - 5*f - 14 = 0, -18 = 5*k + 2*f - j*f for k.
-2
Suppose f + 2*y = 3*y + 5, -2*y + 2 = 2*f. Solve q = -4, -11 + f = 4*m + 5*q for m.
3
Let l = 29 - 17. Solve d - l = 4*n, 4*n + 0*d = -3*d + 4 for n.
-2
Suppose 4*r - 3*r = 2. Suppose -r*y + 36 = 4*c, 0 = 4*c - 0*y - 5*y - 8. Solve -c*q + 3*q + 3*x - 2 = 0, 0 = -4*q + 4*x - 4 for q.
1
Let c(r) = 2*r**2 - 5*r + 4. Let y be c(2). Let m be 0/y - (-2 - 2). Suppose -2*j - 3*j + 15 = 0. Solve m*i + 8 = 2*f, 20 = -f - j*f - i for f.
-4
Suppose -8*k + 10*k - 8 = 0. Suppose 0 = k*n - 3*g + g - 18, -32 = -n - 5*g. Solve -u - 3*a + n = 0, 3*u - 3 = -3*a + 6 for u.
1
Suppose m + 4 - 14 = 0. Solve 4*v + 5*z + m = 0, v + 2*v + z + 13 = 0 for v.
-5
Suppose 2*u - 36 + 28 = 0. Solve -u*f - 35 = -5*d, -5*d + 30 = -3*f - 0*d for f.
-5
Let g = -27 - -24. Let j be 16 - 14 - (1 + g). Solve -j*x - 4*r = -x - 35, 0 = 3*r - 15 for x.
5
Suppose -3*s = -3*a + 12, 14 = 3*a - 2*a + 4*s. Solve -2*c + 10 = -b, 3*c + a*b - 8 = 4*b for c.
4
Let f(t) = t**3 + 3*t**2 + t. Let c be f(-3). Let z = c + 3. Solve 5*y + 35 = 5*m - 2*m, m - 5 = z for y.
-4
Let a = 14 - 9. Solve -37 = a*b + 4*t, 2*t = 5*t + 9 for b.
-5
Suppose 5*i = 8*i. Suppose i*n - 2 = -n. Let k = 0 + 7. Solve -5*g - k = 4*b + 23, -n*b = 3*g + 16 for g.
-2
Suppose 20 = n - 3*n. Let l be 3/6 - n/4. Suppose -q + 2*q = -5*k, 0 = 5*q - 5*k. Solve 3*m + 2*m + h - 4 = q, l = -3*h for m.
1
Suppose -2*z - 5*o + 25 = 3*z, 4*o - 5 = z. Suppose 2*m = -4*n + 20 + 2, -2*n + z*m = -15. Suppose -n*k + 9 = -3*k. Solve 1 = l - h + 5, 2*l - k*h = -11 for l.
-1
Let v(d) = d**3 + 2*d**2 - 5*d - 4. Let h be v(-3). Suppose h*j + 5*k - 34 = -4, -2*k = 3*j - 23. Let w = -3 + 3. Solve -j*q = w, q - 5 = o - 1 for o.
-4
Let q(x) = x + 3. Let y be q(5). Solve 5*w = -3*t + y, -5*w = 5*t - 0*w for t.
-4
Suppose 3*s + x = 81, 2*s - s - 5*x - 27 = 0. Solve 5*z + 3*t - s = 0, 4*z - 4 = t + 4 for z.
3
Let c(x) = x**2 + 18*x - 36. Let h be c(-20). Solve -5*z = 5*v - 5, z + 21 = -h*v + 2*z for v.
-4
Suppose 0 = -0*m + 4*m + 4. Let b = 3 + m. Solve 5*c = -b*q + 33, 6*c - 4*q - 9 = c for c.
5
Let l = 1 + 3. Solve 0 = -d + 3*u - l, 3 + 3 = 2*u for d.
5
Let y be -2 + (-4 - -2) + 6. Solve 4*t + 2*r = y*t + 6, -2*t - r + 8 = 0 for t.
5
Let c be 3/3*(0 + 5). Solve -5 = -s + r - 4, c*s = r + 5 for s.
1
Suppose -6 = -2*i - 0*i. Let g(z) be the first derivative of -z**3/3 + z**2 + 3. Let d be g(2). Solve 4*s - i*x - 4 = d, 2*x + 3 = 3*s + 5*x for s.
1
Let a = -4 + 6. Let k = 151 + -150. Let u = 7 + -5. Solve 0 = -t - s - 2, -3*t + k = -a*t - u*s for t.
-1
Suppose -4*d = d + 5. Let r be (0 - d)/(3/6). Suppose 5*l = -5*t + 35, -4*t = -10 - r. Solve 5*g + 12 = -c + l, 2*c + 3 = 3*g for c.
-3
Let g(t) = t + 2*t**2 + 0*t - t**2 + 6 - 4. Let z be g(0). Solve 5*r - 20 = 3*a + z*a, r - 6 = -a for r.
5
Let f(v) = -v + 14. Let r be f(9). Solve 1 = 3*q - 3*j - 2, -j = 2*q - r for q.
2
Let i = -19 + 38. Let u = i - 7. Solve 0 = -5*y + 5*w + 25, 5*w + u = 4*y - 10 for y.
3
Let v(k) = k - k**2 + 0*k + 6 + 8*k. Let h be v(9). Let r be h/(0 - 1 - -3). Solve 4*o = -g - 0*g + r, -3*g = 2*o + 1 for g.
-1
Let o(i) = -3*i + 23. Let y be o(5). Solve -3*v - 8 = -q, -y = v - 2*v - 5*q for v.
-2
Suppose 3*h = 3*q + h - 17, -h - 11 = -2*q. Suppose -q*a = -10*a + 50. Solve 4*y - 2*g = -5*g - a, -3*g = 3*y + 9 for y.
-1
Suppose 2*g - 98 - 124 = -4*r, -r = g - 53. Suppose -r = -4*w + 22. Let j be (-8)/w - 44/(-10). Solve 5*i - 2*a - 1 = 9, -8 = -j*i + 5*a for i.
2
Let g(o) = 2*o - 2*o + 4 - 2*o. Let u be g(5). Let l be 7/21 + (-28)/u. Solve 5*j = -5*t, 40 = -3*j + 4*t + l for j.
-5
Let x be (-3)/9*3*-1. Let f be -1 - x*15/(-3). Suppose f = 3*z - z. Solve 0 = -h + 5*n + 6, -6*h - z*n - 1 = -5*h for h.
1
Suppose -12 = -2*u - 2*u. Suppose -t + 14 = 2*s + t, u*t + 3 = 0. Let z(n) = n - 1. Let r be z(5). Solve 4*x - 6*q - s = -r*q, 5*x + q = -4 for x.
0
Let a = -105 + 110. Solve 0 = 3*u - a*m - 3, -2*u = 3*m + m - 2 for u.
1
Suppose -9 + 3 = -2*d + 3*k, -5*k = 5*d - 15. Suppose 2*z - d*u + 8 = 0, -4*z - 4*u = z - 26. Solve 3*s + z*r = 2, -4*s - 3*r + 0 = -3 for s.
0
Let j be (-18)/4*(-10)/15. Suppose 0 = x - j*x + 4*u + 20, 2*x = u + 11. Solve -2 = r - h, 4*h = x*r + 3*h + 5 for r.
-1
Let l be (140/(-6))/(1/(-3)). Suppose 4*r + 13 = -11. Let v be 4/(-6) - l/r. Solve 3*z - 4*z - 3 = s, 3*z - v = s for z.
2
Let d(t) = 15*t. Suppose 2*u + 0*u = 2. Let v be d(u). Solve 5*c + v = 2*x, -c - 3*x = 4*c + 15 for c.
-3
Suppose 4*o - 3 - 9 = 0. Suppose 2*k - 14 - 5 = 5*t, 0 = -t + 5. Suppose -2*y - k = -3*d, 5*d - y - 30 + 5 = 0. Solve -p - d = o*r, 0*p = -2*p - r - 8 for p.
-4
Suppose 2 - 14 = -4*s. Suppose -s*k = 4*t - 19, -t + 3*k + 1 = -0*k. Solve -z + 6 - 30 = t*u, 4*z = -16 for u.
-5
Suppose c - 18 = -m - 0*m, -3*m = -c - 46. Suppose -4*l + 3*l = 0. Solve 3*f + m = 5*a, l = -4*a - a - f + 8 for a.
2
Suppose a = -2 + 4. Let f(v) = -v**2 + 0*v**2 + 2*v**2 - 2 - 2*v. Let r be f(4). Solve 5*c - a*c = -r, -2*c - 5 = -b for b.
1
Let q be (-2)/7 - (-96)/42. Solve 2 = q*r, -8 = 2*p - 4*r - 2 for p.
-1
Let k(a) = -5*a + 15. Let t be k(3). Solve -3*d + t*z + 3 = -2*z, z + 5 = -2*d for d.
-1
Let n be (1 - 0)*(29 + -2). Solve 1 - 19 = 3*x - 2*d, -3*x = -5*d + n for x.
-4
Suppose 6 = 2*a + 2. Let x be -27*(-2 + (a - 1)). Solve -3*d = -d + u + 3, 5*u - x = 4*d for d.
-3
Suppose 4*i - u - 22 = 0, 4*u + 7 = 3*i + 8*u. Suppose 0 = 4*o + 3*c + 3, -o = -3*o - 5*c - i. Solve 16 = 4*j - 5*a, o*j + 3*j - 12 = -3*a for j.
4
Suppose 4*r = 3*f + 8, 4*r - 5*f + 0 - 8 = 0. Solve 0 = 2*q + 3*q - 2*p - 4, -r*q + 3*p + 6 = 0 for q.
0
Suppose -2*a - 16 = -140. Suppose -5*n + a + 13 = 0. Suppose -4*r = -9*r + n. Solve r*v = 3*y - 8*y, 4*v = 5*y - 35 for v.
-5
Suppose -6*q + 20 = -q. Solve c + 0*c = 2*u + 2, q*