 - o**2 - 8*o + 2 - 5. Let f be d(-7). Is f greater than j?
True
Suppose -6*l + 4*l = -2. Let t be ((-6)/15)/((-2)/(-20)). Let q be 8/t - (-51)/21. Which is bigger: l or q?
l
Suppose 0 = -0*x - 3*x + 6. Suppose 5*y - x*y + 6 = 0. Is -2 at most as big as y?
True
Let f = 638 - 634. Let b(c) = -c**2 - 3*c. Let o be b(-2). Which is smaller: f or o?
o
Suppose 4 = -n + 8. Suppose 6*c + 8 + n = 0. Which is bigger: -1 or c?
-1
Let i be -24*1/(15/(-128)). Let a = 204 - i. Which is smaller: 0 or a?
a
Let v(r) = r**2 - 9*r + 12. Let d be v(8). Suppose d*j + 9 = 3*j. Are -9 and j unequal?
False
Let t = -2/43 - -47/86. Suppose 3*q - 2*q - 1 = 0. Which is smaller: q or t?
t
Let q(f) = 6*f - 54. Let c be q(9). Let d = -1 - 0. Are c and d non-equal?
True
Let v(k) = -k**2 - 5*k. Let i be 1/(-4) - 23/4. Let y be v(i). Which is smaller: -5 or y?
y
Suppose 3*l - 4 = -16. Let a = l - -3. Let y be (1/2)/((-33)/6). Are a and y equal?
False
Let f = 2.4 - 0.4. Let g = 2 - 4. Let w = g + f. Does w = 1/3?
False
Let q = 0 + 1. Suppose 0 = -4*d + 5*o - 1, 4*o = 3*d + q. Let z be 1 - (-1 + 10/6). Does d = z?
False
Let v be ((-39)/9)/((-8)/6). Let l be 4/(-6) + (-16)/(-6). Is l greater than v?
False
Let v be (-18)/(-20)*(-1)/3. Is 0 bigger than v?
True
Let c = 3796 + -14963/4. Let z = 55 - c. Which is greater: -2 or z?
z
Let w = 2 - 1. Suppose -p = -2*p. Is w > p?
True
Suppose -25 = 20*l - 15*l. Is -9/2 greater than or equal to l?
True
Let i be (153/(-34))/((-3)/(-4)). Are -2 and i nonequal?
True
Let a be 426/10*(2 - 0). Let w = -169/2 + a. Let b = w - 1/5. Are 2 and b non-equal?
True
Suppose -4*g + 69 = -0*g - 3*b, 4*b + 87 = 5*g. Which is smaller: 0 or g?
0
Let g = 107 + -1823/17. Let m(h) = 2*h - 1. Let d be m(1). Are d and g equal?
False
Let c(w) = w - 6. Let a be c(9). Suppose r = 2*r + 4*x + a, 4*r = -4*x. Is 3/5 bigger than r?
False
Let c = -20 + 22. Is c at least as big as 1?
True
Suppose 3*z + 9 = 0, 3*m - 2*z - 5 = -2. Let x be m - 2 - (-51)/18. Is -1 bigger than x?
False
Let o be (-6 - -6) + 0 + 9. Let m = o + -47/5. Is m < -0.4?
False
Let u = -8.8 - -9.1. Which is greater: u or -3?
u
Let r = 14 - 14. Which is bigger: r or -1/19?
r
Suppose -3*i - i = -3*z - 1, 2*z - 4 = -2*i. Let f = -3 + z. Let m be -1 + 26/10 + f. Which is smaller: -1/2 or m?
-1/2
Suppose 2*l - 10 - 4 = 0. Suppose i = -2*r - 2*r - l, -2*i = 3*r + 4. Which is greater: 0 or i?
i
Suppose 6 = 4*h - 0*a + 2*a, -3*a + 18 = -3*h. Are h and 4/21 nonequal?
True
Let p = -3 + 5. Let g = 9 - 12. Let s = g + p. Is s smaller than -0.1?
True
Suppose -j = -3*j + 10. Suppose -j*d = 5*n, -4*d = -4*n + 6 + 18. Let c = -4 + n. Is 2/11 > c?
True
Let g be 9/(-45)*12/34. Which is bigger: g or 0?
0
Let d = 17 - 21.25. Let u = 0.25 + d. Is u less than 1?
True
Let m be 4/14 - (-320)/(-1022). Let w = 197/803 - m. Which is smaller: 1 or w?
w
Let a = -76 + 73. Let n = 4 + -6. Is a smaller than n?
True
Let h be 1*32/(3 - 4). Let x = 63/2 + h. Which is smaller: -1 or x?
-1
Let q(a) = a**2 - 4*a + 1. Let x be q(4). Suppose 5*g - 10 = 5*j, -3*g + j = 6*j - 22. Let i be 3/g + (-2)/(-8). Is i equal to x?
True
Suppose 4*f = m - 20, -5*f = -m + 26 - 2. Suppose 2*d + 2 = -m*t, -6 = -2*t - t. Let g(i) = -i**2 + 8*i - 6. Let c be g(8). Which is bigger: d or c?
d
Let t be (0 - -22)*3/6. Suppose s - t = -4. Which is smaller: s or 6?
6
Let k(v) = v - 9. Let i be k(9). Suppose 0 = d + 4 - i. Let l = d - -3. Which is greater: -1/5 or l?
-1/5
Suppose -2*o + 3*o + 5*f + 51 = 0, 4*o - f + 99 = 0. Which is smaller: o or -27?
-27
Suppose 4*n - 16 = 2*n. Let c be (28/24 + -1)*-2. Which is smaller: n or c?
c
Let o = -5 + 7. Let u be o/6 + (-24)/(-9). Is 3 smaller than u?
False
Suppose j + 0 = -1. Which is greater: j or -2?
j
Suppose -3*q = 4*v + 3, 3*q + v = -0*v - 3. Which is smaller: q or 1/29?
q
Let t = -3.07 + 0.07. Which is greater: t or -2?
-2
Let w = -101/4 - -25. Let i = -0.4 - -0.3. Let h = i - -2.1. Is h bigger than w?
True
Suppose 4*s - 5 = 3. Suppose -6*d + s = 8. Let t = -2/3 - -5/12. Which is smaller: t or d?
d
Let u = 229/5 + -45. Does u = -0.1?
False
Let w = -4 - 2. Which is smaller: w or -2?
w
Let z be (45/(-40) - 3) + 4. Which is smaller: -7 or z?
-7
Suppose -5*o + 3*x + 7 = 0, 4*o + 4*x = -18 - 2. Which is greater: o or -2/25?
-2/25
Let v = -82 - -79. Which is smaller: v or -12?
-12
Let z be 3/(-9) + (-14)/66. Let m = -17 - -17. Which is smaller: z or m?
z
Let r = 0 - 0. Let i be -1*(12/(-4) + 1). Which is smaller: r or i?
r
Suppose 0 = 4*w - 1 - 3. Let j(m) = m - 1. Let p be j(w). Let f be 27/18 - (-1 + 8/3). Is f at least as big as p?
False
Let l(z) = z**2 + 8*z - 11. Let v be l(-9). Let i be ((-1)/21)/((-1)/v). Is i less than -1?
False
Let g(n) = -n**3 - n**2 - 1. Let m be g(0). Let p = 0.08 + -0.02. Let r = 1.94 + p. Is r != m?
True
Let f(z) = z + 2. Let g be f(3). Suppose -i - g*x - 5 - 1 = 0, -4*i = 4*x - 8. Suppose -i*t - 3 = 13. Is t > -5?
True
Let a be (6/(-9))/(3/(-18)). Suppose 0 = -0*n - a*n + 5*r - 28, -3*n + 3*r = 18. Let q be (-10)/4 - 2/(-4). Is n greater than or equal to q?
True
Let w = 4 + -2. Let d(n) = 1 + 0 + 0*n**2 - n**2 + 3*n - w. Let s be d(2). Are s and 2 unequal?
True
Let g = 1354/15067 + -6/247. Are g and 0 unequal?
True
Let n be 51/(-94) + (-1)/(-2). Let o = n + 108/329. Is 2 bigger than o?
True
Let f be 2/(-3)*(162/66)/3. Which is greater: f or -3?
f
Let d(u) = -3*u**2 + 2*u + 2. Let f be d(2). Which is smaller: -4 or f?
f
Let x = -0.42 - -4.42. Let p(n) = -n**3 - 4*n**2 + n + 5. Let z be p(-4). Let q be z - (0 - (2 - 2)). Which is smaller: q or x?
q
Suppose 2*w + 3*g + 8 = 0, w - g = 6*w + 7. Is w greater than -2/3?
False
Let j = 18 + -31. Which is greater: j or 0.1?
0.1
Suppose 4 = -g - 2*j - 4, -2*j - 20 = -5*g. Let h be (g/(-18))/((-6)/12). Which is smaller: h or 1?
h
Let r = -2 + 4. Suppose 2 = -r*w - 2. Which is bigger: w or -5/3?
-5/3
Let u = -18 - -27. Suppose 0*i + 3*i - l + 31 = 0, -l - u = i. Which is greater: i or -8?
-8
Let b = -15 - -17. Let f be 76/(-4) + (2 - b). Is -20 >= f?
False
Let p = 849 + -830.05. Let a = -19 + p. Which is smaller: 0 or a?
a
Suppose 0 = 4*h + 3*j - 6*j - 12, -3*h = 2*j - 9. Suppose 3*u - d + 11 = 0, h*d - 5 = 5*u + 4*d. Suppose -7 = -5*b - 22. Which is greater: u or b?
u
Let d = -0.058 - -30.058. Let m = -18 + d. Which is smaller: 0.1 or m?
0.1
Let i = 9.3 - 7.3. Which is greater: i or 0.07?
i
Let f be (928/(-12))/8*3*-1. Is f less than or equal to 30?
True
Let p(u) = u**2 - 3*u + 2. Let s(c) = -2*c + 4. Let t be s(4). Let k = 6 + t. Let n be p(k). Is 0.1 less than n?
False
Let m be -1 + 185/(-183) + 2. Let h = m - 175/732. Which is smaller: h or -2/9?
h
Let i be (-3)/3 - (1 + -1493). Suppose -3*d + 249 = i. Let l = d - -7040/17. Which is smaller: l or 0?
0
Let s(w) = -w + 1. Let v be s(2). Let l be v/((-4)/8*2). Which is smaller: 2/11 or l?
2/11
Let j be (0/1)/(6 - 4). Is 2/9 != j?
True
Suppose -20 = -2*t - 2. Let w = 1 - t. Is w smaller than -9?
False
Let x(j) = -2*j**2 + 7*j - 6. Let c be x(4). Is c less than or equal to -34/3?
False
Let t = -0.04 + 0. Let g = 1.3 + -3.3. Do g and t have different values?
True
Suppose -20 = f - 19. Is -1 > f?
False
Let b = 8 - 13. Let w be (-24)/11 - 10/b. Is -1 > w?
False
Suppose 5*q - 2*u = -42, 2*u - 4*u + 18 = -2*q. Let n be (-2)/q - (-7)/4. Let o(r) = r**2 + 4*r + 2. Let b be o(-4). Is b < n?
False
Let h = 7 + -4. Let j = 3 - h. Which is bigger: j or 1/15?
1/15
Let f = 82/33 - 5/33. Suppose -r - 21 = -4*r. Let w be 12/18 + r/(-6). Which is greater: f or w?
f
Let i(q) = -q**2 - 2*q + 1. Let h = -8 + 5. Let w be i(h). Does -1 = w?
False
Let t(f) = f**3 - 5*f**2 - 5*f - 6. Let j be t(6). Suppose -d = -j - 3. Are d and 3/2 unequal?
True
Let m(g) = g**2 + 3*g + 5. Let f be m(-5). Suppose -2*l + 3 = -f. Which is greater: 8 or l?
l
Suppose -v - 3*v = -24. Let r be 2*(1 - 9/v). Is 3 bigger than r?
True
Let r = -37 + 35.1. Let l = r - -1.91. Which is bigger: l or -0.2?
l
Suppose -g + 5*q + 11 = 0, 2 = -4*g - 3*q - 0. Let v be (2/(3 - g))/(-1). Is -3 bigger than v?
False
Suppose o + 3 = 1. Let g be o/4 - 39/(-54). Let y = g + -19/45. Which is smaller: 0 or y?
y
Let o be (8/6)/(5/15). Suppose 4*q + c = 12, -o*q + c - 12 = -4*c. Suppose -3*g + 2 = 5. Which is bigger: g or q?
q
Let w be 3 - (0 - -3) - -26. Which is smaller: 