-4*j - 3 + 5, 5*v + 4*j - 14 = 0. Suppose -4*w = -v*b - 54, -2*b + 38 = 3*w - 6*b. Which is bigger: w or 16?
16
Suppose 3*r + 589 = 1891. Let k = r - 329. Which is smaller: k or 104?
104
Let g = -1585/2 - -3171/4. Is 21.09 > g?
True
Let c = 80.8 + -78. Let x = 0.9 + -3.9. Which is bigger: x or c?
c
Let f = 137529/1334 + -2370/23. Which is greater: -80 or f?
f
Let b(r) = 10*r - 100. Suppose 0 = 5*z - u - 53, -7*z - 43 = -11*z + u. Let j be b(z). Which is smaller: 3/38 or j?
j
Let m be ((-231)/28 + 8)*52. Let p(s) = -4*s - 53. Let u be p(m). Which is smaller: u or 2/153?
u
Let t be (-1 - 6/(-8))/((-1168)/30528*-9). Which is greater: t or 0?
0
Let c = -292 + 294. Suppose 5*t = 4*x - 320 + 125, -4*t + c*x - 162 = 0. Is t at least as big as -3/7?
False
Let s(j) = -j**2 - j + 9. Let c be s(-3). Suppose 2*b - c*f = 11 + 32, -b - 5*f + 41 = 0. Which is greater: b or -2?
b
Let b(i) = -i**2 + 86*i - 1366. Let d be b(21). Which is bigger: 10/1039 or d?
10/1039
Let k = 2224/21 - 106. Suppose -2*q = 3*t + 44, -4*t + 3*q - 88 + 18 = 0. Let i be ((-1)/(-3))/(t/48). Which is smaller: i or k?
i
Let z(a) = 8*a**2 + 4*a - 5. Let u be z(-3). Suppose -u = -40*p - 15. Is 9/52 <= p?
True
Let z be (0 - 1) + 4 - (-51 - -34). Let o = 45 - z. Let g be (-4)/(-5)*o/30. Are 0 and g non-equal?
True
Let u(r) = -r + 25. Let n(p) = p**2 + 7*p - 5. Let j be n(-8). Let d(o) = o - 26. Let x(s) = j*d(s) + 4*u(s). Let y be x(25). Which is smaller: 4 or y?
y
Let m be 45 + (-20026)/434 + 2/14. Let r = -2784987/370 + 7527. Which is smaller: m or r?
m
Suppose t = -h - 0*h - 1, 4*t = 3*h + 3. Suppose 0 = -2*y - 3*o - 37, -2*y + t*y - 44 = -4*o. Let s be 1*-1*(21 + y). Is 10 < s?
False
Let p be -1*19 - 2/2. Suppose -13*b + 0 - 263 - 49 = 0. Which is bigger: p or b?
p
Suppose -8*d - 48 = 112. Let x = -18 - d. Suppose 3*i - 6 - 9 = 0, -x*s - 4*i + 16 = 0. Is s greater than -3?
True
Suppose 0 = 13*u + 473 - 447. Is u bigger than 190/9?
False
Let j be ((-50)/(-6) + -7)*21. Suppose 0 = 3*f + 2*n + j, 4*f - 4*n - 32 = 8*f. Is -1 less than f?
False
Let g be 13/(-65)*(-851)/(-111) - 2/30. Let j = 1.8 - 1. Is g at least j?
False
Let r = 191/3 - 63. Let m(o) = 15*o - 3. Let h be m(1). Let l = 12 - h. Which is smaller: l or r?
l
Let k(m) = -m + 11. Let i be k(8). Let n be ((-810)/(-25))/(i/15). Let a be (-1)/(-9) + 36/n. Which is bigger: -1 or a?
a
Let p = -70 + -118. Let q = 193 + p. Which is greater: q or -4?
q
Suppose 54*q - 51*q - 135 = 0. Suppose 4*p = 5*l - 103, q*p - 4*l = 46*p + 31. Are -7 and p equal?
False
Let x = -5.0769 + 4.9569. Let n be -3*1*2/(-6). Are n and x nonequal?
True
Let p(z) = z**3 + 29*z**2 + 48*z - 248. Let i be p(-25). Which is bigger: 1054 or i?
1054
Let v = 10 - 60. Let f(c) = -25*c**2 + 157*c - 44. Let j be f(6). Is j > v?
True
Let w(y) = -56*y - 717. Let f be w(-10). Let i = -259 + 102. Is f bigger than i?
False
Let i(v) = -v**3 - 15*v**2 + 21*v + 47. Let g be i(-16). Let f be (-387)/12 + 0 - 26/104. Which is smaller: f or g?
g
Let x = -10.2 + 11.32. Let y = 0.92 - x. Is y equal to 0.1?
False
Let z be 2/11 + -4*(-190)/(-5148). Is z < -1?
False
Let w be (-7 - -16)/9*(-1 + 0). Is w != 640/9?
True
Let z = -7.835 - 0.165. Let m = 33.69 + -34. Let k = -0.11 - m. Which is smaller: k or z?
z
Let b = 8179 + -8235. Which is smaller: -511/9 or b?
-511/9
Suppose 37 - 2 = 5*x. Let u be -3 + (2765/(-40))/x. Let p = 13 + u. Is p != -1?
True
Let f be ((-270)/108)/(2/4) - 53/(-11). Is f <= 517?
True
Let h = 492 - 310. Is h bigger than -2/23?
True
Let i be -73*4/48 + 4/6. Let k be (-58)/15 + (77/(-15) - -5). Which is bigger: k or i?
k
Let z = 7687 - 7685. Are z and 0.0179 unequal?
True
Let d = -0.66 - 0.09. Let f = -611 + 606.85. Let g = d - f. Which is greater: g or 1/3?
g
Let f be (466/20 + 15/10)/(4/50). Which is greater: 311 or f?
311
Suppose 152 = 4*z + 3*y, 5*y + 167 = 5*z + 12. Which is greater: -10 or z?
z
Let q be (-8 - -5)*((-2)/6 + -1). Let g be (4 - 5) + (-238)/q. Let h = 786/13 + g. Does 1 = h?
False
Suppose -t - 4*d = -22, -53 + 43 = -t - d. Which is greater: t or 355?
355
Let l(y) = y**3 - 27*y**2 - 277*y + 24. Let v be l(-8). Let o be (-2226)/(-740) - (10 - 7). Which is bigger: v or o?
o
Let u(m) = 2*m**3 + 14*m**2 + m - 4. Let v be u(-8). Let h = 138 + v. Is h less than -4?
False
Let f = 6976 + -313904/45. Is -0.2 at most f?
True
Let p = -182 - -8. Let l = -160 - p. Are l and 11 equal?
False
Let x = -125 + 127. Suppose b = x*s + 109, 4*b - 5 + 1 = 0. Is s at most as big as -55?
False
Let d = -2402 + 2401. Is 12496 smaller than d?
False
Let d be 152/750 - 2/10. Let v = -36166 + 36165. Which is bigger: d or v?
d
Let m be (84/(-84))/((-1)/(-2034)*1). Does -2034 = m?
True
Let t be (-4 + 3 + -27)*125/20. Let s be -1*((-85)/t + 2/(-7)). Let c be (1/(1/2))/(-2). Is c at most as big as s?
True
Let x be -1103 - (-4 - 4)*(55/10)/11. Which is smaller: x or -1095?
x
Let z(g) = 369*g - 9. Let f be z(0). Which is smaller: f or -20?
-20
Let j be (-2 - 66/(-14)) + 26/91. Suppose 5*t = -5*d + 50, d - 29 = -j*t - d. Let z be 1*(-7)/(105/t). Which is greater: z or -2?
z
Suppose -u + y - 14 = 3*y, -24 = 4*y. Is u less than or equal to -32/13?
False
Suppose -119*z + 2334 = -75*z - 1318. Which is bigger: 85 or z?
85
Let u be 0/(2/(-1 + 3 + -3)). Let b be 3 + (1 + u)/((-4)/20). Which is bigger: b or -5?
b
Let l = 279.09 + -275.09. Is -0.2346 at most l?
True
Let v be (-2)/13 - 89*6/78. Let y(o) = -2*o**3 - o**2. Let j be y(1). Is v at most j?
True
Suppose t = 2*j - 124, 10*j - 5*j = -5*t - 635. Let x = -4/23 + 39/92. Is x < t?
False
Let z = 1700343/68 - 25005. Let q be ((-1)/2)/(2/(-4)). Which is bigger: z or q?
q
Let q = 2 - -5. Let p be 16/(3*-2*(-3)/18). Which is smaller: p or q?
q
Let r = 78 + -168. Let d = -77393 - -77303. Is d greater than r?
False
Let s be 128/(-4 + 0) + 3. Let d be 3/(-5) - 6622/430. Which is smaller: d or s?
s
Let h(x) = -752*x - 2208. Let t be h(-3). Let y = 11 - -37. Is t at most y?
True
Let n = -23179.08 + 23179. Do n and 3/65 have the same value?
False
Let a = -63.7 - -53. Let k = a + 11. Let r = -109.6 + 114.6. Is k >= r?
False
Let k be 15/2 + -5 + 33/6. Let x be (-5 - (5 - k))/((-6)/3). Let n = 648 - 33050/51. Do n and x have different values?
True
Let k = 21072 + -93117161/4419. Which is smaller: 1 or k?
k
Suppose 5*u = -o + 20, -25 = -4*u - 5*o - 9. Suppose -u*p - 3 = 13, -4*l - 3*p - 16 = 0. Is l <= -144?
False
Let p = -15.22 + 0.22. Let f = p - -15.7. Let i = 0.7 - f. Is i not equal to 3.9?
True
Suppose -3*o = 4*y - 3, 2*o + 0*o = 4*y - 18. Let u(k) = -3*k - 6 - 7*k - y*k + k**2 + 20*k. Let q be u(-6). Which is smaller: -2 or q?
q
Let w be (-3)/(-2595)*-2766606 + (-4)/(-10). Let m = 3198 + w. Which is smaller: 0 or m?
0
Let j = -1176.291 + 1179. Is j at most as big as -0.1?
False
Let c = -1673485/12 + 139694. Let l = c + -237. Which is smaller: 0 or l?
l
Suppose 27 = -7*z - 2*z. Let i be (3 + z)/(20/(3 + -8)). Which is greater: i or -3/23?
i
Let z be (-1)/2 + 3/(-990)*-209. Is -224/5 smaller than z?
True
Let w = -123.9942 - -124. Let x = w + -26.5058. Are -1 and x equal?
False
Suppose 3*g + l = 16, -3*g = 3*l - 7*l - 26. Let t be g/(-27) + 88/72. Let x = 389 - 5061/13. Which is smaller: t or x?
x
Let u = -1645/60918 + -1/858. Let n be (8/(-40))/(1/(-15)). Let i be -3*((-1)/n - 0/3). Which is greater: u or i?
i
Suppose -2*m - d - 216 - 150 = 0, 2*m + 382 = -5*d. Which is smaller: m or -172?
m
Let f = 122362/11 - 11123. Let x = 0 + 1. Is f bigger than x?
False
Suppose -13*s = -8*s + 5*s + 1090. Which is smaller: -113 or s?
-113
Suppose 2*w - 1 = -9. Let a = 15 - w. Let s be 1/(-1)*3*a/3. Is s less than -18?
True
Let u = 0.102 - 0.1. Let c = -187.502 + 187.4. Let x = u + c. Is 0.15 greater than or equal to x?
True
Let k = 11005 - 11004.96. Is 0.2 bigger than k?
True
Let t be 564/9 + (-1)/(-3). Let f(s) = -s**3 - 6*s**2 - 10*s + 7. Let r be f(-4). Suppose 926 + 19 = r*g. Do g and t have the same value?
True
Suppose -3*b + 45 = -8*b + 2*x, x = -2*b - 18. Let y be b/21 + (-8165)/(-644). Which is bigger: y or 11?
y
Suppose n = -3*i + 5410, -67*n - i = -66*n - 5420. Which is bigger: n or 5424?
n
Let h = 164/485 - -6/97. Let k = -41266/3 - -13806. Which is greater: k or h?
k
Let k be 4/(-14) - ((-1634)/1330 - (-4)/(-70)). Are k and -1/17 nonequal?
True
Let p(m