 - (-3 + -7)). Is h less than -7?
True
Suppose 782 = 8*o - 730. Let w be (-4 - o/(-49))*(-4 - -1). Let h(r) = r + 4. Let c be h(-3). Is c smaller than w?
False
Let y(r) = r**3 + 5*r**2 + r - 5. Let m be y(-4). Let z be (-4)/m + (0 - (-1132)/(-28)). Which is smaller: z or -40?
z
Suppose -17*z + 21560 = 5*z. Suppose -9*j - 11*j - z = 0. Are -48 and j equal?
False
Let p(t) = -996*t - 8174. Let o be p(-8). Which is bigger: -77 or o?
-77
Let k = 7381 - 7382. Which is smaller: k or -72/289?
k
Let w(i) = -41*i + 68*i - 51*i + 23 + i**2. Let v be w(23). Let j = 170/9 - 19. Is v at least j?
True
Let y = 5439/14062 + -31/79. Let a = y - 353/534. Do -4 and a have different values?
True
Let i = -612/43 + 11965/602. Let b = i + -6. Which is bigger: b or 1?
1
Suppose -4*k - 22 = -a + 36, 2*a = -4*k + 8. Suppose 2*m + 5*w = -3 + 41, 3*m = 2*w + 76. Is a >= m?
False
Let w(m) = m**2 + 5*m - 4. Let b be w(-6). Let j be 2 - ((-560)/(-141))/b. Let f be 6/(-4)*((-47)/(-141) - (-2)/6). Is f < j?
True
Let c(x) = -x**3 + 11*x**2 + 13*x - 10. Let z = -2 + 14. Let f be c(z). Suppose -g + f - 4 = 0. Is -3 greater than g?
False
Let v = -0.793 + -39.107. Let x = -31840 + 31840.1. Is v at least x?
False
Let j(u) = -u**2 - u - 3. Let q(w) = 3*w**2 + w + 6. Let p(l) = 5*j(l) + 2*q(l). Let b be p(0). Which is greater: b or -2?
-2
Suppose -4*y - 3*b + 272 = 0, -2*y + 0*b = 3*b - 130. Let h be 880/(-12) + ((-110)/15)/11. Let k be -4*1 + (h + -2)*-1. Is k > y?
True
Let j = -23219/4 + 5805. Are j and -1/356 nonequal?
True
Let c(b) = -4*b**2 + 3*b - 1. Let g be c(3). Let m be -1 + 2 + (-7)/(g/8). Let r(t) = 3*t - 29. Let u be r(11). Are m and u non-equal?
True
Let p = 82 + -97. Let l(w) = -w**2 - 24*w + 16. Let m be l(p). Which is smaller: 150 or m?
150
Let m be -4 - (-79781)/34824*2. Let n = m + 2/1451. Do n and -1 have different values?
True
Let b be -65 - -8 - 3 - (2 - -1). Let h = -121 - b. Which is smaller: h or -59?
-59
Let m be 3/((-36)/(-12)) + -2117. Do -2118 and m have different values?
True
Suppose 3*u - 1207 = -304. Let t be ((-2)/(-7))/((-129)/u). Does 129 = t?
False
Suppose 8544 = 11202*j - 11190*j. Is 701 <= j?
True
Suppose -3*a - 2*n - 113 = -105, -4*n - 4 = 4*a. Suppose 1 = p - 3. Suppose -6*u = -4*u + p. Which is bigger: a or u?
u
Let q = 30 - 11. Let m = -18 + q. Let o be (2 + -4 + m)*(-1 + -2). Which is smaller: o or 0?
0
Let x = 1999 + -1969. Which is smaller: x or 243/8?
x
Let h be (-147)/196 - (-35)/4. Which is smaller: h or 9?
h
Let c = -12335.95 - -12048. Let f = c + 287. Is 1 greater than f?
True
Suppose 13 = u + 4*r, -3*u + 19 = u + 5*r. Let j be (-132)/(-10)*(-4 - 1). Let l be (-10)/(-1)*(126/j + 2). Which is smaller: u or l?
l
Let m be 402/(-31423)*(-21)/9. Let k = -3 - -3.1. Is m at most k?
True
Let s = -91/174 - -2/87. Suppose 0 = 8*q - 9*q - f - 40, 0 = 2*f + 10. Let i be (q/(-161))/(-1 - -6). Which is smaller: s or i?
s
Let r = -2031 - -2032.6. Is 0.36 at most as big as r?
True
Let p = -126 - -222. Let k = p - 83.4. Let t = 12.5 - k. Which is bigger: t or 8?
8
Let h be ((-24)/(-20))/((-2)/5). Let m be (408/22)/h - (-3 - -5). Which is bigger: m or -7?
-7
Let o(n) = 26*n**2 - 136*n + 165. Let x be o(2). Let i be -1 - 0 - (1 - 2). Let v be 1 - ((i - -1) + 4). Is x less than v?
False
Let z = -9633 + 9633. Let b(l) = -l**2 + 2*l - 3. Let r be b(-4). Which is bigger: z or r?
z
Let v(u) = 17*u - 151. Let g be v(32). Let c = -394 + g. Let m = 3593/39 + -281/3. Does m = c?
False
Suppose 24 = -30*s + 34*s. Let r be 7 + (-594)/126 + (-2)/7. Is r at most s?
True
Let u be (-4 + 3)*4 + 4. Suppose -26*d + 15*d - 66 = u. Suppose -7 - 9 = 3*f - 2*m, 5*m = -f - 28. Which is smaller: f or d?
f
Let g(v) = v**2 + 179*v + 7057. Let i be g(-121). Which is greater: i or 184?
184
Let g = -44/83 - -49/249. Let p = 27 + -26.932. Which is bigger: g or p?
p
Let i = 60 - 38. Let o be i/(-4)*(13 - 11). Let u = 125 - 135. Are u and o equal?
False
Let c = -2661.8 - -2813.8. Which is greater: -2.4 or c?
c
Let k(d) = d**2 - 11*d + 15. Let g be k(10). Suppose a - 177 = -g*r, -72 = -2*r + 2*a - 3*a. Suppose 1315*s = 1317*s - 72. Which is greater: s or r?
s
Let n be (-12)/8*20/(-15). Suppose 0 = n*m - 58 + 68. Suppose -4*c = 12 + 12. Which is smaller: m or c?
c
Suppose 2*p + 10 = 4*u, 21*u + 617*p + 24 = 619*p. Let n = 1427 - 5675/4. Is n less than or equal to u?
False
Let c(j) = j**3 + 28*j**2 + 38*j - 38. Let w be c(-21). Is w at most 2251?
True
Let p(t) = 5*t - 2*t**3 - 5*t**2 - 10*t - 7 + 2*t**3 - t**3. Let z be 18/(-22) + 1 + (-414)/99. Let a be p(z). Which is smaller: -7/3 or a?
a
Suppose 9 = 4*x + 5*s, 0*x + 2*x = 5*s - 3. Which is bigger: 9/634 or x?
x
Suppose -l + 9 = -7. Let k be (l/1480)/(1/(-5)). Let d(h) = h**3 - 12*h**2 - 14*h + 12. Let a be d(13). Which is bigger: a or k?
k
Let w = -101 - -96. Let b = 8 - 7. Let j be (-4)/(b/(4 - 3)). Are w and j non-equal?
True
Let d = 208 - 140. Let q = -114 + d. Let r = -71 - q. Which is greater: r or 1/2?
1/2
Let a = -21.669 + -0.131. Let l = 21.8 + a. Which is smaller: l or 10?
l
Let h = 74387/3718422 - 1/22266. Do -0.1 and h have the same value?
False
Let m be (-30 + 0)*(-121806)/(-1212). Which is smaller: m or -3012?
m
Let n = -14.4 - 14.6. Let j be ((-8)/(-12))/((-20)/30). Are j and n unequal?
True
Let u be (2/2 - 561)*23/299. Which is bigger: u or -1?
-1
Let q = 343/230 + -9/23. Let g = 8/5 - q. Which is bigger: 4 or g?
4
Let y = -109 + -195. Which is smaller: -302 or y?
y
Suppose 3*g + 21*g - 33576 = 0. Let p = 835 - g. Which is smaller: p or -565?
-565
Let o(g) = -3*g + 2 - 16*g**2 - g**3 - 2*g + 21*g**2. Let a be o(4). Let q = 216 + -216.17. Which is bigger: q or a?
q
Suppose 1799 = 4*u + m + 4734, -2*m + 1480 = -2*u. Which is greater: -736 or u?
u
Suppose -1390*t + 23860 = -1410*t. Are t and -1194 nonequal?
True
Let a be (-1640)/9585636*(-3)/15. Do 0 and a have the same value?
False
Let m be (-60)/240 + (-602)/(-8). Let g = m + -3451/46. Which is greater: g or -1?
g
Let a be 5*1*363446/115. Which is greater: a or 15801?
a
Suppose -3*r = 5*p - 232, -17*r - 172 = -4*p - 16*r. Let m(q) = -q**3 + 44*q**2 - 2*q + 65. Let o be m(p). Suppose -v - 3*v = 100. Is v less than o?
True
Let d = -55 - 60. Let u = d + 83. Let o = 37 + u. Which is bigger: o or 0.8?
o
Suppose 23*j - 194 - 749 = 0. Suppose 37*w = k + j*w + 34, -3*k - 52 = 2*w. Suppose -g + 0 = -2. Which is greater: k or g?
g
Suppose -126 = 21*c - 819. Let d = -169 + 189. Which is bigger: c or d?
c
Let b = -409 - -414. Let h be 16/22 - (-3 + b). Is 0 greater than h?
True
Suppose 0 = -p + 3*g - 201, -5*p + 3*g - 995 = -2*g. Let z = -233 + 35. Is p at least as big as z?
True
Let l be -6 + (-160 + -9)/(-13) - 6. Which is smaller: 8/4041 or l?
8/4041
Let v(c) be the second derivative of c**4/12 - 13*c**3/2 + 76*c**2 + 4*c - 14. Let p be v(36). Is p less than 43?
False
Let i = -187.12 - -2.12. Let u = -176 - i. Is 11 smaller than u?
False
Let y(z) = -2*z - 5. Let v be y(-3). Suppose -f - 539 = 2*f + a, 0 = -5*f - 5*a - 895. Let s = f + 162. Which is bigger: v or s?
v
Suppose -5*z + 0*z = -20. Suppose 2 = a - z. Let g be a/14 + (-85)/280. Which is smaller: g or 2/11?
g
Suppose a - 22 = k + 30, 0 = 2*k - 3*a + 109. Let x(c) = 48*c + 1925. Let m be x(-41). Is m >= k?
True
Let a be (-6)/(10*(-2)/(-1700)). Let i = a + 616. Is i at most 108?
True
Let d be (6265/4)/(((-15)/36)/(125/975)). Is -481 at least as big as d?
True
Let h = 415.02 - 411. Let w = -49 - -45. Let c = w + h. Which is smaller: c or -0.05?
-0.05
Suppose 35*c - 33375 - 2640 = 0. Is c <= 1027?
False
Let j = 20777 + -20777.4. Is j at most 2009?
True
Let w(b) = 5*b**3 + 5*b**2 - 8*b + 3. Suppose 12 = 4*m - p, 61*p = 2*m + 60*p - 8. Let z be w(m). Which is smaller: z or 41?
41
Let y(f) = f**2 - 8*f + 10. Suppose -4*t - 194 + 222 = 0. Let k be y(t). Suppose -73*q + k = -70*q. Is q at least as big as 1/78?
True
Let s be 1 + 3 + ((-17260)/(-84) - (-4)/(-28)). Is s at least 209?
True
Let h = 29/709 - 56665/33323. Is -3 > h?
False
Let f = 40309/3 - 13093. Let s = f - 344. Which is smaller: 0.13 or s?
s
Let r = -580 - -580.129. Let q = -0.069 + r. Is 2.2 greater than q?
True
Suppose -19*l = -4*l - 8430. Let d be (0 + 5 + l/(-112))*-6. Is d equal to 0?
False
Suppose -4*a = 2*u - 2, 3*u - 2*a + 4 = -a. Let c be -3 - (-2 - (88/20 