 -0.08. Is w < b?
False
Suppose 12*d = -16 + 4. Let b = 51/5 + -464/45. Is b less than d?
False
Let a = 181/525 + -2/175. Let f(v) = v**2 - 7*v + 5. Let y be f(6). Which is smaller: a or y?
y
Let w = -4456/5 - -1367982/1535. Is w at most as big as -1?
False
Let o = -97/6 - -33/2. Suppose 2*d - 13 = -5*y, 2*y - 3*d + 9 = -y. Which is smaller: y or o?
o
Let y = 11 - 25. Is -16 >= y?
False
Let q(w) = 2*w**2 + 7. Let m be q(3). Which is smaller: m or 24?
24
Let l = -4 - -20. Suppose 2*x = -4*b + b + l, -b = x - 6. Is x greater than or equal to 3?
False
Let b = 236/1365 + -2/105. Which is smaller: b or -1/3?
-1/3
Let s(j) be the third derivative of j**4/4 - j**3/6 - 2*j**2. Let p be s(2). Let r(n) = n**2 - 10*n - 7. Let f be r(p). Which is smaller: f or 2?
2
Let r = -0.29 - -0.21. Which is bigger: r or 1?
1
Let z = -10 + 11. Which is greater: -7 or z?
z
Let m = -364/11 + 33. Is m at most 2/11?
True
Let x(q) = -q**3 + 13*q**2 + 14*q + 4. Let f be x(14). Suppose 4*v + 9 = v. Let l = 7 + v. Is f greater than l?
False
Let o = 1 + -0.7. Let j = o - 0.2. Are 0.1 and j equal?
True
Let o = -11.91 + 12. Let p = o + 3.91. Is 0.1 > p?
False
Let t = -6 + -1. Let h = -3.6 - -10.5. Let v = h + t. Which is bigger: -7 or v?
v
Let w = -1/1356 - 27113/9492. Which is smaller: w or -3?
-3
Let r = 7 + -6.7. Let t = -434 - -4772/11. Is r at most as big as t?
False
Let n = 55 - 48. Is n less than 2?
False
Let r be -2*1*6/(-25). Let a = r - -1/50. Is a less than 0?
False
Let p be -4 + 4 + 5/(-3). Suppose -5*c - 9 = u + 8, -3*u = 6. Which is smaller: c or p?
c
Let n = -0.7 + 1. Let g = n - 0.5. Let j = -0.2 - g. Are j and -2 equal?
False
Let v(z) = z**2 + z. Suppose 0 = 6*p - 2*p. Let w be v(p). Suppose 0 = -d - 3*d - 4. Is d at most as big as w?
True
Let c = 8 - 14. Is c equal to 1/5?
False
Suppose 9 = -3*v + 4*y, 0*v - 4*v - 4*y = -16. Does v = -2/9?
False
Let x be (-3*4*(-1)/(-42))/30. Is 0 bigger than x?
True
Let x = -54 + 55. Let f = -55/7 + 928/119. Which is smaller: f or x?
f
Suppose 2*y - 14 = -0*y. Let g = -9 + y. Let a(r) = -r**2 + 5*r + 4. Let d be a(6). Is d < g?
False
Suppose -12 = 4*v + 12. Let u be 2/5*(-5)/v. Which is smaller: 1 or u?
u
Let p = -46 - -44.1. Let r = p + 2. Is -0.3 less than r?
True
Suppose 6*a + 77 = 17. Which is smaller: -8 or a?
a
Let d = -79 + 79. Which is greater: d or -24?
d
Suppose 0 = z, -2*z + 4 - 3 = a. Which is greater: 9 or a?
9
Suppose 6 = -4*h - 6. Which is greater: -5 or h?
h
Suppose -2*n = n. Suppose -8*t + 35 = -3*t. Suppose t = 3*b + 4. Are n and b nonequal?
True
Let t be (8 + -1)*18/7. Let l = t + -12. Which is smaller: l or 5?
5
Let u be (-1)/(-1 - 8/(-9)). Are 8 and u unequal?
True
Let d be -1 + 14*3/(-6). Let c be ((-2)/(-10))/(d/10). Let q = 1 - 0.9. Do c and q have the same value?
False
Suppose 0 = 4*u - n, 0 = -u - u - 3*n. Is 3/13 at least u?
True
Suppose 2*n + 16 = -0*n + 5*c, 5*n + 4*c - 26 = 0. Suppose -4 = -n*g - 2. Which is smaller: g or 0?
0
Let s be (30/3)/(-1 + -1). Let i be (-6)/(-15)*10/(-1). Is s equal to i?
False
Suppose -5 - 443 = 16*w. Which is smaller: -29 or w?
-29
Let h be (-2)/(-4) + 33/(-54). Let k = 1/9 - h. Let m = -5 + 5. Is m > k?
False
Let x(s) = -s**3 - 10*s**2 + s + 11. Let a be x(-10). Suppose 4*d = 5*v + 9*d - 10, 1 = 2*v + 5*d. Suppose v*p + 2*p = 10. Is p < a?
False
Let n(u) = -u**2 + 2. Let f be n(-2). Which is smaller: -3 or f?
-3
Let d be ((-2)/6)/(2/(-390)). Let h = d + -651/10. Which is greater: 1 or h?
1
Let h be 3/(10/(-8) + 1). Let j be (4/h)/(5/(-6)). Are -1 and j equal?
False
Let x(b) = -b - 28. Let r be x(-14). Is 2 less than or equal to r?
False
Suppose 58*z = 59*z - 3. Suppose 4*a = -0*a. Suppose a*u + 4*n + 26 = 3*u, z*u + 4*n = -14. Is 1 bigger than u?
False
Let c = 0.29 - 1.99. Let s = c + -0.3. Suppose -2*a = 2*a - 8. Is s < a?
True
Let h be (1 - (-562)/(-10)) + 2/10. Is h at least as big as -55?
True
Let d = 31981242/620899615 - -2/1749013. Let x = d + 2/355. Are x and 1 equal?
False
Let m(l) = 2*l - 11. Let g be m(5). Is g at least as big as -1/25?
False
Suppose h - 5 = 2*d - 3*d, h - 7 = -3*d. Let x be (d - 2)*(3 + 0). Let z = x + 4. Is z at most as big as 1?
True
Let t = 6 + -6. Let o be 26/(-10) - (-4 - -1). Which is bigger: t or o?
o
Let w = -15405/11 + 120826/77. Let j = w + -169. Does 0 = j?
False
Suppose -3*p + 21 - 9 = 0. Suppose -3*y + p*w = -3 - 0, -y - 5*w - 18 = 0. Which is bigger: -1 or y?
-1
Suppose 6 = -3*v - 0. Let s be (1 - (-98)/6) + 0. Let f = s + -18. Which is greater: v or f?
f
Suppose -8 - 8 = 3*c + 2*g, c - 2*g = 0. Let y be c/(-3)*(-9)/6. Let t = -8 + 6. Is y >= t?
True
Suppose -2*a = -3*o + 4*o - 7, 5*o - 11 = -2*a. Suppose 4*p = -2*r - 0*p + 18, -a*p = r - 11. Is 5 < r?
False
Let z = 1.1 + -0.8. Let k = -44.3 - -42. Let g = k + z. Is 2/5 at least g?
True
Let d = 372/5 + -74. Let s = 269 + -268. Is d greater than s?
False
Let a = 2.3 + -2.46. Is 1 <= a?
False
Let y be (2/6)/(2/6). Which is bigger: y or 1/46?
y
Suppose -5*j + 5*r + 30 = 0, -j - 9 = 4*r + 10. Which is smaller: j or -2?
-2
Let s = -15 + 17. Is -2 bigger than s?
False
Let w(a) = -a - 8. Let p be w(-9). Which is smaller: -1/32 or p?
-1/32
Let v(t) be the first derivative of -t**3/6 + 3*t + 3. Let a(k) be the first derivative of v(k). Let y be a(0). Are 2 and y nonequal?
True
Let s be 46*3/117 + 8/52. Is 0.03 <= s?
True
Let t(k) = -k**3 + 8*k**2 - 1. Let j be t(8). Is -6/7 <= j?
False
Let g = -4/15 - 1/15. Which is greater: g or 2/13?
2/13
Let l = 0.04 + -0.06. Let m = l + -0.28. Let h = 0.2 + m. Is 3 at least h?
True
Let y = 21 - 21. Let o = -8 + 5. Is y at least as big as o?
True
Let u = 29 - -53. Let r = u + -59. Suppose l + 0*m = -m - 4, 3*l = 4*m + r. Which is bigger: -4/5 or l?
l
Suppose 2*m + 2*m - 4 = 0. Let v(y) = 2*y. Let d be v(4). Let l be 0*(d/6 + -1). Is m >= l?
True
Let s be (-1)/(-4) - 78/504. Which is smaller: s or -1?
-1
Suppose 0 = 3*r + 3*b + 21, 0*b = 4*r - 2*b - 2. Let k be -4 + 2 - (-1 - r). Suppose -5*f = -5, -2*o = 3*o + 5*f + 15. Which is bigger: o or k?
k
Let j = -21.5 - 3.5. Is j smaller than 0.1?
True
Let f = -27 + 37. Let w be f/(-15) + 20/21. Are w and 0.4 nonequal?
True
Let d = 17/42 + 2/21. Suppose -5*g = 2*w + 20, -2*w - 2*w - g - 4 = 0. Suppose w = 5*y - y + 4. Is y at least d?
False
Suppose 2*q + 4*v = 4*q - 52, 25 = q - 3*v. Are 83/3 and q non-equal?
True
Let a = -12 + 11.98. Which is smaller: a or -1/2?
-1/2
Suppose l + r - 1 = 0, 2*l - 2*r - r = 7. Let z be 1/l - (-2)/(-4). Suppose 1 = s - 1. Is z greater than s?
False
Let t = 6 + -4. Let c be (-3)/(5 - 2) + 3. Suppose -t = c*v - 0*v. Which is smaller: -2 or v?
-2
Let w = -524/7 - -75. Which is bigger: w or -1?
w
Suppose 4*b - 4*y = 7 - 3, -4*y = 12. Let w be (-2)/(((-16)/10)/(-4)). Let j be ((-2)/w)/(1/(-5)). Is b greater than j?
False
Let x be (-9)/5 - (-6)/(-30). Let p be x - (-1)/1 - 0. Which is greater: 1/4 or p?
1/4
Let d = -0.04 - 0.06. Let g be 1*-1*(3 - -2). Let c = 4 + g. Which is smaller: c or d?
c
Let c = -817/23980 - 1/436. Is c at most 1?
True
Let t = 2/101 - 212/505. Suppose 3*d - l = 4*l + 28, 4*d = 2*l + 14. Which is smaller: d or t?
t
Let s = -11.7 - -12. Which is bigger: s or 3/4?
3/4
Let q be (3 + 0)*(-2)/86. Which is bigger: -1 or q?
q
Let c be (5/10)/((-1)/(-94)). Let s = 187/4 - c. Which is smaller: s or -1?
-1
Let m = -26402 + 1161793/44. Let l = 18/11 - m. Is l bigger than -1?
True
Suppose -4*z + 2*n - 16 = n, 2*n = -3*z - 12. Are 0 and z unequal?
True
Let i be (-2)/9 + -1 - 8/(-36). Do -1/22 and i have different values?
True
Let b be 2/(-3) - 85/(-15). Suppose 20 = 5*p + 3*c, 2*p - b*p - 2*c = -11. Let s = 6 - p. Do -1/4 and s have the same value?
False
Suppose -5*s + 2*h + 1012 = 3*h, 3*s - 616 = -5*h. Let l = s + -18181/90. Let a = -41/450 - l. Which is smaller: -1 or a?
-1
Let v(q) = -q**2 + 5*q + 14. Let y be v(-7). Which is greater: y or -69?
-69
Let g be ((-8)/30)/((-4)/(-6)). Is -0.01 smaller than g?
False
Let i(g) = -7*g + 3. Let t be i(1). Is -2 at most as big as t?
False
Suppose -4*t - 4*p + 0*p = -44, -5*p = -4*t - 1. Suppose 4*z + 2 = t*z. Let a(d) = -d**3 + 2*d**2 + 1. Let f be a(2). Is f at most z?
True
Let d be 0/(4/(-1) + 1). Suppose -o + d = 7. Is o at most -6?
True
Let b = 3001/11 - 273. Let p = 2 + -2. Which is greater: b or p?
p
Let n be 6/4*(-9