*w - 0*a. Is w greater than l?
False
Let l = 29047 - 13666. Let n = 15488.09 - l. Let y = n - 107. Is -1/5 less than y?
True
Suppose -g - 2020 = -3*t, -3*g = -2*t + 3*t + 6010. Are g and -2007 equal?
False
Let q(r) = -40*r + 430. Let b be q(-34). Which is bigger: b or 3581/2?
3581/2
Suppose 0*y - 104 = -4*q + 5*y, 85 = 5*q + 5*y. Suppose -i = q - 19. Which is greater: i or -18/7?
i
Let u be 19 - 10 - (-102)/(-6). Which is smaller: u or -516/79?
u
Let z = -1447 - -18829/13. Let o = 176 + -180. Let q be -1*(4 + o)/(-1). Are q and z equal?
False
Suppose 16*t - 72 = 13*t. Suppose -f - t = -0*z + 4*z, 2*f = -z - 6. Let r = -3 - 3. Are r and z equal?
True
Suppose 0 = 29*t - 27065 - 31573. Is t equal to 2022?
True
Suppose 3 = -3*h + 3*y - 6, -h = 3*y - 9. Suppose t = 5*d - 4 + 8, h = -3*t - d + 28. Suppose -t*c = -10 + 1. Which is bigger: 0.04 or c?
c
Let b be (-198)/(-60) - ((-2)/16 + (-204)/(-480)). Which is smaller: -551 or b?
-551
Let p(k) = -k**3 + 16*k**2 - 17*k + 43. Let y be p(15). Suppose y*i - 3*v = 16*i + 303, -4*v + 296 = -3*i. Which is greater: i or -102?
i
Let z = 0.1 - 0. Let a be 17 - (-8 - (-66 + -14)). Is a greater than z?
False
Let f(p) = p**3 + 17*p**2 - 41*p - 55. Let m be f(-19). Suppose -m*b - 592 = -4*n, -7*b + 4*b + 4*n = 886. Is b greater than or equal to -1?
False
Let f be ((216/(-14))/2)/((-6)/56). Let b = f - 293/4. Is b > 1?
False
Suppose 5*h + o + 299 = 0, -o - 3*o = -h - 43. Suppose 4*g = -g + 25, 2*m = 4*g - 194. Let u = h - m. Is 27 smaller than u?
True
Let t be (4636/(-133))/(1/(-7)). Let f = t + -246. Which is smaller: f or -9/16?
f
Let s = 97711 - 97691. Let r = -18 - -32. Which is smaller: r or s?
r
Let b = 3.5539 + -2.9449. Which is smaller: b or 1?
b
Suppose 12*j - 405 = 7*j. Let z = j - 75. Let i be z*6/8*1/(-6). Which is greater: -1 or i?
i
Let w = 1377.1764 - -0.8236. Which is smaller: w or 3?
3
Let s = -0.05266 + 0.05266. Is 2279 < s?
False
Suppose -283*s + 700 = -273*s. Which is greater: 83 or s?
83
Let c = 1079367/31 - 34814. Which is smaller: 3 or c?
3
Suppose 74062 = 4*t - 2*y, -t + 158*y = 155*y - 18528. Which is bigger: t or 18514?
18514
Suppose -90 + 32 = 19*j - 39. Which is smaller: -1/4342 or j?
j
Let h be 3/((-66)/4) - (-5 + (-120)/(-22)). Which is bigger: h or 0?
0
Let m(n) = 16*n**2 + 323*n + 26. Let r be m(-20). Which is smaller: -1 or r?
r
Let k(r) = 3*r - 5. Suppose -2*n = -15*l + 14*l + 5, -9 = 3*n. Let b be k(l). Which is greater: -26/3 or b?
b
Let i be (-3 - 128/(-40))*5. Which is smaller: i or -10/1953?
-10/1953
Let i be (-2)/10 - (-106)/630. Let j = -28.68 + -4.42. Let x = j + 33. Is x greater than i?
False
Suppose -7*d - 112 = -28. Let q be (3 - -1)/(d/24). Let n = -53 + 160/3. Are n and q equal?
False
Suppose 5*i = a + 57, 2*i + 4*a + 0*a - 36 = 0. Let h be (i/(-36))/((-236)/(-18)). Which is smaller: h or 1?
h
Suppose 5*i + 161 = -4*w, 189*w - 185*w = 2*i - 154. Which is greater: -8 or w?
-8
Let k be 6*(-117 + 138)*5/9. Let r be ((-2)/4)/((-1)/134). Which is greater: k or r?
k
Let d(x) = 4*x**2 + 7*x + 4. Let w be d(-4). Suppose 17*j - w = 13*j. Suppose 0 = -j*q + 9*q + 19. Is 19 bigger than q?
False
Let i = -252406/5 + 50307. Is -173 < i?
False
Let g be 64/(-26268)*(8 + 102/(-24)). Which is smaller: -1 or g?
-1
Let m(c) = -1474*c + 4375. Let z be m(14). Are z and -16261 equal?
True
Let q = -4.772 - -4.879. Let t = 0.8 + -0.847. Let y = q + t. Is y less than -0.2?
False
Let l = -85 + 59. Let t(w) = 4*w - 60 - 8*w + 3*w + 16. Let c be t(-18). Is c >= l?
True
Let g = -8 - -6. Let h = 85122 - 85122.15. Which is smaller: h or g?
g
Let u(h) = 2*h + 30. Let q be u(14). Let o = 31 - q. Let b be 3/2 + 114/(-4). Is o less than b?
False
Let c be (2 - 7) + (-16 - -2). Is c equal to -19?
True
Suppose -5*y + 25 = -2*i, 11 + 0 = -2*y + 5*i. Let d be y*1 - 1007/(-53). Are d and 29 equal?
False
Let i(v) = 28*v - 561. Let m be i(20). Which is smaller: -5/1236 or m?
m
Let n = -56 - -56. Suppose -3*m + l + 27 = n, -6*l + l = -3*m + 39. Suppose 4*w - 8*w = m. Does -8 = w?
False
Suppose 4*l - 76 = 3*d - 5*d, 3*l = 4*d - 207. Suppose -d*z = -54*z - 234. Which is bigger: -38 or z?
-38
Let l(v) = 20*v**2 - 21*v - 11. Let m be l(9). Let b be 6/14 - 0 - m/3304. Is b bigger than 0?
False
Let j = 86.9 - 933.9. Let o = 839 + j. Is o <= 0.2?
True
Let n(c) = c**3 - 9*c**2 + 18*c - 21. Let f be n(7). Suppose -f*r + 1023 + 615 = 0. Which is greater: 233 or r?
r
Suppose 670*k + 27 = 643*k. Let v be (-551)/(-522) + (-3)/1. Which is smaller: v or k?
v
Suppose 0 = -4*q + 283 - 291. Let h = 1/10 + -43/30. Are h and q equal?
False
Let o(l) = -l**3 - 3*l**2 + 5*l + 5. Let m be o(-4). Let i = 6488/19 - 629450/1843. Is i at least as big as m?
False
Let i be 10 + (3 + 2)*1. Suppose 3*d - i + 6 = 0. Suppose -8 = -2*o + d*c, 0 = 2*o + 2*o + c - 2. Is o smaller than -1?
False
Suppose 0 = -m - m + 2*b + 52482, -4*m - 2*b = -104970. Let n = m - 30361996/1157. Is -1 less than n?
True
Suppose 2*s + 40 = -2*s - 4*a, 0 = 3*s - 2*a + 25. Let r be -4 + 154/56 - s/4. Which is smaller: r or 0.43?
0.43
Let h be (7*1)/(4/(-8)). Suppose 35853 = 13*r - 70*r. Let l be (r/148)/(1/4 - 0). Does h = l?
False
Let l = 5557 - 5259. Is l > 291?
True
Let v = 196.4 + -198. Let r = 1.9 + v. Which is greater: 4 or r?
4
Let j be (6/(-6))/(1/(-3)). Let z(i) = -2*i - i - i + j*i. Let t be z(-1). Is t bigger than 2?
False
Let q = 7/341 - -5/31. Let s = -12.212 + 10.612. Which is smaller: s or q?
s
Let w(l) = 2*l**3 + 8*l**2 - 10*l + 5. Let s be w(-5). Suppose 0 = s*i - 3*k - 260, 4*i - 4*k - 201 = -3*k. Is i at least 45?
True
Let c = 21 + -8. Let b = c - -5. Let u be 1 + -1 - 8/b. Which is greater: u or 0?
0
Let t be ((-10)/(-15))/(2/(-6)). Let c = -35582/141 + 612/47. Let m = c + 237. Is m at least t?
False
Suppose r - 675 = -3*k, -28*k = -4*r - 33*k + 2721. Let j = r + -718. Which is bigger: -43 or j?
j
Let a be (-3)/(-1404)*77 - ((-960)/216)/(-20). Let x(i) = -i**2 - 6*i + 3. Let r be x(-6). Suppose 2*u = -4*b + 8, r*b + u - 8 = -u. Does a = b?
False
Let l(n) be the third derivative of -n**5/30 - 3*n**4/8 + 3*n**3 + 2*n**2 + 2*n. Let h be l(-6). Is h < -2/185?
False
Let t = 12159/40 - 304. Let k = 417.9 + -35.9. Let y = k + -384. Which is greater: t or y?
t
Let r = -13.9 + 14.8. Let l = r + -0.8. Which is smaller: -0.1 or l?
-0.1
Let h(z) = -3*z**2 - 149*z + 1. Let f be h(0). Are f and -20/357 non-equal?
True
Let n(s) = 2366*s**2 - 37*s - 42. Let v be n(-1). Which is greater: 2360 or v?
v
Let p = -37136 + 4939114/133. Which is smaller: -1 or p?
-1
Let q be (2/(-3))/((-6)/(-63)). Suppose 4*f + 9 = 209. Let u = f + -58. Which is greater: q or u?
q
Let w = 34.871 + 0.129. Let f = -11423/5 + 2285. Which is greater: f or w?
w
Let z be 12/(-8)*(84/(-9))/1. Let w = -12 + z. Let d(g) = g**3 - 2*g**2 + 2*g + 1. Let a be d(w). Is a at most as big as 3?
False
Let n = 4.112 + -3.712. Is n less than or equal to 1363?
True
Let c(k) = k**3 + 2*k**2 - 19*k - 11. Let d be c(-8). Let p(i) = -249*i**2 + i + 6. Let w be p(-1). Which is smaller: w or d?
w
Suppose 3*d - 1624 = 5*n - 355, 0 = 5*n - 2*d + 1271. Let m = -261 - n. Which is bigger: -50/9 or m?
-50/9
Let j = 17 - 23. Suppose 2*w - 5*u = 5*w + 19, 0 = -5*w + 4*u + 30. Let v be 3*j/(-9) - w. Is -1/3 less than or equal to v?
True
Suppose 18 = 7*a + 11. Let k be 73 - (a - (-2 - 0)). Suppose 10*i - k = -4*i. Is 5 at least i?
True
Suppose 2*j - 16 = 0, -8*j + 12*j = i + 8658. Which is smaller: -8625 or i?
i
Let i = -1.3 - -1. Let l = 224 - 224.0425. Let u = 0.0575 - l. Which is greater: i or u?
u
Let d(i) = -2*i**2 - 2*i + 16. Let o be d(0). Suppose 10 = -3*m + o. Suppose -5*c = m*v + 4, -5*c - 6 = 2*v + v. Which is greater: c or -1/8?
c
Let t be ((-558)/15)/(5*18/(-1125)). Suppose -4*c - 321 - 63 = 4*s, 5*c + 2*s + t = 0. Which is smaller: c or -92?
-92
Let h(d) = 10*d**2 - 678*d - 136. Let g be h(68). Is g equal to -16/1305?
False
Let k = 3946 - 2083. Let t be (-5562)/k - 1*-3. Which is greater: 0 or t?
t
Let m be ((-165)/543)/(6/36*-8). Let l = m + 4/181. Which is smaller: l or 1?
l
Let x = -73 - -29. Suppose 0*l = 9*l - 405. Let s = x + l. Do s and -0.13 have different values?
True
Let r = -0.1884 + 140.0984. Let a = r + -140. Which is bigger: -13 or a?
a
Let d(v) = 28*v + 144. Let b be d(-3). Let i = 178/3 - b. Whi