p*g for g.
5
Let i(x) = -x**3 + 16*x**2 - 15*x + 10. Let z be i(15). Suppose 2*o = -0 + z. Solve -4*c = -o*c for c.
0
Let t be 3/3*(6 + -2). Let c be (-2 + 6)*(-2)/t. Let q be 1/c - (-1)/2. Solve 2*g - 4 = -q for g.
2
Let q = 20 - 18. Let p(g) = 3*g - 3. Let a be p(2). Solve a = q*r - r for r.
3
Let f = 16 + -4. Solve -f = 3*n - 0 for n.
-4
Let r be 9/(-6)*-2 + -8. Let u be (3 + r/2)*-2. Let j be (3 - 0) + (2 - u). Solve -2*i = i - j for i.
2
Suppose -3*o - 2*o + 20 = 0. Suppose -3*t + 5*q - 2 - 1 = 0, 3*t - 2*q - 6 = 0. Suppose -4*c + 60 = -5*m, t*c - o*m - 52 - 12 = 0. Solve -4*z = -0*z - c for z.
5
Suppose 8 = z + z. Let v(d) = 20*d**2 + d - 1. Let w be v(1). Solve -z = -4*p - w for p.
-4
Suppose 1 = 5*f - 64. Solve -5*c = f + 2 for c.
-3
Let g be (30/9 - 3)*9. Suppose 0*o + 5*w - 16 = -3*o, g*o - 17 = -4*w. Suppose 3*i = h - 6, 2*h + 2*i = 4*i + 4. Solve -2*y - o + 1 = h for y.
-3
Let y(c) = 2*c**3 + 5*c**2 - 3*c - 8. Let q(x) = x**3 + 5*x**2 - 3*x - 7. Let g(t) = -3*q(t) + 2*y(t). Let n be g(4). Solve -n = -k - 2 for k.
-1
Let l be 4/(-22) + (-35)/(-11). Let f = 8 - l. Solve -f*g + 3*g = 10 for g.
-5
Let q be 3*1 - (-51)/(-17). Solve q*f = f for f.
0
Let c be ((2380/16)/(-17))/(1/(-4)). Solve -5*s - c = -15 for s.
-4
Let j be -1 + (-43 + 1)/(-3). Let g = j + -21. Let k be ((-3)/(-6))/((-2)/g). Solve -p - k*p = 3 for p.
-1
Let h be ((-30)/(-1))/((-4)/(-2)). Solve 3*m - h = -2*m for m.
3
Suppose 0*y = 5*y. Let l = 5 - -1. Suppose -2*n - l = -22. Solve 4*m + y = -n for m.
-2
Suppose 2*p - 26 = 4*x, -4*p = p + 3*x. Solve 0 = g + p*g - 4 for g.
1
Let m(q) = -q**3 - 6*q**2 - 4*q - 7. Let s be m(-6). Suppose -4*x = 1 - 21. Suppose x*t - 7 = 4*u, 5*t - 2*t - 17 = -4*u. Solve s = -4*b - t for b.
-5
Suppose 5*c - 22 = 23. Let l = c - 9. Solve 5*w - 2*w - 15 = l for w.
5
Let z(o) = -5*o**3 - o**2 - o. Let j be (2 - 2)*(-1)/(-2). Suppose 5*v + j = -5. Let b be z(v). Solve a + 3 - b = 0 for a.
2
Suppose -4*w + w = 0. Solve -2*j - 10 = -w for j.
-5
Let i(h) = h + 7. Let n be i(-7). Suppose -22*c = -26*c + 8. Solve 7*v - c*v + 5 = n for v.
-1
Let l be (-3)/(-9) + (-3)/9. Suppose m + 12 - 16 = l. Solve -r = m*r for r.
0
Let k(v) = -11*v + 3. Let a be k(5). Let q = a + 32. Let j be q/(-3) + 6/(-9). Solve x + 10 = j*x for x.
2
Let u = 10 + -7. Solve u*t = t - 6 for t.
-3
Suppose 0 = 5*h - 6*h + 3. Solve 0 = 2*i + h*i for i.
0
Let o = 14 + -9. Solve o*i + 14 = -6 for i.
-4
Let i be ((-2)/(-5))/(1/10). Suppose i*c - 9*c = 0. Solve c*a - 5*a + 25 = 0 for a.
5
Let q = 3 + 2. Solve 0 = q*c - 3 + 18 for c.
-3
Suppose z = -o + 10, -2*o + 3*o = z. Solve -9 = -2*d + o*d for d.
-3
Let y(o) = -o - 2. Let x be y(-7). Let p = x + -2. Solve 0*s = s + p for s.
-3
Suppose -3*g + 4 = 5*z + 2, 28 = 5*g - 4*z. Solve g = 4*m - 3*m for m.
4
Let c = 1 + 2. Suppose 3*j + 24 = c*m, 6*j + 23 = m + 2*j. Solve -m*z = -z + 10 for z.
-5
Suppose 5*v - 9 = 11. Solve 3 = v*p - 3*p for p.
3
Let m(y) be the third derivative of y**4/24 - 5*y**3/6 + 6*y**2. Let l be m(5). Suppose 3*r = 6 + 3. Solve l = r*s - 0*s + 12 for s.
-4
Let s(h) = h**3 + 6*h**2 + 4*h + 6. Let n be s(-5). Solve -n = -4*l - 31 for l.
-5
Suppose -2*r = 3*y - 10, y - 20 = -4*r - 4*y. Solve -r*u + 4 = -21 for u.
5
Let b(d) = d**3 + 8*d**2 - 10*d + 7. Let u be b(-9). Let c = -24 + u. Let h(l) = l**3 + 8*l**2 - 2*l - 2. Let w be h(c). Solve 2*v - 4 + w = 0 for v.
-5
Suppose 5*t - t = 0. Let z be 84/39 + (-6)/39. Suppose t = -3*y - z*y. Solve 2*p - 5 - 3 = y for p.
4
Suppose 0*h - 8 = -2*h. Suppose 2*p - 3*z = -h*z + 96, -z + 240 = 5*p. Let c = -33 + p. Solve -c = o - 4*o for o.
5
Let i be (0 - (0 - -8))*-1. Suppose -4*n = -5*g - 7, -i - 1 = 2*n - 5*g. Let b(k) = -k**3 + 7*k**2 + 9*k - 5. Let d be b(n). Solve 4*f - 5 = d for f.
2
Suppose -5*d + 13 = 2*f, 0 = -3*d - 0*f + 3*f - 9. Solve -5*n + d = -4*n for n.
1
Let a(r) = -r + 12. Let o be a(9). Solve -q = o - 1 for q.
-2
Let d(w) = -w + 9. Let p be d(8). Suppose -a + 12 = 5*m - p, 4*m = 5*a - 7. Solve -3*h - 10 = m*h for h.
-2
Let m be (-2 - (-10)/4)*4. Let n(a) = -3*a - 3. Let x(s) = -3*s - 4. Let l(k) = 5*n(k) - 4*x(k). Let q be l(-1). Solve -h = q - m for h.
-2
Suppose 4*v = 4*c + 28, -2*c + 4*c - 2 = 0. Solve k + v = -k for k.
-4
Let c(g) = 4*g - 6. Let d be c(2). Let n(z) = -5*z**3 - 2*z**2 + 1. Suppose -2 = 2*u - 2*j, 2*u + 0*u = -2*j - 2. Let o be n(u). Solve 10 = d*f - o*f for f.
-5
Let m(l) = -4*l + 1. Let c be m(-1). Suppose i - c = -2. Solve 5*y = 7 + i for y.
2
Let y = 22 + -22. Solve -f - 2 = -y*f for f.
-2
Let s(m) = 3*m - 3. Let n be s(5). Solve -2*t + 6*t = n for t.
3
Suppose -5*q + 21 = -2*r, 4*r - 2*r = 4*q - 16. Solve 0 = b - 2*b - r for b.
-2
Let l be ((-12)/10)/((-6)/(-40)). Let m = 0 - l. Suppose 4*h + 4*d + m = 0, -d + 6 = -3*h + 16. Solve g - 1 = h for g.
3
Suppose 2*b = 5 + 7. Suppose -2*c - 3*m - 4 = 0, -c = -b*c - m + 16. Solve y - 25 = -c*y for y.
5
Let h be 2/(3 - (-7)/(-3)). Let p(u) = u**3 + 3*u**3 - 3*u**h. Let n be p(1). Solve -n - 3 = -4*o for o.
1
Suppose -3*h - 15 = 3*c, -7*c + 2*c - 25 = h. Solve 2*w - 2 = -h for w.
1
Suppose 0*y + 9 = -3*y. Let f(i) = 2*i + 3. Let u be f(y). Let c be u*(-2)/15*5. Solve 4 = t - c*t for t.
-4
Let s be 15/(-10)*(-10)/3. Let h = 8 - s. Suppose -h*v - 6 = -18. Solve -2 = -2*p + v*p for p.
-1
Let l be ((3 + -3)/(-2))/(-1). Suppose l*c + 6 = 3*c. Solve c = -0*b + b for b.
2
Suppose -3*o - 13*o = -144. Solve u - 4*u - o = 0 for u.
-3
Suppose -12 + 0 = -2*h - 2*v, -32 = -2*h + 3*v. Solve 6*o + h = 4*o for o.
-5
Let w(g) = -4*g - 28. Let m be w(-7). Solve 0 = -m*s - 3*s for s.
0
Let r(u) = u**3 - 3*u**2 + 2*u - 3. Let b be r(3). Solve 0 = -2*f + b*f - 5 for f.
5
Let i = -40 + 43. Solve -i*s - 1 - 5 = 0 for s.
-2
Let l be ((-5)/(-10))/(2 + (-6)/4). Solve l = -o - 3 for o.
-4
Let u(b) = -b**2 + 7*b + 2. Let d be u(7). Suppose -j = -3*o + 20, 2*o + 5*j - d*j = -5. Solve o*f = -11 - 4 for f.
-3
Suppose 0 = -v - 6 + 2. Let u = v - -4. Let h be ((u/(-3))/(-2))/(-2). Solve h*g = -2*g for g.
0
Suppose 5*z = 10*z - 105. Solve 4*f = -5 + z for f.
4
Let r be (-14)/28 + 30/4. Suppose r*j - 8*j = -3. Solve -j = -h - 4 for h.
-1
Let c(g) = 11*g**2 - g. Suppose -3*k - 4 = -4*s, -2*s + 24 = 3*k + s. Suppose -2 = -2*b + k*b. Let m be c(b). Solve 4*h - h - m = 0 for h.
4
Let z(a) = -a + 10. Let o be z(8). Solve -5 = 3*c + o*c for c.
-1
Suppose 0 = -2*z + 9 - 1. Suppose -h + 2 = h. Let o be 2 + -4 + h + 11. Solve z*m = -10 - o for m.
-5
Suppose -10 = -5*s, 0*d - s = 4*d + 10. Let j be 4*-1 - -1 - d. Solve j = x - 2*x + 4 for x.
4
Suppose -l = -6*l - 20. Let z be 1/l + (-26)/(-8). Solve z = d + 4 for d.
-1
Suppose 2*w - 7*w = 0. Suppose -j - 2 + 5 = 0. Let k(s) = 2*s - 3. Let u be k(j). Solve 0 = -w*r + u*r - 9 for r.
3
Let a(d) = d**2 + 5*d + 2. Let v be a(-5). Solve 2*i - v = -4 for i.
-1
Suppose 0 = -0*u - 5*u + 20. Solve o - u = -0 for o.
4
Let g = 2 - 0. Let t = g - -2. Suppose q = t*q - 45. Solve -q = -7*x + 2*x for x.
3
Let i = -4 - -8. Suppose -h - 2*r + i = -4, 4*r = -3*h + 18. Suppose -4*l = 5*c + h, -2*l + 2*c = 3 - 11. Solve 1 - 9 = l*b for b.
-4
Let l(g) = g. Let m be l(-6). Let h = m - -10. Solve -h*x + 1 = -3*x for x.
1
Suppose -3*w - b + 3 = 0, 2*w = 3*w + b + 1. Suppose -3 = -5*k + 2. Solve -w = -j - k for j.
1
Let a = 2 - 0. Suppose -3*q = a*q. Solve 2*j + 5 - 1 = q for j.
-2
Let a be 4 - (1 - 0/(-6)). Solve w = 2*w + a for w.
-3
Let b(z) = 7*z + 2*z**2 - 3*z**2 + 2 - 4 + 5. Let u be b(7). Solve u*y + 5 + 4 = 0 for y.
-3
Suppose 94 = -5*c + 104. Solve o = c*o for o.
0
Suppose 0 = -y - 9 + 12. Solve -7*d + 16 = -y*d for d.
4
Let p = 108 - 113. Let y be 1 - -1*(-8)/(-2). Let q = p + y. Solve 3*b + 2*b - 20 = q for b.
4
Let v = -26 - -26. Solve -h = -v*h for h.
0
Suppose 0*k + 5*k = -n, 0 = 3*k - 3*n. Let h(t) = 4 - 6 - 3 + 3*t - 4*t. Let y be h(-9). Solve -u - y*u - 15 = k for u.
-3
Suppose 0 = -2*s - 0*s + 3*f + 7, 35 = 4*s + f. Solve s + 4 = 4*i for i.
3
Suppose p = 2*p - 2, 5*v = -3*p + 31. Solve 15 - v = 5*u for u.
2
Suppose -5*t + 4 = -11. Suppose -y + t = -10. Solve -3*f = -2 - y for f.
5
Let j = -25 + 29. Solve -3*i = -j*i + 2 for i.
2
Let j be (15/(-25))/(2/(-10)). Solve -j*v + 8*v = -10 for v.
-2
Suppose 8 = -3*i + r, 3*r = 2*i + 12 + 5. Let m be (-9)/(-3)*i*-1. Solve 12 + m = 3*c for c.
5
Suppose 0 = 16*