greater than d?
True
Let o be 7*(0 - (-2)/7). Let r be (-2)/(-9) - (-170)/45. Suppose y + 4 + 1 = 5*m, -r*m + 2*y + 4 = 0. Which is bigger: o or m?
o
Let q = 262 + -304. Let t be q/28*(2 + -6). Which is bigger: 3 or t?
t
Let q = -4057 + 4074. Which is bigger: q or 15?
q
Let f = -135.809 + -0.191. Let m = f + 135. Which is bigger: m or 1.9?
1.9
Let j(u) = -3*u**2 + 21*u - 6. Let b(x) = x**3 + 2*x**2 - 3*x + 1. Let d be b(-2). Let p be j(d). Which is greater: p or 1/3?
1/3
Let r = 203 - 227. Let o be 6/228*15/r*-4. Is o not equal to 0?
True
Let g = -32/1155 - -59/8085. Is -18 at least as big as g?
False
Let a = -2812 - -2811.86. Is a at most as big as -36?
False
Suppose -d = 2*d + 3*g - 90, -4*g + 147 = 5*d. Suppose 32 = 5*z + d. Let o = 96/5 + -98/5. Are z and o non-equal?
True
Let n(b) = -469*b + 1421. Let k be n(-6). Is 4235 greater than k?
False
Let x = 304.702 + 0.298. Let g = x + -305.4. Is g smaller than -3.4?
False
Let f be 482/(-188) - (22 - 989/46). Which is greater: -1 or f?
-1
Let d = -4234 - -4232. Do d and -0.01471 have the same value?
False
Let n = 129.2 + -129.2. Are -0.1 and n nonequal?
True
Let y = 670 + -669.9447. Let l = -0.0343 + y. Do l and 2 have different values?
True
Suppose 0 = 2*p, -16*x - 57 = -19*x - 4*p. Which is greater: 17 or x?
x
Let q = 99008/3 - 32561. Which is smaller: q or 443?
q
Let x = -19830907/632 - -31378. Do x and 1 have the same value?
False
Let o = -0.17 - 0.03. Let v = 1.11 - 0.75. Let w = v - 0.46. Which is smaller: o or w?
o
Let f(d) = d**3 + 11*d**2 + 3. Let y be f(-11). Let i(w) = 10*w + 60. Let q be i(-6). Suppose q = p + y. Which is smaller: -6 or p?
-6
Let w be 5/3 - 264/(-198). Suppose h = -2*c - 2 + 7, 4*c = w*h - 15. Which is smaller: c or -7/8?
-7/8
Let d = -761 - -1250. Suppose 6*l - 1944 = 2*l + j, l - d = j. Let w be l/120 - (-5)/((-10)/8). Which is bigger: w or 1?
1
Let q(i) be the first derivative of i**4/4 - 4*i**3/3 - 5*i**2/2 + 31*i - 137. Let x be q(5). Is 27 less than or equal to x?
True
Let d(w) = 8*w**2 - 4*w + 10. Let o be d(3). Let i be (9/(-6))/((-21)/o). Suppose -3*h - 1 - 4 = -2*x, -3*x + 8 = -i*h. Are -1/23 and x equal?
False
Let l be (1 + -1 + 50/6)/(25454/(-1068)). Is 1 at least as big as l?
True
Let g(w) = w**2 + 3*w - 78. Let r be g(-5). Which is greater: r or 6?
6
Let w(l) = 598*l - 11. Let b be w(-8). Let q be -2 + 9 + b/686. Is q at least -1?
True
Suppose b + 28*b = -23*b - 304720. Is b greater than or equal to -5860?
True
Let f = 10.5 + -13. Let v = -0.0775 + 0.0075. Which is smaller: f or v?
f
Let w be (-3813 - ((-140)/25 + 5)) + 5. Let c = 3790 + w. Is c equal to -18?
False
Let o be ((-520)/(-49100))/26*20. Which is smaller: o or 1?
o
Let x(u) = -282*u - 6477. Let k be x(-29). Which is bigger: k or 1702?
1702
Let d = -32207 - -418700/13. Suppose -14 = -2*u + 4*m, 0 = -7*u + 2*u + 4*m + 23. Suppose 3 + 0 = u*s. Which is greater: s or d?
s
Let l = -107 + 121. Let i be l/(-26271)*-390 - (-4)/(-18). Let n(b) = b - 7. Let q be n(7). Which is greater: q or i?
q
Let j(w) = -w - 10. Suppose -166 + 172 = -3*b. Let h(t) = -t - 14. Let m be h(b). Let g be j(m). Which is greater: g or -22?
g
Suppose y + 3*y = -3*i - 478, 2*y - 5*i = -226. Let o = y - -78. Let d = -40 - o. Is -2/45 not equal to d?
True
Suppose -4*s + 4776 = -4*a, -3*s - 874 = a + 316. Which is smaller: -1197 or a?
-1197
Suppose -12*h + 35 + 253 = 0. Let y(z) = -3*z**2 + 15 + 65*z - h + 31. Let s be y(22). Which is bigger: -6/7 or s?
s
Let w = -5161 - -5053. Is -110 bigger than w?
False
Let d be (1 + 0)/(11/(-11)) - 9. Let j be ((-10 + 5)/d)/(1/(-2)). Let w be 1/3*(-81)/j. Which is bigger: w or 2/5?
w
Let h be -21 - (-3)/(-6)*-1*-8. Let b be (-28)/20 + (-10)/h. Is b >= 1/48?
False
Let m(b) = b**3 + 6*b**2 - 25*b + 20. Let q be m(-9). Let a be (2*q/8)/(21/14). Is -2.4 <= a?
True
Let y = -9044/5 + 425148/235. Which is smaller: y or 1/2?
y
Suppose 179400 = 105*g - 24*g + 57*g. Which is smaller: g or 1296?
1296
Suppose -5*x + 3*a = -1124, 12 = -2*a + 16. Is x greater than or equal to 225?
True
Let x be 119068441/(-79376750) + 5/2 + -1. Is -1 greater than x?
False
Let p = -392 + 707. Let k = 315 - p. Are k and 6 non-equal?
True
Let j = 0.401 - -104.999. Let m = j - 105. Is m at most as big as 1?
True
Let c(k) be the third derivative of -k**6/120 - 3*k**5/20 - k**4/24 - 16*k**3/3 - 214*k**2. Let w be c(-9). Is w at least -22?
False
Let m be ((-4)/8)/((-3)/(-6)). Let i(q) = 31*q**2 + 2*q - 1. Let p be i(m). Let b be p/(-160) + (-9)/(-24). Which is smaller: 1 or b?
b
Let q be -1*-2*2/20. Suppose 2*i = -5*z + 1204 - 1166, -16 = 2*i - 4*z. Which is smaller: i or q?
q
Suppose 3*f = f - 5*i + 530, -5*f + 1387 = -3*i. Suppose 0 = 4*m - t - f, -2*t + 40 = -3*m + 250. Let s = -205/3 + m. Is 0 greater than s?
True
Let h = -433/4383 - 6/487. Let b = 9 - 5. Do h and b have the same value?
False
Let n be (125/250)/(3 - (-10)/(-3)). Which is smaller: n or 0.056?
n
Let m = -251156/2509 + 1302/13. Suppose -4 + 7 = 3*q. Which is bigger: m or q?
q
Let w be (-2188)/54*6*(2 - 26/4). Is 1094 less than w?
False
Let j(v) = -v**2 - 4*v + 4. Let a be j(-5). Let t be (-122)/(-12) + 1/(-6). Let o be t/14 + -1 - 752/(-2303). Which is smaller: o or a?
a
Let a(b) = 11*b - 154. Let u be a(14). Suppose -5*v - 19*v - 528 = u. Suppose 5*p + 56 = -3*x, x + 4*x + 114 = 2*p. Are v and x equal?
True
Let s be (-4)/(-6*(-14)/84). Which is smaller: s or -37/7?
-37/7
Let k = -21938/11 - -1993. Let d = k - -146/99. Is d less than -2/11?
False
Let t = -0.1 + 0.05. Let v = 69.99 - 68.89. Which is smaller: t or v?
t
Let b be (0/(-1) - -3) + -13 + (-12 - -22). Let a be (18/(-208))/((-42)/8). Is a at most b?
False
Suppose -15*v - 50*v - 156 = 39. Which is bigger: v or -810?
v
Suppose -7*m + 13634 = 13641. Which is bigger: -2/3923 or m?
-2/3923
Suppose 50*z - 5 = 41*z + 4. Which is smaller: z or -16/245?
-16/245
Let s be ((-185)/74)/((-3)/12). Suppose 15*j = 18*j - 9. Is s smaller than j?
False
Let m = 0.98 - 0.9. Let q = -68 + 68.02. Let v = m + q. Which is smaller: v or 1?
v
Let m = 7.71 - -44.39. Let o = m - 52. Is o >= -2/137?
True
Let w(a) = -a**3 + 21*a**2 + 54*a - 1. Let y be w(23). Let t = -160 + y. Suppose b + 4*b - 110 = 0. Which is greater: t or b?
t
Suppose -2*y + 28 = 3*i + 12, 4*y + 3*i = 20. Suppose 147 = -y*o + 189. Is o < -3?
False
Let v(c) = 0*c + 6 - c - 4*c - c**2. Let o be v(-8). Let h be (-40)/15*-2*o/(-304). Is h != 0?
True
Let g = -6.1036 - -0.0036. Let r = g + -0.9. Is 35 greater than or equal to r?
True
Let r = 2992 + -2992.13. Suppose 15 = 5*b + 5*z, -3*z + 0*z = -b + 7. Which is smaller: b or r?
r
Suppose 5*v + 1595 = 3*i - 2727, -2*i = -5*v - 2873. Let k = i + -466577/322. Is 0 < k?
True
Let z = -164 - -167. Suppose z*g + 40 = 4*n - 32, -3*g = 2*n + 54. Which is smaller: g or -24?
-24
Let b be (1 + -3 + -2)/(-2). Let i be 75/50*(-1 - -9)/4. Let a be (0/b)/3 - 32/i. Is -11 >= a?
False
Let a = -74/175 - -6539/15050. Are 2/3 and a unequal?
True
Let k be -3 - ((-167962)/(-126) + 0). Let z = -1336 - k. Let i be 1/((-10)/(-6))*(-10)/15. Which is smaller: i or z?
i
Let y be (-153)/168 - 8/(-28). Let u = 56 - 62. Let f be ((-10)/u + -2)/(1/3). Is f at least y?
False
Let n(t) = t**3 - 7*t**2 + t + 3. Let r be n(7). Let k = 72 + -64. Let i be 37/4 - k*(-2)/(-64). Is i > r?
False
Let g = 91 - 564. Let w = 472.55 + g. Which is smaller: -3/7 or w?
w
Suppose 9946 = 4*a - 5*t + 3815, -3*t + 1554 = a. Let b = a + -38466/25. Which is smaller: b or 0?
0
Let u = -260335/14378 - -36/1027. Which is bigger: u or -19?
u
Let v(q) = q - 3. Let t be v(3). Let n = -1569 + 3137/2. Is t at least as big as n?
True
Suppose 267*h + 35966 = 274*h. Is 5138 greater than h?
False
Let q = -5993.1 - -5650. Which is smaller: 0 or q?
q
Suppose 2*k + 21 = -h + 58, 0 = h + 4*k - 45. Is h at most as big as 820/29?
False
Let n be 3*-1*1124904/(-1188) + (-4)/(-3). Is 2842 less than or equal to n?
True
Let c(u) = 1208*u - 454. Let h be c(0). Which is bigger: -453 or h?
-453
Let h be (2 - -2) + 159/(-3). Suppose 2*z = -w - 46, -8*w + 4*w + 2*z = 204. Which is bigger: h or w?
h
Let l = -7856.32 + 7856.4. Let m = -0.9 - 0.1. Let o = m + -3. Is o smaller than l?
True
Let q = 1703 + -2545. Let y = q + 842. Let c be 1*-2 - (-5)/6. Which is greater: y or c?
y
Let y = 37.5 + 222.6. 