0. Let h = t + v. Is -3/4 smaller than h?
False
Let u = 2 - 1. Let m(f) = 107*f - 215. Let j be m(2). Which is smaller: u or j?
j
Let w = 3.008 + -0.168. Let s = -15.26 - w. Let v = 18 + s. Which is greater: -12 or v?
v
Let b(y) = y**2 - 5*y + 6. Let m be b(4). Suppose -30*t + 238 = 328. Which is smaller: m or t?
t
Suppose 4 = -2*y, -4*y - 9 = 2*l - 5. Suppose -2*r + r + u = -7, u = l*r - 17. Which is greater: r or 9?
r
Let m = -1059 - -1048. Is -126/11 less than m?
True
Suppose 0 = 38*y - 1 + 191. Which is greater: y or 7/2?
7/2
Let y = -3/130 + -1/13. Let x be (-2)/(-4)*(-3 - -11). Suppose 0 = 4*d + x - 0. Is y equal to d?
False
Let m = -4643/17 + 273. Let s(y) = 0*y + 0 - 4 - 2 - y. Let j be s(-6). Is m less than or equal to j?
True
Let t be ((-13)/(-2) - (-4)/(-8)) + -5. Is t > -2/781?
True
Let x be -1 - (-1 - 2/126). Suppose 22*p + 3*p - 16*p = -9. Is p smaller than x?
True
Let u = 0.29 - 0.29. Let n = -22 + 31. Suppose 18 = 5*d - 4*a, -4*a + n = -d + a. Is u at most as big as d?
True
Let f(k) = 7*k + 6. Let a be f(-8). Let r = 26 + a. Which is smaller: r or -23?
r
Let p = -3047/61503 - -1/741. Which is greater: p or 0?
0
Suppose -6 + 0 = -2*n. Suppose -4 = b + n*b. Let a = 991/6 - 165. Which is smaller: a or b?
b
Let x = 394.51 - 8.51. Is -0.1 < x?
True
Let c = 752 - 9781/13. Which is greater: c or -1/8?
-1/8
Suppose 0 = -23*v + 24 - 1. Which is smaller: -3/13 or v?
-3/13
Let i(v) = 3*v**2 - 13. Let n be i(3). Let c be (-1)/(-3) - n/28. Is -2 less than or equal to c?
True
Let i = -0.203 + 0.003. Which is bigger: 92 or i?
92
Let y(v) = -7*v**2 - v**3 - 3*v**2 + 13 + 1 + 2*v**3. Let i be y(10). Is 12 bigger than i?
False
Let u be (-1)/(-4) - (-1 - 1). Suppose i + 7 - 10 = 0. Which is greater: i or u?
i
Let h = -26 - -26.72. Let t = h - -1.28. Let s = 0.04 - 0.64. Which is bigger: t or s?
t
Let p(t) = -t**2 - 7*t + 14. Let h be p(4). Let a be (10 - (-250)/h)/(5/6). Let l be 2/8 - 3/(-4). Which is smaller: a or l?
l
Let b(u) = -u**3 - 2*u**2 - 6*u - 1. Let k be b(-3). Suppose -5*r + 12 = -r. Let s be 2/r*39/k. Which is bigger: 4/7 or s?
s
Let c(v) = -2*v. Let a be c(-2). Suppose a*f + 3*g - 38 = 7, -2*g - 30 = -4*f. Suppose -2*x + 7*x + 10 = 0. Which is greater: f or x?
f
Let m be (-2 + 0)*1812/(-432). Let v = 53/6 - m. Is 2 less than or equal to v?
False
Let m be 28/(-12)*20/14. Let w = 3 + 1. Suppose w*r - n + 1 = -16, -n - 3 = r. Is r smaller than m?
True
Let j = 1275 + -1275.2. Is 1/383 <= j?
False
Let m = -1.46 - -1.49. Is m < -0.3?
False
Let y = 642.9 + -643. Which is smaller: 156 or y?
y
Let d(x) = -x**3 - 7*x**2 + 7*x - 19. Let k be d(-8). Let h = 4 + k. Suppose -p - 18 = 2*p. Is p at most as big as h?
False
Let m be (-145)/174 - (-50)/60. Let w = -7 - -5. Let i be 18/(-4) + (-1)/w. Which is greater: m or i?
m
Let p = 56.072 - 56. Let c = 0.012 - p. Is c at most as big as 0.1?
True
Let c = -729 - -726. Which is greater: c or 6?
6
Let p = 440 - 342. Is p >= 2?
True
Let x be (12/6)/((-14)/4). Let u(w) be the third derivative of -w**5/60 + 7*w**4/24 - w**3/6 + 3*w**2. Let c be u(7). Is c greater than x?
False
Let o = 59 + -56. Suppose -207 = o*m - 66. Is -47 at least m?
True
Let q be 0/(-1) + -3 - -3. Suppose 4*f + 2 = -q*f + p, -3*f + 5*p = 10. Suppose f = -3*i + 5 - 2. Is i greater than -1?
True
Suppose 4*o - 6*r = -4*r, r = o + 1. Let l = -7827421/44505430 - 3/107242. Let f = l - 2/83. Which is greater: f or o?
o
Let t = -0.167 - -0.267. Which is smaller: t or -59?
-59
Let f(l) = -2*l**3 - 12*l**2 - 3*l + 1. Let o be f(-7). Is o at least as big as 2?
True
Let o = 15.24 - 0.24. Let k = -9 + o. Let q = -10 - k. Which is smaller: -1/2 or q?
q
Let w be 1/3*141/188. Which is smaller: 1 or w?
w
Suppose -2*x = -x. Suppose x = -21*d + 27*d. Is -2 equal to d?
False
Let q = 0.42 + -0.11. Let x = q + -0.01. Let m be (122/915)/((-2)/2 + 2). Which is bigger: m or x?
x
Let j = 7582/63 + -830/7. Which is smaller: 3 or j?
j
Let t = -286231/174 + 1645. Is t <= -1?
False
Let j = 23.287 + -0.287. Which is greater: -17 or j?
j
Let u = 23 - 51. Let o = u + 27.93. Which is bigger: 1/3 or o?
1/3
Let t(o) = o**2 + 17*o - 5. Let h be t(-17). Which is smaller: 9 or h?
h
Let t(s) = -3*s**2 + 6*s - 1. Let f(k) = -k**2 - 1. Let v(q) = 2*f(q) - t(q). Let c be v(7). Let r be -2*(8/c - 1). Which is smaller: -3/7 or r?
r
Let t = 31 + -21. Suppose -t - 5 = -3*p. Suppose 0 = 5*m + p - 15. Is m smaller than 2?
False
Let y = 621.8 + -573. Let g = -49 + y. Let z(t) = -11*t. Let i be z(1). Which is bigger: g or i?
g
Let g = -18.007 - -18. Let t = 0.317 + g. Let m = t + -0.21. Which is smaller: m or 5?
m
Let z = 365 + -337. Is 109/4 >= z?
False
Let g = -35 - -23. Let j = -12.4 - g. Which is smaller: 1 or j?
j
Let h = -14674/17 + 863. Is 0 <= h?
False
Let t = 70 + -282. Let q be 4/8*t/14. Let n = q + 55/7. Which is smaller: 0 or n?
0
Suppose 5*j = 18*j. Let p be (1 - -1)/((-4)/(-66)). Let c = p + -101/3. Is c at most as big as j?
True
Suppose 2*x + 4*z = 20, -5*x - 2*z + z + 23 = 0. Is x bigger than 4?
False
Let x = 0 + -26. Let f be (20/60)/(4/(-6)). Which is greater: x or f?
f
Let v = 1.53 - 0.03. Let a = 1.49 - v. Which is greater: -1 or a?
a
Let s(d) = -d**2 + 18*d + 836. Let r be s(-22). Let y = -77 - -34. Which is bigger: r or y?
y
Let l be (-164)/(-60) + (-4)/10. Let h(x) = 3*x. Let v be h(1). Do l and v have the same value?
False
Let s = -10 - -9. Let t = -75 + 516/7. Is s less than or equal to t?
False
Let z = -1 + 3. Let i(v) = 7*v + 6. Let l be i(-2). Let x be (-39)/(-12) - (3 + 22/l). Which is smaller: z or x?
z
Let l = -13417.2 - -13417. Let u = -17 - -49. Suppose -4*h - 4*s + 2*s = -u, -2*h - 4*s = -16. Is h at least as big as l?
True
Let b = 2 + -1. Let g be b + (-1 - 0) - -6. Suppose 3*j - 3*q = -0*j + 27, -4*q = -5*j + 43. Which is bigger: j or g?
j
Let h be (-10)/15 + 1 - 4/(-6). Let o be (6/2460)/((-2)/8). Which is greater: h or o?
h
Let g = -38.2 - -30.15. Let s = 15 + -7. Let t = g + s. Is t at least -1?
True
Let y(z) = z**3 - 7*z**2 + 7*z - 6. Let o be y(4). Let b be 177/7 + o/91. Let f be 6/(-15)*b/(-20). Is 2 != f?
True
Let x be (882/162)/((-2)/(-12))*3. Is 97 less than x?
True
Let z = 86 - 87. Is -52/37 at least as big as z?
False
Let y be (9 + -1)*6/8. Suppose y*p + 50 = 3*w + p, -w - p = -22. Let d be 3/((-3)/w*2). Is -10 greater than or equal to d?
True
Let n = 79 + -25. Let f = n + -54.2. Is -19 greater than f?
False
Suppose -2*p + j = -5, j = -13*p + 10*p + 15. Suppose -3*k + i = -k + 145, -p*k + 4*i = 288. Is k smaller than -73?
False
Let u = 547 + -326. Are u and 221 non-equal?
False
Let h(m) = -m - 17. Let v be h(8). Does -3 = v?
False
Let o(i) = -i**3 - 7*i**2 + 9*i + 9. Let l be o(-8). Let y = 60 + -58. Is y < l?
False
Let r(n) = 7*n + 1. Suppose 0 = 3*p - 6*p - 3. Let d be r(p). Let l be (d/(-9))/((-1)/(-12)). Is 8 bigger than l?
False
Suppose 2*v - 13 - 3 = 0. Suppose -5*o + 35 = 4*x, -x = -o - v - 12. Which is bigger: x or 13?
x
Let b = 233 + -231.89. Let q = 1.21 - b. Is q at most -3/28?
False
Let k = -0.1685 + 75.1685. Is k bigger than 11?
True
Let v(x) = -x + 2. Let c be v(0). Let d be (-20)/(-32)*c*2/15. Which is smaller: 6 or d?
d
Suppose j - 12 = -2*s - 2, 2*j + 4 = 0. Suppose -3*z = 3*m + 6, 3*z + 5*m + 20 - s = 0. Is z greater than 8/13?
True
Let b be (-1)/13*(420 - 78). Is b >= -27?
True
Suppose 2*o - 7 = -5*v + 14, 4*o - 27 = -5*v. Does 16/7 = o?
False
Let w be 3/(-3)*30183/45. Let o = -671 - w. Is 0 at most as big as o?
False
Let r = 30 - 42. Let n be (-1)/(-2)*(r + -2). Which is smaller: 0 or n?
n
Let j be (-36)/5 + 3 - -3. Suppose 0*o + 6 = 2*o. Let m be (-3)/6*12/o. Is m greater than or equal to j?
False
Suppose f - v = 185, -f - 3*f + 740 = 5*v. Let c be (-121)/f + (-1)/(10/(-6)). Let o(n) = -n + 4. Let h be o(3). Which is bigger: h or c?
h
Let t(y) = y**2 - 7*y - 2. Let d be t(7). Let b be (d/1 + 2)*-1. Suppose -5*c - 29 = -2*u, 5*c - 4*c - 3 = b. Are u and 22 equal?
True
Let i be (2 - (-3)/(-2))*(13 - 13). Is -3.4 smaller than i?
True
Let t be (-22)/44*908/230 + 2. Is -1 > t?
False
Suppose -3*z = -5*d + 7, 4*d - 4*z = -3*z. Let i be (-35)/(-25) + 0/(1/d). Which is greater: 2 or i?
2
Let m = 115 + -194. Let j = m - -313/4. Which is smaller: 5 or j?
j
Suppose -583 = -5*a + 3*t + 132, 4*a - 574 = 2*t. Which is greater