?
False
Let b = -80 + 135. Let r = b + -45. Let v = -1 + 3. Which is smaller: r or v?
v
Let b = -3.06 + 0.06. Let u = -2 - b. Let f = 0.27 + -0.26. Which is smaller: f or u?
f
Suppose 20 = 5*a, -2*x - 5*a = -3 - 15. Is x at most as big as -2/103?
True
Let s be -5*(-5 + 3/1). Let l be (-3*s/3)/2. Which is smaller: l or -4?
l
Suppose -2*x + 2*f + 519 = -381, 459 = x + 2*f. Which is smaller: 454 or x?
x
Let o = -2986/12883 - -1/991. Let z be 0 - 0 - (2 + -3). Suppose 0 = 5*t + 20, 19 + z = -4*j - 5*t. Is j at most as big as o?
False
Suppose -24*s + 39 = -81. Let w be 4/(-26) + 1068/182. Which is greater: w or s?
w
Let y = -110 - -39. Let c = y + 69. Which is smaller: c or 2/3?
c
Let f be (-760)/627*36/(-20). Is f greater than or equal to 1?
True
Suppose -24*l = 4420 - 13636. Which is greater: l or 385?
385
Suppose o + 2 = -1. Let a = -8 - -4. Let x be (1*4)/(-1*(a + 6)). Which is bigger: o or x?
x
Let m be (2 - 24/9)/((-10)/15). Let w be 3/2*3/15. Which is smaller: m or w?
w
Suppose 0 = m + 4*d + 7, -39*m + 5*d = -38*m - 11. Is m at least 6/23?
True
Let v = -3/4 + 1/12. Let p = 72 + -62. Suppose -25*l + 20*l = p. Which is greater: v or l?
v
Let z = 1296/35 + -262/7. Let x(h) = -h + 3. Let b be x(3). Is z > b?
False
Let i = -3316/12045 + 12/365. Which is bigger: i or 0?
0
Let t(u) = u - 5. Let b(k) = k**3 + 7*k**2 + k + 10. Let y be b(-7). Let g be y*5/(60/32). Let l be t(g). Is 1 smaller than l?
True
Let s = 21230/189 + -764/7. Which is bigger: s or 2?
s
Let w = 10.9 - 0.9. Is -3 != w?
True
Let i = 5 - -10. Let d = -21 + i. Let q = 6 + -10. Which is smaller: d or q?
d
Let b be -2*2/8*-2. Let l(r) = r + 2*r - r. Let g be l(b). Is g at least 1?
True
Let b(l) = l**3 - 6*l**2 - 12*l + 14. Let u be b(7). Let d = -32 - u. Is d less than -7?
True
Let o = -4855/644 - -53/7. Which is bigger: o or 1?
1
Let x = 125/17 + -727/85. Let u be ((-8)/(-6))/(6/(-27)). Which is bigger: x or u?
x
Let a = -12 - 3. Let l = 16 + a. Let k = 38 - 38. Is l < k?
False
Let a = 306 - 305. Which is smaller: -7/176 or a?
-7/176
Suppose -15 = -3*m - 4*r, m - 3*r = -0*r - 8. Let q = 69 + -74. Let o = q + m. Which is smaller: -5 or o?
-5
Suppose 5*o + 0*d - 20 = -2*d, 2*d - 10 = 0. Let x be ((-60)/35)/(o/(-14)). Let r(k) = 2*k**3 - 3*k + 1. Let b be r(2). Which is smaller: b or x?
b
Suppose -4*i = -13*h + 9*h + 16, 0 = 2*h - 3*i - 13. Which is smaller: h or 1/28?
h
Let w be 3058/(-417) + 1 + 10/(-6). Is 0.1 at least w?
True
Let g(w) = -6 + 52*w**2 - w**3 - 48*w**2 + w - 2*w. Let i be g(3). Suppose -4*z + l + 22 = i, z + l - 8 = -0*l. Which is smaller: z or 5?
5
Suppose -4*q - 5*l = 57, -3*q - 3*l + 12 = 51. Suppose 2*s - 10 = 2. Let n = -14 + s. Is n at most q?
True
Suppose -2*f = 4*t + 1176, 2 = -4*t + 3*t. Is -584 >= f?
True
Let n = 13 + 7. Is n > 2?
True
Let n = -1.7 + -18.3. Let q = -23 - n. Is q < 2/3?
True
Let o be (-3)/(-7) - (-737)/77. Suppose -5*g + h = -0*h - o, -g - 4*h = -2. Is 0.3 less than or equal to g?
True
Suppose 2*h - 2 = -28. Suppose 12 = -18*j + 6*j. Let v be (5 + (-14)/3)*j*33. Which is smaller: h or v?
h
Let w = 0.312 + -1.312. Which is smaller: 17 or w?
w
Suppose -8 = -8*h - 24. Let c be (-3 + 10)*1 - h. Is 9 at least c?
True
Let m = -185/22 + 21/11. Is -3 <= m?
False
Let w = -10 - -10. Let i be 3 - (2 - 1 - w). Let o = i + -3. Do -1 and o have different values?
False
Let o(b) = -4*b + 1. Let w be o(-1). Let a(s) = s**3 - 5*s**2 - 5*s + 7. Let h be a(w). Let g be 4/h*(-21)/(-14). Is g < 0?
True
Let w be 0 + 4 + (-18)/(-12)*-2. Suppose 3*u + 5*y - 27 = 0, 4 = 2*u - y - 1. Suppose u*x + 27 = -w. Is x less than -6?
True
Let v(a) = -11*a**2 + 6*a + 5. Let c(y) = 11*y**2 - 5*y - 4. Let j(o) = -4*c(o) - 3*v(o). Let b be j(-1). Which is greater: b or -13?
b
Let i be 3 + (-5 - 32/24). Is 0.8 <= i?
False
Suppose 2*p + 3*p - 3*y = -581, -5*p - 3*y - 599 = 0. Let g be p/150 - (-52)/78. Does 0 = g?
False
Let r(i) = -i**2 - i + 11. Let l be r(-3). Suppose -4*o - 89 = 3*c + o, -c - l*o = 43. Which is smaller: c or -21?
c
Let n be (-2)/1 - (-36)/10. Suppose 2*j = v + 2, 5 = 4*j - v - 3. Suppose 0 = -j*c - 0*c + 3. Is n less than c?
False
Let a = -1779.2 + 1779. Is -0.0188 bigger than a?
True
Let s = -90 - -93. Suppose 40 = -s*n - 5*n. Which is smaller: -4 or n?
n
Let v(j) = -17*j**3 - 5*j**2 - 5*j - 1. Let g be v(-1). Let d(f) = f**3 - 15*f**2 - 14*f - 35. Let c be d(g). Which is smaller: -4 or c?
-4
Let d = -728 - -729. Is -8/69 bigger than d?
False
Let m = -1.48 + 6.48. Which is smaller: -8 or m?
-8
Let p = 0.1409 + -630.1409. Is 0.1 less than p?
False
Let p = 1766659 + -2181823659/1235. Let s = 4/65 - p. Which is greater: s or -1?
s
Suppose 29 = 3*m - 0*q + q, 3*m + 5*q = 49. Let z = m + -4. Is 2 <= z?
True
Let x = 37118 + -409234/11. Which is bigger: -84 or x?
-84
Let l = -1056 - -982. Which is smaller: -72 or l?
l
Let g be (2/(-18))/(5/24). Let k(y) = -y**3 + 21*y**2 - 38*y - 2. Let z be k(19). Which is greater: z or g?
g
Let h(r) = r**2 + 25*r + 109. Let q be h(-11). Which is smaller: q or -43?
q
Suppose 3*n - 1 = 2*n. Suppose -2*r + 1 = u - 1, 5*r = u + 5. Let g be (-2)/(-100)*(4 + u). Which is greater: g or n?
n
Let s = 0.3 + -9.3. Let a = s - -8.9. Let o be 9/(-12)*(-6)/9. Is o > a?
True
Let j = -22.08 - -0.08. Let a = j - -22. Is 5/9 bigger than a?
True
Let c = 62 - 56. Suppose -c*u = -0*u. Let q = -2/5 - -1/15. Which is greater: u or q?
u
Let r = -854 + 588. Which is smaller: -264 or r?
r
Let v = 63 + -93. Suppose -m - 2*i - 23 = 16, -141 = 4*m + 5*i. Do m and v have the same value?
False
Let m(n) = n + 10. Let j be m(-8). Suppose -3*q = 4*y - 7, j*q + 2*y - 5*y = -1. Let b be (q/2)/((-8)/(-12)). Which is greater: 2 or b?
2
Let y = 1/360 + 1/45. Are y and -8 nonequal?
True
Let i be (-192)/12*20/(-33). Let m = -108/11 + i. Are m and 1 non-equal?
True
Let k(a) = -6*a + 7. Let g be k(4). Let w = g + 15. Let z be 1/(-1)*(-2 + 2). Which is smaller: z or w?
w
Let a(g) = -6*g - 5. Let w(b) = -17*b - 15. Let n(t) = 8*a(t) - 3*w(t). Let h be n(-6). Let q = 5 + -18. Are q and h equal?
True
Let c(t) = 2*t - 4. Let k be c(-6). Let o be ((-4)/k + -1)*-20. Let z be 4/(-7) + o/63. Do 1 and z have the same value?
False
Let p be ((-4)/348*-1)/(-1). Suppose 5*u = 2*t - 11, 10 - 3 = 5*u + 4*t. Is u greater than or equal to p?
False
Let q(d) = -145*d - 891. Let b be q(-17). Which is greater: 1573 or b?
b
Let y = -1563 + 1337. Which is greater: -221 or y?
-221
Let g = 176 + 443. Which is smaller: g or 618?
618
Let q(j) = j**3 - 11*j**2 - 9*j + 17. Let y(k) = -3*k + 11. Let l be y(0). Let c be q(l). Are -82 and c equal?
True
Let y = 0 - 0. Suppose -2*a + y*f = f - 42, 0 = -a - 2*f + 24. Is a <= 17?
False
Let c = -25 - -68. Suppose o + 4*k - 57 = 0, 121 = 2*o - k + c. Which is smaller: o or 43?
o
Let c = 0.047 + 0.953. Suppose n = -3*n - 2*r + 112, n + 3*r - 38 = 0. Let z be (0 - 1)*(-4)/n. Is z > c?
False
Let g = 246 - 244. Are g and -1/3 equal?
False
Let c(l) = -l**2 - 9*l - 4. Let s be c(-6). Suppose v - s = 1. Let q be v/20 + 6/(-8). Is q < 1/3?
True
Suppose -5*p + 5 + 25 = 0. Suppose -p*b - 56 = b. Is -6 at least b?
True
Let g = 16 - 13. Suppose 2*m - 10 = -g*m. Let q(u) = u. Let y be q(m). Is y < 1?
False
Suppose 2*a - 5*w + 18 + 0 = 0, -3 = a - w. Let y be 2 - (-362)/(-203) - 58/203. Is a greater than y?
True
Let i be (0 - 4) + 74/20. Let q = 7 + -8. Which is bigger: i or q?
i
Let w be (-11)/(-21) - -2*9/126. Which is smaller: w or -4/47?
-4/47
Let p = 79.5111 - -0.0889. Let s = 79 - p. Are 4 and s nonequal?
True
Suppose -64 = -5*u - h - 18, 3*u + 3*h = 30. Let i(q) = 9*q + 520 - 176 - q**2 + 0*q - 170 - 176. Let k be i(u). Which is smaller: k or -0.1?
k
Let r = 28 - 29.7. Let q = r + 1.4. Let g = q - -0.2. Is g at most as big as 15?
True
Suppose -5*s + 4 = 9. Let o be (3/6)/(s/20). Let p be 6/o + (-24)/(-90). Is 2/7 equal to p?
False
Let y be (-4 - 76/6)*(-48)/5. Is y bigger than 159?
True
Let d = -14827/93664 - -6/2927. Suppose r - 5 + 0 = 0, 2*r = -3*a + 13. Which is smaller: a or d?
d
Let g be -2*4/(-24) - 25/(-15). Suppose -o - g*m + 2 = 0, m - 1 = -6. Which is smaller: o or 1/3?
1/3
Let u = 52.2 - 52.5. Does 49 = u?
False
Let n(k) = -7*k - 29. Let d be n(-13). Which is smaller: d or 60?
60
Let z be (-8)/(-6)*(-36)/24. Let l be 8/(-3)*(-1)/(z/18). Is -25 bigger than 