13. Solve o = 3*a + 2 for a.
1
Let w be 6/((-1)/(-2)*3). Suppose -w = -2*u - 0*u. Solve u*j - 3 = 1 for j.
2
Let a(x) = x**2 + 2*x - 1. Let i be a(-3). Let b(u) = u**2 - 2*u + 3. Let c be b(i). Solve 3*f - c = -6 for f.
-1
Let w be (16/3)/(1/3). Suppose 32 = 4*o - w. Solve 5*u = u - o for u.
-3
Let y = 40 + -35. Solve y = -5*u - 0 for u.
-1
Let m = 38 - 76. Let c = -15 - m. Suppose 2*f - c = -5*g - 4, 9 = 3*g. Solve 3*j - f = 1 for j.
1
Let w(z) = -z**2 + 10*z - 11. Let d be w(8). Solve 0*y + d = -5*y for y.
-1
Let z(o) be the second derivative of -o**3/6 + 3*o**2/2 - o. Let f be z(-9). Suppose -2*i - f = -r, 5*r + 2*i = 7 + 5. Solve 0 = -q + r*q for q.
0
Let m(a) = a**2 + 4*a + 7. Let g be m(-3). Solve -g*j = 1 - 13 for j.
3
Suppose 1 = 5*l + h, -3*l - 5 = 3*h - h. Let r be (-10)/25 - 4/(-10). Solve r*f + l = f for f.
1
Suppose -3*r = -3*g + 3, r + 3*g + 4 = 19. Solve -7 + r = 2*j for j.
-2
Suppose 3*a - 11 - 10 = 2*m, -3*m = -2*a + 19. Suppose -5*w + 3*c = 35, 0*w - 5*c = -2*w + a. Let y be (w/(-4) - 0)*8. Solve -5*l + y = -l for l.
5
Suppose 18 - 3 = 5*a. Solve -a*c = -3 + 6 for c.
-1
Suppose 2*d = -0 + 6. Let a(c) = -2*c - 4. Let u be a(-2). Suppose -17*w + 13*w + 8 = u. Solve d*s = -w*s for s.
0
Let y = -31 - -47. Solve -y = h + 3*h for h.
-4
Suppose -5*a + 2*u + 0*u = -10, 0 = 2*a - 2*u - 4. Solve a*l - 10 = -3*l for l.
2
Suppose 5*h + 2*v + 0 = 12, -2*h + v = -3. Suppose 3*y = h*y. Solve -w - 4*w = y for w.
0
Suppose -5*a + 22 - 2 = 0. Suppose -5*i + 3*j + 37 = -0*i, 45 = 5*i - 5*j. Solve a*f - i = -1 for f.
1
Suppose -4*f - 6 + 22 = 0, -4*t + 2*f - 8 = 0. Suppose 2*i + t = 2. Solve i - 9 = -4*c for c.
2
Let v(s) = 2*s - 22. Let d be v(12). Solve 0 = -d*y - y - 3 for y.
-1
Let h(b) = -b**2 + 5*b + 4. Let m be h(5). Suppose 2*q = -k - 1 + m, 2*q = k + 9. Solve -q*l = l - 4 for l.
1
Suppose 0 = -p - 4*p + 15. Solve 4*n = 1 + p for n.
1
Let z be 2 + -37 + 0 + 0. Let m = z + 15. Let u be (-6)/(-15) - 52/m. Solve 0 = q + u*q for q.
0
Let m(g) = -2*g - 6. Let w be m(-6). Solve -4*y + 14 + w = 0 for y.
5
Suppose 11 = r - 0. Suppose 2*x - 17 = r. Suppose -2*d + d + x = 0. Solve 3*p - d = -5 for p.
3
Let y = 36 + -34. Solve 5*w + 13 + y = 0 for w.
-3
Let j be 1*2 + (11 - 12). Solve 6 = -5*m + j for m.
-1
Let i be (4/10)/((-4)/(-20)). Let r = i + 3. Solve 0 = -2*t + 1 + r for t.
3
Let m = 28 - 20. Suppose -u + m = u - 2*s, -5*u + 2*s + 17 = 0. Solve u*p + 12 = -p for p.
-3
Let n be ((22 + 2)/(-4))/(-2). Solve -g - n = -4*g for g.
1
Let w(g) = 2*g**2 + 23*g + 20. Let n be w(-11). Solve 4*a - 29 + n = 0 for a.
5
Let t(s) = -s**2 - 9*s - 18. Let d be t(-5). Solve 5 = f + d for f.
3
Suppose 0*x - 24 = -4*x. Let h(l) = -l**3 + 7*l**2 - 6*l. Let g be h(x). Solve g*n - 15 = 5*n for n.
-3
Let z be (2 - (7 + 12/(-4)))*-1. Solve 10 = 7*d - z*d for d.
2
Let q be (0 - 0)/2 + 0. Let s = 2 - q. Let i be ((-1)/(-1))/(2/6). Solve -i*a - s = 1 for a.
-1
Let g(j) = -j + 2. Let c be g(2). Suppose i - 5*o + 10 = c, -2*i - 2*i = 4*o - 56. Let q be (-2)/5 + 54/i. Solve 7*f - q = 2*f for f.
1
Let g(b) be the third derivative of 2*b**2 + 0 + 1/2*b**3 - 1/3*b**4 - 3/20*b**5 - 1/120*b**6 + 0*b. Let w be g(-8). Solve -2*a - w*a - 20 = 0 for a.
-4
Let b = 6 - 1. Let w(h) = h**2 - 4*h - 3. Let s be w(b). Suppose 5*y = -3*g, 2*g = -2*g - s*y. Solve g = -0*q - 4*q + 8 for q.
2
Let r = -8 + -1. Let m = r + 25. Solve h = -3*h - m for h.
-4
Let w = 8 + -5. Solve -w*s = -5 - 7 for s.
4
Let r(j) = 5*j - 9 - 3*j - 4*j. Suppose 2*t = -2*t - 36. Let k be r(t). Solve 2*p + k = -p for p.
-3
Let r be -1 - (1 + 0)*-4. Let k = r - 5. Let y be k/10 + 11/5. Solve y*n = -n + 12 for n.
4
Suppose 0*o + 144 = -4*o. Let a = -20 - o. Suppose -a = x - 5*x. Solve -2*j = 2*j - x for j.
1
Let h be -1 + (-4)/(4/(-3)). Suppose u + 0 = z + 1, u = 5. Let t be (-28)/(-3) - (-4)/6. Solve z = -h*s + t for s.
3
Let d(j) = -j**2 - 3*j + 4. Let v be d(-4). Let x(n) = 2*n - 5. Let r be x(4). Let c(m) = 2*m - 4. Let o be c(r). Solve v*i = o*i for i.
0
Suppose -4*r + 28 = -3*n - 13, 17 = r - 3*n. Suppose r*w = 3*w. Solve -3*u - 11 - 4 = w for u.
-5
Let m = 56 - 51. Solve -m*l - 6 = -1 for l.
-1
Suppose y = -5*k + 17, y + 4*y = -k + 61. Suppose -3*z + 0*z = -3*a - 18, -3*z = -4*a - 22. Suppose -y = -z*j + j. Solve i + j = -2*i for i.
-4
Let l be ((1 - 1) + 0)/(-3). Let u(t) = t + 1. Let x be u(l). Solve -k - x = 2 for k.
-3
Suppose -2*y + 10 = -0*y. Let f be 10/(-5) + (y - 1). Solve f = -2*a + 3*a for a.
2
Suppose 2*w + 81 - 257 = 0. Suppose 0 = -2*y + w. Suppose 3*v - 16 - y = 0. Solve -k + v = -6*k for k.
-4
Let o be 320/48 + 2/6. Solve -o*f - 4 = -5*f for f.
-2
Let n(o) = o. Let s(f) = f**2 + 5*f - 2. Let i(z) = -2*n(z) + s(z). Let p be i(-5). Suppose 0 = -q - 3*q + p. Solve -2 = 2*l + q for l.
-2
Let z = -4 + 20. Let y be (-3)/(-2)*z/6. Solve -17 = y*h + 3 for h.
-5
Let k be 70/(-20)*(-8)/7. Solve 4*n - k = -8 for n.
-1
Let a be (-1)/(-6) + 289/102. Solve -o - 5 = -a for o.
-2
Let x be 0*(0 + -1)*1. Suppose 2*p = -l + 21, 3*p - l + x*l - 29 = 0. Let q be p/(2 - (-1)/(-1)). Solve 0 = -4*o - 10 - q for o.
-5
Let u be (-1)/(-5) - (-32)/40. Let w be ((-4 - -1)*u)/(-1). Solve -2*f = 1 + w for f.
-2
Let n be 2 - (4 - (-2 + 6)). Solve -u - 1 = n for u.
-3
Suppose 6*s - 17 - 1 = 0. Solve s*f - f = 0 for f.
0
Suppose 2*p - 10 = 6. Suppose -3*g + 4 = -5. Solve g*d = 7 + p for d.
5
Let l(z) = -z**3 - 12*z**2 - 10*z + 16. Let n be l(-11). Suppose 4*c = -4*s + 16, 4*c + 0*s - n*s = -11. Solve i = 5 - c for i.
4
Let h(d) = d**2 + 9*d - 8. Let i be h(-10). Solve i*z = 1 - 5 for z.
-2
Let u be (-90)/(-20) + 2/(-4). Suppose -4*q - z + 3 = 4*z, -u*z - 4 = 0. Suppose 14 = 4*p + 2. Solve -5 = p*f - q for f.
-1
Let r = 22 - 22. Solve -3*a + r = -3 for a.
1
Let b be (5/(-4))/(3/12). Let k = b - -9. Solve 3*a + 5 = k*a for a.
5
Let v(o) = -o**3 - 6*o**2 + 6*o - 3. Let w be v(-7). Suppose 3*b - 14 = w*m - 42, -2*b - 22 = -3*m. Let d be 2/(-1 + 1 - -1). Solve -d*r + 7*r = -m for r.
-2
Suppose 2*u = 3 + 3, -u = 5*b - 8. Let g = b + 1. Let s(r) = 4*r - 2. Let d be s(2). Solve -d*l = -g*l + 16 for l.
-4
Let y be 18*(80/12)/5. Suppose -w = 4*g - 12, -y = -2*g - 0*g - 5*w. Solve q + 5 = g*q for q.
5
Let f be 1*(-1)/6 + 1674/324. Suppose -4*k = -3*m + 13 - 49, -5*k + 5*m + 50 = 0. Let b(r) = -10*r + 1. Let a be b(-2). Solve -k = -f*d - a for d.
-3
Suppose 0 = -5*h + 4*h. Suppose 3*j - 2*l - 22 = h, 5*l + 5 = -20. Suppose y = -3*y. Solve y = -p - j*p - 25 for p.
-5
Suppose k + 1 = 5. Suppose 0 = -5*x - 5*q + 10, 18 - 50 = -2*x + 5*q. Let g = -1 + x. Solve -k*u + g = -3*u for u.
5
Suppose 3*o + 2*o = -25. Let c(b) = -b - 3. Let a be c(o). Solve -a*d + 7 - 3 = 0 for d.
2
Let w(g) = -g**2 + 4*g + 2. Let q be w(5). Let f be 3/(8/(-3) - q). Solve k = 4*k + f for k.
-3
Let q(w) = w**2 - 3 - 1 - 2*w + 1. Let p be q(3). Solve 0*c - 3*c = p for c.
0
Suppose -3*n = -r - 5, 7*n - 2*n - r - 11 = 0. Suppose 0*g = -g - 2*d + 13, 0 = g - 2*d + n. Solve -5*u + 5 + g = 0 for u.
2
Suppose 5*x - x = 20. Solve -x*v = -9*v - 16 for v.
-4
Let c(k) = -k - 1. Let m be c(-6). Let t(i) = i**2 - 6*i + 5. Let j be t(m). Let s be 2 + j + 0 + 2. Solve s*z = -0*z + 8 for z.
2
Let s = 17 - 9. Solve -s + 12 = -4*n for n.
-1
Let x be ((-2)/4)/((-3)/204). Suppose 4*l = 2*l - x. Let j = -9 - l. Solve 2 = 3*i + j for i.
-2
Let u be (-8)/6*(-5 + 2). Let h(q) = -q**2 + 6*q - 6. Let k be h(u). Suppose 3*s + 3*c - 10 - k = 0, s - 4*c - 4 = 0. Solve -p = -6 + s for p.
2
Let l(m) be the second derivative of m**3 - 5*m**2/2 - 3*m. Let i be l(11). Suppose -5*z + u = -i, -2*u = 2*z - 6*z + 50. Solve -5*c + 8 + z = 0 for c.
4
Let i(n) = n**3 - 3*n**2 - 4*n + 2. Let l(p) = -p**2 - 5*p + 3. Let x be l(-5). Let a(f) = f + 1. Let d be a(x). Let s be i(d). Solve -s*r = -3*r for r.
0
Let o = 7 - 4. Let q = 3 - 0. Let d = q + -1. Solve x = -d*x + o for x.
1
Let c be -5*((-56)/20 - -1). Let d = c + -2. Solve -4*z - 19 = -d for z.
-3
Let d = 5 + -1. Suppose 4*w + 25 = 3*h, -h + 3*w = d*h - 27. Solve -h*o + 5 = -4 for o.
3
Suppose j = 2*b - 1, -3*j - 2*b - 2*b - 13 = 0. Let f = j - -5. Solve 0 = -f*t - 0 - 2 for t.
-1
Let j be (5 - (-6)/(-4)) + (-2)/(-4). Solve -j*z + 1 + 7 = 0 for z.
2
Let r(l) = 13*l. Let z be r(7). Let f be (-2 - -3) + z*1. Let w be f/28 + 2/(-7). Solve w*g = -14 + 2 for g.