 for y.
2
Suppose -4*r + 4 = 4*h, 2*r - 3*h - 2 + 0 = 0. Let p be (-1 + -14*r)*-1. Suppose -z - 3*b + 0 = -3, -5*z = -3*b - p. Solve -z*q - 15 = 2*q for q.
-3
Let w = 7 + -2. Suppose -5*n = -w*x - 60 + 15, 45 = 5*n + 5*x. Suppose 0 = 2*g - 3*j + 2 + 7, 3*j = 4*g + n. Solve g*s - 2*s = -2 for s.
1
Let d = -55 + 33. Let p(z) = 2*z + 51. Let l be p(d). Solve -5*o + 2 = l for o.
-1
Suppose -2*z + 0*z + 32 = 0. Suppose -5*u + z = -u. Solve -l - 9 = -u for l.
-5
Let d(n) = -n**2 + 8*n + 68. Let u be d(13). Solve u*y + 5 = 2*y for y.
-5
Let y be (-69)/(-115) + (-1)/((-5)/32). Solve -y = 7*c + 14 for c.
-3
Let z(p) = -3*p - 1. Let b be z(-2). Let r = 90 - 10. Suppose o = 3*g + 29, -5*o - 2*g = -4*g - r. Solve -b*v - o = 1 for v.
-3
Let m(d) = d + 10. Let w be m(-6). Suppose -5*f - w + 29 = 0. Solve -z = -f*z for z.
0
Suppose 2*w - 4*w - 6 = 2*c, 39 = -3*w + 3*c. Let b(f) = -f**2 - 6*f + 19. Let d be b(w). Solve n - 5 = -d for n.
2
Suppose -3*g - 45 = -5*w, -w = -0*w - 3*g + 3. Solve 0 = -10*l + w*l for l.
0
Suppose 4*u - 2*a + 3*a = 18, 5*u + 5*a - 30 = 0. Let l be (-18 + 4)*(-7)/2. Let o = l - 29. Solve u*w + w - o = 0 for w.
4
Suppose -5*u = q - 4*u, 36 = 5*q - 4*u. Solve 1 = -q*y + 9 for y.
2
Let z(g) = g**3 - 4*g**2 + 9*g - 7. Let r be z(3). Solve -3*b - r = -2 for b.
-3
Suppose -5*w - 13 = -5*u - 3, 2 = u - 5*w. Suppose -m - 16 = -5*b - 4*m, b + 2 = u*m. Solve -h = -b*h for h.
0
Suppose 0 = c - 0*c - 3. Suppose -c*s = 6*s - 45. Solve 1 = -q + s for q.
4
Let d(v) = -6*v + 1. Let x be d(-2). Let i(s) = s**3 + 6*s**2 + 4*s + 2. Let f be i(-2). Let q = 13 - f. Solve -x + q = -5*a for a.
2
Let s = 263 - 259. Solve s*c - 5*c = 0 for c.
0
Let o(j) = 10*j - 78. Let a be o(8). Solve -x = -a*x for x.
0
Let j = -136 + 136. Solve j*a + 5*a = 20 for a.
4
Suppose n + 60 = -4*n + 4*l, -4*n - l = 69. Let c be n - -18 - -1*3. Solve 0 = -c*a - 18 - 2 for a.
-4
Suppose -6*b = b - 140. Let i = b + -16. Solve -w + i = 2 for w.
2
Suppose 3*b = 23*b - 80. Solve 0 = -b*u + 9*u + 20 for u.
-4
Suppose -2*g + g = -6. Suppose 0 = 2*k - g, 3*k + 2*k - 51 = 4*v. Let q be 2/6*v/(-3). Solve y + 0 = q for y.
1
Let j(u) = -u**2 - 6*u - 7. Let o be j(-3). Let i(s) = -5 + 2*s**o - 2 + 6*s + 4. Let d be i(-4). Solve 2*v - 9 = d*v for v.
-3
Let y(m) = m**3 + 8*m**2 + 10*m - 3. Let f be y(-6). Suppose f*p - 14*p = -40. Solve 0*z = -2*z + p for z.
4
Let x be (-332)/(-10) - (-1)/(-5). Let u = -27 + x. Solve -3*s - 3 = -u*s for s.
1
Suppose 13*v = 10*v + 4*u + 28, 3*v - 5*u - 32 = 0. Solve 0*y - 2*y = v for y.
-2
Let z be 4/2*(-4 - 40/(-8)). Solve 13 - 23 = -z*j for j.
5
Let g = -1462 - -1522. Solve -4*w = -48 + g for w.
-3
Let i = -252 + 266. Solve -20 = i*p - 4*p for p.
-2
Suppose 10 - 7 = u. Suppose -12 = -2*p + u*w, 4*p - 5*p + 6 = 4*w. Solve 0 = p*x - x for x.
0
Suppose -2*p - 3*p = -60. Suppose 2*a + 3*r = -8 - 3, 4*a + 4*r + p = 0. Solve n = -n + a for n.
1
Let a(g) = g + 19. Let x be a(-17). Suppose -5*p + 12 = -x*p. Suppose 8*u - 9*u = -p. Solve -u*n - 20 = -8*n for n.
5
Let z be (0*3/6)/2. Suppose 6 + z = 3*f. Let t be (-3 + f)*1 + 19. Solve -t = 2*n - 8 for n.
-5
Suppose 4*m - 2*r - 11 = -13, -3*r = 5*m - 25. Solve -4*u - m*u = -18 for u.
3
Let o = 786 + -767. Solve -10*k = -o*k - 27 for k.
-3
Let y = 6 + -2. Let p(m) = m - 2. Let g be p(y). Let t = 2 - 2. Solve d + t*d + g = 0 for d.
-2
Suppose 18*h = 31*h - 182. Solve -4*s - h = 3*s for s.
-2
Suppose -165*x + 48 = -161*x. Solve -x*v = -8*v + 8 for v.
-2
Let a(r) = -r**3 - 3*r**2 - 3*r - 3. Let w be a(-4). Let m = w + -20. Suppose 3*d - 2*d + m*i = 17, 3*i - 19 = -5*d. Solve -d = -5*v + 3 for v.
1
Let v(w) = -w**2 - 5*w - 3. Let o be v(-3). Let q be ((-16)/88)/(2/(-22)). Solve -5*m = -o*m - q for m.
1
Let w be (-291)/(-57) - (-5 + 97/19). Solve w*t - 6 + 1 = 0 for t.
1
Suppose 4*c = 3*v + 24, -5 = c - 4*v - 11. Solve -45 = 15*z - c*z for z.
-5
Let l(d) = -d**2 + 6*d + 10. Suppose 2*k = -g - 19, 5*g = -2*k - 0*k + 1. Let p = 19 + k. Let y be l(p). Solve -w = -y + 6 for w.
-3
Let v(w) = -w**2 - 4*w + 5. Let t be v(-4). Let i be (-42)/(-105) - (-43)/5. Solve i*g = t*g for g.
0
Let l = 9 + -6. Suppose 0 = 4*y - 2*h - 14, -2*y - 2 = -l*h + 5*h. Solve -y*r + 1 = -3 for r.
2
Let a = -337 - -349. Suppose 3*m + 104 = 5*l, -l + 23 + 5 = -3*m. Suppose 0*f - z = f - l, 4*z - a = 0. Solve -5*y + f = -y for y.
4
Let h be -2 + (13 + -1 - 7). Solve h*j = 14*j + j for j.
0
Suppose 22 = -2*n + 26. Suppose 3*i + n*i = 15. Solve -i - 9 = 4*l for l.
-3
Suppose 2*w + 22 = 4*w. Let i be (54/15)/((-8)/20). Let v = w + i. Solve -20 = -v*x + 6*x for x.
-5
Let p = 43 - 45. Let j = p - -4. Solve -j*d = 3*d for d.
0
Let a(w) = -w**2 + 9*w + 26. Let u = -19 + 30. Let j be a(u). Solve -n - j = -0 for n.
-4
Suppose -p + 0*p = 0. Suppose 2*s - 46 = -4*z, -s - z = -30 + 12. Solve p = -5*v + s + 2 for v.
3
Suppose -33 = -2*n + 5*r, -20 = -0*r + 4*r. Solve -4 = -n*j - 20 for j.
-4
Let a = 19 - -9. Suppose -3*l = 5*g - a, 3*l - g = -3*g + 22. Suppose -t = -l*t + 10. Solve -t = -2*n - 0*n for n.
1
Let t be (5 - 59)*(3/(-6) + 0). Suppose 2*g = -3*n - g + t, -4*n - g = -27. Solve o - n = 3*o for o.
-3
Let l(y) = y**2 - 5*y - 3. Let n be l(6). Suppose -n*z - 2*z = 0. Suppose -4*b + 0*b = z. Solve -9 = -b*k - 3*k for k.
3
Let j = -13 + 15. Suppose j + 1 = o. Solve o*h - 9 = -0*h for h.
3
Let a(d) = 4*d**2 - d + 1. Let n(k) = -2*k - 1. Let b(y) = y**3 - y**2 - y - 1. Let j be b(0). Let g be n(j). Let x be a(g). Solve q = -x*q for q.
0
Let x be -4 + -3 - (-13 - 2). Let u = 0 - -1. Solve -3*s + x + u = 0 for s.
3
Let m be (-330)/605 - (-122)/22. Solve 50*h - m = 55*h for h.
-1
Suppose 3*r - 34 = 4*p - 9*p, -5*p + 3*r = -46. Solve 0 = p*j - 13*j + 25 for j.
5
Let g = -25 + 19. Let y = g + 6. Solve -2*s + s = y for s.
0
Let l(b) = 4*b + 8. Let s be l(-4). Let p(h) = 2*h**2 + 15*h + 3. Let w be p(s). Solve -3*m - 4 = w for m.
-5
Let k = 16 - 13. Suppose -4*a - m + 5*m = -8, -k*a = 4*m - 27. Solve a*w = 3 + 2 for w.
1
Suppose 20*l - 26*l = -108. Solve w + l = 23 for w.
5
Let u = 427 - 412. Solve 4*r - r = u for r.
5
Let w be (-210)/(-24) + 3/(-4). Let p(c) = -c - 4. Let q be p(-6). Solve w = 6*l - q*l for l.
2
Suppose d - 5*f = 125, 375 = d + 2*d + f. Let q = d - 123. Solve 0 = q*h + h + 6 for h.
-2
Let n(i) = -i**2 - 8*i - 3. Let t be n(-5). Solve -13*a = -16*a + t for a.
4
Suppose -3*c = 3*h - 8*c - 65, -c = -5*h + 79. Solve -5 = -5*b + h for b.
4
Let t be 21/4 - (-5)/(-4). Suppose 5*b + 4 = -4*n, t*b - 5 = n - 4. Solve b*z - z = 4 for z.
-4
Let g(q) = 6*q**2 - 3 - 7*q - 3*q**2 - 2*q**2 - 8. Let u(o) = 2*o**2 - 15*o - 23. Let b(v) = -7*g(v) + 3*u(v). Let x be b(5). Solve i + 10 = x*i for i.
5
Let c(b) = b - 8. Let a be c(10). Suppose -r - l = -2*l - 7, -a = l. Solve q = r*q - 4 for q.
1
Let u(o) = o**3 - 9*o**2 - 10*o + 8. Let z be u(10). Suppose z = -f + 3*f. Solve 2*l + f + 0 = 0 for l.
-2
Let y = 897 + -891. Solve y*l - 8 = 22 for l.
5
Let o be 9/(-4)*(-8)/6. Solve -2*w + 10 = o*w for w.
2
Suppose -198 = -5*r - 17*r. Solve -3*m + 0*m - r = 0 for m.
-3
Let m(y) be the first derivative of y**6/360 - y**5/40 + y**4/8 - y**3 - 1. Let u(g) be the third derivative of m(g). Let k be u(2). Solve h + 3 = k for h.
-2
Let p be (-6 + 2 - 32)*(-33)/22. Solve p*t + 2 = 55*t for t.
2
Suppose 14*a - 5 = 191. Solve 10 = -2*v + a for v.
2
Suppose 3*x + 2*x = 15. Let b = 8 - 10. Let m be b*-1*(-12)/(-8). Solve m*v - x = -0 for v.
1
Suppose -9*j + 36 = -0. Let u(k) = -k**3 - 3*k**2 + 6*k + 6. Let v be u(-4). Let h be -2 - (-8 - (-2)/v). Solve -j*c + 3 = -h*c for c.
-1
Let l(d) = 33*d - 48. Let t be l(2). Solve t*v - 4 = 19*v for v.
-4
Suppose -9 = -6*k + 3. Suppose 2*t = 4*y - 2, k*t + 2 = -0. Solve y = 4*z - z + 6 for z.
-2
Let v(o) = -o**2 + 9*o + 5. Let t be v(9). Suppose -3*j + t - 11 = 0. Let n be 72/30 - j/(-5). Solve -n*k = k for k.
0
Let s = 3 - 1. Solve 9*f - 10*f = -s for f.
2
Let y(d) = 43*d + 313. Let r be y(-7). Solve -r = -w + 4*w for w.
-4
Suppose 800 = -32*l + 52*l. Solve -26*x + l = -12 for x.
2
Let b = 2336 + -2305. Solve -b*x + 29*x + 10 = 0 for x.
5
Let w be 6 + (6 + -3 - 6). Suppose -5*u = -7 - w. Solve -1 - 7 = u*m for m.
-4
Suppose -3*j = -6*j. Let z = 9 - -14. Suppose -4*i = -13 - z. Solve j = -4*r + 3 + i for r.
3
Let g = 2 + -2. Let w = 1496 - 1492. Solve g 