e o(1). Is a at most d?
True
Suppose g + 3 = 8. Is -2/3 bigger than g?
False
Let a = -10 - -14. Let g = 0 + a. Let b = g + -4.2. Which is bigger: 0 or b?
0
Let a = -1155/2 - -596. Let t = 21 - a. Which is smaller: 3 or t?
t
Let c be 90/(-35) + 3 + (-6)/14. Is c equal to -15/19?
False
Let o = 12/17 - 142/153. Suppose -4*z + 16 = 0, 0*z - 2*z + 4 = -4*l. Is o at most as big as l?
True
Suppose 2*y + 5*p + 28 = 4*y, 2*p = -8. Suppose 4*r = 6 + 6. Is y less than or equal to r?
False
Let v = 30/53 + -2744/5035. Let q be (-115)/(-133) + 6/(-21). Let z = v + q. Is 2 at least as big as z?
True
Let j(w) = 6*w**2 + 8*w. Let a(m) = -m**2. Let b(o) = -5*a(o) - j(o). Let t be b(-8). Which is smaller: t or -2?
-2
Suppose 5*l - 6 = 4*f, -2*l - l = 2*f - 8. Suppose n - l = -3*h, 3*n + 4 = 2*h - 12. Which is smaller: n or -14/5?
n
Let f = 12 + -11. Let x be 3/(-4)*(-1)/2. Are x and f equal?
False
Let v be (-1)/5 - 33/(-90). Suppose -a = -2*a. Suppose -3*f = -a*x - 4*x - 4, 2*x = 5*f - 2. Which is greater: f or v?
v
Suppose 4*g - 19 = -87. Which is greater: g or -18?
g
Let o(y) = -3*y**2 + 4*y**2 - 5*y**2 + 10*y - 1 + 3*y**2. Let i be o(10). Is 2/19 < i?
False
Let i be 15*(2 - (-10)/(-6)). Suppose -y = -5*p + 11, -4 = -4*p - i*y - 1. Which is smaller: p or 7?
p
Suppose 0 = -5*u - 7 + 27. Let j = -6 + u. Let c be (j - -2)*(-2)/4. Which is smaller: -1/2 or c?
-1/2
Let z = 0.079 + 0.921. Let m = -0.57 - -0.7. Which is greater: m or z?
z
Let m be -3 + 5 - (2 + -1). Let b be (-105)/(-20) - m/4. Let r be -6*(-2 - b/(-3)). Is 1 bigger than r?
False
Suppose -3*o = -0 + 12. Which is smaller: o or 9?
o
Suppose -104 - 71 = j. Let w = j - -4377/25. Do 0 and w have the same value?
False
Let n = -226 + 277.1. Let b = n + -49. Let v = 2 - b. Are v and -1/3 unequal?
True
Let r = 13 + -6. Let q = 7 - r. Are q and 1/3 unequal?
True
Suppose -3*u - 50 = v + 4*v, 3*u + 8 = v. Let h be v/3 - 2/(-6). Let p = h - -5. Which is bigger: 0.1 or p?
p
Suppose -a - 12 = 2*t + 9, -2*a + 21 = -3*t. Let q be 5/3 + 8 + t. Is q not equal to -2?
True
Let q = 2.13 - 2.2. Let p = q + 0.17. Which is smaller: -1 or p?
-1
Suppose -2*h = c + h - 10, -h = 2*c - 5. Which is smaller: c or -0.05?
-0.05
Let j be (-6)/9*15/55. Is j > -1?
True
Let f = 36 + -36. Let t(h) = -h**3 - 5*h**2 + 5. Let y be t(-5). Which is smaller: y or f?
f
Let c be (-2)/(-1)*(-3)/6. Let s(n) = -4*n**2 - 3*n. Let g(j) = 3*j**2 + 2*j. Let m(h) = -3*g(h) - 2*s(h). Let p be m(c). Which is bigger: 2/11 or p?
2/11
Let m(q) = q**2 - 7*q + 4. Let w = -14 - -20. Let v be m(w). Suppose -5*z = -5*o - 5 - 5, -2*o - 5*z - 11 = 0. Are v and o non-equal?
True
Let t = -13 - -23. Let f be (6/12)/(t/(-4)). Which is smaller: 0.1 or f?
f
Suppose 4*b + a + 0 + 6 = 0, 2*b = -2*a. Suppose -2*v = -2 + 4. Is v equal to b?
False
Let c be (63/39)/(-8 - -7). Is c greater than or equal to -3?
True
Suppose 5 = -x + 3. Which is greater: x or -13/5?
x
Suppose 0 = -x + 2*r + 2 - 0, 0 = 5*x - 3*r - 17. Suppose h - 3*h = 4*j + 76, -3*h - 72 = x*j. Let g be (2 - (-90)/j) + 2. Which is smaller: -1 or g?
-1
Let f = -24 + 199. Let x = -175.91 + f. Let q = -0.09 + x. Is q bigger than 3/7?
False
Suppose 16*f - 7 = 9*f. Which is smaller: -1/40 or f?
-1/40
Let a = -993/8 + 124. Suppose -2*c - c = 2*p - 12, p = -5*c + 13. Let w = c + -1. Is a greater than w?
False
Let y(l) = -l**2 + 5*l + 7. Let i be y(6). Let j = -35/114607 - -86775069/57532714. Let c = j + -2/251. Which is greater: i or c?
c
Let k be (-3)/6*(-6)/(-5). Let j = -1 + -2. Is j less than or equal to k?
True
Let s be 1 + (-12 - 0) + 0. Let f(n) = n**2 + 10*n - 12. Let j be f(s). Which is greater: -3 or j?
j
Suppose 0 = -3*o - 6 - 6. Which is bigger: -1 or o?
-1
Let u(h) = h**2 + 20*h + 17. Let v be u(-19). Are -1 and v non-equal?
True
Let n be (-2)/6 + (-88)/24. Does n = -4?
True
Let t = -3 + 3. Let c = 4 + -2. Let q = c + -2. Is t bigger than q?
False
Let x = 13 + -6. Let w be (-3)/(x/(-4) - -1). Let r be 2/w + (-4 - -1). Is -2 greater than r?
True
Let z(c) = -c - 7. Let v = 17 - 29. Let b be z(v). Is b at least as big as 4?
True
Let u be (0 - 639/3696) + 0. Let x = 150193/112 + -1341. Let z = u - x. Is 0 greater than z?
True
Let h = -14.2 - -16. Let c = 0.2 + h. Let f = -48 - -50. Is c smaller than f?
False
Let h = -56 - -81. Is h less than 0?
False
Let k = 0.022 - 0.122. Which is smaller: -6 or k?
-6
Let n = 20 + -15. Let z = n - 4.6. Which is bigger: 0.2 or z?
z
Let p = 16 - 31. Let q = p - -14. Is -1/2 less than or equal to q?
False
Let i be 27/9 - (4 - 2). Let x be 34/(-96) + (-1)/(-3). Let t = 3/16 + x. Are i and t equal?
False
Suppose 0*f = -f - 4. Let h be ((-6)/(-9))/(f/(-6)). Let n = 0 - h. Which is smaller: 2/9 or n?
n
Suppose 0 = -3*u + u. Let g be (6/(-8) + u)*-12. Suppose -4*z = -2 - 6, -4*z + g = b. Is b at most as big as 1/2?
False
Let y be 2/(-3) + (-52)/(-6). Let j = -2 - 5. Let g = y + j. Which is greater: g or 3/8?
g
Let n = 5.5 - 5.7. Which is greater: n or -5?
n
Let n = -40 + 40. Which is smaller: 5/9 or n?
n
Let j(p) = p. Let q(d) = 104*d. Let b(o) = -78*j(o) + q(o). Let i be b(-1). Let l be 30/i - 0 - -1. Which is smaller: l or 0?
l
Suppose -3*r + 0*w = -4*w - 273, 5*r - 4*w = 447. Let d = 611/7 - r. Which is greater: 2/3 or d?
2/3
Suppose 0 = -2*k - k + 24. Let b = k - 5. Suppose 4 = -o, 5*o = 4*w - 7 + b. Are w and 2/3 equal?
False
Suppose 0 = 2*z + z + 6. Let y = -22 + 38. Let j = y - 19. Is j >= z?
False
Let h = -1 + 2. Let z(d) = -d**3 + 3*d**2 + 4*d + 2. Let a be z(4). Are a and h nonequal?
True
Let d be 1/((-2 + 0)/2). Let q = 0 + -2. Which is greater: d or q?
d
Let s = -225 - -219.97. Let z = -0.03 - s. Let h = -4 + z. Are h and 1/2 equal?
False
Let m = 83/6 + -37/3. Let u = m + -7/4. Let r = 79/15 - 23/5. Is u less than r?
True
Let m(w) = w**2 - 3*w + 1. Let k be m(6). Suppose -3*u - 7 = -k. Is 4 at most u?
True
Let x(q) = -q**3 + 4*q**2 - 3. Let t be x(3). Let v(l) = -l**2 + 6*l - 2. Let z be v(t). Which is smaller: z or 0?
z
Let m = 15 - 15. Which is smaller: -9 or m?
-9
Let i = 0.1 - 0.2. Let o = 0.08 - 0.18. Let t = o - i. Are t and 0 non-equal?
False
Suppose 2 = -o + 3*o. Which is greater: 1/15 or o?
o
Let p = -94.8 + 105. Let u = -10 + p. Is 5 > u?
True
Let v = -15 - -28. Let n = v - 15. Let l = 6/19 - 180/209. Is l equal to n?
False
Let p be (-4)/(-2) - 4 - 729. Let u = -3674/5 - p. Is -5 less than u?
True
Let a be (2 + 0)/((-3)/(-6)). Let n(k) = -2 - a*k + 3*k + 2*k. Let j be n(0). Which is greater: -1 or j?
-1
Let t = -263 + 1308/5. Is -2 bigger than t?
False
Let c(b) = b**2 + 2. Let t be c(0). Which is greater: t or 4/7?
t
Let s = 9 + -2. Let f = -134.7 - -128. Let c = s + f. Does 1/2 = c?
False
Let y = 4 + -5. Which is smaller: y or -2/11?
y
Let x be 4/(-6)*1*15. Let a be 6*4/((-16)/6) + 0. Is a != x?
True
Let y be 16/10 - (-2)/5. Is 1 not equal to y?
True
Suppose 0*q + q = 11. Suppose z - 3*m + q = 0, z - 2 = -2*z + 2*m. Suppose 0*j - z*n + 12 = j, -4*j - 2*n = -6. Is 1 equal to j?
False
Let g be 10/40 + (-46)/(-8). Suppose -6*p - g = -3*p. Suppose 3*u - 1 = -7. Is u greater than or equal to p?
True
Let d = 16/105 + -1/105. Let i = -0.244 + 0.144. Which is greater: i or d?
d
Suppose 2*s - 4*y - 24 = 0, -2*s - 3*y = -y + 6. Let u = 16 - 13. Which is smaller: s or u?
s
Suppose -q + 6 = 3*w, 0 = 3*q - w + 2 - 20. Let d(p) = -p**2 + 9*p - 9. Let r be d(q). Do 8 and r have the same value?
False
Let h(v) = v + 10. Let x(r) = r - 3. Let f be x(-6). Let y be h(f). Which is bigger: -4/5 or y?
y
Let a(o) = o**2. Let n be a(-1). Suppose -z - n = -2*z. Is 2/9 greater than z?
False
Let t(d) = d - 3. Let f be t(6). Suppose -3*x = -0*c + 3*c - 9, -12 = -f*c. Let m be x*(-2)/(-4)*0. Does m = 2/5?
False
Suppose -3 = 4*a + 33. Let f be (4/(-6))/((-6)/a). Which is smaller: -1/7 or f?
f
Let v = 0.77 + 0.03. Let l = 0.2 + v. Is l < 0?
False
Let h = -5 + 5. Suppose -r + h*r = 25. Let b = r + 47/2. Is b >= -2?
True
Let x = 0.42 + 4.38. Let r = x - 0.8. Let j = -4.1 + r. Which is smaller: j or -1?
-1
Let i(f) = -2*f**2 - 4*f - 2. Let t be i(-2). Suppose -2*p + 3*n = -2*n + 5, -5*n + 25 = -4*p. Let k = -12 - p. Are t and k equal?
True
Suppose 13*w = 8*w - 20. Let b = 8 + w. Are b and 0 nonequal?
True
Let g be -1 - (0 - 2*2). Let c = 44 + -44. Suppose -s + g - 2 = c. Are s and 4/3 equal?
