r = 13 for j.
1
Let n(h) = -h**3 - 12*h**2 - 17*h + 35. Let i be n(-10). Solve 0 = -3*v - i*p - 15, 4*p = -p - 15 for v.
0
Let h(a) = a**3 - 2*a**2 - 15*a + 4. Let z be h(5). Solve 4*l = -z*p - 4, -4*p - 3 = -4*l + 17 for l.
2
Let j = -1 - -1. Suppose j*t - 3*t - 24 = 0. Let n = t + 8. Solve 25 = 5*x - 3*v, -3 = -n*x - 4*x - v for x.
2
Suppose 2*a = 2, -l - 8 = -0*l + a. Let d be 12/10*(-15)/l. Let y be 1/4 + (-6)/(-8). Solve 5*z + 5 = -2*o + y, 2*z + d*o = 2 for z.
-2
Let w be -1*((-1 - 1) + 3). Let r = 3 + w. Suppose -j = -r*j + 3. Solve 0*t - j*t = -2*s - 1, t + 5*s - 6 = 0 for t.
1
Let m(v) = 2*v + 22. Let n be m(-10). Let g be (0/(-1 + n))/(-2). Let s = 8 + -3. Solve 0*y = 4*a + s*y + 10, g = 3*a + y + 2 for a.
0
Suppose 36 = 2*v + 34. Let u be (10 - v)/((-1)/(-5)). Suppose -5*b - 15 = -u. Solve b*j + a = j - 22, -3*a - 11 = 4*j for j.
-5
Suppose 0 = 17*o + 83 - 389. Solve -6*n + o = -5*n - 3*s, -3*n + 5*s = -34 for n.
3
Suppose 15 = 21*z - 18*z. Solve -4*t = 3*r - 20, -7*r - 2 = -z*r - 5*t for r.
4
Let h be 5/10*-2 + (6 - 3). Suppose -110 = -5*m - 3*f, -h*m - 3*f + 60 = m. Solve -k - m = 3*k + 5*j, 0 = -k - 5*j - 10 for k.
-5
Suppose 0 = 2*z + 4*s - 5 - 1, 3*s - 9 = -3*z. Solve -l + 3*d = -z, -3*d + 2 = -4*d for l.
-3
Suppose 2*b - 148 = -48. Let l(q) = b*q - 28*q - 27*q - 12. Let f be l(-3). Solve -f*o + 6*u + 24 = 2*u, 2*u = -6 for o.
4
Let a = 48 + -47. Let y(n) = 3*n. Let d be y(a). Solve 4*i - 11 = 2*v + d, -13 = v - 5*i for v.
-3
Suppose -7*p + 7 = -6*p. Let q = p - 5. Let a = 2 - q. Solve -2*u - 4*k = 0, -4*k + 4 = -a*u + 3*u for u.
4
Suppose -j = -3*u + 11, -5*j + 2 = -3*u + 9. Solve 5*k - 4*k + 8 = -5*w, 18 = -u*w + 5*k for w.
-2
Let c(x) = -x**3 + x**2 - x + 5. Let i be c(0). Suppose 4 = i*d - 6. Solve -d*j = -3*q - 17, 3*j + 1 = -2*q - 6 for q.
-5
Let v = -20 + 10. Let o be (-6)/v + 924/35. Suppose 0 = 2*j + 3*m + 3, 5*m + o = 4*j. Solve -3*s + 4*n = -17, 4*s - 6 = -0*n - j*n for s.
3
Suppose -z = o + 2, 2*z + 10 = 5*o + 3*z. Let x be -3 + 9 + (-13 - -10). Solve i + 12 = x*k, -7*k + 3 = -3*k + o*i for k.
3
Suppose 5*h = -2*p - 72, 0*h + 4*h + 51 = 5*p. Let z be h/3*(1 + -4). Suppose 2*a - 2*j + 6 = j, 0 = -4*j + 8. Solve l + 2*t - z = 7*t, a = l - 4*t - 11 for l.
-1
Let f be -2*(4 - 3)*-1. Suppose x = f*x - 3. Solve -x*i - k = -3*k + 1, -4*k = 4 for i.
-1
Suppose 5*f - 16 = 4*f. Solve -g - f = -3*s, -3*g = 4*s + g for s.
4
Suppose -12*a - 64 = -100. Solve 2*x + 2*x + 10 = -2*k, -4*x - a = -5*k for x.
-2
Let p(d) = d**2 + 38*d + 357. Let i be p(-16). Solve 4*t + z + 3 = -11, -t = -i*z - 7 for t.
-3
Suppose -2*y + 25 = 3*i - 2, 3*i = 5*y + 27. Solve -2*s - 8 = -5*p, 4*p - i*p + 16 = -4*s for s.
-4
Suppose 34*a = 31*a + 24. Let f be ((-28)/6)/((-6)/9). Suppose t = -3 + f. Solve 3*j - 43 + 11 = -5*i, 0 = t*j - 2*i - a for j.
4
Let q be -8*2*(-3)/(-12). Let p be q*(-90)/(-40)*2/(-6). Solve 5*t - 2*n = 2, -2*t + 2*n - p*n + 8 = 0 for t.
2
Let h be 15 - 13 - (1 - 10). Suppose 8*u + 81 = h*u. Let j = -25 + u. Solve -4*o + 12 = 3*q, j*o + 3*q = -3*o + 15 for o.
3
Let q(l) = 4*l - 5. Suppose 3*i - 6*i = -3*x, 0 = -5*x - 4*i + 18. Let r be q(x). Solve 0 = 5*z - 3*c + 20, r*z - 2*c = 7*z + 16 for z.
-4
Let g = 40 - 38. Solve 4*h + n - 16 = -0*h, -3*n + 8 = g*h for h.
4
Let d be (-19)/(-9) + 6/(-54). Solve -3*f - 17 = 5*m, -d*m = 2*f + 2 + 4 for m.
-4
Let g be (30/8)/(16/(1792/21)). Solve -4*t + 3 + 1 = -3*d, -g = -5*t for d.
4
Let z(s) = -s - 4. Let o be z(-4). Suppose 32 = 60*r - 52*r. Solve -4*q - 4*f = -o*f + 40, 30 = -2*q - r*f for q.
-5
Let i = 66 + -40. Suppose 2*c = i - 20. Suppose 0 = 4*b - 110 - 2. Solve 4*t - c + 7 = -4*r, 4*r = 2*t - b for t.
4
Let i(p) = -p + 20. Let x be i(-6). Let z = x - 1. Solve -3*l - 11 = 5*o - 4*l, -3*o - 4*l - z = 0 for o.
-3
Let d be ((-15)/12)/((-40)/320). Solve 4 = -z, -z - d + 5 = n for n.
-1
Let j be 2/(-4)*(-4 - -2). Suppose p = -j - 4. Let a be -2 + p*(-8)/20. Solve -u - 1 = -3*h, -u + a = h + 5 for u.
-4
Let d = 2 + -24. Let v be (-12)/198*-3 + (-62)/d. Solve -4*x = 3*w - 9, -4*x + 2*w - w = v for x.
0
Suppose -3*d + d + 202 = 2*p, 0 = -2*p - 3*d + 198. Let f be p/84 - (-166)/8. Solve 1 = -3*x - w - 15, 3*w = 5*x + f for x.
-5
Suppose 26*h - 192 = -38*h. Suppose 3*f - 4 - 2 = 0. Solve 0*m + m - h = 0, -a = f*m - 6 for a.
0
Suppose -v = p + p - 2, v = 5*p - 19. Solve 4*i = -4*m - 28, 8*i - m = p*i - 5 for i.
-2
Let h = 21 + 79. Let u = -43 + h. Suppose u = m + 22. Solve 5*l + m = -2*w + 7*w, -l - 19 = -5*w for w.
3
Suppose -b - 5*w - 8 = 0, 5*b - b = 2*w + 12. Let n = 41 + -14. Let h = n + -12. Solve -h = 3*v - 3*d, b*v - 2*d + 10 = -d for v.
-5
Suppose 53*f = 40*f + 52. Solve 0 = 4*u - 2*t + 2, 2*u - 5 + f = 3*t for u.
-1
Let d be (7 - 9)/(2/(-22)). Suppose -6 = 3*l + 36. Let f = l + d. Solve 0 = -2*h + f, 5*i - 33 = -h - h for i.
5
Suppose 22 = 3*d + 43. Let i(p) = -8*p - 51. Let q be i(d). Suppose -2*v + 0*v = 0. Solve -m + q = v, -5*b - m + 17 = -b for b.
3
Suppose -3*t = -3*c - 6*t + 27, -2*c + 2*t + 10 = 0. Suppose 0 = -2*u, -2*f - u = -c*f + 25. Solve r + 3 = -q + 1, f*r = 4*q + 26 for q.
-4
Let r(a) = a**2 - 19*a + 53. Let t be r(16). Solve p + 1 = -2*c - 2, -p = -t*c - 11 for p.
1
Let i(r) = 15*r + 173. Let f be i(-11). Solve -f = -4*l, -10*w + 4*l = -5*w - 17 for w.
5
Let q be 5/(-4 + (-26)/(-4)). Solve q*y + 11 = 5*b - 14, 19 = 3*b - 2*y for b.
3
Suppose -3*p + 5*o + 28 = -9, 3 = p + 3*o. Solve -p*h + 26 = -3*g - 5*h, -27 = g - 5*h for g.
-2
Let c be (-2)/(-2) + 2/2 - -1. Let b be ((-14)/(-49))/(0 - c/(-42)). Solve -n + 20 = b*v, 3*n - n = -v + 5 for v.
5
Suppose -2*m = -2*w + 6, -5*w + 23 = -m - 0*m. Suppose -w*a + 24 = -a. Solve -t = 2*t - 5*s - 12, a = -3*t - s for t.
-1
Suppose 0 = -3*z + 5*z + 2*n - 12, -6 = z - 2*n. Solve m + 13 = z*c, -c = -5*m + 4*c - 40 for m.
-3
Suppose -23*h + 15*h = -32. Solve 5*t + l = h*l - 19, 4*l + 18 = -2*t for t.
-5
Suppose 0 = l - 5*t + 1, -t + 0*t = -2. Solve -z = 3*o - 7, z - 5*o = -0*o - l for z.
1
Let p be -1 + 4 - (-15)/25*-5. Solve 4*b - 2 = 2*d + 6, 4*b = p for d.
-4
Suppose -44 = -2*b - 30. Suppose -5*p - 3*z = -0*z - b, -4*p + 10 = -2*z. Solve 3*w = p*x + 14, 5*x + 0*x + 5 = 0 for w.
4
Let v be (-9)/(-1) + (-7)/(21/9). Solve 0 = d + 3*a - 3, 0*d + 5*a - v = -2*d for d.
3
Suppose 0 = -2*g + 5*p - 19, g + 4*p = 3*p - 27. Let d be ((-2)/(-11) - 18/g) + 2. Solve 15 = 3*l - 2*c - c, -3 = d*c for l.
4
Suppose -12*n + 225 = 57. Let k be 2/2*(0 + 5). Solve -3*d - k*l - 27 = -0*l, -n = 2*d + 2*l for d.
-4
Suppose 28 = -34*h + 62*h. Solve 5*f - 30 = -5*l, 5*l - f = l - h for l.
1
Suppose -15 = -11*y + 6*y. Suppose y*i + 36 = -i + 5*k, 5*k - 24 = i. Let h be ((-25)/(-20))/((-1)/i). Solve 3*n + h*x + 14 = -n, 3*n + 4*x = -11 for n.
-1
Let f(a) = -10*a + 7 + 6*a - 36. Let v be f(-8). Solve 5*c = o - 18, -v*o + 2*c = c - 12 for o.
3
Let o = -779 + 781. Solve v = -6*s + o*s - 13, -s = -5*v + 19 for v.
3
Let w(i) = -i + 10. Let c(n) = -n + 11. Let d(o) = -4*c(o) + 5*w(o). Let h be d(6). Solve -7*b + 3*b + 12 = h, 2*m - 25 = -5*b for m.
5
Let z = 5 + -9. Let w = z - -10. Suppose w = -0*m + 2*m. Solve -n - q - 3 = 0, m*n + 4 = 5*q - 5 for n.
-3
Let m = 2171 + -2164. Solve -2*g = r + 8, 5*g + r = 5*r - m for g.
-3
Let x be ((-5 + -7)/(-3))/(-2 - -3). Solve 4*u + 8 = x*i, -u + i + 6 = 4*i for u.
0
Let z be ((-16)/10)/(11/(220/(-2))). Suppose -4*t + 5*q = -41, -t + 4*t - 5*q - 37 = 0. Solve -6*x + 3*x = t*p - 31, 4*x - z = p for p.
4
Suppose -62*b = -291 + 43. Solve -4*z - q = 17 + 4, -b*z + 5*q + 9 = 0 for z.
-4
Suppose -2*p = -17*p + 30. Solve -5*f - 1 = -l, 3*l - 1 = p*f + 2*l for f.
0
Let n be 13 + (-17 - (8 - 16)). Solve -2*f - 3*q = -19, 4*f - 3*q + n*q = 13 for f.
2
Suppose 1 = -5*y - 3*z, 2 + 8 = -5*z. Solve t - 11 = 5*h + y, 0 = 2*t - 5*h - 14 for t.
2
Let q(a) = -a**2 - 9*a - 10. Let m be q(-7). Suppose z - 6*g = -2*g + 41, -m*g - 116 = -4*z. Solve 3*c - 4*k - 3 = z, -2*c + 3*k = -20 for c.
4
Let z = -305 - -309. Solve z*o + 2 = -2*h, 4*h - 3 = 5*o + 19 for o.
-2
Let t be (-849)/(-27) - 8/18. Solve 3*s - 4*s + 23 = -5*f, -3*s - t = 5*f for s.
-2
Suppose -5*a - 21 = g, 2*a - 6*a = 3*g + 8. Suppose -1 - g = -c. Solve -q - 3 = c*w + 7, -4*q = -3*w - 29 for q.
5
Let l(f) = -f**3 + 2*f**2 - f + 3. Let w be l(0). Solve 5*h = -5*n + 20, -2*h - 25 = -4*n