919/4. Which is greater: d or r?
r
Let s = 5 - 20.5. Let x = 0.25 - 16.25. Let j = x - s. Does j = 0?
False
Let k = 1 + -1. Suppose 20 = 4*i, 5 = -6*b + b + 3*i. Suppose 0 = -b*v - 0*v - 2. Which is bigger: v or k?
k
Suppose 0 = -44*z - 19*z + 3591. Are 67 and z nonequal?
True
Let w be -4 + (-4)/(-8)*68. Suppose 2*d + 5 = l, -4*l - 4*d + w = -2. Which is bigger: l or 31/4?
31/4
Let b = 156991/8 - 19652. Let a = -6935/248 - b. Which is smaller: 0 or a?
0
Let t(z) = z**2 - 10*z - 9. Let q be t(10). Let r = 154 + -165. Which is smaller: r or q?
r
Let p(s) = s**3 - 6*s**2 + 35*s - 308. Let q be p(7). Which is greater: -30 or q?
q
Suppose -17*x - 1272 = 7*x. Is x greater than -55?
True
Let c(q) = 1. Let i(w) = -82*w - 10. Let o(u) = 8*c(u) + i(u). Let p be o(1). Let f be (-5)/20 + (-45)/p. Is f > -3?
True
Suppose -b - 3*b = -12. Suppose 0*w = -b*n + w, 4*w = -3*n. Let h = -2.6 - -3. Is n < h?
True
Suppose -5*y - 123 = 32. Let i = y - -19. Let o be 6/4*i/9. Which is smaller: o or -5/4?
o
Let s(q) = q**2 - 9*q + 14. Let c be s(5). Let d be 2 + (-22)/5 + c/10. Which is smaller: -4 or d?
-4
Let w = -8.3 + 11.6. Let c = -2.3 + w. Does c = 25?
False
Let b = -72.1 + -11.9. Let r = b - -85. Which is smaller: r or -8?
-8
Let x(y) = -y + 12. Let f be x(-8). Let t = -13 + f. Let l = 9 + -6. Is t <= l?
False
Let p = -3883 - -6729237/1733. Which is smaller: 1 or p?
p
Let w = 1663 - 1662. Let j = 67 + -95. Which is bigger: w or j?
w
Let b(c) = 5*c + 5. Let n be b(5). Let t = -30 + n. Let j be 2/8*-2*1. Is t smaller than j?
False
Let d = -17513/13 - -1347. Which is smaller: 13/6 or d?
d
Suppose 0 = r - 2*y - 29, -y = -0*y. Let f = r - 29. Is -2/19 at least as big as f?
False
Let p = -25 + 25. Let x be 0 + p*(2 - 3). Which is bigger: x or 3/28?
3/28
Suppose -15*l + 4*l = 550. Is l greater than -43?
False
Let c be -1 + (-3 - (-20)/5). Let m(u) = -3 + c - u**3 + 0 + 2*u**2 + u + 1. Let k be m(1). Which is bigger: -2/31 or k?
k
Let s(v) = -8*v**3 + 4*v**2 + 7. Let j(a) = 17*a**3 - 9*a**2 - 15. Let i(k) = 6*j(k) + 13*s(k). Let t be i(-1). Is t smaller than -53?
False
Suppose -5*v - 3*n = -0*n + 83, -2*n = 3*v + 50. Let l = -17 - v. Which is smaller: l or -1/20?
l
Let v = -41 + 86. Let s = v - 49. Is -14 greater than or equal to s?
False
Let b = 7.66 - 7.55. Is -4 less than or equal to b?
True
Let k(u) = 31*u**3 - 2*u**2 - u. Let t be k(-1). Let p(c) = -c**3 + 11*c**2 - 31*c + 23. Let j be p(8). Do t and j have the same value?
False
Let a = 4861543/3029 + -1605. Is a less than 1?
True
Let h be (4/6)/(17908/8943 + -2). Is h at most as big as 272?
True
Suppose -4*p = 5*q - 25, -6*p + 5*q = -11*p + 25. Is p less than 1/18?
True
Suppose 19*p - 14*p = -n - 40, -4*p = n + 38. Let m = -19 - 10. Which is bigger: n or m?
m
Let m be (-27)/(-6)*(-12 - -10). Which is bigger: m or 11?
11
Let l be (-28 + -2)/((-3)/2). Let f = l + -16. Suppose 0*o = f*o. Is 3/11 bigger than o?
True
Suppose 4*v = -5*d + 33, -3*v - 3*d = -8*v - 5. Let o be (-1)/(-2)*(2 + v). Suppose -o*p = p. Is p < -2/71?
False
Let z = 9 + -9. Suppose 5*q + 8 = -a, a + z = 4*q + 10. Suppose -5*m - j + 2*j = 8, a*m + 4*j = 10. Which is smaller: m or 2?
m
Let p = 135 + -1343/10. Which is smaller: 0 or p?
0
Let p = -107/45 + 15199/6165. Is p greater than 1?
False
Let j = 509/3 - 170. Which is greater: 75 or j?
75
Suppose -5*g + 21 = -2*l, 18 = 4*g + g - l. Suppose g*s - 6 = -0. Suppose 33 + s = 5*b. Is b <= 9?
True
Let g = 607 - 606. Is g < 2/625?
False
Suppose 141 = -3*h - 4*u - 10, 0 = 2*h + 5*u + 103. Are -44 and h equal?
False
Let j be -12 - -16 - (-35 - 1). Suppose 5*y = -15 + j. Are 8 and y equal?
False
Let i = -89 - -80. Let u be (-1)/(-3)*2 - (-6)/i. Are -1/5 and u non-equal?
True
Let a = 0.1 - -2.9. Is -120 equal to a?
False
Suppose 7*k + 36 = -6. Which is smaller: -135/19 or k?
-135/19
Let r = -29 + 57. Let j(u) = u**2 - 7*u - 17. Let w be j(11). Is r greater than or equal to w?
True
Let r(p) = -4*p + 14. Let l(z) = -7*z + 28. Let j(n) = -3*l(n) + 5*r(n). Suppose -2 = 2*f - 5*x, -x = 4*f - 5*f + 5. Let t be j(f). Which is greater: t or -6?
t
Let y = -2036323716157/932732839148 + 129/57643708. Let u = 2/1471 + y. Is u greater than -1?
False
Let o = 45 - 32. Let t = o - 13.1. Is 0.1 at most t?
False
Let y = -7 - -8. Let h = 23 - 665/29. Which is greater: y or h?
y
Suppose -2*q + 11 = 3. Suppose 4*x = -q*x. Suppose -2 + 6 = -2*z. Is x <= z?
False
Let b = 1828/93 - 59/3. Which is bigger: b or 1?
1
Suppose -8*i + 3*i - 3*d = -35, 2*i - 3*d = -7. Let z be (i/(-6))/((-10)/15). Is z less than 2/21?
False
Let w = 63 - 58.2. Let k = w + -4.28. Is k >= 1?
False
Let g(l) = 2*l**2 + 4*l + 2. Let h be g(-2). Suppose -3*c + 2*t - 2 = 0, h + 0 = -c + 2*t. Let z(y) = -y + 14. Let f be z(c). Is f > 13?
True
Let g be (-68)/10*(-400)/(-160). Which is smaller: g or -21?
-21
Let s = -260 + 770. Let u = 4580/9 - s. Suppose -3*x = 0, y + 3*x = -0*y. Which is smaller: u or y?
u
Let n(p) be the first derivative of 3*p**3 - 3*p**2/2 - 2*p + 2. Let u be n(-2). Let r be (-2)/(-8) + 150/u. Is 4 less than or equal to r?
True
Suppose -36*l = -3*l - 33. Let v = -100 - -504/5. Is l smaller than v?
False
Let z be ((-8)/24)/((-2)/18). Suppose -4 = z*f + 5. Let d(j) = 2*j + 4. Let c be d(f). Is c equal to -1?
False
Suppose -12 = 10*i - 14*i. Suppose i*c = 5*w + 15, 3*c - 4*w - 12 = -0*c. Let n be (1 + -2 - c)*0. Is n <= -2/63?
False
Let s be (3/585)/((-42)/165). Let c = s + -2/39. Let d(g) = -g**2 - 10*g - 8. Let m be d(-9). Is c at least m?
False
Let l = 24 + -34. Let b be l/15 - (-20)/27. Is b at least as big as 1?
False
Let g = -40.77 + 0.77. Let b = -39 - g. Let m = 0.3 - 0.2. Which is bigger: m or b?
b
Let d be 2/(9068/(-692) + 13). Which is smaller: d or -18?
d
Let q = -17 - -11. Let c(b) be the third derivative of -b**4/24 - 7*b**3/6 + 12*b**2. Let h be c(q). Which is smaller: h or -6/11?
h
Let d(w) = -w**2 + 6*w - 3. Let c be d(5). Suppose 0 = -c*n - 6. Suppose -m = -12*m - 33. Is m not equal to n?
False
Suppose 0 = -5*a + 2*a + 1416. Suppose g - a - 282 = 0. Let i be (g/(-39))/(4/(-6)). Is i greater than or equal to 29?
True
Suppose 2*g + 33 = -21. Let o = g + 26. Is o greater than or equal to -10/9?
True
Let k be 180140648/138096 + (-6)/2. Let m = k - 29/1918. Let x = 1303 - m. Which is greater: x or 1?
x
Let s(p) = -6*p - 23. Let y be s(-5). Let i = -17 + y. Is i != -8?
True
Let x = -148.3 + -465.7. Which is greater: -1/4 or x?
-1/4
Let i(n) = -8*n - 1. Let r be i(4). Let f = r - -20. Which is greater: f or -12?
-12
Let k be 15/290*24/45. Which is smaller: -1 or k?
-1
Let j(r) = -11*r - 6. Let i be j(3). Let u be (2 + -1)/(i/(-6)). Suppose 0 = -2*g - 3 + 5. Is g < u?
False
Suppose 0 = 5*k + 3*i - 17, -3*k - 4*i = -2*k. Suppose 0 = -3*w + k*v - 29, -4*w - v = -4*v + 27. Let g be (-1 - (0 + 0))*0. Is w at least as big as g?
False
Let l(t) = -2*t**3 + 2*t**2 + 4*t - 4. Let m be l(4). Let f be (7 - ((-30)/(-165) + 95/22))*-34. Which is bigger: m or f?
m
Let u be (-4)/(-6)*216/(-1170). Let n = 2/43 + -53/215. Let c = u - n. Which is smaller: c or 1?
c
Let a(f) = 2*f - 4. Suppose 3*t + 5*m = 4 + 2, 5*t = -5*m + 10. Suppose -p = -0*z - z - 2, -p = t*z - 11. Let x be a(z). Which is bigger: 1 or x?
x
Let n be (-2)/14*(8 + -7). Is n less than or equal to -20?
False
Let z = -5 + 4. Let w = 1 - -1. Suppose -w*u - 6 = 4. Is z at most u?
False
Let j(q) = -68 + 6*q + 21*q + 55. Let t(a) = 14*a - 7. Let i(m) = 6*j(m) - 11*t(m). Let u be i(-1). Which is bigger: u or -8?
-8
Let z = 1.9 - 2. Let a = -0.075 + 1.675. Let n = -3.4 - a. Is n <= z?
True
Let a be ((-5)/(5/(-3)))/1. Let y = 4 - a. Which is bigger: y or -4?
y
Let m = 2 - 3. Let s = 2.2 - -9.4. Let o = s + -11. Which is smaller: o or m?
m
Let q be (-2)/(0 + 2 + -3). Suppose -3*m - 26 = q*k + 3*k, 5*k + 22 = -m. Does -1 = m?
False
Let s = 6 - 5.86. Let t = s + -0.08. Let m = -2.94 - t. Which is bigger: 0.3 or m?
0.3
Let g(w) = w**2 + 5*w + 1. Let s be g(-6). Suppose -x = -s*x - 18. Let q be 14/21 + 2/x. Which is bigger: q or -3/10?
q
Let b(h) = -3*h**3 - 7*h**2 + 12*h + 1. Let k be b(-4). Which is bigger: k or -10?
k
Let l be (-1)/4 + 615/12. Let q = l + -46. Which is bigger: q or 9?
9
Let j be (1/(-3))/(2/4). Let y be (1/(-9))/((-630)/(-2133)). Let d = y - 1/42. Is j greater than or equal to 