+ d. Is u less than or equal to s?
True
Let l = 17 + -22. Suppose -3*f = -3*j + j + 2556, 3*j + 1691 = -2*f. Let h = -4276/5 - f. Which is greater: l or h?
l
Let w = 3 - 1. Let c = -12576 - -138334/11. Is w < c?
False
Let t = -5093 - -5094.5. Which is bigger: 7.1 or t?
7.1
Let m(h) = -611*h + 2920. Let v be m(5). Which is greater: -47 or v?
-47
Let l = -8689.2 - -9455. Let b = -766 + l. Let t be (-1 - (-18)/(-16))*-4. Is t at most as big as b?
False
Let z(y) = 4*y - 31. Let s = -34 + 38. Let r be s + (8/(-4) - -5). Let v be z(r). Which is greater: v or -19/7?
-19/7
Suppose -20*p + 45*p = -107*p - 660. Let b = 11 - -4. Which is greater: b or p?
b
Let z = 2250 + -9403. Is z not equal to -14303/2?
True
Let j = 5.65 + 217.35. Let d = j + -284. Let s = 3/19 - 31/76. Which is smaller: d or s?
d
Let j = 180/151 + -2381/604. Which is smaller: -91 or j?
-91
Let d = 243 + -313. Let j = d + 69. Let k = -895813/255 - -3513. Which is bigger: j or k?
k
Let k = -974 + 975. Is -0.5904 not equal to k?
True
Let x be (-6)/27 + (-188)/(-36). Suppose x*a + 3*p + 22 + 10 = 0, 5*p + 20 = 0. Which is bigger: a or -19/5?
-19/5
Let c be (-293816)/(-2508) + (-2)/(-11). Is c at most as big as 117?
False
Let t = 144 + -109. Let b = t - 25. Suppose 5*j - s + b = 0, 3*j + 5*s = 2*j - 28. Which is smaller: -15/7 or j?
j
Let i = 1182037 + -5891913/5. Is i bigger than 3654?
True
Let h be 5/4*(-4)/3. Let f = -0.07 - 0.014. Let l = -3.916 + f. Which is bigger: h or l?
h
Let s be ((-28)/4032)/((-66)/88). Suppose 2*l = l. Is l != s?
True
Let b be (2 - 0)/(2/4). Let l(y) = y**3 - 29*y**2 + 36*y - 224. Let k be l(28). Suppose 15 = 5*w, 3*p + k*w - 24 = -b*w. Which is smaller: 3 or p?
3
Let c = 5.28 - 170.68. Let v = c - -165. Is 2/7 > v?
True
Suppose -49 = 5*t - a, -2*a - 2 - 10 = t. Let i(u) = -u - 9. Let x be i(t). Let p = 1347/680 + -9/85. Which is smaller: x or p?
x
Suppose 4*p = -2*u - 60, -31*p - 59 = -28*p + 5*u. Which is smaller: 49 or p?
p
Suppose 334*k + 1938 = 336*k. Let f be k/45 + (-336)/(-126). Does 1 = f?
False
Let h be -38 + (1 + 1 - 0). Let d be (h/(-16))/(4/64). Suppose 5*p + 2*g = 71, d = 4*p - 2*p - 3*g. Is 16 smaller than p?
False
Let z = 9/3314 - 23049/250207. Do z and 1 have the same value?
False
Let i be (215/25 - -5)/((-836)/1870). Which is smaller: -30 or i?
i
Let v = 127.7 + 35.3. Let n = v - 163.1. Let o = -10.5 - -4. Which is bigger: n or o?
n
Suppose -418 = -54*v - 94. Let x(r) = -2*r**2 + 3*r + 3. Let f be x(3). Let p be v/(-2) + 2 - (-1 + f). Which is bigger: 4 or p?
p
Let p = -8023 - -8027. Let y be (-9)/(-6)*8/(-3). Let o = y - -7. Which is smaller: p or o?
o
Let c be -15*4/(-72) - 27/18. Let b = 29.9 + 3.1. Let o = b + -33. Which is greater: o or c?
o
Let f = -373.7 - -373.69. Let b = 0.06 + -0.3. Is b at most as big as f?
True
Suppose 0 = 102*c - 234 + 628 + 1850. Is -19 at least c?
True
Suppose 5*n + 44 = i + 2*i, -66 = -4*i + 3*n. Suppose -3 + i = -3*w. Is -5 bigger than w?
False
Suppose -77*x = -79*x + 2. Let q be 2/8*(-64)/38. Which is smaller: q or x?
q
Let s = -11646 - -11561. Which is greater: -97 or s?
s
Let x = 1860 - 11816. Is -9956 greater than or equal to x?
True
Let l = 576 - 409. Suppose -385 = l*s - 168*s. Which is greater: s or 384?
s
Let g = -17.08 - -18.43. Is g at most 1/3?
False
Let q be (-2)/(-6) - (7 - 160/15). Suppose q*m = 33 - 5. Is m > 11?
False
Let y(a) = -2*a + 10. Let i(o) = -3*o - 5*o - 678 + 676. Let u be i(-1). Let s be y(u). Which is bigger: s or -3?
s
Let a = -3.2673 - -2.7673. Which is bigger: a or -64/89?
a
Let i be 15/(-20)*112/(-114). Let d be (-2 - 57/(-27))*(-98 - -107). Which is bigger: d or i?
d
Let s = 0.06891 - -0.03109. Which is smaller: s or 3486?
s
Suppose -4*t = -2*o - 6, 4*t - 5*o = -6 + 3. Let j be t/(6/(-8)) + 5. Let w be -11 + -3 + j + 1. Which is smaller: -21/2 or w?
w
Let n = 13 - 20. Let s be ((-63)/n)/(2/(-6)). Let g = 1224 + -1250. Is g at most as big as s?
False
Let p = -148 + 163. Suppose -3*j - 4*v = -8*v - p, -2*v - 6 = 0. Let b be 1/(1/(-16)) + 2. Which is bigger: b or j?
j
Let j be (((-57187)/(-26))/53)/((-2)/(-4)). Which is smaller: -12 or j?
-12
Let l be ((0 + -1)/((-7)/7525))/(-4). Let d = l + 9631/36. Is d smaller than -2?
False
Let k = 8/17583 + -37662826/87915. Which is greater: -428 or k?
-428
Let h be 18/20*(-1810)/(-543). Are h and 280/97 equal?
False
Let u = -2320 + 2432. Which is bigger: u or 109?
u
Let f(i) = -35*i**3 - 2*i**2 - 37*i - 68. Let h be f(-2). Which is smaller: h or 276?
276
Let t be (-3)/2*(-8)/(-33). Let x be ((-30)/(-75))/(14/35). Is t smaller than x?
True
Let v = -136013427/1039 - -130908. Is -1 greater than v?
False
Let p be (-7280)/77 + -16 - 18/(-33). Is 0.6 equal to p?
False
Let h = -2.04 + 0.04. Let p = -2.853 - -8.657. Let u = p + 0.196. Which is smaller: h or u?
h
Let w be (8179/(-7) + -5 + 12)/(26/14). Which is greater: w or -624?
-624
Let p = 7/353 + -822/23651. Are p and -1 non-equal?
True
Let m = 79 - 141. Let u = -6182 - -6244.22. Let f = m + u. Which is greater: -2/7 or f?
f
Let o = 33.5 - 316.5. Let j = 633 + o. Is j <= -0.1?
False
Let l = -18.83 + 19.83. Let d = 22 + -10. Let s = d - 7. Are l and s equal?
False
Let t = 1648 - 1725.3. Let v = t - -82. Let g = 4.62 - v. Are g and 2/5 nonequal?
True
Let f = 0.32 + -0.46. Let c = -13 + 13. Let m = c + f. Is m less than 1/4?
True
Let s = 148479/2 - 76573. Is s at most as big as -2335?
False
Let j = -43237 + 43133. Suppose -70 - 136 = 2*n. Is n >= j?
True
Suppose 0 = l, 0 = -2*o - o + 2*l - 438. Let r(v) = 47*v - 5. Let d be r(-3). Is o < d?
False
Let s be (-134495 - 1)*(19 - 72). Let b be 2/(-8) + 1704648/s. Let x = b + 2/1401. Is -1 greater than or equal to x?
False
Let t = -23 - -23.8. Let z = 0.4 - t. Let g = 175 + -349/2. Which is smaller: g or z?
z
Let o = -378344/9 + 42242. Which is smaller: 204 or o?
o
Suppose 4*m = 7*m + 6, -5*f - m - 22 = 0. Let u be (8/3)/f*(20 - -1). Suppose -11*x = -9*x + 26. Are u and x unequal?
True
Let n(c) = -c**2 + 177*c + 13916. Let m be n(-59). Let d = 1515 + -7619/5. Is d bigger than m?
False
Let j be (-1 + 3)/(-2)*272. Let x = 1242 - 846. Let b be -3 + 29/9 - j/x. Do 0 and b have the same value?
False
Let z(t) = 4*t**2 + 66*t - 177. Let g be z(-19). Is g greater than -0.74?
True
Let o = -425 + 403. Let g be (-3)/((-24)/o)*168/7. Which is bigger: g or -65?
-65
Suppose -878 - 62 = 4*a. Let i = a + 1877/8. Is i > 0?
False
Suppose 0 = -4*d + 20, -4*r - 12*d + 17 = -7*d. Let h be (-2 - -10) + -1 + r. Is h smaller than 7?
True
Let f be (124/(-10))/((-57)/(-15)). Suppose 184*a = 215*a - 155, -3*a + 17 = -b. Which is smaller: f or b?
f
Let f(o) = o**2 - 2*o - 43. Let a be f(7). Suppose 0 = -6*y + 2*y + 28. Suppose 0 = -g + y*g + 42. Which is smaller: a or g?
a
Let o be 16/8*(-12)/24. Is o not equal to -957?
True
Let g = -30861 - -30536. Which is smaller: g or -1.7?
g
Suppose 427 = -18*i + 13. Are 67 and i equal?
False
Let q = -3 + 3.06. Let n = 979.6 + -957.6. Which is greater: q or n?
n
Let y = 3058/7795 - -12/1559. Is y greater than 3807?
False
Suppose -477629 = -578*o + 125803. Which is smaller: 8343/8 or o?
8343/8
Let n(m) be the first derivative of -m**3/3 - 7*m**2/2 + 8*m - 2. Let s be n(-8). Suppose 2*d + 5*w = 28, s*w - 2*w = -5*d + 99. Are d and 18 nonequal?
True
Let n = -175.12 - -169.12. Is n equal to -2/1353?
False
Let j = 912 + -602.75. Let a = 309 - j. Does a = 0.3?
False
Let c = 124 + -57. Let m = c - 60.05. Let g = m - 7. Which is smaller: g or 1/2?
g
Let b = 34141 + -34140. Which is smaller: b or -4/23?
-4/23
Let y(l) = -162*l + 7608. Let u be y(128). Which is smaller: u or -13129?
-13129
Let p = -1859 + 1838. Which is smaller: -0.37 or p?
p
Let b = 13999/3 - 144656/31. Is b at least -3/25?
True
Let h = 8.1 - 4.1. Let j = -0.1267 - 4.8733. Is h smaller than j?
False
Suppose 19*q + 364 + 153 = -756. Is -81 at least q?
False
Suppose 2*b = 5*b. Suppose -4*h + 3*r = b, -4*h - h = 2*r. Let t = -11171 - -11171. Is h less than t?
False
Let q(l) = 363*l + 2422. Let x be q(-3). Which is smaller: x or 6669/5?
x
Suppose q = 4*d + 36 - 5, 2*d + 2 = 0. Suppose 22 = q*f - 16*f. Which is bigger: 25 or f?
25
Let g = 3.11 + -5.11. Let t(k) = k**3 - 9*k**2 + 8*k - 2. Let f(h) = h**2 - h. Let m(i) = f(i) - t(i). Let z be m(9). Which is bigger: g or z?
z
Let h = 72 -