 for j.
-2
Suppose -51*r = -52*r + 3. Solve 6 = -6*i + r*i for i.
-2
Let s be 2*1 - (-14)/(-7). Let m be (-6 - s)*8/(-12). Let b be -2*(-2 + 2 - m). Solve -5*r = -3*r + b for r.
-4
Suppose 5*d + 22 = 2*z, 28 = 5*z + d - 0*d. Solve -5*q = -z - 9 for q.
3
Suppose 7*n = -3*x + 12*n - 16, 3*x - 19 = -2*n. Solve x*s = 3*s + 3*s for s.
0
Let c be (-4)/(1/3*-2). Suppose -12*k - c = -14*k. Solve -5 = -k*l + 1 for l.
2
Let n be (-113)/(-2)*2 + 0. Suppose -n*g + 117*g = 20. Solve -7 + 2 = -g*c for c.
1
Suppose -2*o + 3*w + 21 = 0, 125*o - w = 122*o + 14. Solve o - 7 = 2*i for i.
-2
Suppose 3*p - 8 = -v, 3*v - 7*v + 5*p = 2. Suppose 0 = 3*c - v*c - 94. Let y be 10/(-15) + c/6. Solve -y = 2*d - 5 for d.
-5
Let u(t) = 3*t - 15. Let g be u(-17). Let n = 33 + g. Let l = -23 - n. Solve 9*w + l = 4*w for w.
-2
Suppose -o + 4 = -2*q - 0, -3*q = 2*o - 1. Let c be 168/20 + o/(-5). Suppose c = 4*m - 0*m. Solve -m*a = 2*a - 20 for a.
5
Suppose 4*j = -j - 4*z, 5*j - 3*z = 35. Solve -46*x + 45*x = -j for x.
4
Let c(t) = 56*t**2 + 2*t - 2. Let n be c(1). Suppose f = -7*f + n. Let d(s) = s**2 + 7*s + 8. Let r be d(-6). Solve -f = r*p - 15 for p.
4
Let p be (-2)/(7/(-2) - -3). Suppose 0 = -n - 5*c - 3 - 3, 16 = 2*n - p*c. Suppose i - n*i + 6 = 0. Solve i + 0 = g for g.
2
Let s(w) be the third derivative of -w**6/120 + w**5/12 - w**3/2 + 6*w**2. Let u be s(2). Suppose 3*h - u = -0*h. Solve 0 = -h*r + 4*r - 1 for r.
1
Suppose -5*r + 13 + 7 = 0. Let s be 47/r - (-1)/4. Suppose -3*p = -2*n - s, -5 - 40 = -5*p - 5*n. Solve -4 = 2*i + p for i.
-5
Let m be (-477)/(-6)*2/(-12)*-8. Let g = m - 104. Solve 0 = g*a + 3*a for a.
0
Suppose 10 = -7*o + 12*o. Solve 0 = -o*h + 6*h - 12 for h.
3
Let z be (-3)/((-18)/(-24)) - (-7)/1. Solve -3*i = -0*i - z for i.
1
Let h be -4 + 4 + -1 + 0. Let a(f) = -f**3 + f**2 + f + 1. Let i be a(h). Solve 0 = l - 5 + i for l.
3
Suppose -4*w - 60 + 84 = 0. Suppose -10 = -2*g - w. Solve 4*r - 3*r = g for r.
2
Suppose -4*f + 6 = -2*c, 3*f - 5*c + 6 = -7. Suppose -2*u + 6 = 2*v, f*v + 0 = 5*u - 15. Solve 4 = -m - v for m.
-4
Let b = 3 + -3. Let v be (-25)/(-4) - 33/132. Solve -2*z = -b*z + v for z.
-3
Let x(j) = 2*j + 1. Let s be x(1). Let o be (-2)/(-3) - (-7)/s. Suppose o*l = l + 8. Solve -l - 1 = -b for b.
5
Suppose w + 2*t = 9, 3*w - 11*t = -9*t + 43. Solve -5*r + 7 = -w for r.
4
Let k(f) = -8*f - 2. Let c(z) = -1. Let q(o) = 6*c(o) - k(o). Let v be q(1). Solve 0*u + v*u = 16 for u.
4
Let h be 6 + (55/(-33))/((-1)/21). Solve -h + 35 = 3*d for d.
-2
Let z = 14 - 11. Suppose -z = t - 4*t, 4*v + 1 = t. Solve v*u = 2*u for u.
0
Let n = -240 - -240. Solve 11*a = -n*a for a.
0
Let w(q) = q**3 - 15*q**2 + 24*q + 29. Let g be (-24)/(-2) + (10/2)/5. Let n be w(g). Solve -n*y + 1 = -11 for y.
4
Let t be (-36)/(-90)*(-2)/4*-10. Suppose -t*p = -2*x + 7*x - 16, -3*x + 14 = -p. Solve -g - 1 - x = 0 for g.
-5
Let b = -562 + 569. Solve -27 + b = -4*i for i.
5
Suppose -18*j + 5*j + 39 = 0. Let a(w) = -w**2 - 11*w - 6. Let b be a(-10). Solve -15 = b*f - j for f.
-3
Let r(v) = 2*v**2 - 24*v - 49. Let l be r(-2). Solve -5*c = -l*c + 4 for c.
2
Suppose -5*u = -104 - 121. Suppose -2*c - u = -2*w - w, c = 0. Solve 4*d = 9*d - w for d.
3
Let f(d) be the second derivative of d**4/6 - 4*d**3/3 + 2*d**2 + 4*d. Let c be ((-16)/(-1))/4 + 0. Let o be f(c). Solve o*a - 5 = -a for a.
1
Let j be (-2 + (0 - -1))*-3. Suppose -6*q + 16 = -4*q. Let w be j*(q/(-4) + 3). Solve -p + 20 = w*p for p.
5
Suppose 12 = -3*q + 3, 5*q = -5*f - 5. Let o be (-5)/(-15) - 17/(-3). Suppose f*g - o = -0*g - n, n = 2. Solve -20 = -g*k + 6*k for k.
-5
Suppose -3*t + 4 = 1, 2*l - 4 = 2*t. Let u be 3 + -4 - -9 - 3. Solve -u = -l*i + 4 for i.
3
Suppose 3*m + 10*j = 8*j + 20, 4*m + 3*j = 26. Solve -3*n = -n - m for n.
4
Let h be (7/2)/((-9)/(-18)). Let t = 8 - h. Let o be (-7)/(-1*(2 - t)). Solve o = 2*k + 1 for k.
3
Suppose 0 = -3*s - 9, 3*s = -3*n - s + 12. Solve 3*l - 4 = n for l.
4
Suppose -5 = 3*f - 0*k + 5*k, 2*k + 2 = f. Suppose f = -p + 10 - 10. Solve p = -0*z + 3*z + 6 for z.
-2
Let f be -6*((-6)/(-9))/(-1). Suppose 5*g - 38 = -f*h, 2*g + 12 = -h + 29. Suppose i - 6*i - 5*r + g = 0, -7 = -4*i - 5*r. Solve i*m + 19 = 7 for m.
-4
Suppose 4*i = 5*i - 5. Let k(l) = -5*l + 30. Let u be k(i). Solve u*m = 2*m for m.
0
Suppose -n = c - 14, -5*n + 14 = -2*c - 21. Suppose k = -4*p - 2, 4*k + 0*p = p + n. Solve 0*o = k*o - 4 for o.
2
Let r(w) = w**3 + 4*w**2 + 4*w + 4. Let v be 1 + 1 + 20/(-4). Let c be r(v). Suppose 5*x - 31 + c = 0. Solve d + d = -x for d.
-3
Let j = -88 + 104. Suppose q - 21 + j = 0. Solve -q*n + 7*n + 10 = 0 for n.
-5
Suppose 48 = -55*g + 58*g. Solve g*b + 5 = 37 for b.
2
Let g be (-188 + -4)/(-4) - 1. Let d = 49 - g. Solve z = d*z - 2 for z.
2
Let y = -11 - -34. Let w be (y + -22)*(1 - -1). Let i be w*(-3 + 2) - -4. Solve 3*d + 25 = -i*d for d.
-5
Let u(l) = -8*l + 27. Let i be u(4). Let w(m) = 2*m**2 + 9*m - 5. Let y be w(i). Solve y = v - 0*v + 3 for v.
-3
Let s be (-5 - -2)/(4/(-4)). Suppose -5*z - 3*r + 2*r + 4 = 0, 5*z = -2*r + 3. Solve -s*p + z = -2 for p.
1
Let b be 21/6 - 5/(-10). Suppose b*o = -16 + 52. Suppose 0 = -13*i + o*i + 32. Solve -3 + i = -5*u for u.
-1
Let h(p) = p**3 + 4*p**2 - 5*p + 4. Let q be h(-5). Let k = 6 - q. Suppose -521*s = -510*s - 110. Solve -2*r - s = -k for r.
-4
Let p = 2 - 4. Let a(t) = -t**2 - 7*t - 5. Let q be a(p). Solve 4*u + 25 - q = 0 for u.
-5
Let r = 48 - 83. Let n = r - -53. Suppose 0 = -4*l + n - 2. Solve -3 = 3*k - l*k for k.
3
Let m be ((-56)/(-1))/7 + -2 + -2. Suppose c = -2*c + 6. Solve -m*z = -5*z + c for z.
2
Let a(g) = 3*g**3 - 5*g**2 + 2. Let f be a(2). Let h be (-2 + f)*1/6*3. Solve -3*q = h - 8 for q.
2
Suppose -o = -30 - 7. Let n = o - 32. Solve -n*m + 3 + 7 = 0 for m.
2
Let m(f) = 10*f - 114. Let v be m(12). Solve -3*r = -v*r for r.
0
Suppose -1 = -2*d + 3. Suppose 0 = d*s + s - 135. Let w be (-4)/(-30) + 399/s. Solve -q - 2*q = -w for q.
3
Suppose -3*c - 35 = -5*k + 3, -5*k + 36 = -c. Suppose -3*z = 5*t - k - 7, -4*z - 16 = -2*t. Solve y + 0 = t for y.
4
Let j be 0 + 8/(-1) - -8. Solve 12*y - 96 + 36 = j for y.
5
Let d be (15/10 + -4)/((-1)/16). Suppose 0 = -35*z + d*z. Solve x + x = z for x.
0
Let j be 4/(-8)*(2 + -253*2). Solve j - 254 = 2*y for y.
-1
Let q(n) = n**2 + 2*n + 6. Let o be q(3). Let b = -7 + o. Suppose 0 = -u + 2 + b. Solve u = -0*j + 4*j for j.
4
Let r be 4 + -7 + (-54)/9 + 14. Let i(l) = 4*l + 6. Let k be i(5). Solve -1 = -r*a - k for a.
-5
Let c be (-10)/(1 - (1 - -2)). Let i(z) = -z + 1. Let b be i(-3). Suppose b*v = c*v - 2. Solve 0 = v*w + w - 9 for w.
3
Let s(a) = a**3 + 20*a**2 + 35*a - 16. Let x be s(-18). Solve x*u - 5*u = 12 for u.
-4
Let r = 349 - 334. Solve r*l + 10 = 20*l for l.
2
Let s(b) = -3*b - 17. Let a be (1 + (-21)/3)*1. Let o be s(a). Solve 3*f + 8 + o = 0 for f.
-3
Let w = -14 - -12. Let h be w/(-5) - 23/(-5). Suppose -s + 20 = -5*u + 4*s, -4*u = h*s - 29. Solve 0*r + u = -r for r.
-1
Let m(l) be the third derivative of -l**5/60 + l**4/12 + 4*l**3/3 - 35*l**2. Let o be m(0). Solve 5*c + o = -17 for c.
-5
Suppose 2*n + 0*n = 32. Suppose -4*b + 9*b + 2*a = n, -4*b + 20 = 4*a. Let h(c) = 4*c - 10. Let r be h(3). Solve i = b*i - r for i.
2
Suppose -18*v = -7*v - 407. Solve v*t + 9 = 34*t for t.
-3
Let u be (-6)/((-5)/(-5))*3/(-6). Let m be (-4 + 4)*u/(-6)*-1. Solve -i - i - 8 = m for i.
-4
Let d(h) = -h + 8. Let l be d(4). Suppose 0 = l*s - 30 - 2. Solve z = -z + s for z.
4
Let w be 3/5 - 1*(-12)/5. Let s = 25 + -20. Solve s*x - 8 = w*x for x.
4
Suppose 0 = -q + 5*i + 20, 2 - 14 = -5*q + 3*i. Let n be (2 - q)/((-6)/(-21)). Let t = -5 + n. Solve -r = -0*r - t for r.
2
Suppose 0*j = -j + 5. Suppose -j*h + 15 = -0*z + 5*z, 0 = -3*z. Let m(g) = -3*g + 68. Let t be m(22). Solve -4 = h*b - t*b for b.
-4
Suppose -6*x = -3*x. Let y = 97 - 94. Solve -y*h + x*h = 0 for h.
0
Suppose -4*a = w + 4*w - 324, -a = -4*w - 81. Let x = a - 57. Solve -x = 5*h - 4 for h.
-4
Let b = -366 + 405. Solve 14*v - b*v + 75 = 0 for v.
3
Suppose -5 = -g - c, -3*g + 0 + 18 = 4*c. Solve g*d = -4*d for d.
0
Let n(d) be the third derivative of d**5/20 - d**3/6 + d**2. Suppose -2*a = -5*x + 23, -2*x + 7 = 2*a - 5. Let q be n(a). Solve q*w - w = 0 for w.
0
Suppose 4 = -5*j - 6. Let f be j/5 - 81/(-15). Solve 3 + 12 = -f*z for z.
