5*b + 332 = 0, 0 = -5*a + 39*b - 42*b + 792. Which is greater: a or -1?
a
Let j be ((-403)/(-26) - 10) + (-4)/2. Let b = -4 - -2. Which is smaller: b or j?
b
Let d = -33 - -54. Suppose -2*o - 7 = -d. Which is smaller: 8 or o?
o
Suppose 12*g - 7*g + 2*m = 291, 3*m = -3*g + 180. Do 59 and g have different values?
True
Suppose -3*m - 272 = -59. Let i = m + 68. Suppose 5*s = -4 - 1. Which is smaller: s or i?
i
Let d be -1 - (-1 + 7)/(-3). Let t be (d - (-20)/(-16))*-4. Which is greater: 4 or t?
4
Let u = -0.2 + 0.25. Let r = 32 - -73. Let o be r/75 - 4/10. Do o and u have different values?
True
Let b = -31 + 31. Let h = 2 - 10. Let u be (-2)/2 - h/14. Which is smaller: u or b?
u
Let n = -4.7 - -4.691. Let u = n + 0.009. Which is bigger: u or 1/25?
1/25
Let l = -814276 + 54557705/67. Let i = l - 37599/2680. Let r = i + -21/5. Which is greater: r or -1?
r
Let s = 0.737 - 1.737. Which is greater: -243 or s?
s
Suppose -2*o + 4*o - 8 = 0. Suppose 0 = -5*v + 2*i - o*i - 13, 18 = 2*v - 5*i. Are -2 and v nonequal?
True
Let j(v) = 2*v - 26. Let i be j(6). Let a = 6 - 19. Which is smaller: a or i?
i
Let k(u) = -10 - 20 + 5*u - u. Let p be k(8). Which is greater: -4 or p?
p
Let z = 192.246 + -192. Which is smaller: z or -2/3?
-2/3
Suppose -5*i - 9 = 1. Let l = 0 - i. Suppose -k - r + 2*r = 0, 15 = 2*k + 3*r. Which is bigger: l or k?
k
Let a(f) = -12*f - 10 + 8*f + 6*f. Let x be a(5). Which is bigger: -4 or x?
x
Let g be 3/4 - (-3)/(-4). Is 3 less than or equal to g?
False
Suppose 0 = -9*v + 5*v - 72. Let d be 1 - 5 - (v/(-3))/(-2). Let o be -3 + (-4)/(976/(-724)). Is d greater than o?
False
Let l = -241 + 237. Which is bigger: -3 or l?
-3
Let z be -13 - 2505/(-195) - 300/(-2119). Let k be (-6)/(-10) + (-4)/(-10). Which is bigger: z or k?
k
Suppose -18*s - 2*u - 117 = -13*s, 5*u + 120 = -5*s. Is s greater than or equal to -25?
True
Let u = -117.391 + 14.361. Let d = -103 - u. Let c = 1 + 0. Which is smaller: c or d?
d
Let c = -6 + -2. Let j be ((-6)/c - (-26)/8)/1. Is 4 bigger than j?
False
Let t = 209 + -211. Which is smaller: -31 or t?
-31
Suppose 4*i - 11 - 9 = 0. Let t(d) = 3*d**2 - 7*d + 4. Let h be t(i). Let v be (0 - h/(-48)) + -1. Are 0 and v non-equal?
True
Let l be 18/27 + 98/(-3). Is l less than -32?
False
Let k be (-6)/22*69/(-4140). Which is greater: k or 1?
1
Let q be (-64)/(-40)*15/39. Which is bigger: q or 0?
q
Let v be (-361)/792 + 32/72. Suppose -6 = 5*p - 1. Which is smaller: v or p?
p
Let x = 4 + -12. Let p = -9 + x. Let u = 1 + p. Is -16 at least as big as u?
True
Let r(d) be the third derivative of d**4/24 - 2*d**3/3 - 3*d**2 - 4*d. Let v be 2 + 3*(-2 + 3). Let s be r(v). Which is smaller: -2 or s?
-2
Suppose -43*m + 3633 = -3204. Which is smaller: m or 156?
156
Let g be (2 + 22/(-4))*(0 + 2). Let f be 3/((-180)/57) + (-7)/g. Is f > -1?
True
Suppose 9*z + 13 = 13. Let a(j) = j**3 + 3*j + 1. Let x be a(z). Which is bigger: 2/23 or x?
x
Let z = 6910/7 + -25357/21. Let v = 218 + z. Let k = 1 - 1.1. Are v and k non-equal?
True
Let b be 2 + 1 + -2 + 46. Let u be 2 + 7/(-3) + 3197/69. Does b = u?
False
Let n = 16455 - 559525/34. Let l = 36 + -610/17. Let y = n + l. Which is greater: -1 or y?
-1
Let a = 1.3 - 0.3. Let j be ((-129)/(-28))/(-3) - 230/(-184). Is j > a?
False
Let k be (-2)/(-10) - 5385/2700. Let x = k + 7/4. Which is greater: x or 0?
0
Let u be (3/(-81) - 0)*(-24)/44. Is u less than 1?
True
Let t = 2917 + -172099/59. Which is smaller: 0 or t?
0
Let o be (18/(-24))/((-105)/(-55)). Let v be (2514/(-1540))/(54/15). Let m = o - v. Is -1 smaller than m?
True
Let k be 0 + 2*1 - 0. Suppose 46*d + 61*d = -321. Which is greater: k or d?
k
Let f = 745 - 744.961. Which is smaller: f or 1?
f
Let u(r) = -10*r - 6. Let z be u(5). Let o = 57 + z. Which is smaller: 3 or o?
o
Suppose 3*v + 3*f + 12 = 0, 5*f - 5 = 5*v + 7*f. Suppose 3*j + 13 = 43. Suppose 6*z = j - 4. Is z greater than v?
False
Let a be ((-2)/(-6) - (-795)/(-117)) + 6. Suppose -3*q - 3*j = 2*j - 8, 3 = 5*q - 2*j. Let z be 0 + -2*q + 2. Is z >= a?
True
Let o = -0.075 - -1.715. Let h = 0.41 + o. Let z = h - 0.05. Is z <= -0.02?
False
Suppose 0 = -5*o + 19 + 86. Suppose u = -3*p, -2*p - o = 2*u - 3*p. Let d be (1/(-2))/(u/54). Is -2 < d?
True
Let i = -5 - -10. Suppose -4*o + 3*y = -2*o + 35, -i*y = -o - 14. Which is greater: o or -20?
o
Let n(y) = 6*y**2 + y - 8. Let f be n(4). Let u be (f/(-6))/(4/(-6)). Let d = -19 + u. Is d bigger than 0?
True
Suppose -2*c + 2*a + 40 = a, 0 = 5*c - 2*a - 100. Let v be 1/((-22)/c + 1). Let o = 24 - 34. Is v smaller than o?
False
Let h = 82 + -129. Do -0.2 and h have the same value?
False
Let a be -4*((-6)/(-14 + 12) + (-14)/5). Let w = -1 - -3. Let f = -2 + w. Are a and f unequal?
True
Let k(y) = 2*y**2 + 13*y + 14. Let i be k(-5). Let n(g) = -4*g + 2. Let v(j) = 7*j - 3. Let z(c) = 5*n(c) + 3*v(c). Let u be z(-6). Is i > u?
True
Let b = -131 + 131. Which is smaller: -1/23 or b?
-1/23
Let o(x) = 2*x. Let w be o(2). Suppose 0*i = w*i. Suppose 204*l + 210 = 99*l. Which is bigger: l or i?
i
Suppose -m - 5*n = 6, 0 = -0*m + 2*m - n + 12. Let d be (m/(-20))/((-168)/70). Which is smaller: -4 or d?
-4
Let r = -1.75 - -14.65. Let w = 13 - r. Let z = 2 + -2.1. Which is bigger: z or w?
w
Let s = -2.32 + 5.59. Let d = s + -3.3. Is 1 < d?
False
Let z(l) = 13*l**2 - l. Let q be z(1). Suppose 10 = 2*f - q. Let a = f + -10. Do a and 9 have the same value?
False
Suppose 0 = 3*u + 3*x - 30, 2*x - 2 - 8 = 0. Suppose -t = u*t + 6. Is t greater than or equal to 1/25?
False
Suppose 5*a = 5*f + 140, f + 15 = 5*a - 13. Which is bigger: -55/2 or f?
-55/2
Let y be 3/(-6)*-3*476/21. Which is bigger: 32 or y?
y
Let c be 138/(-114) - -6 - (1 + 4). Suppose -3*i + 5*i = 0. Which is smaller: i or c?
c
Suppose 0 = 5*p - 5*v - 55, -32*v - 25 = -3*p - 37*v. Which is greater: p or 150/17?
p
Suppose -20 = -2*p + 4*l, -3*p - 12 = -p + 4*l. Let d(k) = -k - k**2 - 3 - 3 + k**3 + 6*k**p + 0*k**2. Let b be d(-5). Which is smaller: -6/7 or b?
b
Suppose 30*w = 29*w - 4*n + 812, -5*w + 3975 = 3*n. Which is smaller: 794 or w?
w
Let y(g) = g - 7. Let o be y(10). Suppose 0 = -o*f - 5*u + 10, f - 4*u + 8 = -3*f. Let p be (-1 + f - -2)*0. Which is smaller: p or -1?
-1
Suppose 0 = -4*b + 5 + 7, 9 = -2*o + 5*b. Suppose 7*d - 4 = o. Let h be ((-1)/30)/(-2 - -3). Do d and h have the same value?
False
Let y = -87 - -104. Let u = 7 + -21. Let c = y + u. Is 0.3 bigger than c?
False
Let k be 0 + -2 - (-129)/(-30). Let m = -13/2 - k. Let v = -174 - -175. Is v greater than or equal to m?
True
Let r = 985 - 663. Which is smaller: 323 or r?
r
Suppose 5*m - 4*t = -6*t + 42, -2 = -2*t. Let b = 19 + -25. Let n be m/b*(-9)/30. Is 3/13 > n?
False
Suppose 3*i - 2*k = 83, -2*i + 5*k = -5*i + 97. Let o = i + -12. Is o at most 18?
True
Suppose -b + 5 = -5. Let k(x) = 4*x - 10. Let f be k(b). Let t be (12/f)/((-28)/(-5)). Is t less than 0?
False
Let p be (-246)/(-63) - 2/(-3). Let z = -147 + 152. Which is smaller: z or p?
p
Let o(k) = -4*k**2 + 2*k - 6. Let b be o(-3). Let y be 2/3 - 16/b. Let z be -11*(0 - -2 - y). Is z greater than -11?
False
Suppose -3*s + 2 = -s. Let a = -3.8 - -5.2. Which is bigger: a or s?
a
Let r = 375.09 - 373. Let t = -0.18 + 0.09. Let l = t + r. Which is greater: l or 1/4?
l
Let b = -72.4 + 74.4. Which is smaller: -128 or b?
-128
Let g = -5112/475 - -198/25. Which is smaller: g or -2?
g
Let i be (-5)/(-15)*(0 + 0). Suppose -8*r = -3*r + 3*d + 3, i = -4*d - 4. Are r and 1 nonequal?
True
Let r(d) = -39 + 34*d - 16*d - 16*d + 12. Let t be r(13). Which is greater: -4/3 or t?
t
Let z(s) = s**2 + 1 + 10*s**2 + 0*s**3 + 0*s**2 + s**3. Let h be z(-11). Let x be (-6)/14 + -4 + (-1256)/(-280). Which is bigger: h or x?
h
Let n(q) = -q**3 - 18*q**2 - q - 20. Let x be n(-18). Does x = -2?
True
Suppose 2*o = -4*q + 5*o - 14231, 0 = 5*q - 5*o + 17785. Let u be (-4)/10 + (-1504)/q. Which is bigger: u or 0?
u
Suppose 2*k = -5*w + 49 + 113, 0 = -w - 3*k + 35. Let x be ((-180)/16)/((-6)/w). Let g be (-6)/(-4)*x/45. Which is smaller: g or 0?
0
Suppose -5*t = -2*j - 351, 2*t + 2*t + 5*j = 261. Let k be ((-48)/(-10))/(t/230). Which is greater: 14 or k?
k
Suppose -4*m + 3*o - 1046 = 414, -4*m - 1468 = -5*o. Which is smaller: m or -360?
m
Suppose -5*f + 10 + 0 = 0. Let q = 30 + -28. Suppose -f*s + q = 6. Which i