bigger than d?
True
Let w = -16.7 - -17. Which is smaller: 3 or w?
w
Let f = 0.6 + -0.5. Let c = f - -0.7. Let g = 0.6 - c. Which is bigger: g or 2?
2
Suppose -3 = 3*d, 19*v + 5*d = 18*v - 6. Which is smaller: 1/5 or v?
v
Suppose 5*x = -13513 + 3543. Let t be x/10 - (-6)/15. Let o = -1396/7 - t. Are -1 and o equal?
False
Let w(z) = 2*z**2 - 20*z + 9. Let j be w(9). Is j less than or equal to -7?
True
Let n = -92 + 98. Which is smaller: 9 or n?
n
Let g = -20 - -76. Let n = g - 166/3. Is 1/6 less than n?
True
Suppose -18 = -b - 0. Which is greater: b or 17?
b
Let d be ((-9)/(-2) - 4)/(2/48). Which is greater: d or 11?
d
Suppose 13 = 4*v - 11. Let p be v/4*1/20. Let r = p - -31/120. Which is smaller: r or -1?
-1
Let z(y) = -y**3 - 8*y**2 + 2*y + 9. Let a be z(-8). Which is bigger: a or -5?
-5
Let y be (-2)/3*(0 - 78). Are 52 and y unequal?
False
Suppose -i - 5*k - 10 = 4, -6 = 3*i - 3*k. Which is smaller: -5 or i?
-5
Let z be (-4)/22 + 1293/33. Is z bigger than 39?
False
Suppose t = -2*k - 1, -t + 0*t - k = -3. Let h be -1 - (-2 + 8/t). Which is greater: h or 1?
1
Let k = 14 - -7. Which is bigger: k or 22?
22
Let k = -2.1 - -1.1. Let m = -0.1 + 0.5. Is m at least as big as k?
True
Let g be 0/(-2) + 4 + -2. Suppose 137 = g*t + t - f, -t + 2*f = -39. Let w = t - 91/2. Is w at least 2/3?
True
Let z = -110 - -108.43. Let n = -1.5 - z. Let s = -0.03 - n. Is s bigger than -5?
True
Let k(w) = -w - 8. Let u be k(-8). Let o be (3/(-6)*u)/2. Suppose 0*b + b = -5*h + 4, -3*b - 3*h = o. Which is smaller: b or -3?
-3
Let y = 5 + -5. Let i = y - -2. Which is bigger: 6/11 or i?
i
Suppose 5*q = q + 4. Let n = -85 - -937/11. Which is smaller: q or n?
n
Let u = -6 - -13. Suppose 0 = 6*v - 9*v + 24. Is u at most as big as v?
True
Let z = 1.8 + -4. Let r = 1.3 + z. Is -1 less than or equal to r?
True
Let g be (-2 + -63)/5 - -3. Is g bigger than -26/3?
False
Let t = 23 + -26. Let d be (4/(-5))/(2/(-5)). Suppose 0 = -0*y + 2*y + 2*i - 4, -4*i + 26 = -d*y. Is t not equal to y?
False
Let z be (-1 + 12/20)*-15. Let n(o) = -o**3 + 5*o**2 + 5*o + 5. Let d be n(z). Is -1/3 greater than or equal to d?
True
Let x(i) = -4 + i - 4*i**2 + 3*i**2 + 5 + 1. Let d be x(0). Is 3 greater than d?
True
Let g be 32/208 - (-67)/(-182). Which is greater: 1 or g?
1
Let a = 22 + -20. Is a greater than -1.9?
True
Let c(m) = 4*m**2 - m. Let n be c(-1). Let u = n - 5. Let s be 29/69 + (-1)/3. Is s less than u?
False
Suppose 4*h - 146 = -5*a, -3*a - 5*h + 98 = -0*h. Let c be 2/9 - a/(-126). Which is bigger: -0.1 or c?
c
Let m = 5/39 - -7/13. Let x = -2.8 + -0.2. Which is smaller: x or m?
x
Suppose -y - 3*y = 0. Let t = -5/611 + 4/47. Which is bigger: y or t?
t
Let c = -37 + 40. Let n = 1 - -1. Is c at most as big as n?
False
Let g be ((-64)/40)/(2/(-5)). Is 5 bigger than g?
True
Suppose -4*x - 4*z - 7 = -3, 5 = -5*x - 2*z. Which is smaller: -4/7 or x?
x
Let w = -14 + 11. Let m be (-25)/15 + 1/w. Is m less than -2?
False
Suppose 0 = -a - 4*a. Which is bigger: -3/8 or a?
a
Let f = 7/10 + -1/5. Is f less than 2?
True
Let z = 0.84 + -1.91. Let g = -0.07 - z. Let p be ((-3)/14)/((-9)/(-12)). Which is bigger: p or g?
g
Let j(h) = -h**3 - 3*h**2 - 3*h - 2. Let x be j(-2). Let y be 0 + -2 - (0 + x). Let o be 0/(y/(1/(-1))). Is 2/3 greater than o?
True
Let l be (-2)/(-18)*3 - 0. Which is bigger: -0.09 or l?
l
Let b = 1.4 + -1.1. Are -0.4 and b equal?
False
Let n = -13.67 - -14. Which is greater: -0.1 or n?
n
Suppose 7*q - 3*q + 24 = 0. Let s = q - -11. Which is bigger: 7 or s?
7
Let f(s) = 19*s - 1. Let g be f(1). Let h be (-2)/6*g/15. Which is greater: h or 4/9?
4/9
Suppose 3*v = -5*l + 29, l = 2 - 1. Let x(m) = -m**2 + 2*m + 23. Let s be x(5). Is v not equal to s?
False
Suppose -k - f + 10 = 4*f, -k - 4*f = -10. Let u(b) = b - 10. Let a be u(k). Which is bigger: -3 or a?
a
Let i(c) = -c - 17. Let q be ((-4)/10)/(2/60). Let y be i(q). Let n = y + 5. Are n and 0 nonequal?
False
Suppose -5*a = -5*g + 25, 2*g + 3*g + a - 13 = 0. Are 3 and g non-equal?
False
Let h be (410/(-6) - -1)/(-2). Let d = -55 + 21. Let k = h + d. Which is smaller: k or 2?
k
Let v be ((-9)/(-12))/(1/(-12)). Let h = 5 + v. Let k be (-6)/9*(-3)/h. Which is greater: 3 or k?
3
Let c = -2334/85 + 69/17. Let z = -34 + 11. Let s = c - z. Which is smaller: s or -1/4?
s
Let o = 0.5 - 0.3. Let b = 0.2 - 0.4. Let n = o + b. Which is greater: -2 or n?
n
Let n(h) = h + 2. Let i(t) = 2*t + 3. Let p(a) = -2*i(a) + 3*n(a). Let q be p(0). Let g = -7/12 + 5/6. Which is greater: g or q?
g
Let k be (-1 - -2)/7 + (-20)/35. Which is smaller: -1 or k?
-1
Let a = -28 + 13. Let m = -16 - a. Which is smaller: m or 6/5?
m
Suppose 0 = -4*k - 3*p, p = 5*k + 3*p. Let i = 3/229 - 509/3893. Which is greater: k or i?
k
Let f be 1 + 21/(-39) - 0. Let w = 69/65 - f. Which is bigger: w or 1/3?
w
Let z(k) = -7*k + 42. Let c be z(5). Is c smaller than 5?
False
Suppose 0*f - 2*f + 4 = 0. Let s = f - 1. Let q be -7*(2 + (4 - 230/35)). Does q = s?
False
Let h be (-4)/504 - 4/(-18). Which is smaller: -2 or h?
-2
Let b be 0 + -4 - -2 - 0. Let u = -1457/9 - -161. Is b at least u?
False
Let o = -0.07 + 0.18. Let m = 2.89 + o. Which is bigger: 2 or m?
m
Let q be 6/5 - 1/5. Let t be 43/66 - 3/9. Let b = t + 2/11. Is q at least b?
True
Let w be (3/10)/(2/(-4)). Let j(h) = h**2 + 4*h - 32. Let t be j(-8). Which is smaller: w or t?
w
Let b be (-2453)/(12/8*2). Let a = b + 825. Is a smaller than 8?
True
Let j = 2 + -1.93. Let q = j - 0.17. Which is greater: 5 or q?
5
Let s = -17/75 - -3/50. Is -0.2 at most s?
True
Let j = 171 - 183.3. Is j <= 0?
True
Let o(i) = -i**3 - 9*i**2 - 15*i - 3. Let u be o(-6). Is 1/2 at least as big as u?
True
Let z be (-16)/20 + (-6)/(-10). Suppose -4*q - 18 = a, 25 = 3*a + 2*a - 3*q. Suppose 4*c = a*c. Which is bigger: c or z?
c
Let b = -7 + 7.3. Let w = -0.3 + b. Let n = -107/2 + 55. Which is bigger: w or n?
n
Suppose c + 5 = 2*c. Let o = c + -4. Is -1/3 at most as big as o?
True
Let h = 46 - 75. Let s = h + 263/9. Which is bigger: s or 0?
s
Suppose -5*x + 6 = 2*t - 4, -2*t - 2*x = -10. Suppose -5*r + 300 = 5*q, -4*q + 148 + 97 = t*r. Let l = 274/5 - q. Which is smaller: 1 or l?
l
Suppose 4*p - 28 + 108 = 5*a, -5*a + 3*p = -75. Which is smaller: a or 13?
a
Let j = -1 - -6. Suppose -j + 10 = 5*h. Which is greater: -4 or h?
h
Let n(o) = o**2 + 5*o - 2. Let j be n(-6). Let z = j + -2. Suppose m - z = -m. Which is smaller: m or 1/8?
1/8
Let p = -5 - -4.2. Let u = p - -0.7. Which is greater: u or -4?
u
Let j(w) be the second derivative of -w**4/12 + w**3 + w**2/2 + w. Suppose -5*c = -5*p - 5, -c - c + 7 = -p. Let t be j(c). Which is greater: 2 or t?
2
Let b(q) = -q**2 - 11*q - 7. Let m(v) = 3*v - 1. Let i be m(-3). Let h be b(i). Suppose h - 11 = 4*t. Which is smaller: -1 or t?
t
Suppose 4*h - 9 + 1 = -s, -4*s = -4*h + 8. Suppose h*u - 5*b = -20, -3*u + 4*b - 16 = -8*u. Which is bigger: -2/5 or u?
u
Let d = -8 - -6. Let t be (-204)/476 - (-3)/((-210)/124). Which is smaller: t or d?
t
Let v(p) be the second derivative of 0*p**3 + 1/2*p**2 + 0 - 3*p + 1/20*p**5 + 1/3*p**4. Let i be v(-4). Is i bigger than 1/8?
True
Suppose 0*y - 4*g = 3*y + 27, -2*g + 4 = -2*y. Let q = -5 - y. Which is greater: q or 2/7?
2/7
Let z = -3.5 - -21.5. Let p = z + -18. Let y = -5.6 + 0.6. Which is bigger: p or y?
p
Let y be 0/(4/((-2)/(-1))). Which is bigger: y or -3/4?
y
Let z = 18 + -18. Which is greater: 16 or z?
16
Let y(j) = -11*j**3 + 26*j**2 - 26*j - 5. Let o(v) = 7*v**3 - 17*v**2 + 17*v + 3. Let g(d) = 8*o(d) + 5*y(d). Let z be g(5). Let s = z - 3. Is s equal to 0?
False
Let j(o) = -o - 5 + 11*o - o**2 - 7. Let y be j(8). Let p be (-1 + 3 - 1)*5. Is y less than or equal to p?
True
Let b = -35 - -57. Let i = 21.4 - b. Which is smaller: i or 1?
i
Let y be (-4)/(-6)*132/(-8). Are -10 and y equal?
False
Let q = 0 + -0.6. Let t = q - 0.4. Let o = t + 2. Which is smaller: o or -1?
-1
Let c = -1.3 + -0.7. Is 0 >= c?
True
Let n = -5/6 - -1/2. Which is greater: -1 or n?
n
Let n(q) = -q**3 - 2*q**2 - q - 1. Let g be n(-1). Let k be ((-1)/g - 0) + -2. Let w be 1*1/(-3)*2. Which is smaller: k or w?
k
Suppose 3*i + 31 = 2*f + 2*f, 0 = 5*f - 4*i - 40. Let k = f + -3. Which is smaller: k or 0?
0
Suppose 2*m - 2 = -0. Let p be 3/(2 + m)*-4. Suppose g - 4*g - 9 = 0. Is p smaller than g?
