o*m + 4*m for m.
0
Let q = 14 + -2. Suppose 0 = 3*i + 3*i - q. Solve -2*g + 0 = i for g.
-1
Let g be (-534)/(-16) - 42/112. Solve -11*p - 11 = g for p.
-4
Let x be (-60)/18*9*(-2)/15. Solve -3*y = -x*y - 5 for y.
-5
Let o = 7 + -7. Suppose 3*r + r - 24 = -a, o = -a + 3*r + 3. Solve a = -g - 3*g for g.
-3
Let f = -24 + 31. Suppose -f*k = -5*k + 14. Let q(g) = g**2 + 6*g + 7. Let x be q(k). Solve -x - 1 = -5*s for s.
3
Let z be (160/(-3))/8*3/(-5). Solve -z*q + 12*q - 40 = 0 for q.
5
Let w(a) = 4*a**3 + a - 12 - 4*a**3 + 4 + a**3. Let t be w(0). Let m be 20/t*4/(-5). Solve c = -m*c for c.
0
Suppose 3*x - 116 - 116 = 4*a, 6*a + 384 = 5*x. Solve 73*c + 5 = x*c for c.
-5
Let y = 34 - 13. Let r = y + -15. Suppose -3*f + 18 = r. Solve f = b + b for b.
2
Let h(i) = -i**2 + 4*i + 7. Let j be h(5). Let k(m) be the third derivative of m**4/6 - 3*m**3/2 - 7*m**2. Let p be k(3). Solve -t = j*t - p for t.
1
Let c = 56 + -52. Suppose a + 4 = 5. Let l be 5 + a + (-8)/c. Solve 29 = 5*u + l for u.
5
Let d(g) = -7*g**2 + 3*g + 2. Let o be d(-3). Let z = 72 + o. Solve -z*h + 3*h = 4 for h.
4
Suppose 76 = 3*p - 20. Suppose 13*x = 5*x + p. Solve 3*n - x = n for n.
2
Let p(n) = -n**3 + 5*n**2 - 10*n + 25. Let w be p(4). Solve -w = 4*a + 3 for a.
-1
Let t = -5 + 5. Suppose 5*i - 15 = -2*f, f + f + i - 3 = t. Suppose f*q - 15 = -5*b + 3*q, -5*b + 15 = -q. Solve -j + b*j = 0 for j.
0
Suppose 4*f + 26 = 3*h, -3*f - 5 - 10 = 0. Let b = 12 - -16. Suppose 5*v - b + 3 = 0. Solve h*r - v = 1 for r.
3
Suppose 16*p - 23*p = -35. Solve 0 = p*f + 36 - 11 for f.
-5
Suppose 0 = t - 13 - 8. Let r be 135/(-12) - 2/(-8). Let y = -6 - r. Solve 4 + t = -y*s for s.
-5
Let b(h) = 1 + 45*h**2 + h**3 - 2*h - 45*h**2. Let i be b(1). Solve i = -0*u - 3*u for u.
0
Suppose -2*c - 148 - 6 = 0. Let a = c - -79. Solve 0 = h + a*h for h.
0
Let v be ((-28)/16)/(2 + (-27)/12). Solve 0 = 9*u - v*u for u.
0
Let q(n) = n**2 + 4*n + 7. Let y be q(-6). Suppose -m = -15 + 11. Suppose 27 = 4*v + v + 4*s, 5*v - 18 = -s. Solve -m*l = v - y for l.
4
Let y(x) = x**3 + 28*x**2 - 28*x + 33. Let g = 96 + -125. Let k be y(g). Solve 4 = k*a - 16 for a.
5
Suppose 1 - 11 = -5*x. Suppose -x*o - 3*o - 25 = 0. Let d = 9 + o. Solve d*v + 4 + 8 = 0 for v.
-3
Let z be 2/(-3) - 44/(-3). Suppose b + z = -0*b. Let a = 18 + b. Solve 0*k = -a*k + 16 for k.
4
Suppose 0 = -5*r + 3*g, g = -5*r + 2*g. Let f be (2/6 + r)*189/9. Solve f*a = 3*a + 16 for a.
4
Let n be 15/5 + 2 - (1 + -13). Solve 6*t = n - 23 for t.
-1
Let h be -2*1 + (4 - -6). Solve 2*c + h = -2*c for c.
-2
Suppose 4*z - 5*w + 8 = 19, 0 = 4*z - 2*w - 26. Let n = 9 - z. Solve n = -6*g + 2*g - 4 for g.
-1
Let c = -153 + 186. Let q = -16 + 53. Let s = q - c. Solve s*k = 2*k for k.
0
Suppose -5*f - 8 = -3*i + 50, -5*f = 3*i - 8. Solve 0 = 3*z + 4 + i for z.
-5
Suppose 6*z = 10*z - 48. Suppose z - 20 = -4*k. Solve k*n + 16 = -2*n for n.
-4
Suppose 43*x - 266 = 29*x. Solve 2*l - x = -17 for l.
1
Let g(q) = 7*q - 65. Let v be g(10). Solve -21 + 6 = -v*k for k.
3
Suppose 3*a - 20 = -2*a, -2*s = -a + 14. Let b be (69/(-15) - s) + 28/5. Solve i - 25 = b*i for i.
-5
Suppose -4*t + 6*t - 8 = -3*c, -3*t = -12. Solve 3*d + 9 = -c*d for d.
-3
Let u be ((-450)/4)/(-5) - (-14)/(-28). Suppose -2*x = 9*x - u. Solve -x*k + 4 = -k for k.
4
Let j(k) = -k - 14. Let q(o) = 1. Let t(l) = j(l) + 4*q(l). Let c be t(-15). Solve -f - c = -2 for f.
-3
Let r = 964 + -952. Solve -21*o = -18*o + r for o.
-4
Let x(j) = -6*j - 4*j**2 + 3*j**2 - 3 - 3 - 2. Let v be x(-4). Suppose 0 = -3*a - 7 + 37. Solve 0 = 5*n - v - a for n.
2
Suppose x + 30 = 4*x. Let p(h) = -2*h - 1. Let z be p(2). Let a be 0 - (4 + z + -2). Solve 2*s + a*s = -x for s.
-2
Let x = -1 - -3. Let y be (-16)/(-10)*95/76. Solve -x*j + 6 + y = 0 for j.
4
Let b(w) = -w**2 - 7*w + 2. Let z(f) = 3*f + 2. Let v be z(-3). Let j be b(v). Let u be 0/((-3)/(j - -1)). Solve u = 4*m - 2*m - 10 for m.
5
Let t = -30 + 28. Let o be ((-12)/10 - t)*5. Solve o*a + 20 = -0*a for a.
-5
Let j = -112 + 117. Solve 0 = j*y - y for y.
0
Suppose -11 = -m - 4*a + 22, -m = -5*a + 12. Let r = m + -12. Let t be 5*(1 - (-1 + r)). Solve 3 = 2*o - t for o.
4
Let u(z) = -18*z**2 - 2. Let t be u(-1). Let l(x) = -2*x - 30. Let a be l(t). Solve -6*p = -11*p + a for p.
2
Let c be (-96)/(-18)*6/4. Suppose -3*d + c*d = 0. Suppose d = -h + 4*r + 14, h - 5*r - 19 = -2. Solve -f - 1 = -h for f.
1
Let c = -474 + 474. Solve c = -5*w - 2*w - 7 for w.
-1
Let x be 24/84 + (-2)/7. Suppose -3*r + 5*h + 64 = x, 3*r - 2*h - 75 = -2*r. Solve 7 + r = 5*m for m.
4
Let o(x) = -x**2 - 4*x - 2. Let d be o(-5). Let n be d*2*1/(-2). Let g = 2 + 0. Solve -5*s = n - g for s.
-1
Let m be 24/(-156) + 56/26. Let q be m*(-15)/(-20)*2. Solve -5 = 4*s + q for s.
-2
Let w(x) = -x**2 - 14*x - 34. Let j be w(-10). Solve 0 = 6*b + j for b.
-1
Let r = -8 - -7. Let x be (-6)/(-1) - (3 - r). Solve -x*u = -3*u for u.
0
Let u(k) = 5*k**2 - 4*k + 3. Let s be u(2). Suppose 0 = 6*d - s - 3. Solve -3 = -3*h + d for h.
2
Let i = 1232 + -1228. Solve o = 6 - i for o.
2
Let k = 29 + -27. Let z be 16/(-120) - k/(-15). Solve z = d - 0*d for d.
0
Let l(d) = 4*d**3 + d**2. Let k be l(1). Let i(w) = w**3 - 6*w**2 + 4*w + 7. Let p be i(k). Solve 0 = 3*t + p + 1 for t.
-1
Suppose -10 = -6*t + 2. Suppose 3*b + t - 11 = 0. Solve 0*k - b*k = 6 for k.
-2
Suppose 94 = 46*s - 320. Solve 29 = -s*b + 2 for b.
-3
Suppose -3*x = 2*x - 30. Suppose 0 = 6*a + 200 - 224. Solve a = -5*f - x for f.
-2
Suppose 0 = 5*w - d - 3 - 16, -23 = -w + 5*d. Let a(u) = -u**2 - 3*u + 5. Let f be a(-4). Let o(m) = m - 1. Let z be o(f). Solve z*k - w*k = 0 for k.
0
Suppose 0 = 3*j - 4*w - 44, 101 = 5*j - 2*w + 37. Let k(u) = -u + 13. Let v be k(j). Solve -2*m + v = -1 for m.
1
Let g(w) = 26*w - 199. Let t be g(8). Solve -2*l + 11 = t for l.
1
Suppose 0*u + 8*u = 40. Solve -u*j = 24 - 4 for j.
-4
Suppose -s + 48 = -7*s. Let c be (s/14)/(26/(-91)). Solve -c*f = -11 + 3 for f.
4
Suppose 5*c - 34 = -3*l + 21, 4*l - 3*c = 25. Suppose -l*z = -5*z - 105. Solve -3*w - z + 9 = 0 for w.
-4
Let t(o) = -o**3 - 6*o**2 - 2. Let n be t(-6). Let j(f) = f**3 + 3*f**2 + 1. Let r be j(n). Solve -r = 3*i - 4*i for i.
5
Let b = -10 + 13. Suppose 4 = -3*s + 10. Solve 2*t - b*t = -s for t.
2
Suppose -n = -5*w + w - 14, 0 = -4*n - w + 39. Let k(x) = -2*x**2 + 20*x + 16. Let c be k(n). Solve -41 + c = -5*r for r.
5
Suppose 19*l = 8*l + 13 - 13. Let u(f) = -f**2 - 5*f - 5. Let y be u(-5). Let i = -3 - y. Solve -a + 3*a + i = l for a.
-1
Suppose -j + 8 = -5*j. Let g be (-85)/j*48/40. Let x be (-2)/(-17) - (-453)/g. Solve x = 5*p - 2*p for p.
3
Let b(h) = -82*h + 663. Let w be b(8). Solve w - 8 = l for l.
-1
Let s be 2/(-7) + 115/35. Let k = 16 - 10. Solve -k*w + 12 = -s*w for w.
4
Suppose -2*n + 50 = 4*l, -2*l + 40 = -0*n - 2*n. Let t(r) = r**2 - 8*r - 7. Let a be t(9). Let q = 19 - 14. Solve l = -a*j + q*j for j.
5
Let j = -132 - -136. Let i = -2 - -6. Solve 4*f + j = -i for f.
-2
Suppose 5*c - 13 = 32. Let l be 2/(-3) - (-33)/c. Let q(y) = -y**2 + 2*y + 2. Let i be q(2). Solve l*t = -i - 1 for t.
-1
Let q be 4 - ((-4 - -1) + -1 - -6). Solve -15 = a + q*a for a.
-5
Let a = -27 + -2. Let g = 42 + a. Solve 0 = 5*j - 12 - g for j.
5
Suppose 46*s = 789 + 85. Solve -6*t - s = -1 for t.
-3
Let c = -401 + 405. Let o = 51 - 76. Let g be o/(-3) + (-6)/(-9). Solve c*s - g = 7 for s.
4
Let m(o) = -o**3 - 33*o**2 + o + 39. Let w be m(-33). Solve j + 28 = -w*j for j.
-4
Suppose v = -c + 32, 2*v - 101 = -15*c + 12*c. Solve -c*s = -41*s - 8 for s.
-2
Let q be -2 - (2/1)/(-1). Let v = -23 + 33. Suppose -7*y = -v*y. Solve q = -y*f + 4*f + 4 for f.
-1
Suppose -4*f + 10 = -2. Suppose 0 = -8*z + f*z + 20. Suppose -z*g + 1 = -5*g, 3 = 4*l + g. Solve 1 + l = -2*a for a.
-1
Let q = -3 - -17. Suppose -3*h = -5*z + q, -4*z + z + 18 = -5*h. Solve 0*w = -w + z for w.
1
Let j(a) = 9*a + 11 - 4 + a**3 - 8*a + 7*a**2. Let h be j(-7). Solve h = 2*i + 3*i for i.
0
Suppose -12 = 4*y, -y = f + y + 6. Suppose f*w + 15 = w - j, 5*w - 66 = 2*j. Solve -x - w = 3*x for x.
-3
Let l be 0 + (-7)/(14/(-4)). Suppose -2 = l*n + 2. Let f(k) = k**3 + 2*k**2 - 2*k - 2. Let m be f(n). Solve c - m = -0*c for c.
2
Suppose 0 = -22*d + 3*d. Suppose 2 - 6 = -4*h. Solve -c - 5 + h = d for c.
-4
Suppose -313 = -6*x - 205. Solve -x - 