 greater: f or x?
x
Let j be (1 - -1) + 9228/(-4612). Let z = j - 8056/17295. Suppose -4*b + 0*b = -3*b. Is z greater than or equal to b?
False
Let a = -34 - -40. Let w be 10/a + (-3)/(-9). Let h be (-3)/((w/(-1))/(-26)). Which is greater: -40 or h?
h
Let a = -567 + 192. Let i = a - -354. Let d = 0 + -1. Do i and d have the same value?
False
Let f = 19568 - 18689. Is 885 at most as big as f?
False
Let s = -14453 - -13628. Which is smaller: 5 or s?
s
Let a be 2/(-3) - 16/(-18). Let d(r) = -r**3 + 30*r**2 + 64*r + 1. Let w be 1 + (-45)/72 - 253/(-8). Let k be d(w). Which is greater: k or a?
k
Let z(u) be the first derivative of -u**4/4 - 14*u**3/3 - 13*u**2/2 - u - 6. Let h be z(-13). Which is greater: -6/29 or h?
-6/29
Suppose -9*q - 120 = 60. Let z be ((-22)/8 + 3)/(5/q). Which is smaller: -0.67 or z?
z
Let n(o) = -2*o**3 + 17*o**2 - 9*o + 12. Let s be n(8). Let v be -3 - ((-3 - 1) + -2). Suppose -d = -0*d + 5*r - 20, 0 = d - v*r - s. Which is smaller: 12 or d?
d
Let x = 31054 - 31008. Let a be 1 + ((-2)/1)/(-2). Which is smaller: x or a?
a
Let u be (100/(-116) - -1)/10. Let w = 29 - 35. Let m be w + (1 - -1) + 5. Which is greater: m or u?
m
Let x = -1.14 + 54.14. Let u = x + -97.8. Let y = u - -42. Which is bigger: -0.1 or y?
-0.1
Let u = -2548 - -2573.64. Is u >= 1/8?
True
Suppose 495*d - 484*d = 242. Are d and -10 nonequal?
True
Let j = 1.1865 + 0.2135. Which is smaller: 112 or j?
j
Let y(j) = 9*j + 176. Let b be y(0). Let g = 176 - b. Which is bigger: -24/35 or g?
g
Let w(p) = 196*p**3 + 8*p**2 + 9*p + 1. Let m be w(-1). Let d = -188 - m. Are d and 11 nonequal?
True
Let z be (10/25185)/1*6/(1 + 1). Is z != 0?
True
Suppose 7*q + 196 = 840. Let k = q + -8. Let h = 43 - k. Is -83/2 equal to h?
False
Suppose -4*w + 3*n + 30 = -w, 5*w + n - 50 = 0. Suppose r = 3, 14*m - w*m + 3*r - 253 = 0. Which is greater: 121/2 or m?
m
Let u be 118 - (0/3)/1. Let l = 34993066/33 + -1060278. Let c = u - l. Are 0 and c equal?
False
Let f = 150 - 227. Let w = 59 + f. Let b = 18 + w. Which is bigger: b or -8/15?
b
Let w(y) = 4*y**2 + 47*y - 2. Let r be w(-12). Let g = 23 - r. Suppose 18*a = g*a - 10. Is -5/2 < a?
True
Suppose 5*t - 80 = -15*t. Suppose -t*n = 2*k + 14, -2*k = 3*n - 4*k - 7. Which is smaller: n or 3/14?
n
Let y(k) = -3*k + 64*k**2 - 68*k**2 - 28*k - 186. Let j be y(-8). Which is greater: j or -195?
j
Let w = 218 + -214. Suppose w*f = -2*n - 56, -2*n + 61 = -4*f - f. Suppose 3*r = -40 + 4. Is f > r?
False
Let k = -12843 + 9373. Is k less than -3469?
True
Let c = -333 - -357. Suppose 51 = -2*l + 3*i, -2*i = -16*l + 15*l - c. Which is smaller: l or -28?
l
Let l be 65814/(-56)*(1 + 23). Let g be (24/l)/(2/3)*1. Is 1 at most g?
False
Let w = 10 - 6.3. Let j = -3.4 + w. Let o = j - -4.7. Is o at most 0.4?
False
Let p be -3 + 10/2 + -1. Suppose -4*j + 15 = -p. Let a be -3 + (30/j)/5. Which is smaller: 13 or a?
a
Suppose 4*j + 0 = -2*w + 12, -3*w = 2*j - 10. Suppose -s - j*s = 5*y + 5, -5*s = 25. Let h(z) = -19*z - 9. Let l be h(-1). Which is smaller: y or l?
y
Let f = -59 + 63. Let x be 25/45*6/f. Suppose -t - 6 = -4*r, -3*r = 2*t - 0*t + 1. Is r greater than x?
True
Let r = 22.618 - 17.098. Which is bigger: r or 3?
r
Let k = 7.8 - 8. Let m = 0.3 + 0.1. Let t = k + m. Which is smaller: 0.09 or t?
0.09
Let f = -542 + 593.4. Let l = f - 51.4. Is l != 65?
True
Let j be 1*(3822/60 + 12). Is j less than 77?
True
Let i = 577.05 + -12.05. Let g = 574 - i. Which is greater: -6 or g?
g
Let t be ((-6)/(-20)*-4)/(60/(-800)). Suppose -892 = -20*q + t*q. Is q at most 223?
True
Suppose 0 = 5*z + 4*h + 225, 0 = 3*z - 5*z + 2*h - 72. Let f = -40 - z. Let s = f + -1. Which is greater: s or 5/23?
5/23
Let n(b) = -b**2 + 65*b + 91. Let q be n(45). Which is smaller: q or 986?
986
Suppose m - 4*m - 653 = n, -1091 = 5*m + 3*n. Let g = m - -160. Which is smaller: g or -58?
-58
Let k(x) = -7*x + 4. Let n be k(-8). Suppose -2*r + 354 = -n. Suppose 10*w + r = -343. Is -55 at most w?
True
Let i be (-116)/1276 - (0 + (-2)/(-22)). Which is smaller: -192 or i?
-192
Suppose 245 = h + 4*w, 463 = 2*h - 4*w + 3*w. Let x be 3 + 4/(-12)*-687. Are x and h equal?
False
Let t(x) = -22*x**3 + 3*x**2 + 239*x + 932. Let w be t(-4). Which is smaller: w or 1426?
1426
Let m = -9.4 + 9.327. Let g = 23.5 - 24.5. Which is smaller: m or g?
g
Let q be ((-66)/9)/11*3*-1. Suppose 2*t = 10, q*o + 2*o + 27 = 3*t. Is -4 at least as big as o?
False
Let a(u) = 8*u**2 + 43*u + 36. Let m be a(-1). Let j = 180 + -2487/14. Which is smaller: j or m?
m
Let m = -5336.2 - 14.8. Is 1 >= m?
True
Let m be (-676)/112 - 18/12*-4. Suppose -5*o - z = -0*z - 1, 5*z = -5*o + 5. Is m < o?
True
Let w(g) = g**3 - 12*g**2 + 23*g - 14. Let c be w(10). Let m be c*6/72*78/4. Let t = 2.1 + -2. Is t at least m?
False
Let w(r) = 3*r**2 - 33*r + 35. Let y be w(10). Suppose m + 8 = -2*b, 4*m + 23 - 3 = -y*b. Which is bigger: m or 9/14?
9/14
Let o = -2064 + 2064.94. Let q = -4/9 + 2/3. Is o smaller than q?
False
Let j = 310 + -200. Let v = j + -28. Which is smaller: v or 80?
80
Let u = 118 - 65. Let h = 8 - u. Let b be (21/56)/((-3)/(-2)). Do h and b have the same value?
False
Suppose 4*q + 3 = -29. Let u(k) = 7*k + 33. Let f = 54 - 60. Let v be u(f). Which is greater: q or v?
q
Suppose -2*q + 3*f + 63 = 0, -5*q + 2*f + 0*f = -141. Let y = q + 16. Suppose -19 = -v - y. Which is smaller: v or -26?
-26
Let g = 18 - -27. Let h = 37 - g. Let z be h/36 - (-246)/621. Is z at least as big as -1?
True
Let i(m) = 121*m - 1606. Let h be i(4). Which is smaller: -1121 or h?
h
Let q be 35/(-5) + 1 + 9. Let y be 1 + -89 + -1 + q. Is y equal to 2/7?
False
Let a = -120 - -65. Let p = a - 171. Does p = 1?
False
Let k = 97 - 181. Let q = 83 + k. Which is smaller: q or -9?
-9
Let n be (1/22*2)/((-6)/(-306)). Let m = -476/143 + n. Which is bigger: 0 or m?
m
Suppose 0 = 7*a + a + 64. Let s(w) be the third derivative of -w**5/60 - w**4/8 + w**3/3 - w**2. Let y be s(-5). Is y less than a?
False
Let t(q) = -276*q**2 - q + 9. Let v be t(-1). Is -1866/7 at most as big as v?
True
Let z = -4789440587/3247740 - 10643/36086. Let a = -1475 - z. Let l = a + 1/18. Which is greater: -1 or l?
l
Suppose -4*g + g + 160 = h, h = 5*g - 264. Suppose 5*v = -q - 67, 4*v - 7 = 3*q - g. Let m be ((-444)/(-1665) - 434/(-60))*8/(-6). Is m < v?
False
Let z = 7701/160 - 32063/480. Suppose 5*i + 40 = 3*i. Which is bigger: i or z?
z
Let m be (-5)/(50/4) + (-19)/(32882065/(-692484)). Do 0 and m have the same value?
False
Suppose -4*p = -3*l + 547 + 207, -5*l = 2*p + 364. Let c = 199 + p. Which is smaller: c or 35/3?
35/3
Suppose -16*o + 40*o = 10*o + 16*o. Is 2/485 at least as big as o?
True
Suppose 0 = 8*p - 6*p - 4*f + 2370, -2*p - 2391 = -f. Which is bigger: -1201 or p?
p
Let f = -11 + 11. Let l(p) = -5*p - 22. Let q be l(-4). Let s be 26 - (-1)/q*(5 - 1). Is s less than f?
False
Let q be 14421/93 + (-142)/2201. Is q less than or equal to 157?
True
Let i be (14073/50)/(1/(-6)). Let u = i - -1689. Which is smaller: u or -1/4?
-1/4
Let v = -57 + 33. Let f(y) = y**3 + 7*y**2 - 4*y - 6. Let h be f(-8). Let i = v - h. Is 14 equal to i?
True
Let k be (-47)/141 + 1546/291 + -5. Let r be (-2 + 2)/(2/(-2)). Suppose r = h - 6*h. Is h > k?
True
Let l = -125.953 + 126.01. Which is bigger: 0.5 or l?
0.5
Suppose -14*f - 379 = 685. Which is greater: f or -77?
f
Let t be (-411)/6*2/5. Suppose -52*b = -45*b - 5*g + 172, 2*g - 74 = 3*b. Which is greater: b or t?
b
Suppose -3*d - 4*q = 5, -7*q - 15 = -5*d - 2*q. Let o be (d - 7)*4/24*-8. Let g = o - 15. Is 0 smaller than g?
False
Let t = -1254 - -1938. Let n = 620 - t. Which is bigger: n or -58?
-58
Suppose 4*z = -3*t + 19, 30*t = 31*t - 2*z + 7. Which is greater: 2/33189 or t?
t
Suppose -3*f - 25421 = 28*f + 58527. Is -2707 at most as big as f?
False
Let p = 489 + -1367. Let f = 868 + p. Are -101/9 and f equal?
False
Let s(j) = 3*j - 7*j + j - 2*j**2 - 46*j**2. Let w be s(-2). Let v be (-4)/w*(-3 + 6). Is v less than or equal to -1/5?
False
Let l = -158 + -166. Let g = l - -215. Is g > -108?
False
Suppose -8*j + 5*j = -9. Suppose j*v + 2*v = 0. Let t be 4*(-4 - (-69)/18). Which is smaller: t or v?
t
Let y(m) = m**2 - 40*m + 123. Let j be y(37). Which is smaller: 136 or j?
j
Let k = -1367/24450 + -2/489. Let n = -71 - -71. Let r be n*(4/3 - 1). Is k 