et y = 1 - 3. Which is bigger: y or o?
o
Let u = 3 - 3. Let z = -0.3 - 1.1. Does z = u?
False
Let b be 4/10 - 8/10. Is -1 bigger than b?
False
Let l be ((-2)/(-6))/((-4)/(-48)). Suppose -l*q = -12, 25 = 3*a + a + 3*q. Suppose 0 = -5*f + 6 - 1. Is f greater than or equal to a?
False
Let j be 4/18 - (-5033)/(-20493). Let z = 1/759 - j. Which is greater: -1 or z?
z
Suppose -m + 4*k + 10 = 0, -m = 2*m - 5*k - 9. Let g(t) = -3*t + 9. Let j be g(4). Which is greater: m or j?
m
Let j = 3 + 6. Suppose -j = -a + s, -5*s = 5*a - 2*s - 85. Which is bigger: 13 or a?
a
Let b be (-4)/14 - (-276)/84. Which is greater: b or 4?
4
Let n = 121 - 120. Is 47 at most as big as n?
False
Let q = -16 + 17. Let h be 2*(q - (-36)/(-44)). Which is smaller: h or 1?
h
Let j = 0.34 + -1.34. Is -0.27 at most as big as j?
False
Let j(c) = c**3 + 8*c**2 - 10*c - 9. Let b be j(-9). Let a = b - -4. Let l = 1 - a. Is l != -3?
False
Let v(n) = n**2 - 8*n + 6. Let c be v(7). Let u be 1*c - (-6 + 6). Let q = 79/200 - -1/200. Is q <= u?
False
Let s(y) = -y - 7*y**2 + 1 + 2*y + 9*y**2. Let h be s(-1). Suppose h = -r + 2*f, 0*r + 4*r = -f + 10. Which is greater: 1 or r?
r
Let f = -1 - 2. Let n = -13 + 17. Suppose 3*o = -n - 2. Is o bigger than f?
True
Let h be -2 - (-4)/16*9. Does h = 1/5?
False
Suppose -16 = 2*c - t + 4, -5*t - 17 = 3*c. Let q be (-25)/c + 2/9. Suppose 0 = 2*n + n + 3*z - 3, -n = 5*z + q. Which is greater: 3/2 or n?
n
Suppose 0 = 4*x - 0*x. Let v = -5313/13 + 409. Which is smaller: x or v?
x
Let g = 1/32 + 61/96. Let k = -13 - -14. Do k and g have the same value?
False
Let t(c) = -2*c + 3. Let m be t(3). Let b = -11 + 9. Are m and b equal?
False
Let d be 4/(-10) + (-52)/(-5). Let f = d - 4. Suppose 3*a - f = -4*x + 6, 0 = 5*a + 2*x - 6. Are 4/5 and a equal?
False
Let y be -4*((-5)/10 + 0). Is 5 equal to y?
False
Let b = -47 + 33. Is 2 smaller than b?
False
Suppose -3 = -0*o - 3*o. Let u be (-2)/(-24) - o/(-4). Which is greater: u or 5?
5
Let f be (-2)/3*18/3. Let s be 3 - 9/3 - f. Are 4 and s non-equal?
False
Let p(a) = 5*a + 30. Let f(h) = -h - 6. Let u(o) = -11*f(o) - 2*p(o). Let l(j) = j**3 - 7*j**2 + 4*j + 4. Let v be l(6). Let g be u(v). Is 3 less than g?
False
Suppose 5*u - 27 = -4*r, 2*r = -2*u - 2*u + 18. Let s be 2*((0 - -4) + u). Is s >= 14?
True
Suppose 0 = -2*g + m - 22, 3*g + 3 = 5*m - 30. Let o = g + 11. Which is bigger: -1 or o?
o
Suppose -2*b = 5*t - 13 - 2, 3*b = t - 3. Let v = 7 + -12. Let p = v + t. Which is smaller: -1 or p?
p
Let w = -16 - -10. Let i = -2/13 - 5/52. Which is greater: w or i?
i
Let d be 6/36*-1*12/(-3). Which is bigger: -26 or d?
d
Let h = 480 + -2388/5. Suppose 4*y = -3*j + 21, 7 = j + 2*y - 2. Which is smaller: h or j?
h
Suppose 31*d - 16 = 23*d. Are 2/3 and d unequal?
True
Let v(j) = -j**2 + 7*j - 4. Let w be v(5). Which is smaller: w or 3?
3
Suppose 12 = -2*p - 2*p. Let m be -4*((-3)/(-10))/p. Let g = -10 + 10. Is m > g?
True
Let u be 5*((-18)/15 + 2). Suppose 4*g - 8*g - u = 0. Suppose 10 = -2*r - 3*r. Are g and r non-equal?
True
Let x = -1 + 0. Let c = x + 1.03. Let h = -0.07 - c. Is -1 equal to h?
False
Suppose 4*d - 3 = 4*s + d, -17 = s - 4*d. Let m(c) = -c**3 + 6*c**2 - 1. Let w(h) = -4*h**3 + 25*h**2 - 3. Let k(r) = -9*m(r) + 2*w(r). Let o be k(4). Is s < o?
False
Let a(h) = h**3 - 7*h**2 + 5*h - 3. Let v be a(7). Is 30 < v?
True
Suppose 10 = 2*b + 2*x, 9*b = 4*b - x + 13. Let k be (1 + -2)/(b + -1). Let t be (k/(-3))/((-1)/(-3)). Is -1 greater than t?
False
Let v = -17457047/132 - -132251. Let i = v - 11/12. Is i at least as big as 0?
False
Let f = -2.9 + -0.1. Let b = f + 3.04. Let p = b + 7.96. Which is bigger: p or 1/4?
p
Let i = -0.4 + -0.6. Let p be 2 + 7/(-3) - 0. Which is greater: i or p?
p
Suppose -3*i = -2*i - 4. Let r be 20/(-30) + (-33)/(-9). Which is bigger: r or i?
i
Suppose -20 = -0*m + 2*m. Which is smaller: -8 or m?
m
Let o = 0 - 0. Let a be 14/(-18) + (-10)/45. Let m be (0 + 0)/1*a. Are m and o nonequal?
False
Suppose -2*v = v + v. Which is bigger: v or -1?
v
Let p be (-30)/36*4/(-5). Is p bigger than 8?
False
Suppose g + m - 29 = 0, 4*g + 45 = -m + 146. Which is smaller: g or -1?
-1
Let d = -1.42 - -0.42. Which is smaller: d or -61?
-61
Let p = 49 - 42. Let f = -2 + 2. Is f greater than or equal to p?
False
Let m = 0.01 + 0.19. Let r = 0.29 + 1.81. Let v = 2 - r. Which is bigger: m or v?
m
Let u = 0.04 + -0.09. Let i = u - -0.15. Is i smaller than 0?
False
Let u be (-2)/3 - (-40)/54. Let g = 1721 - 20627/12. Let z = -7/3 + g. Is z <= u?
True
Let b(m) = -m**3 - m**2 + m. Let q(l) = -4*l**3 - 9*l**2 - 4*l - 4. Let v(r) = -3*b(r) + q(r). Let w be v(-5). Let y = 5 - w. Which is greater: y or -2/7?
-2/7
Suppose 0 = 3*w - z - 8 - 5, -17 = -3*w - z. Let v = -9 + w. Which is greater: -1 or v?
-1
Let v be 0/(-10)*(-2)/(-2) + -29. Is v less than -29?
False
Suppose 2*b - 10 - 14 = 0. Let k be ((-8)/b)/(1/6). Are k and -3 nonequal?
True
Suppose 136 = -3*z + 1126. Let k be (-12)/z*(14 + 1). Is k at most as big as -1?
False
Let r(a) = -a**3 + 5*a**2 - 3*a - 5. Let w be r(4). Let p(y) = -y + 6. Let x be p(4). Let i be 13/6 - x/1. Are i and w non-equal?
True
Suppose 5*s = 2*s. Let q = 0 + 2. Let j = 2.2 - q. Which is greater: s or j?
j
Let f be 8/6*9/(-106). Let t = -19/636 - f. Is -1 less than or equal to t?
True
Let c(n) = -4*n**2 + 3. Let l be c(3). Let s = l + 299/9. Let i(p) = -p**2 + 5*p + 5. Let u be i(6). Is s greater than or equal to u?
True
Let h be 0 - 1 - (-752)/(-6). Let d = h - -129. Let i = d - 31/15. Is 2 >= i?
True
Let r be (-4)/6 + (195/63 - 3). Suppose 4*k + 5 = 5*j + 1, 0 = 3*j - 12. Suppose -4*w = -5*g + 28, w + 3*w = k*g - 24. Do w and r have different values?
True
Let w(g) = -g**2 - 6*g + 1. Suppose -5*m + 4*c = 50, -2*c - 2 = -4*m + 6*m. Let k be w(m). Are 11 and k nonequal?
True
Let v = -133 + 132. Which is bigger: -8.6 or v?
v
Let h(k) = -k + 3. Let x be h(3). Is 1 at most x?
False
Let k be 4/(-3)*12/72. Is k >= 25?
False
Let k = 6541/4 - 1646. Are -12 and k non-equal?
True
Let n(w) = -w**3 - 4*w**2 + 9*w - 7. Let l be n(-6). Which is bigger: 32/3 or l?
l
Let f be (-2 - -1)*(-3 + 3). Suppose -4*p - 4 + 0 = f. Which is smaller: -1/3 or p?
p
Let w be -2 - 2/(2/(-3)). Is -1/6 greater than w?
False
Let f be (-3)/6 + (-10)/4. Let t be f*((-10)/6 - -2). Let u(p) = p + 1. Let v be u(-4). Is v greater than t?
False
Let f = 1.26 + -0.06. Which is smaller: f or 1?
1
Suppose -t = -3 - 0. Suppose -b = 4*i + 4*b - 29, t*b - 10 = 5*i. Is -1/3 greater than i?
False
Let f = 0.06 + -0.12. Let z = -0.03 - f. Which is smaller: 0 or z?
0
Suppose 3*d - 87 = 6*d. Do d and -29 have the same value?
True
Let a be -4*3/6 - -8. Suppose -q + a*q - 5 = 0. Which is smaller: q or 2?
q
Let y = -5.5 + -3.5. Is y less than or equal to -0.1?
True
Let n = -87 - -29. Is n < -1/3?
True
Suppose -3*o - 5*a + 83 = 0, 0*a - 82 = -2*o + 2*a. Suppose o = -c - c. Let g be c/10 - (-6)/15. Is -1 at most as big as g?
False
Let c(k) = -3 - 3*k**2 + 7*k**2 + 0*k - 5*k - 5*k**2. Let d be c(-4). Which is smaller: 2 or d?
d
Let u(c) = c**3 - 6*c**2 + 4*c + 4. Let f = -7 + 12. Let y be u(f). Let k be (-205)/450 + 6/4 + -1. Which is smaller: y or k?
y
Let b = -38 + 37.99. Which is bigger: b or 1?
1
Let w = -12 - -10. Which is bigger: -22 or w?
w
Let i(r) = 5*r**2 - 2*r**2 - r**2 - 11*r - r**2. Let u be i(11). Do u and -2 have different values?
True
Let p = -5 + 7. Let b = 0 - p. Let h be 1/(-3 + 1 + 3). Is h greater than b?
True
Let a be (3/2)/(12/32). Suppose -4*m + m = -6. Is a bigger than m?
True
Let u be (-3 - (-3)/6)/(2/20). Which is bigger: -24 or u?
-24
Suppose 3*a - 10 = k, -3*k = 2*a - 16 - 9. Which is bigger: 51/8 or a?
51/8
Let n = 17 + -1. Let f be (n/36)/(-2)*3. Is -2 at most f?
True
Let j = -4 - -4. Suppose -s - 4 = 3*f - 5, -3*f - 2*s + 2 = j. Let u be (-15)/6 - (-1)/2. Which is greater: f or u?
f
Let n(a) = a**3 - 12*a**2 - 13*a + 2. Let m be n(13). Which is smaller: -1 or m?
-1
Let f be (-1 - 2 - -3)/1. Is 1/24 >= f?
True
Let r = -43 + 40. Is r <= 2/9?
True
Let p be (1/(-5)*-3)/(1/5). Which is smaller: -1 or p?
-1
Let y = 5 + -6. Is 1/6 less than or equal to y?
False
Suppose -n + 14 - 22 = 0. Which is smaller: n or -9?
-9
Let r = -10 - -15. Let a(s) = 2*s - 11. Let q be a(r). Which is smaller: q or 2/17?
q
Suppose 2*f = 4 - 6