et i be (-1)/(7/((-98)/(-35))). Is i smaller than -3/29?
True
Let l = 95 - 95. Suppose l = 2*z - 5*z - 21. Which is bigger: -6 or z?
-6
Let s be 12/(-20) + 2/(-5). Let y = 28 + -36. Is s at least y?
True
Let k(b) = 291*b + 146. Let y be k(4). Are y and 1309 non-equal?
True
Suppose 1555 = 5*l + 5*s, -4*s + 1553 = -9*l + 14*l. Is l at most as big as 309?
True
Let m be 0 + (-1)/2*0. Let y be 23*-4 - (-12)/(-1*4). Let o = y + 95. Is o smaller than m?
False
Let s(q) = 2*q**2 - 37*q + 20. Let t be s(18). Let h(m) = -4*m**3 + 2*m**2 + 3*m - 5. Let u be h(t). Which is smaller: u or -22?
u
Let u be -484 + 4 + 3 + -7. Let n = -15006/31 - u. Is -1 at most n?
True
Let g = -394 - -1974/5. Suppose -3 = -3*l - 6. Let h be l/(-4) + 7/4. Are g and h nonequal?
True
Let k = 17 + -17. Suppose 2*m + r - 201 = 0, -r + 174 = 3*m - 128. Which is smaller: k or m?
k
Let l be ((-14)/(-105))/(4/(-6)). Which is greater: l or -1/3?
l
Let g(n) = -2*n + 35. Let z be g(18). Which is smaller: 178 or z?
z
Suppose 3*a - 13 - 20 = 0. Let l be (-53)/a + 10/(-55). Let m be (6 - -1) + 10/l. Is m less than 17/4?
False
Suppose 2*m = -6 + 10. Suppose 0 = m*n - h - 20, 3*n - 3*h - 28 = n. Is n at most 3?
False
Let d(h) = -62*h**2 + 3*h + 3. Let r(n) = n**2 + n + 1. Let z(a) = -d(a) + 4*r(a). Let i be z(-1). Let y be 4/15*15/i. Is 1 less than y?
False
Let u = 14 + -5. Suppose 5*a + 1 = 4*r - u, -a + 7 = r. Suppose -5*m = s, -a*m + 17 = -4*s + s. Which is smaller: m or -1/7?
-1/7
Let b = 14135/6 - 2365. Let m be 4/(1/((-6)/3)). Which is smaller: b or m?
b
Let x(a) = -21*a**2 - 2*a + 1. Let g be x(-2). Which is smaller: 1/4 or g?
g
Let h = 29 - 31. Let j = h + 2.2. Is -3/7 at least as big as j?
False
Suppose 8*k - 6*k - 6 = 4*s, k - s = 2. Let b = 2112 + -10602/5. Let w = b - -1124/135. Which is smaller: k or w?
w
Suppose 4*w - 6 - 6 = 0. Let j be ((-1)/12)/((-1)/w). Which is bigger: j or 0.5?
0.5
Suppose -b - 3 = -4*b + r, 4*r + 12 = 0. Suppose -62 = v + j, 10 = 5*j - b*j. Let w be (-10)/88 - (-16)/v. Is w < 1?
True
Suppose 0 = -3*j + 5*n + 406, -2*n = 3*j - 86 - 306. Do 0.03 and j have different values?
True
Let a be (6*2/(-75))/((-4)/(-70)). Let m = -13/5 - a. Are m and -2.5 nonequal?
True
Let c = 191 - 192. Is c < -28/15?
False
Let r(g) = -28*g - 3. Let d be r(1). Let f = -27 - d. Do 4 and f have the same value?
True
Suppose 5*f + 3*h - 1983 = 0, 5*f + 10*h = 6*h + 1984. Suppose -10*k - 24 = f. Are k and -42 unequal?
False
Suppose 0 = 5*u - 3*k - 9 - 38, 4*k = -2*u + 24. Let l be -2*4/(96/u). Let f = 2.6 - -0.4. Are f and l non-equal?
True
Let w = 4089 + -224901/55. Which is bigger: w or 1?
1
Let i = -454 - -452.1. Is 2 equal to i?
False
Let t = -11.5 - -13. Let w = t + -1.39. Let o = -0.09 - w. Is o greater than -3?
True
Let q(p) = -2*p**3. Let m be q(0). Which is greater: -1/36 or m?
m
Let r(m) = -m**3 - 5*m**2 + 7*m - 1. Let b = -3 + 3. Suppose b = 3*p + 13 + 5. Let w be r(p). Which is smaller: -6 or w?
w
Let s = 278 + -287. Is s at least 0.008?
False
Let d(y) = -y**3 - 4*y**2 + 11*y - 6. Let l be d(-6). Let i be 6/(-6) + 2 - l. Suppose -4*n = -5*q + 8 + 12, -4*n = -2*q + 32. Is i < n?
False
Let q = -258.4 + 259.1. Is 106 less than q?
False
Let j = -22/2263 + -4/73. Suppose -3 + 2 = r. Is r <= j?
True
Let f = 57 - 63. Let y be 1182/(-3438) + (f/(-9))/2. Which is smaller: 1/4 or y?
y
Let y = -9 - 4. Let w = 19 + y. Let r = 4 - 4. Which is bigger: w or r?
w
Suppose -2*n + 4 = -4*d, 2 = -d - d + 5*n. Let m be 0/d + -1 - (-3 - -1). Let j = -113/7 - -16. Is m smaller than j?
False
Let x = -553 + 550. Is x less than or equal to -69?
False
Let l be 12/(-2) - 1*(-444)/73. Which is smaller: l or -1?
-1
Suppose -9*h = -6*h - 12. Suppose d = -h*d. Let w be (-10)/(-8)*(-8)/40. Is w <= d?
True
Let t = -120 + 121. Which is smaller: -1/791 or t?
-1/791
Suppose -3 = -4*c + c, 0 = 4*p + 2*c - 218. Let g = 12868 - 64071/5. Let z = p - g. Which is greater: 1 or z?
1
Let r = -356 - -328. Which is bigger: -33 or r?
r
Let p = 2.52 - 2.53. Is p greater than 0.08?
False
Let s be 38/20 - 2/60*12. Is s smaller than -5/36?
False
Suppose -8 = -4*f + 8. Let x = f - 13. Suppose -n + 23 = -2*a, -4*n - 33 = 3*a - 15. Is a > x?
False
Suppose i - 13*i + 24 = 0. Which is smaller: i or 22/25?
22/25
Let k(d) = 4*d - 14. Let z be k(-9). Let g = z - -401/8. Is g bigger than -2?
True
Let i be (-2)/(-7) + (-198)/742. Let o = 16 - 14. Suppose -2*z = o*z - 4. Is z less than i?
False
Suppose 10 = 2*q + 2. Let f be -3 - (36/(-5) + q). Which is bigger: f or 0?
f
Let z(p) = 6*p - 14. Let m be z(-2). Is m != -24?
True
Let z be (1/(-3))/(-8 - (-1294)/162). Which is smaller: z or 32?
z
Let w = 350 + -314. Which is smaller: 37 or w?
w
Suppose -2 = 5*v + 5*x + 13, -5*v - 17 = 4*x. Suppose -18 - 52 = 10*u. Which is smaller: v or u?
u
Let b = 272 + -207.4. Let i = b - 63. Which is smaller: 0.2 or i?
0.2
Let v be -6 + (-96166)/(-15015) - (-6)/(-15). Are -1 and v nonequal?
True
Let q = -19 - 0. Let b be ((-1932)/(-115) - 21)*(5 + 0). Are q and b equal?
False
Suppose 15 = -2*o + b + 3, 5*b + 18 = -3*o. Let l be (-3714)/(-39)*(-9)/o. Let t = -143 + l. Which is smaller: t or 1?
t
Let v(w) = 2*w**2 - w + 3. Let o be v(4). Suppose 19*r - 305 = 265. Which is bigger: o or r?
o
Let y = 601004311/340 + -1767661. Let p = y - -1/85. Suppose -o - 3*z - 9 = 2*o, z + 3 = 0. Is o less than p?
False
Let s = 43/8 - 16/3. Is s at least -1?
True
Let s(m) = m**2 - 42*m + 463. Let t be s(18). Suppose -4*p - 81 = -201. Which is smaller: p or t?
p
Let s be 2 - 6 - (-328)/84. Which is bigger: s or 1?
1
Let s = -27/11 - -1641/682. Are s and 0 non-equal?
True
Let i = 0.0475 + -237.0475. Which is greater: i or 2/5?
2/5
Let x = 2575225 + -4350972. Let g = x - -708522670/399. Let u = g + 14/57. Is u smaller than 0?
True
Let a(z) = -22*z - 214. Let d be a(-5). Does d = -104?
True
Let z be (2/4)/((-2)/60). Let c be ((-35)/z + -3)/(4/(-3)). Let w be (-2)/((36/46)/3). Which is bigger: w or c?
c
Let t(k) = k - 16. Let h be t(16). Suppose b - 2*q + 13 = h, 3*b + 0*q = 3*q - 27. Is 2 greater than or equal to b?
True
Let l = 133 + -131. Suppose 0*x - 4 = -2*x. Suppose -b = -x*b + 3. Is b < l?
False
Let g = -3 - -3. Suppose g*w = 5*w - 5*c - 35, 2*c = -6. Let s be (-14)/140 + -2 + 291/60. Which is smaller: s or w?
s
Let v(g) = g. Let i be v(0). Suppose -3*p + 0 + 3 = i. Are p and 4/11 nonequal?
True
Let n be -3*(-4)/(-3)*52/4. Is n at least -51?
False
Suppose u = 1 - 4, 3*x = -2*u + 6. Suppose x + 38 = -14*s. Is s greater than -3?
False
Let n = 3 - 2. Let z = 97 - 17. Let y = z - 79. Is y less than or equal to n?
True
Let v be (-121)/10 - 3*10/75. Is v >= -3?
False
Let r(l) = -47*l + 11 + 23*l**2 + 35*l - 3*l**3 + l**3. Let x be r(11). Is x at most -18/13?
False
Let t(o) = o**2 + 14*o + 49. Let n be t(-8). Which is bigger: -13/45 or n?
n
Let s = 17061 - 86126/5. Which is greater: -164 or s?
-164
Let z be 40/(-6)*3*-1. Let u be (z/6)/(0 - 2). Let c = 790.8 - 790.9. Is u greater than or equal to c?
False
Suppose -3*x + 7*x + 19 = 5*h, 2*h - 7 = x. Suppose p + h*p = -8. Let u be (p + 0)/(6/(-57)). Is 19 greater than u?
False
Suppose 8 = j + 2. Let f be ((-1)/3)/1 + 2508/342. Which is smaller: f or j?
j
Let b be (-3)/(-3) - ((-4734)/678 - -8). Let i(k) = k + 1. Let g be i(0). Is b less than g?
True
Let h(x) = x**2 - 10*x + 3. Let o be h(10). Let d(f) = 3*f - 7. Let b be d(o). Suppose -b*g = 3*g + 20. Which is greater: 0 or g?
0
Let m(d) = -d + 3. Let q be m(7). Let h = q + 9. Suppose h*t + 15 = 5*u, -5*t + t + 2*u = 4. Is 1/4 smaller than t?
True
Let c(r) = r**3 + r**2 - r + 180. Let w be c(0). Let d be (7/14)/(1/w). Suppose -j - 4 = -2*b, 5*j + 6*b + d = 2*b. Is -1 bigger than j?
True
Suppose -63*k = -86*k. Which is smaller: 10/53 or k?
k
Suppose 0 = -l + 4*u - 28, l - 5*l - 56 = -2*u. Let r be (-2 + (-14)/(-4))*-6. Let n = l - r. Is 2 smaller than n?
False
Suppose -2 = -4*h - 6. Let k = 41.47 + 0.53. Let m = -37 + k. Do m and h have different values?
True
Let z = -326 + 296. Which is smaller: z or -32?
-32
Let u = 39 + -13. Let k = u + -20. Let d = -10 + 15. Which is smaller: d or k?
d
Suppose 4*x - 157 = -t, -4*x + 83 + 44 = -5*t. Let z be (-513)/x*4/6. Let n be (-2 + -4)*(-6)/z. Do 0 and n have the same value?
False
Let j(c) = -2*c - 32. Let p be j(-17). Suppose 4*g - p