n/(-2)*4/(-15). Which is greater: -2 or r?
r
Let k be (-4 - -2 - 6)*(-282)/12. Let w = 1690/9 - k. Are w and 0.015 nonequal?
True
Let q = -1579 - -1576. Let u = -8 + 6. Let f = 2.1 + u. Which is smaller: q or f?
q
Let l = 0.24 + -0.2. Let r = -1238 - -1236. Are r and l unequal?
True
Let l(z) = 5*z + 4. Let o be l(3). Let t = o - 7. Let s be (-9)/t + (0 - -1). Are -2/3 and s unequal?
True
Let t = -0.13 + 0.03. Let k be 42/(-2)*(8 - 9). Which is smaller: t or k?
t
Let i = 1123/88 + -105/8. Let l(g) = g**2 + 6*g - 3. Let b be l(-7). Suppose -5 = -2*f - 3*j - 2, 4*f = 4*j - b. Is i >= f?
False
Let g = 3241/228 + -57/4. Which is smaller: g or 2?
g
Let a = -26 + 27. Let o be ((-4 + 4)/4)/a. Let g = 2 - 3. Which is smaller: o or g?
g
Suppose p + 0 = -5, 0 = 4*v - 3*p - 95. Let s be (0 + (-6)/v)/((-12)/(-5)). Let j = -7 - -5. Is j at most s?
True
Let b = -2237 + 2279. Let q = -3.8 + 4. Which is smaller: b or q?
q
Suppose 5*z + 3*s - 305 = 2*s, -2*s = -5*z + 305. Let c = -61 + z. Which is smaller: -2/155 or c?
-2/155
Let b(m) = m**3 + 3*m**2 - m - 3. Let a(l) = -l - 1. Let p be a(2). Let d be b(p). Suppose 2*c - 6 = -d, o = 3*c - 16. Is -7 smaller than o?
False
Let k = 9 + -1. Suppose -2*l + k = -2*m - m, -6 = 4*m + 2*l. Let f be 11 + 2/(m/(-1)). Is 12 > f?
False
Let n be (-1 - 15) + 0 + 1. Suppose 4 = -5*f + 4*y, 4 = 2*y + 2. Let s(c) = 2*c - 15. Let b be s(f). Is n less than b?
False
Let p = 138.96 + -139. Which is bigger: -1 or p?
p
Let f = 894 + -777. Is f less than or equal to -2?
False
Let u(l) = 2*l**2 - 4*l + 4. Let g be u(3). Suppose 2 = t - g. Suppose 8*y = 6*y - t. Which is smaller: -5 or y?
y
Suppose -3 = -3*w + 51. Let y = w - 12. Let o be (18/10)/(-3) - 568/(-80). Which is smaller: o or y?
y
Let d = 18 + -1. Let j = -20 + d. Let w = 0.1 - -0.9. Which is bigger: j or w?
w
Let h be 5 - ((-6546)/655)/(-2). Is -1 at least as big as h?
False
Let u(s) = 45*s + 34. Let c be u(-3). Which is bigger: 2/3 or c?
2/3
Suppose -3*z + 1 + 8 = 0. Let y be -15*(11/22 - (-5)/(-8)). Is z <= y?
False
Let m be -5 - (-3 + 0) - 128. Is m greater than or equal to -127?
False
Suppose 0 = -19*t + 20*t + 3*l + 42, 70 = -3*t + 5*l. Which is bigger: -2 or t?
-2
Suppose 3*m = -4*v - 9, 4*v = 166 - 154. Let x = 2 + -2. Which is smaller: x or m?
m
Let u(j) = j**2 - 4*j + 5. Let c be u(3). Let i be (-16)/(-164)*1/c. Let g = -21/410 - i. Are g and -1 equal?
False
Let m be 7 + (-3)/((-3)/(-1)). Suppose -m*g = -g. Let h = 1/58 + -121/290. Which is smaller: h or g?
h
Suppose -2*b - 2*l - 26 = 0, -5*l = 3*b + 13 + 26. Let u(h) = 3*h + 5. Let k be u(-2). Which is smaller: k or b?
b
Suppose 1822 = -24*o - 314. Which is bigger: -88 or o?
-88
Let y(l) = -4*l + 14. Let k be y(3). Let d be (-4)/(-32)*k*148. Is 37 bigger than d?
False
Let c(a) = a**3 + 3*a**2 - a - 4. Let b be c(-3). Suppose i + 3 = -2. Let m = i - -3. Which is greater: m or b?
b
Let k be (4 + -2)/(56/1379). Let i be 1/(3/144*-1). Let m = i + k. Which is bigger: m or 2?
2
Suppose 0 = -3*q + 9, -4*q = -5*h - 14 + 162. Let f = 29 - h. Which is smaller: f or -42/13?
-42/13
Let a = 102 - 129. Let d = -38 - a. Which is smaller: -15 or d?
-15
Let i = -231 + 230. Let k = 44 + -69. Let s be 10/k + 22/80. Which is smaller: i or s?
i
Let w = -9 - -9.06. Let f = w - -0.14. Let d = -2.1 + 2. Which is smaller: d or f?
d
Let x be 150/(-54) - (56/36)/7. Is -3 <= x?
True
Let o = -266 + 265. Which is smaller: 2/755 or o?
o
Let d be 5*1/5 + 17. Suppose -d - 23 = -4*x + t, -2*t = 4*x - 26. Is 9 at most x?
True
Let n be 20/(-40) + (-2)/(-4). Let u be 1 + 316/2 - -1. Let s be -3 - (u/(-36) + 1). Is n at least s?
False
Let u = 35 - 35.94. Which is smaller: 2 or u?
u
Let x = 0.1 - 0.07. Let m = -2.01 + 2.81. Let q = -0.8 + m. Are q and x equal?
False
Let o(b) = -b + 7*b + 14 - 5*b. Let s be o(-13). Is s equal to 3?
False
Let w = -0.39 + 0.09. Is 25 greater than or equal to w?
True
Suppose 18*j = 98 + 244. Is 18 bigger than j?
False
Suppose -2*j + 4*h - 14 = 0, 37*j - 13 = 35*j - 5*h. Let d = -0.703 + 4.673. Let b = d + 0.03. Are j and b non-equal?
True
Let s = 11 + -16. Let j be s*2*(-2)/(-10). Let c be (-15)/(-10) - (3*4)/3. Are j and c equal?
False
Suppose 0 = -w + 2*w - 15. Let b be (35/w - 2)/6. Which is greater: 0 or b?
b
Let w be (1588/3 - 0)*5/(-30). Is -87 bigger than w?
True
Suppose 2*x - 4*a + 60 = 0, -3*a = x - 8*a + 39. Let h = 27 + x. Suppose 0 = -3*v + h. Is 2/9 at most as big as v?
True
Let w = 2.03 + -2. Let u = w - -1.97. Let i = 1 - u. Which is smaller: -0.01 or i?
i
Let r be (-2)/13 - 7952/(-39689). Which is bigger: r or -8?
r
Let a be 616/(-588) + 2/(-7). Which is bigger: -33 or a?
a
Let i(m) = -m**2 - m + 5. Let x be i(2). Let s = 14 + -9. Suppose 0 = -0*r - r + 4*c - 9, s*c = -4*r + 6. Is x smaller than r?
False
Let i = -198 + 197. Let g = -2.5 - -10.1. Let r = -1.6 + g. Which is greater: i or r?
r
Let q(l) = -17*l - 33. Let x be q(-2). Which is smaller: x or 3/19?
3/19
Let v = 156 + -158. Which is greater: -11 or v?
v
Let x(o) = -2*o**2 - 10*o - 1. Let w be x(-8). Let d be ((-4)/21)/(3 - (-189)/w). Is -1 smaller than d?
True
Suppose 9*h + 4 = -5. Let y be -48 - -11 - (h - 12/(-3)). Is y equal to -42?
False
Let c be (1 - 4) + 16 + (-10 - -2). Which is bigger: 86/17 or c?
86/17
Let b = 0.063383 - -66.049617. Let l = 0.113 - b. Is l > 1/3?
False
Let o(n) be the third derivative of n**5/60 + 5*n**4/12 + 10*n**3/3 + 15*n**2. Let w be o(-7). Let z = 2 - 4. Which is smaller: z or w?
z
Let p = -0.969 + 0.682. Let u = p - 0.013. Which is smaller: u or -11?
-11
Suppose 0 = -f + 11 - 16. Let a be 0/3 - (f + 5). Which is smaller: a or -1/64?
-1/64
Suppose 0 = 7*b - 2*b + 3*o - 6, -4*o + 8 = -3*b. Let j = 10 - 4. Let n be j/(-21) - 3/14. Is b less than n?
False
Let g be (2 + -2)*4/8. Which is smaller: -84/61 or g?
-84/61
Let q = 70 - 80. Let w be 6/q + (138/30 - 3). Are w and 11/6 unequal?
True
Let l be 2/3 - 55/96. Let n = 1911 - 1910. Which is smaller: l or n?
l
Let p = 316 - 308. Is 96/11 less than p?
False
Let h be -4 + (608 - -3) - (-60)/(-20). Is 605 at least as big as h?
True
Let n(u) = u**3 + 3*u**2 - 3*u. Let y be n(-3). Let q be (4/(12*-1))/((-4)/60). Suppose -q*b + 38 = -12. Which is bigger: y or b?
b
Let v = -572 + 581. Which is smaller: v or -5?
-5
Let r be ((-290)/25)/((-4)/40). Is r greater than or equal to 115?
True
Let s = 0.36 + -35.36. Let o = s + 35.1. Is o != 3/13?
True
Let w be (-33)/60 - 1/(-2). Let s be (-2 - -1)*(-11 + 6). Suppose 9*d - s*d = -4. Which is smaller: w or d?
d
Let g(q) = 5*q**3 - q**2. Let x be g(1). Let l(k) = -8*k - 4. Let d be l(x). Let v be (d/(-14))/((-3)/2). Is v at most as big as -2?
False
Let y(c) = c**2 - 18*c + 16. Let v be y(17). Let l = 0 + 0. Is v bigger than l?
False
Let k = -7.5 - -7. Let d be (-4)/(-6) + (-128)/68 + 2. Let y = d + -2/17. Which is smaller: k or y?
k
Let p = -1/46 - 89/138. Let u = -3 + 2.99. Let c = 0 + u. Is c > p?
True
Suppose u - 3 + 4 = x, -2*u + 5*x = -1. Which is smaller: u or 0.198?
u
Let v = -140 - -47. Let d = v + 88. Which is greater: 0 or d?
0
Let w be (1 - 1) + -5*(-3 - -5). Let v be 13 + -12 - 4/((-16)/w). Which is smaller: -1 or v?
v
Let w be 1/(-2) + (-42)/(-4). Let x = w + 2. Let k = -23 + x. Is -11 equal to k?
True
Let n(k) = -k**2 + 8*k - 7. Let c be n(5). Let w = 0.5 + -0.394. Let h = -0.094 - w. Is c >= h?
True
Suppose -491 = -7*v + 5*v + 3*g, 0 = 4*g + 12. Is v less than -1/4?
False
Suppose v - 198 = -5*v. Let h = -9 + v. Is h at least as big as 23?
True
Let o = -6 - 21. Let z = -16.5 - o. Let d = -11 + z. Is d > 3?
False
Suppose 22*f = 16*f - 6. Which is greater: f or -6/25?
-6/25
Let b(s) = -s**3 - 9*s**2 - 10*s + 22. Let j be b(-7). Which is smaller: -34 or j?
-34
Let t(s) = -3*s - 22. Let i be t(-7). Which is bigger: -2/71 or i?
-2/71
Suppose -132 - 123 = 5*j. Which is smaller: j or -46?
j
Suppose -2*h + 163 = 169. Which is smaller: h or -19/6?
-19/6
Let l be (0 - 3 - -5)*-4. Let m = -17 - l. Let o(q) = 7*q + 27. Let d be o(-5). Which is bigger: m or d?
d
Let t be ((-1842)/(-10))/(70/50). Let r = t - 131. Suppose -3*o = 4*l + 8, 0*l - 4*l - 4*o = 12. Is l greater than r?
True
Suppose -20*a + 24*a + 8 = 0. Which is bigger: a or 9?
9
Let r(x) = -x**2 - x - 4. Let z be r(-3). Let h be 1 + -1 + z/6. Suppose -4 = -2*q - 2*n, -26 - 1 = 