(1/10)/(4/(-56)). Is -2 less than x?
True
Suppose 2*g = -2*u + 14, -15 = -5*g - 3*u + 30. Is g >= 15?
False
Let k be (-3)/(9/(-6)) - 3. Let h be 44/(-24) - (-1 + k). Are 0 and h equal?
False
Suppose -5 = -4*i - 9. Which is greater: i or -6?
i
Let c = 0.66 + -0.06. Let a = c + -0.9. Which is smaller: a or 1/3?
a
Let l = 0.2 - 0.1. Let x = l - 0. Let t = -0.1 + x. Do -2/3 and t have the same value?
False
Let k = -8.94 + 9. Let n = k + -0.02. Let z = n + -0.04. Is z <= -2/7?
False
Suppose 3*h + 15 = 0, 2*h = r + h + 2. Let f be ((-60)/70)/(2/r). Is f < -2?
False
Suppose 0*q + 9*q = 0. Is q greater than 1/6?
False
Let b = -98 + 97.42. Which is bigger: -2/7 or b?
-2/7
Let s = -19 + 25. Which is greater: s or 21/4?
s
Let d = 7/89 - 2253/356. Let j = -13/2 - d. Is j smaller than -1?
False
Let r(s) = 2*s - 14. Let o be r(11). Which is bigger: o or 3?
o
Let o = -1.6 - -1.66. Let g = -0.16 + o. Is g != 5?
True
Suppose 0*n + 3*n = -3. Is -0.1 > n?
True
Suppose -2*t + 4*t = -4*n + 44, 5*t + 3*n = 96. Let o = t + -18. Let a = -1845/13 - -142. Which is bigger: o or a?
a
Let p be (0 - 3)*4/(-6). Which is bigger: p or 3?
3
Let i = 20 - 17. Is i greater than or equal to 3/2?
True
Suppose 2*w - 3 = -1. Let g = -7 - -7. Let u be g/2 + (-2)/(-8). Which is smaller: u or w?
u
Let k(s) = 4*s - 7*s + 5*s**2 + s**3 + 2*s**2 - 5 - 7*s. Let i be k(-8). Let o = -12 + i. Which is smaller: 1/16 or o?
o
Suppose 0 = 5*f - 4*f - 4. Let j = -29 - -27. Let n be 2/16*(f - j). Is n less than or equal to 0?
False
Let a be (2 - 0)/((-12)/(-18)). Suppose -h - a*w = -6, -1 + 0 = h - 4*w. Suppose 5*i = -5*l + 45, 3*i - h*l + 7 = 16. Is 4 greater than or equal to i?
False
Let z be 1 + 2 - (1 + 1). Let l be ((-5)/45)/(z/(-3)). Let a = 0.6 - 2.6. Which is smaller: l or a?
a
Suppose -3*y = y. Which is smaller: y or -2/13?
-2/13
Let q(v) = -v + 12. Let i(u) = -u + 13. Let n(a) = 5*i(a) - 6*q(a). Let w be n(6). Which is bigger: w or -4/9?
-4/9
Let l(d) = d**3 - 7*d**2 - 3. Let q be l(7). Let k(f) = 6*f - 2. Let x(o) = -o - 1. Let p(j) = -k(j) - 5*x(j). Let t be p(9). Which is bigger: t or q?
t
Let q = -2/35 + 41/105. Let l = -2 - -3. Which is smaller: l or q?
q
Suppose -3*r = 4*w + 11, 17 = -3*r + 2*w - 0. Let g = 7 + -12. Is r < g?
False
Suppose 3*c + 4*p = 0, c - p = -6*p. Suppose c = -0*t + 2*t. Suppose -4*u = -6*u. Are t and u nonequal?
False
Let s(c) = c**3 + 4*c**2 + 3*c + 3. Let o be (-1)/5 + 28/(-10). Let w be s(o). Let v = -4 + w. Is v > 0?
False
Let m be (-2)/(-5)*24/16. Suppose 0 = -5*a - s + 2, a - 4*s - 10 = 3*a. Which is bigger: m or a?
a
Let z(p) = -3*p**2 - 21*p - 4. Let r be z(-6). Is r bigger than 13?
True
Suppose b - 4*y + 5 = 13, -2*y = 2*b - 26. Let q be (-9)/b + (-2)/(-2). Which is bigger: q or 1?
1
Let l(k) = -15*k**2 + 3*k + 4. Let a be l(-2). Which is smaller: -63 or a?
-63
Let k = -1.4 + 0.6. Is k >= 0.1?
False
Let v(f) = f**2 + 9*f + 15. Let u be v(-7). Is u greater than or equal to 7/6?
False
Let x = -82 - -82.2. Is -39 at most x?
True
Let a be ((-3)/18)/(11/3). Which is bigger: 1 or a?
1
Let g be 1/3*2/(-1). Let p be (-15)/6 + 51/34. Which is smaller: p or g?
p
Let o = -55 - -32. Let s be 4/10 + 224/(-10). Do s and o have the same value?
False
Let c = -65 - -65. Are c and -5 non-equal?
True
Let u be 6699/(-588) - 1/(-7). Which is smaller: -10 or u?
u
Let j = 3 - 10. Let p = -14 - j. Let z = 5 + p. Is -2/3 >= z?
True
Suppose 4*m - 21 = -85. Which is bigger: 1 or m?
1
Let o = -29 - -30. Which is greater: -3/19 or o?
o
Let a be 6/(-14) + 25/(-7). Let d = 3 + a. Which is smaller: 2 or d?
d
Suppose -2 + 3 = v. Which is smaller: 0 or v?
0
Let h = 9 - 8. Let b be h + (-3 - 1) - -37. Suppose -37 = -3*d + 4*u, -b = 3*d - 5*d + 5*u. Which is greater: d or 6?
d
Let a be ((-6)/105)/(2*(-5)/50). Which is greater: a or 30?
30
Let z = -8 - 4. Let r = -11.9 - z. Which is greater: r or -0.1?
r
Let f be (4/(-12))/((-1)/(-3)). Let x = -3673 + 385669/105. Let t = x + 1/30. Which is smaller: t or f?
f
Let n be (30/(-6))/(-80)*4. Let k be 2/(-8) - 10/(-24). Let t = k + 1/3. Which is smaller: t or n?
n
Let w = -0.05 + 1.05. Let x(y) = y**2 - 3*y - 2. Let c be x(3). Which is bigger: c or w?
w
Let a be 12/(-18) + (-2)/(-3). Which is smaller: a or 2/5?
a
Let y(f) = -f**2 - 17*f - 41. Let z be y(-14). Which is smaller: 4/43 or z?
4/43
Let b = 0.06 + -2.06. Let k = b + 1. Let j = -0.8 - k. Is 0 at most as big as j?
True
Let f be -3 + 33/7 + -2. Which is smaller: 0 or f?
f
Let w be 2/4*(1 + -1). Which is greater: -2/53 or w?
w
Let a = -20 + 30. Let m = a - 11.4. Which is greater: m or 1/2?
1/2
Let r = -59/28 - -9/4. Is r bigger than 0?
True
Let d = -0.3 - 0.2. Is d at most -5/6?
False
Let c = -935/3 - -316. Let l = 29/6 - c. Which is greater: 1 or l?
1
Let x = -132792 + 9030289/68. Let g = 25/4 - x. Does g = 1?
False
Let b be (0 - 4/(-80))/(6/16). Is b at least 1?
False
Let b(t) = -t**3 - 2*t**2 + 3*t + 2. Let w be b(-3). Suppose 4*r + w = 30. Is r greater than or equal to 8?
False
Let l = -40 - -40. Let d(n) = -n**2 - 5*n - 2. Let q be d(-5). Which is bigger: l or q?
l
Let n = -17 + 31. Which is smaller: 15 or n?
n
Let f = 253/3 - 85. Let r = 16 + -16.03. Let h = r + 1.03. Is f greater than or equal to h?
False
Let i = 10 + -17. Let q = 6 + i. Which is bigger: -3/7 or q?
-3/7
Suppose 14 = -2*x - 6. Does x = -2/3?
False
Suppose -5*k = 5, -5*k = -6*y + y. Is y greater than or equal to -1?
True
Let s(k) be the third derivative of k**5/60 + 3*k**4/8 + 5*k**3/3 - 2*k**2. Let f be s(-7). Is f > -2?
False
Let y be ((-4 - -2) + 0)/(-6). Suppose 3*n + n + 3*m - 7 = 0, -n + 2*m - 1 = 0. Is n smaller than y?
False
Let y = 0 - -4. Suppose y*j - 11 = -3. Are j and 6 non-equal?
True
Suppose g - 2*c = -0*g + 9, 12 = 5*g + c. Suppose t - g*t = -4. Let z be (1 + 6/(-15))*1. Which is smaller: z or t?
z
Let b(h) = h**2 + 12*h - 2. Suppose -38 = 3*c - 2*n, -c - 3*c - 4*n - 44 = 0. Let a be b(c). Which is smaller: -5 or a?
-5
Let p = -0.38 + 0.3. Let q = 0.12 - p. Let m(o) = o**3 + 6*o**2 + 6*o + 6. Let t be m(-5). Are q and t unequal?
True
Let o = -1.4 - -1.6. Let t = -0.2 + o. Which is greater: t or 3/7?
3/7
Let z = 5/531 + 247/86553. Are z and 1 nonequal?
True
Let m(a) be the third derivative of a**4/12 - 5*a**3/3 + 4*a**2. Let h be m(5). Is h greater than -11?
True
Let v = -2.05 + 2. Let z = -0.25 - v. Is 1 greater than z?
True
Let x be 4/(-744)*8*-3. Is -1 less than or equal to x?
True
Suppose 10*c = -10*c + 20. Are c and -2/261 nonequal?
True
Let k be 6/(-18) - (-13)/3. Let t be -4*(11/k - 2). Let n be (t*1)/(-3)*0. Which is bigger: n or -1?
n
Let p = -2.02 - -0.02. Which is smaller: 5 or p?
p
Let s = -0.24 - -0.04. Are s and -2 unequal?
True
Let l = -2503/7 + 357. Let c(m) = -m + 5. Let x be c(5). Is l <= x?
True
Suppose 3*i + 3 = 6. Let v be (9/12)/(i - -2). Suppose -3*p - 3 = -4*g, 7*g = 2*g + p + 1. Which is greater: v or g?
v
Let m = 21.55 + -0.55. Which is bigger: m or -2/7?
m
Suppose 4*k = -3*k + 21. Let y(h) be the first derivative of h**4/4 - 5*h**3/3 - 2*h**2 - 8*h - 2. Let o be y(6). Which is bigger: k or o?
o
Let k = -1 - -2. Let f be 4/6 - 2/(-6). Let o = f - k. Which is smaller: -1 or o?
-1
Let w(p) = -p**2 - 4*p + 9. Let t be w(-6). Is t < -2?
True
Let w(o) = o**3 + 4*o**2 - 2*o + 1. Let g be w(-5). Let r be 123/(-21) - (-2)/g. Is -6 > r?
False
Let s be ((-4)/(-5))/((-3)/(-90)). Let j be (-4)/s*(-6)/(-4). Let r = -1 - -2. Is r at most j?
False
Let z be -1*3/(-1 - 2). Which is smaller: -2 or z?
-2
Let z = -56 + 51. Is z at least as big as 1/3?
False
Let w = -2 - 6. Let d = 12 + w. Suppose -l + 5 = d*l. Which is smaller: 0 or l?
0
Suppose 0 = -b + 4*s - 8, -3*b = -6*b + 5*s - 10. Is b greater than 0?
False
Let n = 25 + -26. Is -0.1 smaller than n?
False
Let h be (-1008)/18*(40/(-14) - -2). Is 47 smaller than h?
True
Let z = 523.71 + -527. Let k = z + -0.81. Let h = k + 4. Which is greater: h or -0.3?
h
Let w be ((-24)/36 + (-4)/(-6))/(-2). Is -2/35 less than or equal to w?
True
Let i(z) = -z - 6. Suppose -12 = 2*k - 0*k. Let p be i(k). Is p < 0?
False
Suppose -4*z - 4 = -0. Let f be (-4)/(z + 9/15). Is 10 at least as big as f?
True
Suppose -n = -4 - 2. Suppose -12 = 3*m - n*m. Is m equal to 10/3?
False
Let x = -137/35 + 26/7. Which is bigger: 0 or x?
0
Suppose 5*l = -5*j + 42 + 18, -5 =