-40 - y = 3*f - 5*m. Which is smaller: f or -0.1?
f
Let u be (-35)/45*246/287. Which is smaller: u or 1556?
u
Let q be 372/310 + 7/(-35). Let g = 1109/11 - 101. Does q = g?
False
Suppose -3*m - 3249 = -2*d, -34*d + 31*d = m + 1105. Is m smaller than -2171/2?
True
Let y = 0.223 - -22.477. Let d = 18 - y. Let p = d - -4.8. Which is greater: 4 or p?
4
Let g = -31153/18 + 1733. Let v = g + -97/42. Which is bigger: 2/9 or v?
2/9
Let t = 24430 + -24430. Is t greater than or equal to -78/659?
True
Let x = -160 - -13. Let w = -148 - x. Is w at most 3/37?
True
Suppose 66*v + 19*v + 510 = 0. Let y(p) = -p**3 + 3*p**2 - 2*p - 3. Let i be y(3). Which is smaller: v or i?
i
Let l = 4 + -14. Let j(w) = w + 35. Let d be j(l). Suppose -i + d = -0*i. Which is greater: i or 26?
26
Let q = -34.3 + 337.3. Let n = q + -439. Are 0.1 and n unequal?
True
Let d = 44.01299 + -0.01299. Is -23 at most as big as d?
True
Suppose -8 = 5*m - 4*j, 2*m - 5 = -3*j + 1. Which is bigger: m or 84/59?
84/59
Let k be 3/(-54)*-5*252/120. Is k < -6/17?
False
Let c be (1*((-25)/5 + -10))/(14/(-1778)). Which is smaller: 1907 or c?
c
Let p be (-2 - (-232)/140)/(4/4070). Let i = 350 + p. Which is smaller: -2/3 or i?
-2/3
Let n = -1058738/975 - -27407/25. Let k = n + -53/5. Which is greater: -1 or k?
k
Let j(k) = k**3 - 4*k**2 + 50*k - 90. Let q be j(2). Let m be 1/2 + (-5)/(-2). Suppose 0*z + q*z = m*t - 11, -z + t - 3 = 0. Is 8/3 not equal to z?
True
Let p be (-24)/42 + 3*(-14152)/84. Is p > -504?
False
Suppose 2*u = 4*g - 16, -31*g + 19 = -28*g - 5*u. Let r = 203 + -186. Which is bigger: r or g?
r
Let m = 10208 + -10216. Is m smaller than 609?
True
Let d = 0.22 + -0.15. Let i = d + -28.07. Let n = i - -30. Is 2 smaller than n?
False
Suppose 10*o - 5*o = 25. Let m be o - (0 - (-6 + 1)). Is m greater than 231?
False
Suppose -328*l = -317*l + 1529. Let q(j) = 3*j**3 + 3*j**2 - 2*j - 6. Let b be q(-4). Is b less than or equal to l?
True
Suppose -5*y + g = -4, -y + g + 3*g - 3 = 0. Suppose -11 = -4*l + y. Suppose -l*n = 4*n. Is 4/9 at most as big as n?
False
Let c be -111 - ((-8)/(-24))/(1/3). Let z = c - -111. Which is smaller: 1/47 or z?
z
Let w(y) = -4 + 101*y - 3 - 86*y - 7. Let o be w(-3). Is -59 not equal to o?
False
Let o = 28928 - 28991. Does o = 0.049?
False
Suppose 5*h + 536*b = 532*b - 913, -b = -5*h - 928. Let t = 15 + -201. Which is bigger: h or t?
h
Let s = -77 - -80. Suppose 0 = 2*i - s*i. Suppose -2*b + 35 = 5*w, i = -3*b - b. Which is smaller: w or 33/4?
w
Let r = 210 - 566. Let d = -334 - r. Is 0.2 less than d?
True
Let l(r) = -r**2 + 14*r - 2. Let x be l(2). Suppose k + 6*q = 9*q + 8, 4*k + 6*q + x = 0. Which is smaller: k or -0.21?
k
Let q be (-42380)/(-912) - 4/32*-2. Let j = q - 140/3. Which is bigger: -1 or j?
j
Suppose 18*b + 2 - 2 = 0. Is 25/23 equal to b?
False
Let c = -16.14 - 1.86. Which is bigger: c or -11?
-11
Let r be 1/(3/(-6) - 0). Let d be 1768/32 - r/(-8). Is d >= 57?
False
Let q = 533 + -534. Which is smaller: q or -2258?
-2258
Suppose 0*s - s + 3 = 0. Suppose 0 = -4*z + s*z + 8. Let p(l) = -l**3 + 3*l**2 + 91*l - 402. Let t be p(5). Is t greater than z?
False
Let w = 0.15 + -74.15. Let z = -1685.98 - -1612. Let s = w - z. Which is greater: 3 or s?
3
Suppose q + 133 = 20*q. Suppose -7*d = q*d + 140. Which is smaller: -11 or d?
-11
Let z = -2341 - -49151/21. Suppose -4*m = 2*f - 18, 3*f - 67*m = -65*m - 5. Is f less than or equal to z?
False
Let x = -1182.8 - -1038. Let t = x + 144. Let a = 4 - 6. Is t greater than a?
True
Suppose 4*r + 5*i = -104 + 77, 0 = r + 2*i + 12. Is r greater than 18/19?
True
Let z(f) = f + 12. Let l be z(-8). Suppose i - 1 = -l. Let v be ((-8)/(-16))/(-1 + (-7)/(-8)). Which is smaller: v or i?
v
Let z be 16/32 - (10178/(-2876))/(-7). Which is bigger: -1 or z?
z
Suppose 0 = 4*k, 0*k + k - 10 = 5*w. Let t(z) = 10*z + 62. Let p be t(-6). Suppose 0 = p*j + 2*j - 2*m + 66, 0 = 3*j + 2*m + 53. Which is bigger: w or j?
w
Let p be (4/(-6))/(44/(-330)). Suppose p*j - 991 = 3*u, -2*u - 2*u + 780 = 4*j. Do j and 199 have the same value?
False
Suppose 61 = z - 3*x, -2*z - 3*x + 25 = -124. Suppose -15*q = -0*q - 1020. Which is smaller: q or z?
q
Let a be 5 - (-1)/(-19582)*(4 - 9 - -97911). Do a and -1 have the same value?
False
Suppose -x = -4*j - 17 + 16, x - j - 10 = 0. Is -77 greater than or equal to x?
False
Let a = 111 - 111. Let d be 44/(-20) + -2 + a. Which is greater: d or -5?
d
Let c be 1*-1 + (1 - 0). Let x = -3/6430 + -383/281634. Which is greater: x or c?
c
Suppose 6*m - 125 + 101 = 0. Let i = -20 + 28. Let w be m/(4 + i/(-4)). Does 2 = w?
True
Let j = 0.26 + 15.74. Let d = 2186 + -2186.1. Which is smaller: d or j?
d
Let j = -118.4183 - -118.3. Let w = 0.0183 + j. Is w at most as big as 3.3?
True
Suppose -122*x + 7241 = -64564 - 58735. Which is greater: x or 1069?
x
Let a = -246 + 245. Let t = 8.07 + -8. Which is bigger: a or t?
t
Suppose 0*p + 157 = 4*p - 3*v, 0 = 3*v - 3. Suppose -17*g = -13*g - p. Suppose 30 = -5*b + 2*b + 3*w, b - 4*w + g = 0. Which is smaller: 1 or b?
b
Let x be (-22)/209 - (-678)/(-57). Let r be 48/(-135)*x/16. Which is smaller: 2 or r?
r
Suppose 0 = r + 2*r - 9, 4*r = -5*z - 768. Let y be z/(-9) + (-2)/3*-1. Suppose 0 = 3*d + y. Which is greater: d or -4?
-4
Let r(k) = -4*k**3 + 65*k**2 + 59*k - 177. Let c be r(17). Is c <= 275?
True
Suppose -2*c - 3 = 3*n - 13, -2*n + 3*c - 2 = 0. Let w be -11 - -14 - 6/n. Let o = -39/35 - -7/5. Is w < o?
True
Let b be -13*48/12 - -5. Let q = 20 + -65. Is b >= q?
False
Let z = -4799 - -4797. Is z < 2202?
True
Let l = 8576.9 - 8559. Is l at least -31?
True
Let n be -3 + (-57)/(-18) - 33790/60900. Let s = -16/35 - n. Is -5 at most s?
True
Let s(x) = 0*x**2 - 6*x**2 - 7*x**3 - 11 + 6*x**3 + 2*x**3 + 14. Let a = -8 - -14. Let r be s(a). Which is greater: r or -1/7?
r
Let v be (-9)/(-240)*10 - 12/32. Are 3/341 and v equal?
False
Let w = -12.3 + 13. Let d(f) = 3*f + 2. Let p be d(-2). Let r be 1/4*p/3. Is w greater than or equal to r?
True
Let i = 100/261 + -83959/1827. Do -45 and i have the same value?
False
Let s = 242429/8 - 30381. Which is smaller: -78 or s?
-78
Let y be ((-47628)/(-3120))/21 + 1/(-4). Is -1 less than or equal to y?
True
Let g = -3228 - -9686/3. Which is bigger: g or -0.255?
g
Let s = -11251 + 11764. Which is smaller: 510 or s?
510
Let x = 55 - 99. Let s = 42.9983 + 0.0017. Let p = s + x. Is -1 < p?
False
Let h = 16601 + -16600.97. Does -649/2 = h?
False
Let j = -1.3025 + 1.3025. Which is smaller: j or 302?
j
Suppose -7*o - 9*o + 128 = 0. Suppose 3*m - o = -3*s + 2*s, 37 = 2*s - m. Which is smaller: 18 or s?
s
Let f(r) = -3*r**2 + 96*r - 467. Let x be f(6). Which is bigger: 10/273 or x?
x
Let s = 1232 + -311. Is s >= 922?
False
Suppose -5*w - 43*j = -39*j + 128, 0 = 5*w + 5*j + 135. Which is smaller: w or 8/5?
w
Let o(v) be the second derivative of -v**4/12 - v**3/6 + v**2 - 7*v. Let k be o(0). Let r = -21321/17 - -1255. Which is bigger: k or r?
k
Let u = 83 - -81. Let l = 45 - u. Let y = l + 120. Which is smaller: y or -5/4?
-5/4
Let a be -1*(-5 - 0/(-1)). Suppose -s + a*s + 52 = 0. Let m be (61 - (31 + -32))*((-12)/(-15) - 1). Which is bigger: s or m?
m
Suppose -1826 - 733 = 18*m + 1437. Which is bigger: m or -670/3?
m
Suppose -4*x + 12 = 4*s - 0*x, -s = 5*x - 3. Suppose 78 - 13 = s*f - 4*n, -n = f - 10. Let t(h) = 3*h**2 + 5*h + 5. Let b be t(-3). Which is smaller: b or f?
f
Let f be 11644855/(-7257345) + 20/12. Let n = f + -12/2293. Is 1 at least as big as n?
True
Let p = 90.69 + -98.69. Which is greater: p or 413?
413
Let j be 48/(-744) + -14*692/(-61752). Is 1 smaller than j?
False
Let j = 114 - 38. Let h = j + -129. Let f = h - -59. Is f < 4?
False
Let l = 6766 + -87741/13. Which is smaller: 3 or l?
3
Let c = 223736.73 + -223737. Let f = 34 + -205/6. Is c equal to f?
False
Suppose -121*b - 46*b - 4176 + 502 = 0. Which is bigger: b or -916/39?
b
Suppose -2*v = 3*v - 55. Let b be v/6 + (-17)/6 + 3. Suppose i - 4 = -b*r, 6*i + 4*r - 8 = 2*i. Which is greater: i or 1/18?
1/18
Let s(c) = -15*c + 19 + 0*c + 3*c + 7*c. Let n be s(3). Suppose 3*t = 6, n = -u - t + 9. Which is smaller: 13/5 or u?
13/5
Let x = 17174 - 16889. Is 286 at least as big as x?
True
Let h = 2/30575 + -62342459/519775. Let b = h - -120. Suppose -15 = 5*j - 5*o, -4*j + 2*o = 9 - 1. Whi