e 6 + 0 = 2*l, 0 = 2*r + 5*l - 15. Let w be (6/66)/(6/(-46)). Is w smaller than r?
True
Let i(m) = -9*m**2 + 23. Let p be i(4). Let u = p - -102. Which is smaller: -20 or u?
-20
Suppose -15*o + 95 = 4*o. Is o bigger than 33/7?
True
Let n(p) = 3*p**3 + 6*p**2 + 108*p + 23. Let y be n(-10). Which is greater: y or -3458?
y
Let p = 1/993 + 988/4965. Which is smaller: -168 or p?
-168
Let w be (528/64 + -3)*-4. Which is smaller: 73 or w?
w
Suppose 4*z - 6*z + 22 = -4*v, -3*z + 3*v = -18. Let b be (0 - z)*(-9 + 10). Which is greater: b or -3/292?
-3/292
Let y be (-4)/30*15/(-25). Let o(a) = -4*a - 10. Let p be o(-5). Let c = 10 - p. Is c bigger than y?
False
Let q(w) = w**3 - 4*w**2 + w - 7. Let c be q(4). Let o be 8/60*2751 - -2. Let r = 367 - o. Which is smaller: r or c?
c
Suppose -3*h + 12 = 0, 15*v + 3*h - 39592 = 10*v. Let m be 3 + (-35)/21 - v/5964. Is 1 less than or equal to m?
False
Let o = -36/34183 + 2794523/154233696. Let f = o - -2/141. Let g be 21/(-27) + 2/(-9). Are g and f unequal?
True
Suppose 4*z + 2 = 2*i, 0 = -3*z + 213*i - 216*i - 6. Let g = 3/16574 + -5328547/33148. Let f = g - -160. Is f less than or equal to z?
False
Let u be 82/(5 + -3) + 5. Let w be 1 - (3115/(-77) + -4). Is w less than u?
True
Let c be (2/3)/((418/(-6699))/(-19)). Let i = 258 - c. Do i and 49 have the same value?
False
Let v(f) = -58*f + 21. Let n be v(15). Let u = n + 849. Which is smaller: u or 36?
u
Suppose 32*s - 21 = 13*s - 192. Are s and -29 unequal?
True
Let x = -12636 + 12635. Is x greater than or equal to 778/11?
False
Let d = 2980 - 324786/109. Is d >= 0?
True
Let m be (-4)/(-6) + (-8)/3. Let v be 1/m*11/(429/(-12)). Which is bigger: v or -53?
v
Let r = -454/65 + -55857/1430. Let u = 46 + r. Is u less than or equal to -1?
False
Let w = -10698 - -10721. Is -1.1 at most as big as w?
True
Let v = 33439747921/2037 + -16416174. Let b = 4/291 - v. Which is smaller: 0 or b?
b
Suppose 7*n + 365 = -t, 3*t - 592 = -3*n - 1579. Is t less than -21?
True
Suppose -6*a = -80 - 10. Suppose -y = l - 40, 5*l = 2*l + a. Let c = -51 + y. Which is greater: -17 or c?
c
Let o = -1483697/401 - -3700. Let b be (-3 - 6/3)*((-14)/(-203) - (-76)/580). Which is greater: b or o?
o
Let w = 487.2 + -488.2. Which is bigger: -22/35 or w?
-22/35
Let a(t) = 109*t**3 + 1. Let l be a(-1). Let s be 1 - (l/(-21))/4. Suppose -13*r + 2 = -11*r. Which is smaller: r or s?
s
Suppose -98*g - 1050 = -68*g. Which is smaller: g or -774/23?
g
Let u = -173 - -93. Let o = 556/7 + u. Is -2/5 != o?
True
Suppose 24*p - 3*p + 9114 = 0. Let q = p - -439. Are 2 and q nonequal?
True
Let c be 30/4 + (-5)/(-10). Let y be 3/c*2 + (-115)/(-10). Let d = y - 2017/164. Is d not equal to -1?
True
Let j = -2261 + 13597/6. Suppose 3*u - 11 = 7. Is j > u?
False
Let v = 7408 + -6360. Which is smaller: v or 1052?
v
Let m be (-6)/(-8)*2/(-183). Let x = -6887 + 6886. Which is greater: x or m?
m
Let q(n) = n**2 + 16*n + 43. Let o be q(-14). Let j be (0 - (-54)/o)/((-132)/(-120)). Are j and 2 nonequal?
True
Let a = 2077 - 2249. Is 3 > a?
True
Let z be 13 + 2 + -2 + 4. Suppose w = -z*w - 2808. Which is smaller: w or -157?
-157
Suppose -t + 3 = -2. Suppose 3*p - 15*c - 463 = -14*c, t*c + 173 = p. Is p at most 154?
True
Suppose -4*t = 4*r, r = -130*t + 125*t + 32. Is r greater than or equal to -422/49?
True
Let d be -3 + 8 + 25 + -34. Suppose -2*s = 5*y + s + 50, 4*y - 4*s = -8. Is y not equal to d?
True
Let i = -18 + 27. Let m be i/(-12) - 74625/(-4368). Let v = -261/16 + m. Which is greater: 1 or v?
1
Let t = -66 + 71. Suppose -t*v - 16 = -9*v - 2*r, 0 = v + r - 6. Which is smaller: v or 27?
v
Let q = -861 + 860. Suppose 4*g - 54 - 2 = 0. Is g less than or equal to q?
False
Let a be (43 - 0)*(-56 - -25). Which is bigger: -1331 or a?
-1331
Let c = 5091 + -5163.39. Let d = 1.39 + c. Let f = 71.1 + d. Does f = -1/29?
False
Let l = 134.11 - 6.01. Let y = l - 129. Let b be (-4)/6*(-3)/(-6). Which is smaller: b or y?
y
Suppose 700 = -2*m + 2*l, -m + 3*l - l = 353. Let v = 109 + m. Which is smaller: v or -237?
v
Let g = -3710 + 3413. Which is greater: g or -0.2?
-0.2
Let q = -1719 + 5002/3. Let w be (-6413)/(-242)*(-4 - -2). Which is smaller: q or w?
w
Suppose 5*j - 87 - 83 = 0. Suppose 13*g - j = -177. Let v(f) = -3*f + 12. Let z be v(8). Which is greater: g or z?
g
Suppose 12*n + 31*n = -67*n + 110. Let b = -392.3 + 413. Which is smaller: n or b?
n
Let f(a) = 19*a**3 - a**2 + 9*a - 22. Let q be f(2). Is q at most as big as -0.26?
False
Let z = -0.717 + 0.697. Is z < -173.8?
False
Let g be (-2 - 940/4)/(85/170). Is 6 at least as big as g?
True
Let r be (4 - 1705/370)*2/3. Let x be (2/3 - (-10)/(-15))/(-4). Which is smaller: x or r?
r
Suppose 855*j - x + 14 = 851*j, -2 = -x. Do j and 2692 have different values?
True
Suppose 156 = -5*o - 219. Let q = 53 - 52.9. Which is bigger: q or o?
q
Let a = 250.8 - 256. Let i = a - -147.2. Which is smaller: i or 2?
2
Suppose 23*x = 7*i + 18*x - 497, x + 71 = i. Let a = 1 - -3. Suppose -28 = -2*g - 2*h + 116, 286 = a*g + 2*h. Do i and g have different values?
False
Let m = -42.82 + 133.82. Which is bigger: m or -0.16?
m
Let k = 302 - 262.2. Let q = k - 44. Let n = 2.7 + q. Which is smaller: n or 0.1?
n
Let a(o) = -9*o - 30. Let w be a(-4). Let t be -6*1 + (-7 - (-12 + w)). Is -31/5 at most t?
False
Let g = 3160 - 3160.1. Let i be ((-4)/5 + 1)*7. Let z = i + -9/10. Which is smaller: z or g?
g
Let x = -3526/5 - -711. Let y(q) = 13*q + 14. Let w be y(0). Suppose -w - 20 = -4*v + 3*a, -3 = -v - 2*a. Is v equal to x?
False
Let h = -32.2 + 0.2. Let x = 38 + h. Let f = -2/49 + -43/147. Which is bigger: f or x?
x
Suppose 0 = -6*i + 21 + 9. Suppose -2*n + i*n + 5*v = 53, -2*v - 25 = -3*n. Let g be (4 - (-33)/(-6))*-6. Is g != n?
True
Let o = -0.1 - 0.1. Let y = 9.5034 + -9.4734. Is y >= o?
True
Suppose 0 = -50*y + 56*y. Suppose y = -20*t + 12*t - 16. Is t >= -8?
True
Let s = 19.7 + 0.3. Let i = -23.97 + -0.03. Let w = i + s. Which is smaller: -2/3 or w?
w
Let d = -2/43 - 35/172. Let l = 2.239 - -0.631. Let h = l + -0.67. Is d at least h?
False
Let f(k) = -k**3 + 5*k**2 + 3*k - 11. Let i be f(5). Suppose -d - 11 = -i*d + 2*x, -5*d = x - 1. Let p be (-4 - -4)/((d - 0) + -2). Are 1/5 and p equal?
False
Suppose 2*v - 36 = -90. Let k(t) = t**2 + 31*t + 7. Let n be k(v). Is -100 less than n?
False
Let i = 1506 - 1376.1. Let l = i - 130. Is -153 less than l?
True
Suppose 3*z = -3*p + z + 45, p + 5*z = 15. Let d be (125622/p)/((-68)/60). Let x = 7392 + d. Is 2 >= x?
False
Let k be (8/6)/(3/(-81)). Suppose 27*y = 28041 + 6708. Suppose 362 = 25*f + y. Which is greater: k or f?
k
Let r = -12 + 12.52. Let t = 88 - 202. Let y = t - -114. Which is greater: r or y?
r
Let t(n) = 18*n - 150. Let z be t(10). Let j be 4*63/z - 4/2. Which is bigger: 6 or j?
j
Suppose -8*y + 4*y = -k + 105, 4*y - 4*k = -120. Let o be (-10 + 2)/((-75)/y). Which is smaller: o or -2?
o
Let d = 29892 + -13686. Is d > 16205?
True
Let y = 0.074 + 9.226. Let t = -15.48 - -25.78. Let p = y - t. Are p and -89/5 nonequal?
True
Let d(i) be the third derivative of -i**6/60 + i**5/60 - i**4/6 + i**3/3 + 3*i**2 + 5*i. Let g be d(2). Which is greater: 1 or g?
1
Let g = -25.965 - -24.965. Which is smaller: 7447 or g?
g
Let u = -24626 + 25114. Are u and 463 equal?
False
Let h = -26.1 + 27.1. Which is smaller: h or 3427?
h
Suppose 4*l + 5*v = -6, 47*l - 52*l = 5*v + 5. Let n = -2965359 + 86006988/29. Let w = 399 - n. Which is smaller: w or l?
w
Let p be 3/4 - (-3 - (-6)/8). Let x(c) = 8*c - 13. Let r be x(p). Are r and 8 equal?
False
Let g(m) = m**3 - 2*m**2 - 5*m - 12. Let h be g(4). Which is smaller: h or 7988?
h
Let c be -30 + 31 + (30 - (0 - 1)). Suppose 6*t = -104 + c. Is -47/4 < t?
False
Suppose 4*c - 9*c = u + 24, 3*c = u - 8. Let z be 208/182*1/c. Is z >= 165?
False
Let n = 137 + -98. Let s = n + -34. Suppose 2*h + 6 = 3*m, -m + 4 = s*h + m. Is h >= 2/45?
False
Suppose 5*d + 5 + 15 = 0. Let r be (-1 + (-20)/(-8))*d/(-3). Let t be 0/(-4 + r) + (-5)/(-1). Which is greater: 2/13 or t?
t
Let j = -26927 - -26526. Does j = -2?
False
Let y = -10852/1603 - 20/229. Which is greater: 0.5 or y?
0.5
Let j = 2043394/450823821 + -76/16501. Which is smaller: j or 0?
j
Let f = -3536 + 3535. Which is greater: 33/140 or f?
33/140
Suppose -5*t = 20, -v - 3*v = 3*t