Are 8/9 and f equal?
False
Let w = 0.12716 + 0.87284. Is w greater than -3013?
True
Let s = 2135 + -2135. Which is smaller: 3/458 or s?
s
Let y = 22318 + -22301. Let t(r) be the first derivative of -r**3/3 - r**2/2 + 17*r - 2. Let k be t(0). Is k bigger than y?
False
Let v(o) = -29*o**3 + o**2 - 2. Let p be v(-2). Suppose -p = 4*a + 3*t, 5*t + 3 = -7. Let z be -59 + 10 + -14 + (-10)/(-2). Is a greater than or equal to z?
True
Let b = 5.42 - 6.9. Let m = b + -0.32. Let o = -3.8 - m. Are o and 6/11 non-equal?
True
Let d be 3 - 80/4 - (-1 - -4). Suppose -40*y = -22*y + 378. Which is smaller: y or d?
y
Let u = -11 - -2. Let y(p) = p**2 - 25*p - 12. Let i be y(0). Let m(z) = -3*z**2 - 34*z + 15. Let v be m(i). Is u > v?
False
Let n = -6 - 31. Let w = -35 - n. Let b be w + (-141)/69 - 0. Is 1 < b?
False
Let h = -140.92 - -100.92. Is h smaller than 16?
True
Let n = -10008.052 + 10008. Which is bigger: 0 or n?
0
Let o(f) = 176*f + 6894. Let z be o(-84). Which is bigger: -7889 or z?
-7889
Suppose -z + 13 = -25. Let o = -37 + z. Suppose 5*t - 5 = -h, 20 = 4*h - 2*t - 2*t. Are o and h unequal?
True
Let k = -19/33 + -1/11. Let g be (133/(-21) + 7)*3/618. Let r = -104/309 + g. Is r not equal to k?
True
Suppose -4*f = 343 - 351. Let n be (-801)/(-945) + 1*(-2)/(-7). Is f <= n?
False
Let u = -3.963 - 0.037. Let w = 0.62 - 0.6. Let a = -0.52 + w. Which is greater: a or u?
a
Suppose 5*p = -37 + 7. Let v be (8/p)/(5858/87). Is v less than or equal to -1?
False
Let l be 5*(2 - 70038/32409 - 4/(-26)). Is l at least -1?
True
Let v = -178.1 - -183.1. Which is smaller: v or 28/9?
28/9
Let r = 4582 + -838504/183. Let c be 32/(-244)*145/90. Let p = c - r. Which is smaller: -3/8 or p?
-3/8
Let y = 20333.06661 - 20333. Which is greater: y or -0.3?
y
Let j be 4/(-90)*6/(-8). Let l be (-4)/(-30) + 10 + 1824/(-180). Are j and l equal?
False
Suppose 5*l - 45 = -2*b, 0 = 4*l - b - 0*b - 23. Suppose 0 = 5*o - l - 3. Let u be 90/(-42) + o - (-209)/(-7). Is -31 >= u?
False
Let p be (-6)/(-24)*-4*(-14)/2. Suppose q - 6 = -4*t - t, p = 3*t + 4*q. Suppose 3*f = 16 + 2. Is t smaller than f?
True
Let g be -2 - 17/((-21182)/2968). Is 1 less than or equal to g?
False
Let h be 700/(-77) - (-7 + -2). Suppose 5*n = 20 - 0. Let l(a) = a**3 - 5*a**2 + 4*a - 1. Let x be l(n). Do h and x have the same value?
False
Let d(n) = -247*n + 2227. Let s be d(9). Let k(o) = 2*o**2 + 2*o - 2. Let u be k(-2). Suppose -u*v - y = 10, -y + s*y + 15 = -v. Which is smaller: v or -13?
-13
Suppose -4*h - 24 = -5*z - 177, -h = 3. Let k(j) = 87*j + 398. Let f be k(-5). Let l = f - z. Which is bigger: -2 or l?
-2
Let b be 605/2191 + (-6)/21. Let j be 22 - (88/76)/((-9)/(-171)). Is b not equal to j?
True
Suppose -2*j + 2*i = -10, -4*j - i = 2*i - 13. Suppose -b - 5 = j*m - 4, b = 4*m - 1. Let d(g) = 2*g - 12. Let z be d(-13). Is b < z?
False
Suppose -16753 + 9118 = 15*w. Is w at least -510?
True
Let u be (6 + -7)/((-1)/55). Let c = -18 + u. Is c at least 39?
False
Let z = 597/10 + -60. Let r = -12 + 4.2. Let h = 7.9 + r. Which is smaller: h or z?
z
Suppose -3*z + w = 5*w - 42, w + 39 = 2*z. Let r(n) = -5*n. Let k be r(-1). Suppose k*m = -7 + 97. Is z at most as big as m?
True
Suppose 0 = r - 4*a - 8, -5*a = -2*r - 2 + 3. Let l be (22/6)/(1/r). Let z = 49 + l. Which is smaller: z or 7?
z
Suppose 2*y = 36 - 42. Let p(x) = -x**3 - 4*x - 10. Let h be p(y). Suppose -h = -4*o + 39. Is o bigger than 17?
False
Let w = 121 + -183. Let b be 695/(-11) + 2 + 18*36/3564. Do b and w have different values?
True
Let t(l) = -3*l + 30. Let d be t(0). Let j be ((-10)/d)/((-7)/2). Let g = -4/21 - j. Is 6 at least as big as g?
True
Let y = -44 - -26. Let m be -6*2/(-16)*16/y. Let v = 0.2 + -0.3. Which is bigger: v or m?
v
Let q = -1.00221 + 0.00221. Let u = -5 + 7. Let b = u + -21. Which is smaller: q or b?
b
Let p = 1129 - 14663/13. Suppose 3 = 9*t - 8 + 2. Which is greater: p or t?
p
Let a(n) = 13*n**3 - 28*n**2 - 23*n + 50. Let r be a(2). Let l be ((-90)/(-21) - -1)/(-1). Which is smaller: r or l?
l
Suppose 2*c + 5*y = 62, 28*c - 26*c = 5*y + 2. Is -14/107 != c?
True
Let f(o) = o**3 + 26*o**2 - 63*o - 191. Let i be f(-28). Is i less than -76?
False
Suppose 5*g - 3*m + 295 = -603, 3*m = 3. Let d = -151 - g. Does 26 = d?
False
Let x be (2 - 219/111)*-1. Suppose -3*s + 18 = 3*k, -22*k = -17*k + 3*s - 28. Suppose -k*p - 8 + 1 = -4*g, -2*g = 5*p - 11. Which is greater: x or p?
p
Let u = 976/3 - 322. Let q(p) = p + 18. Let k(a) = 2*a + 12. Let z be k(-13). Let r be q(z). Which is smaller: r or u?
u
Let l = 3.55 + -14.72. Let i = l - -11. Which is smaller: -3 or i?
-3
Let j = 827 - 783. Is j > 46?
False
Let g(q) = -q**2 + 24*q - 15. Let u be g(19). Suppose -28 = -12*m + u. Suppose 12*j - m*j + 30 = 0. Which is smaller: -8 or j?
j
Let r be (12 - -1)*(-6 + 3). Let x be ((-90)/(-27))/((-4)/48). Does r = x?
False
Let z = -138 + 2211/16. Let t = -111 + 115. Suppose -x = t*b, 3*x = -0*x + 4*b. Is x less than or equal to z?
True
Let h = -90 + 238. Suppose g = h - 42. Let z = -637/6 + g. Are 4 and z non-equal?
True
Let s(m) = -m**3 + 37*m**2 - 15*m - 219. Let h be s(36). Let o = h - 449. Which is greater: o or 87?
o
Let r = 0.99587 + 0.00413. Is 1218 < r?
False
Suppose 2*x - 19 - 533 = -c, -5*x = 5*c - 2745. Suppose 132*z - 138*z + c = 0. Is 91 less than z?
False
Let x(r) = -4*r - 17. Let z be x(-5). Let h be z/((-18)/4) - (-371)/21. Is h bigger than 17?
False
Let u = 1945.94 - -109.06. Which is smaller: u or -0.2?
-0.2
Let k(s) = s**3 - 23*s**2 + 20*s + 43. Let p be k(22). Let d be (-23 - -22)/(p + 2). Which is bigger: -229 or d?
d
Let k = 20665 + -20666. Which is bigger: 5/472 or k?
5/472
Let p be (18 - 15) + (-15)/6. Let c(b) = b**3 + 4*b**2 - 5*b. Let h be c(-5). Let k be (-10)/10*(0 + h). Which is smaller: k or p?
k
Suppose -2*z - 372 = -4*x, z + 2*x + 193 = -3*x. Let k = -185 - z. Let u be (3/(-2))/(2/(-4)). Is k < u?
False
Let t = 75.95 + -382.85. Let p = 307 + t. Which is smaller: p or 87?
p
Let f = 40847.87 - 40848. Is f bigger than 6/91?
False
Let y be (-2 - 0)/(-286 - -322). Are 2 and y nonequal?
True
Let v be (-7737)/(-3) + (-7 - -13). Suppose -62*q = -51*q - v. Is q <= 235?
True
Let m be 12 + 6*(-8)/12. Let i(j) = j**2 - 3*j + 3. Let y be i(m). Suppose 2*d - 7 + y = 4*g, g + 4*d = 18. Is 9 greater than or equal to g?
False
Suppose t = -2*t + 3. Let o be (-135)/(-297)*(-1 - -2). Which is smaller: o or t?
o
Let m(n) = -2*n - 81. Let x be m(-42). Let c be (-8 - 372/30)/(x/10). Which is smaller: c or -72?
-72
Let t(c) = 3*c**2 + 1. Let o be t(-1). Let r be 656/64 + (-6)/(-8). Let x = r - 9. Are o and x equal?
False
Suppose 5*k - 998*z = -997*z + 3307, -2*k - 5*z = -1366. Is 684 at most k?
False
Let m = 23 - 29. Let f be (-4 + (-15)/m)*10. Let n be (-6)/f + 0 - 0. Which is smaller: 1/4 or n?
1/4
Let u be (-4)/6 - 6/18. Let k = 75 - 73. Let h = -12/7 + k. Do h and u have the same value?
False
Let h be (-3)/2*60/(-27). Let k = 13172 + -13170. Are h and k non-equal?
True
Let x be (-6)/(-10) + 1113/(-630). Let d = -4.01 + 0.01. Is x greater than d?
True
Let p(s) = s**2 - 47*s + 65. Let k be p(5). Which is smaller: -143 or k?
k
Let v be 41 - (3 + (1 + 6)*-1). Suppose -v*c + 180 = -35*c. Is c <= 15?
False
Suppose -301 = 18*w - 337. Let y = 9 - 9. Are w and y non-equal?
True
Let l(b) = 8*b + 106. Suppose -129*r + 136*r + 105 = 0. Let f be l(r). Is -0.2 bigger than f?
True
Suppose 0 = -54*c + 57*c - 21. Suppose 2 = m + m. Suppose 0 = -5*w - 2*k - 9, 0 = -4*w - k - c + m. Which is smaller: w or 2?
w
Let j = 4 - 3.7. Let b be (19/(-3))/(((-294)/(-126))/(-7)). Which is greater: j or b?
b
Let j = -2416.21 - -22.21. Which is bigger: j or -6?
-6
Let d = -310897/6 + 2387297/46. Let j = d - 244/3. Let p = 0 + -1. Are p and j nonequal?
True
Let m be 540/12825*10/(-89). Is 0 < m?
False
Let h = 11458 - 11536. Let t = 4333.98 + -4411. Let p = t - h. Is 0 equal to p?
False
Let v(b) = b**3 + 3*b**2 + 19*b - 758. Let w be v(0). Is -2270/3 > w?
True
Let w be (1278/(-15))/(234/(-390)). Which is bigger: w or 139?
w
Suppose 2*t = -4*d - 10, 0*d - 4*t = -2*d - 10. Suppose 0 = -3*a - 1020 - 72. Let v = -733/2 - a. Are d and v unequal?
True
Let n(z) = -7*z - 63. Suppose 8*h - 174 = -38. Let x be n(h). Is -183 at most x?
True
Let o(h) = 12 - 3*h + 6*h + 0*h. Supp