ual to h?
True
Suppose -4*w - 2*n = -22, 5*w + n = 38 - 3. Suppose 0 = w*y - 6*y - 42. Let c be 6/y - 2/7. Is c < 2/59?
True
Let j(g) = 17*g - 162. Let o be j(9). Which is bigger: o or -19?
o
Let r = 34 - 39. Let p = r + 3. Which is smaller: 5/7 or p?
p
Let w = -0.7 + 0.25. Let q = w + 0.6. Let u = q - 6.15. Which is bigger: -1/2 or u?
-1/2
Let k = 19 - 19.46. Let j = 4.46 + k. Which is greater: 0 or j?
j
Let s be 0 + (-465)/6 + 4. Let m = -75 - s. Which is bigger: m or -1/5?
-1/5
Let m = -301/228 + 14/19. Is m < -2?
False
Let n be 6/(-3)*(-6)/4. Let x(w) = -10*w + 61. Let c be x(6). Which is smaller: n or c?
c
Let j = -1 - -0.7. Let v(r) = -r**2 + 2*r - 12. Let t be v(9). Let s be (6/t)/((-1)/5). Is s not equal to j?
True
Let a = 1 - 3/2. Let r = 0.7 + -11.2. Let n = -2.5 - r. Which is bigger: a or n?
n
Suppose 15 = -3*h + 27. Suppose h*z - 12*z = 16. Let k = 15412/11 + -1402. Which is greater: k or z?
k
Let q = -80 - -83. Let g be (2 - q)*1 + (-2)/(-1). Which is bigger: g or -1/19?
g
Let v = -1341873/28 + 47890. Let u = v - -135/4. Let d = -4 - -5. Which is greater: d or u?
d
Suppose -5*c = -2*c - 9. Let v = 14 + -5. Suppose v*t - 4*t - 10 = 0. Is c less than t?
False
Suppose -6*s + 711 = 3*s. Is 77 at least as big as s?
False
Let p be ((-9)/6)/(15/4). Let v = 0.15 + -13.15. Let w = v + 15. Is w greater than p?
True
Let r(v) be the first derivative of -15/2*v**2 + 16*v + 1/3*v**3 - 2. Let f be r(14). Is 2 at least as big as f?
True
Let f be 11926/(-938) + 11 + 2. Let m(a) = 20*a + 1. Let o be m(4). Suppose -o = 4*d - 17. Is d less than f?
True
Suppose -11 = -2*m + u + 2, u - 19 = -2*m. Suppose 0 = -2*x - 8, 2*l - 4*x + 0*x = 34. Which is smaller: m or l?
m
Suppose 25*f - 22*f = 12. Let u = f + -65. Is u >= -62?
True
Let g = -19.52 - -0.52. Let p = 14 + g. Let r = 24 + -70/3. Which is greater: r or p?
r
Let l(z) = z - 1. Suppose -49 = -7*v + 3*v + 5*g, -5*g = 25. Let m be l(v). Suppose m*c + 15 = 0, x - 4*c - 7 = 13. Which is greater: x or 0?
x
Let m be -16 - -14 - 1*26. Let w be 6/(((-66)/m)/11). Suppose -3*g = -7*g + w. Are -1/5 and g equal?
False
Let u = 59.06 + -0.26. Let n = -60 + u. Which is smaller: n or 2/7?
n
Let k = 778/9 + -5419/63. Is 31 smaller than k?
False
Let s = 291 + -302. Which is greater: -45/4 or s?
s
Let h = 574 + -557. Is h at least 81/5?
True
Let l be 6/177 + 0/(-1). Suppose -7 = p + x - 3*x, -5*p + 1 = -x. Suppose -4*r - p = 3. Does l = r?
False
Let v be (-16)/(-40) - 129/(-15). Suppose -v*p = -5*p + 16. Let j = -3 - 0. Is p bigger than j?
False
Let g be ((-2)/(-4))/(2/32). Let a be 7 + 63/12 - 2/8. Suppose l = -z + 6*l - g, -3*z - a = -3*l. Do -3 and z have the same value?
True
Suppose 0 = g - 5*g + 8. Suppose u - g = -0*u. Let w be -1*(1 - (u + -1)). Is -1/7 bigger than w?
False
Let o be (-5)/1 + (-14534)/(-2899). Which is smaller: o or 0?
0
Let p be 10 - ((-1071)/(-6))/17. Which is smaller: 28 or p?
p
Let d = 40 - 517/13. Which is greater: d or -0.6?
d
Suppose 762 = -d - 2*b, 74*d - 69*d + 3832 = b. Is -767 at least d?
False
Let v = -461/4 - -8751/76. Is v at least 29/4?
False
Let f be (34*213/12)/(4/(-8)). Let w = f + 73630/61. Do w and -1 have different values?
True
Let c = -13051/21 + 621. Which is smaller: c or -1/5?
c
Suppose -8*i + 0*i + 32 = 0. Suppose -35 = -3*r + i. Suppose -5*z = y - 8, -2*y = -3*y - 4*z + 9. Is y >= r?
True
Let g = 0.06137 + -0.16137. Let d = -26.83 - -27. Let s = 1.13 + d. Which is bigger: g or s?
s
Let p = 3/2723 + -16479/127981. Let d = -89/329 - p. Which is greater: 2/5 or d?
2/5
Suppose 5*r = -21*r - 1066. Is -42 less than or equal to r?
True
Let t = -15 + 4. Let b = t - -11. Which is bigger: -3/73 or b?
b
Let k = -28 - -28. Suppose 26*j - 22*j + 28 = k. Is -18 less than or equal to j?
True
Suppose 48 = -37*b + 29*b. Let c = -13 + 8. Which is greater: b or c?
c
Let y be 2/3 + 1/21. Let r = 40 + -39. Suppose r = 4*n - 2*o - 7, 0 = -3*n + 5*o + 6. Which is smaller: n or y?
y
Let h = -28 + 28. Do h and -5.6 have different values?
True
Suppose 6*s = 10*s + 4. Is s at most as big as 1/106?
True
Let p = -158.9 + 159. Is -433 greater than p?
False
Let h be 2*(60/8)/3. Let m(t) = -2*t**2 - 4*t - 5. Let c be m(h). Are c and 0 nonequal?
True
Suppose 0 = 4*l + 244 - 40. Let i = 52 + l. Let v be 6/(-8)*(-2)/(-15). Which is bigger: v or i?
i
Suppose -5*x - h + 33 = h, -4*x = h - 27. Suppose -2*a - 1 = 3*y + x, -4*y + 16 = 0. Let w be 2 + (-5)/(a/6). Which is smaller: 4 or w?
4
Let w be (2 - -2) + 504/(-123). Is w smaller than 1/4?
True
Let s(f) = -1 + 20*f**2 - 1 - 11*f**2 + f - 8*f**2 - f**3. Let p be s(1). Let c be 42/(-9) - (-1)/p. Which is smaller: c or -7?
-7
Suppose -15 - 10 = -5*i. Suppose -4*m - i = m. Are m and -1/3 unequal?
True
Suppose -12*h + 13*h = -5. Let j(a) = -a**3 - 6*a**2 - 5*a - 2. Let i be j(h). Which is smaller: i or -2/17?
i
Let n be (8/10)/((-30)/75). Let q(p) = -11*p**2 + p. Let z be q(-1). Is z at least as big as n?
False
Suppose -b - 7 = -5*t + 10, t - 61 = 5*b. Let i be (85/10)/((-33)/b). Which is smaller: 2 or i?
2
Suppose -4*c = -4*y - 16, 3*c - c + 3*y = 23. Is 6 bigger than c?
False
Let b(i) = -i**3 + i**2 + 2*i + 3. Let j be b(-2). Suppose d + 5*q - j = 0, 0 = -3*d + q - 18 + 3. Let g be 4/(-36) + d/18. Which is bigger: g or -1?
g
Let v = -273 - -317. Are 42 and v non-equal?
True
Let x = -14.7 + 0.7. Let o = -14.1 - x. Let f = o + -0.2. Which is smaller: 1 or f?
f
Suppose -17*m = -14*m - 12. Suppose 0 = 3*l - 5*u + 151, 0 = -0*l - m*l + 4*u - 212. Which is smaller: l or -58?
-58
Let v = -88 + 44. Let u be -2 + v/(-10) - 10/25. Suppose 0 = z - h, 5*z = h + h. Is u less than or equal to z?
False
Let d(h) = -h - 2. Let v be d(2). Suppose -c - 26 = -4*c - 5*j, -c = j - 6. Suppose 3*g + 11 - c = 0. Which is greater: v or g?
g
Let s be (1/(-9))/1*(-75)/(-105). Which is greater: s or 1?
1
Suppose -14*d + 37*d = -690. Do -0.1 and d have different values?
True
Let g(t) = -t**2 - 57*t - 52. Let y be g(0). Does y = -8?
False
Let y = -1051/9 - -119. Which is smaller: y or 2?
2
Suppose 39*y - 6*y - 1485 = 0. Is y smaller than 45?
False
Let b be 828462*(-2)/(-4)*-1. Let p = b - -845445772/2041. Let x = -1/157 - p. Which is smaller: -1 or x?
-1
Let r = 6482/793131 - 12/1097. Which is smaller: -1 or r?
-1
Let t(k) = -46*k - 138. Let i be t(-3). Which is greater: i or 30?
30
Let j = 0.375 - -0.625. Which is greater: -2.72 or j?
j
Let x = -203 + 123. Is x bigger than 1?
False
Let j(x) = -12*x - 120. Let w be j(-18). Is -1/4 < w?
True
Suppose 0 = 4*v - 4*c - 8, 3 + 5 = v + c. Let q be (24/(-13))/(-1) - 8/(-52). Suppose 5*h + 17 = v*w + 2, -h - q = -2*w. Do h and -4 have different values?
False
Let d(y) be the third derivative of y**5/60 + 7*y**4/8 + 13*y**3/3 - 5*y**2. Let m be d(-19). Which is smaller: m or -13?
-13
Let g = -48 - -45. Let x be (5/g)/(10/(-30)). Is x smaller than 4?
False
Let s = 40 - 59. Let v = s + 37. Let p(b) = 4*b + 158. Let z be p(-35). Is v <= z?
True
Suppose -5*i + u = 35, -i - 2*u + 3 = 10. Which is greater: -4.1 or i?
-4.1
Let c(p) = -16*p**2 - 5*p + 4. Let i be c(4). Let s = -1907/7 - i. Is -1 equal to s?
False
Suppose -5*i - 2 = 4*a, 4*i + 8 = -0*i. Suppose 0 = 3*t + a*t. Is t greater than or equal to 2/41?
False
Let y = 308 - 302.94. Let b = 0.06 - y. Let d = b - -4.96. Is 1/3 bigger than d?
True
Let t = -153149/14 - -22181/2. Let k = -151 + t. Let l = 0.71 + -0.75. Which is smaller: l or k?
l
Let g = -601/6 - -201/2. Let c be (-22)/16 - 2/(-2). Is c greater than g?
False
Suppose 3*o + 179 - 485 = 3*h, -h - 117 = 4*o. Let u = h + 71. Which is greater: -33 or u?
-33
Let p = 3 + -3.3. Let m = 173 - 175. Is p at most as big as m?
False
Let f be 4 - (15 - -3) - 0. Let l be (-4)/f - 2795/(-91). Suppose -b = -l + 2. Which is bigger: 28 or b?
b
Let x = -26310 - -289796/11. Let m = 23899/682 - x. Is 1 >= m?
True
Let c = -248 + 248.369. Let v = 0.35 - c. Let l = v + -21.981. Is -0.1 less than or equal to l?
False
Let s be (-4)/(-3)*29/2. Let q(l) = 4*l**3 - 4*l - 4. Let h be q(2). Do s and h have different values?
True
Let v = 1066/9 + -90622/765. Which is greater: v or -1?
v
Let s = -1125 - -1095. Is -35 at least s?
False
Let l be (-115)/(-20) - (17 + -11). Are -122 and l nonequal?
True
Let r = 1.9098 + -0.0178. Let h = r + 0.108. Are -0.22 and h equal?
F