be m(-31). Let j be 1/(f + 52/12) - 2. Are -2/71 and j unequal?
True
Let o = 106 - 104. Suppose -v = 4, -5*i - 22 = -o*v + 55. Suppose -2 = -2*a + a, -a - 14 = f. Which is smaller: f or i?
i
Suppose 4*y + 1 = -3*q, -5 = -y + 2*q + 3. Let w be 2/3 - (-6)/18. Let r(u) = 3*u - 2. Let i be r(w). Which is bigger: y or i?
y
Let f = -2015 + 1917. Is f smaller than -84?
True
Let h(a) = 33*a - 2966. Let i be h(91). Let s = -0.04 + 0.04. Is i bigger than s?
True
Let y(u) = 3*u**2 + 57*u - 337. Let z be y(-59). Which is greater: 6742 or z?
z
Let c = 4801 - 5796. Which is smaller: -991 or c?
c
Let u = -0.3627 + 0.3627. Is u smaller than -1621?
False
Let y(o) = 2*o**2 - 20*o - 11. Let x be ((2 - 4)/(-8))/((-80)/(-3520)). Let n be y(x). Which is smaller: 81/8 or n?
81/8
Let h be 1 + (0 + -4)/2. Let o(l) = -l**2 + 16*l - 31. Let d be o(14). Let b be (-7 + 2)/(-14 - d). Which is bigger: b or h?
b
Let m be 135/(-15)*(-1)/(-9). Are 5/6484 and m equal?
False
Suppose 11*x - 236 = 17. Let k be (x + -22)/((-2)/(-134)). Which is smaller: 68 or k?
k
Let l(a) = -9*a + 5. Let b be l(4). Let z(q) = -q**2 - 23*q + 44. Let r be z(-25). Let w(m) = 35*m + 178. Let x be w(r). Does x = b?
False
Let z be 44/57 + 2/(-3). Suppose -8955*l = -9084*l. Which is greater: z or l?
z
Let q be (37 - 55)*2/9 + 16975. Which is bigger: q or 16972?
16972
Suppose -30*t + 37*t = 630. Suppose 4*p = -114 + t. Which is smaller: p or -14?
-14
Let c = 22 - 44. Let q = c + 28. Suppose 2 = q*m - 8*m. Which is smaller: m or 0.24?
m
Let q be (((-180)/(-210))/(-3))/((-4)/(-7))*3026. Is -1516 > q?
False
Let j(k) = -99*k + 1335. Let g be j(27). Do -1335 and g have different values?
True
Let r = -33928 + 33928. Does r = -19/590?
False
Suppose 284*d - 54 = 275*d. Let c be (-1 + d/9)/(-1). Is -0.23 < c?
True
Let h = -2605.51826 + -1.10174. Let t = h + 2641. Let c = t + -0.38. Which is smaller: 0.2 or c?
0.2
Suppose 18*q + 724 - 35 = -535. Which is smaller: -71 or q?
-71
Let r = 135 + -633. Let u = 738 + r. Is u smaller than -1?
False
Suppose 11*n - 300 = -9*n. Suppose -n - 54 = -4*l + 5*z, 4*l = -4*z + 24. Which is smaller: l or -11?
-11
Let u = 31944 + -43220236/1353. Is -1 > u?
False
Suppose 7*w - 316 = 153. Let l = -196/3 + w. Suppose k + 15 = 5*m - 1, -1 = k. Are m and l equal?
False
Let p = -2733 - -3709. Which is bigger: 975 or p?
p
Let v be (12 - 8)*30/4. Suppose 0 = -5*a + 5, -5*b + 4 = -4*a + 33. Let q be (-12)/(b*(-3)/v). Is -25 smaller than q?
True
Let l be (-2)/(-3) - 869746/96. Let n = l + 9062. Which is smaller: 4 or n?
n
Suppose 5*w = 2*w + 27. Suppose 3*c - 3 = w. Suppose 20 = c*p + 3*f + 5, 0 = p - 2*f + 10. Which is bigger: -1/28 or p?
p
Let f = -0.9 + 1.4. Let k = 207 + -163. Let t = 87/2 - k. Is t less than or equal to f?
True
Let j = -425575286/1041 + 408814. Is j greater than or equal to 1?
False
Let f(z) = 3*z - 39. Let c be f(19). Suppose 3*g + c = 60. Let h be ((-39)/26)/(g/(-8) + 1). Which is smaller: 1.9 or h?
1.9
Let m be (1 - (-374)/(-370))*(-680)/(-3196). Which is smaller: 0 or m?
m
Let n = 15183 + -36059622/2375. Is -1 at most as big as n?
True
Suppose -18*n + 2*n - 480 = 0. Let y be (-2)/485*(-2 + (-85)/n). Is 1 greater than y?
True
Let v be (1/(3/(-185)))/((-18)/216). Is 740 <= v?
True
Let d be -9 + (-56)/(-14) + 129. Which is smaller: d or 1605/13?
1605/13
Let k = 722 + -796. Let s = 206 - -61. Suppose -s + 38 = 3*d + 2*o, 2*o = -4*d - 304. Which is greater: d or k?
k
Let r be (6*(-4)/(-6))/(1/(-21)). Let o = -78 - r. Let g(v) = v - 4. Let m be g(o). Is m less than or equal to 9/4?
True
Suppose 2*l = -11*l - 78. Let z be 235/1770 - (-1)/l. Which is greater: 1 or z?
1
Let v = 360 - 283. Let s = -53 - 17. Let a = s + v. Which is smaller: -1 or a?
-1
Let n be (3 + 6)*(-84)/9. Let k = 9 - n. Is 93 <= k?
True
Let d(c) = -5*c**3 - 2*c**2 - 2*c - 1. Let i be d(-1). Suppose 0 = w + i, -h - 3*h + 5*w + 20 = 0. Let o = 475 - 473.3. Which is bigger: h or o?
o
Suppose -106*t = -229793 - 159840 - 871. Is 3685 at least as big as t?
True
Let h = 156 - 152. Suppose h*g = -150 + 22. Is -30 equal to g?
False
Suppose 16464*s - 16468*s = 3*k + 3881, -2*k - 4*s = 2582. Which is smaller: k or -1296?
k
Let i(h) = -6*h**2 - 181*h - 1336. Let o be i(-17). Let k = 12.87 - 13. Which is greater: o or k?
o
Let o(r) = 6*r**3 + 2*r**2 - 2*r + 7. Let i be o(-3). Let b = i + 123. Is -18 <= b?
True
Let c = -71 + 57. Let q(s) = s**2 + 15*s - 16. Let m be q(c). Is -31 greater than or equal to m?
False
Suppose -6 = -6*s + 6. Suppose -4*t + 2*q = -s*q - 108, -3*t = -5*q - 85. Suppose 8*o = 5*x + 3*o - 35, -5*o = t. Which is bigger: 5/7 or x?
x
Let b = -11457 + 11430.932. Let y = b - -0.068. Let j = y + 25. Which is smaller: j or -0.04?
j
Let n = -4787 - -4163. Is n < 3?
True
Let a be (-9)/(-4) + 4*(-4)/64. Suppose -4*r + 50 = 2*g + a, 2*r + 3*g - 28 = 0. Let i be (7 - 10 - -2) + r/13. Is i greater than -1?
True
Let x = 11338 - 11618. Is x less than -292?
False
Suppose 4*d - c + 563 = 0, 4*d - 85 + 678 = -5*c. Is -853/6 > d?
False
Let l = -8 - 93. Let x = l - -104. Suppose 0 = 4*g - 2*v + 3*v + 5, g = v + 5. Is g < x?
True
Suppose 5*z - 279 = 3*k, 0 = -3*k + 2*k + z - 93. Let n = 117 + k. Suppose -c - n - 44 = 0. Which is bigger: c or -67?
-67
Let b be (3 - (2 + 1)) + 1. Let v be ((-145)/43500)/((-3)/8). Which is greater: v or b?
b
Let k = -37 - -78. Suppose 3*d + 175 = -2*d - 5*y, d + k = 2*y. Let p = -24 - d. Is 13 equal to p?
True
Let z = -127.42 + -677.58. Are 2/7 and z non-equal?
True
Let w(r) = 22*r + 172. Let y be w(-7). Let g be (-125)/(-20) + 11/((-33)/y). Are g and -0.16 equal?
False
Let g = -7.6676 - 1.4324. Is g >= 2?
False
Suppose -5*x - 5*b = -795, -4*x + 3*b = 2*b - 641. Let f be (1/(-3) + 0)*30/x. Suppose -3*o = -0*o. Which is smaller: f or o?
f
Let y(u) = -16*u - 17. Let s be y(-6). Let l = -70 + s. Let f be (-8)/(-12)*l - 2/2. Which is smaller: f or 24/5?
24/5
Let q = -1978730/17 - -116506. Is q smaller than 110?
False
Suppose -7800*s = -7801*s - 2. Suppose 14 + 91 = 5*x. Let u = x + -8. Which is smaller: u or s?
s
Let v = 0.03833 + -5.03833. Which is smaller: 589 or v?
v
Let f be 1*(3 + 0 + 98). Suppose -33*o + 1388 - f = 0. Is 40 at least o?
True
Let h = -7091 + 2136. Which is bigger: -4956 or h?
h
Let q(c) = 5*c - 39. Let y be q(7). Let k be (-3)/y - (584/(-32) + 11). Which is smaller: 7 or k?
7
Suppose -6 = 5*r - 8*r. Suppose 5*q - 5*n = 2*q + 18, 4*q + 4*n = 56. Suppose r*s - q = -17. Is s at least -4?
True
Suppose -z - 10 = -6*z. Let d = -17093/5 - -3390. Let i = 151/5 + d. Are z and i nonequal?
True
Suppose -3*n = -80*n + 43*n - 91120. Which is greater: -2679 or n?
-2679
Let u be 1 + -1 + (-30)/9. Let m(b) = b**2 + 15*b + 28. Let d be m(-13). Suppose -4*y = 3*p + 28, 20 = -7*y + d*y. Which is smaller: p or u?
p
Let b be -1 + 2 + 1 - 32. Let l = b - -29. Let s be 0/25 - (2 + l + -4). Which is greater: s or 11/3?
11/3
Let b be 244*(-1)/(-6) - 4/6. Suppose -8*k + b = 2*k. Let f be (-75)/(-10) + 3 + (-10)/k. Is f > 50/7?
True
Suppose -278*n = -284*n + 132. Let y be -2*(-2)/426*33/n. Which is greater: y or 3?
3
Let z = -444510 - -10218948/23. Which is greater: z or -0.1?
-0.1
Let k = 349 - 191. Let c be (1 - k/72) + (-8)/36. Are c and -1 non-equal?
True
Let r = 72.6 + 11.4. Let x = r + -200. Let m = x + 115.8. Which is smaller: m or -10?
-10
Let t(i) = i**2 + 100*i - 2. Let k be t(0). Let o(y) = -y**3 - y**2 + y + 2. Let n be o(0). Suppose -8 = n*m - 0*m. Which is smaller: m or k?
m
Let x = 1 + 1. Let a(k) = k**2 - 42*k + 120. Let w be a(3). Suppose -3*o + 146 = -0*o - p, x*o + w*p = 90. Is 48 at most as big as o?
True
Suppose 4*q = a - 769, -21*q + 19*q - 3*a = 395. Which is greater: q or -2126/11?
q
Suppose 0 = 141*q - 137*q - 760. Suppose 0*u = -3*x + u + 575, 0 = 3*x + 5*u - 545. Are x and q equal?
True
Let s(a) = 4*a**2 + 3*a. Let o be s(-3). Suppose 2*d = -d + o. Let c(b) = -b**2 + 26*b - 81. Let r be c(22). Is r less than d?
True
Suppose 2*r + 12 = -4*i - 0*i, 0 = 2*i + 8. Suppose 44*f + r = 42*f. Is -24 >= f?
False
Suppose 18 = -3*v + 54. Suppose 3*y + v = 5*z, 6*y + 10 = y + 5*z. Let n(b) = -b**2 + b - 1. Let s be n(y). Which is bigger: 4/39 or s?
4/39
Suppose -18*z + 76 = -16*z. Suppose 0 = 4*t + 6 - z. Let p(c) = -c + 7. Let g be p(t). Is g smaller than 1/32?
True
Let k be -1 +