is bigger: o or w?
o
Suppose 184 = 2*m + w, 2*w + 97 + 99 = 2*m. Is 96 > m?
True
Let g = 596.1274 - 0.1274. Let v = -596 + g. Is 465 less than or equal to v?
False
Let r be (6/21)/((-6)/(-1)). Let d = -682 + 681. Which is bigger: r or d?
r
Let t = -0.082 - -0.91. Let z = t + 0.172. Let j = -10 + -55. Which is smaller: z or j?
j
Suppose 45 - 24 = d. Suppose 0 = -18*a - 75 + d. Is -23/15 greater than or equal to a?
True
Let w(s) = -198*s - 6. Let y be w(-2). Suppose -4*u - u = 5*v - y, 4*v = 12. Is 74 at most u?
True
Suppose 2*p - c + 11450 = 0, p - 34*c = -35*c - 5737. Which is bigger: p or -5731?
p
Let l = -0.06 + 0.07. Let g = 1.65 - -71.35. Let m = 72.9 - g. Which is bigger: l or m?
l
Let c = -15 + 9. Let w = 12.436 + -9.436. Which is smaller: c or w?
c
Let m = 29636/256197 - 16/141. Is 0 > m?
False
Let q = -3359272 + 127642721/38. Suppose -p - 108 - 142 = i, 1009 = -4*p - i. Let f = q - p. Is f equal to 0?
False
Let u(f) = -11*f - 37. Let b be u(-22). Suppose -2*p - p = -2*d + b, -2*d = -2*p - 202. Let r be (2/(-3))/(d/63). Which is smaller: -1 or r?
-1
Let v = -44.43 - -0.43. Let m = 47.7 + v. Let b = m - -4.4. Which is smaller: b or -1?
-1
Suppose -50*g - 5103 = -59*g. Which is smaller: 566 or g?
566
Let d = -24 + 29. Suppose -2*c = z - d*z + 16, 5*z - 17 = 2*c. Let v be (-4)/(8/c)*2/(-9). Is -0.5 != v?
True
Let u(f) = f**2 + 2*f + 1. Let c be u(-1). Suppose -63 = -3*t - c*t. Let j = 41 - t. Is j at most as big as 20?
True
Let i be 1*931/(-2) - (-1)/2. Let b be 6/8 + i/12 + 1. Let g = 6.35 - 6.45. Which is smaller: g or b?
b
Let b(p) = 520*p**2 - 18*p - 11. Let h be b(-2). Is h at least 2105?
True
Let y(w) = -5*w**2 - 33*w + 15. Let k be y(-7). Let v = 408.1 - -35.9. Which is greater: v or k?
v
Let i = 5.15 - 3.4. Let r = i + -1.85. Is 0.076 greater than r?
True
Let s = 9 + -5. Let l = -11320/11 - -271669/264. Is s greater than l?
True
Let d = -9.2 + 30.2. Let c = -457 + 454.53. Let g = c + -0.53. Are d and g unequal?
True
Let y be 364/(-60) + 9/135. Which is greater: y or -157/28?
-157/28
Let v be 0/(15/10*(-8)/12). Let c be (8/(-28))/((-36)/12089). Let p = -96 + c. Is v at least p?
True
Let y(o) = -o**3 + 26*o**2 + 193*o - 31. Let v be y(32). Suppose -2*k + z = -z + 736, 5*k + 2*z + 1826 = 0. Let j be 1/3 - (-134)/k. Which is smaller: v or j?
j
Let l be 50*(-7)/(35/2). Let r = 18 + l. Let d be 12/2 - (0 + (r - -3)). Is 6 greater than d?
True
Suppose -h - 18 = 5*i, 0*h - 2*i = h + 6. Suppose -2*n + 11 + 0 = g, -n - 27 = -h*g. Which is smaller: g or 62/5?
62/5
Let p = 4065 - 4669. Is p equal to -1808/3?
False
Let b = 2 + -165. Suppose -4*r = -2*u - 348, -2*u - 5*r = 30 + 273. Which is smaller: b or u?
u
Let s = -147.8 + -443.2. Let i = 577 + s. Let h = 4 + -3. Is i at least h?
False
Let w = -148 + 76. Let s = -164 - -246. Let v = w + s. Is v not equal to 0?
True
Let w = 140 + -40. Let p = -87 + w. Which is greater: 0.2 or p?
p
Suppose 4*u + 3*v - 140 = 0, 2*u + 2*v - 111 = -39. Let w be (u/(-120))/(3/30) + 3. Is -10/3 >= w?
False
Suppose -5 + 3 = -2*u, 2*x = 2*u + 18. Suppose x*o - 11*o = 0. Suppose 20 = -4*l - o*l. Which is greater: l or -4?
-4
Let v = 406 + -8524/21. Let d = -9 + -7. Let p = 15 + d. Is p smaller than v?
True
Suppose -4*v + 2667 + 1029 = -4*x, -x = 3*v + 940. Let q = -948 - x. Is -22 < q?
True
Let q = -0.07499 + 155.07499. Which is smaller: 0.11 or q?
0.11
Suppose -2*d = 3*d - 100. Let q = -409 + 412. Suppose -q*l = 4*l - 140. Is d smaller than l?
False
Let m = -72.9 + 72.8. Let j = -19.12 - -20. Let v = -0.12 - j. Which is bigger: v or m?
m
Let m(h) = -5*h + 59. Let v(g) = -5*g + 60. Let q(p) = 3*m(p) - 4*v(p). Let l be q(3). Is l at least -42?
False
Let q(k) = -168*k - 2352. Let c be q(-14). Let y be (6/4)/(-3 + (-852)/(-16)). Which is bigger: c or y?
y
Suppose 5*a - a - 40 = -4*h, -4*a = -4*h - 8. Let z = -17 + 20. Suppose z*p = -2*t + 3, 5*p = 2*t + a - 1. Is p != -3/26?
True
Suppose -20*y + 38 = -13 - 29. Let i(b) = b. Let h be i(5). Suppose 2*p + 2 = -h*w - p, 5*w = -p - y. Which is smaller: 1/6 or w?
w
Suppose 3*r + 4 - 1 = 3*t, 5*r = 2*t + 1. Let y be ((-70)/3 - (-7 - -8)) + r. Which is smaller: -24 or y?
-24
Let s be (-8)/(-2) - (-11)/(330/(-392)). Let z = s - -2447/270. Is z > 1?
False
Let j = -3.1331 - 14.7669. Which is bigger: 19 or j?
19
Let b(v) = 2*v**2 + 224*v + 1884. Let d be b(-94). Is d <= -1498?
True
Let b be 2840/(-12)*((-712)/(-32) + -8). Which is greater: -3374 or b?
b
Let m(t) = 14*t + 50. Let j be m(7). Let q = j - 91. Is 0 <= q?
True
Let w = 29/564 - 85/282. Which is bigger: w or -616/13?
w
Let x(u) = 3*u**2 - 1. Let g be x(1). Let c be (14 + -11)/(3/4*g). Let d be (c/10)/((-22)/4). Does d = -1/3?
False
Let l be 1650/(-70) + 24 - ((-164)/(-7) + -2). Is 71 smaller than l?
False
Suppose -2*u + 45 = 3*a + 125, -47 = 2*a - 5*u. Let v(t) = 76*t + 652. Let o(s) = 19*s + 163. Let c(b) = 9*o(b) - 2*v(b). Let h be c(-10). Is a < h?
False
Let l be (3 + 1128/36)*-3. Which is smaller: -113 or l?
-113
Let y be (-2)/(-3) + (-52)/(-12). Suppose -7*k + 3*k = y*l + 11, -15 = 5*l. Let j be (-72)/(-16) - 2*k/4. Is -1 at least as big as j?
False
Let w = -988 - -993. Let n = 49 + -81. Which is smaller: w or n?
n
Let g be (-5)/(-4)*(-409006)/14469. Let m = -1/742 - g. Is m >= 34?
True
Suppose -63 - 1 = 16*i. Let w = 21 - i. Which is smaller: 20 or w?
20
Let k be (-24)/(-2) + 1 + -3. Let x(f) = 5*f**2 + 14*f - 3. Let n(d) = d**2 + d. Let q(z) = -4*n(z) + x(z). Let h be q(-11). Which is smaller: k or h?
h
Let x = -2270 - -2326. Which is smaller: 50 or x?
50
Suppose 9 = -4*i - 7. Let g be -42*4/(-16 - i). Which is greater: 17 or g?
17
Let v = 437 - -150. Let c = v - 586. Is -112 smaller than c?
True
Let f = 1629 - 2046. Is -1 bigger than f?
True
Let h(x) = -2*x**2 + 30*x - 19. Let p be h(14). Suppose -45 = -14*b + p*b. Suppose -2*c + c = -4*f - b, f + 6 = c. Which is smaller: f or -8?
-8
Suppose -42*s = 79*s - 18997. Let v be (-1)/(-2) + (-3479)/(-22). Let x = s - v. Do -3 and x have different values?
True
Let a be -14 - (-2 - (-5343)/(-14)). Is a at most 370?
True
Suppose 2*b + 5*n - 193 = 0, -3*n - 25 = -8*n. Let o be 26/b + 14/(-42). Which is greater: o or 4?
4
Suppose 5*m - 2*c + 675 = 0, -3*c = -4*m - 5*c - 522. Let f = -142 - m. Which is greater: f or -11?
f
Let z(d) = -d**2 - 15*d - 28. Let s be z(-9). Suppose -18*h + 19*h + 3*a = 16, -h - 5*a = -s. Let b be -1 - -14*(-1)/(-11). Is b greater than or equal to h?
False
Suppose 31*u + 240 = 36*u. Suppose 0 = -j + 3*o - 3, 4*j - 2*o + 20 - u = 0. Let y be (-1)/(-2)*(-61 - j). Which is smaller: -34 or y?
y
Let d be 28 + (-2 - 4) + 10/2. Let u be 2/18*3*d. Is u > 4?
True
Let i = 92 + -136. Let s = 61 + i. Suppose -s*r = -15*r - 22. Are 53/5 and r non-equal?
True
Let c be (2/6)/((-16)/(-140)*(-35623)/(-126)). Does 1 = c?
False
Let c(l) be the second derivative of 5*l**3/6 - l**2/2 + 36*l. Let j = -3 + 11. Let p be c(j). Is p at least 39?
True
Let n = -0.3433 - 0.0103. Let d = -4.2596 - n. Let q = d + -0.094. Which is bigger: 0.2 or q?
0.2
Let s be 0/(18 + -10 + -9). Which is greater: 2/34771 or s?
2/34771
Let w be 2761/165*(19 + 2) + 1. Let m = 352 - w. Is 0.1 <= m?
False
Let d = -3.87 - -0.87. Let r = -933 + 907.05. Let x = 26 + r. Is x equal to d?
False
Suppose 5*g - 2*g + 3*h = 6, 0 = -5*g - 2*h + 13. Let q be (g/(-14))/((-6)/(-8)). Let p be (2 + -1)*(1 + 8 - 9). Which is greater: q or p?
p
Let f = 1692 + -1692. Which is bigger: f or 500/7?
500/7
Suppose -137*u = 4*u + 67*u - 15*u. Which is greater: -5/1297 or u?
u
Suppose 0 = 5*d + 5*c + 835, 3*c = -d + 4*d + 543. Which is smaller: -345/2 or d?
d
Let x(t) = 7*t - 103. Let b be x(24). Suppose -25 - b = -9*q. Is 16 greater than q?
True
Suppose 2*x = 7*t + 9, t - 13 = -34*x + 35*x. Are 32 and x non-equal?
True
Let y = 3541.2 + -3541. Which is bigger: -0.3664 or y?
y
Suppose h - 5*m + 28 = 0, 0 = 8*h + 10*m - 9*m - 22. Are 128/155 and h unequal?
True
Suppose 3*g = 0, j - g + 2*g - 40 = 0. Suppose -5*q + j = 30. Let x(z) = z**3 - 2*z**2 + 2. Let i be x(q). Is -2 <= i?
True
Let n = 10259/3 - 7950716/2325. Which is bigger: n or 1?
1
Let c be (-6)/9 - ((-248)/(-140) + -3). Let g = 5/21 + c. Is 25 at least as big as g?
True
Let p(x) = 3*x + 67. Let n(a) = -3*a - 68. Let q(z) = -3*n(z) - 2*p(z). Let t be q(-12). Let m(r)