 v + 3 for i.
2
Let t be (48/(-21))/4 + 9/(-21). Let n = 3 - t. Solve 2*s + r = 4, -n*s - 2*r = s - 9 for s.
1
Suppose -8*w + 64 = 48. Solve 5*f = 3*c + 3, w*c - 3*c = -4 for f.
3
Suppose 57*s + 178 = 59*s. Let m = s - 89. Solve -2*u + m*d - 16 = 4*d, -3 = 3*u - d for u.
-2
Let w be (37 - -2) + (-5 - -8). Suppose 2*m - 18 - w = 0. Let q = m - 30. Solve i + 3*h + 5 = -h, 5*h = q for i.
-5
Let k be 2/(-5) + (-87)/(-5). Let q = k + -12. Solve 3*w - 9 = 4*u, 4*w + 3 = q*w - 5*u for w.
3
Let z(p) = 2*p**2 - 7*p. Let s be z(4). Solve 3*l - 3*q + 12 = 0, -4*q = -5*l + s - 20 for l.
0
Suppose 147*t - 149*t = -6. Let p be 46/10 - (-4)/10. Solve t*g + 18 = -3*f, 10 = -2*g + p*f + 26 for g.
-2
Suppose -4*o + l + 7 = -15, -5*l = 2*o. Suppose 7*t = -o + 33. Solve k + z = -2*z + 3, 4 = k + t*z for k.
0
Let r(k) = k**3 + 7*k**2 - 7*k + 7. Let h be (-2 + 12)/(-1) + 2. Let s be r(h). Let z be (3 + -3)/(s/1). Solve z = -4*p + 3*p, 4 = 4*l - 3*p for l.
1
Let f be (-21)/(-14)*10/3. Let j be -3*f*(-1)/3. Suppose -k - 12 = -j*k. Solve d - 25 = -k*d + 5*i, 4*d - 23 = 3*i for d.
5
Let b be (-3)/2*(-2)/(-1). Let j = -3 - b. Let s be (-12)/(-3) + (24/1 - -2). Solve j = 3*q - 8*q - 5*x + 50, -s = -2*q - 4*x for q.
5
Let s be (175/(-15))/5*-3 - 4. Solve s*l = -3*z - 15, -l + z = -4 - 1 for l.
0
Let y = -34 + 19. Let a be 40/y*(-9)/6. Solve 4*w = p + 15, -2*w = 4*p - a - 8 for p.
1
Let f = -223 + 223. Let w = -3 - -5. Suppose 5*k - w*k = -o, k = f. Solve o = -4*l + 3*m + 2*m + 9, 2*l - m = 3 for l.
1
Let l(g) = -g + 4. Let o(u) = -u**3 - 6*u**2 - 2*u - 11. Let h be o(-6). Let f be l(h). Solve -f*i = -5*w - i - 17, i + 24 = -4*w for w.
-5
Suppose k + 1 = 3. Let b be (k - (-32)/(-6))/(20/(-30)). Suppose 0 = 3*o + 4*l - 32, 2*l = 4*o - 42 - 30. Solve 0*c - 4*c + o = b*s, -2*c = 2 for s.
4
Let w(m) = m**2 + 8*m + 18. Let t be w(-9). Suppose -5*i - 12 + t = 0. Solve -6*n = -i*n - 9, -5*z = 3*n - 14 for z.
1
Suppose -5*m + 9 = 4*d + 4, 2*m - d = 2. Solve 5*x - 11 = -m, -4*u + x = -10 for u.
3
Suppose 3*c + 16 = -152. Let v = -52 - c. Solve -q - 4*j - v = 3*q, -2*j = -3*q + 2 for q.
0
Let p be 12 - -6*(-49)/42. Solve -y = -p*z - 2 - 14, -4*z = -3*y + 4 for z.
-4
Suppose 0*m = m. Let i(u) = -u**2 - 5*u + 15. Let z be i(-7). Let g be z - (-65)/15 - 1/3. Solve m = g*c - 3*c - y - 11, -2*y + 2 = 4*c for c.
3
Let k(c) = -c**2 + 15*c + 21. Let l be k(16). Suppose 3*m - f = 2*m, 3*m + 10 = l*f. Solve -23 = -m*w + 2*b, 3*b + 2 = 5*b for w.
5
Let v = -291 + 295. Solve 2*u = -2*a - 0 - 6, 2*u = v*a + 24 for u.
2
Let p be 2/(-8) - 68/(-16). Let l be -1 + (-1)/(-5 + p). Let a be 0/(3 + -1) - 0. Solve 3*t - 12 = l, 4*w + 2*t + 0*t - 20 = a for w.
3
Let v(k) = -k**3 + 2*k**2 + 6. Let i be v(0). Let m = i - 4. Solve 6*j + 3*d + 12 = 2*j, 3*d = m*j + 6 for j.
-3
Let h be 3 - (-2)/(-8)*0. Let u = 18 - -8. Let q be (-4)/u - 318/(-39). Solve 5*m + 5*v + 48 = q, v = -h*m - 14 for m.
-3
Suppose -w - 103 = -4*k, 4*k + 0*w - 97 = -w. Suppose 2*p - 41 = -k. Solve 0*u = 5*f - u + p, 2 = 2*f - 3*u for f.
-2
Let a be 2266/721 - (-2)/(-14). Solve -4*z = a*r + 29, 0*z = -4*r + z - 7 for r.
-3
Let o = 0 + 2. Suppose z - 30 + 4 = -o*b, -b - 5 = -4*z. Let m = b - 7. Solve 5*i + 6 = -m*r, 3*i = r + 5*i for r.
-4
Suppose -o = -0*o - 10. Let t be ((-4)/2 - -2)*1. Suppose 5*g - 15 - o = t. Solve -g*u + 3*k = 24, 4*u + 0*k + 5*k - 3 = 0 for u.
-3
Let x be 252/66 + 2/11. Suppose 4*j + 5 = -o - 4*o, 0 = -x*j - 20. Solve -4*l + 5 = -0*w - o*w, -3 = 3*l for w.
-3
Suppose 4*r - 5*p - 30 = 0, 0*p + 19 = 5*r + 3*p. Suppose r*f - 59 = -34. Solve 0 = 3*v + 15, -f*g + g = 4*v for g.
5
Suppose 24 = 4*m - 3*d - 0*d, 2*d + 8 = 0. Suppose 0 = -m*h + 9 + 42. Solve -23 = 4*b - 5*a, -b - 2*a + 7*a = h for b.
-2
Suppose 5 = -2*m + 5*m + s, 4*s - 20 = 0. Solve 0 = -m*i + 4*i - 4*l - 4, -i - 9 = 4*l for i.
-1
Suppose 4*q + 0*q = c + 8, 3*c = -q + 2. Suppose 0 = 3*a + q*a - 4*p + 6, -4*p = 2*a - 20. Solve -2*k + 3*i = -12 - a, 4*i - 8 = -4*k for k.
4
Suppose 5*p - 31 = 29. Suppose 0*d + p = 4*d. Suppose 4*i - 7*z - 105 = -2*z, -127 = -5*i + 2*z. Solve -4*h + d*v = -2*h + i, v - 5 = 0 for h.
-5
Let l be ((-276)/33 - -8)*-11. Let d be (3 + -4)/((-4)/88). Solve -2*v + l*y + d = 0, -v - 4*y = 4*v + 1 for v.
3
Let k(m) = m**2 + 8*m + 9. Let t be k(-7). Solve -t*a + 3 = a - 4*r, 2*r = -5*a + 31 for a.
5
Suppose -23 = 2*h - 65. Let u be 0 - (-7)/(h/6). Solve 2 = u*y - 3*n - 23, y - 2*n = 15 for y.
5
Let p(b) = 2 + 6 - b**2 + 2*b**2 - 6*b. Let a = -10 + 15. Let r be p(a). Solve -4*q - r*j = j + 4, -2*q + 3*j - 2 = 0 for q.
-1
Suppose d - 4*y - 13 = 4, 0 = -5*d + y - 10. Let z(s) = -s**3 - 2*s**2 + 2*s + 2. Let u be z(d). Solve -19 = -o - u*x, -2*x + x - 1 = -o for o.
4
Let a(j) = j**2 - 14*j - 13. Suppose -f - f = 2*r - 20, -55 = -3*f + 2*r. Let l be a(f). Solve 0 = -4*h + 5*d + 6, -2*d + l + 2 = 0 for h.
4
Suppose -2*g = 2*l - 8, -g + 3*l = 7*l + 8. Suppose -2*f - 5*m + 6 = 0, 0*f - 2*m - 6 = 5*f. Let r be -4 + 9 + 6/f. Solve 4*i = 20, q - g = -2*i - r for q.
-4
Let n(a) = -2*a**2 + 21*a - 28. Let i be n(8). Solve 6 = -3*t, 2*u - i = 3*t + 4 for u.
5
Suppose 0 = -4*m - l - 61, 3*l + 0*l + 15 = 0. Let y = m - -14. Suppose y = -3*g - 4*o + 69 - 27, -o = -g + 7. Solve 0 = -2*a - g, 3*t - 3*a - 35 = -8 for t.
4
Suppose 0 = -23*j + 58 - 12. Solve 0*k = 2*i + j*k + 2, -3*i = -k - 9 for i.
2
Suppose 7*h - 66*h = -295. Solve -h*y = x + 2, 2*y + 4 + 10 = 4*x for y.
-1
Let h be (-4)/(8/(-15)*6/4). Solve -2*m + 2 = 5*q + 19, q + h*m - 15 = 0 for q.
-5
Let s(a) = -a**2 - 31*a - 198. Let d be s(-10). Solve -d*m = -9*m - 4*j + 24, -2*j - 14 = 5*m for m.
-4
Suppose 4*v = n + 22, 0*n - 3*n = -4*v + 26. Suppose -3*h + 2*i - i = -44, 1 = 2*h + v*i. Solve 5*o = -5*l + 50, 0 = -5*o - 2*l + 22 + h for o.
5
Let s(k) = k**2 - 14*k + 13. Let t be s(13). Suppose -10 = -5*w, 12 = -t*h + 4*h + 2*w. Solve 4*m - 8 = -h*n, 11*m - 6*m - 17 = n for n.
-2
Let l = 354 - 352. Solve 4*k = -4*m + 24, 5*m - 18 = -0*k - l*k for k.
4
Suppose 3*i - 20 = -y - 3, -14 = -2*i + 2*y. Suppose v + 4*v - 15 = 0. Solve -3*u - 12 = v*t, 0 = -5*t + i*u - u - 10 for t.
-3
Let z be (14 - 8)/(-24) - 42/(-8). Solve 3*p + p = k - 4, -k = -5*p - z for k.
0
Suppose 15 = v - 3*p + 4*p, 0 = 3*v - 3*p - 69. Solve 2*r + r + v = -f, 40 = -5*f - 4*r for f.
-4
Let z(g) = -g + 15. Let h = 59 - 48. Let u be z(h). Solve o + 2*o = 2*x + 9, -3*o = u*x - 27 for o.
5
Let z(b) = -6*b + 2 + 21 + 16*b - 9*b. Let h be z(6). Solve 3*y - l = -5*l - h, l + 8 = -y for y.
-3
Suppose 0 = -4*z + 19 - 3. Solve 5*a = 3*i + 37, -5 - 4 = -5*a - z*i for a.
5
Let t be 2035/121 + 1/(11/2). Solve -5*k - t = -4*o, -5*k - 29 + 2 = o for k.
-5
Let j = 27 - 25. Suppose 0*q + j*q = 840. Let t be q/132 - (-4)/(-22). Solve 0*r - t = 2*o + r, 4*o + 5*r = 9 for o.
-4
Suppose 48*n = 52*n + 52. Let s = n + 16. Solve 0 = -v + d, 2*v + 3*v + 8 = s*d for v.
-4
Suppose -d - 7 = -w, 3*w - 4 = 4*d + 13. Solve 2*z - i = -2 - 3, -3*z - 2*i = w for z.
-3
Let v be ((-4)/(-3))/(-4) + 44/6. Let r = 6 - 4. Suppose 0 = -4*m - r*t + 28, -30 + 2 = -4*m + 3*t. Solve -3*j = 5*k + m, -3*j + 4*k - 2*k + v = 0 for j.
1
Let b = 11 + -8. Solve -2*a = 2*u - 8, -2*a + b*u - 6 - 1 = 0 for a.
1
Suppose 0 = -5*s + 4*c + 13, 5 = -2*s + 5*c - 0*c. Let x(v) = 58*v + 524. Let d be x(-9). Solve 7 = -r + n, -4 = r - d*n + s for r.
-5
Let k(r) = -28*r + 172. Let l be k(6). Solve a = 5*i + 4*a - 16, l*a - 13 = -5*i for i.
5
Suppose 0 = -8*g + 4*g - 2*n - 164, 5*g = -5*n - 210. Let h = -18 - g. Solve 4 + 21 = -5*x, 4*r + 2*x + h = 0 for r.
-3
Let z = -50 + 54. Let s(y) = -y**3 - 4*y**2 + 4*y - 6. Let a be s(-5). Let u be 13 + -5 - (1 + a). Solve 0 = -z*h + 4*r + 8, -3*r - u + 0 = -5*h for h.
1
Let z = -84 - -90. Let x(k) = 4*k**2 + 3*k + 2. Let f be x(-1). Solve 12 = 5*i - 4*d, 2*d + 0 + z = -f*i for i.
0
Suppose 8*i - 155 = 3*i. Let z = -29 + i. Solve -3*p - 15 = -4*l, z*p + 10 = -0*p - 5*l for p.
-5
Suppose -101*q - 4 = -97*q - 3*j, 0 = -3*j + 12. Solve -k - 3*o - o + 2 = 0, -o = q*k + 3 for k.
-2
Suppose 1 = -4*h + a - 4*a, -3*a + 1 = 5*h. Solve -5*l = 5*z + 30, 3*l + h*l = 3*z - 14 for l.
-4
Suppose -9*l + 6*l = y - 11, -8 = -4*y. Solve -l*h = 3*p - 9, 0*h + 5*h = 2*p + 15 for h.
3
Let u be (-2)/4*(-9 - -9). Suppose 36 + 3 = a - 4*w, u = 4*a - 5*w - 101. Solve 3*r + 5*j 