+ -17*21/123. Let h = 2298 - 2297. Which is bigger: h or m?
h
Let j = -254323 - -3285090193/12917. Is j > -1?
True
Let s(o) = -25*o - 1. Let t be s(8). Let z = t + 200. Is 3 less than z?
False
Let x = -1359324/107 + 12704. Is -5 >= x?
False
Let x(m) = -11*m + 69. Let v be x(6). Suppose 0 = -v*u - c - 0 + 1, u + 5*c = 19. Is 1/1146 <= u?
False
Let s(u) = -1 - 5*u**3 + u**3 - 7*u**2 - 2*u + 8*u**3 - 3*u**3. Let i be s(7). Suppose 17*k + 357 = -4*k. Which is smaller: i or k?
k
Let c(p) = 23*p + 3923. Let w be c(-70). Is w >= 11561/5?
True
Let r = 106 - 106.079. Let p = r - -7.079. Let k = 63 + -60. Which is bigger: k or p?
p
Let h = -96 - -99. Let f = 40 - 43. Which is smaller: f or h?
f
Let t(x) = 39*x + 1880. Let r be t(-13). Are r and 1376 non-equal?
True
Suppose -3*x - 320 = -50. Let i = 1538 + -1536. Is i > x?
True
Let r be 1/3*(2 - -109). Let q = -7537 + 7572. Does q = r?
False
Let f(s) = 50*s - 72. Let g be f(6). Suppose -40*d + 21*d = -g. Which is smaller: d or 13?
d
Suppose 0 = -4*z + 4*t - 1336, 2*z + 310 = 5*t - 361. Are z and 6 equal?
False
Suppose -70*h + 86*h = 1968. Let w be (-45)/(-6)*4/6. Suppose -4*u + 6*u + 89 = 3*v, w*v + 3*u - h = 0. Is 25 at least v?
False
Let k(h) = -h**3 - 3*h**2 + 27*h + 23. Let l be k(-8). Let y = l - 624/5. Is y greater than or equal to 2?
True
Let g = 63 + -93. Suppose p + 4*c = 37, p - 2*c - 21 - 34 = 0. Let h = g + p. Which is bigger: 18 or h?
h
Let z = -6 - -10. Let m = -6039207581/3013114 - -1/231778. Let x = 2008 + m. Is x smaller than z?
True
Let g = 0.48 - 40.48. Let c = 40.023 + g. Let b = -0.977 - c. Is b <= 1?
True
Let b(v) = -v**3 + 4*v**2 + 2*v. Let k be b(4). Let g be ((-225)/(-36))/((-1)/(-4)). Suppose g = k*j - 47. Is -0.1 at least j?
False
Let i = -8344 + 8450. Suppose -l + 2*l = -1. Which is smaller: i or l?
l
Suppose -74 + 4 = 5*v. Let c be (-24)/(-14) + -2 - 186/v. Let g = 14 - c. Which is smaller: g or -1/40?
-1/40
Let d be ((-5)/30)/(2/18). Let s = -19/6 - d. Let y = 8 - 11. Which is bigger: y or s?
s
Let g = 3566 - 3656. Which is smaller: -99 or g?
-99
Let j = 4906 + -4908.141. Let m = j - -0.041. Let p = m - -4.1. Which is smaller: p or -3?
-3
Suppose 0*o - 4*o + 4 = i, -2*o - 2*i = 4. Suppose r + 6 = -o*c, -3*c + 8 = -5*c. Which is bigger: r or 15/19?
r
Let q(s) = -36*s**2 + 46*s + 426. Let c be q(-18). Is c != -12068?
True
Let z(v) = -23 + 11*v**2 - v**3 - v + 13*v - 10. Let p be z(12). Is -5 at least as big as p?
True
Suppose 162 = -3*m - 18. Let s be 42/m*10/(-8). Which is smaller: -0.1 or s?
-0.1
Suppose 48 = -d + 20. Let i be (d/(-35))/((4/(-5))/(-2)). Suppose -2*f - a = 2*f - 3, 2*f + 2 = -4*a. Which is greater: i or f?
i
Let s = 14 + -12. Let a = s - -4. Let j = 287 + -285. Which is greater: a or j?
a
Let z(q) = -4*q**3 - 8*q**2 - q + 14. Let r be z(6). Let w be (-2)/12 - r/(-48). Let l be 2/3*2*9/w. Which is greater: -0.13 or l?
-0.13
Let w = 296199/77 - 3847. Which is bigger: w or 0?
0
Let t = -46 - -65. Suppose -t = -6*q + 77. Let f(j) = j**3 - j**2 + 3*j - 10. Let v be f(3). Is q at most as big as v?
True
Suppose 25*z - 45 = 20*z. Suppose 9 = 3*x - d, 4*x + 5*d = 3 + z. Suppose 5*s - x*s - 14 = 0. Is -3 less than s?
True
Let v = -187.91 + 188. Let q = -19 - -13. Is v greater than q?
True
Let q be -19 + (-60)/(-105)*182. Let f be ((-1)/(-1))/((-4)/8). Is q at most as big as f?
False
Let u = 4750949/208 - 22841. Is 1 less than or equal to u?
False
Suppose 3*x + 3*d - 18 = 7*x, -5*x + 4*d - 24 = 0. Let n(w) = -w**2 - 1. Let z be n(-1). Let b be 57/54 + 1/z. Which is bigger: b or x?
b
Let a = 2.3105 + -2.1105. Is -9/55 >= a?
False
Suppose 0 = o - 6*o + 1275 + 2075. Is 669 bigger than o?
False
Let t be (3637/8470 - 1) + (-104)/(-182). Which is bigger: -1 or t?
t
Let q = -9514 + 6644. Is q greater than -2870?
False
Let m = -64 + 66. Let r = 39 - 29. Suppose 0 = -3*c - m*c - r. Is c smaller than 1/32?
True
Let w be (12/9)/(((-448)/(-630))/8). Are w and 474/29 nonequal?
True
Let z be (127751/17108)/31 + 3/(-12). Let d be 2 + (-1 - 1) - 0. Is d greater than z?
True
Let i(d) = d + 23. Let g be i(-23). Let y be (g + 22/(-6))*(-186)/62. Which is bigger: 6 or y?
y
Suppose -4*p - 103*p - 22785 = 110*p. Is -112 > p?
False
Let b = 1407 + -1407. Which is greater: b or -3/1226?
b
Let d(u) = u - 21. Let n be d(-22). Let m be (-5*6)/((-7)/((-63)/6)). Which is smaller: n or m?
m
Let m(j) = 7*j**2 + 82*j - 702. Let y be m(10). Is y at most 5729/7?
True
Let w(a) = 3*a**2 - 12*a + 14. Let s be w(4). Let u be (26/s)/(-1 - (-45)/35). Which is greater: 7 or u?
7
Let d be ((-240)/(-25) + 0)/((-1)/25). Suppose -5*i + 3*z = -3*i + 492, -728 = 3*i - 2*z. Is i at least as big as d?
True
Let w = -17 + -130. Let k = 146.882 + w. Let n = -0.112 + k. Which is smaller: -0.1 or n?
n
Let j = -0.0404 - -240.0404. Let t = 245 - j. Is t < 30?
True
Let m be 8/(-36) - 1382586/3780. Let p = 366 + m. Are 3 and p equal?
False
Suppose f = -3*s + 1 - 22, -2*f = 4*s + 34. Let a be (870/f)/((-14)/21). Suppose -g - 4*h = -h - 29, -h - a = -5*g. Do g and 28 have different values?
True
Let d = 0.2 + -1.2. Let i = 10.97 - -676.03. Let t = i - 687.07. Which is bigger: d or t?
t
Suppose 9*i - 5 = 14*i, 5*d = -3*i + 47. Let q be d - 63 - (6 - 1). Is -61 <= q?
True
Suppose -2*z = 2*z + 4. Suppose -g + 5*j = 296, -4*g + 2*j - 1503 = g. Let m be (-72)/g + 2/(-7). Which is greater: m or z?
m
Let w be 7532/33327 - (-70)/(-315). Which is smaller: w or 38?
w
Let h = -44.48 - -44.46. Is h not equal to -474?
True
Let u be (2/6)/(1072/(-120) - -9). Let b = u - -4. Is -5 at most as big as b?
True
Suppose 7*k - 10*k + 21 = 0. Let o(y) = y**3 - 8*y**2 - 3*y + 5. Let j be o(k). Let a = 63 + j. Is -0.19 at most as big as a?
False
Let t = 2066 + -1734. Is 0.1 bigger than t?
False
Let h = -1682/3 - -21914/39. Let p(a) = 3*a**2 + 2*a + 1. Let i be p(-1). Suppose i*t - 4 = -0. Which is greater: t or h?
t
Let t be (24/(-10))/(60/(-25) - -2). Let j(d) = d**3 + 2*d**2 - 10*d + 5. Let q be j(t). Suppose -584 = 5*l - w, 2*l + w = 4*l + q. Is -118 < l?
True
Suppose 9*m = -5*k + 10*m - 121, 33 = -k - 2*m. Let p be (24/(-88))/(k*(-2)/(-4)). Which is bigger: p or 0?
p
Suppose 3 = 3*s, 5*g - 3*s - 486 = s. Let x be 3 + g/(-18) + 2. Suppose 20 + 14 = 34*b. Is b < x?
False
Suppose -6*q = 63 - 339. Let h = -58 + q. Let a(w) = w + 23. Let t be a(h). Which is bigger: t or 9?
t
Let j(a) = -a + a**2 - 234 + 3*a + 260. Let p = 13 - 13. Let x be j(p). Is 26 != x?
False
Let p = -207 + 206. Let b be (603/120)/(-3) + 1. Let u = b - -4/5. Which is smaller: u or p?
p
Suppose -2*q = -2*u - 20, 6*u - 2*q + 44 = u. Let y be (-72)/(-80) + u/10. Suppose 5*s + 6 = 1. Which is smaller: s or y?
s
Let v = -26.7 + 24.6. Let l = -1.3 - v. Which is smaller: l or -14?
-14
Let m(f) = f**3 - 3*f**2 - 2*f + 3. Let j be m(0). Let q be 2 + -20 - j/(-1 + -2). Let x = -1.6 - -1.5. Which is bigger: x or q?
x
Suppose 0 = -183*o + 12418 - 1804. Is 20 less than or equal to o?
True
Let m be -6 - (-18810)/3255 - (-6)/21. Is 0.464 greater than or equal to m?
True
Suppose -o + 8 - 12 = 0, -a = -2*o + 1157. Which is greater: -1161 or a?
-1161
Suppose 0 = -106*i - 42085 - 8265. Is -3315/7 greater than or equal to i?
True
Let r = 0.5 + -0.3. Let a = 5986 + -5986. Which is smaller: r or a?
a
Let m = -11 + 30. Let y be 2/m - 572/1463. Which is greater: 43 or y?
43
Suppose 13 - 21 = s. Let c(m) = m**2 + 14*m + 19. Let y be c(s). Which is bigger: -32 or y?
y
Suppose 3*f - 2*k + 0*k - 3 = 0, 5*f = 5*k. Suppose 0 = 5*j - f*z + 4 - 0, 4*z - 7 = 5*j. Let q be ((-9)/13 + j)/(6/(-6)). Is -1 at least q?
False
Suppose -11*s + 1245 = 7691. Is -590 at most s?
True
Let i = 1088 + -1050. Let y be -2 - (1 + -2)*41. Is y < i?
False
Suppose -97*b + 94*b = -4*t - 41249, 82526 = 6*b - 4*t. Is 13759 smaller than b?
False
Let z = -116 - -136.7. Let k = z + -20.5. Which is smaller: k or -0.29?
-0.29
Let l = 2444 + -1261. Is l >= 1178?
True
Let m(c) = 104*c - 32. Let y be m(-5). Let r be 4 + -8 + 4 - 188/y. Let f = r - 1/138. Which is bigger: f or -58?
f
Suppose -l - 83 = 5*i + 108, -4*l + 94 = -2*i. Let g = -3 - -6. Suppose 5*c + 5*j - 24 + 229 = 0, g*c - 4*j + 116 = 0. Is c greater than or equal to i?
False
Suppose 3*y + y + 3*o - 12 = 0, y - 2*o = 14. Let x be y/(-8) - 100/16. Is 0.2 smaller than x?
False
Let p be