9638 - -20042. Which is greater: -2/5 or f?
-2/5
Let g be (-64)/112 + ((-160185)/35)/(-3). Which is bigger: g or 1527?
1527
Let v = 1 + 2. Let r = 1059 - 4239/4. Is r != v?
True
Let i = -45.9 - -39.7. Let p = 6.152 + i. Is p at most 0.6?
True
Let o(d) = -6*d**2 + 12*d + 30. Let v be o(-2). Is v bigger than -147/8?
True
Suppose -81679*y + 81680*y = -3*i - 29, 3*i = 2*y - 77. Let x(m) = m**3 + 5*m**2 - 7*m + 8. Let s be x(-6). Which is greater: y or s?
y
Let w(d) = 20*d - 430. Let x be w(17). Which is greater: x or -74?
-74
Let w = -7 + 7. Suppose -4*t = -3*t + g - 14, 2*g = t - 8. Let b be w/t + (-2)/(-3). Which is greater: b or -0.22?
b
Let y be 5*(9/20 + 4/(-16)). Let v = 0.07 + 41.93. Let m = v - 45. Which is smaller: m or y?
m
Suppose -60*r = -65*r - 15. Does 0.018 = r?
False
Suppose 0*l = -0*l - l. Let i(x) = -x**2 + 4. Let v be i(l). Let s be v - (-11)/(330/(-128)). Which is bigger: s or 0?
0
Let i = 2422 - 1721. Let y = i + -230. Let v = -7997/17 + y. Which is smaller: 1 or v?
v
Let l = -43.7 + -88.3. Let j = -132 - l. Which is smaller: 252 or j?
j
Suppose h - 162 = -3*c + 345, 0 = c + h - 167. Let j = c + -108. Let t = 55 - j. Which is bigger: t or 0.2?
0.2
Suppose -3*u - 5*g = 0, 556*u + 5*g = 555*u. Is 1/3065 less than u?
False
Let t(d) = -d + 52. Let s(u) = -1 + 26 + 26. Let a(g) = -5*s(g) + 6*t(g). Let q be a(10). Is q bigger than -2?
False
Suppose -n = -2*t + 6 - 4, t + n = -2. Let a = 1063 - 1063.36. Are t and a equal?
False
Let h be (-72768)/(-160)*80/(-6) + 0. Is h bigger than -0.1?
False
Let x be -2 - -3 - (-683 + 5)/3. Suppose 4*u - 25 = x. Which is bigger: 64 or u?
64
Let d(v) = v**2 + 15*v - 93. Let g be d(-19). Let b(y) = 15*y + 226. Let i be b(g). Is -36 at most i?
True
Let g(z) = z**3 - 19*z**2 + 13*z + 18. Let i be g(17). Let k = -314 - i. Which is bigger: 1 or k?
k
Suppose -h + 4*h - 15 = 0. Suppose 0*r + 3*r + h*l = -78, 3*r - 2*l + 57 = 0. Let n be (-1)/(-4 - (-77)/19). Do r and n have the same value?
False
Suppose j + 17 = -c + 5*c, 2*c = j + 7. Let h be -12*j/(-84)*2. Let f be (-142)/1846 - (-54)/26. Which is bigger: f or h?
f
Suppose -4*z = -12, -r = -3*z - 0 + 7. Suppose 0 = l - r*l + 8. Let y be 5 + -5 + ((-220)/(-6))/5. Which is smaller: y or l?
y
Let q be 0 + -5 + (-6)/15*-40. Suppose -4*f + q = -4*z + 19, -11 = 4*f - 5*z. Is 4/9 bigger than f?
False
Let u = -12/29743 + 664366/24835405. Which is greater: -1 or u?
u
Let n(a) = 87*a**2 - 418*a + 15. Let v be n(4). Which is bigger: v or -22?
-22
Let k(m) = -2*m**2 - 58*m + 60. Let v be k(-30). Suppose 55*t + 319 + 616 = v. Which is smaller: t or -16?
t
Let b(l) be the second derivative of 23*l**3/6 - 14*l**2 - l - 36. Let g be b(3). Is g smaller than 37?
False
Let d = -41 - -27. Let o = -25 - d. Let b(z) = z**3 - 17*z**2 + 66*z + 19. Let a be b(7). Is o bigger than a?
False
Suppose -128*z = -120*z - 5168. Is z != 645?
True
Let r be ((-110)/30)/(1/(-21)). Suppose 0*v = -v - 69. Let g = r + v. Which is bigger: g or 7?
g
Let p = -3.0593 - -2.908. Which is bigger: 2/9 or p?
2/9
Let w(x) = -742*x + 8905. Let m be w(12). Is m <= 4/18193?
False
Let c = -3905393/276 + 14150. Which is smaller: -1 or c?
-1
Let c = 520 + -40. Let f = c + -526.4. Let v = -15.6 + f. Which is bigger: v or 1?
1
Let m(l) = -39*l - 429. Let a be m(-13). Which is smaller: 7 or a?
7
Suppose 16*z = 15*z + 182. Let h = z + 19. Is 201 greater than h?
False
Let n be 8/36 - (-376)/9. Let t = n + 10. Suppose 4*x = -l - t, -120 = 3*l - l + 4*x. Which is greater: l or -67?
-67
Let d(p) = -p**2 + 9*p + 4. Let s be d(10). Let x(l) = l**2 + 8*l + 4. Let w be x(s). Let z be (-9)/12*w/(-13). Is -1 less than z?
True
Let t = -27 - -31. Suppose -103 = t*y - 295. Let g = y + -62. Is -15 at most as big as g?
True
Let s = 82 + -76. Suppose -3*j - s = 0, -5*u - 3*j = -129 + 415. Let t = u - -52. Is t >= -3?
False
Let k = -130 - -151. Let i(s) = s**2 - 20*s - 24. Let n be i(k). Let b = -8 + 7. Which is bigger: b or n?
b
Let p(c) = -c**3 - 25*c**2 - 40*c - 386. Let d be p(-24). Which is greater: d or -21/19?
-21/19
Suppose 21*v - 42 = 14*v. Let t be v + -8 + 0 + 1 - -7. Let d(n) = n**3 + 10*n**2 + 22*n + 13. Let q be d(-7). Are q and t unequal?
False
Suppose 0 = -3*f + 35 + 49. Suppose -7343 = f*n - 1799. Which is smaller: -197 or n?
n
Let o(w) be the third derivative of -w**6/120 + w**5/20 + w**4/6 + w**3/2 - 7*w**2. Let h = -79 - -83. Let d be o(h). Which is greater: 7/3 or d?
d
Let m = 0.4452 + -22.4452. Which is smaller: 78 or m?
m
Let j = 25.281 + -0.281. Let d = 24.9 - j. Which is bigger: -153 or d?
d
Let m = -285 + 328. Let v = 66 - 23. Is v less than m?
False
Let x = -190/989 - -12961225/1978. Which is smaller: x or 6552?
6552
Let p be 798/(-10) + (1392/240 - (-7)/(-1)). Is -1 smaller than p?
False
Let w = 269.4 + -256.4. Is 37/7 != w?
True
Let s be (-8)/32*2330*6/375. Is -0.1 at least as big as s?
True
Let k(m) = m**3 - m**2 + 2*m - 1. Let l(i) = i**3 + 16*i**2 - 19*i - 33. Let c be l(-17). Let h be k(c). Is 1/36 at least as big as h?
False
Suppose -3*m - 13284 = -8*v + 11*v, -5*m - 22156 = -3*v. Is m greater than -4429?
False
Let r = 549 - 174. Let w = r - 375. Let o = -684 + 15736/23. Which is smaller: w or o?
w
Let s = 4183 - 4210. Are s and -29 non-equal?
True
Let c be (-100)/(-45) - ((-8)/18)/(-2). Suppose 5*f - 5*w = 310, -4*f - w + 133 = -c*f. Let k = f + -75. Which is greater: -11 or k?
k
Suppose 26*y = 39*y. Which is greater: y or -9/170?
y
Let b = -227 + 343. Let i = b - 107. Let v = -574 + 1751/3. Are i and v non-equal?
True
Let s = -1574 - -891. Let h = 682.99 + s. Let w = 0.1 + 0.9. Which is smaller: w or h?
h
Suppose 0 = -o - 18. Let q(w) = -7*w - 36. Let l be q(o). Are 90 and l equal?
True
Let y = 159 - 155. Suppose 3*f + y*r - 157 = 0, -4*f + 3*r + 106 = -70. Suppose -4*v + 191 = -5*s + 3, -2*v + 3*s = -94. Is f greater than or equal to v?
True
Let z be (3/591)/((-74)/(-2368)). Which is smaller: 0 or z?
0
Suppose 5*c - 5 = 0, 8*c - 4*c = -x + 12. Suppose x*l = l + 49. Suppose -l*m - 78 = -10*m. Is 25 bigger than m?
False
Let f be 1258960/2100 + (-6)/(-63). Let u = f - 597. Let h be (4 - -2) + (1 - 3). Is u greater than or equal to h?
False
Let k = 66 + -76. Let l be (6 + (-26)/6)*26/k. Which is smaller: l or -4?
l
Let v be (-562722)/(-1512) - (-72)/84. Let l = -373 + v. Let f be 3 + (2 + 0)*-1. Is l greater than f?
False
Let m(v) be the second derivative of 7/2*v**2 + 16*v + 5/6*v**3 + 0 + 1/12*v**4. Let b be m(-2). Is 31 > b?
True
Let c = 405.04 - 463.3. Let j = -58 - c. Let n = j - -0.74. Which is smaller: -1/10 or n?
-1/10
Suppose 150 = 131*w + 24*w - 5*w. Is 94/103 greater than or equal to w?
False
Let d = 4881941/3747636 + -2/49311. Which is smaller: d or 0?
0
Let o(w) = w**2 + 21*w + 56. Let i(x) = 9*x + 99. Let f be i(-13). Let n be o(f). Do 37 and n have different values?
True
Let n be ((-18)/(-5))/(2 - (-146)/10). Let c = n + -1272/3569. Suppose -3*a = -0*a. Are c and a equal?
False
Let j be ((-4)/16)/(44/16 + -3). Let o = 272.075 - 0.075. Which is smaller: o or j?
j
Suppose -14*c + 2*c - 48 = 0. Let r be (1 - -1) + 8/c. Let p be (4/(-5))/((-4)/(-20) + r). Which is smaller: 2/11 or p?
p
Let v(b) = 34*b. Let a be v(0). Let c be (-31)/63 - (-32)/(-144). Which is smaller: c or a?
c
Let g = 11371 + -11071. Let o(n) = 37*n**3 + 2*n**2 - 3*n + 3. Let x be o(2). Is x smaller than g?
False
Let l = -4 - -5. Let m be 80/(-20) - (-59 + l*-2). Let c be ((-19)/m)/((-1)/3). Which is greater: -1/28 or c?
c
Let i be 3294429/609*(-3)/(-47). Let d = -2416/7 + i. Is d smaller than 0?
False
Suppose -31*u = -18449 - 7963. Which is smaller: 853 or u?
u
Let n = 1975.1 - 1794. Let i = n - 173. Which is greater: -2 or i?
i
Let m = -29699 + 208311/7. Which is bigger: m or 59?
m
Suppose -51 = 8*d - 43. Which is bigger: d or 20/959?
20/959
Let b = 112 + -60.3. Let l = -47 + b. Let a = l - 4.8. Is 33 >= a?
True
Let n be 10/30*27 - -7. Is 259/15 > n?
True
Let f be 10158184/1260900 + (-8)/1 + 0. Is 0 at most as big as f?
True
Let u be 2/(6/9) - -17. Let a(v) = 2*v**2 + 36*v + 24. Let z be a(-18). Suppose -6*c - z = -4*i - 2*c, 5*i + 5*c - u = 0. Is i at most 5?
True
Suppose 4*t - 12 = 12. Suppose j - 4 = 0, -2*j = 4*r - t*j + 16. Suppose z + 5*x + 17 = 0, r*x + x = -3*z + 19. Which is smaller: 4 or z?
4
Let g be 