han or equal to 0.6?
True
Let l = -871/12 + 319/4. Let a = l + -467/66. Let u = 3 + -4. Which is bigger: a or u?
a
Let s(o) = -o**3 - 4*o**2. Suppose r - 4 = 2*r. Let g be s(r). Let v = -140 + 982/7. Which is bigger: g or v?
v
Let t(b) = -3*b**2 + 3*b - 1. Let x be t(-4). Let o be x/(-7) - 2/(-7). Which is smaller: 8 or o?
8
Let a = 1 - 2. Suppose -5*m - 15 = 2*q - 4, -4*q - 3*m - 1 = 0. Suppose -q*y = y. Do y and a have different values?
True
Let x(c) = -c**3 - 5*c**2 + 7*c + 5. Let w be x(-6). Let q be 921/(-180) + 6 - (-6)/(-8). Is w at most as big as q?
True
Let r = 7 - 13. Which is smaller: r or -23/4?
r
Let f = 139/1615 + 3/95. Is f at most as big as -1?
False
Suppose -2*q = q + 9. Let k be q/(-12)*(-40)/(-22). Which is greater: -1 or k?
k
Let j(o) = -o + 8. Let y be j(7). Let n be ((-6)/(-18))/(y/3). Which is smaller: n or -2/45?
-2/45
Let n(r) = -3*r - 4. Suppose 2*o + 5*q - 17 = 0, 3*o + 0*q + 17 = q. Let s(f) = 2*f + 4. Let i(d) = o*s(d) - 3*n(d). Let m be i(3). Which is smaller: m or -2?
-2
Suppose 2*o - 2*b = 8, o + 16 = 2*o - 4*b. Suppose 3*k + k - 24 = o. Let j be (2/k)/((-2)/(-30)). Is 3 < j?
True
Let g be (1 + (-3)/6)*6/(-3). Are -9/8 and g nonequal?
True
Let f = -0.027 - -0.017. Do 1/4 and f have the same value?
False
Let q = 5 - 8. Let d = 3 - q. Is 4 > d?
False
Let r be 2719/35 - 2/7. Let d = r + -77. Let c = -3 - -2. Which is bigger: c or d?
d
Let b(k) = -2*k**2 + 28*k. Let l be b(14). Let g be (-8)/26*(-1)/(-2). Is g >= l?
False
Suppose -5*c = 31 - 36. Is 2/5 at most c?
True
Let c = 36 - 106/3. Let v = -339037/4731 - 6/1577. Let n = v - -71. Is c at least as big as n?
True
Let x = -4 + 8. Suppose -b - 4*m - 20 = -0*m, -x*b - m = 5. Let z = 150 - 2548/17. Is z at least as big as b?
True
Let t = -29 - -21. Let u be (2/t)/(2 - 4). Is -1 > u?
False
Suppose -5 = -5*k, -7*k + 2*k + 1 = -f. Is f > 18/7?
True
Let n be -3 - (0 - 18/4). Suppose 0 = -3*t + 1 + 2. Let g = n - t. Is g >= 2?
False
Let o be (-1828)/36 - (-5)/(45/(-2)). Which is bigger: o or 2/5?
2/5
Let x be 4/(-306) + (-7 - (-366)/54). Suppose 0 = -2*r - 2 - 0. Which is greater: x or r?
x
Let g = 7 + -8. Let w be 6/(-14)*g/(-6). Which is smaller: w or 0?
w
Let v be (-7)/28 - 63/(-12). Suppose 4*y + 8 = -n, 8 = v*y - 3*n + 1. Which is smaller: -5 or y?
-5
Let d(l) = -2*l**2 - 19*l - 7. Let h be d(-9). Is 3/5 >= h?
False
Suppose 5*p - 14 + 4 = 0. Which is smaller: p or 1?
1
Let b = -5 - -4.6. Let x = b - -1. Is x less than or equal to -2/5?
False
Let w = 5 + -6. Suppose 16 = 5*g - 734. Let u be 24/g*(-10)/4. Is u at least w?
True
Let i = 3 + -2. Suppose -9 = -23*p + 37. Is i != p?
True
Let g be 2/(-4*2/(-12)). Let u = g + -5. Let k be -3 + 3 - 0/1. Is u != k?
True
Let s(r) = r + 2*r**2 + 1 - 4*r - r**2. Let n be s(3). Is 1/7 greater than n?
False
Let g be (3 + -3)/4 + 10. Suppose 0 = -h + 2*f + 10, 4*h - g = f + f. Let d be (-1)/2 + 9/15. Which is smaller: h or d?
h
Let a = -6 - -6. Is a > 2/21?
False
Let g be 38/(-14) + (-4)/14. Which is greater: -13/5 or g?
-13/5
Suppose 2*p - a + 5*a - 2 = 0, -7 = p - 2*a. Let d be 0/(1*(-1 - -2)). Suppose d = -r - 5. Which is greater: r or p?
p
Let m = -0.7 + 0.7. Let v = -1 + m. Let g = v + 1. Which is greater: -3 or g?
g
Let q = -6 - -10. Is 20/7 <= q?
True
Let b be 4/(-1 + -4 + 16). Which is smaller: b or 0.2?
0.2
Let j be (-4 - -10)*2/3. Suppose 0 = -4*u - j*w + 36, 3*u = 4*w + 1 - 9. Which is greater: u or 2?
u
Let v = -0.83 + -0.27. Which is smaller: v or -0.2?
v
Let m(o) = -o**3 + 4*o**2 - 3*o. Let z be m(2). Suppose 0 = -x - 3, 2*j + z*x = -2*x - 4. Let v be (-1)/j - 6/(-24). Which is greater: v or 1?
1
Let c = -0.1 + 0.3. Is c smaller than 1.8?
True
Let c = -6 + 11. Is 0 < c?
True
Let i(t) = -t**2 - 6*t. Let b be 66/(-14) - (-4)/(-14). Let y be i(b). Suppose 2*u = -y*g - 12, u + 2 + 9 = -5*g. Is u less than or equal to -1/6?
True
Let t be 8/10*(1 + 4). Suppose -6*j = 3*y - j - 10, -j + 4 = y. Is y at most as big as t?
False
Let x be 1 + 0*(-2)/6. Let v be x/(-1 - (-39)/36). Let a be (v/(-63))/(18/21). Is a equal to -2?
False
Let o(f) = -f + 2. Let b be o(5). Let c = 4 - b. Let w = 0 - c. Which is greater: -0.1 or w?
-0.1
Let z = 493 - 7891/16. Which is smaller: 1 or z?
z
Let i = -58 - -31. Which is greater: i or 0.1?
0.1
Let h = -22.9 - -24. Let t = h + -1. Suppose -o - 1 = -2*o. Is o <= t?
False
Let q = -7 - -5. Let o be 1*1/q*2. Which is smaller: o or -3?
-3
Suppose g + u - 7 = 0, 2*g + 0*g - 3*u - 4 = 0. Let s be (-17)/33 + g/15. Which is greater: 2 or s?
2
Suppose -11 = 5*o + 34. Which is smaller: -3 or o?
o
Let k be (1/1)/(2/(-2)). Let h be -4 + k + 2 + 2. Which is smaller: h or -3/11?
h
Let y(m) = -m**3 + m**2. Let q be y(0). Let g be ((-8)/30 - q)*-2. Let j = g - -2/15. Which is smaller: -2/3 or j?
-2/3
Suppose -5*x = -4*s + 21, -2 = -x - 2*s + 5. Let y = 10/17 - 43/102. Do x and y have different values?
True
Let v = -41 + 50. Which is smaller: v or 12?
v
Suppose 12 = -5*z + z. Let s = 1/21 + -65/42. Is z less than s?
True
Let a = 27733/98 - 283. Let p = a + 493/294. Is 3 at least as big as p?
True
Suppose 0 = -10*a + 14*a + 88. Is -22 smaller than a?
False
Let x be 1 - -2 - 0/(-2). Let t(j) = j**3 - 3*j**2 + j. Let g be t(3). Is g smaller than x?
False
Let k = 17 - 63. Let c be k/8 + (-3)/12. Let a be (-16)/12 + (-2)/c. Is a at least as big as 1?
False
Suppose -5*p = -4*p. Suppose p = -4*h + 4*k - 12, 8 = 4*h - 2*k + 3*k. Which is smaller: -2/9 or h?
-2/9
Suppose -8*p = -9 + 1. Is -6 less than p?
True
Let q = -32/141 - -50/141. Is q > 1?
False
Let x(c) = -c**3 + 7*c**2 + 9*c - 2. Let w be x(8). Let d be (-5)/(-15)*w/(-2). Is -2/11 > d?
True
Let z = -24.3 - -2.3. Let y = 19 + z. Is 0.1 greater than or equal to y?
True
Let a be 1/3 + (-57)/9. Let b be (-8)/a*9/6. Suppose 2*l - 4*h + 14 = 3*l, 4 = -l + 2*h. Does l = b?
True
Let i(l) = -l**3 + 9*l**2 - 6*l - 18. Let p be i(8). Let h be (-4)/(-6) + 120/9. Let z be (-6)/21 + 4/h. Are p and z non-equal?
True
Let s = 3 + -9. Let v = -21 + 20. Which is smaller: s or v?
s
Let o be ((-4)/(-6))/(10/(-15)). Suppose 7*m - 38 = 3*m + 2*r, 0 = 4*m - 3*r - 33. Which is smaller: m or o?
o
Suppose r = -6 - 5. Are 0.2 and r unequal?
True
Suppose 5*k = -1 + 6. Let q = -3 + 3. Suppose q*p = p. Which is smaller: p or k?
p
Let s = 3 + -2. Let f = 5 + -9. Let d = 5 + f. Is s at most d?
True
Let y(a) = a**3 - 3*a**2 + 3*a - 1. Let o be y(2). Let f be (4/(-12))/((-2)/4). Is f != o?
True
Let o be (-4)/2 - (-11 + 5). Let a = o + -3/2. Let j = a + -2. Is 1 less than or equal to j?
False
Suppose 0 = 4*f - 5*f - 3*s + 3, -3*f = 4*s - 9. Suppose f*r + 6 = 3*j - 15, -2*r - 10 = -j. Suppose p = j*g + 4, 2 = -0*p - 4*p - 2*g. Is -1/6 bigger than p?
False
Suppose 20 - 16 = 4*v. Which is greater: -1/25 or v?
v
Let w be 3 + (-1 - (-80)/(-36)). Which is smaller: w or -6?
-6
Let t = 12 + -12. Is t less than or equal to 2/3?
True
Suppose -5*c - 91 - 109 = 0. Let y be (-14)/c + (-4)/(-10). Do 0.1 and y have the same value?
False
Suppose 5*j = 2*j + 2*v - 7, -2*j - 6 = -2*v. Which is bigger: -7/3 or j?
j
Let g = -2697/5005 - 3/455. Which is smaller: -1 or g?
-1
Let b(v) = -3*v + 10. Let z be b(8). Which is smaller: z or -13?
z
Let i(o) = o - 9. Let t be i(4). Let c be -4*(-3)/(-18) + 0. Which is bigger: c or t?
c
Suppose 2*x = -3*x + 15. Suppose -x*t + 10 = 2*t. Is 2 >= t?
True
Suppose -2*i - 14 = 2*z, -4*z + 5*i = 3 - 20. Let u be (-2 - (-4)/(-2))/z. Suppose -r - 4 + u = 0. Which is bigger: 0 or r?
0
Suppose 0 = -0*r - 4*r + 24. Let g(q) = q**3 - 7*q**2 + 6*q + 1. Let a be g(r). Are a and -2/9 non-equal?
True
Let j = -14 + -39. Which is greater: -52 or j?
-52
Let q = 292/5 - 58. Let j = -0.6 + -1.4. Which is bigger: q or j?
q
Let v(j) = -5*j + 2*j - 2*j. Let c(d) = -2*d. Let h(g) = -9*c(g) + 4*v(g). Let o be h(1). Is o smaller than -3?
False
Let p be (18/135)/(2/20). Is 2 equal to p?
False
Suppose 3*u + u = 20. Is 5 <= u?
True
Suppose -m - 2*d = -14, -17 = -0*m + 2*m - 5*d. Is 5 != m?
True
Let g be 1/(-5)*4/(16/12). Is -0.1 at least as big as g?
True
Let j(w) = w**3 - 15*w**2 + 13*w + 13. Let b be j(14). Which is bigger: 1/9 or b?
1/9
Let y(i) = -i**2 + 2*i + 1. Let a be y(2). Let u be 81/4 - a/4. Suppose 2*f = -3*x + 7, f + u = 5*x + 6*f. Which is smaller: -1/2 or x?
x
Let u be (0 - -1) + (-2)/6. Let i =