). Suppose 0 = i + 3*j + 22, 3*j = 5*j + 8. Which is smaller: i or o?
i
Let l = 55.9 - 10.9. Let w = l + -49. Which is greater: w or 0?
0
Suppose 42*y = -10*y - 12376. Which is smaller: -237 or y?
y
Let h be ((-3)/(-2))/(5/90). Suppose -3*s = -h + 3. Let w be s/30 + (-26)/39. Is w less than 0.1?
True
Let c be (-6)/(-3) - (-1 + 3). Suppose r = -c*r. Let y = -22419 - -22422. Is y != r?
True
Let w be -64 + (7 + -11)*10/(-8). Is w smaller than -58?
True
Let a = -90 - -86. Let z be (-12)/a + 1 - (-3 + 1). Which is smaller: z or 7?
z
Let i(m) = m**2 - 13*m - 7. Let a be i(11). Let h = -49 - a. Let p = h - -16. Is p bigger than -1?
False
Let a = 7/3440 + 1422433/3440. Which is greater: 414 or a?
414
Let t = 24 + -119. Suppose -h + 5*b - 10 = 0, -24*h - 4*b = -22*h + 76. Let r be (-6)/(-2) - t/h. Which is smaller: r or 1?
r
Let g = 24 + -17. Let u = -12335 + 49693/4. Let z = 88 - u. Is g not equal to z?
True
Let s be (-11 - -9)/(8 + 1). Let k = -0.3 + 0.22. Let p = 0.22 - k. Is s greater than p?
False
Let z(d) = d**3 - 17*d**2 + 25*d + 50. Let j be z(15). Is j <= -22?
True
Let t(k) = k**3 - 3*k**2 - 5*k - 3. Suppose -u + 8 = 4*m - 13, -3*u = -m - 11. Let n be t(m). Do n and -7 have the same value?
True
Let k be (-77)/21*(-24 + -3). Which is smaller: k or 98?
98
Suppose 5*o - 3205 = 3*z, 4*o - 165*z + 168*z - 2537 = 0. Which is smaller: o or 639?
o
Let l = -557/35 + 81/5. Is 32 >= l?
True
Let q(i) = 2*i**2 - 24*i - 94. Let v be q(-4). Let l = 40 + -7. Is v at least l?
True
Let s be 1 + (-15)/9 + (-1623)/9. Let g = 518/3 + s. Which is greater: g or -9?
g
Let n be ((-5)/9)/((-55)/66). Which is bigger: -2/15 or n?
n
Let v = 51.3 + -46.76. Let c = 0.46 + v. Which is smaller: c or -1?
-1
Let k = -374 + 325. Which is smaller: k or -48?
k
Let d = -9619/9 + 1071. Suppose 3*w - 1 - 8 = 0. Is d < w?
True
Suppose 7*j - 2*j - 220 = 0. Let t(y) = 43*y + 6 - 7*y**2 + y**3 - j*y + 2. Let l be t(7). Is 0.6 <= l?
True
Let l = 202 - 177. Which is smaller: 24 or l?
24
Let c = -1573 + 1173. Which is smaller: 3 or c?
c
Let y be (-3 + 3)/(6/(-3)). Let j(f) = 2*f - 13. Let q be j(y). Is -14 at most as big as q?
True
Let g = -949 - -1116. Which is smaller: 169 or g?
g
Let s = -2.78 - -2.78. Suppose 0 = -2*u + 3*l + 99, 2*u - 4*l = -8*l + 106. Which is greater: s or u?
u
Suppose -4*a = -10*a + 6. Which is greater: 16/21 or a?
a
Let k be (0 + -1)/(21/1995). Which is smaller: 0 or k?
k
Let s = 232 + -227. Let v be 224/35 - (-4)/(-10). Is s at least as big as v?
False
Let r = 160 - 213. Is -53 <= r?
True
Suppose -j - 4 = -0*j - 5*t, 2*j + 3*t = 5. Which is greater: 16 or j?
16
Suppose -m = -3*s + 629, 0 = -5*s - 6 + 31. Is -616 at most m?
True
Let c = -77864/63 + 1236. Is -1 equal to c?
False
Suppose 158 = 2*z + 818. Let p = z + 2304/7. Let t be 0/(2*2*(-2)/8). Are p and t equal?
False
Let b be (354/(-58) + 6)/(3/(-2)). Suppose 0 = 2*t + 5*m - 11, 3*t = -2*m + 3 + 8. Suppose 3*k + 3*p + t = 0, 2*k = -0*k - 3*p - 3. Which is smaller: k or b?
k
Suppose -44 = -3*c + 5*c. Let x be c/8 - (-13)/(-52). Which is smaller: x or -1.4?
x
Let m = -19.96 - -24. Let v = 0.04 - m. Are v and -1.7 nonequal?
True
Let o = -1248 + 6237/5. Which is bigger: o or 187?
187
Let m = 84 - 71.2. Does m = 2?
False
Let a be 2/6 + 6/(-9). Let r be 2/(-11) + (-70)/(-22). Let f be (-7 - -4)*r/15. Is a greater than f?
True
Let x = -14.41 - 684.59. Is 1/3 equal to x?
False
Let m = -92 - -36. Let a be 93/(-216) - (-7)/m. Let f be (-27)/12 + 1/4. Which is smaller: f or a?
f
Let s(w) = w + 8. Suppose 0 = -4*t + 4*n - 12, 2*n = -0*t + 3*t + 6. Let y be s(t). Suppose y = k + 7. Which is smaller: k or 3/13?
3/13
Let y = 50 + -56. Let q = -6.3 - y. Which is greater: -2/13 or q?
-2/13
Suppose 0 = -19*q + 18*q + 7. Suppose q + 21 = 5*w + z, -3*w - 2*z = -14. Is 8 greater than w?
True
Let c be 2/(-12)*(7 + -9). Which is greater: -3.48 or c?
c
Let c = 17210/3 - 5854. Let d = -119 - c. Let j = 2 - 2. Is j greater than d?
True
Let k be (-1)/(4/8) + 1. Let o be (0 - 2) + k + 9. Suppose 0 = -o*t + 2*t - 5*m - 5, m = -1. Which is smaller: t or 9/7?
t
Let m be (-1 - 680) + -7 + -6 + 8. Is m greater than or equal to -685?
False
Let k = -10091/21 + 1331/3. Which is bigger: k or -37?
k
Suppose -73 - 111 = 2*l. Let r be (-2 - -4) + (l - 0). Let d be r/21 + (-2)/(-7). Is -3 >= d?
True
Suppose 30*d - 25*d = 4*a - 57, 0 = -4*a - 5*d + 87. Is 18 at least a?
True
Suppose 4*x + 30 = 6*x. Suppose -o - 4*d + 12 = 0, 2*o - 5*d = x - 4. Let g(s) = s - 6. Let y be g(o). Which is greater: 1 or y?
y
Let o = 13/363 - -113891/2541. Let d = 45 - o. Are 3 and d non-equal?
True
Let y = -81.834 - -1.934. Let x = 1.9 + y. Which is smaller: x or 0.1?
x
Let x(y) = 8*y - 180. Let s be x(22). Do 23 and s have different values?
True
Let n = 18 + -15. Suppose 0 = -n*d - 4*q + 13, 3*d = -2*d + 4*q + 11. Is d smaller than 3?
False
Let j = 0.921 - -20.079. Is -2/37 less than or equal to j?
True
Suppose 1 + 9 = 5*i. Let t(d) = 0*d**i - 2 - d**2 + 7 + 0*d**2 - 4*d. Let x be t(-5). Which is smaller: x or -9/8?
-9/8
Let r = 375 + -1877/5. Is r < -13?
False
Let c(y) = -5*y + 1. Let t be c(8). Let n = -2 - t. Which is smaller: 36 or n?
36
Let f(v) = 5*v**3 + v**2 - 6. Let b(c) = -3*c**3 + 3. Let d(m) = 7*b(m) + 4*f(m). Let q be d(3). Suppose n + 30 = q*n. Is 6 equal to n?
True
Let w = 5/331 - 3365/3641. Is w <= -0.4?
True
Let o be 8*(1 - 4/16). Let p be 1*4/(o + -2). Let z = -7 + 5. Which is bigger: z or p?
p
Suppose -4*k + 2 = -14. Suppose k*m = 2*m + 6. Suppose m*i = 3*x + 2 - 23, 3*i - 11 = -5*x. Is i not equal to -3?
False
Let b be (11 - 682/99)*-6. Does -26 = b?
False
Let k(g) = g**3 + 7*g**2 + 6*g. Let a be k(-6). Suppose 2*i - 4*i + 2*j + 54 = a, -5*i = -3*j - 135. Let r be 3 + ((-183)/i - -4). Is r greater than -1?
True
Suppose -3*m + 5*m - 378 = 0. Let r = m - 1325/7. Let t(k) = k**3 + 15*k**2 + 54*k - 16. Let f be t(-7). Is r >= f?
True
Let v be 2/(-8) + (-110)/(-24). Suppose -n - 79 = -5*z, 5*z + n - 23 = 48. Suppose -z*q - 12 = -18*q. Is q bigger than v?
False
Let n(x) = 5*x**2 + 25*x - 15. Let l be n(-7). Which is smaller: l or 56?
l
Let m be 3/(-35)*(-15)/(-24). Suppose 6*t = -838 + 832. Which is bigger: m or t?
m
Suppose 2*q - 40 = -2*c + 2, -q = 3*c - 23. Let g be (-2)/6 + q/15. Are g and -9 equal?
False
Let t be (492/(-17))/(11 + (-490)/42). Which is greater: 44 or t?
44
Suppose 4*p = 107 + 89. Let r = -6540 - -46125/7. Let c = r - p. Is -0.1 at most c?
True
Suppose -5*z + 9*z + 2*y - 14 = 0, -2*y = -2*z + 22. Let n be ((-3)/(-2))/(3/8). Suppose -2*r + z = n. Do r and 2/3 have different values?
True
Let h be (1 + 1)*(-1)/73. Let u(l) = -l**3 + 2*l**2 + 5*l - 10. Let x be u(2). Is x at most h?
False
Let h = -1235 + 1992. Which is smaller: h or 758?
h
Let v = -0.65 + 0.9. Let l = v - 0.85. Are -1/2 and l equal?
False
Let h = 520 - 520.06. Is -1/4 greater than or equal to h?
False
Let n(s) = 10*s - 49. Let m be n(5). Let r = 1.76 - 2. Which is greater: m or r?
m
Let q(d) = 3*d + 20. Let c be q(-6). Which is greater: c or 2/15?
c
Let a(c) = c. Suppose -4*p + 4*w + 32 = 0, w = -5*p + 18 + 40. Let t be a(p). Which is greater: -2 or t?
t
Suppose -5*c + 47 - 22 = 0. Suppose 0 = -w - 6*h + 2*h - c, w + 5*h = -6. Which is smaller: -8/11 or w?
w
Suppose z - 2*a = 5*z - 26, 0 = -3*z - 5*a + 16. Suppose 14 = -z*b + 7. Which is greater: -10/19 or b?
-10/19
Let w = 131 - 130.8. Do w and 872 have different values?
True
Let s(y) = 3*y + 1. Let a(g) = -g. Let o(f) = -4*a(f) - s(f). Let l be o(7). Is 7 < l?
False
Let r = 10 + -2. Let a = -0.134 - 0.066. Which is greater: a or r?
r
Suppose -4*q = -l + q + 29, -2*q - 62 = -4*l. Let r be 3 + l/(-4) - 1. Is r at least -1?
False
Let g = 27 + -27. Suppose y + 42 + 2 = g. Let d be (2/(-6))/((-77)/y). Is d greater than -1?
True
Suppose -5*x - 3*o = 2, 5*x + 2 + 1 = -2*o. Let b(u) = u**2 - 3*u + 2. Let w be b(3). Let n be (0 + -4 - 0)*w/4. Is n < x?
True
Suppose 5*q - 6*n = -2*n - 51, 0 = -5*q - 4*n - 19. Let z(p) = p**3 + 7*p**2 + 4*p - 6. Let h be z(-5). Suppose -h = j + 2*j. Is q less than j?
False
Let r(y) = y**2 + 5*y - 8. Let t be r(-8). Suppose -3*v - 3*d - 1 = -t, -3*v = d - 5. Which is bigger: -3/13 or v?
v
Suppose -21*u - 4*u = -25. Which is smaller: 7/86 or u?
7/86
Let g be (1/5)/(208/40). Let f = g + -1537/78. Let