7/1147. Which is bigger: t or u?
t
Let c be 8 + -6 - (0 - 0 - 20). Suppose -3*d - 34 + 7 = -o, 25 = o - 2*d. Is c equal to o?
False
Let d = 22515 - 22664. Which is smaller: -2808/19 or d?
d
Suppose -13 = -3*g - 7. Suppose 3*p - 2*c + 2 = 5*p, 0 = -g*p + 5*c + 16. Suppose 4*k = -3*t + 45, 4*t = k + p - 0. Which is smaller: k or -2?
-2
Let f = -39088/149 + 42343528/161069. Let x = -2/23 + f. Is x >= 1?
False
Let y = 17488 - 17489. Let w = -0.029 - -0.086. Which is smaller: y or w?
y
Suppose 4*u = 2*k + 7*u + 3040, 4*k = -4*u - 6080. Let l = -57757/38 - k. Is l less than 1/3?
True
Let w = 12417 - 12423. Which is smaller: w or -466?
-466
Let b(w) = -2*w**3 - 23*w**2 - 11*w - 1. Let d be b(-11). Let t be -10 - -3 - (d - -4). Is t > -10?
False
Let d = 41 - 28.5. Let s = d + -6.5. Let t = s + -18. Is t equal to 2?
False
Suppose 1563*r - 1561*r = -5*s - 467, 0 = -3*r - 4*s - 697. Is r at most -228?
True
Let z = 39597 + -39596. Which is smaller: 2000/13 or z?
z
Let f be ((-441)/36 - -13)/(84663/28212 + -3). Are f and 784 equal?
False
Suppose 2*g = -g - 18. Let f(x) = -26*x - 88. Let o be f(g). Is o greater than 67?
True
Let h = -95.949 - 0.051. Let d = h - -37. Let r = d + 56.9. Which is greater: 1/2 or r?
1/2
Let j = -37.5353 + 37.47. Does -2 = j?
False
Let u(n) = n - 21. Let y be 1 + -1 + (4 - (5 - 4)). Let a be -26*y*(-3)/18. Let c be u(a). Which is bigger: 0 or c?
0
Let l = 12 - -6. Let i = 692.1 + -691.1. Is i at least l?
False
Let p be ((-276)/15)/(6/45). Let r be (8 - (-5 - -18) - -2)*(-1 - -47). Does r = p?
True
Let m = 57 + -57.09. Let n = 2271.09 - 2260. Let o = m + n. Which is greater: o or 1?
o
Suppose 15398 = 305*m + 52706 + 61817. Do -322 and m have the same value?
False
Suppose 80 = -81*l + l. Is 2/889 less than l?
False
Let x = 387249/20792 + 1/10396. Do 18 and x have different values?
True
Let a = -157878/5 + 31726. Which is bigger: 151 or a?
151
Let q(w) = w**2 + 30*w - 1021. Let o be q(-50). Which is bigger: o or -8?
-8
Let c = -0.008 + -8.392. Let j = 48963 - 48962.9. Are j and c non-equal?
True
Suppose -2*r = -2 - 0. Let i = -764 - -995. Let l be (-38)/(-133) - (-18)/i. Is l smaller than r?
True
Let a(g) = -19*g**2 - 11*g**3 - 18*g**2 - 10*g**3 - g + 35*g**2. Let u be a(-1). Let w be ((-24)/u)/(16/(-30)). Are w and 3 unequal?
True
Suppose -187 = 4*z - 2*u + 539, 0 = 4*z - 5*u + 729. Let m = 167 + z. Suppose 0 = -2*r + 10, 0 = -4*n + n + r - 38. Which is smaller: m or n?
m
Let p = 43312 - 32368. Which is bigger: 10942 or p?
p
Let x = -104.79 - -104.79. Is x greater than -43?
True
Suppose 3*h + 5*r - 49 = 0, -r = -33*h + 35*h - 42. Let n be (-10)/(-14) + (h - 24). Let o = -248 - -2230/9. Which is bigger: n or o?
o
Let k(b) = 11*b**2 + 31*b + 88. Let q be k(-9). Let j be ((-6)/32)/(q/(-80)). Is j < 0?
False
Let n be 35/(-10)*(-40)/70. Let z = -220350/23 - -9582. Which is greater: z or n?
n
Let m be -6*((-4)/(-18))/(32/(-408)). Suppose -8*u + m*u = -27. Let d be (4 - 0/(-2))/6. Which is smaller: d or u?
u
Let j = 1.79 - -0.21. Let s be (-1*(-6)/(-38))/1. Let b = s + 31/76. Is j less than b?
False
Let z = -21.486 + 20.486. Let y = 7 + -8.2. Does y = z?
False
Let c(k) = -k**3 + 7*k**2 - 4*k + 8. Suppose 4*t - 76 = -3*w, 5*w - 34 = 4*w + 3*t. Suppose w = 13*h - 9*h. Let o be c(h). Which is greater: o or -19?
-19
Let w = 172 + -171. Let l be (4/(-104))/(w + (-27)/6). Which is smaller: l or -0.2?
-0.2
Suppose -4*z - 66 - 74 = 0. Let t = 41 + z. Let w = -6 + t. Is -4/9 < w?
True
Suppose 0 = -18*y + 8*y - 200. Let v be 5 - (y/(-90) - (-64)/(-45)). Suppose 2*r - 9 = 5*b, -3*b + 2 = -1. Which is smaller: v or r?
v
Suppose 553*u - 78144 = 25*u. Is u less than or equal to 60?
False
Let a = -500461/5748057 - 1/12523. Which is smaller: -1 or a?
-1
Let m = -8/293 + -14911/1172. Let h(u) = u**3 - 17*u**2 + 30*u - 13. Let n be h(15). Is n bigger than m?
False
Suppose -x = 4 - 29. Let l(h) = -h + 10. Suppose 5*m - m + 56 = 0. Let f be l(m). Is f less than or equal to x?
True
Let m = 5392088/2805 - 28844/15. Is m greater than -1?
True
Let a = 16.93 - 17. Let s = 26 + -25.84. Let r = -1.84 - s. Which is smaller: r or a?
r
Suppose 0*a - 7 = -3*a + 5*z, 4*a = -4*z + 20. Let j(g) = -g**2 - 2*g - 1. Let d be j(a). Let c be (-6)/10 - (-90)/d. Is -3 at most as big as c?
False
Suppose -5*m - 4 - 14 = -3*z, -3*m = 4*z + 5. Let n be ((-15)/(-20))/(z/4). Is n greater than or equal to 10?
False
Let m = 1.02 + -0.82. Suppose 3*f + 5*k = 5*f - 9, -5*k = -3*f + 16. Let j = -16 + f. Is j equal to m?
False
Let w = -23.3 - 30.7. Let n = w + 53.98. Suppose 3 = 3*c - 21. Which is smaller: n or c?
n
Let n be 38/(-20) - 6/18*-6. Let w = 23/30 - n. Is -4 > w?
False
Let u = 7217 - 11167. Let p be (1 - ((-389074)/788 - -1))*8. Let x = u + p. Which is greater: 0 or x?
0
Let w = 571 + -464. Suppose 21*s = -124 - w. Which is smaller: -14 or s?
-14
Let o = -556.2725 + 0.2725. Is 0.3 equal to o?
False
Let l = -17.66 + 12.2. Let j = l + 3.46. Which is smaller: j or -9/7?
j
Suppose 0*k = -4*f + 5*k + 18, 0 = k - 2. Let j be ((-476)/136)/(f/(-2)). Let d = -59099/131420 + -2/6571. Which is smaller: j or d?
d
Suppose -62*q + 147 = -1589. Which is smaller: -8 or q?
-8
Let y be ((-2)/(-6))/(48/72). Do y and 376 have different values?
True
Let j = 54/977 - -18401/2931. Suppose 2*t + 22 = 4*f + 4*t, -f + 2*t = -13. Is j at least as big as f?
False
Suppose k + 4*i = -255 + 247, -5*k - 8 = 4*i. Let x = 1129 + -1175.1. Are k and x equal?
False
Let x(p) = 67*p + 2232. Let z be x(-23). Is z <= 691?
True
Suppose 3*i - 3*p - 177 = 0, -p = -5*i - 0*i + 307. Let j be (12 + (-745)/i)*(-4)/(-30). Is j less than or equal to 0.1?
True
Let g = -2123.9 - -2123.9. Is g greater than 6334?
False
Let s be 32/216*9 + (-1 - -1). Let f(w) = -3*w - 5. Let j(y) = -4*y - 8. Let z(c) = -7*f(c) + 5*j(c). Let h be z(7). Is h less than or equal to s?
False
Let g be (20/(-40))/((-1)/(-4)) - -104. Let b = -278 + g. Which is bigger: b or -1/4?
-1/4
Suppose -4*x + 67 = 2*t - 61, t - 29 = 5*x. Which is bigger: t or -4?
t
Let g = -229.6 - -150.6. Which is greater: -34 or g?
-34
Suppose -1104 = -79*v - 13*v. Is v >= 23?
False
Let p be (3 + (-28)/8)/(1/(-28)). Is p > -56?
True
Suppose -622384 = -541*c + 485*c. Is c equal to 11113?
False
Suppose 20*l = 8*l. Suppose l = 519*r - 514*r + 145. Is -29 less than r?
False
Let j = 841 - 816. Is 73/3 at most as big as j?
True
Let l = -5568 + 5632. Are l and 64 equal?
True
Let w be ((-29 - -14) + -2)/4 - 3/4. Let o be -2 + -1 - 315/91. Is w at least o?
True
Let c be ((-3392)/(-10) + (-872)/(-1090))*(-133)/2. Is c <= -22610?
True
Let h(n) = -124*n - 691. Let l be h(-6). Is 59 bigger than l?
True
Let x = -0.069 + -80.931. Let p = -80.8 - x. Which is greater: 1/9 or p?
p
Let p be (-66)/770*5/4. Let t be 3*1*(0 - -1). Let s = t + -3. Which is bigger: p or s?
s
Let b = 7298/25 + -292. Let j be 21/12 - 3/(-12). Let l(n) = n**3 - 2*n**2 + n - 3. Let s be l(j). Are b and s equal?
False
Let m = 27099 + -27100. Which is bigger: -2/23599 or m?
-2/23599
Suppose 4 = 9*n - 23. Suppose n*w = -0*w - 27. Let k = 1132 - 1146. Is k at least w?
False
Let m = -154 + 124. Let b = m + 72. Is b > -0.2?
True
Let i be ((-1)/(-6))/(19/(13452/147)). Let k = 22020/27391 - i. Are 0 and k unequal?
True
Let b = -9983251/6051255 + -191/41165. Let x = 8/147 + b. Are -1 and x equal?
False
Let k(d) = 57*d. Let i be k(1). Let l = 1369 - 557. Suppose 19*m - l = 5*m. Which is bigger: m or i?
m
Let m = -798 + 447. Let c = 3157/9 + m. Is c at most as big as -15?
False
Let k be 65 + -17 - (-1 + 4). Let a be ((-9)/k)/(2/(-15))*-48. Let s = -98 - a. Does s = -27?
False
Let g be ((-8)/(240/66))/(2/(-110)). Which is smaller: g or 172?
g
Let u(s) = s**2 + 3*s - 18. Let l be u(-6). Let i = -61/1649 + 15/97. Which is smaller: l or i?
l
Let p be (3/5)/((-1281)/1037). Which is bigger: 1 or p?
1
Let u be (-15)/(-4) - (39 + -41 + -2 + 8). Is -1.44 smaller than u?
True
Suppose o + 2 = -3*t, 2*t + 16 = -3*o + 6*o. Let h(g) = -g + 8. Let a be h(o). Let m = -2 + a. Which is smaller: -2 or m?
-2
Let w = 261499/14982 + 5/14982. Let d(b) = 18*b**2 + b. Let n be d(-1). Which is greater: n or w?
w
Let v be (-3)/(-21)*31/(-1). Let f be (-22)/176 - (0 - 3723/24). Suppose 0 = 7*s - f + 183. Is s != v?
True
Let c = 4.2261 + -0.3261. Let p = -5.8 + 