)/(-3) + 0)/(-1). Let i = -0.51 - -0.5. Let u = 0.01 + i. Is g at most as big as u?
True
Let b be (-15085)/(-50) - (-3)/5. Let f = -302 + b. Let n be (-4)/(-24) - 5/12. Which is greater: f or n?
f
Let c = -43 - -45. Suppose -7 = 2*b - 3*s, -c*b + 2*s + 21 = -3*b. Does -34/3 = b?
False
Let f = -247.1211 - -0.1211. Are -0.2 and f equal?
False
Suppose 4*g - 8*g = -72. Let s be (-42)/(-54) + 4/g. Is s at least as big as 2/5?
True
Let f = 1011076/13 - 77829. Let t = f + 54. Which is greater: t or 1?
1
Suppose 5*f + 14 = 4. Let q(m) = m**2 + m + 1. Let a be q(f). Let d be a/(-18)*-9*2. Is 1 greater than d?
False
Let c = 16 - 11. Suppose i - c*v - 5 = -2*i, 5*i - 5*v = 15. Suppose i = -4*m - 15. Which is smaller: 0.2 or m?
m
Suppose 3*s = 12 + 9. Suppose 0 = -5*q + 2*d - d - s, -4*d = -8. Which is greater: 2 or q?
2
Let u be 1 + 2*7/(-14). Which is greater: u or -4/37?
u
Let l(a) = 2*a**2 - 5*a - 4. Let j(u) = -u. Let p(k) = -2*j(k) + l(k). Let t be p(-1). Are -2/117 and t equal?
False
Suppose -4*b = -3*l + 10 - 41, -3*b = -5*l - 37. Suppose -5*m + 0*k - 11 = 2*k, b*m + k = -7. Let h be m/(-4) + 7/(-28). Which is bigger: -1 or h?
h
Let w = -61 - -57. Let p = -55 + -1. Let v be 9*(w + p/(-12)). Which is smaller: v or 5?
5
Suppose 3*a + 4*i = 339, 3*a + 0*i - 2*i - 339 = 0. Let o = -114 + a. Let w = 3931/19 + -207. Which is smaller: w or o?
o
Let y be (-18456)/140 - (-24)/(-42). Is -132 less than or equal to y?
False
Suppose 0 = -3*t - 3*m + 135, -3*t - m + 77 + 48 = 0. Let n = -28 + t. Is n at most as big as 45/4?
False
Let u = 468 - 359. Are u and 2/3 unequal?
True
Let t = -4 - -2. Let i be -1 + (t/8)/(-1). Let g = 0.04737 - 0.14737. Are i and g non-equal?
True
Suppose -5*d = 2*s - 174, -2*s + 3*d + 255 = 97. Which is smaller: s or -0.8?
-0.8
Let l be (2 - (-1 + 2)) + -1. Suppose -3 + l = -f. Let p be (4/(-42))/((-2)/f). Is p >= -1?
True
Let z = -430 + 461. Is z greater than 28?
True
Let n = 13 + -11. Suppose n*c = a + 5 + 1, 5*c = 15. Is 1/24 greater than or equal to a?
True
Let w = 1601.93 + -1602. Which is smaller: w or -7/8?
-7/8
Let h = 18 + -5. Suppose j + 2 = -h. Let o = -39/2 - j. Which is bigger: o or -1?
-1
Let k be -105*((-4)/(-3) + -4). Suppose -2*j - k = -4*y, -3*y + 2*j = 7*j - 210. Suppose -5*f - 4*v + 30 = -0*v, -5*f + y = -4*v. Is 12 at most f?
False
Let x be (-1)/12 + -1 - -1. Let j be (6/30)/(1/(5 + 0)). Which is smaller: j or x?
x
Suppose 0 = -3*r + 5*c + 20, -4*r + 26*c - 8 = 28*c. Let m = -17.005 + 17. Is m equal to r?
False
Let y = -3629 + 47174/13. Suppose 0 = -5*o + 5. Is o not equal to y?
True
Suppose -k - 4*k = -5*f + 20, 0 = 3*k + 3. Suppose -f + 21 = 3*w. Do 5 and w have the same value?
False
Let g = -2143 + 2153. Let v = 7 - 6. Is v greater than g?
False
Let k = -3421/603 - 7/67. Which is smaller: -7 or k?
-7
Suppose 8*f + 36 - 1420 = 0. Is f greater than 176?
False
Let p be (-2720)/1683 + 4/18. Is -2 not equal to p?
True
Let v be (221/(-52) - -3) + 19/(-4). Let l be ((-2)/3)/(18/135). Which is greater: l or v?
l
Let y(n) = n**2 + 3*n + 2. Let u be y(-3). Suppose -z + 1 = i + z, -2*i + u = 2*z. Let g be 0 + 3 - 4/(-1). Which is smaller: g or i?
i
Suppose -1109 - 851 = -14*p. Is 142 not equal to p?
True
Let b be ((-12)/(-664890))/((-12)/(-5)). Let k = b - 169812931/3324450. Let p = k + 51. Which is smaller: p or 1?
p
Let q be 1/(6/(-3))*2. Suppose -140 = 4*u + 3*n, -7*n = -4*n. Let c = u - -104/3. Which is bigger: c or q?
c
Let x(q) = -q**2 - 18*q - 1. Let b be x(-18). Let i be (3/(-10))/(924/35). Which is bigger: i or b?
i
Suppose 0 = 5*j - 24 + 4. Suppose -12 = j*l, 4*f - 5*l - 3 - 8 = 0. Which is smaller: f or -20/9?
-20/9
Let r = 89 + -45. Let l = -45 + r. Which is greater: l or -2?
l
Let k = 1.2 + -0.2. Let j = 1.013 + -7.013. Which is bigger: k or j?
k
Let i = 810 + -810.4. Which is greater: -10 or i?
i
Let x be 8/28*14 + (0/(-1) - 11). Suppose -o - 7 = -1. Which is bigger: o or x?
o
Suppose -z + 5*d + 19 = 0, 0 = 4*z - 7*d + 4*d + 9. Let c be (18 - -6)*(-4)/15. Which is greater: c or z?
z
Let d = 276 - 271. Are -1/16 and d nonequal?
True
Suppose 4*j = 16, 0 = -2*c - 2*j + 2. Let k = -21/1469 + 1400041/5876. Let r = -241 + k. Is r bigger than c?
True
Let q = 40 - 43.4. Let d = q + -0.6. Let f = d + 3.88. Which is smaller: f or -1/2?
-1/2
Suppose 51*a + 183 = 52*a. Which is greater: 184 or a?
184
Let j = 44 - -235. Which is greater: j or 280?
280
Let i = 5.93 + -1.93. Which is smaller: 27 or i?
i
Let m = -4 - -4.02. Let w = 25.02 - m. Is w greater than or equal to -2/5?
True
Let q be (1 + -4 + 3)/8. Which is smaller: q or -9/20?
-9/20
Let m = -508 + 500. Which is greater: 5 or m?
5
Let t = -0.76 + -0.24. Let v = -100 + 100.1. Which is greater: t or v?
v
Let s = -7 + 5. Let n(b) = -b + 15. Let h be n(12). Let g be 0/(h + 1 - 1). Is s bigger than g?
False
Let x = -30.15 - -30. Let t = x - 0.05. Let w = t - -0.3. Which is greater: w or 2/3?
2/3
Let r = -60.9 + 59.9. Is r <= -257?
False
Let w = -1277 - -1252. Is 2 greater than w?
True
Let y = -30 + 30. Let o = 4 + -3. Let v = o + y. Which is smaller: -1 or v?
-1
Suppose 17 = -2*z - 3*m, 5*m - m + 28 = -4*z. Is z > -147?
True
Let t = -1.7 + 1.687. Let h = -0.009 - t. Which is smaller: 1 or h?
h
Let x = 1/703 - -101225/4921. Which is greater: x or 20?
x
Let k be (-868)/98 + (-2)/14. Let g = 84 + -39. Suppose 4*f - u = -f - g, 34 = -3*f + 2*u. Which is smaller: f or k?
k
Let y = -0.2 - -1.2. Let g = 136.4 - 123.4. Is y greater than or equal to g?
False
Let p(w) be the third derivative of -w**4/24 + 2*w**3 - 4*w**2. Let v be p(10). Let d be -1*1/(-14)*v. Which is smaller: -1 or d?
-1
Let f = -1098340/483 - -2274. Are f and 1 nonequal?
True
Suppose -3*v + 9*v = 6. Let r = 3/238 + 1065/476. Which is bigger: r or v?
r
Let h = 161 - 159. Let t = -38231/3596 + 302/29. Let n = t + 3715/1116. Which is smaller: n or h?
h
Let p = -1.1 + 1.1. Let z(a) = -10*a**3 + a**2 - 2*a - 2. Let r be z(-1). Let b = r + -8. Is b >= p?
True
Suppose a + 4*y = -26 + 8, -4*a + 2*y = 0. Let f be (a - 0)/((-1)/3*3). Let b = 2 - 1. Which is bigger: f or b?
f
Let r = 27.54 + -29.34. Let c = 0.1 + -0.1. Which is smaller: r or c?
r
Let h = -0.18 - 0.02. Let m = -0.15 + -0.16. Let o = -1.31 - m. Is o <= h?
True
Let z be 4 - (275/(-20) - -4). Let n = -14 + z. Let w = -181/4 - -45. Are w and n nonequal?
False
Suppose -290 = 5*k + 510. Is -160 greater than or equal to k?
True
Let s = -109 + 65. Let x = s - -43. Is x less than or equal to -1/8?
True
Let t = -204 + 210. Suppose 5*z = z + 28. Is t > z?
False
Let y = 1.82 + -1.92. Is -91 bigger than y?
False
Suppose 0 = -3*o + 15 - 30. Let s(i) be the second derivative of -i**4/12 - 2*i**3/3 - 3*i**2 - i. Let f be s(o). Which is greater: f or -12?
f
Let z be ((-39)/26)/((-12)/(-64)). Are -17 and z nonequal?
True
Let a = 1361 + -2017. Do a and 1 have different values?
True
Let a = 5 - 0. Let m = 149/385 + 1/77. Are m and a nonequal?
True
Let p = 21 - 14. Suppose 10*s - p*s = -48. Let i be -2 + s/(-12) - 0. Which is greater: 0 or i?
0
Let c be (-9)/(-12)*(-16)/(-3) + -874. Which is greater: -869 or c?
-869
Let f be (-295)/30 - 7/42*-3. Is -0.9 at least f?
True
Let p = 1 + -18. Let x(v) = -2*v - 35. Let f be x(p). Are f and 2/127 unequal?
True
Let u be (2 - 16/(-6))*2/(-7). Which is greater: u or 14?
14
Let n = -10.75 - 0.6. Let q = 11 + n. Let y = 0.25 + q. Which is smaller: -0.01 or y?
y
Let v = 142 + -142. Which is smaller: v or 1/258?
v
Suppose -w - a = -3 - 0, 0 = -w - 5*a + 19. Let r = 101/4 + -24. Is w at least r?
False
Let l = 0.01 - 0.04. Let m = l + 4.13. Let q = 6.9 + m. Which is smaller: 1/2 or q?
1/2
Let a = -75 + 523/7. Let v be ((-24)/1)/(((-27)/(-2))/(-9)). Let h be v/(-9) - (-6)/3. Which is greater: a or h?
h
Let w = -195 + 194. Is 2/253 greater than w?
True
Let u = -40 - -62. Let l = u - 20.6. Let v = 0.2 + -0.3. Which is bigger: l or v?
l
Let k be 13 + 22/33*81/(-6). Let d = 162/23 - 605/161. Is k bigger than d?
True
Let l be 51/(-2) - 2/4. Let d(k) = k**3 + 26*k**2 + k + 25. Let t be d(l). Is t at least 0.024?
False
Let u be 13/((-104)/(-32))*(-99)/(-12). Let s(v) = v + 35. Let j be s(0). Which is greater: j or u?
j
Let q = 16.64 + -16.54. Is q < 3.25?
True
Let f be ((-104)/(-50) + -2)*(-6 - -1). Are -1/12 and f equal?
False
Let q be 1/(2/(-36