). Let u be (m/(-16))/(25/20). Which is bigger: u or -1?
u
Let h be 6/(-8)*1027/(-39). Let l = 2599/132 - h. Let r be (3 - 1)/(36/18). Is r not equal to l?
True
Let p = -1 - 0. Suppose -3*x - 1 = -2*x. Let o = 1/2 + x. Is p bigger than o?
False
Let y be 1 + -1 + 2/(-12). Let r = -18 - -56/3. Let w = r + y. Which is bigger: -6 or w?
w
Let z(s) = -s**3 + 2*s**2 - s + 2. Let q be z(0). Suppose 120 = q*b - 7*b. Which is smaller: b or -26?
-26
Let p be 5/2*(7 - 3711/525). Which is greater: p or -2/13?
-2/13
Let q = 2.23 + 0.17. Let h = q - -0.6. Let k be (7 - (18 + -9))*(3/2 - -1). Is h not equal to k?
True
Let j(t) = 10*t**2 + 173*t + 38. Let g be j(-17). Are -210/17 and g unequal?
True
Suppose 4*r + 14 = 2, z - 2*r = 4. Let a be (-108)/15 - 2/(3 + z). Which is greater: -9 or a?
-9
Let m = -0.5 + -1.3. Let q = m + -2.2. Which is greater: -1 or q?
-1
Let g be (-4)/(-1) - (-650)/(-140). Let t = g - -43/70. Which is greater: t or 1?
1
Let q = -649 + 580. Which is smaller: q or -3?
q
Let l be -1 - (2 - 6/1). Suppose 0 = -8*t - 3*t - 55. Let j be ((-6)/(-10))/(1*(-1)/t). Is j less than or equal to l?
True
Suppose -47 = 5*b - i, 2*b + 3*i = -0*b - 29. Which is smaller: -44/5 or b?
b
Let u(a) = -4*a**2 - 23*a + 111. Let y be u(10). Is -519 > y?
False
Let o = -3.5 + 4.8. Let x = 1.4 - o. Which is smaller: 7 or x?
x
Let m be 3*(480/18)/(-10). Let l = -1.5 + -3.5. Let u = l + 3. Is u at most as big as m?
False
Suppose 20 - 21 = a. Let c = -83/54 - -1/27. Which is smaller: c or a?
c
Let f be 2/8 - (-7 - 7881/12). Is 664 less than or equal to f?
True
Let j = -0.7 - -0.7. Let q = 131 + -142. Which is bigger: q or j?
j
Let c be (40 + 34)*3/(-18). Which is greater: c or -13?
c
Let q(h) = -h - 4. Let j be q(0). Let n = j - -6. Suppose 9 - n = -z. Is -5 equal to z?
False
Let n = -0.01 - -11.01. Let f = 11.3 - n. Let i = -3 - -3. Is f equal to i?
False
Let s = 27 - 5. Let r be 3 - 10*s/72. Is 0 bigger than r?
True
Let f be 450/(-165) - (2 - 1). Let v = 437/132 + f. Is 1 smaller than v?
False
Suppose 22 = -4*q + 15*q. Which is bigger: q or 62/37?
q
Suppose 5*l - 8 - 17 = 0. Let i be (-2)/(-8) + l/(-20). Which is smaller: i or 2/7?
i
Let c(p) = -p - 10. Let f be c(-12). Let o = 4 - 11/5. Is f > o?
True
Suppose -102*f + 108*f + 168 = 0. Which is smaller: f or -24?
f
Let w = 85 - 85.11. Is w at least as big as 2/11?
False
Let z = 7 - 33. Let w = z + 29. Is 19/5 at least w?
True
Suppose -21 - 14 = -7*z. Suppose 4*w - 44 = 2*l, 2*l - 3*l + z*w - 34 = 0. Is l at most as big as -12?
True
Suppose 18*l - 7 = 11*l. Which is smaller: 2/555 or l?
2/555
Suppose 262 = 4*j - 98. Let f be (-142)/j + 8/(-36). Which is smaller: -1 or f?
f
Let r(l) = -77*l + 461. Let q be r(6). Is -12/215 at most as big as q?
False
Let k = 1 + -0.5. Let u = -0.41 + k. Which is greater: -2 or u?
u
Suppose 3*j - 4 = j. Suppose 4*x - j*x = 0. Which is smaller: x or 1/3?
x
Let q = 39.4 - 1.4. Let v = q - 46. Is 0.6 greater than or equal to v?
True
Let m = -6.99 - -6.7. Let t = -0.01 + m. Let z = 1.4 - 1.3. Which is smaller: z or t?
t
Suppose -6*m = 3 + 3. Suppose 7*v - 4*v - 15 = 0. Which is bigger: v or m?
v
Let l be -9*14/378 + 404/6. Are 78 and l equal?
False
Let v = -84747/23 - -3684. Is v bigger than 0?
False
Let a be (-16)/(-12) - 16/(-12). Let k = 6 - 4. Is a at least k?
True
Let s be (3*(-6)/(-18))/(-2). Is s < 1558?
True
Let f = 34.6 - 34.73. Are -0.1 and f unequal?
True
Let n = 1.815 - 2.815. Which is bigger: -71 or n?
n
Let c = -8/63 - 164/693. Which is smaller: c or -9?
-9
Let s = 207 - 206.9. Which is greater: 1/210 or s?
s
Let o be (-12)/(-6) - 4/(-2). Suppose -o*p + 0 = -4. Which is smaller: 2/43 or p?
2/43
Let u = -1.28 - -0.89. Let m = u + 0.29. Which is smaller: m or 2/23?
m
Let j = -0.03 - 0.87. Let m(s) = s**3 - 7*s**2 - 8*s + 2. Let b be m(8). Suppose 3*y - 10 = -4*i, 0 = -4*y - b*i + 2 + 8. Does y = j?
False
Let m = -158 + 162. Are m and -18/7 equal?
False
Let p = -0.43 - -0.33. Let n be 59/93 + (-10)/15. Let q = -158/93 - n. Is q less than p?
True
Let y(c) = 9*c**2 + 14*c + 1. Let l be y(-4). Is l >= 88?
True
Let a = -1792 + 1777. Let i = 5 + -3. Suppose -i*g = -0 + 30. Is a at least as big as g?
True
Let h = -17 + 49. Let w = 354 + -323. Which is greater: w or h?
h
Let n = -0.28 + 0.28. Let r = -0.18 + 9.18. Let x = r - 5. Which is smaller: x or n?
n
Let x(t) = -t**2 + 24*t + 22. Let y be x(25). Suppose 3*c - 2*q = q + 30, 4*c + 3*q = 40. Suppose 4*r + c = -2. Is y <= r?
True
Let h = 512 - 12798/25. Let q = -21 + 22. Which is greater: h or q?
q
Suppose 3*m - 4*w - 11 = 0, m - 3*m = -w - 4. Let y be (0 - (3 - 32))*m. Let f = -142 - -170. Is y greater than f?
True
Let s be 2/(-11 - 1)*2. Suppose -16 = 4*i, 4*i + 20 = 4*q - i. Suppose t = -2*b + 1, 4*b = -q*b - 4*t. Is s at most b?
True
Let d = 9 - -7. Let z = -15.99 + d. Let p = z + -0.01. Is p smaller than 1?
True
Let q = 1306 - 1306. Let y(m) be the first derivative of m**3/3 - 2*m**2 - m + 2. Let i be y(4). Which is smaller: i or q?
i
Let f = 4.94 + -5.6. Let z = 3.66 + f. Which is bigger: z or 15?
15
Let m(b) = 59*b**3 - 58*b**3 - 6 - 8 - 10*b**2 - 10*b. Let u be m(11). Is -2 at most u?
False
Let h = -1.12 + 1.12. Is -0.05 equal to h?
False
Suppose -p = 5*c + 554, -13*c + 329 = -16*c - 4*p. Is c less than -112?
False
Let u = 13 + -10. Suppose -u*s + 2*y = 62, -4*s - 81 = y - 2. Let o be s*(15/6)/(-5). Are o and 9 equal?
False
Suppose 0*o + 4*o = 16. Suppose -i = o*q + 158, q - 5*i = -2*q - 130. Let j = -121/3 - q. Which is greater: -0.4 or j?
j
Let q be 576/20*8/(-6). Is q <= -39?
False
Suppose 18*l = 14*l - 60. Let d be (3/l)/((-8)/(-10)). Is 2/9 <= d?
False
Let s be -2 + 249/(-243) + 3. Let p = s - 25/81. Let x = -2.1 + 2. Which is bigger: x or p?
x
Let n = -628 + 654. Which is smaller: 9 or n?
9
Let f(q) = -q**2 - 13*q + 10. Let n be f(-12). Let o = -19 + n. Let y be o + (2 - 13 - 3). Is -12 greater than or equal to y?
False
Suppose -a + 1 = -2*a. Let q be 3 + 1/(20/(-72)). Let p = 1/10 + q. Which is greater: a or p?
p
Let h = 187 - 153. Is 28 > h?
False
Let q = -995 + 21895/22. Let s = q + 23/44. Let r = 3/4 + s. Which is smaller: r or 3?
r
Let a = 1372 + -1359. Is a bigger than 0?
True
Let t(k) = k**3 - 2*k**2 + 2*k - 1. Let n be t(3). Let z = 10 - n. Let m be 26/(-6) - z/12. Which is greater: -5 or m?
m
Let i(k) = -k**2 - 12*k - 35. Let u be i(-5). Which is greater: u or 1/353?
1/353
Let o(b) = b**2 + 3*b + 2. Let n be o(-2). Let p = -1163405368/1313 - -886066. Let a = p - -8/101. Are n and a nonequal?
True
Let a be (-10)/4 + ((-2079)/(-6))/21. Is 9 greater than or equal to a?
False
Let o = 6 - 16. Let u = -11 - o. Is u at most 1/12?
True
Let m be 4/1 - (72/6)/2. Let x be (56/(-16))/((-1)/m). Which is smaller: x or -1?
x
Let y be (-24990)/71298 - (-1)/3. Which is smaller: y or -1?
-1
Let o(j) = j**3 - 6*j**2 + 5*j. Let w be o(4). Let l be 219/(-17) - (-1)/((-17)/2). Is w less than or equal to l?
False
Let n = -0.016 - 0.184. Suppose 0*k + k + 1 = 2*h, -4*k = 2*h + 4. Suppose r + 2*r - 6 = h. Which is bigger: r or n?
r
Suppose -5*r = 4*g + 186, -4*g - r - 3*r = 184. Let x = 34 + g. Is -9 smaller than x?
False
Let o(q) = 3*q + q + 29 - 2*q. Let w be o(-13). Do 2/5 and w have different values?
True
Let y = 466.6 + -467. Let b = -6.7 + 7. Let j = b + y. Which is bigger: j or 0?
0
Let o(b) = -b**3 + 3*b**2 - 4. Let d be o(2). Let y(q) = -q**2 - 4*q - 18. Let t be y(d). Is t bigger than -17?
False
Let u = 353.966 + -354. Which is greater: 2/15 or u?
2/15
Let m = -679.8 - -680. Which is greater: m or -0.29?
m
Suppose -4 = -2*i + 2. Suppose f + 30 = i*f. Suppose 2*d = -d + f. Are d and 6 equal?
False
Let u = -0.13 + 0.93. Let m = u - -9.2. Is m != -1?
True
Let d = -31.9 - -32. Which is bigger: d or 227?
227
Let b = -25 - -26.85. Let u = 0.25 + b. Let r = 1.1 - u. Which is bigger: 5/4 or r?
5/4
Let d = -13 + 35. Let l be d/(-33) + 20/(-6). Let f be l - (136/(-18))/2. Which is greater: 0.2 or f?
0.2
Let x be (-1)/(-30)*-51 - (-2)/1. Which is smaller: x or 1?
x
Let z(o) = -o**3 - 19*o**2 - 16*o - 11. Let f be z(-18). Which is greater: -45 or f?
-45
Suppose 8 + 40 = 4*g - 3*p, -4*g - 2*p = -28. Let t = 8 - g. Is t < -1/11?
True
Let s(x) = x**3 - 6*x**2 + 4*x + 12. Let c be s(5). Let o = 195 - 379/2. Which is bigger: c or o?
c
Let 