e -4*t + 122 = -3*a + 313, 4*a + 24 = -t. Let m be ((-32)/t)/(-4) + 42/(-132). Which is smaller: m or r?
r
Let h = -0.07 - 2.93. Let m = 86 + -69. Let y = m - 17.27. Which is smaller: y or h?
h
Let u = 1720.902 + -1669. Let j = 0.098 + u. Is 4/5 at most as big as j?
True
Let v be (5 - (-50)/18)/(5/(-120)). Which is greater: -187 or v?
v
Let h(w) = 2*w - 104. Let p be h(52). Which is smaller: p or 1/7725?
p
Let f = -119862/67 - -1789. Let s(r) = r**2 - 4*r + 3. Let c be s(4). Suppose 0 = -c*y + 3*x - x - 4, -x = 3*y - 2. Which is smaller: y or f?
y
Let l be (-5)/(-10) - 131/2. Let f = -65 - l. Is f != 2/193?
True
Let n = 36 + -34. Let t = -25 - -28. Suppose 0 = -t*h - 3*j - 3, 5*h + 6*j = 2*j - 2. Are h and n equal?
True
Let p(m) = -m**2. Let o be p(1). Let a(s) = -s - 12. Let z be a(8). Let f = z - -216/11. Which is greater: o or f?
f
Suppose 32*f + 21*f - 8056 = 0. Let s be -28*((-57)/f)/(3/(-34)). Which is smaller: s or -1/3?
s
Let b = 5791637/2406 + -2004/401. Let l = -2393 + b. Suppose -4*a - 5*v = -7, -5*v = 71*a - 75*a + 57. Which is greater: a or l?
l
Suppose -422 = -3*f - 2*y, 137 = -0*f + f - 3*y. Let c be ((-12)/70)/((-224)/f). Which is smaller: c or 1?
c
Let w be ((-11)/(-33))/((-2)/(-102)). Suppose 758 + 2770 = 196*k. Which is smaller: k or w?
w
Suppose d - 138 = -j, 122 = -13*d + 14*d + 5*j. Which is bigger: 149 or d?
149
Let q = -91691 + 91691. Let k be (-2)/(-7) - 69/266. Which is smaller: q or k?
q
Let k = -31/4 + 147/20. Are k and -16/9 equal?
False
Let d be 12*(-4)/(-6 + 2). Let n be 1*(-3 + d/3). Which is bigger: 32/15 or n?
32/15
Let x = -72316/69 - -1048. Let o(g) = -g**3 - 3*g**2 - 5*g - 5. Let v be o(-2). Is x smaller than v?
True
Let u be 2/(-21)*(8 + (-6433)/35). Let v = -120/7 + u. Is -7 < v?
True
Let m be (-1961076)/(-2952) + (-10)/(-6). Let b = 666 - m. Which is smaller: b or 1?
b
Let f = -125.48 - -74.6. Let y = f - -49. Let h = -0.48 - y. Is 1/2 greater than or equal to h?
False
Suppose 40*u - 23 - 560 = -103. Let k = -80 - -639/8. Is u less than k?
False
Suppose -2*d + d = 1. Suppose -4*r - 1 = -5*w, -4*w - r = 7 + 9. Let h be ((-2)/w)/(5512/(-156)). Is d at most as big as h?
True
Let s be 12/(-260)*18*-265. Let l = s - 220. Let z = -2760 - -2759. Do z and l have the same value?
False
Let u(c) = 2*c**2 - 14*c + 2. Let x be u(10). Suppose 16*a - 202 = -6*a + 1140. Which is smaller: x or a?
a
Suppose 5824 = -37*q - 1440 - 3836. Which is bigger: -299 or q?
-299
Let b be -6*5/((-10)/22). Let v = b + -125/2. Let j = v - 47/14. Which is bigger: -2/5 or j?
j
Let i be 56416/(-10920) - (-6)/((-18)/(-15)). Let r = 2/15 + i. Which is greater: -1 or r?
r
Let b = 3943 - 4051. Let q = 182 - 181.9. Is q < b?
False
Suppose 4*f + b = 9*f + 304, b - 124 = 2*f. Let u = f - -60. Suppose v - 5*c - 10 = u, -2*v - 4 = -0*v + 2*c. Which is smaller: v or -1/7?
-1/7
Suppose -4*b + 233 = 177. Let j be (-27)/(-63) + 8/b. Which is smaller: -19 or j?
-19
Suppose 0 = -51*s + 251251 - 70507. Which is smaller: s or 3543?
3543
Let w = -79 - 32. Let f = -112 - w. Is f less than or equal to -0.01?
True
Suppose 79*k = 86*k + 1449. Let h be (23/k)/(2/4). Which is smaller: h or 5?
h
Let i be -1 - 6/(-14) - (-2688)/(-784). Let q be (2/i)/(29/1044). Is -109/6 <= q?
True
Suppose 4*m = 3*n + 404, 0*n + 2*n - 3*m + 270 = 0. Let y = 141 + n. Is 12 not equal to y?
True
Let r = 12 - 8. Suppose 3*v = r*p + 113, -3 - 4 = p - 5*v. Let f = 33 + p. Which is smaller: f or 3/25?
3/25
Suppose -3*m = 5*t + 220, -3*m - 132 = 2*t + t. Let g = t - -45. Is 4/27 less than or equal to g?
True
Let x = 57 - 30. Suppose -2*j + 59 = -x. Suppose -j = -4*m - m - y, 5*y - 17 = -3*m. Is m bigger than 3?
True
Let l = 59 - 56. Suppose -5*i + 2*r = -10, i + l*i + 2*r = 8. Let s be i/(-6) + 168/423. Is 1 <= s?
False
Let w be (0 - (-4)/4) + (-6 - -6). Let o be (-4)/8 - 10/(-4) - w. Is o at least -2/177?
True
Suppose -435*c + 8687 = -508*c. Is -72 < c?
False
Suppose -j + 3 = -0. Let l be (3 - j)/(4 + -5). Which is greater: -4/13 or l?
l
Let f = 5961/82 + -145/2. Let i = -1123 - -1122. Which is smaller: i or f?
i
Suppose 243*s - 207534 = -126*s - 9012. Which is bigger: s or 535?
s
Let h(y) = y**2 + 4*y + 1. Let o be h(-2). Let k = 216 + -127. Let c = -96 + k. Is o < c?
False
Let w be 33/121 - 136307/509795. Is w bigger than 1?
False
Let t(i) = -i**2 + 52*i - 395. Let u be t(10). Which is smaller: 1/4 or u?
1/4
Let t = -8397 + 8399. Which is greater: t or 118/49?
118/49
Let x = 113 + -113. Let j be (4 - (2 + -1)) + 9956/(-3268). Is x < j?
False
Let q = 1581.7 + -1843. Let f = 261 + q. Which is bigger: 2/399 or f?
2/399
Suppose 342 = 21*u + 783. Is u smaller than -21?
False
Let n = -102 - -101.6. Let u = n - 1.6. Which is smaller: u or 29?
u
Let v = 7170 + -7145. Is 558 >= v?
True
Let n be (-3)/(-81)*1*(-72 - 11). Is -2 < n?
False
Let u be (-3)/(-7) + 1840/280. Suppose 2*s - 3*j = 6, -3 + u = -2*j. Is 14/69 greater than or equal to s?
True
Let i be 3 + 4 + 1 + -2. Suppose i*n + 58 + 26 = 0. Let c(q) = -2*q**2 + 5*q - 3. Let f be c(4). Is n > f?
True
Let t = -57 + 45. Let z = t + 36. Suppose -4*w + z = -2*m - 2*m, -2*w = -5*m - 27. Which is greater: 2/25 or w?
w
Suppose 114*r = 26*r - 365552. Which is greater: -1 or r?
-1
Let w be 1/(-3) - 1142/3. Is -382 < w?
True
Suppose -z - 6 = -3*l - 11, z - 9 = 5*l. Is z <= 9/710?
True
Let h be 30/105 - (25269/(-35553) - -1). Which is smaller: 0 or h?
h
Let p = 51 - 18. Let t = 434.01 + -433.01. Which is smaller: p or t?
t
Suppose -4*x + 11 = 3*o, 6*x - 5*o = 2*x + 3. Let r(p) = p**3 - p**2 - p. Let i be r(x). Let h be (2/6)/(16/(-12)*i). Is 3 at most h?
False
Let w be (-10 - -1)*(-4)/(-1). Let v be 1*1/3 + (-204)/w. Is v bigger than 9?
False
Let u = 1.88 + -6.88. Let o be 354/(-216) + (-6)/54. Is o less than u?
False
Let p(u) = 2*u - 6. Suppose 2*j - 8 = -20. Let g be p(j). Let m = -252068 + 252049. Is m <= g?
True
Suppose 10*f - 2803 = 20367. Do f and 2317 have different values?
False
Let t be ((-13)/(-208) - 375/3440)/(12/21). Which is smaller: 1 or t?
t
Let y = -13438 + 13527. Which is bigger: y or 1316/15?
y
Let u be (1 + -22)/(2/(-28)). Let g = u - 5584/19. Suppose 9 = 3*j + 3*l, 7 + 11 = 2*j + 5*l. Is g at least as big as j?
True
Let o be (-5 - 28/(-6))*(-516)/4. Suppose 55*j = o*j + 1044. Is j at most as big as 173/2?
False
Let g(s) = 2*s**3 + 57*s**2 - 32*s - 109. Let q be g(-29). Suppose -16 = 4*w + 60. Which is greater: q or w?
w
Let t = 8606 + -8606.13. Do 6.8 and t have the same value?
False
Let o(y) = y**3 + 10*y**2 + 2*y - 10. Let r be o(-7). Let w = -342435 - -342558. Are w and r non-equal?
False
Suppose -295*z + 10183 = -10172. Does 561/8 = z?
False
Let n = -56 + 18. Let l = n + 43. Suppose 37 = -l*u - v, 2*v + 6 = 4*v. Which is bigger: -9 or u?
u
Let d be ((-19980)/(-33435) + 3/(-5))*20/(-2). Which is greater: d or 1?
1
Let x be (-17094)/121 + 4/(8/(-6)). Let p = -144 - x. Let l = -43/77 + p. Is l equal to -2/35?
False
Let m = -170.652 - 0.348. Let x = m - -178. Which is greater: -2/9 or x?
x
Let o be (0 + -4)/(-3*(-2)/(-6)). Let a(i) = 5*i - 15. Let u be a(o). Suppose 30*v - 35*v = u. Which is greater: v or -1/21?
-1/21
Let z be (-1 + 2)/((-8)/152). Let a = z + 22. Suppose -a*r - 14 = n - 6*n, -4*n + 19 = -5*r. Is -1/13 <= n?
True
Let h = -187.62 + 4.62. Is 1/34 != h?
True
Suppose -13*q + 169 = -182*q. Which is smaller: 3/2239 or q?
q
Let r = -10329 + 15650. Is r at most 5320?
False
Let t = -20.3 - -2.3. Let g be (432/160)/((1/(-52))/1). Let z = g + 140. Which is greater: z or t?
z
Let p be (13*8/208)/((-1)/2)*0. Does p = 91/86?
False
Let r(a) = 2*a**2 + 100*a - 126. Let m be r(-48). Which is smaller: m or -3500/11?
-3500/11
Let o = 6 + -16. Let g be (-4 - (-27)/(11 - 8)) + 9. Is o bigger than g?
False
Let k = 98.64 + -2601.64. Which is smaller: k or -2?
k
Let b be (-222)/(-4)*14/(-3). Let k be 3/((-9)/6) - (-7640)/(-30). Let x = b - k. Which is bigger: -1 or x?
-1
Let i be 12/15*(6 + -1). Suppose 17*h = 16*h + i. Suppose 0 = -u - 3*u + h. Which is bigger: u or 1/12?
u
Let r(c) = -c**3 + 8*c**2 + 23*c - 25. Let z be r(10). Suppose -z*w + 1 = -b, 5 = -b - 2*w - 3. Which is smaller: b or 4?
b
Let i(n) = -10*n + 269. Let q be i(27). Which is bigger: q or 2/16001?
2/16001
Suppose -798*u + 671*u = -127. Let k be (-1)/5 + 31623/58065.