er than h?
False
Let m = -1803141/38717 + 5/5531. Which is smaller: m or -47?
-47
Let f = -506 + 470. Let s = f + 35.8. Which is smaller: s or -46?
-46
Suppose 176*w = 2284 - 8620. Are w and -188 unequal?
True
Let c(p) = -4693*p + 131221. Let j be c(28). Let t be (-1)/(-1) - (185 + 0). Which is bigger: j or t?
j
Let v be ((-72)/216)/((-6758)/(-12)). Which is bigger: 1 or v?
1
Let l = -1626 - -1615. Let y = -8 + 8.1. Are y and l non-equal?
True
Let k be ((-2)/(-33))/(45/27). Let z = 60 + -54. Let n be ((-2)/z)/(2/(-6)). Which is bigger: k or n?
n
Suppose 0 = -4*c - 16, 5*c + 1 + 19 = a. Suppose 2*w = -q + 35 + 3, -2*w - 3*q + 46 = a. Suppose -2*y - 7 - 1 = 0, 4*y - 38 = -3*d. Does w = d?
False
Let n = 3/7435 - -148667/81785. Which is greater: 0.31 or n?
n
Let b(t) = -2*t - 59. Let d be b(-33). Let q be 1*(-25 + 23)*d/2. Is -14 less than q?
True
Let c(z) = -z**3 - 9*z**2 - 13*z - 28. Let i be c(-8). Let h be 2/9 - (5 - 58/i). Is h bigger than -1?
True
Let j = 2894.8 + -2895. Is 0.0877 greater than or equal to j?
True
Let r = -222 - -133. Let m = 103 + r. Suppose 3*b + 28 = x, x - b = -4*b - 2. Which is smaller: x or m?
x
Let n be -19 + -188 + 14 + (-4)/(-4). Which is smaller: 17 or n?
n
Let c(n) = n**3 - 33*n**2 + 82*n - 136. Let x be c(29). Is -1121 > x?
True
Let r = -639.992 + -0.008. Let g = r - -641. Is 6 at most g?
False
Let i = -9613 - -9679. Which is bigger: 99 or i?
99
Suppose z + 5 - 3 = 0. Let x = 38263/143 + -3482/13. Which is greater: z or x?
x
Suppose 0 = -50*z + 349 - 49. Suppose 18 + z = -24*k. Which is greater: k or 3?
3
Let g = 302.58 - 302.85. Is g at most -4.24?
False
Let w = -360.7 - -388. Let o = 25.73 - w. Let v = 0.43 - o. Is -6 less than v?
True
Let v(a) = a**2 + a - 2. Let j be v(-2). Let d be ((-3)/4)/(-570*(-27)/(-5052)). Let b = 3/95 + d. Which is greater: b or j?
b
Let t = -517 + 510. Is -542 < t?
True
Suppose -49*q = -16341 - 37559. Is 1102 at most q?
False
Let k = -58 - 41. Let d = -263.2 - -264.2. Which is greater: k or d?
d
Let o = -890/33 + 97109/3597. Suppose 0 = -2*v + 4*v + 2. Which is smaller: v or o?
v
Let u be ((-2)/(-4))/((-3)/(-59)). Suppose 0 = 6*z - 4 - 56. Let r = u - z. Is -2 != r?
True
Let t be ((54390/(-3612))/5)/(0 + (-1)/2). Which is bigger: t or 6?
t
Let x(l) = l - 43 + 92 - 50. Let j be x(-1). Let g be ((-15)/j)/(14/(-28)). Is g less than -15?
False
Let l(w) = 4*w**2 - 97*w + 254. Let r be l(3). Which is smaller: -4/1437 or r?
r
Let i be (-150)/225 + ((-130)/(-18))/5. Let m = -1 - -6. Let n = -5 + m. Is i != n?
True
Let w be 1825/(-10878) - 160/(-960). Is -1 greater than or equal to w?
False
Let n be 1824/114 - (0 - -3). Let a be (1/(-2))/((-1)/10). Suppose a*i - 14 = 4*i. Which is smaller: i or n?
n
Let f = -76/7 + 463/42. Let d = 0.23 + -4.03. Let x = 4 + d. Does x = f?
False
Let h = 1678 - 1686. Suppose -5 = -n - 1. Which is smaller: n or h?
h
Let d = 4074 + -4447. Is -369 < d?
False
Let m(y) = y + 2. Let q(p) = 11*p**3 + p**2 - p. Let s be q(1). Let h be m(s). Let v(f) = -f**3 - 7*f**2 + 13. Let r be v(-7). Is r >= h?
True
Suppose -12*t + 402 = -6*t. Let h = t - 58. Suppose -h = 3*c + 3. Is c at least as big as -7?
True
Let w = 0.62 + -42.62. Let v be -483 + 491 - ((-225)/(-33) + 1). Which is bigger: w or v?
v
Let c = 211 + -204. Suppose -3*o + c*o = 0. Which is greater: -12/13 or o?
o
Suppose p + 4*o + 578 = 0, 4*p + o + 3125 - 918 = 0. Which is smaller: p or -5?
p
Suppose i + 1 = 4*k + 2*i, 5*k = 4*i - 25. Let q = 7337183 - 16222511315/2211. Let t = -7/67 + q. Which is smaller: t or k?
k
Let y(t) = 4*t**2 + 3*t - 10. Let d(x) = x - 14. Let n be d(9). Let z be y(n). Let a be (210/z)/((-1)/5). Are -14 and a nonequal?
False
Let s be (-284733)/(-95628) - -2*9/(-6). Let m = 2/613 + s. Which is smaller: m or -1?
-1
Let q = 15 + 3. Let p = q - 19.55. Let j = p + -0.45. Which is bigger: j or 0?
0
Let k be (-25)/75*(-2 + 2). Let t(w) = -2*w**2 - 17*w - 11. Let n be t(-8). Which is greater: n or k?
k
Let w = -1.263 + 0.813. Is w at most -2?
False
Suppose -3*d = 3*v - 9, 2*d + d - 9 = -2*v. Suppose v = 49*z - 50*z - 6. Let r be 765/1510 - (-3)/z. Which is greater: r or 0?
r
Let l(u) = 53*u + 8321. Let z be l(-158). Let d be -57 + 4*(-2)/(-4). Which is smaller: z or d?
d
Let c = -95797 - -23853403/249. Is -1 < c?
True
Let g be ((-4)/(-30))/((-252)/(-378)). Which is smaller: 387/13 or g?
g
Let x be 215/(-2) + (-4)/8. Let h = x - -28. Let l = -107 - h. Which is smaller: l or -28?
-28
Let p = 1859.4 + -1861. Which is bigger: -85 or p?
p
Suppose -5*q = 5*l - 46620, 938*q + 46599 = 5*l + 936*q. Which is smaller: l or 9320?
9320
Let h = 89476/77 - 1162. Which is smaller: 0 or h?
0
Let a = -4776 + 5755. Is 979 smaller than a?
False
Let r(k) = k**2 - 8*k + 229. Let t be r(18). Which is bigger: 817/2 or t?
t
Let h = -860 + 861. Let s be 34/(-110) + -3 + (-17)/(-5). Which is smaller: s or h?
s
Let x = -5051 + 116201/23. Let y be 1/(2*(-5)/20*-2). Which is smaller: y or x?
y
Let w(x) = -x**3 - 5*x + 12. Let z be w(2). Let i be 21/(-3) - z/1. Which is smaller: -1/464 or i?
i
Let i = 13940 + -13940.22. Which is bigger: i or -2.6?
i
Suppose 5*s + 0 + 5 = 0. Let l be s*(-5)/5*-1. Is l at least 5/36?
False
Let q be (6 - (4 - -99))/(2/(-4 + 14)). Is q <= -2421/5?
True
Let z be 9 - (6 + 22) - 63. Which is smaller: z or -734/9?
z
Let d(u) be the third derivative of -u**4/6 + 13*u**3/6 - 2*u**2 + 28*u. Let o be d(3). Is o bigger than -1/188?
True
Let d = -2.63 - -0.43. Let g be 6/4*(-7)/((-14)/(-12)). Let x be g/18*2/(-4). Which is smaller: x or d?
d
Suppose 0 = 5*r - 3*s - 891, s = -2*r + 226 + 137. Is r not equal to 179?
True
Let v = 10987 - 10889. Does v = -0.15?
False
Suppose -2*z = p + 150, -3*z + 160 = -p - 7*z. Let k be p/(-36) - 9 - (-3)/27. Is k at least -39/10?
False
Let u be 2/4*-2 + (-89 - -84). Let n(k) = k**3 + 4*k**2 + 4*k. Let l be n(-3). Let p = u - l. Is p greater than -15/4?
True
Suppose 12*r - 7*r + 14508 = 98*r. Is 156 not equal to r?
False
Let m be 4773/(-6)*(-2)/1582 - 1. Let u = 74705/61698 - m. Let i = u - 7/13. Is i less than or equal to 45?
True
Let j = 11.9 + 481.1. Let y = 480 - j. Do 2 and y have the same value?
False
Let t = 437 + -60305/138. Suppose 479*f = 485*f - 6. Is f not equal to t?
True
Let x be (-2 - 1) + 2 + -3. Let f = -10 - x. Which is bigger: f or 4?
4
Let z(l) = l**3 - l**2 + l. Let t(k) = 3*k**3 - 14*k**2 - 1. Let x(v) = -t(v) + 2*z(v). Let p be x(12). Suppose 5*g + 5*b = -0*b - p, b - 19 = 5*g. Does g = -4?
True
Suppose -107*z = -35*z. Which is bigger: 1/2788 or z?
1/2788
Let z(p) = -505*p - 1993. Let m be z(0). Is m equal to -1996?
False
Let o(h) = 87*h**3 + 2*h**2 - 1. Let n be o(1). Suppose c - n = -c. Suppose -331*x - 63 = -2*g - 334*x, 0 = 4*g + 3*x - 147. Which is smaller: g or c?
g
Let m = 2371/22 + -1158/11. Which is smaller: m or -18/29?
-18/29
Let d = 16272 - 16877. Do -616 and d have the same value?
False
Let c = -1053/22 + 11559/242. Let b = -134/1089 + c. Is b at most as big as 48?
True
Let f be 2 + 0 + 38/(-4). Let r = 0.288 - 26.488. Let g = r + 25.2. Which is smaller: f or g?
f
Suppose 10*h + 1707 = -20*h - 303. Is -69 > h?
False
Suppose -46067*l + 46047*l = 100. Let u = -1515 - -7547/5. Is u equal to l?
False
Let n be (-35 - (-30702)/1365) + -1 + 12. Which is smaller: -1 or n?
n
Suppose -12*v - 141 = -129. Which is smaller: v or -24/67?
v
Let n be (-6)/(-7)*(-203)/116. Suppose 0*c + 4*m + 1 = 3*c, 0 = 2*c + 3*m + 5. Let k be c/(-9)*(-6)/(-4). Are n and k unequal?
True
Let r = -3101 + 1685. Let u be r/60*-1 - 4/10. Which is bigger: u or 23?
u
Let y = 859.3 - 754.3. Which is smaller: y or 1?
1
Suppose -3*n - 662 = -5*r, 4*r + 236*n = 232*n + 536. Which is bigger: 135 or r?
135
Let i = -20117.073 + 20117. Is 4/7 > i?
True
Let y(t) = 883*t - 893*t - 7 + 5*t**2 - 4*t**2 - 2*t**2. Let a be y(-9). Is a at most as big as 6?
True
Let n(w) = -w**3 - 8*w**2 - 8*w - 6. Suppose 3*g - g + 4 = -2*l, 4*g - 34 = 2*l. Let m be n(l). Let h = -109/8 - -1013/72. Are h and m unequal?
True
Let k be (2/(-3))/(11/((-132)/116)). Which is greater: k or -1/8?
k
Let n be 0 + -2 + 1 - -2. Let s be (-2 - 76/(-36)) + ((-8274)/2889)/14. Which is smaller: n or s?
s
Let p = -4618 + 4617. Which is greater: p or 23/49?
23/49
Let s = -13.23771 - -0.26671. Let d = 26 + -25.971. Let a = d - 