482). Let x = d + -2/101. Let q = x + -3/8. Which is smaller: q or 0?
0
Let m = -227/3 + 75. Suppose -7 = -3*z + 20. Let y be (6/z)/((-2)/6). Is y < m?
True
Let m = -16 + 5. Let x be (-172)/(-22) - 2/m. Let n be 34/x + (-3)/12. Which is smaller: 2 or n?
2
Let n(i) = i**2 - 8*i + 7. Let x be n(7). Let s = -12 + 10.8. Let v = s + 2.2. Do x and v have different values?
True
Suppose -5*t = -t - 68. Suppose 41 = -4*o - i, -o + 2*i = 2*o + t. Let k = o - -10. Are 1 and k nonequal?
False
Let o = -10 - -9.7. Let k = -0.3 - -0.1. Let s = o - k. Is -0.1 at least as big as s?
True
Let o = -4 - 0. Let i be 10*-1*1/2. Is i less than o?
True
Let u = 7 + -22. Is u at least as big as 0?
False
Let j = -137/3 - -46. Which is smaller: j or 0.3?
0.3
Let p = -22 - -16.5. Let a = p + 5. Let t = a - -1.5. Is t at least as big as 0.4?
True
Let x be -2 + (-3 + -1 - 3*2). Is -12 <= x?
True
Let r be (34/(-8755))/(1*(-2)/10). Is r greater than 1?
False
Let h = 17 - 24. Is -5 at most h?
False
Suppose 4*r + 1 = 13. Suppose -r*d = 3*j - 19 - 11, -2*j - 4*d + 16 = 0. Let v = j + -17. Which is smaller: v or -6?
-6
Let n = 0 - -1. Let u(f) = f**3 + 5*f**2 + 4*f + 5. Let h be u(-4). Which is smaller: h or n?
n
Let h = 4 - 2. Suppose 2*v = i - 1, 2*i - h*v = v. Let p be (-1)/4 - i/(-4). Which is greater: -2 or p?
p
Let x be 1/((1 + -2)*7). Suppose 0 = -0*z + z + 1. Which is smaller: x or z?
z
Let n(r) = -5*r**3 + r**2 - 4. Let b(i) = 9*i**3 - 2*i**2 + 8. Let p(x) = -6*b(x) - 11*n(x). Let j be p(0). Which is smaller: j or -3?
j
Let j be (5 - 1) + (-3 - -1). Suppose 0 = -j*t - 0*t. Let d = 27 + -109/4. Which is bigger: t or d?
t
Let o = 3 - 2.8. Suppose -2*d + 2 = -2*t - 4*d, d = 3*t - 13. Let l be t/6 - 6/8. Which is greater: l or o?
o
Let t = 3 - -5. Which is smaller: 6 or t?
6
Let s = -48 + 27. Let d be (-461)/s + 2/(-3). Let g = 21 - d. Which is bigger: g or 6?
6
Let b be (-8)/(-48) - 70/312. Is 1 less than or equal to b?
False
Let x be (-96)/(-42) - (-2 - -4). Let d = 11 + -7. Is x less than d?
True
Let y = -2 + 1.9. Is y bigger than 1/15?
False
Let y(w) = -w**3 - 6*w**2 - 4*w + 3. Let m be y(-5). Let p = m + -1. Which is bigger: -4 or p?
p
Let a(o) = o + 6. Let t be a(13). Let v be -1 + 3 + t/(-11). Which is greater: 1 or v?
1
Suppose -3*b - 2*b = 0. Which is bigger: -1 or b?
b
Suppose 3*w = -2*x - 10, 21 = -w - 3*w + 5*x. Let i be 32/(-84) - w/(-14). Suppose -4*h - 8 = -0*h. Which is greater: i or h?
i
Let i = -5 - -6. Suppose 3*x = 7 + 17. Suppose -3*k - 10 = -x*k. Which is bigger: i or k?
k
Let h be 3432/59 - -1*2. Let b = h - 441412/1239. Let a = b + 296. Which is greater: a or -1?
a
Let l = -4626935/6 + 3858014/5. Let j = 447 - l. Let d = -1/5 + j. Are 0 and d nonequal?
True
Suppose -22 = b - 5*n, 15 = 2*n + n. Suppose 3*y + 20 = -5*z, b*y = -0*y. Is z <= -4?
True
Let y = 1.6 + -16.6. Let s = y - -15. Do 2/11 and s have the same value?
False
Let v = -3 - -1. Let q = 16 - 9. Suppose 6 - q = t. Is v <= t?
True
Let n be (0 + 0)*1/2. Suppose -3*y = -3 - n. Which is smaller: y or 1/3?
1/3
Let l = -2 - -5. Suppose f - l*f + 10 = 2*o, -o = 2*f - 7. Suppose o*d = -0*d. Which is bigger: -0.3 or d?
d
Let g be (-1)/(-4) - (-69)/12. Suppose -r + g = 4. Let y be (-2 - (0 - r))/1. Is 0 less than y?
False
Let g be (6/1005)/(1/5). Let u = -36 + 37. Which is bigger: u or g?
u
Let c = 237 + -719/3. Which is greater: -3 or c?
c
Let n = 8 + -3. Suppose n*w + 5 = -z, 0*w = 3*z - 4*w - 4. Let s(p) = p**3 - p**2 + p. Let j be s(z). Does 1 = j?
False
Let b(n) = n**3 + 3*n**2 - 3*n - 4. Let a be b(-3). Suppose -a*p + 1 + 34 = 0. Which is bigger: p or 8?
8
Let c = 19 - 18.94. Are -2 and c nonequal?
True
Let b(u) = -2*u**3 - u**2 + 2*u + 4. Let r be b(-2). Which is smaller: r or 13?
r
Suppose 0 = -3*k + 3*c - 3, 3*k + 4*c - 9 = 3*c. Let o(z) = -k*z - 3*z + z**3 + 6*z**2 + 5 - 9*z**2. Let l be o(4). Which is smaller: l or 3/4?
3/4
Let v be ((-4)/(-66)*(-33)/(-55))/2. Is v at most 0?
False
Suppose 2*c = -c. Which is bigger: -1/3 or c?
c
Let a = -1257/7 + 180. Let w be 2*(-2)/16*-2. Are a and w equal?
False
Suppose 0 = 5*h + 4 + 1. Let s = -8 + 7. Let g be (s/(-2))/(26/8). Which is bigger: h or g?
g
Let n = 1 + -2. Let s = 1/6 - -1/6. Which is smaller: n or s?
n
Suppose 6*t = 8*t + 20. Let y(b) = b**3 + 10*b**2 - b - 7. Let i be y(t). Is 2/9 <= i?
True
Let l = -57/10 + 31/5. Let z = 0 + 0. Does l = z?
False
Let s = 1 + 5. Suppose -s*k + 4*k = -10. Suppose 3*m - k*q = -4*q, 0 = -2*m + 3*q. Is 2/7 greater than m?
True
Suppose 3 + 2 = z + 5*r, -4*z + 3*r - 3 = 0. Suppose z*i + 15 = -5*i. Let g = -6 + 6. Is i less than or equal to g?
True
Suppose -4*k + 2078 + 1158 = 0. Let t = k - 41257/51. Which is smaller: 0 or t?
0
Let t be (6/8)/((-2)/16). Let i(k) = -k**3 - 4*k**2 - 5*k - 4. Let x be i(-3). Suppose 2*g + 30 = -4*p, 0 = -3*g + x*p - p - 10. Which is greater: g or t?
g
Let v be ((-136)/(-24) - 5)*2/(-8). Which is smaller: -11 or v?
-11
Let f = 14 - 23. Let g be (-37)/(-13) - (-4)/26. Suppose 24 = -3*o - 3*h, -4*h + h = -g. Are o and f unequal?
False
Let t be 102/(-21) - (-4 + 0). Let b = -6 + 4. Which is greater: t or b?
t
Suppose 3 = 2*l + 4*a + 7, 0 = -l + 2*a - 18. Which is smaller: l or -11?
-11
Suppose 3 = -t + 14. Let v = t + -8. Suppose 13 = v*c + 4. Are 4 and c nonequal?
True
Suppose 4*u - 13 = 5*v + 50, -3*v - 9 = 0. Let w be 2/3*54/u. Suppose -z + 4*z - 5*s + 13 = 0, w*z + 3*s - 3 = 0. Is z equal to -1?
True
Suppose -h + 3*h = -4*d, d = 3*h. Let n(p) = -2*p**3 + 2*p**2 - 1. Let c be n(1). Let g = c - d. Which is bigger: g or -3/2?
g
Let t be 1/(-1 + 15/18). Let b be 0 + (-2)/(4/t). Let l be (-7)/b + 12/6. Which is greater: l or 3/5?
3/5
Let k be (1 + 0)/(-1) + 1. Let r = 143/42 + 83/14. Let y = -9 + r. Which is smaller: k or y?
k
Let n(h) = -h**3 + 6*h**2 - 4*h - 5. Let u be n(5). Let r be ((-2)/(-3))/((-1)/(-3)). Suppose 4*c - 11 = -5*d, -r*c = d - c - 3. Is d at least u?
False
Let t = 77 + -42. Let j = -107/3 + t. Let m be 0/(-1) + 2/(-2). Which is smaller: m or j?
m
Let f = -3 + 2.7. Let p = 3 + 1. Let w = p - 5. Is f < w?
False
Let o(f) = f**3 - 6*f**2 - f + 7. Let x be o(6). Let b = 114 + -114. Which is greater: b or x?
x
Let o(b) = -4*b + 1. Let w be o(-1). Suppose -2*z = 7 + w. Is z > -5?
False
Suppose 5*f = 5*n + 10, 3*n + 5*f = 11 - 1. Let p be 1/(-2)*(n + 0). Let k be ((-4)/10)/(3 + -2 + 1). Which is bigger: k or p?
p
Let l = -13 - -9. Let b = l + 3.8. Is 2 less than b?
False
Let c be 1/4*8/(-10). Let k be (-2)/6*0/(-1). Let l be -1*(k/(-2) + -1). Which is greater: c or l?
l
Suppose 0 = 2*i + 3 + 7. Let n = 4 + i. Let t = 2 + -4. Is n smaller than t?
False
Let d be (-37)/7 - (-4)/14. Is d equal to -6?
False
Let p = -13 + 22. Let q be (-10)/(-4) - p/6. Which is greater: 0 or q?
q
Suppose 3*c = -c. Let r(o) = o**3 + 6*o**2 + 5*o + 1. Let v be r(-5). Which is smaller: v or c?
c
Suppose 12 = 4*n, b + 5 = 5*n - 6. Suppose 0 = -33*k + 36*k - 9. Is b greater than or equal to k?
True
Let u = 10 - 7. Let a be (4/3)/((-3)/(-18)). Suppose -4*r - b + a = 3*b, -u*b = -5*r - 14. Which is smaller: 0 or r?
r
Let r = -166/3 - -55. Is r >= -7?
True
Let j = 128992/93 + -1387. Which is greater: j or 0?
j
Let u = 0 + -5. Let f be 1 + -5 + (-10)/u. Let r(x) = x**2 + 7*x + 4. Let p be r(-6). Is f greater than or equal to p?
True
Let w = 2/1126955 - -136360547/567985320. Let c = w + -1/56. Is 0 <= c?
True
Let s(f) = f - 4. Let v be s(3). Let j(r) = r - 1. Suppose -3*b - 12 - 8 = -5*a, a - 3*b = 16. Let q be j(a). Which is smaller: v or q?
v
Let h = 0.3 - 0.3. Let x = 2 - 5. Let z = x - -3. Is h > z?
False
Suppose -5*x + 7 + 3 = 0. Let i be (x + 0)*(-3 + 4). Let o = 2 - i. Are o and 6 equal?
False
Let j(s) = 5*s - 4. Let n be j(2). Let x be ((-14)/42)/(2/n). Let h be (-2)/8 + 5/4. Is h > x?
True
Suppose z = -0*z - 4, 0 = -2*v + 3*z - 20. Is v greater than -17?
True
Suppose -3*s - 7*u + 30 = -3*u, 9 = 3*s - 3*u. Suppose -5 = -5*o, -o + 1 - 10 = -2*v. Which is bigger: v or s?
s
Let x = -1.2 + 0.2. Is 2/11 less than x?
False
Let x be 27*(1 + (-3)/9). Suppose -i + x = -3*i. Let r = i + 37/4. Is r less than or equal to 0.3?
True
Let s = -5.1 + 3. Let j = s - -2. Let i be (-4)/(-10) - 4/5. Which is smaller: i or j?
i
Let j(z) = z**3 + 5*z**2 - 3*z. Let d be j(-5). Suppose 0 = -0*g - 3*g + d. Is 2 > g?
Fal