1. Suppose -4*u + 3 = -1. Let f be o(u). Is f at least -5?
False
Let p(t) = -t**2 - 5*t + 2. Let q be p(-5). Let m = -1 + 5. Which is smaller: m or q?
q
Let c be 0/(8/(1*-4)). Let p = -1 + 1. Let y = 1 + p. Which is greater: y or c?
y
Suppose 0 = -v - 3*v + 16. Let z = -7 - -3. Let o = z + v. Are o and -1/3 unequal?
True
Let d = -6 + -22. Is -29 less than or equal to d?
True
Let j = -0.038 + 6.238. Let l = j + -6. Do -2 and l have the same value?
False
Suppose -3*k = 2 + 1. Is k > 2/7?
False
Let y = -11 + 15. Let z = -4.2 + y. Let s be 64/126 + (-2)/9. Which is smaller: z or s?
z
Let l be 4 - 4 - (0 - 0). Let u(m) = -m + 5. Let j be u(l). Suppose -j*a + 0*a = 5. Which is smaller: -4/7 or a?
a
Suppose -3*i - 99 = 4*w, -5*w - 24 = -5*i + 56. Let p = 29 + w. Is 7 at least p?
False
Suppose -5*c = -4*s + 15, 3*s + 15 = 5*c + 5*s. Let i(l) = l**2 - l - 1. Let o(f) = 4*f**2 - 4*f - 4. Let n(g) = -9*i(g) + 2*o(g). Let k be n(c). Is 1/6 > k?
False
Let y be (5/15)/(4/120). Is 9 greater than y?
False
Let o be 2/(-11) + (-6)/(-33). Let z(s) = -3 + o*s**3 + 4 + 2*s**3. Let r be z(1). Which is bigger: 4 or r?
4
Let j be 2/(-3) - 12/36. Let b be 6/(-4)*2/(-18). Which is greater: j or b?
b
Let i(l) be the third derivative of -l**5/60 + l**4/6 - 2*l**2. Let j be i(3). Let q(n) = n - 4. Let c be q(j). Which is greater: c or -0.2?
-0.2
Let n = -10 + 13. Let m be n/9*(1 - 0). Is m at least -2?
True
Let k = 141 + -145. Is -21/4 less than or equal to k?
True
Suppose -5*w + 18 = -3*w + 3*f, 3*w = 3*f + 12. Which is smaller: 13/2 or w?
w
Let v(l) = -l**3 + 4*l**2. Let p = 5 + -1. Let m be v(p). Which is smaller: 2 or m?
m
Let v = 60 + -55. Is 4 bigger than v?
False
Suppose 3*p = 7 + 5. Let l be (3 - 14/p)*-10. Is 5 greater than l?
False
Let h(w) = w**2 - 5*w + 4. Let p be (-1 + 3)/(2/4). Let t be h(p). Are 1 and t equal?
False
Suppose -a - 4*d + 21 = 0, -3*d + 12 = a - 4. Is a less than 1?
False
Let v = 1.3 + -6.3. Let q = -6 - v. Which is smaller: q or -1/7?
q
Let d be (-6)/(-9)*(-4 + 13). Let t be ((-18)/15)/d + 0. Which is smaller: t or 0?
t
Let l = 48 + -46. Suppose 0 = -2*a + 5*x, a + 4*a - 4*x = 0. Suppose a = -w - w - l. Which is smaller: w or -1/11?
w
Let c = 8.9 + -0.9. Let k = c - 9. Which is bigger: -2/3 or k?
-2/3
Let h be (2/3)/(4/(-129)). Let l = h + 21. Is 2 equal to l?
False
Suppose -9*m = -5*m - 12. Which is smaller: m or 3/2?
3/2
Let k = 76604/777 + -335/111. Suppose 24 - 214 = 2*y. Let h = k + y. Which is greater: 0 or h?
h
Let c = -1 + 1. Let x be c*1*(-1)/2. Which is greater: x or 2/3?
2/3
Suppose t + 4*h - 9 = 0, 0 = -3*t - 2*h - 5 + 12. Let n be 1/((-17)/(-8) - 2). Let w(u) = u - 7. Let z be w(n). Is t <= z?
True
Let q = -0.9 - 2.1. Is 1/3 smaller than q?
False
Let u be (-4)/(-1*1/1). Suppose u*l = -12, 3*l = -4*m + l - 18. Let i = m + 6. Is 3 > i?
False
Suppose -8 = -c - 0. Let f = c - 8. Which is smaller: 1/10 or f?
f
Let h be (6/34)/((-43)/8 + 5). Which is smaller: h or 0?
h
Let t be (48/44)/(-1 + -1). Suppose -4*x = 7 + 1. Is t greater than or equal to x?
True
Suppose g = 5*g + 4*f - 40, -3*g = f - 36. Let j = g + -15. Suppose -5*l + t - 6 = 5*t, 5*l - 5*t + 15 = 0. Is l greater than j?
False
Let a = -1117/3757 - 3/289. Is -1 less than or equal to a?
True
Let s = 1 + -1. Suppose s = r + 2 - 6. Which is greater: r or -0.1?
r
Let d be 26/(-22) + 8/44. Is d less than 2/5?
True
Suppose 4*w + 8 = 2*w - 4*g, -14 = w - 3*g. Let d(v) = -v**2 - 8*v + 4. Let k be d(w). Let o be (-6)/8*(-2)/6. Which is bigger: o or k?
k
Let y(d) = -d**3 + d**2 + d - 2. Let t be y(0). Let a(z) = z**3 + 3*z**2 + z. Let g be a(-1). Which is smaller: g or t?
t
Suppose 0 = 2*a - 0*a - 24. Let u be (a/(-32))/(9/(-44)). Let v = 3/2 - u. Which is greater: v or 0?
0
Let t = -3.91 + -0.09. Is t not equal to -1?
True
Suppose -5*y = -4*f - 44, y = 4*f + 3 + 9. Suppose -z - y = z. Let o be (5/50)/((-1)/z). Is -1/2 greater than o?
False
Let q = -114 - -114.3. Which is bigger: q or -4/7?
q
Let x be -1*1 + 132/156. Is x greater than -1?
True
Suppose -8*y + 3*y = 70. Let a be 6/(-24) + y/(-24). Is a at most -1?
False
Let y be (6/14 + 0)*1/3. Let l be -1 - -1*(-2 + 3). Which is smaller: l or y?
l
Let v be 20/20 + (-8)/6. Let n be (-11)/15 - 2/(-6). Which is smaller: v or n?
n
Let c = -80 - -87. Let r = 0.14 - -5.86. Let d = c - r. Is 1 at least d?
True
Suppose 0 = -4*i + 5*w + 45, -17 = 4*i - 3*w - 52. Suppose 4*f + i = 1. Which is greater: f or 1/3?
1/3
Let m be (-10)/45*27/(-12). Which is smaller: m or 1/18?
1/18
Let h = 4 + -3. Let u = 2.1 - 1.2. Let k = h - u. Which is greater: -1 or k?
k
Let f = -106/315 + -4/63. Suppose -4*s - 3*h - 2 + 19 = 0, 2*s - 11 = h. Which is smaller: f or s?
f
Let i = 8.2 - 9. Let g = 0.4 + i. Is 0.1 at most g?
False
Let w = -8 - -4. Let q be -2*w/152*2. Which is smaller: q or 2?
q
Let f be (-9)/(-45) + (-438)/(-10). Let k = f + -23. Is 21 less than k?
False
Suppose 0 = -5*z - 15. Which is smaller: z or -2?
z
Let o = -6/253 + -251946/1771. Suppose n - 565 = 4*q, q + 3*n + 26 = -125. Let l = o - q. Which is greater: l or 0?
0
Suppose 3*x + 5*a - 14 = 4, -4*x = -5*a - 24. Which is smaller: 7 or x?
x
Let x(f) = -f**2 - f**3 + 0*f**3 - 8 + 0*f**3 + 7*f**2 + 8*f. Let d be x(7). Let j = -1 + 2. Which is smaller: j or d?
d
Let s = -1391/4 - -346. Is s <= -1?
True
Let o = -7 - -5. Let t = -2 - o. Is t at most 2?
True
Let p be (-208)/39 + 1/3. Let l = -15 - p. Which is smaller: l or -11?
-11
Let c = -115 - -116. Which is smaller: -4/11 or c?
-4/11
Let i = 41345333/224 + -184577. Let t = i + -3/32. Is t greater than -1?
True
Suppose 0*a + 1 = -5*f + 4*a, -5*a = 5*f - 35. Suppose 3*o + v + 2 = 0, f*o + 4*v + 0 - 1 = 0. Which is bigger: -2/9 or o?
-2/9
Suppose -13 = 2*o - 3*u, -5*o + 4*u - 17 = -2*o. Let x(z) = -2*z + 3. Let d be x(4). Let c = -9/2 - d. Which is bigger: o or c?
o
Suppose 0 = -2*y - 5*k + 10, -4*y + 5*y = -2*k + 4. Which is smaller: -1/16 or y?
-1/16
Let h be (-57)/(-12) + (-2)/(-8). Suppose -5*u + 2*u = 6, 0 = 5*z - h*u. Is z < 0.6?
True
Let l = 4 - 12. Let g = l + 7.9. Let d = 4 - 6. Which is bigger: g or d?
g
Let j = 6 + -4. Let l be (j/5)/(1/5). Let h = -2.3 + -0.7. Which is bigger: h or l?
l
Let k = 0.3 - 0.5. Let v = 1.1 - -0.87. Let j = v + 0.03. Which is smaller: k or j?
k
Let s = 0.2 - 0.2. Let k = 1.4 - 1.4. Is k != s?
False
Let x be 5 + -3 - 12/3. Let b(s) = s**2 - 4*s - 2. Suppose 16 = 4*z - 0*z. Let v be b(z). Is x less than v?
False
Let u = -25 - -45. Which is greater: u or 2?
u
Let r = -48 + 48. Let z(w) = -w**3 + 5*w**2 + 5*w + 7. Let d be z(6). Is r >= d?
False
Let f = -65 + 62. Is -2 bigger than f?
True
Let p(m) = -11*m**2 + m + 2. Let y be p(-1). Is y greater than -2?
False
Let u be 3685/7575 + (-1)/(-5). Let f = -1725/82012 - -1/812. Let z = u + f. Is -1 <= z?
True
Suppose 3*d - 1 = -7. Suppose -4 = -4*b - 0*b. Suppose 5*c - 22 = 2*q, c - b = -q + 2. Is q greater than d?
True
Suppose -5*h - 3*w + 228 = 87, 4*w - 78 = -3*h. Which is bigger: h or 29?
h
Let p(b) = -10*b - 22. Let h(q) = 7*q + 15. Let s(f) = -7*h(f) - 5*p(f). Let v be s(-5). Is v greater than -2/11?
True
Suppose 2*w + 0*w = -5*z + 10, -2 = -z + w. Suppose 0*m = z*m. Which is smaller: -1/5 or m?
-1/5
Suppose 18 = 3*f + 6. Let p be (-6)/f + 33/30. Let b = -520/1869 + -2/267. Which is bigger: p or b?
b
Suppose -2*j + 5*g = 6 - 38, -3*j + 38 = -5*g. Suppose -2*a = -16 + 2. Is j smaller than a?
True
Let h = 14 + -13. Let j = 1.16 - 0.06. Let u = -1 + j. Does h = u?
False
Let m = -2 - -1. Let p be 1/(1 + 24/(-10)). Is m != p?
True
Let v = -0.1 + 0.2. Let k = v - 0.2. Let y = -25 - -19. Are y and k equal?
False
Let h be (-2)/2*(-5 + 14). Let a = 10 + h. Which is smaller: -1 or a?
-1
Let f(h) = h**2 + 6*h + 4. Let b(z) = -z - 1. Let d(a) = -6*b(a) - f(a). Let x be d(0). Let k be x - (2 - (-1 + 3)). Is -0.1 at most k?
True
Let v = -413/1818 + 1/202. Which is smaller: v or 4?
v
Let d(r) = r**2 + 6*r - 2. Let g be d(-7). Suppose 2*u = -g*a - 2, 0 = 2*u + 1 + 1. Which is bigger: -2/3 or a?
a
Let q = -5.89 + -0.11. Which is smaller: 1 or q?
q
Let k be 2 - (-2)/(2 + -3). Let r(c) = -c**2 + 11*c - 10. Let z be r(10). Are z and k unequal?
False
Let n = -10 - -10. Is n at most as big as -0.07?
False
Let k(x) = x**3 + 4*x**2 + 2*x - 1. Let d be k(-3). Suppose 5*g + 3*m = -10, -d*m