 = -n + f for n.
1
Let i = -1963 + 1968. Let n be 54/4*4/6. Solve v = -v - i*k + 1, -5*v = k + n for v.
-2
Let t = -12 - -15. Solve t*x = 4*x + 4*m - 11, x - 3*m = -17 for x.
-5
Suppose -121*m + 10 = -119*m. Solve -5*a = 4*c + 22, -5*c - m = -2*a - 3*a for c.
-3
Let d = 20 - 17. Suppose -17 = 3*r + 2*j - j, 5*r + 5 = d*j. Let t be (-1)/(165/(-41) - r). Solve h = -3*s - 11, 5*s - 2*h = 2*h - t for s.
-5
Let w = 19 + -17. Suppose 2*f - 4*v = -12, 3*v - 4*v + 3 = -w*f. Solve -5*p + f*p = -3*i - 9, -i = 2*p + 3 for i.
-3
Let r(x) = 3*x**2 - 17*x - 3. Suppose -a + 12 = 2*s, -2*a - 5*s = -0*a - 27. Let z be r(a). Solve -5*c = -z*f - 7 - 0, 4*c = -3*f + 11 for c.
2
Suppose 0 = 9*x - 5*x, -5*x = 5*s - 3*x. Solve 5*q + 5*w + 5 = s, 4 - 8 = 4*q - 4*w for q.
-1
Let q(a) = -2*a - 36. Let b be q(-15). Let l = -5 - b. Suppose u = -u. Solve 5*x + 4*j - 40 = u, 2*j - j = x + l for x.
4
Suppose 342 = -4*r + 350. Solve 0 = r*t + 3*l + 12, -2*l + 2 = -3*t + t for t.
-3
Let m(t) = -t**2 - 4*t**3 - 1394 + 1394. Let a be m(-1). Solve -4*w = a*j + 3, 4*j - j = -2*w - 3 for j.
-1
Let b = 66 - 59. Solve -10 = -n - 3*z, 0 = b*z - 3*z - 12 for n.
1
Suppose 4822*d - 187 = 4811*d. Solve -18*k - 5*r = -d*k - 27, 4*r = 4*k + 12 for k.
2
Let p(a) = 2*a**2 + 3*a. Let l be p(-2). Let x = 420 - 417. Suppose 0 = -l*k - x + 7. Solve 0 = -2*j + 5*c - 13, k*j - 2*c + c = -1 for j.
1
Suppose 839*g = 842*g - 9. Solve -y + 0*u - 13 = 3*u, 0 = -y + g*u + 11 for y.
-1
Suppose 5*r - 1288 = -9*r. Let q be 161/r + (-1)/(-4). Solve -3*l + 2*d - 12 = -d, -2*l - q*d = 4 for l.
-3
Let j(k) = k**2 + 3*k - 24. Let c be j(-7). Solve -4*l + 9 - 25 = -c*s, -3*l = -s + 14 for s.
-1
Suppose 30 = 5*w - 5*j + 80, -2*j = -3*w - 35. Let r = 90 + -68. Let v = r + w. Solve -g - 17 = 4*d, 0 = -2*d - 4*g + 5*g - v for d.
-4
Suppose -2*v - 2*l = -2, -7*v = -3*v - 2*l - 4. Suppose -6*f = -4*f. Suppose -2*k = -f - 4. Solve u + v = 3*r, 7*u = k*u + 2*r + 8 for u.
2
Let u be 2/5 - (-39)/15. Suppose v = 5*b - v, u*v = 0. Suppose -4*l + r + 0*r + 15 = 0, b = l + 3*r - 7. Solve h + 3 = j, -l*h - 5*j + j = 28 for h.
-5
Suppose 0 = n + n. Let p be 56/21 - 5/3 - -11. Solve 5*t = 3*y - 8, p = -n*t - 2*t - y for t.
-4
Suppose 3*z - 2 = 1. Solve 4*p + z = -2*v - 1, 3*p + 5*v = 16 for p.
-3
Let m = 152 - 149. Solve -4*o = -m*t + 26, -8 = 3*t - 7*t for o.
-5
Suppose 5*a + 5*l = 0, -6*a + 2*l = -a + 28. Let d(g) = g**2 + 4*g + 2. Let i be d(a). Solve 2*q + 2 = -5*y + 3*q, i*y + 2*q = -8 for y.
-1
Let v(l) = -l**2 - 11*l + 19. Let a be v(-12). Let n be 2/a - 6/21. Solve 3*h = 2*q - 22, q - 4*h - 21 = -n*h for q.
5
Suppose 0 = -6*x + 25 + 5. Let p be 4 + -2 + 1 + -1. Let s = p + 0. Solve -x*o = 20, q + q = -s*o - 18 for q.
-5
Let u = -111 + 114. Solve -j - w = -u*j, -3*w + 11 = 5*j for j.
1
Let z be 0*(-3 + 7/2). Suppose t - 2*q = 4*t - 95, z = -2*t + q + 54. Suppose -5*l - 9 = -t. Solve -3*j - 1 = 3*a + 2, -l*a - 2*j - 10 = 0 for a.
-4
Let v = 152 + -147. Let g be (-25)/(-10) - 3/6. Solve -r + 0 - 2 = -g*w, -v*r - 15 = -5*w for r.
-4
Suppose 0 = -5*h - 681 + 696. Solve 0 = -2*c + h*u - 9, 0*c + 3*c = 2*u - 1 for c.
3
Let h be (-6)/4*2/6*38. Let z = h - -22. Solve z*d - 3*c = -2*c + 7, 0 = 4*d - 2*c - 10 for d.
2
Suppose -4 - 68 = -3*y. Let a = 46 - y. Let f = a - 11. Solve 3*o = 2*t + f, -2*o + 1 = -9 for t.
2
Suppose -2*q + 24 = 2*q. Let d be (4/q)/(2/3). Suppose -76 = -44*g + 100. Solve -3*j - 9 = 3*w, g*w - 3*j + 11 + d = 0 for w.
-3
Let h(c) = 2*c + 9. Let l be h(-2). Solve -5*m + l*p = 0, 3*m - 2*p + 3*p = 4 for m.
1
Let y = -40 + 19. Let p = -18 - y. Suppose 6 = -0*j + 2*j. Solve p*v - g = -12, -6*v + j*g - 11 = -2*v for v.
-5
Let l = 130 + -46. Let v = 88 - l. Let h = -3 - -7. Solve -k - 26 = g + v*k, 0 = -g - h*k - 21 for g.
-1
Suppose 0*g - 60 = -3*g. Suppose 4*j + 0 = 8. Let u be 3 + -6 - (-12)/j. Solve 0 = u*k - 5*a - g, 0 = -k + 2*k - 2*a - 8 for k.
0
Suppose 24*q - 48 = 8*q. Solve q*w + 2*j = -17, 5*j = -2*w + 3*w - 17 for w.
-3
Let t(f) = 3*f**2 - 1. Let a be t(-1). Suppose 0 = a*g - 9 - 3. Solve 0*w - 4*w - 5*v + 23 = 0, -3*w = -4*v + g for w.
2
Let m be 8/1 + (-16 - -22). Solve 3*w + w = 16, 2*v + m = 4*w for v.
1
Suppose 58*q - 53*q - 45 = 0. Suppose p + q = 16. Suppose 2*s = -5*x + p*s, -x = 4*s - 15. Solve -25 + 5 = 4*w + 3*d, -12 = x*d for w.
-2
Let f(u) = -u**3 - 2*u**2 + 6*u - 3. Let w be f(-4). Suppose 12*p - w*p = 35. Solve -p*j - 3*m - 6 = 0, 4*m = 3*j + 2*m - 4 for j.
0
Let h be (8/(-12) + 1)*12. Suppose g + 8 = 3*g. Let s(t) = -t**2 + t + 20. Let p be s(4). Solve j = h*n + 2, g*n = 8*n + 4*j - p for n.
0
Suppose -2*v + 2 = -2*f, -5 = -4*f - 1. Solve v*i + 5*t = 3*i - 20, -4*i = 3*t + 35 for i.
-5
Suppose 81*v - 43*v - 40*v = 0. Solve 4*h + 2*u = v, 5*h = -0*h + 5*u for h.
0
Suppose 2*s = 4, 0*s = -h - s + 8. Solve -3*k + 3*l = h, 11*k - 4*l - 10 = 16*k for k.
-2
Let i = -7 - -5. Let d be (1 - i) + 0/1. Let y be (34/(-4) + 9)*6. Solve 3 = d*o - 2*l, 4*o + l - 6 = y*o for o.
3
Suppose -9 = -2*u + 3. Suppose -3*f - u = 0, 21 = 5*k - 2*f + 7. Solve d + 2*r = -d - 16, -22 = k*d + 4*r for d.
-5
Suppose -3*j + 3 = 0, 2*m - 10 = 12*j - 8*j. Solve 4*b - n = -m, -5*b + 2*n = -5 + 10 for b.
-3
Let g = 70 + -68. Solve -t - t - 3 = -f, -g*t + 1 = -5*f for f.
-1
Let c be 39/26*8/3. Solve -5*k - 2*y = 1, -2*k + 0*y = -y + c for k.
-1
Let k(r) = 2*r - 9. Let l be k(6). Let u = -221 + 236. Let f(w) = -w**2 - 4*w + 4. Let o be f(-4). Solve o*p - u = -5*q, -l*q = -p - 4*q + 4 for p.
5
Let t = -1096 - -1098. Solve 2*k - 6 = -3*d, 7 = t*d + 4*k - 5 for d.
0
Let w(l) = -26*l + 315. Let z be w(12). Solve 4*r = -6*v + z*v + 3, 34 = -3*r + 5*v for r.
-3
Suppose r = 4*v - 4*r - 15, -4*v = 2*r + 6. Let q be (0 - (1 + -1))/2. Let o = q + 5. Solve x - b - o = v, -x + 0*x = -4*b - 8 for x.
4
Let x(l) = l**2 - 2*l + 2. Let r be x(4). Let f(k) = k**2 + k - 6. Let d be f(2). Solve 5*b - 3*c - c + 1 = d, c - r = -2*b for b.
3
Let y(r) = r**2 - 2*r - 6. Let a be y(-2). Suppose -m - g - 29 = -4*m, -a*g - 2 = m. Solve -3*d + 3*b - 15 = 0, d - 2*b = 1 - m for d.
-3
Let r = -1 + 1. Suppose d + 50 = 44. Let w be (1/2)/(d/(-300)). Solve 2*j + 3*m + 11 = r, 0*m = -5*m - w for j.
2
Let x = 52 - 50. Suppose -3*n = -11 + x. Solve 5*s - 23 = n*o - 2, -13 = -5*s - o for s.
3
Let r(u) = u - 8. Let j be r(15). Solve -3*w = 11*l - 12*l - j, -4*w + 36 = 4*l for l.
5
Suppose -10*r + a = -16*r + 7, 3*a + 5 = -5*r. Solve -v = -5*p - 5, 0 = -3*p - r*p for v.
5
Suppose -5*n = -16 - 9. Suppose -11 = -3*i + 2*i. Suppose -1 = n*r - i. Solve -o - 4*z + 1 = 0, 1 - r = -o + 4*z for o.
1
Let n(t) = -t**3 - t**2 + 7*t - 8. Let b be n(-4). Suppose -4*o + 84 = b. Solve -2*s + 5*l + o = 0, -4*s + 6 = 4*l - 2 for s.
4
Let m be (2 + 57/12)*(-24)/(-9). Let r = m + -14. Solve -4*i = 0, 4*i = 3*j - j + r for j.
-2
Let t(b) = -3*b**2 + 3*b + 2. Let h be t(-1). Let z(q) = -3*q - 1. Let p be z(h). Solve 0*g - 3*g + p = 4*s, 3*g = 3*s - 3 for g.
1
Let g(o) = -9*o**2 + 3. Let d be g(2). Let w = d + 38. Solve 0 = w*v + 4*l + 21, -4*v - 19 = -0*v + l for v.
-5
Suppose 24*w - 16 - 104 = 0. Solve 3*x - 20 = 4*c, -w*x + 22 = -0*c - c for c.
-2
Suppose -4*d + 7 = 3, -4*d = 3*n - 61. Solve -4*x + t - n = -4*t, -t + 6 = -3*x for x.
-1
Let d(o) = -o**3 + o**2 + 6*o + 2. Let i be d(3). Suppose -5*n = 0, 6*n - 2*n = -i*f + 12. Solve 3*y - 4 = 5*y - m, -4*y - f = -3*m for y.
-3
Let w(j) = -j + 4. Let g be w(4). Let d(y) = 95*y - 2461. Let q be d(26). Solve f - 11 = 5*v + 8, -5*f - v - q = g for f.
-1
Let q be 0 - (48/3)/(-4). Suppose 2*k = -q*d + 14, -3*k = -d + 3 - 17. Let b(v) = v**2 + 3*v - 9. Let g be b(-7). Solve 0 = k*u + 10, 4*j + 5*u + 3 = -g for j.
-3
Suppose 0 = -3*f - 3, -1 = j - f - 2. Let n be (0/1)/(-1 - j). Solve -r + 8 = 3*r - 4*q, 3*q + 9 = n for r.
-1
Let r(n) = n**3 + n**2 + 25. Let p be (-4)/(-22) + (-2)/11. Let v be r(p). Let q(o) = 4*o + 3. Let x be q(3). Solve 0 = 4*s - j + x, j + 2*j + v = -2*s for s.
-5
Let t be (-18)/12*2 - (-1 + -7). Solve 1 + 2 = -a, 4*u + t*a = -31 for u.
-4
Let k(g) = -3*g**3 - 2*g**2 + g. Let c be k(-2). Let n = 19 + -6. Suppose -4*o + 3 = -n. Solve -5*m = 2*q - 23, o*m + q - c = 2 for m.
3
Let l = -4 + 10. Suppose -8*t = -0*t + 112. Let y(s) = -s**3 - 14*s**2 + 3. Let i be y(t). Solve -2*w = d - l*d + 14, i*w + 6 = 0 for d.
2
Suppose