93 + 1/31. Is y at most r?
True
Suppose -34 = -2*s - 2*n - n, 0 = 3*s + 3*n - 48. Let t = 72 + -57. Which is smaller: t or s?
s
Suppose 32 = 10*m - 8. Let s(l) = -l + 4. Let a be s(3). Let c = a - m. Is -7/3 less than or equal to c?
False
Let c(z) be the second derivative of -4*z**3/3 + z**2 + 4*z. Let t be c(-2). Let d be 8/18 + (-4)/t. Which is smaller: d or -1?
-1
Suppose -4*l - 5*m + 2*m = 66, 0 = 3*l + 3*m + 51. Which is smaller: l or -162/11?
l
Let w(j) = 8*j - 4. Let l be w(1). Suppose -l*x = -b - 19, -x + 5 = -0. Is b at most as big as 9/8?
True
Let o be (12/102 - 0)*(-30)/12. Which is smaller: o or 1?
o
Let q = -532/11 + 41507/858. Let o be 45/55 + 3 + (-93)/33. Which is greater: o or q?
o
Let k = 307.937 - -0.063. Let z = k + -306.49. Let o = 0.21 - z. Is o >= -1?
False
Let q(g) = g**2 + 3*g - 4. Let h be ((-16)/(-10))/((-10)/25). Let p be q(h). Is 2/65 bigger than p?
True
Suppose 5*t + 25 = 0, 2*d + 33 = -t - 74. Let z = -39 - d. Which is greater: z or 8?
z
Let y = 12 + -17. Suppose d = -2*d - 18. Let f = y - d. Is 2/9 != f?
True
Suppose -3*x + 2 = 5. Let s(v) = 2*v**3 + 7*v**2 - 2*v - 6. Let w be s(-6). Let k = w + 2089/12. Which is greater: k or x?
k
Let g(m) = -9*m**3 + 15*m**3 - 1 - 7*m**3 - 3*m**2 - 2*m + 0*m**3. Let w be g(-1). Is -5/28 <= w?
False
Let b = -127 + 214. Let f be b/(-315) + (-2)/(-14). Do f and 1 have different values?
True
Let v = -1675 - -1671. Which is smaller: v or -66/23?
v
Suppose -7*d - 6 - 78 = 0. Are -59/5 and d equal?
False
Let n be 2/16 - ((-2013)/408 + 5). Which is greater: n or 1?
1
Let k = -570 - -470. Which is bigger: k or -99?
-99
Let f be -1*(-2 - -6 - 5). Is f at most -3/191?
False
Let j be ((-62)/32 - -2)*2. Suppose r + 12 - 20 = 0. Suppose r*p + 2 = 6*p. Is p at most j?
True
Suppose 0 = -2*f + 17 - 7. Let w be f/(-4) + (-3)/(-12). Let p = 23/128 + -37/384. Which is greater: p or w?
p
Suppose 0 = 3*p + 48 + 18. Let q(r) = r**2 + 18*r + 33. Let h(z) = -15*z**2 + z + 2. Let c be h(-1). Let y be q(c). Is p > y?
True
Let l be ((-10 + 5)/(-15))/(3/747). Is l greater than or equal to 84?
False
Let g be ((-104)/12)/(7/3 + -3). Which is smaller: 12 or g?
12
Let i = 10 + -14. Let m = -4 - i. Suppose -4*l + l - 15 = 4*d, -17 = 5*l + 4*d. Is l >= m?
False
Let x be (-1 + -4 + 5427/1086)*6. Do -1 and x have the same value?
False
Let c be (0 - 0) + -14 + -1. Let g be c/(-475)*10/(-4). Let p = -167/190 - g. Are p and 1 non-equal?
True
Let l(c) = 2*c**2 - 5*c + 1. Let v be l(3). Suppose 5*y - 32 = v*y. Is y smaller than 32?
False
Let u(v) = -v + 27. Let h be u(5). Let b(d) = 2*d**3 + 3*d - 1. Let r be b(2). Which is bigger: h or r?
h
Let t(o) = o**3 + 8*o**2 + 3*o - 13. Let j be t(-7). Suppose 10 = -0*a + 5*a. Which is smaller: a or j?
a
Suppose 0 = -3*s + 4*t + 2, 3*s - 5*t - 1 = -0*t. Suppose w = -2*z - 12, -24 = 5*z - z + 3*w. Let i be -2 + 0 - s - z. Which is smaller: i or 1?
1
Let h(y) = -y**2 + 7*y - 8. Let a be h(5). Let b be (-716)/239 - (-6)/a. Which is smaller: b or 1?
b
Suppose 5*q - 134 = -3*k - 19, 12 = -3*q. Is 43 > k?
False
Let d(n) = 4*n**3 + 2*n**2 - 6*n + 9. Let k be d(3). Which is greater: k or 118?
118
Let j = -18/31 + 455/837. Suppose -13 + 9 = -4*s. Which is smaller: j or s?
j
Let d = 552.6 + -789.9. Let g = -213 - d. Let z = 24 - g. Which is greater: z or -3?
z
Let t(a) = -a**3 - 6*a**2 - 5*a + 12. Let o be t(-9). Let w be ((-17)/o)/(36/345). Let b = w + 16/45. Is b less than 0?
True
Let x be (1 + 1)/(56/(-35)). Suppose a - 4*a = r - 1, -a = -3*r + 3. Let h be a/((8/(-2))/(-4)). Is h greater than x?
True
Let h = 2.71 + -2.91. Is h < -72?
False
Let x be (-7)/2*(0 + -2). Let h(c) = 27*c + 144. Let w be h(-5). Which is bigger: x or w?
w
Let q be 102/(-14) + (-16)/(-56). Let z = q - -5. Let a be 5*(32/15 + z). Which is smaller: 2 or a?
a
Let y = 25 + -15. Suppose -3*q - y = 2*q. Let w(u) = -u**2 - 5*u + 1. Let g be w(-5). Is q > g?
False
Let v(l) = 9*l + l**2 - l**3 + 0*l**3 + 1 - 8*l**2. Let i be v(-8). Let n = i - -7. Which is smaller: -4/3 or n?
-4/3
Let v(a) = a**3 + 2*a**2 + 2*a + 3. Let o be v(-2). Let b be 4/(-28) + (-988)/(-7). Let f = b - 6061/43. Are o and f non-equal?
True
Suppose -2*l = 4*z + 58, -2*z - 2*l - 26 = -0*z. Let c(p) = 2*p**3 - p**2 - 17*p - 2. Let a be c(-3). Is a != z?
True
Let p = -311 - -84. Which is smaller: p or -224?
p
Let p = 20.5 - 18. Let u = p + 19.5. Is u equal to -2?
False
Let s = 1513 + -1521.2. Is -3 at least as big as s?
True
Let v = -110 - -81. Let y = 30 + v. Is y less than 17?
True
Let d(l) = l - 2. Let y be d(-6). Let n(j) = -9*j - 52. Let p be n(-6). Suppose 12 = -p*o + 4*g, 3*o - g + 4 = -19. Is o at least y?
True
Let n = -140.5 + 65.1. Let l = -107.36 - n. Let i = l + 32. Which is bigger: i or -2?
i
Suppose -29 = -l - l - t, 0 = l + t - 12. Suppose 3*a - 4 = l. Is 8 < a?
False
Let c be ((-438)/18)/(55/36). Let y = -162/11 - c. Which is bigger: y or 0?
y
Let s be -2*(2/4 - (-528)/(-1001)). Is 1 at least as big as s?
True
Let r = -453 + 338. Are 0.1 and r equal?
False
Let v = 13 + -11. Suppose 3*t + v*y = -0*t, 4*t = 2*y. Suppose o - 2*o + r = t, 0 = 2*o - r. Is o less than or equal to -3/10?
False
Let p(j) = -5*j - 2. Let s be p(2). Let q = -8 - s. Let f be q/18 + 21/27. Is 1 greater than or equal to f?
True
Let c = -19.15 - -19.3. Is c less than 3/10?
True
Let m(n) = -2*n**3 + 4*n**2 - 4*n + 6. Let f be m(3). Let s be f/90*(-6)/56. Are 1 and s nonequal?
True
Let t be (6/5)/((-9)/60). Let q be (t/12)/(6/9). Is q at least as big as -7/6?
True
Suppose f = 2*f - 3. Suppose -f*c = -6*c + 9. Suppose 3*w - 21 + c = 0. Are 5 and w non-equal?
True
Let v be (5/1)/(-1) - (45/(-12) + -1). Let d = -0.36 - -0.55. Which is greater: v or d?
d
Let f = 94 - 95.18. Let l = -1.08 - f. Which is greater: 7 or l?
7
Let a be (253/(-1353))/(10/(-30)). Which is bigger: 0 or a?
a
Suppose -3*o - 3 - 10 = 2*i, -3*i - 22 = 5*o. Suppose 0*b = -5*b - 4*y + i, -5*y - 6 = -b. Are b and -1 equal?
False
Let j(n) = -113*n - 676. Let a be j(-6). Let m(x) = 5*x + 8. Let o(f) = -f. Let q(g) = -m(g) - 6*o(g). Let y be q(5). Is a at most as big as y?
False
Let l be (-22)/(-5) + (-6)/15. Suppose 7 = 3*g - l*w - 3, 0 = -3*g - 2*w + 4. Let j(b) = b**2 - 9*b - 28. Let q be j(12). Which is bigger: g or q?
q
Let d = -1804 + 1806. Are d and -1 equal?
False
Let p = 33 - 16. Let r = -21.1 + p. Let u = -4 - r. Is 0.1 <= u?
True
Let p = 922 + -924. Which is greater: p or -340?
p
Suppose -155 = -6*g + 181. Suppose 0*q - g = -4*q. Are q and 13 unequal?
True
Let s = -933 + 933. Let b = -10 - -109/12. Let t = -37/36 - b. Is t at least s?
False
Let f = 0.74 - 0.88. Let u = 0.86 - f. Which is smaller: u or -35?
-35
Let h = 219 - 219. Is h less than or equal to -1/47?
False
Let i = 0 - 0. Let m be (1/3)/(1/6). Let b be m - ((-1)/(-2) - -1). Which is smaller: i or b?
i
Suppose 0 = -l + 25 - 2. Let z(c) = 21*c**3 - c**2 + 4*c - 2. Let j be z(1). Which is greater: l or j?
l
Let t = 33 - -7. Suppose -4*q = -6*z + z + t, 0 = 5*q. Which is smaller: z or 9?
z
Let p be (-14)/21 + 681/9. Which is bigger: 377/5 or p?
377/5
Let f = 1/34 + 97/170. Suppose 19 = -5*c - 2*l, c + 2*l = -1 + 2. Let h = 7 + c. Is f > h?
False
Let y(w) = 190*w + 7272. Let s be y(-38). Let q = -4 + 56. Is q bigger than s?
False
Let a = 2.9952 + 0.0048. Which is smaller: a or -196?
-196
Let m = 47 - 42. Suppose 6*l = 4*l + m*u - 177, -299 = 4*l + u. Is l at least as big as -76?
True
Let u(j) = j - 2. Let y be u(1). Are -3/260 and y non-equal?
True
Let o = 6 - 18. Let a be -3 - (-1 + 1 + o). Which is bigger: a or 7?
a
Suppose 5*i = -4*v - 2, -2*i - 16 = i - 5*v. Let p be 5 + i - 1/(-1). Let g be ((-2)/p)/(2/(-8)). Which is greater: 4/7 or g?
g
Let t = -1.9482 + -0.0518. Do t and 81 have the same value?
False
Suppose -151*o + 6 = -145*o. Which is bigger: 7/33 or o?
o
Suppose -2*i + 5*i + 3 = 0. Let b(n) = n**3 + n**2 - 2*n - 2. Let s be b(i). Let q = -2395/7 - -343. Is q < s?
False
Let c = -709 + 709. Is c less than -30/31?
False
Let q be -3 - -4*(-4)/(-4). Let p = 5351/11 + -487. Which is smaller: p or q?
p
Let b = 407/3 + -136. Is -0.5 at most as big as b?
True
Let f be 26/(-143) + 172/(-22). Let c be (308/8 + 5)/(42/f). Which is bigger: c or -1?
-1
Let p(v) = -2*v - 18. Let f be p(-12). Let b be (-16)/(-444)*f/(-4). Which is greater: b