 = w - -13. Which is smaller: -27 or s?
-27
Let u = 17518 + -17519. Which is bigger: -61/85 or u?
-61/85
Suppose -468 = -14*v + 316. Suppose 4*u + v - 52 = 0. Let r be (-760)/(-195) + 4*u. Is r not equal to 0?
True
Let g = -31 - -11. Let z be 0 + -7 + (g - -21). Let r be ((-2)/z)/(1/(-3)). Is -11 greater than or equal to r?
False
Let j(n) = -41 - 21 - n**2 + 43*n - 9*n. Let p be j(32). Which is smaller: p or 15/8?
15/8
Suppose -5*x - 3*r - 1073 = 0, 5*x + 4*r = 3*x - 432. Let i = 217 + x. Which is greater: 2/7 or i?
i
Let q = -146 - -41. Let t be -6 - (8/(-76) - (-1902)/19). Is q not equal to t?
True
Let v = 0.521 + 240.479. Let p = 240.99 - v. Which is smaller: 13 or p?
p
Let x(y) = 2*y**2 + 47*y - 75. Let z be x(-25). Which is bigger: z or 204/313?
204/313
Let o be 1673/(-6)*(301 + -285). Is -4462 > o?
False
Let n = -48 - -36. Let g be (-1560)/(-8)*n/(-9). Let j be g/117 + -2 + 0. Are j and 1 unequal?
True
Let u be (-21 + 19)*14/(-4). Let r be ((-12)/(u - 13))/86. Is -1 less than or equal to r?
True
Let t = -679 - -1496. Suppose 5*n + 2*a = 811, n - a - t = -4*n. Is 162 < n?
True
Let i be (-3*32/(-52))/(6/116). Is 35 not equal to i?
True
Suppose 20*a + 18 = 11*a. Let f be 2 + 7 + 10/a. Suppose 0 = -f*v + 27 - 23. Which is bigger: v or 70?
70
Suppose -b + 15679 = -5*m, m + 6*b + 3141 = b. Is -3137 at most as big as m?
True
Let l = 0.59 - -0.11. Let t(s) = 20*s**2 - 40*s - 2. Let z be t(2). Which is bigger: l or z?
l
Let v = 110 - 63.7. Let t = -49 + v. Which is smaller: t or 0.1?
t
Let d be 52/611*(-2)/(-8). Let o = -87/329 - d. Let v be 3/15*(-11)/22. Which is greater: o or v?
v
Let i be 18/(-99) + 1 + 4616/(-22). Let w = i - -209. Which is greater: w or -18/91?
w
Suppose -25*f = -245 - 30. Let d be (-18)/99 + 13/f. Is d greater than 36/17?
False
Let q = 2321 - 2321. Is 14/1039 at most as big as q?
False
Suppose 5*b = -0 + 15. Suppose -3*y = -7 - 8, -b*u - y + 44 = 0. Let h = 19 - u. Is 2 at least as big as h?
False
Let c(m) = -3*m + 5. Let v be c(1). Suppose -32 = -5*b - 2*k - 11, -b = -v*k + 3. Is b > -28?
True
Let z(h) = h**3 + h**2 + 4*h + 12. Suppose 0 = -20*y + 18*y - 4. Let r be z(y). Let f be (r + 27/(-12))*6/(-27). Which is smaller: f or 16?
f
Let j = -466 + 471. Suppose -j*f - 105 = 5*t, -25 = t + 5*f + 16. Which is bigger: t or -15?
-15
Let o = -3163 - -3164. Which is smaller: o or 44/27?
o
Let f be ((-2)/3)/((-1)/6). Let m be ((-1)/(-3))/((-1)/(-51)*(-2280)/(-480)). Which is greater: m or f?
f
Suppose 2211 + 2119 = -19*z + 1632. Which is smaller: -151 or z?
-151
Let k be (51/(-3 + 0))/1 - (242 + -248). Is k not equal to -88/9?
True
Suppose 22 + 4 = 96*z - 70. Do z and 2/13857 have the same value?
False
Let x = -283 + 543. Let l = -261 + x. Let y be ((-6)/26)/(2 - 1). Is y < l?
False
Let w(s) = -s**3 - 5*s**2 + 6*s + 2. Let y be w(-6). Let o(r) be the second derivative of r**5/20 + r**3/6 - 2*r**2 + 9*r. Let u be o(y). Is u greater than 9?
False
Suppose -31 = -6*o - 19. Let u be (143/33 - 3)/(o/9). Let f = 0.04 - -1.96. Is f <= u?
True
Let j(k) be the second derivative of k**4/4 + 5*k**3/6 - k**2/2 - k + 2. Let o be j(-4). Which is bigger: 2 or o?
o
Let v = -0.6 + 0.558. Let u = 0.04046 + -5.08246. Let f = u - v. Is 2 equal to f?
False
Let n(u) = u + 3. Let i be n(5). Suppose 6*k + i = 14. Is 4 >= k?
True
Let x = 395 + -393. Let t be (x/((-2422)/(-35)))/(-1). Which is smaller: t or -1?
-1
Let w be -2 + ((-27)/4)/(-3). Let m(n) = n**3 + 32*n**2 + 57*n + 37. Let r be m(-30). Suppose r*b = 119*b. Which is smaller: b or w?
b
Let x(r) = 327*r + 981. Let p be x(-3). Is p smaller than 110/243?
True
Let n be (-12)/(-9)*((-60)/(-8))/(-5). Let c(j) = -j**3 - j**2 - 4*j - 3. Let h be c(n). Let d be (-14)/49 - 48*h/(-42). Which is greater: d or 69/7?
d
Let p = -215 - -218. Suppose 0 = -4*c - 0*c - p*o + 47, 0 = o - 5. Is c greater than or equal to 13?
False
Let v = 85.68 + 3.32. Let o = v + -88.28. Is o at most 2?
True
Let p be ((-279)/(-138) - 2)/(270/(-50)*5). Is 0 at least as big as p?
True
Suppose 2*i + 2 = 20. Let c(m) = -m**3 + 15*m**2 - 18*m - 90. Let v be c(13). Which is greater: i or v?
v
Let s = -0.287321 + -201.689079. Let h = s - 0.0236. Which is bigger: h or 1?
1
Let q = -167 - -170. Let f = 2 - q. Is f != -1/51?
True
Suppose -b = 10*g + 141, -15 = g + 507*b - 506*b. Which is smaller: g or 0.0683?
g
Suppose -7*d + 22 = 6*d + 9*d. Is d <= 4/141?
False
Let s(f) = f**3 - 17*f**2 + 16*f - 14. Let d be s(16). Let v be (-28)/d*210/4 + 5. Do 110 and v have the same value?
True
Suppose 0 = 8*d - 29 - 19. Suppose d*r + 2 = 446. Let q = r + -100. Is -25 bigger than q?
True
Suppose 59*c - 60*c = 4*r + 16, -4*c + r - 13 = 0. Which is smaller: -685 or c?
-685
Let d = 30804 - 30804. Let u = -1/228 + -1583/2964. Are u and d equal?
False
Let v = 141 + -193. Let p = v + 51.99. Which is smaller: -0.19 or p?
-0.19
Let n = 5740/736359 + 2/3107. Let l be (-1)/(0 + -2 - -3). Is l greater than n?
False
Let g be ((-16)/(-18))/((-6)/189*-7). Is 248/51 less than g?
False
Suppose 12 - 1 = 5*z + 2*o, -2*z = 3*o. Suppose -4*d - d + 3*k - 520 = 0, z*k - 199 = 2*d. Which is smaller: -106 or d?
d
Let i = 619.683 + -44.713. Let k = -575 + i. Which is smaller: k or -4?
-4
Let z be 6/(-4)*(-16)/(-12). Let y(c) = -c**2 - 7*c - 8. Let k be y(z). Is k < 2?
False
Suppose 0 = -2*l - 4*a - 10, -a = 489 - 486. Which is smaller: l or 142?
l
Let i(w) = 4*w**2 + 5*w. Let b be i(-4). Let l(u) = -9 - 21*u - 9*u**2 - 13 + 31 - u**3 - 13. Let c be l(-7). Is b less than c?
True
Let c(i) be the second derivative of i**3/3 - 21*i**2/2 + 35*i. Let j be 11/1 + 2 + -1. Let v be c(j). Which is greater: v or 6?
6
Let c = 49/104 + -239/728. Which is greater: 5/6 or c?
5/6
Let n = 12 - 229. Let u be (-5205570)/23874 - 3/(-69). Is u bigger than n?
False
Let c be 9*(5 + (-1705)/(-15)). Let z be ((-2)/3)/(8/c). Is -91 at most z?
True
Let w be (17 - 1)*(-3)/12 + 3. Suppose 0 = 5*l + 5*r + 415, -5*l + 19 = 2*r + 431. Are l and w equal?
False
Let f = -33720/7 + 13319519/2765. Is 1 bigger than f?
True
Let c = -6.9 + -1.3. Let x = -342 - -343.8. Let v = x - c. Is v less than -1?
False
Suppose 0 = -r - i - 174, 3*r - 2*i = -3*i - 530. Which is greater: r or -172?
-172
Suppose l - 3*y = -3*l + 22, 2 = -y. Let o be ((-1)/(-40))/(2/l). Let f = -1491 + 1490. Which is bigger: f or o?
o
Let c(r) = 6*r**2 - 3*r + 21. Let n(g) = -2*g**2. Let k(m) = -c(m) - 2*n(m). Let x be k(0). Is x <= -24?
False
Suppose 6*a = 10*a - 4, 3*c + 3*a = 12. Suppose -g - 2*u = -12, 3*g + c*u + 9 - 30 = 0. Which is smaller: 47 or g?
g
Let v be (158 - 155) + 20/(-2) + 12/2. Do v and -38/51 have the same value?
False
Let r be (-20 - -22)*(77/14 - 6). Does r = -13/939?
False
Suppose 2*x = 4 + 2. Let o be (x/(-7))/(-5 - (-136)/28). Let k be 11 - ((-1)/o - 169/(-39)). Which is smaller: k or 4?
4
Let i be (-2 - 0) + (-9)/1. Suppose -5*r = -4*p + 97, -4*r = 2*p - 105 + 37. Suppose -c = -4*x - 42, 7*x - 4*x + p = -c. Is x at most i?
False
Let r = -68.1 + 61. Let d = r + 7. Let z be (20/32)/(135/12). Is d <= z?
True
Suppose 3*k + 288 = -3*g, 3*g + k = -82 - 204. Which is greater: g or -106?
g
Let x(b) = -8*b - 76. Let i be x(-12). Suppose 89*m - 85*m + i = 0. Suppose 0 = -0*h - 4*h - 16. Is h >= m?
True
Let w be (-3)/((-694278)/(-1388544)) - -4 - (-18)/9. Which is bigger: w or -1?
w
Suppose 6 = 2*z + z. Suppose 5*c - 299 = z*d, 0 = c - 3*c + 2*d + 122. Is c < 58?
False
Let c = 7 + -22. Let r = 14.88 + c. Let a = r + 0.11. Which is greater: a or -0.2?
a
Let u = 0.086 - 42.086. Let z = -39.5 - u. Which is smaller: -1 or z?
-1
Suppose 774 - 689 = -2*m - 3*t, -2*t - 182 = 4*m. Which is greater: -19 or m?
-19
Suppose g + 4*g = 5*k + 45, g = 3*k + 17. Suppose -g*o = -11*o + 60. Suppose y + o = 6*y. Does y = 1?
False
Let q be (0 - 1)*(-48)/(-208). Let c(a) = -8*a - 7. Let y be c(-7). Let b = y - 50. Do q and b have the same value?
False
Let s be 5 + -263 + (-3 - -7). Is s smaller than -254?
False
Let r = 5.45 + -2.92. Let v = -0.47 - r. Is v less than 5.1?
True
Suppose 0 = -b + 4, 10 = 371*k - 373*k - b. Let v be (1 + (-3)/2)*0. Is v > k?
True
Let u(z) = 2*z**2 - 5*z - 2. Let q be u(3). Let t be q*54 + ((-12)/(-2) - 10). Suppose 0*b = -b + 50. Are t and b equal?
True
Suppose 7*w = 9*w - 10. Let q be w - 4 - (3 + -3). Let a = 13983/32 - 4