 Is 0 greater than k?
True
Let q = -125 - -695. Let l = 578 - q. Is l greater than or equal to 8/7?
True
Let t(s) = 2*s**3 + 18*s**2 - s - 11. Let j be t(-9). Let d be ((-240)/12)/(4/j). Which is smaller: 65/7 or d?
65/7
Let j be (-23)/((-4830)/20) - 290/7. Let r = 901/12 + j. Are r and 34 non-equal?
True
Let c = 8 - 17. Let n = 0.358 + 144.642. Let g = 142 - n. Which is greater: g or c?
g
Let h = -1.03 - -4.33. Let s = h + -3.69. Let y = s - -0.29. Which is bigger: -2 or y?
y
Suppose -3*y + 38 + 187 = c, -4*y - 470 = -2*c. Let w = 229 - c. Which is greater: w or -12/13?
-12/13
Suppose -4134 = -1199*j + 1212*j. Do -322 and j have different values?
True
Let t be ((-4)/(-3))/((-2)/(-3)) - 259405/130597. Is 0 greater than t?
False
Let l = 111 + -1. Let b be (-1)/(1/l) - 2/1. Are -112 and b unequal?
False
Let o = -63.147 + 0.147. Let d = -75 - o. Let r = -12.26 - d. Which is greater: -1 or r?
r
Suppose 0 = -21*r + 59*r. Let y(c) = c**3 - 5*c**2 - c + 3. Let l be y(5). Is r greater than or equal to l?
True
Let o be 240/60 + 19*418/(-17). Let t = o - -463. Let z = -32/85 - t. Do z and 0.7 have the same value?
False
Suppose 5*j = -10 - 1495. Let n be ((-401)/(-45))/(j/(-84)). Let z = 38/15 - n. Which is bigger: 1 or z?
1
Let l(p) be the second derivative of p**4/12 - p**3/6 - 23*p**2/2 + 21*p. Let y be l(6). Suppose -y*v + 2*v - 45 = 0. Is v <= -8?
True
Let n = 39.65 + -44.65. Is 28 greater than or equal to n?
True
Let z = 116171/8 + -14521. Is -9.2 at most z?
True
Let u = 307 + -253. Let g be (-36)/3*u*5/(-10). Is 324 < g?
False
Suppose 4*l - z - 37805 = 0, -7*l + 12*l - 47270 = 4*z. Let m be (-3206)/l - 2/(-25). Is m less than -1?
False
Let w = -24074 + 24073.9. Let m = 47 - 53.1. Does m = w?
False
Let l(i) = -1141*i + 1716. Let u be l(-2). Do u and 3998 have the same value?
True
Let d be ((-5)/(-2))/((-80)/(-64)). Suppose 0 = 5*z - d*j + 65, j - 60 = -3*z + 8*z. Let f be 1/(1/11*-1). Is z >= f?
True
Let f(u) = u**2 - 10*u - 50. Suppose 0 = 143*d - 139*d - 56. Let z be f(d). Is z greater than or equal to -0.06?
True
Suppose -110*v + 163*v + 1017272 = -149*v. Does -5034 = v?
False
Suppose 2*j = 4*z + j + 382, -4*z = -2*j + 384. Let s = -161 + z. Which is smaller: -254 or s?
s
Let q(t) = -t**3 - 4*t**2 + 5*t + 5. Let f be q(-5). Suppose 5*p = -5*n - 11 + 1, 0 = f*n + 20. Let h be (264/p)/((-9)/6). Which is smaller: -1 or h?
h
Suppose -18*u + 3 = -19*u. Let n(o) = o**2 - 7*o - 18. Let q be n(u). Let k be (-2)/(-6) + q/(-18). Is 4 > k?
True
Suppose 0 = j - 2*j + 16. Let a = -9 + j. Let c = a - 7. Do c and 2/11 have the same value?
False
Let i = 1.618 + 58.382. Is -3/5 at most i?
True
Let q(t) be the third derivative of -4*t**4/3 + 18*t**3 - 7*t**2 + 2. Let j be q(4). Which is smaller: j or -19?
j
Suppose -5*h = -4*j + 553, 34*h - 117 = 35*h - 4*j. Suppose 109 = -25*p + 24*p. Do h and p have the same value?
True
Suppose 258*z + 900 = 254*z. Which is bigger: -899/4 or z?
-899/4
Suppose -5*o - 17*o = 9*o + 8*o. Does o = -1/21413?
False
Let c = -2.85 - -2.9. Let u = -2.1 - -59.1. Let n = 57 - u. Is n < c?
True
Let o = 3011514/13 + -231536. Which is smaller: o or 120?
o
Let u be 3720/(-1400) + 3 + -3. Which is smaller: -3 or u?
-3
Let v be 4 - 1/((-3)/(-6)). Let i(k) = 2*k - 41. Let f(b) = 4. Let n(u) = -f(u) + i(u). Let r be n(23). Which is bigger: v or r?
v
Suppose -473*y + 7911 = -470*y + 3*a, -4*a - 2602 = -y. Which is smaller: -3 or y?
-3
Suppose 3*m - 4*m = -15. Suppose -77 = -s - 14*i + m*i, -i + 87 = s. Which is bigger: 84 or s?
84
Suppose 0 = 2*d + 3*g - 5, -2*d + d - 1 = 5*g. Let a(z) = 9 + 8*z + 0*z + z**3 + 11*z**2 + 6 + 3*z. Let i be a(-10). Which is bigger: i or d?
i
Let c be 23/(4 + -10 + (-4)/(700/(-1043))). Is c greater than or equal to -584?
True
Suppose -5*h - 54 = -49*x + 50*x, -2*x - 2*h - 100 = 0. Is 1/6 equal to x?
False
Let l(x) be the second derivative of x**3/2 + 9*x**2 + 2849*x. Suppose -4*u - 44 = 4*y, -2*u + 5*u - 4*y = -40. Let k be l(u). Is k > -16?
False
Suppose 0 = -2*x - 4*r + 4974 + 9282, -2*x - 2*r + 14250 = 0. Is x greater than or equal to 7124?
False
Suppose 270 = 2*k - k. Suppose 21*f - k = 26*f. Let y = 158/3 + f. Which is bigger: y or -1?
-1
Let a be 9/(-15)*(3 + 2). Let d be (-24)/(-1716)*11 + (-11)/(-13). Which is bigger: a or d?
d
Suppose -9*o - 13*o = 0. Let f be (-2 + o + 1)*(-2581)/(-58). Which is greater: -46 or f?
f
Let x = -56.9261 + 0.0261. Let n = x - -50. Let p = -7.9 - n. Which is smaller: p or -16?
-16
Let b = 6058 - 4168. Let h be (1 - 1522/(-22))*b/24. Let k = h + -5523. Is 5 at least as big as k?
True
Let t = 2294 - 2227. Let y = -25 + 94. Which is greater: y or t?
y
Let j be 48/4*(-15)/(-6). Suppose 0 = -39*z + 32*z + 56. Let x be (z/114)/(j/(-9)). Which is smaller: x or 0?
x
Let u be (4 - 7/1) + 11/5. Let c be (-5)/((-45)/(-24))*189/14. Let s = c - -36. Is s >= u?
True
Suppose -465 = -8*f - 2417. Let g be ((-7)/(-98)*7)/((-1)/f). Which is smaller: 123 or g?
g
Let q = -2/36899 + 739046/19667167. Do -1 and q have the same value?
False
Let t = 614957/352 + -1747. Which is bigger: 1 or t?
1
Suppose 20*u + 240887 = 73*u - 230813. Is 8900 at most u?
True
Let q be (-4 - -8) + (-1886)/438. Let a = -2/73 + q. Suppose 10*z = 3*z. Which is bigger: a or z?
z
Let w = -4614 + 4614. Is w bigger than 30/673?
False
Let o = -100 + 71. Let j = 29.2 + o. Let c = -1.2 + j. Which is smaller: c or -23?
-23
Let k(a) be the second derivative of 2*a**3/3 + 5*a**2 - 7*a. Let d be k(-4). Suppose 16 = -6*r + 4. Is r not equal to d?
True
Suppose 22*s = 15*s. Suppose -3*a + 20 = r, -2*r + a = -s*a - 47. Which is smaller: r or 68/3?
68/3
Let x(q) = -4344*q + 71 + 33 + 4341*q. Let t be x(32). Suppose -5 - 5 = -2*j. Is t smaller than j?
False
Let r = -6117 + 6137. Are -20 and r equal?
False
Suppose 3*k + 2 = 5*k, -4*v = -5*k - 295. Suppose -2*w + v = 3*w. Let p = 11 - w. Is -2 at most p?
False
Suppose 9*r - 101 = -1973. Let d be ((-702)/r)/(6/40). Are -1 and d nonequal?
True
Let u(h) = h**3 - 8*h**2 - 40*h - 54. Let l be u(11). Is -653/5 at least as big as l?
True
Let y = 11971.4 + -12984. Is y < 0?
True
Let i = -0.017 - 31.983. Let j = -521 + 473. Let m = i - j. Which is bigger: m or -0.1?
m
Let v = -5 + 3. Let q be 20/3 - (-2)/v. Let u = -1651.8 - -1652.8. Is q less than u?
False
Suppose 77*i - 101*i = 121608. Is -5067 at least i?
True
Let q = -4643 - -5159.8. Is q greater than 1?
True
Let n = 1430.3 + -1908.3. Is n < -15?
True
Let a = -5660 + 3769. Is -1891 equal to a?
True
Suppose 3*r + 4*i = 3*i + 953, -5*r + 1594 = -4*i. Let k = -55651/175 + r. Which is smaller: -1 or k?
-1
Let b be ((-2)/(-2))/((1/(-20))/(7/(-35))). Is b at least as big as 44?
False
Let l = -2553 + 2553. Which is smaller: l or 0.2?
l
Let b = 404504/7 + -57786. Let p be 651/18 + 2/(-12). Which is smaller: b or p?
b
Suppose -4829 = -3*o + 592. Suppose -l - 365 = -x, 6*l - 11*l = 4*x + o. Which is smaller: l or -364?
-364
Suppose -2*k + 4 = -4. Suppose -k*t + 52 = -5*r, t - 15 = -4*t. Let b = -809/60 - -123/20. Is r less than or equal to b?
True
Let o = 52 - 51. Let h = -3699/68 - -219/4. Which is bigger: h or o?
o
Let a be (-41)/((-4510)/99)*1*5. Is a < -1?
False
Let j = 2652 - 2656. Let x be (-4)/(-18) - 7/(-9). Let o be ((j - x) + -21)/1. Do -24 and o have different values?
True
Let o = -1279.039 + 4.039. Which is smaller: o or -5?
o
Let j = 228 + -146. Suppose 3*k + j = 124. Let t = -64 - -63. Do t and k have different values?
True
Let o be (2*3/(-6))/((-3 - 0)/(-879)). Is -6 >= o?
True
Let w be (384/(-640))/(2/2120). Is w != -637?
True
Suppose 2*m = -2*v - 1325 - 1663, -m = -5*v - 7446. Is v less than or equal to -1491?
False
Let y = 193 - 160. Suppose -4*z + d = y, -9*z + 8*z - 17 = -2*d. Let o(x) = x**3 + 3*x**2 - 3*x - 2. Let m be o(-4). Is m < z?
False
Let l be ((-741)/(-114))/((-2)/(-268)). Let o = l - 872. Is 4/373 greater than o?
True
Let n(a) = -2*a**2 + 10*a + 7. Let m be n(6). Let v be 2/(-8) - 54/(-24). Let d be (12/4)/(v/(-4)). Which is greater: m or d?
m
Let h = -4.063 + 4.163. Which is greater: -0.2 or h?
h
Let w = -7/284 - -333/1988. Which is greater: w or -4/3?
w
Let w = 1443.736 - 1444. Which is greater: w or -3?
w
Let x be ((-2)/7*-41)/2 - 44/(-308). Let a be 2/6*(-70)/(-4). Which is greater: a or x?
x
Let i = 164/3 + -53. Suppose 27