. Is -33 at most n?
True
Let u be -4 - (-3)/((-6)/(-16)). Suppose -u*z - 8 = 0, -7*m + 2*m = -3*z - 106. Which is smaller: m or 21?
m
Let x = -6 + 4. Let i be (21/6)/((-1)/x). Suppose -3*z = 2*g - 13, 3*g - i*g - 5*z = -29. Is g <= 11?
True
Suppose 46*p - 40*p - 1200 = 0. Is 201 >= p?
True
Suppose -3*b = 2*z + 8, 0*z = -4*z + 3*b + 20. Let k be 45/10 - (-2)/(-4). Suppose -17 = -4*d + 5*u, -11 = -5*d - k*u - 0*u. Which is greater: d or z?
d
Let v be -11 + 14 - (1 + (-126)/3). Are 34 and v equal?
False
Let w be (4/(-10))/((-1)/4). Let m = -12 + 39. Let r = 29 - m. Which is smaller: w or r?
w
Suppose 3*f - 3*b + 6 = 0, 0 = 5*f - f - 2*b. Suppose q = -f*q - 243. Let v be (-18)/q + 61/9. Which is bigger: 6 or v?
v
Suppose 2*l = -4*i + 1164, 6*i + 1746 = 3*l + 9*i. Which is smaller: 581 or l?
581
Suppose -3*h = 2*s, 4*s - 3*h + 6*h = 0. Suppose -2*m = 2*u - 5*u, s = m + 3. Which is bigger: u or 7?
7
Let a = -4114 - -45299/11. Is 0 at most a?
True
Suppose 0*z = 6*z + 7*z. Let p = 130/9 - 874/63. Is p at least as big as z?
True
Let s = -57 - 22. Let r = 48 + s. Is -31 <= r?
True
Let j be (610/5)/(2/8). Let z be j/(-723) - (-16)/24. Let q = 279/4579 + z. Which is bigger: q or 0?
q
Suppose -q - 4*u - 3 = 0, -4*u - 6 + 9 = -q. Is q less than or equal to -6?
False
Suppose 5*x = 5*a + 300, -5*a - 5*x = -8*a - 178. Which is smaller: a or -60?
a
Let r be (1/(-5))/((-3)/75). Let c(z) be the first derivative of -3*z**2/2 - 3*z - 1. Let j be c(-3). Is j at least as big as r?
True
Let i = 29/9 + -661/180. Is 0 > i?
True
Suppose 0 = -17*t + 19*t - 14. Is t < 6?
False
Let g be (-15)/(-2) + (-111)/74. Which is greater: -1/5 or g?
g
Suppose -252 = 4*f - 32*f. Let r(d) = 2*d**2 + d - 2. Let o be r(2). Which is greater: o or f?
f
Let g be 2*4/8*3. Suppose 4 + 20 = g*v. Is 0 >= v?
False
Let y(q) = -3*q**2 + 69*q - 65. Let d be y(22). Is d equal to -1/511?
False
Let h(z) = 4*z + 10. Let a be h(-21). Is -74 > a?
False
Let b(o) = -5*o + 27. Let i be b(5). Suppose d + 1 = 0, 3*n + i*d - 8 = 8. Which is greater: n or 3?
n
Let x = -0.16 + -0.04. Let d = x - -0.18. Which is smaller: -3 or d?
-3
Let d = 105 - 73. Let n = d - 22. Let s = -27 + n. Is -17 less than or equal to s?
True
Let v = -2/165 - 52/4785. Is v at most -4?
False
Let w = -1.69 - 78.31. Let g = w - -83. Suppose 1 = 5*y - a, -2*y = -y - 2*a - 2. Which is smaller: g or y?
y
Let u = 0.0131 - -5.9869. Let w = 1.2 - 0.1. Let s = 0.1 - w. Which is smaller: u or s?
s
Let a = -7 - -21. Let j = 9 - a. Let h = -24 - -41/2. Is j < h?
True
Let w = 2068 - 10347/5. Which is smaller: w or 4/3?
w
Let r be 2/(-2) - (-7)/(-35). Let z be (1 + -3)*(-2)/(-4). Is r >= z?
False
Let w = 182 + -182.19. Are 1 and w nonequal?
True
Let q be -2 - -3 - -1 - (-2)/3. Let w be 18/(-81) - (-58)/18. Which is greater: q or w?
w
Let h = 2 - -1. Suppose 0 = a - 4, 8*p = 4*p + a - 20. Which is smaller: p or h?
p
Let q = -0.4 + -2. Do -0.2 and q have different values?
True
Let w(m) = -m**3 - 3*m**2 + 6*m + 8. Let k be w(-4). Let p(o) = -30*o**3 - 4*o**2 - 3*o - 1. Let i be p(-2). Let l = i + -4581/20. Is l >= k?
False
Let b(w) = 2*w**3 - 3*w**2 + 1. Let u be b(2). Let a = u - 1. Let g(l) = -l**3 + 4*l**2 + 3. Let i be g(a). Is -0.1 less than or equal to i?
True
Suppose -5*f - 22 = 4*x, 7*x - 2*x - f = -13. Let q be 16/(-234)*x/4. Which is greater: q or 0?
q
Let a = -84.8 + 102. Let k = a - 18. Which is greater: k or 2/5?
2/5
Suppose -4*j + 350 = -0*m + m, 1374 = 4*m + 3*j. Let p = -2398/7 + m. Is 0 at least as big as p?
True
Let p = -1 - -2. Let x be (-9 - -8)/(p/(-2)). Let i be x - (196/36 - 3). Which is smaller: i or 0?
i
Let d(n) = -n**2 + 16*n - 70. Let k be d(11). Is k bigger than -43/3?
False
Let z = -1 - 34. Let k = z - -51. Are -1 and k non-equal?
True
Let c = -132 - -131. Suppose a + 3 = 6. Is a at most c?
False
Let l be 15/(-30)*(137 + -3). Are l and -332/5 equal?
False
Let b be (1 - -3)*1558/(-152). Which is bigger: -38 or b?
-38
Let y(b) = -b + 3. Let p be y(-7). Let v = -21 + 0. Let f = v - -31. Is f <= p?
True
Let j = 2797/3 + -2198/3. Let m = j - 195. Suppose -13 - 3 = -4*d. Is d at least m?
False
Let p(v) = 2*v**3 + 8*v**2 + 9*v + 11. Let q be p(-5). Let x = q + 84. Is -1/8 at most as big as x?
True
Let h = 63 - 123. Let k be 26/3*h/(-40). Which is bigger: k or 72/5?
72/5
Let w be -6 - -5 - 1*1*-6. Suppose 4*t = -w*p - 20 - 14, 27 = -3*t - 3*p. Which is bigger: -1/7 or t?
-1/7
Let o be (-24)/(-21) + 1290/(-700). Which is greater: o or -2?
o
Suppose 5*q + 36 - 11 = 0, q + 10885 = -4*k. Which is bigger: -0.1 or k?
-0.1
Let o = -248 + 242.68. Let t = o + 1.02. Is 0.1 smaller than t?
False
Let f = -1307/6 + 649/3. Let b = -0.16 - -1.06. Do f and b have the same value?
False
Let u(f) = f**2 + f + 1. Let o be u(3). Suppose -230 + 48 = 14*s. Let a = s + o. Is a equal to 0?
True
Let s = 32 - 9. Let x = -21 + s. Which is smaller: x or -0.3?
-0.3
Let i be -2*30/14 - -4. Let r = 53.1 + -50. Let d = 3 - r. Which is smaller: d or i?
i
Let a(x) = x**2 + 6*x + 2. Let z be a(-6). Suppose -c + z - 1 = 0. Let g(m) = -5*m**3 + 2*m**2 - m. Let d be g(c). Is d greater than -4?
False
Suppose 4*m + 2*j = -32 - 42, 0 = -2*m - 4*j - 22. Which is greater: m or -23?
m
Let x be (-8)/(-84) - (-1 + 1). Let c = -87 + 87. Is c >= x?
False
Suppose -66*t + 3352 = -74*t. Is t greater than -420?
True
Let g = 49.08 - 0.08. Which is smaller: g or -2/9?
-2/9
Suppose 2*d + 135 = -3*q, 5*q - 4*d = -2*d - 225. Is q greater than or equal to -45?
True
Suppose -4*l + 3*j - 16 = 0, -4*j + 19 = -l - 2*l. Let a = 1652 - 163550/99. Which is smaller: l or a?
l
Let k = -12 - -14. Let g = 0 - 0. Suppose 0*y - k*y = 2*m - 12, g = -2*m + 8. Which is smaller: y or 4/3?
4/3
Suppose 60 = -8*c + 3*c. Let v be 2/3 + (-208)/c. Do 18 and v have the same value?
True
Let t(b) = -b**3 - 7*b**2 + 4*b - 2. Let q be t(-4). Suppose g = 10*x - 6*x + 265, -x = -2*g + 75. Which is greater: q or x?
x
Let p be (7/(-3))/(-7)*-42. Suppose 5*z = -59 - 11. Is p smaller than z?
False
Let i = -11 - -21. Let g = 297.9 + -298. Which is smaller: g or i?
g
Let h = -2/263 - -805/2104. Let l be 3 + 5 + (-3)/1. Let s be (-26)/(-65) - 2/l. Is s > h?
False
Let t(j) = j**2 + 16*j + 65. Let b be t(-9). Let a be 146/(-90) - -2*b/18. Which is greater: -5 or a?
a
Suppose 3*r - 2 = -29. Is -65/7 <= r?
True
Let l(t) = -3*t**3 - 2*t**2 + 1. Let n be l(-1). Suppose n*h - 4*x - 152 = 0, -2*h - 2*h + 304 = -x. Let r = 383/5 - h. Which is greater: 0 or r?
r
Let r = 150 - 150. Which is smaller: 9/16 or r?
r
Let d = -53 + 32. Let v be (-132)/117 - 14/d. Which is smaller: v or 0?
v
Let q = 1466/7 - 208. Let l = -2 + 1.9. Is q > l?
True
Let w(q) = q**3 + 4*q**2 - 16*q + 7. Let l be w(-7). Let g = l - -33. Is g less than or equal to 36/7?
True
Suppose -l = 2*z + 11, 0 = -l - 6*z + 2*z - 23. Suppose 6*n - 10 = -2*a + n, -3*a = 5*n - 10. Is l less than or equal to a?
False
Let k(h) = -2*h**2 + 5*h. Let y be k(4). Let i be ((-18)/8)/(9/y). Suppose -i*u + 9 = -f, -14 = f - 5*u + 1. Do f and 5/6 have the same value?
False
Suppose 5 = 5*g - 10. Suppose -g*v + 9 = -3. Suppose 5*a + v = -11. Is -3 smaller than a?
False
Let p be (-210)/280*(22/(-15) + 2). Is 2/957 smaller than p?
False
Let z = -1 + 0. Which is greater: 1 or z?
1
Let k = -73.063 - -73. Let c = k - -1.063. Let a = -9 - -25. Is c greater than or equal to a?
False
Suppose 4 = 2*g + 2. Let a be -3*4/12*(6 + -17). Which is bigger: g or a?
a
Let d = -2 + -11. Let i = 15 + d. Let n be 6 + i/(4 - 2). Which is smaller: n or 8?
n
Let m(l) = 2*l**2 + 14*l + 11. Let g be m(-6). Is 2/2283 < g?
False
Suppose -3*i - 50 + 350 = 0. Is i at most as big as 99?
False
Let l(y) = -3*y**2 - 9*y + 2. Let x(i) = 2*i**2 + 5*i - 1. Let s(m) = 3*l(m) + 5*x(m). Let p be s(1). Let k be (-5)/((-7)/1 + 1). Which is greater: k or p?
k
Let y be -7 + (3 + 79 - 5). Is y less than 69?
False
Let o be ((-52)/(-91))/((-2)/3). Which is smaller: o or 0?
o
Let c = -77.7 - -85. Let m = 5.8 - c. Is -1 less than or equal to m?
False
Let f = 1251 - 1314. Which is smaller: -49 or f?
f
Let i = 237/2 - 119. Suppose c - 8 = 5*c. Which is greater: c or i?
i
Suppose 1 + 2 = j. Suppose -7 = -k - 3*z, 4*k + 2*z - 4 = j*k. Which is bigger: k or 0.04?
0.04
Let s be 35366/55 - (-2)/11. Let f = s - 636. Is 0.2 greater than or equal t