et r = d - -10.04. Let u = 0 - -1. Is u <= r?
False
Let w = -1.53 - -0.23. Let a = w + 4.3. Let l = -3.07 + a. Which is greater: -1 or l?
l
Let g be 168/((-7)/1)*(-2)/2. Let l(b) = -b**2 + 4*b + 2. Let f be l(4). Suppose 3*k - 73 = f. Which is smaller: k or g?
g
Let l(n) = 11*n**2 - 5*n + 7. Let a be l(2). Let u = 44 - a. Which is smaller: u or 1?
1
Let n be (-4)/((-12)/9) + -3. Let a(u) = u**3 - u**2 - u - 6. Let w be a(n). Are w and -7 unequal?
True
Let h(s) = -s**2 + 105*s + 436. Let q be h(-4). Which is smaller: q or 2/1151?
q
Let f = -0.7 - -0.5. Let d = -0.1 - f. Let c = 517/5 + -103. Which is bigger: c or d?
c
Suppose 3*n - 4*m = 709, -n + 2*m + 3*m = -240. Which is bigger: n or 236?
236
Let n = -63 - -25. Let o = n + 42. Suppose -l = -0*l - 4. Is o bigger than l?
False
Let x(a) = a. Let l be x(-5). Suppose 5 - 5 = -3*u. Is u <= l?
False
Suppose 11*y + 33*y = -6644. Is -150 > y?
True
Let v(w) = -w**3 - 4*w**2 + w - 18. Let m be v(-5). Let p = -8923/10 - -893. Is m bigger than p?
True
Suppose 21 = -103*f + 106*f. Are -0.1 and f equal?
False
Let x = 0.4 + -0.5. Let s = 12 - 26. Let o be (-3)/(-5)*s/21. Which is smaller: o or x?
o
Let y be ((-6)/(-4))/((-10)/60). Let m = y - -6. Which is smaller: m or -22/7?
-22/7
Let b = -68.63 - -72. Which is bigger: b or -0.2?
b
Let p be (-5)/(-5)*1*-245. Let l be (-1)/5 - (84/p)/1. Suppose -3*x + 0*v + 6 = -2*v, -4*v - 12 = -4*x. Which is smaller: l or x?
x
Suppose i - 106 = -122. Let l(p) = -16*p**2 + 2*p + 1. Let h be l(-1). Which is smaller: h or i?
h
Suppose -4*k - 4*t + 2*t = 102, 0 = 3*k - t + 84. Let x = k - -21. Which is greater: -7 or x?
x
Let d(f) = -f**2 - 36*f - 153. Let p be d(-31). Is 57/35 greater than p?
False
Let f = 2 - -3. Let l(y) = -y**3 - 13*y**2 + 17*y + 45. Let d be l(-14). Suppose f = -4*r - d. Which is bigger: -1/2 or r?
-1/2
Let l = 253 + -541. Let i = -5761/20 - l. Is 0 not equal to i?
True
Suppose -5*z = -5*c - 15, 3*z = 2*c + 8*z + 20. Let b(l) = l**2 - 10. Let r(g) = -4*g + 5. Let v be r(2). Let w be b(v). Is w smaller than c?
False
Suppose 0 = 2*h - 32*p + 33*p - 22, -p - 56 = -4*h. Let v(a) = 3*a + a - 2 - 1. Let f be v(4). Are f and h equal?
True
Suppose 2*t + 3 = a - 2, 3*a + 5*t - 4 = 0. Let r = 2 + a. Suppose r*p = 4*p + 2. Which is bigger: -0.4 or p?
p
Suppose 2*u + 76 = -5*k - 84, -140 = 4*k + 4*u. Let c be (k/25)/((-3)/6). Which is bigger: 3 or c?
3
Let i = -82 - -161/2. Let o(y) = -y**2 - 10*y. Let a be o(-13). Let c = -40 - a. Which is greater: c or i?
c
Let h(o) be the first derivative of -o**2/2 + 29*o - 4. Let x be h(17). Let p = 14 + -3. Which is greater: x or p?
x
Suppose -m - d = 2*d + 9, 2*m = -4*d - 10. Suppose 5*c = -5, c + 4 = 5*p - m*c. Let l be (-3)/(-48)*(9 - 3). Is p less than l?
True
Let a = 1 - 1. Let p = a + 0. Let v = -1505 - -1503. Which is smaller: p or v?
v
Let w = 6.59 + -0.59. Let c = -8 + w. Is c >= 5?
False
Let q be (-20)/100 + 812/10. Is q greater than or equal to 82?
False
Let s = 1.307 + 0.033. Let h = s + -0.34. Which is smaller: h or -0.6?
-0.6
Let g = -57 + 227/4. Does 16.3 = g?
False
Let x = 5.19 - 0.04. Let y = 0.15 - x. Which is bigger: y or 2/13?
2/13
Let y = 43.9 + -43.717. Is y < 0?
False
Suppose 3*g - 5*q = 157, 46*g - 44*g - 3*q = 106. Is g < 57?
False
Let p(o) be the second derivative of 2*o**3/3 + o**2/2 - o. Let m be p(1). Let j(d) = -d + 5. Let n be j(m). Which is smaller: n or -2?
-2
Let q be (0 + -2)*(0 + 1/(-2)). Let i be 12 + q - (15 + -17). Which is smaller: i or 16?
i
Let w be (1/(-1))/(5*5/(-50)). Let m = 10 - w. Let h = 18 - 11. Which is greater: h or m?
m
Let l = 83 - -25. Suppose 0 = 9*k + l + 9. Which is smaller: -0.1 or k?
k
Suppose 0 = -d + 5*d - 20, -5*k - 15 = 4*d. Let o be 1/((-7)/30) - 2/k. Is -4 not equal to o?
False
Let w be -4*((5 - 9) + 22/8). Let k = 2 - -7. Suppose 21 = 4*q + k. Is w at least as big as q?
True
Let b = -0.29 + 0.22. Let y = 0.17 + b. Is y greater than 6/5?
False
Let l = -27 + 26. Let r be (l*0/1)/2. Let g = -189/4 + 47. Does g = r?
False
Let w be 0*((-45)/12 + 4). Let y be (-4 - -5) + w/3. Is -0.13 > y?
False
Let d be (-2)/(0 + -5 + 4). Suppose -2*z = -4*n, -2*z - d*z = -n. Is -3/10 bigger than z?
False
Let x be 327/(-477) - 2/(-3). Suppose -62*p + 42*p = 0. Is x less than p?
True
Let f = 24.572 - 24.5. Is -0.1 bigger than f?
False
Let v(g) be the third derivative of g**6/120 + 4*g**5/15 - g**4/24 - 7*g**3/3 - 11*g**2. Let j be v(-16). Suppose 3*b = -0*b + 6. Is b at least as big as j?
True
Let h = 628831/516 - 3656/3. Which is greater: h or 0?
0
Suppose -2*l = 4*b - 6, -3*b = -6 - 6. Let p(h) = h - 6. Let r be p(4). Let n be (-8)/r*9/(-6). Which is bigger: n or l?
l
Suppose -2*g - 6 = -3*s - 17, -2*g = -4*s - 14. Let b(m) = 13*m**3 + m**2. Let t be b(g). Let v be 2/(-6) + t/18. Is v at least as big as -1?
True
Let z(i) = i - 3. Let p(a) = a**2 - 8*a + 10. Let r be p(7). Let v be z(r). Let k = 32/57 - -2/19. Which is bigger: v or k?
k
Let r(i) = 15*i - 3*i**2 + 5 + 3 + 4*i**2 + 6. Let u be r(-11). Let y be (-4)/54*u/4. Which is bigger: y or 0?
y
Suppose -3*d = 0, -w - 3*d = 3*w - 16. Let x = w + -3. Let z = 1 - -2. Is z at most x?
False
Let f = 101 - 60. Let r = f - 208/5. Let g(n) = n**3 + 3*n**2 - 4. Let o be g(-2). Is r less than o?
True
Let t = 976 + -975. Is t > -1/676?
True
Suppose -4*k + 3*j = k + 20, j - 2 = -3*k. Which is bigger: -7/3 or k?
k
Suppose 0 - 36 = -6*d. Let j be 30/(-9)*(-6)/5. Let z(k) = -k**3 + 4*k**2 + 2*k - 1. Let g be z(j). Which is bigger: g or d?
g
Let l = -2831.3 + 2648. Let r = 181 + l. Let h = 3 + -2. Do h and r have different values?
True
Suppose 9*k = 10*k - 4. Suppose 0 = 4*j + 20, 2*r + 3 + k = -j. Is r at most as big as 15?
True
Let f = 7 + -5. Suppose -f*o = 3*o - 5*a + 45, 39 = -4*o + a. Is -10 > o?
False
Let k = -93 + 160. Let i = 127 - k. Let v be 288/i*2/8. Do v and 0 have different values?
True
Let j(c) = c**3 - 6*c**2 - c + 9. Let r be j(6). Suppose 0 = r*f - f - 20. Let v(x) = -10*x**3 + x. Let k be v(-1). Is f < k?
False
Let w be (-20)/24 + -1*2/(-6). Suppose -5*l - 10 = -10*l. Let d be (-3)/1 - (l - 0). Is d at most w?
True
Let o(d) = d**2 - 5*d + 5. Let s be o(4). Let h be 8/(-20) - 183/(-270). Is s greater than h?
True
Let x = 2 + -3. Let g be (-5)/(55/(-2)) - (-78)/(-66). Let v be g/(-1) + 1*-3. Which is smaller: v or x?
v
Let m(p) = p**2 - 5*p - 12. Let v be m(9). Let i = 26 - v. Let d = 0.6 + 1.4. Is i < d?
False
Let m be (-4 - 1066/10) + -1. Let g = m + 112. Is -1 bigger than g?
False
Let o = 51 + -49. Suppose 3*u + 1 = -2*l, 5*l - o*u + 2 - 28 = 0. Is l < 0?
False
Let i = 366 + -478. Which is greater: i or -4?
-4
Let i = 3.697 + 0.083. Let p = -4 + i. Which is smaller: p or 2?
p
Let q = -534 - -521. Is q <= -0.04?
True
Let k = 42 + -27. Suppose -o = 2*n + 2*o - k, -5*o - 15 = 0. Let b = 13 - n. Which is greater: b or 1/23?
b
Let m(s) = -s**3 + 2*s**2 + 2*s - 2. Let g be m(4). Let j be (-4)/g + 82/(-26). Let f be (2/2)/((-1)/j). Is 2 at most f?
True
Suppose -4*r + 3*g + 13 = 0, 6*r + 2 = 7*r - g. Suppose 0 = -2*n - 5 - 7. Let o = n + r. Which is bigger: o or 1/6?
o
Suppose 6*g - 6 + 0 = 0. Let n = 1051/3816 - -1/424. Which is smaller: n or g?
n
Let z(b) = b**2 - 4*b + 3. Let j be z(4). Suppose -27 = -j*x + 5*a - 5, 0 = -4*x - 3*a - 19. Let m be (-24)/(-92)*(-1)/2. Which is greater: m or x?
m
Suppose 4*c + 0 = 8. Suppose 5*m + c*u + 60 = 0, 5*u - 12 = -3*m + 4*m. Let r be (3/m)/(1/3). Which is greater: r or 0?
0
Suppose -6*j + 2 = -484. Is j bigger than 86?
False
Let a be 0/(-9) + -2 - (-3996)/1999. Is -1 less than a?
True
Let p = 591.13 + -581. Let s = p + -0.13. Let m = 8 - s. Are -8 and m nonequal?
True
Let v = -0.0217 - -0.3217. Is -50/9 equal to v?
False
Let b be (-12)/(-105) - 42/105. Is b greater than 8/83?
False
Let x = -73 - -74. Let q = -502 + 11544/23. Let g = 121/69 + q. Is g equal to x?
False
Suppose j - 40 = -30. Let h be (6/15)/(-2) - (-2)/j. Let w = -100 - -997/10. Is w greater than h?
False
Let i(g) = -14*g + 7 - 4 + 10*g. Let p be i(16). Which is bigger: -60 or p?
-60
Let v = -30.6 - -42. Let u = v + -11.5. Let g be 2/8 + 30/(-56). Which is smaller: u or g?
g
Suppose 5*c = 18 - 8. Suppose -10*y + c*y - 40 = 0. Which is greater: y or 1?
1
Let v = -390199/44 - -8869. Is v at most as big as 1?
True
Let d = 265 