*i + 11 for v.
-2
Let t(w) = 6*w**2 - 1. Let c be (-2 - 2 - -3) + 0. Let y be t(c). Suppose n - y = -2. Solve -2*u = -3*g + n, 2*u - 1 = -2*g + 1 for u.
0
Let r(p) = -3*p**2 - 17*p - 18. Let s(b) = 2*b**2 + 17*b + 18. Let z(k) = -3*r(k) - 4*s(k). Let j be z(18). Solve 2 = h + x, h + j*h - 3*x = -6 for h.
0
Let k be 2/18 + (-61)/549. Solve 3*h - w - 13 = k, 1 - 7 = -2*h + 2*w for h.
5
Suppose 2*m = t + 2 - 5, 0 = -t + 5*m. Solve 2*l = 5*p + 27, -t*l = 2*p - 7*p - 30 for p.
-5
Suppose -34*f + 20*f = -28. Solve -19 = f*l + 5*q, 0*l - 2*q = -3*l for l.
-2
Suppose -3*h - 15 = 0, 4*h + 20 = -4*f - 0*f. Let t be (-9 - -8) + (-12)/(f - 2). Solve 4*v = -5*r - 25, 3*r + 7 = t*v - 8 for r.
-5
Let o be -1 + 6/(-21) + 30/7. Suppose -1 = -2*i + o. Let f = 1 - 0. Solve -14 = -2*u - i*l, -f = -3*u + 2*l - 0*l for u.
3
Let g be (-2)/(12/20 - 1)*-2. Suppose 4*z + 0*z - 1 = j, 2*j = 3*z - 7. Let d be g/(-4)*(-6)/j. Solve 3*l - d*v = -6 + 3, -2*l - 5*v = 9 for l.
-2
Let t be 1/(-1) + (0 - -1). Let o = 3 + 12. Suppose 5*l + 2*x = o, -l + 4*l + 5 = -4*x. Solve t = 5*g + l*d + 40, -2*g - 19 = 4*d - d for g.
-5
Let y(f) = 3*f**2 + 49*f + 20. Let x be y(-16). Solve 5*r - 10 = x*u + 7*r, 2*r + 10 = 5*u for u.
0
Let a(i) = -4*i + 0*i**3 + 0*i - 34*i**2 + 29*i**2 - i**3. Let s be a(-3). Let q be (s - -4) + (15 - -2). Solve 0 = -5*p + 4*g + 10, -2*p - q = 3*p + g for p.
-2
Suppose 304*f + 50 = 314*f. Solve -2*j - 7 = -3*z, -2*z + 2*j - 11 = -f*z for z.
3
Suppose -38*c = -209 - 95. Solve 0 = -c*w + 4*w + 2*j + 20, 0 = 2*w - 2*j - 12 for w.
4
Let r = 851 - 827. Solve -r = 5*h - 5*k + 6, 3*h = -k - 2 for h.
-2
Let c be (5 - 0)*(0 + 1). Let d = 9 - c. Let r = -301 - -311. Solve d*n - 14 = 3*v, -4*v - 17 = -r*n + 5*n for v.
2
Let g be (-134)/(-5)*(-11 + 6). Let k = -123 - g. Solve 0 = -2*p - 2*l + 12, 3*p - 3*l - 1 = k for p.
5
Suppose -2*d - 2*m = -0*m - 6, 2*m - 12 = -5*d. Suppose -k - d + 6 = 0. Solve 3*u = -5*f - 1 - 15, -k*u = -3*f - 27 for f.
-5
Let o be 1 - ((1 - 3) + 1). Suppose 2*k - 12 = k. Suppose -n + 4*n = -3*m + k, 0 = 4*m + 2*n - 16. Solve -o*s - 3*c + 12 = -m, -5*c = -10 for s.
5
Let h be -15 - -1 - (1 + 0). Let o = -27 - h. Let w be (-4)/(-6) - 64/o. Solve a = -w*z + z, 2*a = 4*z for z.
0
Let u be ((-21)/(-6))/((-4)/(-8)). Let n be -1 + -5 + 1 + u. Solve -n*f = 2, -2*r + 9 = -r - 4*f for r.
5
Suppose -7*a + 12 = -16. Suppose 0 = -a*f + 7*f - 9. Solve -3*h - 2*h - 5*c = -35, 5*c = -f*h + 27 for h.
4
Let c(u) = -u + 16 + 0*u**3 + 2*u**3 - 12*u**2 - u**3. Let n be c(12). Suppose g = -2 + n. Solve 4 = -0*m - m, -2*q - g*m = 2 for q.
3
Let h(d) = d**3 + 3*d**2 - d + 1. Let o be h(2). Suppose o = 4*y + 3. Let v = -12760 + 12776. Solve -3*q + v = -y*x - 1, 2*x - 4*q = -16 for x.
-2
Let f(d) = -95*d - 380. Let l be f(-4). Solve 0 = -4*c - 2*h - 2*h - 8, h - 1 = l for c.
-3
Let c(l) = 110*l + 445. Let z be c(-4). Solve -2*o + 0*o = 5*a + 12, z = -o - 2*a for o.
-1
Suppose 58 = -20*m + 22*m - 4*g, 2*m - 5*g - 58 = 0. Solve 3*n - 15 = -0*j - j, 3*j + 5*n = m for j.
3
Suppose -7*f = -3*f - 20. Suppose f*t = l + 7, -4 = -4*l + 3*t + t. Solve z - l*w + 2*w + 6 = 0, 4 = 4*w for z.
-5
Suppose 2 = -0*j + j, -3*y - 3*j + 18 = 0. Solve z - 3*z = -y*c + 18, 5*c + 15 = -5*z for c.
2
Let d(c) = c**3 + 5*c**2 + 4*c - 2. Suppose -4*f = f + 5*x + 30, -3*f - 14 = 2*x. Let r be d(f). Solve 12 = 5*s + r*g - 15, -3*s - 2*g = -17 for s.
5
Suppose 0 = 2*y + y - 3. Let b = 105 + -103. Suppose b*x - y = 5. Solve 2*g - x*v = 3*g + 6, -13 = 5*g - 2*v for g.
-3
Let a(k) = 6*k + 12 + 7*k - 11*k. Let l be a(-5). Solve -l*v = -5*i + 22, -i = -3*v - 3*i + 5 for v.
-1
Let q(g) = -3*g - 31. Let l be q(-11). Solve -3*f = -8 - 7, u = -l*f + 12 for u.
2
Let f be 38/9 - 46/207. Solve d = f*x - 8, -3*x = 2*d + 2 + 3 for x.
1
Let v(n) = 3*n**3 - 3*n**2 - 8*n - 1. Let m be v(4). Let a = m + -90. Solve 4*d + 1 = -3*w, -2*w + a + 1 = -3*d for d.
-4
Let p = -1756 - -1758. Solve 4*u = -x + 2*x + 4, p*u - 4*x = 16 for u.
0
Let u be (-2*1)/(6/27). Let o(s) = s**3 - 12*s**2 + 9*s + 13. Let r be o(11). Let i = u - r. Solve 4*d = -6*m + m, i = 4*m for d.
0
Let s be 3 + 80/35 + (-2)/7. Solve -2 = -s*l + 5*w + 8, 6 = -2*l - 3*w for l.
0
Let b = 128 + -184. Let d = 60 + b. Solve 3*j = d*y - 7, y + j + 7 = -0*y for y.
-2
Let g(x) = -4*x + 4. Let s be g(0). Suppose t = o - 2, -18 = -3*o + t - s*t. Solve o*c + 2*q = -2, -2*q = 2*c - 0 + 6 for c.
2
Let q = -671 - -675. Solve -f = 4*n - 3*n + 1, f - q*n + 1 = 0 for f.
-1
Suppose -5*s = 3*d - 31, 7 = 4*s - 13. Solve 2 = -k - d*t + 4*t, 3*t - 3 = -3*k for k.
0
Let p be 6/2 + 1 - 0. Solve 5*k - 20 = 5*t, -k + 2*t = p*k - 20 for k.
4
Let o be (-2)/8*-2 + (-75)/(-50). Solve 8 = -w + 3*u - 7*u, 4*w - 10 = -o*u for w.
4
Suppose 2*h = -2*i + 12, 4*h = -i - 14 + 32. Solve -3*m - h*s = -1, 8 = 2*s - 0 for m.
-5
Suppose 4*s - 9 = 4*u - 21, 2*u + s - 12 = 0. Let g(q) = q**2 - 7*q + 12. Let l be g(u). Solve 5*a = 5*x - 5 - 20, 5*a - l*x = -10 for a.
0
Suppose -46*q = -152 - 170. Solve -q = -3*l - p, l - 19 + 6 = -3*p for l.
1
Suppose 3*q - 2*l + 6 = 5*q, 10 = -5*l. Let h be ((-63)/(-18))/7*(0 + 0). Solve -2*k + 12 = -h*g + 2*g, -4*k = q*g - 29 for k.
1
Let q be 1*(12/(-2 - 4) + 2). Solve -b + 5*d + 1 - 6 = q, -5*b + 4*d = 4 for b.
0
Let o be 6/(-2)*420/(-315). Solve -3*s + 4*p - 4 = s, o*p = -3*s - 31 for s.
-5
Suppose -1 = -2*c + 3. Suppose -3*j - 8 = -2*x, 0 = c*j + j. Solve x*h = 3*f + 5, -4*h - 5 = 2*f - 7*f for h.
5
Let r(p) = -2*p - 14. Let d be 5*-2 - (-6 + 3). Let n be r(d). Suppose 4*j + 5 = 13, -5*a + j + 28 = n. Solve o + 4*y - 9 = a*o, 2*y = o + 3 for o.
-1
Let l(x) = x**3 + x**2 - 4*x + 3. Let w be l(1). Solve 0*j + j = -s - w, -2*s - 4*j - 10 = 0 for s.
3
Suppose -11*d + 36 = 7*d. Solve d*k - 5 = -w - 3*k, k - 1 = 0 for w.
0
Let a = 466 - 444. Solve -3*k + 5*v = -a, 0*v = -3*v - 15 for k.
-1
Suppose -246 = -28*u + 454. Solve -5*r + r + 3*b = u, r + 5*b - 11 = 0 for r.
-4
Let y(o) = o**3 + 29*o**2. Let g be y(-29). Solve 2*l = -2*h, 2 + g = l - h for l.
1
Let x be -1 + (-7)/(-3) - 1056/(-288). Solve z = x*l + 3 - 7, -3*l + 5*z + 20 = 0 for l.
0
Let d(h) = -12*h - 7. Let n be 140/(-42) + 2/6. Let w be d(n). Let f = -27 + w. Solve -12 = 2*b - 5*j, -f*b = 2*b + 5*j - 36 for b.
4
Let i(k) = k**2 - 2*k + 3. Let b be i(3). Solve -y + 6*y = 3*c + b, 2*y = -c + 9 for c.
3
Suppose -3*h - 5 = -17. Suppose 0 = o - 1 - h. Suppose -9 + o = -2*n. Solve n*t = 2*g - 6*g - 12, 5*t = 4*g - 16 for t.
-4
Let j = 283 + -280. Suppose 5*k + p = 1, p = -2*k - 1 + 2. Let b be j + 6 - (4 - k). Solve 5*o - 15 = -3*s + 10, b*s = 5*o - 25 for o.
5
Let l be (-3)/2*364/(-78). Let x(n) = n**3 + 4*n**2 - 8*n - 3. Let j be x(-5). Let s = j - l. Solve 5*w + 3*y = 19, s*y + 25 = -0*w + 3*w for w.
5
Let m = -68 - 9. Let n = -58 - m. Solve -3*s - 3*a - n = -1, -5*s - a - 26 = 0 for s.
-5
Let i = -1046 + 1047. Solve -m = 4*v - 0*v - 11, 0 = 2*m + v - i for m.
-1
Let x(h) = -h**3 + 2*h**2 + 3*h + 4. Let p be x(3). Suppose 0 = -f + 2*f + 2*v - p, 0 = 5*f - 4*v - 6. Solve 3*y - f*d + 6 = -8, y - 18 = -5*d for y.
-2
Let v be (-23)/(-3) + (-20)/(-15). Solve v*n + x - 9 = 12*n, 15 = -5*n + 4*x for n.
-3
Suppose 0 = -2*w - 5*m + 30, 2*w = -2*w - 5*m + 40. Solve -3*s - 31 - 4 = w*k, 2*k + 13 = -s for s.
-5
Let s(b) = b**3 + 14*b**2 - 16*b - 14. Suppose -5*u = -c - 35, -5*c = -0*c + 2*u + 67. Let y be s(c). Solve -y = 2*i + 2*l + l, -5*i + 5*l - 15 = 0 for i.
-2
Let l(w) = -w + 14. Let i be l(7). Let f be 14/(-4)*(-4)/i. Suppose 2*m + d = -2*m + 1, 4*m - 2*d + f = 0. Solve 3*s - u + 15 = m, -5*s - 2 = u + 23 for s.
-5
Suppose -3*c - 4*s - 4 = -8*c, 4*c + s - 20 = 0. Solve c = g + a + 7, -3*g - 4*a = 13 for g.
1
Suppose 117*t = 116*t - 3*q + 4, 3*t - 5*q - 26 = 0. Solve 0 = -v - 2*j + t, 2*j = 5*v - j + 4 for v.
1
Let t = 83 - 49. Suppose 10 = t*n - 32*n. Solve -5*i - u - 2 = -n, -u = -3 for i.
0
Suppose -j + 4*l - 2 + 0 = 0, 2*j - 3*l - 11 = 0. Solve -3*u + u = -5*f - 18, -5*f = 5*u - j for f.
-2
Let q be (-1 + -15)*(-5 - (-38)/8). Solve 4*k = 6*k - t - 4, k - q*t - 9 = 0 for k.
1
Let g = -632 + 639. Suppose 0 = 3*u + 2 + 4. Let w be u/g + (-2)/(-7). Solve -r + 5*d = 7, 3*r - 17 = -w*r - 4*d for r.
3
Let w(t) = t + 14. Let g(d) = -d - 26. Let s be g(-17). Let z be w(s). Solve -z*x + x = 3*m + 6, -3*m + x + 9 = 0 for 