Which is smaller: u or -6/599?
u
Let i be ((-51)/(-255))/((-10)/8). Suppose 4*u - 8 = -0*u. Let d = 3 - u. Which is smaller: i or d?
i
Let q(b) = -b**2 - 21*b + 26. Let i be q(-22). Let m be i/(-9)*(-7)/(98/(-21)). Is -6 at most as big as m?
True
Let z = -21.7 + 4.1. Let v = 20.4 + z. Is 0.3 >= v?
False
Let o = -177648 + 177513.073. Let v = o - -135. Let y = v - 2.073. Is y <= -5/2?
False
Let f = 34 - 33. Let b be (f/6)/((-7)/1730)*24. Let p = b - -987. Which is smaller: -1 or p?
p
Let s be -1*1*-4*3. Let g = -443 + 438. Let h be -8*(g + (1 - -2))/2. Which is smaller: s or h?
h
Let m = 169 - 164. Suppose 4*g + m*a - 36 = 0, 2*a - 1 - 44 = -5*g. Is g at least as big as 8?
True
Suppose -2*k - k - 2*c = -3088, -5*c = -2*k + 2027. Which is smaller: k or 1027?
k
Let b = -16 + 4. Let k be (-16)/(-96) - (-98)/b. Let j be -9 + (-6)/(k/(-4)). Which is smaller: j or -10?
j
Let u = -11299.003 - -11290. Let s = 348.697 + -348.7. Let z = u - s. Are z and 2 non-equal?
True
Let z be 0 + 2/(-11) - -72*113968/(-3366). Which is greater: z or -2437?
-2437
Let f = -2.715 + 2.915. Are 0.02626 and f equal?
False
Let q(n) = -n**2 - 10*n - 2. Suppose -c - 3*i - 2*i - 13 = 0, 0 = 3*i + 3. Let r be q(c). Let d be (-2)/r + (-234)/(-2520). Is d bigger than 1?
False
Let l = -22 - -22. Suppose -4*g = 3*y - 55, 10 + 57 = 4*g - y. Let n be g/(7 + -11) + (-13)/(-3). Which is smaller: n or l?
l
Suppose 18*x = -25*x + 129. Suppose 54 = x*d - 5*q, -60 = -3*d + 8*q - 5*q. Is d < 20?
False
Let r = -1508/19225 + -6/3845. Let y(u) = u**3 - u**2 - 2*u - 1. Suppose 0 = -3*d + 1 + 5. Let a be y(d). Are a and r nonequal?
True
Let r be 1191*(21/35)/(-2 - -1). Is 0 less than or equal to r?
False
Suppose 121*o - 654035 - 58259 = 693242. Which is smaller: 11614 or o?
11614
Suppose -d = -2*d + 2. Let l = 507 - 791. Let q be 2/l*(d - (-40)/(-12)). Which is smaller: -1 or q?
-1
Let p = -16015 - -15541. Which is smaller: p or 8?
p
Suppose 4*l + 4*a - 20708 = 0, -3*l + 932 = -3*a - 14569. Let m = l + -30965/6. Are m and 11 equal?
False
Let b = -58 + 58.29. Let o = b - 0.27. Which is bigger: o or -0.42?
o
Let b be (-5)/2*(57 - 59). Let c be ((-3)/(-9))/(b/(-3) + 2). Is -104 at most c?
True
Let u = 35465/7 - 5088. Let q = 127994 - 128017. Which is smaller: u or q?
q
Let f be -2*(-18)/1860*125 - (-5)/(-2). Which is smaller: 18 or f?
f
Let s = 8243/36 + -943/4. Is s not equal to 1/4?
True
Let h(f) = -1. Let n(k) = k**2 - 15*k + 9. Let o(r) = -4*h(r) + n(r). Let q be o(6). Let s = 0.35 - 0.45. Are s and q nonequal?
True
Let l be 8/(-64) + (-63813)/(-360). Let w = 177 - l. Is w bigger than 1/3?
False
Let b be (20/(-232))/(-2*(-2)/(-32)). Which is smaller: b or -1/18?
-1/18
Let n = 2/180099 - 433472/6598287063. Is 1 at least n?
True
Let t = 49812 + -1942789/39. Are -4 and t non-equal?
True
Let v = -2.3 + 53.3. Let j = 51.2 - v. Is j at least -28?
True
Let l = -8.1 + 1.2. Suppose 17 = -3*o - m + 15, 3*m = 4*o - 19. Which is smaller: l or o?
l
Suppose -4*w + 15 = -89. Let k = 27 - w. Let t be (6/(-4)*12/(-63))/k. Which is greater: t or 1?
1
Let y be (-1192)/6 + 1/(-3). Suppose 0 = 58*u + 3729 + 12569 - 4756. Does u = y?
True
Let h be ((-840)/25 - -4)*(-5)/2. Let i = h + -73. Which is greater: i or 5/71?
i
Suppose 0 = 781*m - 765*m - 80. Which is smaller: 82 or m?
m
Suppose 12 = 3*z, 4*z - 31 = -5*l - 0*z. Let v(n) = -4 + 13*n**2 + 30 - 33*n - 4*n**3 + 5*n**l + 17*n. Let c be v(-14). Which is greater: 56 or c?
56
Let j(q) = -q**3 + 15*q**2 + 33*q - 271. Let y be j(16). Is y != 84/253?
True
Let c be (-15)/(-10)*(-2)/6. Let h(d) = -d**3 - d**2 - 2*d - 2. Let f be -4 + 3 + -1 + (0 - 0). Let v be h(f). Is c at least as big as v?
False
Let m be 7 - (-476 + 24/(-6)). Let s = -487 + m. Which is smaller: -6/41 or s?
-6/41
Let m = 76/3 + -547/21. Let c be 6/(-7) - 34*15/(-630). Let l = m - c. Which is greater: l or 0?
0
Let m be (-3 + 8)*1/3. Let y = -614 + 466. Let h be y/(-24) + (-6)/1. Is m at most h?
False
Let m(g) = -2*g**3 - 35*g**2 + 59*g + 37. Let y be m(-19). Which is smaller: 2/5147 or y?
y
Let s = 66 - 21. Let a be (-9)/(s/(-20)) - 16. Let u = -8 - a. Which is smaller: 14/3 or u?
u
Suppose -2*w = -1 + 11. Let v(d) = -4*d**3 - 3*d**2 + 5*d - 2. Let n be v(1). Let a = n - w. Is a at most as big as 15/8?
True
Let t be 11886/(-283)*(-3)/(-2). Which is bigger: t or -46?
-46
Let b = 3533 - 3514. Is b at most as big as -13?
False
Let n(j) = -j**2 + 10*j + 1. Let h be n(7). Let u be h/3 + (-6)/(-9). Let b = -184021/4 - -46012. Which is smaller: u or b?
b
Suppose -2*g = -3*r - 191, 4*g + 311 = -5*r - 0*g. Let x = r - -66. Suppose x*m + 6*m + 81 = 0. Which is greater: m or -7?
-7
Let u be (26 - 2/2) + -4 + 3. Let w be (2*68/u + -3)*-48. Which is greater: -129 or w?
w
Let v be 4687/60 + (-25)/5 + (-154)/(-30). Is 78 equal to v?
False
Let k = -3981 + 3974.5. Which is greater: -4/7 or k?
-4/7
Suppose -5*a + 7 - 3 = -q, 3*a - q - 2 = 0. Suppose -4*g + 3 = -a. Let i(u) = 25*u + 1454. Let t be i(-58). Is t at least as big as g?
True
Suppose -5*t = -2*p + 258 - 894, -4*t = -4*p - 1284. Which is bigger: -320 or p?
-320
Let h be (20712/(-10))/(-3) - (-7)/28*-24. Which is greater: h or 683?
h
Let o = -956 - 807. Which is greater: -1761 or o?
-1761
Suppose g + 2*g = 12. Let f = -3681 + 3682. Is g <= f?
False
Let j(g) = -2*g**3 - 60*g**2 - 10*g + 7. Suppose -94 = 2*t + 3*p - 22, 0 = t + 3*p + 42. Let m be j(t). Is 308 bigger than m?
True
Let p = 281/2 - 2335/4. Is -444 smaller than p?
True
Let b be (-259)/(-21) - 17 - -5. Which is smaller: b or -3322?
-3322
Let k = 335 + -316. Let y = 38 + -43.2. Let b = 3.2 + y. Which is smaller: k or b?
b
Let y(j) = 5*j - 106. Let h(x) = -10*x + 213. Let c(s) = 3*h(s) + 5*y(s). Let v be c(11). Is 57 at most v?
False
Let j = 4947 - 5318. Which is smaller: -354 or j?
j
Let d(k) = -k**2 - k. Let m be d(-1). Suppose -11*s + 55 = -m. Suppose 3*f = s*f + 166. Is -84 bigger than f?
False
Let o = 33 - 32.24. Let i = -0.74 + o. Let m = -2.4 - -2.4. Is m less than i?
True
Let g be (-36)/27*51204/(-88). Let f = -776 + g. Let v be ((-1)/2)/(2/4). Is f > v?
True
Let t(s) = 2200*s**2 + 7*s + 15. Let p be t(-2). Which is smaller: 8800 or p?
8800
Let p be -1 - (-3 + (-4)/1 - -1). Let f be ((-38)/1)/(14/(-35)*p). Let c = 1035/2 - 499. Are c and f nonequal?
True
Let u(h) = 5*h + 0 + 4*h - 2 + h**2. Suppose -2*v - 22 = -2*s, s = -27*v + 22*v - 43. Let a be u(v). Which is bigger: -1 or a?
-1
Let w(x) = 3*x + 3. Suppose 0 = -5*k + 4*p + 7 + 8, 4*p + 16 = 4*k. Let d(f) = f + 1. Let s(a) = k*w(a) + 2*d(a). Let u be s(-16). Which is smaller: u or 17?
u
Let c = -4409/19 + 232. Let h = 4664 + -4665. Which is bigger: c or h?
c
Let q be 2*(-7 - (-13 - -5)). Suppose c + 2*v + 23 = 0, -8*c + 4*c - 42 = -q*v. Which is smaller: -87/7 or c?
c
Let b(m) be the second derivative of m**4/6 - 8*m**3/3 - 17*m**2/2 + 7*m - 3. Let y be b(9). Let c be 1520/(-90) - y/9. Which is bigger: c or -18?
c
Let f = 19/259798 - 3834881983/50660610. Let h = 379/5 + f. Which is bigger: -1 or h?
h
Let c(x) = -x**2 + 17*x + 59. Let s be 7 - (-1 - -4) - -16. Let n be c(s). Which is bigger: n or -12?
n
Suppose 3*m = 4*p - 446, -m - 2*p - 143 + 1 = 0. Is -135 equal to m?
False
Let c = 11786.82 + -12177. Let u = c + 387. Let w = u - -3.2. Which is bigger: w or -1/5?
w
Let r(g) = 3*g**2 + 92*g + 260. Let x be r(-3). Let a = 2 - -1. Suppose -k - 9 = -5*i + 6, a*k - 15 = 3*i. Which is bigger: x or k?
x
Let x(i) = -9*i**2 - 174*i + 208. Let u be x(-41). Is -7788 bigger than u?
False
Let r = 37535 + -37537. Which is bigger: 584/17 or r?
584/17
Let i be 520/65 - 5485/685. Let f = -2 - -3. Which is bigger: f or i?
f
Suppose -9560 = -17*g + 9*g. Let x = g + -22713/19. Which is smaller: 0 or x?
x
Suppose 5*v - 67 = -3257. Let g be v/(-7) - (1 - 18/21). Suppose 0 = -4*x - g - 101. Is -49 smaller than x?
True
Suppose 2*q = -0*q + 186. Let m be ((-30)/8)/((-27)/(-36)). Is m at least q?
False
Suppose v + 2 + 0 = 0. Let m be -4 - (-3 - 990) - (0 - 0). Let c = 11855/12 - m. Which is greater: v or c?
c
Let z = -189086823/1579 + 119751. Let p = -194187/7895 - z. Which is greater: -26 or p?
p
Suppose -4*t - 1958 = -82. Which is smaller: t or -470?
-470
Let w = -7567 + 15135/2. Is w smaller than -0.357?
False
Let r = -42404 - -3349982/79. Is r not equal to 1?
Tru