0.087 - 37.913. Which is greater: t or h?
h
Let s be 67/155 - (-6)/(-15). Let q(d) = -2*d - 6. Let o be q(21). Let l be (o/(-51))/8 + 4/(-34). Which is smaller: s or l?
l
Let t = -1.5869 + 0.5869. Are -251 and t non-equal?
True
Let m(q) = -3*q**2 - 105*q + 204. Let y be m(-37). Are y and 178 unequal?
True
Suppose 0 = -34*w - 1055 + 103. Let n be (-2)/3*(-14)/w. Is -52 > n?
False
Let w(v) = v**3 + 8*v**2 - 9*v + 2. Let i be w(-9). Suppose -3*s - 15 = -0*s, i*k - 2*s = -64. Let u = k + -17. Which is smaller: -53 or u?
u
Let f be (-296)/(-6)*-1*((-105)/26 + 3). Is 51 < f?
True
Let m = 43.457 + -26.47. Let r = -0.013 - m. Let t = r + 4. Is t less than 2?
True
Suppose -3*c + 4*m + 106 = 3*m, -5*m = -2*c + 75. Suppose 0 = -4*d + 3*w + c, 0 = 2*d + 5*w - 20 + 9. Which is smaller: d or 37/5?
37/5
Let y(o) = -o**3 + 2*o**2 + 3*o - 3. Let t be y(2). Let q(r) = -r**3 - 2*r**2 - 8*r + 9. Let x be q(1). Which is greater: x or t?
t
Suppose -1 = -d - 2. Let t = -331 + 219. Let v be 6/27 + d/((-18)/t). Which is bigger: -5 or v?
-5
Let l(m) = m**3 + 27*m**2 - 72*m + 44. Let s be l(-30). Which is bigger: -495 or s?
-495
Let g be (-8 - -3) + (-12)/(-6) - -1. Let b(d) = -14*d - 32. Let i be b(g). Do i and -5 have the same value?
False
Let n = 14.5 + 2.5. Let f = n + -18.5. Let v = f - -1.6. Are v and -9 nonequal?
True
Let g = -16.784 - -21.784. Let v = -25.61 + 0.61. Is v != g?
True
Let w = -1619 + 1636. Which is bigger: w or 4/57?
w
Let h be 9*((-27)/(-18))/(18/8). Suppose 2*n = h*n + 4. Which is greater: 1/153 or n?
1/153
Let s = -6 - -5.9. Let t be 4/(36/303) - (8 - (-225)/(-27)). Which is smaller: s or t?
s
Let l be (0 + 1)/(27/(-6))*(-1859)/22. Which is smaller: 20 or l?
l
Let r be 4 - 4 - 10*3. Let j(f) = 2*f**2 + 33*f + 39. Let o be j(-14). Is r < o?
False
Let s = 14 + 1. Let x be (-48)/(-20) + (-6)/s. Suppose -5*f + 5*p = 25, x*f + f = -p - 3. Are f and -6/7 equal?
False
Let d be ((-462)/198)/((-7)/18) - (2860 + 2). Is -2857 less than or equal to d?
True
Suppose 369 + 135 = 8*i. Is 63 > i?
False
Suppose -2*q = -2*x + 90, -6*x + 2*x = -4. Suppose -4*n = -4, 4*g - 5*n = g + 4. Suppose -g*i = i - 5*y + 191, 35 = -i - 3*y. Is i >= q?
True
Let p be 69/(-46) - (1/2 - 1). Let w = -1871781/2 - -2414597879/2580. Let g = 3/172 - w. Are p and g non-equal?
True
Let m = 7578 + -7571.579. Let u = m + 0.579. Let i be ((-8)/(-30))/((-2)/3). Which is bigger: i or u?
u
Let v = -553.18 - -0.18. Let u = -431 - v. Which is smaller: 0 or u?
0
Let f = 7948 - 5245. Is 2702 less than f?
True
Let i = -80248 + 80254. Let g = -10 + 19. Let a = -13 + g. Which is smaller: a or i?
a
Suppose -261*y - 3*r = -266*y - 9, 4*r - 12 = -y. Is y < 1/322?
True
Suppose 4 = -3*a - a. Suppose -3*q = -23*q - 320. Let t be 17/(-357)*7/q. Which is bigger: t or a?
t
Let d = -1033.5 - -1033.8. Suppose 9*f - 61 = 2. Which is greater: d or f?
f
Let x = 254.63 + -243.6255. Let z = 0.0045 - x. Which is bigger: -7 or z?
-7
Suppose h = 5*t + 361, -h + 269 = 4*t - 83. Let i be -8 - h/(6 - 10). Is i > 80?
True
Let c be ((-73664)/(-160))/(4 - (-52)/(-10)). Are -383 and c non-equal?
True
Let r = -100 - -7699/77. Let l be (2/4)/((-4)/(-24)). Suppose -2*b = -w - 4, l*b + 0*w + 7 = -5*w. Which is smaller: b or r?
r
Let t = -3701 - -3700. Is t != -1.451?
True
Let b = 127 + -123. Let x be ((1 - b) + 1)*(-39)/(-8). Is -9 > x?
True
Let s(p) = 36*p**2 - 322*p - 18. Let d be s(9). Is d < 26/23?
True
Let x = -8087 - -8178.46. Let q = -8.46 + x. Is q > -1?
True
Let y be 217/31 + -1 + -4. Let t be (-4)/6*y/96. Are -1 and t non-equal?
True
Let j = -44/953 - 5599344/10483. Which is bigger: j or -533?
-533
Suppose -402 = -5*k - i - 100, 0 = -5*k - 3*i + 306. Let y be 3 + (-228)/84 + k/133. Which is bigger: y or 0?
y
Suppose 3*r + 78 = -5*c - 27, -3*c = -3*r + 87. Let t be -3*(-4 + (-100)/c). Which is smaller: -36 or t?
-36
Let k = -24640 - -30019. Is k greater than 26901/5?
False
Let f = -563 + -1213. Let c be 3 + f/1772 + -2. Let g = c + -3535/3987. Is -2 < g?
True
Suppose 43095 + 44881 = 42*v - 14462. Is v >= 2439?
True
Let l be (-45)/36 + 10019/28 + -4. Which is smaller: 353 or l?
l
Let c be 105/(-21) - ((-7)/(-101598))/(4/(-290286)). Is -1 less than c?
True
Let o be 10614/1525 - (-1)/25. Let b = 8 - 4. Suppose -o = -b*u - 3. Which is smaller: -11 or u?
-11
Let o be (-32)/276*(-60534)/(-76). Which is bigger: o or -92?
-92
Let t = -91 + 95. Suppose -t*x = 3 - 11. Suppose 4*g = -2*d - 3*d + 126, x*g - 2*d = 72. Is g bigger than 32?
True
Suppose 2*f - 30 = -3*c, 3*f - 3 - 6 = 0. Suppose -19 = h - 14, h = k - 14. Suppose 4*z + 2*j - 22 = 0, 16 = 2*z + 5*j - k*j. Is c equal to z?
False
Let g = -6751 + 6557. Is 4/7 less than or equal to g?
False
Let n(j) = 3*j**3 - j**2 - 2*j - 1. Let h be n(-1). Let z be 3 + 3 - 4 - -4. Suppose -5*f = r, -z*f = -5*r - 2*f. Which is smaller: h or r?
h
Let i be (-14)/1575*-45 - 6682/17130. Which is greater: -1 or i?
i
Let g(m) = 31*m - 410. Let d be g(14). Which is bigger: d or 286?
286
Suppose 168*g - 63 = -231. Which is greater: 3/10987 or g?
3/10987
Let p = 174 - 169. Which is smaller: p or -227?
-227
Let q = -169607/27 + 6280. Is q smaller than -3?
False
Let n = -5489 + 5503. Let f be 3/(-4) + ((-1074)/(-88) - -2). Which is greater: f or n?
n
Let j be 10/(-20) - (-34)/4. Let c = -23 + j. Let r(s) = s**2 - 28*s + 39. Let m be r(26). Which is smaller: m or c?
c
Let n be 4274 + -1 + 1017/(-113). Is n < 4265?
True
Let i(v) = 45*v**2 + 13*v - 10. Let s be i(8). Let j be (-4)/6 + s*2/12. Let r be 1 + (4040/j)/(-8). Is r less than 0?
True
Let r = -236.0261 + 236. Let w = r - 0.9739. Is -0.08 >= w?
True
Suppose -5*y - 2 = -32. Let j be -4 + 1215/(y - 1). Let s = j - 7169/30. Is s >= 1?
False
Let a = 733.81 - 733.5. Is a > 61?
False
Let p = 8994 + -8996. Which is smaller: p or -1585?
-1585
Let p be (-1 + 483/(-15))/(14/(-35)). Suppose 0 = -2*n + 3*i + 168, -i + 48 = n - 36. Which is smaller: p or n?
p
Suppose 50*s + 23*s = -1845 - 3338. Let d be 3/((-3)/(-64)) + -1. Let q = d + s. Which is smaller: q or -11?
-11
Let r(q) = -146*q - 3499. Let o be r(-24). Do o and 171/28 have different values?
True
Let a(y) = y**3 - 2*y**2 + 19 - 4*y**2 + 4*y - 18. Let g be a(5). Let i be 225/(-5)*(-4)/g. Is i <= -43?
True
Suppose 5*f - 394 - 1426 = 0. Let w be 624/f*70/(-4). Which is smaller: w or -28?
w
Let m = -3459 - -3458. Which is smaller: m or 8/701?
m
Let u = -68575/259 - -1846/7. Is u >= -1?
False
Let h = 545 - 386. Let s = -163 + h. Let v = -3 - 2. Do v and s have the same value?
False
Let w(m) = -m**3 - 27*m**2 - 121. Let n be w(-27). Let u be (-108 - n) + 0/(-2) + 1. Which is bigger: 20 or u?
20
Let r be (-36)/48 + (-18)/8. Let o be (-1 + 1)*1/(r/(-3)). Suppose o*q = 3*q - 93. Which is greater: q or 30?
q
Let w be (12 + -26 + 15)*-853. Is -858 >= w?
False
Let o = 855503/282 + -9101/3. Let d = 1 - 2. Which is smaller: o or d?
d
Let u be -3 - (-34)/(-4) - 1/2. Let j be 397/3 + u/36. Let d be 50/j*-2 - 8/(-12). Is d equal to 0?
False
Let z = -563567 - -10140571/18. Let m = -202 - z. Suppose -5*n + 0 = 5. Is n > m?
False
Let y be 0 + -1 - (-5 - -3). Let w = y + -6. Let s = -33215 - -33214.95. Is s greater than w?
True
Let l = 839 + -618. Let d be 34/l*93/(-6). Which is greater: -1 or d?
-1
Let u be 6/(-15) + 673*(-2)/10. Let s = u + 140. Is s greater than or equal to 41/8?
False
Let p(r) = 2*r**2 - 19*r - 8. Let h be p(10). Suppose -3*t - 5*j + 5 = 0, 0 = -t - h*j - 3 + 5. Is 12/35 >= t?
True
Let n(m) = 4*m**3 + 44*m + 177. Let a be n(-4). Which is smaller: a or -3300/13?
a
Let g be 414/(-54) + (-1)/3. Let m be ((-3780)/470 - g) + (0 - 0). Which is greater: 1 or m?
1
Let k = -3345.28 + 68.28. Which is bigger: -0.2 or k?
-0.2
Suppose 1790*f = 1794*f + 4. Is f greater than -9/26?
False
Let q = -29426 - -117705/4. Do q and 13.39 have the same value?
False
Let y = -44 + 46. Suppose -q + y = -2, -2*h + 20 = 4*q. Suppose 25 = h*s + 1. Is s > 12?
False
Let m = 131 + -77. Suppose -5*j = 4*g - 53, -j - 16 = g - 4*g. Suppose -m = g*a - a. Which is smaller: a or -41/5?
a
Let t = 4495/12 - 8715781/23268. Which is smaller: t or -1?
-1
Let f = -404 - -613. Let w = 229 - f. Which is greater: 26 or w?
26
Suppose -22*q - 43*q - 4892 = 3363. Is q at most -98?
True
Let a = 195 + -17356/89. Is a < -18?
False
Let y = 2/739389 - 