 45*h - 54*h = s. Which is bigger: h or -6?
h
Let i be (-100)/(-30)*(-79)/(-24095). Suppose -13 = -5*f + 3*y + y, -3*f - 5*y - 7 = 0. Is f not equal to i?
True
Suppose 54 = 10*v - 16. Suppose -2*f + 0*f = 5*p - 29, 0 = -5*p + 4*f + 17. Suppose 5*b = -4*u + 9, 3*u - v*u + p*b - 41 = 0. Which is smaller: -25/8 or u?
u
Let a be (-1824608)/684 + (12/(-27))/1. Which is bigger: -2667 or a?
-2667
Let m = -67/15 - -24/5. Let b = -68.4 - -16.4. Which is bigger: b or m?
m
Suppose -46 = n - 3*r, 4*n - 3*n = -3*r - 22. Let l(g) = g**2 + 5*g + 4. Let s be l(-7). Let w = s + -51. Which is smaller: w or n?
n
Suppose 9 = 6*h - 45. Let t be (1/(-40))/(9/h). Suppose 2*n = -0*n - 5*k + 5, -3*n + 4 = 4*k. Which is smaller: n or t?
t
Let u be 1*20/340*17. Is u > -24/827?
True
Let o = -0.02851 - 20.82149. Which is bigger: -2 or o?
-2
Let n = -5653 - -6026. Is n at most as big as 351?
False
Suppose -4*m + 0*y - 2*y = 0, 2*m - 2*y = 0. Which is smaller: m or -6/1937?
-6/1937
Let m(z) = -250*z - 646. Let h be m(-2). Suppose -12 = -4*d, 450 = -2*s - s + 5*d. Is s > h?
True
Let n = -17944 - -17632.68. Let w = n + 308. Which is bigger: w or -1/3?
-1/3
Let a = 184.493 - 184. Let x = a + 71.507. Which is bigger: 1 or x?
x
Let m = -7 - -11. Let d = 40 - 55. Let k be d/m - (-15)/20. Is k less than or equal to -2/5?
True
Let m = -950 + 938.59. Let r = m - -12.1. Let j = -8.69 + r. Which is bigger: -3 or j?
-3
Suppose 9*w = -18*w - 11313. Let a = 417 + w. Does a = -6?
False
Let i = 541 - 5964/11. Let b = 205/99 + i. Is 1 less than b?
False
Let i be (-6 - -11 - 85/15)*-15. Let b be (i/(-4) + 1995/810)/1. Which is bigger: b or -1?
b
Let v = -0.9208 + -55.3092. Let a = v - 0.77. Let m = 57.1 + a. Which is greater: m or -30?
m
Let k(h) = -21*h**2 - h. Let b be k(1). Let c be (-928)/b + (-4)/22. Suppose -2*a + c = -30. Is a less than or equal to 35?
False
Let y be (2 + (-3 - -4))*20/(-21). Let h(r) = -2*r**3 - 10*r**2 - 9*r - 7. Let w be h(-6). Let q be (-391)/w + 2/7. Which is smaller: y or q?
q
Let r(c) = 23*c**3 - 5*c**2 + 3*c + 9. Let l be r(-2). Let n = l + 204. Do n and 33/14 have the same value?
False
Let d be 7196/(-6055) - 54/(-45). Let o = -2397600248/224035 + 374568/35. Let g = d + o. Are -1/2 and g equal?
False
Let f = 3687 + -6953. Which is bigger: -3270 or f?
f
Suppose -32 = -51*v + 43*v. Let s be (-135)/1539*6/v*1. Which is smaller: 1 or s?
s
Let t = 2329.7 - 2224. Let c = 72 - t. Let d = c + 34. Is d greater than -6/11?
True
Let n(b) = -135*b - 105. Let r be n(-1). Let c = 35 - 26. Let u = 20 + c. Is u greater than r?
False
Let z(l) = 7 - 3*l - 3 - 43*l**2 + 1 + 44*l**2. Let d be z(0). Suppose 166 + 105 = d*g + 2*s, -5*s - 38 = -g. Which is smaller: g or 54?
g
Let j = 53315 - 53339. Let x = 13 - 20. Which is smaller: x or j?
j
Suppose 24816 = 5*r + l - 29398, -4*r - 3*l + 43380 = 0. Is 10842 at most r?
True
Let b = -1022 + 1021.6. Is 731 smaller than b?
False
Let o = -3 + 2. Let n(q) = 25*q + 5. Let f be n(5). Let w be 135/f*4/(-3). Which is smaller: o or w?
w
Suppose 0*g + m = g + 1, 2*g - 3*m = -5. Let c = 88 - 80. Let l be (-1)/(-2 - c/(-20)). Which is bigger: g or l?
g
Let f(l) = -9 + 30 + 20*l - 16. Let b be f(-2). Let r be (-15)/b - (-143)/(-7). Which is greater: r or -41/2?
r
Let n = 724 + -499. Suppose 5*k = -5*l - n, -k = -5*k - 2*l - 174. Which is smaller: -3 or k?
k
Let q(b) = b**2 - 5*b + 4. Let w be q(3). Let x = -120220/9 + 13343. Let z = x - -13. Which is smaller: w or z?
w
Let b be ((-912)/(-132) - 7) + 651416/597212 + -1. Are b and 0 non-equal?
True
Let g(s) = -7*s**2 - 17*s + 21. Let k(u) = -16*u**2 - 32*u + 41. Let w(a) = 7*g(a) - 3*k(a). Let d be w(-22). Which is bigger: 48 or d?
48
Let g = -13 + 13.034. Let j be -1 - -5 - (-5 - -8). Is g equal to j?
False
Let q be (-21234)/(-45) + 5/(300/8). Suppose -4*z = f - 6*f + q, 5*z = 4*f - 590. Which is greater: z or -117?
-117
Let r = -5218 + 5222. Is 30 equal to r?
False
Let w(t) = 126*t + 3780. Let q be w(-30). Which is smaller: -1/32 or q?
-1/32
Let y = 1/12315 - -247285/2463. Which is bigger: 100 or y?
y
Suppose 39 = -3*q + 33. Let b = 6 + q. Suppose b*t = 2*t. Is t at least 3?
False
Let x = 95.36 + -95. Suppose 2*d - 5*d = 132. Let v = 43 + d. Is x greater than v?
True
Suppose -2*n - 658 = -p, -197*n + 202*n = -2*p - 1636. Which is smaller: -1317/4 or n?
-1317/4
Let s = 70 + -175. Let j = 321 - 216. Let v = s + j. Which is greater: v or -3.1?
v
Let w(q) = q**3 + 10*q**2 + 8*q - 3. Let k be w(-9). Suppose -3*y = -3*g + k*g - 18, -4*g = -16. Let o be ((-8)/30)/((56/126)/(-2)). Which is bigger: y or o?
y
Let i = 6954 + -7219. Which is smaller: i or -0.026?
i
Let l = 4973/165 - 151/5. Let v(m) be the first derivative of 2*m**3 - 2*m**2 - m + 65. Let r be v(1). Which is bigger: r or l?
r
Let i = 2.8 + -1.8. Let u = -14 + i. Let y = u + 12.9. Which is smaller: y or -4/5?
-4/5
Suppose -2*r + 8 = 276. Let u(l) = -l**3 - 18*l**2 + 9*l + 66. Let p be u(-18). Let b = r - p. Is -38 < b?
False
Let v be 3 - 7902/(-954) - -6. Is 17 at least as big as v?
False
Let q = -3.96 + 4.5. Let c = -46.46 - q. Let m = c - -42. Is m greater than 1/4?
False
Let a be (10 + (-105472)/(-144))*-3. Which is greater: -2228 or a?
a
Suppose 0 = -8*h - 129657 - 6887. Let y be h/714 + (-4)/42. Let n = 29 + -28. Is n <= y?
False
Let a = 54 - 10. Let h = 80 - a. Let i = 35.9 - h. Is i smaller than 18?
True
Suppose 93*t = -84*t + 196*t - 57. Is t less than 129/29?
True
Suppose -9*g + 11*g - 3*c - 353 = 0, -2*c = -g + 174. Suppose 0 = 3*v + 5*b + g, 3*v + 0*b = -b - 176. Is v < -60?
False
Let v = -4 + 3. Let d = 6728.95 - 6964. Let r = -235 - d. Are r and v equal?
False
Let t be 6/((-13)/6 + 3 + -1). Let x = -21 - t. Let j be (-9)/x - (-1)/(10/96). Which is smaller: 10 or j?
j
Let f = -14261 - -41188. Is 26928 greater than f?
True
Let b = 14 - 13.93. Let y = -293054.1 - -293053. Is y != b?
True
Let r = -68.3 + -299.7. Let u = r - -436. Is u greater than 1?
True
Suppose -59*i - 202*i + 65519 + 19567 = 0. Which is bigger: -1/5 or i?
i
Let w = -7 - 33. Let d = 12847 + -51387/4. Are d and w non-equal?
True
Let r = 37 + -45. Let v(f) = 3*f**2 + 5 + 2*f**2 + 7*f - 3*f**2 - f**2. Let y be v(r). Which is bigger: 14 or y?
14
Let x be (-11)/(187/(-24)) + 0. Let k(w) = -w**2 + 11*w + 62. Let m be k(-4). Which is bigger: m or x?
m
Let h(l) = l**3 - 3*l**2 + 4*l - 31. Let o(b) = 16*b + 212. Let c be o(-13). Let g be h(c). Which is smaller: g or -1/10?
-1/10
Let v be -21 - (6 + -3)/3. Let x be 8/((-68)/v - 3). Let g = x - 96. Is -8 at most as big as g?
True
Let p = -204 + 2238/11. Let n(k) = -k + 3. Let a be n(3). Which is smaller: a or p?
p
Let v be 3/(-2) + 135/(-2). Let i be 66/v + -2 + 3. Let x be (1 + (-3 + 14/4)*-1)*0. Are i and x unequal?
True
Suppose -d + 26 = -18. Suppose -42*t - 20 = -d*t. Which is smaller: t or -0.04?
-0.04
Let b(a) = -a**3 + 8*a**2 + 80*a - 455. Let x be b(25). Are x and -9082 nonequal?
True
Let y be ((-15)/(-20))/(-3) + (-26)/(-8). Suppose -y*j - 582 = -5*u, -3*j - 3*u - 606 = -0*j. Do -199 and j have different values?
False
Let z be (-2)/(-5) + 23/5 - 7643952/1501908. Is z not equal to -1?
True
Let b be 3270/13348*5/(-540). Let v = 1/2556 - b. Which is smaller: v or 1?
v
Let r = -38 - -39. Is r not equal to 584?
True
Let v = -209 + 208.9658. Let f = v - 1.5058. Is -0.2 bigger than f?
True
Let n(d) = -d**3 + 2*d**2 - 174*d + 348. Let o be n(2). Is 6/6029 >= o?
True
Suppose -28*q + 5 = -27*q. Let d = -0.8 + 1.2. Let f = d + -0.5. Is q not equal to f?
True
Suppose -890*q + 865*q + 71150 = 0. Which is smaller: 2843 or q?
2843
Let q = -0.394 + -27.206. Let d = q - -27.8. Let h be 1/2 - 45/66. Do h and d have the same value?
False
Let r = -29065 - -29064. Which is greater: r or 29/396?
29/396
Let v = -1033 + 939. Is v at most as big as 8/3?
True
Suppose -19*t = 22*t + 9*t. Which is smaller: t or -9/164?
-9/164
Suppose 4*q - 2*q + 14 = 0. Let j = q + 6. Let u = 4137 - 430249/104. Which is bigger: u or j?
u
Suppose 0 = 4*v - 106 + 2. Let s be (-57785)/v*(-4)/834. Let j = s + 1/139. Is 12 bigger than j?
True
Let j = 11.4692 + 0.0108. Let h = -2.66 - -2.18. Let k = j + h. Which is smaller: k or -2?
-2
Suppose 45 = -65*d + 10*d - 10. Is -3/7 at least as big as d?
True
Let r(g) = -g - 8. Suppose 0 = 5*w - 4*q - 14 - 9, -3*q = 6. 