ppose 135*x = 129*x + 30. Solve 0 = x*k - 54 + 34 for k.
4
Let h be (1/2)/((-29)/(-116)). Solve h*y + 4*y = 0 for y.
0
Suppose -5*x + 13 = -4*p - 1, 0 = -5*p + 4*x - 22. Let o be 2/(-3) - ((-1)/(-3) + p). Solve -f = -o*f - 8 for f.
-2
Suppose -5*c = 26 - 81. Let g be (18/(-8))/(4/(-16)). Solve 4*v = c + g for v.
5
Let u = 149 + -144. Solve c + 4 = u*c for c.
1
Let n = -70 - -70. Solve n = -7*h + 4*h for h.
0
Let p(y) = -58 + y + 32 + 31. Let g be p(-1). Solve -3*o = o - g for o.
1
Suppose 5*f - 40 = -5*b, -5*f - 3 + 38 = 4*b. Solve b = 4*q - 7 for q.
3
Suppose 26*q - 24*q - 8 = 0. Let j = 12 - 12. Solve j = t - q*t + 12 for t.
4
Let x(h) = -h**3 - 4*h**2 + 9*h + 6. Let a be x(-6). Let o = 130 - 122. Solve -a = 4*v - o for v.
-4
Suppose -2*m = -2*i + 6, i + 15 = 6*i - 2*m. Suppose 0 = 4*v - 8*v + 2*r + 6, 3*v + i*r - 9 = 0. Solve -v - 2 = -g for g.
4
Let n be 0/(-10) + (4 - 2). Solve 6 + 2 = -n*o for o.
-4
Let o = 1994 + -1931. Solve o = 3*i + 18*i for i.
3
Let y(g) = g**2 + 15*g + 26. Let p be y(-13). Suppose p = 9*n - 25 - 29. Solve n = 3*x - 3 for x.
3
Suppose -33*l + 80 = -13*l. Solve -4*q = -6*q - l for q.
-2
Let y be 0/(8/(0 - -4)). Suppose v + 3*v - 5*v = y. Solve v*c - c = -1 for c.
1
Let v be 6/(-6)*4/(-4). Suppose 2*t = v + 9. Let z be (-8)/(-2 + 3 + -3). Solve t*r - z = 16 for r.
4
Suppose -4*w + 5*x + 25 = 0, -4*w - 4*x - 19 = -71. Solve 11*f - w*f + 1 = 0 for f.
-1
Let k(o) = -o**2 + 8*o + 65. Let r be k(-5). Let w(n) = 4*n**3 - 3*n**3 - 2*n - 2*n**2 + 0*n**3 - 3. Let m be w(3). Solve m = 5*j + 10 - r for j.
-2
Let k = -1289 - -1293. Suppose -2*n + 5*i = -4, -4*i - 6 = -4*n + n. Solve -n*z - 10 = -k*z for z.
5
Suppose -6*h - 3*o = -h - 30, -5*h + 30 = -o. Solve 0*j = -h*j + 24 for j.
4
Suppose 0 = -z + 5*j + 14, 2*j + 4 = 4*z - 52. Solve 2*y + z*y = 48 for y.
3
Let j = -379 + 387. Solve 2*k = -0*k - j for k.
-4
Let t(r) = 4*r + 5. Let y(a) = -2*a - 3. Let v(z) = -4*t(z) - 7*y(z). Let q be v(0). Let n be (1 + 1)*(q + 0). Solve -i = -0 - n for i.
2
Suppose -i - 1 = 0, -5*i - 9 = -2*m - 0*i. Let d be -1 + 3/2*2. Suppose d*v + 2 = 0, 3*v = -3*r - 1 - 2. Solve -a + m - 1 = r for a.
1
Let x be ((-663)/34)/((-2)/(-48)). Let l be (-2)/(-7) - x/126. Suppose 3*o - l = 56. Solve 6*u = 2*u - o for u.
-5
Suppose 6*p = 9*p - 18. Suppose 2*h - 5*h = -p. Solve 9 = -h*t - t for t.
-3
Suppose 2*j = -0*j + o - 98, -5*o - 173 = 3*j. Let c = -51 - j. Solve -4*b + b = c for b.
0
Let o(q) = 19*q**2 - 213*q + 2. Let k be o(12). Solve 4*f - k = -162 for f.
5
Let x be 213/12 + -11 + 1/4. Solve 6*b = -1 + x for b.
1
Suppose -35 = -73*d + 72*d. Suppose 0 = -4*u - 20, 5*x - 5*u = -2*u + d. Solve x*k + 8 + 12 = 0 for k.
-5
Let n = -59 + 61. Let a = -125 - -142. Solve -5*p = n - a for p.
3
Let u = -7 - -11. Let o be (-40)/(-18) - (-4)/(-18). Let m = -1923 - -1927. Solve -m = -o*t + u*t for t.
-2
Suppose n = 3 + 5. Suppose 5*k = n*k + 21. Let q(c) = -c**2 - 12*c - 17. Let o be q(k). Solve 3*l + 6 = o for l.
4
Let f = 311 + -290. Let i(l) = l**3 - 6*l**2 + 3*l + 7. Let y be i(6). Let w = y - f. Solve -v - v = w for v.
-2
Let q be 0 + (-9)/((-54)/100)*-6. Let a = q - -110. Solve 0*l + 2*l + a = 0 for l.
-5
Let t = 925 + -923. Let w = 0 + 0. Solve t*u + u - 3 = w for u.
1
Suppose 15*c + 24 = 159. Solve -4*p - 9 = -c for p.
0
Suppose 16*s + 37*s - 212 = 0. Suppose 2 = 4*h - 14. Let u be (0 - s)/((-8)/h). Solve p = -u*p - 3 for p.
-1
Suppose 4 = -2*m - 2*u, -5*u = 3*m - 7*m + 19. Solve z = -2 - m for z.
-3
Let s(p) = 2*p**2 + 3*p - 7. Let l be s(4). Suppose 0 = 2*w - 0*w - 5*z - l, 2*z = -10. Solve -3*v = -v - w for v.
3
Let d be (28 - 7)*(-7)/(-21). Solve d*q - 4*q = 0 for q.
0
Suppose 0 = 4*b + 3*k - 21, 23 = 4*b - b - 5*k. Let o be (-3)/(b/4) - -4. Solve -s + 3 = o for s.
1
Suppose u = -2*u + 30. Suppose 5*b = 35 - u. Suppose -39 = -b*f + 3*x, 3*f = -0*x + 5*x + 17. Solve 5*s + 11 = -f for s.
-4
Let o be (4 + -2)*12/(-12). Let d be (10/(-4))/(4/80*o). Solve d + 0 = 5*c for c.
5
Let n be 136/(11 + -3) + (-6)/(-2). Solve 2*k - 6*k + n = 0 for k.
5
Suppose 3*a = -2*g, -g + 4*a - 3*a = 5. Let u be (-2 - -5) + g + 0. Suppose -4*c = -u*c. Solve c + 5 = -m for m.
-5
Suppose 4*s - 3*h - 73 = 0, 7*h - 62 = -3*s + 2*h. Suppose s = -8*n + 67. Solve n*t - t = 20 for t.
4
Suppose 0 = 8*g - 38 - 10. Suppose g = -2*a + 3*o, -a - 3*o + 19 = o. Solve -5 = -2*t - a*t for t.
1
Let t = 1 - -2. Suppose -2*c - 2*k + 19 = 3*k, -3*k = 3*c - 15. Suppose 0 = d + 3*q - 0 + 7, c*d - 3*q = 13. Solve 4 = d*j - t*j for j.
-4
Let h(b) = -b - 5. Let c be h(-10). Suppose c*u = -5*o, -3*u + u = 4*o - 10. Suppose -o*t + t + 12 = 0. Solve q + 10 = t*q for q.
5
Let g = 31 - 31. Suppose g = -0*w + 5*w - 75. Suppose d - w = q - 2*d, -3*q - d + 5 = 0. Solve q*k = 4*k + 20 for k.
-5
Let h(v) = v**3 - 3*v**2 + v - 2. Let c be h(3). Let j = -6 + 8. Suppose j*f = 2*b + 2, -3*f + b + 1 = f. Solve p = c - f for p.
1
Suppose -4*n + 139 = -309. Let j = 115 - n. Solve h + j*h = 20 for h.
5
Let x = -191 - -193. Solve -2 + 4 = -x*k for k.
-1
Suppose 0 = 4*s + 4*i + 8, 0 = -s + 6*s + 3*i + 2. Let j be s + (2/(-1))/(-1). Solve u + j = -0*u for u.
-4
Let c = 257 - 253. Solve -9*u - c = -7*u for u.
-2
Let r be (-8 + 8)*(-2)/4*1. Suppose 5*q - 38 + 18 = r. Solve -q*u = u + 20 for u.
-4
Let t(i) = i**3 - i**2 - 3. Let h be t(2). Let o = h - -6. Solve 3*l + o + 8 = 0 for l.
-5
Let c be ((-555)/148)/(3/4). Let j(m) be the second derivative of m**4/12 + m**3 + 9*m**2/2 + m. Let b be j(c). Solve -4*f = -b - 8 for f.
3
Suppose 0 = -8*u - 54 + 126. Let f(y) = -4*y**3 + y**2 + 2*y + 1. Let g be f(-1). Suppose g*v + 3*w - 17 = 0, 5*v - u = -w + 4. Solve -i - v*i + 3 = 0 for i.
1
Suppose -2*z - 3*c + c + 46 = 0, -5*z = -4*c - 151. Solve -n - 24 = -z for n.
3
Let b(f) = f**2 - 7*f - 18. Let u be b(9). Solve 11*h - 2 - 9 = u for h.
1
Let u(c) = 2*c**2 - c**2 - 2 + 2*c - 2*c**2. Let t be u(3). Let g = t - -8. Solve 10 = g*l - l for l.
5
Let s = -167 + 196. Solve 32*h = s*h for h.
0
Let s = 2393 + -2357. Solve -j - 41 = -s for j.
-5
Suppose -7*j + 73 - 17 = 0. Suppose 4*c = j*c, 20 = 4*w + 2*c. Solve w*o - 3 = 2*o for o.
1
Let y = -43 - -43. Suppose -19 = -4*d - 3*x, y = -5*d - 2*x + 24 - 2. Solve 0 = -o + d*o - 12 for o.
4
Let q = 0 + 2. Suppose q*s + s = -2*w + 17, 3*w + 6 = 0. Let c(b) = b**2 - 7*b + 3. Let x be c(s). Solve -x*z - z + 16 = 0 for z.
4
Suppose 0 = -y - 3, -3 = 5*p - 2*y + 36. Let k be (-75)/p - 5/15. Suppose 4*g + 12 = k*g. Solve g - 4 = -u for u.
1
Let p be (3/(-12))/((-3)/1164). Let h = p + -47. Suppose -25*o = -20*o - h. Solve -8*j + o = -3*j for j.
2
Let c be ((-11)/33)/((-15)/90). Solve -10*g + c = 52 for g.
-5
Let n = 27 - 25. Suppose 6*f - n*f + 96 = 0. Let t = f + 34. Solve -d - d = t for d.
-5
Let o = -96 - -97. Solve 0 = -2*v - 3 - o for v.
-2
Let k(b) = 2*b + 14. Let c(m) = 3*m + 15. Let n(x) = -3*c(x) + 4*k(x). Let o = 6 - 0. Let g be n(o). Solve g*t + 7 - 27 = 0 for t.
4
Let z(r) = r**2 + 14*r + 7. Let h be z(-14). Let n be (-108)/h - 3/(-7). Let j be ((-6)/n)/(3/30). Solve u - j*u = 12 for u.
-4
Let i = 16 + -13. Suppose 16 = i*z - 2. Let f be z/(-4)*12/(-9). Solve y - 1 = f*y for y.
-1
Let n(y) = 2*y**3 - 34*y**2 - 6*y + 103. Let d be n(17). Solve 0 = -10*p - 31 + d for p.
-3
Let p(h) = -h**2 + 29*h + 4. Let f be p(0). Solve -7*q - f = 3 for q.
-1
Let b be ((-40)/(-4) - 2) + 3. Let h = b + -11. Suppose h = 6*f - 6 - 6. Solve 4 = -f*g - 2 for g.
-3
Suppose 58*t - 30 = 28*t. Solve -8*y + 9*y = -t for y.
-1
Suppose -20*d - 93*d = -565. Solve d*r - 11 = 9 for r.
4
Suppose 9*l = 8*l. Suppose l*k = 4*y - 2*k - 22, 0 = -2*y + 2*k + 14. Suppose 0 = -r - 0*r - y*n - 6, 4*r - 2 = -3*n. Solve 0 = r*z - 3*z for z.
0
Suppose 2*q - 7*q = -30. Solve -15 = -3*o - q for o.
3
Let b(i) = 7*i - 8. Let t be b(-6). Let h = t + 56. Solve h - 2 = -g for g.
-4
Let g(c) = 2*c - 23. Let j be g(-13). Let t = j + 57. Solve 0 = v + 3*v + t for v.
-2
Let a(v) = v**2 + 14*v - 23. Let k be a(-19). Solve -70 = y - k for y.
2
Suppose 5*q + 28 = q. Suppose -h + c + 6 = 0, -23 = -2*h - 2*h + 5*c. Let p = q + h. Solve p = 3*a - 0*a - 6 for a.
2
Suppose 3*f + 0*f = 9. Suppose -2*s = n - 0 + 4, -f*n - 5*s = 8. Let c be n/(-10) + 14/35. Solve c = -y - 3 for y.
-3
Let a = 60 - 68. Let o be -1 - 62/a - (-12)/(-16). Solve 5*q - o = -21 for 