 -4 + f. Is b greater than -8?
True
Let h = 13 - 16. Let u be 3/1 + (h - -3). Let r be (-6)/4*2/(-3). Which is smaller: u or r?
r
Let n = -194 + 190. Suppose -f - w = 4, -3*f - 5*w - 15 = -w. Which is bigger: n or f?
f
Let r = 0 + 0. Let w = 282049/9 + -31269. Let p = -70 + w. Is p smaller than r?
True
Let y(f) = 6*f**2 - 2*f + 1. Let z(r) = r**3 - 2*r**2 + 2*r - 3. Let a be z(2). Let x be y(a). Are x and -1 non-equal?
True
Let v(u) = -2*u - 2*u - 7*u**2 + 2*u**2. Let r be v(-2). Are r and -12 equal?
True
Suppose -6*f + 9*f = 15. Suppose -f*p + p + 4 = 0. Which is smaller: p or 1/3?
1/3
Let a = -6.09 + 0.09. Let k = -5.8 - a. Which is bigger: k or 0.3?
0.3
Let h = 0 + 1. Let s = -290 - -4932/17. Which is bigger: s or h?
h
Suppose 8*s = 12*s - 24. Is s not equal to 5?
True
Let q be 891/882 - (2/(-2))/(-1). Which is greater: q or -1?
q
Let h(o) = -2*o - 15. Let s be h(-10). Suppose -4*x + 2*x = -k - s, -10 = -5*x + 3*k. Do x and -1 have the same value?
False
Let f(z) be the third derivative of 5*z**4/24 - 8*z**3/3 - 10*z**2. Let w be f(7). Is 19 at least w?
True
Let b be (183/(-2085))/((-1)/7). Let z = -2/139 + b. Which is bigger: z or 2?
2
Let t(f) = 15*f**2 - 2*f - 1. Let o be t(-1). Let h = o + -5. Suppose -h = -3*i - 2*c, -i - 15 = -0*i - 4*c. Which is smaller: i or 0.1?
0.1
Let n = 2 + 6. Let w = n + -8.3. Let v = 0.6 + w. Is 1 < v?
False
Let g = -23 + 14. Let r = 4 + g. Let i = r - -4.9. Does -0.1 = i?
True
Let z(v) = -2*v - 10. Let m be z(-8). Is 5 less than or equal to m?
True
Let l(c) = -c**2 - 4*c - 4. Let q = -1 - -5. Suppose -q*a = 13 - 1. Let k be l(a). Which is smaller: k or -3/2?
-3/2
Suppose 4*c = 2*s + 20, 0 = 5*s + c + 82 + 1. Let g be (s/(-3))/(5/15). Let d be (-14)/(-3) + g/(-24). Is 4 at least d?
True
Suppose -2*w + 2 = -2*f, -3 = 3*f + w + 4. Suppose -5*b - 16 = -5*h + 24, 4*h = -3*b - 38. Let o be b/3*2/5. Which is greater: f or o?
o
Let d be (-21)/(-105)*(16/(-6) - -1). Is d equal to 14?
False
Let a = -3 + 3. Let r(z) = -8*z - z + a*z**2 + z**2 + 12. Let t be r(8). Are 3 and t equal?
False
Let o = -22 + 37. Let y = -10 + o. Let u = -4 + y. Which is smaller: -2 or u?
-2
Let w be (3 - (1 - -3))*-3. Suppose q = w*q + 6. Which is bigger: q or -4?
q
Let s = -2/21249 + -11538197/106245. Let x = s + 108. Which is smaller: x or 0?
x
Suppose -18*x + 19*x + 3 = 0. Which is smaller: 4 or x?
x
Let q = 0.27 - -8.13. Is -1 greater than q?
False
Let b = -1.2 - -1.1. Let x = -0.3 - -0.4. Let d = x + 0.1. Which is greater: b or d?
d
Let q = -0.2 + 0.16. Let c = q - 0.06. Is -10 bigger than c?
False
Let w be ((-16)/(-10))/((-2)/(-5)). Let l be 1*2*(w + -3). Which is smaller: 1 or l?
1
Suppose -2*x = -0 + 4. Let q = -1 - x. Which is smaller: 1/4 or q?
1/4
Let r = -7.04 - -0.04. Let z = r + 7.7. Let b = -0.6 + z. Is -0.5 not equal to b?
True
Let y(x) = -x**2 + 2*x + 1. Let m be y(4). Let v = m - -6. Which is smaller: v or -2?
-2
Let n = -18.1 - -18. Let g = 13217/47922 + -1/3423. Let j = g - -1/98. Which is bigger: n or j?
j
Let q = -6 - -4. Let a = q - -1. Let s be (-9)/21*4/6. Which is bigger: s or a?
s
Let h = -0.2 + 1.2. Let i = 3.05 - 0.05. Let w = i - 4. Which is bigger: w or h?
h
Suppose -8 = 2*k + 2*k. Let t = 4 + k. Suppose v = 4*x - 8, 3*x - 6 + 0 = 0. Is v smaller than t?
True
Suppose 4*y - 4*k = -y + 13, 5 = 3*y - k. Which is greater: 3/4 or y?
y
Let a = -8 - -5. Let s be a*(-2)/(3*2). Let p be ((-2)/3)/(8/(-3)). Which is smaller: p or s?
p
Let x be (-4)/18*(-9)/51. Does 0 = x?
False
Let w = 0.06 - -0.94. Let n = 0 - w. Which is smaller: n or -2/17?
n
Let k be 12/9 - 4 - -2. Which is smaller: k or 0?
k
Let c = 12661/126 - 896/9. Let f = c + -3/7. Are -1 and f non-equal?
True
Let y(n) = n**3 - 3*n**2 + 2*n + 6. Let a be y(2). Which is greater: a or 8?
8
Suppose m - 4*m = -5*f + 39, 13 = -2*m - f. Suppose u + 0 + 12 = 0. Let t be ((-3)/u)/(2/m). Is t at most as big as -2?
False
Let p = 4.93 - -0.07. Let o = p + -4. Are 3/4 and o unequal?
True
Let l be ((-117)/(-104))/((-33)/(-4)). Which is smaller: l or -1?
-1
Let z = 10/9 + -13/9. Let d(k) = -k + 2. Let q be d(4). Let l = -3 - q. Is l less than or equal to z?
True
Let f = -11 - -15. Let d = f + -3. Let u(b) = b**2 + b - 4. Let w be u(-3). Which is greater: w or d?
w
Let d be (-18)/(-63) + 205/(-7). Is d greater than or equal to -27?
False
Let c be 6 + (0 + -2 - -4). Suppose -2*u + 0*u - c = 0. Which is bigger: -3 or u?
-3
Let n = 7 + -7.4. Are 0.4 and n nonequal?
True
Let b be ((-19)/(-558))/((-10)/30). Let q = b + -2/31. Let l be 1/3 - (-2)/(-6). Are l and q unequal?
True
Suppose 0*n + 3*n = -6. Let m be (0 - -3)*10/(-6). Let i = m - -1. Is n not equal to i?
True
Let f be (-3 - -6) + (-2475)/381. Let k = f - 1/254. Which is smaller: k or -4?
-4
Let d = 252/1507 - -2/137. Is 0.05 less than or equal to d?
True
Let a = 27 - -3. Let s be a/7 + (-2)/7. Let z be 3/(-6)*s/1. Is -2 at most z?
True
Let m = -32/57 + -2/19. Is m at least 2/3?
False
Suppose 3*z + 128 = -4*k, -z - 2*k - 136 = 2*z. Let p be 0 + 135/z + 3. Is p at most 0?
False
Suppose -6*i + 8 = 2. Which is greater: i or 10/27?
i
Let a = -80 - -82. Is -9/10 bigger than a?
False
Let a be 0 + 1 - 9/3. Let w be (5/(-2) + 2)/1. Is a at most as big as w?
True
Let k(b) = b + 7. Let m be k(-5). Let i be 1*2/(-18)*-6. Which is smaller: m or i?
i
Suppose -2*q + 49 = z + 4*z, 0 = 2*q + 6. Suppose -2*c - t = -z, 0 = -2*c + 7*c - 4*t - 8. Let a = -1 - c. Which is bigger: a or -6?
a
Let n = 6.25 - 6. Let k = -0.05 - n. Let w = -0.6 - k. Is w at least -0.2?
False
Suppose -5*q - 4*x = -x + 110, -4*x = -4*q - 56. Is q >= -20?
True
Let h = 9 + -9. Which is bigger: 3/4 or h?
3/4
Let o = -5 - -8. Suppose -1 = -2*k - o. Let s be (-1)/2 + 0/5. Which is greater: k or s?
s
Let a be ((-15)/6*1)/(5/(-30)). Are 18 and a nonequal?
True
Let p = -30 - -5. Let v = 27 + p. Which is smaller: v or 3?
v
Let o = 26 + -17. Let d = o - 5. Is 5 bigger than d?
True
Let r be (-2)/(-4)*13/(-52). Do r and -1 have the same value?
False
Let i be 4*(-3 - 2*-1). Suppose 6*p = 2*p. Suppose p = 5*v - 2*v + 5*l + 10, 0 = 2*v + 3*l + 7. Which is smaller: v or i?
v
Let w be (10/8)/(3/116). Let f = w + -49. Which is smaller: -0.1 or f?
f
Suppose 12 = 3*y + 4*v, 0*y + 3*v - 9 = y. Let z = 7 - 5. Let n be z/(y/(-3) + -5). Which is bigger: n or -1?
n
Let i = 17.1 - 17. Is i <= -0.2?
False
Suppose 0*n - 5 = 2*u - n, -u - n + 5 = 0. Let w = 4 + -3. Which is smaller: w or u?
u
Let k = 38 - 62. Is -24 at least as big as k?
True
Let z = 6 - 9. Which is bigger: -4 or z?
z
Let v be 14/21 - 39/99. Which is smaller: 0 or v?
0
Let o = -0.9 - -0.5. Let n = 0.6 + -1. Let w = n - o. Is w > -2/5?
True
Suppose 27 = 2*u + 29. Are u and -12/7 equal?
False
Let h(a) = 21*a**3 - 3*a**2 + a - 1. Let x be h(2). Suppose -5*n + x - 7 = 0. Let o be (64/n + -2)*3. Is o < -1?
False
Suppose 2 = z + 3. Is z <= 2?
True
Let k(s) = -s**3 + 8*s**2 - 7*s - 4. Let x be k(7). Let u be ((-6)/x)/(12/32). Which is smaller: 2/5 or u?
2/5
Let k be -3*1*4/(-6). Let c = -11/91 - -9/13. Which is smaller: c or k?
c
Suppose -2*w - a = -17, -7*w + 2*w = 4*a - 47. Let s be (-1 - 2/(-6))*-12. Which is greater: s or w?
s
Let u = 3 + 2. Let o(g) = -6*g**2 + 1 + u*g + g**3 - 3*g**2 + 3*g**2. Let q be o(5). Which is bigger: 3 or q?
3
Let x(q) = q**3 + 4*q**2 + 4. Let c be x(-3). Suppose -2*w - 19 = -y, w = -w - y - c. Let a = w - -8. Is 1 equal to a?
False
Let v = 0.69 + 42.31. Which is smaller: v or 0.2?
0.2
Let m be (4/5)/(6/(-30)). Let h be (-96)/18 + m/6. Which is greater: h or -5?
-5
Let v be (-4)/15*(-6)/(-4). Let y = 0 + -0.1. Do v and y have the same value?
False
Let w be (2/4)/((-3)/18). Let z = 2 + w. Is -1 > z?
False
Let l = -141.99 + 141. Let d = l + -0.01. Is -1 != d?
False
Let y = 6 - 2. Is y at least 7?
False
Let n be 9/15 - (-32)/(-20). Is n > 3?
False
Let g(k) = -k + 4. Let y be g(4). Let d = 2 + -4. Let s = d + 2. Is s greater than y?
False
Let j be -5*15/(-125) - (-168)/(-380). Which is bigger: -1/2 or j?
j
Suppose -5*h = -11*h - 12. Let k = 0 + -1. Is h greater than k?
False
Suppose 3*i - 15 = -5*o + 17, -4*i + 3*o + 4 = 0. Suppose 4*p - 4*g - 3 = 9, 0 = -4*g - 12. Suppose -4*y - i*u + 3*u = p, y + 3*u = 0. Is 0 at most as big as y?
True
Let q = -19 + 19. Suppose 0 = n - 3*a - 0 + 5, -2*a + 6 = q. Suppose -4