 543*x - 21 = 540*x. Let f be 514/(-84) + (-6 - (-44)/x). Which is smaller: -6 or f?
-6
Let b = -4746.9 + 4374. Let k = b + 373. Is k <= -7?
False
Let g = 66 - 63. Let c = g - -17. Let f(y) = -y**2 + 19*y + 21. Let b be f(c). Which is smaller: -1/12 or b?
-1/12
Let w(o) = -10*o + 6. Let m be w(9). Let y = -1918 + 1833. Is m less than or equal to y?
False
Let d = -1133/42 - -131/6. Let o = 8.2 - 13. Let w = o + 4.9. Is w >= d?
True
Suppose -f = f - 2024. Let k = f + -260086/257. Let z be ((-2)/(-15)*5)/(13 + 1258/(-102)). Is k < z?
True
Let v = 146.2 - 146. Let z = 51 + -41. Let r be (-684)/(-90) - (-4)/z. Which is smaller: r or v?
v
Let u = 114.09 - 114.1. Let i be 5/((-30)/4)*-9. Let y be (1/5)/(i/45). Do u and y have the same value?
False
Let y be -1*48/(6/1). Let b be 1/(-2)*1/(y/(-18)). Are -2 and b equal?
False
Let d = 1.7175 + -1.705. Which is greater: d or -0.4?
d
Let l(t) = -2*t**3 - 34*t**2 - 25*t - 67. Let a be l(-16). Let u = -178 - a. Which is smaller: 1/370 or u?
1/370
Suppose h - 82 + 83 = 0. Is 1/3535 at most h?
False
Suppose 2*a = -h - 751 - 4297, 15224 = -3*h + 4*a. Does h = -5065?
False
Suppose -3*k = 3*c - 309, -91 = -7*k + 6*k - 4*c. Let u = 118 - k. Suppose 8*f = 3*f - 4*r + u, -2*f - 4*r + 14 = 0. Do -12 and f have different values?
True
Let x = -13643 + 13074. Is x at most -11?
True
Let x = 9/944 + -4037/472944. Which is smaller: x or -1?
-1
Suppose 7*p - 2*p + 2956 = -3*t, 0 = -4*t - 8. Let r = p - -415. Are -174 and r equal?
False
Let g = 105779/2741370 - 53/1370. Which is smaller: g or 1?
g
Let f = 0.1478 - 1.5418. Let r = -0.394 - f. Is -29 at least r?
False
Let t be 8 + 184/(-96)*4. Let v be 551/(-114) - 1*-3. Which is bigger: t or v?
t
Let u = -22 + -55. Let h = u - -77.9. Is -3 less than h?
True
Let h = -437.86 - -441. Let p = -3.49 + h. Which is smaller: -1/4 or p?
p
Suppose -s + 3 = w, 4*s + 0*w - 5*w = 30. Let o be (-45)/(-6)*(-4)/5 + 8. Suppose o*t + 3*t = s. Are 2/95 and t nonequal?
True
Suppose 41*r - 36*r - 20 = 0. Let c be -1*((-2)/r)/((-133)/(-76)). Which is bigger: c or -2/15?
c
Let k be -17 + (17 - 9/(-18)). Which is smaller: k or -0.1138?
-0.1138
Let l = -0.46 + 0.06. Let x = 5.9093 - 5.1093. Are l and x nonequal?
True
Suppose x - 1 = 2*j, 3*x - 16 = -5*j - 2. Is j bigger than 62/281?
True
Let j = -881017/2 - -440444. Let v be 26/(2*2/(-10)). Which is greater: j or v?
j
Let n(h) = h**3 - 3*h**2 + 4*h - 2. Suppose 2 = 5*q - 13. Let i be n(q). Let d be 18/(-12)*i/(-1). Which is bigger: 14 or d?
d
Let p = -105.65 - -107. Let t = 1.45 - p. Let f = -3 - -3.18. Which is smaller: t or f?
t
Suppose 10*o - 9*o + 34*o = -8470. Is o at least -238?
False
Let s be 5/((-70)/(-4)) - (-276)/14. Let z be ((-36)/(-4))/(12/16). Let f be -10*(-27)/z + (-1)/(-2). Which is smaller: f or s?
s
Let c be (-116)/(-696) - 3182/18948. Is 0 != c?
True
Let o be (-264)/330 - 67994/(-85030). Which is greater: o or 1?
1
Let u be 132*((-4)/(-18) - (-1060)/(-72)). Let g = u - -350260/183. Is g > -1?
True
Let b = 38172350169819/2532661 + -15072033. Let z = b - -49364095287/111437084. Let m = -443 + z. Which is smaller: 0 or m?
m
Suppose -4*s + 24 = -20. Let n = s - 3. Let r be (-36)/n*60/(-27). Is r != 9?
True
Suppose 2*p - 4 = -0*p. Suppose 0 = p*l - 61 + 51. Suppose -l*q = 31 + 14. Which is smaller: -55/6 or q?
-55/6
Let p = -213 + 227. Let f be 2 - (1398/903 + 6/p). Which is smaller: f or 0?
0
Suppose -5*q = -2*l + 3846, 0 = 4*l - 28*q + 29*q - 7670. Which is bigger: 1917 or l?
l
Let d = -4201787/2034228 + -1/33348. Let t = d + 9686/4453. Which is bigger: t or -1?
t
Let r(a) = a - 12. Let k be r(15). Suppose 2*g + 5*y - 11 = 0, 7*y - 2*y = -g + 8. Suppose -5*m - 4*w + 35 = w, g*m + 2*w = 21. Is m <= k?
False
Let o(g) = -g + 26. Let f be o(24). Let t be -1 - f - (-12 - 3/3). Suppose 2*p + 5 = 23. Which is greater: t or p?
t
Let d(v) = v**2 - 12*v + 2*v**2 - 7*v**2 + 17 + 3*v**2. Let f be d(-13). Suppose -f*r + 73 = 3*l, 2*l - 4*r = -2*r + 58. Which is smaller: l or 28?
l
Suppose 6*q - 3*q = -0*q. Let s be (5 + q)/20*44. Suppose -s*h - 10*h = -20*h. Which is bigger: h or -2?
h
Let b be 6 + (-1 - -3) + 15. Let s = 30 + -3. Suppose -8 = b*y - s*y. Is y greater than 10/11?
True
Let i be 9/(-18) + 462/876. Suppose -4*t = g + 7, 2*t = 3*g + 4 + 3. Which is bigger: i or t?
i
Let o = 20 - 23.2. Let b = -105.9 - -109. Let x = o + b. Is 11 < x?
False
Let v = -25956 - -25930. Which is bigger: v or -249/10?
-249/10
Suppose 6432 = 11*r - 35*r. Let c = r - -222. Is -44 greater than or equal to c?
True
Let d(j) = -2*j + 18. Let s be d(11). Let f = 45 - 43. Let o be (f/3)/(5/36)*-1. Which is smaller: s or o?
o
Let y(p) = -p**2 + 7*p - 12. Let f be y(11). Suppose 2*v + 4 = -0. Let l be (v/(-10))/(f/(-60)). Which is smaller: -1 or l?
-1
Let r be (-358)/724 + 1/2. Let j(f) = -31*f + 50 + 264 + 10*f. Let u be j(15). Is u >= r?
False
Let i = 168.7618 + -168.7. Which is smaller: 2 or i?
i
Suppose -754*z - 5*k = -749*z - 115, z - 11 = 2*k. Is 7.1 at least as big as z?
False
Suppose -2264 = 4*i + 4*m, -3*i - 2*m - 3*m = 1694. Let j = 250 + i. Is j <= -317?
True
Let q = -130106253/23074480 - -3095/22187. Let t = 71/13 + q. Which is smaller: t or 0?
t
Let o be 41/84 + (-2)/3. Let l(s) = -2*s**2 - 10*s + 13. Let f be l(-6). Which is bigger: o or f?
f
Let x be 4/6*(-6)/(-5) - (-247510)/(-94075). Which is bigger: -2 or x?
x
Suppose 0 - 9 = 3*a. Let p be -154 + (4 - 4) - 0. Let w be p/(-210) - (-2)/((-10)/a). Which is smaller: -2/7 or w?
-2/7
Let o(h) = 5*h**2 + 2*h - 3. Let i(a) = a**2 - 12*a + 3. Let b = -2 + 14. Let r be i(b). Let l be o(r). Do l and 47 have different values?
True
Let b(r) = -4*r**3 - 2*r**2 - 5*r - 4. Let q be b(-1). Suppose -q*p - 12 = 0, -2*y + 4*p = -7*y - 46. Which is bigger: y or -1?
-1
Let g(r) = -3859*r - 67. Let s be g(1). Which is greater: s or -3925?
-3925
Let z = -0.5 - -0.3. Let o be (-30)/2700*27*(10/(-85) - (-3914)/34). Are z and o nonequal?
True
Suppose -c + 200 = -3*v, -3*v + 6*v = -2*c - 194. Let r = v - -68. Let z be 2/4 + r/(4/111). Are z and 56 equal?
True
Let l be 506/23 - 19 - 91. Which is greater: l or -146?
l
Suppose 14*w - 9*w = -25. Let j be w/45 - (-52)/(-18). Let s = j + 2. Is s bigger than -3?
True
Let x = -332031118923687409/55860516030 + -1/5078228730. Let c = x + 5940055. Let h = c - -3881. Is h at least 3?
True
Let w = 157 + -154. Suppose u - 265 - 483 = 0. Let x be 2/7 - u/(-77). Which is smaller: w or x?
w
Let t(g) = -2*g**2 + 15*g - 51. Let z be t(7). Which is smaller: z or 1?
z
Let u = -17689 + 18031. Is u less than 345?
True
Let l be (-12477621)/(-6653784) - 30/16. Which is smaller: 1 or l?
l
Suppose 0 = -5*k + 4014 - 4014. Which is smaller: 1/1102 or k?
k
Let w = -1.3 + -0.05. Let x = w - 29.55. Let s = x - -31. Which is smaller: s or 2?
s
Suppose 8*d + 9072 = 9064. Let m be (-50)/496 - (-14)/112. Which is smaller: m or d?
d
Let b = -44 - -44. Let q(z) = 497*z + 5. Let m be q(3). Let w = -118186/79 + m. Which is smaller: b or w?
w
Let s = -3215/802844 + -3/2164. Let k(r) = -5*r + 10*r + 0*r + 12 + 7*r - r + 2*r**2. Let w be k(-4). Which is bigger: s or w?
w
Let t(d) = -2*d**2 - 171*d + 2633. Let c be t(-85). Is c < 2722?
True
Let f = -1308 + 1358. Which is smaller: f or -4/7?
-4/7
Let d = 748299086062/1405 + -532597244. Let h = d + 34/281. Are -30 and h unequal?
True
Let o be -7 + 30063/(-6325) - (-4)/(-46). Which is bigger: o or -13?
o
Suppose -25*q = -29*q - 528. Suppose -z - 2*z - k = 398, 5*z + k + 664 = 0. Which is smaller: q or z?
z
Suppose -1143 = 110*u + 25587. Which is smaller: u or -229?
u
Suppose 33*f = 35*f, 489 = -a - 5*f. Let y = a - -44. Which is greater: y or -444?
-444
Let w(k) = k**3 + 15*k**2 + 17*k - 15. Let n be w(-13). Suppose m + 19 = -4*j + n, 54 = 3*j - 2*m. Let f = -13 + j. Which is smaller: 3 or f?
3
Let d be 170/136*(6 - 790). Is -981 at most d?
True
Let z be 14/(-28) - (4/10 + 78/(-20)). Which is smaller: z or 53/34?
53/34
Let g = 198 + 254. Suppose -451*j + g*j + 1 = 0. Which is smaller: j or -1/54?
j
Let c be (-4 - (-3 + (-189)/183))/(0 + 1). Which is smaller: c or -61?
-61
Let w be ((-452)/32)/(-1)*240/(-140). Is -23 at most as big as w?
False
Suppose -5*c - 47 = -4*z, -4*c = -8*z + 3*z + 43. Let k be ((-2)/(-6))/(14/84). Let y be (72/(-45))/(k/5). Which is smaller: y or