se -4*k - 12 = 0, 0 = 4*i - 9*i - 4*k + 2593. Let h = 4163/8 - i. Which is smaller: s or h?
s
Suppose -p = -4*p + k + 114, k = 0. Let r = -184/5 + p. Is 0 <= r?
True
Let b be -6*(-2 - (-5)/2). Suppose 0 = 2*j + 5*j + 2*j. Let s be j/((0 - b) + -6). Is 0 smaller than s?
False
Let w = -1 - -3. Suppose -m + 6 = w*m. Let y be m/(-3) + (-77)/33. Which is smaller: y or -4?
-4
Suppose -8 = 4*y + 4*p, 0*p = -4*p - 8. Which is greater: y or 15/172?
15/172
Suppose 5*w + 56 + 77 = -n, 3*w - n + 75 = 0. Let t = w + -4. Does -30 = t?
True
Suppose 0 = 5*q - 20, -10 = 2*b - 3*q + q. Let o be (-2)/69*(-3)/6. Which is smaller: o or b?
b
Let i = -1 - -1.2. Let j = -2.2 + i. Suppose 35 - 5 = 5*z + 5*x, 0 = -4*z - 2*x + 14. Is z less than j?
False
Let q = -5 - -23. Let c be (-12)/q*(2 + (-38)/4). Is c at least 21/5?
True
Let u = -3 + 2.8. Let q = -147 - -155.7. Let i = -9 + q. Is u at least i?
True
Let h(l) = -l + 3. Let x(q) = -2*q + 6. Let r(m) = -11*h(m) + 6*x(m). Let z be r(5). Do -3/5 and z have the same value?
False
Let p = -38 - -3913/103. Let n = 201/515 - p. Let a(r) = -r**3 + r**2 - r + 6. Let m be a(0). Is m greater than n?
True
Let l = 38.2 + -38.3. Let g be (2/(-2))/(3/(-30)). Let o be (g/(-16))/(-4 + 3). Which is bigger: l or o?
o
Let p = -151 + 222. Suppose -179 = -4*o - p. Let k = 21 - o. Is -6 greater than k?
False
Let f(y) = y + 9. Let d be f(-8). Let k(t) = 22*t**2 - t. Let v be k(d). Suppose 4*g + v = 1. Is g at least as big as -2?
False
Suppose 0 = -4*j + 5*y - 3, 0*j - 3*j + y = 16. Let f be ((-12)/j)/(3*(-6)/(-63)). Is 7 at least f?
True
Let s = 44 - 77. Is s greater than or equal to -34?
True
Let y = 14 + 11. Let w = y - 6. Let n = w - 18.9. Are 11 and n unequal?
True
Let n = 13 - 13.03. Let l = 1.07 - n. Let i = l + -0.1. Is 2 greater than i?
True
Let s(o) = o**2 - 4*o + 1. Let y be s(3). Let x be 2/(y/9 - 0). Which is bigger: -6 or x?
-6
Let t(q) = 6 + 0 + 2 + q + 0. Let n be t(-7). Is n < -1/64?
False
Let c = 145.5 - 143.5. Let k be -1*(0 - -2)/4. Are c and k equal?
False
Let h = 417331/64610 + 64/923. Let g = 33/5 - h. Which is smaller: g or 1/7?
g
Let w = -647 - -656.7. Which is bigger: 0.4 or w?
w
Let z be 0/(7/(4/4)). Is z greater than or equal to -1562?
True
Let l = 6.01 + -0.01. Suppose 4*n = 2*m - 14, -5 + 31 = -n + 5*m. Which is smaller: l or n?
n
Let t = 9.4 - -2.8. Let c = 5.8 + t. Are -1 and c unequal?
True
Let u = 40.1 + -23. Let m = u - 17. Let l = -7/51 + -41/816. Which is bigger: m or l?
m
Suppose 5*w + 13 = -12. Let p = 8 + -5. Suppose p*z = 1 + 5. Is w < z?
True
Let w be (-2)/(-2)*(0 - 78). Let i = -1871 + 1871. Which is smaller: w or i?
w
Let c = 257 + -264. Which is bigger: -74/9 or c?
c
Suppose -56*o + 19*o = 20*o. Which is smaller: o or 2/543?
o
Suppose -3*k + 4*k - 2*p = -450, 2*p = -k - 458. Let n = 20426/45 + k. Is n at least 1?
False
Let b = -50.1 + 55. Let n = -7.9 + b. Which is smaller: n or 2?
n
Let l = 149 - 198. Is -52 < l?
True
Let f = -4.4 + -0.6. Let t = 8 - 7.3. Let x = 0.8 - t. Are x and f non-equal?
True
Suppose -i = 15 - 14. Is i less than 1/68?
True
Let l = -6 - -1. Let t be ((2529/(-114))/(-3))/l. Let n = t + 3/38. Which is bigger: 0 or n?
0
Suppose -40*k - z = -39*k - 1, 4*z = 4*k + 4. Which is smaller: k or -4/9?
-4/9
Let a(y) = 10*y + 139. Let f be a(-13). Let g(x) = -x**3 + 11*x**2 - 10*x + 3. Let o be g(10). Which is greater: o or f?
f
Suppose -o + 3*m + 12 = 0, -4*o + o - 3*m = -12. Let b be ((-36)/30)/(o/(-20)). Let v be (-8)/(-6)*(1 - b). Is -7 bigger than v?
False
Let n = -63.059 + 63. Let r = n + 0.059. Is r at most as big as -6?
False
Let r = -39 + 59. Suppose -r*x = -15*x. Let c = -111/143 - -6/11. Is x not equal to c?
True
Let b be 7 + 2036/(-284)*1. Is b >= 0?
False
Let h(m) = 4 - m**3 + 6*m - 4 + 6*m**2 + 7. Let l be h(7). Let y be 1/(-21)*-7*4/6. Is l bigger than y?
False
Let n be (2*-1)/((-2)/4). Let r be ((-1092)/195)/(44/(-30)). Which is bigger: r or n?
n
Suppose -1270*y + 71 = -1271*y. Is y less than 4?
True
Let z = -244 - -2192/9. Is z smaller than -1/3?
True
Suppose 0 = -14*o - 344 + 134. Suppose 2*a - a = -17. Which is smaller: a or o?
a
Let n = -9/23 - -59/92. Which is smaller: -7/22 or n?
-7/22
Let i be (-140)/21*(-48)/10. Suppose 2*y = 4 + i. Suppose 0 = -7*o + 4*o - y. Is -6 less than o?
False
Let y(d) = 2*d - 30. Let w be y(21). Let m be (-1276)/(-768) - 20/w. Is m < 0?
True
Let p(x) = -17*x - 1. Let i be p(4). Let r = i + 2140/31. Suppose 13*v = -7*v + 17*v. Which is bigger: v or r?
r
Let t be -21*((-30)/18 - 0). Let j = -32 - -68. Which is bigger: t or j?
j
Let r be (2/(-54)*3)/(10/(-90)). Let o be (-16)/(-7) + 4/(-14). Which is smaller: o or r?
r
Suppose -5*y + 65 = 115. Is y greater than -8?
False
Suppose 0 = 2*i - 7*g + 2*g + 115, g + 130 = -3*i. Suppose 0 = 3*s - 3*j + 129, -5*s - 231 = -11*j + 14*j. Is s at most as big as i?
True
Let d(a) be the first derivative of -a**3/3 + 5*a**2 + 11*a - 4. Let f be d(11). Which is smaller: -5/6 or f?
-5/6
Let v = 28.098 + -28. Let m = v + -0.198. Let f = 5 - 9. Does m = f?
False
Let u be 11/(-2) - 9/18. Let t(m) = m - 3. Let i be t(-4). Is i at most u?
True
Let a = 0.11 + 1.39. Let s = a + -0.9. Suppose 0 = 3*z - 0*z + 3. Is s at most as big as z?
False
Let f be 60/175*9/180. Is f not equal to 0?
True
Let n be ((-62)/6)/(5/(-3)). Let b be 57/(-285) + 31/5. Are n and b equal?
False
Let m be (-16352)/(-8169) + (-2 - 0). Is -1 at most m?
True
Let k = 95 - 94.67. Which is smaller: -2 or k?
-2
Suppose 4*b + 16 = -0. Let q be (2/(-12))/(b/(-6)). Let g be 1/((-2)/(-10) + 0). Which is smaller: g or q?
q
Let l = 396 - 383. Is -4/3 > l?
False
Let n be 13021/1659 - 8 - 2/(-14). Is 0 < n?
False
Let l = 56 + -130. Let w = -73.9 - l. Is w at most as big as -3/11?
False
Suppose -5*c - 10 + 5 = 0. Let v = c + -4. Let i(h) = -h**3 - 5*h**2 + 2*h + 7. Let x be i(v). Which is greater: -2 or x?
-2
Suppose -6*r + 7*r = -1, -4*h - 9 = 5*r. Let x be 5/(30/(-6)) - (-11)/h. Which is smaller: x or -11?
x
Suppose -2*t - 5*o = -18 + 2, -5*t + 7 = -4*o. Let v(k) = k**2 - 2*k + 2. Let q be v(t). Let b be q/(-15) - 22/(-12). Which is bigger: b or 0.1?
b
Suppose -3*c - 2*f = -2 - 4, -3*c - 3 = 5*f. Suppose 5*p = -m + 3*m + 7, -4 = -4*m + c*p. Suppose 2*l = m*l - 14. Is 8 bigger than l?
True
Let i be (0/(2*-1))/(123/(-41)). Let a be (-1 + i)/(2/36*6). Is -2 at most a?
False
Let w = 19011/4 - 4726. Which is greater: 26 or w?
w
Let n = -1261/4 + 315. Which is bigger: 208 or n?
208
Let k be 54/60 - (-1)/(-2). Let c be (3/9*(-6)/(-27))/2. Are c and k unequal?
True
Let q = 185 - 184. Which is bigger: q or 7/3?
7/3
Suppose 0 = 3*n + 68 - 2. Are -23 and n unequal?
True
Suppose -15*f - 4*f + 19 = 0. Which is smaller: f or -101?
-101
Let d be (-18)/12*12/(-9). Suppose -d*o + x = -20, 2*o - 2*x - 22 = -0*x. Which is greater: o or -2/5?
o
Let m = -671 - -676. Do m and 38/7 have different values?
True
Let t = 0.4 + -0.4. Let j = -13.95 + 14. Let a = -0.03 - j. Is a at most t?
True
Suppose 60 = -547*p + 541*p. Is p greater than -142/13?
True
Suppose 5*h - 11*h = -36. Let i be (8/(-32))/((-2)/h). Which is smaller: i or 1?
i
Let o be (6545/280)/(4/(-16)). Do 1/4 and o have different values?
True
Suppose 0*j - 2*j = t + 7, -3*j - 9 = t. Let d be t + -59 + (4 - 1). Let n = d - -175/3. Is n smaller than 0.02?
True
Suppose -58 = -4*i - 5*b, 5*i + 0*b = -4*b + 68. Suppose -9 = -w + 4*j, 4*w - 3*j - i = j. Let k(d) = d**3 - d. Let a be k(1). Which is greater: w or a?
w
Let y = 19 + -23. Let p = -3.82 - y. Is 0.1 bigger than p?
False
Let n = -883 + 884. Is n at most 208?
True
Let h = -46 - -125. Do 79 and h have different values?
False
Suppose 3 = -4*m - p, 4*m + 2 = 3*p - 5. Let n(t) be the second derivative of -t**5/20 - 5*t**4/6 - 3*t**3/2 - t**2/2 - 3*t. Let g be n(-9). Is m equal to g?
True
Suppose 3*h - 5*t + 3 = 0, -h - 11*t + 10 = -9*t. Which is smaller: -7 or h?
-7
Let s = 893 - 33029/37. Which is smaller: s or -1?
-1
Let l = -45.05 - -48. Let i = 0.05 + l. Let b = i + 1. Is b != -1?
True
Let l be (1 - -2) + (-30)/28*2. Is -2/19 at least as big as l?
False
Let t be (5/(-10))/((-4)/(-24)). Let k = t + 4. Is k less than -2/89?
False
Let d = 9932/27 + -1100/3. Is d smaller than 0?
False
Suppose 6 = 16*u - 10. Let k be (-4)/(-2) - (-3)/(-3). Let i be (-2 + 0)*(0 - k). Wh