(-1 + -2 + 3). Is m at most as big as c?
True
Let x(o) = 2*o + 1. Let m be x(4). Let l be 51/m + 4/(-6). Suppose c + 5*i = 19, -2*c = -0*i - i - l. Which is smaller: 3 or c?
3
Let m be -1*(-15)/(-9) + 1. Let z = -0.5 + 0.5. Let t = -1 + z. Which is smaller: t or m?
t
Let c = -0.06 + 1.86. Let n = c + -1.6. Let p = -3 + 2. Which is smaller: p or n?
p
Let g be 1/4 - 60/48. Let s be (-4)/(-6)*(-3)/5. Which is greater: s or g?
s
Let u(i) = -5*i - 2. Let s be u(-1). Is 4 bigger than s?
True
Let l = 1 + -2. Let g = -47 - -45. Is g at least as big as l?
False
Suppose 3*s - 16 = -r, 5*s - 2 = 23. Which is greater: r or -2/5?
r
Let n be (2/(-12))/((-6)/12). Which is greater: n or 2?
2
Let t(s) = -s + 2. Let z be t(2). Let o(c) = -3*c + 15. Let q be o(5). Is z bigger than q?
False
Suppose -4 = z + 4. Let g be (4 + 26/z)/6. Suppose 2*r - r = -4*t - 5, 2*r - 2 = 4*t. Which is smaller: g or r?
r
Let d be 4/(-18) + 1685/9. Let s = -1499/8 + d. Suppose -287*z = -286*z - 1. Which is greater: s or z?
z
Let h be (-1)/2*2/(-1). Suppose r - 2*r + h = 0. Which is smaller: r or -5/3?
-5/3
Suppose 6 = 4*w + h, -h - h = -4. Is w >= 2?
False
Let w = -62 - -63. Which is bigger: w or -1.5?
w
Suppose -x = 4*c - 5, x = -x + 4*c - 14. Is -11/3 smaller than x?
True
Let r = -2 - -4. Suppose 6 + 0 = 3*f. Let s be -1*1*r/f. Is s smaller than -1?
False
Let g(w) = -4*w + 28. Let z be g(13). Is 1/2 <= z?
False
Let w = 2 + 0. Which is greater: w or -0.2?
w
Let t(v) = -4*v**2 + 2*v + 5. Let p be t(-4). Let c = p - -537/8. Which is smaller: -1 or c?
-1
Let g be (4/3)/(376/12). Which is bigger: 1 or g?
1
Let m = -2510 - -10119/4. Let w = m - 20. Are -1 and w non-equal?
True
Let h = 45 + -30. Are h and 13 nonequal?
True
Let p = 4.6 + 1.4. Which is smaller: p or 0.1?
0.1
Suppose -41*a - 2 = -39*a. Which is smaller: a or -20?
-20
Suppose 0 = -8*z + z + 42. Let i be (-40)/(-336) - 2/z. Which is smaller: -1 or i?
-1
Let w = 3/11 - -5/22. Which is smaller: w or 17?
w
Suppose -5 = -i - 4*i. Let n(x) = -1 + 0 + i - x - 1. Let m be n(0). Is m at least as big as -1?
True
Let f(i) = -i + 12. Let q be f(-13). Is 24 bigger than q?
False
Let m(n) = n + 1. Let j be m(5). Let s be -2 + 0 - j/(-4). Is -6 > s?
False
Let f = 1.3 + -0.6. Are f and -1 nonequal?
True
Let n = -11 - -12. Let k be n + -4 - 19/(-6). Does k = -1?
False
Let j = 0.022 + 0.388. Let l = j + -0.21. Let a be (-3)/(-8)*6/9. Which is smaller: l or a?
l
Let z(k) = k**3 + 4*k**2 - 4*k + 2. Let w be z(2). Suppose 3*c = -2*f - 8, 3*f - w = 4*f - 2*c. Let t be (-4)/(-2)*2/f. Is t at most as big as -1?
False
Let t(h) = 4*h + 28. Let u be t(-7). Which is bigger: -1/73 or u?
u
Let d = 166.93 + -166. Let g = 0.07 + d. Which is smaller: 0.4 or g?
0.4
Let i(u) = u**3 - u**2 + u + 547. Let l be i(0). Let z = -27895/51 + l. Let a = 55/102 - z. Are 2 and a unequal?
True
Suppose 2*w = 21 - 1. Which is bigger: w or 8?
w
Let s be 1 - (0/2)/1. Let c be (-6)/(-30) + (-229)/1245. Let l = -550/3237 + c. Is l < s?
True
Suppose -q + 3*q = 0. Is -2/27 less than or equal to q?
True
Let b = 1379/170 + -67/10. Is b less than or equal to 2?
True
Let d = -6 - -6.3. Let u = -2.8 + 3. Let k = u - d. Which is greater: 0 or k?
0
Suppose 0 = -5*q - 1 + 36. Let r be 4/7 + (-15)/(-35) - -5. Which is bigger: q or r?
q
Suppose -2*c - 108 = -4*c. Let h be 2/3*c/12. Suppose a - h*s + 7 + 2 = 0, -3*a - s = -13. Which is smaller: 4 or a?
a
Suppose -t - 3 = -4. Are 1/5 and t nonequal?
True
Let m = -3 + 5. Let h = -27 - -28. Are h and m unequal?
True
Suppose -9*x + 5*x = 92. Is x not equal to -24?
True
Let o = 1/59 + -770/177. Which is smaller: o or -4?
o
Suppose -5 - 4 = -9*f. Which is smaller: f or 1/2?
1/2
Suppose 4 = 4*p - 8, -4*p + 8 = -4*k. Let m be 2/(-2) + (k - -2). Let o be (0/m)/1 - -3. Which is smaller: o or 2?
2
Let t be 594/1638 + (-4)/14. Is 1 at most t?
False
Let u be (10/(-75))/((-54)/10). Which is smaller: 0 or u?
0
Suppose 0*m = 2*m - 2*z - 8, 0 = -5*m + 3*z + 28. Suppose -b - m = b. Which is greater: -2 or b?
-2
Let h = 19 + -17. Which is smaller: h or 1?
1
Let i be (32/(-20))/(2/(-5)). Suppose 2*h + 1 = -v, -4*v + 2*h - i = -2*h. Let g = -0.2 + 0.2. Is v > g?
False
Suppose -5*z - 56 = -2*k, -5*z = 4*k - z - 56. Let v be k/16*(-4)/(-24). Is -1 bigger than v?
False
Let l = -2 + 2.1. Is -0.044 less than l?
True
Let s(y) = -2*y**3 - 3*y**2 - y - 1. Let m be s(-3). Is m bigger than 28?
True
Let i = 0.07 - -0.03. Let q = 7.4 + -1.4. Let f = q + -4. Is f not equal to i?
True
Let o be (-42)/(-189)*15/2. Let w = 2 - 1. Is o <= w?
False
Suppose -3*u + 0*u - 6 = 0. Suppose -6*b - 9 = -3*b. Is b equal to u?
False
Let w = -28 - -23. Which is smaller: -2/7 or w?
w
Let q = -42 + 29. Let o = 12 + q. Are o and -1 non-equal?
False
Let x(o) = 4*o - 33. Let p(c) = -c + 8. Let t(a) = -9*p(a) - 2*x(a). Let f be t(6). Which is greater: -0.4 or f?
f
Suppose 0*j - 5*j = 10. Do j and 0.1 have different values?
True
Suppose 2*g - 5*s - 1 - 29 = 0, -3*g + 4*s = -45. Suppose -5 = 5*q - g. Let w be ((-4)/q)/(-1 - 1). Is w at most 2?
True
Let m = 0.48 - -1.52. Which is greater: m or -0.3?
m
Let p = 34 - 42. Let y = -19 - -13. Let v = p - y. Which is smaller: 0 or v?
v
Let h be (-16)/(-6)*(-12)/8. Which is smaller: h or -1?
h
Let a = 3353/9 - 373. Suppose 2*i - 6 = -2. Suppose x = i*x. Which is greater: a or x?
x
Let w(a) = a + 1. Let t be w(2). Suppose -4*k - 12 = 5*q, t*k = 8*k + 15. Suppose 5*v = 2*p - 15, -4*p - 4*v - 1 - 11 = 0. Is q at most as big as p?
True
Suppose -22 + 0 = 2*d + 5*f, 2*f + 7 = d. Let l(o) = 4*o + 2. Let n be l(2). Suppose -3*w = 2*w - n. Which is bigger: w or d?
w
Suppose 0 = -4*n + 8 - 44. Which is smaller: n or -8?
n
Let z = -133 - -134. Which is smaller: z or -4/43?
-4/43
Let g(a) = -a + 2. Let d be g(2). Let h = 0 - d. Is h <= 1/2?
True
Let b be 14 + -16 + 1/1. Is b at most as big as -1.1?
False
Let t be 2/(2 + (-132)/62). Let x = t - -15. Let g = -2.98 - 0.02. Which is bigger: g or x?
x
Let z = 0.1 - -1.3. Let p = -0.7 + z. Let h = p + -0.8. Is 3 smaller than h?
False
Let c(y) = -2*y**2 - 9*y + 1. Let m be c(-5). Let b be -1 - (-6)/(-4)*2. Is m < b?
False
Let o(k) = -6*k + 42. Let u be o(11). Is u at most -23?
True
Let o = 6.13 - 7.2. Let p = -0.103 - -1.103. Let b = o + p. Is -2/7 >= b?
False
Let t = -339813/245 + 1387. Which is greater: t or 1?
1
Suppose -51 = -9*q + 10*q. Is -53 bigger than q?
False
Let o = 4/49 + -85/441. Let s(k) = 5*k**3 - k**2 - 15*k - 1. Let q(l) = 3*l**3 - 8*l. Let u(c) = -7*q(c) + 4*s(c). Let h be u(-3). Is o at least h?
True
Suppose 6 = -0*z - z. Let w be -2 - z - (-1)/(-1). Suppose g - 3*a + 19 = -w*g, 2*a = -g - 2. Is -4 != g?
False
Let j = 16.1 + -16. Let u be (3/6)/(3/(-9)). Which is greater: j or u?
j
Let r be 2 - (-12)/(-1 + 3). Suppose k - 5*k = r. Let x = k - -1. Is x at most as big as 1/7?
True
Let r be 10/(-45) - (-6)/(-9). Let n = -67/45 - r. Let k(j) = 2*j + 2. Let y be k(-2). Which is smaller: n or y?
y
Let i = 26911/24 - 1122. Let x = 3/8 + i. Is -2/7 smaller than x?
False
Suppose 3*p - 27 = -3*h, 3 = -5*p - 2*h + 33. Which is bigger: p or 6?
6
Let g be 8 + (-2 - -4) + -3. Is 35/6 less than or equal to g?
True
Suppose 2*z - 483 = -z. Let u = z + -1447/9. Let y(w) = w**2 - 2*w - 4. Let r be y(3). Is u equal to r?
False
Let r = -0.62 + 0.42. Is 1/10 smaller than r?
False
Let a = -3 - -2. Let x = -0.03 + -0.37. Which is bigger: x or a?
x
Let j = -0.037 - -0.137. Let i = 6 - 8. Does j = i?
False
Suppose -3*s - 20 - 73 = 0. Which is bigger: s or -30?
-30
Let d = -0.27 + 0.38. Let g = d - 4.11. Do -0.1 and g have the same value?
False
Let b = 1.584 - -0.386. Let f = b - -0.03. Are f and 2 non-equal?
False
Let q(c) = -c**2 + 7. Let t be q(-3). Let x = -1.14 + -0.16. Let n = -0.3 - x. Is t at most n?
True
Let r(w) = -w + 2. Let p be r(-4). Suppose 0 = 4*x - 7*x + p. Let f = x - 7. Which is smaller: f or -6?
-6
Suppose 0*d - 4*d - 8 = 0. Let n be (2 - 1)/(d/(-2)). Do -1/3 and n have different values?
True
Let b(u) = 28*u + 4. Let q be b(-5). Let t be q/288 + (-2)/(-9). Is t at least as big as -17?
True
Let a = -2 + -3. Let k = 5 - 1. Let j = a + k. Is j < -0.2?
True
Let l = 1.8 - -0.2. Let z = 1.7 - l. Let m = z + 0.4. Is -4 at most as big as m?
True
Let w(a) = a**2 - 6*a + 8. Let i be w(6). Let v be i/28 + 8/(-14). Let c