*v for v.
-3
Suppose 46*s = 20 - 20. Let t(i) = i**2 - 2*i - 1. Let b be t(-1). Suppose 13*y - b = 12*y. Solve s = -y*c - 14 + 6 for c.
-4
Let b(v) = v**3 - 5*v**2 + 2*v + 13. Let n = -115 + 119. Let h be b(n). Solve -h*q + 36 - 11 = 0 for q.
5
Let x(o) = -5*o**2 - 772*o - 1046. Let g be x(-152). Solve -762*t - 80 = -g*t for t.
5
Let c = -312 - -71. Let y = 243 + c. Solve -y*b + 4 = 6 for b.
-1
Suppose -3*d = 5*o - 24, -5*o = -2*d - 2*o - 3. Suppose -14*n + d = -13*n. Solve 7 = -a + n for a.
-4
Let z(x) = 4*x**2 - 123*x + 519. Let t be z(0). Solve -516*j = -t*j for j.
0
Let c = -25803 + 25947. Solve 0 = 38*o + 30 - c for o.
3
Suppose 905*u - 895*u = 3620. Solve -21 = -u*f + 355*f for f.
3
Let w(j) = 11*j + 27. Let l be w(-3). Let m be 3 - (-6 - l - (-2 - -2)). Suppose 3*t - 2*v + 5 = -m, -16 = -3*t - 4*v. Solve t = -3*q - 2*q for q.
0
Let x(y) = -9*y**2 + 6 + 3*y**2 + 5*y**2. Let c be x(0). Let w be 3/12 - c/(-8). Solve 5 = 2*a + w for a.
2
Suppose -2*s = 23 + 69. Let f = s + 51. Solve -10 = -f*y + 5 for y.
3
Let v(j) = -j - 2. Suppose -2*l = c + l - 107, -2*c + 213 = 5*l. Let p = c - 109. Let s be v(p). Solve 1 = -s*w + 16 for w.
5
Suppose 0 = -h + 4. Suppose 4*y + 9 = 5*j - 10*j, -6 = -2*j. Let b = h - y. Solve -n - 4*n = b for n.
-2
Suppose 0 = -5*h - 99 + 124. Suppose 0 = -2*l - 4*d + 14, -4*d = 3*l - h*d - 7. Solve l*p + 35 = 20 for p.
-5
Suppose 4*n = 2*n - 5*z - 41, 0 = -5*n - 4*z - 77. Let r = n + 6. Let o = -1 - r. Solve 2*i - o*i = -4 for i.
1
Let x = -28625 + 29594. Solve 20 = 974*j - x*j for j.
4
Suppose -6 = -3*j, -21*s + 16*s + j = -328. Let w be 2/7 + (-5 - s/(-14)). Solve 0 = -3*o - w - 3 for o.
-1
Let a(n) = -15*n + 204. Let h be a(12). Solve -h*g - 11 = -35*g for g.
1
Let y(p) = -2*p + 1. Let r be y(-1). Suppose 82 = 5*x - 2*z, -x + 18 = -r*z + z. Suppose -5*i + 36 = -i + 5*a, -2*a + x = 2*i. Solve 0 = -q + i*q + 6 for q.
-2
Suppose 571*f - 2*c = 569*f, -2*f + 1 = -c. Let m = -34 + 37. Solve -f = -m*b + 14 for b.
5
Let z = 10 + -12. Let q = 10 + z. Suppose -3*b - 2*c = -19, 15*c + 5 = 16*c. Solve b*f - f = -q for f.
-4
Suppose 4*w + 4*z + 724 = 0, -502 - 234 = 4*w - 2*z. Let h = 189 + w. Let l = -1 - -3. Solve -l*a + h*a = 0 for a.
0
Suppose 0 = 2*k + 3*a - 37, -8*k - 4*a - 58 = -13*k. Let c = 10 - 24. Let i = k + c. Solve 2*j + j = i for j.
0
Let r(u) = u**2 + 12*u - 27. Let c be r(-20). Let i = c + -121. Solve -9 = -g - i for g.
-3
Suppose -13*q = -7*q - 1152. Let a = 195 - q. Solve -2*n = a*n - 25 for n.
5
Let g(i) = 84*i**2 + 1244*i - 40. Let d be g(-15). Solve 45*z - 5*z - d = 0 for z.
5
Suppose 9*i - 77 = -1175. Let q = 122 + i. Solve -t + q*t = -4 for t.
4
Suppose 14*r = 25*r - 2552. Suppose 234*u - r*u = 4. Solve u*t = 2 - 12 for t.
-5
Let l = -72 - -60. Let v be 2*3/l*(-51 - -1). Solve -5*d + v = -0*d for d.
5
Let x = -12221 + 12290. Suppose -38*z = -33*z - 245. Solve -x = 5*y - z for y.
-4
Suppose 0 = 6*k + 224 - 536. Let d = k - 49. Solve -d*r - 8 = -2 for r.
-2
Let p be (-1)/(-1)*(1 - 2)*-17. Suppose 130 = -7*x - p. Let a = x + 21. Solve -5*h + a*h = 0 for h.
0
Let m(q) = q**3 + 16*q**2 + 22*q + 113. Let g be m(-15). Solve 0 = g*b + 240 - 240 for b.
0
Let f = 1106 - 173. Solve 0 = 3*k - 942 + f for k.
3
Let n be (-3)/(-4) + (-102)/(-24). Suppose 2*a + i = 11, 4*a - 41 = n*i - 12. Solve a*c = -20 - 10 for c.
-5
Let d(f) = 35*f + 12. Let q be d(-7). Let h = q + 241. Solve 2*m + h = 8 for m.
0
Suppose -3*m - 4*o + 205 = -64, m - 4*o - 79 = 0. Suppose 0 = -5*g + s + m, -3*g - 2*s = -89 + 29. Solve -3*c - g + 6 = 0 for c.
-4
Suppose 100*x - 162*x + 3526 = -103*x. Let i(m) = m**3 - 9*m**2 - 2*m - 1. Let g be i(4). Let k = x - g. Solve 6 = j + k for j.
3
Let l(t) = t**2 + t - 7. Let i be l(-4). Suppose -i*n + 10*n = -6*n. Solve n = q - 2*q + 1 for q.
1
Suppose -5*o + 0 + 25 = 0, -o = -5*d + 260. Let f = d - 2. Suppose -52*n = -f*n. Solve 4*l = -n*l for l.
0
Let p be (-8)/(-3) - 5*(-4)/(-30). Suppose 5*i - 35 = -a - p*a, 5*i = 2*a + 35. Solve 0 = 3*j + 4 - i for j.
1
Let f = -67 - -70. Let d(h) = -3*h + 8. Let c be d(0). Suppose -f*g + c = 2. Solve x - 1 = -g for x.
-1
Suppose 257 + 743 = 40*n. Let w = -5 - -8. Suppose i + 3*f = -11, -2*f + w = 4*i - 3. Solve -t - i*t + n = 0 for t.
5
Let a = 205 - 15. Let x = 193 - a. Solve 0 = y + x for y.
-3
Suppose -4*k - 12 = 0, 4*k + k - 39 = -2*t. Solve 8*j - t = -3 for j.
3
Suppose 5 = t + 3. Let u = 23 - -19. Suppose -2*a = -2*z - 2, -3*a + u = 5*z - 1. Solve a = m + t for m.
4
Let a be ((-2)/(-8))/((-122)/(-8296)). Solve -27 = 26*b - a*b for b.
-3
Let b = 25404 - 25399. Solve 0 = -10*u + 24*u - b*u for u.
0
Suppose 2*v + 4*h - 24 = 0, -13 = -2*v - h - 1. Suppose 5505*i - 5 = 5510*i + 4*u, i - 3*u = 18. Solve i*q - v = -1 for q.
1
Let i(c) = 56*c - 272. Let y be i(5). Solve y + 2 = -2*w for w.
-5
Let k = 26 - 27. Let a be 1 + 1 - (-2 - -1)*k. Suppose 2*n - 5*n - 5*q + a = 0, 3*q + 7 = 2*n. Solve d + 0*d = n for d.
2
Suppose 0 = -21*a + 2348 - 2201. Solve 19 - a = 4*s for s.
3
Suppose 3*g - 5*g - 62 = 0. Let w = g + 16. Let q be -5 + (-132)/w + (-1)/(-5). Solve -q*n + 10 = n for n.
2
Let q(r) = 57 + 14*r + 4*r + 20 - 14*r. Let u be q(-15). Solve 7 = -5*j + u for j.
2
Let t = 22419 - 22267. Solve 139*y - t = 101*y for y.
4
Let m = 448 - 446. Suppose m = -14*z + 2. Solve z = -t + 5 - 1 for t.
4
Suppose 5049*a = 5036*a. Solve 6*i - 22 + 46 = a for i.
-4
Let q = 275 + -271. Suppose -2*g - 4 = q*r + 8, -5*g = 3*r - 5. Solve -2 = g*i + 6 for i.
-2
Let s(w) = w**3 - 37*w**2 + 92*w - 12. Let g be s(35). Solve 768*l - 10 = g*l for l.
1
Suppose -561*p + 597*p - 612 = 0. Solve 0 = -13*f - 48 - p for f.
-5
Let l = -5108 - -5111. Solve -l*k + 24 = 6 for k.
6
Suppose 0 = k - 31 - 230. Let o = -253 + k. Suppose 3*f = 5*j - 21, 5*f = -0*j - 2*j + 27. Solve 0 = 5*u - o*u + j for u.
2
Let y be 39/(-65) - (-56)/10. Let j = 3436 + -3430. Solve -1 = -j*f + y for f.
1
Suppose -47*u = -16*u + 73*u - 5096. Solve -30*k = -u*k - 76 for k.
-4
Let q = 2305 - 2257. Solve -6 + q = 7*n for n.
6
Let s(p) = p**3 + p + 4. Let r be s(0). Suppose r*g + 2*k - 8 = 3*k, 0 = -4*g - k. Solve g = 5*j - 4 for j.
1
Let r(a) = 116*a + 593. Let l be r(-5). Solve -2 = 15*u + l for u.
-1
Let d be (-444)/(-16) + (-4)/(-16). Let r be (0/(-1) - -21) + d/28. Suppose r = 7*t + 8. Solve 3 + t = 5*k for k.
1
Let v = -8961 + 9369. Solve -68*x - v = 34*x for x.
-4
Let r = -3554 + 3567. Solve r*s - 12*s + 2 = 0 for s.
-2
Suppose 7*s = 1184 + 2148. Solve -29 - s = -101*y for y.
5
Let v(r) be the first derivative of 4*r**3/3 - 7*r**2 - 46*r + 173. Let t be v(6). Solve t = b + 11 for b.
3
Let w = -20105 + 20410. Solve -295*s + 60 = -w*s for s.
-6
Let p be -2 + (6/(-15) - (-8)/20). Let q be (-6)/5*5*-1 - p. Suppose -12*w = -q*w. Solve w = -u + 3*u - 2 for u.
1
Let r(s) = s**3 + 15*s**2 + 25*s - 11. Suppose 8 = 3*l - 2*u + 47, 0 = -2*l - 5*u - 26. Let a be r(l). Solve a*q = q for q.
0
Suppose -23*o + 509 = -549. Suppose 2*g = 4*w + 60, -3*g - 3*w + 45 = -2*g. Let r = o - g. Solve -r = 4*s - 2 for s.
-2
Let q(s) = -2*s**3 + 2*s**2 + 2*s + 1. Let z be q(-1). Suppose 0 = -2*a + 3*a - r - 48, -4*r - 146 = -z*a. Let w = 50 - a. Solve 8 = 2*k - w*k for k.
-4
Let s = -544 - -547. Let y(x) = -x**3 - 4*x**2 - x - 2. Let a be y(-4). Suppose -5*i - 2 = -3*q, 0*i + q = a*i. Solve -11 = s*g - i for g.
-3
Let a = 2939 - 2942. Let b(u) = 4 - 2*u - u**2 - u - 2. Let f be b(a). Solve -2*z - f*z = 0 for z.
0
Let h = -25551 + 25609. Solve -211 = -17*d - h for d.
9
Let l be 15/2 - (-9 + 51/6). Let f be 42/(2*3/6). Suppose -2*n + l*n - f = 0. Solve 5*b - n = 13 for b.
4
Suppose -16 = -6*w + 4*w. Let z be (w + -9)/(2/(-4)). Suppose 3*s + z*s = 20. Solve -15 = -7*y + s*y for y.
5
Suppose -180 = -6*z + 4*z. Let h be (-12)/z*3 - 32/(-5). Let v be 25/150 - (-17)/h. Solve -2*d - v = -9 for d.
3
Let v = -17338 - -17344. Solve 3*t = -v*t for t.
0
Let x be (-13 + 5 - -2) + 6. Suppose 873*r - 879*r + 18 = x. Solve r*m = m + 10 for m.
5
Suppose -10*b + 120 = 5*b. Let h(y) = -4*y + 28. Let o be h(b). Let g be (-18)/(-8) - o/(-64)*4. Solve -g*r - 20 = 3*r for r.
-4
Let f = 7 - 6. Let h be 22 + f*(-4 + 5). Let p = 27 - h. Solve 0 = 2*u + 2 + p for u.
-3
Let a(h) = -h**3 + 32*h**2 - h + 33. Let m be a(32). Suppose 0 = 2*v - 3*v + m, 2*v = -4*c + 10. Solve -x = x + c for x.