 = -0.04 + a. Is m equal to 0?
False
Let o = 230543/213066 - 9/3382. Let h = -11/9 + o. Is h equal to 0?
False
Let y(x) = 17*x - 1. Let p be y(1). Let a be (76/(-8) - -5)*(-20)/6. Which is smaller: p or a?
a
Let c be 4/(2*(-1 - 0)). Which is greater: -1 or c?
-1
Let z be (15/(-10))/(6/(-92)). Is z less than 22?
False
Let b = 7 - -5. Which is smaller: 13 or b?
b
Let o be -2 - (-3)/(273/181). Let l = 173/819 - o. Let v(t) = t**2 + 2*t - 4. Let g be v(-3). Which is smaller: l or g?
g
Suppose -2*f - 1 = 3*n + 39, -5*n = -2*f - 40. Is -21 at least f?
False
Let v be 9085/(-35) - 2/(-3). Let y = v - -259. Which is bigger: y or 0?
y
Suppose -7*c + 3*c - 60 = 0. Let b be ((-2)/5)/(21/c). Is 1 not equal to b?
True
Suppose 0 = 5*n - 5*w - 5, -5*w + 11 + 20 = 4*n. Is 20 at least as big as n?
True
Let j be -4 - (6 - 6)/((-1)/(-1)). Let i = -0.2 - -0.2. Which is smaller: i or j?
j
Let n = 1694/5 + -337. Are n and 2 nonequal?
True
Let k(d) = -d - 13. Let z be k(-13). Which is greater: z or -0.2?
z
Suppose 5*r - 3*l - 192 = 2*r, -2*r + 142 = 5*l. Suppose v - 3*v + r = 0. Suppose -2*s - 12 = -0*p - p, -5*s - v = -4*p. Does p = 2?
True
Let f = -0.2 - -0.4. Let m(h) = -h**3 - 3*h**2 + 3*h - 4. Let n be 0 - (1 + -1 + 4). Let k be m(n). Which is smaller: f or k?
k
Let z = -718/12105 + 4/269. Is z at least 0.1?
False
Let d(r) = -3*r - 1. Let c be d(3). Let k be 63/(-45) + (-4)/c. Are k and 2/5 nonequal?
True
Let r = 532989/406900 - -1/8138. Let o = -14/25 + r. Is 0 at least o?
False
Let g(s) = s**3 - 5*s**2 + 0*s**3 + 10*s**2. Let j be (-1)/(-4) - 42/8. Let w be g(j). Does -1/2 = w?
False
Suppose z - 2*q = 4*z - 3, q = -5*z - 2. Let o be (0 - -1) + 3/z. Let j = 140 + -703/5. Which is smaller: o or j?
o
Let d(h) = h**2 - 2*h. Let c be d(2). Suppose -j + 4 = -c. Suppose 0 = -0*m + j*m - 4. Is m < 2/11?
False
Suppose -4*u + y = 4*y - 3, 5*u + y = 1. Let h = -0.63 + -0.37. Are u and h unequal?
True
Let m = -36 - -36. Is 1 not equal to m?
True
Let i = -0.03 - -0.13. Let q = 44 + -47. Are q and i equal?
False
Let c(a) = -a. Let q be c(-1). Let n be 0/1 - 6 - 1. Let w be (1/n)/((-2)/6). Is q at most as big as w?
False
Let r be (-65)/(-7) + 2/(-7). Let x(b) = b**3 - 8*b**2 - 10*b + 5. Let j be x(r). Is -0.1 greater than or equal to j?
True
Let j be 1/(-11) - 0/2. Let o(y) = -y**3 + 2*y**2 - y. Let u be o(1). Which is bigger: j or u?
u
Suppose 144 = -5*k + 3*k. Let a = k + 358/5. Is a >= -0.1?
False
Suppose 0 = -2*b - 2*b - 48. Let n be (-10)/(-12) + 6/b. Which is bigger: n or -1?
n
Let d = 0.6 + -0.2. Let x = -0.6 + d. Let q = -0.2 + -0.8. Is q at least x?
False
Let h = 0.7 - 0.4. Let l = h - 0.8. Let x = l - -0.5. Which is greater: -4/3 or x?
x
Suppose 3*y - 15 = -3. Which is bigger: 6 or y?
6
Let y(i) = -i**2 + 9*i + 8. Let k be y(10). Let n = 20 + -62/3. Is k > n?
False
Suppose 2*l = -3*n - 11, l + 12 = 6*n - n. Is -7 less than l?
False
Let h = 0.64 - 0.62. Is 0 <= h?
True
Let i = 7 - -16. Suppose k + 4*j - 14 = 7*j, -2*k + i = -5*j. Let u be 4/9 - 1 - k. Are 1 and u nonequal?
True
Let q be (-3)/15 - 4/5. Suppose l - 2*l = 0. Let t = l - 2. Which is bigger: t or q?
q
Let d(m) = m - 2. Let v be d(0). Let i be (3/4)/(42/(-32)). Which is bigger: i or v?
i
Suppose 0*h + 4*h - 2*b = 6, 0 = -5*h - b + 18. Let x be 1/(-2)*(h - 2). Which is greater: x or -1?
x
Let f be 12/9*9/(-2). Let p be (f + -2)*(-23)/(-6). Let l = 30 + p. Is l less than -2?
False
Let x = -3/7 + -1/14. Let r be 38/8 - (-21)/(-28). Let j be r*((-3)/(-3))/(-2). Which is bigger: j or x?
x
Let m = 29 + -171/7. Which is greater: m or 6?
6
Let m = 17 + -10. Suppose 0 = -4*f - 5*l + 1, l + 4*l = -2*f + 3. Which is smaller: f or m?
f
Let o(u) = u**2 - 2*u - 1. Let c be o(2). Let h = c + 5. Suppose 4*a = -2*m - 11 - 15, 4*a - h = 4*m. Is -4 > a?
False
Let c be (-4)/(-10) - 2/5. Let q be (-6)/(-21) + 33/7. Suppose l + 2 = c, 0*u - q*u + 5 = -5*l. Which is greater: -2 or u?
u
Let y be 33/(-12)*(6 - 2). Let i = y + 8. Let u be (-2)/(-3)*i/(-4). Is 0.3 greater than or equal to u?
False
Suppose -4*f + 5208 = 4*f. Let d = 33199/51 - f. Is 1 < d?
False
Let s = -3 - -17. Suppose -4*x - 2 + s = 0. Suppose -6*a + 2*a = w + 7, x*a + 19 = 2*w. Is -4 equal to a?
False
Let b = 0.2 - 0.1. Let q = 0.23 - -0.37. Is q greater than or equal to b?
True
Let c = 2 + -3. Suppose 0*n = n + 2. Let w be (n/7)/((-6)/(-14)). Is w < c?
False
Let x = -162 + 184. Which is smaller: x or 0.1?
0.1
Let b = 41.7 - 42. Which is smaller: b or -11?
-11
Let k be (1/(-2))/(4/8). Suppose -4*d - 5 = 7*i - 4*i, -6 = 3*d. Which is smaller: k or i?
k
Let h = 0.055 - -0.045. Which is greater: -0.026 or h?
h
Let c = 2 + -1. Let q = 18 - 16. Which is bigger: q or c?
q
Suppose -3*n = -2*n. Suppose 4*p - 2 + 18 = n. Do p and -3 have the same value?
False
Let d be ((-4)/2)/((-2)/11). Which is smaller: d or 12?
d
Let f be 3/(-9) + 5/(30/86). Is f > 51/4?
True
Suppose 5*y = -0*y + 5*w - 25, 2*y = -2*w - 2. Which is smaller: y or -9/4?
y
Let j = -1/9 + -2/9. Let w(v) = v - 4. Let n be w(5). Let p = n - 2. Is j greater than p?
True
Let x be (7 + -8)*(0 - 0). Which is smaller: x or 2/13?
x
Let h be 16/(-6)*2/8. Let w = -2 - -2. Suppose w = c - 6*c. Is h less than c?
True
Suppose 4 = -a + 5*x - 23, -5*a + 4*x - 72 = 0. Which is greater: 0 or a?
0
Let i(z) = 2*z**3 - z**2 + z. Let h be i(1). Let s(l) = -l**2 - 8*l - 6. Let d be s(-7). Which is smaller: d or h?
d
Let n = 0 - -2. Let q be (3/6 + -1)*2. Which is greater: q or n?
n
Let x = 19.1 + -17. Let y = x - 0.1. Let m = y - 1. Is -1 < m?
True
Let w = -15.7 - -16. Is 0.1 != w?
True
Suppose 0 = 3*u, -3*r + 5*u - 4 = -28. Suppose 4 = 9*o - r*o. Suppose k = -o*k. Which is smaller: k or -1?
-1
Let v = -52.9 - -53. Which is smaller: v or 35?
v
Let p be (940 - 3) + -2 + -3. Suppose 5*w - p = w. Let j = w + -1861/8. Which is smaller: j or 1?
j
Let v be 22/(-126) - 4/(-14). Which is greater: 1/3 or v?
1/3
Let x be ((-16)/(-64))/(1/188). Is 49 at least x?
True
Let h(f) = f - 2. Let x be h(3). Let r = 50 + -51. Is x > r?
True
Let r be (-1 - (-50)/52)*1. Which is greater: r or 1?
1
Let m be (-2)/3*(-9)/(-1). Let s = 5 + m. Which is greater: s or -1/2?
-1/2
Suppose 0 = -2*q - 0*q - 2. Is q at least as big as 2/107?
False
Let w(x) = -x**2 + 5. Let c be w(2). Do c and 2/15 have the same value?
False
Let b(u) = -4*u - 1. Let i be b(-1). Suppose 0 = -2*w + 5*w - i. Which is smaller: -2/13 or w?
-2/13
Let u be (1/(-2))/((-2)/60*3). Which is smaller: u or 10?
u
Let g be (1 - 4) + 5/1. Let n(w) = 10*w**2 - 6*w + 9 - w**3 - g*w - 4*w + 2*w. Let t be n(9). Is -2/9 smaller than t?
True
Let n(t) = -2*t - 1. Let y be n(-3). Let g be (-4)/(-10) + (-2)/y. Let k = -275/2 + 137. Which is smaller: k or g?
k
Suppose 3*u = -2*u + 10. Which is smaller: -1/3 or u?
-1/3
Let n(a) = -a**2 - 5*a - 3. Let k(d) = -5*d**2 - 2*d - 1. Let g be k(-1). Let z be n(g). Suppose -4*l + 12 = 4*s, 3*l - 23 + 6 = s. Which is bigger: z or s?
z
Let j = 191 + -191. Let g(f) = f - 5. Let d be g(4). Let q be (-1)/((0 + 1)*d). Which is bigger: q or j?
q
Let f = -10 - -14. Let m(l) = l**3 - 4*l**2. Let w be m(f). Suppose 5*g + 2*i = 8, w = 2*g - 2*i - 2*i + 16. Is 2 greater than g?
True
Let h be 1 + 3/(-6)*2. Suppose -j + h = -3. Which is smaller: j or -0.1?
-0.1
Let n = -17 + 26. Do n and 11 have the same value?
False
Let m = -135 - -62. Which is bigger: m or 1?
1
Let q = -13 + 7. Let f = q + 7. Let i = f + -0.9. Is 0.1 greater than or equal to i?
True
Let a = -2 - 4. Is a > -0.1?
False
Let b = 4 + -4. Let o be (-2)/(b + (2 - 4)). Let f = 0 - 1. Is o equal to f?
False
Let f = -68/11 + 1998/341. Let z = f + -115/124. Is z less than -2?
False
Let m = -23.1 - -27. Let h = m - 4. Is -2/9 != h?
True
Let f = 49 + -30. Are f and 19 equal?
True
Let n be 2*1 - (-1 + -1). Let p be n/(-18) - 11/(-9). Let w = 17 + -15. Is w >= p?
True
Let p(w) = w**3 + 5*w**2 - 5*w + 8. Let g be p(-6). Suppose -t + g = -2*t. Are t and -5 nonequal?
True
Let d = -36 - -36.3. Which is greater: d or 0.01?
d
Let w = -7 - -7. Which is smaller: w or 2/7?
w
Let r be -1 - 2/(-1 - 3). Which is bigger: -1.9 or r?
r
Let t(y) = y**2 - 7*y - 3. Let a be t(9). Suppose a = -0*h - 5*h. Which is smaller: -1 or h?
h
Let a = -5101/2350 - -54/25. Which is bigger: -1 or a?
a
Let g = 733/7 - 105. Is g at least 2/3?
False
Let