f(v) + 9*l(v). Let b be k(6). Suppose -2*g + g - 5 = -c, -3*g - b = 4*c. Is g greater than -5?
False
Let l be (-190)/(-4)*58/(-29). Is l at least -96?
True
Let w = -378 - -455. Which is greater: -0.2 or w?
w
Suppose -2*z + 5*d = -6*z + 185, -2*d = -2. Let m be 4/5*z/18. Do m and 8/3 have the same value?
False
Let a = 167 - 167. Which is bigger: a or 2/317?
2/317
Suppose 16 = -2*g - 5*b, -5*b - 28 = -g - 6. Let r(h) = 3*h**2 + h - 1. Let y be r(1). Let f be (-9)/y*2/g. Is f greater than -2?
False
Let j = -0.8 + 0.5. Let m = -3527 - -3527.3. Which is smaller: j or m?
j
Let i be (-135)/(-78)*(-36)/(-45). Suppose 5*p - 4*r = -3, -9*r = -5*p - 4*r - 5. Which is smaller: p or i?
p
Let i be -5*(0 + 10)*(-7)/(-14). Which is greater: i or 1/7?
1/7
Let o = 501082/9 + -55443. Let f = -235 + o. Is -3 less than or equal to f?
True
Let w = 15 - 14.9. Let u = 0.1 - w. Which is smaller: u or -0.18?
-0.18
Let c = -0.5 - -0.4. Which is smaller: -24 or c?
-24
Suppose -12*g + 8*g - 5*x + 27 = 0, -4*x - 7 = g. Let f = 1459/5 - 1397/5. Which is smaller: g or f?
f
Let j = 154 + 207. Does 362 = j?
False
Let j = -0.31 - -22.31. Let t = j - 21.51. Let z = -0.19 + t. Is z equal to 3?
False
Let i be (1/(118 + 2))/((-42)/(-56)). Is 1 greater than or equal to i?
True
Let v(x) = -x**3 + 9*x**2 - 10*x - 7. Let z be v(8). Let w = -6163 - -6138. Which is bigger: w or z?
z
Let x = 5064/5 - 1007. Let p be (-4)/(-14) - (-94)/14. Is p > x?
True
Let q = -0.3 + 2.3. Suppose 3*r = -7 + 1. Let y be (0 + 2/4)*r. Are q and y equal?
False
Let w = -2119 - -2116.8. Which is smaller: w or 0.4?
w
Let i = 1766 + -990. Is i greater than or equal to 776?
True
Let q = -747 + 746. Is 1/1517 at least as big as q?
True
Let g = 550 + -548. Is -62/7 < g?
True
Let g = -148 + 184. Is 32 at least g?
False
Suppose -583*t = -585*t - 594. Are t and -1491/5 unequal?
True
Let z(y) = y**3 - 5*y**2 + 3*y - 15. Let s be z(5). Which is smaller: s or -2/47?
-2/47
Let g be -347*(6 + -5) + 5. Does -343 = g?
False
Suppose 5*t + 5*s + 15 = 0, 2 - 6 = 4*t + 2*s. Let o = 74/11 - 3785/561. Which is smaller: t or o?
o
Suppose -5*d + 818 = -4*a, -5*d + 4*a = 5*a - 833. Suppose 3*t - d = 4*p, 0*t - t + 3*p = -62. Is 49 != t?
True
Let q = 27666/11 + -2515. Are -5 and q non-equal?
True
Let u = -54 + 56. Let x be (30/45)/(u/6). Which is greater: -11 or x?
x
Let b be -3 - ((-16)/4 + 8). Which is greater: b or -19?
b
Let x(m) = -m + 11. Let s be x(8). Suppose 4*a + c = -4 - 1, 2*a - s*c = 15. Which is bigger: -1 or a?
a
Suppose -1124 = -6*b - 38. Which is smaller: -0.1 or b?
-0.1
Let t = -19683 - -19682.91. Let x = 1 - -3. Which is smaller: t or x?
t
Suppose 5801 = 60*m - 79. Is 96 not equal to m?
True
Suppose -3*z + 3*w = -171, 5*z = 6*w - 4*w + 270. Which is smaller: z or 155/3?
155/3
Let c(w) = 160*w**2 + w + 1. Let l be c(4). Let g be (-4)/(-10) - 1*1011/l. Is g greater than or equal to 0?
True
Let y be 2 + -1 + (-1440)/(-50). Let r = y + -30. Let x(q) = q**2 - 6*q - 3. Let z be x(2). Are z and r nonequal?
True
Let l = 685/3234 - -3/98. Which is greater: l or 0?
l
Suppose 4*v + 4*w - 364 = 0, v + 4*v - w - 455 = 0. Let b = -85 + v. Are -2 and b unequal?
True
Let d = 58 - 956/17. Which is bigger: d or 2?
2
Suppose 0 = 3*u - u - 2. Let v = 630 + -924. Let n = v + 3824/13. Is n < u?
True
Let c be (24/21)/((-2)/(-8)). Let a be (8/12)/((8 + -7)/6). Is c > a?
True
Let b = 29 - 41. Suppose -1157 + 1217 = -6*x. Is x greater than or equal to b?
True
Let o(z) = 6*z**2 - 12*z + 6. Let w be o(5). Which is smaller: w or 95?
95
Let q(h) = -h**3 + h**2 + 3*h + 3. Let v be q(3). Let m be (0 + (-6)/8)/(39/234). Is v bigger than m?
False
Let o be (2 - 29)/3 + 0. Let r be (o/(-6))/((-12)/(-16)). Let y be ((-5)/8)/((-1)/r). Which is greater: y or 1?
y
Let h = -0.2 - -0.4. Suppose 0 = -35*s + 32*s - 24. Let c be (s/(-16))/(1/(-20)). Is c not equal to h?
True
Suppose -8*f - 15 = 7*f. Are -5/4 and f unequal?
True
Suppose -h - 187 = -3*p, 3*p + 10 - 212 = -2*h. Suppose -d = d - p. Is 31 equal to d?
False
Let w(i) = 45*i - 4. Let x(k) = 46*k - 4. Let g(q) = 2*w(q) - 3*x(q). Let y be g(-2). Is 101 < y?
False
Let l = -3.94 + 4.04. Let v = 1847151/1043 - 1771. Let x = v - -747/1043. Is l not equal to x?
True
Let z be ((-1503)/13734)/(17/2). Let n = z + -3/763. Which is greater: n or 1?
1
Let w(b) = -6*b + 2. Let t be w(3). Let q = 2363 - 2377. Does t = q?
False
Let k = 0.65 + -0.722. Let b = k - -2.072. Is -0.16 at least b?
False
Let r = 37 + -65. Let y = 25 + r. Which is greater: y or 1?
1
Let s = 2/17503 - 13704857/70012. Let y = -8517/44 - s. Is 3 at most as big as y?
False
Let x = -0.8 - -0.75. Let h = x - 0.05. Let t be 4/10 - (-3)/5. Which is smaller: t or h?
h
Suppose 88*o = 89*o + 1625. Let l be 2/3 + o/1650. Is l at most as big as 0?
True
Let r = 4 + -5. Let l be r/2 + (-15)/(-6). Let m be (1/l)/((-5)/(-10)). Which is greater: 5/6 or m?
m
Let r be ((-1)/(-1*1))/1. Let f be ((-41)/((-5412)/72))/8. Does f = r?
False
Let c = 2089 - 2089.06. Is c > 2/31?
False
Let m = 5 + -15. Let a = -9.88 - m. Let b = a - 0.02. Which is smaller: b or 0.2?
b
Let r(v) = 2*v - 4. Let j be r(0). Is j >= -11?
True
Suppose -10*d + 484 = 134. Is 9 <= d?
True
Let c = 840/13 + -13812/221. Which is bigger: 2 or c?
c
Suppose -4*l + 4*b = -l + 34, 6 = -3*l - 3*b. Suppose 3*v + 0 = 15. Let h = v + l. Is -1 not equal to h?
False
Let x = 187 + -333. Let b = 143.04 + x. Let i = -0.04 + b. Is i smaller than -1?
True
Suppose -3*m = -0*m + 24. Let l be ((-16)/66)/(m/12). Let i = 80 + -79. Which is bigger: i or l?
i
Suppose l = c - 0*c + 4, 3*c = 2*l - 5. Which is greater: l or 36/5?
36/5
Let o = 35 + -45. Let v = -0.08 + 3.08. Let b = v + -3.1. Is b at least o?
True
Let r(n) = -2*n**2 - 4297. Let z be r(0). Let v = z - -81661/19. Which is greater: v or 2?
2
Let q be (-8)/(-321)*9/(-12). Which is smaller: q or -0.01?
q
Let n = -718 - -66055/92. Which is smaller: 1 or n?
n
Suppose 482*j - 477*j - 740 = 0. Which is greater: 2 or j?
j
Let m be 5 - 2 - (3 - 8). Let l be 1 + 5/((-10)/m). Let x = -1511/4 + 376. Which is bigger: l or x?
x
Let h = 20 + -21. Let s be (91/42)/(h/(-6)). Which is bigger: 11 or s?
s
Let v be 5/10*(1 - 1). Suppose 2*a + 26 = -24*a. Which is smaller: a or v?
a
Let m = 776 - 779. Are m and 123 unequal?
True
Let m(q) = -q**3 - q**2 - q - 3. Let s be m(0). Let n = 3 + s. Suppose 4*x - 5*f + n*f = 10, f = x - 2. Is x > -2?
True
Let i = 135/41 - 151053/45838. Let l = 5174277295/2244797542 + 1/2007869. Let p = l - i. Which is greater: p or 2?
p
Suppose 3*k + j - 6*j - 31 = 0, -3*j - 13 = k. Suppose -1 = -b + k. Suppose -25 + 10 = b*y. Is -2 at least as big as y?
True
Let o = 2469/32 + -77. Which is smaller: 0 or o?
0
Let m(f) = 4*f - 3. Suppose -5*s = 14 + 11. Let j(b) = -b + 1. Let q(y) = s*j(y) - m(y). Let l be q(6). Is l at most 4?
True
Let u(k) = -2*k**2 - 2*k - 15. Let t(o) = -3*o**2 - 3*o - 23. Let n(y) = 5*t(y) - 7*u(y). Let s be n(0). Let d be -1*(3 + 29/s). Which is greater: -1 or d?
d
Suppose -1045*s + 210 = -1040*s. Is 45 less than or equal to s?
False
Let h = -0.0558 + -72.6442. Let q = h - -72. Let l be (-9)/15 - (-1)/1. Which is bigger: l or q?
l
Suppose 114*v + 3 = 111*v. Is -9/10 != v?
True
Suppose 5*o - 29 = -4*c, o = -c - 3*o + 21. Is 5/56 less than or equal to c?
True
Let c = 35.8 + -34.6. Which is smaller: c or 2/9?
2/9
Let w = -15 - -15. Let x be (-3 - -1) + (-221)/(-119). Which is greater: w or x?
w
Let x be (-1 - 1) + 2/(-1). Let r = -223 - -222. Which is smaller: r or x?
x
Let v = -0.19 - -1.14. Let r = v - 1. Let i(h) = -14*h + 434. Let s be i(31). Which is bigger: r or s?
s
Let b = -37 + 37. Suppose b = -k - 5*g + 27, -5*g - 9 = 3*k - 40. Are k and -2/5 nonequal?
True
Let x be 2 + -1 - 194/182. Let u = 128666738/273 - 471308. Let o = u + x. Does 0 = o?
False
Let d be (-2)/(-18)*-2 - 55/99*-4. Let a = 2747 - 35687/13. Which is greater: d or a?
d
Let x = 38.79 - -0.21. Let a = x - 36. Which is bigger: a or -5?
a
Let p be ((-2)/(-3))/(4/30). Suppose 12 - p = z. Which is bigger: z or -1?
z
Let n be 3/2 - 103/66. Suppose 0 = 4*l - 439 + 131. Let r = -78 + l. Is r >= n?
False
Let x = 3197/76 + -42. Do x and 0 have the same value?
False
Let m = 781/1380 + -3/92. Suppose 0 = -4*d + 7 - 3. Which is greater: m or d?
d
Suppose -i + 13 + 17 = 0. Let