2 - (0 - 63/33). Is y > m?
True
Let a be 187/77*8 + (-6)/14. Let d = 11 + -7. Suppose -k = d*k + 4*x + 16, -5*k - x = a. Is 0 less than or equal to k?
False
Let n = -125.78 + -12.22. Does 2/5 = n?
False
Let h(w) = -5*w + 160. Let l be h(-5). Which is greater: 186 or l?
186
Let w = -1855 - -1310. Let s = w - -2191/4. Let b = 9/4 - s. Which is bigger: b or 0?
0
Let k be ((-24)/4 - -7)/1. Are k and 13 unequal?
True
Let p = 175/451 - 42/41. Which is bigger: 3 or p?
3
Let w(v) = v**3 - 9*v**2 + 10*v - 15. Let o be w(8). Let q = 354 - 14161/40. Which is smaller: o or q?
q
Suppose -11 - 13 = -6*d. Let c be 5/d - 15/(-20). Which is bigger: c or 0?
c
Let a = 269 - 268.6. Let y be 28/(-32) + 0 - -1. Is a != y?
True
Let y(w) = w - 1. Suppose 0 = d + 5*o - 13 + 3, 0 = -2*o + 4. Let p be y(d). Let z be p/(-3) + -2 + 2. Which is smaller: -1 or z?
-1
Let k = -3938/9 - -438. Which is greater: k or 0.3?
k
Let s be -5 - (-7 + 5)/6*18. Which is greater: s or -1/114?
s
Let t = -12/4507 - -261442/13521. Let n(d) = -d**3 + 4*d + 4. Let a be n(-3). Is t at least a?
True
Let u be -2*3/(-3) - 2. Let a be 2 + -1 + 17520/(-16341). Let k = a - 2/419. Which is greater: u or k?
u
Let z = -1438 - -18696/13. Is 1/2 >= z?
True
Let h = -1433 + 1434. Which is smaller: h or -3/553?
-3/553
Let l = 1/1738 - 8737/81686. Are l and -0.2 unequal?
True
Let x = 1338 + -2725/2. Does x = -26?
False
Let h(q) = -3*q + 20. Let j(s) = 4*s - 30. Let d(i) = -7*h(i) - 5*j(i). Let t be d(-7). Which is bigger: t or 2?
t
Suppose -4*h + 5*p = -29, -4*p + 7 = 11. Which is smaller: h or 8?
h
Let z be ((-2)/4 + 0)*(-32 + 32). Let b = 14 + -8. Let s(q) = -q**2 + 5*q + 5. Let t be s(b). Is z less than t?
False
Suppose 7*h + 275 = 4*h - b, 5*b = -2*h - 166. Let g = -106 - h. Is g at most -3?
True
Let l be -4 - (2*311160)/3. Let t be 1 + (l/225)/1. Let q = t + 921. Which is smaller: -1 or q?
-1
Let w = 56.893 - -0.107. Let j = w + -81. Let p = j - -23. Is 4 smaller than p?
False
Let q = 808.015 - 808. Let u = -14.1 - -14. Is q < u?
False
Let r = -201 + 202. Is 2/75 at most as big as r?
True
Let n = 87 + -93. Suppose 15 = 5*s, g = 4*g - 3*s. Suppose -4*f + t = -0*t - 10, -g*f + 2*t = -10. Do f and n have different values?
True
Let l = 270.22 + -270. Let g = 2.06 + -0.06. Which is smaller: l or g?
l
Suppose -4*f - 100 + 72 = 2*d, -3*d = -4*f - 8. Which is smaller: -0.11 or d?
d
Let d be -1 + 4/(-34) - (-38 + 36). Do 1 and d have different values?
True
Let q be (3 - 2) + (-4)/(-344)*-133. Let i = q + 2/43. Let o = -3.3 + 3. Is i at most o?
True
Let c = 478 - 473. Which is greater: 3 or c?
c
Suppose 18*r = 16*r - 12. Let w = 20 - r. Which is greater: 27 or w?
27
Suppose -4*s - 16 = 4*r, 4*r + 6 = 2*r - 4*s. Let y be (72/630)/(6/r). Which is smaller: y or -1?
-1
Let c = 6 + -5. Let n = 0.95 - 7.25. Let g = n + 6. Which is smaller: g or c?
g
Let d(b) = b**2 - 5*b - 14. Let c be d(7). Suppose c = p - 16 + 15. Which is smaller: p or 2/143?
2/143
Suppose -4*c - 3*t - 27 = -5*c, 0 = -3*c + 4*t + 66. Let k = 16 - c. Let m be 111/9 + k/(-3). Is 14 greater than or equal to m?
True
Suppose 4*x = 9*x - 35. Suppose w - 2*m = m - x, -w + 4*m - 9 = 0. Let h be (-24)/18 - (-3 - w). Is 1 > h?
True
Let h = -39 + 45. Suppose m = -5 - h. Is m >= -11?
True
Let y = -13/1603 - -63097/7385021. Which is smaller: 1 or y?
y
Let g(i) = i**3 + 4*i**2 - 5*i. Let m(w) = -2*w**3 - 7*w**2 + 11*w - 1. Let f(p) = -5*g(p) - 2*m(p). Let s be f(-6). Which is bigger: s or -1?
-1
Suppose -2*l - w - 77 = 248, 0 = 2*l + 5*w + 337. Are -161 and l unequal?
False
Let u(z) = 4*z - 27. Let q be u(13). Suppose 5*i - 5*s = 25, -7*s + 2*s - q = -4*i. Which is greater: 4 or i?
4
Suppose -2*u = 3*w - 4, 5*u + 4*w - 1 = 2. Suppose 0 = -4*k + 2*r - 32, -5*k - 32 = -3*k + 3*r. Let o be k/34 - (-13)/39. Is o less than u?
False
Let i = -17 - -27. Suppose 0 = -s + z - 2*z, -4*s + i = 2*z. Suppose m - s = 4. Is m equal to 10?
False
Suppose 0 = 5*y - c + 2*c - 19, 3*c = -y + 1. Suppose -y*i - 2*g = 0, -4*i + 11 = -5*i + 5*g. Are 2/181 and i equal?
False
Let i = 0.42 - -0.02. Let m = i + -4.44. Which is greater: m or -5?
m
Let r(k) = k**2 + 5*k - 1. Let s be r(-7). Suppose l + 12 = -s. Is l >= -25?
True
Suppose 2*m + m = 648. Let o be (-12964)/5*(-5)/60. Let v = o - m. Which is smaller: v or 0?
0
Let m = -3 + -1. Let u(f) = -f**3 - 6*f**2 - 4*f + 5. Let n be u(m). Let t be (-33)/3*(2 + -1). Is t at least n?
True
Let h(b) = -8 - 3*b**2 + 54*b - 50*b - 2. Let j be h(7). Which is smaller: j or -128?
j
Let x be (24 - 24)*(-1 + 2). Which is bigger: x or -2/795?
x
Let x = 28331 - 20964943/740. Is x smaller than -1?
False
Let f = -3/35 + -2/35. Let q = -10 + 11. Is f at least as big as q?
False
Let g(u) = 4*u + 11. Let i be g(6). Let y be (-1)/4 - i/(-76). Which is bigger: y or -1?
y
Let x(k) = -5*k - 20. Let h be x(-8). Suppose -4*m = -8*m - h. Which is greater: -32/9 or m?
-32/9
Suppose 3*a - 25 + 34 = 0. Let x = 1 + a. Let w be (-1)/(-3)*(3 + -3). Which is bigger: x or w?
w
Suppose 2*l + 0*l = -3*b - 10, -5*b - 25 = 5*l. Let y(o) = o**3 - o + 9. Let k be y(b). Are k and 0 non-equal?
True
Suppose -16*p = 60 + 212. Which is smaller: -23 or p?
-23
Let s = -33 - -38. Suppose -4*o + 2 = -s*o - 5*j, -2 = -o - 3*j. Which is smaller: o or 5?
5
Suppose 3*s = 4*w + 39, -w - 6 = -s - 2*w. Suppose -3 = -2*q + 7, 4*q = -5*j + 70. Which is smaller: s or j?
s
Let c = 1525054/451605 + -260/77. Is 0 greater than or equal to c?
False
Let l = -1404 + 1403. Is -1/939 at most l?
False
Let g = 348/5 + -3808/55. Let z(x) = x**3 + 15*x**2 + 13*x - 13. Let i be z(-14). Which is greater: g or i?
i
Let p(v) = 2*v + 1. Let l be p(-2). Suppose -5*j = -5*g - 35, -7*j = 22 - 43. Are l and g equal?
False
Let r = -193/19180 + 2/685. Is -1 < r?
True
Let h = -8 + 11. Let x = -1 + h. Let v be ((-1)/3)/((-2)/42*7). Do v and x have the same value?
False
Let k = -3.32 - 0.38. Let g = -32.3 + k. Let i = g + 35.99. Is i at least as big as 1?
False
Let k = -78 - -10. Which is smaller: -67 or k?
k
Let r = -4/773 - 98147/4638. Is r < -22?
False
Let v be ((-8)/(-14))/((-3)/(-147)*10). Which is smaller: v or 9?
v
Suppose -4*n - 4*f = 20, n - 5*n - 2*f = 16. Is 1 less than n?
False
Let h be 3 + 110/44*4/(-5). Is -11/61 > h?
False
Let k = -1 - -1. Let i = 54 + -53.23. Let a = i - 0.78. Is k not equal to a?
True
Suppose 55 = -3*i - 35. Is i at most -31?
False
Let a(t) = t**2 - 10*t + 7. Let n be a(8). Let o be 1/4 + n/((-72)/10). Which is greater: o or 1.2?
o
Let z = 10417/48 + -217. Let q = 841/48 - z. Let o = -369/22 + q. Are o and 1 non-equal?
True
Let y = -39 - -39.02. Let v = -2.26 + 1.24. Let p = v + y. Are -3 and p unequal?
True
Let z be (-836)/70 - 204/(-17). Suppose 4*d - 6*d = -5*o + 8, -3*o + 3*d + 3 = 0. Suppose -3*g + o*f = -13, 6*f + 27 = 2*g + f. Is z >= g?
False
Suppose 4*g = 3*g - 3, -4*c = -2*g + 34. Let t(d) = -6*d - 3. Let w(x) = x. Let m(o) = c*w(o) - 2*t(o). Let n be m(-3). Are 4/3 and n non-equal?
True
Let f = 121 + -70. Let q = -50.9 + f. Which is bigger: -18 or q?
q
Let v be (-6*(-1)/126)/((-2)/(-405)). Let w = -4101/434 + v. Is 0 less than w?
True
Let a = 141 + -99. Suppose 0 = -7*c - 7*c + a. Are 1 and c equal?
False
Let j be (-5)/(5/(-3)) + 0. Let w(k) = 14*k**2 + 7 + k**j - k**2 - 6*k - 7*k**2. Let h be w(-7). Is h bigger than 5/4?
False
Let m be 2/6 - 80/24. Let h be (-1)/m*(20 + -2). Suppose h = 4*s - 2. Which is smaller: s or -1?
-1
Let j = -22 - -60. Suppose j*p = 36*p. Let a(t) = -t**3 - 2*t**2 + t + 1. Let x be a(-2). Which is bigger: p or x?
p
Let k(z) = -164*z + 492. Let g be k(3). Is g less than -12/287?
False
Suppose 0 = -2*m + 4*w + 16, -5*w = 2*m + m + 31. Let k be 56/30 + m + 4/30. Let z = 1552/9 - 172. Which is greater: k or z?
z
Let v be ((-2)/5)/1 + 552/30. Which is bigger: v or 9?
v
Let n(g) = 4*g - 16. Suppose -5*l + 0*l = -25. Let x be n(l). Are x and 3 non-equal?
True
Let y(n) = 2*n - 3. Let i be y(3). Suppose f = 2*b - 118, -3*b = -i*f - 13 - 170. Let a be 16/(-20) + b/90. Is -1 bigger than a?
False
Let d be (758/2*1)/1. Let s be (-1)/(-3) + d/33. Let o = 12 - s. Which is smaller: o or 1?
o
Let m(y) = -y + 3. Let o be m(2). Suppose -10 = -3*w - o. Suppose w*i - 5 = -3*f + 1, 0 = -4*f + 2*i - 4. Is f greater than 0?
False
Let u be 1/14*(-112)/406. Is u <= 0?
True
Supp