 = 0. Let y = -45 + 45. Suppose y = o + 6*o. Which is smaller: s or o?
s
Let k be (4/(-6))/(8/96). Let u = -3 + 8. Suppose -29 = u*g + 11. Is g greater than k?
False
Let o be (2/(-28))/(3/12). Let r = 0.182 - -2.118. Are r and o equal?
False
Let w be (-1 + (-44)/8)*-10. Suppose -2*o + w = 5. Suppose 2*t = 7*t - o. Which is smaller: t or 5?
5
Let p be 4 - (-848)/(0 - 4). Let j = p + 7487/36. Is 1 greater than or equal to j?
True
Let k(c) = 4*c + 4. Let w be k(-2). Let i = 3739/8 + -470. Is i != w?
True
Let u = 393 - 392. Is 18/17 bigger than u?
True
Let h = 0.044 + 1.956. Let t = -0.2 + 0.2. Which is greater: h or t?
h
Let i = -27059/55 + 492. Which is smaller: -1/4 or i?
-1/4
Let y = -1574 + 1577. Which is bigger: y or 22?
22
Let w be (-1 + (-136)/(-2))*-1. Suppose 2061*q - 344 = 2082*q + 1042. Is q smaller than w?
False
Suppose 0 = h + b - 56 - 11, -356 = -5*h + 2*b. Which is greater: h or 69?
h
Let l = -1174 + 1173.8. Which is smaller: l or 871?
l
Let d = -9595996/10605 + 6334/7. Is 1 <= d?
False
Suppose -12 = -3*a - 3*a. Suppose -11 = 4*k - 5*m, -11 = -a*k - 4*m + m. Which is bigger: k or 36?
36
Let a be (16/(-150))/((-2)/(-5)). Let c be 215/627 + 7/(-21). Let b = 432/1463 - c. Which is greater: b or a?
b
Let k(g) = -g**3 + 10*g**2 - 8*g - 5. Let b be k(9). Suppose 5*t = t + b. Let q be t*(-1 + 16/14). Are q and 0 unequal?
True
Let a = -9854 - -9762. Let b = -27 - 66. Is a at most as big as b?
False
Let d = 763/2 + -381. Is d greater than -0.14?
True
Let q = -493171 + 11339252/23. Let z = q + 160. Which is greater: 0 or z?
0
Let q = -347 + 350. Is -13 > q?
False
Let m be 8/(8/9) - 3. Let k = 1 + -2. Is m less than k?
False
Let w(v) = -3*v. Suppose -2*k - 1 = -21. Let t be k/(-15) - 5/(-3). Let o be w(t). Is o greater than or equal to 1?
False
Let b = 23 + -29. Let r be ((-10)/b)/(10/30). Suppose r*l - 3 = 6*l. Is -2 <= l?
False
Let h = 37 + -26. Suppose -108 = h*d - 9*d. Is -55 smaller than d?
True
Let n = -198 + 199. Which is smaller: -1/472 or n?
-1/472
Let q be (-1)/((2 - -2)/(-8)). Let d be (-10 - -10) + (-4)/(-7). Do d and q have different values?
True
Suppose 4*z - 8 = -0*z + 4*q, z - 8 = -5*q. Let a = -89 - -113. Let s be (16/a)/(2/11). Is z < s?
True
Let x be (4/6)/((-2)/(-39))*-5. Let a = x + 70. Is 5 bigger than a?
False
Let l be (3 + (-217)/84)*9/3. Suppose k + 6 = 3*i + 2*k, 0 = -5*i + k + 10. Is l equal to i?
False
Suppose -b + 6*b + 5 = 0. Let n = 2892 + -2879. Which is greater: n or b?
n
Let m = -90 - -89.51. Which is smaller: m or -19?
-19
Suppose -3 = -3*i + 21. Let m(y) = -2*y**3 - 9*y**2 - 6*y - 4. Let p be m(-4). Suppose i - 12 = p*u. Is 1/5 smaller than u?
False
Suppose -4*r - 4*d + 12 = 0, 5*r + 4 = d + 1. Let j(t) = t. Let w be j(r). Suppose w = -3*v - g - 18, -5*v - 40 = 2*g + 3*g. Which is greater: v or -4?
-4
Let c be ((-1)/8)/((-9)/36)*2. Let m = 92/1365 + -2/195. Is m smaller than c?
True
Let r be (-10)/((-60)/18)*(-92)/4. Is -68 not equal to r?
True
Suppose 0 = 4*f - a + 26, 3*f + 3 + 7 = -4*a. Let g = 6 - 1. Suppose -g*p - 35 = -0*p. Which is smaller: p or f?
p
Suppose -a + 7860 = -31*a. Which is smaller: -261 or a?
a
Let j = 6 + -4. Let q = 52001 + -364940/7. Let c = -133 - q. Is j bigger than c?
True
Let n(l) = -l**2 + 3*l + 2. Let t be n(4). Let y be 18/(-24) - t/(-8). Let m = y + 1. Is m at least as big as 0?
True
Suppose 0 = 31*j + 2*j + 264. Which is bigger: j or -4?
-4
Suppose -18 = -24*i + 52*i - 19*i. Suppose 3*v = -0*v - 6. Is v != i?
False
Let b(i) = -2*i + 3. Let q be b(5). Let n(r) = r**2 - 6*r - 3. Let z be 7 + (0 + -1)*2 + 0. Let f be n(z). Is q >= f?
True
Suppose -5*h + 610 + 670 = 0. Is 256 at least as big as h?
True
Let k = 0.0636 - 43.1636. Let d = -43 - k. Let n = 0.9 + 4.1. Are d and n unequal?
True
Let r be (-22)/5 + 4 + 9/(-15). Is r less than or equal to -2/179?
True
Suppose 2*j = 4*j + 4*v - 14, -4*v = 4*j - 20. Let i = -823 - -826. Is j equal to i?
True
Let g = -34 - -36. Suppose -8 = 2*t - i, -g*i - 5 = 3*t - 0*i. Does -10/3 = t?
False
Suppose 18 = 2*d + 4*v, 4*v + 101 = d + 4*d. Let o(y) = d + 10 + y**2 - 7*y + 29*y. Let k be o(-19). Does k = -30?
True
Let g be 1/4 + 1898/24. Let o = 81 - g. Let w(y) = -4*y**3 + 7*y**2 + 2*y + 3. Let j be w(2). Is o smaller than j?
True
Let f = -1714 + 17141/10. Does 19 = f?
False
Suppose -7*k - 3*u - 227 = -5*k, 2*u = -4*k - 450. Is -115 != k?
True
Let n = -5.7 + 32.7. Let q = 30.063 + -0.063. Let w = q - n. Is w < -0.3?
False
Let d be (0 - -2)/(6/(-3)). Suppose -1513 = 3*n - s + 3*s, 1499 = -3*n + 5*s. Let l = -7541/15 - n. Which is smaller: d or l?
d
Let q be 4/(-2) - (-1 + 0). Let a be (-1 - (-107)/111)/(-18 + (-318)/(-18)). Is q bigger than a?
False
Let z = 385 - 383. Let j be 2*2*2/4. Let b be (z/j)/((-17)/(-34)). Which is greater: 3 or b?
3
Let f = 21.99 + -22. Let j = 9.99 - f. Let d = 4 - 5. Which is smaller: j or d?
d
Let i(r) = -2*r**3 + 11*r**2 + 6*r + 5. Let j be 9*(-7)/((-42)/4). Let v be i(j). Suppose -a - 4*g = 20, 2*a - a = -g - v. Which is smaller: 2 or a?
a
Let h = -668/5 + 134. Let v = -13.424 - -0.424. Is h smaller than v?
False
Let s = 7 - 166. Are s and -161 non-equal?
True
Let u be ((-41)/(-3))/(1/3). Is u smaller than 41?
False
Let r be ((-9)/6)/((-1)/(-2)). Let q = 25.2 + -38. Let p = q + 13. Is r less than p?
True
Suppose -o = -1, 2 = q + o - 130. Which is bigger: q or 132?
132
Suppose 2*r + 111 - 5 = -3*u, 116 = -3*u - 4*r. Let f = u + 32. Suppose 3*n - 2*n - 19 = f. Is n != 20?
True
Let b = 198 - 193. Which is smaller: b or 19/4?
19/4
Let m = 7408/41 + -180. Are 2 and m equal?
False
Suppose -a = -0*a - 4. Let j = 1053 + -1051. Is j at least a?
False
Let b = 126.925 + -127. Which is bigger: b or 0?
0
Let f = -71/37240 + 9/392. Suppose 0*b = -b + 1. Is f greater than b?
False
Let o = -8 + 11. Let j = o + 0. Let v = 2099/9 + -233. Is j at least as big as v?
True
Let r be 590/15 - (-32)/(-24). Let b be (-2 + 6)*4/(-1). Let x be 3/r*b/(-12). Which is smaller: x or 0.2?
x
Let b = -411.9 - -319. Let a = b - -88. Let x = -5 - a. Is x < -4?
False
Let u be 35/(-2 - (-18)/12). Which is smaller: -75 or u?
-75
Let y be (84/1235)/(4/(-138)). Let x = y + 163/95. Let k = x + 3/13. Which is greater: 0.3 or k?
0.3
Let m = -43 - 513. Is m smaller than -557?
False
Suppose 1 = 2*g - 3*s, 4*g = -2*s - 1 - 5. Suppose -39 = 13*j - 13. Does g = j?
False
Let j be (-44)/(-60)*-2*-10. Is 14 > j?
False
Let a(m) = -m + 7. Let o be a(3). Let z = 4 - 5. Let w be z + 3 + (1 - 1). Is o smaller than w?
False
Let d(h) = -h + 8. Let r be d(-7). Let t = 15 - r. Suppose 2*k + 0*k = t. Is 7/6 at least k?
True
Let h = -769 - -771. Let u = 5 + 1. Which is smaller: u or h?
h
Let z = -54/13 + 263/104. Is -1 less than or equal to z?
False
Suppose -d = 3, 0 = -2*z + 4*d + 9 + 1. Let g be 372/(-8)*(-4)/(-6). Let h = g + 29. Is h at most z?
True
Let f(q) = 0*q**2 - 5*q**2 - 1 - 2*q - 28*q + 0*q**2. Let l be f(-6). Is 1/87 smaller than l?
False
Suppose -4*h - 41 - 7 = 0. Let u be (1/(-3))/(h/36). Let y be 2/(-12) - u/(-6). Is y at most -4/5?
False
Let k(j) = -4*j + 11. Let l(z) = -3*z + 10. Let h(p) = 2*k(p) - 3*l(p). Let c be h(8). Let o be (-3)/((-4)/(-12) + c). Is -7 greater than o?
True
Let s = 27.8 + -27.2. Is -9 < s?
True
Suppose 0 = 4*h + 4*d + 348, 12*h + 75 = 11*h - 5*d. Is -90 >= h?
True
Let s = -106.948 + 1.148. Let m = 106 + s. Which is greater: 27 or m?
27
Suppose 0 = 4*g + 8, 4*s + 5*g + 13 = s. Let r be 3/(-34)*1*-2. Which is greater: r or s?
r
Let r = 96 - 97. Let o be (r - (-5)/8) + 2. Is 1 greater than or equal to o?
False
Suppose -d - 3*z = 2*d - 2928, 2*d + 5*z - 1949 = 0. Suppose -8*i = -d + 185. Is i >= 99?
True
Suppose 0 = 244*w - 237*w + 7. Which is smaller: 8/221 or w?
w
Suppose -i - 3*m = 6, 2*m + 3 = -5*i - 1. Is -6/43 less than or equal to i?
True
Suppose -31*y + 27*y = -3*f + 672, 4*f - y - 909 = 0. Which is smaller: f or 229?
f
Let h(y) = y**3 + 17*y**2 + 15*y - 7. Let f be h(-16). Let b = f + -79/9. Is b equal to -3?
False
Let y = -115165/8 - -14371. Is y greater than -24?
False
Let i(o) = -5*o - 32. Let u be i(-14). Suppose 2*b + u - 34 = 0. Let x be 1 + (-54)/10 + 2. Which is smaller: b or x?
x
Let k = -0.097 + -0.003. Which is smaller: k or 102?
k
Suppose -2*c - 3*d = -1, 4*c + 5*d = 5*c - 7. Let h be c - (-1)/(2/8). Suppose -26*g 