)/28)/(18/(-42)). Which is smaller: 8/511 or g?
8/511
Let d = 7135 - 7134. Which is smaller: 3/367 or d?
3/367
Let u be (5*(224/223 + -1))/(-10 - -9). Does 1 = u?
False
Suppose 5*z + 16 = 5*l - 9, l + 25 = -5*z. Let w = l + 1. Let v be 6/255*(13 - 63/(54/(-6))). Is w > v?
True
Let u = -38511/2177 + -52/311. Is u smaller than -19?
False
Let i = 4 - 3. Let c = -1449 + 1262. Let b = c + 186.948. Is b not equal to i?
True
Let s = -1/227604 + 2389847/1138020. Let k be 5/7 + 4/14. Do k and s have different values?
True
Let r = -839 - -475. Let a = 365 + r. Is a at most -2/151?
False
Let c = -5 + 8. Let w be c*2/(-12)*-8. Suppose 44 = -4*u + w. Which is smaller: -8 or u?
u
Let k be 12/6*3/(-11283). Is 1 bigger than k?
True
Let o = 120182713/2355 + -51033. Is o equal to 1?
False
Let r be ((-72)/(-14))/(2*1). Let s = 217 - 224. Let c be 4/(-16)*s/((-35)/(-40)). Which is bigger: r or c?
r
Let p = 675 - 700. Suppose -15 = -v + 4*v. Let j be (-3)/v*(-18)/27. Which is greater: p or j?
j
Let y(g) = g - 24. Let s be y(20). Let m be (-1)/(-3 - (s + 2)/(-4)). Which is smaller: m or -7?
-7
Suppose 1146 = 4*t - f, 3*t + 3*f - 850 = -f. Let v = -599 + t. Let n = v - -2185/7. Is n at least as big as -1?
True
Let z = 306.5575 + -0.5575. Which is greater: z or 3?
z
Let w = -833.4 + 874. Let f = w + -40.6. Do -215 and f have the same value?
False
Suppose -4*t + 25*t = 14658. Suppose 2*o - 924 = 6*o - 2*p, -3*o - t = p. Is o at least as big as -232?
True
Suppose 3*b = 1 + 2, 4*b = -3*y + 16. Suppose -5*f + a = -4, 12 = -f - 4*a - y. Which is smaller: 2/83 or f?
f
Let c(a) = a**2 + 120*a + 1887. Let y be c(-27). Which is smaller: y or -628?
-628
Let y = -3/1402 - -194887/4206. Let l be (-456)/(-10) + (-4)/(-10). Let s = l - y. Which is smaller: s or -31?
-31
Let l(d) = -269*d - 1222. Let c be l(-5). Is 116 at least as big as c?
False
Let m(o) = 36*o**3 + o**2 + 4*o - 4. Let c be m(1). Suppose -5*n + 9*t + 32 = 8*t, 4*n + 3*t = c. Which is bigger: n or 9?
9
Let j = 0.17303 - -9.39997. Let n = j + -0.073. Let p = n - 9.4. Is -57 not equal to p?
True
Suppose -4*f + 3*u + 91 = 0, -3*f + 5*u = 2*f - 110. Suppose -5*t = 2*y + 79, -f = -t + 6*t. Which is smaller: y or -82/3?
-82/3
Suppose 18*i + 6691 = 14*i - 10889. Which is smaller: -1/4 or i?
i
Let c = 86 - 82. Let f(x) = 3*x + 4*x - c*x - 4*x + 1. Let i be f(-1). Which is greater: i or 14/11?
i
Suppose 61*y - 29*y = 0. Is y at least -2/3321?
True
Suppose w = -3*t + 225, 4*w + t + 289 = 1134. Suppose w*p = 215*p - 5. Which is smaller: p or 30/13?
p
Let q = 2734 + 2545. Is 5280 bigger than q?
True
Let h = 336 - 711. Let o = 1139363/4 - 284841. Which is smaller: h or o?
h
Suppose -4*g = 4*i + 9870 + 2122, 16 = -4*i. Do g and -2993 have different values?
True
Suppose 0 = -7*b + 11 + 17. Suppose -b*h = -14*h + 20. Let i be h/(-6) + 7/3 + -2. Are 1/60 and i unequal?
True
Let i be (-23)/(7406/115)*(-304)/(-50). Which is bigger: i or -3?
i
Let s(r) = 8*r**3. Let c be s(1). Let k be 8/(-6)*2*(-30)/40. Suppose 3*v + 3*x = 1 + 2, 10 = 4*v + k*x. Is v greater than c?
False
Let u = 0.04043 + -0.94043. Is -0.03 >= u?
True
Let m = -2.66 + -0.26. Let n = -1.07 - m. Is -1/3 at most n?
True
Let y be (2 + -2)*1/2. Let u = 162498449/85 - 1911778. Let t = u - -158/5. Is y < t?
True
Let l = 11410 + -11429. Is l greater than or equal to -16?
False
Let d(x) = x + 15. Let w(f) be the first derivative of -f**4/4 - 2*f**3 + 17*f + 8. Let p be w(-5). Let y be d(p). Is 8 bigger than y?
True
Suppose 5*y - 13 = -28, 5*j = -2*y - 11. Is j smaller than -8/809?
True
Let v be ((-36)/600)/(3/8*1). Suppose 3*g + 34 + 2 = 0. Let k = g - -11. Which is smaller: k or v?
k
Let s(w) = -w**2 + 12*w - 30. Let q be s(7). Suppose 9*h - 600 = q*h. Let j = -1668/11 + h. Which is bigger: j or -2?
j
Let x be (-82694)/(-717)*3/(-2). Is x > -24?
False
Let n = -415708/2132625 + 118/605. Which is smaller: n or -1?
-1
Let b(h) = -h - 1. Let d be b(-2). Let l = -1870/3 - -622. Let u = 64/39 + l. Is d >= u?
True
Let z = -723.184 - 0.816. Let p = 734 + z. Do -2 and p have the same value?
False
Let i = 1063 + -1063. Let s be 9/15 - 4912/(-5). Let b = s - 50135/51. Which is smaller: b or i?
b
Let b = 1 + -1. Suppose -2*r + 2*s = -r, b = 2*r - s - 6. Suppose -h + 5 + 1 = -o, 4*h = 24. Is r bigger than o?
True
Let c = 6.6423 - 108.5203. Let d = -0.122 + c. Let f = -86 - d. Do f and -1/2 have different values?
True
Let w = -0.1196 + -47.8804. Let m = 97 + -58. Let i = m + w. Which is smaller: i or -2?
i
Let j = 8 - 6. Let r(c) = -7 + 11 + j*c - 4*c. Let h be r(-11). Which is bigger: 27 or h?
27
Suppose 3*g - 15 = -3*o, g + 3*o - 2 - 3 = 0. Suppose -2*k - g*q + 51 = -k, 78 = 2*k + 2*q. Let r be (-294)/(-99) + 24/k. Is r at least as big as 3?
True
Let j be (-1 - 7) + (-21456)/(-2700). Let l be (0/(-3))/(-4 + 2). Which is smaller: j or l?
j
Suppose 0 = 3*p - 5*r - 62 + 10, 58 = 3*p + r. Let o be 35/(-2)*80/(-75)*3. Suppose 3*s = -3*n + 2*n + o, -n - 39 = -2*s. Is s less than or equal to p?
True
Let i(n) = 33*n**2 - 35*n + 33. Let o be i(1). Suppose 0 = 3*q + 3*u - 78, 3*u + 20 = -2*u. Which is smaller: q or o?
q
Let q = 0.1264 + -83.0264. Let n = -83 - q. Is n > 179?
False
Let y = -0.19 - 14.81. Let n = -3.894 + 3.994. Which is greater: y or n?
n
Let z be (-109 - -107)*(2 + (-3)/((-6)/(-13))). Let c be 4/(-14) - (-2)/7. Suppose c = y - 2 - z. Is 11 bigger than y?
False
Suppose -6*l - 16 - 26 = 0. Let f be 1/2 - l/14. Suppose 4*p + 4*h - 4 = 0, -p + h - 7 = p. Which is greater: p or f?
f
Suppose 0 = -3*w - 4*l + 11, 2*w + 5*l = 4*w + 8. Let s = 2903549/28 - 103698. Which is smaller: s or w?
s
Let m = 2354 - 2352. Which is smaller: 27 or m?
m
Suppose -4*s + 17 = p, 1 = 13*s - 14*s + 5*p. Let q(l) = -l + 11 - 2*l + 2*l. Let x be q(12). Which is smaller: x or s?
x
Let z = 1.22 + -1.47. Let g = z + 0.85. Let w = 11 + -15. Does g = w?
False
Let o = -35.3 - -4.3. Let z = 52903/4 + -13226. Which is smaller: o or z?
o
Let n = 0.946 - -0.054. Is -280/11 <= n?
True
Let w = -84 - -84.223. Let o = 0.237 - w. Which is bigger: 2 or o?
2
Suppose -4*l + 5*l - 534 = -168. Which is smaller: l or 362?
362
Let z = 165.8 + 2.2. Let o = z - 106. Is 0.2 > o?
False
Let r(n) = 22*n + 101. Let h be r(-17). Let s = h - -271. Which is bigger: -28 or s?
s
Suppose -w = x + 1, -10 = -5*x + 3*w + 1. Let k be (31/(186/72))/(-2). Let h be (x - k)/((-2)/4). Is h greater than or equal to -12?
False
Let h = 1729 - -3861. Which is smaller: h or 5592?
h
Let h(u) = -u**2 - 8*u + 11. Let a be h(-9). Suppose 0 = -4*p + 4 + 12, 4*n - a*p - 496 = 0. Suppose 9*g - 3*g - n = 0. Which is smaller: 20 or g?
20
Let b be (-1 - -562) + (-6 - 33)/13. Let f = 3347/6 - b. Are 2/29 and f non-equal?
True
Let z(g) = g**3 - 5*g**2 - 4*g + 16. Let f be z(6). Suppose 23*d + 5111 = f. Is -221 less than or equal to d?
True
Suppose -650 - 601 = 3*u. Let l be (-1)/(-4) - u/(-1572). Suppose -11*w + 0*w = -20*w - 23*w. Do w and l have the same value?
False
Let r be (-466*(-12)/(-48))/(37/(-142)). Let k = r + -447. Is k smaller than -1?
False
Suppose -16 = -9*w - 169. Suppose 1030 = b + 1047. Are w and b equal?
True
Let n(w) = -w. Let q(s) = -7*s - 21. Let k(r) = -4*n(r) + q(r). Let c be k(-19). Suppose 42*y = c*y. Which is bigger: -1 or y?
y
Let a = -37.2 - -35.9. Let r = -1.2 - a. Are 2/117 and r equal?
False
Let u = -0.02845 - -0.08845. Which is smaller: -1.23 or u?
-1.23
Let p = 12295 - 18565. Is p >= -6272?
True
Let f = -0.573 - 342.427. Let g = f + 242. Which is greater: g or 0?
0
Let u be (-36)/(-95136) - -3 - 3. Which is bigger: -1 or u?
u
Let f = 7989 - 8043. Let y(l) = l**3 - 11*l**2 + 4*l + 4. Let a be y(10). Are a and f equal?
False
Let v be (-3)/(-8) - 18/192*1252. Let f = 109 + v. Suppose -5*y - 20 = 5*q, -3*y - 24 + 0 = -q. Which is smaller: f or y?
f
Let y be 837/63 - 1 - 2/7. Let d be (-59)/(((-4)/y)/(5/15)). Which is bigger: 231/4 or d?
d
Let i = 20.446 - 19.5. Let z = i - -0.054. Let h = z + -1.23. Which is greater: -2/7 or h?
h
Suppose 37*w = 31*w + 66. Which is smaller: w or 6?
6
Suppose -5*n - 146 = 4*f - 301, 4*f - 5*n - 85 = 0. Is f > 36?
False
Let y = -26859/20 + 1344. Suppose -x - 26 = -28. Which is greater: y or x?
x
Let s = -80 - -73. Let y be (-80)/140 + (0 - 18/s). Let a(k) = -k**3 + k**2 + 2*k - 1. Let i be a(y). Which i