r c.
2
Suppose -53*s + 25 = -48*s. Let x = 10 + -1. Suppose 0*i = -3*i + x. Solve s*p - i = 2 for p.
1
Let d be 1*-2 - (3 - -16). Let u = d - -41. Suppose -h + 2*j + u + 10 = 0, -2*j + 38 = h. Solve -5*k + h - 9 = 0 for k.
5
Let b be (-2 + -1)/3 + -2. Let a be 6 + (b/3 - -4). Solve -4*m = a + 11 for m.
-5
Let n = -115 - -121. Solve -n*w - 25 = -w for w.
-5
Let b(x) = 5 + 0*x + 4 - x. Let l be b(0). Let f be l/(1 - -2 - 2). Solve -2*t + 5*t = -f for t.
-3
Let q be (0 - 11)/(2/(-4)). Let j = 45 - q. Solve 4*o + 3 - j = 0 for o.
5
Let s be (4/(-6)*-33)/2. Solve -4*g - 5 = s for g.
-4
Suppose -3*z - 45 + 18 = 0. Let d = z - -15. Suppose d*c = 2*c. Solve 0 = -c*x - 4*x - 16 for x.
-4
Let k(i) = -i**3 + 17*i**2 + 39*i + 1. Let t be k(19). Solve -6*o + t = -o for o.
4
Suppose -3*d = g - 12 - 9, -51 = -4*g - d. Solve 2*u - g = 5*u for u.
-4
Let u = 16 + -25. Let z be (-1)/(u/(-3) - 4). Solve -w + 2 = -z for w.
3
Suppose -4*b + 8 = -4*r, 4*r + 2 = b - 3*b. Let a be (-13 + (b - -2))/(-2). Solve a*p + 0 = -5 for p.
-1
Let l = 3 - 1. Suppose 0 = 3*g + o - 3*o - 2, 10 = l*o. Solve g*f + 3 + 1 = 0 for f.
-1
Let w(v) be the first derivative of v**3/3 + v**2/2 - v - 4. Let u be w(-3). Solve -3*j = -u + 20 for j.
-5
Suppose -7*j - 120 = -12*j. Solve 3*l - j = -9 for l.
5
Let t be (7 + -1)*(-40)/(-48). Solve t = 2*p - 3 for p.
4
Suppose -4*k + 14 = -5*k. Let f = 14 + k. Solve v - 3*v - 8 = f for v.
-4
Let t be (3*1)/(5/5). Suppose 2*g - t = g. Let b be -2 + (g - 1) + 0. Solve b = d - 3 - 0 for d.
3
Let m(q) = -4*q. Let h(z) = -6*z. Let l(y) = 5*h(y) - 8*m(y). Let j be l(1). Solve -20 = -7*g + j*g for g.
4
Suppose -12 = -4*k + 3*k. Solve -2*c - c = k for c.
-4
Suppose 2*b - 5*b + 15 = 0. Suppose -5*f - 8 = -5*l + 17, -b*l + 9 = -f. Suppose -9*t = -6*t - 6. Solve -1 - l = -t*d for d.
1
Suppose 0 = -5*i - 0*i. Suppose i = -11*v + 10*v. Solve f + 0*f = v for f.
0
Let i = 1 - -3. Let m(o) = -i*o + 0 + 3 + 3*o + 2. Let z be m(5). Solve -k + 0*k = z for k.
0
Suppose -3*d = -4 + 7, 5*d + 9 = u. Solve 0*v = 2*v - u for v.
2
Let c be 24/(-108) - 22/(-18). Suppose -11*n = -10*n - c. Solve n - 3 = -z for z.
2
Suppose 0 = -4*v + 20. Solve 0 = -4*k + 1 - v for k.
-1
Let i be 1/4 + 78/8. Let z(d) = d**3 - d - 3. Let u be z(0). Let k = u - -3. Solve -5*c - i = -k*c for c.
-2
Suppose 3*v = 5*v. Suppose 0 = y + n + 2, 8 = -v*y + y - n. Solve -j - y*j = -16 for j.
4
Let s(c) = 4*c + 9. Let n be s(4). Solve 0 = -4*a - a + n for a.
5
Suppose -6*i = -9*i - 96. Let v = -28 - i. Solve 2*b - 3*b = v for b.
-4
Let k(q) = -q - 3. Let n be (-1 - -6)*(-56)/35. Let t be k(n). Suppose 0 = -t*g + 3*g. Solve g = -2*a - a + 3 for a.
1
Let p(s) = -s**3 - 2*s**2 - 2*s + 1. Let m be p(-2). Solve 0*i - m = i for i.
-5
Suppose 4*p + 16 = -0*p, -p - 12 = -2*g. Let o = g + 6. Suppose 4*q - o = -j + 1, 4*j - 10 = q. Solve -q*a + 4 = -4*a for a.
-2
Suppose -3*o + 6 + 3 = 0. Suppose -o*i - 2*i + 20 = 0. Solve i*a - 8 = 12 for a.
5
Suppose 2*r = -3*r + 10. Suppose r*j - 5*j = -24. Suppose -q - j = -5*q. Solve n + n = q for n.
1
Suppose -2*j + 2 = -k, -2*j = -2*k - 0 - 8. Let s(v) = v**2 - 5*v + 2. Let b be s(5). Let u be ((-3)/k)/(b/20). Solve h = -0*h + u for h.
5
Let h be (-1)/2*0/(-1). Solve 2*t = -h*t - 8 for t.
-4
Suppose -h + 41 = 3*h - 5*a, 5*h - 5*a - 45 = 0. Suppose 0 = -4*q + h*u - u, q + 5*u = 0. Solve -2*y - 2 - 8 = q for y.
-5
Let h = -27 - -28. Solve h + 1 = -2*m for m.
-1
Let h = -8 + 8. Let d be (-4)/(-14) - (-374)/14. Let g be (-40)/(-18) - 6/d. Solve h*r + 4 = g*r for r.
2
Let n = 16 - 14. Solve -n = -4*h + 2 for h.
1
Let f be (-2)/4 + (-5)/(-2). Let x(k) = k. Let z be x(2). Let q = z - f. Solve i - 2*i = q for i.
0
Suppose y = -2 + 6. Suppose 0*m - 5*i = -2*m + 21, 0 = -5*m + y*i + 27. Let c be 2/3 + (-8)/(-6). Solve -m = -c*l + l for l.
3
Suppose -y - 3*y + 16 = 0. Solve -11 = y*p - 3 for p.
-2
Let d = 23 - 17. Solve 1 = y + d for y.
-5
Let h(d) = -d**3 - 2*d**2 - 5*d - 2. Let a be h(-2). Solve 5*w = a*w - 12 for w.
4
Suppose 4*u - 33 = -4*o - o, 4*u + 4*o = 28. Suppose t - 2*i = 10, u*i + 25 = 5*t - 3*i. Suppose 5*w - 15 = -t*w. Solve -12 = -w*g + 3 for g.
5
Let o = 14 + -11. Suppose t - 2 = -q, -o*t = -0*q + 5*q. Solve -3*f - t = 1 for f.
-2
Let p be (5/(-2) + 2)/((-1)/2). Suppose 0 = -w + 4. Solve -w*z + 3 + p = 0 for z.
1
Suppose -3*l + 10 = u, 5*u = 3*l - 20 + 106. Solve -2*p - 2*p - u = 0 for p.
-4
Let q = 17 - 9. Suppose 0*w - q = -2*w. Solve -w + 24 = 4*y for y.
5
Suppose 5*d - 12 = d, 3*o + d - 54 = 0. Let w = -14 + o. Solve 0 = -a - w for a.
-3
Let t(o) = o**3 - 3*o**2 + 2. Let c be t(3). Suppose -7*p + 20 = -c*p. Suppose -2*f + 3*f = 4*u + 11, 5*f + u = 13. Solve f*g + p = -8 for g.
-4
Let w(r) = 99*r - 3*r**2 + 4 - r**3 - 99*r. Let i be w(-3). Solve -16 + 0 = -i*z for z.
4
Let y be 6 + -2 + (18 - 20). Solve y*g - 4 = g for g.
4
Let l = -9 - -14. Suppose -l*q - 101 = -436. Suppose -f - g + 14 = 0, g = -5*f - g + q. Solve 4*o - f = 3 for o.
4
Suppose -3*n + 2*n = -1. Solve m - 2*m = -n for m.
1
Let c(t) = t + 1. Let l be c(1). Solve l = -u + 3*u for u.
1
Let j(a) = 3*a + 2. Let u be j(2). Solve r + 3*r = u for r.
2
Let c(g) = -12*g**2 + 2*g - 1. Let v be c(1). Let a(i) = -i**3 - 10*i**2 + 10*i - 10. Let w be a(v). Solve 3 = -x + w for x.
-2
Let b be 108/(-14) + 4/(-14). Let x be -3*(-5)/((-15)/b). Solve -r = -3*r - x for r.
-4
Let f = -1 - 8. Let y be f/27 + 10/3. Solve 0 = -y*k - 3 for k.
-1
Let k = -44 + 46. Solve k + 8 = -5*i for i.
-2
Let k be 4/(-2) + 3 + -1. Suppose 4*y + 8 = k, -2*g = 3*y + y - 30. Let p be (-4)/14 + 60/14. Solve p*z = -3 + g for z.
4
Let i = 22 - 18. Solve 2 = i*s - 14 for s.
4
Let f = -4 - -1. Let s be 1 + 1 + f - -4. Solve 16 = s*i + i for i.
4
Suppose 5*n + 22 - 51 = -2*f, -10 = 5*f - 4*n. Suppose f*x + 4 = 14. Let g = -28 - -28. Solve g*q - 25 = -x*q for q.
5
Suppose t - 4*t - 24 = 0. Let x(h) = h + 8. Let q be x(t). Solve 3*u + 2*u - 5 = q for u.
1
Let h = -127 + 132. Solve 0 = 4*n - 5*n - h for n.
-5
Let i = 8 + -9. Let m be i*(-1 - 1) - 0. Suppose 34 = 5*p - 4*g, -2*p - 3*g + 10 = -g. Solve m*h - 12 = p*h for h.
-3
Suppose -23 = 6*w - 41. Solve -w*o = -o for o.
0
Let t(q) = -q**3 - q**2 + q - 2. Let r be t(0). Let k = 2 + r. Solve k = -5*j - 5 for j.
-1
Let v = 52 + -45. Suppose 2*g - 4 - 8 = 4*h, -g + 16 = -4*h. Let q = v + g. Solve -q*l + 4 = 19 for l.
-5
Let c = -7 - -3. Let b be (-2)/c*0/(-3). Solve b = 5*m - 2*m - 15 for m.
5
Let b(g) = -g**2 - 12*g - 9. Let u be b(-11). Solve -u*p + 3*p + 2 = 0 for p.
-2
Suppose -2*a = 4*l - 18, 4*l - 7 = a + 2. Suppose 2*f + 9 = 3*i, -i - 6 = l*f - 4*i. Let g = f + 2. Solve -g*r = -r for r.
0
Suppose o - 45 = -g - 0*g, 102 = 2*g - 2*o. Let t be g/36 + 4/6. Solve -t*b = -0*b + 8 for b.
-4
Let p(m) = m**3 + 4*m**2 + 2*m - 2. Let w be p(-2). Solve 2*l = l - w for l.
-2
Let w = -105 + 105. Let m be 2/9 + (-32)/(-18). Solve -m = 2*g - w*g for g.
-1
Suppose -4 = 5*u - 29. Suppose -2*h = b + 6, -u*b - 1 = h + 2. Let q = b + 2. Solve -q*n + 12 = n for n.
4
Let f be -2 + (5/(-5) - -6). Solve -3*x + f = -0 for x.
1
Suppose t = -4*x + 10, 11 = -4*t + 3. Suppose b - 4*b = -f, -2*f = -x*b. Solve 3*l + b = -12 for l.
-4
Let h(q) = q + 1. Let s be h(5). Let r = s - 4. Suppose 0 = -28*u + 33*u - 15. Solve -15 = r*i + u*i for i.
-3
Suppose 0 = 3*z + 4*g - 38 + 9, 0 = 4*z + 3*g - 27. Let b be -3*((-5)/3 + -1). Solve 0 = -b*h + z*h for h.
0
Let t be ((-3)/(-9))/((-1)/(-3)). Suppose -4*c - t = o + 8, -2*c + o + 3 = 0. Let y be -2 - (-2)/c*-1. Solve -5 = -r - y for r.
5
Let f be 458/8 - (-2)/(-8). Let i = f + -32. Solve 0*q + i = -5*q for q.
-5
Suppose 9*x - 15 = 4*x. Solve s = x*s + 8 for s.
-4
Let t be (-2 - 14/8)*12. Let g = t + 76. Suppose 5*k - 4 - g = 0. Solve 2*l + 3 + k = 0 for l.
-5
Let j(l) = -l**2 + 7*l + 9. Let u be j(7). Solve u = 4*z + 25 for z.
-4
Let q be 5 - (-3)/(1 - 4). Let c(r) = -r**3 + 4*r**2 + 4. Let j be c(q). Solve -4 = j*u + 8 for u.
-3
Let o(y) = y**2 + 2*y - 5. Suppose a = 4*a + l + 15, 0 = -4*l - 12. Let t be o(a). Let v(h) = h. Let g be v(2). Solve t*n + 5 = g*n for n.
-5
Suppose -6*t = -8*t + 8. Suppose 5*b - t = 6. Solve -b*s = -4*s - 2 for s.
-1
Let x(r) = r**2 - 9*r + 4. Let a be x(9). Let t be a/(-14) + 37/7. Solve k + 2 = t for k.
3
Suppose 9*i = 10 + 17. Solve -i = -3*t - 0*t for t.
