/(4/(-54)). Which is smaller: 3 or b?
b
Let a be (-18)/5 - (-6)/(-15). Let n be 0/(-1)*4/a. Which is smaller: -4/7 or n?
-4/7
Let f = 5939/20 + -297. Which is greater: 0 or f?
0
Let b = -2.23 - -2.1. Is b >= -4/9?
True
Suppose c = 11*c - 10. Is -4/23 greater than c?
False
Suppose -c + 3*l - 4 = 0, -1 = c - l + 1. Which is greater: c or -14/9?
c
Let o = -13/16 + 3/4. Suppose 16*w - 12*w - 21 = 5*k, 24 = w - 5*k. Which is bigger: o or w?
o
Let l be 7/18*218 + 6/27. Which is greater: l or 84?
l
Suppose y - 5 = f - 0*f, 0 = y + 2. Let r be 0 + f/((-7)/(-2)). Which is smaller: r or -16/7?
-16/7
Let f = -27.2 - 0.8. Which is bigger: f or 0.1?
0.1
Let h be 2/(2/(-1)) + 1. Suppose h = -2*g + 2 - 0. Let q = 0 - 0. Is q > g?
False
Suppose -8*y - 37 + 5 = 0. Which is smaller: -2 or y?
y
Let m(o) = o**2 + 3*o. Let d be m(-5). Let k be d/1*3/2. Suppose x - 14 = -2*w, 2*w - k = -2*x + 3. Is 3 bigger than x?
False
Let a be (-5 - -2)/(-3)*-1. Let o = -0.6 - 2.4. Which is greater: a or o?
a
Suppose -2*r - 9 = -x, 4*r + 26 = 4*x + r. Let g = x + -4. Is -1/7 greater than or equal to g?
False
Suppose 0 = 3*r + 1 - 4. Let o = 0.05 - 2.05. Which is bigger: r or o?
r
Suppose 14*n - 161 = 21. Is 9 at most as big as n?
True
Let m be (1 - (-3)/(-2))/(6/12). Is m <= -32?
False
Suppose 4*j = 4*c + 44, 2*j - 5*c = -2*c + 27. Let i(k) = k**3 - 5*k**2 - 8*k + 8. Let f be i(j). Let t be (-2)/f - 3/6. Is t <= 3?
True
Suppose 2*b - 1 - 3 = 0. Is 23/9 greater than b?
True
Let f = 1 - -1. Suppose 35 = -5*h + 45. Is f at least h?
True
Let i = 3 + -1. Suppose 4*a = -5*o - 7, -3*a - 8*o = -10*o - 12. Is a <= i?
True
Let h(g) = 2*g**2 - g. Suppose -2*l - 3 = -5*l. Let u be h(l). Suppose -2*n = 2*n. Is n > u?
False
Suppose -170 - 119 = 2*t + 5*p, 5*t = -p - 780. Is t greater than -157?
False
Let l be 20/(-6)*(-24)/(-16). Let u = 0.03 + -0.02. Let v = 0.01 - u. Is v > l?
True
Let w(t) = -t**2 + 20*t - 24. Let j be w(21). Which is smaller: j or -46?
-46
Let k be 2/5 + (-149378112)/380. Let w = k - -393487. Let u = w - 387. Which is smaller: u or -1?
-1
Suppose -3*d - 14 = 4*d. Which is smaller: d or 3?
d
Suppose 4*q = -5*y + y + 20, 5*q - 25 = -4*y. Is 3/2 greater than y?
True
Let u(s) = s**2 + 2*s. Let z be u(-3). Suppose -z*a = a - 12. Is 4 bigger than a?
True
Let d = 3 - 3.4. Let m = -0.2 - d. Let a = 1.1 - 1. Which is smaller: a or m?
a
Let x be 0 + 1 + (-56)/24. Which is greater: x or -2?
x
Suppose -7*i + 2*i = -10. Suppose i = 2*z + 4. Which is greater: z or -3/13?
-3/13
Suppose -1 = m - 7. Let x(w) = -w - 9. Let j(u) = u + 9. Let o(k) = m*x(k) + 7*j(k). Let p be o(-8). Which is smaller: -1/6 or p?
-1/6
Let m = -35240/867 + -6/289. Let q = m + 41. Are q and -1 equal?
False
Suppose 2*w - 3*w = 9. Let s = -15 - w. Let a(l) = -l**3 + 5*l**2 - 4*l - 5. Let q be a(4). Is q bigger than s?
True
Let s(d) = d**2 - 31*d - 41. Let z be s(33). Which is smaller: z or 23?
23
Suppose -5*i + 3*v + 36 = 6*v, 5*v - 16 = -i. Let h(m) = m**3 - 5*m**2 - 7*m + 4. Let s be h(i). Let t be 1*(-1)/18*s. Is t less than -1?
False
Let p = 4/69 + 110/483. Let j = 76 - 73. Which is smaller: p or j?
p
Let t be (4/2)/((-18)/(-45)). Suppose -2*d + t = w - 8, 4*d - 4*w + 4 = 0. Suppose -2*a - 2*a = 8, 0 = -2*i + 5*a + 16. Is d smaller than i?
False
Let s = -63/4 - -16. Which is smaller: 1 or s?
s
Let v = -1693/756 - 2/189. Let u(j) = j**3 + 6*j**2 - 6*j + 6. Let m be u(-7). Which is bigger: m or v?
m
Suppose 2*k + 5 = 13. Is 3 greater than k?
False
Let c be (-3 + -1)/((7/2)/(-7)). Which is smaller: c or -3?
-3
Let l = -0.5 - -0.3. Let g = l + 0.2. Let d be 4/(-8) - (-10)/(-28). Are g and d non-equal?
True
Let y(i) = -6*i + 1. Let t be y(-3). Let q = t - 44. Let s be q/(-4) - (-1)/(-4). Which is smaller: 4 or s?
4
Let s = 10 - 9.9. Which is smaller: s or 7?
s
Let v be 2/(-4)*(-4)/1. Let b be (13/2)/(v/28). Let x be (-12)/b + (-8)/52. Is 2/7 smaller than x?
False
Let i be (-4)/70 - 2/(-10). Let j(d) = 2*d - 5. Let k(f) = 2*f - 4. Let g(n) = -3*j(n) + 4*k(n). Let u be g(1). Is i at most as big as u?
True
Suppose 5*p + 37 + 18 = 0. Is -11 >= p?
True
Let n(d) = -15*d**2 - d + 1. Let a be n(1). Suppose -3*m - 4*l = 2 + 2, 0 = -5*m - l + 16. Let k be a/(-21)*m/(-10). Which is greater: 1 or k?
1
Let a(z) = -859*z**3 + z**2 + z. Let v be a(-1). Suppose 4*u = 3*l + v, 5*u - 201 = l + 89. Let p = l - -6557/23. Is p less than or equal to 0?
False
Suppose -2*o - x + 1 = 0, -4*o - 7*x + 8*x = 1. Let s = 3.4 + -4. Which is bigger: o or s?
o
Let h = 141 - 979/7. Which is smaller: 2 or h?
h
Suppose -3 - 5 = -3*d + i, -2*d + 20 = 3*i. Is d < 13/4?
False
Let d = -8 + 12. Let k(h) = -h - 1. Let x be k(-4). Suppose x*f = -f - d. Which is smaller: f or 1/6?
f
Let x(l) be the third derivative of 0 + 1/120*l**6 + 0*l + 1/12*l**5 + 5/24*l**4 + 2*l**2 + 1/6*l**3. Let m be x(-4). Which is bigger: m or -1?
-1
Let a(c) = c**3 - 5*c**2 + 1. Let i be a(4). Which is smaller: i or -16?
-16
Suppose 4*l - 293 = -2*f + 27, 5*f = 3*l - 227. Is l < 78?
False
Let c = 652/2331 - -2/333. Is 0 <= c?
True
Let d be (-10)/6*(-6)/(-4). Which is smaller: -3 or d?
-3
Let m = 0 - 1. Suppose 5*r + 30 = 5*s, 2*s - 5 = -4*r - 17. Let l be ((-3)/21)/(s/(-4)). Which is bigger: l or m?
l
Let b = -1.3 - -7.3. Let h = b - 7. Which is smaller: h or 0.5?
h
Let o = 13.2 + -24.5. Let k = -11 - o. Is k less than or equal to -0.2?
False
Suppose 4*t - 23 = -z + 16, -4*t - 5*z + 19 = 0. Which is greater: t or -2?
t
Let m = 2.92 + 0.08. Let d = m - 1. Let f = 0.1 + 0.9. Is f < d?
True
Suppose 5*y - 2*y - 1611 = 0. Let j = y + -11279/21. Suppose 0*f - 6 = -3*s - f, -s - 3*f + 10 = 0. Are s and j unequal?
True
Let v = -7 - -12. Suppose v*d = d. Suppose 3 = -5*p + 2*y, -2*y + 1 = -7. Which is smaller: p or d?
d
Let x = -1.6 + -1.4. Let s = -2.9 - x. Does s = 1?
False
Suppose d = -0 + 6. Which is smaller: d or 7?
d
Let h(b) = 83*b - 5. Let c be h(-6). Let x = -9559/19 - c. Is -1 equal to x?
False
Let a = 11.2 + -12. Let b = a + -1.2. Is b less than 2?
True
Let c be (0/4)/(2/(-2)). Let g = 0 - c. Which is smaller: 1 or g?
g
Let b = -16 + 18. Let k be b + -3 + 1 + -7. Is k greater than or equal to 1?
False
Let p(k) = k**2 - 6*k - 8. Let f be p(6). Let v be -1*(f*1 - -1). Let q = -15 - -21. Is v < q?
False
Suppose 0 = 52*b - 49*b + 33. Which is bigger: -10 or b?
-10
Suppose -2*b - q = -0*q - 6, -2*b = -5*q - 6. Let m = 9 - 13. Let y = b + m. Which is bigger: 0 or y?
0
Let j be 36/16 + (-2 - 1). Suppose 0 = -4*d + d - 2*l, 0 = 2*d - 4*l. Is j > d?
False
Let c = 880.07 + -872. Let o = c + 1.83. Let i = o + -10. Is -2 smaller than i?
True
Suppose 4*a - 5*x = -15, 0*a - x = 3*a - 3. Suppose i - 1 = -a. Let n be (0 - 3/(-2)) + 0. Which is smaller: i or n?
i
Let c = 29 - 14. Suppose 4*i + i = c. Let r = i - 1. Is r greater than 2?
False
Suppose 0*l = 2*l - 2. Suppose -4*s = -6 - 10. Let r be (-1)/s - (-2)/8. Are l and r unequal?
True
Let x(z) = -18*z**3 + 4*z + 3. Let b be x(-1). Is b not equal to 16?
True
Let a = 0.33 + -3.33. Does a = -3?
True
Let i be ((-10)/5)/(4/2). Which is smaller: i or -2?
-2
Let k = 0.01 + 0.89. Let g = -0.1 - 0. Let b = g - k. Which is smaller: 1/6 or b?
b
Suppose b = -b. Let u = -122 + 126. Which is greater: b or u?
u
Let w(y) = 35*y**3 + y**2 - y + 1. Let s be w(1). Suppose 4*b - b = s. Let g be 3/b*(-4)/(-5). Do 1 and g have the same value?
False
Let z = 152309/1044 - -1147/116. Let w = 156 - z. Which is smaller: w or 0?
0
Let n be ((-25)/(-20))/((-1)/4). Let s = 19/4 + n. Let v = -8.1 - -8. Is v at least s?
True
Let n = -0.25 + -0.05. Let i = 0.4 + n. Let u = 0.4 - i. Is u > 2/7?
True
Let u = -67 + 203/3. Which is smaller: -4.2 or u?
-4.2
Let m = 2591.93 - 2580. Let c = 12 - m. Let y = 1.07 - c. Which is smaller: y or -1?
-1
Let m = -0.14 + 0.14. Let n = 0.05 + 0.35. Is m equal to n?
False
Let k be (-1)/(-2) - 9/(-6). Suppose k*z + 2 = 6. Let t be 2/8*(-3)/z. Which is bigger: 1 or t?
1
Let i be (-906)/(-165) - 18/45. Is 6 < i?
False
Let w = 25 + -14. Is w != -1?
True
Suppose 8 - 32 = -4*b. Suppose b = -2*x - 6. Does x = -7?
False
Suppose -4*p + 5*m - 22 = -3*p, -m = -5. Suppose 2*x + 7 = p*s, 0 = -3*s - 4*x - 3 - 2. Let d = 0 - s. Which is smaller: 1/5 or d?
d
Let t = 32933/3 - 11118. Let k(h) = 139*h**2 - h - 1. Let w be k(-1). Let n = w + t. Is n smaller