
Let f = 17/36 - 2/9. Let w be (-2 + -8)*(-4)/10. Suppose -c + w*c = 3. Which is greater: f or c?
c
Let i(o) = o**2. Let v = -22 - -22. Let r be i(v). Does 0 = r?
True
Let c = -10.61 + 10.7. Let i = 0.09 - 0. Let k = i - c. Which is smaller: k or -0.1?
-0.1
Let l be 1 + (-4)/(-3) - 3. Let m = 0.8 + -1. Let g = 0.8 - m. Is g at least as big as l?
True
Let v(u) = u. Let q be v(3). Let m be q/1*-4*-1. Suppose 12 = 4*r, 11 = 5*o + r - m. Which is greater: 3 or o?
o
Let m = -5 + 8. Let d = m + -5. Let l = -23 + 22. Which is bigger: d or l?
l
Let b be (2 + -3)*1*-2. Suppose m = b*c + 2 + 2, 5*m = 0. Is 5 greater than or equal to c?
True
Let t(o) = o - 4. Let s(b) = b**2 - 5*b. Let w be s(6). Let l be t(w). Let j = -9/13 - -79/39. Is l smaller than j?
False
Let l = 127/204 - -3/68. Suppose u - 3 = -u - 5*t, -3*u - 2*t - 1 = 0. Let r be u - 6/(2/(-1)). Which is smaller: l or r?
l
Let d = 0.987 + 0.013. Suppose 0 = -2*g - g + 6. Is d bigger than g?
False
Let b = 1 + 1. Let c be (4 - 3)/(b/10). Let z(y) = -y + 5. Let i be z(c). Is i < 0?
False
Suppose -4*k = 4*o - 20, k + 0 = 4*o - 5. Suppose m + s = -o, -3*m + 3*s + 8 = -s. Is m less than or equal to -5/8?
False
Suppose -5*o + 5*l + 30 = 0, -3*l + 0 = 2*o - 2. Let g be ((-24)/(-12))/((-4)/(-6)). Which is smaller: o or g?
g
Suppose -4*z - z = 0. Let k be ((-2)/(-4))/((-14)/(-6)). Is z less than or equal to k?
True
Suppose 4*h = -5 - 3. Let q be (2/(-10))/((-9)/15). Which is bigger: q or h?
q
Let c = 0.8 - 1.6. Let s = -0.5 + 0. Let p = c - s. Is p > 1?
False
Let g = -6 - -21. Suppose 3 = h - 4*n, 7*h + 2*n = 2*h + g. Let v be ((-4)/h)/(14/(-6)). Is 2 less than v?
False
Let t(m) = 2*m**2 - m - 1. Let s be t(2). Suppose 15 = s*n, -4*r - 5*n + 1 = -18. Suppose 3*o = o - 2. Which is smaller: o or r?
o
Let l = 323 + -225. Which is smaller: 1 or l?
1
Let u = -3 - -4. Let j = 314/9 - 104/3. Is u less than j?
False
Let a = 31.2 + -30. Does a = -0.1?
False
Let t = 2 + 2. Let c = t - 0. Let f = -7 + c. Which is greater: f or -4?
f
Let z = -16/13 + 209/117. Is 2 < z?
False
Let c = -17 - -15. Does -0.3 = c?
False
Let s = 13 - 22. Let p be s/(-6) + 10/4. Which is smaller: 1 or p?
1
Suppose 2*n + 5*o = -3*n + 40, -n + o = 2. Let t = n + -1. Suppose b = -y - 3, -4*y - 5 - 5 = t*b. Is b less than or equal to -2?
False
Let q(l) = -l**2 + 4*l + 1. Let b be q(4). Which is smaller: b or 7/6?
b
Let d(v) = -v - 1. Let k be d(-1). Is k > 2/11?
False
Let y(d) = d**3 + 2*d**2 - 4*d - 4. Suppose -19 = 5*j - 4. Let o be y(j). Let c = o - 0. Which is smaller: 2/11 or c?
c
Suppose -l + 4 = 5. Is l bigger than -2?
True
Let n = 82.06 - 83. Let z = -0.06 + n. Which is smaller: z or -0.1?
z
Let v be 114/27 + 2/(-9). Suppose m + 2 - 1 = 0. Is v bigger than m?
True
Let z = -37 - -37.2. Which is smaller: 0.25 or z?
z
Let b = 4 + -28. Is -24 < b?
False
Suppose 2*w - 4*w - 2 = 0. Suppose 0 = -7*v + 80 + 95. Let c be w/5 + 5/v. Which is smaller: -3/5 or c?
-3/5
Let q = 21 - 18. Let h be q - 0 - (-164)/(-36). Are h and -1 unequal?
True
Let t be (-2)/(-2)*0 - -1. Let i(j) = -13*j**3 - j - 1. Let k be i(-1). Let o be 0 + (-11)/k + 1. Are o and t equal?
False
Suppose 2*r = 5*r - 12. Let j be -5 + 2 - (1 - r). Let q = 545/7 - 78. Are q and j unequal?
True
Let q(c) = -3*c + 13. Let v(f) = 4*f - 14. Let x(a) = 5*q(a) + 4*v(a). Let k be x(-7). Which is greater: 1 or k?
k
Suppose 0 = -4*z - 5*s + 18, -2*z - 2*z = 4*s - 16. Let q = z + -4. Let t be (q/2)/(4/(-8)). Is t less than or equal to 4?
True
Let x(z) = -z + 12. Let o be x(13). Let v = -1205/264 + 37/8. Is o < v?
True
Let m(j) = -j**3 + 7*j**2 - 7*j + 7. Suppose -4*k + 0*k + 24 = 0. Let v be m(k). Which is smaller: v or 2?
v
Suppose -2 = 4*f + 2*h, -4*f - 6 + 3 = 3*h. Let u = f - 1. Is 1/5 bigger than u?
True
Let o(r) = -2*r - 11. Let s be o(-5). Which is smaller: s or 2/9?
s
Let j be (-3 - -2)/(6/(-436)). Let g = 72 - j. Which is smaller: g or -3?
-3
Suppose 4*o - 7 = 1. Is o at most as big as 15/7?
True
Let k(f) = f**3 - 4*f**2 + 3*f + 3. Let s be k(3). Suppose -4*b + 6*r = 4*r - 4, -s*b + 3*r = -6. Is 9 greater than b?
True
Let s be (1 + 1 - -3) + 2. Let t = s - 9. Let m be -2*(t - (3 + -4)). Is 1 bigger than m?
False
Let a = 1 - 0.6. Let l = -2.7 + 3. Let b = a - l. Is 1 less than or equal to b?
False
Suppose 11 + 1 = 3*f. Let r be 3/42*(0 - f). Let y be (9/(-6) + 2)*-2. Is r not equal to y?
True
Let y = -23 + 9. Let n be 4/y - (-80)/35. Suppose 0 = 2*d - 4*g + 6, n*d + 5*g - 5 + 2 = 0. Which is smaller: 0 or d?
d
Let n = 1.8 - 2. Which is smaller: -6 or n?
-6
Let d(t) = t**3 + 6*t**2 - 7*t + 1. Let j be d(-7). Are j and 7 equal?
False
Let z be 162/15 - (-2)/10. Suppose 110 = f + z. Let a be (-16)/(-6)*f/44. Is 6 != a?
False
Let s(y) = -23*y - 4. Let j be s(-1). Which is smaller: 59/3 or j?
j
Let x(q) = 2*q. Let g be x(-3). Let c be ((-8)/12)/(26/g). Which is bigger: c or 1/4?
1/4
Suppose -4 = 5*s + 4*k, -5*k + 40 = -7*s + 2*s. Let x = 4 + s. Suppose x*m + 4 = -m + 5*z, -2*z + 5 = 3*m. Is m > 1/7?
True
Suppose -7*c - 12 = -3*c + 5*a, -2*c - 3*a - 6 = 0. Is -4 > c?
False
Let d = 1.083 + 1.049. Let i = d - 0.032. Let y = 2 - i. Is 0.3 at most as big as y?
False
Let c = -6.59 - 1.31. Let f = c + 8. Which is bigger: -6 or f?
f
Let a = -13 - -13.1. Is 19 less than a?
False
Let l(w) = 6*w**3 + 2*w - 1. Let h be l(1). Suppose h*x + 6 = 4*x. Which is smaller: x or -9?
-9
Let n(u) = -u + 1. Let p(z) = -5*z - 1. Let j(x) = 4*n(x) - p(x). Let v be j(-6). Let h = 195/4 + -49. Are v and h unequal?
True
Let o be (-63)/(-4) - (-2)/8. Let f = o - 8. Is f at most 9?
True
Let y = -67 - -203/3. Is 2 less than y?
False
Let o(s) = s**2 + 9*s + 2. Let r be o(-9). Let p be (0 + 2 - 1) + 0. Which is greater: r or p?
r
Suppose -3*n + 25 = -62. Suppose -4*i = -5*y + n, -y + 5 = -5*i - 5. Let h be 5/100 + 2/(-8). Is h smaller than i?
False
Let z = 85/47 + -9523/4512. Let i = 1/32 - z. Which is smaller: -1 or i?
-1
Let h(t) = t**2 - 5*t + 0 + 0 + 4. Let b be h(5). Let r = -3 - -6. Which is smaller: b or r?
r
Suppose -3*s - 2 + 8 = 0, 2*s + 86 = -5*w. Is w at least -19?
True
Let a = -10/3 - -8/3. Let j = 9 + -5. Suppose j*r = 3*r - 2*v, 5*v = -2*r. Which is greater: a or r?
r
Let d(l) = 2*l**2 + 4*l - 3. Let y be d(-4). Suppose -b + y = 3*p, -2*b = -7*b + 3*p + 11. Suppose -b = -4*h + 8. Is h bigger than 3?
False
Let m = 69/101 + 1987/4040. Let l = -11667/10 + 1168. Let r = m - l. Which is smaller: 0 or r?
r
Let b(a) = -a**3 - 4*a**2 + 5*a + 3. Let o be b(-5). Let q be 67/168 - (-1)/o. Let k = 1/56 + q. Is 2 > k?
True
Let d = 65068/69 + -943. Which is greater: d or -1?
d
Suppose -2 = -3*x + 4. Let d(w) = w + x - 8 + 1. Let i be d(5). Is 1 greater than i?
True
Suppose 12 = 4*h - 2*s + 7*s, h = s - 6. Do -2 and h have different values?
False
Suppose -37 - 5 = -6*t. Is t >= 7?
True
Suppose -26*h + 20*h - 24 = 0. Is 8 equal to h?
False
Suppose -4*t + 16 = -4*k, 2*t - 4*t - 20 = 5*k. Which is smaller: t or 1/6?
t
Let h = 60.9 - 58. Let s = h + -3. Is s > 1?
False
Let m be (-3)/(0 + (-3)/2). Let n be 0 + 18/10 - m. Let d be (-8)/2*6/(-24). Which is smaller: d or n?
n
Let c be 1 - 2/(-3)*3. Suppose 4*w = -2*g - g + 19, -c*g + 17 = 2*w. Is 0 at least as big as w?
False
Let x = 83/12 + -20/3. Suppose 12 = -3*o + 2*l + l, -o - 4 = -5*l. Let z = o + 5. Which is bigger: z or x?
z
Let s(r) = 8 + 3 - 3*r**2 - 4*r + 4*r**2 - 5*r. Let z be s(8). Which is greater: 4 or z?
4
Let l = -10 - -7. Let x = 4 + -6. Let o = x - -2. Are o and l unequal?
True
Let x(f) = -f**2 - 2*f + 17. Let s be x(-5). Which is smaller: 7/6 or s?
7/6
Suppose 0 = -4*m + 6*m - 2, -5*x = -3*m - 22. Let d = x + -5. Which is greater: -2/9 or d?
d
Let p(s) = -s + 2. Let d(b) = -b**3 - 4*b**2 - 2*b + 4. Let q be d(-3). Let r be p(q). Let g = -2 + r. Which is greater: g or -1/4?
-1/4
Let d(j) = j**3 - 7*j**2 + j + 7. Let o be d(6). Let r be o/(-3 + 2 + 0). Suppose -4*m + 7 - r = 0. Do -4 and m have the same value?
True
Let n be (-5 + 4)*(-2)/6. Let v(z) = 2*z - 2. Let l be v(1). Which is smaller: n or l?
l
Let q = 1 + -2. Suppose 0 = -4*r + 3*r. Suppose r = -5*h - 0*h. Which is smaller: h or q?
q
Let h be ((-3 - -5) + 3)/((-2)/6). Which is greater: -2 or h?
-2
Let v(t) = -t**2 - 6*t + 9. Let w be (28/8)/((-2)/4). Let h be v(w). Suppose 0 = -r - h*r. Which is bigger: