 is smaller: o or -14?
-14
Let k(a) = -5*a**2 + 163*a + 70. Let l be k(33). Let f be (11 + -76)*(3 - l). Is f greater than 64?
True
Let x = 209 + -105. Let m = 104.1 - x. Are 6/11 and m unequal?
True
Suppose 2*q + 3*q = 4*w - 27, 3*w = q + 12. Let d be (w/(-6) - -1)/(2/67). Let m = d + -29/4. Which is smaller: m or 11?
m
Let j be (-129*2/24)/(2/(-72)). Suppose j = 55*g - 64*g. Is g >= -46?
True
Let t(h) = -38*h - 74. Let p be t(-2). Let c be (58 - -7) + (p - 8). Which is smaller: 60 or c?
c
Suppose 25*u + 69 = 28*u. Let x(j) = 10*j**2 + 1. Let o be x(1). Suppose 0 = -4*m + u - o. Is 1 not equal to m?
True
Let w be (-119)/(-21) + -6 + ((-21)/(-18))/(-7). Let u = -19 - -5. Which is smaller: w or u?
u
Let j = 73.4 - -5.6. Let h = -72 + j. Let y = -6 + h. Is y less than 0.2?
False
Let i be 5/(-3)*33 + (2/(-1) - -4). Which is bigger: i or -51?
-51
Let q(i) = -2*i**2 + 133*i - 1124. Let u be q(10). Suppose -5*z = -5*p + 10, -3*z = -3*p + z + 5. Suppose -u = -p*b + 30. Which is greater: b or 11?
b
Let r = 2.12 - 309.12. Which is smaller: r or -1/4?
r
Suppose -198*y + 2*v = -197*y, 0 = 3*y + v. Which is greater: -4/49 or y?
y
Let a be (-15)/150*5 + (-15)/(-2). Let v be a/126 - 8129/198. Suppose -5*t + 4*j = 206, -2*t - 53 - 27 = -4*j. Which is bigger: v or t?
v
Let d(a) = -a**2 - 43*a - 406. Let x be d(-14). Which is smaller: x or 39/134?
x
Let r(p) = p**3 + 50*p**2 - 51*p + 1. Let f be r(-51). Which is greater: 58 or f?
58
Let f(n) = n**3 + 19*n**2 + 21*n - 86. Let u be f(-18). Let r = u + 120. Which is greater: -19 or r?
-19
Let o = -7672 + 7823. Is 136 < o?
True
Let j be 1/(21/2250*-1). Do -108 and j have the same value?
False
Let o(y) = -y**2 + 6*y. Let t be o(3). Suppose 4*q + 6*x + t = 3*x, -4*x = -5*q - 19. Let l be 2*(q + 255/84) - -1. Which is bigger: l or 0?
l
Let o(w) = -5*w - 16. Let b be o(4). Let d be (-8)/(-36) - 172/b. Suppose 0 = -9*m + 4*m - 5*f + 165, -d*f - 57 = -m. Which is bigger: m or 1?
m
Let q(i) be the third derivative of -5*i**4/12 - 22*i**3 - 32*i**2. Let w be q(-13). Is w equal to 1/7?
False
Let z = -0.2 + 0.3. Let d(f) = f**2 - 36*f - 775. Let x be d(51). Which is bigger: z or x?
z
Let s = 83506/9 - 9267. Which is bigger: s or 12?
12
Let s = 16325/12 + -6209/3. Is -710 < s?
True
Suppose 3*x = -5*j - 177, -30 = -4*x - 2*j - 252. Let l = -8 - -2. Let m = l + -49. Is m greater than or equal to x?
False
Let l = 16664 - 13514502/811. Let u be (-15 - (-1140)/75)*(5 - 0). Is u greater than l?
True
Suppose 5*y = -2*j + 5, -5*y + 5*j - j + 35 = 0. Suppose x = -y*x. Let g be (-1 - 7)*(-7)/((-273)/(-6)). Which is bigger: x or g?
g
Let t(w) = 9*w + 2. Let h(g) = -5*g - 1. Let q(b) = -5*h(b) - 3*t(b). Let a be q(-1). Let j = 12.3 + -9.3. Which is greater: a or j?
j
Let c = -517 + 650.2. Let l = 133 - c. Which is smaller: -1/3 or l?
-1/3
Let m = 79 - -1. Suppose 0 = f - m + 74. Suppose -f*l + 78 = 18. Which is greater: 26/3 or l?
l
Let p = -0.13 + 0.41. Let j = 28.08 + -9.8. Let y = j - p. Is y at least as big as 0?
True
Suppose 0 = -2*o - 21*o + 1449. Suppose -4*b + 3*v + o = -646, 3*v + 531 = 3*b. Which is bigger: 179 or b?
179
Suppose -3*r = r - 8, -r - 122 = -q. Suppose -30*c - 128 = -3848. Are q and c unequal?
False
Let o = -178 - -176. Let t be -5*7/(-17290)*o. Does -1 = t?
False
Let t(q) = 75*q + 1517. Let i be t(-19). Which is bigger: 29 or i?
i
Let u(t) = -10*t + 62. Let m be u(23). Let i = m - 62. Is i <= -229?
True
Suppose 45 = -3*m + 3*c, m + 3*c = -33 - 2. Let r be -1 + 290/m*2/(-7). Is r greater than 2?
True
Let r = -26.84 + 27. Let z = -0.02866 - 0.00134. Which is greater: z or r?
r
Let c = -15 - 2. Let t be (-25305)/(-120) - 2/((-16)/1). Let o = 192 - t. Which is greater: o or c?
c
Let d = -0.21 + -3.59. Let x = d + 1.8. Let w = 255 - 249. Is w less than or equal to x?
False
Suppose 40 = 3*y + s, 0*y - 3*y - 4*s + 52 = 0. Is y bigger than 220/19?
True
Let s = -68 - -64. Let n be (2/(-96))/(s/12). Which is smaller: n or -1?
-1
Let c = 6 - 5.96. Let q = -0.24 + c. Let u = 35.7 + -35. Is q <= u?
True
Let s = -334 - -355. Do s and 391/18 have different values?
True
Suppose -3*b - 28 = 20. Let o(g) = -g**3 - 19*g**2 - 19*g - 18. Suppose -11*j + 4*i = -8*j + 66, 5*j - 5*i + 105 = 0. Let c be o(j). Is b smaller than c?
True
Suppose 0 = s + 7 - 3. Suppose 0 = 4*k + y - 140, -4*k + y + 0*y + 140 = 0. Let q be (1 - 1) + k/(-10). Is q at least as big as s?
True
Suppose 9527 = -3*r + 4*t, 154*r = 149*r + 2*t - 15841. Is r at most -3168?
False
Let z = 372551/2860 + -9/715. Which is smaller: 130 or z?
130
Let c be (-4 + (-80)/70)/((-524)/(-42)). Which is bigger: c or -1?
c
Suppose -h + 395 = 3*t, 0 = 9*t - 4*t + 3*h - 661. Which is smaller: t or 926/7?
t
Let l = -29443/9 + 3283. Let x(w) = -w + 2. Let m be x(-9). Which is smaller: m or l?
m
Let k = 60 - 45. Let i(z) = z**2 - 19*z - 52. Let p be i(k). Which is smaller: -113 or p?
-113
Let t(i) = 5*i**2 + 11*i - 11. Let j be t(1). Suppose -7 = -4*b + j. Which is smaller: -3 or b?
-3
Let k be 161922/216 + (-6)/8. Let b be (6/(-3))/(6/(-2256)). Let h = k - b. Are 1 and h non-equal?
True
Let n = -3087115938/119 + 25942341. Let l = n - 1332/7. Is l equal to 1?
False
Let n(p) = 221*p**2 + 47*p + 125. Let o be n(-3). Which is greater: o or 1970?
o
Let d be 56 - ((-140)/5)/(-7). Let y(k) = -k**3 - 10*k**2 - 3*k + 8. Let l be y(-9). Let u = l + d. Which is bigger: u or 7?
7
Let a(k) = -10*k + 190. Let w be a(19). Suppose -z + 9 = 4*c, 0 = 2*c - 3*c - 2*z - 3. Let d be 897/(-297) + c/1. Which is smaller: d or w?
d
Let z(s) = 8*s - 10. Let h be z(-13). Let l = -121 - h. Let n be ((-21)/(-9))/(1/(-3)). Is n > l?
False
Suppose 3*b - 4097 = 4*x, 3*b + 3*x = 8*b - 6821. Let z = 29991/22 - b. Is 2/5 not equal to z?
True
Let y = -2855 - -42823/15. Do -0.0391 and y have different values?
True
Let a be (-6)/((0 - (-3)/2) + 0). Let s(z) = z + 5. Let j be s(a). Let w be ((-4)/8 - j)/((-9)/84). Are 13 and w unequal?
True
Let q = -290 - -223.1. Let s = -67.26 - -0.26. Let y = s - q. Are 38 and y equal?
False
Let h(v) = v**2 - 87*v + 880. Let x be h(16). Is x smaller than -257?
False
Suppose w = 3*m - 5, 3*w + 15 = 3*m - 0*w. Let x be 327704/(-54252) - 1*-6. Which is smaller: x or m?
x
Let v = 0.23191 + -0.25476. Which is bigger: -2/9 or v?
v
Let u(f) = 93*f**2 - 115*f + 867. Let r be u(6). Which is greater: 3524 or r?
r
Let l(q) = q**3 - q**2 + 9*q. Let t be l(0). Which is smaller: -39/34 or t?
-39/34
Let r = -76.8 - -71. Let w = 188.3 + -194. Let p = w - r. Is p < -36?
False
Suppose 5*n + 7 + 47 = -4*v, v + 5*n = -21. Which is smaller: 206 or v?
v
Let j = 1339/40 - 9383/280. Let c = 1 + 1. Suppose 0 = 5*x + c + 3. Is x greater than j?
False
Suppose -147 = -5*n + j + 69, -2*j + 140 = 3*n. Let q be n/7678*6/4. Are q and -1 equal?
False
Suppose 4*z + 8 = 0, 0 = 2*a + 3*z - 84 - 76. Suppose -89*f - 1044 = -a*f. Is f equal to -176?
False
Let a be -6 - (-371)/28 - 5. Let r(v) = 3*v - 2 + 3*v**2 - 13*v - 4*v. Let d be r(5). Does d = a?
False
Let o = 2810508237 - 601450151795/214. Let b = 6491 + o. Which is smaller: -1 or b?
-1
Let t be 6/(-3) + 0 + -6 - -8. Is -1/2574 < t?
True
Let b = 1.0022 - 0.0022. Are 4033 and b nonequal?
True
Let v = 1005 + -1285. Let h be (-5 - v/48)/((-2)/(-8)). Let b(u) = 2*u**2 + 3*u. Let y be b(-2). Is h equal to y?
False
Suppose 5*l - 7 - 3 = 0. Suppose -m = 3*q - 93, -3*q - l*m = -12 - 84. Suppose -4*w - 2*w + q = 0. Which is greater: w or 4?
w
Let g(c) = -c**3 - 12*c**2 + 7*c + 183. Suppose 7*o + 124 - 47 = 0. Let p be g(o). Is p at most -12?
True
Let y(k) = 28*k**2 + 4*k - 5. Let h be y(-4). Let g = h - 423. Let z be 3/(2/32*11). Which is greater: g or z?
z
Let m = -13793118 - -99862173817/7240. Let h = m + -1/181. Which is smaller: 0 or h?
h
Let c be 208/1430*2/(4/185). Suppose 2*q - 22 - 22 + 20 = 0. Which is bigger: q or c?
c
Let s = -52362 - -52425.871. Let t = s - -0.129. Is 0.1 at most t?
True
Let c = 0 - 0.1. Let b be ((-96)/40)/(2/5). Let o be 51/170*-2*(-2)/b. Which is greater: o or c?
c
Suppose 0 = 88*h - 7618 - 39111 - 169487. Which is smaller: 2456 or h?
2456
Let g = 109 + -210. Let i = 105 + g. Which is smaller: 16 or i?
i
Let z = 1.99 + 0.01. Let x = -38.46 - -27.2. Let m = -0.26 - x. Which is smaller: m or z?
z
Suppose 25*n + 7*n + 839 + 185 = 0. Suppose -3*d = 