hich is greater: m or u?
u
Let h be 2 + 7/(-4) - 0. Suppose 2*g + 182 = -5*g. Let v = -26 - g. Does v = h?
False
Let h be (0 + 4/4*0)/(-2). Is -20 bigger than h?
False
Let o be 9/(-3) - (-2 - -6). Is o <= -8?
False
Let l be 3*1 - (-183)/(-60). Let n = -37/60 + l. Is n >= -2?
True
Let i = -71 + 42. Let y = i + 27. Is y less than or equal to -8/9?
True
Suppose -4*b = -16, -2*h + 3*h + 4*b - 47 = 0. Are h and 31 non-equal?
False
Suppose 4*r + 8 + 72 = 0. Which is bigger: -18 or r?
-18
Let p = 2.1 + -0.1. Let j be ((-2)/(-8))/((-8)/(-8)). Is p <= j?
False
Suppose -23*f + 4 = -27*f. Let u(c) = -c**2 + 7*c - 8. Let i be u(6). Which is smaller: i or f?
i
Let p(u) = -3*u**3 + 4*u**2 + u - 4. Let w be p(4). Let h be 3/(-1)*w/12. Let l be h/60 + (-1)/3. Is 2/5 greater than or equal to l?
True
Let y be 42/48 - (-1)/(-2). Which is smaller: y or -1?
-1
Suppose -7*c + 6*c = -4. Let h(v) = v**2 - 3*v + 2. Let b be h(c). Which is smaller: 5 or b?
5
Suppose 16 = 4*l - 4*k, 4*l + 5*k = -4 - 7. Does l = 6?
False
Let l be ((-4)/12 + 0)/((-2)/(-6)). Which is smaller: l or -9/11?
l
Let z(c) = -c. Let k be z(0). Let n = -823/8 + 103. Is k greater than n?
False
Suppose 3*l + 6 = 0, k + 5*l = 3*k + 10. Are -8 and k non-equal?
True
Suppose -h - 5*o - 5 = 0, h - 4*h + 5*o = -5. Let q be (-10)/(-75) - (-1)/(-5). Is q > h?
False
Let w = -4 - -3. Let h = -9.4 - -10. Is h != w?
True
Let w be 16/56 + (-30)/7 - -20. Is 13 at least as big as w?
False
Let r = 18 + -19. Let u be 0 + (r - (-5)/3). Which is bigger: -1/3 or u?
u
Let b = 15 - 9. Let v be (8 - b)*2/8. Suppose -4*q - 4 = -3*z, 4*q = -q - 2*z - 5. Is q at most v?
True
Let m = 0 + -1. Let c = 0 + m. Is 0 greater than or equal to c?
True
Suppose 0 = 4*o - 0*o - 32. Let k(t) = -5*t - 14. Let d be k(-4). Let g = o - d. Which is smaller: g or 1?
1
Let j(q) = q**3 + 4*q**2 + 2*q + 6. Let v = -8 - -4. Let y be j(v). Let g be ((-4)/(-9))/(0 + y). Which is greater: 1 or g?
1
Let d = 5967495/34234928 - 3/53744. Let v = d + -1/49. Let l = 5 + -6. Is v <= l?
False
Let x = 357/620 + 3/124. Let u(n) = -n**3 + 6*n**2. Let t be u(6). Let o = t - 0. Is o not equal to x?
True
Let y(x) = 3*x - 1. Let k be y(4). Which is smaller: k or 7?
7
Let t be -2 - (-5)/((-5)/(-4)). Suppose 4*u + 34 - 10 = 4*l, -t*l = 4*u + 6. Suppose -5*p = -l*p + 10. Is -5 at most as big as p?
True
Suppose -7*z = -9*z - 52. Is z greater than -26?
False
Let q = -0.5 + -1.5. Let j = -1.3 + 1.5. Which is bigger: j or q?
j
Let y = 29.032 + -0.032. Do y and -1 have the same value?
False
Let m = 0.19 - 0.09. Which is smaller: m or -10?
-10
Let a = -1.1 - -0.1. Let s = -33 + 35. Is s smaller than a?
False
Suppose -4*s + i - 2 + 3 = 0, -15 = 3*i. Let r be 39/42 + -1 + 0. Which is smaller: r or s?
s
Let i be (-3)/9 + (-2)/3. Let n be ((-2)/(-10))/(8/350). Let g = n + -9. Which is greater: i or g?
g
Let d be (-12)/(-104) + (-4)/(-10). Let p be (3/91)/((-4)/(-14)). Let z = d - p. Are 1 and z non-equal?
True
Let c = 3.86 - -0.34. Let d = -1.2 + 1.4. Let m = c - d. Is m >= -1?
True
Let k(g) = g**2 + 4*g - 4. Let p be k(-4). Let i be 2 + -8 + 2 - 0. Is i <= p?
True
Let k be ((-6)/45)/(18/15). Which is greater: k or -1?
k
Let z = -13.9 + 14. Which is greater: z or 0.023?
z
Let j = 6 + -2. Let n be (3/(-12))/((-1)/j). Let h be (13/(-5) - -2)*n. Is h < -2?
False
Suppose 3*b + 4 = b, b + 6 = -4*u. Let k be 2/5*1/3. Which is smaller: u or k?
u
Let o = -0.4 + 0.35. Let w = 0.05 - o. Are -2 and w nonequal?
True
Let j = -0.2 - -0.2. Let i = -23 - -18.01. Let a = 5 + i. Is j >= a?
False
Let n be 55/44 + 3/4. Suppose 0 = -4*y + 3*s - 5, -2*y - 2*s + 0*s = -8. Let j be y*((-4)/(-2))/(-4). Do j and n have the same value?
False
Let u = 11.9 + -10.9. Is u bigger than -7?
True
Let n = -31 + 29. Which is smaller: -3/2 or n?
n
Suppose -6*g - 324 = -0*g. Let o be (2/(-6))/((-30)/g). Is o >= 0?
False
Let c be 385/(-63) - (-1)/9. Is -23/4 < c?
False
Suppose 3*n - 18 = 12. Let w = 13 - n. Is w > 1?
True
Suppose -6*s + s = 0. Suppose -4*w = 4*q + 16, 2*w - q + s*q = -11. Let d = w + 2. Which is greater: d or -4?
d
Let a = 0.2 + -0.3. Let k(f) = -541*f**3 + f**2 - f + 1. Let y be k(1). Let s be (-200)/y*3/5. Does a = s?
False
Let z = -3.65 - 0.3. Let h = z - 0.05. Is h bigger than -0.1?
False
Let a = 6 - 1. Suppose 0 = -0*s + a*s + 10. Let c be s/(-5) - 18/30. Which is smaller: 1 or c?
c
Suppose 26 = -0*k - 2*k. Is k less than -12?
True
Let h be (12/15)/(1/15). Suppose v - h = -3*v. Let w(r) = 2*r**3 + r**2 - 2*r + 1. Let z be w(1). Which is greater: z or v?
v
Suppose -4*y + y - 8 = 2*o, o + y + 2 = 0. Let a be ((-1)/o)/((-7)/56). Let l be (-2)/2*a/32. Which is bigger: -1 or l?
l
Let y(z) = -z**2 + 4*z - 2. Let s be y(3). Let v be s/4 - (-141)/12. Let i be 9/v*(-1)/3. Which is smaller: -1 or i?
-1
Let o = 2 - 0. Let n = 3 - o. Which is greater: 0.01 or n?
n
Let t(u) = -u**3 + 14*u**2 - 14*u + 12. Let w be t(13). Let g(o) = o**3 - 2*o**2 + 2*o - 3. Let d be g(2). Let x be 3 + 1*(w - d). Is 1 <= x?
True
Let h be (-4)/(-14) - (-644)/(-2597). Is h less than 0?
False
Let t = 14 - 21. Is 0.1 equal to t?
False
Let f = 11 - 12. Which is bigger: -9 or f?
f
Suppose 4*g = 3*g. Suppose -j + 2 = -1. Are g and j equal?
False
Let o be (-92)/40*-2 + -3. Let b = o - 29/15. Which is greater: -14 or b?
b
Let u = 0.1 + -1.1. Let k = -0.61 - 0.39. Let o = k - u. Which is bigger: 1 or o?
1
Suppose -4*k = -2*k + 18. Is k bigger than -1?
False
Let g be 5/(-15) + (-44)/(-6). Let f(w) = w**3 - 8*w**2 + 6*w + 10. Let z be f(g). Suppose -5*c + z = -2*c. Are 3 and c nonequal?
True
Let u(l) = -5*l**2 + 2*l - 1. Let c be (0 + -1)/((-2)/2). Let h be u(c). Which is greater: h or -5?
h
Let d = 113 + -113. Is -1/32 greater than or equal to d?
False
Let f = 94 + -94.1. Which is bigger: f or -43?
f
Let r(n) be the second derivative of n**5/4 + n**4/12 + n**3/3 + n**2/2 + 2*n. Let l be r(-1). Is l greater than -1?
False
Let x be 2/(-2 + 8/3). Let o = 0 - 0. Let r = o - 0.1. Which is bigger: r or x?
x
Let a(u) = -u**3 - 8*u**2 - u - 10. Let d be a(-8). Let q be (-6)/d + -1 + -4. Which is smaller: q or -3?
-3
Let q be 21/((-1)/((-4)/12)). Which is smaller: 8 or q?
q
Let q(p) = 4*p**2 + 2*p + 1. Let x be q(-1). Which is bigger: 4 or x?
4
Let m be 12*(709 + -2) - 0. Let u = -1068943/126 + m. Let r = -11/18 + u. Which is bigger: r or 0?
0
Let z = 3.1 + -3. Suppose 4*u - 16 = 5*i - 2*i, 2*u - 14 = 3*i. Let n be 1 + (u - (-36)/(-16)). Is n at most z?
True
Let r = 0 - -0.1. Let m = 12 - 12. Let h = r + m. Is h <= 2?
True
Let k(f) = 7*f - 6*f**3 - 4*f**2 + 3*f**3 + 4*f**3 + 2 + 11*f**2. Let j be k(-6). Which is smaller: -5 or j?
-5
Suppose -o + 12 = 13. Which is smaller: o or -4/17?
o
Let j(w) = -2*w**2 - 5*w + 9. Let a be j(-5). Let v be -3 - 4/(a/12). Is -2/25 < v?
True
Let i = -17 - -11. Let t be (-1)/((3/i)/1). Is 9/5 != t?
True
Suppose -z - 2*d = -13, 12 = -4*d + 32. Suppose -z*q = 12, 2*y + 3*y + 4 = -q. Let w = 2/191 - -372/955. Is w at most as big as y?
False
Let u = -16/27 + 110/459. Do 0 and u have the same value?
False
Let b(a) = -a**3 - 4*a**2 - a - 1. Let m be b(-4). Suppose -5*g = 5*z, -g - g - m = z. Let r be (2/z)/(50/45). Are 0 and r equal?
False
Let h(b) = b**3 + 7*b**2 + 2*b + 8. Let a be h(-7). Let t be 4/a*18/(-30). Which is bigger: t or -0.05?
t
Let b(h) = -4*h**2 + 4*h - 3. Let i be b(2). Let m be (-2)/i + 279/(-990). Which is greater: 1 or m?
1
Let f(w) = 2*w**2 - w. Let l be f(3). Suppose 4*x - l = 9*x. Does x = -9/5?
False
Suppose 5*t - t = 2*l + 18, -2*t - 2*l + 18 = 0. Let g = -3 + 10. Let p = g - t. Is 1 >= p?
True
Let m = -4 + 5. Let a = -6.9 + 6.8. Is m smaller than a?
False
Let s(v) = v**2 + 7*v + 4. Let b be s(-7). Let p be ((-2)/b)/(2/1). Suppose 0 = -0*u - u. Is p less than or equal to u?
True
Let v = -0.015 - 0.185. Is v >= 0.8?
False
Let r(n) = -5*n - 1. Let k be r(-1). Let p be (-10)/k*6/(-5). Let h = 1/33 - -97/66. Which is greater: h or p?
p
Let t = -2/15 + 44/105. Do t and 0.12 have different values?
True
Suppose -3*o + 2 = -13. Let q be (-18)/27 - o/(-7). Is q equal to 0.1?
False
Let i(p) = p**3 + 2*p**2 - 2*p + 4. Let v = -4 + 1. Let d be i(v). Let g be 1 + 1/4 + -1. Do g and d have the same value?
False
Let z = 2 - 0. Let n be -1 + -3 + z + -1. Let s be n/9 + 4/3. Is s smaller than 1?
False
Let t be