 f be (-10)/(-45) - (-160)/(-315). Which is smaller: f or -0.015?
f
Suppose 6*o - 182 + 182 = 0. Which is smaller: 1 or o?
o
Let b = 132 - 127. Let o be -137 - (-4)/4*b. Are -132 and o unequal?
False
Suppose 0*a = -t + a + 23, -46 = -2*t + a. Let x(j) = j + 5. Let s be x(-3). Suppose -5*d + 135 = 5*p, 7 = d - s*p - 8. Is t > d?
False
Let y = 1.1 - 1. Let k = -40 + 39. Let g be -1*(-2)/4*k/(-2). Which is smaller: y or g?
y
Let i be (-3)/2*(3 - 5). Suppose -i*d - 4*p + 12 = -d, 3*d + 7 = -p. Is -3 less than or equal to d?
False
Let h = -5717 - -5721. Let l be 29076/40*10/12. Let t = l + -602. Which is smaller: h or t?
t
Let h(n) = n**2 + 8*n - 43. Let s be h(4). Suppose -s + 21 = -4*c. Suppose 0 = 2*x - 3*v + 4, -8*x + 3*v - 14 = -4*x. Is x not equal to c?
True
Let f = -19/5 + 17/15. Suppose 4*d + 3 = 3*d. Is d not equal to f?
True
Let v(d) = -d + 7. Let g be v(0). Let b(h) be the first derivative of -h**2 - 13*h - 5. Let r be b(-10). Is g greater than or equal to r?
True
Let s = -24 + 22. Let o be (-141)/(-6) - (-2 + s). Is 29 less than or equal to o?
False
Let f = -17 - -25. Suppose 2*m + f = -w - w, 4*w - 26 = 3*m. Let s be ((-2)/4)/(1/m). Is 3 > s?
False
Let z be (3 + (-17)/7)/(260/26). Which is smaller: z or 12?
z
Suppose s - 4*b - 6 = 0, -4*b - 3 = -2*s + 5. Let w(q) = -q + 9. Let a be w(0). Let j be (-15)/20*(-24)/a. Does j = s?
True
Let c = 62486 + -43277. Let o = -134767/7 + c. Let k = o - -44. Is 1 < k?
False
Let g be (-2)/4*(-6 - 260/(-5)). Is -19 bigger than g?
True
Let h = -101 + 249. Let d be 3 + (h/(-28) - -3). Which is bigger: 0 or d?
d
Suppose -81 - 3 = 14*l. Suppose -6*y - 2*w = -3*y + 24, 5*y = -4*w - 40. Which is greater: l or y?
l
Let t = 4 + -5. Let r = -2/9283733 - 284091513459/343498121. Let u = 827 + r. Is u greater than t?
True
Let a = 1109 + -7737/7. Let z = a + -113/21. Suppose -4*u + u = -2*r + 19, 5 = r. Are z and u equal?
False
Let i be 3 + -1 + 12/(-8). Suppose -93 = 2*b - 23. Let o be 0 + (-5)/(b/8). Is o equal to i?
False
Let h = -16 - -10. Let a be (0/(h + 4))/(-1). Which is smaller: a or -1/7?
-1/7
Let p(k) = 13*k**3 - 3*k**2 - 7*k - 8. Let j be p(-2). Which is bigger: -104 or j?
-104
Let i = -0.07 - 7.93. Let g = i - -11. Let b = 0.1 + -0.3. Which is smaller: g or b?
b
Suppose 0 = 3*n + 3*q - 12, 3*n - 12 = 2*q + 2*q. Suppose 4*d = -n*a + 8, 2*a - 4 = 3*d - 0*a. Which is bigger: -2 or d?
d
Let z = -2.1 - -21.1. Let c = 18.834 - -1.166. Let i = z - c. Which is smaller: 3 or i?
i
Suppose 0 = -4*s - 2*q + 2, 0 = s - 19*q + 15*q + 13. Which is smaller: s or -1/226?
s
Let n be (-9)/(-3) + 1/1. Suppose -d + 3 = -3*w - n, -2*d - 3*w = 31. Let k = 0 + d. Is -9 smaller than k?
True
Let s = 11 - 5. Let v = 6 - -2. Suppose -m + 6 = -t, 0 = -2*t - s*m + 4*m + v. Which is smaller: t or 0?
t
Let u = -158.9 + 20.9. Let w = u + 137.33. Is -1 greater than or equal to w?
False
Suppose -59 - 291 = -5*u + o, 0 = -u - 3*o + 54. Let m be 4 + -4 - (-9)/u. Let l be 7/9 - 16/(-72). Is l less than m?
False
Suppose 3*m + 5 = c + 2, -4*m - 6 = -2*c. Suppose 2*n - c*y = -13 - 11, 0 = -2*n - 5*y - 8. Let h be -1 + -21 + 6 + 6. Which is greater: h or n?
n
Let q be 4 - (0 + 6) - (-6 + 4). Let k be 0 + -2*18/(-76). Which is bigger: k or q?
k
Let h = 862/173 - 90049/4844. Let b = h - -90/7. Let j be (12/9 + 0)/2. Which is greater: b or j?
j
Let u = 0 - -1. Let f = -3421/20 - -854/5. Which is smaller: u or f?
f
Let q be (-2 - -2)*-1 - 6. Suppose 16 = -7*z + 11*z. Which is greater: q or z?
z
Let q = 9.34 - 67.24. Let m = q - -58. Which is smaller: m or 2/23?
2/23
Suppose -2*b + 4 = 4*h, -2*b = b - h - 6. Let d be (8/556)/(b/(-2)). Which is bigger: 0 or d?
0
Let z = 0.745 + -0.792. Which is greater: z or -1.8?
z
Let w = -556/2583 - 2/287. Let z = 0.052 + -0.352. Which is smaller: w or z?
z
Let o be -2 - (-9)/6*2. Let u = 11 - o. Let b(r) = -r**3 + 9*r**2 + 11*r - 9. Let m be b(u). Which is bigger: m or 1/16?
m
Let o(z) = 4*z + 17. Let b(c) = 17*c + 69. Let f(a) = 2*b(a) - 9*o(a). Let u be f(-8). Is u != 2?
True
Let k be (-4 - -3)/((-2)/(-24)). Let w be (-4 - k/4)/(2/(-58)). Which is greater: 28 or w?
w
Let x(r) be the third derivative of r**6/60 + 11*r**5/60 + r**4/6 + 5*r**2. Let w be x(-5). Suppose -35 = -5*s + 2*s - 4*a, 0 = w*s - 5*a. Is s <= 2?
False
Suppose -13*g = -922 - 1626. Are g and 197 nonequal?
True
Suppose 62 + 138 = -4*y. Let u = -48 - y. Is 4 less than u?
False
Let q be 509/12 - (-11)/44. Let p = -42 + q. Is 2 smaller than p?
False
Let k = 73 - 72.9. Let q = -37/13 + 410/39. Is k less than q?
True
Suppose -k - 2 = -2*k. Suppose -t + 0*t = -4*a - 16, k*a = -5*t - 8. Let p = -17/8 - -169/72. Is t not equal to p?
True
Let s(t) = t + 11. Let m = 16 - 27. Let f be s(m). Which is greater: f or 2/43?
2/43
Suppose -2*j = l + 2 + 5, -15 = 5*j. Which is smaller: l or -17/7?
-17/7
Let i be 21/19 + 1*-1. Let t = 276323/57 - 4849. Let f = t - i. Is -1 equal to f?
False
Let a = -0.158 - -0.228. Which is greater: a or 0.1?
0.1
Let p = -3394/17 + 624989/3128. Let q = p + 56033/552. Let y = q + -103. Is y at least as big as 0?
False
Let m be 1/(-11) + (-238)/(-77). Suppose -5*z + 3*d + 32 = 139, 2*d = -m*z - 68. Is -23 less than z?
True
Let o be (1 - (2 - 4))*3/(-18). Suppose 0 = 5*w - 2 + 7. Which is smaller: w or o?
w
Let p be 4/18 + 388/117. Let s = p - 2688/767. Is 0 > s?
False
Let h be 10/(-18)*(-6)/10. Let g = -228.8 - -232. Which is greater: g or h?
g
Let m be (-37 + 12)/((-1)/2). Let h be 10/12*90/m. Which is greater: h or 1?
h
Let a be 7 - ((1 - 1) + 1). Let m be 4/a - 11/30. Let c be (-3)/(-6)*(4 + -7 - -3). Which is smaller: m or c?
c
Let r(v) = v**2 - 15*v + 9. Let d be r(11). Let n be (0 + -2 - (-4)/2) + d. Which is smaller: n or -34?
n
Let x(g) = -g**3 + 19*g**2 - 46*g + 57. Let s be x(14). Is 393 greater than s?
False
Let l = -4459 + 4501.23. Let a = l + -42. Let q = a + 0.77. Which is smaller: q or 6?
q
Let m(g) be the first derivative of -43*g**3/3 + 2*g**2 - 2*g - 39. Let a be m(1). Which is bigger: a or -40?
-40
Let t = 21.93 + 0.07. Let n be 2/(-16)*(-188 + 186). Which is smaller: t or n?
n
Suppose -12*h + 676 = h. Suppose 0 = -2*z - h + 12. Is 1 less than or equal to z?
False
Let x = -16611662086/3495 + 4752979. Let f = x - -1/233. Is 1/2 < f?
False
Suppose -11*j = -8*j + 12. Which is bigger: -5 or j?
j
Let q = 0.1342 - 0.0942. Which is bigger: q or 0.024?
q
Let x(s) = -s + 1. Let d be x(-4). Suppose 2*g + b + 1 = -6, 0 = d*b - 5. Do -18/7 and g have the same value?
False
Let f be (-854)/42 - 10/6. Do f and 1 have different values?
True
Let h be (40/3)/(-5)*3. Let n = 19 + h. Suppose -g = -15 + 4. Are n and g unequal?
False
Let c = -20 - -12. Let q = 0 + c. Let f be 15/(-2) - (0 - 0). Which is smaller: q or f?
q
Suppose -2*j - 2*r = -46, -2*j = 3*r + 8 - 54. Let f = j - 21. Let y be (-5)/((-20)/12)*f. Which is smaller: y or 5?
5
Suppose 32*v + 3024 = -40*v. Is v less than -376/9?
True
Let m(u) = -u**3 - 5*u**2 - u - 6. Suppose 2*a - 5*s = -25, 0 = 2*a - 2*s + 1 + 15. Let o be m(a). Is -8/15 > o?
True
Let q(o) = o**3 + o + 4. Let c be q(0). Suppose 7*d = 5*d + c. Suppose 0 = -m + 3*m + d. Is m at least -1?
True
Let t(s) = -3*s**2 + 42*s - 37. Let j be t(9). Which is bigger: 97 or j?
j
Let l = 28 + -25. Suppose -21 = -3*g - x + 2, 0 = 4*g + l*x - 29. Is g <= 0.03?
False
Suppose 325*f = 324*f + 213. Which is smaller: 2 or f?
2
Let y(h) = h - 6. Let b be y(5). Let q(l) = 14*l - 1. Let k be q(b). Let g be 1/(-5) + (-9)/k. Is g at least 5?
False
Let w be -3 + (-2 - -1) - -7. Suppose -3*a = w - 6. Let g = 15.8 - -1.2. Is g greater than or equal to a?
True
Let g be (-3 + 2)*6/6. Let l be (-4)/32*2/4. Is g at most as big as l?
True
Let q(m) = m**3 + 4*m**2 + m - 8. Let b be q(-2). Let y(p) = -10 + 4*p**2 - 3*p**2 - 7*p + 0*p**2. Let d be y(8). Is d bigger than b?
False
Let k = -2 - -7. Suppose k*m + 2*b + 24 = m, -3*b = 0. Let t be 11 + -1 - (m + 8). Which is greater: 2/5 or t?
t
Let t be 2 + (-5092)/(-48) + (-3)/2. Let d = -411/4 + t. Which is smaller: 5 or d?
d
Let n be (62/(-9) - -7)*519. Which is bigger: 1 or n?
n
Let h(b) = 10*b - 17. Let o be h(-18). Let g = o - -2169/11. Does -0.2 = g?
False
Let v = -7124735/759 + 9387. Is 0 > v?
True
Let k = -3.9 - -2.9. Let f = 0.113 - 0.113. Which is bigger: k or f?
f
Let k = -0.04 - 0.