4*i - 304 = -0*i. Let m = i - -108. Which is bigger: m or o?
m
Let k = 2 + -44. Let i = -111 - k. Let w = -339/5 - i. Which is greater: 0 or w?
w
Let s(g) = 15 - 3*g + 6*g - 4*g - 12. Let t be s(15). Let v be -38*((-21)/t - 3/4). Is 1 at least v?
True
Let f(k) = 32*k + 17. Let p be f(-8). Let a = p + 117. Which is smaller: -121 or a?
a
Let d = 185 - 189. Let y be (6 + 28)/((-2)/d). Which is smaller: y or 67?
67
Let h = -708 + 717.017. Let x = h + -9. Let t = 0.077 - x. Is 2 equal to t?
False
Let l(t) = -t**2 - 5*t + 4. Let z be l(-5). Let p = -5659 - -5652. Let m be ((-2)/8)/(p/z). Is 3/8 equal to m?
False
Let x = -132415/26 - -5098. Which is bigger: 5 or x?
x
Suppose 0 = -b - 2*k + 50, b + 3*k + 75 = 2*b. Suppose 2*a = j - 168, 298 = -3*a - j + 46. Let i be -1*((-367)/6 - 14/a). Which is bigger: b or i?
i
Let g = 119121.133 + -119050. Let w = 0.133 - g. Let u = w - -70. Which is smaller: -1.1 or u?
-1.1
Let d = 2416/11 - 220. Let f = 43 + -36. Suppose -5*l = 4*l - f*l. Which is greater: l or d?
l
Suppose 19*x - 15*x - 4*m + 3612 = 0, 5*m - 919 = x. Which is smaller: x or -908?
-908
Let t = -167.3 - -167.2. Does 64/67 = t?
False
Let y = 130 - 128.58. Suppose -131*q + 130*q = 10*p - 12, 5 = 5*p. Is q < y?
False
Suppose -4*t = -0*t + 164. Let y = -8411 + 42053/5. Which is smaller: t or y?
t
Let o(q) = -q**2 - 2*q + 12. Let v be o(-5). Let j be ((-26)/39)/(1/v). Let d be (-4 - 204/(-6))*j/(-5). Which is smaller: -11 or d?
d
Let m = -3647815 + 244418746/67. Let s = -226 + m. Let g be -1*(45/5 - 8). Is g equal to s?
False
Suppose -20*k + 33 = -31*k + 44*k. Which is bigger: 68/69 or k?
k
Let b(u) = 3*u**2 - 17*u + 12. Let i be b(6). Suppose -4*h = -2*a + 18, -a - i = -4*a - 3*h. Let o be 1 + 2*(-87)/(-24). Which is greater: o or a?
o
Let x = -113.7 + -19.3. Let v = -92 - x. Let p = 44 - v. Is p bigger than 1/5?
True
Let a be 2 + (257/(-10))/(2369/184). Which is greater: 1 or a?
1
Let r be -140 + (-3 + 0 - -3). Suppose 143 = -9*p - n - 1133, -3*p + 5*n = 436. Which is bigger: p or r?
r
Let j be (-6 + 18)*((-57)/9 + 5 - -2). Are j and 176/21 unequal?
True
Let x be (10/6 + 41406/(-54))/(-2). Let w = 897 - 514. Let h = x - w. Is h greater than 1/2?
False
Let a be (-1 - (0 - 4))/((-66)/(-34166)). Is 1553 equal to a?
True
Let x = -306 - -306.2. Let f = 7.23 + -7.6. Which is smaller: x or f?
f
Let b be 8/(-12)*81/(-6). Suppose -22 = 13*f - b. Let r be f/(-2)*-2*11/(-1067). Which is bigger: -1 or r?
r
Let k = 3681 - 25769/7. Is 1/10585 greater than k?
True
Let j = -219 - -218. Let m(x) = 38*x + 35. Let a be m(j). Is a greater than or equal to -2.9?
False
Let v be (-2)/((-28)/((-12)/(-3))). Let j = -5108.52 + 5112. Is j > v?
True
Let i = 22.99 - 23.09. Which is smaller: -17.65 or i?
-17.65
Let d = 110 - -11. Let r(y) = -y**3 + 30*y**2 - 162*y - 13. Let a be r(6). Let f = a + d. Which is bigger: f or -2/15?
f
Let c = 112.3 + -149. Let l = 29 + c. Let z = 6.7 + l. Is z at most 23?
True
Let k be 54/(-11 + 8) + 8. Let r be -3 + (k + 0)/(2/56). Which is smaller: -282 or r?
r
Let h be 7267/731 + 10/(-1). Is 69 at most h?
False
Let q = -11.6 + 17. Let a = -874.4 - -873. Let i = q + a. Which is bigger: 3/2 or i?
i
Suppose 4*v - 7534352 = 5*c + 9319362, -2*v + 5*c + 8426852 = 0. Let m be 2/(-4) - v/26190. Let g = 807/5 + m. Which is greater: -1 or g?
g
Let c be (15410/184 - 41)/(6/224). Is 2/3 < c?
True
Let z = 1158 + -654. Let t = 513 - z. Is 3 greater than t?
False
Suppose -31*g + 34*g = -5*w + 68829, -g + 2*w + 22965 = 0. Which is bigger: g or -0.1?
g
Let u be 9*3/6*(-1)/(-114). Let g(c) = -3*c**3 - 7*c**2 - 5*c - 6. Let y be g(-2). Which is smaller: u or y?
y
Let g = -6 + 10. Suppose -12 = g*o - 8. Let j be (14/(-4))/(o/2). Is 6 != j?
True
Let x(v) = -2*v**2 - 45*v - 205. Let r be x(-7). Let u = 0.12 + -0.01. Is u greater than or equal to r?
False
Let y = -390 + 266. Let v be ((-10)/105)/(y/6)*-1. Are v and -1 equal?
False
Let h = -2791/294 + -1/147. Suppose -180*u + 5240 = -170*u. Let i = u - 533. Do i and h have different values?
True
Suppose -2*o + 2 - 4 = 0, -j + 2*o - 789 = 0. Let s = 792 + j. Is s bigger than 6/245?
True
Let w = 46 - 80. Let c = 34.22 + w. Let t = -0.16 - c. Is -1 >= t?
False
Let v = 98768/266341 + 2/2357. Let b = 5980/15481 - v. Let f = 1 + -2. Are f and b unequal?
True
Let a be 46/(-3)*(-5 + 114/12). Let f be (-19)/(-10) + a/46. Which is greater: 1 or f?
1
Let y = 2005.99 - 2006. Let k = 0.04 + -0.04. Is k > y?
True
Let z be 1/(-2 + 1) - (-82)/205. Is z at most 158/7?
True
Let v be -1 + -1 - (-66)/(-3). Suppose 360 = 2*j + 6*j. Suppose 4*s - 5*m + 35 = -j, -3*m - 12 = 0. Which is smaller: v or s?
s
Let g be (100/(-1830))/(2/33). Let u = -3563/366 - g. Let l(t) = -3*t**2 + 65*t - 99. Let a be l(20). Are u and a equal?
False
Suppose 6*h - 379 + 337 = 0. Let i be ((-38)/3 - -6) + h. Is -3 less than or equal to i?
True
Suppose 5*t - 2814 = -794. Let s = t - 12927/32. Let u(b) = 677*b + 10831. Let v be u(-16). Which is smaller: s or v?
v
Let a = 34 + -31. Let m = 1 - a. Let j be m/(-10) - (-2)/(-5). Is 1 at most as big as j?
False
Suppose -24*k - 43*k - 8520 = 4*k. Which is greater: -103 or k?
-103
Suppose 0*f + 3*f = -6. Let z be (-45)/(-25)*(-10)/f. Suppose 0 = -5*h - y - 1 - z, -3*h + 17 = -4*y. Which is bigger: 1/5 or h?
1/5
Let f(y) = -19*y**3 - y. Let j be f(1). Let s(b) = b**2 + 20*b + 8. Let a be s(j). Let c be (a + -9)*-8*2. Which is smaller: 63/4 or c?
63/4
Let n be 4 - 5/((-10)/6). Suppose -5*d + n*d = 0. Let b = 236 - 244. Which is greater: b or d?
d
Let n(b) = 3*b**3 + 88*b**2 + 475*b + 24. Let k be n(-6). Is -4568/15 bigger than k?
True
Suppose n - v = -260, 7*v = 2*n + 9*v + 508. Let z = n + 256. Is z at most 1/124?
True
Let h = 20971/61848 - 25/72. Is h less than -1?
False
Let j = -112 + 215. Suppose -j = 2*n - 157. Which is smaller: n or 31?
n
Suppose -7*n + 1463 = 154. Suppose 2*k - 6*k + 3*t = -n, 4*t = 12. Suppose 3*b = -5*c + 124, -c = 4*b + 4*c - 172. Is k greater than or equal to b?
True
Let l = -0.0028 - 0.2702. Let n = 0.073 + l. Which is smaller: -1/17 or n?
n
Let t = 504 + -503.9297. Let j = t - -0.1297. Let x(c) = c**2 + 9. Let l be x(0). Which is bigger: l or j?
l
Suppose 35*i - 39*i = -20. Let v be (-2 - 8712/(-4345))*i/(-8). Is 0 less than or equal to v?
False
Let d(r) = r**2 - 12*r - 11. Let m be d(8). Let s = -36 - m. Let p be (-2)/5*3*-5. Which is smaller: s or p?
p
Suppose -5*s = 5*x - 5, 5*x + 8 + 3 = 3*s. Suppose s = -d + 4*f - 10, -d - f = 37. Which is smaller: d or -37?
-37
Let f(u) be the first derivative of -u**2 - 9*u + 47. Let r be f(-4). Let h be 7/13 - (3 + -2). Which is smaller: r or h?
r
Let z = -300 - -300. Let n be (102/(-9) + z/(-5))/6. Is n > -2?
True
Let b be (2/(-3))/(2/8). Let n(d) = -13*d + 61. Let p = 132 + -127. Let t be n(p). Which is smaller: b or t?
t
Suppose 15 = -44*j - 29. Which is greater: 6/2407 or j?
6/2407
Let l = -1149/2450 + 22/49. Suppose -9*b + 20*b = 0. Do b and l have the same value?
False
Let o(b) = 8*b**2 - 76*b - 13. Let q be o(12). Is 227 not equal to q?
False
Let c(b) = b**2 - 60*b - 66. Let z be c(61). Which is bigger: -498 or z?
z
Let u = 37.2 - 261.2. Let g = 208 + u. Are 1 and g non-equal?
True
Let g = -12340 - -8222. Which is bigger: -4117 or g?
-4117
Let a(l) = l + 5. Let q be a(-5). Let b be -4 + -4 - (5 - 10060/772). Is q smaller than b?
True
Let p = 3 + -2.9. Let f = 0 + p. Suppose -m = 5*m + 132. Are m and f unequal?
True
Suppose -60*c = -59*c - 1. Suppose -5 = 2*y + 5*d, 3*y - 3 - c = 4*d. Which is smaller: 1/253 or y?
y
Suppose 96*f - 13639 = 281. Is f at least 718/5?
True
Let a = -16204 - -7891. Which is smaller: -16623/2 or a?
a
Let j = -1302.94 + 1323. Let m = j - 20. Let d = 1.06 - m. Is 13 equal to d?
False
Let b be (-7)/5 - ((-276692)/(-14118) + -21). Is -1 less than b?
True
Suppose -613 - 891 = -6*v - 2*v. Is v != -16?
True
Let s = -0.3447 - -496.3447. Which is bigger: s or -0.1?
s
Let i = 221/245 - 54/49. Are i and -6 unequal?
True
Suppose 3*s - 20 - 43 = 0. Suppose 3*d + 5*j - 15 = 0, -d + 2*j = d + 6. Suppose -90 = -4*i + 3*y, d = -i - 2*y - 5 + 22. Is s greater than i?
False
Let z(h) = -19*h - 2. Let a be z(-6). Suppose -2*j = 16, 0 = 947*o - 950*o - j + 328. Is o at most a?
True
Let o be (7 + -12)/(-2 + 1). Suppose -2*l + 12 = -4*m, o*l +