 3 = 0 for v.
3
Suppose -1799*z - 2408 = -2143*z. Suppose -5*t + 17 = -3. Solve -t*n + z = -13 for n.
5
Suppose -2386*f = -2587*f + 3015. Let b be 1*(1 - (0 - -2)). Let q = b + 3. Solve -f = q*l - 5*l for l.
5
Suppose -2*t = 114*z - 119*z - 631, -t + 361 = 4*z. Solve t = 2*k + 323 for k.
5
Let m = -40 + 43. Let u be -7 + -8 + 8 - -7. Solve -3*t = -m - u for t.
1
Let p be (1/((-5)/(-10)))/(13/26). Suppose 0 = -3*n - 5*c + 53, -5*n - 7*c + 71 = -3*c. Solve 5*r + n = -p for r.
-3
Let f = 585 - 581. Suppose j = -0*b + 3*b + 4, 2*b - j = -f. Solve -1 = -c - b for c.
1
Let d(n) = n**2 + 3*n + 6. Let v be d(4). Let b(y) = 2*y**3 + 10*y**2 + 3*y + 3. Let q be b(-3). Solve v = a + q for a.
4
Suppose 15*c - 3*l + 138 = 19*c, 5*c + 4*l = 174. Solve -24*h - c = -30*h for h.
5
Let w be 1375/330 - 1/6. Suppose -14 = -2*f + 2*z, 4*f + 2*z - w = 6. Suppose 0 = 5*a - 0*a - 50. Solve -a = -f*y - 2 for y.
2
Suppose 8*f = 12*f - 40. Suppose 3*b + n = 11 + 2, -16 = -2*b + 3*n. Suppose -2*a - h = -2*h - f, -a + 23 = -b*h. Solve -a*q - 5 = 2*q for q.
-1
Let d = 1708 - 1504. Solve -32 = -188*p + d*p for p.
-2
Let m(f) = 3*f + 2. Let i be m(0). Suppose i*o = 20*o - 72. Let d(j) = -j**2 - 4*j + 1. Let z be d(-2). Solve -o*p - 1 = -z for p.
1
Let c be (13 - 12)*-2*3 - -10. Solve c*q - 225 = -249 for q.
-6
Let r(f) = 2*f**3 - 20*f**2 - 4*f + 48. Let g be r(10). Solve g*n + 7 = -17 for n.
-3
Suppose 4*q - a + 10 = 0, -5*q + 3*a - 9 + 0 = 0. Let r be 7*(q - -4) + -5. Solve 4 = 2*o - r for o.
3
Suppose 0 = 5*p - 3*h - 50, -5*p + 2*h = 4*h - 75. Let i be -1*(p + -5 - 28). Solve j - 6*j = i for j.
-4
Let f be (-3518)/(-32) - ((-7272)/(-384) + -19). Solve -f*m - 60 = -98*m for m.
-5
Suppose j + u - 4 = 0, 6*u - 12 = 3*u. Solve j = 34*t - 15*t + 38 for t.
-2
Suppose -4*g = c - 196, -2*c + 386 = -0*c + 2*g. Let t = 92 - c. Let j = 112 + t. Solve 0 = -4*k - 0 - j for k.
-3
Let n = -3475 + 3485. Solve n*a + 43 - 23 = 0 for a.
-2
Suppose -15897 = -67*b - 59*b + 100275. Solve -11*p - 999 = -b for p.
-7
Let k(n) = n**2 - 69*n + 876. Let y be k(16). Solve -17*o = -y*o + 55 for o.
5
Let z be (0 + 1)/((-3)/4*(-38)/399). Solve z*d - 4*d + 60 = 0 for d.
-6
Let h be (-84)/(-30) + 6/30. Let w(j) = -3*j + 9. Let d be w(h). Solve 5*u + 16 + 9 = d for u.
-5
Let o be (-3)/((-9)/(-12)) + 6. Let m be (-45)/(-6) + o/4. Let s be -6 - (-3)/(-9)*-33. Solve -m = s*f - f for f.
-2
Let z = 75 + -42. Let o be -2*((-2)/3)/(4/z). Solve -4*l = -3 + o for l.
-2
Suppose -5*q = 5*n - 270, -2 = -n - 2*q + 52. Solve 0 = 41*f - n*f - 78 for f.
-6
Suppose 8 = -2*v, -8*g + 18*v = 22*v - 104. Suppose 20 = -2*m + 4*m. Solve m = -r + g for r.
5
Let t be (-1)/(1/(-2))*(-48)/32. Let o be 0/(t - 0/3). Solve r + 5 - 2 = o for r.
-3
Let l be ((-1)/(-1) - -3) + (-60 - -23). Let h be l/(-7) + (220/35 - 6). Suppose -3*c + h*q - 11 = 0, -2*q + 19 = c + 2*q. Solve -c*d = d for d.
0
Suppose 6*k - 131*k + 2625 = 0. Solve -f + k*f = -20 for f.
-1
Let r = -16253 + 16271. Solve 15*u + 24 = r*u for u.
8
Suppose 14 = -12*q + 62. Suppose q*c = 48 - 48. Solve 3*g + 2*g - 10 = c for g.
2
Let q(k) = k**3 + 4*k**2 - 7*k - 6. Let x be q(-5). Suppose -1831236*f - 886 = -1831282*f + 218. Solve f = -x*v + 4 for v.
-5
Suppose o - 4*o + 5*m = -10, -o + 3*m = -2. Suppose -3 = o*j + 37. Let g be 3 + (j - (2 - 7)). Solve 2*s + g = 2 for s.
1
Suppose 0 = 2*g + g. Let j(s) = -9*s**2 - 70*s - 8. Let m be j(-8). Let z be (-4)/m*0 - 0. Solve g = -2*x - z*x + 4 for x.
2
Let g(s) = s**3 + 5*s**2 - 3*s + 2. Suppose 2 = -2*o - 10. Let q be g(o). Let h = 28 + q. Solve -h = 3*u + u for u.
-3
Let y = 3 - -14. Let f = -17 - -137. Let w be 0/((6/(-8))/((-45)/f)). Solve w = -5*v - 7 + y for v.
2
Let q(n) = n**3 - n**2 - 659. Let t be q(0). Let b = t + 664. Solve -4*z + b*z = -0*z for z.
0
Suppose 71*n - 4018 = -181 - 216. Solve 44*t - 95*t = -n for t.
1
Suppose 1070 = 8*m + 99*m. Solve 9*l + 2 = m*l for l.
2
Let a(z) = 6*z**2 - 25*z - 17. Let h be a(9). Suppose -249*i = -h*i. Solve q + 3 - 7 = i for q.
4
Suppose -2*z + 35 = 5*d, -5*z + 20 = -22*d + 21*d. Suppose 66*l = 2*r + 64*l - 14, d*r + 2*l - 49 = 0. Solve 2*y = -11 + r for y.
-1
Suppose -1733*c - 400 = -4*l - 1728*c, 0 = -3*l - 5*c + 230. Solve l = 19*r - 9*r for r.
9
Suppose -298 - 1055 = -44*f - 165. Solve -15*l + 117 = f for l.
6
Suppose 4*r - 4*z - 359 - 169 = 0, -2*r + 7*z + 274 = 0. Solve 12*f = 38*f - r for f.
5
Let r be 27 + 4/(-14)*-28 + -6. Solve -34*c = r + 73 for c.
-3
Suppose -q + 12 = -g, -6*g - 27 = -4*q + 25. Solve 115 - 175 = -q*s for s.
6
Let l be (-3 + (-6 - 70/(-7)))*(-46)/(-2). Solve 83 = 10*t + l for t.
6
Let w = 72 + -158. Let c = w + 92. Let i = 4 - -1. Solve 4 = -i*v - c for v.
-2
Let j = 11149 + -10766. Solve -j = -10*w - 313 for w.
7
Suppose -169*x + 14507 + 43460 = 0. Solve -27*a = 154 - x for a.
7
Let b = -38 - -4. Let k be 48/80 + b/(-10). Solve -k*v = 8 + 4 for v.
-3
Let h be -4 + 34/2 + -1 + -1. Let a = -9 + h. Suppose -p - g + 3 = -0, -g = a*p - 5. Solve p*s - 3*s = 3 for s.
-3
Suppose 2375 + 3025 = 120*t. Solve -20 = 13*a + t for a.
-5
Suppose 3*q = -68*f + 73*f - 981, -2 = q. Solve f*p = 223*p - 28 for p.
1
Let r be 14/(-6) + 602/42. Let f(z) = 3*z**3 - 3*z**2 + z. Let d be f(2). Solve 0 = -t - r + d for t.
2
Suppose 121*n - 1412 - 40 = 0. Suppose 4 = c - 4*c + 2*l, -l + 2 = 5*c. Solve c = -14*i + n*i + 4 for i.
2
Suppose -2*k - 156 = 4. Let f be (3/(6/k))/(-7 + 5). Suppose -2*s = -s - 2*l - 10, 2*s = -4*l - f. Solve -t + s = 2 for t.
-2
Let j(v) = -3*v**2 + 36*v + 245. Let h be j(16). Solve 0 = -11*l + h - 97 for l.
-4
Suppose 5*p - 11 + 2 = 3*h, 3*p = -5*h + 19. Let o be ((-7)/(-21))/(p/144). Solve -10*d + o = -6*d for d.
4
Suppose -y = -5*y - 0*y. Let u be 4*4/8*10 - y. Suppose -u = -3*l + 5*q, -3*l + 3*q = 2*q - 4. Solve -p = -l*p for p.
0
Let w = 42 + -41. Let s be (-54)/(-13) + 8/(-52). Suppose -3*v = -s*v + 5. Solve 6*j = v*j - w for j.
-1
Let l(d) = 9*d - 3. Let q be l(2). Let t(k) = 0 + 5*k - 3 - q*k + 7 - k**2. Let z be t(-10). Solve -z*b + 0*b = 8 for b.
-2
Let d = 7128 - 7116. Solve d = 79*n - 83*n for n.
-3
Suppose 0 = 4*c - 22 + 6. Let l be (-3)/((-44)/16 - -2). Suppose 0 = -4*w - c + l. Solve -5*t + 5 = -w*t for t.
1
Let n be ((-4480)/(-30))/(-16)*(-30)/35. Solve -a = n*a + a for a.
0
Let z be (-17)/(28 - -6) + 15/2. Let k be (10/6)/((-1)/(-3)). Solve k*h - z*h = 8 for h.
-4
Let i be 13 + (-7 - 0) - -1. Solve 0 = -i*r - 14 - 35 for r.
-7
Let l(o) = 2*o**2 - 5*o - 89. Let a be l(-6). Solve -12*m + 125 = a*m for m.
5
Suppose -180*a - 1759 = -6079. Solve 0 = -9*h + h + a for h.
3
Suppose 5*f - 22 = -2*l, 2*l + 28 + 10 = 5*f. Suppose -11*s + 4*s = -28. Suppose 5*q + s*i - 32 = 0, -3*i = -6*i - f. Solve -20 = q*n - 3*n for n.
-4
Let l = 10405 + -10128. Solve -286*h + 27 = -l*h for h.
3
Suppose 0 = 2*v - 4*t + 88, -19*t - 2 = -21*t. Let i be (4/8)/((-3)/v). Solve -i = 7*l - 28 for l.
3
Let k(p) = -p**3 + 8*p**2 + 6*p + 30. Let d be k(9). Suppose -15*w = -3 + d. Solve -3*o + 2*o + 1 = w for o.
1
Let c = 27 + 12. Suppose 2*v - 8 = -2*r + 4, c = 5*r - 4*v. Suppose 6*m - r = 5. Solve -5*p = -3*p + m for p.
-1
Let r be (-1924)/(-156)*3 - (-1 + -15)/2. Solve 134*d = 149*d + r for d.
-3
Let o be (85/20 - 0)/((-5)/(-20)). Suppose -3*k - 5*d + 32 = 0, 18*k - 4 = o*k + 5*d. Solve 2*g + k = 5*g for g.
3
Suppose -25*z + 24*z = -4. Suppose -124 + 104 = -z*s. Solve 0 = u - s*u - 20 for u.
-5
Let t(v) = v**3 + 6*v**2 - 8*v - 4. Let d(l) = l**2 - 3*l - 17. Let f be d(5). Let i be t(f). Solve i - 5 = 2*n for n.
-1
Let w(o) = -2*o + 4. Let s be w(-13). Solve -5*h - s + 40 = 0 for h.
2
Let l = 14 + -19. Let v(q) = q**2 + 8*q + 9. Let g be v(l). Let k = -4 - g. Solve -7 = -k*b + 3 for b.
5
Suppose -3 - 21 = -3*r. Suppose -13*z - 80 = -r*z. Let s be z/36*(-27)/6. Solve a = -a - s for a.
-1
Suppose h - 5*v + 76 = 4*h, -4*v + 105 = 5*h. Suppose -3*l = -4*c + 132, 0*c + 88 = 3*c - 5*l. Let m = 43 - c. Solve 0 = 2*z - m + h for z.
-5
Let x(p) = -p**3 - 2*p**2 - p + 12. Let i be x(0). Suppose 0*k = -i*k - 3*k. Solve 2*o = o - k*o for o.
0
Let f = 0 + -2. Let u = 2 - f. Let v be 8 + -4 + (-1 - -10) + 5 + -16. Solve -v*z + 4 + u = 0 for z.
4
Let d(g) = -3*g - g**3 + 5*g - g + 2 + g + 5*g**2. Let f be d(5). Let t = 111 - 108. Solve 0*i - t*i = -f for i.
4
Let r be (-5 + (-120)/(-16))*6/5