r: m or -3?
-3
Suppose 2*o - 2*m = 22, -m + 0*m + 37 = 5*o. Suppose o = r + r. Suppose k + 5 = r. Which is smaller: k or -2/15?
k
Let c = 0.01 + 0.05. Let z = -0.46 + c. Which is smaller: 2/7 or z?
z
Let c = -272/5 - -54. Let u be (-1)/2 - 25/10. Let o be 1/((0 + 3)/u). Which is bigger: o or c?
c
Let x = 27 + -24. Which is bigger: x or -0.2?
x
Let v = -17 - -12. Let g = v + 4. Which is smaller: -12 or g?
-12
Let n = 29 + -9. Let i = n - 20.2. Which is smaller: i or 1?
i
Let u = 4 - -2. Let g(c) = -c - 2. Let t be g(-7). Is u greater than or equal to t?
True
Let z = -1/11338 - 2868509/56690. Let c(o) = -10*o + 1. Let x be c(-5). Let g = z + x. Which is bigger: 0 or g?
g
Let m be (-8)/28*5/10. Which is bigger: -1 or m?
m
Suppose -4*l = -2*b + 4, -11 - 5 = -3*b - 4*l. Suppose -2*v = -9*v + 7. Which is greater: v or b?
b
Let v be 1 - -1 - (3 - 1). Let n = 0.1346 - 0.0146. Is v at least as big as n?
False
Let m = -22 - -21.4. Let j = 0.7 + m. Which is bigger: j or 2/7?
2/7
Let u = -51 + 49. Let g = 1 - 4. Which is greater: g or u?
u
Let w(a) = -8*a - 40. Let c be w(-5). Which is greater: c or 3/41?
3/41
Let q = 330110 + -218202802/661. Let n = -435398/3305 - q. Let z = n - -132. Which is bigger: z or 1?
1
Suppose -l + j = -4, 2*j = 4*l - 0*j - 8. Is l greater than -2?
True
Let y be (-88)/(-20) - (-6)/(-15). Suppose k - 5 = -y. Let t be k + 0 - 8/2. Is -2 greater than t?
True
Suppose -3*w = 2*w. Let h be 26/10 - 4/(-10). Suppose 3*o = -h - 0. Is o at most as big as w?
True
Let c = -84 - -48. Let i be c/16 + 4 + -3. Which is bigger: i or 0?
0
Let k(w) = 2*w + 5. Let i be k(5). Let o be i/(-5)*1/(-1). Which is bigger: o or 2?
o
Let h(g) = -2*g**3 + 3*g**2 - 3*g - 1. Let d(m) = -m**3 - m**2 - 1. Let s(o) = d(o) - h(o). Let n be s(3). Which is smaller: 2/5 or n?
n
Let a = -108 - -33. Which is greater: a or -76?
a
Let l be 1/(-32)*(-3)/15. Let w = 643/480 - l. Suppose -5*j = 2*h + 10 - 32, 2*h + 4*j = 18. Are w and h non-equal?
True
Let r be (-4)/10*15/6. Let p be (-2)/6*(-30)/(-8). Which is smaller: p or r?
p
Suppose -3*r + 9 + 6 = 0. Let w(a) = 7*a**3 - 2*a**2 - 3*a + 1. Let o(u) = 36*u**3 - 11*u**2 - 16*u + 6. Let p(j) = 2*o(j) - 11*w(j). Let k be p(-1). Is k > r?
False
Let r(h) = -h**3 - 4*h**2 - 2*h + 6. Let o be r(-3). Is o != -7?
True
Suppose -6*f + 5*f = -5. Suppose 2 = k + f. Let t be ((-2)/20)/(k/12). Is 5 smaller than t?
False
Let o = 0.12 + 0.38. Let k = o - 0.6. Is k smaller than 20?
True
Suppose 0 = k - 0*k. Suppose 2*y + k*y - 20 = 0. Let n be 5/y*(-4)/10. Is n less than -1?
False
Let c = 5.8 + -1.8. Let l = -3.9 + c. Which is smaller: l or 0.09?
0.09
Let c = 3 + -5. Let a be (4/4)/(2/c). Let f(m) = -2*m + 1. Let o be f(a). Is o not equal to 2?
True
Suppose 15*w = -99 + 9. Which is greater: -4 or w?
-4
Let k(l) be the third derivative of l**6/120 - l**5/60 - l**4/6 + l**3/6 + 3*l**2. Let x be k(3). Let q = 6 - x. Is -1/3 less than or equal to q?
False
Let a be 120/81*(-426)/(-4). Let w(o) = -20*o**3 - 2*o**2 - 4*o - 2. Let n be w(-2). Let l = a - n. Is 0 at most as big as l?
False
Let l(v) = v - 16. Let y be 4 - 0 - -9 - -2. Let b be l(y). Which is greater: -9/7 or b?
b
Suppose 2*d - 8 = 0, -4*d - 28 = -5*b - 6*d. Let w be b*(1 + 1/(-2)). Is w at least as big as 2?
True
Suppose 5*p - 3*h = -25, 5*p + 5*h = 15 - 40. Which is smaller: p or -3?
p
Let l be (3/2)/((-3)/(-276)*6). Which is smaller: 21 or l?
21
Let q(w) = 5*w**2 - 12*w - 1. Let n(b) = -2*b**2 + 4*b. Let j(d) = 8*n(d) + 3*q(d). Let i be j(-3). Which is smaller: 2/11 or i?
i
Let v = 1/16 + -39/112. Which is smaller: 1.4 or v?
v
Suppose -7*l + 6*l = -5*b + 1, -2*b - 23 = -3*l. Let o = 10 - l. Is o >= -2?
True
Let o = -0.01 - 4.19. Let z = -4 - o. Let v = 0.2 - z. Are v and 0 nonequal?
False
Let w = -31.3 - -30. Let i = w + 1.2. Which is smaller: -8 or i?
-8
Let v(j) = -2*j - 5. Let k be v(-4). Suppose 0 = k*f + p + 1, -4*f + 1 = -3*f - p. Which is smaller: f or 3?
f
Suppose r + 0*r - 3 = -3*a, -4*a + 15 = 5*r. Let g = -23/3 - -89/12. Let w = 3/4 + g. Are w and a equal?
False
Suppose -2 = 5*a + h, -3*h = 2*a + 1 + 5. Let z be (1/7)/(-1 - a). Is z smaller than 1?
True
Let s(t) = -t**2 - 4*t + 5. Let u be s(2). Is -5 at least as big as u?
True
Let v be (4/3)/((-5)/30). Let l be (-38)/v + 4/16. Suppose 3*r + 5 = 4*j + 1, 3*j - 3 = l*r. Which is smaller: 2 or j?
j
Let n = -2 + 1.8. Let k be 3/(9/2) - 2. Let i = k - -8/3. Is n >= i?
False
Suppose -3*u = m - 0*m, 0 = -5*u - 4*m + 7. Let r = 6.12 - 0.12. Let t = 6.3 - r. Which is greater: t or u?
t
Let m = 12321/4 - 3058. Let i = m - 251/12. Which is bigger: i or 2?
2
Let y be (-38)/7 + 1 - -1. Let w = -26/7 - y. Suppose 2*r - 3 + 6 = -g, 0 = -2*g + 2*r. Which is smaller: g or w?
g
Let h(s) = -s + 10. Let d be h(8). Is d equal to 2?
True
Let p = -7 - -7.3. Let s = 6.4 + -6. Let t = 0.3 - s. Which is greater: p or t?
p
Let l be 1 + -1 + 0 + 0. Suppose f + l = -1. Is f greater than 3/7?
False
Suppose -5*x + 5 = -0. Which is bigger: -2 or x?
x
Let k(m) = -1. Let v(n) = -2*n + 1. Let i(l) = -5*k(l) - v(l). Let z be i(-3). Let r be -3*-2*(-3)/9. Does z = r?
True
Suppose -2*d + 50 = 3*d. Let x(p) = p - 11. Let l be x(d). Which is greater: -2 or l?
l
Let n be (-1)/(-1 + 0) + -2. Let d(i) = i**3 - 3*i**2 - 6*i + 6. Let o be 1 + -2*6/(-4). Let x be d(o). Is x less than or equal to n?
True
Let g = 2 + 1. Suppose 3*k - 4*j = -2, -10 = -2*k - 3*j - 0. Suppose 0 = -0*d - d + k. Does d = g?
False
Suppose -3*o - 4*v = -13, -3*o + 2*v = -3*v + 23. Let d be (-1)/(-2) + 0 - o. Which is bigger: -1 or d?
d
Let c be (-18)/27*(-6)/(-4). Suppose l + 2 = 1. Is c bigger than l?
False
Let c(j) = -j**3 - j**2 - 2*j - 3. Let k be c(-2). Let b = -15 + 21. Let o be b/((-3)/2*-1). Is k at least o?
True
Let x = 5 - 3. Suppose 0 = -y + x*y. Suppose 0 = 5*b - o + 8, 4*o - 1 = -4*b - 17. Are y and b nonequal?
True
Suppose 52 = -3*q - 2*s, 0*q + 14 = -q + s. Is q at least -1?
False
Let d be (1902/(-174) - -4) + 7. Let i(v) = -v**3 + 2*v**2 + 3*v - 1. Let f be i(3). Which is bigger: d or f?
d
Let w = 0.045 - -4.955. Which is smaller: w or -1/8?
-1/8
Let q be (-17)/4 + (-10)/(-40). Let o be (4/q - -4) + 0. Which is greater: o or 13/4?
13/4
Let c = -21 - -33. Which is greater: c or 11?
c
Suppose -5*i + 15 = -10*i. Suppose -5*t + t = 0. Suppose t*b + 4*b = -20. Which is bigger: b or i?
i
Suppose 1 = -3*y + 2*y. Let j = 46/3 - 16. Is j at least y?
True
Let n = -3 - -3.2. Let d = 16.6 + -0.6. Let r = d + -16. Which is smaller: n or r?
r
Let h = 6371/455 + 18/91. Let v = 14 - h. Let z(f) = f**2 - 7*f. Let u be z(7). Is v at least as big as u?
False
Suppose -11 = 2*f - 65. Let h be (4 + -1)/(f/(-36)). Suppose 5*c + 28 = -3*g, -g + 4 = -c - 0. Which is smaller: h or c?
c
Let t(s) = -s**3 - 13*s**2 - s + 6. Let j be t(-7). Let d = j - -5337/19. Is d <= 0?
True
Let x = 2 - 1. Suppose 2*n - 8 = -4. Let s be 6/66*3*n. Which is smaller: x or s?
s
Let z be -1 - 3*2/(-9). Let h = -0.1 + -0.9. Are z and h equal?
False
Suppose 0*x - 3*x = 9. Let d be x - (2 + 30/(-4)). Let k(r) = r**2 + 5*r + 4. Let q be k(-5). Which is greater: d or q?
q
Suppose -j + 3 = -3*n + 7, 0 = 5*n + j - 12. Let k be (10/(-75))/(n/6). Let x = 0.4 + -0.3. Which is greater: k or x?
x
Let p be (3 - (-3 + 4))*3. Is 4 != p?
True
Let i = 0.82 - 0.8. Is i <= -0.4?
False
Let g = 4 + -3. Let m be 12/(-18)*(g + 2). Are m and -3/4 equal?
False
Let o = -4 - -3. Let p = -5 + 5.04. Let c = 0.96 + p. Is o <= c?
True
Let a be 1/((2/(-3))/2). Let c(x) = x**3 + 6*x**2 - 2*x - 15. Let z be c(-6). Is z less than a?
False
Suppose 6*s = 10*s - 12. Which is smaller: s or 18/7?
18/7
Let o be -2*(-3 + (-7)/(-2)). Let i be ((-2)/(-8))/(5/(-4)). Do o and i have different values?
True
Suppose 3*z - 10 = 2*z + 2*d, -5*z - d = -6. Which is smaller: 3 or z?
z
Let w be -4 - (4/4 - 4). Which is bigger: -4/13 or w?
-4/13
Let k = -7 - -6.92. Let u = k + -0.92. Is -0.2 bigger than u?
True
Let d be 12 + -2 + (1 - 1). Suppose s - 6*s - 3*c = -20, -c + 16 = 4*s. Let k be s/(-10) + 14/d. Which is greater: 2/3 or k?
k
Let j = -6.8 + 7. Let o = j - 0. Is -1 bigger than o?
False
Let v be (-8)/(-77) + 8/(-28). Let k = 11/2 - 51/10. Are k and v equal?
False
Let n = -16.9 - -16. Let r = 1 + n. Is -0.2 less than r?
True
Let h be (-1)/(0 - 3/12). Which is small