t d = 6 + o. Suppose -4*g + 3*g = m + 85, -d*m - 358 = -2*g. Which is smaller: -87 or m?
m
Let m(g) = -g**2 - 10*g - 11. Let t be m(-8). Let x be ((-3)/t)/(6/(-60)). Is x at least 7?
False
Suppose 0 = -53*q + 44*q - 36. Let x be ((-2)/q)/(0 + 6/(-316)). Which is smaller: x or -25?
x
Let r be (12/(-14))/(135/(-6)). Let g = -279576 + 279577. Which is bigger: r or g?
g
Let h be 5*(-5)/50*((-6)/10 - 0). Which is smaller: h or -45/2?
-45/2
Let f = 0.106 - 0.275. Let h = 0.109 + f. Let q = -14 + 16. Which is greater: q or h?
q
Let f be 16 - (-41)/((-594254)/231908). Which is bigger: 1 or f?
1
Suppose 2*i = 20 - 70. Let x be (i + 22)*16/69. Which is smaller: -2 or x?
-2
Let q = -2265 + 4175. Let l be q/(-30) - 2*(-2)/6. Is l at most as big as -64?
False
Suppose -5*t - 29 = -2*r - 50, t = -2*r + 9. Suppose -z - 3 = -2*v, -4*z = -r*v + 3*v + 3. Is -3 at least as big as z?
False
Let t = -192314/39 - -4932. Does 1 = t?
False
Suppose -2*a = -4*h - 20, 3*a + 9*h - 52 = 4*h. Which is bigger: a or -2/273?
a
Suppose 257*y + 4*h = 254*y + 3934, -1303 = -y - 3*h. Which is bigger: 1319 or y?
1319
Suppose -188429 = 139*a + 3808. Is a at least as big as -1380?
False
Suppose 1472 = 28*i - 20*i. Is 184 at most as big as i?
True
Let n(p) = p**2 - 5*p - 43. Let t be 18/27*(-1 - 11). Let b be n(t). Let w = b + -62. Is w at least -3/50?
False
Let j = -96943 - -1841513/19. Is -21 <= j?
False
Let z be (-2 - (-6)/2) + (-8608)/7878. Let w = -1/101 + z. Let f = 101/156 - w. Are 1 and f equal?
False
Let w(a) = -a**3 - 14*a**2 + 16*a + 10. Let t be w(-15). Let y be (t/35)/1*(-132 + 0). Is y <= 20?
True
Suppose 25 = 5*w, -2*u = w - 6*w - 13. Let t = 9 + u. Let x = -15 + t. Which is greater: x or 14?
14
Let x = 0.1297 + -1.1097. Let f = 1.3 + -1.48. Let b = x - f. Which is bigger: -4 or b?
b
Let w be (-9)/(-2)*((-8)/(-12) + 0). Suppose 2*j + 19 = -w*j + 3*y, -3*y - 16 = 2*j. Is j less than -27/5?
False
Let g be (-8164)/(-2704) - (-3)/(-12) - 2. Which is smaller: g or -200?
-200
Let v = -12098/35 + 398051/1155. Let u = v - 1/15. Which is bigger: 0.01 or u?
0.01
Suppose 147420 = 13*p + 127*p. Which is smaller: 0.1 or p?
0.1
Suppose -37 = -2*x - n, 3*x - 3*n - 15 = 2*x. Suppose g - x = 4*g. Let l be (1 - 4)*(-4)/g + -1. Is 5 at least l?
True
Suppose -294*o - 263*o + 142*o - 11620 = 0. Let x(u) = -u**2 - u. Let y be x(-6). Which is greater: o or y?
o
Let b = -457 + -235. Let v = 704.88 + b. Let j = 13 - v. Is -1 less than or equal to j?
True
Let u = -17.93 + 22.93. Which is greater: u or -0.729?
u
Let i(x) = x**2 - 22*x - 42. Let b be i(-2). Let z be b - (117/22 + 1). Are z and 1 unequal?
True
Let r be (-3)/(-4) + (-621)/132 + 4. Let h be 2/3 - (-1261)/(-330). Let w = h - r. Is -2 less than or equal to w?
False
Suppose -25*c = c - 1092. Let x be (4/((-32)/(-6)))/(c/56). Let u = 9722/81 + -120. Does u = x?
False
Let i(g) = 14*g + 24. Let h be i(-2). Let s be (14/(-4) + 3)/((-2)/h). Which is smaller: s or 4/13?
s
Suppose 2*u + 111 - 119 = -2*o, -4*o = u - 4. Is o less than or equal to -5/494?
False
Let w = 1.507 - 0.507. Is w greater than or equal to -2/2299?
True
Let t be (-21416)/(-4)*(-18)/405. Let n = 238 + t. Which is greater: 0 or n?
n
Suppose 158 = -3*f + 254. Suppose 0 = f*s - 5 - 27. Which is bigger: s or -2/493?
s
Let d be (-80)/20 - (-672)/170. Let w = 46/255 + d. Which is smaller: w or -94?
-94
Suppose 2*d = -5*g + 6, g + 2*d + 2*d = 12. Let m = -226.9 - -224. Let c = m + 3. Is c at least as big as g?
True
Let c be 18*10/900 + 3576/(-17830). Is c greater than 0?
False
Let f = -2919.89 + 2920. Which is bigger: f or 134?
134
Let y = -119822/212583 + 108/191. Is y bigger than 0?
True
Suppose 4*z - 4 = 64. Suppose 3*f - 103 = -4*l, 2*f + 56 = -2*l + 5*l. Let m be 2 + (l/33)/((-4)/(-87)). Is z <= m?
False
Let o = -480.263 + 480. Let z = -0.208 - o. Is 0 greater than or equal to z?
False
Suppose 4 = -j + 5*j. Let h be -4 - (2 - j*(-7)/(-1)). Which is greater: h or 1/12?
h
Let n(s) = 35*s**3 - 6*s**2 + 17 - 3*s - 36*s**3 - s. Let z be n(-5). Let g(t) = t**2 - 12*t + 1. Let r be g(z). Which is bigger: r or 3/28?
r
Let a = -821 - -533. Let z be (96/a)/((-1)/(-303) + 0). Is z bigger than -101?
False
Let c = -7.2 + 0.2. Let t be (-2)/(-6) + 4540/(-30). Let r = -1055/7 - t. Which is bigger: c or r?
r
Let w = -144 + -1370. Are w and -1513 equal?
False
Let y be (-2655)/(-45) - (-10 + 9). Is y != 139?
True
Let r be 292/6*((-1575)/(-10))/21. Which is smaller: 366 or r?
r
Let j = -3054/11 - -276. Let k = 493 + -494. Which is smaller: k or j?
j
Let t = 2207 - 2020.9. Let v = t - 194. Are 1 and v unequal?
True
Let c(r) = -52*r + 12 + 5 + 73 + 106. Let z be c(6). Are z and -116 nonequal?
False
Suppose -23*h + 90 - 21 = 0. Suppose -21 = -h*y - 75. Which is bigger: y or -13?
-13
Let b be -29 - -16 - 554/(-5). Which is bigger: b or 98?
98
Suppose 0 = 2*s + 5*j - 175, 75 = 5*s - j - 430. Suppose 2*a + 0*h + h + s = 0, 4*h = 0. Suppose 197*w - 190*w + 357 = 0. Which is smaller: w or a?
w
Suppose -2007*i + 2023*i = -31328. Which is smaller: -1957 or i?
i
Let b = 205 - 85. Let q = -626 - -745. Which is greater: b or q?
b
Let a be -7*(2 + 520/72 + (-6)/27). Is -67 at least as big as a?
False
Let a = 70761 + -288867/4. Which is greater: a or -1455?
-1455
Suppose -115*o = -91*o - 432. Suppose 3*x - b = 30 + 44, 2*b = x - 28. Which is bigger: o or x?
x
Let k be 9/(-6) - 25/14*-1. Let x = -10 + 12. Suppose 7*p + 5 = x*p. Which is bigger: k or p?
k
Let o be (-1456)/484 + -1 - -4. Suppose 0 = -4*z + 2*s + 34, -6*s + 2*s = 12. Suppose 3 = -z*x - 4. Which is bigger: x or o?
o
Let o(p) = -p**3 + p + 2. Let g be o(-3). Let u = g - 20. Let d be u + 0 - 0 - (13 - 13). Is 7 not equal to d?
True
Let i = -17.63 - -19.33. Is i less than or equal to 11/10?
False
Suppose 16 = 2*g + 4*c, -5*c + 10 = 4*g - 7. Let j be (6/(-12))/((-4)/(g - -42)). Suppose 3*k - 8 = 10. Which is smaller: j or k?
j
Let o = -17705.92 - -17706. Let s = 12 - 36. Is o greater than s?
True
Let z(s) = 3*s**2 - 74*s - 57. Let p be z(25). Let m be 258/(-10)*(-37 - p). Is 130 at least m?
True
Let i = 548.38 - 548.18. Let t = -60 + 3. Is t greater than or equal to i?
False
Let g be (-5 + 27/6)/(2/(-4)). Let c be -2*2 + g - (-423114)/(-516). Let l = -823 - c. Is l < -1?
False
Suppose -287*m = m + 62*m - 350. Is m greater than -2/85?
True
Let r be 740/2368*(-1)/(-5)*3. Which is smaller: -3 or r?
-3
Let n = 5277 - 8176. Is -1 <= n?
False
Let z = 665.066 + -665. Let u = z + 1.834. Let t be 4/18 - (-39)/(-54). Which is bigger: u or t?
u
Let l be (-143 - -213)*((-2)/4 + 1). Let v be 4/l*((-5)/226)/(-1). Which is bigger: -1 or v?
v
Let t(k) = k**2 + 17*k + 75. Let n be t(-7). Suppose 2*h = 3*q + n, 0 = 5*q - 8*q - 3*h. Is q equal to 6/133?
False
Let u = 163.7 - 162. Let c = u + -1.74. Let b = 10 - 5. Is b bigger than c?
True
Suppose 5*x + 15 = 0, j + 650*x = 651*x + 38. Which is smaller: 80 or j?
j
Let x = -403/18 + 45/2. Let v(l) = -l**2 + 14*l - 7. Let i be v(13). Suppose 3*f - i*t - 18 = -3*t, 0 = -5*f - 5*t - 20. Which is smaller: x or f?
x
Suppose 0 = -352*g + 354*g - 76. Let v(n) = -n + 38. Let l be v(g). Which is smaller: 1/23 or l?
l
Let r be (-1 + 44/40)*4. Let s = -147 + 178. Which is smaller: r or s?
r
Suppose 0 = 3*t - z - 42, -4*z + z = -t + 6. Suppose 0 = -2*a + a + t. Let r be (-7)/(-26)*a/21. Which is smaller: 0 or r?
0
Let q = 1350.13 - 1286.4. Let w = -0.27 - q. Let j = 1 + 0. Is w greater than or equal to j?
False
Let r = -2161 + 616. Is -1545 at least as big as r?
True
Let j = 0.04 + -2.04. Let r = -86323 - -86323.44. Which is smaller: r or j?
j
Let r be (2 - 3)*11 + 2. Let y be -10*r/225*(-64 - 1). Let f = -2 + 3. Which is bigger: y or f?
f
Suppose 28*n - 11*n = -34. Suppose 0 = -u - 4, 2*u = -5*v + 5*u + 37. Suppose -v*f + 4*m = -1, 2*f - m + 2 = 3*m. Is f smaller than n?
False
Let a = 139054252/4991 + -27861. Is -0.2 less than or equal to a?
True
Suppose -4*m - 86 + 352 = f, -2*m - 272 = -f. Is f less than 4?
False
Let i = 147 - 1181/8. Let n = 20 - 34. Let m be n/(-56) - 2/8. Is i bigger than m?
False
Suppose -25*x + 24*x + 24*x = 2*x. Which is greater: x or -138?
x
Suppose -c - 5 = -9. Let x(b) = -189*b - 24. Let o be x(c). Let g be 1*-3*8/o. Which is greater: g or 0?
g
Suppose 0 = 2*f - 0*f + 4. Let t be -10 - (5 + -6 - (-5 - 