 z be ((-26)/4)/((-3)/2) - c. Which is smaller: z or 3/4?
z
Let v = -33720043/23 + 1467069. Let c = -980 + v. Is c greater than or equal to 1?
False
Let d be 2/(-8) - (-405)/(-780). Let z(g) = g**2 + 10*g + 24. Let a be z(-5). Which is greater: d or a?
d
Suppose 3*v - 166 = 398. Let b be (32/192)/(v/3). Which is smaller: 0 or b?
0
Suppose m = -5, 2*i + 347 = -16*m + 17*m. Let o = i - -174. Which is greater: 1/33 or o?
1/33
Let d(f) = -f**2 - 5*f + 126. Let t be d(24). Let i be (-3)/9 - t/9. Which is smaller: i or 62?
62
Let f(o) = -o + 17. Let a(k) = k + 22. Let j be a(-8). Let g be f(j). Suppose 2*r - 24 = r - 2*c, -g*r - 5*c + 69 = 0. Which is smaller: r or 2?
2
Let o(t) = -1 + t**2 + 2*t**2 + t + 3*t - 3*t + t**3. Let u be o(-2). Let z be (477/45 + -11)*20 - (-2236)/280. Which is smaller: u or z?
z
Suppose -2*d - 8 = 4*f, 4*f - 3*f = -d. Suppose d*v + 13 = 5*y, -v + 4*y - 22 = -y. Suppose 0 = v*r + r + 4. Is -1/5 greater than or equal to r?
True
Let m = 107.2 + -580.2. Let k = m - -473.6. Which is smaller: 28 or k?
k
Let h = -748/5 + 799/5. Let s = h + -872/85. Which is smaller: -1 or s?
-1
Let n(k) be the second derivative of k**5/20 + k**4/12 - 3*k**3 - 3*k**2/2 + 204*k. Let v be n(0). Which is bigger: v or -0.066?
-0.066
Let i = -112/15 + 59/5. Let s(h) = -5*h + 12. Let v(q) = -3*q + 8. Let w(n) = 5*s(n) - 8*v(n). Let u be w(-9). Is u equal to i?
False
Let f be ((-3 - 2)/(-10))/(3/6). Let i = -45 + 109. Which is greater: i or f?
i
Let r be 2 + 49/(-2) - 6/(-12). Let b(n) = -5*n - 2. Let a be b(-4). Let i = a + r. Which is greater: -1 or i?
-1
Suppose -18*z + 4*z - 406 = 0. Let h(p) = -p**3 - 28*p**2 + 20*p - 114. Let r be h(z). Is 145 != r?
True
Let l be (-20)/(-10)*1/((-4)/704). Is -354 greater than l?
False
Let c = 0.217 + -0.057. Let z = 215.16 - c. Which is smaller: 0 or z?
0
Let s = -1731 - -869. Let j be (-8)/52 + 0 - s/26. Is j smaller than 35?
True
Let b = -169 - -154. Let c = b + 16. Which is greater: c or -17.2?
c
Let l be (-2)/(1/(2 + 225/(-6))). Which is greater: 69 or l?
l
Let y be 4/(5/2520*8). Suppose 0 = 3*q + 3*d - y, 72 = q - 5*d + 3*d. Which is bigger: q or 75?
q
Suppose 55*s + 4*m = 59*s + 4836, -3*s + 7*m = 3655. Is -1205 > s?
False
Let u be 77/(-11)*987/3. Are u and -2303 nonequal?
False
Let w = 253 + -327. Which is greater: w or -69?
-69
Suppose 139 = 28*y - 25*y + 1. Which is bigger: y or 772/17?
y
Suppose -r = 31 + 9. Let k(a) = 2*a**2 + 11*a - 17. Let p be k(-13). Let s = p - 216. Is r at most s?
True
Let m(w) = 14*w**2 - 5 - 6 + 8*w - 2 - w**3 + 4*w. Let y be m(15). Are -58 and y unequal?
False
Let k = -0.513 + 0.384. Let c = k - -0.029. Are c and 0.0444 nonequal?
True
Let s(j) = j**3 + 2*j**2 - 21*j - 32. Let l be s(-3). Suppose -4*r = -l - 46. Does r = 4?
False
Let l = -15768 + 7876. Which is smaller: -7891 or l?
l
Suppose -13*o = 2376 - 6276. Suppose 0 = 311*q - o*q - 1221. Is q less than 112?
True
Let a(w) = -w - 3. Let i be a(0). Let l = -819 - -819.5. Let p = -0.4 + l. Is p at least i?
True
Let j be 2/(-1) - (2 - 10). Suppose -39 = -f - 35. Suppose f*r = -2*r + j. Which is greater: 2 or r?
2
Let f = 219 + -217. Suppose -3*h - 51 = f*b, -3*h = -7*h + 3*b - 85. Are h and -20 unequal?
True
Let m(z) = z. Let c be m(7). Let p = 70 + -69. Let a be -3*p*(-7)/63. Are c and a equal?
False
Let q be (-10)/4*(-131)/(-39300). Suppose -n = -4*r + 1, -4*n - 1 - 3 = 5*r. Is q equal to r?
False
Let d = -3.6 - -6. Let p = d - 2.13. Which is smaller: 1/4 or p?
1/4
Let z be 13 - (-5 + (-910)/(-50)). Let m = 52.73 - 53. Let d = 0.2 + m. Which is smaller: d or z?
z
Suppose 3*n - 5*t = 70, 122 = 5*n + 4*t + 30. Let s be ((-173)/(-11376))/(n/30). Let p = 2/237 + s. Which is bigger: -1 or p?
p
Let h be 4 + -20 + 8 + 86. Which is smaller: h or 71?
71
Let d be ((-5)/2)/5*2. Let o be (d - 0)*(-37)/(-74). Which is bigger: o or 1/8?
1/8
Let l(x) = 4*x + 23. Let m be l(-10). Let t = m - -22. Suppose -5*n + p = 9, 3*n - p = -0 - t. Which is smaller: -4 or n?
-4
Let t = 2.6 - -10.7. Let o = t - 13. Do 5/3 and o have the same value?
False
Let d = -237 - -66. Let c = -170.6 - d. Which is greater: 3 or c?
3
Let l = -1025 + 1773. Let z be 81 + -90 - l/(-83). Let d = 1 - 1. Are z and d non-equal?
True
Let v = 35114/179361 - -4/1971. Which is smaller: 1/3 or v?
v
Suppose 3*k + 13 - 4 = 0. Let j = 12 + k. Let s(d) = -2*d**3 + 37*d**2 - 19*d + 26. Let n be s(18). Which is greater: n or j?
j
Let y(r) be the second derivative of 13*r**3/6 - 17*r**2/2 + 10*r. Let f be y(5). Suppose 0 = 4*x - 3*x - 3*p - 37, 216 = 4*x + 5*p. Which is smaller: x or f?
f
Let m be (-6 - -10)/2*(-15)/(-6). Suppose -m*f - 3*r = -515, 0 = 3*f + 2*r + 214 - 524. Is f > 100?
False
Let o = -20888 + 20806. Which is bigger: -1051/13 or o?
-1051/13
Let o = -9 - -39. Let j be (0/1 + -2)/(o/405). Is j greater than -29?
True
Let h = 4468 - 4076. Which is smaller: -0.4 or h?
-0.4
Let t(r) = r**2 - 5*r + 3. Let s be t(3). Let v be -1 - (s - (-15)/3). Let n(j) = -j**3 - j**2 + j - 4. Let c be n(v). Which is smaller: c or 13?
c
Let u(f) = f + 1. Let y be u(-2). Let n = -0.41 + 0.07. Let j = -1.34 - n. Is y > j?
False
Suppose 4*s + 6 = s. Let r be (5/10)/((-1)/s). Let j be ((-303)/(-5050))/((-6)/5). Which is smaller: j or r?
j
Let b(a) = -2*a + 20. Let o be (-1)/(-3) + 174/18. Let x be b(o). Let z be (-1)/(-18)*(-2)/7. Is z smaller than x?
True
Let h = 10337 - 10424. Which is bigger: -2022/23 or h?
h
Let p = 0.115 + -0.216. Let r = p + 9.801. Let g = r - 12.7. Is -20 greater than g?
False
Suppose -256*x = -82*x - 5046. Let v = 43/517 - -1342/47. Which is greater: v or x?
x
Let r = 8.786 - -2.214. Which is smaller: -26 or r?
-26
Let g be ((-42)/(-4))/(-7)*(-132)/(-198). Which is greater: g or -16/145?
-16/145
Let u = 591 - 67. Let y be (-7)/42*u - (-8)/12. Is -86 greater than y?
True
Let z = 13 + -66/5. Let p be (244/(-29))/(70/7). Let a = -36/29 - p. Which is greater: z or a?
z
Let l = 1777 + -1787. Let o = -64 - -39. Let h = o - -26. Does l = h?
False
Let b = 3.37 - -139.63. Let q = 64 - 64. Is b not equal to q?
True
Let b = -5133 - -5132. Which is smaller: b or -1.095?
-1.095
Suppose 3*b = 5*b - h + 11, -3*b - 5*h = 10. Let t be b + (-4 + 1)*-2. Let g be 10/(-19)*2/4. Do g and t have the same value?
False
Let n(v) = -2*v**2 - 17*v - 13. Let d be n(-7). Let g(j) = 2*j**2 - 21*j + 15. Let z be g(d). Let k be z/30 - (-3)/(-18). Is k at most 5/33?
True
Suppose 5*b = 71 + 99. Let r = b - 65. Suppose 125 = -4*c - 3*p, 85 = -4*c + 3*p - 46. Which is smaller: r or c?
c
Let x be 46 - 39 - (0 + 8). Is x less than 9/1619?
True
Let k be (-4 - -687) + 12/1 + -6. Is 691 greater than k?
True
Let o = -17136 - -17106. Suppose -2*k = -3*t + 53, -3*k + 4*t - 84 = t. Which is smaller: k or o?
k
Let c = 193/4646 - 2/101. Let o be ((-12012)/195)/(2/(-5)). Let v = 153 - o. Is c not equal to v?
True
Let g = -14540/37 + 393. Let i = g + 65/333. Which is smaller: i or -168?
-168
Let g = 20825737/108710 - 1/15530. Let d = -191 + g. Let s = 2.208027 + -2.408027. Are d and s nonequal?
True
Let b = -31 - -33. Let w(a) = -9 - 4*a**3 + 2 + 12*a + 6*a**3 - 23*a**b - 3. Let v be w(11). Which is greater: v or 12/13?
v
Let l(j) = -4*j + 27. Let d be l(6). Let n be (-1)/(d/42) - -7. Is -51/7 at most as big as n?
True
Let n = 175261/28812 + 1/2401. Let q = -36/101 + 3877/6060. Let v = q - n. Is v != -6?
True
Let g = 3780.09 - 3763. Let k = 17 - g. Let n = -3.91 + k. Which is smaller: 0.3 or n?
n
Let l(z) = -z - 7. Let k be l(-8). Let w be (3/(-3) - -1)*k. Suppose 2 = -39*c + 38*c. Is w > c?
True
Let n = 50740/13 + -3905. Let i = -139/52 - n. Let x = -16/3 - -6. Is i smaller than x?
True
Let p be (-102 - -108)/(-1 - 0) + (-1 - 233). Which is bigger: -222 or p?
-222
Let o(k) = -5*k**3 - k**2 + 1. Let n be o(-1). Let y be -9*(26/42 - 72/252). Let v be -1*(y + n) + -9. Which is greater: -13 or v?
v
Let y be 3/96 + (-318)/50880. Let m = -2 + 2. Which is smaller: y or m?
m
Let d be 0 - 87 - (1520/(-780) + (-16)/312). Which is smaller: -70 or d?
d
Let s = 4.9 + -3.9. Let w = 9 + -30. Let q = w + 14. Is s < q?
False
Let n(i) = i**3 + 69*i**2 - 297*i - 366. Let t be n(-73). Let z = -174 + 1910/11. Is z less than t?
False
Let k(u) be the third derivative of -u**6/120 - u**5/5 - u**4/8 - 29*u**3/6 - 4*u**2 - 17*u. Let j be k(-