= -1 + 2. Let j be (-1)/14 - (-3)/2. Is j at least f?
True
Let v = -4477/3 + 1480. Which is greater: -12 or v?
-12
Let a = 68/57 - 10/19. Let z(t) = t**3 + 7*t**2 - 8*t - 2. Let u be z(-8). Let y be (-1)/3*(2 + u). Which is greater: y or a?
a
Let t be ((-6)/(-8))/(3/12). Suppose 15 + 1 = 5*v - 3*c, -4*v + 32 = 4*c. Which is smaller: v or t?
t
Let a = 1.76 - 0.76. Which is bigger: 3.9 or a?
3.9
Let i = 21 - 19. Is 2 equal to i?
True
Let k be 1/5 + 210/950. Let i = -1625/47 - -699691/20539. Let x = i + k. Which is smaller: x or 1?
x
Let s be 0/1 - (-15)/3882. Let v = s + 16486/3235. Let x = v - 33/5. Is x less than -1?
True
Let j = -46 - -46.03. Is j at least -3?
True
Let c be (0 + 1)*(2 + 2). Let i be (-2 - 2) + -1 + 0. Let s = c + i. Is -1 not equal to s?
False
Suppose l + l = 5*g - 15, -4*g - l = -12. Suppose -3 = 4*d - 11. Which is smaller: d or g?
d
Suppose -5*g - 18 = -4*t + 2*t, 4*t = 2*g + 4. Let n be -3 + (3 - 1) + t. Is 3 greater than or equal to n?
True
Let w be 3 - (0 + -2 + 5). Let j(n) = -6*n**2 - 3. Let d be j(-3). Let x be (-2 - d/30)*4. Which is greater: w or x?
w
Let b = -20.9 + 3.9. Which is bigger: -1/3 or b?
-1/3
Suppose 5 = 4*o - 3*k, -k - 2 = -3*o + 3. Suppose 0 = -4*a + o + 2. Suppose 3*h - h = 2. Is a >= h?
True
Let r be -1 + 0 + 1/4. Let n(i) = -i + 4. Let p be n(0). Suppose -p = o + o. Which is greater: o or r?
r
Let k = 552/5 + -110. Let h = -2 - -1.8. Let v = -0.3 - h. Which is smaller: k or v?
v
Let y be (2/7)/(26/14). Suppose 4*h - 5 + 1 = 0. Which is smaller: y or h?
y
Let h = -0.26 + 0.36. Is h != -0.19?
True
Let k(u) = u**2 - 3*u + 2. Let z be k(2). Let f be (-2 + 0)*(-664)/17. Let t = f + -78. Is z != t?
True
Suppose b + 4*z = -2 - 0, -4*z = 2*b. Let v(i) be the second derivative of -i**5/20 + i**4/12 + i**3/3 - i**2/2 - 12*i. Let q be v(b). Is q >= -3/10?
False
Let d be (-215)/25 + 4/(-10). Let f = -5 - d. Suppose 4*m - f*v - 20 = 0, -6*v + v = 20. Is m != 0.2?
True
Let x = 5 + -5.3. Suppose 3*w + 2 = 2*p - 3, 4*w + 4*p = 0. Is x greater than w?
True
Let v be 9/(-24)*1 - 0. Is 1 at most as big as v?
False
Let v(s) = s**2 - s - 2. Let x be v(2). Suppose 4 = -2*p - 3*o - 11, -5*o - 35 = 5*p. Let t be ((-8)/108)/((-2)/p). Which is greater: t or x?
x
Let u = 0 - 0.1. Let s = -0.1 - u. Let t = 1 - s. Is 1 less than or equal to t?
True
Let v = -97 + 158. Is v at most as big as 60?
False
Let h be (-4)/3 + (6 - 5). Suppose -i = 4*t - 34, 0 = 4*t - 17 + 1. Suppose -4*y + 3*n + 7 = i, -4*y + 2*n - 6 = 0. Is y < h?
False
Let z be 3 + 3*8/(-6). Is z > 2/167?
False
Suppose -n + 1 + 2 = 0. Let l(p) = -p**2 + 7*p - 7. Let y be l(6). Which is smaller: y or n?
y
Let f = 12 - 10. Suppose -2 = 4*d - f*d + 2*u, 5*u = -2*d - 2. Is -2 at most d?
True
Let i = 512 + -9730/19. Is 1 <= i?
False
Let k be (-1 + 0)*(10/2 + -6). Let n be ((-1)/(-6))/((-2)/3). Do n and k have the same value?
False
Let b be 260/(-115) - (-6)/4. Let w = b + 6/23. Does w = -2?
False
Let n(v) = -v + 4. Let s be n(4). Suppose s = m + m. Let o = 0 - m. Is o at most as big as -3?
False
Let b(k) = -k + 2. Let t(i) = -3*i + 2 - 2 + 1. Let r be t(-1). Let s be b(r). Which is smaller: s or -3?
-3
Let a = 0.6 - 0. Let r = a + 0.4. Let x be (1 - 1)/(-1 + 2). Is x smaller than r?
True
Let q = 1144/9 - 127. Suppose -u + 5*u - r = -8, 2*r - 13 = 5*u. Which is smaller: u or q?
u
Let h(m) = -m**2 - 1. Let i be h(0). Let t(z) = 3*z**3 + 2*z**2 + z. Let n be t(i). Which is greater: n or -3?
n
Let w(r) = -3*r + 12*r**2 + r - 2*r**3 - 9*r**2 + r**3. Let b be w(2). Are -1 and b equal?
False
Suppose -109 = -10*l + 131. Is l smaller than 22?
False
Let y(h) = -h + 7. Let x be y(5). Let w be -10 + (3 - (3 - x)). Which is bigger: w or -1?
-1
Let r be 1 + 6/15 + 162/(-30). Is r smaller than 3?
True
Suppose 20 = -4*z, 17 = 4*h - 4*z + 1. Let b = 739/5 - 148. Is h at least as big as b?
False
Let g = 16 - 20. Let c = -2 - -2. Let b = c - g. Which is greater: -1 or b?
b
Suppose -3*p + p + 4 = 0. Suppose p*f = f. Is f smaller than 1?
True
Suppose 5*w - 7*w = -4. Suppose w*v - 2 = -4. Is 2/15 <= v?
False
Let v = 1.9 - -0.1. Let t be ((-22)/6 - -3)*3. Are v and t equal?
False
Let v(x) = -x**2 + 8*x + 1. Let i(u) = 3*u**2 - 25*u - 3. Let p(b) = -2*i(b) - 7*v(b). Let k be p(6). Which is smaller: -1/2 or k?
k
Suppose 0*g - 3*h = 5*g - 25, -5*g = h - 15. Suppose 0 = -2*a - 4 - g. Is -0.1 greater than a?
True
Let o(y) = -y**3 + 18*y**2 + 39*y + 23. Let f be o(20). Let g be (-2*1)/(36/(-28)). Are f and g nonequal?
True
Let v be 1*-1 + (3 - 3). Let g be -1*v/(-2)*0. Suppose g + 5 = -5*p. Are -1/6 and p non-equal?
True
Suppose -315 = 7*w - 2*w. Let l = 443/7 + w. Let m(i) = i**3 - 4*i**2 - 4*i - 4. Let k be m(5). Which is smaller: l or k?
l
Let i = -56 + 54. Suppose 2*u = -0*u - 2, m - u = -1. Let f be 0 + (-13)/5 - m. Which is bigger: f or i?
f
Suppose -3*j = 3*b - 27, -4*b = -2*j + b - 17. Which is smaller: 2 or j?
2
Let c = -0.25 + 2.15. Let h = c + 0.1. Let p = -0.9 + 1. Which is greater: p or h?
h
Suppose 3*w = -2*w - p - 8, -4*p + 8 = 0. Let m(u) = -3*u + 2. Let b be m(w). Let i = -10 + b. Do i and -2 have different values?
False
Let h be -3 - ((-147)/29 + 2). Which is bigger: h or 1?
1
Let p(t) = 2*t**2 - t. Let n be p(1). Let z be n/(-2) + (-2)/(-6). Which is smaller: -3 or z?
-3
Let i = 3/13 - -7/195. Are i and -1 equal?
False
Let s = -10394/45 - -231. Let v = s + 41/180. Which is smaller: -1 or v?
-1
Let z = 3.6 + -4. Let s = z - -0.4. Let c = 0 + 0.2. Is s >= c?
False
Let a be ((-14)/42*(-6)/4)/1. Which is greater: a or 2?
2
Let d(h) = -h + 9. Let b be d(7). Let a = -11 + 14. Which is smaller: b or a?
b
Let s = -5 - -4.9. Which is smaller: -0.05 or s?
s
Let l = 13 - 4. Let p be (-2)/l - 76/(-72). Which is smaller: p or 0?
0
Let h = -3 + 13. Is 11 bigger than h?
True
Let f(z) = z + 2. Let o be f(6). Suppose -3*a = -o*a. Is -2/13 at most a?
True
Let n = -5857/3684 - -2/307. Let m be 9 - 12 - (-17)/4. Let s = m + n. Which is smaller: s or 0?
s
Let t(x) = -2*x + 5. Let n be t(0). Suppose -c = -5*h - 29, -2*c - 4 - 13 = n*h. Which is greater: h or -7?
h
Let i(s) = s**2 - 7*s + 5. Let h be i(6). Let v(k) = k**2 - 6*k - 8. Let j be v(7). Let z be (j/7)/(3/(-6)). Which is bigger: z or h?
z
Let p(g) = 7*g + 14. Let q be p(-3). Are q and -7 unequal?
False
Let t be 6/21 - 9/7. Let r = -310 - -123. Let z = 931/5 + r. Which is greater: t or z?
z
Let q be (5 + -2)*((-294)/18 - -5). Which is smaller: 2/5 or q?
q
Suppose 2*s = -0*s. Suppose 2*z + 4*w + 15 + 11 = s, 3*w + 9 = 2*z. Let d be ((-1)/(-1))/3*z. Which is smaller: d or -3/2?
-3/2
Let u = 80 + -84. Is -9/2 <= u?
True
Let z = -13/9 + 22/15. Which is greater: z or 0?
z
Let d be ((-4)/6)/((-18)/81). Is d smaller than 2?
False
Suppose 3*l = 6*l + 63. Let d be 2 + (0 - l/(-12)). Which is bigger: -0.1 or d?
d
Let p be (5 + -1)/(72/(-32)). Is p equal to -1?
False
Let o = 3 - 2. Let d(k) = 2*k + 7. Let h be d(-5). Let c be 2/(-6) - h/36. Is o > c?
True
Let c(o) = -o**2 - 7*o + 1. Let p be c(-7). Let u(x) = x**3 + 4*x**2 + 4*x + 2. Let q be u(-3). Let r = q - -3. Which is smaller: p or r?
p
Let v = 38 - 37.3. Are v and -5 equal?
False
Let k = 18.89 - 19. Let g = 0.71 + k. Are -2/9 and g unequal?
True
Suppose 5*d = -j - 11, j + 16 - 13 = -d. Is j smaller than -1/107?
True
Suppose 16*n = 11*n + 115. Which is bigger: 95/4 or n?
95/4
Let q = 2 + 8. Let w be (-4)/(5/(q/(-4))). Let s = -1.9 - -2. Is s smaller than w?
True
Let w be (-92)/161 + 830/56 + -1. Which is smaller: w or 13?
13
Let r be 16/6 + (-2)/(-6). Let i be (64/36 - 2)/((-10)/15). Is r bigger than i?
True
Let n(b) = 10*b**2 - 3*b - 4. Let w be n(-2). Is w != 44?
True
Let l(i) = -i**2 - 5*i - 2. Let z be l(-5). Let h(t) = 6*t**2. Let o be h(1). Let y = o + -9. Which is smaller: z or y?
y
Let m = -762/283 - 1007936/4245. Let h = -240 - m. Do h and 0 have the same value?
False
Let r(n) = n**2 + 10*n. Let y be r(-10). Let i = 9 + -4. Is i > y?
True
Let r = -2 + 3. Suppose -4*f - 2*x = -12, 4*f - 6 = -4*x + 14. Let u be f/2 + 1/2. Is r < u?
False
Let u = 0.08 + -0.08. Let b = -0.1 - 0. Which is greater: u or b?
u
Let d = -27 + 23. Is -2 < d?
False
Let i = 1.8 + -0.8. Let c = -0.13 + 0.06. Is i equal to c?
False
Let n = -71 + 113. Is 43 equal to n?
False
Suppose 0 = -4*x + 5*x - 4. Let t = x + 0. Sup