i = 6 - 6. Suppose -x + 2*x = i. Which is smaller: 0.1 or x?
x
Suppose d + 2 = 6, 3*r - 5*d + 17 = 0. Suppose 4 = -3*h + r. Let t be ((-8)/10)/(6/15). Which is smaller: t or h?
t
Let c be 0 - (-3 + 2 + -3). Let k = c + -6. Let l be (-4)/6 - 1/3. Which is bigger: l or k?
l
Let t be (-4)/(-136)*(4 + (1 - 3)). Let a(d) = -d**2 - 6*d - 5. Let c be a(-5). Is c at least t?
False
Suppose 0*u - 28 = -4*u + z, 3*z = 0. Is 9 at least u?
True
Suppose 3 = f - 4. Which is greater: 1 or f?
f
Let r = 11 + -11. Is 0 <= r?
True
Let w = -2/91567 + 2107085/47797974. Let l = w + 1/87. Is -1 greater than l?
False
Let i = 10.9 + -11. Let j = -0.3 + -0.8. Let k = -0.8 - j. Which is greater: k or i?
k
Suppose -4*y + 6 = -y. Is y at most as big as -1?
False
Let q(r) = -r**3 + 3*r**2 + 5*r + 4. Let l be q(5). Does l = -22?
False
Let c be 0 - -1 - (0 - (-1 - 0)). Which is smaller: c or -1/37?
-1/37
Suppose 2*h - 6 = -h. Let t be h + 2 + (-2 - -1). Which is smaller: 0.1 or t?
0.1
Let c be (7 - 7)*(2 - 3). Suppose 3*t - 18 - 2 = -p, t - 3 = c. Is p bigger than 11?
False
Let k(b) = -b**2 + b - 4. Let r be k(0). Suppose -3*a + 0*a + 18 = 0. Let h(v) = -v**2 + 7*v - 9. Let m be h(a). Which is smaller: r or m?
r
Let s = 107 + -108. Which is bigger: -20 or s?
s
Let c = 9.1 - 6.1. Which is bigger: -0.6 or c?
c
Let v be 1 + 2/9*(-18 + 6). Which is smaller: v or -0.1?
v
Let z = -0.29 - -0.39. Which is greater: z or 34?
34
Let g be (-2 + 10)*(-6)/(-4). Suppose g = -h + 39. Let a be 2*21/h + -2. Which is smaller: a or -1?
-1
Let y = -2 - -1. Suppose c - 2*i - 2 = -0*c, -5*c - i + 21 = 0. Suppose -2 = -0*z + 2*z + 2*u, -5*u - 4 = c*z. Are z and y equal?
True
Let y(m) = -m - 5. Let r be y(0). Let u = -5 + r. Which is smaller: u or -1/3?
u
Let x be (2 - 5)*4/(-3) + -12. Which is smaller: -6 or x?
x
Let a = 23 - 18. Which is greater: a or 7?
7
Suppose -4*i + 2 = -3*t, 5*i - 3*t = -5*t + 14. Let x be 0 - (i + -2)/(-1). Suppose 0 = -4*u + 4*g - 4, 4*u + x*u - 14 = -5*g. Which is bigger: 2/5 or u?
u
Let g = -5722/1533 - -4/219. Does g = -4?
False
Suppose -w + 4*p - 3 = 0, 3*p - 7 = 2*w + 4. Let a = w - -13/2. Is a smaller than -0.5?
False
Let p = 21 - 22. Is p less than or equal to -0.1?
True
Suppose -5*f = 4*c + 51, -4*c - 6*f - 52 = -2*f. Let d be 8/(-36) + c/18. Which is smaller: 2/21 or d?
d
Let u be ((-3)/4)/(18/2). Which is greater: u or -2?
u
Let p be 38/44 + (-1)/2. Suppose 5*a + 2*m = 1, -3*a + 8 = 4*m - 1. Which is bigger: p or a?
p
Let w = -1 - -1. Let u(q) = q**3 - 4*q**2 - 7*q - 6. Let n be u(6). Let b be -3 + -7*(-9)/n. Which is greater: w or b?
w
Let z = -8824/25 - -353. Is z smaller than 1?
True
Let z = 0 + 0. Suppose -r - r = z. Let k = -43/204 + -2/51. Is r greater than k?
True
Let m(f) = f**3 + 3*f**2 + 2*f + 2. Let r be m(-3). Let n = r + 5. Which is bigger: -2/7 or n?
n
Suppose -8*a = -20*a + 132. Which is smaller: a or 12?
a
Let i(n) = -n**3 - 5*n**2 + 4. Let m be i(-5). Suppose -2*x = -5*o - 10, -4 = -5*x + m*o - 2*o. Let d be 1 - -1 - (-4)/4. Which is greater: x or d?
d
Suppose 7*a - 9*a - 6 = 0. Is -4 <= a?
True
Let x be ((-1)/6)/(6/8). Suppose 2*d - 2*q = q - 4, -d = 5*q - 24. Let i be (-6)/d*(-2)/9. Which is bigger: i or x?
i
Suppose 0 = -a + g + 2, g - 3 - 3 = 5*a. Let v = 3 - a. Suppose h = v*u - 7, -4*h + 7 = h - 4*u. Which is smaller: -1 or h?
-1
Let w be 306/628 - 7/14. Which is bigger: 0 or w?
0
Let c = -46823/82 - -571. Let a = c + -155/738. Let t(i) = i**2 + i - 1. Let p be t(0). Is p at most a?
True
Let p = -1 - 4. Suppose -4*z = 4*w - 8, -5*z + 1 = -3*w - 33. Let y be ((-4)/p)/(2/z). Which is smaller: y or 1?
1
Let v(m) = m**2 + 4*m - 14. Let n be v(-7). Which is bigger: n or 6?
n
Let g(a) = -a**3 + 17*a**2 + 18*a + 1. Let j be g(18). Which is smaller: -3/58 or j?
-3/58
Let q = 1439/14 + -492/7. Let c = q - 30. Is 2 > c?
False
Let j be (-20)/((-2 - -2) + -2). Suppose u = -4*u + 2*s + 1, 0 = -2*u - 4*s + j. Suppose -2*w = -w + u. Is 1/5 greater than or equal to w?
True
Let l be (-9)/(-3) + 0 - 3. Let j = 3 - 6. Let h be (j/(-14))/((-2)/(-4)). Which is bigger: h or l?
h
Let w = 44 - 131/3. Let t(c) = -c + 9. Let h be t(8). Which is bigger: w or h?
h
Let n be 18/(-8) - 2/(-8). Let s = -18 + 23. Is n > s?
False
Suppose c + 567 = 8*c. Is 80 less than or equal to c?
True
Let u(o) = 3*o**2 + 6*o + 4. Let t(d) = -d**2 - d. Let v(f) = 2*t(f) + u(f). Let g be v(-2). Is -1/6 equal to g?
False
Let h = -27.3 + 29. Let a = h + -2. Let s = -0.9 - 0.1. Which is greater: s or a?
a
Let g(l) = l**2 + 2*l - 2. Let j be g(-3). Let q = 264975458/781839 - 1/33993. Let x = q - 339. Which is bigger: x or j?
j
Suppose -6*h = h. Which is greater: 1.2 or h?
1.2
Let v be 2/(-4) - 9/(-30). Let j = 2 + -9. Let g(w) = -w**2 - 8*w - 6. Let b be g(j). Which is smaller: v or b?
v
Let i = 22 - 22. Suppose -4*o - 3 = -z, -3*o + i*z = -3*z. Let x = 1/15 - -11/60. Which is smaller: o or x?
o
Suppose -s + 2*h = 2*s - 7, h + 1 = 4*s. Suppose 5*c = 5 - 0. Let n be (-3)/2*c/(-9). Which is smaller: s or n?
s
Suppose -11 = 3*s + 1. Let i be ((-8)/14)/(10/(-7)). Which is greater: s or i?
i
Let y(t) = 4 + 0*t + 6*t - 7*t. Let z be ((-6)/(-4) - 2)*-8. Let f be y(z). Is 1/2 greater than f?
True
Let v = -67 + 65. Which is bigger: 6 or v?
6
Let q be 4/3*(-15)/10. Let w be (-4)/6*18/q. Which is greater: 4 or w?
w
Suppose 0 = -12*m + 5*m - 21. Is -3 less than or equal to m?
True
Let l = 17 + -6. Which is bigger: l or -1?
l
Let p be 1/(-2 - 7/(-3)). Suppose 8*r = 3*r + 25. Let d = r - p. Is 2 >= d?
True
Let k(s) = s**2 - 16*s - 13. Let g be k(17). Suppose g*w + 19 = -4*l - 21, w = 5*l + 2. Is -8 > w?
False
Let v(w) = w + 5. Let j be v(-5). Let c = 1.1 - 1.3. Which is bigger: j or c?
j
Let f = 996/119 + -380979/45220. Let h = -1/20 + f. Suppose 13 = -5*a - 4*c, 5*c + 4 = 3*c. Are h and a non-equal?
True
Let f(x) = x**2 - 4*x - 4. Let a be f(6). Let p be (-4)/33*12/a. Does p = 1?
False
Let q = 0 - 0. Suppose -4*a - m = -226, 2*m + 3*m + 10 = q. Let w = a - 400/7. Which is smaller: 1 or w?
w
Let u(q) = 2*q - 1. Let a be u(1). Let v be 4/(-8) - a/(-2). Let y = -0.2 + 0.4. Is y > v?
True
Suppose 0*c + 6*c = -6. Which is greater: c or -1/16?
-1/16
Let q = 1.8 - 3.9. Let j = q - -2. Which is smaller: j or 1.7?
j
Let k = -10 + 9. Let c(y) = -3*y**3 - y**2. Let h be c(k). Are 1 and h nonequal?
True
Let o(c) = c**3 + 2*c**2 - c - 3. Let d(k) = -3*k**2 + k + 4. Let u(z) = 3*d(z) + 4*o(z). Let q be u(-1). Let j be ((-3)/q)/(5/4). Is 0 greater than j?
False
Let a(m) = -4*m - 7. Let g be a(-3). Suppose -w = -3 + g. Is -4/3 greater than w?
True
Let t = 10 - 8. Suppose o = -t*o. Is -6/5 smaller than o?
True
Let m = 1 - 6. Let p(k) = k**2 - 2*k + 2 + 9*k + 3. Let s be p(-5). Does m = s?
True
Let k(w) = w**2 - 7*w. Let s be k(7). Which is smaller: s or 2/43?
s
Let d = -210 + 207. Are d and -8 non-equal?
True
Let o = 0.13 - -3.87. Do 0.2 and o have the same value?
False
Let p = -39 + 34. Is -1 not equal to p?
True
Let j(u) = 3*u - 1. Let s be j(1). Let v be (-2)/3 + 4/6. Suppose 2*f + 2 - 8 = v. Do s and f have the same value?
False
Let t be (-4)/6 - 40/(-6). Let v be (2/6)/((-2)/t). Which is greater: -2/25 or v?
-2/25
Let i(t) = t**3 + 4*t**2 - 5*t + 2. Let c be i(-5). Suppose -c*u = -4*d - 22, 5*d + 0*u = -2*u - 14. Suppose -10*k - 20 = -5*k. Is d equal to k?
True
Let l be (-9)/(-2) - (-2)/(-4). Suppose 0 = -l*q + 8*q - 4. Suppose -2*b + 4 - 2 = 0. Are q and b equal?
True
Let j(x) = 6*x - 4. Let o be j(3). Let d be o/6 - 1 - 2. Let y be 4 + -4 - (0 + -1). Which is bigger: y or d?
y
Let i(w) = 2*w**2 + 9*w - 2. Let v be i(-5). Which is smaller: v or 2?
2
Let q = 27 + -21. Which is greater: 5 or q?
q
Let b = 1023/5 + -203. Which is smaller: b or 1?
1
Let y be ((-30)/(-6) - 3)*1/(-6). Let p(i) = -5*i**3 - 2*i**2 - 2*i - 1. Let j be p(-1). Suppose q - j = -3*q. Is y less than q?
True
Let p be (-2)/9 - (-873)/(-81). Is p <= -10?
True
Let x = 8 - 5. Suppose -3*p = 4 - 1, 3*r = x*p + 174. Let y = r + -284/5. Is -1 > y?
False
Let d be 2*5/(20/(-18)). Is -8 bigger than d?
True
Suppose 8 = 2*r + 4*b + 2, 3*r + 5*b - 12 = 0. Which is smaller: r or -1/4?
-1/4
Let y be 116/14 + 2/(-7). Suppose -y = -8*d + 4*d. Is 3/4 at least as big as d?
False
Let q = 1 + -2. Let s = -30 - -22. Is q at least as big as s?
True
Suppose 3*p - 14 - 