ose -3*u = -10 - 38. Let d = -15 + u. Which is smaller: d or 2/27?
2/27
Let a be 1/3 - 160/426. Let p = a - -85/3692. Which is greater: p or 1?
1
Let j = 1.1 + -0.1. Let n = j + -1.01. Let a = 0.12624 + -0.22624. Is n at least a?
True
Let j(s) = -4*s - 2 + s**2 + 3 - 5 + 5. Let r be j(5). Suppose 0 = -3*f - 0*f - r. Is f at least -3?
True
Suppose 0 = 6*p - 2*p - 52. Let h = p + -10. Let f be h/3 - 28/36. Is -1 greater than or equal to f?
False
Let t = -1444 - -1438. Let j = -3 - -5. Suppose 0 = -2*z - 2*f - 14, j*z + 1 = -f - 11. Are t and z equal?
False
Suppose -4*b + 4*g = -8, 5*b - 1 - 9 = -4*g. Suppose 0*c = -b*c, 0 = -5*v + 5*c + 25. Let w = -285 + 288. Which is smaller: v or w?
w
Let w be (-45188)/220 - 3/5. Is -206 at most as big as w?
True
Let f = -4272 - -4251. Let g = 1 - -1. Which is smaller: g or f?
f
Let t = -17 - -37. Suppose -6*a + 2*a = y - 3, -5*a + t = -2*y. Let p be (-14)/(-10) + 2/y. Is -2/3 <= p?
True
Let n be 127072/285 + 4 + (-290)/75. Which is bigger: n or 445?
n
Let n = 81.46 - 81.5. Which is smaller: 0.2 or n?
n
Let n = -0.3 - -0.25. Let a = -15.05 - n. Is a not equal to -0.1?
True
Let k(j) be the third derivative of j**6/120 - 2*j**5/15 + 5*j**4/12 - 4*j**3/3 - 23*j**2. Let a be k(7). Is a less than 11?
False
Let m = 141 + -140.8. Let j = 0.4 - 0.16. Is j > m?
True
Let u be (-195)/21 - 2/(-7). Let k be (19/(-38))/(1/(-2)) - 8. Is u greater than or equal to k?
False
Let q be 36 - 29 - 74/10. Does 2 = q?
False
Let m = 3/35 + 26/105. Let k = 1.08 - -0.22. Is k >= m?
True
Let l = -58 + 347/6. Suppose 0 = 4*o - 0 + 16. Let b be o - (-9 - (-4 + 0)). Is l greater than b?
False
Suppose -35 = -0*d - 5*d. Suppose -4*c + 6 + 26 = 0. Is c equal to d?
False
Let q = 1104 - 1112. Is q greater than or equal to -7?
False
Let w be 48*(-16)/64*(5 + 1). Let o be (-13)/((-65)/10)*2/w. Which is smaller: 1 or o?
o
Suppose 9*q + 170 = 14*q. Is 44 greater than q?
True
Let o = -1093688/219 - -4994. Is o greater than or equal to -1?
True
Let z be (-1)/(-6) + 75/36. Let l = -85/36 + z. Suppose -3*h = 3*h + 6. Which is bigger: l or h?
l
Let f(b) = 6*b**3 - 18*b**2 - 3. Let j be f(3). Which is greater: -60/17 or j?
j
Suppose -i = 3*i - 88. Suppose 5*j + i = 4*t, -4*j - 4 + 2 = 2*t. Let q be 3 + 1 - t - 9. Is -7 equal to q?
False
Let f be (1504/(-186))/(-4) + -2. Let h be (1 - -4 - 5)/3. Is f at most as big as h?
False
Let r be (0 + (-12)/(-14))/(175419/3066). Which is greater: r or 0?
r
Let b = 178 - 179. Is -8/17 > b?
True
Let f be (0 - 1) + (0 - 43/(-3)). Which is smaller: 14 or f?
f
Let c = 41 + -36. Suppose -k + 20 = 4*k, -5*j + 15 = -c*k. Does 7 = j?
True
Suppose 32*p = -11*p - 43. Which is smaller: p or 1/806?
p
Let x(n) = 4*n**2 + 8*n - 1. Let u(b) = 5*b**2 + 8*b - 2. Let g(p) = -3*u(p) + 4*x(p). Let q be g(-6). Let o be 8/(-20) + (-4)/q. Is o at most 1/5?
True
Suppose -60 = -5*h + 70. Suppose -2*v + h = 2*y, -3*y + 89 = 5*v - 4*y. Suppose 2*n - 4*d = -18, -3*n + 4*d - v = -0*n. Which is smaller: 0 or n?
0
Suppose 3*x + 311 + 218 = -a, -2*x = -a + 361. Is x greater than or equal to -176?
False
Suppose 8*o - 725 = -17*o. Is 25 greater than or equal to o?
False
Let q = -947 - -527. Let k = 422.03 + q. Let t = k + -2. Is 0.1 > t?
True
Let d be (-48)/(-175) + (5 - 407/77). Is d > 1?
False
Suppose 766 = -6*l + 166. Which is greater: 3 or l?
3
Let f be ((-2)/20)/((-2)/(-4)). Let g = 2/1339 - 62953/13390. Let z = g - f. Is z not equal to -1/4?
True
Suppose -3*b + 95*g - 98*g - 1251 = 0, b + 417 = -5*g. Is b at most as big as -417?
True
Suppose -3*z - z + 3*q + 553 = 0, z + 3*q - 157 = 0. Which is smaller: 145 or z?
z
Let w(u) = 5*u**2 - 6*u - 2. Let j be w(3). Suppose i - 12 = 3*s, -2*s - 5*i - j = -0. Let g be (-295)/(-95) + 2 + s. Which is smaller: 0 or g?
0
Let n = 0.25 - 2.45. Which is greater: n or -11?
n
Let a be 4/8 + (-25)/26. Suppose 0 = -2*z + 16 + 38. Let w = z + -28. Is w greater than or equal to a?
False
Let y = 2274 - -36. Suppose 3*r = -3*r - y. Let t = r - -5002/13. Is -1 > t?
False
Suppose -3*o - 5*q - 1719 = -2*q, -2*q - 2859 = 5*o. Which is greater: -572 or o?
o
Let c = -2703912382/1419 + 1905503. Let g = 82/33 + c. Which is smaller: 0 or g?
g
Let b = 110 - 110. Let p = -23/10 + 14/5. Is p < b?
False
Let g(p) = 10*p**2 + 9*p - 25. Let r be g(4). Let y be (-38)/r*(-3)/146. Which is bigger: y or 0?
y
Let p be -4 + -2 + -5 + 8. Suppose 1 = -2*t + m, -m + 2*m - 1 = 3*t. Which is smaller: p or t?
p
Let k = -57/22 - -103/44. Suppose -5*t + 21 = 4*b, b + 5*t + 4 - 28 = 0. Which is bigger: k or b?
k
Suppose 5*p + 0*p + 4*l = -19, 4*p = -5*l - 17. Let v be ((-1)/p)/((-12)/954). Are -28 and v non-equal?
True
Let h = -18.139 - -1.139. Which is smaller: 4/3 or h?
h
Suppose 5 = 2*s + 2*t + t, 4*s = -2*t - 10. Let p be (-10 + 18)*s/2. Let l be (p/30)/((-2)/(-42)). Is l greater than -14?
False
Let c be (10/4)/(7/(-434)). Do -156 and c have the same value?
False
Let p = -1/603 - 5422/3015. Let d = 4 + -6. Is p less than d?
False
Suppose 3*g = 8*t - 5*t + 24, -3*t - 4*g = -4. Which is smaller: -39/14 or t?
t
Let j be ((-4)/(-12))/(2060/(-540)). Which is bigger: j or 0?
0
Let a = 3436 - 58442/17. Let x be -1 - 9/85*11. Let j = a - x. Is j at most 0?
False
Let k = 1.1168 - -0.1592. Which is smaller: k or 0.1?
0.1
Let y(d) = d**3. Let u = -22 - -23. Let f be y(u). Is 3/56 at most f?
True
Suppose -2 + 10 = 4*z. Suppose z*o - 4 - 6 = 0. Let k(x) = 34*x + 243. Let g be k(-7). Is g less than or equal to o?
True
Suppose 86 = -17*q - 254. Suppose -4*b = -6 + 78. Which is smaller: b or q?
q
Let c(o) = -o**3 - 2*o**2 + 3*o. Let b be ((-6)/(-4))/((-6)/12). Let w be c(b). Which is smaller: 1/25 or w?
w
Let c(s) = -46*s**3 + s**2 + 15*s - 15. Let b be c(1). Which is bigger: b or -43?
-43
Let k = 327 + -320. Is k bigger than -0.12?
True
Suppose 69 = -1322*z + 1346*z - 3. Let j be (4 + -1)/(12/(-40)). Let k be j/8 - (-2)/8. Which is greater: k or z?
z
Let l(w) = -2*w**2 - 6*w - 3. Let q be l(-3). Let o(r) = 3*r**2 + 9*r + 1. Let g = -33 - -30. Let a be o(g). Are q and a unequal?
True
Let t = 362 + -6517/18. Let n = -4.2 + 4. Which is greater: n or t?
t
Let q be (-122)/14 + 2/(-7). Let n = 345 - 354. Is q smaller than n?
False
Suppose 2*h + h = 0. Let p be 8 + -9 + h + 2. Is -1 smaller than p?
True
Let z = 875 - 6143/7. Let s be (0 - -3) + (3 - 2). Suppose 0 = -2*v + s - 12. Which is greater: v or z?
z
Suppose 7*h = -209 - 190. Let i = h - -58. Is i at least as big as -25?
True
Let g be (4/10)/(1/(-20)). Let p = 0 + 7. Suppose -5*u = -p + 47. Is u greater than g?
False
Suppose -26*c - 120 = -11*c. Is c less than or equal to -83/10?
False
Let l = -29 - -29. Suppose 4*n + 5*o = 8 + 8, l = -n - 3*o + 11. Is 1 equal to n?
False
Let a be (5 - 7) + (-22)/(-10). Let x = a + -33/190. Suppose 7 = 15*b - 8*b. Which is smaller: x or b?
x
Let c be (4 - 7)/((-9)/(-24)). Which is smaller: c or -4?
c
Let m be (-3)/(-6) - 731033/(-271080). Let w = m + -343/2008. Let c = -31/10 + w. Is -1 >= c?
False
Let w be -5 - (3 + 2600/(-304)). Which is greater: w or 0?
w
Let n be (-9 - -9) + (-1 - -3). Let t(z) = -z**2 - 2*z + 8. Let o be t(-4). Suppose o = -n*q - 0*q. Is 0 bigger than q?
False
Suppose 20*c + 401 + 1979 = 0. Is -117 not equal to c?
True
Suppose 19 = -5*r - 21. Let s be (1 - 4)/(-3)*-1. Is s equal to r?
False
Let t be (-2 - -4)/(6/(-3)). Let m = 5 - t. Which is smaller: 19/3 or m?
m
Suppose -4*t = 2*t. Let r be (-2)/6*t*1. Suppose -6*l + 4*l - 4 = r. Which is bigger: l or 8?
8
Suppose -5*g + 31 = 1. Suppose g*u + 641 - 107 = 0. Is u greater than -89?
False
Let g be ((-30)/(-3))/(7/(-56)). Do -79 and g have the same value?
False
Let j = -5399/20962 + 12/47. Does j = -1?
False
Let a = -47/99 - -4/11. Suppose -10*n = -11*n. Let p = 0 + n. Which is smaller: a or p?
a
Let p(a) = 2*a - 4. Let x be p(2). Suppose 3*c - 5*b + 57 = x, c + 4 = 5*b - 25. Suppose -12 = r + g, r + 3*r = -5*g - 47. Is c bigger than r?
False
Let p = -0.167 - 0.643. Let s = p - -0.41. Is -1/5 > s?
True
Let l = -6 - -30. Suppose 10*c - l = 6*c. Is 8 != c?
True
Let a be (-4)/2 + -15 + 25. Let s be -1 + (a/(-14) - -2). Is -1 != s?
True
Suppose -2*t - 9 = -3*u, 5*t - u = -4*u + 9. Suppose -2*p + h = 1, -p + t*h = 2*h - 7. Is 1/29 > p?
False
Let a be (12/(-4) + 2)*0 + 3. Suppose 2 = a*q - v, -q - 3*v - 16 