). Let h = 5/268 + -1663/2948. Which is greater: h or j?
h
Let y be (-5278)/1092 - (0 - 4) - (-141)/18. Is 99/14 equal to y?
False
Suppose -45*a = 16*a + 117*a + 178. Which is smaller: 5/4156 or a?
a
Let t = -109 - -112. Suppose -t*u - 3*u + 10*u = 0. Let v = -15.4 - -13. Which is smaller: u or v?
v
Let i = 3518 - 3530. Which is bigger: -39 or i?
i
Let y be (-183)/122*2*1. Let l = 117 - y. Which is smaller: l or 121?
l
Let r = -58 + 60.3. Let s = -182.155 + 182. Let d = 1.155 + s. Which is greater: r or d?
r
Suppose -9*k + 318 - 3 = 0. Suppose -4*f + k = 75. Is -14 < f?
True
Let r be ((-1860)/99)/2*(-1 - 8/40). Which is greater: -7/8 or r?
r
Let o = -217353 - -1742731/8. Is 488 greater than or equal to o?
False
Suppose 0 = 95*p - 102*p + 12362. Are 1768 and p equal?
False
Let h = -57254.47 + 57254.4. Suppose -4*v + 5*q + 8 = 0, 8 = 2*v + 2*v + 5*q. Let i be (6/(-10))/(3/v). Which is smaller: h or i?
i
Let f = 74652887/1145 + -65199. Are 1 and f non-equal?
True
Let y be 3 + (7548/(-648) - -10) + (-6)/4. Let l be 0 + -2 + 1 - -6. Suppose 5*x = -2*h - 0*h - 25, 0 = -l*h - 5*x - 25. Are y and h non-equal?
True
Suppose 59*g = 1237 + 1536. Which is bigger: g or 1196/25?
1196/25
Suppose -35*a + 7514 = -9*a. Let c = -327 + a. Which is greater: c or 0?
0
Let o(p) = -115*p + 138. Let v be o(-1). Which is smaller: v or 1013/4?
v
Let q = 114.5 + -97. Let h = q + -10.5. Which is smaller: 9 or h?
h
Suppose -3*d + v + 2*v = 495, 0 = 2*d + v + 345. Let x = d - -175. Does 19 = x?
False
Suppose 5 = 4*b - 3. Suppose 12 = o + b. Let q = 923/50 + -224/25. Is q at least o?
False
Suppose 0 = -7*c + 12 + 436. Let z = c + -66. Suppose 5*b + 6 = -4. Does b = z?
True
Let b = -8475 + 271179/32. Which is bigger: b or 0?
0
Let n = 11.93 - 12. Let t(x) = -41*x + 5*x**2 + 47*x - x**3 + 0*x**2. Let z be t(6). Is z less than or equal to n?
False
Let g = -1990 - -286561/144. Are g and 1 non-equal?
True
Let b(d) = 2*d + 25. Let c be b(-5). Let j = -3 + c. Suppose y - 10 = -j. Which is bigger: -4/7 or y?
-4/7
Let i = -205 + 211. Let s be 8*11/15 + 1/(-5). Let h = s - i. Which is smaller: -2/35 or h?
h
Let y = 98 - 223. Let w(b) = -114*b + 334. Let g be w(4). Which is bigger: g or y?
g
Suppose 1389 + 5402 = 56*s + 519. Which is greater: s or 104?
s
Let j be (-64)/28 - (-2 - 0). Let o be -1*15/(-12) - 30*(-2)/(-48). Which is smaller: j or o?
j
Suppose -3*c + 801 = -3. Let m = c + -186. Let k be 8/m*(-3)/6. Is k greater than or equal to -1/4?
True
Suppose 0 = 4*q - 5*k + 3235, -2*q - 1623 = -37*k + 40*k. Which is smaller: -812 or q?
-812
Let x = 3311 + -2107. Is x <= 0?
False
Let n be (-148)/(-230) - (-6)/(-10). Let o be (-1)/11 - 6415/(-8250). Let h = -1/50 + o. Which is greater: n or h?
h
Let h = 1.783 + -1.813. Do h and -1.7 have different values?
True
Let q = 124 - 47. Let g = -24 + q. Let l = -76 + g. Which is bigger: l or 1?
1
Let t(m) = -120*m**2 + 32*m - 35. Let s be t(1). Which is bigger: -1344/11 or s?
-1344/11
Let f = 269.6 - 762.6. Which is smaller: -1/4 or f?
f
Suppose -v - 3*j = 2*j - 5, 4*v - 92 = 4*j. Let u = 26 - v. Is u > -3?
True
Let f = -18 - 21. Suppose 5*d + 146 = -3*b - 47, b = -d - 39. Which is smaller: d or f?
f
Suppose -2*t = 0, -x + 12*t - 1 = 8*t. Is x < -1/384?
True
Let d(c) = c**3 - c**2 - 109*c - 16. Let g be d(-10). Which is smaller: g or -69?
-69
Let h = -126 - -114. Let y be (((-16)/h - -1)*1)/(-3). Which is greater: -1 or y?
y
Let j = -2687078/25 - -107498. Is j < 16?
True
Let v(x) = 51 + x + 0*x - 48. Let h be v(6). Let s = 4 + 5. Is s greater than h?
False
Let u(m) = m**3 + 66*m**2 + 120*m - 108. Let c be u(-64). Which is smaller: 409 or c?
c
Let l(o) = 39*o - 859. Let j be l(22). Which is bigger: -3/802 or j?
-3/802
Let y be ((-1)/2)/((-6)/168). Let u be 2 + 129 - (-11 - -13). Let k be (-2 - u/(-60)) + 2/8. Which is greater: y or k?
y
Let i(v) = -3*v - 5. Let u be i(4). Let y be (-3)/(-22)*(-56)/(-42). Do u and y have the same value?
False
Let t = 33592 + -17246. Which is smaller: 16347 or t?
t
Let c(w) = -14*w**2 + 912*w + 356. Let y be c(66). Is y at least as big as -436?
True
Let k = 25.189 + -24.9. Let x = -21.711 - k. Is x less than or equal to 0.02?
True
Let z = -26905 + 6780071/252. Which is greater: z or 0?
z
Let v be (-6)/14 - 534068/1022. Which is smaller: -520 or v?
v
Let q = 84.2 + -85.2. Let l be 20/(-102)*(-6882)/15. Let j = l - 90. Is q <= j?
True
Let c = 570163/5 + -114474. Let m = 11013 - 11451. Let n = c - m. Is n > -4?
True
Let p = 868/9 - 11842/117. Which is greater: -1/2 or p?
-1/2
Let l = -8.59 - -0.69. Let y = 2.1 - l. Is y bigger than 2?
True
Let h = 42 - 28. Let z = 11 - h. Let m(x) = -x**2 - 22*x - 101. Let y be m(-7). Is y < z?
False
Let c = 0.0933 - 3.0933. Which is greater: c or -0.1512?
-0.1512
Let u = -12140 + 11447. Which is smaller: -700 or u?
-700
Let m = -114591/430 + 2667/10. Which is bigger: m or 0.33?
0.33
Let t(d) = d**3 + 20*d**2 - 24*d - 51. Suppose -992 = -2*g - 1034. Let l be t(g). Do 5 and l have the same value?
False
Let v be (-3 - 42/(-10))/((-2)/(10900/(-15))). Which is smaller: 449 or v?
v
Let s(u) be the third derivative of u**6/120 + u**5/30 + u**4/6 + 11*u**3/6 + 159*u**2. Let j be s(-2). Is j less than or equal to 33/19?
False
Let y = 0.24 + 0.24. Let s be (-252)/(-350)*90/108. Which is greater: y or s?
s
Let n = 87 - 144. Suppose -2013*b + 2016*b = -162. Is b at least n?
True
Suppose 4*u - 18 = -z + u, 0 = 3*u - 3. Let l = z + -13. Suppose l*p - 35 - 27 = 0. Which is bigger: p or 32?
32
Let h be 2 - 3/(-3) - -254. Suppose -n + 278 = 294*y - 290*y, 0 = -y + 5. Which is greater: n or h?
n
Let v(y) = 35*y - 42. Let l(q) = -17*q + 22. Let z(g) = 7*l(g) + 4*v(g). Let x be z(1). Which is smaller: x or 8?
x
Let w be (0 - 2)/((-5985)/(-854) + -7). Let z = -240 - w. Is 5/2 > z?
False
Let k = -45.43 - -45.29. Which is smaller: 25 or k?
k
Let i = 4188 - 4143.99. Which is greater: 2 or i?
i
Let n(c) = -20*c - 13*c**2 + 188 - c**3 - 7*c**2 - 205. Let j be n(-19). Suppose 3*v = -4*r - r - 171, -4*v - 74 = j*r. Is r bigger than -31?
False
Let o = -545898 + 566641939/1038. Let k = 1485 + -256903/173. Let a = k + o. Is a at least as big as 1?
False
Suppose 0 = -2*p + 3*v + 24 + 116, -3*v = 6. Suppose 0 = 11*n + 65 + p. Which is bigger: -5 or n?
-5
Let f(d) = -677*d + 20918. Let l be f(-18). Is l less than 33103?
False
Let c = -0.4754 - -0.4945. Is 0.1 less than or equal to c?
False
Let k(s) = 64*s + 1024. Let p be k(-16). Let z be ((-20)/(-125))/(2/(-5)). Which is smaller: z or p?
z
Let m(t) = 11*t**2 - 20*t - 25. Let g(a) = 5*a**2 - 10*a - 13. Let l(s) = -13*g(s) + 6*m(s). Let w be l(-13). Which is smaller: w or 59?
w
Let w(n) = -n**3 + 7*n**2 + 10*n + 7. Let h be (-5 + 2)/9 - 125/(-15). Let f be w(h). Suppose 25 - f = 2*j. Is 24/13 greater than or equal to j?
True
Let v(x) = 7*x + 6. Let k be v(-6). Let u(s) be the third derivative of s**4/6 - 10*s**3 - 11*s**2. Let h be u(6). Is h equal to k?
True
Let u = -1.5871 - 15.4129. Is u equal to 8/5?
False
Let b = -11 + 27. Suppose -4 = -4*v + b. Suppose 3 = -p + v. Which is bigger: 11/15 or p?
p
Let s be 15639/19 + (10 - (-4224)/(-418)). Is 2471/3 smaller than s?
False
Suppose -4*n + 89 = -87. Suppose -52*j + n = -48*j. Let y be ((-3)/(-2))/(j/(-110)) + -3. Does y = -20?
False
Let g(d) be the third derivative of -d**5/30 - 3*d**4/4 + 47*d**3/2 + 170*d**2 - 1. Let q be g(5). Which is greater: -1/235 or q?
q
Suppose m + 3 - 8 = 0. Suppose -5*i - c + 27 = 4, 5*i + m*c = 15. Are 9/2 and i nonequal?
True
Let o = 21 + -1. Suppose 13 = -a + o. Suppose 3 - a = -4*v. Which is smaller: v or 8/15?
8/15
Let y be (1/(5118/7))/(112/(-409458)) + 5. Which is bigger: 0 or y?
0
Let n = -2615 - -2598. Which is greater: n or -24?
n
Let q be (-1 + 2)/((-33)/6 + 5). Let t be (-10*q/12)/((-3)/36). Is -94/5 at least t?
True
Let b be (-1354)/(-7) + 6/(-14) - 3. Let c = b - 189. Is -2/385 at most c?
True
Let c = -1488.5 + 1488.059. Let h = 0.13 - 0.23. Is h at most as big as c?
False
Let g be (-3)/(-8) - 65/(-40). Suppose 16 = -7*a + 212. Let h be (2/(-80))/(a/(-70)). Is h < g?
True
Suppose 14 = 2*k + 4*o, -4*k + 67 = -0*k - 5*o. Suppose -4*l = k + 39. Is l < -10?
True
Suppose 2*b + 5*h - 21 = 0, -81*h + 84*h - 25 = 5*b. Let k be ((-1)/(-5))/((-1)/17). Is k < b?
True
Let l be (4*2/(-6