r s?
s
Let c = 9 + -5. Let l be c + (-1 + -1 - -1). Suppose -7 = -5*v + l. Which is smaller: 1 or v?
1
Let g(d) = d**3 - 2*d**2 + d - 1. Let j be g(1). Let o = 3 + j. Let y be (-4)/o*-3*1. Which is bigger: y or -1?
y
Suppose 4*i + 3*d - d = 10, 2*d = -2. Suppose -a + 6 = w, 0*w = -4*w + 4. Suppose -4*j = -a*b - 6*j - 7, i = -4*b + j. Is -1 greater than or equal to b?
True
Let f = -1 - -4. Let a = f - 4. Let w = 1 + -2. Is w greater than a?
False
Suppose -4*a + 35 + 13 = 0. Let m = a - 18. Let j = m + 7. Is j <= 3/2?
True
Let n be 12 - (-2)/(-2)*2. Let i be 7 - 2*(-6)/4. Is i equal to n?
True
Let h(p) = 6*p**2. Let a be h(-1). Let j = a - 3. Suppose j*f - 4*g + 13 = 0, -2 = -3*f - g + 5. Which is smaller: 3/5 or f?
3/5
Let z be 10*1/(-3) - -4. Is -1/8 less than z?
True
Let g be -1 + 1*1*-2. Let v = 4 + g. Which is bigger: v or -3/8?
v
Let p = 1.84 - 0.9. Let c = -11.5 - -11.44. Let y = c - p. Which is smaller: -4 or y?
-4
Suppose 3*c + 65 = 68. Let t = 102/13 + -3392/429. Which is bigger: t or c?
c
Let j be 2/4 + 2/12. Let x = -6.87 - 0.13. Let o = -5 - x. Which is greater: o or j?
o
Let b be 0/((-3 - 1)/2). Let m be 96/64*(-1)/(-6). Which is bigger: m or b?
m
Suppose 2*b - 5 = 1. Suppose -b*a - 1 = 5. Let y be ((-1)/6)/((-2)/(-9)). Which is greater: y or a?
y
Suppose -d = -2 - 2. Let n be 2/d*2*-3. Which is smaller: -2 or n?
n
Let d be (-1 - (0 - 0))*(3 - 3). Which is greater: d or 4/9?
4/9
Suppose -16 = -3*g - 4. Suppose x = -x + g. Let d = x - 3. Is d equal to -4/9?
False
Let m = -94 + 338. Let d = m - 1216/5. Let u be 3 + ((-9)/3 - -1). Is u at most d?
False
Let u = -0.07 - -0.07. Which is smaller: -13 or u?
-13
Let t(s) = -s - 1. Let y be t(-1). Let n be 13/(-20) + (-6)/(-24). Which is bigger: n or y?
y
Let q be 5*3/15*2. Suppose -5 = 2*h + 3*u, -q*h - 5 + 21 = -4*u. Suppose -h*n = -3*n. Which is smaller: n or -1/7?
-1/7
Let r = 0.1 - -0.1. Let k = r - 0.3. Let b = k - -0.3. Is 0.1 smaller than b?
True
Let i = -7 + 7. Suppose -5*b + 5 = -i*b. Which is bigger: b or 2?
2
Let t = 1.7 - 8.7. Let l = 5 + t. Let r = 5/3 - 13/6. Which is smaller: r or l?
l
Let s be 1 + (-9 - -9) + (-2 - 0). Let d = -229/399 + 1/399. Is s >= d?
False
Let w = 0.5 - 0.9. Let z be ((-4)/(-12))/((-2)/6). Let y be z/((-14)/(-4) - 2). Which is smaller: y or w?
y
Let q(k) = k - 5. Let t be q(5). Is -1 greater than or equal to t?
False
Let z(r) = -r. Suppose 0 = 4*n - 0*n - 4. Let k = 2 + n. Let p be z(k). Is p >= -3?
True
Let r = 11 + -7. Let g = 4 - r. Let s = g + -0.1. Is 0 <= s?
False
Suppose -8*x + 5*x + 4*x = 0. Is x bigger than -1/32?
True
Suppose y + 6 - 1 = 0. Let v(t) = t + 6. Let k be v(y). Let p = -63 + 66. Which is greater: p or k?
p
Let v = -27 + 39. Is v less than 11?
False
Let h = 8 + -8.8. Let g = h - -0.8. Is g >= 5?
False
Let h = 147 - 2645/18. Is h != 1?
True
Suppose 4*t - 3*c = -16, 3*c - 4 - 9 = t. Let m = 8.02 + -8. Which is smaller: t or m?
t
Let w(b) = -8*b**3 + b**2 + b - 1. Let k be w(1). Let s be (-40)/15*3/k. Does 0 = s?
False
Suppose p = -4*b - 27 + 4, -3*b = -5*p + 23. Is b at most as big as -4?
True
Suppose 4*z = 2*p - 6, 4*z + 5*p = -z - 30. Let d be (-6 - 0)/(-2) + z. Which is greater: d or -2/37?
d
Let q(b) = b**3 + 7*b**2 + 8*b + 7. Let h be q(-6). Let z = -77 + 76. Which is smaller: h or z?
h
Suppose 3*b + 5*q - 10 = 0, 0*q = -5*b - 2*q + 23. Let v(x) = -7*x**3 - x**2 - x - 1. Let d be v(-1). Which is greater: b or d?
d
Let k = 8 - 20. Let n be (k/(-10))/(3/(-10)). Suppose 0 = -v - 3*x + 9, -2*v + 2*x = x + 10. Is v less than n?
False
Let o = 7 - 11. Let j be (2 + o/6)/6. Which is bigger: -1 or j?
j
Let p(z) = 2*z. Let n be p(1). Suppose l - 1 = n*l. Let j(s) = s**2 + s + 1. Let t be j(l). Are 1 and t equal?
True
Let t be (32/48)/(2/(-21)). Let g = -7 - t. Let m be (-27)/15*2/6. Which is smaller: g or m?
m
Suppose p + 6 = k, 0 = -4*p + 5*k - 25. Let r(f) = 2*f + 7. Let x be r(p). Let i(y) = -2*y - 2. Let q be i(x). Which is bigger: q or 3?
q
Let v be 55/198*(-4)/(-5). Which is smaller: v or 1?
v
Let s = 0.7 - 1. Let j be (-1 + 3)*(-334)/16. Let k = 42 + j. Do k and s have the same value?
False
Let c = -0.6 - -0.4. Let q = -2.2 - c. Let r = 0.2 - 0. Which is smaller: r or q?
q
Let f = 1 - -1. Let m(g) = g**2 + 4*g - 1. Let r be m(-5). Suppose -3 = -3*v - c, -r*v + 2 + f = c. Is -2/17 less than v?
True
Suppose -7*d + 18 = -4*d. Is d less than or equal to 10?
True
Suppose 2*c - 2*u = u + 20, -2*c + 4*u = -20. Do -0.1 and c have the same value?
False
Let p = -8 + 10. Let f be -3 - (p + (-48)/9). Which is smaller: -11 or f?
-11
Let y = -21 - -17. Which is greater: 1 or y?
1
Let b be (-1)/3*3/(-4). Let d(v) = 4*v + 4. Let z(c) = -11*c - 12. Let y(w) = -8*d(w) - 3*z(w). Let o be y(-5). Which is smaller: b or o?
o
Let d(u) be the first derivative of -u**2 + u - 1. Let k be d(1). Which is greater: -1/8 or k?
-1/8
Let b(w) = -7*w**3 - w**2 + w + 7. Let a(v) = -v**3 + v**2 + v. Let f(u) = -6*a(u) + b(u). Let z be f(-6). Let y = -0.8 - -0.6. Is z >= y?
True
Let t be ((-90)/(-38) + -3)/(-2). Are t and 1 equal?
False
Let r(n) = n**3 - 2*n. Let o = -3 + 1. Let y be r(o). Is -4 smaller than y?
False
Let b be ((-14)/(-105))/(2/10). Let q = 2 + -3. Which is greater: q or b?
b
Let k(l) = l**2 - 3*l + 2. Let t be k(5). Suppose 2*h + t = 5*h. Suppose 3 = 3*a - 6. Which is smaller: h or a?
a
Let n = -1119/12740 - 9/260. Which is smaller: n or 0?
n
Suppose 3*y = -5*o - 9 - 6, 3*y - 9 = 3*o. Let b = 142/9 + -16. Which is greater: b or y?
y
Let k(a) = -2*a**2 - 2 - a - 2*a - a. Let m = -4 + 2. Let y be k(m). Which is smaller: y or 0?
y
Let r be 0 - 1/(3/9). Let l be (r/2)/(3/(-6)). Let p(b) = b**2 - 2. Let a be p(-2). Is a at least l?
False
Let b(w) = -3*w + 1. Let o be b(-1). Suppose 20 = 4*a - 0. Is a <= o?
False
Let q be 0 - (-1 + -1) - 3. Let i be (-2 - q) + 2 - -2. Which is bigger: 7/4 or i?
i
Let y be 8/(-12)*(-6)/(-8). Is -2 less than or equal to y?
True
Let l(k) be the second derivative of -k**4/12 + 7*k**3/6 - 7*k**2/2 + 2*k. Let p be l(6). Let h = 667/7 + -95. Are p and h non-equal?
True
Let l be 30/16*(-64)/144. Which is bigger: 0 or l?
0
Suppose 3*g - 7 - 8 = 0. Suppose -m - m + 8 = -h, 0 = h + g*m - 20. Suppose 3*d + 0 + 6 = h. Which is smaller: -1 or d?
d
Let n be (-10)/(-6) - 12/18. Let r = -1 - n. Is r at most as big as -2?
True
Let r = 6 + -5. Is r at least as big as -0.1?
True
Let z(r) = r**3 - 2*r**2 + r + 1. Let f be z(2). Suppose -5*h + 16 + 4 = 0. Suppose -2*p + 2 = -3*p, 4*p + h = -y. Which is bigger: f or y?
y
Let m = -5.2 + 3.3. Let f = 0.093 + 0.007. Which is smaller: f or m?
m
Let o = 1.8 - 1.9. Is -2 at most as big as o?
True
Let y = -7 + 11. Let o be (y - 3)*(2 - 2). Does o = -1/3?
False
Suppose -4*p = 4 - 32. Let k be (-6)/(-21) - 2/p. Suppose 0 = -n - 0*n. Is k bigger than n?
False
Let p = 3.94 - -0.06. Let x = -2 + p. Let l = x - 2. Is l less than or equal to 0?
True
Let s(v) = v**2 + 8*v + 9. Let x be s(-6). Let q = 2 - x. Is 5 at least as big as q?
True
Let a(u) = -u**2 - 5*u - 1. Let j be a(-4). Suppose -o + 19 - 17 = 0. Which is bigger: j or o?
j
Let p = 4.7 + 2.3. Let t = p + -7.1. Is t <= 7?
True
Let g(o) = -o**2 - 2*o. Let q be g(-3). Does q = -4?
False
Let u = 52/23 + -1762/759. Which is smaller: 1 or u?
u
Let q be -4 + (-2)/(4/(-4)) + 7. Let c be (9/(-4))/((-3)/8). Which is smaller: q or c?
q
Let s(m) = m**2 + 5*m + 2. Let b be s(-4). Let z be 4/((-2)/b*2). Let p be -3*(z/(-6) - -1). Is -3/4 equal to p?
False
Let w be 3/(-5) - (-2)/(-5). Let o = -0.06 + 0.46. Let d = 0.4 - o. Which is smaller: w or d?
w
Let h be (-1 - 3) + (-103)/5. Which is greater: -26 or h?
h
Let g(c) = -2*c**3 - c**2 - c + 1. Let p be g(-2). Let a = p - 17. Is a > -6/5?
False
Let t be 6/4 + 18/(-18). Which is smaller: t or 1?
t
Let u = -126 + 123. Suppose 3*y = s + 7, -y = s - 15 + 2. Suppose s = -t - 4*d, -d + 12 = -2*t - 5*d. Is t > u?
False
Let p be 32/(-63) + (-4)/(-14). Which is bigger: -1 or p?
p
Suppose 4*v - 27 = -7. Let a be 3/6 - (-39)/2. Suppose v*r + s - a = 0, r = s - 1 - 1. Which is smaller: r or 5?
r
Let c be 1/(1/3 + 0). Suppose c*j = 6*j. Is 2/3 at least j?
True
Let v(l) = 3*l**2 + 2*l + 1. Let r be v(-2). Let s be (-6)/r*(-1)/(-2). Is s <= 0.1?
True
Suppose 4*k + 4*c = -k + 21, 4*k - c = 0. Do -1/24 and k have different values