t l be u(-2). Let i = 2062 + -2062. Which is smaller: i or l?
i
Suppose 2*l = -q + 1 + 3, -3*l + 6 = 2*q. Let g be ((-14)/10)/(5/(-15)) - l. Let m = 12 - 9. Which is smaller: m or g?
g
Let i(t) = -t**2 - 2*t + 48. Let z be i(6). Suppose g + 34*g = z. Let x be -2 - (-108)/(-107)*-2. Is x bigger than g?
True
Let k = -3740 + 5717. Which is bigger: -0.1 or k?
k
Let g = -127 + 150. Let b = g - 23.2. Is b greater than 5/2?
False
Let d = 91784 - 91785. Let a be 172611/(-78864) + 2*1. Let c = a - -2/1643. Is d greater than c?
False
Let d(w) = -3*w**2 + 96*w + 121. Let x be d(33). Which is bigger: 85 or x?
85
Suppose 21*z - 18*z = -10*o - 47, 2*o = 4*z - 14. Is -2/6041 greater than or equal to z?
False
Let h be (4 - 4)/(-1 + -2 + 5). Which is greater: h or 2127?
2127
Let v = -0.2867 + 2.9187. Which is greater: v or -0.1?
v
Let a(i) = 7*i**3 + 2*i**2 - i. Let m be a(1). Suppose 22 + m = 3*y. Let g be 2/4*y/5. Which is greater: g or -4/19?
g
Let x(l) = -l**2 - 49*l - 1462. Let p be x(-32). Which is bigger: p or -912?
-912
Let l(r) = -r**3 + 6*r**2 + 2*r - 9. Let b be l(6). Suppose b*i + 3*w = 7*w + 8, 8 = i - 4*w. Let y = -1509 - -1475. Is i bigger than y?
True
Suppose -18*h - 177 + 2823 = -9*h. Is h > 294?
False
Let a(c) = -c**2 + 30*c - 68. Let r be a(27). Let m be r/((-169)/39) + (-1 - 42). Is -40 at most as big as m?
False
Let n be 2 + 0 + (-24)/(-8). Suppose 52 = 2*u + 7*f - n*f, -5*u + 126 = 3*f. Are u and 74/3 unequal?
True
Let g = 2841/7630 + -1/1090. Let x = 18/7 - g. Which is greater: x or 1?
x
Let j = -2106451/76 + 27716. Is j equal to -1?
False
Suppose -11 = 7*s - 4. Let h be (1*s)/(-9 - (-1191)/132). Which is smaller: -134/3 or h?
-134/3
Let b = 66 - 39. Let y be -5 + 141/b - 1648/72. Are y and -1 unequal?
True
Let d(n) = 3*n - 71. Suppose 0 = -2*l - 25 + 73. Let o be d(l). Which is smaller: o or -4/57?
-4/57
Let w be -3 - 7852422/(-5382) - 4/(-46). Let s = -1456 + w. Which is greater: 0 or s?
s
Let p be 1 + ((-1)/(-3))/((-40)/115). Let y = -1/6 + p. Which is smaller: 10 or y?
y
Let o be 10 + -4*(-7)/28. Let c(d) = 2*d**2 - 20*d - 8. Let i be c(o). Which is smaller: 7 or i?
7
Let y(u) = 12*u**2 - 42*u + 14. Let p be y(8). Which is smaller: p or 444?
444
Suppose -3*j - 5*k - 33 = -6, 3*j = -3*k - 27. Let g = 3 + 17. Suppose -2*p - g = -0*p. Which is smaller: p or j?
p
Let t = -8071 + 8158. Which is smaller: 97 or t?
t
Let d = -13/13580 + 284801/325879260. Which is greater: d or 0?
0
Suppose 6*p - 5*p - 133 = 0. Let t be 3154/p + 2/(-14)*-2. Let u = t + -25. Do u and -3/13 have the same value?
False
Let b = -8610 + 6877. Which is smaller: b or 0.1?
b
Let f = 1309 + -875. Suppose -12*z - f = -5*z. Let g(h) = -6*h**2 - 33*h. Let l be g(-7). Which is smaller: l or z?
l
Suppose -19*u = -2*a - 17*u + 10, 5*a - 8*u - 40 = 0. Which is smaller: 2/563 or a?
a
Let x = -99 - -104. Let s(m) = -x + 270*m - 263*m - 28. Let d be s(4). Are d and 4 unequal?
True
Suppose 22 = -3*w + 2*z, -2*w + 4*w = -5*z - 2. Let l be (45/(-6))/5*(-4)/w. Is -22 at most as big as l?
True
Let f = -482054 + 12882893152/26725. Is 1 > f?
True
Let v = -695 + 867. Is v smaller than -1?
False
Let m = 0.7184 + -0.6884. Is m < 19.4?
True
Let x = 29 + -20. Suppose 49 = x*a + 157. Let k = -10 - a. Is k < 7?
True
Let r(z) = 3*z**2 + 31*z - 74. Let s be r(-11). Which is smaller: s or -54?
-54
Suppose -4*j - 12 - 16 = 0. Let h = -8494 + 8486. Which is greater: h or j?
j
Let w be (115 + -15)*11/4. Let j be (24/10)/(-1*5/w). Let a = j + 116. Is -16 < a?
False
Let h(w) = w**2 - 17*w + 42. Let p be h(14). Let f be p*3/(-3 + -6). Is f greater than -3?
True
Let j = 151.98019 - -0.01981. Which is bigger: j or 5/4?
j
Let t = 45 - 52. Let u(p) = 2*p + 9. Let o be u(t). Let f(l) = -l**3 + 2*l**2 + 2*l - 2. Let r be f(3). Does o = r?
True
Suppose -43*f - 60 = -17. Which is smaller: -7/347 or f?
f
Let y = 99/28 + 23799/28. Which is greater: 853 or y?
y
Suppose 4*m - 833 = -797. Let i be ((-1)/(-2))/((-4)/(-104)). Is i equal to m?
False
Let f be (-2)/(-4) - (15941/(-2546) + 9 + -2). Is 0 > f?
True
Let w(c) = -27*c + 372. Let m be w(-14). Which is bigger: 744 or m?
m
Let n(y) = -4*y. Let s be n(1). Let f be (-38)/(-133) + s/14. Is -1/103 at most as big as f?
True
Suppose s + 4*v = 2*s - 86, 3*s = v + 236. Let g = s - 69. Let x(i) = -2*i - 16. Let l be x(-12). Which is smaller: l or g?
l
Let q = -9551 - -9551. Is q > -50/379?
True
Let v be (1/(10/(-184)))/(2/(-5)). Let q be ((-32)/70)/4 - v/161. Which is smaller: q or -52?
-52
Let j be (-11)/33 + (-14)/(-6). Suppose 60 = s + j*s. Suppose 0 = -11*t + 131 + 100. Which is smaller: t or s?
s
Let d be -1*(-74 + -2)/2. Let c = 116/3 - d. Let n = -0.02 - 9.98. Is c < n?
False
Let p be -1 + (503 + 1)/4. Let d be 0 + 2/10*0. Suppose 5*r = w - 130, d = 10*r - 6*r - 5*w + p. Is r at most -25?
True
Suppose -738 = -o - 5*a, -15*o - 1471 = -17*o - 5*a. Suppose 1885 = 32*r + o. Is 32 at most r?
True
Let m = 10206 - 10205. Let p be -1 - (1056/(-273))/4. Which is greater: p or m?
m
Suppose a - 3*r + 1 = 3*a, 5*r = 3*a - 49. Let v be (a - (-2 - -5)) + -11 + 5. Which is bigger: -6/83 or v?
-6/83
Suppose -4*i - 3*u + 63 = -2*i, -5*i + u = -115. Suppose n + 20 = 6*n. Which is greater: n or i?
i
Let o = 46 + -46.195. Let u = o + 0.195. Does u = -14?
False
Let v be (-185 - -184)*(2 + 2 + -3). Which is greater: -1/1496 or v?
-1/1496
Suppose -21869 = -2*q - 178*y + 165*y, 0 = -q + 4*y + 10924. Which is smaller: 10926 or q?
10926
Let n be -6*15*(-8)/1332. Let x = n + -408/481. Let d = 0.4 + -0.3. Which is smaller: x or d?
x
Let f = 3951620/186607 - 4038/191. Is -1 less than f?
True
Suppose -2*c + 4 = 2*p - 4, p + 2*c - 7 = 0. Let g be (-360)/(-28)*(-70)/16. Let q = -5617/100 - g. Which is greater: q or p?
p
Suppose 5*f = 166 - 146. Suppose -18 = -3*k + 4*p, 2*k - f*p = -3*p + 7. Which is bigger: 38/17 or k?
38/17
Suppose 2*p = 4*p. Let d be 1161*(57/15 + -4). Let r = -233 - d. Is r greater than or equal to p?
False
Let h(c) = -c**2 + 10*c + 7. Let r be h(10). Suppose 0 = 2*m - 5 + r. Let t be (272/(-120) - -2)/((-4)/(-10)). Is t greater than m?
True
Let z be 35 + -35 - 11/2. Let j(u) = -4*u**2 + 5*u. Let v be j(2). Are z and v non-equal?
True
Let k = -4342 + 4341. Does k = -3/4511?
False
Let w = 18.5 + 120.5. Let t = w + -122. Which is smaller: t or 0.01?
0.01
Let c(s) = -8*s**3 - 2*s**2 + 2*s - 1. Let x be c(1). Let p be (-132)/x - ((-4)/(-6) - 0). Suppose -2*b - 2*b = y + p, 3*b = -2*y - 8. Is -4 <= b?
True
Let y(q) be the second derivative of -28*q**3/3 - 9*q**2 + 4*q. Let o be y(27). Let v be 1/4 - o/(-936). Which is smaller: v or -2?
-2
Let b = -192506 + 9047251/47. Do b and -12 have different values?
True
Let x = 0.17093 - 40.17093. Which is smaller: x or 2/9?
x
Let d = 72838 + -72837. Let o = -2.92 - -3. Let x = 18.08 - o. Which is smaller: x or d?
d
Let m = -2.768 + 0.378. Let g = 0.07 - m. Let d = -0.54 - g. Is -1 >= d?
True
Let z = 16549 + -8224855/497. Which is smaller: z or 0?
z
Let u = 28819 - 28819. Is 12190 at most u?
False
Let k = -14.9 + 14.91. Let j = 0.797 - 24.797. Which is bigger: k or j?
k
Let t = -39.1 + 71. Let l = -32.19 + t. Let n = -2 - -3. Which is smaller: l or n?
l
Let g(s) = 6*s**2 + 13*s + 20. Let r be g(-2). Let n be r/(-15) + (-8)/(-40). Which is greater: 2/99 or n?
2/99
Suppose -4*a = -459 + 39. Let f = a - 106. Are -1/204 and f unequal?
True
Let x(b) = 96*b - 31. Let r be x(7). Let j = r - 633. Let d(s) = 5*s. Let y be d(1). Which is smaller: y or j?
y
Let r = -1.2 - -0.6. Let t = r + 2.6. Let y be (-1008)/2600 - (-556)/1807. Which is greater: t or y?
t
Let j = 294.17072 - 0.17072. Which is bigger: -13 or j?
j
Let o be 474/(-21) - -22 - 2*11/(-14). Which is smaller: o or -10/1021?
-10/1021
Let k = 823 + -2470/3. Which is smaller: k or 316?
k
Let p(a) = 2*a**3 + 9*a**2 - 81*a + 777. Let u be p(12). Is 4558 equal to u?
False
Let n = -1433 + 1191. Is -1696/7 equal to n?
False
Let r = 1/2214 - 4982/1107. Let v be (-18)/(-12)*(-20)/6. Is v >= r?
False
Let q(i) = 79*i**2 - 90*i + 262. Let t be q(3). Which is bigger: 702 or t?
t
Let s be ((-400)/16 + 19)*(-2718)/(-28). Which is smaller: -582 or s?
s
Let a = -630.81 + 1.81. Let b = 618.28 + a. Let s = -0.28 + b. Which is smaller: s or -1/4?
s
Suppose 60*n - 63*n = -117. Let m be (-22)/121 + n/(-209)