r i.
0
Let r be 32*7/126*9. Solve -r = 24*t - 20*t for t.
-4
Let f(j) = -j**2 + 20*j - 48. Let z be f(16). Suppose 2*q = -0*q + 4. Solve -2*w = q*w + z for w.
-4
Let b(p) = -110*p - 220. Let u be b(-2). Solve -16*i - 8*i - 96 = u for i.
-4
Let r be (-1)/((-144)/(-30) + -5). Solve -24*f - r = -29*f for f.
1
Let k be (6 - (2 - -2)) + -1. Let u be (-3 - -3)/(k - 0). Suppose 0 = m + 3*o - 4*o + 3, -m - o + 7 = u. Solve 0 = z - 3 + m for z.
1
Let w(h) = h**3 - 3*h + 1. Let c be w(2). Solve c*g = g + 6 for g.
3
Let u(z) = 2*z**2 - z - 2. Suppose 0 = -6*b + 2*b - 32. Let t = 6 + b. Let y be u(t). Solve 5*w = -7 - y for w.
-3
Let l = 311 + -301. Solve -6 = -l*v - 56 for v.
-5
Suppose -2*s = -s - 3. Suppose 30 - 5 = -5*l, l + 22 = k. Solve -s*q - 2 = -k for q.
5
Let f be 1*(-913)/(-44)*4. Solve -78*m + f*m = 20 for m.
4
Suppose -19*f = -13*f - 114. Suppose -f*z + 271 = 100. Solve 7*c - z*c = -10 for c.
5
Suppose 0 = 18*a - 17*a - 54. Let t = 79 - a. Solve 0 = 5*z - 5 + t for z.
-4
Let g be 1/(-2) + (-22)/(-4). Suppose 0 = -5*h - 5, -4*h + 10 + 1 = 5*v. Suppose -v*t = -2*t + 3*w - 6, -5 = -5*w. Solve -t + g = s for s.
2
Let i(p) = -7*p + 29. Let x be i(3). Solve -13 = o - x for o.
-5
Let m(s) = s**3 - 3*s**2 + 5*s - 15. Let n be m(3). Suppose 5*y - 4 = 4*y. Let a be n*-3*y/48. Solve 3*h - 13 - 2 = a for h.
5
Suppose 4*n - 14 = -3*n. Solve -2*p - n = -p for p.
-2
Suppose -3 = p - 18. Suppose 0 = p*l - 10*l - 15. Suppose -2*s = 5*w - 22 - 7, 2*s - 27 = -3*w. Solve r + l*r - s = 0 for r.
3
Let y be 11/6 - 9/(-54). Suppose -2*h = -4, -2*j + 3*h + y + 4 = 0. Solve -g - j = -3*g for g.
3
Suppose 10 + 50 = 15*x. Let o be (x + 22/(-4))*-2 + 2. Solve o + 3 = -4*n for n.
-2
Let m be (0 - 12/(-6)) + 0. Solve -5 = -7*a + m*a for a.
1
Let j(n) = n**2 + 26*n + 8. Let z be j(0). Solve -z*h = -4*h - 16 for h.
4
Let j = 17 - 17. Suppose 3*v - 6 - 3 = j. Solve -v*n = -2*n for n.
0
Suppose -3*d + 2*q + 2*q + 80 = 0, 0 = -3*d + 5*q + 82. Suppose 4*n - 4*f + d = 8*n, 4*n = -f + 12. Suppose s - 9 = -n*s. Solve 2*y = -s*y for y.
0
Let a(d) = -d**2 - 4*d + 1. Let x be a(-2). Suppose 0*o + x*o + 2 = -2*y, 2*y + 2 = 2*o. Suppose -82*v + 67*v = -90. Solve o = f - v*f for f.
0
Let t be (6 - 5)*(4 - 0). Suppose -4 = j - 94. Suppose -c = -t*h - 4*c + 89, -j = -4*h - 2*c. Solve 3 = -4*w + h for w.
5
Let o be -2 + 4 + 1 - -4. Let a(q) = 2*q - 10. Let i be a(o). Solve -i*v = -4 - 12 for v.
4
Suppose 86*a + 233 = 5*s + 84*a, 2*a = 3*s - 139. Solve -11*q = -s - 8 for q.
5
Suppose 0 = -2*o - 0 + 4. Suppose -7*w = -22*w + 45. Solve -o = -u + w for u.
5
Let j be 204/85 + 0 + 4/(-10). Let x be ((-1)/2)/(1/(-6)). Let p be (-1 + 1)/(-7 - -9). Solve p = 5*v - x*v + j for v.
-1
Let y(k) = -4*k**3 - 58*k**2 + 30*k + 18. Let q be y(-15). Suppose 27 = 3*r + i + i, 0 = -3*r - 5*i + 27. Let w be -2 - (4 + -2 - r). Solve -w*s = 3 - q for s.
3
Let a be (-624)/(-14) + 6/14. Let z = a + -43. Solve n + 4 = z for n.
-2
Suppose o + 2*z + 6 - 19 = 0, 2*o - 5*z + 10 = 0. Suppose 2*m - o + 1 = 0. Solve -h - m = -0 for h.
-2
Let u(n) = 2*n**3 - 18*n**2 + 25*n - 49. Let w be u(8). Solve 0 = -w*v + 22*v - 5 for v.
-5
Let k(f) = -f**3 + 9*f**2 - 11*f - 16. Let g be k(7). Suppose 4*x + 4 = -g*w + 89, -5*x + 51 = 2*w. Solve 4*o - 3 = w for o.
4
Let i be 70/7 + (-8 - 0). Solve 6*m + 32 = -i*m for m.
-4
Suppose 6 = -6*o + 7*o. Solve o*u + 25 = u for u.
-5
Let v(o) = o**2. Let i(s) = 4*s**2 + 28. Let p(q) = i(q) - 5*v(q). Let x be p(-5). Solve -d - 1 = -x for d.
2
Let s be -1 + 2 - (-117 + -1). Suppose 5*z + 3*l = 22 + 79, 5*z - 3*l = s. Let k = z + -22. Solve 0 = -j - k*j for j.
0
Suppose 61 = -3*y - 77. Let l = 51 + y. Let i = 6 - 3. Solve -i*t + l = 14 for t.
-3
Let h be -3 + 675/9 + 4. Solve h*n - 74*n - 4 = 0 for n.
2
Let p(q) = -4 + 2*q - q + 2. Let s be p(5). Suppose 11*i = 9*i + 6, 0 = -3*h + i. Solve -s*k - 2 = h for k.
-1
Let v = 50 - 46. Solve v*b + b = -20 for b.
-4
Suppose -13*o = 6*o - 114. Solve -5*x = -o*x + 2 for x.
2
Let m = -1326 + 1343. Solve m = 2*r + 9 for r.
4
Let a be 16 + 14 + (2 - 2). Solve 2*f + 4*f + a = 0 for f.
-5
Let l be (-6)/(-4)*17/(102/28). Let y(u) = 4*u - 24. Let i be y(l). Solve i = -r + 1 for r.
-3
Let y be (4 - (-2 - -6)) + (-12)/(-3). Suppose -3*g + 0*g = n - 31, -5*n = 3*g - 11. Solve y*p + 0*p = g for p.
3
Suppose 0 = -8*v - 130 + 250. Let r = -4 - -6. Solve -t = r*t + v for t.
-5
Let t(b) = b**2 + 15*b + 17. Let s be (-1)/((-2)/2)*18. Let u be (-248)/s - (-8)/(-36). Let x be t(u). Solve x*f + 18 = 3 for f.
-5
Let z be 2/(-1) + -3 + 5. Solve -2*u + 10 - 8 = z for u.
1
Suppose -4 = -0*i - 2*i. Let v(r) = r**2 - r + 1. Let u be v(i). Suppose -y - 6 = -2*h, -25 = -2*y - 2*h - 13. Solve y*x = 3*x + u for x.
-3
Let t(q) = -12*q + 3 + 32 + 8*q**2 - 11*q**2 + 4*q**2. Let c be t(7). Solve c = 3*g - g - 2 for g.
1
Let f = -168 - -190. Solve f = -3*p + 10 for p.
-4
Suppose 13*w - 294 = -86. Solve -5*n - w = -9*n for n.
4
Let c = -13 - -15. Suppose -c*x + 0*x + 4 = 0. Let f be ((-3)/(-9)*0)/1. Solve f = -x*a - a for a.
0
Suppose -5*k - 2*d = 2*d - 2, -3*k + 8 = -d. Suppose k*g - 13 = -2*f + f, 4*f - 32 = -3*g. Solve g + 1 = -o for o.
-5
Let a be 2/6 - (7 - (-280)/(-24)). Suppose 5*f - 22 = -a*t + 33, 0 = 4*t. Solve 0 = 4*v + f + 9 for v.
-5
Suppose 5*d - 49 = -4*u, -3*u - d - d = -28. Let q be (-174)/(-54) + u/(-27). Solve 0 = -2*f + 1 + q for f.
2
Let v be (-5 - -5)/((-5)/5). Let r(i) = i**2 + 4. Let t be r(0). Let o(h) = -h**3 + 6*h**2 - 5*h - 2. Let m be o(t). Solve -2*s + v*s + m = 0 for s.
5
Suppose 0 = 7*f - 12 - 51. Let s be ((-6)/f)/(6/(-72)). Solve s*u - 6*u = 0 for u.
0
Let b = -534 - -540. Solve 11*j = b*j + 15 for j.
3
Suppose -130 = -2*x + 5*f, 3*x + 5*f = -0*x + 220. Suppose 3*a + 163 = x. Let u = -27 - a. Solve s = -s + u for s.
2
Let n be (10/(-2))/(((-35)/(-21))/(-5)). Let j = 17 - n. Solve -j = -y - 5 for y.
-3
Let u(t) = t**2 - 6*t + 9. Let k(s) = 8*s**2 + s - 2. Let p be k(-2). Let g = -23 + p. Let r be u(g). Solve r*y - y = 0 for y.
0
Let c(b) = -b**3 - 12*b**2 + 24*b + 1. Let m be c(-14). Let j = -47 + m. Solve 8*h + j = 3*h for h.
-2
Suppose 22 = 3*d - 0*d - 5*w, 3*d + w = 10. Solve 3*u - 7*u + d = 0 for u.
1
Let q be (0 - 6/8)/((-981)/139956). Solve -q = -4*z - 115 for z.
-2
Let s be 2/(-13) + 22/(-26). Let y be (3 - 1)/s + 2. Solve y = 4*v - 3*v - 3 for v.
3
Let a(q) = -3*q + 8. Let y = 134 + -132. Let j be a(y). Solve -j*f = 6 - 8 for f.
1
Let s = 1136 - 1129. Solve -s*k = -0*k + 14 for k.
-2
Suppose 2*d + 8 = 10*d. Let j be -2*(-3 - -2) - 2/d. Solve j = a + 6 - 4 for a.
-2
Suppose -32 = 3*y - p, y + y = 5*p - 43. Let m = y + 12. Suppose -3*i = -m*x + 6, 5*i + x - 16 + 2 = 0. Solve -i*n = -3*n + 5 for n.
5
Let c be (-1 + 0)/((-156)/(-20) + -8). Solve -7*b + 60 = c*b for b.
5
Suppose 0*s - s = 4. Let j = -1 - s. Solve j*y - 2 = -17 for y.
-5
Let j(d) = 17*d - 235. Let m be j(14). Solve 9 = m*v - 3 for v.
4
Let m = 20 + -26. Let g(z) = z**2 + 4*z - 12. Let p be g(m). Solve p = c - 2 - 1 for c.
3
Suppose -k - 4 = -5*h - 1, -2*h + 4*k - 6 = 0. Let q = 37 - 35. Let u be (1 - q)*(-6 - 1). Solve u + h = -4*r for r.
-2
Let p(h) = 3*h + 26. Let k be p(-7). Suppose 3*w - 4 = k*m, 2*w + 3 = 5*m - 1. Solve 4*o - w + 0 = 0 for o.
2
Suppose -18*w + 0 = -0. Let n be (12/(-10))/(4/(-10)). Solve 2*j + n*j - 25 = w for j.
5
Let x(w) = -w**3 - 13*w**2 - 7*w + 4. Let y be x(-12). Let i = 61 + y. Solve 0 = -2*z + i + 5 for z.
5
Let c = 580 + -580. Solve -5*d = -c*d for d.
0
Let b(o) = -o**2 - o + 4. Let l be b(0). Suppose 2*u + 3*n = 19, 0 = l*u - 2*n + 3*n - 23. Solve 6 = -u*v - 4 for v.
-2
Let i(b) = 7*b + 65. Let v be i(-9). Solve 0*k - v*k = 8*k for k.
0
Suppose 1 + 19 = 4*i. Suppose 0 = 4*a - 8*a + i*j + 7, 4*j + 8 = 4*a. Solve -n - 2 = a for n.
-5
Suppose -20*v = -17*v + 6. Let k be 9/18*(8 + v). Suppose -5*n = 5*f - 15, -4*n - 8 - 7 = -5*f. Solve -3*i = -k - f for i.
2
Suppose -24*g + 401 = -31. Suppose u = -k + 22, 4*u - 4*k = u + 45. Let w = u - g. Solve -5*h = -4 - w for h.
1
Suppose -5*z - 117*w + 26 = -118*w, -5*w = 3*z - 10. Solve o = z*o + 25*o for o.
0
Let a(r) = -r + 4. Suppose -18 = -5*w + 2. Let b be a(w). Solve 3*l + b*l = -12 for l.
-4
Let u(w) = -w**3 - 2*w**2 + 5*w + 2. Let n be u(-3). Let r(p) = p**3 + 3*p**2 - 8*p - 2. Let v be r(n). Suppose -11*b = -v*b