(5/(-456))/(-5)). Let l be ((-9)/s)/((-30)/(-16)). Is l < 0?
False
Suppose 0 = 45*k - 4576 - 4604. Which is bigger: -1 or k?
k
Suppose -5*b - m = 2*m - 31, -3*m - 33 = -3*b. Let v be (b/(-10))/4 + 8/(-10). Which is bigger: 0.5 or v?
0.5
Let p(b) = 14. Let v(i) = -i. Let x(g) = -p(g) + 3*v(g). Let h be x(-5). Let n = -1 + h. Which is smaller: 3/55 or n?
n
Let l be 1994*((-60)/18872)/(-15). Let c = -2/337 - l. Is c < 1?
True
Let p be 25491/82070 + (-12)/40. Which is bigger: p or 1?
1
Let o(c) = -592*c + 2470. Let z be o(4). Which is smaller: z or 3/26?
3/26
Let h be (8 - (-64)/(-8))/(3 + 2). Suppose -5*w - k = -0*w - 3361, 3*w + 5*k - 1999 = h. Is 673 greater than w?
False
Let b(l) = l + 2. Suppose -5*v + 2*v = 3*t - 3, 0 = -4*t + 5*v - 14. Let m be b(t). Let s be (-4 - m) + 7 + (-22)/6. Is s at least -3?
True
Let o = -626 - -639. Suppose -o*v = -37*v. Which is bigger: 1/55 or v?
1/55
Let k(b) = -b**3 - 5*b**2 - 2*b - 5. Let n be k(-5). Suppose 2*w = v - 15, -5 = -5*w - n*v - 50. Is w < 2/7?
True
Let n = 46332 + -3613957/78. Which is smaller: -1 or n?
-1
Let b be 100778/46524 + (-24 - -17). Let k = b - -2/3877. Do k and -6 have the same value?
False
Let n be -5153*((28/4 - 9) + 3 - 0). Which is greater: -5154 or n?
n
Let y = 5232 - 5233. Which is smaller: -11/896 or y?
y
Suppose -77*x = -76*x - 19. Suppose 108 = 23*y - x*y. Which is smaller: y or 29?
y
Suppose -36*v + 113*v - 43*v = 60*v. Let s be 85/231 - (-12)/(-28). Is v at least as big as s?
True
Let a = 30 + -30. Let d(p) = -p**2 - 2*p + 3. Let u be d(-5). Let b be (-5 - -3)*u/(-112). Which is greater: a or b?
a
Let p = 1.99 - 28.09. Let r = -26 - p. Do -14.5 and r have the same value?
False
Let m(v) = v - 23. Let d be m(3). Let b(l) = l**2 + 21*l + 114. Let r be b(d). Is 94 < r?
False
Let d be 1240/(-1674)*3/(-43). Are d and -1 non-equal?
True
Let z(t) = 2*t**3 - t - 6. Let h be z(-2). Let q(l) = -l - 28. Let x be q(0). Let d be 14/(-6)*8/x. Are d and h non-equal?
True
Let d = -440 + 442. Suppose 4 = 2*g - 2*u, 3 - d = -u. Is g less than -44?
False
Let d = -9 + 11. Let s(r) = -3 + 2 - 3 + 6 + 2*r**d - 3*r. Let m be s(2). Are 21/4 and m non-equal?
True
Let a(w) = w**2 + w + 1. Let r be a(0). Suppose 0 = 3*x - 6*x + 3*n - 54, 0 = 2*x - n + 36. Let j = x + r. Which is smaller: -18 or j?
-18
Let h be (-9)/24 + 6 + 318/(-48). Let d be -4 + 1 - ((-118)/(-39))/h. Which is smaller: d or 1?
d
Let h = -9554 + 9553. Is h greater than or equal to -2/24311?
False
Let o = 23 + -49. Let s = -358 + 324. Let t = o - s. Which is smaller: t or 15/2?
15/2
Let o = 0 - -4. Suppose -268*a + 104 = -242*a. Do a and o have the same value?
True
Let t(n) = 5164*n**3 + 3*n**2 - 4*n + 5. Let m be t(3). Let c = 53129555/381 - m. Let u = c + 2/127. Is 1/19 > u?
True
Let c be 223/4 - 1/(-4). Suppose -4917 = 58*y - 37977. Suppose 9*j - y = -j. Which is smaller: c or j?
c
Suppose -199*m - 19*m + 1587120 = 37*m. Which is smaller: 6226 or m?
m
Let p = 3796 + -3878. Do p and -79 have different values?
True
Suppose -1279 = -29*y - 7134 - 23464. Which is bigger: y or -1012?
y
Let u = -7661 + 7653. Which is smaller: -112/13 or u?
-112/13
Let p = 10453.3 - 10541. Let u = 87.82 + 0.18. Let c = p + u. Do 16 and c have the same value?
False
Suppose 17 = 4*h - 3*h + 4*w, -2*h - 5*w + 25 = 0. Suppose 3*c - 27 = -3*i, -2*c - 4 = 2*c - 4*i. Let b be h/10 + (-10)/c. Is -7/9 at least as big as b?
True
Suppose 45 = -5*v - 3*a, 2*v + 0 - 8 = 4*a. Let y = 15612/7 + -2224. Let f = v + y. Is f < -0.11?
False
Let o = -8475 + 6053. Is 0.1 > o?
True
Let s = 3 - -3. Let i = -105479 - -105505. Is i smaller than s?
False
Let d = 2487 - 1808053/727. Do d and -1 have the same value?
False
Suppose -343 = 15*l + 437. Let r be 176/18 + (-325)/(-45) + -7. Suppose -22 = -r*t - 562. Are l and t equal?
False
Let q = 81521/372 + -1315/6. Let f be ((-3)/((-15)/10))/2. Which is greater: q or f?
f
Let h = -2.7 + -7.3. Let w = h - 34. Let s = 43.8 + w. Are s and 1 equal?
False
Let x(g) be the second derivative of -g**5/20 - 2*g**4/3 + 2*g**3/3 - 12*g**2 + 3*g. Let t be x(-9). Are t and 13 non-equal?
True
Suppose 2*r = 5*u + 1786, 3*u - 5*r - 452 = -1516. Let m = -412972 - -6189214/15. Let q = m - u. Is 1 >= q?
True
Let d(r) = r**2 - 4*r - 16. Suppose -5*z + 20 = -15. Let b be d(z). Suppose 0 = t + 3*x + 9, -10 = 3*t + b*x + 17. Which is bigger: -7 or t?
-7
Let x = 14.151 + 0.049. Let t be 60/24 - (-9)/(-6)*2. Is x bigger than t?
True
Let g = 130266/44863 + -498/221. Which is smaller: g or 0?
0
Suppose -u = 2*u - 7128. Let i be 366/u + 1 + 13/(-11). Let w = -1/126 + i. Which is smaller: 0 or w?
w
Let d(i) = -146*i - 2045. Let p be d(-14). Which is smaller: p or -3/707?
p
Let o be (-6)/9*-3 + 46. Let z be 2/(2 + o/(-21)). Suppose 66*s + 450 = 21*s. Is z greater than s?
True
Let h(b) = b**3 + 24*b**2 - 27*b + 113. Let x be h(-26). Let a be (-44)/88 + x*(-2)/2164. Is 0 <= a?
False
Suppose 97 - 189 = -4*w. Let i be (-5 - 0) + w*-12. Is -281 at most as big as i?
True
Let z = 2591/1730 - -2/865. Let a = -1 + z. Which is smaller: a or 1?
a
Suppose -v = 2*g - 277, g = -3*v - 49 + 870. Let m = v + -224. Which is smaller: m or 48?
48
Let v(s) = -36*s**2 - 64*s + 121. Let y be v(6). Which is smaller: -14030/9 or y?
y
Let y be ((-1324)/189 - -7)/((-2)/14 + 1). Let g = 203/5 - 41. Is g != y?
True
Suppose 0 = 5*q + 3 - 68. Let d(s) = -s**3 + 15*s**2 + 10. Let m be d(15). Let h = m - q. Is 0 less than or equal to h?
False
Suppose -1 + 11 = 5*l. Let b = l - 2. Let w = -1494/11 + 20971/154. Are b and w non-equal?
True
Let f = -16485 - -16486. Is 1241/12 <= f?
False
Let z = -99 - -134. Let h = -75 - z. Let m = 116 + h. Is 5/3 equal to m?
False
Suppose -2*d = 38 + 6. Let m be 4/5*(5 + d + -3). Let y be m/(-5) - (-2 + 2). Do 4 and y have different values?
True
Let w = 9956 + -8527. Are 1429 and w non-equal?
False
Let x = -2219 + 2940. Are 722 and x unequal?
True
Let p be (-759)/21 + (-13)/(-91). Let i be -1*282/p - 7. Which is bigger: i or 2?
2
Let d be 92/28 - 4/14. Let h = 6.917 + -61.917. Which is greater: d or h?
d
Let g be -786*((-85)/(-15) - 5). Let x = -289770/553 - g. Which is smaller: -1 or x?
-1
Suppose 0 = -5*b - 5*n + 95, -2*n - 1 - 3 = 0. Let q be (-3)/(-42)*-95 + 6/b. Let m = 22 + -30. Which is greater: m or q?
q
Let y be (-19)/133 + (-23)/(-46)*(-2)/(-1). Let s(m) = -2*m + 4. Let l be s(5). Which is greater: y or l?
y
Suppose -2*d - 5*h = -216, -16 + 134 = d + 5*h. Suppose -3*j + 92 = d. Which is smaller: -6/5 or j?
j
Let x be 564*117/(-195) + (-2)/15*-3. Let w(h) = 84*h - 3. Let b be w(-4). Which is smaller: x or b?
b
Let x = -3124 - -12497/4. Are x and -2632 equal?
False
Let k be -1*(-2)/13 - 3*(-213784)/780. Which is bigger: k or 821?
k
Let g = 4.768 + -4.668. Which is smaller: g or -3130?
-3130
Let l be (3 - 1)/(3 + -2). Let g be l - ((-2076)/(-255))/4. Let x = -10851 + 10852. Is x > g?
True
Let l(r) = -25*r - 7. Let k be l(3). Let s = 62 + k. Let c be (s/(-360))/((-2)/(-3)). Which is smaller: c or 0?
0
Let n = -3189 - -1326. Is -1863 > n?
False
Suppose 34*v = 3943 + 4829. Suppose -o = -3*h + v, h = -4*h + 15. Is o at most as big as -249?
True
Let f be 41/(-7) - (-186)/217. Let y be 24/(-9)*(-90)/8. Let a be (4/(-18))/(f/y). Which is bigger: -2 or a?
a
Suppose -2*d - 94 = -4*d. Let u(i) = -15 + 16602*i**2 - 3*i - 16601*i**2 + i. Let b be u(9). Which is bigger: b or d?
b
Let o(c) = -c**3 - 10*c**2 - 29*c - 42. Let a be o(-6). Is a at least 152?
False
Let r(o) = -o**2 - 13*o + 38. Let j be r(-15). Suppose 5*w + 39 = -j*w. Let i = 2 + -3. Is w < i?
True
Suppose -8*r = -4*r + 16. Let p be r + 2 + (-95)/4. Let l = -18445 + 18420. Which is greater: p or l?
l
Suppose -36*m - 30 = -138. Suppose -2*c = 2*c - 3*z - 101, 0 = z + m. Is c greater than 143/6?
False
Let c(y) = 17*y - 65. Let o be c(4). Suppose -2*i + 26 = o*b + 2, 5*i - 79 = 2*b. Is i bigger than 15?
False
Let b be (-1 + -7 - (53 + -49))*(-6)/(-112). Is 17 smaller than b?
False
Let v be ((-63)/12)/((-18)/(-48)). Let f be (-10 - v)/(12/9). Are f and 25/11 non-equal?
True
Let s = 1723 - 1730. Let p = -4.99 - -5. Let r = 0.09 + p. Which is smaller: r or s?
s
Let p = -30 - -40. Suppose -p*x + 5*x = 155. Let y = x + -15. Which is greater: y or -47?
y
Suppose 319*z - 357*z = -380. Is 31/3 less than z?
False
Let s =