/1) - 1. Which is smaller: -5 or q?
-5
Let b be (1 + 2)*(-4)/(-30) - 12. Is -11 greater than b?
True
Let f be ((-64)/12)/8*(-10)/18. Which is smaller: f or 1?
f
Let w = -135 + 83. Which is smaller: -51 or w?
w
Let z be ((-38)/95)/(-3 + 10299/3435). Is 1 > z?
False
Let x = -48.4 + 49.4. Which is smaller: x or 180?
x
Let y = 1.72 - -9.18. Let r = 11 - 0. Let l = r - y. Which is smaller: l or -1?
-1
Let g = 0.25 + -13.25. Let h = -13.26 - g. Let o = h + -0.34. Which is greater: 2/3 or o?
2/3
Let z be (-8724)/(-72)*(12 + 0) - 2. Is 1451 greater than z?
False
Let t = -1.0126 - -0.0126. Which is smaller: 17 or t?
t
Let w = -1.91 + -7.09. Which is greater: w or 0.1?
0.1
Let i = 963/143 - 135/11. Which is greater: i or -6?
i
Let a = 462 - 461.7. Let m = -6 + -2. Which is bigger: a or m?
a
Let r be 169/(-30) - (-16)/20. Let u = 389/78 + r. Is 1 > u?
True
Suppose -z = 4*g - 20, z + 1 = 2*g - 3. Let f be z/14*8 + -2. Is f < -65?
False
Let b(j) = -2*j - 6. Let c be b(-5). Suppose -2*u + u = -c. Suppose -t - u*t - 5 = 0. Which is bigger: t or -1/2?
-1/2
Let f = -43 - -54. Suppose 0 = -f*w - 419 + 166. Is w less than or equal to -22?
True
Suppose 0*c = 8*c - 176. Suppose 24*f + 60 = c*f. Which is bigger: f or -28?
-28
Let k be (4/(-5))/((-1)/(-30)*-4). Let d(g) = g**3 - 7*g**2 + 5*g + 8. Let v be d(k). Which is bigger: v or -2?
v
Let w be (-25450)/20*(-36)/(-45). Is w <= -1017?
True
Let u(r) = r**2 - 1. Let q be u(1). Suppose q*g = -3*g + 9. Let l(t) = t**3 - 5*t**2 - t + 1. Let y be l(5). Which is smaller: y or g?
y
Let y be (-8)/(-2) + -2*2512/1312. Is y >= -1?
True
Suppose 9*s + 4*s + 169 = 0. Let m(y) = -y - 4. Let x be m(s). Which is smaller: x or 7?
7
Let h = 1655 - 1532. Which is greater: 2 or h?
h
Let b = -0.7 + 0.69. Let s(i) = 15*i + 3. Let k be s(1). Let y be k/(-14) - (-2)/7. Which is bigger: y or b?
b
Suppose 5*v - 5 = -3*a + 7, 0 = -4*v + a - 4. Suppose 0*q - 3*q + 12 = v. Suppose -3*d + 5*s = 4, -s + 6*s - 16 = -3*d. Which is greater: d or q?
q
Let g be 126/92 - 27/18. Let h = g - -121/46. Is h >= 3?
False
Suppose -h + c = h + 377, 0 = -2*h - 3*c - 373. Which is greater: h or -191?
h
Let b = 12 - 14. Let f be b/(-5) - 192/450. Which is bigger: 0 or f?
0
Let q(c) = -2*c**2 + 6*c + 7. Let z be q(5). Let f = z + 18. Suppose f*b + a = -5, -4*a - a - 25 = -5*b. Which is greater: b or -2/5?
b
Let l(x) = -3*x**2 + 2*x + 11. Let y be l(4). Which is bigger: -30 or y?
y
Let r(w) = 2*w**2 - 51*w + 28. Let j be r(23). Which is smaller: -86 or j?
j
Suppose 4*b = 2*b + 8. Let u = -30 + 30. Which is smaller: b or u?
u
Let v = -244 + 285. Are 42 and v nonequal?
True
Let h = -149 - -1935/13. Suppose 63*q - 64*q + 52 = 0. Let l be (1/4)/(13/q). Is l != h?
True
Let y = -15 - -11. Let o be (-1)/y + (-34)/40. Let b(s) = -s**3 - 18*s**2 + 19*s. Let c be b(-19). Which is bigger: o or c?
c
Suppose 8*f = -8*f. Is -26 at most as big as f?
True
Suppose r + 2*k - 9 + 3 = 0, 3*r - 4*k + 12 = 0. Let c be r + 2 + (-7)/4. Let a = -40 - -41. Which is smaller: a or c?
c
Let h = 20/3 + -137/21. Let s be (2 - 4) + 5 - (3 - 0). Which is greater: s or h?
h
Let i = -6850.944 - -6851. Let y = 2/33 + 25/132. Is y greater than i?
True
Let z be -2*((-4 - -4) + -1). Suppose -z*y + 6 = -26. Which is bigger: 15 or y?
y
Let t(p) = -p**2 - p + 9. Let i be t(0). Suppose 6*j - 3*j - 43 = -4*k, 5*j = -5*k + 55. Is i at least k?
False
Suppose -4*c + 3215 = -3*h, 1 = -5*h - 4. Is 803 greater than or equal to c?
True
Let t be ((-12)/8)/(15/24 - 1). Let i be 3 - 2 - -2 - t/2. Is 1 at least i?
True
Let k be (-3)/(558/8)*(-15)/10. Which is smaller: k or -1?
-1
Let n(m) = -m**3 + 17*m**2 - 16*m - 3. Suppose l - 18 = -2. Let s be n(l). Let i be -1 - (-2 + (s - -4)). Is i <= 0?
True
Let o be (-25 - -28)/((-1)/(-16)). Are 45 and o nonequal?
True
Let r be (-1 - 14/10)*20/(-6). Suppose 0 = r*z - 15*z - 21. Are z and 3/11 non-equal?
True
Suppose 0 = -c - 2*g - 6, g = -5*c - 57. Let l be (2/(-6))/(1/(-18)). Let t be (4/l)/((-8)/c). Is -1/3 greater than t?
False
Let b(a) = 3*a**2 + 65*a + 5. Let u be b(-15). Is u bigger than -295?
False
Let x = -4/447 - -1450/62133. Suppose 0 = 5*l + 13*l. Which is greater: x or l?
x
Let k be (-1)/5 + (-112)/(-35). Suppose -4*g + 14 = -2*g + 4*x, 0 = k*g + x - 1. Is g not equal to -0.03?
True
Let v be 33/55 + (-2)/((-10)/(-83)). Let h = 101/2 + -501/10. Which is smaller: h or v?
v
Let l be -1 - (-4 - -3)*-107. Let y be ((28/l)/(-1))/1. Let p = y + 65/27. Which is bigger: p or 0?
p
Let b = -1728 - -1732. Let g be 2/(-6) + (-1)/(-3). Suppose 2*x - 4*x + 8 = g. Is b equal to x?
True
Suppose 4*s - 36 = 20. Suppose 6 = h - s. Which is greater: h or 3/4?
h
Let v = 15 - 13. Suppose x + 16 = 4*o + 4, -3*x + 5*o - 22 = 0. Let q be (8 - -2)*x/(-10). Is q at least as big as v?
True
Let a be 642/(-4)*8/(-6). Suppose -a = -7*v + 10. Let s = v + -30. Which is smaller: 7/4 or s?
7/4
Let i = -290.9 - -291. Which is bigger: -5 or i?
i
Let i = -0.15 + 0.05. Let r = 83 + -79. Let o = r + -8. Which is bigger: o or i?
i
Let z(b) = 7*b**2 + 2*b + 1. Let j(v) = v**3 - 2*v**2 - 4*v - 2. Let p be j(-1). Let s be z(p). Are s and 21/4 unequal?
True
Let x = -2548/19 - -134. Let r be (-2*(-10)/16)/(250/100). Is x <= r?
True
Suppose -2 - 16 = -6*x. Let a be ((-6024)/(-500))/x + -4. Is -1 != a?
True
Let z = 0.169 + -0.269. Is -147 greater than or equal to z?
False
Let n = 161/2 + -1115/14. Is 2 <= n?
False
Let d(x) = -3*x - 21. Let j be d(-11). Let h = j + -9. Which is smaller: h or 15/4?
h
Let q be 1/(-2 - (0 - 1)). Let r = -1990 - -9983/5. Let l = r - 31/5. Is q greater than or equal to l?
False
Let x = 5.77 + -0.27. Let g = 7.05 + -1.05. Let k = x - g. Which is greater: -0.1 or k?
-0.1
Let l be (-7 - -5)*15/(-6). Suppose -n + 11 = -2*i, 0*i - 17 = l*i + n. Which is smaller: i or -2?
i
Let w(t) = -15*t**2 - 116*t - 30. Let r be w(-7). Which is bigger: r or 375/8?
r
Let g = 0.05 - -4.95. Let t = -91.3 + 87. Let r = t + 6.3. Is g < r?
False
Let g = 231 - 189. Which is smaller: 2/23 or g?
2/23
Let r be 6 + (190/50)/((-2)/(-8)). Which is smaller: 20 or r?
20
Let o = -0.028 - 10.972. Let g = -1.6 - -1. Let i = g + 0.7. Which is smaller: o or i?
o
Let p = -24728 + 1483723/60. Let z = p - 1/20. Which is greater: 1 or z?
1
Let a be 3/(-2)*8/(-6). Let o = a - 2. Let h be 68/(-12) - -2 - o. Is h less than -3?
True
Let l be (-124)/(-7) - 10/(-35). Let m(h) = h**3 + 7*h**2 + 3*h + 3. Let s be m(-7). Let f = s + l. Is 0 >= f?
True
Let g = 13.23 - 13. Let q = 2561 - 5123/2. Is q > g?
False
Suppose 29 = 8*g - 11. Let u(d) = 5 + d**2 - 2*d + 0*d - g*d + 7. Let b be u(5). Is b smaller than 2?
False
Let v(h) be the third derivative of h**4/24 + h**3 + 2*h**2. Let m be v(-4). Suppose -3*p - 5*i - 21 = 0, -7 = p + i + m*i. Which is smaller: p or -6?
p
Let c(l) = 23*l - 6. Let x be c(3). Let g = x - 112. Is -49 greater than or equal to g?
True
Let s = -813 + 2443/3. Let r = 0 - 0. Which is greater: s or r?
s
Let o(k) = k**3 + 8*k**2 - 8*k + 6. Suppose y - f + 2 + 9 = 0, 0 = -5*y + 2*f - 49. Let l be o(y). Is l at least -5?
True
Suppose v + 3 = 0, -3*a - 4*v + 5*v = -27. Suppose 0 = 8*l + 1 - 41. Is a > l?
True
Let t = -63 + 65. Let u = -8 - -4. Let p = u - -4. Which is smaller: p or t?
p
Suppose -2*g + j + 25 - 7 = 0, -4 = 2*j. Suppose 4*u - 34 = v, 26 = 2*u + 3*v - g*v. Which is greater: 9 or u?
9
Let p = 0.08 - -0.01. Let q = p + 0.01. Which is bigger: q or 5?
5
Suppose -224 = 4*m + 4*g, 2*m + 4*g + g = -103. Let i(s) = -s**2 + 11*s + 19. Let j be i(-5). Is j <= m?
True
Let w = 0.81 - -1.07. Let k = w + 0.12. Let u = -2.2 + k. Is u less than -2/7?
False
Let d(r) be the second derivative of -2*r**3/3 - 33*r**2/2 - 10*r. Let h be d(0). Is 1 equal to h?
False
Suppose 2*p = 3*p - 1. Suppose f + p = -0*f. Is f >= -0.05?
False
Let a be ((-8)/104)/((-2)/2)*-1. Which is smaller: a or 0?
a
Let g = 2 + -2. Suppose -7*f + 2*f + 5*u - 10 = g, -5*u = 5*f - 40. Suppose 0 = -p - 2*i, -35*p - 11 = -31*p - 3*i. Is p > f?
False
Let m = 19/6 - 2/3. Let f(y) = y**3 + 6*y**2 - 44*y - 260. Let z be f(-6). Which is smaller: m or z?
m
Let a be 6 + -2 + (13 - 11). Let b be ((-30)/4)/((5/a)/(-5)). Is b less than 46?
True
Suppose 44*h = 38*h + 42. Suppose 57 = m - 5*c + h, 0 = -5*m - c + 120. Which is bigger: 26 or m?
26
Let m = 0.25 - 2.65. 