r a.
2
Suppose 0 = 2*t - 3*t + 3. Let f be -1 + (-2 - -4) - -3. Let j be f + -4 + 3 + 3. Solve -2*a + j = -t*w, 4 = -0*w - w for a.
-3
Let n(k) = 2*k**2 - 9*k - k**2 + 9 + 2. Let g(l) = -6*l - 44. Let v be g(-9). Let s be n(v). Solve z + s = -4*i, 2*i + 2*i = 5*z + 9 for i.
-4
Suppose 5*p - 5 = 3*n, 0 = 2*p + 3*n - 4*n - 3. Solve 5*y - 12 = 2*y - f, -2*f = -p*y + 6 for y.
3
Let u(y) be the first derivative of -y**3/3 + 5*y**2/2 + 5*y + 1. Let f be u(5). Let n = 116 - 116. Solve 15 = -f*c - 2*d - n, 4*c = -4*d for c.
-5
Let a = -1 - -6. Let z = -3 + a. Solve -z*d = -3*j + 12, 7*j = 2*j - 3*d + 20 for j.
4
Suppose -2*p + p - 12 = 0. Let o be 4/(p/7)*-3. Solve c = 4*u - o, 3*c - 2*c - 2*u = -3 for c.
1
Suppose -4*n + 8 = -0. Let p(k) = k**3 + 2*k**2 - 2*k + 3. Let f be p(2). Suppose 5*r = f + 5. Solve -r*s + 3*c = -0*s + 16, 3*s - n*c = -11 for s.
-1
Suppose -3*f = 4*r - 40, 3*f - 2 = -5*r + 33. Let m = f + -17. Solve -3*w + 23 = 2*g, 3*g + 1 = m*w - 2 for w.
5
Let f(z) = z**2 + 8*z + 5. Let a be f(-5). Let j be a/(-4)*4/5. Let d be (-1)/4*(5 - 5). Solve d = -3*i - i + j*o - 8, -2*i - o = 12 for i.
-4
Suppose 6*z - 7*z = -3. Let v = 1 + 0. Let b(u) = -u**2 + 1. Let f be b(v). Solve 0 = -2*x + z*x - 2, -w - 3*x + 3 = f for w.
-3
Suppose -5*v - 5*n = -65, 3*v + 2*n - 16 = 18. Suppose v = 6*d - 2*d. Solve 5*r - 4*r + 10 = a, -15 = -d*r - 5*a for r.
-5
Let m(g) = -2*g**2 - 8*g + 2. Let z be m(-4). Solve -3*n = -5*r + 16, -4*r - 3*n = -z*n - 6 for r.
2
Let z be (-1)/5 - (-33)/15. Solve 5*r + 2*t - z = 6*t, 0 = 5*r + 5*t + 25 for r.
-2
Let i be (-77)/(-15) - 2/15. Solve -13 = 2*z - r - 6, r - i = 0 for z.
-1
Let k(h) = h - 3*h + 3*h. Let s be k(5). Let v(b) = -b - 10. Let p be v(-13). Solve p*a = w + s, 0*a = 2*w + a - 4 for w.
1
Suppose w - 22 = 3*r, r + 2*w = -0*r - 12. Let q = r - -12. Solve 0*d + 22 = -2*j + 5*d, 2*j = -q*d + 14 for j.
-1
Let p be 5 + 2 + 2 + 2. Let a(o) = -o + 11. Let n be a(5). Suppose -n*g = -4*g - 6. Solve -4 = m - 2*u, -g*u + p = -5*m + m for m.
-2
Suppose -75 = -d - 2*d. Suppose 0 = 4*f + f + 2*x - d, 0 = -4*f - 3*x + 20. Solve -2*v - 3 = 3*v + p, -f*p + 10 = 0 for v.
-1
Suppose 6 = -4*p - 3*t - 148, 0 = p - 2*t + 44. Let l be (3 - p/(-12))*-3. Solve -5*u - l = 3*d - u, -3 = -3*d - 3*u for d.
5
Let t be 21 - 3*(-2)/3. Let a be 2/(-7) - t/(-7). Suppose -d = -4*n + 14, 2*d = -3*d - 5*n + 30. Solve -a*v = l + 1, d*l - 5*v + 5 + 8 = 0 for l.
-4
Let u = -5 + 5. Suppose -5*c + 15 = -u*c. Suppose -11 = -2*l + 2*m - m, 27 = 5*l - 2*m. Solve -l*k = z, c*z - 4*z = -k - 6 for z.
5
Suppose 4*i + 5*g = 15, -4*i + 3*g + 6 = -17. Suppose 5*j + 0*j - 35 = -i*d, -4*d + 25 = 3*j. Solve -j = b + f, 2*b + b + 9 = 2*f for b.
-3
Let y(x) = 9*x. Let k be y(-1). Let d = 11 + k. Solve -3*b - 5*c = 13, 0*b + 13 = d*b - c for b.
4
Suppose -5*f + f = -16. Suppose -f*n - 16 = 3*z, z + 4*z + 16 = -4*n. Solve -5*s - 2*l + 10 = 0, -4*s - 5*l = 9 - z for s.
4
Let g be 9/(-15) - 114/(-15). Suppose 5*i - 6 = -3*f, 2*i + 2*f - 9 = 3*f. Solve 0 = o - i*z + g, -z = o + o for o.
-1
Let d(u) = -5*u - u**2 + u + 1 + 3*u**2. Let v be d(3). Solve v = f - 2*o, -10 = -4*f - 0*o - o for f.
3
Suppose 0 = 4*j - j. Suppose 0 = 4*q - 8, j*v + 2*v = 4*q + 8. Let a(w) = w**2 + 6*w - 4. Let r be a(-7). Solve -2*p = 2*z + 2, -z + v*p = r*p + 1 for z.
-1
Let l = 28 + -23. Solve -11 = -2*h + 3*h - 2*r, -23 = h - l*r for h.
-3
Suppose r = -r + 4. Solve -r*q + 4*f = 28, 0 = 2*q - 3*f + f + 18 for q.
-4
Let k(w) = -w**3 - 5*w**2 - 7*w - 4. Let i be k(-4). Solve -z - 3*j = 2, 0*j = 4*z - 4*j + i for z.
-2
Let j be 8/(-3)*3/(-2). Suppose -3*f = -19 + j. Let y = f + -3. Solve 2*p - 3*d = 1 - 4, y*p + 5 = d for p.
-3
Let m = -1 - -4. Solve -2*k = -4*l + 4 - 12, -3*l = m*k + 24 for l.
-4
Let b = 193 + -188. Solve -3*z = 2*u - 2*z - 3, 2*u - 33 = b*z for u.
4
Suppose -4*g + 2*m = 8, 2*g + 3 = 2*m - 5. Suppose -5*a + 4*s + 10 = g, -4*s + 4 = -0*a + 2*a. Solve k + 4*u - 40 = 6*k, 2*k = -a*u + 2 for k.
-4
Let g = 0 + 2. Let x be 1 - (-9 + g) - -1. Solve -s + x = -d, -3*d - 31 = d - 3*s for d.
-4
Let r = -20 - -31. Solve 2*v + r = -3*v - 3*p, 0 = -2*p + 6 for v.
-4
Let y(k) = -k**3 + 18*k**2 + 3. Let n be y(18). Solve 0 = -m + 3, -4*m + 5*m = 2*a + n for a.
0
Let q(v) = 0*v**2 + 0*v**3 + 2 - 2*v**2 - v**3. Let c = 4 + -6. Let o be q(c). Solve 0 = -3*z - 2*l - 10, 3*l = o*z + 4*l + 7 for z.
-4
Let a be 3*((-50)/(-6))/5. Solve 4*k = 3*p, a*p - 38 = -2*k - 12 for k.
3
Let l = 3 + 2. Let a = -17 - -18. Let j be 3/((-2)/(-10)*a). Solve 0 = -c - 3*r - 13, l*c + 4*r + j = -r for c.
2
Suppose 3*k = 2*z - 17, 4*z - 14 = 5*k + 15. Let n be (-22)/(z + (-2)/4). Let u = -28 - n. Solve u = -d + 5*j - 7, 2*d + 16 = 4*j for d.
2
Suppose 0 = -4*l + 2 + 2. Let c(k) = k**3 + 8*k**2 + 3. Let m be c(-8). Let b be (m - 2/2) + -2. Solve q + 2*j = 3*j - l, b = 4*q - 3*j - 1 for q.
4
Suppose 9*d - 14*d = -15. Solve 0 = -3*l + d, -4*u - 1 - 5 = -2*l for u.
-1
Let b = -119 + 129. Solve -3*i + 4*d + 8 = i, 5*i + d = b for i.
2
Suppose -18 = 5*y + 7, 4*j = -5*y - 37. Suppose -4*r = 4*x + 4, -5*x = -5*r - 0*x - 55. Let w be (2 - 1) + r/j. Solve 5*v = -h + 3*h + 13, v - w*h = 0 for v.
3
Suppose 12 = 2*t + 8. Suppose -37 = -5*w - 12. Solve -2*j + 4 = t*r, w*r - 11 = -5*j + j for r.
3
Let x(l) = l**3 + 14*l**2 + 14*l + 17. Let d be x(-13). Solve -4*c + 3*v - 20 = 0, -2*v + v = -d for c.
-2
Let a = -2 - -7. Suppose -5*h - 45 = -5*n, n - 4*h - 1 = -a*h. Solve 21 = -n*p + 2*j, p - 5*j = -p - 21 for p.
-3
Suppose 3*q - 4*u = -3, 5*q - 2*u + 3*u = 18. Solve -5*p - 4*z + q = 0, 3 = 3*z - 3 for p.
-1
Let i(o) = o + 3. Let f be i(0). Solve -z - 15 = f*r, -4*r = 9 + 11 for z.
0
Suppose -2*b - 13 = -3*v - 5, 4*v - 4 = b. Solve v = 4*k - 3*o + 1, -5*k + 4 + 1 = -5*o for k.
-4
Suppose -o - 9 = -2*p, 7*o + 5*p = 3*o + 29. Let u = 0 + o. Solve 3*d + 2*r - u = 3, 0 = 4*d + 3*r - 6 for d.
0
Let o be (-4)/(-10)*(-30)/(-1). Solve 4*m - 3 + o = -b, -4*b + 4*m + 24 = 0 for b.
3
Let h(o) = -5 + 4 - 1 - o. Let f be h(-6). Suppose 2*r + 6 = 5*r. Solve -i = f*k - 6, -r*i - 4*k - 1 = -9 for i.
2
Let b be (-52)/(-10) + (-1)/5. Suppose b*w - 12 = 2*w. Solve -4*q - 1 = 4*k + 3, w*q = 3*k + 31 for q.
4
Let d(t) = -t**3 - 7*t**2 - 11*t - 4. Let z be d(-5). Solve n - 3 = -3*u + z, -16 = -4*n + u for n.
4
Let l(y) = -2*y**2 - 22*y - 8. Let g be l(-10). Solve 5*z = -5 - 0, g = -2*a - 2*z for a.
-5
Let y = 13 - 10. Solve -3*j + 5*t = 1 - 7, y*j = -5*t + 6 for j.
2
Suppose 20*u - 17*u - 12 = 0. Suppose -4*j + 6 = 2*w - u*w, 5*j = 2*w + 7. Solve -j = -h - d - 2*d, 19 = 4*h - 3*d for h.
4
Suppose -2*r = -3*i - 1 - 1, 24 = 4*i + 4*r. Suppose 2*m - 37 = -3*b - i*b, 2*b = -4*m + 18. Solve 5*o - q - b = 0, -o + 3*q = -1 + 8 for o.
2
Let p be -2 - 6/(-1) - 2. Let b be ((-18)/3)/(-4 + 5). Let r = b + 6. Solve r = -2*z + 1 + 3, t = p*z - 3 for t.
1
Let o be (4/(-6))/(7/(-21)). Solve -i + 1 = -2*x + 6, -5*i = o*x + 13 for x.
1
Let n be (-35)/(-21) + (-2)/(-6). Solve -2*l = -3*l + n*v + 6, 2*l - 5*v - 17 = 0 for l.
-4
Let w be (69/(-46))/(6/(-20)). Suppose j + 2*j - 3 = 0. Let y be j/(-4)*-2*0. Solve -w*c = b - 2*b, y = 3*c - 2*b - 7 for c.
-1
Let u = -173 + 202. Solve -4*c = -5*m - u, 0 = -2*m + 2*c + 2 - 14 for m.
-5
Let l = 2 + 2. Suppose -3*b - 5 = -l*b. Solve -w - 15 = -4*j, 2*j - b = -4*w + 7 for w.
1
Suppose 3*z - 3*l = -9, 17 = 5*z + 4*l - l. Suppose 3*u = -u + 120. Suppose -p + 8 - 5 = 0. Solve -5*o - 5*r = -u, 4*o - 24 + z = -p*r for o.
5
Let q be (-25)/10*8/(-5). Suppose -500 + 180 = -q*b. Suppose -4*x + b = -0*x. Solve h = -4*n - x, h + 2*n + 12 + 0 = 0 for h.
-4
Let q(t) = -t**2 + 4*t + 3. Let y(z) = z**2 - 5*z - 8. Let d be y(6). Let n = d + 6. Let k be q(n). Solve 4*o - 2*b = 8*o - 16, -k*b = -o - 3 for o.
3
Let h(d) = 2*d - 12. Let g be 3 + 1 + 1 + 3. Let y be h(g). Solve y*i = 4*a + a, 0 = a - 4*i for a.
0
Suppose 0 = s - 2*s + 3. Suppose -s*o + 10 = 2*o. Let i = 4 - -1. Solve 7 = i*b - m, -m = 4*b + o*m + 2 for b.
1
Let j(f) = 3*f - 3. Let c be j(5). Let l be (-81)/c + (-3)/(-4). Let r = 0 - l. Solve w - r*w + 6 = -4*s, 0 = w - 2*s for w.
2
Suppose 3*a + n + 11 = 7*a, -17 = -3*a - n. Solve a*q - 3*v - 26 = 0, 11 - 3 = -4*v for q.
5
Suppose i + i - u + 6 = 0, 2*u = 3*i + 10. Let l(x) = -4*x + 1. Let j be l(i). Solve 2*m = 2*z - j - 11, -2*z - 4*m - 