ose -5*o = -q, 0*o + 5*o = -q. Suppose q = 5*g - 5. Which is greater: g or -2/11?
g
Suppose -31 = -4*y - 3. Let c = y - 8. Let g be (c/2)/((-4)/8). Which is smaller: g or 2/11?
2/11
Let d(a) = -3*a - 5. Let j(u) = -u. Let g(f) = -d(f) + 4*j(f). Let y be g(4). Let s be (-22)/33 - 4/(-5). Which is smaller: y or s?
s
Let u(s) = -s**2 - 6*s - 4. Let k be u(-4). Suppose -k*c = -0*c - 4. Is 2/9 != c?
True
Let i = -1 + 13. Let o be 24/81*i/(-16). Is o equal to -9?
False
Let m = -6 + -1. Let p = m + 7. Let i = -1 - -1. Is p bigger than i?
False
Let l = -0.02 + 3.02. Is l smaller than -0.14?
False
Let g be (-5 - 7)/(-6) + -15 + -1. Which is greater: g or -85/6?
g
Let y = 2 + -1.5. Let z = -0.5 - y. Are -1 and z nonequal?
False
Suppose 5*y + 143 = -6*y. Is -1/4 >= y?
True
Let w(y) = -6*y**2 - 6*y + 1. Let s(c) = c**3 + c**2 + c. Let g(q) = -s(q) - w(q). Let t be g(6). Is -8 not equal to t?
True
Suppose t - 6*m - 7 = -2*m, 0 = -t + m + 1. Are t and -1 nonequal?
False
Let j be -1 + -2 + 1 + 4. Let i be 4 + (18/2)/(-3). Let c = i - -2. Is c less than j?
False
Let f be 1 + -20*3/(-6). Let u = f + -12. Which is bigger: u or -8?
u
Let o = 80.5 + 4.5. Let i = o - 89.1. Let s = i + 0.1. Which is smaller: s or 1?
s
Let d = 27581/13 + -2123. Which is greater: d or -2?
d
Let v(w) = w**2 + 5*w + 3. Let z(l) = -l**3 - 3*l**2 + 6*l + 4. Let k be z(-4). Let t be v(k). Let j = 16 + -19. Which is smaller: j or t?
j
Let q = 0 + 5. Suppose 0 = -2*b - 14 - 8. Let t = b + 15. Is q != t?
True
Suppose 0 = -3*l + 5*l - 5*j - 26, 24 = 4*l + 4*j. Is 10 smaller than l?
False
Suppose -7*v = -2*v - 25. Suppose 4*y + 1 = v. Is -1 at least y?
False
Let c = -2 + 1. Let k be -12*(315/12)/(-5). Let l be (-7)/k + 2/(-9). Which is greater: c or l?
l
Let m be -6 + -4 + (-2)/(-1). Let b = 9 + m. Let v be (-2)/3 + 1 + 0. Which is smaller: b or v?
v
Let d(y) = -3*y**2 + 10*y - 6. Let m be d(4). Is 2/5 <= m?
False
Let m = 0.01 + -0.07. Let y = m + -0.04. Which is smaller: 1 or y?
y
Let f = -13 - -13. Is f != 25/4?
True
Suppose 8 = 3*z + 2. Let v be (2/4)/(z/(-8)). Let n = v + 1. Which is smaller: n or 1?
n
Let f = -179/70 - -89/14. Is 4 > f?
True
Let d be -11 + (2 - 1) - -3. Let u = 6 + d. Is u at least -2?
True
Let n be (-4)/(-6) - 1/(-3). Is -2/11 at least as big as n?
False
Let v = 48 - 71. Do 0 and v have the same value?
False
Let s be (-19)/20 + 2/(-8). Suppose 2*u + 2 = -2*m, -11 = -2*u + 7*u - m. Which is bigger: s or u?
s
Let o = -90 + 452/5. Let d(j) = -j**3 - j**2 + 3*j - 2. Let b be d(-3). Suppose -5*u - 2*w - 3 = 0, 3*w + 1 = -b*u + 3*u. Which is smaller: o or u?
u
Let b be (-2)/(-3) + (-1)/1. Let i(o) = 3*o + 2. Let j(g) = -g - 1. Let w(y) = -4*i(y) - 11*j(y). Let t be w(4). Which is smaller: b or t?
t
Let p be (3/(-9))/(2/(-6)). Suppose -5*s + p = 11. Let l be (-1)/2*s/4. Is l >= 0?
True
Suppose 3*f + 2*f = 0. Suppose 4*m = -f*m. Let j be (-42)/(-49)*(-1)/3. Which is greater: m or j?
m
Let c(y) = 2*y - 9. Suppose 0 = -6*q + 2*q + 40. Let p be c(q). Is 11 smaller than p?
False
Let s be ((-4 - -314)/5)/(-1). Which is bigger: s or -63?
s
Suppose -3*f - 2*c = -5*f + 18, -5*f = 3*c - 29. Which is bigger: 6 or f?
f
Let u be (-6)/4*(-2 - (-44)/12). Which is smaller: u or -3?
-3
Suppose -5*d - 3*q - 175 = 0, d - 3*d = -3*q + 49. Let g = d - -797/25. Let a = g + -16/75. Which is smaller: a or 0?
a
Suppose j - 1 = 83. Let r be 3 + 0 + (-240)/j. Is r less than 1?
True
Let q be 26/6 - (-2)/(-6). Suppose 0 = -q*l - 0*l + 8. Let g be -1 + (l - (0 - -2)). Which is greater: -1/4 or g?
-1/4
Let n = 0.6 - 0.5. Is 13 at most n?
False
Let h = -11 + 10. Let y = h + 2. Is 5/3 smaller than y?
False
Suppose 3*h + 3*d + 10 = 1, -2*h - d - 4 = 0. Let r = 205/4 + -51. Which is smaller: r or h?
h
Let r(k) = k**2 + 6*k - 13. Let a be r(-10). Let g = 17 - a. Which is greater: g or -11?
g
Let m be 368/20 - (-1 - -1 - -1). Is 18 at most as big as m?
False
Let a be (1 - 2) + 0/(-3). Do -1/16 and a have the same value?
False
Let o = 3 - 3. Which is greater: 12/13 or o?
12/13
Let b be -14 + 0/(-1 + 3). Which is smaller: b or 0.1?
b
Let x = -59 + 58.9. Let d(g) be the first derivative of -g**4/4 + 4*g**3/3 - 2*g**2 + 2*g + 2. Let i be d(3). Is i equal to x?
False
Let l = 24 + -24. Is -2/41 greater than or equal to l?
False
Let n(v) = -2*v + 6. Let c be n(8). Let y = -7 - c. Let l be (3 + -2)/(y - 4). Is l smaller than 0?
True
Let u(z) = 5*z - 10. Let y be u(3). Suppose -4*i - 2*l + 8 = 2*l, 5 = y*l. Is i equal to 1?
True
Let h be (4 + -5)/(8/(-26)). Let u = h + -3. Which is bigger: 1 or u?
1
Let t be 2 + -2 + 2/10. Let o = 4 + 0. Suppose -3*v + o*v = 0. Is t greater than or equal to v?
True
Let m be 1*-1 + 30/27. Let c = -3 - -2. Which is smaller: c or m?
c
Let r(l) = -l**2 + 14*l + 36. Let n be r(17). Is n > -16?
True
Let f = -8.3 + 1.2. Let m = 7 + f. Is 2 greater than m?
True
Suppose -4*n = -1 + 13. Let j be 20/24 + 2/n. Let v = -7/30 - j. Is v less than 1/2?
True
Let h be (-2)/(-8) + (-279)/(-612). Is h greater than or equal to 2?
False
Suppose -3*o = -3*d - 0*d - 9, 0 = -3*o - 3*d - 9. Let a be 5/6 + (-7)/14. Which is smaller: a or o?
o
Suppose -4 = -5*q + 1. Let z be (-3 - 33/(-9)) + -1. Which is bigger: q or z?
q
Let a = 26 - 24.9. Is -0.1 >= a?
False
Let y(o) = -5*o. Let i be y(1). Let g(w) = 4*w**3 - w**2 - w - 1. Let h be g(-1). Is i less than h?
False
Let h(p) = p**3 - 11*p**2 - 13*p + 7. Let q be h(12). Let v = q - 1. Let b be 2/(3/v*2). Is b != 0?
True
Let c be 6/(-15) + (-102)/(-230). Which is smaller: c or 1?
c
Suppose o + o - 22 = 0. Let d = 8 - o. Let q be d + 1 + (-32)/(-14). Which is greater: q or -1?
q
Suppose 3*x + 6 = -c, -5*x + 2*c - 11 = -1. Let z(f) = -3*f**2 - 3*f. Let o be z(x). Let a(b) = -b - 5. Let t be a(o). Are t and 0 equal?
False
Let i be ((-15)/(-290))/(12/32). Which is greater: i or 0?
i
Let w = 11/24 + -1/3. Let u(c) = 7*c**3. Let m be u(1). Let i(z) = -z**3 + 6*z**2 + 6*z + 8. Let a be i(m). Which is smaller: a or w?
w
Let j = 0.35 - -0.05. Let g = j + -2.4. Is -0.3 bigger than g?
True
Suppose 0*b + b + 7 = -4*r, -4*b - 64 = -2*r. Is b greater than -14?
False
Suppose 3*h + 13 = 1. Is -24/5 less than or equal to h?
True
Let a = 2 - 1.98. Let j = a + -2.02. Which is smaller: j or 2?
j
Suppose 2*p + 4 = -0*p. Let j = -3 - p. Is -4/5 <= j?
False
Let o(a) = a**3 + a**2 - a - 1. Let l be o(0). Suppose 3*m = -3*v - 9, 3 = -4*m - 0*m - v. Are l and m non-equal?
True
Let i = -3 - 3. Let v be 22/5 - i/(-15). Suppose 2*j + 6 = 4*j. Which is smaller: v or j?
j
Suppose -3*n = 89 + 1. Let v = n - -181/6. Let z be (0/2)/(0 + -1). Which is smaller: v or z?
z
Let h = -23/87 - 2/29. Let t = -0.01 - -0.01. Let o = -1 - t. Is h less than o?
False
Let x = -4959/1915 + -4/383. Let t be 1/6 + 38/(-12). Which is smaller: t or x?
t
Let a = -59 - -99. Let q = a + -118/3. Suppose -5*g + 8 = -2. Are q and g equal?
False
Let c = 0.07 - -0.03. Is c less than or equal to -1?
False
Suppose 5*m + 20 = 5*k, -3*m - 17 = -4*k + 3. Let f(w) = w**2 - 4*w. Let c be f(2). Let u = k + c. Is u greater than 4?
False
Let u(k) = -k + 1. Let x be u(-1). Suppose 0 = -7*s + x*s. Let p be -4 + 3 - (0 - s). Which is greater: -1/2 or p?
-1/2
Let p(i) = -i**2 + 2*i + 2 + 0*i - 3. Let x be p(2). Let j be x/2 - (-3)/6. Which is bigger: -2/3 or j?
j
Let r be (2/6)/((-6)/54). Is r != -7/2?
True
Suppose -b + 0*b = -3*y - 138, -630 = -5*b - 5*y. Let d = b - 1679/13. Which is smaller: d or -1?
-1
Let t be (16/(-12))/((-1)/(-3)). Is t less than -5?
False
Let u = 20 - 2. Let l = u - 14. Is l < -1?
False
Let h be 4/(-8) + 94/4. Let q = -47/2 + h. Let f be 35/(-15) - 1/(-3). Is q <= f?
False
Suppose 6*r - 2*i = r, -i = -4*r. Let z = 7 + -4. Suppose 3*g - z = r, 0*g - 3*g + 1 = -p. Which is bigger: p or 3/4?
p
Let i(b) = b**3 + 7*b**2 + 2. Let a be i(-7). Suppose -11 + a = -3*k. Which is smaller: k or 4?
k
Let c = 11684/41 - 285. Let u = -29/492 + c. Let z be (-4)/3 + 2/6. Which is smaller: z or u?
z
Let g be (-45)/(-81)*(-28)/(-10). Is g > 3?
False
Let g = -3/28 - 5/84. Let v = -3 - -4. Let n = v - 0. Is n <= g?
False
Let o = -16 + 37. Suppose 4*v + j + o = 0, 4*v - 3*j = j - 36. Which is greater: v or -7?
v
Suppose 5*n + 10 + 5 = 0. Let w be n*(2 + -1)*-1. Let j = 4 - 4. Is w bigger than j?
True
Let g = -4 + 6. Suppose -g*w + 7*w - 5