
Let f = 10149 - 9489317/935. Suppose 4*z + 2*v + 2 = 0, v - 4 = 3*z - 0*v. Which is bigger: z or f?
f
Suppose 2*w + 2 = -38. Let z = -10 - w. Let x = 155 - 156. Is z less than or equal to x?
False
Let i = -1211 - -1241. Let u be (8/6)/(i/(-585)*-26). Let h be (20/(-222))/(4/6). Is h at most as big as u?
True
Let u be ((-3)/(-21))/(-6 - 35/189*-33). Which is greater: 0 or u?
u
Let c = -141 - -145. Let v be c/44 - (-860)/(-22). Does -39 = v?
True
Let x be 53 + 3 + 2/(-1). Let f be 4/4 + -21 + -5. Let h be 220/(-50)*f/2. Is h < x?
False
Let d = 108 - 99. Suppose -156 = -d*o + 7*o. Let a = o - 78. Which is smaller: 2/21 or a?
a
Let s be 8/(-2)*3/16*6/18. Which is greater: -0.0291 or s?
-0.0291
Let j(g) = -g - 6. Let q be j(-7). Suppose 21*z - 48 = 2*n + 20*z, -2*n - 56 = -3*z. Let t be (-3 - -17)*((-3)/n)/3. Which is greater: t or q?
q
Let w(u) = 6*u**2 + 6*u - 168. Let m be w(-7). Which is smaller: m or 90?
m
Let h(t) = -9*t + 86. Let g be h(10). Let c be (6/8)/(17/g - -4). Is -28/13 <= c?
False
Suppose -14 - 16 = -3*x. Suppose 6 - 28 = -3*u + 5*a, 5*u + a = -x. Let p be 2/(u/(-21)*6). Which is bigger: 3 or p?
p
Suppose 0 = 2*y, 3*j + 4*y - y = 0. Suppose j = -2*a + 5 - 1. Let h be 67*(a/(-6) + 0) - -3. Does h = -20?
False
Suppose 26*i = -3 - 23. Let w be (-6 + 0)*14/28. Let g be (w/(-6))/(44/(-56)). Are g and i equal?
False
Let p = 6278 + -6326. Which is smaller: p or -47?
p
Let m = 844 - 582. Is m at least as big as -7?
True
Let z be (-2)/(24/143058)*2/29. Let y = z + 822. Is y greater than or equal to 1?
False
Let i = -0.043 - -22.043. Let r = 141.4 - 141. Which is bigger: r or i?
i
Let t = -7/4329 + -1402463/82251. Is -18 smaller than t?
True
Let f = 35 + -23. Let r be 25 - (-26 + (13 - -18)). Is f at least r?
False
Let q be (-62)/9 + (-1)/9. Let x be q/4 + 1/(-4). Let c(b) = b**3 + 4*b**2 + 2*b - 4. Let w be c(x). Which is greater: w or 0.2?
0.2
Suppose -2*q = 3*q + 4*j - 115, 0 = 4*q - 5*j - 133. Suppose 5*x = 14*x - q. Suppose -x*r - 5*r = 72. Which is bigger: -26/3 or r?
-26/3
Let t = 6505 - 6505. Which is smaller: t or 1/16805?
t
Let k = 762 - 125731/165. Suppose 0 = 67*t - 7655 - 62829. Let i = -1051 + t. Which is greater: i or k?
i
Suppose -3 = -3*s + k, 0 = 6*s - 7*s - 4*k + 1. Is s > 1.22?
False
Let v = 373/12 + -31. Let d be -3 - (-21 - (7 + -8)). Suppose -43 = -26*r - d*r. Do v and r have the same value?
False
Let o = -3453 - -3544. Which is smaller: o or 88?
88
Let i(r) = 46*r**2 + 2*r + 127. Let s be i(-8). Which is bigger: s or -1?
s
Let h = -27773099702/12079 - -2299288. Let t = h + -12/257. Suppose 0*g = -4*g - g. Which is smaller: g or t?
t
Let c(q) = 7*q - 48. Let g be c(7). Let r(n) = n**3 - n**2 - 2*n - 2. Let f be r(3). Suppose 10 = -5*z + 5*l, -5*z = -0*l - 3*l + f. Which is smaller: z or g?
z
Let m be (0 - -3) + 3775/(-3770)*-1510. Let s = 1515 - m. Is s > 0?
False
Suppose -5*h + 1705 = -5*v, h + 14*v - 11*v - 329 = 0. Let q = h + -339. Let b = -162 - -270. Which is greater: q or b?
b
Let b(v) = v**2 - 22*v - 75. Let g be b(-3). Which is smaller: g or 5/1047?
g
Let k = 89058 - 790478809/8876. Is 0 > k?
True
Suppose v - 172*b + 175*b = 19, 2*v + 3*b - 47 = 0. Which is smaller: 60 or v?
v
Let n = 1.03 - -14.97. Let z = 0 - -2.5. Let r = -3.5 + z. Do n and r have different values?
True
Let i be 3/((-42)/(-56))*(-3)/(-12). Is i at least -27/136?
True
Let m(l) = -l**2 + 3*l + 3. Let h be m(4). Let t = 1523 - 7588/5. Let g = 889/160 - t. Is g bigger than h?
True
Let d = -35.74 + 186.64. Let v = d - 151. Which is smaller: 1.93 or v?
v
Let f = -4062 - -4063. Which is smaller: 2/3157 or f?
2/3157
Let z(n) = -48*n + 240. Let w be z(5). Which is bigger: -763 or w?
w
Let x = -2.2 - 0.8. Let t = -3.1 - x. Let z = 34.10379 - 0.10379. Are t and z unequal?
True
Let j(y) = -y**2 - 29*y + 182. Let d be j(-36). Which is smaller: d or -79?
-79
Let z = -706 + 708.6. Which is bigger: z or 0.022?
z
Let j = -16/27 + -82/135. Suppose -2*u = -0*n + 2*n - 12, n - 2 = -2*u. Suppose b + 2*x - 2 + 4 = 0, x + n = -5*b. Is b bigger than j?
False
Let l be (-5 + ((-10)/(-3) - -3))/(58/90). Is 2 at most l?
True
Let w be (-183)/(-9) + -22 - ((-17975)/26958 - 1). Are 1 and w equal?
False
Let x(n) = n**2 + 7*n - 19. Let g be x(-10). Let j be 32/(-14)*(1050/12)/(-25). Are g and j non-equal?
True
Suppose 6*z - 2*x + 186 = 2*z, -3*z - 137 = -2*x. Is z equal to -77?
False
Let m be 10/((-8)/(-1) - 6). Suppose 49 = -3*i + d, -m*i - 3*d - 122 + 17 = 0. Is i at least -17?
False
Let i = 1689 + -1702. Is i greater than or equal to -10/103?
False
Let g(z) = 168*z - 16200. Let w be g(79). Is w less than -2925?
True
Let l(v) = -5*v**2. Let t be l(1). Let h be ((-2)/(-4))/(27/54)*-4. Let n be 5 - (-40)/h - 0. Is n >= t?
True
Let o(m) = -m**2 + 5*m - 2. Let k be o(3). Suppose -x = -2*h - 2*h + 10, -5*x - 18 = -k*h. Let b be 3 - (x/(-1) - 25). Are b and 27 nonequal?
True
Let a = 126086109/2087 + -60415. Which is smaller: 0 or a?
0
Let i = -483 - -481. Let b be 3/(45/(-10))*(5 + i). Let w = -254/117 + -5/13. Is w smaller than b?
True
Let g = 5 + -4.15. Let w = 0.82 - g. Let j = -0.05 - w. Is -1/4 at least as big as j?
False
Let t = -35318171/97128 + 1/48564. Is -364 greater than t?
False
Let p = 107691/952 - -3/136. Which is bigger: 112 or p?
p
Let k = -279499 + 279499. Let o be ((-313)/(-156))/(-1) - -2. Does o = k?
False
Let f = 4352.1 - 4352. Which is smaller: f or -68.6?
-68.6
Let m = -5088.4145 - -5088. Is m less than 3?
True
Suppose -5 = -p - 4*o, -2*p + 6*o - 2*o - 2 = 0. Let d be (4/4 - p)*(-4)/(-20). Let g = 21873/17 - 1287. Which is greater: g or d?
d
Let p = 14 + -2. Suppose 0 = p*s + 6*s - 18. Which is bigger: s or -1/130?
s
Let f = -13.3 + 177.3. Let y = -110 + f. Let k = 53 - y. Which is greater: 0.03 or k?
0.03
Suppose -4*z + 466 = -3*b, z - 10 = 5*b + 98. Let p = z - 115. Which is greater: p or 7/4?
p
Let u = 133 - -175. Which is greater: u or -0.4?
u
Let s = -10 - -11. Let u(l) = 3*l**2 + 48 - 3*l**3 - 2*l - 46 - 3*l**2. Let b be u(s). Which is smaller: b or -2?
b
Suppose 86*z - 42*z - 59*z = -105. Is z less than or equal to -254?
False
Suppose -1647 = 9*c - 6*c - 3*t, -3*c + 2*t = 1646. Let d be 21/(-84) + (-153)/c. Is d bigger than 0?
True
Let h = -15 + 15.1. Let w = -93 - -143. Let m = w + -18. Is m >= h?
True
Let z = -42359 - -12812. Let k be z/(-189) + 4/(-3). Is k greater than 623/4?
False
Let q = -27 + 29. Suppose -3*m - 50 = -5*n + q*m, 10 = 5*n + 5*m. Let a(r) = r**2 - 7*r - 9. Let x be a(n). Which is greater: x or -14?
-14
Suppose 2*i + 3*i - 32 = 2*v, -4*i + 34 = -3*v. Suppose 5*a + 42 + 24 = 4*r, r - 12 = -a. Let c be 88/22 - 146/r. Which is smaller: v or c?
c
Let p = 0.2 - 0.1. Let m = 4/947 - 1344752/2841. Let g = m - -465. Is p at least g?
True
Let i = -0.3272 + 0.2272. Which is smaller: i or 35.7?
i
Suppose -5*j + 955 = -5*w, -4*w + 5 = 13. Suppose -j - 573 = 3*i. Is -253 less than i?
False
Let s = 7058893/273 - 25857. Which is smaller: 1 or s?
s
Let g(x) = 4*x + 7. Let v be g(-3). Let p(y) = -y**3 - 4*y**2 + 4*y - 3. Let a be p(v). Suppose -l + o + 1 = 0, -5*o = -l - a*o - 1. Which is smaller: l or 4?
l
Suppose 44 = -t - 0*t. Suppose -16*a + 269 - 701 = 0. Let z = t - a. Is -17 bigger than z?
False
Let v = 3 + -4. Suppose -f + g = -10, g = f - 5*f + 30. Let z be f/(-6)*(-3 + 1176/400). Which is smaller: z or v?
v
Let z = -9.912 - 3.088. Is 130 >= z?
True
Suppose -71*g + 78*g = 0. Suppose p = 4*m + 18, -5*p + g*m - 5*m = 35. Is p < -2?
False
Let t be (4/(-10))/(((-80)/25 - -2)/2). Which is smaller: t or 4801?
t
Let o = 93 + -33. Let n be ((-1)/7 + 1)/(11/770). Are o and n nonequal?
False
Let m be 195/(-780)*8/(-18). Is -2/105 not equal to m?
True
Let o = 977.1 - 1164. Let s = -187 - o. Is s != -19.8?
True
Let l(q) = q**3 + 3*q**2 + 5*q. Let w be (-6)/54*29 + 2/9. Let j be l(w). Is -17 < j?
True
Suppose -59 - 11 = 2*z - 4*x, -102 = 3*z - 3*x. Let y be ((33/12)/1)/(14/168). Let d = z + y. Which is smaller: 2/133 or d?
d
Suppose 4 = -u + 2*a, -4*u - 5 = 3*a - 0. Is 38 equal to u?
False
Let c be (-20)/9*777/(-5). Let t = c - 346. Which is smaller: 19 or t?
t
Let n be 1/3*(-2 - -4). Let w = 1915 + -1111. Let m = -795 + w. Which is smaller: n or m?
n
Suppose x - 3*v - 8 = 0, -4*v = 2*x - 0*x - 16. Suppose x*w - 38 = 10. Are 0 and w non-equal