54 + 1.746. Which is smaller: g or -6?
-6
Suppose 4*r = -2*h - 194, 3*r + 168 = 4*h - h. Let q = -958 - -2035. Let t be q/(-21) - 3*6/(-63). Is r <= t?
True
Suppose 6*o = o, 2*i + 76 = o. Let v(j) = 8*j**2 - 1. Let z be v(1). Suppose 3*u - 2*h + z*h + 131 = 0, -5*u + 4*h = 169. Which is smaller: u or i?
i
Suppose 0 = -3*w + 3*a - 324, 26*w - a + 316 = 23*w. Which is smaller: w or -88?
w
Let i be -119 - 98/(-7) - -11. Which is smaller: i or -96?
-96
Suppose 0 = 3*z + 343 + 10796. Let t be (676102/(-182))/(1 - (2 + -2)). Let j = z - t. Which is smaller: j or 1?
1
Suppose -4*j = 94 + 98. Suppose -3*b - 3*s + 5 = -7*s, b - 8 = -5*s. Let x be j*(-8)/36 - b. Are x and 8 unequal?
True
Let t be (20258/(-2030) + 10)/((-1)/(-3)). Which is smaller: 1 or t?
t
Suppose 20*v - 21*v + 3*p - 38 = 0, 0 = -v - 5*p - 6. Is -26 greater than v?
False
Suppose -9*c + 126 - 265 = -85. Let f(q) = 2*q - 5. Let d be f(5). Which is bigger: c or d?
d
Suppose -2*n + o = 134, -2*o - 2*o = 5*n + 361. Let t(x) = -69*x**3 - 2*x**2 + 8*x - 8. Let l be t(1). Which is bigger: n or l?
n
Suppose -7 = -107*u - 7. Which is bigger: u or 111?
111
Let z = -4 + 8. Suppose -5*r = -7*r - 1216. Let j = r + 3058/5. Which is smaller: z or j?
j
Let f be 7/((-2415)/(-318)) + (-16)/40. Let s(n) = -n**3 + 5*n**2 + 12*n + 14. Let u be s(7). Is f at most as big as u?
False
Let z = -9305 + 9305. Is -0.1907 smaller than z?
True
Let v(r) = -3*r + 66. Let t be v(20). Suppose 3*n = 5*i + 31, -4 = -4*i - 0. Suppose 0 = -15*s + n*s + 6. Which is greater: s or t?
t
Suppose -2*y + 132 = 2*j, -4*j - 402*y + 401*y = -240. Is j >= -1?
True
Suppose 144 = 10*j - 66. Suppose -2*a - 3*s - 28 = j, a - 2*s = -14. Is -20 not equal to a?
False
Let o = 3088859449/3517296860 - 30757/35548. Let r = -1/385 - o. Is r <= 0?
True
Let u = 133.864 + -134. Let f = -0.136 - u. Let x = -82 + 36. Is f less than x?
False
Suppose 0 = 2*w - 2*p, 3 - 2 = -p. Let d be (-2 + (-3)/(-2))/(4/(-488)). Let z = 2505/41 - d. Is z at least as big as w?
True
Let s = 5510560/153 - 36017. Is 1 at least s?
True
Suppose 5*h - 324 = -2*k - 107, 2*k + 3*h - 223 = 0. Suppose 95 - 5 = 2*x + 3*p, 3*x - 5*p = k. Suppose -x = -4*g + 3*g. Do g and 41 have different values?
True
Let m(u) be the third derivative of -u**6/360 - u**5/8 - 5*u**4/12 + 17*u**2. Let t(v) be the second derivative of m(v). Let c be t(-10). Are 2 and c nonequal?
True
Let l(h) = 10*h**3 + h**2 - h - 2. Suppose -12*n + 14*n = 10. Let u = -6 + n. Let v be l(u). Is -12 <= v?
True
Let m = 36/331 + 146122/1655. Let j = 2687/30 - m. Let d(b) = b + 7. Let z be d(-5). Which is smaller: z or j?
j
Suppose 345 = 5*l - 5*a, a = 2*l - 798 + 662. Is 126 at least l?
True
Let c be (-3)/((-78)/(-1850)) - (-16 + 7 + 14). Which is smaller: c or -76?
c
Let h = -511 + 527.5. Let l = 9.5 - 18. Let f = h + l. Is 6 greater than f?
False
Suppose -z - 3*m = -4, -4*z - 3*m = -0*m + 11. Let r(g) = g - 12. Let u be r(-11). Let j = u + 17. Are j and z unequal?
True
Suppose 0*z + 5 = z. Let p be (-15)/z - (-84)/27. Let k = 7 - 13. Which is smaller: p or k?
k
Let g = 9.5 - 31. Let y = -0.036 - -21.036. Let s = y + g. Is s not equal to -4?
True
Suppose -3*q - 3*h = -h - 11, -2*q = -4*h + 14. Let j(y) = 2*y**3 + 4*y**2 + 2*y - 2. Let u be j(-2). Which is greater: u or q?
q
Let c = 0.1461 + 827.8539. Let t = 827.89 - c. Are 1/5 and t nonequal?
True
Let g(c) = -c**3 - 4*c**2 - 3*c - 5. Let z be g(-3). Let y be (2 + 51/(-27))*(-2 - z). Is y <= -5?
False
Let u(k) = 59*k**2 + 2*k - 2. Let a be u(1). Let f = a - 91. Which is smaller: f or -65/2?
-65/2
Let f be (4689/6)/(-13 + 4 + 3). Let w be -2*(2 - 254/(-4)). Let a = w - f. Which is greater: -0.03 or a?
-0.03
Suppose -45 = 3*a - 33. Let g be a + 116/22 + -5 + 3. Let v = 0.1 + -0.1. Which is greater: v or g?
v
Let n = 3543 - 3025. Which is greater: 2 or n?
n
Let a = 811/13 + -63. Is 11 > a?
True
Let d = 282 - 214. Let a be (5/20)/((-5)/(-100)*5). Is d less than a?
False
Let d be 9900/(-600)*16/6. Which is smaller: -310/7 or d?
-310/7
Let n = 8652 + -4622. Does 0 = n?
False
Let h be 6*(2/18)/(8/36). Suppose -7 - 6 = v - 2*p, -2*v - h*p - 12 = 0. Is v smaller than -44/5?
True
Let o = 265 + -198.4. Let w = o - 66.3. Which is smaller: w or 1/29?
1/29
Let c = -1547 - -4976. Which is smaller: 1 or c?
1
Let r be 60*1104/(-32)*2/(-12). Let w = -323 + r. Do w and 20 have different values?
True
Let x = -2206.6 - -1840.42. Let j = x + 366. Let i = -0.2 + 2.2. Which is smaller: i or j?
j
Suppose 5*o - 3*h - 55 = 0, 0*h - h = o - 19. Let w = 14917/6 + -2473. Is w at least o?
False
Let c = -775 - -513. Let j = 142 + c. Is -121 at least as big as j?
False
Suppose 2*n - 475 = 5*n - 2*d, -2*n - 334 = 3*d. Let o = n - -167. Do o and 7 have different values?
True
Suppose 0 = -3*u + 12, -4*x + 0*x = -u - 20. Let c be (-5)/(10/x) - (-182)/22. Is 6 smaller than c?
False
Suppose 2*b = b + 6. Suppose -2*n + b*n = -116. Let i = 6718 + -6748. Is i less than or equal to n?
True
Suppose b - 4*t - t - 30 = 0, 5*b = -3*t + 10. Suppose 37 = -4*v - 3*s, -b*v = -s - 15 + 85. Which is greater: -0.08 or v?
-0.08
Let c = -0.44 - -125.44. Let v = -64 + c. Let l = v + -60. Which is smaller: l or 10?
l
Let v = 46 - 85. Let l = -1095 + 9865/9. Let z = -4/9 + l. Is v smaller than z?
True
Let m(d) = -d**2 + 3*d - 4. Let g(f) = -f**2 + 5*f - 5. Let r(c) = 5*g(c) - 4*m(c). Let i be r(5). Which is smaller: 0.3 or i?
0.3
Let s be (-224)/(-308) + ((-88)/110 - 1/5). Let c(w) = w - 9. Let f be c(5). Let r be (2/(-4))/(3/f). Do s and r have different values?
True
Suppose 5*l - 4*g + 1819 = 0, -2*l + g = 3*l + 1831. Let s = -206 - l. Let w = s + -1124/7. Which is bigger: w or 3?
3
Let r(p) = -57*p + 2619. Let h be r(53). Which is greater: h or -401?
-401
Let k be 1 - (-3)/(-4) - 41395/(-68). Let n = k - 558. Let w be (-2)/7 - 366/(-7). Is w not equal to n?
True
Let d = -13446 - -13447. Is 28/449 not equal to d?
True
Suppose 15*f - 12*f - 429 = 0. Suppose 5*i - f = -13. Let u be ((-44)/(-8) + -4)*i. Which is smaller: u or 40?
u
Let v = 13 - 66. Let i be (-18)/(-81)*18/4. Let l be (-18)/((-252)/(-742)) + (0 - i). Are l and v nonequal?
True
Let z = -4093.3 + 3906. Let l = 187 + z. Let u = 12 + 1. Are l and u unequal?
True
Let d = 2632.22 - 2382.183. Let y = d + -250. Is 2/3 bigger than y?
True
Suppose -319 = -12*g + 1061. Let m = g - 263. Is m at least as big as -149?
True
Suppose 0*f - 114 = -3*f. Let p be (10*(-22)/(-33))/(-2 - (-26)/12). Which is smaller: p or f?
f
Let t be 10/(-45)*40956*3/(-4). Is 6827 greater than t?
True
Let b be (-177)/(-1770)*140/(-24). Let k(c) = -c**3 - 3*c**2 + 4*c. Suppose -2 = 4*o + 14. Let y be k(o). Which is bigger: b or y?
y
Suppose -z = 5*j - 5, -2*z - 4*j + 4 = 2*z. Suppose z = d - 37*l + 40*l - 4, -4*d + 4*l = -48. Do 2 and d have the same value?
False
Let u be (-6)/2*4/(-36). Let m be 21/(-6) + (-16)/24. Is u at most as big as m?
False
Let p be 2 - (948/16 - -2). Let s = 171/4 + p. Let n = -101 + 85. Is n equal to s?
False
Let p be (4 - (-44)/16)*(-48)/(-18). Suppose -p*h + 244 + 116 = 0. Let y be 312/14 + 4/(-14). Which is bigger: h or y?
y
Let h = -3929 - -4979. Is 1048 less than or equal to h?
True
Let s be (414/(-9)*9/(-6))/3. Is s greater than -5?
True
Let k be (-46)/(-14) - (-58)/(-203). Let h be (-16 - -16)*k/3. Are h and -1/585 non-equal?
True
Let f(w) = w**2 - 10*w - 6. Let k be f(10). Let r = k + 5. Let y be (-2 - 774/(-280)) + (-828)/1035. Which is greater: y or r?
y
Let h = -751 - -754. Suppose 0 = h*f + 3, 5*w - f + 229 + 535 = 0. Is -153 < w?
False
Suppose 2*q = -5*g, q = -2*q + 2*g. Is 52.3 < q?
False
Let n = 70522 + -70520. Let y = -58 + 145. Do y and n have the same value?
False
Suppose 5*h = 23*t - 21*t + 18, 0 = 3*h - 12. Which is bigger: t or -4/57?
t
Let j be 25/(-5)*6/10. Let q be 1*(j - 528/(-177)). Suppose -20*n + 91*n = 10*n. Are q and n unequal?
True
Let b = 329 + -318. Suppose -b = -5*r + 35*y - 31*y, -r - 13 = 3*y. Which is smaller: r or 2/241?
r
Suppose 0 = -3*u + 4*r + 48874, 4*u + 4*r - 87224 = -22096. Let s = u + -24575572/1509. Which is bigger: -1 or s?
s
Suppose -v - 9 = -4*b, 0 = -3*b - 5*v + 1. Suppose -b*o + 3*p = -101, 0 = -0*o - 2*o + 5*p + 111. Let h = o + -37. Is h at least as big as 8?
False
Let j be (-33 - 390/(-26)) + -13773. Is j bigger than