). Let x be n(3). Is -8 greater than x?
False
Let t = 182/3 + -62. Let q = -1789 + 1789. Do q and t have the same value?
False
Let i(u) = 42*u + 53. Let m be i(-4). Is -116 less than m?
True
Let i(w) = -w**2 - w + 374. Let n be i(0). Is n < 376?
True
Let m(a) = 19*a. Let c be m(-5). Let d be c/(-140) + 6/(-14). Let o be (-2)/(-4)*(9 - 7). Is o at most as big as d?
False
Suppose -6*r = 10*r - 64. Suppose 0*s = r*s + s. Which is smaller: s or 1/2?
s
Let d = -380894/3039 + 376/3. Let s = -2068/21273 - d. Is s bigger than 1?
False
Let w = 6 + -2. Let c = 1028 + -1032. Which is greater: w or c?
w
Let u = -1573 - -1644. Which is smaller: 3 or u?
3
Let f be 1/2 - (-732)/24. Which is smaller: 154/5 or f?
154/5
Suppose -2*w = -3*m + 19, 5*w + 5*m + 85 = -0*m. Let v(z) = -z + 11. Let c be v(10). Let d be 0 - (15 + (-2)/c). Is w < d?
True
Suppose 58 = -5*f + 2*b, -2*b - 11 - 15 = 2*f. Let y(z) = z**2 - 9*z - 6. Let m be y(10). Let x = -16 + m. Is f equal to x?
True
Let y(q) = -q - 5. Let p be y(-5). Let k be ((-21)/(-2))/(-1) - p. Are k and -10 unequal?
True
Let t = -63 - -37. Let u = t - -27.8. Is -2/7 smaller than u?
True
Let p be 10*(6/(-4))/(-3). Let i be 3 - (p + -1) - -9. Suppose i*q + 6 = 5*q. Is -7/5 at least as big as q?
True
Let m(c) = 2*c + 32. Let z be m(-16). Suppose z = -5*b - 8 - 22. Let l = 8 - 14. Is b less than l?
False
Let o = -0.0256 + -319.9744. Which is smaller: -1 or o?
o
Let m = -991 - -37655/38. Let z = m - 29/114. Let k = -536/35 - -110/7. Is z < k?
True
Let a = -25/2 + 73/6. Let d be -7 + (1935/270 - (-2)/12). Is d bigger than a?
True
Let z = -1583 + 1583. Is 0.42 > z?
True
Let d be ((-2)/(-12))/((51/9)/(-17)). Is d greater than or equal to -0.0462?
False
Let u(k) = k**3 + 4*k**2 + 4*k + 3. Let r be u(-4). Let w be r/(-26)*-1*2. Is -4/9 less than or equal to w?
False
Suppose 169*g = 178*g + 135. Let y be 1/((-6)/(-32))*-3. Which is smaller: g or y?
y
Let u = 73 - 40. Suppose 5*n + 22 + u = 0. Which is bigger: -1 or n?
-1
Suppose -5*g - 7 + 2 = 0. Suppose -25 = 5*d + 90. Let w = d - -26. Is w equal to g?
False
Suppose 4*l = 76 - 28. Let d be 5/20 + (-82)/(-8). Is d equal to l?
False
Let f = 33.3 + -33.257. Is -2 equal to f?
False
Let s = -3/38 + 53/190. Let f be ((-20)/(-3))/((-5)/(-15)). Let a = 21 - f. Which is smaller: a or s?
s
Let g be (-20)/4*1608/(-15). Let z = g + -58422/109. Which is greater: 0 or z?
z
Suppose 0 = -0*s + 2*s + 96. Let m = 143/3 + s. Which is smaller: 2/19 or m?
m
Let v(b) = b**2 + 9*b + 7. Let x be v(-1). Which is smaller: 2/2073 or x?
x
Suppose 5*x = -5*r + 5400, 0*r - 5*r - 3*x = -5390. Let d = r - 9659/9. Are d and 3 equal?
False
Let q be (-339 - -2)*((-1070)/(-234) + -1). Let i = -1204 - q. Which is smaller: 0 or i?
i
Let z be ((-12)/(-55))/((-4)/(-460)). Which is bigger: 25 or z?
z
Let o be (344/84 + -4)*6. Let p be (-6)/14 + 15/35. Does o = p?
False
Suppose -24*x + 21*x = -12. Suppose -3*r - x*f = 6, r + 5*f = 7*f + 8. Which is bigger: r or 1?
r
Let f = 200 + -198. Is f less than or equal to -2?
False
Let g be (48/10)/(6/(-120)). Let d = g + 107. Do d and 13 have different values?
True
Suppose -4*w + 5*z + 25 = 9, w + 9 = -2*z. Let x be ((2 - w)/3)/1. Let u be (2 - x)/((-4)/76). Is u less than -19?
False
Suppose 5*m - 3*y + 445 = 0, -58 = 2*m + 3*y + 120. Is m >= -93?
True
Let n(m) = -11*m + 1. Let q be n(-9). Let x = q + -227/2. Are -14 and x equal?
False
Suppose 0 = -2*d + 4*m + 38 - 6, -2*d + 28 = -3*m. Let g be (d/6)/((-1)/(186/4)). Is -61 at most g?
False
Suppose 2*b + 2*s = -8, -2*b + 4*s - 16 = 8*s. Suppose 25*y - 23*y - 8 = b. Is -6 equal to y?
False
Suppose 3 = d + 6. Let t = d + 2. Let a be 19/(-54) + 1/2. Is t bigger than a?
False
Let p be (-1 + 36/(-2))/1. Let u be -4*((-9)/(-4))/(-3) + -24. Which is bigger: p or u?
p
Let w be (-2)/7 + 72/203. Let d(g) = g - 6. Let i be (-2)/(-4) + (-45)/(-10). Let v be d(i). Is w != v?
True
Suppose h - 3*l - 9 = 0, 0 = 2*h - 5*l + 2*l - 9. Suppose 5*b = u - 0*u, -2 = -u + 3*b. Suppose -k + 0*k + 29 = 5*d, u*k - 20 = 0. Is d less than h?
False
Let u = 34 + -54. Which is smaller: u or -11?
u
Let z be 4/(-6) + 2 - (-2)/(-6). Suppose -20 = 5*d, -2*s = -7*s - d + z. Let n(b) = b**3 + 4*b**2 - 7*b - 6. Let q be n(-5). Is q not equal to s?
True
Let q = -15 - -6. Suppose -4 = -s - 2*b - b, 4*b = -4*s. Is q at most as big as s?
True
Let r = -0.68 - -0.656. Let d = -2.024 - r. Is d less than or equal to 4?
True
Let n be ((-15)/(-8))/(2 - (-22)/(-8)). Let z be (-4)/5*(-25)/(-10). Which is smaller: z or n?
n
Let h(o) = -30*o**2 + 2*o - 2. Let v be h(1). Let m be 0 - -3 - (-830)/v. Let p = 22 + m. Is p equal to -2?
False
Suppose -94*w + 88*w = 1092. Is -183 < w?
True
Let d = -26 - -51/2. Let i = -0.075 - 14.825. Let k = 15 + i. Which is smaller: k or d?
d
Let a(b) = -5*b**2 - 13*b. Let t be a(-10). Which is greater: t or -369?
-369
Let i = 1.3 + 3.7. Which is bigger: -1/84 or i?
i
Let y = -91/4 - -799/36. Suppose -4*w + 5 + 3 = t, -2*t - 2 = -w. Which is bigger: y or t?
t
Let l = 2 + -2. Let a be 1 + l - 3/5. Let o be (-6)/21*84/24. Which is smaller: o or a?
o
Suppose 3*i + 126 = 129. Which is smaller: -1/202 or i?
-1/202
Suppose w + 3*a = 8, 5*a = 4*w - 96 - 4. Which is bigger: 58/3 or w?
w
Let s = -41 - -46. Let y = 26 - 19. Is y >= s?
True
Suppose 0 = 3*x - 57 - 177. Let h = 56 - x. Let l be (-7)/21 - 6/h. Is l greater than 0?
False
Suppose -4*p + 25 = 1. Let u = 11 - p. Suppose 0 = -u*b + 1 + 9. Are 6/7 and b non-equal?
True
Let u be 3 + 44/(-8) - (-1 - -3). Suppose 0 = 4*v - v + 12. Which is smaller: v or u?
u
Let g be 4*1 + (-42)/(-6) + 0. Suppose -g*k = -17*k - 102. Is 2 < k?
False
Let v = 0.24 + -1.94. Let y = -1039 + 1041. Are y and v unequal?
True
Let h = 180 - 176. Is 4 at most as big as h?
True
Let g be (-2)/(-9) + -5 + (-19045)/(-4005). Are -0.1 and g equal?
False
Let v = -3/832 - 24101/7488. Is -4 at least as big as v?
False
Let a = 7.5 - 10. Suppose -164 = 49*t + 42*t - 9*t. Which is smaller: t or a?
a
Let z = -39 - -42. Let n be (-1)/34*-52*z. Let v = n - 159/68. Are v and 1 unequal?
True
Let t be 31/((-4)/(-4)*(1 - 2)). Is t >= -33?
True
Let d = -63 - -697/11. Let s be (-143 + -2 + 2)*(-8 - -7). Let j = s - 143. Which is smaller: j or d?
j
Suppose -2*a - p - 1697 = 0, -4*a + 4*p = 605 + 2807. Which is greater: -849 or a?
-849
Let x = -16/425 + -1487/39525. Which is bigger: x or 1?
1
Suppose 64 = -5*o + o. Let v = o - -6. Let r be 28/98 - v/7. Which is smaller: 1 or r?
1
Let c = 249 - 150. Which is bigger: 98 or c?
c
Let m = -68 - -139. Let s = 309 + -237. Which is smaller: m or s?
m
Suppose 0 = -3*v + 12, v - 4 = -h - 0*v. Let n be -1 - -2 - 15/16. Which is greater: h or n?
n
Let w = 24 - 24. Suppose w = 3*y - 3. Do y and 2 have the same value?
False
Let q = -563427 - -5063231/9. Let c = q - -848. Is 1 equal to c?
False
Suppose -17*n + 192 = -21*n. Is -47 at least as big as n?
True
Let x be (2068/(-60) + 1)*-3. Let w = 100 - x. Is -12 equal to w?
False
Let x = -0.92 + 1.02. Is -122 > x?
False
Suppose 0 = -2*s - s + 12. Suppose -s = -m - 3. Suppose g + 0 + m = 0. Which is smaller: g or 1/3?
g
Let n be (2/(-3))/(1/(-6)). Suppose -3*y + 1 = 5*k - n, 4*y = 3*k - 3. Let o(d) = -d + 3. Let v be o(3). Is v > y?
False
Let i be ((-15)/(-5) - 2189/438) + 2. Is -1 at most as big as i?
True
Let p(z) = z**3 - 32*z**2 + 46*z + 35. Let b be p(31). Which is smaller: 502 or b?
b
Let w(h) = h**3 + 3*h**2 - h + 3. Let p be w(-3). Let n(u) = -u**3 - 13*u**2 - 35*u + 11. Let d be n(-9). Is p at most as big as d?
False
Let a = 381 + -310. Does a = 70?
False
Let r = -4 - 0. Suppose -5*o - o - 24 = 0. Are o and r unequal?
False
Let m(o) = -3*o + 0*o - o + o. Let u be m(12). Let d be (-24)/u + (-2)/3. Are d and 1 equal?
False
Let u be (2 + ((-20)/8)/1)/(-2). Which is smaller: 360 or u?
u
Let z = -2 + 2. Suppose 3*j = -2*t + 10, -49 = t + 5*j - 68. Is z < t?
False
Let s(q) = q + 8. Let c be s(-7). Let r = c - 7. Suppose 2*d - 4*d = 5*v + 32, 0 = 2*v - 4*d + 8. Is r != v?
False
Let w = -261.0338 - -0.0338. Is 0 <= w?
False
Suppose -3*k = 4*v - 5, 0 = -2*v - 0*v + k + 15. Suppose 2*h + 5*m = -16, -h + 2*h = v*m + 22. Suppose 0 = h*l + 2. Which is smaller: l or -3/10?
l
Suppose -7*g - 3 = -3. Which is smaller: g or -35?
-35
Let f = -1087/7 + 11565/28. Are 257 and f unequ