 1023 + -13306/13. Which is smaller: o or -1?
-1
Let l = -24.11 - -24. Let m = l + 0.11. Do -0.04 and m have the same value?
False
Suppose -3*t - 2*h + h - 11 = 0, -3*h = -t + 3. Let q be t/13*6/9. Is q != -1?
True
Let r be 36/(-3)*(-8)/24. Suppose 2*j = r*j - 4. Which is smaller: j or 1/7?
1/7
Let m = 87 + -47. Let p be m/99 - 2/9. Which is smaller: 0 or p?
0
Let j be (-135)/25 - -3 - -1. Do 0 and j have the same value?
False
Let l = 153 - 175. Is l != -23?
True
Let k be (-2)/(-3*4/(-14)). Let j = k + 2. Is 1 > j?
True
Let u(f) = 2*f - 8. Let z be u(5). Let w = -2 + z. Is -1/9 at least w?
False
Let n(u) = -u - 2 + 6 - 2. Let v be n(-5). Suppose 0 = 6*w - v*w - 1. Is -1/4 at least as big as w?
True
Let g = 24 + -23. Is -0.5 at most as big as g?
True
Let z(p) = 2*p**2 + 3*p + 6. Let x be z(-4). Let u be x/36 + 2/(-4). Let k = u + 4/63. Which is greater: k or 0?
k
Suppose 0 = -2*v - 5 + 3. Let n(u) = -u**2 - u + 1. Let g be n(v). Are g and 0.1 non-equal?
True
Let t be -4*2*(-1)/(-4). Let q(w) = 2*w + w**2 + 0*w**2 + 1 - 3. Let n be q(t). Which is smaller: n or -3?
-3
Let c(l) = -l**3 + 17*l**2 - 17*l + 16. Let g be (-5 - -1)/((-1)/4). Let x be c(g). Is -2 greater than or equal to x?
False
Let a be 6*(2/4 + 0). Let k be 1 - -1 - (-3 - -1). Suppose -k*d = -6*d. Which is smaller: d or a?
d
Let g be (-78)/(-26)*(-1)/(-3)*-1. Let o = 2 - 0. Which is smaller: o or g?
g
Let f(s) = 5*s + 7. Let x be f(-8). Let u be (-2)/(-8) + (-50)/8. Let c be u/x + 26/(-22). Which is smaller: 0 or c?
c
Let q = 4 - 4. Let s = 0 - q. Suppose f = -m - 4, 3*f = -m + 1 - 3. Which is greater: s or f?
f
Let w be (4/(-14))/((-8)/2). Are 1 and w equal?
False
Let w = 14 + -14.1. Is -1/5 bigger than w?
False
Suppose 1 = -4*b - 7. Is 1 <= b?
False
Suppose 0*t + 2*r + 12 = 2*t, r - 9 = -4*t. Suppose -t*m - m = -36. Is m <= 10?
True
Let v = -2 + 5. Suppose -4*j + 10 = 5*q - v, 2*q - 2 = 0. Suppose -5*x + 1 + 14 = 0. Are x and j unequal?
True
Let x be 8/(-44) + (-1300)/(-7271). Let p = x + 4639/3966. Which is greater: p or 2?
2
Let a be (-1)/((-44)/67 + 1) - -3. Which is bigger: a or 0?
a
Let p = -2.98 - -3. Let l = -0.12 + p. Is l smaller than -0.03?
True
Let h be (16/50)/((-2)/(-5)). Let f(j) be the third derivative of -j**6/60 - j**5/60 - j**4/24 + 3*j**2. Let i be f(-1). Which is greater: h or i?
i
Suppose 10*i = -2*m + 12*i + 4, -3*i = -4*m + 4. Let h = -4 + 0. Which is bigger: h or m?
m
Let z(n) = -2*n**3 - n + 1. Let j be z(1). Which is smaller: 0.1 or j?
j
Let w(n) = -2*n**3 - 33*n**2 - 15*n + 25. Let l be w(-16). Which is bigger: l or 42/5?
l
Let v be (2*1/(-52))/(20/200). Is 1 smaller than v?
False
Suppose -8 = 3*o + 1. Let p = o - -1. Let s be ((-3)/2 + 1)*2. Which is smaller: p or s?
p
Let m(n) = -n**2 - n. Let i be m(-2). Is 11 greater than or equal to i?
True
Let b = -5 + 2. Is b at most -4?
False
Let v be -3 + ((-16)/(-4) - 2). Let k be 2/(-40 - 0)*v. Which is smaller: -1 or k?
-1
Let x(v) = -5*v + 2*v - 5 + 2*v. Let a be x(-4). Is 0 <= a?
False
Suppose 3*r = -2*r + 10. Suppose -2*i = 2*v - 12, 0 = -2*i - 3*i + 25. Is v smaller than r?
True
Let y = 2 - 2.4. Let b = y + 0.9. Let m = 0.5 - b. Which is smaller: m or 3?
m
Let c = -12 - -11.1. Which is greater: c or 1?
1
Let n be ((-4)/32)/((-2)/(-532)). Let l = 34 + n. Which is smaller: l or 2?
l
Let a be 2/((-4)/(-2 - 2)*2). Which is greater: 11/9 or a?
11/9
Suppose -o + 2*v = -3*o + 40, 4*v - 38 = -2*o. Suppose -5*q - o = -4*x, -x = -3*q + x - 11. Which is greater: -6 or q?
q
Let g be (8/12)/(28/(-12)). Is 2/25 equal to g?
False
Let r = 36 + -31. Which is smaller: 7 or r?
r
Let k = -119.757 - 0.243. Is -1/4 > k?
True
Suppose -7*g + 46 = -5*g. Is 23 != g?
False
Let d = -10481/18 + 582. Are -1 and d equal?
False
Let u = 6 + -3. Suppose -u*z - 9 + 3 = 0. Which is bigger: z or -8/3?
z
Let a = -28 + 29. Let w(h) = 3*h - 5. Let m be w(4). Suppose -5*i - 8 = m. Is a at least i?
True
Let i = -51647 - -362114/7. Let p = i + -83. Suppose 2*n - 4 = -2*n. Which is smaller: p or n?
p
Let k = -0.07 - 0.03. Let v = 0.3 + k. Which is smaller: -2 or v?
-2
Let b = -0.53 - -0.51. Which is smaller: b or -3?
-3
Let i = -470 - -7988/17. Is 0 smaller than i?
False
Let b = 12 - 7. Let d = -0.4 + -0.6. Which is bigger: d or b?
b
Let c = 126 + -73. Which is greater: -0.1 or c?
c
Let u = 39 - 40. Which is smaller: -10/7 or u?
-10/7
Let i be 16 + (-1 - -1) + 2. Let f = i - 56/3. Is -3 < f?
True
Let g be (1 + -1)*2/6. Let l = -3 + g. Are -5 and l non-equal?
True
Let k = -64654/99 - -8567/9. Let m = 299 - k. Is 0 < m?
True
Suppose 33*h + 60 = 38*h. Let a(b) = -b**3 + 6*b**2 - 6*b + 2. Let g be a(4). Is h at most as big as g?
False
Let m be (-6)/(-9) + 20/(-21). Let t = 0.03 + 1.37. Let r = 1 - t. Is r at most as big as m?
True
Let v be 3/((-93)/(-45) + -2). Let r be v/(-12) + (-2)/8. Let f be 1/r + 9/(-12). Are f and -1/5 equal?
False
Let w = 1564/11 - 142. Which is smaller: w or -1?
-1
Suppose 0 = -g - 5*p - 17, -3*p - 2 - 9 = g. Which is smaller: -3 or g?
-3
Let p = -10438/435 - -402/29. Let z = -10 - p. Is 1 greater than z?
True
Let c = 3/22 - -4/11. Is c != 2?
True
Let f = -10 + 10. Suppose 0 = -3*w - f*w. Is 0 less than w?
False
Let b be ((-54)/28 - -2)/4. Is b <= 0?
False
Let t = 837/4 + -14157/68. Let s = 91/102 - t. Is 0 > s?
True
Suppose 0 = 7*f - 105. Which is smaller: f or 16?
f
Let t be (-13)/(-3) - (-4)/6. Suppose -4 = 3*o - t*o. Let j be (-1)/2*(o - 2). Is j at most as big as -1/3?
False
Let d = -7 - -2. Let l = -19/2 - -10. Which is smaller: d or l?
d
Let q = -5 - -6. Let i be 3 - 5 - 4*-1. Which is bigger: q or i?
i
Let s = 54 + -53. Is -48 at most as big as s?
True
Let l be (-2)/(-6) + (-5)/15. Suppose -5*y - 3*g + 100 - 37 = l, -2*y + 26 = 2*g. Let k be (-2)/y*(1 + 1). Is 2/9 at most as big as k?
False
Let q = -0.01 - 0.06. Let p = 0.03 - q. Do 4/5 and p have the same value?
False
Let t = -20635/1821 + -1/607. Let p = t - -100/9. Is 1/4 at least p?
True
Let h be ((-16)/20)/((-6)/(-15)). Which is bigger: h or -8/7?
-8/7
Suppose -5*l - 27 + 12 = 0. Suppose 3*m - 2 = 4*m. Is m bigger than l?
True
Suppose 14 = 5*y - 0*y + u, 0 = -5*y + 3*u + 18. Is y < 16/7?
False
Suppose 2*z + z + 3 = 0. Let m = 4.6 - 0.6. Let s = -6 + m. Is z smaller than s?
False
Let y be 3 - (-3 + -1 + (-338)/(-48)). Which is smaller: 0 or y?
y
Let b(a) = -a**2 - 8*a + 9. Let u be b(-9). Is -3/19 less than u?
True
Let h be (-1)/(-36)*-3*2. Are 0 and h non-equal?
True
Let h = -13 + 21. Suppose -u - u = m + h, 0 = 3*u - m + 2. Is u bigger than -2?
False
Let x(i) = i**3 - 10*i**2 + 9*i - 2. Let n = -14 + 23. Let o be x(n). Suppose 0 = 2*f - 5*f - 6. Is o greater than f?
False
Let p(s) = 2*s - 9*s - 6 + s**2 - 2*s**2 + 0*s**2. Let y be p(-5). Suppose r = -r + y. Are r and 3/4 equal?
False
Suppose 0 = w - 5*w + 8. Suppose 0 = -3*k + 3, 0*h + h + w*k + 1 = 0. Which is smaller: -0.2 or h?
h
Let v be ((-3)/5)/(3/(-15)). Suppose v*l = -l + 16. Let n be (2/l - 1)/2. Which is smaller: -1 or n?
-1
Let o = 8 - 7. Suppose k + 0*k = 0. Suppose 3*f - 9 = -k. Is o > f?
False
Let m(t) = -t**3 + 7*t**2 - 18*t + 36. Let h be m(5). Let y be 0*((-2)/2 + 2). Suppose p - 4*p - 6 = y. Does h = p?
False
Suppose 3*q + 3*i = 33, 5*q = 2*q + i + 33. Let s be 1 + (q + 1)/2. Let m(v) = v**3 - 6*v**2 - 7*v - 1. Let d be m(s). Is d greater than -1?
False
Let z = -0.049 - -22.049. Let q = z + -22.1. Which is smaller: 7 or q?
q
Let s be 4/46*(7 + -6). Is 0 less than s?
True
Let y = -49071 + 342764/7. Let z = y - -105. Suppose 0 = 5*h + 4*q + 21, 0*q - 2*q - 9 = h. Which is greater: h or z?
z
Let i be (-2 + 4/2)/(-1). Suppose i = 3*z - 7*z. Suppose 5*a - a = z. Is -1/4 not equal to a?
True
Let t(r) = -r**3 - 3*r**2 + 4*r + 6. Let f be t(-4). Let a be (1 + 11)*((-4)/(-6))/1. Is f at least as big as a?
False
Suppose 0 = -3*o + o + 6. Suppose -o + 10 = c - 3*u, 6 = -2*u. Is -2 at least as big as c?
True
Suppose 0 = 3*b - 5*l - 29, -3*b - 6*l + 2*l - 7 = 0. Suppose 7*n - 4 = b*n. Let s = n - 2. Which is smaller: -1/2 or s?
s
Let j be (-3)/(-6)*0/3. Let p = 4/25 - -56/275. Which is greater: p or j?
p
Let z be 2/(-10)*((-32)/8 + 3). Is 1 at least z?
True
Suppose 6 = 3*t - 0*t. Suppose 0 = -t*k - 3*k. Which is bigger: k or -3/7?
k
Let k be ((-2)/(-2))/(5/(-15)). Let v = 6 + k. Which is bigger: -1/4 or 