 = -0*v. Suppose -5*g + 5 = p, p - 17 = g - v*g. Suppose -4*b - 2*u - 9 = 13, -5*u = p. Which is greater: -3 or b?
-3
Let p = -218 - -111. Let a = 33 + p. Let c be 1/(-2) - 41/a. Is c >= 0?
True
Let t = -813017/70485 - -6/4699. Let n = t - -51/5. Which is smaller: -2 or n?
-2
Let j(v) = 5*v**3 + 4*v**2 + v - 6. Let l be j(-2). Let t be (-72)/l + (0 - 2). Let o be (-2)/(-17) + -2 + 2. Which is bigger: t or o?
t
Suppose -2*z - 3*z - 4*c - 6 = 0, -5*c - 28 = -4*z. Suppose 0*t = -z*t. Suppose 4 + t = 2*w, 0 = 3*m - 5*w + 34. Is m greater than -17/2?
True
Let h = 66 + -63. Suppose -3*i - h = -a + i, -5*a - 65 = -4*i. Which is smaller: a or -16?
a
Let h = -163 - 462. Is h smaller than -626?
False
Suppose x + k = 4*x - 2, 2 = -k. Is -12/23 smaller than x?
True
Let b(t) = 5*t**2 - 6*t. Let d be b(-1). Is 10 equal to d?
False
Suppose -49*w + 50*w = 15. Suppose -r + 2*n = r, -4*n - w = r. Suppose 4*v = 2*f - 12, 5*v + 8 = 2*v + 2*f. Is r greater than v?
True
Let g be ((-47208)/36)/14*-3. Which is smaller: g or -0.4?
-0.4
Let j = 20 + -77. Is j at most as big as -57?
True
Let b = -0.01 - 0.99. Which is smaller: 3 or b?
b
Suppose 24 = -8*d - 112. Suppose -3*h - 2*s + 14 = 0, -10 = 3*h - 4*s - 0. Let u be (-17)/(-3)*(-5 + h). Are d and u equal?
True
Let t = 0.01 + -0.21. Which is bigger: t or 81?
81
Let j = -24.8 - -25. Let k = -0.2 + -7.8. Let z = k + 5. Which is smaller: j or z?
z
Let i = 37 - 32. Suppose 0 = 2*x + i*x - 63. Let a(r) = 9*r**2 - 2*r - 1. Let t be a(-1). Which is smaller: t or x?
x
Let i be (0 - (-2)/5)/((-93)/(-15)). Is 0 >= i?
False
Let y be 75/10*(-28)/(-5). Suppose -t = -0*t + 3*h - 32, 0 = 2*t - h - 85. Does y = t?
False
Let q(p) = -p + 7. Let z be q(4). Suppose -d + 7 - z = 0. Let j be d/20 + 1/(-5). Which is greater: j or 1?
1
Let h(i) = i. Let u(r) = -3*r + 4. Let p(g) = 5*h(g) + u(g). Let b be p(-1). Let j = -86 - -260/3. Is j equal to b?
False
Let h be ((-63)/(-105) - 36/10) + 126. Which is smaller: 124 or h?
h
Suppose 0 = -2*o - 0*m - 4*m - 24, 0 = 5*o - 3*m - 5. Let c = 115 - 578/5. Do o and c have the same value?
False
Let x be (-690)/48 + -7 - 3/(-2). Are x and -19 unequal?
True
Let g be (80/35)/(-8) - 6/(-21). Which is bigger: g or -1/956?
g
Let s(v) = 3*v - 138. Let u be s(19). Is -82 at least as big as u?
False
Let p be ((-35)/(-20))/((-1)/(-4)). Suppose -4*i = -5*k - 6, -3*k - p*i + 26 = -2*i. Suppose -o - 11 = -k*o. Which is greater: o or 10?
o
Let c be 1 + 0 - 2/(-2). Suppose b + s = 9, -6 = -b - 0*b + c*s. Suppose -3*a = -a - b. Are a and 5 non-equal?
True
Let i be (10/5)/((-26)/(-611)). Suppose 3*x - 225 = -2*x + h, x - 5*h = 21. Is i at least as big as x?
True
Let f = 187 + -101. Let q be f/56 + (-1)/4. Suppose -2*w - 10 = 2*g - 3*g, 3*g + 4*w + 20 = 0. Which is greater: g or q?
q
Suppose -2*x - f + 6 = -4*f, 0 = -3*f - 6. Which is smaller: -11 or x?
-11
Let o = 703 - 7739/11. Is 0 < o?
False
Let z(w) = 3*w + 51. Let t be z(-25). Let y = 24 + t. Is -21/19 greater than or equal to y?
False
Suppose 2 = 25*i + 1 + 1. Suppose -2*b + 2*s + 2 = 6, 0 = 2*s - 8. Suppose -7*h + 2*h = -5*y - 5, -b*y = 3*h - 18. Which is bigger: i or y?
y
Suppose 2*w + 4*y + y = -38, 2*y + 74 = -5*w. Suppose 3 = f + 17. Let n = f - w. Are 1/3 and n unequal?
True
Let t(m) = -m**2 + 12*m - 5. Let c be t(11). Let d = c - 2. Is d != 4?
False
Let i = 79694/873459 + 60/2623. Let d = i + 4/37. Which is smaller: d or -2?
-2
Let n be 42/12 - (-2)/(-4). Suppose -3*g - 5*y + 29 = 0, 3*g + 0*y - 33 = -n*y. Let k be g/(-39) + 0 + 0. Which is smaller: 0.2 or k?
k
Let q be 2/(-1) - -3 - -2. Suppose -3*a - 3*w - q = -0*a, 0 = -2*a + 2*w - 6. Suppose -55*h - 2 = -56*h. Which is bigger: h or a?
h
Suppose 27 = -4*r - 3*b, 13*r + 5 = 8*r + 2*b. Which is smaller: -64/21 or r?
-64/21
Suppose -9*a - 14*a = -92. Which is greater: a or -70?
a
Suppose 4*o = -0*o - 8. Let a = -27.9265 - 0.0235. Let v = 28 + a. Is v bigger than o?
True
Suppose r - 1 - 23 = -3*t, -3*t = -3*r + 24. Is r less than 138/13?
False
Suppose 4*k = -3*d - 30, -d + 3*k = -0*d - 3. Suppose -5*i - 36 = -266. Suppose 10 = -y - o, -5*o + o = 5*y + i. Is d >= y?
True
Let c = 44 + -102. Let a = 62 + c. Which is smaller: a or 2/9?
2/9
Let r = -232802/105 - -2217. Let l = r + 1/35. Which is smaller: 1 or l?
l
Suppose -234*y + 244*y = 0. Which is greater: y or -5/62?
y
Let h = -2 - -5. Suppose -c = -h*c - 2. Suppose -4*a = -3 + 11. Is a >= c?
False
Let a = -56.6 - 12.4. Is a less than or equal to 4?
True
Suppose v + 157 = -2*d - 62, -5*d + 2*v - 561 = 0. Let c = 111 + d. Which is bigger: 5/26 or c?
5/26
Suppose 9*n + 32 + 103 = 0. Suppose -5*j + 25 = 3*g, -4*g + 10 = -3*g + 2*j. Suppose g = -f - 4 - 10. Is n less than f?
True
Let i be (-1 - (-39)/12) + 2. Let z = 19 - 15. Which is smaller: i or z?
z
Let d be ((-28)/35)/((-2)/(-5) - 0). Let m = d + 10. Which is smaller: 15 or m?
m
Suppose 13*k - 7*k - 6 = 0, n - k + 1 = 0. Is -2/1583 bigger than n?
False
Let i = -4 - -3. Let v = -24274/27 - -899. Is v > i?
True
Let u(r) = -109*r + 125. Let a be u(5). Are -420 and a equal?
True
Let c(s) = -33*s - 37. Let k be c(16). Let p = k - -18083/32. Is p != -1?
True
Let v = -238 - 334. Which is smaller: v or -573?
-573
Let c = 4 + 1. Suppose -3*h - c*f = -3*f - 7, 14 = 4*h + 5*f. Suppose 5*z = h + 4. Which is greater: -1/10 or z?
z
Let k(s) = 2*s**2 - 4*s - 25. Let n be k(8). Suppose 0 = -0*q + 5*q + x - 137, -5*x - n = -2*q. Which is greater: 25 or q?
q
Let u = -2.61 + 2.7. Let d = -0.29 + u. Is d equal to 1?
False
Suppose -91*y + 94*y - 19 = 4*t, -4*t = -2*y + 22. Let w be ((-90)/(-56))/((-4)/14). Is t >= w?
False
Let i = -8.5 - 27.5. Let l = -36.5 - i. Let r = l + 2.5. Which is smaller: r or -1?
-1
Let a = -19505230759628607/642319 + 30366890532. Let d = a - -2/4621. Is 1 at least d?
True
Let y = -4 - 125. Which is greater: 2 or y?
2
Let b = 4 - 2. Let n(r) = -r**2 + 13*r - 14. Let m be n(11). Let l be (m/(-6))/(1/(-2)). Which is smaller: b or l?
b
Let m(z) = -3 + 42*z - 43*z + 3. Let a be m(9). Let y be (57/a - -4) + 3. Is -1 smaller than y?
True
Suppose -n = 5*m - 6*n + 10, -m + 4*n = 11. Let l = 37 - 37. Suppose -5*g = 2*y - 20, l = -g + 3*y + m + 3. Which is bigger: g or 3?
g
Let m = -11 - -11. Let w be m/4 - 39 - -3. Let r = w - -25. Which is greater: -10 or r?
-10
Let s = 192 - 107. Suppose 5*z - 20 = s. Is 22 >= z?
True
Let c(y) = -y**3 + 7*y**2 - 5*y + 2. Let s be c(6). Let w be (s/(-10))/((-10)/(-200)). Do w and -16 have the same value?
True
Let m = 2 - 2. Let h be 82/14 - (-2 - -9). Which is bigger: m or h?
m
Let k(b) = 2*b**2 + 11*b - 17. Let w be k(-6). Is 19 at most w?
False
Let v = -3277/51 + 1710/17. Let z = v + -36. Let m be 7/(-21) + (-64)/(-120). Which is smaller: z or m?
m
Let j = 5/886 + -2060861/4430. Let y = 966 + -1429. Let x = j - y. Is -3 not equal to x?
True
Let n = 37 + -24. Let o = -2 + n. Which is smaller: o or 8?
8
Suppose 0 = -3*g - 4*h - 146, 5*h = 4*g + 3*h + 180. Which is bigger: g or -50?
g
Let l = -21 + 18. Let y = 10 - -5. Let b = y - 17. Is b equal to l?
False
Suppose 225 = -325*l + 320*l. Let z = 9 - 54. Is z < l?
False
Let f(x) = 7*x + 25. Let j be f(-4). Let a be ((-3)/(-2))/(2*j/(-20)). Is 4 at least as big as a?
False
Let a be ((-4)/(-6))/(4/3*(-179)/358). Let c = -0.08 + 0.11. Let v = c + -3.03. Which is greater: a or v?
a
Let s = -13.99 + 13.3. Let t = 0.69 + s. Let d be (2/(-30))/(1/2). Do d and t have the same value?
False
Let h be (16/(-7) - 0)/(-2). Suppose -2*b + 8 = -216*t + 212*t, -3*t + 5*b = 20. Which is smaller: t or h?
t
Let x be 0 + (6/4)/((-15)/20). Let t(w) = 3*w + 4. Let g be t(-4). Let f = g + 4. Is f less than or equal to x?
True
Suppose 8 = -4*g + 12*r - 8*r, -4*g = 2*r + 8. Which is smaller: -34/39 or g?
g
Suppose -4*v = 4*w + 492, 653 - 159 = -4*w - 5*v. Which is smaller: -122 or w?
-122
Suppose 0 = -5*x + x - 8. Let f be (-2 - 2)*(x + (-897)/(-450)). Is 0 >= f?
False
Let l = -797.935 + 798. Are 3/4 and l non-equal?
True
Let c(g) = -2*g**3 - 7*g**2 + g. Let j(n) = -3*n**3 - 13*n**2 + 2*n + 1. Let k(m) = 5*c(m) - 3*j(m). Let r be k(3). Which is bigger: 2 or r?
r
Let f be (-57)/76 - (-1449)/12. Which is smaller: 119 or f?
119
Let l be 18/9 - (-7)/(-5). Let b = l + 0. Is 0 smaller than b?
True
Let h(n) = n**3 - 15*n**2 + 45*n - 65. Let z be h(12). Let 