et o be (-60)/n + (-27)/(-12) + -3. Which is smaller: 14/9 or o?
14/9
Let u(j) = -j + 14. Let d be (-206)/(-14) - (-42)/147. Let o be u(d). Which is bigger: 2/67 or o?
2/67
Let g(b) = -b**3 + 14*b**2 - 27*b + 38. Let v be g(12). Which is smaller: v or 23?
v
Let v(d) = -d**2 - 63*d + 5. Let w(x) = 32*x - 3. Let s(k) = 4*v(k) + 7*w(k). Let n be s(-7). Which is smaller: n or -6/7?
n
Let o(l) be the third derivative of -l**4/12 - 2*l**3/3 - 13*l**2. Let b be o(-3). Is 1 greater than b?
False
Let x be (27/15 - 3)/(12/400). Is x bigger than -40?
False
Let p = -186.221 + 0.221. Let r = p - -147. Which is smaller: r or -2/3?
r
Let i be ((-3)/(3/(-32)))/(60/18). Which is smaller: i or 10?
i
Suppose -m = 2*i - 2, 2*i + 0 = -4*m + 8. Suppose 2*x + 2*x = i. Are x and 4 nonequal?
True
Suppose 0*z + n = 3*z + 6, -2*n = 4*z - 2. Does 6/1243 = z?
False
Let u be 12*24/(-45)*1/(-2). Which is smaller: -1 or u?
-1
Suppose 5*w = -2*h + 55, 4*w = 2*h + 3*h + 77. Which is smaller: 9 or w?
9
Let c(b) = -8*b**2 + 5*b**2 + b**3 + 4 + 8*b**2 - 2. Let x be c(-5). Let h be ((-16)/(-648))/(x/(-12)). Is 0 bigger than h?
True
Suppose 9*k - 7 = 11. Suppose 26 = k*s - 0*s. Which is bigger: 14 or s?
14
Suppose 233 = 2*p + 5*c, -4*p = p + c - 571. Is p at least as big as 118?
False
Let p = 20 - 29. Let b be -9*p/(-15)*1. Let x = 5 + b. Is x less than or equal to 0?
True
Suppose 21*v + 32*v = 15*v. Which is smaller: 2/255 or v?
v
Let b = 594 + -968. Is b smaller than -373?
True
Suppose x = 3*b - 89, 175 = -3*x + 3*b - 116. Is -101 greater than x?
False
Suppose 0 = 4*o - 25*o. Are o and 2/1829 unequal?
True
Let v = 3.62 + -4.1. Let c = v + 0.48. Which is greater: c or 2?
2
Let b(j) = -1 - 53*j - 2 + 0 - 6. Let a be b(-3). Let w be 20/a + 2/(-5). Which is bigger: -1 or w?
w
Let z = -8.7 - -5.7. Let p = z + 3.3. Which is smaller: 4/3 or p?
p
Let w = 38.101 + -0.101. Let r = 39 - w. Do r and -44 have different values?
True
Let v be 1*-9 - (-27270)/2250. Is v >= 4?
False
Let t(j) = -j + 7. Let n(w) = -w + 8. Suppose -16 = 3*z - 7*z. Let a(o) = z*t(o) - 5*n(o). Let q be a(8). Does -17/5 = q?
False
Let a = 9723461/1531260 + 2/76563. Let u = 27/4 - a. Is -2.1 less than u?
True
Let i(l) = -133*l + 65*l + 3 + 67*l. Let z be (6 + -5 + 2)/(-1). Let g be i(z). Which is smaller: g or 2?
2
Let w(q) = -q**2 + 14*q - 17. Let x be w(12). Suppose 3*h - 5*f + x*f = 13, 26 = h + 5*f. Is 5/28 smaller than h?
True
Suppose 0*p + 2*p - 4*y = 18, 5 = 5*p - 2*y. Let a = 148223/77 - 1925. Which is greater: a or p?
a
Let l be 4/((-6)/18*(-306)/21). Which is greater: l or 0?
l
Suppose -5*p + 13*p = -48. Let f be 3 + -1 + 12/4. Suppose -19 = 2*x + f*m, m + 3*m - 17 = 3*x. Which is smaller: x or p?
x
Let u = -0.1 + 4.1. Let g = 51.9 + -55.9. Is g < u?
True
Let q = -4989 - -4989. Let o = 713/17 - 42. Which is smaller: o or q?
o
Suppose -74 = -3*t - 4*y, -41 = -3*t + t - y. Let u be ((-14)/6)/(6/t). Suppose -14*h + h - 78 = 0. Which is greater: h or u?
h
Let z = 15 - 9. Let s be (-2)/(-4)*(0 + z). Let t(f) = -f**3 + 5*f**2 - f. Let q be t(s). Which is greater: 16 or q?
16
Let d = -3 - -2. Let j be (-294)/686 - (-6)/14. Is d less than or equal to j?
True
Suppose -9*s + 1312 = 52. Let c = s + -297/2. Which is smaller: c or 0.1?
c
Let h = -3274/7407 + -2/823. Let d = 242/3 + -80. Which is smaller: d or h?
h
Suppose -5*q + 15 = 5*s - 0, -3 = -s + 3*q. Is s at most as big as -12?
False
Suppose 18*l - 17*l + 1 = 0. Let c be 0 + 5/20*l. Which is greater: -2 or c?
c
Let f = -0.14 - -1.84. Let m = 1.74 - f. Suppose 3*b - b = 4*j, -6 = 5*j - 4*b. Which is smaller: j or m?
m
Suppose 3*o - 10*o = 7. Let x be (6/(-276))/(o/4). Which is bigger: x or 1?
1
Let k = -0.048 - 16.852. Let v = k - -17. Is v less than 0.02?
False
Let i be (5/30)/((-23)/(-52854)). Which is bigger: i or 381?
i
Let w = -7 + 5. Let o be w/5 - (-11)/15. Is -1/13 at least o?
False
Suppose -18 = -2*a + 8. Suppose -4*m + 13 = -3*b, 4*b = 4*m + 1 - a. Suppose 0 = 4*h + 7 + 5. Which is greater: b or h?
b
Let b(i) = -6*i + 54. Let y be b(9). Is y <= 45?
True
Suppose 166*t - 141 = 169*t. Is t smaller than -53?
False
Let g be (-4)/((-8)/(-102))*(-4)/(-12). Let y be (-31)/g - (8/(-2) - -6). Is y > 1?
False
Let i(g) = g + 8. Let j be i(-3). Suppose 0 = z - j*b + 1 - 6, -2 = z + 2*b. Is z bigger than -12/13?
True
Let v(i) = -2*i - 1. Let g be v(-7). Let h be ((-26)/(-4))/(4/(-8)). Let w(z) = 2*z + 37. Let m be w(h). Which is bigger: m or g?
g
Let p = 1 - 1. Let f(v) = 21*v + 665. Let r be f(-32). Is r smaller than p?
True
Suppose 2*i - 29 = 5*c, i - 3*c = 6*i + 5. Suppose -4*o + 4*t = -16, 6 = i*o - 3*t - 5. Suppose l + 47 = 49. Which is smaller: l or o?
o
Let h be (4/(-18))/(75/9). Let w be ((-6)/14)/((-402)/938). Which is greater: w or h?
w
Let d = 0.8 - 1. Let m be ((-108)/30)/(14/(-10) + 1). Let s be (-2)/m - (-28)/45. Is s greater than or equal to d?
True
Suppose 0 = -263*a + 259*a. Which is bigger: 7 or a?
7
Let q be (75/150)/((-526)/(-4) - 0). Which is bigger: 1 or q?
1
Let o = -549 + 246. Let v = o + 9395/31. Which is smaller: v or 0?
0
Let o = -0.3 + -14.7. Let r = 6.36 + 8.81. Let a = r + o. Which is bigger: a or 0?
a
Suppose 6 = -4*s - 2*c, 2 = -2*s + c - 11. Let f = -5 + 8. Is s at least as big as f?
False
Suppose u - 4*u = 3*t - 90, 6 = 2*u. Let n = t + -21. Is 7 less than n?
False
Let n = 415/22 - -4915/66. Which is bigger: 94 or n?
94
Let r = 5.6 - 0.6. Let u = -5 - r. Let m = u - -10. Is m at least 0.1?
False
Let q(o) = o**3 - 6*o**2 - 15*o + 3. Let g be q(9). Is g at least 111?
True
Suppose -3*s + 33 = 33. Suppose -4*a = 8, s*x - 8 = x - 3*a. Are -13 and x unequal?
True
Let f(o) = o**2 + 3*o - 9. Suppose 5*m = -5*a - 40, -a - a + 4*m + 2 = 0. Let x be f(a). Is 1/2 < x?
True
Let c(t) = t**2 + 7*t + 4. Suppose -q + 6*d = 5*d + 9, 5*q = -3*d - 13. Let f be c(q). Which is greater: f or -4?
-4
Let i be (-17)/(-5) - -5*20/(-250). Are 31/12 and i nonequal?
True
Let r be 150/130 - 4/26. Let y be (-22)/(-7)*r/4. Is 2 >= y?
True
Let m = 0.06 - 0.06. Let c be (27/(-36))/((-1)/4). Let r be (-2)/(-4) - c*(-6)/(-36). Is r at most m?
True
Let m(j) = j**3 + 4*j**2 + 3*j + 6. Let l be m(-5). Let o be 4/l - (-818)/17. Let u be (-3)/6*o/20. Which is smaller: 1/4 or u?
u
Let g be 5/8*(-40)/(-100). Is g at most -91?
False
Let d be (-1)/1 + (9 - 0). Suppose 5*n - i - 42 + 7 = 0, -4*n + 4 = 4*i. Does d = n?
False
Suppose 0 = -4*y - 20, m + 4*y + 47 = 4*m. Let a(r) = 2*r - 17. Let k be a(m). Which is smaller: -2/7 or k?
-2/7
Let p = -0.0414 - 0.0586. Is p bigger than 0.0006?
False
Let p be ((-160)/24)/((-4)/30). Suppose 26 = 4*c - p. Suppose 39 = 2*q + c. Is 10 greater than q?
False
Let k be (-150)/20 + (-1)/2. Let t be (-104)/6 - k/24. Is t >= -18?
True
Suppose 3*u - 24 = t - 6*t, -4*t - u + 22 = 0. Suppose -22*p = -19*p - t. Let x be (2/8 + -1)*1. Which is smaller: p or x?
x
Suppose 7*n - 4*n - 18 = 0. Let j be 1*-3 + -3 + 2. Let w be (j/6)/(n/45). Which is bigger: w or -13/3?
-13/3
Let t be -5*3/6*-2. Let c be (-26)/(-9)*(-9)/(-6). Which is smaller: c or t?
c
Let b = 74/9 + -8. Suppose 3*x + 11 = -y, -3*y + 7 = -5*x - 30. Let g be 2/7 + x/140. Which is smaller: b or g?
b
Suppose -d = 5*r - 6, -6*d + d = -5*r. Suppose 23*m = 22*m - 2. Let f be (-51)/170*m*2/(-12). Which is smaller: r or f?
f
Let a be ((-1360)/425)/(4/1230). Are -983 and a equal?
False
Let r(g) = -g**2 + g - 3. Let s be r(2). Let c be 18/(-5)*(-1 + -4). Let n = -25 + c. Which is greater: s or n?
s
Let d(g) = -g**3 + 5*g**2 + 4*g - 7. Let o be d(5). Let k = 191 - 178. Are k and o equal?
True
Let p be (6/(-4))/(4/(-8)). Let b be -24 + 21 + 1*p. Is 4/9 > b?
True
Let d = 4 + -6. Let g = -122 - -123. Suppose -5 = -3*h + g. Which is bigger: h or d?
h
Let o(n) = 3*n + 4. Let j be o(4). Suppose -2*i + j = 8. Suppose 3*f - 8 - 1 = 0. Which is bigger: f or i?
i
Let s(a) = a - 4. Let k be s(8). Suppose 0 = k*x - 19*x + 30. Is x equal to 17/5?
False
Suppose -6*m - 3*m = 0. Let u be 2 - (1 - m/4 - 31). Is u less than 31?
False
Let i = -208 + 197. Which is greater: i or 22?
22
Let h = 934 - 627. Are 307 and h nonequal?
False
Let y = -162 + 315/2. Suppose 0*u = -3*u - 12. Are u and y equal?
False
Let y be (-1)/(1*1/(-1)). Let v(f) be the third derivative of f**6/120 - f**5/60 - f**3/3 + 10*f**2. Let x be v(2). Is x 