= -8*g - 1051. Let k = g - 388. Let n = -2927/3 + 987. Is n at least as big as k?
False
Let g = 72510 + -72427. Let c(h) = 3*h**2 - 3*h - 6. Let i be c(6). Which is greater: i or g?
i
Let w be 0 - (1 - 1 - 13). Suppose -6 = -2*u, 3*u + 13 = 5*x - u. Let z be 0/(3*x/15*2). Is z <= w?
True
Let h be (-278)/(-556)*2*(-4)/(-2). Suppose -i + 5*j + 232 - 94 = 0, -i + h*j + 135 = 0. Is 131 at most as big as i?
True
Let g = 3598 + -3191. Is g greater than 353?
True
Let q be 6152/(-40) + 1/(-5). Let w = -1596 - -916. Let r be (-1)/4 + q/w. Is -0.2 != r?
True
Let o = -9814/5 + 1934. Is o equal to -30?
False
Let s = 19125 - 19877. Is s >= -749?
False
Suppose 15*n - 21*n = 54. Let z be 12/n + 60/45. Is 8/57 at most z?
False
Let f = 0 + -1. Let t = 144148/15 - 1396418/165. Let k = t - 1148. Which is smaller: k or f?
k
Let z(v) = 2*v + 14. Suppose -c = 3*c + 5*i + 237, 5*i = -5*c - 300. Let a be (-2)/(-13) - c/13. Let w be z(a). Is 25 less than w?
False
Let b be -5 + 2/2 + (-788 - -168). Do b and -625 have the same value?
False
Suppose 9*r = 14*r + 3*s + 36568, 4*s = 5*r + 36526. Is -7309 at most as big as r?
False
Let i = -17418 - -17417.8. Is i smaller than 25/349?
True
Let c be -3 + 1 - (-240)/40. Is 68/25 > c?
False
Suppose -431*r + 428*r = 1956. Is -657 bigger than r?
False
Let y = -5188 + 25938/5. Is -6474 >= y?
False
Suppose -192 = -2540*w + 2516*w. Suppose -2*q + 54 - 2 = -3*u, 5*q - 120 = 5*u. Is q bigger than w?
True
Let g = 32 - 64. Let w = 29 + g. Which is smaller: w or -8/5?
w
Let q = -343960 - -343959.9. Let r = -4.3 - -13.8. Do r and q have the same value?
False
Let t = 62 + 23. Suppose 0 = 5*f - 6*f + t. Suppose f = -21*z + 26*z. Is 16 greater than or equal to z?
False
Let w(m) = -9*m + 4. Let v(z) = -z - 22. Let c be v(-9). Let d be w(c). Let s = -969/8 + d. Which is greater: 0.3 or s?
0.3
Let u = 1412674/87 + -16238. Is u != 1/3?
True
Let i = 8 + 80. Suppose -4*f = 216 - i. Let d be 274/(-8) + (-2)/(f/(-12)). Which is smaller: -34 or d?
d
Let h = -236 - -233.53. Let u = 17 - 19.3. Let x = u - h. Which is bigger: x or -0.1?
x
Suppose 0 = -2*k + 4*h - 145 - 231, 4*k + 4*h + 764 = 0. Let a = -262 - k. Is -71 <= a?
False
Let i be (10/15)/((-3)/71). Let o = 22724 - 22741. Which is bigger: i or o?
i
Let t(q) = 23 - 2*q**2 + 3*q**2 + 10*q - 19. Let i be t(-5). Let c(k) = -2*k**2 - 9*k - 4. Let m be c(-6). Which is bigger: m or i?
i
Let y = 26496 - 79310/3. Which is greater: 60 or y?
60
Let x = -576 + 564. Let u be -39*x/18*-3. Is u less than -78?
False
Suppose -16 = -4*w - 4*j, 4*w - 3*j = -8*j + 17. Suppose -2*b - 2*b - w*n = -5, 0 = 4*b - 3*n - 11. Suppose o - 36 = -b*o - u, 0 = 2*u. Is o equal to 13?
False
Let t = 100689/22462114 + 3/17426. Which is greater: 0 or t?
t
Suppose -7*i + 6*i = -98. Let q(d) = d + 11. Let t be q(-15). Let k be (t/i)/(11/7 - 2). Which is greater: k or 0?
k
Let t(x) be the second derivative of 65*x**3/6 + 119*x**2/2 + 2*x + 63. Let f be t(-2). Which is bigger: -28 or f?
f
Suppose 4*c = 2*z + 222, -3*c + 144 + 192 = -3*z. Which is smaller: -449/4 or z?
z
Let u = -0.4386 - -0.6206. Is -0.3 smaller than u?
True
Let s be (-16150)/82 - (1 + -1). Let h = s + 197. Suppose 2*m - 14 = 4*v, 8*m - 4*m = -v - 8. Which is smaller: h or m?
m
Let u(k) = -17*k + 75. Let d be u(5). Suppose -5*n - 13 = -3*a, n + 0*a + 21 = -4*a. Is n at most as big as d?
False
Let n(r) = r**2 + 22*r - 1. Let o be n(-23). Let u(p) = -p**3 + 23*p**2 - 19*p + 3. Let x be u(o). Is x < 211/3?
True
Suppose 0 = -c - 6 - 8. Let u = 51/19 + -1699/95. Is c at least as big as u?
True
Suppose 6*n + 3*u - 15 = 0, n + 13*u - 16*u = -8. Which is greater: n or 8/1025?
n
Let p = -0.12737 + 0.52737. Is 373 != p?
True
Let h be (2754/(-12))/(-9)*(-2 - -4). Let a = -54 + h. Which is bigger: -42/25 or a?
-42/25
Let o = -58946 + 468029/8. Does o = -441?
False
Let o(v) = 4*v**3 - 4*v**2 - 50*v + 29. Let i be o(8). Is 1421 equal to i?
True
Let n be (24/14)/(-5*28/(-980)). Which is smaller: 136 or n?
n
Let d = 11973/38 + -315. Let n = 0.02 - 1.02. Which is bigger: d or n?
d
Let t be (-1)/(-4) + (-170)/40 + 9. Suppose -5 = a + 3*s, t*a + 15*s + 3 = 11*s. Is a bigger than 1/266?
True
Let f be -2220*(168/(-180) + 2/6). Which is smaller: f or 5331/4?
f
Let b = -31.9 - -30.34. Let c = b + 1.36. Which is greater: c or 0.5?
0.5
Let o be 24/(-30)*17*5. Let j = o + 1158/17. Is 0 at least j?
False
Let q be (-26)/(-39) + 7/((-714)/(-946)). Which is bigger: q or 11?
11
Suppose -4*y = 5*j - 80, -y + 3*y - 30 = -5*j. Suppose 0 = 23*r - y*r - 136. Let i = 60 + r. Is -4 less than i?
False
Let r(o) = 2*o**3 - 27*o**2 + 13*o + 9. Let d be r(13). Suppose d*t - 4*t + 25 = 0. Let c be -3*(-6)/(-9) - -3. Is t > c?
False
Let f be ((-8)/((-24)/(-33)) - 140) + 0 + -1. Which is greater: f or 4/15?
4/15
Suppose z = -3*o - 589, -16*o - 12 = -20*o. Which is smaller: z or -614?
-614
Let v be (0 - -1) + 6/(-8) - 8343/(-8748). Which is smaller: 1 or v?
1
Let a be (6 - 3)/(4/52). Suppose -59*m + a = -62*m. Is m bigger than -9?
False
Let z = -0.627 - -68.927. Let p = z + -69. Is p less than or equal to -60?
False
Let m = 9777 + -9777.161. Is m < 9?
True
Let f be (-9)/(-6) - (-16 - -29)/(-26). Are -1494 and f equal?
False
Let m = 0.8 - -0.95. Let n = -4384/3 + 1461. Which is smaller: n or m?
n
Let i be 134/(-4)*2 - 4. Let u = i - -39. Let a = u + 43. Is 11 equal to a?
True
Let k be -65 - -58 - (-84)/14. Let h(r) = -r**2 + 129. Let m be h(0). Let a be -2 + (267/m)/1. Is k less than a?
True
Suppose -4*r = 5*a + 1410 + 45, -2*a = -5*r - 1827. Let u = r + 505. Are 140 and u equal?
True
Let w be 51*(-3 - 0/9) - (3 - -3). Which is bigger: w or -0.01?
-0.01
Let c(a) = 59*a + 925. Let q be c(-23). Which is smaller: 0.4 or q?
q
Let h be 4/2 + 27 + -12. Suppose 22*p - h*p - 26 = b, -b - 5*p + 24 = 0. Do b and 1/271 have the same value?
False
Let w(d) = -28*d**3 + 6*d**2 - 4*d - 1. Let z be (-8 - (4 + -10)) + (4 - 1). Let c be w(z). Let v = -17 - 10. Is c < v?
False
Let q(p) = p**2 + 4*p - 4. Let i be q(1). Let k be -4 - i - -6 - (-55877)/(-54458). Let r = 1/746 - k. Is -1 at most r?
True
Let a = -66 + 75. Suppose -a*i + 630 = -6*i. Suppose 0 = 4*d - d + i. Which is greater: 1/2 or d?
1/2
Let j be (-39866)/(-155)*(-55)/132. Is j <= -108?
False
Suppose -5*t - 1 = 5*a + 54, 0 = -5*a + 5*t - 75. Which is greater: 14 or a?
14
Let u = -1156/2899 + -14/223. Which is smaller: u or -0.1?
u
Let s(f) = 15451*f**2 - 9*f + 12. Let x be s(-8). Let k = 40572044/41 - x. Let b = k + -614. Are -1 and b unequal?
True
Let s = 0.04 - -0.06. Let x = 244.1 - 244. Let y = s - x. Which is smaller: y or 2/9?
y
Let d = -15331 - -720554/47. Let n = -5 - -4. Is n greater than d?
False
Let i = -0.2 + -0.8. Let f = -46777 + 46798.4. Which is smaller: f or i?
i
Let c = 274 - 264.24. Let m = -8.3 + c. Which is bigger: 1 or m?
m
Let b = -1758539/297 - -5921. Let f = -54 + 55. Which is smaller: f or b?
b
Let p = -632 - -595. Let m(y) = 2*y + 77. Let v be m(p). Is -130 >= v?
False
Let l = -565 - -569. Let x be l - (-872)/330*120/(-80). Do -2/7 and x have the same value?
False
Let v = -360995 - -2521959/7. Is v at least as big as -714?
False
Let c be (-3)/(-2)*(-1)/3*-8. Suppose 0 = 2*l, 0 = -c*q - 0*l + 5*l. Let z be (-35)/(-195) + q + (-2)/6. Which is smaller: 0 or z?
z
Suppose 4*l - l + 1056 = 0. Let h be 248/l - 3/(-4). Suppose -3 = 10*c - 3. Do h and c have the same value?
False
Suppose 0 = 4*x + 5*y - 434, 5*x - 4*y - 26 = 496. Let s = 205 - x. Does s = 100?
False
Let r = 37 + 81. Let s = 97 - r. Is s greater than or equal to 5?
False
Let r = -14293 - -14295. Is 15/28 less than or equal to r?
True
Let g be (1/21*-1)/((-72)/504). Is 2.5918 equal to g?
False
Suppose g = -g + 96. Let u = g - 436/9. Let h(d) = 23*d - 137. Let k be h(6). Which is smaller: u or k?
u
Suppose -n = 4*u + 1792, 5*n - 3*u - u = -9080. Let j be (-1)/(-4 + 4/(n/(-1811))). Is 454 less than j?
False
Let o = -12 + -195. Let c = o - -208. Is -83 equal to c?
False
Suppose 5*o + 2*t = 454 + 1654, -o + 4*t + 404 = 0. Is o > 9?
True
Let k be (((-35)/21)/5*3)/1. Is -3/3986 >= k?
True
Suppose -3*c + 3*p + 222 = 0, p + 204 = 5*c - 178. Suppose -c*o + 74*o = 18. Which is bigger: o or -9?
o
Let w = 45 - 35.1. Let u = -204 + 212. Let g = u - w. Which is smaller: g or -1?
g
Suppose -4*w + 0*g