e
Let t be 8/(-6) - -1 - (-164)/246. Which is smaller: -0.034 or t?
-0.034
Let w be (-27)/21 + (-2)/(-7). Let m be (-2 - -1*2)*w. Let d be 5/18 - (-6)/(-12). Is m greater than or equal to d?
True
Let s be (-4 + 0)*3/(-138). Which is smaller: 0.2 or s?
s
Let a(l) = 4*l + 13. Let w be a(-1). Are 10 and w equal?
False
Let s be (-20)/(-15)*(-6)/4. Is s smaller than -1/2?
True
Let z = 52633363/86886655 + 1/100447. Let x = 1/173 - z. Which is bigger: 0 or x?
0
Let n be 8*(-2 + 1) - -4. Which is greater: -2 or n?
-2
Suppose 5*m = 3*u + 1 - 11, -3*u = 3*m + 6. Is m > -2?
False
Let b = -48 + 47.9. Is b <= 5?
True
Let g(k) = -k**2 + 4*k - 1. Let a be g(4). Which is smaller: a or 15?
a
Let k = 32 + -48. Is 0 smaller than k?
False
Let g be 8/10*(-25)/(-2)*4. Is -1 < g?
True
Suppose m - f = 4, -3*m + f + 6 = -0*m. Which is greater: 2/23 or m?
m
Let h = 23 + -12. Let u = h - 11. Which is smaller: u or -1/11?
-1/11
Let h = 118.4 + -118. Which is bigger: h or -2/3?
h
Let x = 5.9 + 0.1. Let w = -19/84 + -1/42. Which is smaller: w or x?
w
Let z be (-15)/20 - (0 + -1). Suppose i = -0*i. Is z at most as big as i?
False
Suppose 26 = -2*s + 5*u - 3*u, -5*u = 4*s + 52. Which is bigger: -14 or s?
s
Suppose -33 = 3*c - 4*c - 3*d, d = -2*c + 66. Which is greater: 34 or c?
34
Let p = -19.28 + 0.28. Let n = 20 + p. Are n and 2/3 unequal?
True
Let a = 12 + 10. Let h = a + -45. Do h and 1 have different values?
True
Let z = 15 - 9. Let p = 9 - z. Is p at most -2?
False
Let c = 4 + -1. Suppose 0 = -s + c*s. Suppose -a - 5*k + 2*k - 15 = 0, -4*a + 4*k + 4 = s. Which is greater: -4 or a?
a
Suppose -4 = 2*s - 3*s, -5*z + 2*s - 153 = 0. Let n = -51 - z. Let d be (-12)/(-18) + n/24. Which is bigger: d or 0?
0
Let a = 705 - 62742/89. Is 1 <= a?
False
Suppose 0 = 5*u - 35 + 5. Is 6 greater than or equal to u?
True
Let s = 0.03 + -0.03. Let m = s + 0.04. Let j = -1.04 + m. Is 1 <= j?
False
Let d(q) = -2*q - 12. Let o be d(-9). Suppose o*g - 2*g = -4*m, -m - 4 = 5*g. Is m at most as big as 1/11?
False
Let s = 0.3 - 0.5. Is -4 less than s?
True
Let y be 15*2/3*1. Is y at most 6?
False
Let z = 0.22 - -0.78. Let f = -4.92 - 0.08. Let p = f - -5.1. Which is greater: z or p?
z
Suppose 4*c + c = 0. Suppose 2*o - n = 3*o + 3, -n - 11 = 5*o. Let t be (-14)/6 - o - -1. Is c >= t?
False
Suppose g = 2*g - 4. Let j be 9/5 - g/2. Let i be 1*(26/(-10) + 3). Are i and j non-equal?
True
Let t be ((-4)/30)/((-2)/(-6)). Suppose j = 2 + 3. Suppose 0 = -3*r + 4*b - 12 - j, 4*r - b = -1. Is t equal to r?
False
Let x be (3 + -1)/(0 - -2). Is 6/29 at least as big as x?
False
Suppose -4*f + 0*b + b = 1, 2*f + 5*b - 5 = 0. Suppose -z + 2*s - 9 = 0, f = -2*z - z + 4*s - 17. Is z less than -2/17?
False
Suppose -2*r = 3*m + 31, 2*r + m = -12 - 21. Let q = r - -17. Which is bigger: q or 2/25?
2/25
Suppose 0 = -l - 2*l. Suppose 3*a + 3*g + 27 = -l*g, -5*a - 21 = -g. Which is greater: -2 or a?
-2
Suppose 2*l - 9 = 5*l. Is l smaller than -3?
False
Let a = -0.06 + 0.05. Let b = a + -0.99. Which is smaller: -2/9 or b?
b
Let f be (-3 + 2)*(-6 + -25). Which is smaller: f or 32?
f
Suppose y + s = 18, -y = 5*s - 13 - 1. Which is greater: y or 16?
y
Suppose -t + 0*t + 6 = 0. Suppose l + 0*l = t. Which is smaller: 3 or l?
3
Let r = -40 + 39. Let d = -347 - -5901/17. Is d <= r?
False
Let r = -57 - -56. Which is greater: r or -8?
r
Let i be 1/2 + (-61)/(-114) - 1. Which is bigger: 0 or i?
i
Let m = 11 - 6. Suppose -77 = -m*f - 0*f - 4*s, -2*s - 59 = -5*f. Let k = -10 + f. Which is greater: k or 4?
4
Suppose -5*s = -4*s, 0 = 2*o - 4*s. Let j be ((-8)/6)/(2/(-3)). Let y be 0/(-7) - 1/j. Is o <= y?
False
Let k be 2 + (-4)/(-8)*4. Suppose 5 = k*m + z, 2*m + 2*z - 10 = -m. Does m = -7?
False
Let r be (4/(-12))/(((-6)/(-9))/2). Which is greater: r or -3/8?
-3/8
Let l(g) = -2*g - 7. Let j be l(-5). Suppose n = -3*r - 5, -13 - 2 = 2*r + j*n. Let m be (1 + r)/(-1 - -2). Which is smaller: m or -0.1?
-0.1
Let g(j) = -j**3 + 2*j**2 + j - 1. Let z be g(2). Let v(m) = z - m - 6 + 4. Let w be v(1). Which is bigger: w or -1?
-1
Let h = -7.1 - -7. Let p = -0.1 + 0.1. Let w = -0.2 + p. Which is smaller: h or w?
w
Let u be 4/16 - 10/8. Let r = 3 - 13/4. Which is smaller: r or u?
u
Suppose 37*k = 32*k + 70. Which is bigger: k or -3?
k
Let c be (6/(-9))/(1/3). Let n be (2 + -1)/(-2)*c. Let i be 0 + (-2 + 6)*n. Is -1 bigger than i?
False
Let z(j) = j**2 + 9*j - 91. Let n be z(-15). Suppose y + 3*y = -12. Which is smaller: y or n?
y
Suppose 3*c = -0 + 3. Let b be ((-24)/20)/(6/(-20)). Suppose b*s + 5 = 1. Are s and c nonequal?
True
Let m(v) = v**2 + v + 6. Let s be m(0). Suppose 7*n - 9*n = -10. Is n smaller than s?
True
Let h be 100/(-45) - 2/(-9). Let z = h + 4. Let i be 0/z - (-6 - -3). Is i not equal to 2?
True
Let n be (-6)/8 - 7/(-4). Suppose 5*t + 2*i = -i + 3, -4*i = -2*t - 4. Which is smaller: t or n?
t
Let b be (-3)/2 - (-23)/10. Are 0 and b non-equal?
True
Let b = -67 + 36. Which is smaller: b or -29?
b
Let v = -7.9 - -9. Let r = 0.9 + v. Let d = r + -6. Which is greater: -0.1 or d?
-0.1
Suppose -2*t + 3*t = -m + 5, 0 = 3*t + 5*m - 25. Which is smaller: 4/3 or t?
t
Let t = 416/301 + 2/43. Is t at most 0?
False
Suppose 3*t = 4*t + 6. Which is smaller: -23/5 or t?
t
Suppose -3*i + 4*m - 27 = -0*i, 31 = -5*i + 2*m. Is -6 bigger than i?
False
Let z be -5*((-16)/(-10) - 2). Suppose -2*l - z = -8. Suppose -l*x = -x. Is -1/2 at most as big as x?
True
Let w be 8 - 9 - (-5)/9. Let s(n) = n**3 + 6*n**2 - 7*n. Let l be s(-7). Which is smaller: w or l?
w
Let n = 13 - 23. Is -9 less than or equal to n?
False
Let c(b) = -3*b - 22. Let r be c(-9). Suppose -4*g - 12 = 0, -23 = 4*q + r*g + 8. Is q at most as big as -4?
True
Let p be 4/6 + 24/(-63). Let m = 84 - 505/6. Which is smaller: p or m?
m
Let i be 2/2 + 0/(-6). Is i at most 2?
True
Let x be (-200)/14 + -1 + (-27)/(-21). Is -12 less than or equal to x?
False
Let y(b) = 4*b + 8. Let u be y(-4). Is u less than -8?
False
Let o = -3 + 6. Suppose 0 = -7*f + o*f. Which is bigger: f or -3/4?
f
Let z = -679/3 - -237. Is z at least 12?
False
Let f be (1/2)/(2/(-12)). Is f at most -0.2?
True
Let x = -65 + 67. Which is smaller: 30/13 or x?
x
Let l = -12.2 - -12. Which is bigger: l or 5?
5
Let x = 13 - 12. Is x > -2?
True
Let f = -0.44 - -0.68. Which is greater: f or 0?
f
Let y = -14 + 7. Let n be (-1)/(y/(-11)) + 2. Which is smaller: n or -1?
-1
Let i(d) = -2*d**3 + d**3 + 3 + 2*d - 3*d + 4*d**2. Let x be i(4). Is -2/11 equal to x?
False
Suppose -4 = -0*z - 4*z. Suppose z = 4*n + 5. Is n greater than -1/14?
False
Let p(i) = 2*i**3 + i**2 - 4*i**2 + 5*i - 3*i**3 + 5. Let z be p(-4). Let d = -2/77 + -20/77. Which is bigger: d or z?
z
Let j = -1 - -5. Let u be -2 - 5 - (-6)/6. Let a be 4/2 + u/2. Is a at most as big as j?
True
Let z(d) = d - 3. Let j be z(11). Suppose -7 = -3*v + j. Suppose 0 = -v*g - 4*o + 27, 24 = 5*g - 2*o + 5*o. Which is greater: g or 5/3?
g
Let c be 266/13 + 1 + -1. Let y = -24052/1131 + c. Let w = 4/29 + y. Are 0.1 and w non-equal?
True
Let t = -1.7 + 2.2. Which is smaller: 0.1 or t?
0.1
Let k = -148.5 + 148. Are k and 0.2 unequal?
True
Let z = 4 - 4. Let o be z + ((-8)/6 - -1). Is o < 1?
True
Let f = -6 - -7. Let p be ((-2)/(2 + -3))/f. Is p at most as big as 1?
False
Suppose 9 = -0*g + 3*g. Suppose 6*u = -4*i + g*u + 21, -5*i + 24 = 3*u. Suppose r + 22 = -0*r - 5*p, -r - i*p = 12. Which is smaller: r or 0?
0
Let a be (-1*1 - -4) + 377/(-174). Which is greater: 1 or a?
1
Let d = -0.3 - -0.5. Let u = -7 - -7.3. Let a = u - d. Is a != 1?
True
Suppose u - 12 = -3*u - 5*f, 2 = u + f. Let v be (0/(-1))/u - -2. Let r = -0.1 + 0.3. Which is smaller: r or v?
r
Let v be -3*(8/12 + 0). Let t = 11 - 6. Suppose 2 = -4*g + 6*g + 2*a, -g + t = 3*a. Is g less than v?
False
Let k(c) = c**3 - 3*c**2 + 2*c + 1. Suppose -2*p = 3*p - 10. Let w be k(p). Let r(g) = -g - 3. Let h be r(-4). Is w less than or equal to h?
True
Let o = -47/5 - -507/55. Which is bigger: o or -1?
o
Let d(v) = 2*v**2 + 5*v. Let l(m) = 5*m**2 + 11*m - 1. Let h(i) = 9*d(i) - 4*l(i). Let o be h(2). Is o at most as big as -2?
True
Suppose -4*j = j - 20. Suppose 0 = -2*q - 3*m - 15, 0 = 5*q - q + j*m + 20. Are q and 0 non-equal?
False
Let z = -5 - -11. Let o = 6 - z. Is -0.2 not equal to o?
True
Let u = 2.01 + -0.01. Let q = 5 - 4. 