smaller: i or -1?
-1
Let x be 9/(2 + (-7)/2). Let g be ((-30)/(-20))/(x/(-40)). Suppose -g*m = -6*m. Which is smaller: -1/9 or m?
-1/9
Let u = -196.8 - -138.8. Is u equal to -2/3?
False
Suppose 67*w - 46683 = 10*w. Is 817 bigger than w?
False
Let y = -32 + 54. Suppose -y = 5*n + 18. Which is smaller: -6 or n?
n
Let p = 13.1 - 16.1. Is p bigger than 0.0216?
False
Let f = 0 - -3. Suppose 0 = -5*g + 15 - 10. Which is greater: g or f?
f
Let l(r) = r**2 + 6*r - 15. Let b be l(2). Which is smaller: -10.2 or b?
-10.2
Let c = 96 + -98. Are 6 and c nonequal?
True
Let n be (1 - 3)*177/(-6) - -1. Let o be (-2)/n*(8 - 4). Suppose -4*f + 6 = 2*t - 12, 9 = -4*t + f. Is o bigger than t?
True
Let t = -48 + 47. Suppose -11*y + 10*y = 0. Which is greater: y or t?
y
Suppose -2*i + 6 = -0*i. Suppose -5*a + 2*a = -5*r - 13, -2*a - i = -r. Let d(t) = -10*t + 26. Let c be d(3). Is a < c?
False
Let i be (-1005)/(-8104) + (-20 - 1590/(-80)). Which is smaller: i or -1?
-1
Let a be 38/8 - (-1)/4. Let z(o) = -o - 1. Let g be z(a). Let m = 34.4 - 33.4. Do g and m have the same value?
False
Let s be 165/(-1)*(-30)/50. Let z = s + -162. Let u = 129/2 + z. Is 2 smaller than u?
False
Let j = -74 + 39. Let s be -39 - -2 - (7 - 12 - -4). Is s greater than j?
False
Suppose 2*c = 4*c - 14. Let t(h) = -1. Let i(x) = x**2 - 8*x + 11. Let m(f) = i(f) + 4*t(f). Let z be m(c). Which is greater: z or -1/8?
z
Suppose -5*h + 4*a = 8, 4 = 2*h - 0*a + 2*a. Suppose h = x + x - 2. Let v be ((-2)/46)/(4 - 0 - 3). Are x and v equal?
False
Let a(p) = p**2 + 3*p + 6. Let b be a(-4). Let o = 7 - b. Let w be 4*2/(-2) - o. Is w greater than 2/49?
False
Let w = 72772/1067 + -750/11. Let v = 204/485 - w. Are -1/7 and v nonequal?
True
Let z = 0.92 + 1.08. Let s = -11 - z. Is s equal to 1?
False
Let k = -127 - -68. Which is greater: k or -61?
k
Let o be (2/(-3))/((-17)/(-12)). Suppose 10*q + 53*q = -24*q + 19*q. Is o equal to q?
False
Let h be 42/(-15)*-2*(-22)/(-32). Let c = h + -18/5. Which is bigger: -23 or c?
c
Let w = 65 + -190/3. Let g = 19/15 - w. Let u(t) = -t**3 - t**2 - 2*t + 1. Let f be u(-2). Is g equal to f?
False
Let b = 9/707 + -218499/2828. Which is smaller: b or -77?
b
Let m(t) = -2*t**2 - 5*t + 1. Suppose 17 = 3*z - 10. Let q be ((-5)/(-2))/(z/(-18)). Let d be m(q). Are d and -24 equal?
True
Let h(p) = 2*p**3 + 44*p**2 + 43*p + 13. Let j be h(-21). Let t = -9 + 15. Suppose -2*z - 10 = t. Does j = z?
True
Let n = -1174 + 614. Let t = 19603/35 + n. Is t != 1?
True
Suppose 2*y + 0 = -6. Let z be -3 - ((-9)/y)/18. Let x = -143/48 - z. Which is smaller: x or 1?
x
Suppose 2 + 7 = -3*y. Let m = -9 - y. Let t = m - -7. Which is bigger: 0 or t?
t
Let a be 2/2*(7 - 8). Let y be (244/(-84))/a + -3. Let u be 3*((-2)/(-6) + 0). Which is bigger: u or y?
u
Let m be ((-78)/65)/(3/10). Let p be (m/14)/(12/35). Which is greater: p or -2?
p
Let t(x) = 29 - 6*x - 7*x + 18*x. Let z be t(-6). Is 1/30 at most z?
False
Let n be (-40)/(-22) + -2 - (-26622)/156948. Do 0 and n have the same value?
False
Let t be 45*(272/(-51))/16. Suppose -w = w + 28. Is t < w?
True
Let x(z) = -z**3 + 7*z**2 + 2*z - 9. Let f be x(7). Let m(h) = -4*h + 21. Let b be m(4). Is f smaller than b?
False
Let p(y) = y + 3. Suppose -2*g = 2, 5*g + 5 - 4 = -2*s. Let f be p(s). Which is smaller: 4 or f?
4
Let s = -13 + 14. Suppose 0 = -6*l - 5 - s. Which is bigger: 1 or l?
1
Let l = 0.655 - 16.655. Is l equal to -8/7?
False
Let v be (16/(-6))/(-3 - 44/(-12)). Let c(r) = 6 - 2*r + 4*r + 2. Let z be c(v). Which is bigger: 2 or z?
2
Let c be (-7 + -7 + 13)/(1/(-96)). Which is smaller: 95 or c?
95
Let t = 9.181 - 9.2. Let q = t + -0.081. Are q and -7 equal?
False
Let a(r) be the first derivative of -r**3/3 - 7*r**2/2 - 1. Let q = 345 - 350. Let b be a(q). Is 11 less than or equal to b?
False
Let d be (-16)/60*-51*10. Which is smaller: 0.1 or d?
0.1
Let p be (0 + -46)*3*(-40)/156. Which is smaller: 34 or p?
34
Suppose 0 = -4*a + 3*d + 36, 0 = -3*d. Suppose 0 = -3*w + a, 12 = q + 5*w - 0*w. Let k be (5/10)/(8/q). Which is bigger: k or -1?
k
Let i = -10 - -8. Suppose 31 = -5*q - 0*v + v, -32 = 4*q + v. Let u = -8 - q. Which is smaller: i or u?
i
Suppose 9*m - 4*m = -5. Let t be 2 - 4359/24 - -2. Let c = -178 - t. Is c >= m?
True
Let x be ((-116)/(-5) - 0)/((-4)/(-10)). Let p = -1159/20 + x. Which is greater: p or 1?
1
Let d(i) = -2*i**2 + 34*i - 35. Let l be d(19). Which is smaller: l or -112?
-112
Let q = 1076 - 1104. Is 2/7 < q?
False
Suppose -5*x - 35 = 5*o, -2*x - 12 = 3*o + 11. Is o not equal to -7?
True
Let l = 31175/23 - 1355. Which is smaller: l or 2/7?
2/7
Let a = 17369119/88 + -197374. Let g be 10/(-16) - (1 - -1). Let b = g + a. Does b = -1?
False
Let z = -617971/5204 + 475/4. Do z and -1 have the same value?
False
Let v = 2/129 + 248/645. Suppose 0*c + 4*c - 53 = 5*q, 0 = 5*c - 3*q - 63. Let u be (28/c)/7*-3. Is v not equal to u?
True
Suppose 3*g - 7*g = 2*w - 2376, 4*g - 2378 = -w. Which is smaller: g or 597?
g
Suppose -4*m + k - 90 = 0, -2*m + 16*k = 11*k + 54. Is -10 greater than m?
True
Let s(m) = -m**3 + 17*m**2 + 48*m - 34. Let h be s(19). Is 0 greater than or equal to h?
False
Suppose 0*m + 5*m = -80. Let j(d) = -2*d - 8. Let k be j(4). Let q = k - 1. Is q at most as big as m?
True
Let r(s) = -2*s**2 - 2 + 3*s + 1 + 0 + 4*s**2. Let n be r(-2). Are -44 and n non-equal?
True
Let f = -2090/9 - -24944/63. Let w = -164 + f. Is -5/3 <= w?
True
Let i be (-534)/78 + 2/(-13). Let g be (-54)/(-63) - (1/i - 0). Is g != -3?
True
Let s be (-44)/(-8)*2 + 5. Is 46/3 smaller than s?
True
Let z = 1085 + -1078. Is 6 at least as big as z?
False
Let s = -0.659 + -0.011. Let k = s - -0.59. Which is smaller: -4 or k?
-4
Let f be (5 - (-357)/(-72))*-4006. Suppose -d = -93 - 74. Let i = d + f. Is -1 less than or equal to i?
True
Let z = 151/35 + -26/7. Let s = -1466 - -1466.989. Let o = -0.011 - s. Is o less than z?
True
Let f be -4 + 2 + -120*(-4)/12. Is f less than or equal to 29?
False
Let v(o) = o**2 + 9*o - 10. Let x be v(-10). Are -2/1389 and x non-equal?
True
Let z = 132 - 130. Let o be (4*z/10)/((-6)/45). Is -11 at least as big as o?
False
Let u be (-66)/(-170) - 6/(-30). Which is greater: 0.1 or u?
u
Let g be 8/4*6/(-4) - -11. Let u be (20/g - 4)*(-16)/(-6). Let d be (-13)/4 - (-3)/(-6). Is d > u?
True
Let h be 7/420*(-4)/(-8). Is h <= 1?
True
Let t = -0.42 - -9.12. Let j = -0.023 + 9.023. Let b = j - t. Are -4 and b nonequal?
True
Let g be (-2)/3*(-2 - (-29817)/18). Is g > -1102?
False
Let v(b) = -4*b**2 - 22*b - 49. Let t be v(-5). Which is smaller: t or -42?
-42
Let k = 28 + -15. Let s = k + -31. Let h = 37 + s. Which is bigger: -2/3 or h?
h
Suppose -3*m - 2*m - 5 = 0. Suppose 5*f + 200 = -5*b, f - b + 14 = -22. Let j = -35 - f. Which is smaller: m or j?
m
Suppose -3*g = -2*g - 28. Let a be (-3)/(-6)*g/10. Is a less than or equal to 1?
False
Let p = -6532/651 - -208/21. Is -3 at least p?
False
Suppose 286 = 24*s + 2*s. Is 14 >= s?
True
Let x = -49 + 49.1. Let m = -34 + 16. Which is greater: x or m?
x
Let u = -9187/16 + 574. Let c(m) = -m**3 - 12*m**2 - 10*m + 10. Let v be c(-11). Do v and u have the same value?
False
Suppose -f + 3*w + 9 = 0, 4*f - 8 + 5 = w. Suppose -4*h = -x, f = -7*x + 2*x + h. Is x not equal to -1?
True
Suppose -3*b - f = -6*f - 236, 5*b + f - 412 = 0. Let g be (-15)/(-24)*b - 2/8. Is g != 50?
True
Let k(p) = -4*p - 1. Suppose 0 = -4*t - 4*g - 24, 7 = -2*t - g - 0*g. Let j be k(t). Let w be 1*(-13 + j/(-1)). Does w = -17?
False
Let h = -2.05 + 0.05. Let q be (-1 + 14/10)/(2/30). Let g be q/(-72) - 2/(-6). Is h at least as big as g?
False
Suppose -4*f - 18 = -x, 0*x - 2*x + 64 = -f. Let r = x - 28. Suppose r*z - 4*z = 10. Do z and 3 have the same value?
False
Suppose -j - 10 = 4*h, 0*h + 5*h + 9 = -j. Which is smaller: j or -10?
j
Let j = -106 - -54. Let h = 52 + j. Which is smaller: h or 2/15?
h
Let z(g) = -g**2 + 6*g + 3. Let q be z(6). Suppose -4*a + 3*a = 5*b - 7, 0 = -3*b + q*a - 3. Which is bigger: 8 or b?
8
Suppose z = -5*v + v + 21, 2*z - 2 = 2*v. Let a be v/3*21/(-14). Let o be 42/110 - a/(-10). Which is greater: 0 or o?
o
Let u = 1.5 - 3.9. Let o = u - -3.4. Is o at least as big as 0?
True
Let s(r) = -6*r**2 + 7*r + 3. Let t(o) = o**2 + o. Let y(f) = s(f) + 5*t(f). Let m be y(12). Let z be -2 - ((m - 4) +