 o(10). Let r = 7 + g. Let b be 17/r + (-4)/6. Which is smaller: 7 or b?
b
Let g = 25 - 25.106. Let q = -0.096 - g. Which is bigger: q or -1/9?
q
Let y(g) = -8*g + 230. Let p be y(26). Which is bigger: 21 or p?
p
Suppose -o - 21 = -b, -111 = 5*o + b - 0*b. Are o and -26 non-equal?
True
Let v = -181/354 - -2/177. Is v > 111?
False
Suppose 3*a = -5*w + 313, -4*a = -3*w + 7*w - 252. Which is greater: w or 61?
w
Let k = 10 + -6. Suppose 5*j + 13 = 8. Let g be (-2)/8 - j/k. Which is bigger: g or -4/5?
g
Let r = 13 - 66. Let k = r + 53.04. Let m = 0.4 + -0.3. Which is smaller: m or k?
k
Let c be (10 + -8)/((-6)/(-15)). Suppose 4*a - c*o = 12, -2*a + 2*o = -0*o - 4. Does -2 = a?
True
Let n(p) = -p**2 + 16*p - 7. Let k be n(15). Suppose -k + 12 = 4*h. Does h = 1?
True
Let v = -199.94 + 200. Let k be 30/56 - (-2)/(-7). Are k and v non-equal?
True
Let i = -34.027 - -0.027. Let x = i - -29. Which is bigger: x or -1?
-1
Let j(z) = -181*z + 869. Let v be j(15). Is -1847 > v?
False
Let j = -53 + 73. Suppose 5*q - 9*q - j = 0. Are 3 and q equal?
False
Let k(b) be the third derivative of -b**4/8 + b**3/2 - 2*b**2. Let g be k(1). Which is greater: g or -0.1?
g
Suppose -4*z - y = -3*y - 900, -4 = 2*y. Is z > 1117/5?
True
Let f(q) = -4*q**2 + 16*q - 17. Let l(r) = 5*r**2 - 17*r + 17. Let x(a) = 3*f(a) + 2*l(a). Let v be x(5). Which is smaller: v or 7?
v
Let l = -373 - -370. Which is bigger: l or -0.85?
-0.85
Let n be (4/30*-9)/((-2)/5). Suppose 10*w + n*w = 4*w. Which is greater: w or 1?
1
Suppose -2*h - h = 0. Let v = 185017/57 - 3246. Let f = v + -30/19. Is h bigger than f?
True
Let t(x) = 2*x**2 + 16*x - 13. Let k be t(-9). Let p be 7 + 2/(-6)*3. Do k and p have different values?
True
Let d(k) be the third derivative of -k**4/12 + k**2. Let h be d(0). Suppose h = -2*t + 5 - 15. Is t bigger than -5?
False
Let t = 2901 + -147929/51. Which is bigger: t or 1?
1
Let o(b) = 17*b**2 + 206*b + 23. Let n be o(-12). Let h be 8/526*1/(-2). Which is smaller: h or n?
n
Let a = -90 + 72. Let k be a/(-30) + 2 + (-98)/30. Is 19 greater than k?
True
Let h = -59 + 119. Let j = h + -45. Is j less than or equal to 31/2?
True
Let i be (0/2 - -6)*-1. Let w(m) = -2*m**2 + 23*m - 10. Let c be w(10). Suppose 7*f - 3*f = -c. Which is smaller: f or i?
i
Let j(v) = -v**3 + 6*v**2 - 4*v - 4. Suppose -y + 4 = -5*y, l - 2 = -3*y. Let k be j(l). Let c = 242/3021 - -4/159. Is c at most k?
True
Let t be (25 - 21) + 2/2. Which is smaller: 30/7 or t?
30/7
Let g(x) = -46*x**2 + 4*x + 8. Let l be g(-5). Let z = -7001/6 - l. Do z and -5 have the same value?
False
Suppose 0 = -4*t + 6*t - 10. Suppose -s = -5 - t. Suppose 0*a + s = 5*a. Which is smaller: a or 1?
1
Suppose -16 = -7*k + 19. Suppose 7*j - k*j - 28 = 0. Let i be ((-4)/j)/(30/70). Which is smaller: 0 or i?
i
Suppose o + 4*h + 3 = -10, 0 = -4*o + 2*h + 2. Is o smaller than 1/118?
True
Let b = -150 + 154. Which is smaller: b or -11?
-11
Let b be 2/10 + (-2 - (-4764)/30). Suppose -5*q + b = -78. Are q and 46 nonequal?
True
Suppose -2*w + 24 = 5*s + w, -5*s - w + 18 = 0. Let a be (s/(-9)*3)/(-1). Which is smaller: a or 0?
0
Let v be 84/21*1/4. Let h = -13 - -5. Let a be 3/2*h/(-6). Do a and v have the same value?
False
Let f be -140 - (12/(-9))/(7/(-21)). Let k = f + 225. Is 81 not equal to k?
False
Let j be (-210)/8694 + (-2)/23. Is -0.3 greater than j?
False
Let q = 2798/3485 + -2/697. Let p(z) = -z + 1. Let n be p(1). Is q < n?
False
Let p(u) = u**2 - 15*u + 20. Let j be p(10). Let y = j + 32. Which is greater: y or 4/3?
y
Let l = 13 - 10. Suppose 3*h + 3*u + 45 = 0, u + 48 = -4*h + l*u. Is h smaller than -13?
False
Let r be ((-14)/(-21))/((-2)/(-36)). Suppose -r*k + 11*k = -2. Which is smaller: k or -0.5?
-0.5
Let l be 18314*((-3)/1)/(-33). Let x = l - 1666. Let m(d) = d**3 - 6*d**2 - 6*d - 8. Let z be m(7). Is z at least as big as x?
True
Let a(v) = -v**2 - 8*v - 8. Let g be a(-7). Let z be 1/((-8)/(-6) + g). Let f = 5351 + -5347. Is z at most as big as f?
True
Suppose -9*b + 6*b = 0. Let r be (-24)/(-160)*4/6. Is r at least as big as b?
True
Let x be 1/(-1)*(1 + -2). Let z be x/(-4)*(-16)/10. Suppose -4*t = 4*v - t - 15, 2*v + t - 5 = 0. Which is smaller: v or z?
v
Suppose 2*s - 3*g + 1 = -11, -3*s - 23 = -2*g. Let k = 11 + s. Suppose -14 = -3*a - k*z + 23, z = a - 9. Which is smaller: -2/7 or a?
-2/7
Let p be (-1)/4 + 89531/(-52). Which is smaller: -1723 or p?
-1723
Let t be (5/((-300)/415))/((-1)/4). Is t at least as big as 29?
False
Let u = 0.05 + 11.95. Is 1 > u?
False
Let k(n) = n**2 - 8*n + 15. Let f be k(6). Suppose 2*w - v = -20, -f*w = -4*v + 2 + 33. Let r be (w/(-42))/((-3)/(-8)). Is r smaller than 1?
True
Let b = -4.88 - -4.6. Let l = b + 0.23. Is -1 equal to l?
False
Let r(h) = h**3 - 4*h**2 - 5*h + 2. Let y = -16 + 21. Let m be r(y). Suppose 3*g + 4 = -m. Are -1 and g non-equal?
True
Let k = 177 - 298. Let z = -120.82 - k. Let c be (-3)/(-8)*4/(-6). Is z less than c?
False
Let o = -21 + 21.55. Let i = o + -0.75. Which is smaller: i or 1/8?
i
Let d be (1/2)/(3/18). Suppose d*l = 6*l - l. Is l less than or equal to -9/8?
False
Let n = -264 + 265. Which is greater: n or -2/45?
n
Let f(a) = 12*a**2 - 40*a + 11. Let k be f(3). Is k at most 3/974?
True
Let h = 58 - 51.9. Let u = 6 - h. Which is smaller: -0.6 or u?
-0.6
Let z(g) = -5*g + 31. Let j be z(5). Let w = -3 - -6. Suppose 2*y - 3*d + 54 = -3*y, -y + w*d - j = 0. Which is greater: 0.1 or y?
0.1
Let d be (-1)/2 + (-18)/(-4). Suppose -7 = 5*j + 4*u, d*j + 2*u + 3 = 1. Let i = 34/33 + -964/957. Does i = j?
False
Suppose 2*v + 4*b = -10, 5*v - 2*b - 10 = 25. Suppose 4*u - 36 + 8 = 0. Which is smaller: v or u?
v
Let v = 4 + -4. Suppose -w - 1 = -v. Are w and 2/193 nonequal?
True
Let a = -115/3 + 116/3. Which is bigger: a or -14?
a
Suppose 28*t + 272 = -736. Is t bigger than 0.6?
False
Let u = -0.192 - -1.192. Which is greater: u or 0.15?
u
Suppose -3*n = 1 - 16. Suppose n*r = r. Is r > -2/11?
True
Let y be 8/(-2) + 9*(-26)/(-39). Which is bigger: 26/21 or y?
y
Suppose -4*a - 5*w - 34 + 130 = 0, 0 = a + 3*w - 17. Which is greater: a or 10?
a
Let c(s) = s**3 + 7*s**2 + 5*s - 4. Let x be c(-6). Suppose x = 4*o - 2*p - 6, p = 2. Let j = 94 - 93. Which is smaller: j or o?
j
Let i = -10 + 10. Suppose 5*w - 306 + 36 = i. Let j be 171/w - 6/4. Is 3 less than j?
False
Suppose 81 + 100 = 5*w + 4*l, 169 = 5*w + l. Suppose 12 = 2*a - a + 5*r, -a + 2*r = -w. Let d = 350/13 - a. Are -1 and d equal?
False
Let z = -54/43 + -10/129. Which is bigger: -12 or z?
z
Let s = 1201 - 1202. Do -672 and s have different values?
True
Let v = 493 - 213. Suppose 0 = -6*z + z + v. Does z = 56?
True
Let n be 520/720 + (2/4)/(-1). Is n less than -1?
False
Let l = -531 - -470. Is l at least -3?
False
Let s = 33/10 + -71/70. Does 1 = s?
False
Let u = 101 + -100.9. Are 75 and u non-equal?
True
Let x be 1*(13640/(-25) + 9/15). Let m = 3802/7 + x. Does -1 = m?
False
Let a = 9 + 1. Let h = a - 9. Let t = 0.9 - h. Is 9 smaller than t?
False
Let q = 42 + -30. Suppose -13*d + q*d = 0. Is d smaller than 1/5?
True
Suppose 3*f - 5*x = -2*f + 30, 5 = -x. Is f greater than -4/765?
True
Let x = 5/1529 - 350171/9174. Let l = x + 38. Is 1 smaller than l?
False
Suppose 48*n - 46*n - 10 = 0, 2*n - 9 = g. Let s(l) = l**3 + l**2. Let t be s(0). Let k be t/1 + -1 + 0. Are g and k equal?
False
Let c = 2 + -1. Let d be (-825)/36 + 22 - (-1)/4. Which is bigger: d or c?
c
Let t be ((-15 - 2) + 2)*(-22)/561. Is 0 > t?
False
Suppose 23 = -74*k + 97*k. Is 5/22 at most k?
True
Let g(p) = -p**3 - 17*p**2 + 80*p + 116. Let o be g(-21). Which is greater: 202 or o?
202
Suppose -3*h + 7 = v, -2*h - 21 = -3*v - 4*h. Suppose -30 = 2*p + 2*u, -3*u = -p + u - 20. Let f = v + p. Which is smaller: -2 or f?
f
Let r = 4.989 - -0.011. Let m = 13 - 13. Which is greater: m or r?
r
Let o = 24 + -23. Let u = 2 + o. Let y be -3*(8/(-6))/2. Which is smaller: u or y?
y
Suppose -4*l + 8 = -5*r, r - 5*l + 14 = 4. Let n be 8 + -3 + -1 + 0. Let z be -3 + n - 9/10. Do r and z have the same value?
False
Let n = 2/4775 + 12403/28650. Which is bigger: n or 0?
n
Let j = 40.06 - 43.06. Let s = -24 + 15. Which is smaller: s or j?
s
Let v(s) = -3*s**3 + 5*s**2 - 8*s + 2. Let b be v(1). Is b not equal to 161?
True
Let w(c) = 8*c**3 + 3*c + 2. Let x(l) = 18*l**3 + 6*l