 = -4*v - 3*p. Which is bigger: v or 1/9?
1/9
Let c = -2.42 + 2.512. Let l = c - 0.042. Suppose 0 = -3*i + 5*b + 18, -5*i + 2*b = -16 + 5. Which is smaller: l or i?
l
Suppose -2*s = -5*f - 215, 25*s = 30*s - 5*f - 545. Which is greater: 114 or s?
114
Let g be (-15)/(-53)*(-84686)/(-1315). Is 18 > g?
False
Let f = 30175 - 16902. Suppose f = 5*y - 5967. Let d be (8/6)/2 + y/(-5889). Which is smaller: 2/7 or d?
d
Let b = -14640 + 14961. Is b > 321?
False
Let c = 110 - 110. Suppose v - 532 = -4*x, -3*v = -c*x - x - 1544. Suppose 0*o = -12*o - v. Is o less than -44?
False
Let t(i) = 6*i**2 - 124*i - 59. Let d be t(21). Which is smaller: d or 33?
d
Let r be ((-4)/(-27))/((-14)/(-588)). Suppose 33*s + 128 = 34*s. Let y = -122 + s. Which is bigger: y or r?
r
Let g(z) = -z**3 + 5*z**2 + 3*z - 4. Let y be g(5). Let s = 48 + -51. Let a be (-1110)/(-90) + 4/s. Is a equal to y?
True
Let b = 210 + -376. Let v = -166 - b. Let u be (0 - -1)/(11/3). Which is greater: v or u?
u
Suppose -624*w + 618*w + 24 = 0. Suppose -2*b - 2 = -b. Which is bigger: w or b?
w
Let d = -43 + 39. Suppose 3*r + 3 = -3*u, 3*r - 24 = u - 11. Which is smaller: r or d?
d
Let x = 76109/19 + -4007. Let j = 1006 - 1004. Suppose 0 = 4*i - 2*z + 11 + 1, 8 = -j*i + 2*z. Is i greater than x?
False
Let q be (8 - 0)*2*-1. Suppose 2*u + 491*i + 17 = 496*i, -3*i = -5*u - 90. Are q and u equal?
False
Suppose -2 = -5*c - 2*a, a = 3*c - 3*a - 22. Suppose -3*y + d = -c*d + 261, -3*d - 467 = 5*y. Which is smaller: y or -90?
y
Suppose h - 25 = 5*i, -2*h - h + 103 = -i. Let c(f) = f**3 - 4*f**2 - 7*f + 6. Let p be c(6). Is h < p?
True
Let u = 32561 - 35121. Which is greater: u or -12793/5?
-12793/5
Let h = 1479305/78 - 18964. Is h at least as big as 2?
False
Let d be (3*1477/63)/((-1)/3). Let t be d/6 - (-7)/42 - 6. Let z(a) = a**3 + 4*a**2 + 2*a - 6. Let x be z(-5). Do x and t have different values?
False
Suppose -6*o = 145 + 143. Let r be 848/o*(0 - 15/4). Is r < 65?
False
Let x = -733 - -719. Let a be 4/3 - ((-3624)/252 - x). Do a and 2 have the same value?
False
Let i = -0.06369 - -0.07369. Which is smaller: i or -0.048?
-0.048
Let q = -1017.3 + 972.23. Is q smaller than -2?
True
Let f be (-13)/(156/(-96)) + 20 + 0. Let z = -58 + 88. Are f and z nonequal?
True
Let x = 37.75 - 43. Let n = 0.25 + x. Let t = n + 7. Which is bigger: t or -1?
t
Let m(g) = -2827*g - 42395. Let h be m(-15). Let t = 0.7 + -4.7. Which is bigger: h or t?
h
Suppose s + 50 = 5*n + 6*s, -2*n - s = -17. Suppose -n*z + 403 = 277. Is 21 not equal to z?
True
Suppose 5*n + 7 = -4*w - 1, -3*w + 5*n + 29 = 0. Suppose -2*c = -43 + w. Which is smaller: 23 or c?
c
Let y = 414 - -460. Let s = y + -874.7. Let q = -2 - -2. Which is smaller: q or s?
s
Let y = 128 + -233. Let z = -109 - y. Let s be 2/z - 77/(-146). Is s smaller than -1?
False
Suppose 388*l = -s + 390*l + 273, -4*s + 3*l = -1092. Let o = 443 - 172. Is o equal to s?
False
Let d be (-22 - (-13 + -10))*((-78)/69 - -1). Is d bigger than 12?
False
Let u be 142/(-497) - (23/(-7) + -1). Let z be ((-242)/u)/(-7*(-4)/56). Is -121 <= z?
True
Let n(f) = 3*f**2 + f + 1. Let s be (3/(6/(-8)))/(5 + -6). Let a be (s + -4)*2/(-8). Let i be n(a). Which is smaller: i or 14/11?
i
Suppose -3*r = 4*c - 4, -4*r + c + 22 = r. Suppose -4*p = 4*l, -l - 4*p + r = p. Let k be 12/(-72)*(-1 + l). Which is smaller: k or -45?
-45
Suppose 505 = -5*a + 665. Suppose 12*l = 17*l + 5. Let z be (3 - (-40)/(-6))/(l/9). Which is smaller: a or z?
a
Let h be (-25781)/42 + (-1)/((-36)/(-4 - 2)). Which is smaller: -611 or h?
h
Let z = -40.272 - -40. Let r = z + 34.372. Let n = r + -34. Is -24 at most as big as n?
True
Let c be -1*15/(-10) + 2035/2. Let t = 6097/6 - c. Let o be -1 + (0 - 2) + 0. Which is greater: o or t?
t
Suppose 2*u + 208 = 4*f, 534 = 538*u - 543*u - 4*f. Which is smaller: -534/5 or u?
-534/5
Let i = -68.1 - -73. Let r = i + -20.9. Let z = r + 9. Which is smaller: z or -0.3?
z
Let o = 1.37 + -64.27. Let d = o + 62.7. Is 0.461 greater than or equal to d?
True
Suppose 6*v = -145 - 167. Let r = -63 - v. Suppose -2*p + 5*j = 34 + 3, -p = -2*j + 17. Is r at least p?
True
Let t(y) = -4*y**2 + 14*y + 14. Suppose -z = 4*l - 16, l + 10 = 2*z + 5. Let i be t(l). Are 17 and i non-equal?
True
Suppose 0 = 26*p + 109*p + 97875. Is p smaller than -722?
True
Let l(z) = -44*z + 1677. Let g be l(-6). Is g greater than 1936?
True
Suppose 0 = 4*m + g + 7392, 22*m = 23*m + 5*g + 1829. Is m greater than -0.3?
False
Suppose 0 = -2*i - 2*i. Suppose 79*v = 91*v - 1932. Suppose 8*w - w - v = i. Which is smaller: w or 25?
w
Let y = 2 + -3. Let g be 2/y + (-5)/(-7). Suppose 0 = -1311*c - 905*c. Is g >= c?
False
Suppose -s + 5*m = -747, 3*s + s - 3033 = 5*m. Suppose -5*j - 2*b - 1646 = 2249, -j = -3*b + s. Let x = -10089/13 - j. Which is greater: 2 or x?
2
Let d = 2039 + -2039. Which is bigger: -28/2931 or d?
d
Let i = -3438 + 3208. Which is smaller: -233 or i?
-233
Suppose 133 = -4*w + 4*v - 27, 2*w + 3*v + 65 = 0. Are w and -373/10 non-equal?
True
Suppose -d - 3*u - 3629 = -6*d, 4*d = 4*u + 2908. Is 723 bigger than d?
False
Let b = 83.9 + -92. Let r = -6.1 - b. Is r at least -1/9?
True
Let i = -4065 - -4190. Is -3 at least as big as i?
False
Let z(s) = 24*s + 2016. Let v be z(-84). Which is smaller: v or -6/97?
-6/97
Let f be ((-248)/42)/(-4) + (3 - 2). Let g = -145/21 - -32/7. Let p = g + f. Is -1 greater than or equal to p?
False
Let p = -163 + 497. Let d = 337 - p. Which is greater: 6 or d?
6
Let k(p) = -15*p**2 + 1103*p + 211. Let h be k(74). Is -306 equal to h?
False
Let h(s) = s**2 - 12*s - 84. Let m be h(-5). Are 5/509 and m nonequal?
True
Let m(o) = 164*o - 26. Let z be m(-3). Let t = -531 - z. Which is smaller: t or -10?
t
Let o = 2.57 + 0.13. Let w = -2.7 + o. Is 2/185 <= w?
False
Let i be (0 - (11 + -1))/(-1 - -2). Let x be 78 - (48/(-20) - -2)*i. Let p = x + -42. Which is bigger: p or 31?
p
Let y be -1*(14 + -2)*(2 - 1). Let u = y - -51. Is u > 75/2?
True
Suppose 61*c - 70*c + 1971 = 0. Let m be 1094/c - (-9)/(63/(-35)). Is m less than or equal to 1?
True
Suppose -3*d + 7*d = 8. Let f be d/3 + (-2)/3. Let m be 14 + 1972/(-238) + -5. Is f smaller than m?
True
Let q = 1967 + -1968. Do q and 3/502 have different values?
True
Let j = 5069 + -6012. Which is greater: -938 or j?
-938
Suppose 3*v = -70 + 7. Let a be ((-27)/1638)/(v/(-6)). Let p = a - 4/637. Which is bigger: p or -1?
p
Let o be ((-9)/6)/(-1)*(-26300)/75. Is o >= -526?
True
Let a = 39 - 34. Suppose a*d - 3*z + 0*z = 3, 0 = 2*d - 2*z - 2. Suppose d = -11*n + 2*n. Is -2/13 equal to n?
False
Let a be (37442/(-772))/(2/(-16)). Is a != 388?
False
Suppose 63*l = 2*w + 68*l - 10, 3*l - 6 = -3*w. Which is smaller: w or -6/733?
-6/733
Let n = 11358 - 11358. Let z = -644/703 - -30/37. Which is bigger: n or z?
n
Let c(z) = z**2 + 43*z - 727. Let s be c(13). Let o be (-20)/8*(-12)/23. Which is greater: s or o?
o
Let v(m) = -4*m**2 - 2*m + 4. Let u be v(2). Let n = 18 + u. Suppose n = -17*w + 16*w. Are w and -7/4 equal?
False
Let v be ((-3)/(-2))/((-66)/(-8)). Let y(j) = -8*j + 110. Let x be y(12). Let p be ((-7)/x)/(2/(-3 + -1)). Do v and p have the same value?
False
Let f(z) = -11*z**2 - 27*z - 97. Let t(h) = -13*h**2 - 28*h - 97. Let j(g) = -7*f(g) + 6*t(g). Let b be j(18). Is 154 at least as big as b?
True
Let s = 1422/7 - 204. Let v = 2.363 - 0.063. Let b = 2.7 - v. Which is greater: b or s?
b
Suppose -24*d - 41*d + 18915 = 0. Is 287 less than or equal to d?
True
Let b = -9109.333 + 9110. Is -1 at least as big as b?
False
Let y be 2 + -5 + 50/10. Suppose -4*c = -b - 5, 0 = 2*c + 2*b + 3*b - 19. Let v be -1 + (0 - c) - -4. Do v and y have different values?
True
Let p(x) = -2*x**3 + 3*x**2 + 12*x - 2. Suppose -17*o - 48 = 7*o. Let h be p(o). Let w = -649/4 - -163. Is w > h?
False
Let l = -1.66 + -224.34. Let d = -226.02 - l. Let x be (-1)/(-4) + 28/(-48). Is x greater than or equal to d?
False
Let r = 0.7428 + 120.1872. Let s = r - 0.93. Which is smaller: 2/3 or s?
2/3
Let k be (4/(-10))/((-2)/5). Let g be 12*(9 - 2)*4/14. Let a be 2/184*(22 - g). Is k bigger than a?
True
Let p be 3/((-6)/84*21). Let v = 36 + -18. Let g = 28 - v. Is p greater than or equal to g?
False
Let d be 138/345*(-275)/((-2)/2). Let s be (-4)/(152/d) - (8 - 11). Suppose 5*b - 19 = 3*r, b = -2