 -28.5282. Let q = -5.1718 + h. Is 0.4 < q?
False
Let i(t) = -3*t**3 - 18*t**2 + 11*t + 51. Let r be i(-4). Suppose -a - 95 = 2*y - 4*y, -5*a - 3*y - 423 = 0. Which is smaller: a or r?
r
Let z = 6843 - 6843. Let s = 912/1819 + -9/17. Which is smaller: s or z?
s
Suppose 0 = -f - 9 + 11. Let l be (-584)/f - (1 + -5). Do -288 and l have the same value?
True
Let l(z) = z**3 - 5*z**2 + 10. Let b be (-1)/(-1) - 4/8*-8. Let u be l(b). Let a be (-3 + 90/33)/((-3)/u). Is 0 at least as big as a?
False
Suppose 8 = 3*x + 2*k, 659*x = 664*x - 3*k + 12. Is 9307 bigger than x?
True
Let o = -5372474 - -37676799/7. Let p = -9905 + o. Is 21 at most as big as p?
False
Let y = 21128/9 - 12782134/5445. Is 0 bigger than y?
False
Let a = -6026 - -6022. Which is bigger: a or -14/31?
-14/31
Let q = 3227 + -1617. Suppose 0 = -51*n + 41*n + q. Which is smaller: n or 160?
160
Let m = 9.1 + 4.2. Let j = -8.4 + m. Which is smaller: -0.1 or j?
-0.1
Suppose -611 = -13*a + 351. Suppose q + 210 = -82. Let o be (-4*4/(-32))/((-2)/q). Do o and a have the same value?
False
Let r = 853 + -854. Which is greater: r or -64/113?
-64/113
Let s = 235.9 + -247. Let o = -215.155 + 215.355. Which is greater: o or s?
o
Suppose 0 = -3*g - 2*y - 2, -16 = -12*g + 17*g - 3*y. Which is smaller: -29/48 or g?
g
Suppose -3*s = -6*s - 30. Let f = -89.62 + -0.38. Let b = f + 88. Is s >= b?
False
Let i(u) = 2*u**3 + 41*u**2 - 35*u - 1. Let q(y) = y**3 + 21*y**2 - 17*y - 1. Let m(f) = 3*i(f) - 5*q(f). Let g be m(-19). Which is smaller: -5 or g?
-5
Suppose -261*w + 9 = 4*p - 264*w, -p - 4*w = 12. Let j = 78 + -76. Which is smaller: p or j?
p
Let p(l) = 186*l + 2975. Let r be p(-16). Which is bigger: -2/297 or r?
-2/297
Suppose -5*v = 4*s - 1977, 797 = 4*v - 2*s - 795. Let d = v + -233. Is 164 > d?
False
Let y = 3/8974 + 8387/28600138. Which is smaller: y or 1?
y
Let h(r) = -65*r - 17. Let p be h(3). Let z = p + 255. Which is bigger: z or 42?
z
Let f = -947.7 - -1212.6. Is f smaller than 0.1?
False
Suppose x - 12 = 67. Let h = 191 - x. Is 111 < h?
True
Suppose -16 = -4*s - 0*s - 5*u, -3*u + 12 = 0. Let v be 10 - (-165 - -13) - (s - 0). Which is bigger: v or 0?
v
Let v = -16074 + 16065. Let u = 7 + -12. Which is smaller: u or v?
v
Let a be (-41382)/32193 - (-243)/189. Are 1 and a non-equal?
True
Let b(s) = 8*s + 8 - 22 + 19 - 28. Let q be b(3). Which is greater: q or 2/829?
q
Suppose 3*j = -5*w - 39085, -5*j + 1202 + 22215 = -3*w. Is -7814 < w?
False
Let z = -3098 - -3098. Are 18/13 and z equal?
False
Suppose -7*h + 31 = 10. Suppose 5 = -h*d + 20. Let o be (-5 - (-10)/d) + 3. Is o <= -4/43?
False
Let d = -395 + 392.9. Which is smaller: d or 2/1059?
d
Let r = -407717/165 - -2471. Let n be (-10664)/602 + 4/(-14). Let s be 3 + 1 + (-21 - n). Which is bigger: s or r?
s
Let h = -5614 - -5519. Is -102 > h?
False
Let v = 4305 - 4306. Are 12/115 and v unequal?
True
Let k = 0.01041 + 52.98959. Is 3/43 equal to k?
False
Suppose 291*i + 2*b + 11 = 296*i, 4*i - 4*b - 16 = 0. Let v be (-4)/14*(-7)/(-301). Which is smaller: v or i?
v
Let j = 3.01 + -0.01. Let p(x) = 3*x**2 - 155*x + 1690. Let k be p(36). Which is smaller: k or j?
k
Let f be 22*(13 - (-522)/(-36)). Is f smaller than 44?
True
Let y be 5/10*-8 - -141. Suppose -3*n - 49 - y = 0. Let x = -105 - n. Are x and -43 equal?
True
Let h = 193/862 - 3286803/14687618. Is h <= 1?
True
Let p(w) = -10*w**3 - 5*w**2 + 10*w + 39. Let h be p(-7). Is h >= 3154?
True
Let p = -12.29 + -53.81. Let c = 68 + p. Let s = 4.9 - c. Is s bigger than 9?
False
Suppose 0 = -16*f + 14*f + 2. Let y be (3 - -4) + (3 - f) + -4. Suppose -y*h + 2 = -4*m, -3*m + 2*m = -2*h - 1. Is -12/23 at most h?
False
Let p = -16660.6874 + 16658. Let q = p + 0.0274. Which is smaller: q or 0.1?
q
Suppose -183680 = 6*u - 4*u. Let r be (-36596)/u + (21/(-15) - -1). Which is greater: r or 1?
1
Let r(t) = 7*t**2 + 43*t + 30. Let j be r(-10). Let z be (1/3)/((-50)/j). Is -35/24 greater than z?
True
Let f(u) be the second derivative of -17*u**3/6 - 14*u**2 + 10*u + 4. Let n be f(0). Is n not equal to -28?
False
Let x be (7 - -43)/((-64)/2550). Let j = x - -1993. Let z = 553/720 - j. Is 0 at most as big as z?
False
Let h be (28/70)/(1/(-20)*53). Let y = 162/371 + h. Which is greater: 59 or y?
59
Let k be -531*((-272)/(-24) + -13). Is k > 886?
False
Let l be 10/(-16) + (-5306)/(-7056). Which is smaller: l or -1?
-1
Suppose -6*l + l = 5*d, 2*d = -5*l. Suppose l = 4*y + y + 5*s - 30, -5*y = -5*s. Suppose -y*h = -p + 20, -3*p + 0*h + 38 = 2*h. Is 1 at least as big as p?
False
Let g be 1071/(-272) + (-14)/224. Is 392 at most g?
False
Let o(y) = -2*y**3 - 244*y**2 + 257*y + 1363. Let q be o(-123). Let t = 95 + -64. Which is bigger: q or t?
t
Let q = -4246 - -3444. Which is smaller: -799 or q?
q
Let b be ((-136)/(-20))/(9/(-2340)*-13). Which is smaller: 122 or b?
122
Let m = -228.076 + 0.076. Let w = m + 225. Is -10 greater than or equal to w?
False
Suppose 3*v - 7 = 8. Let g = 4192 - 4192.9. Is v < g?
False
Let t = -26953 + 26952. Is 1/6955 greater than or equal to t?
True
Let o(z) = z**2 - 78*z + 687. Let g be o(9). Does 29 = g?
False
Suppose 3*y - 98 = 2*g, -56 = -3*y - 30*g + 26*g. Which is greater: -6 or y?
y
Let p = -338.73 + 350.73. Is p greater than or equal to 347?
False
Suppose 14 = -2*w - 4. Let r(h) = -h**3 - 6*h**2 + 25*h - 19. Let a be r(w). Is a >= -4?
True
Let r = -3.818 - -3.818. Which is smaller: 1004 or r?
r
Let d(g) = -g**2 - 25*g + 26. Let z be d(-16). Suppose 0 = 3*t + 5*h - 517, 2*t - 315 = -3*h + 29. Is z != t?
True
Let o = 841 - 841.914. Let l = o - -0.77. Let m = l - -0.244. Which is greater: -5.7 or m?
m
Suppose 3*b + 11 - 29 = 0. Let t be b + 84/(-15) + (-54)/10. Which is greater: t or 10?
10
Let t = -23.72 - 115.25. Let h = 138.996 + 0.004. Let o = h + t. Which is smaller: o or 5?
o
Suppose -3*z + 2*z - 3*z = 0. Suppose c - 2*a - 7 = z, -a - 9 = 3*c - 2. Let w = -487/66 - -61/11. Which is greater: c or w?
c
Suppose -21*y - 13746 = 46561 + 54731. Which is smaller: -1 or y?
y
Let m = -25.138 - -36.525. Which is smaller: 2/3 or m?
2/3
Suppose 5*j + 200 = -4*a, j + 3*j - 16 = 0. Suppose 12 = -4*d, 3*d = 4*u - d - 24. Suppose 8*c + u*c + 605 = 0. Is c < a?
False
Suppose -15*n = -3*n + 960. Let c be ((-3)/(-4))/((-75)/n). Let h = -11 + 12. Which is greater: h or c?
h
Let c = 0.8 + -1. Let r = -0.644 + 0.6185. Let j = r + -16.9745. Which is greater: c or j?
c
Let l be (-131)/3 + 3 + 2/(-6). Let t = 50 + l. Let m(g) = 30*g - 25. Let j be m(1). Which is smaller: j or t?
j
Let j = -494.523 + 494. Let r = -0.823 - j. Which is greater: -60 or r?
r
Let m = 62.046 + -0.046. Let f = 164 + -226.1. Let u = m + f. Which is greater: u or -6?
u
Let y = 2 + 6. Suppose 6*f = y*f - 114. Let w = f + -52. Which is bigger: 6 or w?
6
Let s = -189 + 197. Suppose 29*x + 16687 = -s*x. Is -451 <= x?
True
Suppose -11*f - 29*f = -32*f - 2000. Is 240 greater than f?
False
Let g be 1 - -1*(-293)/55. Let x = -9596 + 47998/5. Let z = g + x. Which is greater: -1 or z?
z
Let s = -3.065 + 3.05. Which is bigger: s or -24/5?
s
Suppose -h + n + 5 = 0, -n + 19 = 5*h - 4*n. Suppose 0*o + 5*o = -5*s - 20, 5*s = -h*o - 20. Let v be (s/(-8))/((-1)/16). Is v greater than -6?
False
Suppose 22*q + 3894 = 5302. Is 66 < q?
False
Let b be 1616/(-5) + -3 + 11/(495/(-36)). Is -304 bigger than b?
True
Let z(k) be the third derivative of 5*k**4/12 - 43*k**3/3 + k**2 - 2*k. Let i be z(8). Let b(d) = 10*d + 2. Let o be b(-1). Is o at most as big as i?
True
Suppose 0 = -14*q - 81*q - 190. Which is smaller: q or -52/21?
-52/21
Let n = -1260 + 1222. Let c = -9.9 + -30.1. Let o = n - c. Which is bigger: 0.06 or o?
o
Let a be (-3)/(2/2) - -13. Suppose 0 = 9*l - 12*l - 2*u - 4, -4*l - a = 5*u. Let v = 38759/51 + -760. Which is greater: l or v?
l
Let l = 2040 + -1951. Which is greater: 81 or l?
l
Let o be 4221/(-11970) - (-1)/19. Let c be 1/2 + 2/(-4). Which is smaller: c or o?
o
Let h = 4 + -5. Let x be (27/(-15))/((-27)/15 - -2). Let n be 0 - (-10)/136 - x/(-36). Do h and n have the same value?
False
Suppose -143 = o - 5*k, 3*o - k - 297 = 5*o. Suppose -5*z + 25 = 0, 615 = -5*n + 4*z - 140. Which is greater: n or o?
n
Let t be 3 + (-114)/(-3)*11. Let o be 4186/5*(-3)/6. Let i = o + t. Which is bigger: 3 or i?
3
Suppose 495 = 6*t - 183. Let s = 162 - t.