 greater than 28?
False
Suppose 0 = -v + 4*v + 21. Let j = v + 17. Suppose -2*o - 2*n + j + 0 = 0, 4*o + 5*n - 25 = 0. Which is greater: o or 1/2?
1/2
Let u = 60 + -84. Which is smaller: u or -25?
-25
Let c = 46.6 - 3.6. Let s = 45.1 - c. Let y = 2 - s. Is y at most -0.1?
True
Let d be (2 + -5)*15/(-15). Which is bigger: d or 1.2?
d
Let n = 1 + -2. Let i be -1*(1 + 3 + -5). Let t = n + i. Are 1 and t equal?
False
Suppose 0 = i - 2*q + 3, i + 0*i + 1 = q. Let o be -3 - (0 + i)*-6. Suppose -o*j + 5 = -2*j. Which is bigger: 4 or j?
j
Let t = -1/4 - -7/16. Is -1 bigger than t?
False
Let r = -5 - -4. Let f(j) = j + 4. Let g be f(-6). Which is bigger: r or g?
r
Let b be (-10)/(-6)*-1*-3. Let z be (-30)/51*b + 3. Which is greater: -1 or z?
z
Let i be (-21)/14 - 3/(-6). Is -1/8 less than or equal to i?
False
Let i be (-9)/(-12) + (-35)/20. Let q be (7 - 5) + i/(-1). Are 2 and q non-equal?
True
Suppose -2*h - 17 = 3*q, 4*q + 32 = h - 6*h. Let d be -1*(-2)/(-2) + q. Which is smaller: d or -9/2?
-9/2
Let w be 200/(-22) + 19/209. Is -7 at most w?
False
Let k = -0.4 + 0.5. Which is smaller: k or 1?
k
Let y = 18/11 - 335/198. Is -1 smaller than y?
True
Let k be 3/(1/(-2) + 0). Let m be ((-1)/2)/(k - 4). Which is greater: 1 or m?
1
Let p = -68 + 59. Is -44/5 not equal to p?
True
Let l be (-9)/102*2/(-6). Let w = l + 219/68. Which is bigger: w or 2?
w
Suppose 4*g - 34 = -3*f, 0*f - 4*f = -2*g - 16. Let s be f/(-27) + (-4)/(-18). Which is smaller: s or 1/9?
s
Let y = -3/175 + 558/1925. Is 0 at least as big as y?
False
Let r be (460/(-75) + 6)*-5. Let j(o) = o + 2. Suppose -5*h - 15 = -0. Let u be j(h). Which is smaller: r or u?
u
Let s(x) = -6*x**3 - 2*x**2 - 2*x - 2. Let p(k) = 3*k**3 + k**2 + k + 1. Let q(j) = -5*p(j) - 2*s(j). Let d be q(-1). Is d > 0?
True
Let i = 1 - 1.03. Let b = 3.97 - i. Is b at most as big as 0?
False
Let i be 280/133 + 2/(-1). Is -1 less than i?
True
Let m = 3 + 10. Let g = m + -8. Suppose 0*a = g*a. Which is smaller: a or 2/15?
a
Suppose y - 4*y - 12 = 0. Let u = 39 - 37. Let b = u + y. Which is bigger: b or 0?
0
Let n = 0.5 + -0.8. Let l = -7 - -5. Let h be -1 + -2 + (-5)/l. Are n and h non-equal?
True
Suppose 3*x = -n + 12, 0 = 2*n - 2*x + x - 10. Suppose -4*m - 5*o = -8, -m - 2*m + 29 = -2*o. Which is smaller: m or n?
n
Let k be 0 - (3 + (4 - 3)). Is k less than -19/4?
False
Let w(l) = -l**3 - 4*l**2 - 1. Let i(f) = f**3 + 7*f**2 + 2*f + 10. Let n be i(-7). Let z be w(n). Suppose q - 3 = -5*t - 12, 5*t = -3*q - 7. Is q > z?
True
Let o = -56 - -59.95. Let q = -0.05 - o. Which is greater: -1 or q?
-1
Let h be (-627)/(-540)*3 - 4. Let x = -11/12 - h. Which is greater: 1/2 or x?
1/2
Let u = 9717521/12263330 + 79/30890. Let n = u + 2/397. Let b = 2 - 2. Is b >= n?
False
Let y = 0.8 - 6.8. Let s = y + 12. Let j = -7 + s. Which is smaller: j or -2?
-2
Let b = 11/105 - 1/210. Which is greater: b or -0.2?
b
Suppose 3*h + 16 = h. Let m = h - -4. Let v(a) = -a - 7. Let t be v(-4). Is t at most as big as m?
False
Suppose -x - z = -5, 0*x + 2*x - z = -5. Suppose f - 3 = -x*f. Which is smaller: f or 4?
f
Let n be (-162)/(-15) - 1/(-5). Which is smaller: n or 15?
n
Let r(q) = -q**3 + 5*q**2 + 3*q + 2. Let o be r(6). Is -15 > o?
True
Suppose 2*y = 4*y. Let z be 2*3*(-2)/(-78). Which is smaller: z or y?
y
Let h be 66/(-21) + (8 - 4). Which is smaller: 1 or h?
h
Let r = -0.08 - -4.08. Let g = -21 + 14. Let i = r + g. Which is smaller: i or 0?
i
Suppose -4*y = 3*r - 4, 0 = -3*y + 5*r - 6 - 20. Suppose i + 0*i = g - 1, 5*g - i = 9. Let h = g - 3. Which is smaller: y or h?
y
Let y(o) = -o**2 + 9*o + 6. Let t be y(9). Let p(z) = z**3 - 5*z**2 - 5*z - 4. Let u be p(t). Is -1 != u?
True
Let j be (-15 + (-1)/(-1))/(81/(-18)). Which is smaller: j or 3?
3
Let g(l) be the third derivative of l**4/24 + 4*l**3/3 + 2*l**2. Let h be g(-6). Let o = -3 + 4. Is h > o?
True
Let u(g) = -5*g**3 - 4*g**2 - 5*g - 4. Let p be u(-2). Is p smaller than 30?
False
Let a be (-3)/((-51)/(-32)) + 2. Let o(h) be the third derivative of -h**5/60 - h**3/6 - 2*h**2. Let i be o(0). Which is greater: i or a?
a
Let j(z) = 9*z - 7. Let f be j(-2). Is 0.1 at most as big as f?
False
Let o be (3 - 25/10)*-6. Which is smaller: o or -5?
-5
Let o = 16883/331 + -51. Is 0 greater than or equal to o?
False
Suppose -q - 4*q - 95 = 0. Let d = q - -27. Let c(n) = n**2 - 9*n + 10. Let p be c(d). Is p >= 2?
True
Let r = 35 - 35. Is r at most 1/22?
True
Let j(u) = u**3 + 10*u**2 - 13*u - 8. Let d be j(-11). Suppose 2*f = x + 3*x - d, -25 = -5*x + 4*f. Let z = -54 + 268/5. Which is smaller: z or x?
z
Let o = 2/153 + 1063/612. Let g(v) = v + 5. Let k be g(-4). Is k at least o?
False
Let b(i) = i**2 + 10*i - 193. Let l be b(-20). Let x(k) = k + 6. Let d be x(0). Is d less than or equal to l?
True
Suppose 0 = -c + 3*c - 8. Let b be (-3)/(-2)*c/6. Which is smaller: 2/17 or b?
2/17
Let h be (-6)/2 - (-44)/11. Does h = -1/6?
False
Let r = 142 - 992/7. Let i = -2.8 + 3. Which is bigger: r or i?
r
Suppose a = -5, 5*f - 8 = 6*f + 2*a. Which is smaller: f or -23?
-23
Let a be (-3)/2*(-2 - 0). Suppose 0 = a*l + l. Let t = 362/7 - 52. Which is smaller: t or l?
t
Let w(p) = 2*p + 4. Let q be w(-5). Let r be (-1)/(1/(q/4)). Is 1 < r?
True
Let s be -1*(1 + -3) + -4. Let t be ((-10)/4)/(-5)*s. Let a = 2 + -2. Which is greater: a or t?
a
Let o = -3 + 2.9. Let w = -24.3 - -26. Let i = -0.7 + w. Are o and i unequal?
True
Let i = -51 - -73. Suppose -4*j + i = -2*d, -8*j = -4*j - 3*d - 23. Suppose 0*v - 5 = -j*v. Which is smaller: v or -2/7?
-2/7
Let k = 9 + -28. Let v = -19 - k. Which is smaller: v or 0.1?
v
Let t = -0.13 - -0.32. Let u = t - 0.09. Which is bigger: -10 or u?
u
Suppose 4 = 5*h + 14, -14 = 2*a + 2*h. Let g(z) = -z - 7. Let o be g(a). Which is bigger: o or -7/4?
-7/4
Let l = 0 + 0. Let r be 2*(-4)/16 - l. Let d = 0.1 - 0.2. Which is smaller: d or r?
r
Let q = 1 - 1. Suppose -4*d = 5*r + 14, 2*r - 15 = 2*d + 1. Let n be ((-45)/30)/(d/(-16)). Which is smaller: n or q?
n
Let v be (-9)/((-1)/4 + (-8)/16). Which is smaller: v or 11?
11
Suppose 3*q - 56 = -2*n, 48 = -q + 3*q - 4*n. Let r be ((-15)/q)/(-3 + 0). Is r bigger than 0?
True
Let v = 47 + -43. Which is bigger: 3 or v?
v
Let n be 1/(2*(-2)/(-4)). Suppose 0 = -12*r + 7*r. Is r at least n?
False
Let b = 0.6 + -0.1. Let z = -0.5 + b. Let c = -3.1 - -3. Do z and c have different values?
True
Let y = 4.73 - 4.5. Let l = 0.03 - y. Is l greater than -0.1?
False
Let n = -58 + 55.7. Let q = n - -3.2. Is q smaller than -1?
False
Let s(c) = -2*c + 3*c + 3 - 8. Let b be (4/(-6))/(4/(-24)). Let v be s(b). Which is bigger: v or -1/3?
-1/3
Let i = -301/171 + 25/19. Suppose 5*t = 3*t. Is t greater than i?
True
Let h = -6 + 12. Let u be (-2)/8 + h/(-8). Let s(p) = 2*p**2 - p - 1. Let w be s(u). Which is bigger: 3 or w?
3
Let j be ((-1)/(-8))/((-1)/(-138)). Let n be -17*3/6*2. Let h = n + j. Does h = 0?
False
Suppose -5*t + 2*l = 10, -4*t - 5*l = -7*t + 13. Let c = 43 - 43. Which is greater: t or c?
c
Let l(p) be the third derivative of -p**6/120 - p**5/20 - p**4/8 - p**3/6 + 6*p**2. Let j be l(-2). Are 1/46 and j unequal?
True
Suppose r - 3*b = 8, 0 = r - 4*b - 11 - 0. Let n = 61 - 311/5. Which is bigger: r or n?
r
Let k be (-3 - 324/(-105))/(1/15). Is k > 2?
False
Let q(l) = -2*l**3 + 2*l**2 + 3*l + 1. Let b be q(-1). Let f = 1 + 2. Suppose -3*x + x - 7 = 5*o, 0 = -f*o + x - b. Which is greater: o or -1/3?
-1/3
Suppose -3*k - 3*p + 28 = 2*p, -k = -5*p + 4. Let n be 215/(-45) - k/27. Which is smaller: -4 or n?
n
Let l = 18/17 + -75/119. Which is greater: l or 2/31?
l
Let f = -7 + 4. Let x(g) = -g - 3. Let s be x(f). Suppose u - 6*o + 16 = -2*o, 2*o - 8 = s. Which is smaller: 0.3 or u?
u
Let w(h) = 2*h - h + 3 + 7. Let u be w(-5). Let q be 0/(u/((-15)/(-6))). Which is smaller: q or -0.1?
-0.1
Suppose -4*c = -4 + 8. Which is smaller: 1/34 or c?
c
Suppose -3*g - a + 7 = 0, -3*g + g = 3*a + 7. Let v be 6/g + 1/2. Let y be 3 - (-2)/v*-2. Is y less than or equal to 1?
True
Let l(x) = 2*x + 71. Let c be l(17). Is 105 greater than c?
False
Let d = -49 - -22. Is d less than -27?
False
Let h = -0.1 - -0.3. Let b = h - 0.5. Let t = -1.3 - b. Which is greater: -0.2 or t?
-0.2
Let q = 0.04 + -0.24. Which is smaller: q or -13?
-13
Let b be (12/18)/((-2)/3). Let z = 2.2 + -0.2. Le