ve 2*a + 3*a + 20 = h for a.
-4
Let j = -1499 + 1509. Solve -j*x = -22 - 48 for x.
7
Let b be 220 - (-20 - -30)*(28/(-8) + 4). Solve -228*c - 52 = -b*c for c.
-4
Suppose -12*f + 41*f + 834 = 2342. Solve -9*z = -f + 16 for z.
4
Let w(n) = -n**3 + 8*n**2 - 10*n - 7. Let x be w(6). Suppose 12*d = x*d + 56. Let a be (-2 - 0)*12/d*-1. Solve -a*r = -8*r + 25 for r.
5
Let r be (-4 - 3) + (152/20)/((-5)/(-25)). Solve 31 - r = 7*n for n.
0
Suppose -8 = 4*x, 15*x = -5*n + 16*x + 32. Solve 28*h + 44 = n*h for h.
-2
Suppose 0 = -y + 6 + 8. Let i be 21/y*((-2 - 1) + 5). Suppose 0 = -v + i*f - 5*f + 14, 3*v + 13 = 5*f. Solve v*c = 3*c for c.
0
Let k be (6 + 0)*(-4)/24. Let o be (-5)/20*k*8 - -5. Solve o*x - 4 = 10 for x.
2
Let j = -1256 - -1260. Let o be 5*4/(-8)*-2. Suppose -5*p + 26 + 0 = j*l, 0 = o*l + 5. Solve h = 1 - p for h.
-5
Suppose -3*q + 2*x - 234 = 0, 2*q + 3*q - 2*x + 394 = 0. Let s = 80 + q. Solve 2 = -s*d - d for d.
-2
Let p(g) = -157*g + 58. Let b be p(6). Let r = b - -914. Solve r = 6*k + 4*k for k.
3
Suppose 38*l - 40*l = -6. Suppose 0 = -l*g + 5*g. Suppose g*w - 1 = w, 4*w = p - 9. Solve p*o + 14 + 1 = 0 for o.
-3
Let n = 27000 + -26773. Solve -n = 31*p - 351 for p.
4
Let b be 1/(-2) - 141/(-2). Let d = -66 + b. Suppose -d*t = -i - 16, 20 = 6*i - 3*i + 5*t. Solve 0 = -i*k - 4*k for k.
0
Let a(m) = 43 + 41 + 5*m - 87. Let p be a(2). Suppose -p*y - 9 = -23. Solve 9 = -5*f + y*f for f.
-3
Let a be 5/(((-83)/(-1079))/(3/13)). Solve -a*r - 126 + 51 = 0 for r.
-5
Suppose -2*t + 6*t - 204 = -4*h, 51 = t - 4*h. Solve -4*u - 71 + t = 0 for u.
-5
Let d(j) = -j - 20. Let w be d(-14). Let c be w - (9 - 3 - 12). Solve -3*a - 5 + 20 = c for a.
5
Suppose 206 - 233 = -3*j. Suppose 0 = -y - j + 12. Solve -6 = y*n + 3 for n.
-3
Suppose -4*y = 2*b - 564, -2*y = 2*b - 0*b - 568. Let a = b - 281. Solve a = -0*x + x for x.
5
Suppose -5*x = -d + 31, -7*d + 2*x - 58 = -11*d. Solve 0 = -426*v + 430*v + d for v.
-4
Let a be (-2)/(-3) + 2 + (-71)/3. Let n = a + 5. Let y = n + 20. Solve 18 = y*s + 2 for s.
4
Let z = 445 - 439. Suppose -6 = -2*j + 3*y, -z*y + 5*y = 2. Solve 3*o - 6 = -j for o.
2
Let z be (2 - (-1 + 23))/(-1). Let n(s) = -2275*s + 25029. Let r be n(11). Solve -r*o = -0*o - z for o.
5
Suppose -h + 3 = -0*h. Let g(u) = 3*u - 7. Let a be g(h). Let n be 6 - (2 - 0/(-4)). Solve 6 = -a*p - n for p.
-5
Suppose 4*r + 156 = s, 0 = -3*s + 32*r - 27*r + 433. Suppose -12*c = 22*c - s. Solve 2*z - c = -2 for z.
1
Let t(b) = -b**3 - 64*b**2 - 3*b - 149. Let l be t(-64). Solve -89 = 22*u + l for u.
-6
Let c(f) = 49*f - 130. Let h be c(3). Let g be h*((-100)/(-28) - 8/14). Solve 3*m - g + 42 = 0 for m.
3
Let j be ((-1114)/(-1671))/(2/36). Solve 0 = -94*r + 97*r - j for r.
4
Let x = 42 + -37. Let y be (x/3 - 2)/((-2)/18). Suppose -3*u = 3 - y. Solve -z = -u*z + 1 for z.
-1
Let r = 1 + -4. Let s be (-10)/(-3)*r/(-2). Let o be ((-16)/(-4))/(s + -3). Solve 2*l + 6 + o = 0 for l.
-4
Let x be (-5)/((-5)/6) - ((-850)/(-17))/(-10). Solve x*q = 9 + 57 for q.
6
Let r be (2/6)/((-1)/(-18)). Suppose 36 = 9*n + 9. Suppose s - n*s = -s. Solve s = 2*j - r*j + 4 for j.
1
Suppose 2*y + 2*m - 6 = 0, y + m - 7 = 2*m. Let o = -7 + 52. Let u = 51 - o. Solve -u*v = -y*v for v.
0
Let r = -5266 + 5302. Solve 0 = r*y - 31*y + 15 for y.
-3
Suppose c - 2*h = 395, 4*c = -c - 2*h + 1975. Let f = 403 - c. Solve 5*o + 17 = -f for o.
-5
Let g be (64/8)/(-4) + (12 - 9). Let d(s) = s - 1. Let l be d(7). Solve -g = -l*p + 5 for p.
1
Let u(r) = r**3 - 2*r**2 - 2*r - 1. Let l(g) = -g**3 + g + 1. Let c(b) = -2*l(b) - u(b). Let v be c(1). Solve v*a + 3 + 3 = 0 for a.
-3
Let u(x) = 198534*x - 1 - 99269*x - 99269*x. Let m = 0 + -1. Let l be u(m). Solve l*j + 1 = 2*j for j.
-1
Suppose -4*z - 12 = 0, -1026 = 2*r - 5*r + 3*z. Let f = 354 - r. Solve -a - f = -6*a for a.
3
Suppose -2*o + 282 - 62 = 0. Let y = 128 - o. Suppose -3*v - y = -12*v. Solve 0 = v*q - 10 - 0 for q.
5
Suppose -32*r = 14*r + 6*r - 156. Let j(c) = -3 + 0 + c**2 + 0*c**2 - c. Let t be j(r). Solve 0 = 2*b - t + 5 for b.
-1
Let w = -71 - -77. Suppose 5*f + 4*d = 30, -2*f + w*f - 28 = -4*d. Let t be (3 - (5 - f))/1. Solve -3*c - 7 - 8 = t for c.
-5
Let o be -3 + 1/(((-10)/3)/(-10)). Suppose 3*f + 17 - 50 = o. Solve -f*b = -16*b + 15 for b.
3
Let t be (-36)/(-234) - (24/(-13))/1. Suppose 0 = 7*z - t*z + 5*z. Solve -3*g - 3 - 3 = z for g.
-2
Let h(i) = i**2 + i - 3. Let f be 0/1*(-3)/3. Let g be h(f). Let b(q) = q**2 + 6*q + 11. Let d be b(g). Solve d*c + 3 = 1 for c.
-1
Suppose -r = 2*w + 74, -10*w - 326 = 4*r - 12*w. Suppose -5*j - 4*o + 471 = -o, -2*o - 294 = -3*j. Let g = j + r. Solve -3*c = -7*c - g for c.
-4
Let m be -3*1*(-7)/7. Suppose d + 2 + 7 = m*z, -4*d = z - 29. Solve 4*c + d*c = -0*c for c.
0
Suppose -4*r = -10*r - 12. Let g be r + (15/(-5))/(-1). Let t = 83 + -78. Solve -t*o + g = 21 for o.
-4
Let y(a) = a + 1. Let h be y(0). Suppose o - 14 = 23*k - 26*k, 70 = 4*o - 2*k. Solve 0 = 4*j + h - o for j.
4
Suppose 7*r = -t + 814, -5*r + 88 + 482 = 3*t. Solve r*q + 12 = 119*q for q.
6
Suppose -3*v - 105 + 26 = -5*r, -2*r + 31 = -v. Suppose -25*y + r + 86 = 0. Solve 0 = y*j - 2 - 10 for j.
3
Let y = -326 - -330. Suppose -2*n - 3 + 5 = 3*d, 4*n + 24 = d. Suppose 0 = -d*h - h - y*l - 3, 4*h = l + 6. Solve -4 = c - h for c.
-3
Suppose -93*v = -105*v. Suppose -3*r + 4*n + 8 = 0, -3*r = -v*r - 3*n - 6. Solve p = -r*p for p.
0
Let t be (-10)/40 + 1/4. Suppose -18 = -a - a. Suppose a*w - 3*w = 24. Solve w*d = -t*d for d.
0
Let v be (0 - 0)*1/3. Suppose 2*w + 50 = 5*n, v = 4*n + w + 10 - 37. Suppose -5 = -5*r - 5*c, -4*r + n = c + c. Solve r*d - 4 = d for d.
2
Let n be (5/(-15)*2)/(6/(-306)). Suppose -n*m = -41*m + 14. Solve m*h - h - 1 = 0 for h.
1
Let a = 413 - 409. Suppose 21*z = 4*p + 23*z - 14, -a*p + 19 = -3*z. Solve p*d = 3*d - 5 for d.
-5
Let o = 8 - 5. Let z(s) = 11*s**2 + 12*s - 17. Let x be z(1). Solve -o*h = x + 9 for h.
-5
Let l = -30 - -35. Suppose -l*v + 32 = -v. Suppose 0 = 3*o - 4*z + 10 + 6, 3*o = 2*z - v. Solve 16 = -4*q - o for q.
-4
Let n be (-2 - (-29 + 43))*9/(-12). Solve 27 = -3*c + n for c.
-5
Let z(f) = -f**2 - 11*f - 26. Let t be z(-7). Suppose 5*d - t*r = 26, -3*d + 8*d = 5*r + 20. Solve d = -10*b + 12*b for b.
3
Let q(p) = 7*p**3 + 279*p**2 - 44*p - 107. Let b be q(-40). Solve -62*w = -b*w + 27 for w.
-3
Let g(d) = d**2 - 6*d + 10. Let q be (-1 - -2) + 2 + 1. Let a be g(q). Suppose 0 = -4*p - 0 + 4. Solve -p = a*m + 3 for m.
-2
Suppose 17 = 4*r + 1. Suppose -5*w - 4*g - 5 - 5 = 0, -3 = -4*w - g. Solve -6 = w*p + r for p.
-5
Let m(y) = y**2 - 11*y + 58. Let g be m(9). Let i be 5 + (2 - 3) + 1. Solve -i*s = -15 + g for s.
-5
Let b be (10 - 17) + 40 + (17 - 12). Solve 314 = -b*m + 10 for m.
-8
Let a(k) = -9*k + 75. Let t be a(8). Suppose -v + t = u, 3*v + 7 = u + 6*v. Solve -16 + u = -3*f for f.
5
Suppose -11 = 5*d + 5*c - 21, 5*c - 7 = -2*d. Suppose 5*o = 2*p + d, 2*o = p - 0*o. Solve -g = p + 1 for g.
-3
Suppose 0 = 3*k + 5*a + 5, -3*k = 2*a + 1 + 1. Let g be (-608)/912 - (262/(-6) + -1). Solve k = g*c - 40*c - 8 for c.
2
Suppose -w = 23*v - 19*v - 9, -3*w = -4*v + 5. Let f be (-2)/(-6)*(0 - 0). Suppose f = x + 4*x. Solve x*r - 4 = v*r for r.
-2
Suppose 4*o = 9*o + 5*s - 30, 4*s - 8 = 4*o. Suppose 5*r - 56 = -4*t, o*t + 16 = 6*t. Solve -d - d + r = 0 for d.
4
Let a = -544459 + 544467. Let w(c) = c - 4. Let q be w(6). Solve -q*l = -a*l - 30 for l.
-5
Let t(c) = -c + 3. Suppose 3*r - 80 = 172. Let f = -85 + r. Let b be t(f). Solve -6 = -b*l - 14 for l.
-2
Suppose -2*h + 40 = 3*h. Let i(v) = v**2 - 7*v - 6. Let l be i(h). Suppose -2*b - 3*b = c - 9, -5*b = -4*c - 14. Solve l*u + b*u = 0 for u.
0
Suppose -56978*f + 56979*f = 39. Solve -240 = -f*h - h for h.
6
Suppose 3*u = -u + 3*p + 109, p = -4*u + 97. Suppose -10*y + u = 5. Solve -y*j - 7 + 9 = 0 for j.
1
Let w be (-70)/28*(-36)/10*1. Solve -31 + 49 = w*z for z.
2
Let t = 903 + -880. Suppose 480 = 25*c + t*c. Solve 2*d - c*d = 16 for d.
-2
Let m be 5 + -2 + 6 + (3 - 6) + 2. Let k be -3*(0 - 12/9). Solve k*a + m = -0 for a.
-2
Let j be 8/(-12) - (-70)/6. Suppose -3 + j = 2*q. Let z = 13676 + -13661. Solve 9*w + z = q*w for w.
-3
Suppose -5*v = 5*n - 240, 6*n - 11*n = 4*v - 243. Suppose 5*j + 1 - n = 0. Suppose 3*r - 2*u - 12 = u, -r + 6 = -3*u. Solve -8*t = -r*t + j 