 be (-3)/(-9) + r/(-12). Which is greater: v or -1/9?
-1/9
Suppose u = -10*h + 11*h + 68, 0 = -5*u - h + 352. Let x be 30/u*(0 + -1). Is 10 equal to x?
False
Let i = 2575/26 - 99. Let x = -0.801 - -6.801. Which is greater: i or x?
x
Let c = 263/3 + -86. Which is smaller: 2/35 or c?
2/35
Let f = 1.79 + -1.69. Does -192 = f?
False
Suppose 4*c = -5*r + 11, 5*r - 4*c = c - 25. Is r >= 9/19?
False
Let g be (4 + -3)*(-140)/(-155). Which is greater: g or 2?
2
Suppose 40 = 2*i + 2*u, 5*u = i - 4*i + 56. Let b be 4/(-6)*(4 - i). Let f = 20 - b. Which is smaller: f or 5?
5
Let z be ((-1)/12)/(134/1809). Suppose -3*n = 2*m + 14, -m = 3*n + 20 - 7. Which is greater: z or m?
m
Suppose 2*u - 9 = 3*j, -3*j - 16 = -u - 10. Is j at most 2/891?
True
Let u = 4.91 + -31.91. Let c = -4 - -2. Which is greater: c or u?
c
Let v be 6 + -5 + (-1)/(-1). Let x be (-9)/2*(0 + 4). Let q be ((-78)/x)/(v/(-6)). Which is greater: -14 or q?
q
Let k = -36 - -32.4. Let y = k + 3.5. Is 0.1 less than y?
False
Let j be (-42)/(-40)*(-43)/(4902/(-48)). Is -1 at least j?
False
Let y = -219 + 219. Which is bigger: -10/59 or y?
y
Suppose -9 + 15 = 3*j. Suppose 3*p - 1 = -5*i, -3*p - j = 4*i - 4. Suppose p*z + 2*z - 64 = 0. Is 16 equal to z?
True
Let t be 394/4 + 1/(-2). Suppose 7*m - 63 = t. Is m at least 23?
True
Suppose -5*d = 5*g - 3*d - 144, g + 3*d - 21 = 0. Is g at least -0.6?
True
Let w = 1923 - 1973. Which is smaller: -4 or w?
w
Let j be (-401)/(-2)*24/156. Let w = 5 + 26. Let l = j - w. Is 1 smaller than l?
False
Let x = -0.024 + -20.976. Let v = 23 + -45. Let s = x - v. Which is smaller: 1/7 or s?
1/7
Let r be -14 - -6 - (-7 - 0). Is -2/529 at least as big as r?
True
Suppose -27*f = -16*f + 15*f - 156. Let m be 7/2 + 2/4. Is m at least f?
False
Let q = -34 - -29. Let l = -5 - q. Is l < 1/6?
True
Suppose 8*m - 168 = -224. Let i = -865/148 + 7/74. Which is bigger: i or m?
i
Let w(i) = -i**2 + 3*i + 6. Let t be w(5). Suppose l = 35 - 33. Suppose 0 = 5*d - l*d + 15. Which is smaller: d or t?
d
Let r(w) = w - 7. Let n be r(8). Is -2/1607 less than n?
True
Suppose 310*r = 309*r + 31. Suppose 4*z - 112 = -3*a, -4*a - 128 = -4*z - 3*a. Is r greater than z?
False
Let j(x) = -35*x + 25. Let o be j(11). Let u be -3 + (-13)/(325/o). Is 12 at most as big as u?
False
Suppose -5*a = 3*z - 4*z + 10, -2 = -2*z + a. Let l(y) = 2*y**2 - 1 - y**2 + 7*y**3 + z. Let m be l(-1). Which is smaller: m or -1?
m
Let u = -2662/43 - -62. Are u and -1 nonequal?
True
Let h be 8 - 15/((-45)/(-24)). Is h equal to 1/1135?
False
Suppose -3*m + 15 = 4*a, -4*m - 5 = -5*a + 2*a. Let i be ((-2)/(-14)*a)/(2/14). Let v(p) = p**3 - 5*p**2 + 5*p + 1. Let g be v(4). Which is smaller: g or i?
i
Let k(l) = -6*l - 4. Let j be k(-1). Let b be 45/105 - (-106)/14. Which is greater: j or b?
b
Suppose -80 = -4*z + 4*x, -5*z - 5*x = -117 + 7. Suppose t = 7*w - 3*w + z, -2*t - 4*w = 6. Is t > 5?
False
Suppose 3*o - 2*b = -13, -2*o - 2*b = -5*b + 12. Let f be o/(-1 + 2/3). Let v be -2*(15 - (5 + 3) - (-25)/(-2)). Does v = f?
False
Let o be -4 + 1 + -119 - 3. Let x = o - -225. Suppose -x = 3*u + 2*u. Which is smaller: u or -21?
-21
Suppose -6*a + 3*a = 63. Suppose -5*y - 8 = -6*y - 4*q, 5*q - 10 = 0. Does a = y?
False
Let i(h) = h + 8. Let j be i(-6). Let y = 4 - j. Suppose 3*f + 85 = -y*f. Do -18 and f have the same value?
False
Suppose 154 = -9*p - 1160. Which is smaller: 0.4 or p?
p
Suppose 2*r + 4 = -4. Let y(j) = -j + 2. Let l be y(r). Let m be l/64*(2 - 14). Is m smaller than 0?
True
Let o = 39495/1529 - 27/139. Do o and 25 have the same value?
False
Suppose 2 = 4*t - 46. Suppose -u - t = -3*u. Is 5 at most as big as u?
True
Let f be (-2)/(-276)*2*-2. Suppose 0 = -o - 5*v + 19, 3*v + 2*v - 20 = 0. Let g be (-1)/(-7)*o*-2. Are g and f non-equal?
True
Let h = -13.9695 + 0.1695. Which is smaller: 0 or h?
h
Suppose -7*o = 10*o + 34. Which is smaller: -26/23 or o?
o
Let a(w) = 2*w + 3. Let m be a(0). Suppose 0 = 3*d - 6 - 3. Is d greater than m?
False
Let p(r) = -r - 12. Let f be p(-16). Suppose 2*n = -c + 42, 5*n - 5*c = -f*c + 91. Do 2 and n have the same value?
False
Let a = -4/887 + -1722/11531. Which is bigger: a or -0.73?
a
Suppose 3*i = -3*m + 3, -m + 9*i = 11*i - 3. Which is smaller: m or 2/5?
m
Let o be (8/(-14))/(90/(-126)). Let z = -2/15 + o. Which is bigger: z or -5?
z
Let k = -4687/254 + -6/127. Which is bigger: k or 2?
2
Let f = 0.5 + -0.4. Let d = 336 - 221. Let z be 25/20 - d/90. Which is bigger: z or f?
f
Suppose -9*g - 3 = -8*g - 3*u, -u = 2*g + 27. Let d = g - -16. Are 0.06 and d non-equal?
True
Let s = -164 + 6395/39. Are -1 and s equal?
False
Let x = 17 - 13. Let j be x*1*(-25)/(-50). Does -0.6 = j?
False
Let n be -3*92/(-12) + 1. Let c be 0/(-2)*8/n. Are 5/11 and c unequal?
True
Suppose 3*w + 137 = -4*f, -f - 33 = 26*w - 24*w. Suppose 0 = -4*u - 4*o - 132, -o + 162 - 25 = -4*u. Is u greater than or equal to f?
True
Let r = 3.5 + -3.505. Let m = r + -0.995. Which is bigger: m or 0?
0
Let j = -5 + 4.97. Let l = -97 - -96.93. Let x = j + l. Which is smaller: 8 or x?
x
Suppose -430*i - 180 = -429*i. Which is greater: -179 or i?
-179
Suppose -12 = -2*k - 6. Let o be k + -1 + (0 - -1). Suppose m + 3*s - 1 = 0, 5*s + 14 = o*m + 3*s. Which is smaller: m or 2?
2
Let f = -399/2 + 2699/14. Is -8 at most as big as f?
True
Let t(c) = c**3 - 17*c**2 + 3. Suppose 2*l - 5*k = 44, l - 2*l = 3*k - 11. Let g be t(l). Suppose -15 = -2*v - g*v. Which is smaller: 0 or v?
0
Let b(v) be the second derivative of -v**5/20 + v**4/12 + v**3/2 - 3*v**2/2 + 3*v. Let f be b(-2). Let t be (-5)/(-3) - (-2)/(-3). Are t and f equal?
False
Let j(x) = -111*x**3 + 4*x**2 + 5*x + 4. Let m be j(-1). Is m less than or equal to 115?
True
Let m be (6/18)/(-3*21/27). Suppose 0 = 2*r - 4*u - 14, -4*r + 0*u + u = 0. Is m at most as big as r?
False
Let k = 0.04 + -0.06. Let h = 0.1 - k. Let x = h - -1.88. Is x < -2/5?
False
Let p = -102 + 97. Is -7 at least as big as p?
False
Let f = 43.3457 + 0.0543. Is f > -1?
True
Let q = -2578 - -299049/116. Is q at least 2/11?
False
Let h = -75.66 + 75. Let o = h - -0.56. Are 0.003 and o non-equal?
True
Let z = -37 + 37.3. Let w = 0.3 - z. Which is greater: 5 or w?
5
Suppose -2*p + 12 = 4. Let u be (-1)/p - (-34)/72. Let g = -124 + 124. Which is greater: u or g?
u
Suppose -34 - 68 = -17*u. Suppose 0 = -10*h - 6 + u. Is 4/13 > h?
True
Let n = -186 + 262. Is n < 75?
False
Let m be 9/(-15) + 954/265. Is m < 31/4?
True
Suppose v = -3*v - x + 226, -5*x + 178 = 3*v. Is 56 bigger than v?
False
Let y be 5 + -3 - ((-1476)/(-21) + 2). Which is greater: -70 or y?
-70
Let u = -206 + 208. Is u >= 13/7?
True
Let g = -87 + 39. Let r = 254 + -2112/7. Let x = r - g. Are -1/4 and x non-equal?
True
Let o = 6.5 - -22.5. Let s = 28.88 - o. Which is greater: -1 or s?
s
Suppose 94*w - 93*w + 2 = 0. Suppose -5*b + 4*v = 2 + 39, 5*b + v + 21 = 0. Which is smaller: w or b?
b
Suppose -2 = 2*l + 4*o, o - 19 = l - 21. Is l >= -4/113?
True
Suppose 0 = 2*p + 3*y + 10, -10 = 4*y + 6. Which is bigger: p or -2/77?
p
Let v = 12 - 20. Which is smaller: v or -1?
v
Let c be 5 + 8/(-28)*8 - 3. Is c at most 1/28?
True
Let o = 2.86 + -12.86. Which is smaller: -2 or o?
o
Let i = -8/9 + 106/99. Let f = -0.162 - 0.038. Which is smaller: i or f?
f
Let d(h) = -16*h**3 + h. Let k be d(-1). Suppose -2*n = 3*s + 45, 2*s - n + 15 + k = 0. Let t be 9/s - (-28)/80. Is t smaller than 1?
True
Suppose 16 = -0*s + 2*s. Let y(v) = 44*v + 1154. Let c be y(-26). Is c not equal to s?
True
Let g be 6/(164/54 + -3). Let h = 1456/9 - g. Is 0 smaller than h?
False
Let q be (-5)/((-25)/(-4)) + 112/(-35). Let r(f) = 3*f + 1. Let v be r(-1). Do v and q have the same value?
False
Let c = -0.333 + 0.233. Which is smaller: c or 5/3?
c
Let r(y) = y**3 + 32*y**2 - 42*y - 297. Let a be r(-33). Let h be (-38)/48 + 1/(-3). Which is smaller: a or h?
h
Let b = -53.04 - -38. Let h = b + 0.54. Let m = h + 15. Is m at least 2/3?
False
Let r be (-4)/16 + 169/4 + 2. Which is bigger: 43 or r?
r
Let z = -209 - -211. Which is greater: z or 37?
37
Suppose 5*x + 420 = 4*k, 3*k + x - 77 = 257. Let n = -71 + k. Is n > 39?
False
Let l = 5071 + -3940165/777. Is 0 smaller than l?
True
Let g be 3/2 - ((-1358)/(-4))/(-7). Suppose 4*m - 2*f = -2 - g, 4*m + 5*f + 52 = 0. Is -13 at most m?
True
Suppose 4*c =