54 - -5/38. Is d <= -1?
False
Suppose 8*l - 34 + 26 = 0. Let v be 2/2*-2 - 1. Which is smaller: v or l?
v
Let d = -15 - -7. Which is greater: d or -7?
-7
Suppose -s + 3 = -11. Which is bigger: s or -1?
s
Suppose i + 8 = 2*i. Let y be -1*2*(-12)/i. Let m be 2*(y/(-6) - 0). Which is bigger: -1/5 or m?
-1/5
Let i be (1 - 2)/(1 - 0). Which is greater: -2/7 or i?
-2/7
Let q = -23 - -28. Is 1 less than q?
True
Let o(l) = l + 12. Let u be o(-9). Let m = u - -3. Suppose -4 = f - m. Is f > 1/2?
True
Let s = 13/3 - 4. Let f = -0.4 - 2.6. Let j = f - -4. Does j = s?
False
Let t = -0.3 - -0.2. Let y = 0.25 - 0.15. Is y less than t?
False
Let k be 12/16 - (-9)/(-12). Which is smaller: k or 5/4?
k
Let i = -2/29 + -21/116. Suppose 3*f - 21 = 3*c, 2*c + 18 = -0*c - 2*f. Which is smaller: i or c?
c
Let i(u) = u**3 - 9*u**2 - 12*u - 12. Let p be i(10). Is p bigger than -31?
False
Suppose 0*g = 2*g - 4. Suppose 0 = -3*t + g + 1. Let d = 1 - t. Which is smaller: -2 or d?
-2
Let k be 9/(-27) - 240/9. Is -26 smaller than k?
False
Suppose 22 = -2*s + 5*u, -4*u + 38 = -2*s - 3*s. Let b = s + 7. Which is bigger: b or -1/4?
b
Let m = 196 + -196. Which is greater: -0.06 or m?
m
Let k = -1 + 0.84. Let x = k - 0.84. Is -2 < x?
True
Suppose -16 = -4*k, -k + 2 = 2*f - 0. Let i = -2/53 + -202/265. Is f at least i?
False
Suppose 5*x = 4*c + 45, -6*x + 5*c + 45 = -2*x. Let n = 3 - x. Let h be ((-9)/6)/(0 + 2). Is h less than n?
False
Suppose 5*o + 238 = -72. Is -61 not equal to o?
True
Suppose d + 0*d = 0. Let p = 135 + -678/5. Which is greater: d or p?
d
Let d(p) = p + 1. Let i be d(-7). Let g(o) = 2*o**2 - 2*o - 2. Let l be g(2). Let c be l*i/(-4) + -1. Is 3/4 at most as big as c?
True
Let j = 86 + -88. Are j and -5/6 equal?
False
Suppose -3*p - 9 = 0, 0 = 4*z + 3*p + 2*p + 7. Suppose -z*l + 8 = -6*l. Let t = -9 + 8. Which is greater: t or l?
t
Suppose t = -3*p + 9 - 2, 4*t - p = 2. Suppose -2*n - 3*a = -10, n - 3*a + 8 = 2*n. Is n <= t?
False
Let n be 15*3*(-12)/10. Let c be (-32)/n + 16/(-24). Which is bigger: c or -1?
c
Suppose -10 = -k - k. Suppose -5*m + 2*r + 1 = -8, k*r = 5*m. Suppose 7*y - 18 = -3*v + 3*y, m = y. Which is greater: v or 3?
3
Let y = 15.81 - 16. Let r = y + 0.12. Is 0 < r?
False
Let w(r) = -r**3 + r**2 + r + 2. Let z be w(0). Suppose -2 = z*t - 0*t. Which is bigger: 1/16 or t?
1/16
Let w = -22 - -265/12. Let n = -3/4 + w. Suppose -3 - 3 = 3*f. Which is smaller: f or n?
f
Suppose 3*y + s - 8 = 0, 0*y - 16 = -2*y + 2*s. Suppose 4*t + 5 = 5*o, 6*o - 5 = o - y*t. Let m be (o + -2)*(-1)/(-1). Is -3 at most m?
True
Let v = -2 - -8/5. Suppose 4*y = -y - 5. Is v greater than y?
True
Suppose p + 3 = 1. Which is smaller: p or 3?
p
Let x be (4 - 0) + 93/6*2. Which is smaller: x or 32?
32
Let b(q) = -3*q. Let k be b(4). Let o = 9 + k. Suppose 13 = -5*w - 7. Is w greater than o?
False
Let z = -33 + 49. Suppose 2 + z = -2*c. Is c at least -9?
True
Let l = -20 + 8. Let v be (-176)/(-24)*(-6)/4. Are l and v equal?
False
Let a(b) = b**2 - 21*b + 30. Let t be a(20). Is t equal to 10?
True
Let p be (-3)/4*6/18. Let a = 2 + -2. Let m = -1 + a. Which is bigger: p or m?
p
Let k = -4903/415 - -6/415. Let d = -57/5 - k. Suppose 0 = u + u. Which is bigger: d or u?
d
Suppose -2*x - 1 = 11. Suppose 2 = -4*v + 22. Let k = x + v. Is -1 not equal to k?
False
Let x be (9/(-2))/((-21)/14). Suppose 4*j + 6*o = o + 7, -x*j - o + 8 = 0. Which is greater: 2 or j?
j
Suppose -t - 2 + 0 = 0. Let c be (-2)/4 + (-1 - 1). Let r = c + 11/6. Is r <= t?
False
Let q = -85 - -86. Which is greater: 23 or q?
23
Let x be 2/7 - (-96)/(-42). Is -10/13 at most x?
False
Let j be 1 + -4*(-3)/(-2). Let h(w) = -3*w**3 + 7*w**2 + 3*w - 9. Let v(a) = 2*a**3 - 3*a**2 - a + 4. Let x(g) = 3*h(g) + 5*v(g). Let t be x(j). Is -2 != t?
False
Suppose -j - 4 = -2*j, -y - 2*j = -10. Which is smaller: 8/7 or y?
8/7
Let q be 5 + (-18)/4 - (-2)/(-4). Let d = -3 - -5. Let k = 2 - d. Is k < q?
False
Let k = -1580/261 + 66/29. Let u = -127/36 - k. Which is greater: -5 or u?
u
Let c be (32/(-12))/(2/(-3)). Let o be (-1)/5 - c/(-10). Is o greater than 0?
True
Suppose 0 = -4*m + 2*k + 12, 5*m + 11*k = 8*k + 4. Suppose -5*t = -25 + 5. Which is smaller: t or m?
m
Suppose 5*k = -25, f - 113 = -k - 3*k. Let i = -1061/8 + f. Is i less than or equal to 1?
True
Let k = -95/198 - -14/33. Which is smaller: 0 or k?
k
Let f be (-2)/((-104)/(-36))*1. Which is smaller: f or -1?
-1
Suppose -v = 5*o - 22, -8*v - 10 = o - 3*v. Suppose 2*a + 3*a = -o*i + 170, -2*a = i - 71. Let n = a - 109/3. Is -2 bigger than n?
False
Let o be (6/(-2))/(3 - 2). Let j be (-2)/((2 + o)*2). Does 0 = j?
False
Let k = -187 + 185. Let u be (6/8)/((-6)/(-4)). Are u and k equal?
False
Let g be 3/6*(2 + -2). Is 0 at least as big as g?
True
Let q = 6 + 0. Which is greater: q or -1/3?
q
Let s be (-8)/(-2) + (-66)/15. Is 1 less than or equal to s?
False
Let q be 6 + (2 - 3)*1. Suppose -2*x = -q*b - 30, -3*b + 0*x - 18 = -5*x. Let s = 19/56 - 5/8. Is b less than or equal to s?
True
Let h be (-1)/(-2) - (-17)/34. Is -2/63 > h?
False
Let w = -2/77 - -24/77. Let t = 0 + -0.2. Which is smaller: t or w?
t
Suppose -3 = -6*g + 5*g. Let s = 0 - 0. Which is smaller: s or g?
s
Let o(b) = -b**2 - b + 4. Let m be o(-3). Suppose 3*q + 4*d - 6 + 0 = 0, 0 = 3*d. Suppose -3*y - x = 10, -q*y + y - x = 4. Which is greater: y or m?
m
Let j = 1793/26 + -69. Is 0 smaller than j?
False
Let u = -6 - -5.8. Let w be (-2)/(-3)*18/(-12). Let b be w/(-4) + (-2)/4. Is b less than u?
True
Let y = 71/18 - 25/6. Which is smaller: y or 0.1?
y
Suppose -5*h + w + 212 = 0, 0 = -2*h + w + 3*w + 74. Let g = -18 + h. Let v be 2 - 5/(g/12). Which is greater: 1 or v?
1
Let s = 8 - 6. Suppose i = -2*x + s, -2*x - 3 = -2*i + 1. Which is bigger: x or 2/15?
2/15
Let r be 4*2/20*5. Let g(q) = -2*q - 8*q + q - q**r - 8. Let y be g(-8). Is -1 >= y?
False
Let h = -18 + 9. Suppose 3*x + 2*x - 20 = 0, x = -w - 6. Which is smaller: h or w?
w
Let v(d) = -d. Let j = 5 + -7. Let n be v(j). Suppose -n*s - 2*a + 8 = 0, s + 4 = -s + 2*a. Which is smaller: 2 or s?
s
Suppose -v + 1 = -3*g, -g - 4*v - 1 = 8. Let d = 90.3 + -95. Let k = -5 - d. Is g <= k?
True
Let i be (-2 - -6)*3/(-6). Let b = i + 4. Which is smaller: 3 or b?
b
Suppose 2*g - 4 = -k - 1, -3*k = 2*g - 29. Let f be (-3)/12*k - -3. Let s = 0 + 0. Is f greater than s?
False
Let b be 33/(-4) + (-3)/(-12). Let o = b + 10. Suppose o*m + 0 = -4. Is -2 greater than or equal to m?
True
Let f(b) = 8. Let t(q) = q + 1. Let z(v) = f(v) - 2*t(v). Let k be (2 + -1)/(1/4). Let g be z(k). Which is greater: g or 0.2?
0.2
Let l be (-184)/(-30) + (-30)/(-45). Is l bigger than 6?
True
Let a = -115 + 142. Are a and 28 nonequal?
True
Let h = -2996/143 - -270/13. Which is smaller: h or -1?
-1
Let c = -10 - -9.94. Is 0 not equal to c?
True
Let c(u) = 3*u - 1. Let a be c(-1). Let z be (6/20)/((-3)/a). Let g(b) = -b**3 + 7*b**2 + 7*b + 8. Let o be g(8). Is z at most as big as o?
False
Let x = 1/4 - 7/20. Is -2/5 less than x?
True
Let x be (19/(-190))/(0 + 1 + 0). Which is greater: x or -1?
x
Let k = -3 + 3. Let i = 2 - k. Is 2 greater than i?
False
Let x = -10 + 10. Let q = -2538/7 + 362. Which is greater: q or x?
x
Let d = 63 - 251/4. Which is smaller: d or -70?
-70
Suppose -3 = m - 0. Suppose -1 = 3*h - 4. Let b = 0 - h. Which is greater: b or m?
b
Let v(k) = -4*k**2 + 1. Let x be v(-1). Does x = -2?
False
Suppose 3*n = -5*x - 3, 2*x = 5*n + 7*x + 5. Let j be 1*(2 - 0)/(-6). Are n and j nonequal?
True
Suppose 4*y + 0*n + 5*n + 5 = 0, -2*y = 5*n + 5. Let t(i) = -1 + 0 + 0*i**3 + i**3. Let p be t(y). Is -2/7 bigger than p?
True
Let f = -20 - -37/2. Is -3 at most as big as f?
True
Let d(p) = p**3 + 9*p**2 + 18*p + 6. Let z be d(-5). Which is bigger: z or 18?
18
Let p = -253 + 146. Let z = p - -751/7. Let v be 2/(-1)*(-2)/4. Is v != z?
True
Let q(k) = k**3 - 3*k**2 + k - 4. Let f be q(3). Let i be -2*(18/28 + f). Which is smaller: i or 1?
i
Suppose 5*r - 1 = j, 0*r - 4 = 2*r. Does j = -18?
False
Let u = -0.04 - 8.96. Which is smaller: 0.1 or u?
u
Let g(k) = k**2 + 7*k. Let p be g(-8). Let n = p - 10. Is n at most -3/8?
True
Suppose -2*n - v = 0, 2*v = 2*n - n + 5. Suppose a - 3 = -5. Is a > n?
False
Suppose -4 = -2*f - 6. Is -7 at most as big as f?
True
Let v = -5232/80135 - -2/2585. Which i