. Let n = g + 2.01. Which is smaller: n or -4/3?
-4/3
Let d = 1185 - 1431. Which is smaller: 0 or d?
d
Let w = 9 - 8. Let r be 14/(-1) - (1 + w). Let g = -132 - -116. Is r equal to g?
True
Let o be (-3)/(-2) + 66/(-12). Let l = 3 + o. Which is greater: l or -3/4?
-3/4
Let d = 109 - 112. Suppose 0 = 4*n + 27 + 5. Let x = n - -4. Which is bigger: x or d?
d
Let d = 0.14 - 0.03. Let t = 352.1 + -353.1. Is t smaller than d?
True
Suppose -10*b - 58 = -12*b. Let a = b - 31. Which is bigger: -1 or a?
-1
Let q be ((-58)/(-4))/(2/(-4)). Let y = 1/3653 + -631975/21918. Let m = y - q. Which is greater: -1 or m?
m
Let b = 2/245 - -3356/9065. Is -1 greater than b?
False
Let y(s) = -23*s - 15. Let u(a) = 8*a + 5. Let g(b) = 17*u(b) + 6*y(b). Let o be g(-9). Let z(w) = w - 8. Let f be z(o). Which is smaller: f or 6?
f
Suppose -3*w + 25 = 5*m + 5, 5*w = 5*m - 20. Is w less than or equal to 3/19?
True
Suppose -14 = 5*k + 21. Let y = k - -4. Let f be ((-260)/(-88) + y)/(-1). Is f greater than 0?
True
Let c = 3.9 - 0.9. Let a = 3.05 - c. Let x = -3.9 + 4. Which is smaller: x or a?
a
Let o = 650 + -649. Does o = -480?
False
Let v = 853 + -853. Do 0.696 and v have different values?
True
Let r(z) = -15*z + 212. Let b be r(14). Suppose x - 3*x + 2 = 0. Which is smaller: b or x?
x
Suppose 0*g = -5*g. Suppose b + 2 = 4*q, 4*b = 8 - g. Let w be (4 + -2)*q/(-2). Is 7 at most w?
False
Suppose -3*h + 6 = -2*h. Suppose -21 + h = -s + 5*k, k = -s - 3. Suppose 0*i + i - 3*j = -2, 0 = -5*j. Which is greater: s or i?
s
Suppose 0 = 4*p + 4. Let f(r) = -27*r**3 + 2*r + 1. Let u be f(p). Let y be u/36 + 8/(-16). Is y smaller than 0?
False
Let a(v) = 34*v**2 - 9*v + 8. Let k(z) = -z**2 + 11*z - 23. Let q be k(8). Let g be a(q). Which is bigger: 34 or g?
34
Let s = -1716 + 15463/9. Which is greater: s or 1?
s
Suppose 154*s - 2*i + 50 = 156*s, -3*s = -5*i - 83. Which is smaller: s or 10?
10
Let c = 63486 + -316394/5. Which is greater: c or 207?
c
Suppose -q - 3*b - 28 = -6*b, -4*q = -2*b + 112. Which is smaller: -13 or q?
q
Let u(x) = -x**2 - 8*x - 1 + 2 - 2. Let p be u(-8). Let t = -142 + 1844/13. Which is greater: p or t?
t
Let t be (-108)/(-63)*14/74. Let a = t - 380/259. Which is smaller: a or -1?
a
Let l be -109 + 116 + 3470/(-494). Which is bigger: 1 or l?
1
Let x = 0.02 - -0.68. Let r be 3/2 - 110/44. Is r less than or equal to x?
True
Let n = -92 + 69. Which is smaller: n or -25?
-25
Let k = 775078/239 + -3243. Does k = 1?
False
Let p = -288 - -287.18. Are 1/5 and p equal?
False
Let d(u) = -u**3 + 14*u**2 - 7*u + 99. Let c be d(14). Which is bigger: 2/1165 or c?
c
Let o = -16 - -7. Let r = 9.72 + o. Let b = 0.28 + r. Which is smaller: b or 0.4?
0.4
Let a = 435 - 425. Suppose -4*r + 52 = 3*y, 0*r - 4 = -2*r + 4*y. Is a at most as big as r?
True
Suppose 3*l + 7*n - 2*n = 10, -5*l = 3*n - 6. Let u(z) = z**3 + 7*z**2 + 5*z - 6. Let s be u(-6). Suppose -a = 4*r - l*a + 4, -5*a = s. Is r less than -5/11?
True
Let x(l) = l**3 + l**2 - 2*l + 40. Suppose 12*h - 1 = -1. Let q be x(h). Is q < 39?
False
Let r = -294.1 + 294. Which is bigger: 216 or r?
216
Let y = 1039 + -826. Are y and 213 equal?
True
Suppose -2*n = -8*n - 264. Let o = 6 - n. Is 49 > o?
False
Let u be (5 - 2)/(3/(-3)). Let m(r) = r**3 + 3*r**2 + 2. Let a be m(u). Suppose -a*s - 1 = -s. Is s greater than 2/43?
False
Let u be 6/10 - 369/1640. Which is smaller: u or -2/19?
-2/19
Let f = 12/7 - 3. Which is greater: f or -2?
f
Let y(v) = -4*v**2 + 4*v. Let a be y(-3). Suppose -56*s + 20 + 495 = 3315. Which is smaller: a or s?
s
Let c = -868 - -872. Let w be (-70)/(-3) - (-2)/3. Let q be (10/c)/(4/w). Is q bigger than 15?
False
Suppose 0 = 2*o - 5 + 3. Suppose 4*g + 4 - 24 = -2*k, k = -g + 7. Suppose -20 = -g*w - 4*m, -4*w - m + 20 = 3*m. Is w less than o?
True
Let f be -85 + 83 - (-3 - -1). Which is smaller: f or 3/736?
f
Let f = -621 - -11802/19. Let d(a) = -a**2 - 27*a + 57. Let i be d(2). Which is bigger: f or i?
f
Let z = -29/3 - -2053/213. Is 1 <= z?
False
Let j = 117 + -117. Let d = 5 + -58. Let x = -425/8 - d. Do x and j have different values?
True
Let m be (-21)/7 - 16/(-6). Let w = -1/2 - m. Which is smaller: 1 or w?
w
Let o(j) = -j**2 + 2*j - 2. Let u be o(2). Let g be 0 - (-1 - 0) - 3082/1072. Do u and g have the same value?
False
Let o = -34 + 40. Let v(h) = h - 4. Let y be v(o). Which is greater: -11 or y?
y
Let w(c) = -c**3 + 19*c**2 + 20*c + 1. Let d be w(20). Which is smaller: d or 2/39?
2/39
Suppose -12*k = 92 + 16. Which is smaller: -2/65 or k?
k
Let v = 605 + -7866/13. Is v less than or equal to -1?
False
Let d(c) = 8*c - 73. Let v be d(9). Which is greater: 3/25 or v?
3/25
Let l(r) = r**3 - 11*r**2 + 9*r + 15. Let n be l(10). Let b be n - (2 - (-126)/10). Which is greater: -10 or b?
b
Let s be (9 - 7)*(-15)/(-2). Suppose 4*f + 8 = 8*f, 5*v = 5*f + s. Let o = -27 + 35. Which is bigger: v or o?
o
Suppose -6*m = -13 + 1. Suppose -m*t - 3*t - 5*d = 35, 7 = -t + 4*d. Is t at least as big as -48/7?
False
Suppose -3*h + 3*z - 11 = -2*h, -4*h + 4*z - 4 = 0. Which is smaller: 15 or h?
h
Let j = 447 - 372. Is j < 2?
False
Let l be (10/4)/(1/1). Let g(r) = -2*r**3 + 14*r**2 - 3*r + 1. Let q be g(7). Let v be ((-2)/5)/(7 - (-144)/q). Which is smaller: v or l?
v
Suppose -994*j - 231 = -983*j. Which is bigger: j or -3?
-3
Let n be (2/(-6))/((-16)/(-48)) - -41. Is 40 > n?
False
Suppose -3*h + 21 = -6. Let w be 30*9*9/243. Is h >= w?
False
Let w = 163 + -156. Which is bigger: 5/2 or w?
w
Let b = 62 - 61. Let o = -1.1 + 0.1. Which is bigger: o or b?
b
Let v = 3627 + -14427/4. Let j = 20 - v. Do j and 0 have different values?
True
Let y(z) = z**3 - 6*z**2 + 5*z. Let b = 13 + -8. Let f be y(b). Let p be (-2)/21*(3 - f). Which is bigger: 0 or p?
0
Let t = 0.026 - 16.226. Let a = 4.8 - t. Let p = -20 + a. Do p and 6/11 have different values?
True
Let y = 1290 - 14279/11. Which is smaller: -9 or y?
-9
Suppose 6*o + 30 = 4*o - 4*i, -5*o - 2*i - 35 = 0. Are o and 26 equal?
False
Suppose -6*q - 721 = 227. Is q smaller than -157?
True
Suppose -10257 = 39*q - 1677. Which is bigger: -219 or q?
-219
Let l be 3 - (-10)/9*-3. Suppose -3*r + 5*y = 15, 0 = -5*r + y - 3. Which is smaller: l or r?
l
Let p = -198 - -163. Is p at most -35?
True
Let f = 19.9 + -18. Let g = 1.7 - f. Is 2/3 at least g?
True
Let j = -72 - -67. Let c be (3/135*6)/(3/j). Is c != -1?
True
Suppose -3*k - 16 = k. Suppose 0*o = -o. Let t be (-20)/10 - (1 - o). Is k less than or equal to t?
True
Let k be 6934350/69381 - 3/(-9). Let i = k - 120/593. Let n = -100 + i. Is n bigger than 0?
True
Let h = 0.9 - 0.9. Let p = 6 - h. Let v = 2.4 - 3.4. Which is greater: v or p?
p
Let l = -0.351 + 0.451. Which is smaller: 16 or l?
l
Let x(h) = 5*h + 1. Let k be x(4). Let w = 95 - 118. Let o = w + k. Is 0 at most as big as o?
False
Suppose 4*d = 3*h - 7, -h + 18 = 5*d - 16. Is h greater than or equal to -38?
True
Let l = 579 + -578. Are 3/104 and l nonequal?
True
Suppose 64*h - 32 = 60*h. Is 62/7 at most h?
False
Suppose 0 = 5*a - 9 - 16. Suppose 0 = 3*l - 0*l + a*x - 5, x + 2 = 0. Suppose 2*h - 5*v = -5, -1 = 5*h + l*v - 6. Which is smaller: h or -3?
-3
Let k(c) = -5*c**2 + 2*c**3 + c + c**2 + 3*c**3. Let n be k(-3). Let m = -2957/17 - n. Which is bigger: m or 1?
1
Let j be (-3)/9*1/23. Let p(b) = 6*b + 71. Let u be p(-12). Which is smaller: j or u?
u
Let p be (-3 - -1) + 1 + -2. Let b be ((-24)/(-16))/(3/226). Suppose b*v - 24 = 116*v. Which is smaller: v or p?
v
Let c be (-129)/120 - (2 + -3). Let d = c - 9/8. Let u(p) = -p**3 + 12*p**2 - 14*p + 33. Let l be u(11). Is d greater than or equal to l?
False
Let u = -37 - -15. Let l = u - -22. Is l greater than or equal to 4/3?
False
Let g(i) = -5*i**3 + 2*i**2 - 3*i - 6. Let t(r) = 4*r**3 - 3*r**2 + 2*r + 6. Let u(p) = 3*g(p) + 4*t(p). Let y be u(6). Suppose y = -3*s - 3*s. Is s < 0?
False
Let w = -1535.06 + 1531. Which is smaller: -1 or w?
w
Suppose -3*v = 2*j - 180, -5*j - 325 = -5*v - 0*j. Suppose v*g = 60*g. Do g and -1/91 have different values?
True
Suppose -4*m + 6 = -4*y - 18, -5*m + y + 30 = 0. Suppose 3*b - m*l = -5*l - 181, b + 3*l + 77 = 0. Which is greater: -61 or b?
-61
Suppose -2*y = -2*i + 88, -3*y - 2*i - 101 = 26. Which is bigger: y or -42?
-42
Suppose -4*f + 3 = -3*v - 14, v = -3. Let n be (4 - 1)*2/(-6). Let 