
Let v(r) = 2*r - 2. Let m be v(4). Let f be (-9)/6*2 + m. Solve -f*z = z for z.
0
Suppose -3*j = -4*j. Solve 0*z - 2*z = j for z.
0
Let h be (6/(-15))/(2/(-50)). Suppose -2*y = -2*g - 7 - 5, h = y - 3*g. Solve j - 6 = y*j for j.
-2
Let i(z) = -z**2 - 12*z - 7. Let y be i(-11). Solve y = g + 3*g for g.
1
Suppose -20 = -5*w, c - 2*w + 2 = -0*w. Solve c*a = 2*a + 16 for a.
4
Let w(x) = x**3 - 1. Let j(q) = 7*q**3 - 11*q**2 - q - 3. Let o(p) = -j(p) + 6*w(p). Let r be o(11). Solve 3*h + h = r for h.
2
Let p(c) = -c**3 + 9*c**2 + c - 8. Let s(q) = q**2 + 5*q - 5. Let r be 1/(1/2) + -9. Let d be s(r). Let x be p(d). Solve 3*i + x = -2 for i.
-1
Let c(x) = -x**2 - 7*x - 5. Let y be c(-5). Solve 16 = -y*m - 9 for m.
-5
Suppose 5*k = -0*k - g + 56, -k = 2*g - 4. Let c = 16 - 11. Solve -c*w + k = -13 for w.
5
Suppose 0*i = -2*l + 2*i + 14, -l + 5*i + 27 = 0. Solve -l*m + 0 - 2 = 0 for m.
-1
Suppose -42 = -4*g - 2. Let p = 12 - g. Solve -n = p*n - 3 for n.
1
Let k = 6 + -1. Let r = -6 - -4. Let d be (-1)/(-2*r/(-8)). Solve 22 - d = k*a for a.
4
Suppose 0 = 4*d - 3*x - 18, -4*d + 2*d - 4*x - 2 = 0. Solve 0*b - 3 = -d*b for b.
1
Let u be ((-18)/(-15))/(1/(-5)). Let i be -3*2*5/u. Solve 4*o - 7 = i for o.
3
Let m = 21 + -10. Let s = m + -7. Solve 6 + 6 = -s*c for c.
-3
Let y(q) = -2*q - 4. Suppose w + 5 = m - 1, 2*w = -2*m. Let n be y(w). Suppose -n*g - 3*g = -30. Solve 3*i + g = i for i.
-3
Suppose 2*p - 3*p = -7. Let b = -4 + p. Solve -b*k - 12 = k for k.
-3
Let y(v) = v**3 - 7*v**2 + 13*v - 7. Let z be y(5). Solve 2*u - z = 4*u for u.
-4
Let g(m) = m**3 + 5*m**2 - 7*m + 2. Let d be g(-6). Suppose -d + 2 = z - 4*f, 2*f = 4. Let p(s) = s**2 + s. Let y be p(-2). Solve -z*l = y*l for l.
0
Let h(j) be the first derivative of j**3/3 - j**2 - 5*j + 4. Let t be h(4). Solve -t*d + 4*d = -2 for d.
-2
Let t(v) = v**2 - 3*v - 4. Let i be t(4). Suppose 8 = 2*j + 2*p + 2*p, 3*j - p = 33. Solve 0*c + 5*c - j = i for c.
2
Suppose 0 = 4*b - 3 - 77. Solve b = -4*n - 0 for n.
-5
Let r be (-4 - 96/(-28))*-7. Solve -m - 3 = -r*m for m.
1
Suppose 2*p + 0*p - 12 = 4*l, p - 8 = 3*l. Solve -o + 7 = p for o.
5
Suppose 15 = 5*p - 0*p, 5*l - 5*p = 0. Solve 2*t = -l - 5 for t.
-4
Suppose 5*k + 29 = 2*w, k - 63 = -4*w - 16. Let n be (-4)/w - (-7)/3. Let y be n/7 + (-276)/(-14). Solve 0 = -l - 3*l - y for l.
-5
Let n = 21 + -6. Solve 2*a + 5 = n for a.
5
Let b = 106 - 100. Solve -3*t - b = -3 for t.
-1
Suppose 2*c - 6 = x, -3*x + 8*x - 3*c + 2 = 0. Solve 4 = 3*n - x for n.
2
Suppose -4*h + 23 + 21 = 0. Let a = 15 - h. Solve -a*t = -9*t for t.
0
Let f = -9 + 9. Let y = 1 - f. Solve 0 = -a + y for a.
1
Let z be -2 + (-7)/((-7)/10). Suppose 3*s + 3*r = 5 + 1, -5*s = 3*r - 6. Let l be s/(-1)*4/z. Solve 5*i + l*i = 5 for i.
1
Let k(n) = n**2 - n - 3. Let d be k(-4). Let z = d + -13. Solve r + 25 = -z*r for r.
-5
Let r(h) = h - 11. Let l be r(-7). Let g = -18 - l. Solve g = -0*y - y for y.
0
Let x be 28/2 + 4/2. Let d = 84 + -84. Solve -3*l + 1 - x = d for l.
-5
Suppose 4*v = 24 - 4. Suppose 12 - 37 = -v*g. Solve -g = -5*t - 30 for t.
-5
Let a(x) = 9*x**2 - 1. Let r be a(1). Let d = 1 + 4. Suppose g = 2*m + 9, -30 = -0*g - 5*g - 5*m. Solve d*f + r = -g for f.
-3
Suppose -1 + 4 = 3*y. Let h be (y - -2) + (-1)/1. Suppose 0 = -l + 2*w + h*w, -3*l + 15 = 3*w. Solve 3*m = -m - l for m.
-1
Let g(p) = p - 5. Suppose 0 = 5*y - 91 + 11. Suppose 24 = 2*a + w + w, 4*w = y. Let x be g(a). Solve x*z = z for z.
0
Let s be (-4)/3*(-6)/4. Suppose 4*r - 4 = -2*k, -s*k = -4*r + 2*k + 28. Solve w - 4*w = -r for w.
1
Let y(n) = -n + 12. Let g be y(9). Suppose g*f + 2 + 1 = 0. Let r = 6 + f. Solve 0 = r*o - 6 - 4 for o.
2
Let p(a) = 2*a**2 + a + 3. Let l be ((-1)/(-2))/(3/(-24)). Let t be p(l). Let r = t + -19. Solve -r = -7*g + 4*g for g.
4
Let k be (10/(-6))/((-1)/6). Solve k = 4*w - 2 for w.
3
Suppose -4*a - 4*v = -5*v - 11, -5*a = -5*v + 5. Suppose -3*n + 6*t + 41 = t, -2*t = -a*n + 50. Solve -4*x - n = 8 for x.
-5
Let g(q) = 6*q + 1. Let z be g(4). Let p = 30 - 25. Suppose p*d + 5 = z. Solve -y + d = 3*y for y.
1
Let a = 3 + -1. Suppose -10 = 5*t + 5, -2*p - a*t = 0. Solve p*y = y - 4 for y.
-2
Let j be 3 + -2*(-9)/6. Suppose -5*h - 12 = -j*h. Solve -2 = -5*s - h for s.
-2
Let b be (0 - (-3 - -1))*2. Solve -b*k + 3*k - 1 = 0 for k.
-1
Let o(z) = -2*z. Let j be o(-2). Solve x + 9 = j*x for x.
3
Let i = 10 - 10. Solve -2 = -u - i*u for u.
2
Suppose 2*w - 5*j = -4 + 5, -7 = 4*w - j. Let d be w - 33/(-1 - 2). Solve d = 3*h - 6 for h.
5
Let v be 4/(-16) + 33/(-12). Let c = v + 11. Solve -q - c = q for q.
-4
Let z = 18 - 29. Let j = z + 19. Solve -n = -3*n + j for n.
4
Let y(j) be the second derivative of j**4/24 - 7*j**3/6 - 3*j**2/2 + 4*j. Let r(b) be the first derivative of y(b). Let u be r(10). Solve 2*n = 3*n + u for n.
-3
Let n(f) = -3*f + 2*f - 4*f**3 + 2*f**3 + f**3 + 2*f**2. Let p be n(1). Solve 2*c + 2 + p = 0 for c.
-1
Suppose -3*n = 3*g - 27, 4 + 2 = -n + 2*g. Solve -x = -n*x for x.
0
Let f(q) = 5*q**3 - 2*q**2 - q. Let i be f(-1). Let u be (i/4)/(1/(-6)). Let v = u + -5. Solve v*x - 22 = -6 for x.
4
Let z(u) = -3 - 2*u**3 + 2*u**2 + 3*u**3 - 7*u + 2*u + 0*u**3. Let p be z(-3). Solve -p*t - 2 = -5*t for t.
1
Suppose -5*u = -2*u - 12. Let m = u + -4. Let h = 0 + m. Solve h = 2*k + 2*k + 8 for k.
-2
Let m be 1 - (-6)/9*3. Suppose 3*y - m = 3. Solve -p - 5 = -y*p for p.
5
Let j(s) = -s**3 - s**2 + s - 2. Let y be j(-2). Solve y*r + 3 = 3*r for r.
1
Suppose -3*z = -4*k - 2*z + 12, 15 = 5*k + 5*z. Let l(i) = -i**2 - 2*i**2 + k*i**2 - 6*i + 2 - i**2. Let x be l(-6). Solve -x*t = 2*t + 12 for t.
-3
Suppose 0*h - 8 = -2*h. Solve -7*v + 5*v - h = 0 for v.
-2
Suppose 3*i - 24 = 3*g, -5*g - 7 - 3 = i. Suppose 0 = -10*s + 5*s - i. Let h = s - -3. Solve 0 = -2*w - h*w + 8 for w.
2
Let c(t) = -3*t + 78. Let z be c(26). Solve z*f + 3*f + 9 = 0 for f.
-3
Suppose 4 = -b + 9. Let j be 18/5 - (-2)/b. Solve j = -2*m + 14 for m.
5
Suppose -4*l = -3*l. Let g = 5 + l. Solve -1 = -4*k - g for k.
-1
Let x(b) = 3*b**3 - b**2 + b. Let t be x(1). Solve 4*n - t*n = -2 for n.
-2
Suppose 2*n - 7*d - 18 = -5*d, -2*n = -4*d - 26. Solve 0 = -n*c + 2*c for c.
0
Let v = 1 + 3. Suppose v*q - 6 - 6 = 0. Suppose 3*m - 36 = -4*g + 7*m, q*g - 3 = -3*m. Solve 0 = -3*p - 14 + g for p.
-3
Suppose -5*d - 4*y + 23 = -24, -2*y + 40 = 4*d. Suppose 2*g - 5*m - 21 = 0, 3*g - d - 1 = m. Solve 4*t - 5 - g = 0 for t.
2
Let v(l) = -l**2 - 12*l + 17. Let g(i) = -4*i**2 + i + 1. Let w be g(2). Let t be v(w). Solve -14 = 2*p - t for p.
-5
Let s(j) = j + 9. Let x be ((-3)/2)/(9/(-30)). Suppose x*i + 13 + 22 = 0. Let d be s(i). Solve -d*g + 1 = -g for g.
1
Let o be 6/(-4)*56/6. Let c be (-4)/14 - 4/o. Solve c*x = x + 4 for x.
-4
Suppose 0 = 3*g + 4*d - 24, 3*d - 4*d = -3. Solve 1 = -g*m + 9 for m.
2
Let p(b) = -5*b - 6. Let s be p(-2). Solve -s*m = m for m.
0
Let p(v) = 2*v + 6. Let z be p(-2). Solve 2*b - 12 = -z*b for b.
3
Suppose p = 5 + 27. Solve p = 5*q + 7 for q.
5
Suppose -14 - 6 = -5*x. Let u = 32 - 31. Solve -5*j + u = -x for j.
1
Suppose 0 = -c + 17*c - 48. Solve 0 = -n - c - 1 for n.
-4
Let k = 66 + -36. Let u be 246/k + 1/(-5). Solve 4*d + 12 = -u for d.
-5
Let s be (-54)/(-4)*(0 + 2). Suppose 4*o = -2*l + 38, o - 3*l = -0*o + s. Solve 2*x - 2 = -o for x.
-5
Suppose -4*k - 10 = -9*k. Solve i - 3 = -k for i.
1
Let h = 14 + -8. Let n = 12 - h. Solve -5*b = -2*b + n for b.
-2
Let o be -2 - (2 + -6 + -2). Suppose -2 = 2*w + o. Let t = w + 5. Solve -t*s = -s + 5 for s.
-5
Let y(u) = -u**2 + 2*u - 4. Let c be y(5). Let r = -13 - c. Solve -4*h - 2 + r = 0 for h.
1
Let c(g) = g**2 - 7*g + 16. Let v be c(5). Solve 2*w - v = 4*w for w.
-3
Let g = -19 - -31. Suppose -2*w - g = -2*c - 4, 0 = c + w - 2. Suppose c*p = -r + 13, 4*r - 12 = 2*p - 4*p. Solve -r + 2 = -k for k.
-1
Let m be (24/(-20))/((-2)/5). Solve 12 = m*b - 6*b for b.
-4
Let h(o) = o**3 + 4*o**2 + 2*o - 1. Let d be h(-2). Let n(w) = w**3 + 7*w**2 - 4*w - 10. Let c be n(-7). Solve -d + c = -5*t for t.
-3
Let f = 32 + -32. Suppose h = -h + 10. Solve 0 = -5*x - f*x + h for x.
1
Suppose 5*i - 11 = -1. Solve i = 2*z - 4 for z.
3
Let p = -1 + 4. Suppose 3*u + u = p*w - 71, 0 = -u + 1. Let h(j) = -2*j - 4. Let g be h(-3). Solve -3*v = g*v + w for v.
-5
Let f be 16 - -1 - (8 - 7). Let p(w) = 2*w**