1919. Is 384 bigger than h?
True
Let n be 0 + (-34)/10 + (-48)/80. Let z(q) = 4*q - 3. Let w(x) = 5*x - 3. Let f(r) = 5*w(r) - 6*z(r). Let s be f(n). Which is bigger: s or -1/9?
-1/9
Let u = -240.6 + 240.76. Is -0.62 < u?
True
Let l(o) = 12*o + 37. Let a be l(-3). Which is greater: 4/101 or a?
a
Let a be (-22 - 31)*(4 + -6). Which is bigger: a or 107?
107
Let v = -1.001 - -0.901. Let s be ((-5)/35)/(1/3). Which is greater: s or v?
v
Let b = 1651/18537 + -4/501. Is 0 at least b?
False
Let i = 10 + -11. Let y = 1 + i. Suppose -3*g - 4*b = -11, y = -3*g + b - 0*b - 14. Is g greater than -5?
True
Suppose -3*v + 2*v = 2*i - 11, -i = 3*v - 13. Let c be i + (-7)/((-14)/(-8)). Is c less than 9?
True
Suppose -4*z - 6 = -5*z. Let x be 2*(5 + (-28)/8). Suppose 4*n = q + q + 2, 4*q - x*n - 1 = 0. Which is bigger: q or z?
z
Suppose 0 = -q - 0*q + 5. Let j = 15 - q. Let y(x) = -x + 5. Let h be y(-5). Are j and h equal?
True
Suppose n - 3*b = -162, -5*n - 2*b = -0*b + 759. Which is greater: 3 or n?
3
Let b be (-1)/(18/(-12)*4/18). Let i(z) = z**3 - z**2 + 2*z + 1. Let n be i(2). Let o be (1 - 0)*n/6. Which is smaller: b or o?
o
Suppose 16*w - 56 = 1016. Suppose p + w = 62. Which is smaller: -4 or p?
p
Let s = 6 - 9. Let p be 15 - 2/(((-27)/(-6))/9). Is s equal to p?
False
Suppose -4*a + 3*a = -p + 25, -p + 45 = -5*a. Suppose 4*q = -3*t + p - 0, -52 = -5*q + 3*t. Suppose q*o = 7*o + 2. Is o greater than -0.2?
True
Suppose 0 = 15*t - 13*t - 140. Is 70 less than or equal to t?
True
Let b(o) = -o - 6. Let z be b(-9). Suppose 2*x = -y + 3*x + 5, 0 = z*y - 5*x - 19. Is y less than or equal to -2?
False
Let k = -2/79 - -253/632. Suppose 4*u - 95 = 5*l, 5*l + 0*u = -u - 95. Let f = l - -37/2. Is f equal to k?
False
Let m = 63/935 + 2/85. Suppose -24 = n + n. Let h be -2 - (0 + 27/n). Does m = h?
False
Let x(y) = y**3 + 49*y**2 - 101*y + 40. Let n be x(-51). Suppose 2*i + 10 = -5*d + 24, -d + 4*i = 6. Let a be d/(-7) - 68/7. Which is smaller: n or a?
n
Let h = -117 - -118. Let d = -166 - -1160/7. Which is smaller: d or h?
d
Let c = -35/37 - -4622/4847. Is c equal to 1?
False
Let y be (0 + -2 - -6) + 64/(-32). Let x(v) be the third derivative of v**4/24 - v**3/3 - 2*v**2. Let i be x(2). Which is greater: y or i?
y
Let a = -0.13 - 3.87. Let p = -26 + 26. Are a and p unequal?
True
Let s = -1625/3 - -4441/9. Which is greater: -49 or s?
s
Let q = 603 + -1810/3. Which is smaller: q or 133?
q
Let c(h) = 10*h - 52. Let x be c(5). Is 11 at most as big as x?
False
Let o = -107737/16920 - -290/47. Let g = -1/40 + o. Let z = 0 + -0.1. Is z at least g?
True
Suppose 3*z + 2*z - 2*q + 60 = 0, 3*q - 15 = 0. Let v = -9 + 18. Let a = v - 9. Is z equal to a?
False
Let s be -902 - (3 - (9 + -2)). Is -898 greater than s?
False
Let m = 23 - 14. Let x(o) = -o**3 + 8*o**2 + 8*o + 11. Let f be x(m). Is 7/3 at least as big as f?
True
Let a be (27/45)/(1/15). Let l = 8 - a. Let s = -123 + 1233/10. Are l and s nonequal?
True
Let o = 514 + -605. Which is greater: -84 or o?
-84
Let o(t) = 7*t**2 - 7*t + 5. Let u(l) = l**2 + 1. Let q(b) = o(b) - 6*u(b). Let d be q(8). Let h be -1 - d/(63/(-30)). Which is greater: -2/3 or h?
h
Let j = 269 + -455. Let u = j + 123. Which is bigger: u or -62?
-62
Let a = 8 + -7.9. Let c = 0.052 + 10.348. Let j = 2.4 - c. Which is bigger: a or j?
a
Let i be (2 - (-4)/(-3)) + (-4368)/6516. Let s = i + -901/1086. Is s >= -2?
True
Let y(q) = q**3 - 3*q**2 + q + 3. Let h be y(3). Suppose -z - 5*z = -h. Which is bigger: z or 2/125?
z
Let f be 2/15*(-2 + 7). Let q = -4/3 + f. Let y be 1*(44/88)/(10/(-4)). Is q smaller than y?
True
Suppose 3*u = 3*n + 7*u - 34, -5*n - 2*u = -66. Which is smaller: n or 152/11?
152/11
Let c be (52/10)/((-788)/(-260) + -3). Is c < 168?
False
Let m = -4 - -12. Let a = -6 + m. Suppose -5*k + a = -3. Is k greater than 1?
False
Let m = 5.02 - 3.02. Which is bigger: m or -4/21?
m
Let x = 324 - 324. Which is smaller: x or 9?
x
Let v(n) = -5*n + 3. Let y(z) = -5*z + 4. Let b(l) = -4*v(l) + 3*y(l). Let j be b(4). Are j and 19 nonequal?
True
Suppose 2*g + 30 = 50. Let n be -2*16/g + -2 + 5. Which is greater: -4 or n?
n
Let y = 44 + -39.7. Let u = 1.7 + y. Which is greater: u or -3/2?
u
Let k = 989836 - 8899255/9. Let a = 515 + 516. Let z = k - a. Is 0 at least z?
True
Let m = -70 - 22. Let p = m - -92.2. Let d = 0.1 - 0.2. Is p equal to d?
False
Let t be -2*(-5)/((-50)/(-165)). Is t > 38?
False
Suppose -11*j = -9*j. Suppose 6*d + 8 - 20 = j. Is d greater than or equal to 4/7?
True
Suppose -35 + 88 = -5*u - 3*k, 5*k + 5 = 0. Let z be (6/(-15))/((-2)/u). Let y be ((-25)/10)/(1/z). Which is smaller: 3 or y?
3
Suppose -29*i + 31 = 2. Which is greater: i or -1/230?
i
Let s be 8 + (55/(-1) - 3). Which is greater: -54 or s?
s
Let l be 2*(-1)/(-308)*4. Let b(k) = 3*k + 79. Let n be b(-25). Let w be ((-6)/9)/(n/6). Which is smaller: w or l?
w
Suppose -2*a + 2 + 4 = 0. Suppose 0 = -a*h + 911 + 34. Let g be (-171)/h - (-3)/5. Is g bigger than 0?
True
Let k be -2 - (1421/(-497) + 1). Does 1 = k?
False
Suppose -4*x - 17 - 11 = 0. Suppose n - 39 + 1 = 3*r, -4*n - 5*r + 67 = 0. Let p = n - 30. Is p bigger than x?
False
Let a = -287.3 + 287. Is -11.8 at least as big as a?
False
Let b(v) = -v**3 + 12*v**2 - 27*v - 7. Let h be b(8). Is -3 less than h?
True
Suppose 3*p - 1 = 2*k - 5, p + 16 = -3*k. Let l(s) = 4*s + 10. Suppose -4*t + 24 = 36. Let b be l(t). Are p and b equal?
False
Let p = 9 + -7.1. Let q = p - 2.3. Is q greater than -5?
True
Let b = -0.92 + 1. Let h be (2/5)/(8/20). Let d be (164/(-205))/(h + (-3)/5). Which is smaller: b or d?
d
Suppose 35*z = 39*z - 12. Let j = 3 + -1. Suppose f + 4 = -5*b, j*f - 4*b = -z*f + 9. Is f <= 4/5?
False
Let i = 3 - 4. Let o = 306 + -544. Let f = o + 238.06. Is i >= f?
False
Let o be 1 - (3 + -3 - 4). Suppose -3*s - o = -26. Is s at most 7?
True
Suppose -21*r = -17*r - 20. Suppose -3*c + 12 = 0, r*q + 2*c - 17 = -c. Which is smaller: 6 or q?
q
Suppose -4*t - 3 = m, m + 5*t + 0*t = -5. Suppose 0 = -a + 1, m*a - a = 4*h. Is 4 not equal to h?
True
Let h = -3 + 3.2. Suppose -26 = 3*k - 5*r, -r - 34 - 16 = 4*k. Let m = k + 83/7. Which is greater: h or m?
h
Let h(q) = -5*q**2 + 2*q - 1. Let y be h(1). Let n be -3 + (y - -14 - 0). Which is smaller: n or 5?
5
Suppose 0 = 2*y + 2 - 6. Let c be (-6)/y - (3 - 3). Let f = 1.8 + 1.2. Which is smaller: f or c?
c
Suppose -10*k + 12*k = -4. Let f be (-62)/(-17) + k + -2. Are f and 0 non-equal?
True
Suppose -47*r + 19*r + 448 = 0. Is r >= 192/13?
True
Let x = 45 + -29. Let l = 8 - x. Is l greater than 2?
False
Let i = -28 + 36. Let w be 6/(-24) + (2/i - 1). Which is greater: 2/39 or w?
2/39
Let o = -168 + 9. Let a = 159.126 + o. Which is smaller: 0.1 or a?
0.1
Let w be ((-5)/(-45)*9)/1. Which is smaller: -1/286 or w?
-1/286
Suppose 2 = 5*i + 152. Let c = 52 + i. Is c != 23?
True
Suppose 4*l - 4*w = -16, 4*l - 5*w = -0*l - 16. Let f be (-28)/24*l/7. Which is greater: 2.1 or f?
2.1
Let f be (670/536)/((-115)/(-24)). Suppose 0 + 1 = -t. Which is smaller: f or t?
t
Let i = 0.056 - 0.056. Are i and -60 equal?
False
Let c = -102 - -72. Let a = 31 + c. Let j = -3 - -4. Are a and j unequal?
False
Let l be 1 + 30/(-150) + (-752)/(-10). Which is smaller: 77 or l?
l
Let u = -146616/148841 - 54/1933. Which is greater: 0 or u?
0
Let g be 380/(-42) - 4/14. Let y = g - -65/6. Let t = 2.9 + -0.9. Which is bigger: t or y?
t
Let p(d) = d**3 - 5*d**2 - 16*d + 16. Let v be p(7). Is 24/37 equal to v?
False
Let l be (62/8)/((-14)/8 - -2). Suppose 26*s = l*s + 5. Which is greater: s or 3/13?
3/13
Let z(g) = 5*g**2 + 3*g - 2. Suppose -3*r = 1 - 4. Let c be z(r). Is 5 less than c?
True
Let s(p) = p - 7. Let i = -13 - -24. Let r be s(i). Suppose 0*b = -5*v + b + 22, -2*b - 16 = -3*v. Is r at least v?
True
Suppose 2*c + 0 = 5*r - 7, 4*r - 28 = -4*c. Suppose 2*n - r*n = -5. Are 9 and n non-equal?
True
Let n = -5891/1005 + 88/15. Are 1 and n nonequal?
True
Let n(q) = -q. Let v(l) = -13*l - 7. Let u(y) = -4*n(y) + v(y). Let d be u(-1). Are 11 and d equal?
False
Suppose 4*b - 3*m = 3*b + 8, -3*m = -3*b + 12. Suppose -32 = -b*s - 3*s - 4*q, -s - q + 6 = 0. Let f = 7 - s. Is f < 2?
True
Let p be 5 + 2 + (-1 - 2). Suppose -g = -2*o + 4, -g = -3*g - p*o - 32. Suppose 31*v - 134 = -257 - 218. Which is smaller: g or v?
v
Supp