et v = 17 - 14. Solve -2*t = -3*t + v for t.
3
Suppose 0 = o + 3*o - 12, -m + 2*o - 2 = 0. Suppose a + a - y = 9, a - m*y = 22. Solve 0 = -a*p - 6 for p.
-3
Suppose l - 2*f = 36 + 39, 0 = 2*l + 3*f - 129. Suppose 0 = 5*m - 6 - l. Suppose -6*q + 8*q = w + 4, -2*w = -q + 2. Solve 0 = 3*p - w*p + m for p.
-5
Let w be (2/(-7))/(1/(-7)). Suppose w*d - 12 = 6. Solve 0*p + 3*p + d = 0 for p.
-3
Suppose -3*v = 2*v + 3*r + 13, 3*v - r + 5 = 0. Let m = 3 + v. Solve 2*q + 1 = -m for q.
-1
Let p be 0 + (0 - (-3 + 0)). Let k = -1 - 1. Let b = p + k. Solve b = d - 1 for d.
2
Suppose 0 = g + 2*j, -4*g + 10 = -2*g - j. Solve -4 - g = 4*s for s.
-2
Suppose -3*k = -i - 4, 4 = 4*i - 2*i. Let d = k + -2. Solve d = 3*m - 4*m - 2 for m.
-2
Suppose -z + 25 = 5*f, -f + 2*f - 4*z - 5 = 0. Solve -f*l - 10 = -10*l for l.
2
Let o(x) = x**2 - 3*x - 6. Let a(f) = f**3 + f + 4. Let v be a(0). Suppose v*j = -3*n + 8, -5*j - 4*n = -n - 13. Let h be o(j). Solve 0 = -3*d + h + 2 for d.
2
Let y(s) = -s**3 + 3*s**2 + 6*s - 1. Let z be y(4). Suppose 2*x - 5*x = -3*f, 4*f - 28 = -3*x. Let w be ((-2)/f)/(2/(-12)). Solve -w*r + 5 = -z for r.
4
Let n(x) = -x**2 + 6*x - 4. Let m be (18/(-15))/(3/(-10)). Let b be n(m). Solve 0 = -i - b*i + 5 for i.
1
Suppose 245 = 5*j + 25. Suppose j = 5*t + 14. Let o be ((-6)/9*t)/(-1). Solve -3*f = -o*f - 1 for f.
-1
Suppose -a + 4 - 1 = 0. Suppose a*o - 9 = -0*o. Solve o*s - 3 + 12 = 0 for s.
-3
Let b(o) = -o**3 - 7*o**2 + 5*o - 10. Let c be b(-8). Let j(h) = h - 1. Let r(y) = -6*y + 7. Let d(a) = c*j(a) + 2*r(a). Let t be d(4). Solve 3*w + t = w for w.
-4
Let p be 0 + 5 + (-5 - -4). Suppose 5*u - 3 = -8. Let l be (-4)/(-2) + (-18)/u. Solve -l = q + p*q for q.
-4
Suppose 0 = -6*v + 3*v - 30. Suppose 5*b + 28 = 3*b. Let t = v - b. Solve t*i = -i - 15 for i.
-3
Let c be (-4)/(4/5) + 2. Let w be (-6)/(-9) + 2/c. Suppose -3 + w = -m. Solve 0 = m*t - 3 for t.
1
Let i be 0/3 - (-2 + 1). Suppose 2*d - i = -z + 6, -2 = d - 5*z. Solve 0 = -d*j + 2*j + 5 for j.
5
Suppose 3*r - 17 = -2*s, -4*s = 3*r - 22 - 9. Suppose 2*x + 45 = s*x. Solve x = 5*n - 1 for n.
2
Let a = -43 - -47. Solve -a*z + 3*z = 0 for z.
0
Let n(x) = -2*x - 2. Let j be (6 + -5)/((-2)/4). Let m be n(j). Solve -3*l + 25 = m*l for l.
5
Let n(x) = x**2 + 6*x + 8. Let s be n(-7). Solve s = 2*h - 7*h for h.
-3
Let l be (0 - -2)*(-3)/2. Let b(x) = -2*x**2 - 26*x - 4. Let c be b(-13). Let i be (-4)/l - c/6. Solve 4*p + i = 2*p for p.
-1
Let a be 5/(4/2 + -1). Suppose 0 = 5*q - 0*q. Suppose -5*m + a*b + 20 = -q*b, -b - 12 = -5*m. Solve m + 6 = -4*h for h.
-2
Let x(c) = -c + 3. Suppose 0*u + 5*u = -5. Let f be x(u). Solve -f*i + 0*i = 0 for i.
0
Let m = 3 + -3. Suppose m*w = -4*w + 20. Suppose w*b = 19 - 4. Solve -b*a - a = -12 for a.
3
Let k(h) = -h**3 - 4*h**2 + h + 4. Let r be k(-3). Let q = r - -13. Solve q = p + 1 for p.
4
Let b be (-6)/(-2) - (1 + -5). Suppose 3*v + 1 = -2*a, -2*v + b*v + 4*a = -5. Solve 2*l + 15 = -v*l for l.
-3
Let b = -55 + 60. Solve 0*o - b = 5*o for o.
-1
Let h be (-208)/20 + (-4)/(-10). Let b be ((-4)/2)/(h/35). Solve -b*v + 4*v = 15 for v.
-5
Suppose 5*b - 40 = b + 4*d, -3*d - 9 = 0. Suppose 2*o - b = -h + o, -5*h + 51 = -3*o. Let f = h - 6. Solve 0*q = f*q + 15 for q.
-5
Let a(j) = -j**3 - 2*j**2. Let p be a(-2). Suppose 5*l + p = 3*g + 33, -7 = -2*l - 5*g. Let u be l/2 - (1 + -3). Solve -2*x = 3*x + u for x.
-1
Let b(q) = -2*q**2 + q + 2. Let d be b(-2). Let p = -8 - d. Solve p = -2*v + 6*v + 4 for v.
-1
Suppose 4*o = -22 - 10. Let f = 19 + o. Solve f - 3 = -2*k for k.
-4
Let j be ((-30)/(-2))/((-6)/(-4)). Let z(y) be the second derivative of y**3/6 - 2*y. Let q be z(2). Solve -4*x + j = -q*x for x.
5
Let f(d) = -3*d - 5. Let y be f(-5). Let w be (-4)/y + (-4)/(-10). Suppose w = 3*j - 9. Solve 0*z - 3 = j*z for z.
-1
Let s(r) = r**3 - 27*r**2 + 24*r + 54. Let z be s(26). Solve -4 = z*h + 2*h for h.
-1
Let x be 99/36 + 1/4. Solve 0 = 8*f - x*f + 5 for f.
-1
Let f be 6/18 - (-17)/3. Solve -8 = 4*i - f*i for i.
4
Let h be 2 - (1 - (-13)/1). Let n be 0 - (h/3 - -2). Solve -2*i + 4 = n for i.
1
Let n be (-20)/70 - (-2)/7. Solve n = -0*c + 2*c - 4 for c.
2
Let d(t) = t**3 - 2*t**2 - 6*t + 4. Let c be d(4). Suppose 3*j = -j + n + 16, -3*j + c = -3*n. Solve -j - 4 = -2*z for z.
4
Let g be (-3 + 1)/1 - -10. Solve n + n = g for n.
4
Let j(h) = -h + 2. Let l be j(-2). Solve -l*v + 12 = -v for v.
4
Let s = 12 - 9. Suppose 4*p + k = 10, -5*k = -3*p + s - 7. Solve 5*t - p + 12 = 0 for t.
-2
Let m(v) = -v**2 - 14*v + 20. Let f be m(-14). Solve -2*d = -7*d + f for d.
4
Let s(g) = g**2 - 7 + 0*g + 5*g - g. Let w be s(-8). Suppose -21 = -3*x - 3. Solve h + w = x*h for h.
5
Let n be 184/44 + 2/(-11). Let v = 0 - 2. Let b = v + 5. Solve -k + n*k + b = 0 for k.
-1
Let j = -88 - -109. Solve -3*q = 6 - j for q.
5
Let y = -38 - -42. Solve -2 = -2*v - y for v.
-1
Let a(f) = -f**2 - 4*f + 23. Let n be a(3). Let d be ((-9)/(-3))/(0 - -1). Solve n*u + 5 = d*u for u.
5
Let z be 140/40 - (-2)/4. Solve -m - 1 + z = 0 for m.
3
Let g = 28 + -20. Let w = 11 - g. Solve -w*f = -2*f - 1 for f.
1
Let d(k) = 6 + k - 5*k**3 - 1 + 2*k**2 + 4*k**3 - 3*k**2. Let p be d(0). Solve 0 = -p*t - 1 + 21 for t.
4
Let m = -5 + 4. Let s be m/3 + 26/6. Suppose -2*w + 4 = -0. Solve -s*j + 2 = -w for j.
1
Let m be 1/5 + (-109)/(-5). Solve 0 = 5*a + 2 - m for a.
4
Let g be 10/((-2)/(-1)) + -3. Suppose -3*c = -g*f - 46, -4*c - 3*f = -31 - 2. Solve -3*u + 3 = -c for u.
5
Let c be 0 - (2 + -6 + 0). Suppose -c*n = -5*n + 4. Suppose -f = -5 + n. Solve 5*r - f = -6 for r.
-1
Let z = 123 - 122. Solve z - 3 = b for b.
-2
Suppose 0 = y - 3 - 2. Let c(l) = l**2 - 2*l + 2. Let r be c(2). Suppose y + 1 = r*j. Solve w = j*w for w.
0
Let q = -4 + 6. Solve -2*s - 4 = q for s.
-3
Let n = 45 + -25. Suppose -n = -4*k - 0*k. Solve -3*o + k*o = 10 for o.
5
Let t = -17 + 10. Let q be (-2)/t + (-99)/(-21). Solve 5 + q = 5*o for o.
2
Suppose 0 = -15*y + 11*y. Solve y = -0*x - 2*x - 8 for x.
-4
Let c(x) = -6*x**3 + x**2 + x. Let w be c(-1). Let d = w - 2. Solve d*s = -s for s.
0
Suppose -4*y + 42 = 2*u - 4*u, 0 = -5*y + 2*u + 52. Solve -13*p - 3 = -y*p for p.
-1
Let g(i) = i**3 + 5*i**2 + 6*i + 8. Let q be g(-4). Solve 3*c + 12 = -q*c for c.
-4
Let m be (-2)/(-10) + (-656)/(-20). Let f be (-2)/10 - m/(-15). Let j be (2 - 1)/1*4. Solve -j = -f*k - 0 for k.
2
Suppose 0 = h - 5, 2*z + 2*h = -2*z + 22. Let g(p) = p**2 - 3*p + 2. Suppose 3*t - 6 = -0. Let w be g(t). Solve w = z*m + 3 for m.
-1
Suppose 5*i = 9*i + 16. Let s = i - -4. Solve -3*n + s + 9 = 0 for n.
3
Suppose 0 = 4*y - 2*q - 9 - 9, 19 = -3*y - 5*q. Solve -5 = y*t - 13 for t.
4
Let d(l) = 4*l - 3. Let o be d(2). Solve 0 = -o*p + 25 for p.
5
Suppose -3*t = 5*j + 24, -8 = 3*t + 2*j + 7. Let r be (-2 - -8)*t/(-6). Solve -r = -4*v + 5 for v.
2
Let o be 205/2*(-4)/(-5). Let b be 2*1*o/4. Solve -5*g - b = -16 for g.
-5
Suppose -2 = -3*q + 4. Suppose -3*j + 23 = 4*p, -p + 4*p - 16 = -q*j. Solve -u - p + 5 = 0 for u.
3
Let f = -22 + 24. Solve 0*b - 6 = -f*b for b.
3
Suppose -m = 3*m - 3*d + 63, -85 = 5*m - 5*d. Let i = -7 - m. Solve 0*s + i*s + 25 = 0 for s.
-5
Suppose 4 + 21 = 5*k. Solve k*d = 6*d + 5 for d.
-5
Let x = -31 - -31. Solve i + 3*i - 8 = x for i.
2
Suppose r - 1 = 2. Let g(d) = d - 1. Let w be g(-1). Let h be 2/(w*4/(-20)). Solve -r*q + 10 = -h*q for q.
-5
Let n be 10/45 + 25/9. Solve 5*f = n + 17 for f.
4
Suppose 2*d + 10 = 5*p, -4*p + 0*p + 8 = -5*d. Let j be p - 1/(1/(-2)). Suppose 4*w = -2*y - w + 21, -3 = 3*y - j*w. Solve -y*m + 2*m = 0 for m.
0
Let c(w) = -w**3 - 4*w**2 - 2*w + 3. Let m be c(-4). Let k(l) = l**2 - 11*l + 8. Let a be k(m). Suppose s - a = -s. Solve s*b - 3 = 5*b for b.
-3
Let n = 31 - 30. Let w = 0 - -1. Let t = 5 + w. Solve -t + n = -g for g.
5
Let y(f) = -f**2 - 3*f - 2. Let g be y(-2). Let d(m) = -m + 24. Let s be d(19). Solve g = 3*k - s + 14 for k.
-3
Suppose 2*q + 3*q + 58 = 3*z, 4*q = 4*z - 72. Solve 4*y = -0*y + z for y.
4
Let l(x) = -x**2 - 8*x - 9. Let j be l(-6). Let f = j + -2. Solve -2 - f = -3*b for b.
1
Suppose 10*u - 29 + 9 = 0. Let r(d) = -d**3 + 6*d**2 + 2*d - 4. Let i be r(6). Suppose u = -2*p + i. Solve 6*l = p*l - 15 for l.
-5
Let j = -10 - -14. Suppose -5*v + 4*w = -47, j*v + 4*w - 9 = 7. Let t = v - 5. Solve -f + t = 5 for f.
-3
Let y = 10 