+ 25.014. Let o = g - 27. Is 1/7 greater than o?
True
Suppose -4*v + 3*v - 4*v = 0. Is 2/69 at least v?
True
Let h = 7333881/23426 + 807/901. Let i = 314 - h. Is -1 at least i?
False
Let w be (-7)/(-7) - (10 - 0). Is w at least as big as -10?
True
Suppose 68*i = 70*i + 80. Which is smaller: i or -41?
-41
Let k = -0.03 - -0.11. Let n = -56 - -55. Which is smaller: n or k?
n
Let l = -3 + 7. Suppose -v = l*v + 10. Let b(w) = -w + 3. Let d be b(5). Is d less than or equal to v?
True
Let k be (-4)/(-6) + (-12)/15. Let j(p) = p**3 - 12*p**2 - 13*p - 1. Let b be j(13). Which is smaller: k or b?
b
Let d = 368/5 + -74. Is d at most -1?
False
Let l = 9 + -18. Let b be 2/l + 45/81. Does b = -0.06?
False
Let g be (-6)/(-12) - (-3233)/(-4774). Let v = 1116 + -242171/217. Let y = g - v. Which is smaller: 1 or y?
y
Let x(n) be the third derivative of n**4/24 + 5*n**3/6 - 3*n**2. Let z be x(-5). Is 1/2 less than or equal to z?
False
Suppose 3*u + 0*u = 0. Which is greater: u or 2?
2
Let n = -346/5 - -69. Let g = 3 - 3. Is n >= g?
False
Let z = -56 + 57. Are z and -10 nonequal?
True
Let o = -4.2 + 5. Let y = 0.9 + 0.1. Let s = o - y. Is s at least as big as 2?
False
Let n be 5 - -1*(3 - 3). Suppose n*d + 3 = -2. Let c be (6/8)/(1*-3). Is d at most as big as c?
True
Let l(r) = -4*r + 15. Let t be l(8). Is -15 not equal to t?
True
Let j = -13.36 + 14. Let s = j - 0.09. Let t = -0.05 - s. Which is greater: t or -0.1?
-0.1
Suppose 4*t = t + 12. Let g(k) = -k + 1. Let v be g(t). Is -2 at most v?
False
Let f = -28 - -27. Let y be -2 + 4/1 + f. Which is smaller: -2/15 or y?
-2/15
Suppose 5*z = 3*z + 2, 2*u = -4*z. Let h be 2 + -1 + 0/u. Suppose -5*o - 3 = -4*i - 4*o, 2*i - 1 = o. Is i bigger than h?
False
Suppose 4*n = 3*d + 5, -4*n + d + 3*d + 8 = 0. Suppose 4*j - 12 = -m, 2*m + j = 4*m + 3. Which is bigger: m or n?
m
Suppose -5*b + 4*b + 4 = 0. Are b and 2 equal?
False
Let p = -146 + 131. Which is bigger: 2/9 or p?
2/9
Let t = 18 - -8. Let g be t/6 - (-3)/(-9). Is 4 less than g?
False
Suppose 3*t - 4 = 5*t. Suppose -f - 4*f = 15, 3*j + 3*f = -30. Which is bigger: t or j?
t
Suppose 0*n - 5*n = 4*f + 20, 12 = -3*n. Suppose f = -4*m + s + 5, 6*m - 3*m = 2*s. Let h be m/9*(-9)/(-12). Is h bigger than -1?
True
Let c be 2/(-4)*(-20)/(-75). Let n = -7 + 3. Let v = 3 + n. Is v > c?
False
Let o = 8.8 + 2.2. Let m = -11.01 + o. Which is greater: m or 0?
0
Suppose -3*q + 2*q = 0. Let k = 20 + -16. Are q and k equal?
False
Suppose -4*l - l + 15 = 0. Suppose l*z - 5*a + 11 = -0*z, 3*a - 3 = 3*z. Which is smaller: z or 2?
2
Let x(v) be the second derivative of -v**4/12 + v**3 + v**2 + 3*v. Let l be x(6). Is l greater than or equal to 4?
False
Suppose 4*j + 3*r = 126, 5*j - 120 - 28 = r. Let t be 1 + (1 - (-3 + 2)). Suppose d = -g - t, -4*d = -g - 4*g + j. Which is smaller: g or 1?
1
Let y = 4 - 3.5. Let t = -0.6 + y. Let k be 2/21*3 + 0. Which is smaller: t or k?
t
Let t = -6 + 8. Suppose 0 = 5*o + 5, 0 = -3*f - 4*o - 5 - t. Is f smaller than -2/7?
True
Suppose 5*l + 0 = -10. Let r be (-4)/8*6 - -3. Which is bigger: l or r?
r
Let w(n) = -n**3 + n**2 - n - 7. Let q be w(-3). Is 33 > q?
True
Let b = -28 + 86/3. Let z(w) = w + 17. Let k be z(-11). Suppose -k*y = -y. Is y <= b?
True
Let k = -2 + 2.5. Let v = k + -0.9. Let i = 0 + 0. Are i and v non-equal?
True
Let r be (-288)/(-264)*(-4)/6. Which is smaller: r or -2?
-2
Let a = -12 - -10. Let t = 0 + 2. Let y be (1/(-2))/(t/(-4)). Is y smaller than a?
False
Let b = -1 - -4. Suppose -2*v - 1 = -3*v, -4*u + b*v + 1 = 0. Let i be 3/9*(-1)/(-1). Which is smaller: i or u?
i
Let u = 2 + -16. Is -13 < u?
False
Suppose -5*l - 5 = -5*x, 6*x - x + 4 = 2*l. Let o = 6 - 9. Let k = l - o. Is k >= -1/9?
True
Suppose -3*r + 2 = 8. Let x(d) = 7*d**3 + d**2. Let g be x(1). Suppose 2*u = -2*u - g. Is r greater than or equal to u?
True
Suppose -3*w = -0*w + w. Which is bigger: w or 11/9?
11/9
Let g = 17 + -18. Let x = -1096967/120 + 9141. Let u = -1/120 + x. Are g and u unequal?
True
Let t = -3 + 2. Let c = -20.8 - -22. Let r = -0.2 + c. Is t at most r?
True
Suppose 2*m + 5*k = -2*m - 53, 5*m = -k - 61. Which is greater: m or -11?
-11
Suppose 12 = 5*u - 13. Let r = -4 + u. Let q = r + -2. Which is bigger: q or -2?
q
Let i be 1/(-1)*(-445 - 1). Let o be i/(-3)*3/(-7). Let g = o + -64. Which is bigger: g or -2/3?
g
Let x be 4/(-20) + 148/(-10). Let c be (65/x)/((-2)/6). Let g = c - 9. Are g and 3 unequal?
True
Let w be (-34)/6 + 21/(-63). Which is smaller: w or 1?
w
Suppose 0 = 2*c + 1 + 3. Is c >= -2?
True
Suppose 2*j = 4*j. Is -1/7 < j?
True
Let d be -3 + -3 - (6 + -2). Which is greater: -12 or d?
d
Let n be 4/20 + 452/(-10). Which is smaller: -44 or n?
n
Let w be (-50)/8 + (0 - (-1)/4). Is w greater than -8?
True
Suppose -g + 6*g + 70 = 0. Which is greater: -15 or g?
g
Let f = 11 + -14. Is 2/5 less than f?
False
Let i be (8/20)/(3/(-5)). Let x = 1 - 1.1. Let o = -0.11 - x. Which is bigger: o or i?
o
Let m be (-14853)/(-24760) + (-9)/15. Let n = m - -464337/718040. Let s = n - -3/29. Is s != 1?
True
Suppose -p + 18 = -4*p. Let w be (-15)/(-28) - p/(-21). Suppose -3*c = -4*i + 5, -4*c + 0*c = -2*i. Are w and c unequal?
True
Suppose 5*z - 1 = 9. Does z = 4?
False
Let y = 153 - 607/4. Which is smaller: 0.04 or y?
0.04
Let p = 0.965 - -0.035. Which is bigger: p or -4?
p
Let s = 17 - 15. Let j be (s - (2 - 0))/(-2). Let p be (3/(-2))/(6/(-8)). Is p at most j?
False
Let w(c) = c - 1. Let x = 7 + -2. Let m be w(x). Let y be (m/(-4))/((-2)/(-6)). Is -2 less than y?
False
Let b be 6*-1*2/(-3). Let h be 22/b + 9/(-6). Suppose -h*g = -3*g + 4. Is g >= -3?
False
Let j = 98 + -687/7. Let y be ((-2)/16)/(15/(-120)). Is j at most as big as y?
True
Let i = -35 + 90. Suppose 4*y - y - i = 4*p, 5*p = -5*y + 45. Are 13 and y nonequal?
False
Let p = -8404039/5447770 - -6/57955. Let m = p + 2/47. Is -1 at least m?
True
Let o = 7 + 2. Let p = -5 + o. Which is greater: p or 5?
5
Suppose 29 = -18*a - 7. Is a less than -1/2?
True
Let d(y) = -3*y + 20. Let i be d(5). Which is smaller: -2 or i?
-2
Suppose 5*o + 3 + 2 = 0. Let y = 167/738 - 1/246. Which is greater: o or y?
y
Suppose -5*r - 42 = -2. Let o be r/36 + 1/45. Let v = 12 + -11. Which is bigger: o or v?
v
Suppose 2*g + 2 = 2*j, -j + 3*g - 21 = -2*j. Let v be ((-3)/12)/((-3)/j). Let k = 5/6 - v. Is k < 1?
True
Suppose 2*m - 4 = -2*m. Let c be m - (99/(-30))/(-3). Is 1 at most c?
False
Let j be ((-12)/9)/(-4 + (-790)/45). Which is greater: 1 or j?
1
Let k(a) be the second derivative of -a**5/20 + 11*a**4/12 - 5*a**3/3 + 5*a**2/2 - 3*a. Let d be k(10). Which is bigger: 3 or d?
d
Let k(r) = 3*r + 4*r - 3*r - 3*r. Let f be k(-4). Is -5 != f?
True
Let y(j) = j**3 + j - 6. Let v be y(0). Let n be (3/v)/(2/4). Is n greater than 0?
False
Let v = 15 - 183. Which is bigger: -169 or v?
v
Let r(z) = 4*z**2 + 2*z + 3. Let c(l) = 4*l**2 + 3*l + 4. Let b(x) = -5*c(x) + 6*r(x). Let s be b(3). Let y be 0 + 0 + 10/s. Which is smaller: y or 1/6?
1/6
Let l be 1 + (3/3)/(3 + -4). Let y be 0/(-3) + 2/(-20). Which is smaller: l or y?
y
Let y(v) = v**2 - 4*v - 6. Let h be y(5). Let r be h/(-1)*(3 - 2). Let w be 0/(-1)*r/(-2). Which is bigger: 3/10 or w?
3/10
Let z = -85/141 - 3/47. Is z <= 0?
True
Suppose -17*j - 104 = -30*j. Which is smaller: 9 or j?
j
Suppose -73*j = -78*j + 270. Is j not equal to 54?
False
Let o = 2 + -4. Suppose -2*a - 8 = -4. Is o bigger than a?
False
Let x = -15/13 + 17/13. Which is greater: -2 or x?
x
Suppose 0 = 4*n - 43 - 93. Do 35 and n have the same value?
False
Suppose -17*w + 13*w = 32. Is 0 at least as big as w?
True
Let d = -3/34 + -1/85. Suppose i = u - 2*i + 12, -u + 4*i = 17. Suppose -2*t - u = t. Does d = t?
False
Suppose 3*s - 7 = -34. Let w be 6/s*(-3)/(-4). Which is smaller: -1 or w?
-1
Let c be -26*1/2*-1. Let x = 18 - c. Suppose 4*t = x*j + 15 + 10, -10 = 2*j. Is 4/3 != t?
True
Let b = 512/3 + -170. Which is smaller: -4.1 or b?
-4.1
Let f = -10 - -18. Let t = -6 + f. Does t = 5/6?
False
Let t be (72/30)/((-4)/(-10)). Suppose 4*o = -14 + t. Is 1/5 < o?
False
Let x = -1 + 5. Let l be -2 + (x - 0/(-1)). Let v be (-5)/(-4) - (l - 1). Is v equal to 0?
False
Let i(p) = -p - 9. Let n(z) = z - 19. Let f be n(9). Let j be i(f). Is j at least as big as -2/17?
True
Let o(t) = -t**3 - 8*t**2 - t - 9. Let x be o