s bigger: v or d?
v
Let v be (-7)/(-4) - ((-124)/6)/(5864/(-2199)). Suppose 0*a = -3*a - 12. Is a equal to v?
False
Let d = 26676 - 26962. Does -282 = d?
False
Let a = 72 - 125. Suppose 0 = -4*g + 148 - 132. Suppose 0 = -2*f - 2*f - g. Which is bigger: f or a?
f
Suppose 0 = -0*y - y - 17 + 106. Is y > 984/11?
False
Let t(g) = 2*g**2 - 14*g - 38. Let u be t(9). Let d be (3654/204)/(-7) + 3/2. Is u >= d?
False
Let o = 1.231 + 0.669. Let w = -120/949 + -2/73. Let a = 9/26 - w. Which is greater: o or a?
o
Let r(k) = k**2 + 14*k + 46. Let x be r(-7). Let i be (10/6)/(x/(-432)*-1). Let q be (15/i)/(2 - 45/(-6)). Is 1 less than or equal to q?
False
Let t(w) = w**3 - 12*w**2 - 27*w - 16. Let y be (-7)/((-110)/300 + 4/(-30)). Let k be t(y). Let c = 0.03 - 0. Which is bigger: k or c?
c
Suppose -5*f - 58 = 12*j, 4*f - 22 + 80 = 2*j. Is -5 < f?
False
Let o = 2787 - 2787.089. Which is smaller: o or 0.16?
o
Let u = -5464/3 - -1907. Let x = u - 81. Suppose 0 = -d - 1 + 7. Do x and d have different values?
True
Let s = 36910 - 65720. Let t = s + 114279/4. Let l = -242 - t. Is -2 != l?
True
Let y be ((-42)/(-9))/(4/6) + (-4653705)/615. Which is smaller: y or -7558?
y
Suppose 5*t - 3*t + 2512 = -4*m, 0 = 4*t + 3*m + 5054. Which is smaller: -1269 or t?
-1269
Let u(j) = -17*j + 450. Let c be u(-15). Let p be 15/10 - c/10. Is -3 < p?
False
Let n be 1*1/(-1) + 8953/28. Is 318 bigger than n?
False
Suppose -4*o + 14 = 3*s, o + 2*s + 2*s - 10 = 0. Suppose -5*k + o*k = 15. Let u(l) = -21*l + 1526. Let w be u(73). Are w and k nonequal?
True
Let b = -1368455395903/56 - -24435514499. Let p = b - -1189041. Let c = p + -286/7. Are c and 0 equal?
False
Let o = 10381/12 + -3455/4. Does o = 3.8?
False
Let q = -61 - -63. Are -755 and q equal?
False
Suppose -164*i + 168*i = 104. Let x be i/4*(-20)/(-2 - -1). Is 130 < x?
False
Let c = -136 - -230. Let m = c - 373/4. Let w(o) = -3*o**2 + 290*o - 2365. Let r be w(9). Are r and m equal?
False
Let s(p) = -82*p - 1052. Let w be s(-14). Let z = -150 - -244. Is w bigger than z?
True
Let b be 1 + (4/2 - 469). Let l = b - -929/2. Is l > 11.4?
False
Let b = -563.9 - -566. Is -162 at most as big as b?
True
Let y = 221 - 259. Let h be y/140 + 9/18. Which is bigger: 0 or h?
h
Let d = -8145 + 23902/3. Is d > -179?
True
Suppose 0 = m - 1, 1 = 4*y - m + 6*m. Let d = -4416 - -48577/11. Which is greater: d or y?
d
Let r(u) = u**3 + 8*u**2 - 8*u + 10. Let a(x) = x - 21. Let y be a(12). Let t be r(y). Let q = -2853 + 259625/91. Is q > t?
False
Let w = 0 - -0.5. Let o = 70.2599 + -0.1599. Let f = o + -70. Which is bigger: w or f?
w
Let a(n) = -2*n**2 - 2*n + 11. Let j be a(-3). Let s be -1 - 8/(-16)*(-2)/j. Let u = -109/9 - -9065/747. Which is smaller: u or s?
s
Let m(h) = -h**2 - 4*h - 3. Let d be m(-3). Suppose d = -0*g + 4*g + 12. Let p be -5 + (-37 + 2)/(-7). Is g bigger than p?
False
Let b(z) = z**3 - 22*z**2 + 16*z - 121. Let l be b(7). Is -744 less than or equal to l?
True
Let n = 24569.03 + -24553. Is n greater than -4?
True
Let f = -6.18 + 6.197. Let t = -35.017 + f. Is -4 at least as big as t?
True
Let x(m) = m**3 + 10*m**2 - 12*m + 15. Let f be 3/(-3)*10 + -1. Let q be x(f). Suppose -3*w - 2*w = -2*y + 43, -q = 3*w - y. Which is bigger: -10 or w?
w
Let m be (4/(-285))/((-6)/15). Let u be -5 + 10/2 - (2 - 6). Let w be -5 - (-3 - 4/u). Which is greater: w or m?
m
Let x = 8788.7 - 8789. Which is smaller: 2124 or x?
x
Let w be (-388)/((-9)/2 - -5). Let l = w - -3879/5. Let b = -0.08 + 11.08. Do b and l have the same value?
False
Let o be (3 + -90)*(2 + (-57)/33). Let y = o - -7151/319. Are y and -1 equal?
False
Suppose -2*y + 8 = 24. Let b be (-3 - -9)*(-3)/9 + y. Suppose 9 = -2*f + 3*k - 0*k, -1 = 2*f + 5*k. Which is greater: f or b?
f
Let v(z) = z**2 - 22*z - 39. Let k be v(23). Let c be -6 - (k/3 + (-22)/33). Let y be -3*(0 + -1)/67. Is y smaller than c?
False
Suppose 5*i + 2588 = -19*x + 17*x, -5*x = -3*i + 6377. Is -1279 not equal to x?
False
Suppose -n - 10 = -2*d - 3, -5*d = 5*n + 65. Suppose 0 = -3*v - 620 + 632. Suppose 4*i + c = v*c, -21 = -3*i - 3*c. Which is smaller: i or n?
n
Let i = -1108/1357 + 18/23. Let l(v) = v**3 - 9*v**2 + 7*v + 6. Let p be l(8). Let r = 2 + p. Which is smaller: i or r?
i
Let j be 13100/(-35) - (324/42 - 4 - 4). Is -372 greater than j?
True
Let l = 0.391 + 1651.609. Is -6 > l?
False
Let h(a) = a**2 - 11*a - 1. Suppose 3*s + 3*s - 3*s = 0. Suppose 8 = 3*z + 4*g - 6, 4*z + g - 23 = s. Let o be h(z). Is -31 greater than or equal to o?
True
Let d be ((-111)/6)/37*9/(-151). Is d less than 0?
False
Let i be 11504/(-96) + (-1)/6. Let z = 114 + i. Is -6 greater than z?
False
Suppose g = 2*u + 5, -2*u + 3 = -5*g + u. Let f be (-20)/(-1)*g/(135/470). Let b = -24224/117 - f. Is 2 bigger than b?
True
Let x be ((-27)/((-243)/18))/(-964). Is -1 != x?
True
Suppose -2*w - 11 = 4*j + 15, -j = -w - 25. Let q be (-86)/301 + 106/w. Let v = -12 - -6. Is v >= q?
False
Let g = -1455 + 882. Let h = 574 + g. Which is smaller: h or 2/135?
2/135
Let m be ((-521)/2)/(196/1078). Is m <= -1432?
True
Suppose 2*l - 8 = 3*v - 0*l, 2*v + 5*l - 20 = 0. Suppose -4*z + 56 + 84 = v. Suppose -w - z + 45 = 0. Which is smaller: w or 13?
w
Let q(l) = -51*l - 1352. Let i be q(28). Is i bigger than -2780?
False
Let r be (-144)/(2 + 1)*1. Let k = 104 + r. Let q be (-19)/7 - 16/k - -50. Is q <= 48?
True
Let i be (-99)/24*2*72/(-9). Let t be (-11)/(i/540) + 0/2. Is -89 <= t?
False
Let u = 11/5 + -109/45. Let o = 166.713 - -0.287. Let g = o - 167.6. Which is greater: g or u?
u
Suppose 2*m = 9 - 15, -2 = 5*g - m. Let q be (14/28)/(g/2). Let i be -2 + (-282)/(-284) + 1. Are i and q unequal?
True
Let h be ((-4)/(-22))/(-5 - 63/(-12)). Let x = h - 91/110. Which is smaller: x or -0.3?
-0.3
Let x be 3 + (-11)/(-214)*-58. Let v = -4655 - -4653. Are x and v unequal?
True
Let h(n) = -n**2 + 1. Let p be h(-1). Suppose p = -2*v - 6, 24 = 3*l + 3*v - 12. Let g be 48/156*455/10. Which is bigger: l or g?
l
Let d = 3.5 + -0.7. Let w = -0.895 + -2.005. Let g = d + w. Do -0.1 and g have the same value?
True
Let j be (10/4)/((-2)/(-4)). Let w be (2/25)/(j/25). Let i = -203/15 + 71/5. Is w at least as big as i?
False
Let p(b) = -13*b**2 + 105*b - 4. Let m be p(8). Suppose 2*x - 11*r + 9*r = -92, -m*x = -5*r + 181. Which is smaller: -54 or x?
-54
Let j = 35.1 + -36. Let r = -199.1 + j. Which is smaller: r or -0.1?
r
Suppose 14*q - 19*q - 5*c = -15, 4*q + 2*c - 6 = 0. Is -19/59 at most as big as q?
True
Suppose -4*u + 51 = 5*v, -3*v + 29 = u - 3. Suppose 9 - 20 = -v*w. Let q be (-5)/11 + 4/22. Is w smaller than q?
False
Let r = -160 - -163. Suppose 5*x = r*q + 15 - 3, q + 4 = -5*x. Which is smaller: -8 or q?
-8
Let l be 216/(-144)*117/(-96). Are l and 2 non-equal?
True
Suppose -10*i = 28 - 118. Suppose i*t = 11*t. Let g = -74/11 - -408/77. Which is smaller: g or t?
g
Let i be (3/4)/((-6)/144). Let n be (i/(-12))/((-6)/(-2))*-2. Let w(d) = 53*d + 3. Let h be w(n). Which is greater: -49 or h?
-49
Let u be (-186)/(-4)*(-1500)/90. Let y = u + 1308. Is y at most 533?
True
Let f(g) = -2*g**3 - 25*g**2 - 11*g + 80. Let t be f(-11). Is -162 less than or equal to t?
True
Let w be (-4)/4*(-6 - -8)/2. Which is smaller: w or 2/4153?
w
Let s be -1016*(5 + 264/(-56)). Which is greater: -291 or s?
s
Let r = -19900 + 19901. Which is smaller: -730 or r?
-730
Let x be 58/(-192) - (-1)/3. Suppose -253 = -5*q - 213. Suppose 0 = -42*i - q*i. Which is smaller: i or x?
i
Let n(z) = 3*z + 57. Let s be n(-17). Suppose 1 = -x, s*t + x = 2*t + 31. Let p be ((t/4)/6)/((-2)/6). Are -2/187 and p unequal?
True
Let n be (-16)/(-520) + (-8316)/(-8580). Let k = -11 + 7. Let b be 17/4 + 1/k. Which is smaller: n or b?
n
Let c(m) = 127*m - 7680. Let r be c(61). Let a = 113 + -47. Which is bigger: a or r?
r
Let t be ((-62)/(-2))/((-2)/2)*(-9664)/(-32). Which is smaller: -9361 or t?
t
Suppose 0 = 3*y - 2*y - 4. Let l be 4 + (-1917)/404 + 3/y. Which is smaller: l or 1?
l
Suppose 3*p + 19 = 5*a - 4, 0 = -3*p - 4*a - 14. Let w = 0.355 - 0.185. Which is smaller: w or p?
p
Suppose 17*a - 1486 = -483. Suppose -o + 4*v = 2*o - 12, -6 = -2*o + 2*v. Suppose o = -0*g - g + 59. Is g bigger than a?
False
Let b = 53912981/199235 - -2/39847. Which is smaller: 270 or b?
270
Suppose 32 = -8*c + 376. Let v be (c + 0)/((-220)