: g or k?
g
Let r be 17/(918/156) + (-3)/(-27). Which is smaller: r or -2?
-2
Let d = -31282904/3755 - -8331. Do -1 and d have the same value?
False
Let k = 42 - 38. Let c be (3 + 55/(-25))/k. Which is greater: -2 or c?
c
Let s be -2 - (-2)/((10/(-8))/5). Suppose b = 3*g - 4*g - 14, -3*g = 15. Let q = b - s. Which is smaller: q or 2?
q
Let i = -9.84 - 0.16. Let d = 2.616 + -2.616. Which is smaller: d or i?
i
Let k = -189 - -160. Is k bigger than -29?
False
Let m = -8 - -46. Let u = 41 - m. Does u = -0.2?
False
Let k be (62/9)/(65/(-25)). Let a = 2/117 - k. Is 3 > a?
True
Let z be (-4)/10 + 231/15. Let j be (-133)/20 - (-6)/z. Which is smaller: -6 or j?
j
Let d(b) = -3*b - 89. Let f be d(-30). Is f not equal to 7/296?
True
Suppose -40 + 38 = 2*g. Let a be g/(-2) - (-490)/(-20). Which is smaller: a or -22?
a
Let g(u) = 2*u + 6. Let c be g(3). Let n be (-2)/(1 + (-16)/18). Let s = -7 - n. Do c and s have different values?
True
Let o be -3 - (3/(12/16) - 7). Which is smaller: -7/33 or o?
-7/33
Let q(r) = 3*r**2 + 124*r + 42. Let d be q(-41). Is 0.249 smaller than d?
True
Let c = -216 + 125. Is c less than or equal to -88?
True
Let b(s) be the third derivative of s**4/24 - 11*s**3/6 + 5*s**2. Let c be b(10). Let m = c + 0. Are -1/14 and m equal?
False
Let v be ((-5)/12 - 1/4)*-216. Let c be 1/(12/(-30) - v/(-10)). Which is smaller: c or 0?
0
Suppose -2*a + 3*u = 5, -5*a - 4*u - 1 = -0. Which is greater: 7/262 or a?
7/262
Let o = 285.98 + -286. Is -1 less than or equal to o?
True
Let f = -4/89 + -21/1513. Let z = 6/389 + 760/1167. Are z and f equal?
False
Let m = 0.17 + 1.33. Let s = 8.4 + m. Let c = s + -10. Which is greater: c or -1?
c
Let o(k) = -21*k - 399. Let b be o(-18). Suppose 26 = -4*l + 230. Suppose 2*c + l - 9 = 0. Is c > b?
False
Let r = -217 + 101. Does -116 = r?
True
Let v = 164 - 299. Is v < -134?
True
Suppose -2*q - 65 = -7*q + 4*u, 3*u - 3 = -2*q. Suppose -2*w + 6 = 0, -n - 5*w = -4*n - q. Which is smaller: n or 0?
0
Let p = 30 + -65. Let r(c) = -c**2 - 8*c + 49. Let q be r(6). Do p and q have the same value?
True
Let m(s) = -31*s + 201. Let q be m(5). Which is smaller: 17 or q?
17
Let q = 590 + -600. Which is smaller: q or -86/9?
q
Let b be (-17)/(-30) + (-2)/12. Let u = -138/203 - 1/29. Let n = -3/14 - u. Which is bigger: n or b?
n
Suppose 8*z - 6*z = 3*j + 331, 5*j = -4*z + 673. Which is bigger: z or 166?
z
Let h(u) = 0*u - 9*u - 4 - 5*u + u**2. Let t be h(11). Is -0.1 < t?
False
Let h = -7.124 - 0.076. Let q = 7 + h. Let x = -0.2 + 0.27. Which is greater: x or q?
x
Suppose u - 25 = 2*p - 382, 0 = -3*p + u + 534. Let k = 114 - p. Let b be 3*(-3)/k*1. Do -1 and b have different values?
True
Let n be -1 + 2 - ((-84)/8)/(27/54). Let v(l) = -l**3 - 4*l**2 + l + 4. Let r be v(-5). Which is bigger: n or r?
r
Let n(l) = -l**2 - 5*l + 34. Let a be n(-9). Let h be a*28/24*-3. Suppose 4*o - 13 = -3*t, -4*t = -3*t + 4*o + 1. Is t greater than or equal to h?
True
Let x be (-45)/(-54)*-3*12. Is -5 != x?
True
Let v be 1*(15/24 - 0). Let s(l) = 24*l + l**3 - 1 - 33*l - 1 - 6*l**2 + 17. Let g be s(7). Which is greater: g or v?
g
Let f(w) = -7*w + 1. Let m be f(-1). Let s = -30 - -28. Is m <= s?
False
Let s(b) = -b**3 + 8*b**2 + b - 11. Let a be s(8). Let j be -5 - (a - -1 - 0). Let x be 1 + j/6*2. Do -3/5 and x have the same value?
False
Let m = -473151908/205961613 - -4/2214641. Let w = -70/31 - m. Do -1 and w have the same value?
False
Let v(w) = w**3 + 18*w**2 + 43*w + 6. Let n be v(-15). Is n < 106/3?
False
Let c(r) = -r + 19. Let h be c(15). Let z = -2 - -8. Suppose 2*p = -5*m - 11, 2*p = -h*m - z - 4. Which is greater: m or 2?
2
Let s be 7*2*(-2)/(-2). Suppose 0 = -4*z - o + 143, 22*z - 19*z = -o + 106. Let p be s/(-77) - z/(-22). Is 3 less than p?
False
Let p(n) = -n**3 + 3*n**2 + 2*n + 3. Suppose 2 - 10 = -2*m. Let b be p(m). Are -5 and b nonequal?
False
Let j = -8991 - -6563433/730. Are 0 and j equal?
False
Let c(f) = -f**2 - 5*f + 5. Let a be c(0). Suppose a = -3*u + 2*h + 33, h = u - 9. Which is smaller: u or 7?
7
Let x = -0.17 - 8.83. Let j = x + 9.16. Let q = 0.16 - j. Is -2 at most as big as q?
True
Let q = -45 + 133/3. Let u = 1 - 0.94. Let o = u + 1.94. Is q <= o?
True
Let z = 6 + 19. Let p be 7/5 + 15/z. Are p and 1 equal?
False
Let d be (2/(-3))/(12/234). Is -11 > d?
True
Let z(y) = 2 + 373*y**3 - 189*y**3 - 2*y + 2*y**2 - 183*y**3. Suppose 5*p = 3 - 18. Let h be z(p). Are -3/7 and h unequal?
True
Let h(x) = -2*x - 37. Let k be h(-40). Is k smaller than 42?
False
Let s = 7.6 - -0.76. Let l = s + -8.3. Which is greater: l or -3/2?
l
Let k be 1*(8 + -1)*(8 + -7). Let z be -7*(11 + -10 - 1/k). Is -8 > z?
False
Let y(v) be the first derivative of -9*v**4/4 + v**3/3 - v + 3. Suppose -4*s + 7*s = 3. Let w be y(s). Is w >= -8?
False
Let v(k) = -6*k**2 - 34*k - 20. Let l(i) = -i**2 - 7*i - 4. Let y(g) = 11*l(g) - 2*v(g). Suppose 0 = 2*c - 11 - 9. Let o be y(c). Is o at most 0?
False
Let f be (-3)/12 - (1 - 1). Suppose -4*b - 24*b = -4*b. Do b and f have the same value?
False
Let m = 40/177 - 3202/14691. Let g(y) = -y**3 + 4*y**2 + 5*y + 1. Let p be g(5). Is p smaller than m?
False
Let g = 51 + -124. Let a = -39 - g. Let q = -40 + a. Does q = -9?
False
Let m = 334 - 235. Is m at least as big as 100?
False
Let g = -715 - -752. Is g <= 37?
True
Let s = 3 - 17. Suppose 0 = 210*m - 197*m + 169. Which is greater: s or m?
m
Let i(k) = -k + 8. Suppose 3*q + 11 - 143 = 0. Let y be 3 + (-11)/(q/(-24)). Let d be i(y). Is 0.2 at least d?
True
Let u be (-99)/(-22)*(-24)/(-9). Suppose -u*o = -o. Is -1/118 greater than o?
False
Let a = -24085/9 + 2676. Let x be -2*1*3/(-2). Suppose -h + x*h = -2. Is h at least a?
False
Let y be ((-9)/(-3))/3*-8. Let u be 3 - 9*y/(-12). Let n be (3 - (-1 - -2)) + -6. Which is smaller: n or u?
n
Let o(i) = -6*i**2 + i + 0*i**3 - i**3 - 7*i + 0*i**3. Let y be o(-5). Suppose -y*l - 7 = -2. Is -2/9 greater than l?
True
Let r = 172 - 173. Is -23/12 greater than r?
False
Let b be (3/((-135)/612))/((-1)/25). Which is bigger: 341 or b?
341
Suppose -5*p = n - 153 + 440, n = -2*p - 116. Are p and -56 non-equal?
True
Let v be 2*20/(2 + 2). Suppose -v*m + 23 = -37. Which is smaller: m or 13/2?
m
Let h = -474 + 471. Are -86/37 and h unequal?
True
Let g = -6.93 - 0.07. Let x = -14 - g. Let l = x - -6.97. Is l at least 1/4?
False
Suppose -4*f + 33 + 67 = 0. Let p = -22 + f. Let m be p - (-4)/((-464)/356). Is 1 bigger than m?
True
Let z = 25 + 6. Which is greater: z or -2/7?
z
Suppose -169 = 12*k - 1693. Are k and 128 non-equal?
True
Let p be 10 + (-224)/(-1743)*-78. Which is greater: 1.6 or p?
1.6
Let y = -2559 - -3232. Which is smaller: -2 or y?
-2
Suppose 5*w - 7*h + 12*h = 0, w = -3*h. Which is greater: -2/995 or w?
w
Suppose 3*a - w - 2 = -0, -6 = 3*w. Suppose a = 6*r - 2*r - 52. Let f = r + -13. Which is smaller: f or -1?
-1
Let v(y) be the first derivative of y**3/3 + 3*y**2/2 + y - 2. Let a be 5/(-2) - ((-2)/(-4) - 1). Let f be v(a). Is -3 smaller than f?
True
Let d = 76 - 76. Let b = 16025/49 - 327. Are b and d non-equal?
True
Let b = -140 + 5182/37. Let i = -4 + 3. Which is smaller: i or b?
i
Suppose 3*i - r + 1 = -2*r, 5*r = -5*i - 5. Let q be 12 + -16 + (-323)/(-80). Let z = q + 299/560. Which is smaller: z or i?
i
Let s = 5/367 + -1711/44774. Which is smaller: s or 1?
s
Let q be (-3)/(-2) - 759/66. Which is bigger: q or -47/5?
-47/5
Let i = -2273 + 2272. Is i greater than or equal to 1/618?
False
Let c = -1.1 + 1. Let f = 27.2 + -27. Which is bigger: f or c?
f
Let t be -2*(-14)/84*(-1 + 0). Is t less than 71?
True
Let n = -7/8 + 5/24. Is n not equal to 36?
True
Let z be (1 + -2)/(6/126). Let q be z/55 - 2/(-10). Which is greater: q or 0?
0
Suppose 3*u = -2*i + 49, 0*u - 3*u + 66 = 3*i. Let s = i + -11. Let b be (-9)/s*(-30)/9. Which is smaller: b or 6?
b
Suppose 4 = -q, 4*q + 25 = p + 2*p. Are p and 11/7 nonequal?
True
Let o(m) = 4*m + 8. Let t(w) = -3*w - 7. Let i(y) = -6*o(y) - 7*t(y). Let u be i(1). Let q(l) = 8*l - 232. Let s be q(29). Which is bigger: u or s?
s
Let w = 212 - 208. Let u be 1/2 + 2/(-8). Which is smaller: u or w?
u
Let w be ((-120)/(-42))/(2/28*-4). Do -15 and w have different values?
True
Let d(i) = 1 - 7 - 2*i**2 + 2*i - 9*i. Let s be d(-5). Let l be s/28*24/(-99). Is l less than or equal to 1