/5 or l?
672/5
Suppose -97*r + 12 = -99*r. Let a(x) = 2*x - 1. Let y be a(-3). Which is smaller: y or r?
y
Let f(s) = 2*s**2 - 62*s + 49. Let g be f(29). Which is smaller: -333/5 or g?
g
Let v(p) = 2*p**3 - 8*p + p - 2*p - 12 + 4*p**2 - p**3. Let m be v(-5). Let j be (-1 - 1)*(-7)/2. Is m less than or equal to j?
False
Let u be (4/4)/((-12)/108). Is u at least as big as -10?
True
Let m(q) = q**2 + 40*q - 794. Let p be m(-52). Are p and -169 equal?
False
Let h(l) = 9*l - 5. Let z be h(2). Let r = z - 17. Let b = 1 + -6. Is b at most as big as r?
True
Let l(f) = -13*f**3 + 2*f**2 + 3. Let h be l(-2). Let t = h + -116. Which is bigger: t or -1/4?
-1/4
Suppose -23*o - 408 = -6*o. Is -23 greater than o?
True
Let k = 73 + -67. Let m = k + 19. Which is bigger: 1 or m?
m
Let b(q) = -2*q**2 + 35*q + 17. Let p be b(18). Let u = 8 - 5. Suppose 4 + 8 = -3*v - 3*g, -v - u*g - 6 = 0. Is p bigger than v?
True
Let n be ((-4)/30)/(2/(-10)). Let v = 7 + 2. Let c = v + -10. Do c and n have the same value?
False
Let a(n) = n**2 - 11*n + 36. Let s be a(13). Which is smaller: s or 251/4?
s
Let c = -43763/10318 - -20/737. Let b = c - -19/7. Are b and -9 nonequal?
True
Let u = 0.096 - 0.506. Let q = u - -0.41. Which is smaller: q or 0.03?
q
Let m be -1 - ((-8680)/(-45))/8. Let r = m - -17393/693. Which is smaller: 0 or r?
r
Let m(v) = v**2 + 7*v + 3. Let d be m(-7). Suppose 2*x - 2 = d*x. Let w be (-13)/(-39)*(-4 + -2). Is x smaller than w?
False
Suppose -a = -3*a + 4*f + 24, 0 = a - 5*f - 24. Let i be a*(-4)/16*8/14. Let j be 12/6*-1*1. Is j at most i?
True
Let k = 15/26 + -383/754. Let a be (6/(-4))/((-24)/32). Suppose -a*j + 2*h - 7 + 3 = 0, 2 = -2*j + h. Which is greater: j or k?
k
Let n = -89 - -94. Let a(h) = 17*h - 42. Let o be a(n). Is o at least 43?
True
Let g = 3177 - 3178. Is 2/2019 < g?
False
Let r = -0.9795 + 8.9795. Let t = -0.1 + -4.9. Which is bigger: r or t?
r
Let d(h) = -8*h + 375. Let n be d(47). Which is bigger: 9/37 or n?
9/37
Let w = 13 + -10. Suppose 3*p + p = -3*a + 11, w*p - 1 = 5*a. Suppose -5*m = p + 3. Which is greater: m or -2/15?
-2/15
Let y be -1 + -3 - (-11440)/70. Let h = 160 - y. Let s = 25 - 25. Which is greater: s or h?
h
Let t = -0.1823 - -0.0343. Are t and -0.1 equal?
False
Let o = -103.9 + 104. Let m be (-46)/(-120) - 2/8. Is m smaller than o?
False
Let g(m) = -3*m**2 - 16*m + 9. Let n be g(-10). Which is smaller: -132 or n?
-132
Suppose 0 = -7*q - 23*q + 1770. Which is greater: q or 65?
65
Suppose -1 = 3*w + 5. Let f = 7949/13 + -612. Which is smaller: w or f?
w
Let h be 2*(21/(-15) - (-14 + 13)). Which is smaller: h or -23?
-23
Let v be (-2)/((-45)/432 + (-4)/(-24)). Which is smaller: -20 or v?
v
Let w(q) = 16*q**2 - 47*q + 46. Let t be w(1). Which is greater: 4 or t?
t
Let a = 598/5 - 359/3. Which is smaller: a or -4/7?
-4/7
Let w be ((-104)/3939)/(3/(1195326/4)). Let u = w - -2630. Is 0 bigger than u?
False
Let z = -3547/4130 + 1/590. Let b = z + 44/35. Let s = 14.1 - 17.1. Does b = s?
False
Let w be -4*1*(-465)/70. Let i = -28 + w. Is i less than 0?
True
Let b be (-3981)/232*6/(-741). Let k = b + -1/988. Is 1 at least as big as k?
True
Let y be (-2)/7 - 7161/(-882). Let u = y - 1157/150. Which is smaller: u or 0?
0
Let j = 79 - 128. Let s = 93 + j. Which is smaller: 1/3 or s?
1/3
Let w be ((-8)/10)/((-240)/900). Which is smaller: 0.053 or w?
0.053
Let w be -3*4/(-3) + -2. Let l be 1 - (w - (0 - 8)). Let k = l + 12. Is 5/2 at least k?
False
Suppose -5*w - 352 = 4*n, 0 = -4*n - 6 - 6. Which is smaller: -65 or w?
w
Let g = 159 + -158. Let q be (2/5)/((-23)/5). Which is smaller: q or g?
q
Let l be ((-27)/(-12))/(((-27)/(-48))/(-3)). Let b be (2/4)/(1/(-26)). Is b equal to l?
False
Let y = -209 + 625/3. Is -46 at least as big as y?
False
Suppose -2*q = -62 - 8. Let r be (8 - 1)*10/q. Suppose -g + 4*l + 13 = 4*g, r*g = -l. Which is smaller: g or -2/5?
-2/5
Let b be (4/(-1020) - (1 - 1))*-2. Are 1 and b equal?
False
Let k = -0.4 + 2.4. Let t = 1.9 - k. Are 1/3 and t non-equal?
True
Let c = 99 + -102. Which is smaller: c or 33?
c
Suppose 2*s + 0*t + 4*t + 16 = 0, 20 = -5*t. Is -2/15 at most as big as s?
True
Let v = 3 - 4. Let b = -670 + 14062/21. Is b less than or equal to v?
False
Let y = 0.2 + -0.1. Let o = -40 + 44.2. Let w = 3.9 - o. Which is greater: w or y?
y
Let n be 7/12*(-1764)/532336. Which is greater: 0 or n?
0
Let l(a) = a**2 + 4*a - 4. Let c be l(-5). Let r be 1/(-3 + 1 + c). Do r and 2 have the same value?
False
Let f(c) = -c**3 + 7*c**2 + 7*c - 10. Let w be f(8). Let u = w - -22. Suppose i - 1 = 2*a, u = i - a - 4*a. Is 1/6 less than i?
False
Let j(u) be the second derivative of u**3/2 + u**2/2 - u. Suppose -6 = 11*t + 5. Let l be j(t). Is -1 != l?
True
Let l = -9 + 6. Let y be (-6)/9*l*-2. Let f(g) = -6*g**2 - 127*g - 26. Let x be f(-21). Is x at most as big as y?
True
Let s be (-1)/((-18)/(-274)) - (-14)/63. Let a be (-15)/(s/160*-4). Which is smaller: a or -39?
a
Let m = 65174893350551/19390 - 3361263196. Let a = m - 258/277. Let k = a - -21/10. Are 1 and k equal?
False
Suppose -4*i = 14*i + 18. Is i smaller than -2/39?
True
Let i = -1.1 + 18.9. Let z = -27.1 + i. Let k = -1.3 - z. Is k at least as big as 1?
True
Suppose 0 = 42*s - 25*s. Which is smaller: s or -299?
-299
Let i = -0.702 - -0.462. Let j = -1.3 - -0.3. Which is greater: i or j?
i
Let d be -10 + (192/144)/(2/6). Which is smaller: -54/11 or d?
d
Let g = 12 + -13.6. Let a = g + 1.71. Let u = 0.21 - a. Which is smaller: u or -4/3?
-4/3
Let r be 14/441*75 + 4/(-6). Which is greater: r or 27?
27
Suppose 9*b - 2*b = -3*b. Which is greater: b or -1/3?
b
Let a = -36.6 - -42. Let l = 5.46 - a. Which is bigger: -0.2 or l?
l
Suppose 4*l + 4883 = 327. Let k = -48979/43 - l. Is k smaller than -1?
False
Let r(p) = p**3 + 19*p**2 + p + 55. Let w be r(-19). Let u(q) = -19*q - 1. Let j be u(-2). Is j at most w?
False
Let l = -130 - -40. Let j = l - -84. Which is bigger: j or -8?
j
Let u be (11*1)/((-11)/(-55)). Let d be ((-15)/u)/((-6)/28). Which is smaller: 0 or d?
0
Let m = 11 - 8. Do 13 and m have the same value?
False
Suppose 3*r - 1 = -4. Let l be (-14 + -2)*(-34)/(-4). Let c = -1500/11 - l. Which is bigger: r or c?
c
Let v = -121 + 121. Does 15/2 = v?
False
Suppose 7*y = 6*y - 5. Suppose 4*x - 2*o + 20 = 0, 5*o = -8 - 2. Let c = 0 + x. Which is smaller: c or y?
c
Let c be ((-13)/312)/(((-3)/27)/1). Which is smaller: 0.43 or c?
c
Let b = -1178 + 16477/14. Suppose -3*i - 5*g = 20, 442*g - 20 = 4*i + 447*g. Which is greater: i or b?
i
Let t = -6 - -13. Suppose -2*v = v - 2*b - 34, -5*b = -2*v + 41. Suppose 42 = v*g - 6. Which is bigger: t or g?
t
Let c be 6/9 + (-3)/4. Let v(n) = -n**3 + 11*n**2 - 17*n - 9. Let w be v(9). Are w and c unequal?
True
Let x = -149/2160 + 1/432. Which is bigger: -1/5 or x?
x
Let b = 207 - 209. Which is smaller: b or 0.15?
b
Let h(k) = -k**2 + 2*k + 38. Suppose -f = m - 2, -f - 17 + 7 = -5*m. Let u be h(f). Which is bigger: 37 or u?
u
Let h = 1.2 - 0.2. Let g = -6.5 + 3.3. Let k = g - -3. Which is smaller: k or h?
k
Let a = 27 - -15. Suppose -22 - a = 2*y. Is -32 at most y?
True
Suppose -77 = 3*r + 55. Suppose 0 = -6*m + m - 4*s - 204, -2*s = -4*m - 184. Is m < r?
False
Let t(r) = 10*r + 21. Let l be t(7). Which is bigger: 90 or l?
l
Let d be (198/16892)/((-20)/(-122168)). Let q = d - -1/4223. Let i = -72 + q. Which is bigger: -6 or i?
i
Let p = -490 + 368. Is -122 bigger than p?
False
Let a = -896 - -920. Is a equal to -1?
False
Suppose 0 = -16*f + 6*f. Suppose f = 5*c + 2*j + 85, 3*c = -2*c + 4*j - 115. Is c smaller than -17?
True
Suppose 7*l - 670 = 9*l + 3*r, -5*r = 5*l + 1680. Which is smaller: l or -336?
l
Let i = -842 - -842.01. Which is bigger: i or 1.65?
1.65
Suppose 5*m = 171 - 201. Let c = -3 - -1. Let i = c + -1. Is i < m?
False
Suppose -3*y - 2*f = -0*f + 18, 4*y + 13 = f. Let h be (2/y)/((-3)/126). Let a = h - 23. Which is smaller: -1 or a?
a
Suppose -5*y = -0*y. Let h = 260/27 - 19159/1998. Which is smaller: h or y?
y
Let j(c) = -c + 6. Let v be j(-25). Let r = -31 + v. Which is bigger: r or 3.7?
3.7
Let s = -5102/8953 - 2/1279. Let j = -0.33 + 2.33. Let d = 0 + j. Are d and s equal?
False
Let y = 1 - 19. Let z = y + 24. Which is smaller: 3 or z?
3
Let z = 340.07 + -340. Is z != -46?
True
Let i = -192 + 187. Let b = 