an or equal to r?
False
Let m = 3 - 8. Let j be (-9)/6*m/15. Let c = 1 - 1. Is c greater than j?
False
Let t(r) = -r**3 - r**2 + r + 1. Let b be t(0). Let h be ((-10)/15)/((-3)/9). Which is smaller: b or h?
b
Let i = -0.1 + -0.9. Let n = 3.88 + 1.02. Let o = n + -5. Which is smaller: i or o?
i
Let x = -3 + 13. Let m = 16 - x. Let z be ((-9)/18)/((-6)/4). Which is greater: z or m?
m
Suppose 4*z + 1 = -11. Let h = 1 - z. Let n be 0/((h + -1)/(-3)). Which is smaller: 1 or n?
n
Suppose -4*y = 4*c, -3*y - 25 = -3*c + 5. Let t be -1*(3 + (-8)/c). Are 0 and t nonequal?
True
Let z(h) = -4*h**3 + h**2 - h. Let r be z(1). Suppose -q = -3*x - 7 - 6, 4*q = -5*x - 16. Is x greater than r?
False
Let f(b) = b**2 - b. Let c(t) = -t**3 - 5*t**2 - t - 4. Let k be c(-5). Let g be f(k). Let a = -1/11 - 6/55. Which is smaller: g or a?
a
Let m be (-3)/9 + 5/33. Let f(q) = -q**2 - 6*q - 4. Let g be f(-5). Are m and g equal?
False
Let m = -7 + 2. Which is bigger: -3/5 or m?
-3/5
Let n = -134 - -175. Is n > 40?
True
Suppose -972 = 13*o - 4*o. Is o bigger than -108?
False
Let g be (0 - -2 - 2) + 2. Suppose 12 - g = -2*m. Let h be m/10 - (-26)/36. Which is smaller: h or -1?
-1
Let z = -287/30 - -55/6. Let w = -6 - -12. Let c be (-6)/4*4/w. Is z smaller than c?
False
Let s = 12 - 8. Suppose u + 30 = -s*u. Are -6 and u nonequal?
False
Suppose b - 2 = -1. Let i = 3/8 + 1/8. Which is smaller: i or b?
i
Let h = 107 + -137. Which is greater: h or -29?
-29
Let h be (6/(-4) - -2)*10. Let c = -100/3 + 34. Which is smaller: h or c?
c
Suppose 7*j - 2*j - 20 = 5*s, -5*j - 3*s + 4 = 0. Suppose 0*b - j*z - 4 = 5*b, 6 = 2*z. Let d = 0.9 - 1. Is d equal to b?
False
Let b(r) = 7*r - 19. Let t be b(-4). Is t bigger than -46?
False
Suppose 2*r - 127 = 2*v - 3*r, 3*v - 5*r + 193 = 0. Let s be (-32)/v - (-6)/(-9). Is s greater than or equal to -1?
True
Let d = 2.06 + -0.06. Let y = d - 3. Which is smaller: y or -3/2?
-3/2
Suppose -4*v + 2 + 10 = 0. Are v and 7 non-equal?
True
Suppose -4*y + 7*y = -2*d + 159, 0 = -4*y + d + 223. Let u = y - 163/3. Let r be -3*4/18*1. Which is greater: u or r?
u
Let y = 0.02 + -0.09. Let j = -0.03 + y. Let u be 2/(-4) + (1 - 0). Is u <= j?
False
Let d = 7/32 - 87/544. Let p = 15/34 + d. Which is greater: p or 2?
2
Let u be (-6)/15 - (-4)/10. Is 122 <= u?
False
Let n be -3*2/15*-10 + 0. Which is greater: n or 7?
7
Let r = -837/4066 + -1/214. Which is bigger: 0 or r?
0
Let d be (11*-1)/(5/(-10)). Which is smaller: 1 or d?
1
Let w = 2 - -3. Let m = -95/3 - -31. Is m > w?
False
Let u = 82 - 82.1. Which is greater: u or -7?
u
Let s(p) = p - 4. Let m be s(2). Which is smaller: m or 0?
m
Let c be -3 - (-2 + 2) - -4. Let h be (c*-2)/(1 - 2). Suppose -19 = -h*y - y + 4*a, -5*y - a = -1. Which is bigger: y or 6/11?
y
Let v = -22 - -27. Let u be v/(-70)*(0 + -1). Which is smaller: 0 or u?
0
Suppose -30 = -6*k - 0. Which is smaller: k or 11/2?
k
Let y be (-88)/24 - 1/3. Let a = 4 + y. Which is greater: a or -3?
a
Let l be ((-294)/(-54) + -5)/(2/(-3)). Let r(g) be the third derivative of -g**5/60 + g**3/6 + g**2. Let i be r(1). Which is greater: i or l?
i
Let u be ((-3)/(-14))/((-2046)/(-217)). Which is smaller: 0 or u?
0
Let m be (251/6)/(30/12). Let y = -49/3 + m. Is y at least as big as 0.3?
True
Let v(y) = -y + 13. Suppose 0*l - 4*l + 8 = 0. Suppose 2 = -l*j + 20. Let i be v(j). Which is smaller: i or 0.1?
0.1
Let p(m) = m**3 - 4*m**2 - 5*m + 6. Let f be p(5). Suppose 4*b - d + 27 = 0, 9 = -b + 3*d - f. Is b at most -5?
True
Let a be (23 - -6)*(-7 - -5). Which is smaller: -57 or a?
a
Let k = -59 - -60. Is -0.05 at least k?
False
Let v = 9 + -9. Suppose v*s - 5*s + 15 = 0. Which is smaller: s or 4?
s
Let t(i) = -i**2 - 3*i - 3. Let y be t(-4). Let u be 1*-2 + (-8)/y. Suppose z + 5*j + 10 = 0, -2*j - 4 = 43*z - 42*z. Does z = u?
False
Let h be (-70)/(-18)*(-20)/25. Which is bigger: -4 or h?
h
Let a be (9/6)/((-2)/(-48)). Suppose a = 4*d - 4. Suppose -3*o - 2*o - d = 0. Which is bigger: o or 0?
0
Let h(m) = m - 4. Let r be h(3). Let a = 143 + -55. Let k = a - 266/3. Is k greater than or equal to r?
True
Suppose 10 = 2*x - 2*l, 4*x + x - 2*l - 25 = 0. Suppose 0 = -4*n + 36 - 24. Which is smaller: n or x?
n
Let h be (-4 + 56/12)*3. Let c(n) = 2*n - 3. Let t be c(3). Which is smaller: h or t?
h
Suppose l = 3*r + 65, 0*r + 3*r + 67 = 2*l. Is -20 > r?
True
Let i = 800 + -40802/51. Let u be (-24)/(-84) - (-2)/(-7). Which is bigger: i or u?
u
Let w be -2*-4*(-2)/24. Which is greater: 0.08 or w?
0.08
Let c = 0.4 + -0.2. Which is bigger: 6 or c?
6
Let i = 481 - 3853/8. Let m = i - -19/56. Which is smaller: m or 1?
m
Let q(z) = z - 2. Let c be q(5). Suppose -5*h + 17 = 2, -c*f + h = -12. Suppose f*x = 0, 0 = -y - y - 3*x. Is 0 at most y?
True
Let k(r) = -r**3 - r**2 + 4*r + 2. Let c be k(-3). Suppose -c*v = -5*b - 3*v - 25, 3*b + 25 = 5*v. Which is greater: b or -2/13?
b
Let x(a) = 3*a**2 + a + 2. Suppose 6*o = 2*o - 8. Let j be x(o). Is j equal to 11?
False
Let g be (-6*(-27)/(-60))/(15/40). Which is bigger: -6 or g?
-6
Suppose -5*d = 103 - 3. Let k be d/48*(-2)/5. Is k less than -1?
False
Let f = 187.3 - 177.39. Let t = f - 10. Are t and 0 unequal?
True
Let l be ((-4)/(-8))/(4/(-8)). Which is smaller: l or -2/21?
l
Let r = -7 - -11. Let a = -7 + r. Suppose -2*h - 18 = 4*x, -3*h + 4*h + 12 = -3*x. Is a smaller than x?
False
Let u = 0.29 + -0.3. Suppose 0 = -5*r - 11 - 14. Let w be r/(-2)*8/(-40). Is w greater than u?
False
Let y = -0.226 + 0.126. Are -1.3 and y equal?
False
Let o be -2 - (-5 - 4/2). Suppose 4*h - 3*l = 24, -4*h + o = -l - 11. Suppose -5*q - z + 5 + 1 = 0, -3*q + 5*z = 2. Which is greater: q or h?
h
Let q = 13/8 + -43/24. Is q less than or equal to -1?
False
Let n = 1 - 0.9. Let l = -6.06 - -6. Let d = 0.06 + l. Which is greater: d or n?
n
Let s(g) = g + 8. Let v be s(-3). Is v bigger than 4?
True
Let p = -12353/85 - -1624/17. Let w = -50 - p. Is w at least as big as 1?
False
Suppose 4*l + 9 = -23. Let g(q) = -q**2 - 9*q - 8. Let z be g(l). Is z less than 2/9?
True
Let h be (-6)/4*16/(-12). Let r be ((-12)/(-8))/(h/(-4)). Let l(m) = -4*m**2 + 2*m - 1. Let z be l(1). Is r at least z?
True
Let g be (1/6)/((-3)/56). Let y = g - -232/63. Which is smaller: 0 or y?
0
Let u be (-36)/(-234) + (-15)/13. Which is smaller: -14/19 or u?
u
Let t = 519/10 - 52. Let c(p) = -7*p**2 + 3. Let s(m) = 3*m**2 - 1. Let l(g) = -2*c(g) - 5*s(g). Let b be l(0). Which is smaller: t or b?
b
Let j = -2961/37 + 80. Is 0 bigger than j?
True
Let p(m) = -m**2 - 10*m + 1. Suppose 4*n + 30 = -10. Let q be p(n). Let g = 3812/11 - 346. Which is smaller: g or q?
g
Suppose -2*f + 4*f + 2 = 0. Let d be (-2 - -3) + (-3 - 0). Which is smaller: f or d?
d
Let k = 1.11 + -1.1. Let x = k + 0.29. Which is bigger: x or 2/3?
2/3
Suppose 12*q - 16*q = -12. Let b be (-4)/10 - (-12)/(-45). Are b and q non-equal?
True
Let o = -4 + 6. Suppose -o*m + 5*m = -3. Which is smaller: m or -2/7?
m
Let p = 6617/1428 - 81/17. Let c = 8/21 + p. Is c at least -11?
True
Let g = 1 - -3. Suppose -p + 12 = g. Is 8 bigger than p?
False
Let f(l) = 37*l - 71. Let v be f(6). Is v at most as big as 152?
True
Suppose a = -8 + 2. Let g(v) = v**2 - 1. Let b(z) = -z**3 - 10*z**2 - 5*z + 9. Let t(p) = b(p) + 3*g(p). Let s be t(a). Is -1 <= s?
True
Suppose -26 - 150 = -11*q. Which is greater: 15 or q?
q
Let u = 4 + -2. Let k be -1 + 1 + 3/3. Let v be 4 + 0/k + -1. Is u greater than v?
False
Suppose 4*l + l = 4*r + 10, 4*l - 8 = r. Do -2 and r have different values?
True
Let v = -9/43 - 66/301. Let q(s) = s**3 - 2*s**2 + s - 1. Let k be (-18)/(-16) - (-5)/(-40). Let o be q(k). Which is greater: v or o?
v
Suppose 5*s - 10 = -4*z, 5*z - s - 2 = -2*s. Suppose z = -t - 2*t + 12. Which is bigger: t or 3?
t
Let a(p) = 7*p**2. Let l be a(1). Suppose -4*b - 28 = -4*z, 2*b - 39 = l*b - 3*z. Is b smaller than -10?
False
Let a be 2 - 0 - (5 - 0). Let u(m) = m**3 - 3*m**2 - 4*m. Let f be u(4). Suppose 11 = -3*r + b, f = r + 3*b - 3 - 0. Are r and a unequal?
False
Suppose b - 5*n - 16 = 0, -17 = -4*b - 3*n + 1. Let i be ((-1)/3 + 1)*b. Suppose -i*o + 4 + 8 = 0. Which is greater: o or 1?
o
Suppose 0 = 5*h + 2 - 27. Suppose h = r + 4. Is r < -1/5?
False
Let b = -99 + 98. Is 1/50 <= b?
False
Suppose 38 = 5*c - 2*f, -5*c + 10 = 3*f - 8. Let u be ((-4)/c)/