Let f(v) = 119*v + 4. Let p be f(0). Solve 2*l + 18 + 2 = p*n, l + 14 = 3*n for n.
4
Suppose 0 = -2*k + 4*s + 794, -2*s = -20*k + 17*k + 1187. Let h = 399 - k. Solve 2*z = -3*p + 8, 5*p - 12 = -h*z + 2*z for z.
1
Let s be 106/53*(-18)/(-4). Solve 7 = 5*o - 3*c, -o - 3*c - s - 4 = 0 for o.
-1
Let x = -30 - -70. Let k be (-24)/30*(-5)/2. Let m be k/5 + (-16)/x. Solve 5*s = -3*i + 31, m*s + 3*s = 3*i + 9 for s.
5
Suppose 79 = 26*x - 25. Suppose -2*b + 3*b - 12 = -5*y, 0 = -x*y - 2*b + 12. Solve 0*p + y*p + 11 = 3*a, 25 = -5*p + 5*a for p.
-4
Let q be 9 - (-90)/(180/(-12)). Solve w + 1 + q = -2*f, 3*w + 9 = -5*f for w.
2
Suppose 18 = i + 23, 4*c - 2*i = 18. Suppose 10 = -4*z - 5*a, -2*z + c*a - 1 = -5. Let m = 27 - 13. Solve -y + m = -4*g, z = 4*y - y - 4*g - 10 for y.
-2
Suppose 0 = -11*i + 847 + 209. Let m = -106 + i. Let a be (2/(-3))/(m/75). Solve 5*z + a = h + 26, 15 = 5*z + 5*h for z.
4
Let u(i) = -i**2 - 144*i - 5038. Let n be u(-60). Solve -4*c + 7*c - n*v + 15 = 0, 0 = -4*v for c.
-5
Let r be (85 + -1 + 3)/((-3)/(-4)). Suppose 0 = 9*h - 46 - r. Let j(s) = -s**3 + 18*s**2 + s - 15. Let v be j(h). Solve 4 = t + z + 9, -v*t + z - 3 = 0 for t.
-2
Let j = 19905 - 19902. Solve -p = f + j, 24 = -5*f + 3*p - 7 for f.
-5
Suppose 3567*h - 3588*h + 903 = 0. Solve h*y = 46*y - z - 14, -2*y + 9 = -z for y.
5
Suppose 2*s - 136 = -2*r, 21*r + 198 = 24*r + s. Suppose -17*b + r = -12*b. Let z = -1 - -1. Solve z = 5*p - w - 22, b - 3 = 3*p + w for p.
4
Suppose -1068*j = -1053*j - 60. Solve -j*w - 19 = p - 23, -2*p - 3*w - 2 = 0 for p.
-4
Suppose 526 = -t + j + 53, 0 = -t - 5*j - 467. Let m = t + 472. Let s be (-16)/(-6) + (-8)/12. Solve 0 = -x - 5*q - 6 + s, 2*q = m for x.
-4
Suppose 2087 = -5*h + 292*h - 1357. Solve 3*u - 7*u - h = 4*k, u = -5*k + 1 for k.
1
Suppose -373 = -9*u - 15*u - 13. Solve -4*s = -j + 11 - u, 2*s - 2 = j for s.
1
Suppose -2*u + 5*u = -4*f + 24, 5*f = -3*u + 27. Suppose 0 = -3*z + 2 + 4. Let w be ((-54)/9)/(-1 - z/u). Solve -3*s = -l - 7, -w - 5 = -3*s + 3*l for s.
2
Let l(q) = 72*q - 248. Let v be l(4). Suppose -427*i = -437*i + v. Solve d + 4*k + 1 = 5, i = 2*k for d.
-4
Let w(f) = 2*f**2 + 215*f - 433. Let q be w(2). Solve -3*g - 3*s + 12 = 0, s = q*g + 29 - 13 for g.
-2
Suppose 0*a - 3*f - 15 = -a, 4*a + f = -5. Suppose o - y - 21 = -5*y, o + 3*y - 16 = a. Solve 5*m - 3*n = -19, -3*m + n = 14 - o for m.
-5
Suppose -3*a = -47 - 1. Let s = -10 + a. Let g = -319 + 322. Solve 0 = 2*h + g*c - 16, s*h - 4*h + 2*c - 14 = 0 for h.
5
Suppose -1159 + 1180 = 7*y. Suppose t = -3*g - y, -5*g - 2*t + 3 = 9. Solve -2*f = -5*x + 8, -16 = 4*f - g*x - 4*x for f.
-4
Let u(s) = 3*s**2 - 12*s + 12. Let g be u(1). Suppose -5*c + g*t + 3 = 0, 0 = -3*c - 4*t + 11 + 14. Solve 0 = -4*o - 3*k + c + 5, 3*o - 3*k = 27 for o.
5
Suppose -18*m - 3*m = 0. Solve -2*y = m, 5*y = -q + 4 - 1 for q.
3
Suppose 3*q - 70 + 33 = -4*w, 2*w + 20 = 4*q. Solve 17 = z - w*o, 4*o = z + 7*o + 4 for z.
5
Let s = -101 + 103. Suppose -r = -0*r - 8. Let v = -8 + r. Solve -2*b - 5*n + 15 = 0, v*n + 6 = s*n for b.
0
Let s be (104/(-32))/13*(4 - 4)/6. Solve -2*a - 5*k - 26 = s, -3*a + 29*k - 24*k = -11 for a.
-3
Suppose 0 = 5*m + 4*m - 225. Let b be 10/m*(-15)/(-3). Solve 8 = -b*p + 2*w, 0*p = 5*p - 3*w + 20 for p.
-4
Suppose 30*p = 33*p - 60. Suppose -2*j + 5*c = -14 - 21, 2*c + p = 2*j. Solve 4*l = -4*w + j*l - 15, -1 = l for w.
-4
Let m be 4 - (-6 - 31 - -6). Suppose 0 = -3*i + z + 4*z + 31, 5*i - m = 5*z. Solve -y - 8 = -i*g, g - 9 - 2 = 4*y for y.
-2
Let t = 79 - 67. Suppose t*a - 36 = 6*a. Suppose -2 = -8*v + 7*v. Solve -a = -v*i + h, -3*h = -i - 0*h + 13 for i.
1
Let o be 4*(-5)/170 - 583/(-187). Solve -5*l + o*l - 16 = 5*b, -6 = 3*b for l.
-3
Let m = 325 - 302. Suppose 6*z + 5 - m = 0. Solve 2*f + y - 7 = 0, -f + z*y + 3 = 10 for f.
2
Let r be 135/81*(-81)/(-45). Let d(m) = m**3 + 4*m**2 + 4*m + 2. Let o be d(-2). Solve -y + 2*y + 2 = r*j, o = -4*j - y for j.
0
Let p = 74 + -58. Let k be ((-4)/p)/((-1)/104). Solve -k = 5*l - 6*j + 3*j, -5*j = -10 for l.
-4
Let a be ((-801)/6)/(6/12). Let p = 270 + a. Solve -4*b - 4*y - p = 1, -y = -b - 3 for b.
-2
Suppose -263*c = -86*c - 531. Solve 4*i = -5*f + 40, c*i + 3*f = 7*f - 1 for i.
5
Let q be 0 + 6*1*(7 + -10)/(-9). Solve 2*u + 18 = -r + 11, -4 = 2*r + q*u for r.
3
Let s = -32 - -23. Let q(h) = -h**2 - 15*h + 16. Let f be q(s). Let d = 72 - f. Solve -g = -d*t - 2*t - 3, 3*g = -t - 17 for t.
-2
Suppose -3*z - 450 = 42*z. Let u be 28/z*190/(-133). Solve -2*v - 6*w + 2 = -3*w, -u*v + w = 10 for v.
-2
Suppose 73*r = 68*r + l + 16, 2*l = -r - 10. Solve -2*t - r*v = 16, 0 = 2*t - 3*v - 1 + 2 for t.
-5
Suppose 3*k - l = 40 - 29, -4*k + 3 = l. Solve -4*c = -3*c - 3*i + 8, 4*c - k*i + 2 = 0 for c.
1
Suppose -3*r = -d - 16, 0*d + 11 = 3*r + 4*d. Suppose 0 = c - 2*b + 176, -548 = -5*c + 8*c - b. Let s = 186 + c. Solve r*q + 25 = v, 5*v - 5 = -3*q - s*q for q.
-4
Let i be (-188)/(-18) - 56/126. Suppose -4*n - 3*m + 40 = 0, 9*n + m + 10 = i*n. Solve 3*y = -3*d + 3, n = 3*y - 5*y + 2*d for y.
-2
Suppose -2*v - 3*z = 2*z + 15, -3*z - 9 = -5*v. Suppose -3*w - 2 = 4. Let f = 12 + w. Solve 2*t + v*t = -3*c + f, -2*c + 8 = 0 for t.
-1
Suppose -12 = -159*v + 155*v + 4*d, 5*v - d = 43. Solve -195*n - v = 2*z - 199*n, -n + 10 = z for z.
5
Suppose 2*q + 198 = -20*q. Let w be (q/(-9))/(1/1) + 2. Solve -5*s + 13 + 12 = -5*y, 4*s - 13 = -w*y for y.
-1
Let z = -47 + 50. Suppose i - 3 = -v, v - z = -0*v - 2*i. Suppose -2*r = -0*r + 2*g, v*g = -6. Solve -8 = 2*h - 2*y, 4*h - r*y = y - 16 for h.
-4
Let c = 1504 - 1501. Solve -4*j = -c*h + 28, -j + 16 = -5*h + 10*h for h.
4
Suppose 5*z + 251*y - 46 = 252*y, -2*z = -4*y - 4. Solve -x + p = -7, 5*x + z - 5 = -5*p for x.
3
Let f = 234 - 199. Let x = f + -30. Solve 5*j = -v - 22, -6 = -x*v + 5*j + 4 for v.
-2
Let h(v) = 3*v**3 - 4*v**3 + 76*v + 0*v**3 - 5*v**2 - 6 - 82*v. Let c be h(-4). Solve 3*i - 4*r - c = i, -r - 17 = 5*i for i.
-3
Let h be 27/12*(-48)/(-18). Let p be 10/(-25)*-15 - h. Solve 5*r - 5*i = 45, 3*r - r - 3*i - 23 = p for r.
4
Suppose 792 = -49*h + 20539. Solve -3*x - 20 = 5*p, x + h*p - 399*p = -9 for x.
-5
Suppose -l = -2*w + 3*l - 46, -4*l - 116 = 4*w. Let b = -17 + w. Let d = -44 - b. Solve 2 = -5*p - 4*v, d = p - 5*p + 3*v + 17 for p.
2
Suppose 0 = 4*y - 23*y + 76. Let b(l) = 5*l - 15. Let w be b(y). Solve -3*r - 3 - 1 = -f, -w*f - 2*r = -20 for f.
4
Let c be 2/(-4)*(-9 + (-3)/1). Suppose c = 2*m - 50. Let r(f) = -f - 6. Let a be r(-10). Solve 4*q + m = a*b + 4, q + 2*b = 9 for q.
-1
Let m = 55 - -21. Suppose 5*l - m = 2*a, -9*a = 3*l - 12*a - 42. Solve 4*d - 4 = -2*y - l, d = 2*y - 3 for y.
0
Let k(p) = 191*p**2 + 2102*p + 14. Let w be k(-11). Solve g = w, 27*m - 23*m - g = -19 for m.
-4
Let j(r) = -2*r - 14. Let q be j(-6). Let a be ((-1 + -1)/q)/((-2)/134). Let b = -63 - a. Solve -4*d = 5*k - 5, 2*k = -2*d + b*k - 2 for d.
0
Let s = -526 + 512. Let h(g) = -g**2 - 17*g - 38. Let o be h(s). Solve 3*v - 4 = -o*z, -v + 5 = z + 3 for z.
-2
Let l(m) = -365*m + 12069. Let n be l(33). Solve 5*d = g - 40, 4*g - 3*d + n = -6*d for g.
0
Let y be -1 - -1 - (-3 - -1). Let m = -638 - -558. Let g be 20/6*(-432)/m. Solve -g = 4*h + y*r, -5*h + 2*h = -4*r + 19 for h.
-5
Let y be 1001/39 + (-1)/(-3). Suppose 0 = n + y - 25. Let f = n - -25. Solve 3*g = -5*c + 2 + 20, -5*g + f = 2*c for c.
2
Suppose -3*s - 7*q + 2*q + 69 = 0, -s - 3*q = -23. Suppose -s - 77 = -25*o. Solve 5*n + 2*h - 23 = 0, 5*n - 19 = 4*n - o*h for n.
3
Let a be (-32)/((12 - 10) + (0 - 4)). Suppose 5*x = a + 24. Suppose -x*z + 72 = 4*z. Solve -2*c - z + 16 = -2*s, 4*s - 5*c = -20 for s.
-5
Let s = -1 + 26. Suppose 16*d = 11*d + s. Suppose -d*v + b = 3*b, -2*v - 5*b = 0. Solve -3*a + 5*l = l - 25, -a - 3*l - 9 = v for a.
3
Let c = -97 + 97. Suppose 24*g + 27 - 123 = c. Solve -12 = -4*x + g*n, 2*x = -2*n - 12 + 2 for x.
-1
Suppose 46*c - 362 = -132. Solve 0 = c*f + 15, 6 = -2*y + f + 11 for y.
1
Let x be 200/1*1*10/25. Suppose 18 = 89*i - x*i. Solve 2*w + i = -2*w - u, 4*w - 5*u - 10 = 0 for w.
0
Let n be 8/3*3/2. Suppose -64*v + 46 = -18. Suppose 3*p = -3*r + 78, -4*p = -3*p - v. Solve -n*g - 2*k - 3 = -21, 4*g - r = 5*k for g.
5
Suppose 0 = 18*p - 38 - 70. Let g be 126/24 + 2/(-8). Suppose 0*o + 14 = 2*x + 3*o, 26 = 4*x + g*o. Solve -6*d 