3)/(-2). Let s be (z + -6)*(-1)/(-2). Which is bigger: 19 or s?
19
Let b(q) = -q**3 + q + 30. Let a be b(0). Let y = -29 + a. Which is smaller: y or 10/11?
10/11
Let c = 293 + -292. Which is greater: -5 or c?
c
Let b = -56 - -61. Suppose -4*k + 0*k = -72. Suppose -q + 6*c = 2*c, -5*q = -2*c - k. Are b and q equal?
False
Let a be ((-1)/(-129))/((-4)/(-8)). Let l be 0 + -2*(-4)/8. Is a <= l?
True
Let j = 0.0201 + 3.9799. Is j less than -0.013?
False
Suppose 59*v - 58*v = 82. Suppose 73 = -3*z + v. Is z less than -1/6?
False
Let d = 0.042 - -1.118. Let u = -8.16 + 8. Let w = u + d. Which is greater: w or -7?
w
Let p = 91 + -88. Does -0.89 = p?
False
Let x = 27.37 + -3.74. Let v = x - 22.4. Let l = v + -1.2. Is 0.1 not equal to l?
True
Let f be 3/(2 + 38/(-16)). Let p(n) = -n**2 + 6*n + 8. Let r be 16/6*(2 - -1). Let s be p(r). Is s less than f?
False
Let r = -3876/13 - -298. Is -26 less than or equal to r?
True
Let w be -6*(-1)/24 + (-49)/(-12). Let j(r) = r**2 - 10*r + 8. Let t be j(8). Let l(v) = v**3 + 7*v**2 - 9*v - 4. Let i be l(t). Are w and i nonequal?
True
Let b(c) = 22*c**2 + 12 - c**3 - 1 + 7 - 21*c + 8. Let n be b(21). Which is bigger: n or 28?
28
Let w(b) = 2*b**2 + 9*b - 17. Let g be w(-8). Suppose -5*q - 3*s - 26 = 165, 4*s = 3*q + 132. Let d = q + g. Is -4/13 at least d?
True
Let d = 145/12 + -49/4. Let s = -14 - -14. Suppose -8 = -2*a - 2*p, s*p + 3*p - 12 = a. Which is smaller: a or d?
d
Suppose 11 = -n + 16. Suppose 2*f + 26 = -4*t - f, n*t = f - 23. Suppose -z + 30 = -5*g, -g = -4*g + 5*z - 18. Are t and g equal?
False
Let g be 13/(273/70)*-3. Is -19 less than g?
True
Let c = 1228/15 + -82. Which is smaller: 28 or c?
c
Let z = -361/2 - -195. Let j = -15 + z. Are j and -2 non-equal?
True
Let g = -695 - -693. Which is greater: g or -50/69?
-50/69
Let o = 0.341 + 33.659. Is 1 equal to o?
False
Let g = -0.01 + 2.01. Let f = -9513/36340 + 47/316. Let j = 2/23 - f. Do j and g have different values?
True
Let g(p) = p**2 + 18*p - 18. Let h be g(-18). Let q = 88/5 + h. Does q = 3?
False
Let s(i) = -3*i - 5. Suppose b + 116 = 5*b. Suppose 4*x + b = d + 9, -5*x = -2*d + 28. Let w be s(x). Are 5 and w nonequal?
True
Let s = 505 - 1011/2. Is s less than or equal to 2?
True
Let z be 3*1251/132 + 15/(-60). Which is greater: 28 or z?
z
Let l(c) = -21*c**2. Let j be l(-1). Let q = 5527 - 5547. Which is greater: q or j?
q
Let l(v) = -21*v + 1. Let n be l(-5). Suppose -306 = -8*h - n. Let y = h + -27. Is y not equal to -1?
True
Let v = -16 - -22. Let f = v - 7. Let z = 33 + -133/4. Is z at most f?
False
Let k be (-2)/6*(-4)/(-8). Let m be (-1)/(3 - 28/10). Let r be 1/2*(m - -3). Which is smaller: r or k?
r
Suppose -2*r + 12 = -3*r. Let b = r - -10. Let i be -4 - (35/(-10) + 2). Is b <= i?
False
Suppose 3*g - 26 = -17. Suppose -3*x - 6 = -g*c, 3*x - 2 = -2*c - 8. Is c < 1/5?
True
Suppose -3*p - 3 = 6. Let n be (-2)/p - 140/165. Let t = 4 + -5. Which is smaller: n or t?
t
Suppose -121 = -5*n - 96. Which is smaller: 80/19 or n?
80/19
Let t be ((-497)/(-115))/(7/(-14)). Let d = t - -43/5. Is 0 at most d?
False
Suppose 0 = 4*p - 4*k - 16, -p + 3*k = -0*p - 14. Let w be (2*p)/(-6 - -4). Let v be 5/((-3)/6 + w). Is v at least 11?
False
Let u = -1/2158 + -8545/187746. Are 1 and u nonequal?
True
Let x = 556/3 - 5527/30. Is x bigger than 0?
True
Let g(u) = 3*u**3 - 4*u**2 + 2*u. Let d be g(2). Suppose 6*h + 36 = d*h. Let s be -6*(h/(-2))/6. Is s at least 6?
False
Let m = -0.37 + 0.07. Let j = -9.7 - 0.3. Let g = -9.9 - j. Which is bigger: g or m?
g
Let l be 32/17 - (-10)/85. Let d be l/5 + ((-48)/(-30))/(-4). Is d not equal to -8/9?
True
Suppose 13*x - 14*x = i + 3, -3*i = -3*x + 15. Is x smaller than -4/47?
False
Let s = -21 + 12. Let w = -3 - s. Let a(g) = g**2 - 4*g + 4. Let r be a(4). Which is smaller: w or r?
r
Let r = -12.76 - 0.24. Let p = r - -13.12. Let g = p + -0.22. Which is smaller: g or 4?
g
Suppose 3*r - 2*i + 162 = -r, -4*i = 5*r + 196. Let o be (-2)/12 - 6*68/144. Let s be 112/r - (o + 0). Is s < 1/3?
True
Suppose -3*w = j - 44 - 2, 2*w - 31 = -j. Is 1 >= w?
False
Suppose -4*a + 208 = 6*f - 4*f, 2*f + 3*a = 203. Suppose 0 = 5*n - 2*n - 5*w - 70, 3*n - f = -w. Let b = -86/3 + n. Do 2 and b have the same value?
False
Let t = -414 - -162. Which is smaller: t or 1?
t
Let g = -891 + 806. Is g at least -87?
True
Let m = 15 - 17. Let f = 1.8 - 2. Let z = 0.7 + f. Which is greater: m or z?
z
Suppose -5*i + 11 = -3*m, 3*i - 5*m - 12 - 1 = 0. Let b = 2/819 + 1361/1638. Are i and b unequal?
True
Let y be (-2)/5 - (-16)/65. Let p = 51 - 91. Let j be p/42 - 14/(-49). Which is bigger: j or y?
y
Let b be (-26)/(-8) + 6/(-24). Suppose 8*v - 2 = 4*v + 2*r, -5*r = -v + 14. Is b less than v?
False
Let a be 1/(-1 + 0/2). Let b be (-3 - (-1 + -3))/((-1041)/6). Does b = a?
False
Let c(t) = -t**2 - 5*t + 17. Let q = 49 + -55. Let m be c(q). Which is bigger: m or 5?
m
Let v = 22.012 + -0.012. Let b = -22.13 + v. Which is smaller: b or -1?
-1
Suppose -57*y + 7624 = 1069. Which is smaller: y or -0.1?
-0.1
Let f be (152/12 + -6)/(-2). Is f equal to 3?
False
Let l be (-4)/10 - 176/10. Let h = l + 3. Let c be 6/h*(-2)/(-12). Which is greater: c or -1?
c
Let m(s) = -37*s + 3. Let i be m(8). Let o = -2623/9 - i. Is o equal to 2?
False
Let t be -18*4/(-6)*(-3)/(-12). Is 1/6 >= t?
False
Let w(m) = m - 8. Suppose 5*d = 23 - 43. Let t be w(d). Are -11 and t equal?
False
Let j(l) = l**3 - l - 5. Let g be j(0). Suppose 3*s = -i + 31, -2*s - 3 + 19 = -4*i. Let z be 1*(0 + s/(-25)). Which is bigger: z or g?
z
Let r(v) = 3*v - 61. Let j be r(14). Are j and -21 equal?
False
Let y = -90 - -135. Let t = 44 - y. Suppose -3*h - 4 = h. Do t and h have different values?
False
Let h = 1007 - 289. Are h and 717 equal?
False
Let i = -210308 - -212494.71. Let y = -2197 + i. Let n = y - -0.29. Is n at least -2?
False
Let t = 12744041/903 - 14113. Is 1 at most as big as t?
False
Suppose 0 = f - 12*f - 209. Do -24 and f have the same value?
False
Let k be 2091/5712 - (-3)/(-7). Which is smaller: -4/3 or k?
-4/3
Let p = 1 + -1.3. Suppose -3*z + 7*z + 5*c - 210 = 0, 2*c = 4. Let f be (-4)/z*(8 - 3). Is p < f?
False
Suppose -p + 2*p = 5*k - 29, -2*k - 2 = 3*p. Let x be (3/(-2))/((-21)/28). Suppose -x*w = 3*j - 5, 2*j = -2*j + 2*w + 16. Do k and j have the same value?
False
Suppose -5*p - 3*a + 3 = -3, -5*p - a + 12 = 0. Suppose -p*w + 4*w = 5*w. Are w and 2/95 non-equal?
True
Let t be -6 - (0 + 30/(-6)). Which is greater: 3/55 or t?
3/55
Let d = -21 + 19. Let f = -2/2707 + -75778/24363. Which is smaller: f or d?
f
Let c = 2560.1861 - 2560. Which is smaller: 1 or c?
c
Let l = 1559/273 + -4/91. Which is bigger: -1/10 or l?
l
Let a(n) be the second derivative of n**4/6 + n**3/6 - 9*n. Let h be a(-2). Which is bigger: 10 or h?
10
Let d be 29 - (-3 + 6 + 0). Suppose -3*f + 35 = -2*h - 41, -2*f + 60 = h. Which is smaller: f or d?
d
Let i be (-3)/(-9) + 68/(-196). Suppose 30*u + 4 = 26*u. Which is smaller: u or i?
u
Let b = 14 - 0. Let s = 13.8 - b. Let a = s + 0. Which is smaller: a or -1/4?
-1/4
Let o be (3/2)/(1/2). Suppose -4*a - 4 = o*w, -5*a + 2*w = -a - 16. Which is greater: a or -7?
a
Let n = 115 - 110. Which is smaller: -12 or n?
-12
Let h be 40/(-12)*12/(-1570). Which is smaller: 1 or h?
h
Let q = 1 + 16. Let s = q + -18. Does s = 2?
False
Let z = -253 + 101. Which is smaller: -153 or z?
-153
Let c = 2.7 + 22.3. Let k = 36 - c. Let a = -8 + k. Which is smaller: 1/2 or a?
1/2
Let t = 7.1 - 4. Let c = -76.1 - -76. Let z = c + t. Which is bigger: z or -2/5?
z
Let h be ((-5)/((-207750)/(-20)))/(4/5). Which is smaller: h or -1?
-1
Let m be ((-41)/9 + (-3)/27)*-3. Suppose 9 = -17*o + m*o. Are -26/11 and o equal?
False
Let v be (12/3 + -3)/1. Let p = 0.02 + -3.02. Let r = 4 + p. Is v less than r?
False
Let t = -43 + 55. Let j(x) = -4*x + 10. Let l be j(t). Is -38 at most as big as l?
True
Suppose -1534 = -140*f + 127*f. Is 115 bigger than f?
False
Suppose -3*g - 2*r = 2*g + 10, 4*g + 8 = -3*r. Let d be 1034/(-705)*(-3)/(-2). Do d and g have the same value?
False
Let w be (-42 + 42)/(20/(-2)). Is w at least 2/411?
False
Let o = 361 + -361. Which is smaller: 97/5 or o?
o
Suppose a + 2*y - 114 = 0, -y = -5*a + a + 465. Let b be 10/8 + (-29)/a. Does b = 2/151?
False
Let q = 326/171 + -13/19. Is q bi