uppose -27*l + 2*h + 8 = -29*l, 2*h + 7 = -3*l. Are l and 1/4842 equal?
False
Suppose -1268*q - 67004 = -629*q - 625*q. Is -14357/3 < q?
False
Let d = 0.1831 - 0.3931. Which is smaller: d or 0?
d
Let x = -315 + 569. Let o = x + -255. Is 0.06 < o?
False
Suppose -4*p + 2*y - 7652 = 0, 1872 - 3785 = p + 4*y. Which is smaller: p or -1916?
-1916
Let h be (5 - 1)/(-16) - 42/(-56)*-53. Suppose 0 = -m - 4*m - 5*b - 215, 0 = 5*m + 3*b + 211. Is m > h?
False
Let x be (1257/45*-3)/((-7)/(-1316)). Let a = -15811 - x. Is -57 equal to a?
False
Suppose 0 = 3*s + 93 + 57. Let g be s - (1 + (2 - 5)). Let l be (g/20)/3 - (-2)/(-5). Which is greater: l or -2/9?
-2/9
Let t be 54/(-24)*(-120)/(-9). Let z = 33 + t. Suppose 0 = 4*w + 5*v + 95, -2*v - 70 = z*w + 2*v. Which is smaller: w or -1?
w
Let m = 0.0469 - 0.0792. Let y = m - 6.6677. Which is greater: y or -2/5?
-2/5
Let m = -46/37 - -351/74. Let i = -16 - -31. Suppose 2*n - 5*n = -i. Is m less than or equal to n?
True
Let j = -8834 - -8882. Is j equal to -27?
False
Let v be (2 + -2 + 2067/(-424))/(102/(-8)). Is v greater than or equal to 3?
False
Let n = -50398 + 1259782/25. Which is smaller: n or -7?
-7
Let w be (-10)/25 + (-66)/10. Let i(k) = -2*k**3 + 25*k**2 + 19*k - 79. Let s be i(13). Is s != w?
True
Suppose -10*p - 1703 = 847. Let d be ((-72)/(-5))/((-102)/p). Is 145/4 <= d?
False
Suppose -2*l = 5*a - 0 + 38, a = -3*l - 5. Let w(h) = -h**3 - 13*h**2 - 42*h - 17. Let t be w(a). Which is greater: t or 14/31?
14/31
Let x = 2443 - 1626. Suppose 4*l = -3*u + x, l - u - 137 = 62. Which is bigger: l or 201?
l
Let h = -3743 + 2305. Let a be (-252)/(-210) - h/(-1215). Which is greater: 1 or a?
1
Let g = 0.165 - 0.065. Let l = -1297 - -1114. Is l > g?
False
Let m be ((-5)/20 + (-67)/4)*-2. Let o(s) = -5*s + 130. Let h be o(m). Which is smaller: h or -39?
h
Suppose -4*p - z + 772 = 3*z, 0 = -5*p - 3*z + 961. Let j = -98 + p. Which is bigger: j or 92?
j
Suppose -47*j + 762 = 425*j + 3122. Let l = -75814/115 + -12750/23. Let k = 1208 + l. Are k and j non-equal?
True
Suppose 8*h - 19 + 3 = 0. Let g(t) = 2*t**3 + 2*t**2 - t. Let b be g(1). Suppose -9 + b = h*x. Is x >= -5?
True
Let z(h) = 2*h**2 + h - 24. Let i be z(-6). Suppose 2 = -i*l + 43*l. Suppose -2*n - n - 13 = l*f, -21 = 5*n + 3*f. Which is greater: n or -2?
-2
Let m(h) = -h**3 - 35*h**2 + 48*h + 347. Let p be m(-36). Which is bigger: -44 or p?
-44
Let f = 323 + -195. Suppose -1013*c - f = -1009*c. Which is smaller: -34 or c?
-34
Let n be ((-20)/(-15))/((-4)/222 - 0). Let i = n + 73. Let k be (i + 1 + -2)*22/1320. Which is bigger: -1 or k?
k
Let p = 8/7 - 39/28. Let r = -8/7 - -6/7. Which is smaller: r or p?
r
Let q = 719 + -719.2. Are -179/6 and q equal?
False
Let x = -34 + 65. Suppose 5*g + x = 201. Let l = 42882 - 42850. Does l = g?
False
Let g be (-2046)/29016*(-29 + 1). Do g and 2 have the same value?
False
Suppose 1322*k = 1356*k + 26894. Which is smaller: 8 or k?
k
Suppose 1244*r = 1237*r. Suppose r = -375*a + 379*a - 336. Which is smaller: 85 or a?
a
Let f be ((-426)/12)/((-14)/(-12) - 44/66). Let j be 39/15*-1*27. Are j and f unequal?
True
Suppose 2*x + x - 5*n - 36 = 0, -n + 18 = 3*x. Suppose 44 = h + 4*u, 118*h + 5*u = 119*h - 53. Is x at least h?
False
Let p be ((-34)/51)/(6/9). Let x be ((22/(-6) - p) + 2)*3. Are -8/3 and x nonequal?
True
Let f = 0.14 - -0.2. Let g = f + -0.04. Let c = -0.72 - 6.28. Which is smaller: c or g?
c
Let f(j) be the first derivative of j**3 - 19*j**2/2 - 9*j - 100. Let q be f(13). Is 250 >= q?
False
Let q(p) be the first derivative of 11*p**2/2 - 66*p + 77. Let g be q(-11). Is -187 at most as big as g?
True
Let m = 2530.8 - 2096.8. Is 5 less than m?
True
Suppose 15*l = 2*l - 65. Let g be -2 - (-3)/(12/85). Let w = g - 19. Which is bigger: l or w?
w
Let f be 2*(49/7)/7. Suppose 2*k - f + 11 = -5*u, -48 = 4*k + 4*u. Is k greater than -11?
False
Let f = -2745 + 2744.84. Which is bigger: -30 or f?
f
Let w = 0 - -1. Suppose 2*f - 79 - 123 = -t, 3*t = 3*f - 321. Is w bigger than f?
False
Let f be 48/(-8520)*(-605)/66. Is f bigger than 1?
False
Suppose -6 = 4*r - 4*m - 2, 0 = -2*r - 3*m + 23. Let x = -26559 - -26563. Suppose r*j - x*j = j. Which is bigger: 2/85 or j?
2/85
Let a be (48/(-14) - 0)/((-75)/((-6300)/(-140136))). Which is bigger: a or -1?
a
Let v = 9957859/1401 - 21323/3. Which is greater: 0 or v?
v
Let x = 143 + -147. Let r be (-4)/(-160)*x*12. Let v = 13 + -62/5. Which is smaller: r or v?
r
Let n(l) = l**2 - 4*l + 8. Let s be n(2). Let d be 30/(-16)*s - 3/2. Which is smaller: -17 or d?
-17
Suppose -113 + 90 = -2*s + 5*b, 0 = 4*s - 3*b - 11. Which is smaller: s or -4/8321?
s
Let f be (17 - 12)/(-1*1). Let g(r) = -2*r - 11. Let a be g(f). Is -4/43 smaller than a?
False
Suppose -4*n = -5*j - 25, 5*j + 15 = 2*j - n. Let q be (j/(-2))/(10/15). Let b = 35 - 30. Is b bigger than q?
True
Let x = 12 - 13. Let s = 533249/15 + -35526. Let a = -73/3 + s. Which is smaller: x or a?
x
Suppose p + 36*k + 433 = 34*k, 5*p = -2*k - 2189. Which is smaller: -435 or p?
p
Let f(y) = -y**3 - 27*y**2 - 22*y + 93. Suppose 0 = 29*v + 412 + 342. Let q be f(v). Suppose 5*l = 3*s - 45, -2*s = -3*l - 4*s - 46. Which is smaller: q or l?
l
Let b(a) = -a + 9. Let i(j) = j**2 - 7*j + 7. Let v be i(7). Let n be b(v). Let d = -10139/4 - -2536. Which is greater: d or n?
n
Let g(v) be the second derivative of v**5/20 + 19*v**4/12 - 19*v**3/6 - 29*v**2/2 - 3*v - 2. Let r be g(-20). Are -48 and r unequal?
True
Let w be (-1)/(3/4) + 1904/(-48). Let o(b) = -2*b + 12. Let k be o(26). Which is smaller: w or k?
w
Let v be 45/75 + (-214)/(-10). Suppose v = 5*l - 13. Suppose 4*k - 3*f = 47, -4*f - l = -3. Which is greater: k or 1?
k
Let o(a) = -2*a**2 - 190*a - 2353. Let y be o(-67). Does 1397 = y?
False
Let l = 749 - 744.79. Let q = l - 5.21. Is q equal to 0.76?
False
Suppose 19*l - 23067 = 12*l - 26*l. Are l and 692 equal?
False
Let u = -0.0081 + 108.5081. Let m = -97 + u. Let h = m - 11.2. Which is greater: h or -1.6?
h
Let j = 189.848 - 195.88. Which is greater: -2 or j?
-2
Suppose -9*x + 284 + 2551 = 0. Suppose 14*l + x = 77. Is -19 > l?
False
Suppose -58 = -30*c + 32. Let x(s) = 3*s. Let p be x(1). Suppose 0*i + 99 = -c*i - p*h, -2*h + 89 = -3*i. Which is smaller: -30 or i?
i
Let w(b) = -60*b**2 + 18*b - 26. Let z be w(4). Let x = -6660/7 - z. Is x bigger than -36?
False
Let i = -145 - -144. Let n be (1 + i)/(6*2/12). Let d be (-1 - 1)*(-6)/(-117). Which is greater: n or d?
n
Let t be -8*(-6)/(-36) - ((-1852)/12 + -4). Which is bigger: -3 or t?
t
Let a be 1 - -3 - 10975/25. Suppose -4*n = -2*p + 1746, -n - 3*p - 439 = -6*p. Which is bigger: a or n?
a
Suppose 1491 + 1151 = 111*i + 200. Which is greater: 20 or i?
i
Let l = 29.954 - 30. Let x = 0.254 - l. Let w = -0.04 + -0.02. Which is smaller: x or w?
w
Let t = -374/603837 - 10372487470/1408953. Let a = -7362 - t. Is a < 1?
True
Let b be (-2)/(-8) + 1001/(-1716). Is b less than 2/79?
True
Suppose -5*s - 6 = -4*a, -4*a - 5*s + 21 = -5. Let d be (-350)/(-40) - ((-1)/a - 0). Suppose 0 = -2*b + d - 119. Which is smaller: b or -54?
b
Suppose -17*h = -16*h + 8. Let q be (2014/(-39))/(h/(-228)) + -1. Let v = 1472 + q. Which is bigger: -1 or v?
v
Let m(q) = q**2 + 2*q - 7. Suppose 62 = 6*x + 50. Let p be m(x). Which is smaller: 4/3 or p?
p
Let k be -1*(9/(-1 - 0) + -4). Let a(l) = -2*l**2 + 18*l - 1. Let s be a(k). Is s at most -2?
True
Let s = -0.0164 + -2.2486. Let x = s + 2.3. Let c = x + 0.965. Which is bigger: c or 4/7?
c
Let k be 198/(-8) + (-1)/4. Let y(p) be the first derivative of -p**4/4 - 7*p**3/3 + 11*p + 4. Let o be y(-6). Is k not equal to o?
False
Let x = -225209/324 - -2785/4. Is x less than or equal to 0?
False
Suppose -499 = -3*w + 6*c + 1241, 0 = -4*w + 4*c + 2292. Suppose 0 = -5*f + 4173 - 1343. Is f >= w?
True
Let v(c) = -c**2 - c - 31. Let j be v(0). Suppose 38*g + 215 = -849. Which is smaller: j or g?
j
Let k(q) be the third derivative of -q**6/120 + q**5/12 - q**4/24 - q**3/2 + 2*q**2 + 20. Let v = 13 - 8. Let i be k(v). Is -7 less than or equal to i?
False
Let u(a) = 15*a + 56. Let g be u(-5). Let f = g + -164. Which is greater: -184 or f?
f
Let v = -14246/6038331 + 4/4341. Is v less than or equal to -4?
False
Let j(p) = 2*p**2 + 4*p + 10. Let o be j(8). Let b = -171 + o. Which is sma