-51)*(-63)/4. Let r = g + 6/17. Suppose -2*l - 2 = 2. Which is bigger: l or r?
r
Suppose -193*s + 190*s - 3 = 0. Which is bigger: s or 2/15?
2/15
Let n be 12/((-1)/(6/(-9))). Which is smaller: 1/2 or n?
1/2
Let h(t) = -t**2 + 3*t - 1. Let d be h(4). Suppose 0 = 5*c - c + 24. Let q = d - c. Which is smaller: q or 1/5?
1/5
Let f(q) = -10*q + 61. Let x be f(9). Which is smaller: x or -1?
x
Let p(c) = -c**3 + 8*c**2 + c - 11. Suppose 0 = -5*y + y - 4*u + 16, -4 = 2*y + 5*u. Let a be p(y). Is a > -3?
False
Let r = 46 - 45.94. Which is smaller: r or 1?
r
Let d be (0 + -1)/((-1)/287). Let v = -4881/17 + d. Which is smaller: v or 1?
v
Let c be 3 + (6/18)/((-1)/9). Is 3/7 at most c?
False
Suppose x = -x + 40. Suppose 0 = 6*o - 2*o - x. Suppose 2*z + 2*d = 10, -z + 0*d - o*d + 21 = 0. Is z less than 0.1?
False
Suppose -3*u = -4*w + 17, 5*u + w + 22 = 2*u. Let z = -6 + 0. Which is bigger: z or u?
z
Suppose 5*f = 4*h + 23, -3*f + 7*f + 2*h - 34 = 0. Which is smaller: 6/7 or f?
6/7
Let n = 17 - -2. Suppose p + 4*j = n, -9 = -3*p - 2*j - 2. Is p != 1/9?
True
Let h = 22 + -26. Suppose o + 27 = -4*k + 6*k, -2*k - 5*o + 45 = 0. Suppose s + v = 0, -5*s - k = 3*v - 5. Is s bigger than h?
False
Let n be 1 - (-14)/(-28)*(7 - -1). Suppose -5*t = -2*d + 25, 3*t + 12 = -d - 3. Does n = t?
False
Suppose t - 9 = -2*t. Suppose -5*z - 5*l + 20 = 0, 4*l + 1 + t = z. Let w be (1/z)/(9/12). Which is smaller: w or 0?
0
Let o = -0.27 - 1.93. Let z = 12.2 + o. Let s = z + -10.06. Which is bigger: s or 2/7?
2/7
Let k = -1.267 + 0.197. Let d = 0.9 + k. Which is bigger: d or -1?
d
Suppose 0 = -7*g + 5*g + 2. Do -2/41 and g have different values?
True
Let u = 76/21 + -10/3. Let j = 4007/36 - 112. Let p = j + 4/9. Which is greater: u or p?
u
Suppose -4*s - s + 30 = 0. Let l be (-23)/(-7) + s/(-21). Suppose 2*z + 30 = -l*z. Are 1 and z equal?
False
Suppose 7 = -j - n + 1, -5*n = 0. Let q = -9 - j. Let l be -2 + (-3 - q) + 3. Do 3 and l have different values?
True
Suppose -2*w + 4 = -10. Let h be (-6)/(-21) + 12/w. Let j(a) = -2*a**2 + a. Let y be j(1). Which is bigger: h or y?
h
Let g be (-5)/10*-1*2. Which is bigger: g or -2/201?
g
Suppose t + l = 3, -4*l - 21 = -3*t - l. Suppose -t*r + 7 + 8 = 0. Suppose -v + 2 - r = 0. Is v smaller than -2?
False
Let r be (7/(-5))/(-3*(-5)/15). Are r and -1 non-equal?
True
Let n be (2/3 + 0)*(-42)/70. Which is greater: n or 8?
8
Suppose -83 = 5*h - 13. Is -14 at least h?
True
Let m be (96/18)/(2/3). Are m and 0.1 equal?
False
Suppose -g = -6*g + 55. Suppose 2*b = -7 + g. Is 3/5 <= b?
True
Let h = -14 + 14. Do 2/19 and h have different values?
True
Let j = -0.04 - 2.96. Let k be (1 - 0/3)/1. Which is smaller: j or k?
j
Let y = 0.77 - 1.67. Does 0.2 = y?
False
Suppose -2*t - 1 = 2*j - 7, 3*t - 3*j = 15. Suppose d - 3*f + 8 = 0, 6*d - 16 = 2*d - t*f. Are -1/5 and d equal?
False
Let s = -42 + 63. Let k = s + -19.9. Let x = 0.1 - k. Is 1 greater than x?
True
Let o = -247/6 - -41. Let t be (3 + -1)/((-4)/(-2)). Is o at least t?
False
Let s(m) = -m + 4. Let c be s(3). Let o be (-18)/60*(-831)/(-2313). Let d = o + 2/257. Which is smaller: c or d?
d
Let d be (3 - 490/165)/(-1). Which is smaller: 0 or d?
d
Suppose 0 = -3*u + 6*u + 9. Let w be (-3)/9 + (-1)/u. Let i = -55 - -56. Which is smaller: i or w?
w
Let p = 11 - 11. Let a = 0.3 + -0.6. Let h = -0.1 - a. Which is greater: p or h?
h
Let t = 1.74 + 0.16. Let g = t - 2. Let c = -719/7 - -103. Which is greater: g or c?
c
Let g = -0.127 - -0.077. Is g equal to 2?
False
Suppose -n - 5 = -4*c, -n - c = 4*c - 4. Does 6 = n?
False
Let a = 6291708/299 + -21043. Let s = -15/23 - a. Suppose 3*l = 2 - 5. Which is smaller: s or l?
l
Suppose -4*a - 13 = -3*u, -3*a = -5*u + a + 11. Suppose -13 - 1 = -2*n - g, 0 = 3*n - 4*g - 43. Let d be 6/81*n/3. Is u equal to d?
False
Let q be 1 + -3 - (-7 - -4). Is -4/9 equal to q?
False
Let w(n) = -3*n + 47. Let y be w(16). Which is smaller: y or 1/22?
y
Let t be ((-24)/(-14))/(4 + 246/(-63)). Is 19 at least t?
True
Suppose -5*c - 3*p + 17 = 0, -2*c - c - 4*p = -19. Is c greater than or equal to -1/179?
True
Suppose 5 = -5*c - 10. Let d be (-8)/(-3)*c/(-6). Does 0 = d?
False
Suppose -104 + 272 = -4*m. Which is smaller: m or -43?
-43
Let y(j) = 6*j - 1. Let c be y(1). Let k(w) = -2*w + 6. Let h be k(c). Let o be 1/h - (-45)/20. Which is bigger: 1 or o?
o
Let y = -150 - -156. Let w(c) = 2*c - 6. Let d be w(6). Is y at least d?
True
Let d = 0.25 - -0.15. Which is greater: 1 or d?
1
Let h = 0.1 + 2.9. Let k = h + -4. Is 1/4 at most k?
False
Suppose 0 = 4*o - 22 - 6. Is 7 less than or equal to o?
True
Let c be (-84)/(-22) + 4/22. Suppose 4*s - 16 = -2*t, -c*s + 2 = t - 0*t. Suppose -3*h - 5*u = -3 + 2, -t = -5*h + 4*u. Are h and 0.1 non-equal?
True
Let z = -29 - -51. Is z < 23?
True
Let y(p) = 3*p - 1. Let w be y(1). Let o be ((-9)/6)/(1/w). Let g be o/(99/(-6))*-1. Which is smaller: g or 0?
g
Let z(m) = -m - 5. Let i be z(-7). Suppose j = -i + 1. Which is bigger: 1/2 or j?
1/2
Let d = 1112/26659 + -2/503. Which is greater: 1 or d?
1
Let k(n) = n**3 - 10*n**2 + n - 11. Let m(w) = 2*w**2 + 2*w - 2. Let g be m(2). Let y be k(g). Is y at least 4/15?
False
Let k(t) = 7*t - 24. Let l be k(7). Which is smaller: l or 24?
24
Let o = 0.24 + -0.23. Let h = -1.99 - o. Which is smaller: h or -3/4?
h
Let v be 1820/4525 - (-2)/(-5). Let d = v - 384/9955. Which is smaller: d or 1?
d
Let i be (-9)/(-6) - 2/2. Do -2/11 and i have the same value?
False
Let j = 15/28 - 467/140. Is j bigger than -2?
False
Let n = -2 - 6. Let f be ((-6)/(-8))/((-2)/n). Suppose 0*p = -f*p - 3. Are -1 and p equal?
True
Let j = -107/20 + 28/5. Let b = 16 + -27. Which is smaller: j or b?
b
Let z = -0.27 - 1.93. Let w = z + 2.4. Which is greater: w or 0?
w
Let k = -1.47 - -1.6. Let z = 4.97 - 5. Let y = k + z. Is y bigger than 1?
False
Let z be (18/(-7))/(6/(-28)). Let r be (-3)/(2/(z/9)). Let h be 128/(-252) - r/9. Are 0 and h equal?
False
Let l = -14 + 13. Suppose -4*k - 2 = -2*r + 8, 9 = -3*k. Let x be (-2)/4 + r/(-2). Is x equal to l?
False
Let a(p) = -p**2 - 8*p - 8. Let w be a(-7). Which is smaller: w or -2/11?
w
Let g be (-81)/(-6)*(-2)/6. Let h = 62 - 66. Which is smaller: g or h?
g
Let r(j) = j**2 + 2*j - 3. Let c be r(-3). Let o be -2*(-1 - (-1)/(-2)). Suppose 0 = 3*q - 4*g + 20, -q - o*g + 15 = 3*q. Is q at least as big as c?
True
Let m = -3 + 3. Let z(s) = 4*s - 2. Let d be z(2). Suppose -g + d*g + 28 = 3*b, -5*b = g. Which is greater: b or m?
b
Let x = 79/104 + -5/13. Let m(l) = l**2 + 5*l - 25. Let s be m(-8). Which is bigger: s or x?
x
Let x = 144/43 - 2298/301. Are -5 and x non-equal?
True
Suppose -6 = 3*y - 3*d, 3*y + 11 - 3 = 2*d. Are -4 and y equal?
True
Let r be (7 + (-40)/4)/(6/(-8)). Suppose -25 = -4*i + 5*p + 12, -5*p - 25 = 0. Which is smaller: r or i?
i
Let h be 2*2/(-20) + 12/10. Which is smaller: 24/13 or h?
h
Let k be (-2)/(-6)*(-6)/(-14). Suppose -8*f - p - 2 = -4*f, 0 = 3*f - 3*p - 6. Is f bigger than k?
False
Let w(q) = -5*q - 3*q**3 + 5 + 0*q**3 - 2*q**2 + 4*q**3 - 2*q**2. Let m be w(5). Is 5 greater than or equal to m?
True
Let a be (-9)/(-2)*(-2)/(-3). Let b(g) = g - 1. Let s be b(1). Suppose s = -2*n - 0*n + 2. Which is bigger: n or a?
a
Suppose -m + 2*m = -6. Let s be m/(-20)*(-6)/9. Let p = 0 - -1. Which is smaller: s or p?
s
Let u be (-5)/2 - (-3 - 0). Let f = 13 + -9. Which is smaller: f or u?
u
Let u be ((-1)/(-1))/(10/(-220)). Is u >= -21?
False
Let m = -19 + 83. Suppose 0 = 4*f - 0*f + m. Let u be (-2)/(-5)*(-10)/f. Is u < 1?
True
Suppose n = -0*n. Let k = -2 - n. Is k > 0.3?
False
Let m(q) = q**2 - 7*q - 7. Let x be m(9). Suppose -g + 4*y + x = 0, -3*g - 12 = 2*y + y. Let n = 5 - 5. Is g less than or equal to n?
True
Let t(k) = k**3 - 11*k**2 + 10*k + 1. Let j = 9 - -1. Let x be t(j). Suppose 2 = -d + 1. Is x at least d?
True
Let v = 0.029 + -0.139. Which is smaller: v or 2?
v
Let c(r) be the third derivative of r**4/8 - r**3/2 - 3*r**2. Let g be c(1). Which is bigger: g or -2/7?
g
Let s be (-40)/(-3)*(-120)/(-25). Suppose -4*v = -s + 8. Let a = v - 67/5. Is a smaller than 2?
True
Let t = -2503/68 - -205/17. Which is smaller: -26 or t?
-26
Let i = 3 - 4. Let o = -15 + 7. Let t be 1*((-6)/o)/(-3). Is t bigger than i?
True
Let a(m) = -m**2 + 5*m - 1. Let l be a(4). Suppose -4*c + l