((-7398)/12)/(-9). Which is smaller: l or -68?
-68
Let i = 124646.881 + -124744. Let r = i - -97. Let w = 0.019 + r. Is w less than -7?
False
Let l(q) = -2*q**3 + 28*q**2 - 37*q + 1538. Let b be l(22). Is b equal to -7020?
True
Suppose 63 = 5*m + 2*m. Let v be (1/(-14))/(m/54). Which is smaller: v or -2/5?
v
Suppose -z = 3*q - 2, -4*z - 3*q - 5 = -31. Suppose -z*s = 337 - 1409. Is s < 136?
True
Let u be -12 + (4264598/157950 - 15). Is 0 < u?
False
Let n = 187/428 + 27/428. Which is greater: -3.936 or n?
n
Let w = -103 - -103. Suppose 0*x + x + h = 13, 5*x + 4*h - 68 = w. Is 18 < x?
False
Let z(r) = 8*r**2 - 707*r + 4197. Let l be z(6). Which is smaller: 209 or l?
209
Let p = 46.05778 - 0.06778. Let h = 0.99 - p. Let o = -42 - h. Which is greater: -2 or o?
o
Suppose -5*g + 9*g - 584 = 0. Suppose -3*o + 2*k = -g, -2*k = -3*o + 2*k + 142. Suppose 10 = -8*t + o. Which is bigger: t or 6?
6
Let k(b) = -2*b**2 + 54*b - 36. Let a be k(21). Let q be (a/16 - 1)/((-2)/4). Are -19 and q nonequal?
True
Let b = 11.05 + -11. Let a = -1200 - -8398/7. Which is smaller: b or a?
a
Suppose 0 = -5*g - 4*q + 302, -q + 3*q = -4*g + 238. Let j = -1049 - -1282. Suppose 5*a - g = -j. Is -35 not equal to a?
False
Let y = -22.38 + 23.34. Which is greater: -1 or y?
y
Let n(r) = 2*r - 3. Let i be n(2). Let w = -57/13 + 3951/910. Which is bigger: w or i?
i
Let r(d) = 209*d + 228. Let v be r(-2). Is v equal to -944/5?
False
Let m(r) = r**3 - r**2 - r + 1. Let y(a) = a**3 + 7*a**2 - 7*a + 10. Let b(x) = 4*m(x) - y(x). Let t be b(3). Which is greater: -13 or t?
-13
Let o = 0.20867 + -0.25867. Which is smaller: o or -3?
-3
Let v be (708/36)/((-6)/(-28)*2/(-3)). Is v equal to -139?
False
Let f = -80.9 - -84.29. Let x = f - 3.19. Is x less than or equal to 0.066?
False
Suppose 16*u - 20*u + v = -3, 2*u = 2*v. Is u at least 3?
False
Let r be (-2 - 0)/((-3)/(-6) - 1). Let a be r/(2*2/8). Which is smaller: a or 50/7?
50/7
Let g = 0.34 + -1.11. Let q = g - -0.67. Let t = 5 - -16. Is q less than or equal to t?
True
Let r be 1/1 + -4 - -51. Let t = -1699 - -1747. Is r > t?
False
Let u = -450 - -462. Let a be (u*(-4)/(-36))/(4/3). Which is smaller: a or 6?
a
Let y = -2047 + 2048. Let d = -237383 + 2133977/9. Let u = d - -275. Which is smaller: u or y?
u
Suppose -z - 7 = 0, 3*p - 3*z + 22634 + 18202 = 0. Is p at most -13621?
False
Let u = -61 + 73. Let h be u + -12*(-1)/(-2). Which is smaller: 9 or h?
h
Let c(g) = -2*g - 16. Let i be c(-15). Let j(o) = -13*o - 131. Let l be j(i). Is l < -312?
True
Let a = 2.7 - 4.77. Let n = a - 80.43. Let w = n + 77. Are w and -2/3 non-equal?
True
Suppose -3*p + 6862 = -2*l, -l - p - 3449 = 2*p. Do l and 0.3 have the same value?
False
Let q = 61774 - 21003137/340. Which is greater: -1 or q?
q
Let g = -2042402915/9328 - -218954. Which is bigger: -1 or g?
g
Let i(x) = x**2 + 22*x + 124. Let j be i(-12). Let t be (-12)/32*3*j/(-27). Which is smaller: -2/5 or t?
-2/5
Let z = -23274 + 22786. Let h = -0.07 - -0.17. Which is smaller: z or h?
z
Let r(w) = w**2 + 7*w + 13. Let t be r(-6). Suppose 5*x - t = -2*j, x = -0*x + 1. Let n be 1/13*11 + -1. Is j greater than n?
True
Let u be 56/12*90/105. Which is smaller: u or 270/53?
u
Let c be (-665)/2 - 5*(-13)/26. Suppose -y + 2*f - 5*f - 4 = 0, 4*f = 0. Let i be c/(-80) + 6/y. Is i bigger than 2?
True
Suppose 269*d = 282*d - 234. Which is greater: d or 225/13?
d
Let n = -721.8 + 741. Which is smaller: -1.3 or n?
-1.3
Let j be -1*12/8001*-3. Is j equal to -2/9?
False
Let k be (-2)/(-8) - 270/648 - (-274)/420. Does 0 = k?
False
Let c be 2016/54*3/2. Let s = c + 34. Let w = 61 - s. Which is smaller: w or -28?
w
Let v = 496/5 + -713/15. Let d = v - 517/10. Let u(q) = 1053*q + 5264. Let l be u(-5). Which is greater: d or l?
d
Let v(o) = -65*o**2 - 2*o - 1. Suppose -22*d + 4 = -26*d. Let t be v(d). Let p be (-10)/15 - t/60. Is p bigger than -1?
True
Suppose 111 - 99 = 3*m. Suppose 0 = 3*g + m*b - 3*b + 2, g + 4*b + 8 = 0. Are 54 and g equal?
False
Let n = -4.5 - -5.5. Let g = -0.1 - 0.4. Let f = 37.5 - g. Which is greater: f or n?
f
Suppose 0 = -19*y + 13852 + 18011 - 11666. Which is bigger: y or 4255/4?
4255/4
Let r(d) = -d**2 + d. Let a be r(-5). Let k be 30*8/16 + (-5 - 0). Let v be 790/(-25) - (-6)/k. Which is smaller: a or v?
v
Let m be 606288/121227 - (-1 - (2 + -3) - -5). Which is smaller: 1 or m?
m
Let d = 224 + -129. Let i = d + -95.238. Let q = i - -0.038. Which is bigger: q or -3/11?
q
Let s = -3.23 + -0.15. Let q = s - 12.72. Let u = 16 + q. Which is greater: 14 or u?
14
Let a = 103 + -101. Suppose -a*b = 2*r + 18, -5*b - 4 - 1 = 0. Let g be 4 - (r/2 - 21). Which is smaller: 30 or g?
g
Suppose 41 = 19*w + 60. Which is smaller: -1848 or w?
-1848
Let o = 230 - 202. Let d be 1840/(-6244) - (40/o)/(-5). Which is greater: 1 or d?
1
Let b = -15 + 6. Let u(m) = -13*m + 157. Let y be u(14). Which is greater: y or b?
b
Let u = -1742 + 1746. Which is smaller: u or -250?
-250
Let s = -4.13 + 4.3. Suppose -y = 292*c - 297*c + 17, -3*y + 29 = 5*c. Is c less than s?
False
Let p(x) = x**3 + 58*x**2 - 926*x - 211. Let y be p(-71). Does y = -23/72?
False
Let n = -142 - -159. Let x = -17.3 + n. Which is smaller: x or 0?
x
Let x be (-190)/95*(0 + -2). Suppose -3 = -3*j, j + j - 72 = -2*s. Suppose -x*h + i + 3*i = -28, -4*h - 3*i = -s. Is 12 at least h?
True
Let v = 1718.9 - 1719. Which is bigger: v or 358?
358
Let h be ((-166)/8*1)/((-10)/(-40)). Let c = h + 71. Let f be c/(-45)*(6/(-4) - 1). Which is smaller: f or -3/4?
-3/4
Let a be (17 + (-1417)/91)/((-2)/(-8386) + 0). Is a != 5990?
False
Let p(z) = z**3 + 11*z**2 - 18*z - 37. Let a be p(-12). Let s be ((-2)/2)/1 - -36. Let c = a - s. Is c greater than -4/5?
True
Let v = 1.8 - 1. Let t = v + -1. Let d = -0.044684 + -0.015316. Is t smaller than d?
True
Let f be 25/2*4/(-40). Is -30.1 > f?
False
Suppose k + 20 = -k. Let q(d) = 2*d + 131*d**3 + 12*d**2 + 6 + 2 - 3*d**2 - 130*d**3 - 4. Let h be q(k). Is -117 at most as big as h?
True
Let i(a) = -a**3 + 15*a**2 + 15*a + 10. Let l be i(16). Let g(o) = -o**3 - 2*o**2 + 20*o + 4. Let q be g(l). Which is smaller: 161/6 or q?
161/6
Let u(i) = i**2 - 20*i + 81. Let k be u(25). Let r = 29 + k. Which is smaller: r or 236?
r
Let f = 4441 - 3732. Is f bigger than 710?
False
Let m = 68 - 68. Let z be (5 - 26/4)/((-60)/8). Which is smaller: z or m?
m
Suppose -5*k + 2*s + 200 = 6*s, -k = s - 40. Let p = 64 - k. Suppose p*u - 6 = 25*u. Which is bigger: u or -7?
u
Suppose 16*u - 8*u = 32. Suppose 5*b + 35 = c, -8*b - u*c + 50 = -13*b. Which is greater: -0.01 or b?
-0.01
Let m(f) = f**3 - 21*f**2 - 5. Let r be m(21). Let p be r/((-25)/(-4))*(-15)/6. Suppose 3*v + v = 3*j + 20, 5*v + p = -3*j. Which is greater: 1 or v?
v
Let a be ((-2)/8)/((-30)/(-83610)) + (-5)/1. Which is smaller: -702 or a?
-702
Suppose 5*j + 69 = 4*k, 2*j - 11 = -3*k + 12. Suppose 8*d + k = -21. Suppose 1 = 5*z + 46. Is z at most d?
True
Let g = 7296 + -14323. Which is bigger: 0 or g?
0
Let z = -0.4 - 13.1. Let s = z - -0.5. Let c = -13 - s. Which is smaller: c or 7?
c
Suppose -2*b = -73 + 87, 4*b = q + 909. Which is bigger: q or -933?
-933
Let h be 2*797/258 + ((-3458)/(-78) - 45). Is h at least as big as 5?
True
Let q = -56 - -55.9091. Let g = 6.9091 - q. Is g > -8?
True
Let p(y) = y - 18*y**2 + 175 + 9*y**2 + 11*y**2. Let n be p(0). Which is greater: 177 or n?
177
Let g be 4/26 + (-205)/65 - 0. Let m(w) = -7*w - 5. Let a be m(-12). Which is greater: g or a?
a
Let y be (-1702)/36 + 192/128. Which is smaller: y or -46?
-46
Let z(o) = -2*o + 50. Let q be z(20). Suppose -41 = -q*j + 119. Is 0.4 bigger than j?
False
Suppose 4*p + 2090 - 7098 = 0. Is 1252 at most p?
True
Suppose 5*o - 16 = -81. Let l be (140/(-8))/((2 - 0)/12). Let w be ((-2)/5)/((-3)/l). Which is bigger: w or o?
o
Let m = -5059809/8622043 + 1/51629. Is m != -2?
True
Suppose 4*g - 27 = 3*v, 4*v = 53*g - 48*g - 38. Do v and 10/117 have different values?
True
Suppose -11*w + 32 = 24*w - 3*w. Is w > -19/71?
True
Let l be 1083/(-121) + 6 - -3. Let a = 34/9075 + l. Which is smaller: a or -1?
-1
Let c = 102/847 + -391/20328. Let q = c - 3907/56. Is -69 greater than q?
True
Suppose -r - 3*v + 93 = -3*r, 4*r + 2*v = -194. Let y = -49 - r. Which is bigger: y or -11/16?
-11/16
Let t = -149 + 146. Let j be 2/6 - t*3/1