 2117?
g
Let d = 261548293/23331 + -33631/3. Is d smaller than 0?
False
Let z be 3/(-69)*2/4. Suppose 345*t - 139*t = 206. Is z at most t?
True
Let u be (-778216)/(-4272)*(-31 - (1 - 0)). Which is smaller: u or -5828?
u
Let f = -402992/133 + 3030. Which is smaller: f or 11/2?
f
Let y = 23 - 8. Let f be (y - 4)/(2/(-10)). Let u = 38 + f. Which is greater: -16 or u?
-16
Let q(t) = 44*t - 35. Let z(l) = l + 2. Let p(i) = q(i) + 6*z(i). Let k be p(4). Which is bigger: 176 or k?
k
Let g(k) = k**2 - 5*k + 2. Let n be g(5). Suppose -c - 5 = -t - n*t, -4*t - 4 = -4*c. Suppose t*w - 124 = -w. Which is greater: 30 or w?
w
Let l(g) = -7*g - 50. Let i be l(-6). Let z be 0 - (i/6 + (-32)/(-16)). Let q = 37 + -35.3. Which is bigger: z or q?
q
Let o = -22067 + 23305. Is -4/3 equal to o?
False
Let o = -2927 + 2927. Let d = -445/4 - -2003/18. Do o and d have the same value?
False
Let l = 11662 + -11663. Which is bigger: l or 2/42849?
2/42849
Suppose x - 3 = 4*y - 27, -3*x = 5*y - 30. Suppose 0 = 4*l + y*j - 4*j + 774, -2*j = -4*l - 762. Is -194 != l?
True
Suppose -2*j - 3*h + 7 = 0, -4*j - 1 + 3 = 2*h. Let y = -89 + 93. Suppose -5*r + 5*w - 6 = 29, -y*r = -3*w + 26. Which is smaller: j or r?
r
Let d = 162 - 157. Suppose -d*l = -5*q + 1410, 5*l = -q - 1236 - 162. Is l < -280?
False
Let d be (178 + -198)*(-1)/(-22). Is 0 at most as big as d?
False
Let y = -70 + 554. Which is smaller: -1 or y?
-1
Let c = -44.063 - -0.063. Let y = -36 - c. Let d = 2 + y. Which is greater: -3 or d?
d
Suppose 5*q = q - 5*c, 5*c = 2*q - 30. Suppose -5*t = 16*w - 18*w - 2, q = -5*w + 5*t. Which is smaller: w or -2/23?
w
Let m(p) be the first derivative of p**4/2 - 5*p**3 - 7*p**2/2 - 18*p + 3. Let r be ((-24)/10)/(3/(-10)). Let w be m(r). Which is bigger: -9 or w?
-9
Suppose -z = 4*n + 1, -4*n + 91 = -z + 82. Which is bigger: 15/1601 or n?
n
Let m = 11455 + -11454.7. Do m and -762 have different values?
True
Let v = -417.3 - -482. Let k = -13.3 - v. Let o = 77.9 + k. Which is greater: o or 2/47?
2/47
Let w be 805/91 + -9 - 1700/(-65). Let p = -20/33 - -14/33. Are w and p equal?
False
Let w be 1*(3519/85)/(3/(-50)). Which is greater: -692 or w?
w
Let x(g) = -24*g**2 - 75*g + 493. Let j be x(7). Is -1208 bigger than j?
False
Let s(z) = -z**2 + 9*z - 5. Let p be s(8). Let u = -5 + 8. Suppose 3*j = j - 5*c - 89, -u*j = -p*c + 102. Which is smaller: -38 or j?
-38
Suppose 8*g = 18*g + 241 - 231. Do 2/463 and g have the same value?
False
Suppose 0 = -3*n - b - 2*b + 21, 8 = 4*b. Let q = n + -4. Let z = 43688 + -393191/9. Are z and q equal?
False
Let f = -8443 - -9398. Which is greater: 954 or f?
f
Suppose 3*h - 6 = -3*d + 3, 5*d - 3 = -2*h. Let f = -14 - -2. Let y be 3 - 1/((-4)/f). Are d and y equal?
False
Let p = 8716/3219 + -44/1073. Is p smaller than -508?
False
Let a be ((-1710)/72 - -20)*(-10)/26. Is a less than 1?
False
Let a = -61.555 - -61. Let d = 0.005 - a. Let b = d - 4.56. Which is bigger: b or 3/4?
3/4
Suppose -3*l = -5*o + 16256, -3*o + 9774 = -6*l + 11*l. Suppose o = -5*n - 352. Is n < -722?
False
Suppose -1040 = 340*a - 366*a. Which is bigger: -9 or a?
a
Suppose -162 = 2*b + 4*v, 3*b + 79 = 4*v - 174. Which is smaller: b or 13?
b
Let m(v) = v**2 - 17*v + 19. Let f be m(16). Suppose -4*g + 8*l - 5*l + 8 = 0, 0 = -5*g + f*l + 13. Is 16/3 smaller than g?
False
Let a be 1/(1 + 40/(-38)). Let z = a - -20. Let w be (2*z/(-4))/(-8). Is 1 bigger than w?
True
Let s(a) = 78*a - 5373. Let b be s(69). Which is smaller: b or 396?
b
Let w = 1829 + -1638. Which is greater: w or 190?
w
Let t be -2 + 12/8 + (-38)/4. Let h be (-2)/(3 - 2) + t/(-80). Is h <= -2?
False
Let r = 0.059 - 0.026. Let o = r - 0.087. Let x = -0.046 + o. Which is smaller: x or 33?
x
Let l = 3904 + -3956. Is 92 at least as big as l?
True
Suppose w = -4*m - 858, -333*w - 3*m = -338*w - 4175. Which is greater: -846 or w?
w
Let u = -124 + 123.835. Let o = u + 0.137. Which is smaller: -0.1 or o?
-0.1
Let d = -8 + 9. Let a = 49915/1729 - 7165/266. Let g = a + -36/19. Which is smaller: d or g?
g
Let y = 14665 + -10552. Is y greater than 4114?
False
Suppose -3*m + 34 = -2*s - 2*m, -3*s - 5*m = 64. Let l = 289 - 288. Let c(h) = -17*h**3 - 2*h**2 + 5*h - 3. Let w be c(l). Which is greater: w or s?
w
Let d be 6/(-24)*52 + 5913. Is 5900 < d?
False
Let m be (-90)/(-150)*(72 + -1 + -1). Let l be (-57)/126 - (-12)/m. Let n(b) = b**2 + 4*b + 3. Let z be n(-2). Is l at least z?
True
Let i(q) = -q**3 - 8*q**2 + 63*q + 121. Let l be i(6). Let r be 0/2 + (-3 - 2). Is r at most as big as l?
True
Let f = 9399 + -9455. Is f at least as big as -189?
True
Suppose -37*k = 21*k - 6786. Is k equal to 172?
False
Suppose 0 = -4*z + 4*i + 2564, 2*i - 1277 = -2*z + 3*i. Suppose 267 = 21*a - z. Does 42 = a?
False
Suppose 3*o - 193 = 41*v - 37*v, 3*v + 143 = 4*o. Let q = -55 - v. Is -16 equal to q?
False
Let t(i) = -i - 1. Let j be t(2). Let d = 662.2 - 662.5. Which is smaller: d or j?
j
Suppose 2*f + y = -y - 74, -3*y = -5*f - 153. Let p = 31 + f. Let x = -793/30 - -155/6. Which is smaller: x or p?
p
Suppose -396 = -5*h + 4*h. Let n(d) = 1589*d - 26617. Let g be n(17). Is g < h?
False
Let q(n) = 2*n**2 - 13*n + 14. Let v be q(5). Do 526 and v have the same value?
False
Let z(n) = -15*n**3 - 19*n**2 - 5*n + 2. Let a be z(-5). Does a = 1430?
False
Let q be 1 + -2 - (-27 - 0/4). Suppose 0 = 7*i + q - 110. Is i at least as big as 66/5?
False
Let q = 1.0716 + -6.2716. Is q equal to -0.013?
False
Let i = 177 - 174. Let a be (54/45)/(6/(i - 1)). Which is smaller: a or -296?
-296
Let f = -131 + 131.062. Let o = f - 0.062. Do -29 and o have different values?
True
Let s = -1956.9 + 1911. Is s bigger than -2/7?
False
Let v = -5 - -5. Let w be (-38)/(-32) - (165/22 - 6). Is v < w?
False
Let b be 9 - 6*6/(-9). Let u(s) = 2*s + 8. Let o be u(5). Let r = 31 - o. Is b >= r?
True
Suppose 4*u + 4 = -2*x - 2, 2 = 3*u - 5*x. Which is bigger: u or 2/621?
2/621
Suppose 3*i + 360 = 6*i. Let t be (-40)/i*12/(-34). Which is smaller: 0 or t?
0
Let v be (54/(-180))/(24/20). Are 525.3 and v nonequal?
True
Let u be (-2 - (-32)/(-14)) + 4/14. Let i(p) = 2*p**2 + 7*p - 1. Let t be i(u). Suppose -h - 4 = t. Is h >= 2?
False
Let m = 379.1 - 399. Let o = 20.1 + m. Which is smaller: -0.07 or o?
-0.07
Let y(c) = -c**2 - 12*c + 23. Let p be y(-13). Let a be 12*(3 - p/2). Is 6 > a?
True
Let c = -125966935012/11055 + 34183700/3. Let r = -2/201 - c. Let t = 0.8 + 0.2. Which is bigger: r or t?
t
Suppose -12*k - 218 = -158. Which is smaller: k or 12?
k
Let y be 1*-71 - (30/5 - 8). Let m = 5659/82 + y. Which is bigger: 1 or m?
1
Let v(k) = k**3 - 5*k**2 + 6*k - 10. Let a be v(4). Let g be ((-1)/2)/((-837)/(-1404)). Are a and g equal?
False
Let w = -833 - 1291. Is w at least as big as -2124?
True
Let w = -23594/7 + 3370. Which is bigger: -1/4 or w?
-1/4
Suppose 0 = t + 935 - 932. Suppose 3*j + 2*z + 3*z - 92 = 0, -j + 28 = -z. Is j < t?
False
Let b be ((-22)/(-1))/(-21 - 1635/(-78)). Is -570 less than b?
False
Let p(j) = -j**2 + 35*j + 18. Let z be p(21). Are z and 306 nonequal?
True
Let x = -162 + 174. Let n be -7*3*2/3. Let j = n + 26. Is x greater than or equal to j?
True
Suppose 0 = -2*v + 4*h + 258, -2*v + 7*v - 672 = h. Let o = 73 - v. Which is smaller: o or -60?
o
Let c = 841 - 840. Is 50/81 less than or equal to c?
True
Suppose 3*p - 2*p - 131 = 0. Let s = 178 - p. Let y = s - 47. Is -1 greater than or equal to y?
False
Let p(v) = 181*v - 347. Let y be p(2). Let q = 0.26 + -0.3. Which is greater: q or y?
y
Suppose 8*z - 148 + 508 = 0. Let g be 244/180 + 6/z. Which is smaller: g or 0?
0
Let u = 425257 + -15663491079/36833. Which is bigger: u or 1?
1
Suppose -15 = 3*b + 5*h - 0*h, -4*h = 0. Let m be (-2)/b*10/(-16). Is -124 < m?
True
Let p(x) = -417*x + 2076. Let d be p(5). Suppose -6*k + 8*k = 42. Let q = -31 + k. Which is smaller: d or q?
q
Let p be ((-160)/56)/(4/24). Is p <= 2?
True
Suppose -5*x = 5, 0 = -4*t + 3*x - 0 + 3. Let q be ((-351)/18)/(6/(-32) - t). Which is smaller: q or 103?
103
Let o(g) = g**3 - 14*g**2 + 28*g - 78. Let x be o(12). Let s be ((-150)/(-8))/(x/(-200)). Which is smaller: s or 122?
122
Let c = -40 - -71. Let t = 96688 - 96687. Is c smaller than t?
False
Let l be ((-3)/(-6))/((-2)/(-100)). Suppose -7 = -6*o - l. Let n be 6/((-3 - -1 - o)/(-1)). Which is gr