 m = -51.2 + 56.2. Which is bigger: m or 0.138?
m
Let n be (-138)/23 + 2*1. Let f be 1/((28/1155)/n). Which is smaller: f or -166?
-166
Let i = 12 + -12. Suppose -r + 2 + 1 = i. Let h = -307/10 - -69/2. Which is greater: r or h?
h
Suppose d - 4*v - 23 = 0, 3*v - 4 = -d + 12. Let s be -6*3/(-171) - (-1765)/d. Let h(l) = -l + 92. Let k be h(0). Is k smaller than s?
True
Let r = -0.02735 - 66.97265. Which is greater: r or -3/2?
-3/2
Let o = 4506 - 4520.0504. Let z = o + 0.0504. Is 9 >= z?
True
Let r be 21 + 1989/(-36) - 1/(-4). Let a(u) = 9*u + 3. Let k be a(-4). Let p = r - k. Which is smaller: p or 1/24?
p
Let r(q) = -q**3 - 37*q**2 + 55*q - 794. Let v be r(-39). Is v < 142?
True
Let z be 11662/40 - 28/(-140). Let b = 292 - z. Is -78 at most b?
True
Let o = 53.5 + 232.5. Let f = o - 284. Which is greater: f or -1/20?
f
Let z be (-1602)/315*(-35)/14. Is z not equal to 12?
True
Let x = 7970 - 6893. Which is smaller: x or 1076?
1076
Suppose 3*l + 166 = 163. Let n = -561977/177 - -3175. Do l and n have different values?
True
Suppose y - 4 = -1. Suppose -t + 17 = o - 2*o, y*o + 9 = 0. Suppose 5*n + 3*l - 2*l = 9, -2*n + t = 3*l. Is n > -1/21?
True
Let r(x) = -10*x - 27*x - 36 + 43*x. Let k be r(6). Is k at least as big as 2/1191?
False
Let i = 287 + -270. Which is smaller: i or 6?
6
Let a be -9 - (-264)/30 - 2*(-14)/(-10). Is -28 > a?
False
Let q = 110.81 - 70.81. Are -2.38 and q unequal?
True
Let c = 30514 - 122055/4. Is 1/3970 not equal to c?
True
Let y be 1078873008/5933802996 - 2/11. Let a = y - 264009277657/58708687218. Let p = a - 2/653. Which is smaller: p or -2/9?
p
Let x = 271/18 + -1037/36. Which is greater: x or -5?
-5
Let c(b) = 5*b - 39. Let s be c(8). Let d = 2154241927/55 - 39169290. Let u = d - -1255. Which is smaller: s or u?
u
Let f(m) = -2*m**3 + 17*m**2 - 50*m + 11. Let g be f(4). Let k = -16 + 61. Suppose l + 0*l + k = 0. Is g less than l?
False
Let m = -30 - -16. Let i = 27575/18 - 587089/387. Let t = 18/43 - i. Is m equal to t?
False
Let m = 8 + -6. Suppose -13 = -4*l - j + 2*j, -m*l = -5*j - 29. Let h(d) = d**3 - 2*d**2. Let z be h(l). Which is smaller: z or -27?
-27
Let o = 9511 - 9508. Let b be 25/(-2)*(-6)/(-20). Let i = 1/2 - b. Is o != i?
True
Let l = -1706/5115 + -14/465. Which is smaller: l or -53?
-53
Let j = -362 + 367. Suppose 90 = -j*t - 20. Do t and -22 have the same value?
True
Let m(v) = 83*v**2 - 15*v - 77. Let g be m(-5). Which is smaller: g or -1?
-1
Let v(f) = 2*f**2 + 3*f - 36. Let z be v(8). Let b = 123 - z. Let t be (-4)/20*(-85)/b. Which is smaller: 1 or t?
1
Let b = 4.79 + 206.21. Let r = -212 + b. Which is smaller: r or -2.44?
-2.44
Let g(w) = 3431*w - 3131. Let l be g(1). Which is smaller: l or 299?
299
Let p = 8691 + -8692.73. Which is smaller: p or 3.9?
p
Let c be (1 + 26 + 3)/(3/6). Let o = 28 + -62. Let d = 25 - o. Which is smaller: c or d?
d
Let t = 107 - 102. Suppose 0 = u - t*u + 12. Suppose -2*i = k - 30, 3*k + u*i = -k + 100. Is k smaller than 21?
False
Let l = 192 - 74. Let b = -39 + l. Is 78 >= b?
False
Let k be (-11*(-12)/308)/(1/(-7)). Is k != -7/4?
True
Let b be (156/(-36))/(24/(-9) + 3). Let i be ((-1)/3)/(((-156)/b)/(-360)). Is i greater than 4?
True
Let v = -1/1865 - -1867/3730. Which is smaller: v or -42/17?
-42/17
Suppose 0 = -8*p + 5*p - 2*i - 30, -2*p = 5*i + 31. Let c = -145 - -413/3. Which is smaller: c or p?
p
Let o(c) = 6*c**3 + 23*c**2 + 16*c - 8. Let q(p) = -5*p**3 - 22*p**2 - 16*p + 9. Let n(v) = -4*o(v) - 5*q(v). Let f be n(-17). Which is smaller: -0.76 or f?
-0.76
Let m = 12 + 0. Let c = 16 - m. Suppose -3*f = 4*s + 11, 1 = -c*s + 2*f - 3*f. Is s bigger than 1/60?
True
Suppose -2*g - 70 = -7*g. Let f be g/3 - (-26)/(-39). Let b = 9104/7 + -1298. Is b greater than f?
False
Let c = 10567/5 - 2113. Is c at least -5.09?
True
Let h = 285 - 286.91. Let u = -1.71 - h. Which is bigger: u or -11?
u
Suppose -8*j + 21 = -61*t + 64*t, 4*j = -4*t + 28. Which is smaller: 2/121497 or j?
j
Suppose 3*j - 94 = j + 5*f, 3*f - 94 = -2*j. Let d = j + -69. Which is smaller: -0.5 or d?
d
Let k = -0.213 + -141.787. Let r = k - -142. Which is bigger: -1/30 or r?
r
Suppose 0 = 7*c - 15 - 20. Suppose -4*y + c*u - 2 = 0, 2*y - u - 3 = -1. Which is smaller: y or 21/37?
21/37
Let w be (-6 - -40 - 11) + -18. Suppose 2*h - 7*h + 4*r = -40, 0 = -h - 2*r + 8. Which is smaller: w or h?
w
Let f(y) = -1329*y - 10631. Let a be f(-8). Is -1/911 smaller than a?
True
Let l be (-4 + 0 - (-440)/100) + (-13662)/80. Which is bigger: -169 or l?
-169
Let t(f) = -2*f**2 - 104*f + 2011. Let n be t(-67). Let p = 1191 - 113147/95. Which is bigger: n or p?
n
Suppose -2*d = -193 + 793. Let w be (-2 - -20)*((-603)/d + -2). Let z = w + -2/25. Which is smaller: z or 1?
z
Let v = 8195 - 136509/17. Which is smaller: 164 or v?
164
Let q be -6 - (32/208 - 19862/2860). Let y = -13/22 + q. Let h be (-1)/((-2)/1 - -3). Is y bigger than h?
True
Suppose 7*k + 15 = 2*k, -3*k - 13 = -2*q. Let m be 10/(350/21)*q*-5. Which is greater: m or -45/7?
m
Let p = 1.7 + -1.8. Let i = p + -2.3. Let j = -29 - -117/4. Is j at most as big as i?
False
Let u be (-88)/(-231)*(-1 + (-31)/(-28)). Let h(k) = k**3 - 10*k**2 + 9*k - 1. Let m be h(9). Which is smaller: u or m?
m
Let y be ((-20)/(-10))/(4/14). Suppose -5*g - 2*s + 45 = 0, 3*g - 27 = -y*s + 5*s. Suppose 2*u + c - 21 = 0, 2*u + 3*c + 36 = 5*u. Is u greater than g?
True
Let s = 826 - 825.8. Let f = -186 - -453. Is s bigger than f?
False
Let x(n) = n**3 - 97*n**2 + 555*n - 31. Let q be x(6). Let w be 8*(-1)/4*-2. Is q not equal to w?
True
Let k be (12/16)/((-8)/(-32)) - 44. Do -38 and k have the same value?
False
Let j = -97586 - -97585. Let z(l) = 8*l**2 - 2*l. Let t be z(2). Does t = j?
False
Let w(j) = -9*j - 110. Let q be (7 - 1) + 11 + -8. Let s be w(q). Is s at least -191?
True
Let q = -9869/2543380 + -1/5180. Let f be (6/(-10))/(5511/9185). Which is smaller: f or q?
f
Let b be (-2)/((2/7)/((-47)/329)). Which is smaller: -9/575 or b?
-9/575
Let c be (-2184)/234*12/14. Let l be (230/30 + c)*(10 - 1). Which is smaller: -19/6 or l?
-19/6
Let r(i) be the third derivative of 23*i**5/60 + 5*i**4/8 + 7*i**3/3 + 6*i**2. Let v be r(-1). Do v and 22 have different values?
False
Suppose 4*b - 8*b = -2*j - 6, -4*b - 9 = j. Suppose 4*s - 3*c = -0*c + 23, -11 = -2*s + c. Suppose -6*a + 2*a - 25 = -s*z, 3*a + 11 = -4*z. Are z and b unequal?
True
Let n = 135 - 101. Let y be -21 + 18 + 1 + n/18. Which is smaller: y or -0.7?
-0.7
Suppose 7*g - 1202 = -236. Let x = g + -141. Which is smaller: 2 or x?
x
Let y be (26 - 26) + (3 - 1)*1. Let k(q) = 6*q + 22 + q**y - 16 + 0*q**2. Let r be k(-5). Which is greater: r or 3/16?
r
Suppose 11*s = -30092 + 26935. Which is bigger: s or -269?
-269
Let x = 268957/49 + -5489. Let w(s) = -s + 5. Let y be w(4). Which is smaller: y or x?
x
Let u = -28271 + 28270.59. Which is bigger: u or -9?
u
Let o be 6 - ((-3129)/2277 - -6). Let c = 33/23 - o. Is c < 1?
True
Let w(q) = -31*q - 18. Let y = 38 + -22. Let f be w(y). Let u = -6686/13 - f. Is u != 1?
True
Let f be 1466/42 - (-4)/42. Suppose f*n + 0*n = -2555. Is -73 greater than n?
False
Let y = 3.19 - -0.13. Let x = 3.32 - y. Are 0.185 and x nonequal?
True
Let y = 78 + -75. Let h = 60.35 - 47.5. Let i = h - -0.15. Which is greater: y or i?
i
Suppose 0 = -2*l + 4*h - 2, -5*l + 76*h - 81*h + 10 = 0. Let y be (6 - (-1 - 1))/45. Is y bigger than l?
False
Let p = 0.02 - 0.05. Let y = p - 1.97. Let i = -20674 - -20674.2. Which is greater: i or y?
i
Let t be -66*(-6)/180*46. Is t at least -3/5?
True
Let y(u) = 2*u + 19. Let z be y(-10). Let p = -17681 + 11510333/651. Which is greater: z or p?
p
Let f be (-1 - -2) + ((-4)/22 - (-4736)/(-814)). Are -109/21 and f nonequal?
True
Let s(c) = 14*c - 11. Let f be s(0). Let i(o) = o**3 + 8*o**2 + o - 2. Let x be i(-8). Which is bigger: f or x?
x
Let h be -60 - -54 - ((-355395)/61780 - 2/8). Which is greater: -1 or h?
h
Let d = -108 - -109. Let o = -2300 - -78189/34. Which is greater: d or o?
d
Let o = -9434 - -969. Which is smaller: o or -2/5?
o
Suppose 0 - 12 = -4*w. Let b(g) = 3*g + 11. Let u(i) = -3*i - 12. Let j(q) = w*u(q) + 4*b(q). Let a be j(-3). Which is bigger: a or 1/20?
1/20
Let x = -97.3 - -90. Let p = x + 8. Let z be 1/(-6)*10 - 18/(-432)*-8. Which is smaller: p or z?
z
Let m be 