uppose -4*n = n, 3*n = 5*t. Let g be ((-9)/(-2) + t)*-2. Is j > g?
False
Suppose 28*i = 4*h + 25*i - 96, -5*h = 2*i - 97. Let f(t) = -6 - 3*t + 0*t + 0*t + t**2. Let y be f(7). Which is smaller: y or h?
h
Suppose -t + 0*f + 2*f = -51, 2*t - f - 87 = 0. Let i be t/(-76) + (-9)/(-12). Which is bigger: i or 0?
i
Let y be (3/(-36)*-6)/((-10)/20). Which is smaller: 1/2371 or y?
y
Let z be 6/9 + (1778/186 - -3). Let u = z + -89728/6789. Is -1 <= u?
True
Let z = -1 + 3. Suppose -2*s - 12 = z*w, 2*s + 3*w - 3 + 18 = 0. Which is smaller: -14/5 or s?
s
Suppose -3 = -o + 4*o, -o = k - 11. Let s(j) = -2 + 4*j - k*j + 7*j. Let u be s(-4). Is u at least 2/3?
True
Suppose -5*q = -4*u - 10*q - 60, 104 = -5*u + q. Let p be (7/(-2))/((-10)/u). Let v(k) = -k**2 - 9*k - 10. Let y be v(p). Do 3 and y have different values?
True
Suppose 0 = -3*i + 4*i - 3*k - 10, i + 18 = -4*k. Let g be 0/(-4 + 0 - (4 + -7)). Is i != g?
True
Let r = -527/3 + 175. Let m = 0.07 + 0.08. Let f = 0.05 - m. Is f at most as big as r?
False
Let q be (1/2)/(3/24). Suppose 0 = h - 3*h - q. Suppose -7*w = -4*w. Which is smaller: w or h?
h
Let f(k) = 14*k - 320. Let d be f(13). Which is smaller: -132 or d?
d
Let v = 10 - 2. Suppose 4*n - v = 2*n. Suppose 3*d - 15 = 0, 1 = 5*p - d - n. Which is smaller: p or 3?
p
Let g be (-19)/5 - -3 - 267/(-15). Do 124/7 and g have different values?
True
Let b = -15 + 21. Let l = -1 + b. Suppose l*r + 15 = 5*j, 0 = r + 1 + 1. Is j smaller than -1/3?
False
Let w be (8/(-10))/(3546/885 - 4). Which is bigger: -120 or w?
w
Let r(x) = -x + 11. Let i be r(12). Let s be i/2 - (-132)/(-72). Is -3 >= s?
False
Suppose 2 = -5*m + 2*z + 5, 0 = 2*z - 2. Which is greater: m or 2/587?
m
Let l(o) = o - 1. Let g(y) = -8*y + 11. Let b(h) = -g(h) - 4*l(h). Suppose 0 = -2*n - 163*t + 165*t - 6, -n - 8 = -2*t. Let i be b(n). Is 1/43 at most i?
True
Suppose 579*g = 584*g + 2995. Is -599 smaller than g?
False
Let o be (-182)/(-2) - (3 + -2). Let v be (-2)/(-4) - 117/o. Let f = 1.2 + -0.2. Which is smaller: f or v?
v
Let x = 411.23 + -411. Is x != 2/69?
True
Suppose 5*x - 34 = -h, -5*x - 119 = -2*h - 36. Let w = 40 - h. Is w bigger than -6/29?
True
Let w = -2 + 1. Is w <= -9/19?
True
Suppose -5*v - 3*r + 7*r = -32, 4*v = r + 19. Suppose 5*z = 4*z + v. Let s be (-248)/(-280) - z/14. Is 1 <= s?
False
Suppose -4*z = 5*r - 42, z = 3*r + 3 - 1. Let j be 14/z + (-5)/(-20). Is j at least as big as 12/5?
False
Let d be 2/7 - 1159/(-133). Let b(u) = 1. Let v(m) = -m + 18. Let a(c) = -6*b(c) + v(c). Let z be a(d). Is z at most as big as 7/4?
False
Suppose -5*s = -2*c + 17 + 10, -4*s + 4*c - 12 = 0. Let v be 1/2*s - 1. Suppose 5*m - 115*g + 114*g = -22, 4*g = -2*m. Which is smaller: v or m?
v
Let u be (2/(-36))/((-5)/(-20)). Let i = -56 + 70. Which is smaller: i or u?
u
Let s = 558 - 507. Is 0 equal to s?
False
Suppose 2*b + 2 = 2*x, 0*b - 3*x + 11 = b. Suppose b*c + 1 = 3*t, -3*c - 4*t = -2*c - 5. Let d be (-3 - 128/(-36)) + c. Is d at least 2?
False
Let g = -71 + 79.4. Let i = -0.6 - g. Let t = i - -8. Which is smaller: -4 or t?
-4
Suppose 5*t + 44*t = -29*t + 780. Suppose 36 + 19 = 5*q. Which is greater: q or t?
q
Let a = 4499/265224 + -3/2056. Suppose f - 8 = 2*l, -6*f = -4*f + 4*l + 16. Which is smaller: a or f?
f
Let n be (-703)/2 - 3/(-6). Let a = 1747/5 + n. Suppose 8 = -2*w - 2*z, -5*w + 52*z - 49*z - 4 = 0. Is a less than or equal to w?
False
Suppose 6*t - 3*t + 39 = 0. Let w(k) = -10*k - 114. Let n(d) = 2*d + 23. Let v(r) = 11*n(r) + 2*w(r). Let m be v(t). Which is smaller: -2/9 or m?
m
Let y(s) = 47*s**2 - 3*s - 2. Let h be y(-2). Let j be h/(-630) - (-4)/10. Which is smaller: 1 or j?
j
Let v = -93 - -93.2. Which is greater: v or -37?
v
Let n(t) = t + 3. Let f be n(-5). Let p = 4479883/13316 + -1/93212. Let k = p - 337. Are f and k non-equal?
True
Let l = -22 + 21. Suppose -2*a = -2*k - 7*a + 276, -4*a - 16 = 0. Let o be 0 + 1 - 140/k. Which is smaller: o or l?
l
Let q(k) = 19*k**3 - 1. Let h be q(1). Suppose h + 37 = 5*s. Which is bigger: s or 1?
s
Let u be (-20)/(-70) + 66/(-35). Suppose -2*v - 1 = -5*i - 2, 3*i + 13 = -5*v. Which is bigger: u or v?
u
Suppose -3*a = -s + 1843, 3*s + 3*a + a = 5516. Let n be s/376 + -5 + 0. Which is smaller: -1 or n?
-1
Let m = 77 + -76. Let q be ((-2)/(-156))/(13/52). Which is smaller: m or q?
q
Let v(j) = -5*j. Let a be v(2). Let h = 131 - 86. Suppose 0*q = 5*q + h. Is a != q?
True
Let k(i) = -i**3 + 23*i**2 - 1. Let z be k(23). Is z less than or equal to -1/2612?
True
Let h(t) = t. Let d(j) = -5*j + 12. Let y(a) = d(a) + 3*h(a). Let u be y(5). Which is smaller: u or 20/11?
20/11
Let z(f) = f - 2. Let s be z(0). Let o = -23 + 11. Let t be (3 - 1) + 5*o/30. Are t and s nonequal?
True
Let c be (4/(-6))/((-2)/(-6)). Let p = c - -8. Let m be ((-2)/p)/((-6)/270). Is 14 > m?
False
Suppose 0*m = 3*m - 3*z, 3*z = -2*m + 5. Let d(q) = -q**2 - q + 11. Let l be d(-4). Let f be (111/(-130) - l) + (-10)/(-65). Is f greater than m?
False
Suppose 5*b = -m - 27, -3*m = 4*b - 9*b - 39. Let l = b - -5. Let k = 3 - 8. Which is smaller: l or k?
k
Let k(l) = -l + 9. Let b be k(9). Suppose b = 2*g + 4. Let c be (g/(-51))/(6/18). Is c less than or equal to 1?
True
Let j be (-4)/(-18) - (-35)/45. Let i = -610292 + 7938517/13. Let n = 363 - i. Which is greater: n or j?
j
Let j = 0.23 + -0.43. Do j and 20 have different values?
True
Let l be 3 + 0 - (5 - 79). Let i be (-4480)/l + (-2)/(-11). Which is smaller: i or -56?
i
Let u = 232 + -242. Which is smaller: u or -72/7?
-72/7
Let t = 40 - 42. Suppose -2*q + 4 = -d, 2*q + 5*d - 22 = -2*q. Suppose m - q*m = -8. Which is smaller: t or m?
t
Let n = -851 + 943. Is n bigger than 91?
True
Let o = -311.2 - -243. Let n = -74 - o. Which is smaller: 1 or n?
n
Suppose -9 = w + 4*t, 3*w - w + 5*t = -21. Let g = -31 + 41. Let d = g + w. Is d less than or equal to -3?
True
Suppose 10*p + 2 = 11*p. Suppose -6 - 7 = n - 3*f, 2*n + 5*f - 7 = 0. Let m = n + 4. Which is smaller: m or p?
m
Suppose 5*u + 350 = -5*n, 2*n + 3*n + 354 = -3*u. Let p = n + 86. Which is bigger: 13 or p?
p
Suppose 58*d - 5*y = 53*d + 30, 5*y = -3*d - 22. Which is bigger: d or -1/234?
d
Let q = -0.373 - -206.373. Which is bigger: q or 0.2?
q
Let j = 69 + -56. Let q = j - 16. Does q = 6?
False
Let p = 45 - 45.41. Let i = p + -18.59. Which is greater: -1 or i?
-1
Let k be 4/(-18) - (-140)/306. Suppose -4*v = -72*v - 68. Which is bigger: k or v?
k
Let j = -54/119 - 16/119. Let i = 57/68 + j. Is i > 0.3?
False
Suppose 4*z - 6 - 2 = 2*s, 2*z = 3*s - 8. Let l be (4/6*s)/((-4)/10). Is -0.2 < l?
False
Let u = -7.35 + 8.25. Let o = -0.2 + 1. Let x = o - u. Is -0.1 equal to x?
True
Let n = -0.2 - -0.8. Let p = 0.61 - n. Let h = -0.71 + p. Is h at most as big as -1?
False
Let l = -144 + 135. Is l less than -0.5?
True
Let q = -72 + 90. Let p = q + -41. Is -25 at most as big as p?
True
Suppose -2*d - 13 - 7 = 0. Let t be 3/(14/20 - 1). Are d and t equal?
True
Let j = -137.57 - -138. Let x = -0.57 - j. Are x and 64 nonequal?
True
Let r = -43102877/1774 + 24297. Which is smaller: -1 or r?
-1
Suppose 4*s = -2*w - 24, 5*s = 5*w - 0*s - 15. Let b be -2*11/(-10) + w. Let y(i) = -i - 3. Let p be y(-2). Which is greater: p or b?
b
Let i = 29610/37 - 3201/4. Which is smaller: 0 or i?
0
Let j be ((-4)/8)/((-6)/9). Which is smaller: j or 64?
j
Suppose 2*x + 6 = 4*d, x + 15 = 3*d - 4*x. Let h be 38/46 - (-48)/(-48). Are h and d unequal?
True
Let q = -1462 + 1461. Which is bigger: q or -188?
q
Let k be 643/(-805) + ((-704)/(-55) - 12). Which is smaller: 1 or k?
k
Let w be (-14)/(-21)*9/(-3). Let o be (-648)/(-135) + w/(-10). Which is greater: 1/4 or o?
o
Let s = 7 - 15. Let v(y) = y**2 - 4*y + 16. Let g be v(s). Let h be (-2)/4 - (-40)/g. Is h > -1?
True
Let s = -21 + -9. Let w = -444 + 415. Which is bigger: s or w?
w
Let n = -0.12 - -6.12. Is -2/67 smaller than n?
True
Let a be 3/7 - 495/77. Let u be (52/20)/((-2)/5). Which is smaller: a or u?
u
Let m = 2.8 + 0.2. Let r(x) = x**3 - 5*x**2 + x + 3. Let h be r(6). Let p be (h/120)/(6/4). Which is smaller: m or p?
p
Let b = 0 + -1. Suppose 0 = -0*p - 3*p + 1131. Let r = p - 7165/19. Is r greater than b?
True
Let m = 475723/50 - 9515. Let o = m + 1/2. Is o > -1?
True
Let p(w) = 2*w**3 + 9*w**2 - w - 4. Let v(g) = -g**3 - g + 1. Let j(k) = -