er than or equal to l?
False
Suppose 5*o + 3 = -2*m - 0, -3*m = -2*o + 14. Let v = 864411/11 - 78762. Let a = v + 179. Which is bigger: o or a?
o
Let d(k) be the third derivative of -k**4/24 + 7*k**3/6 - 30*k**2. Let q be d(7). Are 2/67 and q nonequal?
True
Suppose 0 = -8*v - 172 + 20. Which is bigger: -2 or v?
-2
Let i be 4/(-30) - 1*(-3536)/(-30). Which is bigger: -119 or i?
i
Let t = 35 - 104/3. Let y be 3/3 - (-18)/3. Let u = 8 - y. Which is bigger: t or u?
u
Let g = -268 - -260. Is 27 > g?
True
Let n be 2 - 1 - (-54)/(-63). Suppose -d - 1 = -2*d. Which is smaller: d or n?
n
Let q be (-10 - 2108/(-85))*33/2. Which is smaller: 245 or q?
q
Let a = -237 - -353. Let t = a - -36. Is 153 greater than or equal to t?
True
Suppose 3*w + 27 = -4*l - 34, w = 2*l + 33. Is -2 greater than l?
True
Let h = 11 - 5. Let s be (-3)/(2/h - (-93)/18). Let v be (1 - 6/4)*2. Which is bigger: v or s?
s
Suppose -2*c - 2*c = -5*w + 3270, -20 = 4*c. Suppose 0 = 3*x + 2*x - w. Let z be x/50 - (-2)/5. Which is bigger: 2 or z?
z
Let f = 1.52 - -0.08. Let l = -105 - -105. Is l greater than or equal to f?
False
Let g be 4/6*(-3)/79. Let l = -5172 + 5170. Which is greater: g or l?
g
Suppose 147 - 136 = a. Suppose -2*p = a*p - 117. Which is greater: 8 or p?
p
Suppose -5*u - 220 = -10*u. Let v be (-48)/(-72) + -127*1/(-3). Are u and v unequal?
True
Let p = -14 - -19. Suppose -30 + 100 = p*f. Which is smaller: f or 18?
f
Let k(u) = -14 + 0*u + 4 + 6*u**2 + u**3 - 5*u - 3*u. Let g be k(-7). Let d be ((-12)/18)/(g/(-9)). Which is greater: d or -1?
-1
Let r = -1 + 1. Let c be 940/469 - (7 + -5). Let m = c + 2337/1876. Are m and r unequal?
True
Let z = 4956/209 - 262/11. Let i(d) = -3 + 2 + 7 + d. Let n be i(-5). Is z >= n?
False
Let f be ((-2)/(-4))/((-6)/52). Do 0.1 and f have the same value?
False
Let r = -2203/10 - -220. Let i = 846 + -846. Is i bigger than r?
True
Let j(z) = -3 + 2*z - 4 - z + z. Let q be j(3). Is -5/7 < q?
False
Let h be -96*(-2)/3*4/(-8). Let z be h/8 - (1 - 0). Let m be (2 - 3)*2/5. Is z less than m?
True
Let c = -69 - -69. Which is smaller: -5/9 or c?
-5/9
Let w(b) = 2*b**3 - 5*b**2 + 11*b - 42. Let u be w(3). Is -1/819 < u?
True
Suppose 0 = -2*o - 0 - 14. Suppose -38*s = -37*s - 4. Suppose s*n + 36 = 4. Which is smaller: o or n?
n
Let f(z) = z**2. Let r(u) = -4*u**2 - 7*u - 4. Let k(y) = -3*f(y) - r(y). Let m be k(-7). Suppose -m*v = j + 6 - 1, -v = 3*j + 15. Which is bigger: v or 2/7?
2/7
Let q = -21 - -55. Let h = 29 - q. Which is bigger: h or 2/9?
2/9
Suppose -5*p = -16 - 4. Let a be 228/84 + p/14. Let q be 364/124 - (a + 0). Is q <= 1?
True
Let r(h) = -h**3 + 6*h**2 - 3*h - 2. Let f be r(5). Suppose f*g = -5*g. Which is greater: g or -14/25?
g
Let t = 41 + -20. Suppose -4*l + t = -5*k, -4*k - 25 = k. Is -17 equal to l?
False
Let f(p) = 3*p**2 - 4*p - 10. Let h be f(-5). Let r = -1021/12 + h. Does 1 = r?
False
Let x(l) be the second derivative of l**4/12 + 17*l**3/6 + 57*l**2/2 + 14*l. Let g be x(-9). Which is smaller: -14 or g?
g
Let v(n) = -3*n**3 + 2*n. Let s be v(2). Let o = -0.24 - -3.74. Let y = 3.5 - o. Which is bigger: s or y?
y
Suppose -18*j - 36 = -12*j. Which is smaller: j or -2?
j
Suppose 2*v - 33 = 5*v + 3*t, 50 = -4*v - 2*t. Which is bigger: v or 34?
34
Let n(t) = 5*t**3 - 2*t**2 - 4*t - 2. Let x be n(-2). Let p be -59 - (-5 + -1 - 10). Is x smaller than p?
False
Let p = -132 - -133. Which is smaller: 1510 or p?
p
Let d be 16/(-4) - 1*(-136)/14. Let k = d - 214/35. Which is bigger: k or -0.2?
-0.2
Suppose 0 = -3*h + 2*p - 13, 3*h = 4*h - 4*p + 21. Suppose z - 2 - 4 = 0. Suppose m = 4*g + 2, -2*m - 3*g - z = 1. Is m > h?
False
Let k = -4417/5 - -929. Let g = 46 - k. Are 1/11 and g equal?
False
Let x = -0.2 + 0.33. Let d = 11 + -11.13. Let k = x + d. Is -5 equal to k?
False
Let k be 1/51*(34 + -35). Which is bigger: k or 0?
0
Let v(n) = 79*n - 237. Let t be v(3). Which is smaller: t or -1/432?
-1/432
Let i be (5 - 2 - 2)*3. Suppose -25*b = -29*b. Suppose -k - k = b. Is k at most as big as i?
True
Let p be 4 + (-4 - -1 - -2). Suppose -2*c - 3*c = a + 51, 5*c = p*a - 67. Let u = c + 19. Which is greater: 6 or u?
u
Let k = 164 - 164. Is 2/3105 <= k?
False
Let s(z) = z**3 - z**2 - z - 2. Let x be s(0). Let d = -25/6 + 59/12. Let h = -1/2 + d. Which is greater: h or x?
h
Let q be ((-4)/(-6))/((-4)/(-9)). Let n(j) = -3*j + 23. Let f be n(7). Does q = f?
False
Let u(z) = -4*z + 4*z + 3*z - z + 3. Let s be u(-5). Let p(t) = t + 5. Let h be p(s). Which is smaller: -4 or h?
-4
Suppose -3*h + 0*q + 27 = 3*q, -5*q - 35 = -3*h. Let g be (15 + 3)*h/(-6). Is -30 greater than g?
False
Let s(j) = -6*j - 1. Let y be s(-1). Let k = 51 + -31. Suppose 5 = -y*h + k, 4*h = -3*r + 15. Which is smaller: r or -1?
-1
Suppose -3*x + 2*h = -0*x - 4, 5*h + 17 = 4*x. Let y be (0 - x) + 1 + -2. Is y greater than 1/2?
True
Let f = 5429/4 - 1357. Let c be -2*(0 - 2)/4. Let i = -2 + c. Is f > i?
True
Suppose -324*o + 332*o = 0. Does 8/13 = o?
False
Let o be -2*3/((-24)/(-8)). Let n = 1 - -1. Let m be n + -2 + 1 + -1. Is o greater than m?
False
Let z be (-1)/(-2) + 35/(-2). Let k be ((630/(-49))/5)/(2/14). Which is smaller: z or k?
k
Suppose -3*v - 12 = -18. Let g = v - -2. Is 5/2 >= g?
False
Let i be ((-45)/(-36))/(1/44). Let n(l) = -l**3 + 8*l**2 - 2*l + 21. Let g be n(7). Which is bigger: g or i?
g
Let h = -4 + 2. Let p(s) = 3*s**3 - s**2 - 2*s. Let a be p(h). Is a bigger than -24?
False
Let r = -0.05 + 0.35. Let b = 0.6 - 1.9. Let y = b + r. Which is smaller: -1.4 or y?
-1.4
Let p = -69/80 - -33/16. Which is smaller: p or 26?
p
Let o = 6845/3 - 14737279/6459. Let m = o + -17242/19377. Is 1 > m?
True
Let l(j) = 3*j**2 - 7*j + 5. Let g be l(3). Let i be 4/18 + g/(-9). Which is smaller: i or 1/33?
i
Let l(d) = -d + 33. Let p(k) = -2*k**2 - 8*k + 7. Let w be p(-6). Let r be l(w). Which is smaller: r or 49?
49
Suppose o = -4*d - 33 + 11, 2*o + 32 = 4*d. Let u be (-3)/(-7)*o/18. Let a = 0.1 + -0.1. Is u not equal to a?
True
Suppose 4*v - 4 = 0, 0*r + 989 = r - 3*v. Let f be -1 + r/(-6990) - -1. Let n = -2/233 - f. Which is bigger: n or -0.1?
n
Let n(z) = -z**3 + 4*z**2 + 9*z - 14. Let q be n(5). Suppose 3*w + 0 = -3*a - q, -2*a - 1 = -w. Let v = 1 + -1. Is w bigger than v?
False
Let g = -911 - -1010. Does g = -3?
False
Suppose 188 = 7*f + 20. Let b = -134 + 160. Which is smaller: b or f?
f
Let t = 1750 + -1750. Let c = 0.12 - 0.82. Which is smaller: t or c?
c
Let x = 30 + -28. Suppose 2*t - 8 = -x*t. Is t at most 2?
True
Suppose 6*x - g + 27 = 7*x, 3*g = 3*x - 93. Is x equal to 2/3?
False
Let q = -167.3 - -166.3. Which is bigger: q or 2/19?
2/19
Let v(m) = m**2 - 8*m + 12. Let i(x) = -x**2 + 8*x - 12. Let o(c) = -3*i(c) - 4*v(c). Let h be o(5). Is h at least 3/5?
True
Let u = -276 + 275. Which is smaller: u or 1/1891?
u
Suppose 897 = 56*o - 17*o. Which is smaller: o or 21?
21
Let a = 10 + -6. Let t be 4 + a/8*-4. Is 8/3 at least as big as t?
True
Let i(u) = u**3 - 6*u**2 + 3*u + 2. Let w be i(5). Let m = -6 - w. Suppose 0 = n - m*n. Which is smaller: 2/7 or n?
n
Let p be 0 + ((-424)/78)/(-4). Let m be (225/(-65))/(15/(-10)). Let r = p + m. Which is smaller: 4 or r?
r
Let u = 33 + -119. Are u and -86 equal?
True
Let p be 0 + 6*4/(-8). Let g = 2 + p. Which is bigger: 0.7 or g?
0.7
Suppose 786 = -2*p - 5*w, 2*w + 39 = p + 423. Is -388 < p?
False
Let w = 51 - 51. Suppose -3*m + 0*m + 4*q - 27 = 0, -2*q + 9 = -m. Let t be m/14*(-10)/(-15). Which is smaller: t or w?
t
Suppose -162 = w - 5*t, -2*w = -t + 114 + 192. Is -153 > w?
False
Let z be (-4 - 60/(-7))/(-1). Which is greater: -6 or z?
z
Suppose 0 = 5*l + 5, 4*h - 3*l - 1251 = 0. Which is greater: 314 or h?
314
Suppose 0 = -5*r - 4*d - 97, 0 = d - 4*d - 9. Let p = r - -17. Let n be (8/15)/(2/3). Is p greater than n?
False
Suppose 9446 = -3*v - 2*t + 3379, 5*v - 5*t + 10120 = 0. Which is greater: v or -2022?
-2022
Suppose -m + 17 = 3*r + r, -3*r + 3*m - 6 = 0. Do -8 and r have the same value?
False
Let n = -3250563233/7256110 + -39/85366. Let l = 165 + 283. Let f = n + l. Which is greater: f or -1?
f
Suppose 2*c = -5*d - 5, -4*c - 2 = 2*d - 3*c. Which is greater: d or 1/201?
1/201
Let h(x) = -2*x**3 + 22*x**2 - 15*x + 162. Let y be h(11). Is y < 188?
True
Let u = -2/107 + 9531/428. Which is greater: u or 21?
u
Let d = -131/