- 174. Suppose -u + 4*b - 21 = 0, -43*u - 37 = -t*u - 3*b. Is u greater than q?
False
Let l(n) = -49*n**3 + n**2 + n + 1. Let d be l(2). Let j be (-10)/d*7 - (-16)/33. Is 23/6 smaller than j?
False
Let s(m) = -70*m + 1194. Let f be s(17). Are -304 and f unequal?
True
Let t = -10 - -9.9. Let a be 7 + (-165)/22 - (-1522)/3028. Is a greater than t?
True
Let d be (-10)/(-20) - 18161/(-22). Which is smaller: 817 or d?
817
Let y be 0 - 6365/65 - -5 - 4. Let a = y - -128455/1326. Which is bigger: -1 or a?
a
Let j = 28979 + -17594. Does 11385 = j?
True
Let f = -0.83 + 0.63. Let m = 9.22 + -0.22. Let s = m - 7.2. Which is smaller: s or f?
f
Suppose -6*r = -11*r - 345. Let l be (92/r)/(1 + (-5)/3). Suppose 3*t + 2*o + 37 = -2*t, -5*o = l*t + 19. Is -7 != t?
False
Let n be 180/(-144) + (-11)/4 + 2. Let m = 109433/4 + -26901. Let r = 455 - m. Does r = n?
False
Suppose 0 = -4*v + 2*u + 14, -17 = -4*v + 23*u - 20*u. Suppose -2*c = 2*y + v, 3*c - 5*c - 2 = -y. Are c and -22/9 non-equal?
True
Let x(o) = o**2 - 3*o. Let i be x(7). Let k(a) = 6*a**3 - 7*a**2 + 6*a + 1. Let q be k(1). Suppose t - 31 = -4*c, t - q*c + 9*c = 30. Which is smaller: t or i?
t
Let m be ((-9)/(-54))/((-11)/6 - -2). Let c = 6 + 3. Let p be (c - 1)/4*1. Is m less than p?
True
Let m(a) be the first derivative of -a**4/2 - 20*a**3 + 2*a - 36. Let u be m(-30). Which is smaller: 11 or u?
u
Let x = 262 + 131. Let d = x + -392. Is 34 equal to d?
False
Suppose 4*u + 59 = -185. Let w = u + 62. Is -1/184 < w?
True
Let v = 951 + -952. Is v greater than 0.201?
False
Let q(c) = c**3 - 9*c**2 - 13*c + 8. Let w be q(11). Let z = w - 71. Suppose 41*j + 235 = z*j. Is -47 greater than j?
False
Let h = -3024 - -2812. Which is greater: h or -0.045?
-0.045
Suppose -4*i = 4*a + 8, -5*i + 10*i + 9 = -4*a. Which is bigger: -83/49 or a?
a
Let z be (2/11)/(15 + 2). Suppose 18*b = 16*b + 13*b. Suppose -4*d = 3*t - 1, b = -5*d + 2*d - 2*t + 1. Does d = z?
False
Let k(v) = -91*v - 1565. Let x be k(-25). Is x greater than or equal to 710?
True
Suppose 8*b - 35 = 29. Let d be 12/16 + (-18)/b. Which is bigger: d or -2?
d
Suppose 799*o = 700*o. Is o at least as big as 1/12497?
False
Let x = 489.28 + 57.72. Which is bigger: 2/7 or x?
x
Suppose -7*x + 141 = 22. Suppose r + 4*l = -11, l + 2*l + x = r. Let j be (1/5*r)/7. Is j != 2/21?
True
Let r = -36 + 761/17. Which is smaller: r or 9?
r
Suppose 38843 - 39557 = -7*p. Which is greater: p or -9?
p
Let q = -319409/13 - -24617. Let h = 47 - q. Which is smaller: h or 9?
h
Let d(y) = y**2 - 10*y - 24. Let s be d(12). Let n be 1010/15 - s*(-1)/(-2). Let u = n - 3205/48. Which is bigger: 0 or u?
u
Let l = -69 - -98. Let v be (-5 + 11 + -11 - 23)/(-1). Let q = v - l. Are q and -2/89 equal?
False
Let o = 132425.928 - 132981. Let j = o + 555. Which is greater: 2 or j?
2
Let n = 4107 - 4077. Is n equal to 26?
False
Suppose -22*l + 18*l - c + 17 = 0, 0 = l + 4*c - 23. Which is smaller: 58/21 or l?
58/21
Let m be (-3)/(-10)*(-5)/18. Suppose q + 5 = -3*b + 38, -q - 5*b + 43 = 0. Suppose -a = -q*a - 17. Which is bigger: a or m?
m
Let d(i) = 30*i + 234. Let u be d(38). Is 1372 smaller than u?
True
Let z be 1*(-5)/(5/7). Let x be (-5)/((-35)/(-4))*z/10. Let p = -62/3 - -21. Which is bigger: p or x?
x
Let o = 23.51 - 33.5. Let p = o - 0.01. Let x = -3934.3 - -3934. Is p at most as big as x?
True
Suppose 3*k - 92 + 83 = 0. Let o = -4 + 8. Suppose -s + o*s = 9. Do k and s have different values?
False
Suppose -5*x + 4*c = -129, 5*c + 51 + 79 = 5*x. Let f = -582 + 607. Is f < x?
False
Let f be (-76)/(-16) + (-6)/8. Suppose -f*n - n = 0. Let s = -3272/2625 + 132/125. Is n less than or equal to s?
False
Let t = -38/5 + 821/110. Let z = 13 - 12. Suppose -3 = -4*y - 2*i + z, -1 = -y + 2*i. Which is smaller: t or y?
t
Suppose 3*m - 12 = -5*v, -25 = -5*m - 5. Is -8/585 greater than or equal to v?
False
Let h = -531947571/16348 + 32539. Which is smaller: 1 or h?
h
Suppose u = -m - 116, 2*m + 3*u - 2*u = -230. Which is greater: -88 or m?
-88
Let s = -39.973 + 40. Let f = -0.157 + s. Let v = 0.8 - 2.8. Which is greater: f or v?
f
Let w(o) = 4*o + 11. Suppose -l + 5 = 0, c - l = 2*l - 15. Let v be w(c). Do 19 and v have different values?
True
Suppose 5*u - 5 = -4*z + 4, -2*z = -2. Let c be 1 + (-70)/85 + u. Let x = -2.43 - -1.43. Is c at most as big as x?
False
Let p = 956 + -217. Let k = p + -511. Let x be (0 + -2)*(-4)/k. Which is greater: -1 or x?
x
Let o be (-17)/(-34)*(-7)/(-2). Let m(g) = -2 + 5*g + 4 - 1 + 0*g - g**2. Let t be m(5). Which is smaller: o or t?
t
Suppose v + 4 = 2*v. Let f = -234 + 250. Suppose 0 = -2*q - 8 + f. Is v > q?
False
Let l = 3 - -2. Suppose -h = l*i - 0*i - 95, i = 2*h + 8. Let c be (72/15*1)/(9/30). Which is greater: i or c?
i
Let s be -7 + 14 + -12 - -4. Which is smaller: s or -34/121?
s
Suppose -98*r + 29*r = -51*r - 201870. Is 11216 less than r?
False
Let w = -9143 + 9142.9. Let y be ((-12)/36)/((-1)/(-7)). Is y >= w?
False
Let w(v) = -4*v + 2 - 8*v**3 - 2*v**2 + 2*v + 6*v**3 + 3*v**3. Let r be w(3). Suppose d = -r*x + 16, -26 - 74 = -5*d - 5*x. Which is smaller: 20 or d?
20
Let y = 7073.834 + -7063. Let b = y + 0.166. Is -3 <= b?
True
Let z be (-1 - (-2 - -4)) + -10. Let m = -22 - z. Let k be (3 + 15/m)*(1 - 4). Is -4 greater than or equal to k?
True
Suppose -6*s + s - 5*r - 35700 = 0, -5*s - 3*r = 35690. Let b = s + 28231/4. Is b at most as big as -77?
True
Let u(y) = -6367*y - 25448. Let c be u(-4). Let g be 0*(2/4 - 0). Let f(o) = -o**2 + 21. Let i be f(g). Are i and c unequal?
True
Let p = 322 + -813. Let x = 491 + p. Which is smaller: 70/9 or x?
x
Let u(a) = -a**3 - 11*a**2 + 14*a + 164. Let w be u(-11). Suppose 3*d = -2*z - 1585, -8*z + 1582 = -w*z - 4*d. Is z greater than or equal to -798?
True
Let y = -16357.78 - -16369. Which is greater: y or 1?
y
Let o = 2/65044169773 - -358747280776963213/54637102609320. Let t = 6566 - o. Which is smaller: t or -1?
-1
Let u = -0.81 + 285.81. Let j = u + -284.94. Which is greater: j or 11?
11
Suppose 2*c = 4*c + 75 - 77. Is c at most as big as 344?
True
Let i(a) be the third derivative of 4*a**3 - 29*a**2 + 1/30*a**5 + 5/3*a**4 + 0*a + 0. Let h be i(-20). Which is smaller: h or 22?
22
Let d be (-3117)/40*3928/756. Let z = -341/140 - d. Let s = 402 - z. Is 0 bigger than s?
True
Let z(l) = -l**2 - 8*l + 10. Let x be z(-8). Suppose -n - 8 = -r, 3*r + n = -3*n + x. Let j be (16/r)/(6/(-9)). Which is smaller: j or 0?
j
Let y = 12314 - 49901/4. Is -162 != y?
True
Suppose 3*m + 4*n - 9*n = -20, 3*m - 20 = -5*n. Let l = -19/82 + 1901/2542. Which is smaller: m or l?
m
Let a be (-2 - -1)/((-6)/102). Let l be 135/54*(-24)/(-5). Which is bigger: a or l?
a
Let d = -224088 - -224090. Let c(g) = g**2 - 4*g + 4. Let y be c(3). Let k be (6/4)/(y/38). Which is greater: k or d?
k
Let a be 2*(1 + (0 - -1)). Suppose 5*n + 4*v = -3 - 8, 0 = 2*n - 4*v - 18. Let t be -1 - 5 - ((-6)/a + n). Is t at least as big as -1?
False
Let h = 14226.2 + -14226.137. Let f = -0.1 + 0. Is h greater than f?
True
Let t be 486/81 - 54/2. Suppose -5*c - 73 = 22. Which is greater: t or c?
c
Let i be 138/33 - 34/187. Let r be (-3)/15*1*(-15 + i). Which is bigger: 1 or r?
r
Suppose 15 = 3*c, 0*m - 3*m - 3*c = -81. Suppose 6*r - 3*r = 4*n + m, 4*n - 76 = -4*r. Is 13 at least as big as r?
False
Let h(z) = -23*z + 8. Let u be h(-4). Let m be 4/7 - u/910. Which is bigger: m or 1?
1
Let b(j) = -7*j**2 - 46*j + 25. Let f be b(-7). Let q be (3/6)/((-4)/(-40)). Which is bigger: q or f?
q
Suppose 143 = -15*g + 72 + 71. Let x be 3/(-92)*(1 + 5). Which is greater: x or g?
g
Let r be -13 + 4 + 13 - 5*(1 - 0). Which is bigger: r or 0.0495?
0.0495
Let x be (21/15 - 1) + 96/(-15). Let n be (-5 - -15)/(-5)*x. Let z(h) = h**2 - 10*h + 3. Let p be z(11). Which is smaller: p or n?
n
Let l = -15670 + 141028/9. Is l at least as big as 4585?
False
Let m be 65*(40/25 - 2). Let p be 39/m*64/6. Let d = 3 + p. Which is bigger: d or -11?
-11
Let a be 3 - 0 - (-10 + 3 - -9). Let b be a/((-290)/(-144) + -2). Which is smaller: 71 or b?
71
Let y = -2 - -3. Let b = 0.1977 - 263.9977. Let l = b - -264. Which is smaller: y or l?
l
Let d = 7919 - 8000. Which is greater: d or -53?
-53
Let n(c) = -6*c**2 + 3*c - 8. Let s(t) = -t**2 + t. Let o(x) = -n(x) + 5*s(x). Let d be o(-4). Let r = 98 - 80. Which