0). Let t be ((-48)/k)/(12/(-42)). Which is greater: 41/16 or t?
t
Let i = -331 - -332. Let g be (1 - i/(-3))*870/20. Is 57 > g?
False
Let r = 5 + -4. Suppose b - r = 2*b. Let x = -78422 - -78323. Is x >= b?
False
Suppose -5*d + 25 = 5*u, 5*d = -3*u + 4 + 15. Let o = 12 - -50. Let t = o + -64. Which is smaller: u or t?
t
Suppose 50*q - 96*q + 43*q = -48. Is 15 at most q?
True
Let u = -48.9 + 46.86. Let q = u + -0.16. Which is smaller: 0.03 or q?
q
Let h = 4332513/10 - 433888. Let j = h + 636. Is j at least -1?
True
Let g(k) = 4*k - 11. Let w(j) = j + 11. Let y(c) = c + 2. Let t(z) = -2*w(z) + 6*y(z). Let l(r) = -5*g(r) + 4*t(r). Let f be l(4). Is f <= -3/56?
True
Suppose -1365 = 62*m - 75*m. Which is greater: m or 730/7?
m
Let q be ((-21)/42)/(11828/40*5). Is 0 smaller than q?
False
Suppose k + 2112 = i - 856, -i - 3*k + 2960 = 0. Does i = 2969?
False
Let i = -71 + 91. Let u = 20 - i. Let m = -0.4 - 1. Is u less than or equal to m?
False
Let p = -2 + 4. Suppose 10*k = 15*k + 2*q - 175, -4*k + 140 = -3*q. Suppose 11*g + k = 46*g. Which is smaller: p or g?
g
Let t = -396939895883/18166372575 - 3/18632177. Let o = -546/25 - t. Which is bigger: o or 1?
1
Let p be (450/175)/((-2)/(-14)). Let k = p - 17. Is 1 at least as big as k?
True
Let d be (458304/(-7040))/((-2)/(-5)*3). Which is bigger: d or -54?
-54
Let i = -185/214 - -68625/67624. Let x = 1095/8 + -86489/632. Let y = i - x. Which is bigger: y or -0.1?
y
Let r = 4289.1 - 4021. Let h = -268 + r. Are h and 0.04 non-equal?
True
Suppose b + 3*b = -4, 0 = -2*x - 4*b - 29308. Let c be 1*(-180 + -1)*x/(-13140). Let s = 1009/5 + c. Is 0 at most s?
False
Let z = -574529/2004 + -95/668. Which is greater: -287 or z?
z
Suppose -40*o + 16*o - 528 = 0. Let k = 4 - 22. Is k at most o?
False
Let r(y) = -7*y**2 - 8*y + 3. Suppose -4 = 4*s + k, 0*s - 2*s = k. Let l be r(s). Is l at least -59/6?
True
Suppose 0*f = -f - 5. Let b be -4 + f/((-15)/24). Let i be (b/(-180))/(6/75). Which is smaller: i or -1?
-1
Let p = 33 - 13.6. Let r = 15.4 - p. Is -2/7 not equal to r?
True
Let p = -65 + 64.2. Suppose 5*h = 12 + 3. Let k be h/((-9)/6)*(-1)/2. Which is greater: k or p?
k
Let s = -78.1 + 12.1. Let n = 88 + s. Let r = -19 + n. Which is smaller: r or 9?
r
Let s = -4018.99563 + -0.00437. Is 1/4 less than s?
False
Let g be 2 + 98/(-12) + 1. Let b(i) = -i**3 - 74*i**2 + 245*i + 1072. Let c be b(-77). Is g > c?
True
Let y(c) = -42*c - 868. Let r be y(9). Which is greater: r or -1243?
-1243
Let l = -2417 + 2397. Which is bigger: l or -64?
l
Let l = 16888 + -17699. Is -811 > l?
False
Let b = -151 + 38. Let m = b + 111.64. Which is smaller: 2 or m?
m
Let k(i) = -i**3 + 8*i**2 - 4*i - 16. Let m be k(7). Suppose -2*p = -0*p + c + 159, 3*p = m*c - 245. Let x be p/(-102) + (-8)/12*1. Which is smaller: 1 or x?
x
Let i(m) = -23*m + 1605. Let h be i(70). Are h and -181/37 equal?
False
Suppose 3*t = -m + 14, -2*t - 1 = -2*m - 5. Suppose -t*l - 16 - 32 = 0. Which is bigger: l or -8?
-8
Suppose -4*r - 4*k - 12 = 0, -4*k - 17 - 3 = 0. Let p be ((-2)/4 - r)/(80/(-192)). Are p and 3 equal?
False
Suppose 60*x - 300 = 65*x. Let r = -60 - x. Which is smaller: r or -1/3?
-1/3
Let u = 10606.16 - 10605. Which is smaller: u or -0.3?
-0.3
Let a = -7051 - -7050. Do 5/467 and a have different values?
True
Let k = 1720 + -1720. Which is smaller: 2/93 or k?
k
Suppose 150 = -7*p + 12*p. Suppose 170*u - p = 165*u. Let t be u/4 - ((-39)/(-6) - 3). Is -20/9 < t?
True
Suppose -5383 + 983 = -16*u. Let h = -1372/5 + u. Are 0.3 and h equal?
False
Let g(v) = -141*v + 563. Let r be g(4). Which is greater: 436 or r?
436
Let i be (-2 - -1) + (0 - 17). Suppose 2*v = 6*v + 8. Let d be ((-3)/i)/((-1)/v). Which is bigger: d or 0.3?
d
Let t = -12414 - -12491. Which is smaller: t or -0.14?
-0.14
Let g be (-305)/10*(12 - 4 - -18). Is -793 < g?
False
Suppose 2*j = -48 + 138. Let l = -39 + j. Which is smaller: l or 0?
0
Suppose -869 = -4*a - 3*n - 586, -2*n = -2*a + 124. Let z(f) = -35*f. Let j be z(-2). Is j equal to a?
False
Let g be 77/33 + (-1*2)/((-36)/(-15)). Is g less than 203.6?
True
Suppose 271*n + 2 = 270*n. Let i = -6 + 9. Suppose d = a - 9, 0 = 2*a - i + 9. Which is bigger: n or d?
n
Let r be (-96)/64 + (-15)/(-10). Suppose 3*c = -w - 2*w + 1401, c = 2*w - 925. Let s be w/684 - 4/6. Which is smaller: s or r?
r
Suppose -w + 145 = -2*r, -3*w + 7*r + 439 = 2*r. Let p be 4077/18*(-26)/(-39). Is p <= w?
True
Suppose -11*i = -10*i - o - 336, 3 = o. Suppose -3*n - 117 + i = 0. Which is bigger: n or 75?
75
Let d = 2595.1 + -2419. Let q = d - 177. Which is greater: q or -5?
q
Suppose -2*m = 2, -6*f = -4*f + 3*m + 3. Suppose f = -2*b + 28 - 118. Is b less than -1/3?
True
Let a = 5118 - 5130. Suppose -3*q = -7*q + 184. Suppose -14 = 5*n + q. Is a >= n?
True
Let o be 34110/(-720)*(1 - 0). Is -47 at least as big as o?
True
Let q = -77981/5 + 15597. Is -265 at least as big as q?
False
Let r(l) = 2*l**3 - 8*l**2 - 6*l + 1. Let f be r(5). Suppose -171 = -18*m + f*m. Is m != -55?
True
Let j = 120 + -136. Let b = 494 - 513. Is j less than b?
False
Let k(y) = -151*y + 358. Let r be k(13). Is -1605 < r?
False
Suppose 14*b - 16*b - 5*h - 73 = 0, -4*h - 29 = b. Is b smaller than -381/8?
True
Let d = -172 + 205. Which is smaller: d or -3?
-3
Let q be 6/(-23)*(-2)/4. Let o = 234 - 159. Suppose -o + 29 = 46*v. Which is smaller: v or q?
v
Suppose -5*j - 38 = -5*p + 2, 5*j = -4*p - 22. Let k be j*((-2)/3)/1. Suppose -2 = -g - k. Which is greater: -8/13 or g?
-8/13
Let s be (-46)/10 - (-3 + 0). Suppose -3*b = -l - 29, 5*b - 3*b = l + 20. Let n be (b + -10)/((-5)/(-2)). Is n > s?
True
Suppose -k + 247 = 2*b - 123, -919 = -5*b - 4*k. Suppose w + 0*c + 192 = 4*c, w + c + b = 0. Is -187 < w?
False
Suppose 8*o - 625 = -65. Suppose -o = -8*f - 22. Are 2/3 and f equal?
False
Let k = 16.263 - -0.137. Let i = 16.3 - k. Is 116 bigger than i?
True
Let c = 131 + -223. Which is smaller: -0.1 or c?
c
Let y = 107.84 - 67.84. Which is smaller: 0.03 or y?
0.03
Let g be 2/8 + -5 + -13 + 18. Which is bigger: g or -54.7?
g
Let i(f) = -f**2 + 11*f - 9. Let s = 271 - 264. Let r be i(s). Are r and 134/7 equal?
False
Suppose 0 = -431*f + 627*f + 524692. Is -2672 greater than or equal to f?
True
Let z = -647212/69 + 41916386/3657. Let g = z - 2082. Let a be (0/(2 - 3))/(-1). Are a and g equal?
False
Let z(o) = -o**3 - 85*o**2 - 70*o + 1177. Let l be z(-84). Which is bigger: 82/121 or l?
l
Suppose -l + k = 1 - 5, -3*k = 3. Suppose a - l*a - 10 = 0. Let s = -5 - a. Which is smaller: 3/8 or s?
s
Let b = 154 + -62. Suppose 7*k + b = 15. Let l be 2*(-22)/4 - 2. Which is smaller: l or k?
l
Let m be 21/(-42)*-3*1984/21. Are m and 141 nonequal?
True
Let v = -1674 + 1674.8. Let w = -0.8 + 0.65. Is w less than v?
True
Let x = 1.3951 - 37.3951. Which is bigger: x or 2/19?
2/19
Let k be ((-16)/(-24))/(3/(-1602)). Which is bigger: k or -1423/4?
-1423/4
Let r = -7011/4 - -1753. Is 3/2179 at most r?
True
Let f be -7 - (92/(-16))/((-1)/68). Is f > 0.1?
False
Let c = -14 - -20. Let f(g) = g - 2. Let z be f(c). Let u = 12.7 - 12.9. Is z <= u?
False
Suppose 4*p - 4*w = 4, 2*p - 45 = -3*p - 3*w. Suppose -p*l - 428 = 112. Let y be (-2 - (-14)/5)*l/36. Which is smaller: y or -12/13?
y
Let g be 1 + -12 + (-35584)/(-640). Is 2/7 bigger than g?
False
Let j be ((-39)/117)/(1/(-6)). Suppose -2*x - 5*v + 31 = 0, -21 = -4*x + j*v + 29. Which is smaller: 18 or x?
x
Let u = -219.25 - -10.65. Let k = 208 + u. Is -2 > k?
False
Let o = 2.791 + -2.391. Which is bigger: o or -3.82?
o
Let m = -32779 - -32778. Is -18/473 not equal to m?
True
Suppose 0*x = -2*x + 224. Let v be (-5 - -3) + -12*81/(-9). Let z = v - x. Are z and -60/11 non-equal?
True
Let h be -4 - ((-12)/(-6) - -151). Let r = -34 + h. Are -191 and r nonequal?
False
Suppose g + g + 3*t + 9 = 0, 22 = -4*g - 2*t. Let d be 2 - (0 - -3) - (g + 5). Suppose d*n + 55 = -2*q - 3*n, -3*n - 9 = 0. Which is greater: q or -24?
q
Suppose 0 = -5*g - 21 + 71. Let t(l) = -l**3 + 10*l**2 + 3*l - 16. Let m be t(g). Let w be (2 + 65/(-35))*m/4. Is w >= 1/15?
True
Let u(i) = i**3 - 5*i**2 + 6*i - 9. Let q be u(4). Let x be ((192/(-520))/4)/(4/50). Which is smaller: q or x?
x
Let o be -1*5/25*0. Let j be ((-9)/3)/(-1 + 2506/2500). Let h = j - -81253/65. Which is smaller: h or o?
o
Let g = 7817/14 - 5