r: d or 11?
11
Let y(m) = 2*m - 4. Let h be y(4). Suppose t + 18 = 3*g + 3, 76 = -4*t + h*g. Which is smaller: t or -22?
-22
Let h(i) = -8*i**2 + 145*i - 59. Let b be h(23). Which is bigger: -1 or b?
-1
Let v be 36*(-2)/2*1. Suppose -75*i + 281*i + 14484 = -220*i. Which is smaller: i or v?
v
Let s = 271.8 + -296. Which is smaller: s or -3?
s
Let k be 50/6 - 1/3. Let f(j) = j**3 - 16*j**2 - 14*j + 229. Let t be f(16). Which is smaller: t or k?
t
Let v(i) be the first derivative of i**4/4 - 4*i**3/3 - 7*i**2/2 + 12*i + 1. Let u be v(5). Let w = -5 - -7. Is w equal to u?
True
Suppose 7 = 6*p + 1. Let a(m) = -2*m**3 + m. Let q be a(p). Which is bigger: 6/29 or q?
6/29
Suppose 4*j = 20, -2*f - 3*j - 33 = 2*f. Let r(w) = -2*w**2 - 6*w - 4. Let c be r(-4). Is f greater than c?
False
Let l = -129 - -125. Let f be 41*l/(-18)*6/(-8). Which is bigger: f or -8?
f
Let n = 11 + -2. Suppose 7*a = 6*a - n. Which is greater: -13 or a?
a
Let t = 11/279 + 1/62. Suppose 2*n - 5*x = -260 + 285, -20 = 4*x. Is n less than t?
True
Let j = -4.7 + 4.6. Which is smaller: j or 193?
j
Suppose 2*d + 36 = 2*m, 3*m + d - 2*d = 50. Let k be 890/(-80) - (-2)/m. Let y(f) = -2*f**2 + 4*f + 4. Let s be y(4). Is s != k?
True
Suppose -5*t = 5*t + 1840. Is -184 at most t?
True
Let h be (1 - 5/6)/((-5)/(-20)). Which is smaller: -0.21 or h?
-0.21
Let u be (-1)/(-22)*-13*(-64)/208. Which is greater: u or -0.143?
u
Let p(r) = r**2 - 4*r + 3. Let b be p(1). Suppose b = -12*o + 13*o. Let g be ((-1)/14)/((-2)/(-6)). Is g smaller than o?
True
Let y(z) = 13*z - 725. Let s be y(46). Are s and -132 non-equal?
True
Let o = -26635226/25 - -1065692. Let w = -283 + o. Let m be (1/(-3))/((-12)/(-36)). Which is bigger: w or m?
w
Let g = -34.928 - -35. Let w = -33.928 - g. Is -2/3 smaller than w?
False
Let n be -2*(-3 + 287/14). Which is greater: -37 or n?
n
Suppose -17*n - 4*j = -21*n + 108, 5*j = -10. Which is smaller: 1 or n?
1
Suppose -4*h = h - 5, -2*i - 2*h = -8. Is i at least -11?
True
Let s = 106 + -2545/24. Let c be 2*((-4)/2 - (-10)/4). Which is greater: c or s?
c
Let i(f) = f**3 + 6*f**2 + 6*f + 6. Let t be i(-8). Let k be ((-4)/t)/((-6)/60). Which is smaller: -1 or k?
-1
Suppose 0 = 4*q - q - 24. Let r(l) = 16*l**2 + 3*l + 8. Let m(t) = 15*t**2 + 3*t + 7. Let d(b) = 6*m(b) - 5*r(b). Let h be d(-1). Which is bigger: h or q?
h
Let m(y) = 9*y - 42. Let o be m(5). Let w = 89/2 + -45. Which is bigger: w or o?
o
Let w = -67 + 53. Let l = -23 - w. Is l less than -9?
False
Let c = 13 + -11. Suppose c*h - 10 = 2. Suppose -2*f + h = 3*g, 0 = -0*f - 3*f. Is 4 greater than g?
True
Let g = 25/384 + -4111/2688. Which is smaller: -2 or g?
-2
Let o = -1996/5 - -398. Let h(n) = n**2 + 19*n + 18. Let y be h(-16). Let d = y - -30. Which is bigger: d or o?
d
Let o(f) = -f**2 + 7*f - 40. Let n be o(10). Is -70 < n?
False
Suppose 0 = 2*w - 2*o + 16, 8 = w + 5*o - 2*o. Is -76/25 < w?
False
Let l = 1.1 + -1.6. Let u be -2*(-1)/4*4. Suppose -u = 4*q + 2*k + 6, -10 = 2*q + 4*k. Is l greater than q?
True
Let p = -9 - -13. Suppose 5*g - 3*g - 3*v = -11, -10 = -2*g - p*v. Which is smaller: -4 or g?
-4
Let c be ((-16)/(-40))/(12/10). Let a = 0 - c. Are a and -8 non-equal?
True
Let v = -5/177 - 23/3363. Which is greater: v or 0?
0
Let l = 5/54 + 92/27. Suppose -3*k + 37 = -2*k. Suppose 4*u = -5*b + k, u - 2*b + 4 = -3. Is u != l?
True
Let g = 473.85 - 455. Let m = g - -0.15. Let h = m - 14. Which is smaller: 0.4 or h?
0.4
Let l(d) = -53*d + 403. Let w be l(23). Which is greater: w or -815?
-815
Let k = 23.3 + -31.3. Are 4.4 and k unequal?
True
Suppose 30 = 7*g - 33. Let x be ((-66)/(-8))/(g/108). Let w be (-2)/11 + (-279)/x. Which is greater: w or -8/5?
-8/5
Let w = 0.4 + -2.9. Let b = 2.494 + 0.066. Let j = b + w. Is 1 at most j?
False
Let a be 5/(-2)*(-15)/(-12)*8. Suppose -12 - 15 = z. Is z at most as big as a?
True
Let n = 5 + -4. Let p(r) = 4*r**2 - r + 5. Let b be p(-3). Let v be (-8)/b + (1 - 349/440). Which is smaller: v or n?
v
Let m = -984 + 77738/79. Are -4 and m unequal?
True
Suppose -6 = 2*n + 2*p, 9*n - 7*n + 4*p + 10 = 0. Is n bigger than 2/915?
False
Let x be (832/10)/((-12)/30). Which is smaller: -1041/5 or x?
-1041/5
Let l be ((-4)/2 + 0)/2. Let t = 706683/263 - 2687. Is t greater than or equal to l?
True
Let c be 183/(-27) - 2/9. Let f(m) = -m**3 + m**2 - m - 1. Let j be f(0). Let o(k) = 7*k**3 - k**2 - k - 1. Let u be o(j). Which is smaller: u or c?
u
Let c be 5*-1*(-9 - 23202/(-2580)). Which is smaller: c or -1?
-1
Suppose -2*h = -6*h + 2*p + 222, 4*h - 227 = 3*p. Suppose 5*t = 8 - h. Which is greater: -6 or t?
-6
Let d(q) be the third derivative of -q**5/60 + 5*q**4/24 + 5*q**3/3 + 4*q**2. Let r be d(8). Let h = r + 14. Which is bigger: h or 3/10?
3/10
Let n be (-3 - 5)*26/(-8). Let q(a) = 11*a**3 - 7*a**2 + 4*a + 2. Let s(g) = 17*g**3 - 11*g**2 + 6*g + 3. Let y(u) = 8*q(u) - 5*s(u). Let b be y(2). Is n >= b?
True
Let n = 22 + -19. Suppose 5*c + 23 = -2*d, -n*d - 3*c = -4 + 16. Which is smaller: d or 1/7?
1/7
Let j(c) = c**3 + 14*c**2 + 37*c + 42. Let p be j(-11). Which is smaller: p or 154?
p
Let n = 0.715 + 0.285. Let q = 73 - 109. Is q greater than or equal to n?
False
Let j be (-2)/30*(18 - 15). Let q = -45 + 45.23. Let s = 2.77 + q. Is s <= j?
False
Let v = -53 - -57. Suppose -2*y = 4*s, -v*s + 2*s = 5*y + 8. Which is smaller: s or 7/5?
s
Let f = -29 + 17. Let n = f - -13. Let q = 0 - 0.03. Which is smaller: q or n?
q
Let c be (-5186)/143*5/30. Let k = -77/13 - c. Which is smaller: k or -1?
-1
Let t be 3/4 - 579/(-12). Suppose 0 = -2*q + 2, 2*y - t = 8*q - 11*q. Is y greater than 23?
False
Let j = -3/515 + -203/515. Which is bigger: -3/46 or j?
-3/46
Let c = -835 - -843. Let p be (-154)/(-13) + 4/26. Which is smaller: p or c?
c
Suppose -12*s - 19 + 7 = 0. Which is smaller: 2/3 or s?
s
Let t(q) = -2*q**2 - 39*q - 4. Suppose 5*c = -g + 4*g - 98, 5*c = g - 96. Let f be t(c). Is 15 less than or equal to f?
True
Let v = -108 - -107.5. Which is greater: -11 or v?
v
Let y be 14 + 9 - (2 + 0). Suppose -y = x + 2*n + n, -x + 3*n = 15. Which is smaller: x or -19?
-19
Let r be 0/(-3 - -15) + -659. Are r and 2/5 nonequal?
True
Let s(y) = -4*y - 6. Let v be s(-11). Which is greater: 42 or v?
42
Let g be (-36)/60*(30/(-39) + 0). Let b be (1*-1)/(-1 + 2). Is g > b?
True
Let s = -48 - -66. Let z(h) = 2*h**2 - h + 1. Let j be z(3). Which is bigger: j or s?
s
Suppose n = -2*s + 14, s + 36 = 2*n + 13. Let w be -2 - n/(2 + 0). Which is bigger: w or 0?
0
Let x be (3 + -4)*-26*2. Which is smaller: x or 0?
0
Suppose 4*f = 3*c + 2, -f - 3*f + 32 = 2*c. Is c >= 8?
False
Suppose -196 = -4*i + 12. Let x = 158/3 - i. Is x at most as big as -3/5?
False
Let s = -0.009 + -2.991. Let m = 10 + -9.2. Let v = m + -1.2. Which is greater: s or v?
v
Let o = -119 - -78. Let b = -39 - o. Are b and -19 unequal?
True
Let j = 0 + 0. Let y be j + (-3)/(-24) + 0. Suppose 9*d - 6*d = 0. Is d > y?
False
Let m be 6/(-9) - (1 + 0). Let l = 226 + -228. Is m != l?
True
Let n be -12*4/(-84)*14. Which is bigger: 19 or n?
19
Let z be 12/16 - (-300)/(-272). Let b = -112/221 - z. Is 1/2 at most as big as b?
False
Let n = 164/9555 - 2/65. Is n at least as big as 1?
False
Let i = 151/12 + -38/3. Let v = 6 + -9. Which is smaller: v or i?
v
Let c(a) = -a**3 - 7*a**2 - 12*a - 4. Let t be c(-2). Which is greater: t or -1/20?
t
Let z = 4.5 + -16.7. Which is bigger: 1 or z?
1
Let c be 1960/11 - (0/3 + 2). Let i = c + -174. Which is greater: i or 1?
i
Let s(b) be the third derivative of -b**5/60 - 3*b**4/8 + b**3/3 + 5*b**2. Let h be s(-9). Is 7 <= h?
False
Let v = -821 - -23807/29. Is v != 3?
True
Let q be ((-109)/1)/((-55)/3). Let b = -72/11 + q. Let m = -0.1 - 0.9. Which is smaller: b or m?
m
Suppose b = -43 + 63. Let v be (8/(-174))/((b/15)/(-2)). Suppose -x = 3*x. Is x at most as big as v?
True
Let x(l) = 2*l**2 - 59*l - 94. Let s be x(31). Are -7/19 and s unequal?
True
Let b = 2 - 1.92. Let x = 13.08 - b. Let h = 2 - x. Is h at least 0.2?
False
Let c be ((-825)/9 + 4)/(88/(-6)). Let n = -25/4 + c. Let u be (-2)/3 - 5/15. Is u > n?
False
Let v(c) = -c**3 - 11*c**2 - 3*c + 13. Let u be v(-11). Suppose 4*x + u = -2*f - 100, -x = -f + 44. Let z be x/(-8) + (-7 - -3). Are 2 and z non-equal?
True
Suppose 100 = 5*v - 30. Suppose -3*z = -3*f - v - 64, 4