+ 9*h + 14. Let a be u(10). Suppose 2*l = 4*b - a, -4*b + 0*b = 3*l + 6. Let t = -748 + 26178/35. Which is smaller: b or t?
t
Let f(v) = v**2 - 20*v - 72. Let q be f(23). Let o be (-78 + 72)*q/2. Which is bigger: 3 or o?
o
Let b = -2441299/1665190 + 261/178. Is b >= 1?
False
Let g be (7 + 230/(-26))/(14/4 - 4). Is g < 3?
False
Let k = 1 - 0.9. Let w = -42581 - -42580.984. Which is bigger: k or w?
k
Let d = -5042 - -5041.8409. Which is bigger: d or 1?
1
Let p(g) = -22*g - 102. Let n be p(-7). Suppose -54*h = -n*h - 48. Which is smaller: h or 22?
22
Suppose z - t - 3*t = -26, 0 = -4*z - 2*t - 158. Let b = 13295 + -13332. Do z and b have the same value?
False
Suppose -4*d - 67*f + 69*f - 14 = 0, 0 = -d + 2*f - 11. Which is smaller: d or -79/44?
-79/44
Let a be (-6*(-5)/(-270))/((-10)/90). Which is bigger: -5/427 or a?
a
Suppose f - 612 = -2*c + 35, 2*f + 967 = 3*c. Is c bigger than 324?
False
Let w(r) = 27*r**3 - r**2 - 2*r + 5. Let y be w(3). Suppose -y = k - 672. Is -139/3 bigger than k?
True
Suppose 16*y = 17*y - 1. Let g = -237/11 + 7457/341. Which is greater: y or g?
y
Let j be 6/3 + 38/3. Let m be (-4)/(-30) - 8228/510. Let z be -2*m/5*55/22. Do z and j have the same value?
False
Let t = -233881/7 + 33411. Which is smaller: t or 2329?
t
Let w = -233 - -213. Let t be (5 - 0 - -3)*50/w. Which is smaller: -23 or t?
-23
Let h = 109/3 - 613/17. Let x(k) = k**3 - 3*k**2 + 1. Let z be x(3). Which is smaller: z or h?
h
Let n = -0.1 - -6.7. Let i = 1.7 - n. Let m = i + 18.9. Is m greater than -1/2?
True
Suppose -70*p - 293*p + 1462527 = 0. Which is bigger: p or 1?
p
Let t = 266 + -261.94. Let g = -3.86 + t. Is -32 at least g?
False
Let w = -8946 + 8946. Is 12/647 at least as big as w?
True
Let i = 146930 - 2497050/17. Which is smaller: i or 46?
i
Suppose -8*q - 2 = -9*q. Let h be q/(-1)*((-220)/(-8))/5. Suppose 5*o = -3*m - 44 - 6, 4*o = -5*m - 66. Which is smaller: h or m?
h
Suppose -4*x - 2280 = -23*x. Let w = 126 - x. Which is smaller: 42 or w?
w
Suppose 6*j - 5*j = -202 + 9. Which is smaller: -188 or j?
j
Let y = 19/2 + -28/3. Let f = 13 - -1. Suppose 10*n - f*n = -36. Is y < n?
True
Let j = 49 - 135. Let r = -118 - j. Let k = -158/5 - r. Which is smaller: -1 or k?
-1
Suppose k - 2*x - 39 = 0, -28 = 6*x - 10*x. Which is bigger: k or -6?
k
Let k(x) = -x**2 - 12*x + 13. Let y be k(-9). Let s be y/220 - 130/(-11). Is s at least 3?
True
Let y(b) = -3*b - 3. Let x(k) = 2*k + 8. Let a(g) = -g - 9. Let i(o) = 3*a(o) + 4*x(o). Let c(z) = 5*i(z) + 8*y(z). Let h be c(6). Which is greater: h or 5?
h
Let w be ((-6)/((-72)/586))/(7/(-14)). Suppose 447 = -3*j + 153. Is w at least as big as j?
True
Suppose -3*j - 4*l = -545, 0 = -5*l - 171 + 181. Is j less than 166?
False
Let a be -4*27/(-18) + 148. Let d be ((-1113)/a + 9)/(2/(-16)). Is -15 < d?
True
Let y(z) = -2*z**2 - 26*z + 341. Let s be y(8). Are s and -159 nonequal?
True
Let p = -92 - -54. Let t = -127 - -89. Let q = p - t. Is q less than or equal to 0?
True
Let g = 216.9 + 23.1. Let d = g - 241.1. Which is greater: d or 2?
2
Let c = -14443/19 - -50015957/65797. Which is bigger: 0 or c?
0
Let o be (-8 + 32/6)*(-90)/8269080. Which is bigger: -0.1 or o?
o
Let s(n) = -3*n**3 - 3*n**2 + 18*n + 19. Let z be s(-5). Let f = -226 + z. Let m be 6/16*(-39)/(-9). Which is smaller: f or m?
m
Let j be (10/3350*10)/(6/(-303)). Is -2 at least j?
False
Let b(t) = -t**3 - 13*t**2 - 26*t - 158. Let m be b(-12). Let x be (-11)/22 - 7/2. Let s be ((-44)/(-3))/x*-3. Which is greater: m or s?
s
Suppose 6*k = 12 + 72. Let y be (-2728)/9009 + 4/k. Is 1 smaller than y?
False
Let k = 3/253 - -55395/1012. Let g be (-5)/(46/22 - 2). Let n = k + g. Is -0.04 not equal to n?
True
Suppose -3*p = 4*y - 42, 0 = 3*p + y - 37 + 4. Suppose -p*f = 8*f. Are f and 4/129 nonequal?
True
Let w = 121 + -46. Let a be 148/w + -1 + -1. Let f = -17643 - -17643. Which is greater: a or f?
f
Suppose -5*a + 0*a + 10 = 0. Let o be ((-1)/2)/(3/30) - -3. Let k be (12/28)/(o/(-14)). Is a less than k?
True
Let o(l) = l + 9. Let t be o(-5). Suppose 0*z + 59 = 5*b + 2*z, t*z = -12. Suppose -3*a - 40 = m, a - 1 + b = -m. Is a <= -13?
True
Let y = 4 - 2. Suppose q = y - 29. Suppose -4*p - 114 = 2*n, -4*p + 49 = -3*n + 158. Is p >= q?
False
Let p = 278 + -280.53. Let b = -1.53 - p. Which is smaller: b or 86?
b
Let x(f) = f**2 - 7*f - 93. Let b be 3/(6/10) + 4. Let h be x(b). Which is greater: -77 or h?
h
Let l be (1/(-2) - -1)/(1926/2140). Suppose 0 = -0*f - f + 5. Suppose 4*k = -f*y + 16, 4*y - 13 = -5*k - 2. Is l at least k?
True
Let a = -2567 - -2554. Is 2/39 >= a?
True
Let p = 375 - 371. Let n = -19 + p. Is -19 equal to n?
False
Suppose 187 = 2*i - 5*h, 0 = 6*h - 3*h - 15. Suppose z - 388 = -2*a, -5*z + 106 = a - i. Is 193 smaller than a?
False
Suppose -3*j - 14*q + 13*q = 0, 2*j - 25 = -9*q. Do 2/2383 and j have the same value?
False
Suppose -46*f + 47*f - 19 = 4*i, 3*f - 17 = 4*i. Is f > -1/1364?
False
Let o = -348 - -203. Let p = o + 145.17. Is p > 0?
True
Let a = -5648 - -5649. Is a bigger than -0.4357?
True
Let y(b) = 4*b - 7. Let h be y(11). Suppose -142 = -7*q - h. Let d(l) = 3*l - 10. Let o be d(8). Which is smaller: q or o?
o
Let g be (-2)/(-12)*2800/84. Let k = 52/9 - g. Is k greater than -18?
True
Let r(y) = -3*y**2 - 54*y - 18. Let c be r(-8). Suppose -2*w + 10*n - 8*n = -c, -n + 1 = 0. Which is smaller: 114 or w?
w
Suppose -2*m - 41 = 5*r + m, 4*r + 31 = -3*m. Let d = 6.834 + -0.034. Let z = 7.8 - d. Which is smaller: r or z?
r
Let n = 7558 - 10135. Which is bigger: -2574 or n?
-2574
Suppose -4*u - v = -13, -3*v = -5*u - 2*v + 14. Suppose 0 = o + u - 4. Let w = 18.6 - 16. Which is smaller: o or w?
o
Suppose -3*z - 3*b = -b - 7, -4 = 4*b. Let w = -561/4 + 142. Are w and z unequal?
True
Let u = 7475 - 10238. Which is bigger: -2 or u?
-2
Suppose 99 = -36*d - 136 - 125. Are d and 200 equal?
False
Let h(n) = 13*n - 209. Let v be h(16). Let w be 5/v*192/20. Is -47 smaller than w?
False
Suppose -k + 4*o - 410 = 0, -23*o + 850 = -2*k - 20*o. Which is smaller: k or -435?
-435
Suppose -2*x + 2*q + 15 = 17, -x = -4*q - 2. Let b be ((-1206)/12)/(x/4) + -3. Which is greater: b or 197?
b
Let d = -372 + 368. Let o be (2*(-27)/(-12) + d)*2. Which is smaller: o or 27/23?
o
Let q be (26598/(-825))/((-10)/25). Is -1 at most as big as q?
True
Let x = 2/403 + -437/6851. Let h(i) = -i**3 + 9*i**2 - 6*i + 3. Let n(d) = -d**2 - 1. Let l(w) = -h(w) - 2*n(w). Let f be l(6). Is f >= x?
False
Let t be (0 + 36/(-8))/(225 + -12). Which is smaller: -1 or t?
-1
Let b be 5977/(-129)*(-3)/(-20). Let n = b + 25/4. Are n and 0 unequal?
True
Suppose -104 = -5*l - 4. Let c be -2 + l/12 + (-103)/(-3). Let q = c - 31. Are 3 and q non-equal?
False
Suppose 19*v + 8 = 21*v. Suppose -v*l - 78 = -f - f, -2*f + 78 = 2*l. Let u = f + -59. Is u bigger than -21?
True
Let a = -183/7 + 117/133. Is -26 at least a?
False
Let h = 0.1468 - -66.6532. Is h bigger than 2/11?
True
Let l = -2.85 + -3. Let q = l - 0.15. Let y = -22 - -27. Is q at most as big as y?
True
Let l be 93/9 + 8/(-24). Let u be ((4/1)/(-3184))/(l/(-16)). Which is smaller: 0 or u?
0
Let h be ((-15)/(-4))/(12/160). Suppose 0 = -5*u + 10 - h. Let w be u/140 + (22/10 - 2). Is -1 equal to w?
False
Let w = -333 + 332. Let m be ((-98)/28)/((-217)/(-14)). Which is bigger: m or w?
m
Let w be (2 - 10/4)*(781 - 9). Let o = w - -316. Is o greater than or equal to -68?
False
Let i(g) = -g**2 + 9*g + 4. Let r be i(3). Let p(m) = -m**2 + 24*m - 39. Let c be p(r). Let q = -18/119 + 3184/595. Is c > q?
False
Let l be ((-27)/30)/((-3)/(-23)). Suppose -2757 + 1011 = 1526*v + 8936. Is v < l?
True
Let i = -1214 - -960. Are -2/17 and i unequal?
True
Let q = 115.9562 + 0.1688. Let h = q + -0.125. Let a = -116 + h. Is -2.5 not equal to a?
True
Let p be ((-4)/(-15))/(68/(-10)). Suppose 3*l + 3*q - 75 = -114, -2*l - 3*q = 38. Is l bigger than p?
False
Let q be (-4 + (0 - -2))*74. Let m = q - -105. Suppose -5*k + 3*g = 221, -2*k - g = 34 + 50. Is m at most k?
True
Let a = 688 - 957. Is -275 less than or equal to a?
True
Suppose -4*m + 9 = -11. Let g = 310 - 274. Let o be 3*(-2)/4*g/(-14). Which is bigger: m or o?
m
Suppose -2*d = 3 - 9. Suppose 3*x - 8*x = -d*a - 22, -5*x + 29 = 4*a. Which is smaller: a or 1/105?
1/105
Let g = -57 - -80. Let t = -24 + g.