ller: v or l?
v
Suppose 0*j - 3 = -3*j. Suppose 0 = -5*s + 4*s. Let d(t) = -t. Let h be d(s). Are h and j equal?
False
Let b = 15 - 15. Let o = 97 + -483/5. Which is smaller: b or o?
b
Suppose 7*o = 3*o + 80. Let i(t) = t + 1. Let u be i(1). Suppose u*m = 3*p + o, 2*p = 3*m - 0*m - 25. Which is bigger: m or 6?
m
Let n = 2 - 1. Let h be (-1 - n) + 3 - -9. Is h equal to 9?
False
Let f be (9/6)/((-2)/(-4)). Is 9/4 greater than or equal to f?
False
Let w = 3.2 - -0.8. Let i = w + -4. Let l = -0.1 + i. Which is bigger: l or -0.5?
l
Let s = 0.33 + -0.33. Is 0 equal to s?
True
Let w be 146/(-24) - 21/(-28). Which is smaller: -4 or w?
w
Let f be -1*(-1 - (0 - 2)). Let d be -4*1/(0 + f). Suppose 2*u - 4 = -3*b, 4*u + 9 = -5*b + 17. Which is bigger: d or u?
d
Suppose -4*m - 5 = 27. Let h = m + 8. Which is greater: -1/8 or h?
h
Let f(d) = d**3 - 11*d**2 + 6. Let v be f(11). Let b be -1*1 - (-5)/v. Is 1 bigger than b?
True
Let p be 0 - -6*(-2 - 0). Let f be (1/(-3))/((-7)/p). Let y be 32/(-18) + 4/(-18). Which is greater: f or y?
f
Let t = 19 - 9. Suppose -3*o + 14 + t = 0. Is 8 smaller than o?
False
Suppose 8 = -3*j - 16. Let b = j + 18. Let n be b/(-35) - 4/(-14). Which is smaller: n or 2?
n
Let p = -0.8 - -0.3. Let f = 0.07 + 0.33. Let g = p + f. Which is smaller: -0.2 or g?
-0.2
Let z = 71 - 71. Which is smaller: z or -0.01?
-0.01
Let y = 0.3 - 0.3. Let o(t) = -t. Let r be o(-1). Suppose 0 = -4*i - r - 3. Which is smaller: y or i?
i
Let g(j) = -j**2 + 3*j + 6. Let x be g(5). Is -2 >= x?
True
Suppose 5*n = 3*o + 9, -2*o + 3*n = 2 + 4. Let s(c) = -c**3 - 3*c**2 + 1. Let j be s(o). Let g be 2 - 3 - -3*1. Which is greater: g or j?
g
Suppose 0*c - 3*v = -3*c - 9, -4*c - 20 = 4*v. Let o(y) = 2*y**2 - 4*y + 2. Let g be o(2). Let d be g/(-1) + c/2. Which is bigger: -2 or d?
-2
Let y(b) = -b + 23. Let i be y(20). Suppose -m + 2*d + 7 = 0, 3*m = -d - 0*d. Which is greater: i or m?
i
Suppose -5*m + 6 = -19. Suppose -r - 4*r + 5*j = 0, 0 = -r - m*j - 6. Suppose 0 = 3*o - 3 - 3. Is r smaller than o?
True
Let j be 48/9 - 6/(-9). Do j and 9/2 have different values?
True
Let x be (-1)/(-4) + (-52)/16. Let f be 2 - 12*x/(-6). Let y = f + 2. Is -2/7 bigger than y?
True
Let j = -28.19 - -28. Does j = -0.1?
False
Let u = 17/6 - 7/3. Which is smaller: -1 or u?
-1
Let f = 4 + -7. Let b(u) = -u**2 - 3*u + 1. Let o be b(-2). Suppose -o*v - 15 = 2*v. Is v < f?
False
Suppose 3 + 4 = -m. Let d(n) = -n**3 - 6*n**2 + 9*n + 8. Let k be d(-7). Which is greater: k or m?
k
Let u = -34 + 56. Is u less than 22?
False
Let s = 308 - 308.1. Let p = 8 - 6. Is s greater than or equal to p?
False
Let q = -2 + 4. Let l be (6/5)/1 - q. Which is greater: -2 or l?
l
Suppose -3*w + 0*w = -6, 0 = 4*r - 2*w. Which is smaller: r or -1/189?
-1/189
Let j be ((-48)/(-224))/(16/14). Is 1 at most j?
False
Let u = -3 + 3. Suppose 3*l + 0 = -6. Which is greater: l or u?
u
Let i = 571/4420 - 1/1020. Let d = i + 1/39. Which is smaller: 0 or d?
0
Let d = 0 + -1. Suppose -o = -1 - 0. Suppose -4*q - o = 3. Is q < d?
False
Let z = 347/5275 + 3/211. Is 1 not equal to z?
True
Let w(d) = -d + d**2 - 2*d + 2*d + 1 + 11*d**3. Let j be w(1). Let b be (-21)/j - (-2)/(-8). Is -1 at most as big as b?
False
Let b = -16 + 50/3. Which is greater: b or 4?
4
Let b = 10 - 11. Are b and -41 equal?
False
Let a = 1.3 + -1.3. Let c = 0 - -1. Let d = c - a. Which is bigger: d or -0.1?
d
Let v be (-4)/(12/(-9)) + 0. Which is smaller: 4 or v?
v
Suppose 2*i + i = 0. Suppose -2*t + 6 = 2*p - 0*t, 4*p - t + 8 = i. Let b be (-2)/2 + (-19)/(-21). Is p greater than b?
False
Let h = 8 - 4. Suppose -1 = -c, 6*o - h*o + 1 = 5*c. Is 2 greater than o?
False
Let q = -0.87 - -1. Let x = 2 + -2.07. Let m = x - q. Which is greater: 2 or m?
2
Let y = 0.1 + 0.1. Let m = 213 - -1. Let s = -1924/9 + m. Which is bigger: s or y?
s
Suppose 0 = 4*z + 4*f + 40, f - 4 = 3*z + 34. Are -12 and z unequal?
False
Let p(r) = r**2 - r - 1. Let q be p(3). Suppose v + t - 28 = 6*t, 0 = -v + 2*t + 13. Is v greater than q?
False
Let i be 5 + -2 + 84/(-7). Is -2/3 at most i?
False
Suppose 0 = -b - 0 + 2. Let l = -1 - b. Let c be (l/(-4))/(-1) - -1. Is c >= 0?
True
Let s(p) = -2*p**2 + 7 - 9*p + 2*p**2 + p**2. Let z be s(8). Which is smaller: 14 or z?
z
Let u = -103.88 - -104. Is -2/7 greater than or equal to u?
False
Let r = 17 - 11. Suppose 4*t - a = r + 7, -a - 9 = -2*t. Suppose -2*d - 3*q = -14, 4*d - 12 = 3*d - 4*q. Is d less than t?
False
Let w = -5 + 20. Let z = w + -7. Suppose 2 = 5*v - z. Is v equal to 1/2?
False
Let i be 4/20*5 - 47. Which is smaller: i or -47?
-47
Suppose -54 = -3*k + k + 2*t, -4*t - 136 = -5*k. Which is smaller: 26 or k?
26
Let r = -533.1 + 512. Let u = r + 21. Let h = -0.4 - 1.6. Which is smaller: u or h?
h
Suppose -3*b + 5*b = -4. Let v be b/9 + (-130)/(-18). Let w = 4 - v. Which is greater: w or -2?
-2
Let b = -9 + 4. Which is smaller: -4 or b?
b
Let m be (-9)/8*(-1)/(-6). Is 1 greater than m?
True
Suppose 0 = x + x - 5*a - 3, 0 = -5*a + 5. Let k be (-7)/8 + x/8. Is 1 > k?
True
Let p = 1573/8 - 197. Which is smaller: p or -1?
-1
Let m be 2/(-7) - (-32)/14. Suppose 0 = -m*w - 0*w. Is w less than -1/7?
False
Let j = 2903 + -98691/34. Let r = -633/170 + j. Let p = r - -3. Is p smaller than 0.1?
True
Let c = 9 + -8.76. Is -0.1 at least as big as c?
False
Let q = -28 - -27.8. Is -23 bigger than q?
False
Let m = 13 - 5. Let h = m + -16. Let s = h - -11. Which is smaller: 2 or s?
2
Suppose a + 3 = -6. Let o be 2 - (-12)/(a/3). Let i be 3 - (1 + -2 - o). Is i > 1?
True
Let q = -2 + -1. Let a = q + 1. Do -4/7 and a have different values?
True
Let m = -54 - -54. Which is smaller: 0.78 or m?
m
Let s be (-132)/(-21)*58/(-2). Let i = -182 - s. Let l = -0.03 + 0.73. Is l less than or equal to i?
False
Let u = 50 - -1. Let d = 72 - u. Suppose -j - d = -4*f, -3*j + f - 8 = -0*f. Are j and 0 unequal?
True
Suppose 0 = -11*t + 10*t + 16. Which is smaller: 17 or t?
t
Let d be ((-4)/3)/(3/9). Let x be (d/(-16))/(3/12). Let o be (-21)/7 + 3*x. Is o greater than or equal to 1/6?
False
Let w = 6 + -23. Is w greater than -16?
False
Let z be 66298/43 - (-1 + 1). Let a = z - 1542. Let i = 116/301 - a. Is i <= -0.1?
False
Suppose -4*s = 5*j + 30, 2*j + s + s = -14. Let a(l) = l**2 + 3*l - 2. Let p be a(j). Let i be (-6)/p*2/12. Which is bigger: i or -1?
i
Suppose 36 = 5*u - j - 1, -j = -3. Let p be (-3)/(-4)*u/10. Suppose -5*y - l = 0, 2*l = -y + 4*l + 11. Which is bigger: y or p?
y
Let x(r) = r + 4. Let z be x(-3). Let t(y) be the third derivative of -y**4/24 + y**3/6 + y**2. Let n be t(z). Does 0 = n?
True
Let g be 0/3 + -1 - -1. Suppose 5*w - w = g. Is w greater than or equal to -1/2?
True
Let z be (-28)/49*2/4. Let k be (-8)/12 + 2/3. Suppose -2*x - a - 2 = k, -2*x + a + 4 = -6*x. Is z < x?
False
Let u(r) = r**2 + 3*r - 7. Let k be u(-5). Suppose -2*d - k*d + 10 = 0. Which is bigger: d or -0.1?
d
Let w = -12 + -3. Let t = 15.2 + w. Is t greater than or equal to -1?
True
Suppose 0 = 8*s - 6*s - 42. Which is greater: s or 23?
23
Let u = -3 - -2. Let m = u - -2. Let i = 1/36 - -5/36. Is i >= m?
False
Let q = 2173 - 210779/97. Which is smaller: q or -1?
-1
Let h = -1 - -0.92. Let i = 1.08 + h. Which is smaller: i or -3?
-3
Let a = 1.7 - 1.8. Which is smaller: a or 1?
a
Let d(y) = y - 7. Let t be d(7). Which is smaller: t or -2/11?
-2/11
Let z be 3/(-1) - 78/(-6). Is 10 greater than z?
False
Let t(g) = g**2 + 9*g - 10. Let p be t(-5). Is -30 <= p?
True
Let p = -636/7 - -91. Let t(x) = -x + 5. Let y be t(6). Which is greater: p or y?
p
Let l = -9 - -10. Let g(p) = p**2. Let b be g(l). Which is smaller: 1/5 or b?
1/5
Let k = -11 - -7. Let x(s) = -s**3 - 7*s**2 - 5*s + 2. Let a be x(-6). Is a at least k?
True
Suppose -n + 9 = -3*t, 3*t = 3*n + n. Let f be (20/(-6))/((-20)/(-30)). Is n at most as big as f?
False
Suppose -4*b - 3*d - d = 4, b - d + 3 = 0. Is -1 at most as big as b?
False
Suppose -2*d = -3*u - 5 - 2, -5*d = 5*u - 30. Let h(q) = -q**2 + 0*q**2 + d*q + q. Let i be h(6). Is i < -1?
False
Suppose 0 = y - 9 - 3. Suppose -2*q - 13 = -3*q. Which is bigger: y or q?
q
Suppose 2 - 10 = -f. Suppose f*n - 3*n = 0. Suppose 3*w + 5 = 4*l, -3*w + n*l + 13 = 5*l. Is w equal to 0?
False
Suppose 3*n + 1 = 10. Is n less than -3?
False
Let d = 269/4 - 62. Are d and 4 uneq