han f?
True
Suppose 84 = h + 69*v - 67*v, 2*h - 5*v = 141. Let t = -65 + 139. Are t and h nonequal?
True
Let l = -32916988 + 15305615. Let y = 57923805322/3289 + l. Let r = -3/23 - y. Which is smaller: r or 0?
0
Let g = -10467 - -10510. Let c be 23/1 - (-2)/(-2). Suppose -c - g = 5*y. Is -13 > y?
False
Let o be (-2)/6*(6 + -9). Let c = -2411551/416 + 5797. Which is bigger: c or o?
o
Let h = -210 + 227.6. Let l = h - -11.4. Which is greater: -0.2 or l?
l
Let v(w) = 7*w + 5*w - 15 + 0*w - 8*w. Let l be v(5). Let o be (-10)/(-6) - (-8 + 9). Which is bigger: l or o?
l
Let t = -0.15723 + -68.98677. Let y = -69 - t. Let q = y - -31.856. Are q and 1 non-equal?
True
Let x = -627 - -962. Let c = x - 386. Does c = 1?
False
Let g = 101 - 120. Let l = g + 20. Let y be (2 - l)*-15*(9 + -8). Is y greater than -15?
False
Let f(y) = -2*y**2 + 32*y - 53. Let x be f(14). Suppose 5*u + 120 = 5*l, 4*u + 97 = x*l + 2*l. Let g(p) = -5*p - 5. Let c be g(4). Which is smaller: u or c?
c
Let p = 6 + 78. Let w = p + -413/5. Let u(a) = 4*a**3 - 46*a**2 - 23*a - 12. Let v be u(12). Which is greater: v or w?
w
Let u = 23/2 + -12. Suppose 3*j + 3*f - 621 = 0, -21*j - 4*f + 213 = -20*j. Let i = -183 + j. Which is bigger: i or u?
i
Suppose -2*n = 4*u + 4, 2*n = 3*u - 4*u + 8. Suppose 5*p + 4*s + 10 = 0, p - 3*s - 4 = -n. Let g = p - 26. Is g equal to -29?
False
Let i(l) = -2*l**2 + 121*l + 139. Let a be i(41). Do a and 1739 have the same value?
False
Let q(h) = h**2 - 28*h + 162. Let b be q(8). Suppose 4*w - i = 15, -5 = -3*w - 4*i + 11. Let c be (12 + -13)*b/w. Which is greater: -4 or c?
c
Let i(y) = 2*y**2 - 6*y - 10. Let a be i(8). Let o = 62 - a. Let k be (-253)/184 - 3/o. Which is smaller: k or -4?
-4
Suppose 0 = 4*b + 2*c + 1858, 0 = 5*c - 2*c - 9. Let z be (3 - (-1390)/b)/(-2). Let i = 199/3961 - z. Is 1 at most i?
False
Let d be 9657/21 + 2/14 - (34 - 37). Which is bigger: 457 or d?
d
Let v = -2051/6 + 343. Let b = -29/30 + v. Is 1/3 at least as big as b?
True
Suppose 4*a - 153 = 5*s, 5*a = 5*s - s + 189. Let l be (40/14 - -2) + (-1)/(-7). Which is bigger: l or a?
a
Let b = -34.4 - 9.6. Let z = 7.428 - 7.228. Are b and z nonequal?
True
Let u = 12 + -10. Suppose 31 + 129 = 5*n. Suppose 0 = j + 7*j - n. Is u at most as big as j?
True
Suppose -2*c + 5*j - 25 = -0*c, c - 2*j = -10. Let d(u) = u**2 - 5*u - 10. Let w be d(c). Which is smaller: -41/4 or w?
-41/4
Let y = 24993 + -25129. Which is bigger: y or 0.31?
0.31
Let s be (-7212)/17952 + 9/24. Let d = -1718/1309 - s. Which is smaller: -2 or d?
-2
Let u = 45 - 42. Let t be 3/(u/1)*-1629. Let r be (3/t*-3)/(3/6). Is -1 at most r?
True
Suppose -15*l - 7 = 38. Let q be ((-112)/(-21) + -6)/((-7)/l). Is q at least 0?
False
Let x = 2981/2 + -2149293/1442. Which is greater: x or 0?
x
Suppose 8 = -5*u + 3*k, -4 - 5 = 5*u - 4*k. Let m = 66817/348 - 192. Which is smaller: m or u?
u
Suppose -2*i - 253 + 235 = 4*p, -4*p - 21 = 5*i. Which is greater: 4/463 or i?
4/463
Let u = 895 - 903. Which is bigger: -100/11 or u?
u
Let h = 953/9 + -862/9. Which is bigger: 10 or h?
h
Suppose 0 = g + 9*g + 220. Let a be ((-806)/143)/(4/g). Is 63/2 smaller than a?
False
Let g = -32608 - -32606. Is 2271 bigger than g?
True
Suppose -d + 4 = 0, 26*x + 3*d = 28*x - 24. Let w(t) be the first derivative of -t**4/4 + 19*t**3/3 - 9*t**2 + 32*t + 2. Let o be w(x). Are 32 and o non-equal?
False
Suppose n + 0*n = 8. Suppose n = -d - 7*d. Let a be d + -3 + (-507)/(-126). Which is smaller: a or 0?
0
Let n be 2/7 - 142/497 - (2 - 1). Which is greater: 78/163 or n?
78/163
Suppose 0 = -2*m + 2265 + 1189. Suppose -1730*j + m*j = 87. Is -35 less than j?
True
Let c be 0*((-6 - -8) + (3/(-4) - 1)). Which is smaller: -2/6809 or c?
-2/6809
Let s = 29687/413144 + -6/1201. Which is smaller: -1 or s?
-1
Let m be -2 - (1 + 1 - -168). Let q(p) = 6*p**2 + 440*p + 405. Let b be q(-72). Is m > b?
False
Let a(i) = -4*i**2 + i + 54. Let l be a(-8). Let q = l + 195. Is -15 >= q?
True
Suppose 0 = 3*l + 70 - 85. Suppose -l*b - 47 - 18 = 0. Which is smaller: -140/11 or b?
b
Let y be ((-3)/((-3)/(-13)))/(1/(-9)). Let s = 116 - y. Which is smaller: 2/337 or s?
s
Let x = 8187.3 + -8190. Which is smaller: x or 2/11?
x
Suppose t - 2*a - 2 = 1, -5*t = -a + 12. Let i be -1*1 + (t - -36 - -1). Which is bigger: 30 or i?
i
Let w = -0.08 - 63.92. Let l = 43.1 + w. Let s = 5.1 - l. Which is smaller: 1 or s?
1
Let y be 87/696*(-8)/1. Which is smaller: 5/174 or y?
y
Let b = -92 - -634/7. Let a be (27/6)/(3/6). Let v be (-2)/a + (-8)/(-36). Is b at most v?
True
Suppose 0 = 4*z + 5*s + 771, -4*z - 380*s + 381*s = 753. Are -189 and z unequal?
False
Let l = -0.111 - 92.889. Let c = 89.9 + 3.1. Let h = c + l. Which is smaller: h or -6/25?
-6/25
Let x be 48/(-256)*-8*-5474. Is x less than -8210?
True
Let a = -6 - -21. Let q(h) be the first derivative of 2*h**2 - 51*h + 217. Let p be q(a). Is 1/6 < p?
True
Let m = -4298 + 4303. Let q = 0.4 + 3.6. Let a = q - m. Is a at least 0.1?
False
Let c be 19 + 3472/(-32) - 3/2. Are c and -101 non-equal?
True
Let n = -31684.6 + 31685. Let l = -0.1 + 0. Let g = l - -0.09. Which is bigger: n or g?
n
Suppose -220 = 18*t - 22*t + 3*z, -t + z = -56. Which is smaller: t or 684/13?
t
Let n(b) = -2*b**2 - 62*b - 335. Let w be n(-25). Is w not equal to -57?
True
Let m be (3/(-2))/(2085/(-85)). Let j = m + -1353/40310. Which is bigger: j or 1?
1
Suppose -113*c + 51 + 34 + 141 = 0. Which is smaller: 26 or c?
c
Let v be (-24)/(-36)*(-9)/(-4)*-2. Let i be 8*(1 + v)/2. Let p be 1 + -10 + 0/1. Do i and p have the same value?
False
Suppose 0 = k - 5*q + 35, 6*k = k + 3*q - 65. Let t be (36/(-60))/((-11)/k). Which is smaller: 2 or t?
t
Let x = -233313 + 233335. Let v(o) = -5*o**2 - 3*o - 1. Let k be v(-2). Is k at most as big as x?
True
Suppose 2193 = -4*q + 3*v, -q - 746 = 5*v - 169. Let a = q - -508. Are a and -47 nonequal?
True
Let k be (-36)/14 + (16/2 - 3068/364). Suppose c + 129 = -2*c. Are c and k non-equal?
True
Let i be -4 - ((-70)/(-42) - 41/9). Let c = -0.49 + 0.52. Is c at least as big as i?
True
Suppose -5*q = -4*t - 25347, 16*t - 11*t + 31647 = q. Which is greater: t or -6327?
-6327
Let q = 45735/19 + -1330282/513. Let d = -186 - q. Let s = -1 + 0. Which is greater: d or s?
d
Let p = 2365.9 - 2209. Let v = p - 150. Let l = v + -7. Is l at least -0.014?
False
Suppose 5*z = -o - 5, -5*o = -9*z + 4*z - 35. Let n be (-37)/o - (-6)/15. Is -22 != n?
True
Suppose -17 = -91*r + 90*r - 2*m, 2*m - 29 = -5*r. Which is smaller: 167/57 or r?
167/57
Let w(k) = -k**3 - k**2 - 11*k - 3. Let s be w(-5). Let x = s - 763/5. Let n = -448 - -447. Which is smaller: n or x?
n
Let s be (7 + 1)*(-841)/(-6728). Which is smaller: -2/14167 or s?
-2/14167
Let y(m) = 26*m - 32*m + 7 + 41. Let k be y(8). Which is bigger: k or -1?
k
Suppose 0 = -v + 4*v + 27. Suppose 65*j + 165 = 50*j. Is j at most as big as v?
True
Let p = 5 - 68. Let h = p - -63. Let v = -3.6 + 21.6. Which is smaller: h or v?
h
Let d = -158458/17955 + 204/665. Is -10 less than or equal to d?
True
Let r(s) = -s**2 + 18*s - 64. Let o be r(13). Let t be 4/(-6)*19/(-323). Which is smaller: o or t?
t
Let s = 8.11 - 146.31. Let m = -138 - s. Which is smaller: -3/5 or m?
-3/5
Let j(a) = -4 + a + 3 + 15*a + 9*a. Let q be j(0). Is -14/5 < q?
True
Let z = 13370896/1143 - 105292/9. Which is greater: -1 or z?
-1
Let z = -96 - -98. Suppose 2*u + z*t + 3*t = -11, -5*u = -5*t + 10. Suppose -c - 3*l + 7*l + 14 = 0, -6 = -3*c + 3*l. Is c > u?
True
Suppose -142*r + 461964 = 132*r. Which is smaller: 5056/3 or r?
5056/3
Let m be 2*7/14 - 1. Do m and -2/10847 have different values?
True
Let r(m) = -m**2 - 12*m + 2. Let a be r(-7). Suppose 0 = -j + 3*p + 1 + a, 4*j = -4*p + 136. Let q = -44 + j. Which is smaller: -11 or q?
-11
Let l = 10 + 36. Let k = l - -33. Suppose 0 = 2*s - 2, -3*s = 3*z - 7*s + k. Do -24 and z have the same value?
False
Let f = -1276 - -648205/508. Which is smaller: 0 or f?
f
Let f = -296617/12 - -24718. Which is greater: f or 29?
29
Let r = -10.582 - -3.582. Which is bigger: r or -875?
r
Suppose -2*v + 0*x = 4*x + 4, -3*x = 15. Suppose -6*w - 166 = -v*w. Suppose z + w - 81 = 0. Which is greater: -9/7 or z?
-9/7
Let s(a) = 73*a - 56. Let v be s(8). Let j = -452 + v. Is j != 73?
True
Suppose -5*y = 2*z + 45, 10 = -3*z + 4*z - 4*