 o or d?
d
Let y be (-1 + (-1140)/(-84) - 6)/(-1). Let d = 8 + -16. Which is smaller: y or d?
d
Let y = -422.6 - -479. Let w = -19.5 + y. Let n = -37 + w. Is 60 <= n?
False
Let a = -12528 + 12557. Which is bigger: a or 601/21?
a
Let f = 18799 - 18798. Which is greater: f or 25/608?
f
Suppose 6*d = 4*d + 2. Let i = 161792 + -162238. Is i at most d?
True
Suppose 0 = 4*o - 2*b - 7 - 17, -2*b = -5*o + 29. Suppose 7 = h + o. Let n be ((-26)/(-13))/(h/(-44)). Is -44 greater than n?
False
Let l = 13 + -2. Suppose l*n - 500 = n. Is -1 smaller than n?
True
Let z be (39/(-2))/(3/(-22)). Suppose 695 = -24*y + z. Is y at least as big as -21?
False
Let o = 37388 + -37442. Is o > -1602/29?
True
Suppose 27 = -13*l - 77. Let u be -20 + (l/2 - -3). Does -87/4 = u?
False
Let r = 8.4 + -19.3. Let t = -39.1 + r. Let f = -48 - t. Which is smaller: 14 or f?
f
Let d(r) = 92*r**2 + 68*r + 69. Let n be d(-1). Which is smaller: 21 or n?
21
Suppose 0 = o - 5*o + 1872. Let n = -196977749/419280 + 1/83856. Let z = n + o. Which is smaller: z or -1?
z
Let o = 617.9479 - -0.0521. Let g = o + -613. Let d = -1 + 0. Which is smaller: g or d?
d
Let k = 479/24 + -55/3. Let g = k - 165/104. Suppose 0 = -2*v - 3*s - s + 2, 0 = 4*v - 2*s + 6. Does g = v?
False
Suppose 8*f - 16*f = 32. Suppose u = 4*j + 34, 4*u + 3*j - 128 = 8. Is u at least f?
True
Let q = 174 + 383. Let t = -578 + q. Is t not equal to -5?
True
Let h = 27317 - 300859/11. Are h and -34 non-equal?
True
Let s = -10.154 - -105.154. Which is smaller: -1/66 or s?
-1/66
Let u(y) = -y**3 - 5*y**2 + 2*y + 5. Let p be (-2)/(-13) - 67/13. Let d be u(p). Let h be 55/(-6)*(2 + 13/(65/(-8))). Is h not equal to d?
True
Let s = -2610 + 2616. Does 78/17 = s?
False
Let p(w) = -240*w - 68. Let s be p(6). Let y be (-56)/728 + 170/s. Which is smaller: -1 or y?
-1
Let p = 294517/1970 - 1/985. Suppose 21*k - 4778 = -1649. Is k less than p?
True
Let o be (-13)/65*0 - 5. Is -4 bigger than o?
True
Suppose -2*x = -0*x + 4*n - 22, 5*x + 5*n = 55. Suppose 5*h = -a - 1, 2*a - 15*h = -12*h + 24. Suppose -10*o + 10 = -a*o. Does x = o?
False
Suppose l + 4 = 2. Let v be ((-1 + 0)*-2)/((-4)/l). Let w = 32 + v. Is w at most 34?
True
Let o = -3911 + 291. Let b be (1*4 - o/(-400)) + 5. Which is smaller: b or -8?
-8
Let a = -18.4 - -23.4. Let q = 3.12 - 2.6. Let o = q + 0.28. Which is bigger: a or o?
a
Let i = 20339 + -17767. Is 2573 > i?
True
Let n = -11095 - -11095. Is -770 >= n?
False
Let w = -234 - -231. Let v(j) = 5*j**3 - 4*j**2 + j + 2. Let b be v(w). Is b smaller than -172?
False
Let p(a) = -6*a**2 + a + 1. Let i be p(-1). Let y be 22*((-2)/6)/(2/i). Let t = y - 23. Which is smaller: t or -8/5?
-8/5
Let o = -34.25 - -34.35. Which is bigger: o or 173?
173
Let x = -385/71 + -34551/2414. Let q = x - 81/17. Which is greater: q or -26?
q
Suppose 3*l = 2*w + 9, -5*w - 3 = -3*w - l. Let m be ((-6)/(-40))/(27/(-24) - w). Let q = -7.8 - -7. Is m < q?
False
Let b = 70/587 + -436601/3646444. Is b greater than -1?
True
Let h be (-7)/2*10*31/(-80290). Suppose 3*n + 18 = 3*o, -n = -2*o - o + 14. Let f = o - 4. Which is smaller: f or h?
f
Suppose 13*r - 277 = -3943. Let l = r + 376. Is 93 at most as big as l?
True
Let n = 1341 + -44255/33. Which is bigger: n or -6?
n
Let s(l) = 6*l**2 + 13*l - 19. Let f(t) = 5*t**2 + 13*t - 19. Let i(h) = 7*f(h) - 6*s(h). Let d be i(8). Suppose d*n - 13*n = -464. Is n smaller than -57?
True
Suppose 0 = 3*u - 5*x - 162, 9*u - 8*u - 46 = -x. Suppose -70 = -2*r + 28. Is u greater than or equal to r?
True
Let o be 11/(-20) + 1/(-5). Let y = 104 + -103. Let j be (-11)/11*(y + 1). Which is bigger: j or o?
o
Let c = 8073 - 3825. Are 4247 and c equal?
False
Let h be 112552/12 + 104/12 + -8. Suppose -33*r - 3424 = h. Which is bigger: -387 or r?
-387
Let o = 32936 - 33002. Which is smaller: o or -144?
-144
Let i be 5 - (54060/18012 - (0 + -2)). Let m = -19525/9006 - i. Let t(z) = z - 1. Let h be t(3). Are h and m equal?
False
Let f(c) = -5*c**3 + c**2 - 14*c - 23. Let j be f(-3). Suppose 14*m + 597 = j. Which is bigger: -16 or m?
-16
Let j = -284671/110 - -2588. Which is greater: 0 or j?
j
Let x be (3/(-4))/((96/(-287744))/((-6)/(-4))). Is x at least as big as 3372?
True
Let t = 2.8 - 0.8. Let s = 51.35 + -49.45. Is t less than or equal to s?
False
Let k = -2336.3 - -2327.3. Are 136 and k nonequal?
True
Let y be (-1)/(2 - -2 - 212/40). Let s = -449/533 + y. Let o(n) = -5*n**2 + 11*n - 1. Let c be o(2). Which is greater: s or c?
c
Let i = -43280 + 735962/17. Is 12 less than i?
False
Let w = 7788448/471 + -16536. Let u = 14/19311 + w. Are u and -1 nonequal?
True
Let q be -4 - 160/(-35) - 73968/14784. Which is smaller: -4 or q?
q
Let b = 120.04 + -122. Let a = 2.4 + b. Let w = a + 0.56. Is 14 smaller than w?
False
Suppose -5*h - 7 = 13, -4*h = 5*n + 36. Let s = -16 - 0. Let x be 4/(n*1)*(s - -4). Are x and 12 unequal?
False
Let l(f) = -f**3 - 24*f**2 - 23*f + 2. Suppose 0*c + 13*c + 299 = 0. Let m be l(c). Which is bigger: m or 45/19?
45/19
Suppose 0*c - 882 = c - m, c + 5*m = -888. Let g = 30907/35 + c. Is g bigger than 0.2?
False
Let g be 6 - ((-6)/(-51) - (-47208)/7956). Let v(q) = -6*q + 1. Let d(w) = -w + 1. Let h(k) = 5*d(k) - v(k). Let f be h(-4). Is f <= g?
False
Let i(n) be the second derivative of n**5/10 + 37*n**4/6 - 25*n**3/2 + 41*n**2/2 + 152*n. Let b be i(-38). Which is greater: b or -1?
b
Let n(q) = 824*q - 3408. Let i be n(6). Are i and 1535 equal?
False
Let h = -1/55167 - -36835/3144519. Let t be 5 + -4 - (-1 + 1). Which is smaller: t or h?
h
Let k = 2.73 - -42.27. Let s = 27 + -71.7. Let v = k + s. Which is bigger: 2/25 or v?
v
Suppose j - 4*d = 21, 54*j + 2*d - 30 = 50*j. Let u(n) = -8*n + 1. Let f be u(-1). Let m be 2 + (j/(f/20) - -4). Is m greater than 0.2?
True
Let m = -130 - -81. Let k = 0.062 - 35.062. Let w = k - m. Does 0.1 = w?
False
Let i be (10 + -11)*0/(66/(-6)). Let w = -140 + 2521/18. Is w greater than i?
True
Let i be ((-31)/16 + 2)*2. Suppose -5*f = 5*g + 523 + 217, 2*f + 152 = -g. Let q be (-2)/(-6) - 60/g. Which is smaller: i or q?
i
Let o = -29 - -15. Let h = -5 - o. Let y = 1387/77 - 195/11. Is y < h?
True
Suppose 3*i + 2*z = 1209, -13*i + 5*z = -16*i + 1227. Is i at least as big as 396?
True
Let t be -1*1*1 - 185. Suppose -3186*b - 405 = 2*s - 3183*b, -44 = 4*b. Is s less than or equal to t?
True
Let i be ((-4)/(-2))/(18/(-1521)*-13). Let c be (102/(-4))/((-6)/12). Suppose 4*f - 64 = 4*l, -5*f + c = 5*l + 11. Which is smaller: f or i?
f
Let o = -892 + 892.06. Let b = 1995/4 - 506. Let w = b - -157/20. Which is greater: w or o?
w
Suppose 0 = 18*i - 21*i - 648. Let j be (-146)/(-90) - (-48)/i. Which is smaller: j or 2?
j
Suppose 4*u - 4*t = -144, -4*u + 0*u - 138 = -t. Let h be 174/754 + (-1702)/52. Is h < u?
False
Suppose 0 = 95*a - 587828 + 1765163. Let w be a/216 + (-12)/(-32). Let v be (-2)/(-5) + (-292)/5. Is w smaller than v?
False
Let u be (170/(-6) + -3)/((-2)/(-183)). Is u smaller than -2868?
False
Let t = 34 - 36. Let b = t + 8. Let o be (-135)/15 + 40/4. Are b and o unequal?
True
Let r = -82 - -71. Do -4 and r have the same value?
False
Let l = 533 - 557. Let d = 19 - 18.7. Which is smaller: d or l?
l
Suppose 4*j = -620*o + 624*o - 56, -o = 4*j + 11. Is -372/61 != j?
True
Suppose -2 = -p + 1. Suppose 145 = -p*g - 2*g. Let d = 89 + -89. Which is smaller: g or d?
g
Let g = -487.9735 - -488. Let f = -56.0265 + g. Is -1 less than f?
False
Suppose 282 = -10*p + 13*p. Let l be (-8)/60 - p/(-30). Suppose 5*c + 0*q = 3*q - 193, -l*q = c + 35. Which is greater: -36 or c?
-36
Suppose -95 = -5*z - 4*v + 45, -4*z - 2*v = -118. Suppose -11*p - 690 = -272. Let i be (5 - -3)*4/z*p. Is i at most as big as -38?
True
Let x = -2.05 - -2.054. Which is smaller: -2/9 or x?
-2/9
Let x = 4/637 + 10785/7007. Which is bigger: 0 or x?
x
Let r be (-4452)/(-6678)*66/20. Suppose 0 = -4*h, 5*l + 0*h = 3*h + 15. Is r at most as big as l?
True
Suppose -15 = -3*s + 4*h, 20 = 5*s - 2*h - 3*h. Let k = -2/985 - -2596/308305. Which is smaller: s or k?
k
Let o be (-1)/3 - (-2 + 2875/15). Let s = 190 + o. Which is greater: s or -4/63?
s
Let a be (-8)/400*(-45)/6. Which is bigger: -195 or a?
a
Let r = 3 + -2.8. Let j be 200/(-1680)*14/(-12). Let k = j - 11/252. Are k and r non-equal?
True
Let z be (-25218)/(-45) + 8 - -20. Whi