 -31*y - 4290 = -2*b - 25*y. Which is smaller: b or 2144?
2144
Let q = 12.68 + -6.22. Let m = q - 7.46. Suppose -5*b - 113 = t, -3*t = -0*t - 3*b + 357. Which is smaller: t or m?
t
Let s = -125.54 - -126. Let a = -0.3 - -0.1. Let v = a + s. Is -0.1 at most as big as v?
True
Suppose 26*g - 385 + 2335 = 0. Is -5 at most g?
False
Let p = 109.899 - 110. Suppose 0 = 4*z - 2*z - z. Is p > z?
False
Let l(o) = -o**3 + 8*o**2 + 15*o - 54. Let s be l(8). Suppose 20 = -s*b + 46*b. Which is bigger: 1/73 or b?
1/73
Let r = 215 + -2371/11. Let i = -15 + 25. Let l be 10/i*(0 - 0). Which is smaller: r or l?
r
Let k = 124549 - 80832273/649. Which is smaller: 0 or k?
0
Let d = -1409.99 + 1410. Is -12/13 >= d?
False
Suppose 0 = 2*g - 4, 4*i - 30 = g - 2*g. Let y(a) be the second derivative of 40*a**3/3 - 309*a**2/2 - 2*a - 212. Let d be y(4). Which is bigger: d or i?
d
Suppose 6*m - 8*m - 1708 = 4*x, 3*x - 2553 = 3*m. Let y be (-4 - -7)/(-12)*32/m. Which is smaller: y or -1?
-1
Let s(o) = -o**2 - 37*o - 39 - 4*o**2 + 5*o**2 - o**2 + 0*o**2. Let k be s(-30). Is k < 171?
False
Let q = 471 - 478.9. Which is greater: 1 or q?
1
Let z be (3/(-63)*-23)/(36 - 37). Is z smaller than -2?
False
Suppose 2*q - 3*g - 1 = 12, -2*q = 2*g - 8. Suppose u = -q*s - 103, 3*u - 4*s + 351 = 23. Are -108 and u equal?
True
Suppose l + 2 = 4*m, 4*m - 5*m + 9 = 4*l. Let w be (-141)/188 - 31/(-4) - m. Which is bigger: w or 0.053?
w
Let b(o) = o**3 - 9*o**2 + 100*o - 982. Let y be b(10). Is y greater than 596/5?
False
Let m = 1166717/243180 + -1889/386. Let i = 1/90 - m. Is -1 at least as big as i?
False
Let o = 85.6 - 35.2. Let c = o - -9.4. Let i = c + -59. Is i less than or equal to -0.4?
False
Let y = 85013/8 - 10621. Let u(c) = -c**3 - 5*c**2 - 3*c + 2. Let m be u(-4). Let z be (-14)/m*(4 + -3). Is y > z?
False
Suppose -5*c = x - 27, 3*c + 5 = 5*x + 10. Let l be (1/x)/(2/(-80)). Is l greater than or equal to -20?
True
Let t(f) = 13 + 4 + 5*f - 2 + 7. Let z be t(-4). Is z greater than or equal to 16/21?
True
Let m be 44 - (-6 - -6 - -7). Let q = -2.0313 + 0.0313. Which is bigger: q or m?
m
Suppose -5*v - 12*c + 54 = -8*v, 0 = -v - 5*c + 36. Which is greater: v or 13.9?
13.9
Suppose i + 0*i = 4*h - 55, 5*i = 2*h - 23. Let x = 3001 + -2986. Which is greater: x or h?
x
Suppose 0 = 5*o + f - 519, 0*o = -5*o + 2*f + 507. Suppose 0 = 2*i - 4*u + 7*u - o, -i + 3*u = -56. Suppose 5*w - 22 = i. Are w and 15 unequal?
False
Let l = -977/60 - -248/15. Suppose -5*g + p + p = 26, 2*g + 8 = 2*p. Let x be (1/g)/(24/(-32)). Are l and x equal?
False
Let v = 0 - 5. Suppose -43*c + 125*c - 56*c + 104 = 0. Which is greater: v or c?
c
Let u = -12 - -20. Let m(p) = -p**2 + 8*p + 5. Let w be m(u). Suppose -i + 44 = 4*y - 52, -w*y + 5*i = -120. Is y less than 21?
False
Suppose d - z - 4*z - 12 = 0, -36 = -3*d - 3*z. Suppose -u + 3*v - 7 = -2*v, -5*u + 2*v - d = 0. Is -19/16 bigger than u?
True
Let o be 7682/2760 - (-1)/(-4). Let r be (1 - 0) + 4111/(-1155). Let c = o + r. Which is bigger: c or -1?
c
Let h be 3208/(-60) + (-8)/(-12). Let c = -713/10 - h. Let a(p) = -2*p - 82. Let l be a(-32). Are c and l nonequal?
True
Let x be (-12)/(36/(-15)) - (-624)/(-159). Is x > 0?
True
Let a = -2064 - -2360. Which is greater: 288 or a?
a
Suppose -s - 9 + 3 = 0. Let l be (-10)/12 - s/4. Let n be (-1 - 260/(-435)) + 3/9*1. Is l greater than n?
True
Let a = 80 + -87. Let u(x) = -4*x**2 - 16*x - 5. Let h be u(a). Let p = h + 80. Which is greater: -8 or p?
-8
Let w = -2911805/15940278 + 16/62757. Let k = w - -2/127. Suppose 0 = 4*x - 1 + 5. Which is smaller: k or x?
x
Suppose -19*q + 14*q - 3*k = 635, -4*q = 2*k + 506. Which is smaller: q or 0.1?
q
Suppose 0*p + 3*p - 15 = 0. Suppose p*r - 7 + 12 = 0. Suppose -5 = -m - 2*t, 0*m - 3*t = m - 7. Which is greater: m or r?
m
Let r be (-5296912)/344 + -1 + (12 - -1). Is -15386 less than r?
False
Let r = 225 + -157. Let h = 70.3 - r. Which is bigger: -2 or h?
h
Let w = -44.06 - -37.06. Which is bigger: -29 or w?
w
Let f be (-5 - -1)*(55/10 - -2). Let r be 10 + (-44)/10 + f/(-75). Which is smaller: r or -4?
-4
Let r = -1.3 - -0.3. Let o be (-4 + (-5749)/(-9))/((-10)/6). Let j = -381 - o. Is r at most as big as j?
True
Let w(a) = a**2 - 13*a + 30. Let r be (-2)/(-3) - 308/(-33). Let x be w(r). Which is bigger: 3/20 or x?
3/20
Let x(s) = s**3 + 45*s**2 + 3*s + 132. Let z be x(-45). Let h be 6 - (2190/245 + z). Let w(q) = q**3 - q**2 - q - 1. Let p be w(2). Which is bigger: p or h?
p
Let c be -2*14/4*-1. Let x be 183*(1 + (-14)/(-21)). Let s = 312 - x. Is c less than s?
False
Let d = -1 + 3. Let z = -121 - 112. Let r = 1168/5 + z. Which is bigger: d or r?
d
Let b = 183265 + -183263. Let f be (-4)/(-10) + 1 + 1. Is f > b?
True
Suppose 86579 = 35*b + 24874. Is 1763 < b?
False
Let z(l) = -l**3 + 4*l**2 - 4. Suppose -2*c + v = -7, -3*c - v + 7 = -1. Let g be z(c). Is 3 smaller than g?
True
Let i(z) = -14*z + 93. Let t be i(9). Let s be 3 + 123/(-3) + 3. Are s and t unequal?
True
Let r = 81.52 - 0.52. Let n = 124 - r. Let q = 42.7 - n. Is -5 at most q?
True
Let u = 14650 + -14561. Which is smaller: 0.065 or u?
0.065
Let x = -312.53 + 311. Let p = -1.54 - x. Is p greater than 0.7?
False
Suppose -3*r - 5*v = 455, 0 = 5*r - 79*v + 74*v + 825. Is -155 greater than r?
True
Let j be ((-4)/14)/(5 + (-5080)/1015). Suppose -c + 377 = x - 5*c, -x + 2*c + 385 = 0. Suppose 0 = -17*b + 593 + x. Is j at most as big as b?
True
Let l be (195/(-130))/(1/2). Let q be ((-140)/(-105))/(4/l). Is q bigger than 6/17?
False
Let x = 15709/16789920 + 1/12768. Which is smaller: x or -1?
-1
Let w(u) = 40*u + 551. Let j be w(-14). Let b be (-660)/(-18) + j/(-27). Suppose -2*m + 3*c + 4 + 4 = 0, 3*c + 6 = 0. Is b equal to m?
False
Let y(a) = -a**2 - 6*a + 26. Let t be y(3). Let i = -22/23 - t. Which is greater: i or 0?
i
Suppose -20 = 10*s - 14*s - 5*v, 3*v - 12 = 0. Suppose 4*g - 6*j + 4*j = 286, s = 3*j - 9. Suppose g = -2*f + f. Is f > -73?
False
Suppose -4*z = 7*z + 2*z. Suppose z*m + 2*m - 739 = x, 5*m - 3*x - 1848 = 0. Which is smaller: m or 370?
m
Suppose -3*u + 9 = 0, 160 = 20*l - 22*l - 4*u. Which is greater: l or 1.3?
1.3
Suppose -2*h - 7 = 1, 0 = -5*o - h + 96. Let f = -1639 - -1056. Let t = f - -601. Does t = o?
False
Let s = -38 - -41.14. Let x = s + -3.094. Which is smaller: x or 0.4?
x
Suppose 0 = 4*w + 4, -2*w + 146 = 4*i - 4*w. Let g be (-2)/(-4)*i/1827. Let u = g - -85/203. Which is bigger: -0.3 or u?
u
Let j = 2704 - 2771. Is j less than or equal to -86?
False
Let x = 0.08123 - -2.91877. Which is greater: x or -25/8?
x
Let f = -55373/30 + 1846. Let y = -4/15 - f. Let p = -2493/2 + 4987/4. Which is bigger: y or p?
p
Suppose 19 = -19*g - 38. Let m be (-112)/(-960) + (g - -4)/(-4). Which is smaller: m or -0.09?
m
Let z(f) = f**2 + 4*f - 44. Let i be z(5). Which is smaller: i or 12/127?
12/127
Let x = 13.63 + -711.93. Let z = x + 698. Which is smaller: z or 9?
z
Let t be (13 + -16)/(27/9). Does 26/171 = t?
False
Let i = 417393722/217 - 1923469. Let t = 77/31 + i. Is t >= 6?
True
Let h be (-111136)/192 + 4 + 100/(-24). Is h at least as big as -1157/2?
False
Let n = 151 + -360. Let m = 209 + n. Is m at least 0.1?
False
Suppose v - 4*n + 3 = 4, -4*v - 96 = 4*n. Do v and 31 have different values?
True
Let c be (-360)/240*2/31. Let t(b) = -b**3 - 17*b**2 - 16*b + 1. Let q be t(-16). Do q and c have different values?
True
Let x be 2/(-17) + 384/(-204) + 1. Which is bigger: x or 22/351?
22/351
Suppose p = 4*a + 3 - 15, 12 = 4*p - a. Let h(f) = -f**3 - 21*f**2 - f - 20. Let o be h(-21). Is o smaller than p?
True
Let v = -1369.8 + 1366.8. Are v and -2.589 unequal?
True
Let l = -2.409 + 2.309. Is l at least -827?
True
Suppose w + x + 0*x - 4247953 = 0, 0 = -2*w + 4*x + 8495900. Let c = 46758542/11 - w. Let b = -2822 + c. Are b and 4 nonequal?
True
Let k be ((-2526)/(-15))/(-15 + 1001/65). Which is bigger: k or 385?
k
Let v be -2 - ((-216)/301 - 1). Let b = -120695/43 + 2807. Let j = v + b. Is 0 at most j?
False
Let a(p) = -380*p - 3662. Let l be a(-10). Are l and 139 nonequal?
True
Let d be (-59)/118 + (-238)/(-300). Let t = d - 24/25. Is -238 > t?
False
Let g = 47.85 - 46.85. Which is smaller: 135.5 or g?
g
Let o be (-12)/48 + -1 + 6723/12. Let p = 530 - o. Which is bigger: -30 or p?
p
Let h = -10680 - -6078. I