+ h + u. Which is bigger: -5/4 or p?
-5/4
Let i = -13 - -13.02. Let c = -0.02 + i. Is 8 greater than or equal to c?
True
Suppose -n = 5*n + 36. Do 2 and n have the same value?
False
Let k be 28/220 + 6/(-15). Is k <= 0?
True
Let z be 6/28*7/18. Is -2/3 less than z?
True
Suppose 10 = 6*d - 4*d. Let m = d - 0. Let c = -0.2 - -0.2. Are c and m unequal?
True
Let l = -42 - -86. Let h be (-2)/(l/6 + 0). Which is smaller: h or 0?
h
Let h be (-13)/(-4) - (-12)/16. Suppose h*w = 0, 0 = -4*y + 4*w + w. Let b(i) = -i - 1. Let j be b(-1). Are j and y unequal?
False
Suppose -4*x = 4*u - 2*u + 10, -x - 7 = 2*u. Let b = -192/935 + 2/85. Is b at least as big as x?
True
Suppose 0 = -5*d - 153 - 502. Let c = 915/7 + d. Which is smaller: c or 1?
c
Suppose -5 + 19 = 4*x - 2*k, -5*x = -4*k - 25. Is -1/7 smaller than x?
True
Let i = 0.1 - -2.5. Let c = -0.6 + i. Which is smaller: -0.4 or c?
-0.4
Suppose -2*m - 6 + 22 = 0. Suppose 4*y - m - 4 = 0. Are 3 and y equal?
True
Let v = 2/101 + 196/303. Is -1 at most as big as v?
True
Let d = -3 + -1. Let n be d/(-14) - 90/(-28). Let q = -19/6 + n. Are q and -1/3 non-equal?
True
Let j = -17 + 17.26. Let h = 0.06 - j. Which is smaller: h or 0.1?
h
Let x be (2 - -98)/((-26)/(-4)). Let m = -3291/208 + x. Let k = m - -65/112. Is k at most 0?
False
Suppose -m + 2*m - 1 = 0. Which is smaller: 0 or m?
0
Let j be 0/(-1)*13/(-26). Which is bigger: -5/4 or j?
j
Let w be (-4 - -1)/3*-4. Suppose 3*s - w = -16. Let g(u) = u + 5. Let n be g(s). Is 0 smaller than n?
True
Let m be -3 + (-1)/(-4) + (-55)/(-20). Which is greater: m or -6?
m
Suppose 3*j + 0*j = -6. Let n(v) = -v + 2*v + v + 3. Let q be n(j). Is q at most as big as -1?
True
Let u be 8/(-1) - (2 + -3). Which is smaller: u or -3?
u
Let t = -28 - -27.9. Which is smaller: t or 22?
t
Let v be 14/8 - 2/8. Suppose 5*g - 261 - 39 = 0. Let b be 1 - 5/(g/8). Which is smaller: b or v?
b
Let l = 1154/9 + -128. Do l and 0 have the same value?
False
Let s be 1 - (4/(-10) - 0). Suppose -n - 7*k = -2*k - 22, -n = 4*k - 18. Is s at most n?
True
Let x be 2*(-17)/4 + (-1)/2. Is -1/3 smaller than x?
False
Suppose 2*z = 1 + 1. Is 2/131 greater than z?
False
Suppose -3*c - 2*p = -6, 5*c - c - 2*p = 8. Let a = -278523 + 10027709/36. Let b = a + -97/4. Is c <= b?
False
Let o = 0.27 + 0.09. Let c = o + 0.7. Let x = c + -0.06. Do x and -2 have the same value?
False
Let j = 6 - 7. Let d = 0.9 + j. Which is smaller: -6 or d?
-6
Let r be 0*-1*(-4)/(-8). Which is smaller: r or 1/2?
r
Let c = -1 + 3. Let j = c + -1. Suppose 5*q = -2*s + 2, -3*q = -0*q - s + j. Is q less than 0?
False
Let b(j) = j**2 - 3*j. Let l be b(4). Let a be 7/((-9)/3 + l). Suppose 2*o = 5*d + 6*o - a, -12 = -4*o. Is -2/13 equal to d?
False
Let h = -182/5 - -129/10. Let y = -23 - h. Is y equal to -5?
False
Let a be (-3*1)/(-9 + 6). Let o be -1*-1*2/10. Which is smaller: o or a?
o
Let o be 10*(2/(-4))/(-1). Which is bigger: 7/2 or o?
o
Let s = -0.4 - -2.3. Let o = s + -2. Is o < 7?
True
Suppose 5*i + 2*c - 63 = c, -3 = -c. Suppose 2*f + i = 3*d + 7*f, -5*d - f - 2 = 0. Let b = -4 - -2. Which is smaller: d or b?
b
Let b = 7 + -49. Let k be (-9)/6*(-16)/b. Which is greater: k or 0?
0
Let a be 1/(2/(-36))*(-42)/18. Is a >= 42?
True
Let s = -163 - -114. Is -48 at most as big as s?
False
Suppose -78 = 5*a - 4*v, 2*a + 4*v - 2*v + 24 = 0. Which is smaller: a or -11?
a
Let t(a) = -2*a + 8. Let h be t(4). Which is greater: 1 or h?
1
Let c = -13.97 - -14.6. Let m = -0.7 + c. Is 1 at least m?
True
Suppose -3*u - 3 + 6 = 0. Let f = -639 - -3168/5. Let c = f - -6. Is c not equal to u?
True
Let p = -14 - -8. Let z = p - -14. Let g be 2/6 + (-4)/z. Which is smaller: g or 1?
g
Let s be (-2)/(-6) + 66/(-225). Is -1 at most as big as s?
True
Let v = 3 - 2.9. Let a = 0.1 - v. Let g = -0.1 + a. Are g and 0.1 equal?
False
Let j = -92 - -93. Is j equal to -10/23?
False
Let l(k) = -k**3 + 7*k**2 + 2*k - 13. Let m be l(7). Which is bigger: m or 1/23?
m
Let x = 32.8 + -27. Let n = 6 - x. Which is bigger: 3/2 or n?
3/2
Let q = 3 + -4. Let u = -1258 - -6409/5. Let a = u - 24. Which is smaller: q or a?
q
Suppose -1 = 2*z - 2*d + 3, -5*d + 16 = z. Let i = 2820/17 + -166. Which is bigger: i or z?
z
Let k = 13.71 + 0.29. Let d = -13.7 + k. Which is smaller: 0 or d?
0
Let i(f) = f**2 - 5*f - 5. Let l be i(6). Suppose -3*a - 10 = -l. Let d be (1/a*-2)/(-2). Which is smaller: -1 or d?
-1
Let c = 6 - 0. Let j = c - 6.1. Let d = 159/2 + -1109/14. Is d less than or equal to j?
False
Suppose 0 = o + 4*a + 10, 3*o + 8 = -4*a - 6. Suppose 0 = -3*s - 11*b + 6*b - 8, 4 = -4*b. Let t = -2 - s. Is o < t?
True
Let l = -0.25 + 0.25. Which is smaller: l or 1.1?
l
Let z(a) = 5*a + 4. Let y be z(3). Which is smaller: y or 1?
1
Let d = -4 - -4. Suppose 0 = 5*f + 3*p - 5, 2*f - p + 3*p = -2. Suppose f*y = -d*y. Which is greater: -1/2 or y?
y
Let l = 118/21 - 16/3. Which is smaller: 4/3 or l?
l
Let r = 25821/280 + -461/5. Is r less than or equal to 0?
False
Suppose 5*o - 4*i - 5 = -2*i, 2*o - 2 = -5*i. Is -1/21 at most as big as o?
True
Let r(k) = k**3 + 16*k**2 - 35*k + 19. Let v be r(-18). Which is bigger: 2/39 or v?
v
Let y be (35/14)/(1/2). Is y less than 5?
False
Suppose -4*b = -5*r - 43, r - 17 = -2*b + 2*r. Which is smaller: b or 15/2?
b
Let t be 22/(-48) - (-2)/(-12). Do t and 0 have the same value?
False
Let l be -3 - 0 - (1 + -3). Let r = l + 1. Are r and 0 nonequal?
False
Let r = 10 + 9. Let d = 12 - r. Which is greater: d or -8?
d
Let g be 6/8 - (-8)/32. Suppose 4*v - t - 4 = g, 4*t + 4 = 0. Are v and 4/3 equal?
False
Suppose 6*w - 4*w = 0. Which is smaller: w or 4?
w
Let p = -0.3 - -0.2. Let i = p - 0. Let t = -1.1 - i. Which is smaller: 1 or t?
t
Let w be (-2 + -1 - -5) + 1. Suppose 4*t + w*u - 39 = 0, 3*t - 11 = 2*t - u. Suppose 10 = 3*i + 5*c, 2*i + 4*c + 9 = 3*i. Which is smaller: i or t?
i
Suppose -2*y + 2*m = 8, 6*y - 2*y + 11 = 3*m. Let n = 30/7 - 4. Which is greater: y or n?
y
Let h(u) = u**3 + 7*u**2 - 8*u + 9. Let p be h(-8). Is 9 greater than or equal to p?
True
Let w be (-226)/370 + (-4)/(-20). Let f = 2/185 + w. Which is smaller: -1 or f?
-1
Let w be (-10)/(-25) + 114/15. Suppose -4*m + f - 4*f = -w, -f = -3*m + 19. Is 5 at most m?
True
Suppose -f = -a + 2*a + 6, 0 = -2*a - 2. Is -6 != f?
True
Suppose -4*x + l - 146 = 3*l, x + 5*l + 32 = 0. Let f = 186/5 + x. Is f bigger than -0.1?
True
Let o be (-49)/4 + (-6)/8. Let u be o - (0 + -2 - 0). Is u not equal to -2/5?
True
Let k = 2.96 - -0.04. Let l(s) = s**3 - 7*s**2 - 6*s + 3. Let g be l(7). Let r = 155/4 + g. Is k not equal to r?
True
Suppose 51*l + 4 = 50*l. Is -1 >= l?
True
Let s = 7 + -8. Let z be -2 + -1 - (-3 - s). Let i be ((-5)/10)/(z/(-2)). Is i at least 0?
False
Let o be (-1)/15 + 4/10. Which is smaller: o or 4?
o
Let y = -47 + 469/10. Let p be (-2)/(-4)*(-1 + -1). Do p and y have the same value?
False
Let c be (1/2)/((-1812)/72). Let p = 329/1359 + c. Is -1 equal to p?
False
Let x = 4.32 + -0.02. Let r = 4 - x. Which is smaller: r or 2/7?
r
Let u = 74 + -155/2. Let c be ((-2)/(-5))/(4/120). Suppose c = y - 5*y. Which is greater: y or u?
y
Let r = -6 + 0. Let q = r + 2. Is -5 bigger than q?
False
Let l = -13 + 13. Suppose 0 = -5*p - 4*x - 20, 2*x + 3*x + 25 = l. Let q be (-1)/(-2) + (-15)/34. Which is smaller: p or q?
p
Suppose 0 = -3*x + 3*v + 39, -3*x - 2*v = -4*v - 44. Which is bigger: x or 17?
x
Let a = -3 + 2. Let d = 233/24 - 6061/120. Let z = -41 - d. Which is smaller: a or z?
a
Let x(n) = -n**2 - n + 1. Let j(z) = -6*z**2 + 3*z - 8. Let c(a) = j(a) - 5*x(a). Let b be c(6). Are 1/13 and b unequal?
True
Let a be (1 + 0)/((-4)/(-1)). Suppose 4*n - 4*q - 16 = 0, 0 = 5*n - 4*q + 2*q - 17. Let h = -2 + n. Is a at least h?
False
Let h be (1*2)/(2/(-1)). Let y = h + 0. Let s be 0/(0 + 0 + 1). Which is smaller: y or s?
y
Suppose 3*l - 6 = -u, 3*l = -0*u + 2*u - 3. Let h = -3.7 + 0.7. Are h and l nonequal?
True
Let d = 2/25 - 13/100. Which is greater: -1/2 or d?
d
Let c(k) be the first derivative of k**4/4 - k**3 - 5*k**2/2 + 4*k + 2. Let q be c(4). Is q >= 0?
True
Let r be 4 - (-3 - (0 + -1)). Let o be r/15 + (-626)/(-5). Let t = o + -126. Which is greater: 1 or t?
1
Let q = -62.1 - -62. Let w = -3.6 + 5.3. Let f = w - 2. Is f equal to q?
False
Let j = 12 - 7. Suppose 4*v = j*z + 27, 9*z + 21 = 2*v 