. Is k at most as big as 1?
True
Let x be (0 + -13)*(6 + -5). Let d = x + 12. Is 0 > d?
True
Let x be (1 + 2 - 0) + -3. Let c be 10/6 - 4/(-12). Suppose x = c*m + m. Which is bigger: m or 2?
2
Let k = 23 - 70/3. Let m = 68.1 + -73. Let w = m + 5. Which is smaller: k or w?
k
Let m be (-87)/5 - 44/(-110). Is -16 less than or equal to m?
False
Let p be 1 + (-1 - 2) + 4. Let l = -3 + p. Is l <= 3?
True
Suppose 5*v = m + 25, 0 = -v - 9*m + 4*m - 21. Are 3 and v equal?
False
Suppose 48 = 3*w + 2*r - 48, 48 = 2*w - 4*r. Let u be -3 - w/(-33) - -1. Which is bigger: -1 or u?
-1
Let t be 1 + 2/((-8)/2). Let g = -7 - -8. Is t <= g?
True
Let w = -1061/10 + 106. Let q be (0/(-1 + 2))/(-26 + 25). Which is smaller: w or q?
w
Let m = -29 + 18. Let t be -4*(m/18)/(-11). Is -1 bigger than t?
False
Let g = 1.3 + -0.3. Let p = g - 1.1. Let v be ((-6)/(-4))/(-3)*-2. Is p <= v?
True
Let k(t) = t + 4. Let c be -1 - (6 + 2 + -3). Let z be k(c). Let v be (-5)/4 - 1/4. Is z greater than v?
False
Let z(r) = -r**3 + 6*r**2. Let g be z(6). Suppose -5*f + 15 + g = 0. Suppose -7*o = -6*o - f. Which is bigger: o or 2?
o
Let y be 1/(-2 + 1) - -6. Let m = y + 3. Suppose -3*d = -7*d + m. Which is smaller: d or 4/7?
4/7
Let v = -46 + 67. Which is smaller: 0 or v?
0
Let d = 316/385 + 2/55. Which is smaller: 0 or d?
0
Let o = 0 - 1. Let d = 741/5 + -149. Are d and o nonequal?
True
Let u be 19/190*(-4)/3. Which is smaller: u or -3?
-3
Suppose -2*v = -0*v - 64. Is 31 smaller than v?
True
Let a = 3 + -3. Let x = 2 + a. Does x = 3/4?
False
Suppose -5*h + 11 = -4. Let p(j) = j**2 - 11*j - 12. Let x be p(12). Suppose x = 2*v - h*v - 3. Is v smaller than -3?
False
Let j(f) = -f**2 - 11*f + 12. Let h be j(-11). Is -2 equal to h?
False
Suppose -12 = 3*d - 5*d. Let i(r) = -r**2 + 6*r - 3. Let s(j) = -1. Let n(f) = -i(f) + 2*s(f). Let c be n(d). Which is greater: 0 or c?
c
Let o = 179/5 - 1293/35. Which is smaller: -2 or o?
-2
Let l = 100 - 2898/29. Is 0 smaller than l?
True
Let x = -0.55 - 0.05. Let b = 0.63 + x. Let q = -0.03 + b. Are 0 and q non-equal?
False
Let j = -4105/56 - 649/8. Let l = 154 + j. Let d(u) = u**3 + 6*u**2 - 1. Let x be d(-6). Which is smaller: l or x?
x
Suppose 3*b + 4*r - 3 = 8, -2*r = 3*b - 13. Let d = b - -4. Which is greater: d or 10?
10
Suppose 5*d = r - 9, -d - r - 1 = -4. Suppose 4*i + g - 7 = 0, -i - i - 2*g + 8 = 0. Suppose -i = -v + 2*v. Are v and d unequal?
False
Let d = 9 + -9. Is d > 2?
False
Let m be (51/(-68))/(36/14). Is m greater than or equal to -1?
True
Let m(q) = -5 - 2*q + 10 + q. Let d be m(6). Is -1 at least d?
True
Let g = -570 + 570. Suppose -3*p + 6 = -4*a - 8, 2*p - 14 = 5*a. Let m be ((-1)/2)/((-1)/p). Which is greater: m or g?
m
Let d = -16 + 18. Let n be 0 + 1/2*2. Let r = d - n. Which is bigger: r or 2?
2
Suppose 0 = 3*g + 12, 0 = 5*o - g - g - 3. Let y be o*(2 - 6/4). Let l = -10 - -10.1. Which is greater: y or l?
l
Suppose 5*h = 2*p - 11, -4 = -p - 1. Let b = -4 - -3. Let g = b + h. Which is bigger: g or -3?
g
Suppose -6*g - 5 = 1. Which is smaller: -9/5 or g?
-9/5
Let u(w) = 2*w - 1. Let z be u(1). Let y(s) = 7*s**3 + 1. Let j be y(z). Let r = j - 58/7. Is 0.5 greater than or equal to r?
True
Let c = 11 - 7. Let l(m) = -95*m + 3. Let d be l(c). Let u = -7161/19 - d. Is 0 >= u?
False
Let p(r) = -r**3 - 2*r**2 + 2*r + 3. Let j be p(-2). Let y = -4 + 3. Are j and y nonequal?
False
Let l be (6/15)/(1/5). Suppose -l*s + 4*x + 16 = 7*x, -2*s - 4*x + 18 = 0. Are 4 and s equal?
False
Let x be -16 + 16 - (-59 + 1). Which is bigger: 57 or x?
x
Let g(s) = -s**3 + 7*s**2 + 8*s - 1. Let j be g(8). Let z be j/(3 - (-10)/(-4)). Is z at least as big as -2?
True
Let t(r) = r**2 + r. Let m be t(-1). Suppose m = -k - 2 + 3. Which is bigger: 2 or k?
2
Suppose 2*s + 4*s = -6. Which is bigger: 1/20 or s?
1/20
Suppose -3*i = -19*i. Let c be 0/((-2 + 3)*2). Let k be 0/(c + 0 + -2). Is k at least as big as i?
True
Let k(j) = j - 20. Let v be k(0). Is -19 >= v?
True
Let r be (-6)/(-8) + (3 - 6) - -1. Which is smaller: r or 2?
r
Let j be (-96)/(-15) + (-4)/10. Is -1 greater than or equal to j?
False
Suppose -4*c + 0*c = -2*u - 26, -5*c = -4*u - 37. Suppose -1 - c = -2*f. Let g = 4 - 3. Which is smaller: f or g?
g
Let n(h) = -h**3 - 7*h**2 + 10*h + 3. Let s be n(-8). Let w = -6 - s. Let i = 7 - w. Which is smaller: 1/8 or i?
i
Let c be -1 - (-2 + 35 - -2). Suppose 0 = 2*t - 0 + 4, -5*z + t = 148. Let b be (-2 + 1)/(c/z). Which is greater: b or -0.1?
-0.1
Let f(m) = m - 9. Let q be f(6). Suppose 2 - 3 = -b. Are b and q unequal?
True
Suppose -b - 20 = 124. Let q be 4/6 + 44/b. Let z = 1/9 - q. Which is greater: z or 0.1?
0.1
Let v(l) = 16*l**3 - l - 1. Let y be v(-1). Does -17 = y?
False
Let x be (-1 + 1)/(-3) - 0. Suppose u - 6*u = x. Suppose u = -g + s + 3*s - 7, 2*s - 4 = 0. Which is smaller: g or 1/2?
1/2
Let t = 53.128 - 0.128. Let c = -57.4 + t. Let q = c + 4. Is 2/5 less than q?
False
Let y(s) = s - 1. Let n(v) = -v + 6. Let x be n(9). Let a be y(x). Is a >= -3?
False
Let n(x) = -x**3 - 5*x**2 + 6. Let q be n(-5). Let k be (-26)/q - 1/(-3). Suppose -y - h = -2, -4*y + h - 3 = 9. Which is smaller: y or k?
k
Suppose -2*h = 2*h + 28. Is h at least as big as 1?
False
Let x be 15/13 - 3/3. Let t be (-3)/12 + (-6)/(-24). Which is smaller: t or x?
t
Let u = -7 + 9. Suppose 3*h - h = -u. Suppose 16 = -4*d - 3*k, 0 = -4*d + k - 0*k. Is d > h?
False
Let d = -1 + -3. Let p = -6 - d. Is p greater than or equal to -3?
True
Let b = -1/867 + -1697/32079. Is 0 equal to b?
False
Let x(f) = f**2 + 3*f - 1. Let v be x(-3). Which is smaller: v or 1/7?
v
Let p(y) = -y**2 - 7*y - 6. Let f be p(-6). Suppose -3*w + 7*w + 4 = f. Are w and -2/9 equal?
False
Suppose u = 2*o + 7, 14 = 4*u + 2. Is -10/7 smaller than o?
False
Let f = 92 + -187/2. Which is greater: f or -0.02?
-0.02
Let i be 3 + 19/316*-50. Let k = 73/948 - i. Which is bigger: -1 or k?
k
Let m be (3/5)/((-35)/(-75)). Is -0.2 smaller than m?
True
Let c(b) = b**2 - 1. Let h be c(-1). Suppose 9 = 2*n + 3. Suppose n + h = -g. Is g != -5?
True
Let y be (-8)/(-4) - (-19)/(-2). Which is greater: y or -8?
y
Let t = -793 - -1391. Suppose -2*p = 4*c - 306, 4*p - t = -0*p - c. Let f = -442/3 + p. Is 1 less than f?
True
Let z = -23 - -39. Let n = z - 15.8. Which is smaller: n or 5?
n
Let n(z) = z**2 - 11*z + 10. Let x be n(9). Let c = x + 7. Is c at most as big as 2/5?
True
Let o(h) = h**2 - h - 3. Suppose 0 = -2*q + 6, 0 = 4*n - 3*q - 4 - 3. Let t be o(n). Let g be (-6)/t - 1/3. Do -1/5 and g have the same value?
False
Let n(i) = i - 4. Let b be n(7). Let h = 5 - b. Let u be 1/2*h*1. Which is bigger: u or -3?
u
Let x be 0/2 + 4/(-16). Suppose 3*c - 2*j + j + 3 = 0, c + 4*j + 1 = 0. Do c and x have the same value?
False
Let s be 6/(-9) + (-1136)/(-12). Let l = s - 657/7. Let p be 0 + 0 + (-1)/(-1). Which is smaller: p or l?
l
Let k be ((-3)/66)/(7/28). Which is smaller: 0.1 or k?
k
Let r be (-9)/1*(-2)/3. Let m be 1 - (r/3 + -1). Suppose 0 = 3*w - a + 1, m = 4*w - 2*a + 3*a - 1. Which is bigger: -3/5 or w?
w
Let y = 1 - 1. Let l(v) = v**2 - 7*v + 10. Let a be l(6). Suppose -6*s - 5*w - 6 = -2*s, -2*w = a*s. Which is greater: s or y?
s
Let k be (-1)/2*1*2. Let b be 24/6 + 26/(-12) + -2. Is b smaller than k?
False
Suppose 3*t + 7 + 9 = 4*u, 4*t + 20 = 4*u. Let l be (-4)/2*8/16. Is l smaller than u?
True
Let w be 8/(-6) + 10/30. Which is bigger: -5/3 or w?
w
Let b = -2.95 + 3. Let z = -4 + 3. Does b = z?
False
Let u = 48.6 + -48. Is u smaller than -0.1?
False
Let y be ((-2)/(-8))/(25/(-330)). Let x = 51/20 + y. Suppose 2 = 3*u + 8. Is u at least x?
False
Let a be 218/12 + (-1)/6. Suppose 9*c - 4*c + a = 4*q, -5*c = 3*q + 4. Which is smaller: -10/7 or c?
c
Let i = -0.07 + 4.07. Let y = 3 - i. Let v be (-1 - 1/(-1))/(0 + 1). Which is smaller: v or y?
y
Let q = -20.11 + 20. Let b = -0.89 + q. Which is greater: 0.1 or b?
0.1
Let q = -1.1 - 3.9. Let k = -8 - q. Let s = k - -3. Is -2 bigger than s?
False
Suppose -2*m + 5 + 9 = -2*b, m = -b + 3. Which is smaller: -4 or m?
-4
Let s(q) = 2*q - 10. Let h be s(7). Suppose 0*j + j + 1 = -2*v, h*v + 6 = 2*j. Let p = 1 + -1. Is p equal to j?
False
Let g = 0 - -0.4. Let b = 3.5 + -3.3. Is b at most g?
True
Let h be (-16 - -1)*6/(-9). Let q be h + -5 + (-4)/2. Suppose z = -2*z + q. Is 2 bigger tha