hich is bigger: 1/316 or g?
g
Let l(j) = 12*j - 14. Let w be l(5). Let v = w - -67. Is 113 less than v?
False
Let l = 99051 - 99017. Let i be 4/10 + 346/10. Is l at least as big as i?
False
Let n(w) = 40 + 8*w - 19 + 37. Let s be n(-6). Let f = 955/84 + -34/21. Which is smaller: s or f?
f
Let i = 7875821/9 + -876799. Which is bigger: i or -1707?
-1707
Let d = 845/227 - 6554211/1760839. Which is smaller: d or 1?
d
Let k(i) = -i**3 + 3*i**2 + 4*i + 4. Let p be k(-3). Suppose 16*g - 19*g = -144. Let z = p - g. Does -4 = z?
False
Let o = 119.255 + -0.255. Let x = 122 - o. Which is greater: 37 or x?
37
Let u = 1770 - 1914. Which is bigger: -145 or u?
u
Suppose -581*w = -560*w - 60099 + 16272. Which is smaller: -0.2 or w?
-0.2
Suppose 9 - 129 = -5*n. Suppose 0*q - 3*q + 2*g = -2, -q - 4*g = -n. Suppose 4 = 4*h, 6*w - w + q*h = 79. Is w bigger than 14?
True
Let p = -714.21 + 714.2. Let d be (-2 + 6)*43/4. Which is smaller: d or p?
p
Let n = -53.9 + 67. Let w = -160 - -147. Let s = n + w. Is 10/3 smaller than s?
False
Let j be (-2)/1 + (-1575)/3. Let m = -341 - j. Which is smaller: 185 or m?
185
Let t = -5188 - -5189. Which is smaller: -2/27785 or t?
-2/27785
Let k = -319.32 + -12.18. Let a = -332 - k. Let l = -2 - 0. Is a less than l?
False
Let r = -884 - -881. Does r = 360?
False
Let s = 5692 - 5691.1. Which is greater: -7 or s?
s
Suppose w - 5232 = 10*w + 7764. Which is bigger: w or -1446?
w
Let h be 6/(-15) + (-5085)/(-25). Suppose -k - 6*k = h. Let x be (-198)/7 + (-8)/(-28). Which is greater: x or k?
x
Let a be -5 + 2 + 7 - 0. Let w = 106 + -101. Suppose -w*k + 6*m + 5 = m, a*m = k - 10. Which is smaller: k or -7/9?
k
Suppose 92631 + 106269 = -3060*z. Let p = -15 + -48. Is z < p?
True
Let t = 8902 + -8505.8. Which is smaller: -1/2 or t?
-1/2
Let z(h) = 60*h + 7188. Let o be z(-108). Are o and 706 equal?
False
Let q be (-2)/7 - (7 - (-158)/(-14)). Suppose 0 = -4*t + 2*c + 238, -q*t - 5*c + 250 = -3*c. Which is smaller: 1/3 or t?
1/3
Let r = 15656 + -14951479/955. Are 0 and r nonequal?
True
Let q be -265*23/(-230)*-18. Is q at most -463?
True
Suppose -108 = -6*j - 162. Let y be 0 - 0 - (-3 - (2 + j)). Is y != 0?
True
Let i = 10/11 + -151/154. Suppose -15*d = -16*d - 187. Let q = d + 188. Which is greater: q or i?
q
Suppose 102*n - 2165 = 3853. Is 2184/37 greater than or equal to n?
True
Let b = 28821 + -33229. Is b at least as big as -1?
False
Suppose 14*u - 7*u + 252 = 0. Let a be 62/310*3/(u/10). Which is bigger: 6/41 or a?
6/41
Let l be (-24 - -2)/(4*1/(-10)). Let q be ((-5)/150)/(1 + (-49)/l). Is 0 at most q?
False
Let l(h) = h**3 + 16*h**2 + 61*h - 13. Let y be l(-7). Which is smaller: -11/53 or y?
-11/53
Let r = 0.1133 - 16.1133. Which is bigger: r or 0.2?
0.2
Suppose -4*c + 988 = 4*l, -2*l - c + 60 = -431. Let o = l - 246. Let f = -26 - -132/5. Which is greater: f or o?
f
Suppose -2*z - 143 = 2*d - d, 4*d = -4*z - 288. Let i = z + 77. Let j be (2/(-8) + i/(-8))*1. Is j < 1/8?
True
Let l = 184 + -222. Let y = l + -4. Is -380/9 <= y?
True
Let s = -13625 - -13660. Which is greater: s or -54?
s
Let t be ((-21)/9 + 3)/((-24)/(-29268)*3). Which is bigger: t or 3521/13?
t
Let q be (-1 - -5) + 7 + -15. Let i be q/(-24) - (-3 - (-19)/6). Let f be 18/(-150)*(-2)/(-3). Which is smaller: f or i?
f
Suppose -4 - 29 = -x. Is x > 25?
True
Let g = -79996 + 159987/2. Let b be (-1)/(-1)*3*-1. Which is bigger: b or g?
g
Let q be 6/2*(-20)/12. Suppose 0*t + 136 = -2*t. Let c be t/18 - (-2)/(-9). Is c > q?
True
Let q be 1490/14 - 2*5/(-35). Does q = 107?
False
Suppose -4*j - 3*s + 96 = 0, 10*j = 7*j + 4*s + 47. Let p(c) = -2*c + 6. Let g be p(-9). Which is smaller: j or g?
j
Let k be (-40)/(-4) + -3 - 7. Which is greater: -10/429 or k?
k
Let h(i) = -8*i - 4*i + 3 + 15*i + 19 + 4*i**2 + 3*i**2 + i**3. Let d = 0 - 7. Let l be h(d). Which is greater: -2/349 or l?
l
Let q = 0.051 - -102.949. Let i = 86.83 - -0.17. Let g = i - q. Is 2/7 <= g?
False
Let r be 2/(-6) - 26/(-54). Let c = 4365 - 4364. Which is bigger: r or c?
c
Let n(h) = 921 - 541 + 5*h - 12*h - 13*h. Let d be n(19). Is d less than or equal to -4/49?
False
Let h(s) = s**3 - s**2 + 8*s - 36. Let a be h(4). Is a less than 30?
False
Let l = -2.786 - -1.786. Let v = 133 + -195. Which is smaller: v or l?
v
Suppose -6*p = -12 - 0. Suppose 4*l = -4*n + p*n + 34, 0 = n + 3*l - 19. Suppose -n + 6 = -o. Is 6 less than o?
True
Suppose -5*l + 18*l + 2*l = 195. Suppose -5*f + 4*f + 7 = 0. Is f < l?
True
Let h(o) = 2*o**2 + 2*o + 2. Let l be h(0). Suppose 0 = -2*v + l, -24 = -5*b - 5*v + 26. Let i be b/(-8)*(-28)/(-21). Are i and 0 unequal?
True
Let y be (-60)/(-216)*162/9. Is 0.8 at least y?
False
Let m(w) = -w**3 + 3*w**2 + 6*w - 1. Let v be ((0 - 1) + 0)*-4. Let o be m(v). Let f be 920/46*(-1)/(-2). Which is smaller: o or f?
o
Let t = -28/445 - 638/4005. Let w = -143 + 15. Which is greater: w or t?
t
Let s be 0/(-1)*2/((-6)/1). Is 7/946 not equal to s?
True
Suppose 0 = -15*o + 480*o. Which is smaller: 74/371 or o?
o
Suppose 102*a - 89*a = -143. Which is greater: a or 172?
172
Suppose -45 = 5*d - 25. Let m be (-18)/4*d/6. Which is smaller: m or 30?
m
Let n(y) be the first derivative of y**4/4 - 2*y**3 - 7*y**2/2 + 4*y - 21. Let a be n(7). Let s(r) = -4*r - 3. Let o be s(a). Is o less than -0.1?
True
Let b be ((-24)/(-17 - -5))/(-13583). Is b >= 1?
False
Suppose 89*p = 85*p - 5*t - 8, 3*p + 5*t + 16 = 0. Let h be 12/(-30) + (-64)/(-110). Is p less than or equal to h?
False
Let k be (9175/50)/(234/32). Let r = k + -398/39. Which is bigger: 15 or r?
15
Let j = 2997077/5930 + -11/1186. Which is bigger: 506 or j?
506
Suppose -22*b + 2454 + 2034 = 0. Suppose -2 = b*o - 202*o. Which is bigger: 4/195 or o?
4/195
Suppose 0 = -31*t + 307 + 127. Which is smaller: 0 or t?
0
Let g(i) = -2*i + 24. Let k be g(15). Let y be (-1740)/(-70)*(-1)/3 - k. Suppose 2*x = 5*x + 9. Which is greater: y or x?
y
Let s = 0.88 - 0.83. Let h = 105.9 - 106. Is h < s?
True
Let o be ((-98)/28 - -3)/((-4)/(-9624)). Which is smaller: o or -1204?
-1204
Let k(h) = -h**3 + 65*h**2 + 66*h - 32. Let b be k(66). Are b and -45 equal?
False
Suppose 9*r - 14*r = -d - 4, -3*r + 3*d = 0. Let y be ((-7)/15)/(4*(-4)/(-10)). Which is smaller: y or r?
y
Let j(m) = 82*m - 10*m - 36*m - 1. Let c be j(-5). Let l be c*3/(-183) + 3/(-1). Which is greater: -1 or l?
l
Let f = 316 + -315.79. Is -6/7 at least f?
False
Let h = 16076 - 16085. Which is smaller: -99/20 or h?
h
Suppose 12*c + 27*c = -5*c. Suppose 12*q - 2*q = c. Which is bigger: -12/17 or q?
q
Let v be (42/(-63))/((-12)/18). Is v bigger than 3/8648?
True
Let v = 385 + -664. Let j = v + 278.9. Which is smaller: j or -12/5?
-12/5
Suppose -20*o = -19*o - 3, 3*p - o - 6 = 0. Let c(g) = g + 10. Let k = -18 + 11. Let d be c(k). Is p smaller than d?
False
Let j = -61 - -443. Let s = j + 6. Which is bigger: 0.1 or s?
s
Suppose -4 = 5*k - 24, 0 = 4*m + k + 100. Let t be -3 - (-2*(-4)/8 - -22). Let y = t - m. Is y less than or equal to 2/95?
True
Let s = -206 + 210. Let i be (s/(-15))/(10/105). Is -2 at most as big as i?
False
Let f be 9 - -3*(-4 - -10). Is 192/7 smaller than f?
False
Let l = -122 - -113. Suppose 85 = -14*u - 27. Do l and u have different values?
True
Let u = -1048 + 1048. Which is greater: u or -38/61?
u
Let t = -294 + -10. Let p = -311.14 - t. Let s = 0.14 + p. Is 1/2 <= s?
False
Suppose m - 400 = 5*t + 2*m, -t - 91 = -2*m. Let f be 27/t + (-2)/3. Which is smaller: 2/691 or f?
f
Suppose -x - x = 2*m - 3248, -9*x + 14596 = 5*m. Is 1617 >= x?
False
Let t be 8/(896/74) + (-4)/14. Let v(z) = -z**3 - 5*z**2 - 7. Let s be v(-5). Let p(k) = k**3 + 6*k**2 - 8*k - 6. Let y be p(s). Is y smaller than t?
False
Suppose 0 = 14*c - 0*c. Suppose 17*o - 19*o = -2*g + 8, -16 = 4*o. Let s be (g + -1 + 0)/(546/(-14)). Which is bigger: c or s?
s
Let z be (44/(-55))/(1142/(-1140) - -1). Does 454 = z?
False
Let i = 157543/2 - 76650. Is i bigger than 2122?
False
Suppose 1404 = -3*t + q, 0 = -74*t + 74*t - 2*q. Which is greater: -465 or t?
-465
Let a be ((24/(-2))/(22 + -20) + 14)*-1293. Which is smaller: a or -10343?
a
Let i(y) = y**3 + 87*y**2 + 318*y + 556. Let l be i(-83). Which is smaller: 1728 or l?
l
Let p be ((-2)/46)/(2/(-4)). Let k = -92785 + 92787. Which is greater: k or p?
k
Let u = 96 - 59. Let o = u - 37. Let 