 Let y be j(3). Suppose -y*t - 10 = -17. Solve -q = t + 3 for q.
-4
Let y = 25 - 11. Suppose 3*s - 5*q = 2*s + y, -q = -3*s + 14. Solve -s*p + 6 = 26 for p.
-5
Let s = 19 - 15. Let i be (-6)/(-8)*s*(0 - -1). Solve -i*v + 1 = -5 for v.
2
Let t(c) = c**3 - 12*c**2 + 16. Let s be t(12). Let i = 19 - s. Suppose -6*h + i*h = -9. Solve -u + 16 = h*u for u.
4
Suppose -3*p = -3*r - 3, 177*r = -5*p + 179*r + 11. Solve 0 = -3*x - 0 + p for x.
1
Let t(c) = -3*c + 1. Let l be t(-1). Suppose 0 = -4*a - 7*d + 3*d - l, -4*a - 3*d = 0. Solve 6*q = a*q for q.
0
Let p be (24/10)/((8/30)/2). Let o = p - 2. Let r(d) = d**3 - 7*d**2 - 8*d + 4. Let z be r(8). Solve 4 - o = -z*c for c.
3
Let i(g) = -g**2 + 8*g + 9. Let x be i(9). Let p = -7 - -7. Suppose 3*a - 3 = 3*j, -3*a - 3*j - 2 - 1 = p. Solve -2*c + x*c - 4 = a for c.
-2
Let u(j) = j + 2. Let p(c) = -2*c - 3. Let g be p(-2). Let b be u(g). Solve -b*w + 6*w = 0 for w.
0
Let s = 34 - 30. Suppose -s*q = q - 25. Solve -q*b = 7 + 8 for b.
-3
Let v = -83 + 65. Let y = -14 - v. Solve -y*g + 8 = -4 for g.
3
Let v = 28 - 32. Let b be (16/6)/(v/(-6)). Solve -k + b = -0*k for k.
4
Let v be (3/6 + -1)*-2. Let u(q) be the first derivative of q**4 + 2*q**3/3 - q**2/2 - 2. Let s be u(v). Solve -3*d = -2*d + s for d.
-5
Let j(k) = k**3 + 37*k**2 - 3*k - 99. Let w be j(-37). Solve s - w = 4*s for s.
-4
Let x be 8 + (5 - 1 - 8). Suppose -m = -n - 10, x*n + 8 = -m - n. Solve -5*d - m = 13 for d.
-4
Let x(m) be the first derivative of -m**2/2 - 4*m + 4. Let l be x(-6). Let f be (8 - (-9)/(-3)) + 1. Solve -s = f - l for s.
-4
Let d(g) = -10 + 2*g + 9 + 3*g**2 - 4*g. Suppose 0 = v - t + 2, 1 = t - 0. Let m be d(v). Solve -m*w = -3*w for w.
0
Let b = 37 + -35. Suppose v = n + 2, 8*v - b*n = 3*v + 16. Solve h + h = v for h.
2
Suppose 4*i + 5*d - 14 = 0, 0 = -2*i - 7*d + 12*d + 22. Solve -i*f - 21 = -27 for f.
1
Suppose -6*q + 32 = -2*q + 2*o, 3*o = 3*q - 6. Solve q = 4*h + 2 for h.
1
Let r be (6/9 - 0)*15. Suppose -887*z = -872*z. Solve z = 5*b - r*b for b.
0
Let n(x) = 2*x**2 - 29*x - 9. Let t(v) = v**2 - 15*v - 4. Let b(j) = -6*n(j) + 13*t(j). Let h be b(21). Solve 0 = -q + h*q - 3 for q.
3
Suppose -62*s + 60*s + 12 = 0. Solve 6*m = 8*m + s for m.
-3
Let t = -103 + 107. Solve t + 4 = -2*d for d.
-4
Let p(n) = 2*n**2 + 8*n - 30. Let f be p(3). Let o be f/66 - (-1)/(11/42). Solve m + 9 = o*m for m.
3
Let u = 15697 - 15695. Let s be (-3)/2*(-2)/1. Solve -j + s*j = u for j.
1
Suppose -3*x + 46 + 44 = 0. Solve -x = -2*j - 4*j for j.
5
Let b = -6 - -9. Suppose -3*q - b = -30. Suppose -l + q - 7 = 0. Solve -l*r + 0*r = 0 for r.
0
Let p(g) = -4*g - 15. Let b be p(-4). Suppose 6*v = 7*v - b. Solve 2*n - 5 = v for n.
3
Let c(w) = -w**2 - 7 + 16*w + 19 - 10. Let m be c(16). Suppose 3*o + m - 17 = 0. Solve 2*v + o = -5 for v.
-5
Let v = -78 + 77. Let c be 16/(-48)*(v + -29). Solve -c = -2*l - 0*l for l.
5
Let p be (3 + 44/(-12))/((-4)/192). Solve 0 = -30*i + p*i - 4 for i.
2
Suppose -5 = -5*o - 5*x, 0 = 5*o - 2*o + 4*x - 2. Suppose 2*g = 4*y - 18, 0*y + o*y - 11 = -g. Solve -y*f + 19 = 4 for f.
3
Suppose f = -8*f + 27. Suppose 0 = 5*m + l - 2, f*l = -11 + 2. Suppose 5*x - 3*k = 6, 3*k = -2*x - 5 - 1. Solve x*r + m = r for r.
1
Let g(h) = -1 - 8*h + 34 - 19 + 7*h. Let b be (-96)/(-9) + 2/6. Let n be g(b). Solve -10 = -n*p + 5*p for p.
-5
Let w = -33 + 34. Let x(u) = 4*u**3 - u**2 + u - 1. Let f be x(w). Solve 8 = s + f*s for s.
2
Let p = -20 - -20. Let d be (-6)/9 + (-28)/(-6). Suppose -8*s - 110 = -30*s. Solve d*x - s*x = p for x.
0
Suppose -31*g + 29*g = 240. Let u be (-1)/(-8) - 225/g. Solve k = u - 4 for k.
-2
Let j be (6 + -3 - 7 - -4)*-1. Let w(u) = u**3 + 4*u**2. Let l be w(-4). Suppose -12 = -l*a - 3*a. Solve -a*h + 3 - 11 = j for h.
-2
Let m(x) = 2*x**2 - 35*x + 21. Let f be m(17). Let r be ((-64)/(-24))/(f/6). Solve 0 = j - 0 - r for j.
4
Let g(u) = u - 2. Let m be g(4). Suppose -1 = -m*h - 9, 2*o + 12 = -3*h. Suppose 0 = q + i - 10, -5*q + o*i + 43 = -2*i. Solve -3*s - q = -3 for s.
-2
Let g(k) = -k**2 + 5*k - 1. Let b = 19 - 15. Suppose m - 3*z + 5 = 0, -6 = -b*m - 3*z + 19. Let o be g(m). Solve o*h = 5*h + 4 for h.
-2
Let k = 1084 + -1021. Solve -k*i = -60*i for i.
0
Suppose -r = 5*y - 4*r - 15, 0 = 3*y - 4*r - 9. Let f(w) = 1 - y*w + 3*w + w + 10. Let j be f(-8). Solve 0 = j*z - 16 + 1 for z.
5
Suppose -3*y - 25 = -8*y. Suppose 2*i + 5*p = 2*p + 7, -5 = y*p. Solve 3*u = -7 - i for u.
-4
Suppose 2*f = -4*s + 94, s - 14 = -3*f + 2. Suppose s + 11 = 4*r. Let w = r + 1. Solve -3*l - w = -5*l for l.
5
Suppose 0 = -2*y - 6, 32 - 13 = k + 3*y. Solve -17*q + 10*q + k = 0 for q.
4
Let q(z) = 21*z + 29. Let i be q(-1). Solve i*b + 14 - 22 = 0 for b.
1
Let n(a) = -14*a - 149. Let x be n(-11). Solve -x*t - 3*t = -8 for t.
1
Let a be (-854)/(-26) - (-64)/416. Solve -16*g = -5*g + a for g.
-3
Suppose 6 = 3*q - 0*q. Suppose 61*g - 55*g - 42 = 3*v, 30 = 5*v. Solve -q*x = g - 2 for x.
-4
Suppose 6*b - 4*b - 8 = 0. Let j be (b - 1)*(-2 + 3). Solve 2 + 4 = j*a for a.
2
Suppose 7*n + 85 = 358. Let s = -35 + n. Solve -s*i - 13 = -1 for i.
-3
Let d be 8*(4 - 35/10). Suppose -3*c = d*z - 4, -3*z = -c + z + 12. Solve -r + 15 = c*r for r.
3
Let j(n) = -2*n + 20. Let m be j(5). Suppose -k = -0*k - m. Solve 7*v - k = 2*v for v.
2
Suppose -91*s + 57*s = 0. Solve 7*i + s*i = -i for i.
0
Suppose 4*z = 578 + 82. Let g = -159 + z. Solve -g - 10 = 4*f for f.
-4
Let t be (-3)/((-9)/11) + (-18)/27. Solve -t = -2*a - 1 for a.
1
Suppose 5 - 19 = 2*r. Let l = r + 7. Let o = 2 - l. Solve -o*c = 2*c + 8 for c.
-2
Suppose 120*u - 70 = 110*u. Solve 3 = 5*s - u for s.
2
Let g be 20/10*(-837)/(-18). Solve -5*u - 93 = -g for u.
0
Let g(j) = j**2 + 7*j - 6. Let b be g(5). Let w be (-2 - -6) + b/2. Suppose -3*u - 3 + w = 4*h, -3*h + 12 = 0. Solve -16 = -0*t - u*t for t.
4
Let h(d) = -d + 23. Let z be h(17). Suppose -5*y = 9 - 24. Solve -x + y*x - z = 0 for x.
3
Suppose o = -4*o. Let s(v) = 37*v - 3515. Let f be s(95). Solve o*p - p + 4 = f for p.
4
Let o = -99 + 100. Let c be (1/(-2))/(o + 54/(-48)). Let i be (-66)/(-10) - 4/(-10). Solve -c*u - i = 1 for u.
-2
Let l be ((-3)/6)/((-1)/6) - 1. Let y(c) = -c**2 + 2*c + 3. Let x be y(-3). Let m = -8 - x. Solve l = -m*q - 10 for q.
-3
Suppose l + 16 = 2*l. Let f = l + -9. Let i(q) = -q**3 + 5*q**2 - 4*q + 2. Let d be i(4). Solve f*m - d*m = 0 for m.
0
Let g be ((-13)/((-78)/60))/(8/4). Solve -2*r = -g*r - 15 for r.
-5
Let f = -19 - -8. Let p = f - -41. Suppose 9*m = 12*m - p. Solve -3*j - m = -1 for j.
-3
Let k be (-1 - 20/(-12)) + (-80)/(-6). Suppose -2*d - 2*h = -0*h - k, 2*d - 11 = h. Solve -d*q = -q + 10 for q.
-2
Let m = -50 - -51. Solve -m + 5 = d for d.
4
Suppose -5*g + 95 = -y, y + 19 = g - 4*y. Suppose 21*x - 12 = g*x. Solve -3*o + x*o - 12 = 0 for o.
4
Let i = -3 + 6. Suppose -91 = -11*x + 4*x. Suppose 12*t + 2 = x*t. Solve 11 = -i*a + t for a.
-3
Suppose -4*k = v - 3, 3*k + 2*v = -33 + 39. Solve k = h + h + 3*h for h.
0
Let j = 13 + -40. Let y = j - -29. Solve -y*z = -17 + 7 for z.
5
Let k be (135/(-60))/((-3)/8). Let g be (15/k)/((-25)/(-60)). Suppose -12 = 3*z - g*z. Solve -2*h + z = -0*h for h.
2
Let d = 187 + -323. Let x be 2/(-5) - d/(-10). Let y = x + 24. Solve g - y = -4*g for g.
2
Let y(l) = l**3 - 2*l + 2. Let n be y(2). Suppose 0*z + 2*t = 2*z - 4, -3*z + t + n = 0. Solve 0*h - 2*h = -z for h.
1
Let b be (-24)/(6/(-9) + 0). Suppose -b = 2*o - 5*o. Let z be (-7)/(-2) + (-6)/o. Solve -4*x + x = -z for x.
1
Let b(s) = -s - 3. Let k(h) = -h. Let n(d) = d**3 - 7*d**2 - 8*d + 1. Let u be n(8). Let t(f) = u*b(f) - 2*k(f). Let l be t(4). Solve -x = -0 - l for x.
1
Let f = 52 + -46. Let h be -5 + 5 - f/(-3). Solve 4 = -2*u - h for u.
-3
Let g be (-115)/46 - 2/(-4). Let s be 2414/497 + g/(0 - 14). Solve s*f = 2*f + 15 for f.
5
Suppose -19*k = -k. Solve u + 3 + k = 0 for u.
-3
Let x = -353 + 364. Solve -8 = x*r - 13*r for r.
4
Let d = -330 + 340. Solve 0 = -0*x + 5*x + d for x.
-2
Suppose -52*y - 55 = -57*y. Solve -2 = y*u - 13*u for u.
1
Let g be 124/12*-6*(-1)/2. Solve 0 = -3*d - 16 + g for d.
5
Let q = 4 - -4. Let r(v) = 54*v + 1. Let l(k) = 25*k. Let u(p) = 13*l(p) - 6*r(p). Let z be u(q). Solve -2*b + 0 = -z for b.
1
Suppose 0 = -2*s + 10. Suppose -s*i + 10 = -5. Solve 0 = i*t - t + 10 for t.
-5
Let o(g) = -g**2