 = -2/7?
True
Let t = -2 + 1. Let q = 241.1 + -241. Which is bigger: q or t?
q
Let y = 1839 - 226195/123. Let m be (-379)/(-615) + 3/(-3). Let g = m - y. Is -1 != g?
True
Let l = 18/5 + -52/15. Let f(w) = w. Let g be f(-1). Is l < g?
False
Let b be 2/8 - 85/(-60). Is 3 bigger than b?
True
Let v = 0 - -2/7. Is v at least -1?
True
Suppose -2*r = 26 - 6. Let i = 6 + r. Suppose -4*f + 6 = -6*f. Is f at least i?
True
Suppose -2*p = -3*p + 7. Let k be ((-6)/14)/((-4)/p). Which is smaller: 1 or k?
k
Let g = 241/48 + -5. Which is greater: g or 0?
g
Let k = -101/4 - -25. Let d = 14 - 21. Let x = 6 + d. Which is smaller: k or x?
x
Let l = -7 + 7.2. Are l and 0.11 non-equal?
True
Let l be -15 + (-1 - (-1 + 0)). Let w be ((-1)/6)/((-5)/l). Is w equal to -2?
False
Let x(o) = o - 3. Suppose -a - 5 = -2. Let m be x(a). Which is greater: -5 or m?
-5
Suppose 5*t + 5*d = -20, -3*t = 2*d + 3*d + 20. Is 1 bigger than t?
True
Let r = 2524/4587 - 2/417. Is 1 less than r?
False
Let b = 50 + -63. Which is smaller: b or -35/3?
b
Let g be 5 - (2/(-2) + 4). Suppose -g*r = -r + 5. Are r and -5 nonequal?
False
Suppose f + f = 0. Are f and 14/17 non-equal?
True
Let i = 7 - 5. Let l be 3/i - (-13)/(-6). Which is smaller: 3 or l?
l
Suppose j - 2*j = -3. Let d = j + -4. Let h(w) = -w - 2. Let f be h(d). Is -1/2 equal to f?
False
Let t = -5 + 7. Let v = t + -4. Let h be 1/3*6/(-10). Which is greater: h or v?
h
Suppose 5*f = -2*k - 1, -4*k = -0*f - 3*f + 15. Are f and -1/15 nonequal?
True
Let u be (-2)/5 + (-2)/(-5) + -1. Let f be (-86)/(-6) + (-8)/(-12). Which is smaller: u or f?
u
Let r = 108 - 108. Which is smaller: -0.27 or r?
-0.27
Let v be (-14)/(-12) + ((-11)/3 - -3). Let p be 249/27 + (-4)/18. Let i be (6/(-4))/(p/(-12)). Is i at least v?
True
Suppose -2*i + 2 = -i. Is i bigger than 2?
False
Let u = 9 + -9. Suppose 2*s + 2 = -2*o, -5*o - 2*s + 3*s + 1 = u. Which is smaller: o or 2/3?
o
Suppose 4*m = -7 - 1. Let f be (2/3)/(m/(-3)). Which is greater: f or -0.3?
f
Let s = -15.81 + -0.19. Let j = s - -15. Which is greater: j or 2?
2
Let a(l) = 2*l - 7. Let n be a(5). Suppose -n*h + 7*h - 12 = 0. Suppose -5*s = d - 7, -h = 3*s - 6. Which is smaller: d or 5/6?
5/6
Let t = -1/74 + -65/666. Which is smaller: t or 0?
t
Suppose 0 = 4*o - 2*x - 4, 3 = 2*o + o - x. Let z(n) = n**3 - 2*n + 1. Let i be z(o). Which is bigger: -3/7 or i?
i
Let x(r) = 3*r - 8. Let u be x(5). Let m be -1 - 1 - (6 - u). Is -4/5 greater than m?
True
Let d = 47 + -47. Is -6/71 at most as big as d?
True
Let a be (-175)/(-42) + (-1)/6. Suppose a*h + h + 5 = 0. Let y be (-3 - (-1 - -1))*h. Is y bigger than 5?
False
Let f = -4 + 8. Suppose 15 = 2*r + 3*r. Is r >= f?
False
Let x(o) be the first derivative of -o**3/3 + 4*o**2 - 4*o + 1. Let j be x(7). Let b be ((-3)/((-9)/j))/(-1). Is 0 greater than or equal to b?
True
Let l be (3 + 8/(-4))/(-3). Let p = 0.05 + 2.95. Are l and p non-equal?
True
Let w be ((-4)/14)/((-4)/(-2)). Suppose 0 = u - 1. Which is greater: u or w?
u
Let n = 11 - 4. Suppose 2*q = n - 1. Let p be (-20)/(-16)*q/10. Which is smaller: 1 or p?
p
Suppose m - 5*f - 5 - 3 = 0, 7 = 3*m + 2*f. Is 3 equal to m?
True
Let r = -3 - -3.4. Let v = 23 + -22.5. Let i = v - r. Is i greater than 1/10?
False
Let p = 12 - 14. Which is greater: -4/3 or p?
-4/3
Suppose 0*x + x = j + 11, -5*x + 50 = -4*j. Let b be (-2)/(-5) - x/15. Is b at least as big as 3/5?
False
Let l be 87/102 - 2/4. Let g be 4 + (1 + 1 - 5). Which is smaller: l or g?
l
Let g = 0.1 + -12.3. Let s = g + 12. Is -4 less than s?
True
Let o = -0.08 + -0.02. Let s(c) = -c**3 - 6*c**2 - 5*c - 1. Let y be s(-5). Is o at most y?
False
Let k = 22 + -22. Is k at least -3/19?
True
Let s(g) = g**3 - g - 1 - 1 + 2 - 8*g**2 + 9. Let k be s(8). Is 4/5 at most as big as k?
True
Let l be (1/3)/(-2 - -1). Is l less than -1?
False
Suppose 29*f - 75 = 24*f. Is f at most as big as 3?
False
Let h = 23 + -23. Is h >= -2/99?
True
Suppose -4*r = -a + 256635, -2*a - r = -0*r - 513270. Let i = 1799391/7 - a. Let u = 420 - i. Is u smaller than -1?
False
Let i = 0.5 - 0.6. Let p = -0.3 - i. Let x = p + 0.3. Which is smaller: 2/29 or x?
2/29
Let z be 34/(-14) - (-1 + -1). Which is greater: 1 or z?
1
Let a = 0 - 1. Let d = -0.06 + 2.06. Is d less than a?
False
Suppose -2*d = 3*d - 15. Suppose -2*g - t + 6*t + 6 = 0, 0 = t. Is g less than d?
False
Let a = 10 + -7. Let u = a + -2. Let g = -0.9 - 1.1. Which is smaller: g or u?
g
Suppose 2*l - 386 = 4*l. Let b = l - -1739/9. Suppose -3*q - 13 = 2*m - 0*q, 2*m + q = -3. Which is greater: b or m?
m
Let f = 5 - 9. Let u = -443 + 442. Which is greater: u or f?
u
Let a = -0.144 + 0.044. Which is greater: 4/11 or a?
4/11
Let d = 0 + 3. Let l be d/(-5) + 16/(-40). Let m be (6/(-22))/((-3)/(-2)). Which is smaller: l or m?
l
Suppose 5*y - 10 = -35, 0 = 2*t - y + 1. Let q(n) = 3*n**3 + 2*n**2 + 2*n + 1. Suppose 1 = -2*z - 1. Let g be q(z). Which is bigger: g or t?
g
Let q = -1/3671 + 554331/36710. Let z = q - 31/2. Is 1 bigger than z?
True
Let n be 11*(-2 - 12/(-4)). Let c = n + -9. Let w = 7 - 4. Which is bigger: c or w?
w
Suppose -k = c + 2*c + 5, 32 = -4*c + 5*k. Is -1 greater than c?
True
Let t = -11 + 6. Let x = t + 5.7. Which is smaller: x or -1?
-1
Let h(b) = 2*b - 5. Let k(f) = f - 3. Let q(p) = -2*h(p) + 5*k(p). Suppose 2*y = -2*z + 3*z + 11, 2*z = -5*y + 14. Let w be q(y). Which is smaller: -2 or w?
-2
Let y = 11 + -12.4. Let s = y + 1.31. Let r = s - -0.09. Are -0.7 and r equal?
False
Let t(o) = 2 + 5 - o + 3. Let n be t(8). Is n != -1?
True
Suppose -3*u - 3*r - 6 = 0, 0 = 5*u + 3*r + 7 - 1. Which is smaller: 3/17 or u?
u
Suppose -2 = -2*r - 6. Let z be (-4)/r*(-12)/(-8). Let w be (1*(-1)/(-1))/z. Is -1 greater than w?
False
Let v = -891/5 + 547/3. Let z = -19/5 + v. Which is smaller: 1 or z?
z
Let m be ((-12)/(-110))/(36/(-45)). Is m > 0?
False
Suppose -3*f = -5*t + 25, -3*t = 5*f + t - 20. Suppose f = 5*w - 2*w + 15. Is w smaller than -4?
True
Let g = 64/51 - 21338/17085. Is g greater than or equal to -1?
True
Let x = 1/150 + 62/75. Which is smaller: x or 0?
0
Suppose -2*s = 2*o - 2 - 16, 2*s - 3*o - 23 = 0. Let b be (-8)/5 - 4/s. Let z be (4/(-10))/((-2)/(-10)). Are b and z unequal?
False
Let k be (-19)/(-4) - (-18)/(-24). Suppose 2 = -3*j - k*i - 7, 5*j + 1 = -2*i. Which is greater: j or -1/14?
j
Suppose -2*l - 17 = -3. Which is smaller: l or -4?
l
Let p = -2 + 4. Suppose -p = -2*a - 0. Let i = -27 + 53/2. Is i > a?
False
Let s be 3 + 35 + -1 + -1. Let u be (16/s)/(10/3). Suppose 0 = -2*p - 2*p. Which is smaller: u or p?
p
Let i = 4.8 - 5. Which is smaller: i or -1/2?
-1/2
Suppose k = -2*k. Let j = k - -5. Let w be ((-2)/j)/((-3)/(-15)). Which is smaller: 1 or w?
w
Let g(r) = -r + 13. Let s be g(7). Suppose s*c + 12 = -3*w + 3*c, -2*w - 12 = 3*c. Let u = 0.5 + -0.3. Are w and u non-equal?
True
Let x(w) = w**2 - 9*w - 10. Let a be x(10). Let y be (0 + a)*(-1)/(-3). Which is smaller: -2/7 or y?
-2/7
Let x = 55/3 - 18. Let g = -2 - -1.7. Let q = g + 0.6. Which is smaller: q or x?
q
Let t = -124.1 - -124. Is 0.056 >= t?
True
Let y(w) = -2*w**3 - 4*w**2 - 4*w. Let h be y(-3). Suppose h = 4*g - k, 4*g + g - 32 = 4*k. Let o = 4 - g. Is o at most as big as -4?
True
Suppose -c = -j + 1, -5*j = -0*j + 3*c + 19. Let w(z) = -6 + 2 + 9*z + 0*z**2 - z**2 - 2*z. Let n be w(6). Which is greater: n or j?
n
Suppose 0 = -5*r + 5*l + 2 - 22, -5*r = 5*l - 30. Suppose q + 2*n + 9 = -0*n, -2*q - 3*n - 13 = 0. Are q and r non-equal?
False
Let s = 0 + 2. Let h = 9 - 7. Suppose 11 = 5*n - 4*q, 3*n + h*q + 2 = -9. Which is bigger: s or n?
s
Let t = -0.6 + 0. Let u = 0.5 + t. Let c = u - 0. Which is greater: 0 or c?
0
Let t(m) = 9*m - 61. Let u be t(7). Is u > 24/17?
True
Let h = -0.81 + 0.8. Let g = 0.01 + h. Let s = -2 - -3. Is g less than s?
True
Let s(w) = -3*w + 2. Let q be s(4). Let h = q - -12. Is 5/7 <= h?
True
Let s = 365973 - 28546619/78. Let x = -110/13 - s. Which is greater: 0 or x?
x
Suppose -d - 3 + 1 = y, 0 = -d - 2. Is y less than or equal to 2/157?
True
Let s = 69/176 - 5/11. Which is smaller: s or 1?
s
Let s be -1 + (-2 - 69/(-27)). Let f(u) = -u - 9. Let z be f(-8). Is s smaller than z?
False
Let c = -65 + 847/13. Let d(v) = -v**3 - v**2. Let g be d(-1). Which is greater: g or c?
c
Let w = -1 - -4. Suppose 4*p = c + 2*c - 2, 0 