east as big as 9?
False
Let z = 45.54 - 45.14. Which is smaller: z or 0.157?
0.157
Let m = 87 - 102. Let r = 88 - 103. Is m smaller than r?
False
Let m be 12/2496*(-144776)/116 - -6. Which is greater: 0 or m?
0
Let u be 22*((-20)/35 - 1416/(-112)). Are 266 and u unequal?
True
Let t be 5 + 0 + 1421050/(-283100). Let j = t - 1/149. Is j at least -1?
True
Let w = 3966 + -4347. Which is greater: w or -2291/6?
w
Let k = -653 + 949. Let r = k - 295.87. Which is bigger: r or -0.4?
r
Let o = -5180 + 5179. Which is smaller: -1809 or o?
-1809
Let f(o) = 5*o - 29. Let b be f(6). Let l be 0 + b - 77/11. Let p be (l/18)/(1/3). Is 1/11 <= p?
False
Suppose -5*z = s - 47, -2*z + 32 = 31*s - 30*s. Is s less than or equal to 30?
True
Let v be 56943/(-627) + (-6)/33. Which is smaller: -86 or v?
v
Suppose 5*y + 4*p = -0*p + 3825, -5*p = -3*y + 2295. Let l be 60/y*(-42)/(-4). Is 1 bigger than l?
True
Let t = -18.3 + 19. Let w = -0.13 + -99.87. Let f = w - -97. Is t at least as big as f?
True
Let s = -71 - 67. Let b = 137.8 + s. Is b bigger than 22?
False
Let j be 3 - (594/105)/2. Let z(k) = -k**3 - 17*k**2 + 2*k + 37. Let q be z(-17). Suppose t + 2 = q*s, t + 9 = -4*s - 0. Is s at most as big as j?
True
Let t(m) = m**3 - 4*m**2 - 2*m - 7. Let l be t(5). Let h(i) = -i**2 + 9*i - 5. Let f be h(l). Suppose -54 = f*q + 6*q. Which is bigger: q or 1?
1
Let d be 6/(-10) - (-534)/690. Let y be 6/(-2) - (-9 - -5). Suppose 5*v - y = 4*v. Which is bigger: v or d?
v
Suppose -3*o - 3*m - 24 = 0, 0 = -2*o - m - 15. Let g = -867 - -649. Let x be g/(-6) - o/(-21). Is x at most as big as 35?
False
Suppose 3*z = -r + 6, -5*r - 16*z - 66 = -17*z. Let o be (13/(-2))/(2/4). Which is bigger: r or o?
r
Let c = -26052762257/2450223 + -191/90749. Let f = c + 10634. Which is smaller: f or 0?
0
Suppose -379 = -653*u - 4950. Let j = -2925 + 20417/7. Is j != u?
True
Let t be 1/(-2) + 90/(-20). Let w(q) = -2*q - 23. Let g be w(t). Suppose 14*a + 64 = -104. Which is smaller: a or g?
g
Let c be 1/3 - 170/(-3). Let i = -186581/4 - -46702. Which is bigger: i or c?
c
Let m be 1758834/(-4333635) - (-2)/5. Are m and -1 unequal?
True
Let s(b) = -29*b**2 + 3*b - 4. Let v(l) = -28*l**2 + 3*l - 5. Let u(t) = -3*s(t) + 2*v(t). Let r be u(1). Let f be r/(-8) - (0 + -4). Is f at most -12?
False
Let r be (-3)/2 + (-1182)/(-12). Let y = -94 + r. Suppose 0*z - 70 = m - y*z, 2*m - z = -150. Which is greater: -75 or m?
-75
Let r be ((-4)/6)/((-38)/114). Is r less than or equal to 102/137?
False
Let z be 84338970/(-2350)*(-3)/(-9). Let d = 11963 + z. Is -1 > d?
False
Suppose -75*l - 12*l + 217056 = -11*l. Is 2857 greater than or equal to l?
True
Let l(r) = 433*r + 75. Let g be l(14). Let v = g + -951232/155. Which is smaller: -1 or v?
-1
Let w = -23473 - -23472.8. Which is bigger: w or -4070?
w
Let h = 62 - 49. Let g = h + -14. Let q = 125 - 877/7. Which is bigger: q or g?
q
Suppose -2*f - 2 = 3*a, 8*f - 2*a = 4*f + 28. Suppose -5*h - 5*d + 378 = -1282, 0 = -f*h - d + 1656. Which is smaller: 332 or h?
h
Let c = -12.91 + 12.86. Let x = 7955/26 + -306. Which is smaller: c or x?
c
Suppose -2 = -2*a, -4*g + a + a + 2110 = 0. Let r = -537 + g. Is -26 >= r?
False
Let y = -0.2991 + -2.7009. Which is bigger: y or -5388?
y
Let o = -3.8 + 4. Let t = o - 0.21. Let y be (84/(-15))/(-2) - (-9 + -4 + 16). Is t greater than y?
True
Let k = 47 - 43. Suppose 3*h - m - 24 = 0, 5*h - k*m - 37 = 10. Suppose 0 = y - 3*g - 26, 5 = g - 2*g. Which is greater: y or h?
y
Let u(j) = j**3 + 4*j**2 + 5*j + 6. Let x be u(-4). Let f = 3813 + -3808. Let t be 35/x*(-28)/f. Which is greater: 13 or t?
t
Suppose 0 = -s - 12*d + 1099, 5*s + 3*d - 1757 = 3567. Which is smaller: 1065 or s?
s
Let a = -3059953/30 + 101986. Let f = -25/2 - a. Suppose -4*m - 16 = -6*u + 2*u, -4*m = 5*u + 16. Which is greater: f or u?
u
Suppose 0 = 2*f + i - 5, 2*f - 3*i - 8 = -7*i. Let n(x) = -2*x + 1. Let s be n(0). Let k be 2/(18/33) - s. Which is greater: f or k?
k
Let u = -285 + 285. Suppose -5*n + 2*k + u*k - 1202 = 0, 2*k - 242 = n. Is n > -240?
False
Let k(g) = 66*g + 2825. Let x be k(-46). Which is bigger: -212 or x?
x
Let d = -49 + 56. Suppose -d*h = -10*h - 123. Let k = 36 + h. Is -19/4 > k?
True
Let r be (14/(-12))/((-1)/2). Let m be (16/1520)/((-1)/6). Let h = 208/285 + m. Which is bigger: h or r?
r
Let p be 304/(-264) - (782/1518 + 2/(-6)). Let v be -1 + 0 + (-2 - -1). Is v >= p?
False
Suppose -m + 9 = 4*p, p = 3*m + 4*p - 18. Suppose 4*a + 4*r = -284, 0*a - 5*r = -m*a - 405. Which is smaller: a or -74?
a
Let v = 154993916/3345 - 46336. Which is smaller: 1 or v?
v
Let j(h) = h**3 - 3*h + 4. Let u be j(2). Let f be (-4)/u*(-57)/(-38). Which is greater: f or -11?
f
Let j(g) = -20*g - 6. Let a be j(-8). Let v = -78 + a. Are 76 and v equal?
True
Let j = -392 - -392. Suppose j = -44*o + 9*o - 245. Let d(v) = -v**3 - 5*v**2 - 3*v - 3. Let z be d(-4). Is z greater than or equal to o?
True
Let n = -1588 + 1674. Is n equal to 4?
False
Let i = 5365.3 + -6003. Let t = 638 + i. Which is smaller: 66 or t?
t
Suppose -3*y + 48 = -0*y. Let z be -3*(2 + y/(-12)) + 2. Let n be (-13)/1 - z/(-8). Which is bigger: -12 or n?
-12
Suppose 0 = -5*g + 4*j - 1909, 4*g - 5*g - 5*j = 376. Is -3 less than g?
False
Let u = 34 + -57. Let x = -47 - u. Let k be ((-1)/(-4))/(10/x). Is 0 at most k?
False
Let s = 12/35 - 1/7. Suppose 2*n = -t + 1233, -4*t - 29 + 1277 = 2*n. Let y = n + -598. Is s at least as big as y?
False
Let g be (-1*6/1320)/(12/10). Let i(n) = n**3 - 6*n**2 + 9*n - 5. Let r be i(4). Do g and r have different values?
True
Let o = -17831 - -15222. Are o and 2/3 unequal?
True
Let g = 61.994 + -62. Let f = 0.794 - g. Let m = -37 + 36.8. Are f and m non-equal?
True
Let p = -0.031 - -0.031. Let r = p - -67. Let c = r - 65. Which is bigger: c or 15?
15
Suppose -41*f - 103*f = 720. Let c be 1/(2/10 - 0). Let g be (7/c - 2)*5. Are f and g non-equal?
True
Let t be (-6)/16*75/(-900). Let j = -2 + 1. Which is smaller: t or j?
j
Let z = -1873 + 1862. Let g = 1493 + -10538/7. Do g and z have the same value?
False
Suppose 9018 = 178*k - 3620. Does 0.06 = k?
False
Let w be (-7)/((-105)/(-20))*-165. Suppose 4*j + w = 15*j. Which is smaller: 23 or j?
j
Let q = 21.726 + -22. Let s = q + -0.006. Let b = 0.29 + s. Which is bigger: b or 1/5?
1/5
Let x = 84.99 - 0.99. Let i = -85.979 + x. Let d = -0.021 + i. Which is greater: d or -1/2?
-1/2
Let p = 35.8182 - -0.0818. Let b = p + 0.1. Let v = -1 + 0.9. Is v at most b?
True
Let p = -0.2 - -0.216. Let s = -2940 - -2942.016. Let b = s - p. Is -1 at most as big as b?
True
Let r = -85.59746 - -0.01746. Let g = r + -0.42. Let h = 85 + g. Which is greater: -4 or h?
h
Let d = 1/1547 - -4637/6188. Which is smaller: d or 38/3?
d
Suppose -107*q = -179*q - 261*q - 333. Which is smaller: q or 5/556?
q
Let a = 483 - 501. Let m be (15/(-10))/((-3)/a). Which is smaller: -1 or m?
m
Let l = -676 + 683. Let h be (-2035)/148 + -1 + l. Which is smaller: h or -7?
h
Let z = -6.687 + 6.587. Is z not equal to 119/32?
True
Let b be ((-10)/(-9))/(2/21). Suppose -44*q = -28*q - 7904. Suppose -30*m = 8*m - q. Is m greater than b?
True
Let a(z) = -51 + z + 38 - 2*z. Let p be a(-13). Let l = 444.3 - 444. Do p and l have the same value?
False
Suppose c + 3*t = -32525, 11711 = -2*c - 5*t - 53331. Does -32501 = c?
True
Let g be (-3 - (-20)/8)/(2/120). Let f be 1/4 + ((-175)/(-20) - -6). Suppose 13*u = f*u + 58. Is u equal to g?
False
Let m = 1.331 + -16.331. Which is smaller: m or 95?
m
Let r be (-9)/((-3)/16*4). Suppose -r*j = -7*j - 255. Is 2 at most j?
True
Suppose -25*q + 13*q + 9*q = -1239. Which is smaller: 2888/7 or q?
2888/7
Let d = 20 + -31. Suppose -69 = 20*b + 91 + 20. Does d = b?
False
Let s = 12.519 - 0.519. Is s > 4/45?
True
Let v(h) = -271*h - 281. Let z be v(15). Let i be (18/16)/(246/z). Which is smaller: -19 or i?
i
Let p(g) = g + 15. Let r(a) = a**3 - 7*a**2 + 7*a - 22. Let x be r(5). Let d = -58 - x. Let u be p(d). Is u at least as big as -10?
True
Let b(f) = f**3 - 35*f**2 + 357*f - 22. Let n be b(14). Which is smaller: n or 862?
n
Let n(i) = -i**3 + 7*i**2 - 23*i + 157. Let a be n(7). Let g(k) = 0*k + 4*k - 5 - 2*k**2 + 3*k**2. Let l be g(a). Is -4 at least as big as l?
True
Suppose 194*h + 768 = 170*h. Which is greater: -16 or h?
-16
Let p be (-6)/60*6 