Let i = t + -8. Is i < 9?
False
Let n be (-2)/8 - 279/(-12). Suppose -5*s = -10*s + 60. Let f = s - n. Is -1 greater than f?
True
Let n = 89 + -89.15. Let b = -8 - -19. Let t = 12 - b. Which is greater: t or n?
t
Suppose 6*v + 27 = -9. Let r(f) = 2*f - 11. Let s be r(8). Suppose 2*w = -2*j - 14, -s*w - 5*j = -6*w - 13. Which is bigger: v or w?
v
Let k = 793/3 + -265. Is 181/2 > k?
True
Let b(l) = -2*l + 1. Let h be b(-3). Let n(r) = -r**2 + 10*r - 3. Let x be n(h). Let z = -18 + x. Does 1 = z?
False
Let q = 2986 + -8987/3. Is 4/11 smaller than q?
False
Let p(w) = -2*w - 7. Let o be p(-3). Which is smaller: -3.8 or o?
-3.8
Let y = 1412 - 1463. Which is smaller: -57 or y?
-57
Suppose -24*t = -28*t. Suppose 5*j - 10*j = t. Which is greater: 4/25 or j?
4/25
Suppose x = 2*h + 194, 3*x - 2 = 2*x. Let w be (1/((-15)/h))/(3/15). Is 33 at least w?
True
Let i(t) = -3*t**3 - 12*t**2 + 7*t. Let x(l) = -l**3 - l + 1. Let h(k) = -i(k) + 4*x(k). Let d be h(11). Let j = 10 - 4. Which is greater: j or d?
j
Let b be ((-5)/2)/((-9)/90). Let a = -39 + b. Which is bigger: -51/4 or a?
-51/4
Let k(j) = -17*j + 351. Let d be k(12). Is 148 at least d?
True
Suppose -2 = 2*k, -u + 2*k + 66 = -42. Is u at least as big as 104?
True
Let y be 3/(-9) + (-2)/(-6). Let t = 20 - 19. Let b be t*4/8*-2. Which is greater: b or y?
y
Let u = -150 + 79. Let w = -69 - u. Which is smaller: w or 3?
w
Let d be ((-2)/3)/(9/3186). Do -237 and d have different values?
True
Let x be -4*(63/(-26))/9. Which is greater: 1 or x?
x
Let s = 7 + -13. Let u = -2 - s. Let k = u - 1. Which is greater: k or -1/4?
k
Let m be -39*(-3 + 4/1). Let n = 14 + m. Is -24 bigger than n?
True
Let s = -24 + 104. Suppose -4*u = -4*r - s, 2*r - 8 = -u - 0. Is u less than 15?
False
Let u be (28/105)/2*(-117)/150. Is u at most as big as -1?
False
Let w be (-4)/243*(-6)/(-4). Let p = w - 148/567. Let b = 0.44 + -0.24. Which is smaller: p or b?
p
Let g = -4021 - -4038. Suppose 4*d + 106 = 5*l, -2*l - l = -5*d - 74. Which is bigger: l or g?
l
Let m = 0.801 + -0.671. Which is bigger: m or 2/3?
2/3
Let n = -0.4 + 93.2. Let f = n + -91. Is f > 0.2?
True
Let y = -220 - -220. Which is smaller: 48 or y?
y
Let t = 61.2 + -60.79. Which is bigger: t or -3?
t
Let a = -0.181 - -0.281. Is a less than 1/48?
False
Let y = -2.95 + -0.05. Let r = -1 + y. Let v = 5 + r. Is -2/5 bigger than v?
False
Let d = -0.49 + -23.51. Let x = -7 - d. Let o = 16 - x. Which is smaller: o or -1/3?
o
Let o(x) = 3*x**3 + 10*x**2 + 6*x - 5. Let b be o(-4). Which is bigger: b or -0.1?
-0.1
Let a = -98 - -52. Let c = -46.1 - a. Is c less than 1.4?
True
Let g be -1 + 1 + (-1 - 2). Let z be 83/4 - (-4)/16. Suppose -4*d = -5 + z. Is g less than d?
False
Let i be 2/2 - (-4 - -3). Suppose -35 + 111 = 5*z + 4*s, -5*s + 30 = 3*z. Is i less than or equal to z?
True
Let a(t) = t**3 + 8*t**2 - t - 2. Let y be a(-8). Let h be (-48)/9*y/(-4). Is 9 at most as big as h?
False
Let k be 1/2 + 4/8. Let i = -1205/7 - -170. Let y = -47/35 - i. Which is smaller: y or k?
y
Let r(n) = -n + 17. Suppose 4*z + 5*x = 68, 5*z - 2*x = 3*x + 85. Let u be r(z). Is 15 greater than u?
True
Let d = 3.0995 + -0.0995. Which is greater: d or -112?
d
Let g = -86237/1212 - -287083717/93324. Let b = 3005 - g. Is b != -1?
True
Let w = -169/4 + 89/2. Suppose -2*m + 20 = -0*m - 2*u, -m - 3*u = 6. Suppose b - 5*o - 21 = 0, -17 = -5*b + m*o - 3*o. Is b > w?
False
Let l = 142.8 - 127.8. Let s = -7.9 + 6. Let z = -2 - s. Which is bigger: l or z?
l
Let z be (3 - 5)/1*-193. Is z at least as big as 382?
True
Let d be (-11)/(-5 + 584/120). Which is smaller: 83 or d?
d
Let m = -168 - -163. Is m greater than or equal to 1/3?
False
Suppose -4*p - 2*w = -691 + 271, 2*p - 218 = -5*w. Which is smaller: p or 101?
101
Let k(x) = x**3 + 2*x**2 + 1. Let h(t) = 4*t**3 + 5*t**2 + 2*t + 7. Let d(j) = -h(j) + 6*k(j). Let v be d(-3). Is 14 bigger than v?
False
Suppose -12 = 4*i + 12. Let o be ((-4)/i)/((-3)/54). Suppose 0 = 2*h + 2*f + 32, 4 = -3*f + 2*f. Is o less than h?
False
Suppose -12*d = -0*d - 960. Which is smaller: 78 or d?
78
Let x = 216/35 + 2823/70. Which is bigger: 46 or x?
x
Let p = -28 - -30. Suppose 0 = p*y - 6. Which is greater: 4 or y?
4
Suppose 4*o - 5*i + 89 = -125, 5*o + 253 = -i. Let n be (1*1/o)/((-10)/30). Is 1 at most n?
False
Suppose 3*o = k + 16, -22 = -3*o + 3*k - 4. Suppose -2*i = -3*g - 27, g + 15 - o = i. Which is greater: -1 or g?
-1
Suppose -4*q + 7*q = 36. Suppose -i - 3 = q. Which is smaller: -1 or i?
i
Suppose -4*u - 5 = -9*u. Suppose 4*h + 9 = u. Let g be ((-4)/32)/((-1)/(-6)). Which is smaller: g or h?
h
Let l = -10 + 29. Suppose -6*x = -12, 3 = -p - 4*x + 32. Which is greater: p or l?
p
Let f(t) = -t**3 - 3*t**2 + 1. Let x be f(-3). Suppose -39 = -5*b + x. Let c be (b/84)/(1/(-6)). Which is greater: -0.2 or c?
-0.2
Suppose 2*s - 245 = -3*a + 155, 0 = -2*a. Are s and 200 non-equal?
False
Let o = 16 - 12. Let p be (23 - (3 - o))/1. Let c be (2 - p)/(1 + 1). Which is smaller: c or -10?
c
Suppose -o - 42 = -32. Which is smaller: -20 or o?
-20
Let q be (2*4/8)/1. Let i(v) = -2*v**2 + v - 2. Let n be i(q). Is -1 at most as big as n?
False
Suppose 21*t + 271 = -65. Is t greater than -16?
False
Suppose 4*r - r + 15 = 0. Let m be 44/8*(1 - -7). Let q = m - 48. Which is bigger: r or q?
q
Suppose 4*v = v - 117. Is v >= -41?
True
Let r be (-17)/(-3) + 12/(-18). Let s = 9 - r. Suppose -4 + 0 = -s*t. Is 2/15 less than t?
True
Let d be (-4)/18 + (-591)/(-108). Suppose -5*a + i + 31 = -3, -5*i = -3*a + 38. Which is smaller: a or d?
d
Suppose -28*g = -35*g - 3192. Let r = g - -5924/13. Which is smaller: r or 4?
r
Let w = 641 - 318. Let h be w/(-171) - (0 + -3). Is -0.1 >= h?
False
Let f be 6/(-9) + 4/6. Let z = 10 + f. Suppose 2*q - 2*c + z = 0, 4*q + 3*c = -2*c - 11. Which is bigger: q or -5?
q
Suppose 309 = -12*j + 15*j. Is 107 at most as big as j?
False
Let r(c) = 15 - 6 - c - 7 - 8. Let l(m) = -2*m + 3. Let y be l(5). Let p be r(y). Which is bigger: p or 0?
p
Let p be (435/436 - 1)*3/6. Which is smaller: 0 or p?
p
Let n be (-4 - -6) + (1 + -1)*-1. Let d(t) = t + 3. Let k be d(0). Which is greater: k or n?
k
Suppose 4*v = -3*r - 695 - 237, -r = 2*v + 466. Which is smaller: -234 or v?
-234
Let b be (-18)/144*(0 - -2). Which is smaller: 248 or b?
b
Let g = 115 + -111. Suppose -4*v - v - 2*y = 17, 2*v - 2*y + g = 0. Let h = 1.1 + -5.1. Which is smaller: h or v?
h
Let d(a) = 5*a**3 - 7*a + 5. Let x be d(2). Is x at least as big as 26?
True
Let b be (-5 - (-1070)/215)/(-2 - -1). Is b < -1?
False
Let a = -114442/495 - -1156/5. Which is smaller: 1 or a?
a
Let s = -42 + 46. Let z be (-14)/s*(-20)/(-160). Is 0.1 less than or equal to z?
False
Suppose -34*s + 35*s + 1 = 0. Let a be -3 - (s + (-8)/(-4)). Is -36/7 >= a?
False
Let o = 63 - 91. Let k = -9 + 35. Let f = o + k. Which is smaller: -6 or f?
-6
Suppose 5*c = -7*c + 12. Which is smaller: c or 4/191?
4/191
Suppose -23*o - 27782 - 4326 = 0. Which is smaller: o or -1395?
o
Suppose 90 = -4*h + q, -2*q = -4*h - 7*q - 102. Let m = h - -22. Which is smaller: -0.4 or m?
m
Let v be 10/(-12)*(-792)/18. Is 37 < v?
False
Suppose -3*l + 2782 = -l. Let d be 5 + 174780/(-125) + 2. Let a = d + l. Which is smaller: 1 or a?
a
Suppose 0 = -2*i + 68 + 40. Suppose 5*j + 19 = i. Suppose -j*t - 20 = -2*t. Which is smaller: -5 or t?
-5
Suppose -t + 11 - 1 = 0. Let z be t/3 - 0/1. Let j be 10 - 4 - ((-3 - 5) + 10). Which is smaller: z or j?
z
Let n = 22 + -10. Let r be ((-1)/2)/(n/(-96)). Let i be 4/(-1) - 12/r. Which is bigger: -5 or i?
-5
Suppose -15*s + 2 + 88 = 0. Which is smaller: s or 46/7?
s
Suppose w + 1561 = -2*s, -2*s - w - 1564 = w. Is s < -780?
False
Suppose 18*j - 411 = 291. Suppose j*a - 36*a = 189. Is 61 > a?
False
Let d(p) = 3*p**3 + p**2 + p - 1. Let q be d(1). Suppose 0*f = -q*f - 116. Is -28 equal to f?
False
Let o be (-28)/(-360)*(-2325768)/9. Let r = o - -20099. Let n = r + 1/135. Which is smaller: 0 or n?
n
Let y(u) = u**2 - 8*u - 84. Let x be y(-6). Which is smaller: x or -3/119?
-3/119
Let g = 13.1 - -1.9. Let w = -0.14 + 0.54. Is w less than g?
True
Suppose 4 = -2*i - 2*a + 6, -4*i = 5*a - 3. Suppose -h = -2*l + i, -5*h - 5*l - 25 = -0*h. Which is smaller: h or -19/4?
-19/4
Let n = 1109 - 1080. Which is smaller: 19 or n?
19
Let m = 4.14 - 3.93. W