Is m greater than or equal to h?
True
Suppose -k - 30816 = -20*k - 5*k. Is 1284 > k?
False
Let w be (-6)/3 + -1 - (-1)/((-4)/(-12)). Is -2/3959 < w?
True
Let p = 24597418/4735 - 25974/5. Which is greater: p or 1?
1
Let l = 1849383/52 - 35567. Let z = 56/13 - l. Which is greater: z or -5?
z
Let c = -501.30833 - -0.30833. Do c and 1/8 have the same value?
False
Let y = 85 - 58. Let t be (y/(-252))/(10/(-296)) - 3. Which is greater: -1 or t?
t
Suppose -25 = 15*v - 16*v. Suppose v*w = 22*w + 2*c - 29, -2*w = -5*c + 23. Let b(t) = 2*t**3 + 3*t**2 - 2. Let n be b(-2). Is n at most w?
False
Let k(c) = 107 + 8*c - 37*c - 94 + 182 - 38*c. Let o be k(3). Is o equal to 7?
False
Suppose 0 = 13*l + 3*l + 4832. Let x = -391 - l. Which is smaller: x or -0.1?
x
Let h(m) = -m**2 + 3*m - 13. Let w be h(8). Let l = 56 + w. Suppose 0 = -l*p + 5*r + 9, -3*r = 5*p + 2*r - 15. Is 15/4 < p?
False
Let s(v) = -v + 57. Let y be s(0). Let w(o) = -o**3 + 39*o**2 + 67*o + 673. Let k be w(41). Are k and y unequal?
True
Suppose -6 = 2*j + 2*y, 5 - 7 = y. Let b be (0 + -4 - -21)/(j - 0). Which is smaller: b or 0.05?
b
Let n = 16 + -14. Let o = n + -4. Let i = 201/208 - 13/16. Is i greater than o?
True
Let d(c) = -c**2 - c - 2. Let r be d(0). Suppose 10*y = 523 + 347. Suppose -16*i + 45*i = -y. Which is greater: r or i?
r
Suppose -4*a - 7 = -3*d, -125*a - 2 = -123*a. Which is smaller: -33/131 or d?
-33/131
Let j(u) = 2*u**2 + 1142*u + 25207. Let m be j(-23). Let b be 436/(-1808) - (-2)/8. Are b and m non-equal?
True
Let t = -117 - -118.26. Let n = t + -0.26. Let u = -22.67 - 0.33. Is n < u?
False
Let f(l) = -63*l - 415. Let a be f(-6). Which is smaller: a or -36?
a
Let w be -5*(30/255 - 894/85). Suppose c = 28 - w. Which is smaller: c or -28?
-28
Let n = -9476.3 + 9513. Which is greater: -4/3 or n?
n
Let k be (-869)/711 + 2/9 + 806. Which is bigger: k or 801?
k
Let j = -9921 - -8799. Is j at least as big as -0.1?
False
Let a = -3757 - -2668. Is a less than -1090?
False
Let a be 126222/31416 + -4 + (-2)/(-7). Let s = a + -3/44. Is s less than or equal to -1?
False
Let a = 4433 - 4430.359. Which is greater: -1 or a?
a
Let j = -307/4 - -101. Let v = 24 - j. Is v smaller than -37?
False
Let z(j) = -2*j**3 + 20*j**2 + 44*j - 450. Let b be z(10). Which is bigger: -352/31 or b?
b
Suppose 5*u = 2*n + 55, -9*u + 4*u + 95 = -3*n. Let v be (266/(-6) - 11/(-33)) + 0. Is n at most as big as v?
False
Let y = -7071 + 77785/11. Which is smaller: 34 or y?
y
Let c(l) be the third derivative of -l**4/6 + 191*l**3/6 - 14*l**2 - 1. Let p be c(-14). Which is bigger: p or 246?
p
Let j = -1096.8 + 1096.9. Suppose -i = c - 3*i + 22, c = i - 17. Which is smaller: j or c?
c
Let y = -928 - -936. Let p be ((-26)/y - 1)/((-1)/16). Is p at most 68?
True
Let b = -197 - -196.917. Let o = b + -5.917. Which is smaller: -2/13 or o?
o
Let z = -7657/2 + 187596/49. Are -1 and z nonequal?
True
Let m(k) = -k**3 - 22*k**2 + 42*k + 3. Let p = -3 - 21. Let b be m(p). Suppose 11 = -b*c + 146*c. Is -11 bigger than c?
False
Let l = 5535/8 - 9235/8. Which is bigger: -463 or l?
l
Let m = -133.974 - 0.026. Let q = m - -34. Let o be ((9 - 5)/12)/(14/(-12)). Which is smaller: q or o?
q
Let m = -0.21283 + 0.01283. Which is bigger: 1.197 or m?
1.197
Let x = -98 + 112. Suppose 449 = -x*f + 1219. Let m = 56 - f. Which is bigger: m or -4?
m
Let w(a) = -a**2 + 77. Let o be w(-9). Let b(t) = 4*t + 6. Let u be b(-3). Which is smaller: o or u?
u
Let f = 0.003 + 0.028. Let d = 2109 - 2109. Is d < f?
True
Let r(t) = -7*t - 21. Let p be r(9). Let a = 82 + p. Let y be (-2 + 2 - 0)/(-4). Which is greater: a or y?
y
Suppose 7*f - 4*x + 716 = 9*f, 1089 = 3*f + x. Is f less than or equal to 363?
False
Let z be (-20 + 0)/((-6)/15). Suppose 0 = 3*w + 2*w - z. Let m(a) = -4*a**3 - 29*a**2 + 18*a - 39. Let n be m(-8). Which is bigger: w or n?
w
Let o(a) = -2*a**2 + 43*a - 14. Let d be o(18). Suppose r - 126 = 6*r - g, 0 = 4*r + 2*g + d. Is r smaller than -25?
True
Suppose 41*l + 54570 = 17*l - 88086. Is -5945 >= l?
False
Let c = -171.8 + 151.78. Let h = -70 - -90. Let l = h + c. Is -2 at most l?
True
Suppose -349 + 195 = -14*d. Let c = 0.102 + -22.102. Which is smaller: c or d?
c
Let z = 0.3689 - -0.6311. Are -2.14 and z equal?
False
Let p be (-336)/(-8) + 1 + 5. Let a be 5/(-7) + p/(-168). Is a less than or equal to 20/81?
True
Suppose 39*x - 5*x = 204. Let k(d) = -3*d**3 + 3*d**2 + 5*d + 3. Let f(o) = -4*o**3 + 3*o**2 + 6*o + 4. Let z(q) = 5*f(q) - 6*k(q). Let p be z(-2). Is x <= p?
True
Let w be (4/(-8))/(6/1080). Let f be ((-40)/(-50))/((-2)/w). Let y = f - 48. Which is smaller: -21/2 or y?
y
Suppose -28*a - 266 = 154. Let o be 55/22*-2*(-6)/a. Is -22 at least o?
False
Let y(w) = 5*w - 7*w - 4 - 4 + 7 - 10 + w**2. Let m be y(-4). Which is smaller: m or 150/13?
150/13
Let v = -0.1472 - -0.3032. Which is smaller: v or 0.6?
v
Suppose 48 = 51*v + 150. Let s = 375 + -5263/14. Which is greater: s or v?
s
Suppose -142*m + 193*m + 1989 = 0. Is -35 at most m?
False
Suppose -4*s = 4*h + 4, 3 = -1114*h + 1111*h + 2*s. Let w = -31359/295 + 531/5. Which is greater: w or h?
w
Suppose 2*t - 18870 - 59940 = 17*t. Which is smaller: 0.2 or t?
t
Let y = -455 + 476. Let x be (7 + 6 + -4)*1/y. Is x <= 0?
False
Let r be ((-252)/(-20) - -3)/(3 - 68/20). Is 1 less than r?
False
Let p = 113/265 + -12/53. Which is smaller: p or 111/8?
p
Let c = -13374 + 13521. Which is greater: c or 81?
c
Let y = 8706 + -1558366/179. Which is smaller: y or -1?
-1
Let t = 433/3 + -293/2. Let x = t - -5/12. Let u be 24/160*-4*5. Are x and u equal?
False
Let b(j) = j**3 - 10*j**2 - 26*j + 16 + 42 - 11. Let m be b(12). Is m greater than 26?
False
Let j = -247.919 - -248. Let u be 4/(-7) + (3 - 20/(-35)). Which is greater: j or u?
u
Suppose 1452 = 3*q + 5*i - 2030, 3*i + 4691 = 4*q. Suppose 5*y = -2*z - q, 6*y - 7*y - 5*z = 220. Are y and -235 non-equal?
False
Let q(y) = y**2 - 34*y + 286. Let n be q(19). Which is smaller: 2/2911 or n?
2/2911
Let x = -2826 + 4098. Are x and 8895/7 non-equal?
True
Let z = 5933 - 1056029/178. Which is smaller: -1 or z?
-1
Let o = 112.458 - -0.542. Let l = 112 - o. Which is smaller: l or 469?
l
Let d = 172 - 231. Let v = d - -60. Which is greater: v or 199?
199
Let i(m) = m**3 - 9*m**2 - 81*m - 18. Let f be i(13). Let j = -12651/32 - f. Is 1 smaller than j?
False
Let a be ((-2)/3)/(3/9). Suppose -87 = -3*u - 6*s, 5*u = 267*s - 264*s + 67. Which is smaller: a or u?
a
Let s = -1077.2 + 1077.3. Let q = 0.05 + 5.95. Is q equal to s?
False
Let g = -6383.97 - -6384. Is g less than 105/8?
True
Suppose 27*h = h - 0*h - 5070. Which is smaller: -190 or h?
h
Let z(m) = 13*m - 134. Let x(t) = 13*t - 135. Let c(f) = -5*x(f) + 6*z(f). Let w be c(13). Is 39 bigger than w?
False
Let y = -47 - -46.63. Let q = -2.25 - y. Let g = 0.12 - q. Is 2 greater than or equal to g?
True
Suppose -2*n - 1799 = -2*t + 1039, -2*t + 4*n + 2828 = 0. Let l = -827 + t. Is l equal to 597?
True
Let k be 228/342 - (-1)/(-6). Which is bigger: -168 or k?
k
Let i = -4619 + 4476. Is 0.26 less than i?
False
Let n = 41 + -37. Let g be 9/(265/70 - n). Is -44 > g?
False
Suppose 9*w + 0 = 5*w - 4. Is -2/5679 not equal to w?
True
Let i = 79 - 112. Let g be (-12)/(-8) - i/(-60)*2. Which is greater: g or -52?
g
Let i = -45926/463678251 + 1/172982. Which is smaller: 0 or i?
i
Let y be (-3 - (-2)/1) + 20. Let t = -129/14 + 187/7. Are y and t non-equal?
True
Suppose 157*b + 23 = -291. Is -23/40 smaller than b?
False
Let m(u) = 218*u + 4805. Let h be m(-22). Which is smaller: h or 11?
h
Let h(t) = -78*t**2 - 3*t - 4. Let w(m) = 2*m**2 - 2*m - 2. Let n be w(0). Let r be h(n). Let o be (9 - 9) + (-4)/r. Are 1 and o nonequal?
True
Let b(l) = -78*l - 716. Let p be b(-9). Which is greater: p or 105?
105
Let t = 14 + -8. Let b = 28 - t. Suppose -15 = -3*m, 2*m - b = 3*r + 3*m. Is -10 equal to r?
False
Let u(t) = t**3 + 2*t**2 - t. Let m be u(-2). Suppose 0 = -0*s - 5*s - b + 288, -5*b = -2*s + 126. Let f = -51 + s. Is m at least as big as f?
False
Suppose 2*f + 57*z + 31 = 58*z, 4*f = 5*z - 59. Suppose 10*w = 24*w + 182. Which is smaller: w or f?
f
Let s = -10447/61145 - 1/1747. Is s at least 1?
False
Let h(f) = f**3 - 13*f**2 + f - 5. Let w be h(13). Let q be (-224)/22 + 48/22 + -2. Let t be ((-32)/40)/(1/q). Is w a