 bigger: k or r?
r
Suppose -4*a - 36 = 2*a. Which is greater: 3/4 or a?
3/4
Let h be 9/(-27) - 23/(-63). Is 0 < h?
True
Let j = 0.58 + -0.48. Which is smaller: 2/29 or j?
2/29
Suppose -2*x + 16 = -0*x. Which is smaller: x or -3?
-3
Let n = 19/4 - 5. Let x = 1 - 1. Which is bigger: n or x?
x
Suppose 0*u = -2*u - 18. Which is bigger: -10 or u?
u
Suppose m + 14 = 4*p, -2*m + 33 = m + 3*p. Suppose 5 = 3*q - 2*q. Are q and m non-equal?
True
Let b(v) = 4*v**2 - 2*v. Let q be b(2). Let x be (72/(-5))/(q/80). Let h be (-2)/7 + x/(-189). Which is greater: 1 or h?
1
Let r(s) = s**2 - 6*s + 5. Let t be r(6). Suppose 0 = -y + t - 1. Let f = -5 - -8. Is f at most as big as y?
True
Let t = 23 + -23. Suppose -12 = -t*u - 2*u. Is u > 6?
False
Let o = -23 - -23. Is 0.01 bigger than o?
True
Let a be (0/4 - -1)*0. Let y be -2 - ((-48)/(-20))/(-2). Does y = a?
False
Let g = -17 + 7. Is g less than -9?
True
Let o = 0 - 0. Let j = 107/2 - 4169/78. Let i = j - -3/26. Are i and o nonequal?
True
Let q = 10034/7 + -1422. Which is smaller: q or 10?
10
Let g(h) be the first derivative of h**4/4 + 5*h**3/3 + 2*h**2 + 5*h - 1. Let k be g(-5). Let q be ((-4)/(-70))/((-3)/k). Is q > -2/3?
True
Let s = -8.9 - 1.1. Let l = 0.3 - 1.3. Is s less than l?
True
Let d be (-4)/(-5)*(-20)/(-72). Which is smaller: d or -1?
-1
Let a be (0*(-4)/(-8))/2. Is a > 2/7?
False
Let m be 2/(1/(-1))*(-3)/(-24). Which is smaller: 1/4 or m?
m
Let p = 0.05 + 0.05. Let q = -0.1 - p. Let z be 1*(16/6 + -3). Is z less than or equal to q?
True
Let w be (4 + -3)*(-5 + 4). Suppose 4*v + 0*v = 0. Let z = w - v. Do z and -3 have the same value?
False
Let b be 0/3*((-2)/(-4))/1. Which is smaller: 2/19 or b?
b
Suppose -2*x - 5*i + 18 = 0, 4*x + 5*i + 9 = 25. Which is bigger: 3 or x?
3
Let x be (3 - -1)*(-4)/(-16). Let p be x + -1 + 4 + -2. Let l be (-6)/8*2*p. Which is smaller: l or -2?
l
Suppose -5*p = -3*p + 2. Suppose -2*s - 11 + 9 = 0. Is p smaller than s?
False
Let p = -9 - -8. Is p at most as big as -1/88?
True
Let q = 5 + 0. Let t(s) = -s**3 + 6*s**2 - 5*s - 1. Let v be t(q). Let a = v - -1. Which is smaller: a or 4/3?
a
Let z(k) = 3*k + 6 - 3*k - 2*k + 5*k. Let h be z(-5). Is h less than or equal to -0.1?
True
Let j = -0.2 - -0.2. Let w = -1 + j. Is w < -1.1?
False
Suppose -3*b - 3*y + 9 = -6, 0 = 2*b + 4*y - 6. Let r be b/(-21) + 38/78. Is r <= -1?
False
Suppose -2*x = -i - 2*i + 1, 0 = -5*i - 4*x + 9. Let o = 26171/39 + -671. Is o greater than or equal to i?
False
Let h = -3.783 - -0.783. Let i be (-244)/18*(-6)/4. Let c = i - 21. Which is smaller: h or c?
h
Let v = -13 + 18. Suppose 0*u = -5*u + v. Is u greater than -2/7?
True
Let y = 4.06 - 0.06. Let v = -3 + y. Which is bigger: v or 2/11?
v
Let j(x) = x**3 - 2*x**2 + 1. Let m = -5 + 11. Suppose y + m = -4*b - 9, 2*b = 2*y - 10. Let f be j(y). Which is greater: -1/3 or f?
f
Let g(j) = -2*j**2 - 6*j + 8. Let d be g(-7). Let l be (2 - d)*(-32)/(-9). Let p = 178 - l. Is p at least as big as -1?
True
Let m = -0.8 - -1.6. Let p = m + 4.2. Let f = p - 5. Are f and -1 unequal?
True
Let l = 15/49 + -446/1617. Suppose -2*k = -1 + 3. Are l and k unequal?
True
Let o = 4 + -3.848. Let a = -6.852 + o. Let v = a - -7. Is v greater than 0.1?
True
Suppose t + 2*t = 432. Is t less than or equal to 145?
True
Let p = -0.288 - -0.088. Is 12 != p?
True
Let u = -10/11 - -17/55. Let c = -56 - -56. Is c at least as big as u?
True
Let j = 110021/13 + -8459. Let r = j - 322/65. Which is smaller: 0 or r?
r
Let z = 0.3 - 0.2. Let k = z + -0.3. Let n = k + 0.3. Is -3 > n?
False
Let y = -0.3 - -1.7. Let i = y - 0.4. Let v be (2/20)/((-2)/(-8)). Which is bigger: i or v?
i
Suppose -2*r = -3*x - 16, -2*x = 2*r - 7*r + 29. Which is smaller: x or -1?
x
Let v = 63 + -72. Which is smaller: v or -10?
-10
Suppose -5*t + 4 + 1 = 0. Let s be (-3 - 7/(-2))*4/30. Is s != t?
True
Let g = -10 - -11. Are 12/11 and g non-equal?
True
Let j be ((-6)/(-2))/(1 + 0). Suppose -d + j = 4. Which is smaller: d or 1/3?
d
Suppose -5*n = -c - 2, -4*c = 4*n - 6 - 10. Let f be (1/3)/(2/c). Is 4 bigger than f?
True
Let b = -1807/44 + 165/4. Which is greater: b or 1?
1
Let a = 19 + -20. Which is smaller: 0.02 or a?
a
Suppose 38*j = 36*j. Which is bigger: 4/15 or j?
4/15
Let v = 21 + -18. Which is smaller: -0.1 or v?
-0.1
Let n be 3 - ((-120)/(-38) + 0). Which is smaller: -1 or n?
-1
Let b = 5.97 - 6. Let s = b + 0.03. Which is bigger: -2/7 or s?
s
Let d be (-4)/(-6)*(-6)/10. Suppose -3*n = 5*g - 25, 3*n + 3*g - 20 = -g. Which is greater: n or d?
n
Let i be ((-149)/(-5))/((-12)/36). Let d = i - -90. Let k = -1 + 2. Are d and k nonequal?
True
Let p(o) = o**2 - 24*o + 12. Let i be p(24). Is 12 < i?
False
Let p be (-1)/2*(1 - (-33)/3). Which is bigger: p or -7?
p
Let k = 2 - 3. Let z(r) = -r + 4*r + 1 - r. Let n be z(-1). Do k and n have the same value?
True
Let p(d) = d**3 + 3*d**2 - 2. Let x be p(-2). Suppose 0 = -l - 4 + x. Is l equal to -2?
True
Suppose 0*x + 15 = 5*x. Do x and 3/2 have different values?
True
Let s be 0 - (2 - (2 - 1)). Let w be ((-15)/(-9) - 2)*s. Which is smaller: w or 1?
w
Let j be 30/249*6/10. Is j smaller than 1?
True
Let n = -2 + -2. Let y = 1 + n. Which is smaller: 0.2 or y?
y
Let m be 2/(-8) - (-3)/12. Let p be 1 + (-2 - 1 - -3). Which is bigger: m or p?
p
Let y(m) = -m**3 + 7*m**2 + 9*m - 9. Let u be y(8). Suppose o = -o. Suppose 0 = l + 5 - o, -2*f + 16 = -4*l. Which is smaller: u or f?
f
Let s(j) be the second derivative of -j**3/6 - 3*j. Let r be s(-2). Let t = r - 5. Is -3 less than or equal to t?
True
Let v = -0.25 + 0.05. Is 1/2 bigger than v?
True
Suppose 4*h - 3*v = 5, -h - h = v + 5. Let l = h + 1. Is -1/4 less than or equal to l?
True
Let f be 16*-10*(-1)/76. Let c = f - 284/171. Which is greater: 1 or c?
1
Let m be (-60)/(-14) - (-8)/(-28). Suppose m = -4*i, -3*i = 4*h + i + 8. Which is greater: -2 or h?
h
Let l = -0.1 - -1.1. Let q = l + -0.8. Let b = 0 - 1. Which is smaller: b or q?
b
Let x be -2 - (-7)/(3 - 2). Let r be ((-3)/(-4))/(3 - x). Is r > 1?
False
Let q(i) = 4*i. Let z be q(-2). Let n = z - -11. Suppose -8 = -n*t + 4*t. Is t < -7?
True
Suppose 2*h + 1 = -p + 6, -3*p = -h - 15. Suppose 0 = -h*i - 4*i - 4. Is -2 >= i?
False
Let t be ((-1)/(-3))/((-12)/36). Is -1/18 not equal to t?
True
Let j be 2/(-6)*(2 - 2). Suppose 5*d + 5 + 0 = j. Let i = -95/4 + 24. Which is greater: i or d?
i
Let x = -8 + 13/2. Let p be 3 + (-5)/((-10)/6). Suppose -1 = 4*a - o + 1, -p = 4*a - 3*o. Are a and x nonequal?
True
Let l be 5255/(-50) + (-1)/(-2). Let i = l - -104. Is i >= -2?
True
Let r(p) = -p + 4. Let v be r(4). Suppose 2*c + 0*c = v. Which is smaller: c or 3/5?
c
Suppose 16 + 12 = 2*n. Suppose -3*q - 2*b = -42, -3*b - 2*b = 4*q - 56. Are n and q nonequal?
False
Let z = 0.05 - 10.05. Let w = z - -9. Is w at most 2/3?
True
Let d = 22.82 - 23. Let j = d - 0.12. Suppose -1 = 4*n - 5*n. Which is smaller: j or n?
j
Suppose u - 4*n = -3*n - 3, -4*n = -8. Is 3/31 at least as big as u?
True
Let t = 4.02 - 0.02. Let b = t - 2. Does b = 1?
False
Let m = 4.4 - 4. Is -0.1 less than or equal to m?
True
Suppose -4*w = 5 - 37. Is 9 greater than w?
True
Let n = 60 + 17. Let k be 47/n - 33/77. Which is bigger: 1 or k?
1
Let n(a) = a**2 - 6*a. Let m be n(5). Let w(b) = 5*b. Let d be w(-1). Is m greater than d?
False
Let c be (-5)/2*(-64)/20. Which is smaller: 0 or c?
0
Let y = -2 - -1. Let t be (y - 0)*(-3 + 7). Is -4 at most t?
True
Let n = -0.59 - -0.69. Is 2/45 <= n?
True
Let l = 20 + -16. Let t = l + -5. Let s(z) = 2*z**3 - z. Let u be s(1). Which is smaller: t or u?
t
Let k(t) = -t**2 - 4*t - 3. Suppose 0 = -s - 0*s - 3. Let l be k(s). Which is bigger: l or 1/6?
1/6
Let c be 1/(-2)*(0 - 0). Suppose 2*d + 3*m + 22 = 0, m + 1 - 2 = d. Which is smaller: c or d?
d
Let o = 20 - 21. Which is bigger: -0.3 or o?
-0.3
Suppose 3*o + 70 - 385 = 0. Let z be 1*(-7)/(o/6). Which is greater: z or 1?
1
Let c = -10.93 + -0.97. Let w = 12 + c. Let u be 48/(-22) - -1*2. Is w at most u?
False
Let u be (0 - 8)*1*-2. Which is greater: 19 or u?
19
Let a = -2/235 - -243/940. Is -1 > a?
False
Suppose 3*u = -3*i, -4*i + 5*u + 9 = -0*i. Suppose -i + 5 = x. Suppose -x*t - 3 = 1. Which is smaller: t or -3/4?
t
Let g = 1 - -3. Is 4 > g?
False
Let n(d) = -d + 7. Let m be n(5). Let f be (2/(-4))/((-1)/(-8)). Let w = m