 f = l + 13/12. Which is greater: f or k?
f
Let f = 2361 - 2035. Which is bigger: f or 301?
f
Let t(o) = 13*o - 7. Let q be t(4). Let v be 2/((-1)/(q/(-6))). Suppose 7*h - v = -43. Are -6 and h unequal?
True
Let n(s) = -18*s**2 - 298*s - 1372. Let v be n(-10). Suppose 5*r + 2*h = -955, 4*r + h + 191 = 3*r. Which is smaller: v or r?
v
Suppose 30957 = -31*t - 11172. Are t and -1361 unequal?
True
Suppose 5*f - 356 = 5*s - 11396, -s + 2208 = 4*f. Suppose 0 = -5*v - 41*v - s. Which is greater: -47 or v?
-47
Let d = -1215 - -1207. Are d and 279 unequal?
True
Let t = -22 - -24. Let h be (-108)/(-420) + 2/(-5). Which is smaller: t or h?
h
Suppose 0 = -4*b - b + 25. Suppose -b*o = -164 - 26. Let n = o + -37. Is n equal to -2/47?
False
Let c be 2 + 209/(-2) + 21/14. Let p be c/57 + 24/228. Let r = -524 - -5760/11. Is r at least as big as p?
True
Let i be -4 - -2 - 32/(-1). Let z = i - 30. Let q be (11 - 20) + -2 + z + 1. Is q at most -2?
True
Let p = -2.883 + -351.817. Is p at most -0.1?
True
Let k(w) be the third derivative of -w**5/30 + 17*w**4/24 - 3*w**3/2 - 5*w**2 + 4. Let j be k(10). Which is greater: -40 or j?
j
Let k(q) = 14 + 12*q - 5 - q**2 + 3 - 7*q + 7*q. Let d be k(13). Is d less than or equal to 1/15?
True
Let x = -0.4 + 0.3. Let q be (-9 + (-225)/(-27))*(-2)/8. Is q > x?
True
Let a = -155 + 154.43. Let z = 0.83 - a. Is z > 2/7?
True
Let a be (1/2)/((-2)/(-184)). Suppose d = -11 - a. Let c = -58 - d. Do -2/99 and c have the same value?
False
Let x = 6893 + -6891. Is -2/2171 < x?
True
Let w = -38 - -27.6. Let x = 11 + w. Let j = 0.3 - x. Which is greater: -3 or j?
j
Let d = 34.174 - 0.394. Is 1 < d?
True
Let o(t) = -12*t - 21. Let g be o(11). Let s = g - -144. Which is smaller: -48/5 or s?
-48/5
Suppose 0 = -f + 2, -2*i - 4*f = -5*i - 179. Let s = 11 - i. Let j be (3/(-38))/((-17)/s). Is j equal to 1?
False
Let c(y) = -2*y**3 + 44*y**2 - 42*y + 118. Let o be c(21). Which is greater: o or -38?
o
Let c be -7 + 41432/3800 + -1. Let t = c - 66/25. Is 1 at most as big as t?
False
Let o = -1089.22 - -1078. Let j = 10.7 + o. Is j greater than or equal to 1/2?
False
Let d = 58/3 - 121/6. Let i = 3/2 + d. Let c = -4.99 + -0.01. Which is greater: c or i?
i
Let f(s) = -s**2 - 23*s - 56. Let r be f(-17). Let l(z) = -2*z**2 + 9*z - 2. Let i be l(4). Suppose r*v - 44*v = -i. Is v < 0?
True
Let c = 84682/73 + -1160. Let p = c + 108/1387. Let u(v) = -v - 1. Let r be u(0). Is r less than p?
True
Suppose -3*n = 5*b + 6336, 0 = 3*b - 7*b + 8*n - 5100. Are b and -1271 nonequal?
True
Let p be 6/10 - ((-23001)/(-85) - -11). Let f(n) = -7*n**2 - 19*n - 70. Let g be f(-7). Is p greater than g?
False
Let w(b) = 9*b + 10. Let u be w(-8). Let l = u + 114. Let y = -52 + l. Is 1/10 greater than or equal to y?
True
Let o be ((-26)/(-5) - -2) + -2 - 6. Let n = 2 - 9. Let v = -4 - n. Which is bigger: v or o?
v
Let i = -171 - -180. Suppose -t - i = 12. Which is greater: -22 or t?
t
Let i(g) = -4*g**2 + 12*g + 16. Let r be i(0). Let w be (34/(-4))/(2/(-4)). Suppose -a - w = -r. Which is bigger: 2/9 or a?
2/9
Let k = 122 - 107. Suppose -160 = k*f - 19*f. Let w be f/(-220) - (-58)/(-44). Which is smaller: w or -2?
-2
Let g be 6*6*(-122)/9. Is g equal to -488?
True
Let a(g) = 10*g**3 - g. Suppose -2*k + 8*k + 12 = 0. Let p be a(k). Let z = p - -27. Which is greater: z or -52?
z
Let y = -3390662/149 + 22756. Let d = -241/4172 + y. Which is greater: d or -1?
d
Let v = 46.426 - -0.574. Let x = -68 - -22. Let h = v + x. Which is smaller: -19 or h?
-19
Let x = -1076693/1680 - -5768/9. Which is greater: x or -1?
x
Let u be (1 + -16)*(-16)/12. Let b be (130/25)/(4/u). Let q = b + -39. Does q = -15?
False
Let j be (-4534)/(-2) - (8/(-3) + 30/45). Is 2261 greater than or equal to j?
False
Let f be (0 - 1)*37/306323. Is -1/4 bigger than f?
False
Let b = -234.3 - -291.3. Is b > 2/9?
True
Let x be 616 - (1 - 24/(-2)). Is 605 > x?
True
Let s(b) = -b**2 + 5*b - 2. Let h be s(5). Suppose 2783*v - 18 = -2*a + 2781*v, 3*v - 45 = -5*a. Is a less than or equal to h?
False
Suppose -3 = -4*x + 3*y - 6, -3*x = 4*y + 21. Let j be (-6 - x)*2/(-8). Let b(i) = 10*i - 419. Let z be b(42). Which is greater: z or j?
z
Let x(f) = 11*f - 113. Let y be x(10). Let w be (1 - (3 + -1))/((-3)/y). Is w > -12/41?
False
Suppose 0 = 3*b - v - 49, -2 = b + 2*v - 16. Suppose 0*l - b = l + 5*k, 20 = l - 4*k. Suppose -3*x = 5*w + 2 - 14, l*w = 0. Which is bigger: 6 or x?
6
Let w = 32.08 - 32.18. Does 9/7 = w?
False
Let w(x) = -2*x**2 - 35*x - 48. Let y be w(-16). Suppose y*d - 30 = -5*q - 2*d, 2*q + 4*d - 28 = 0. Is 0 at least q?
False
Suppose 0*x = -4*w - 4*x + 40, 4*w - 35 = x. Suppose -5*g - 25 = 4*i, -g + 0*i + 2*i = -w. Let o be 3 + (g - -4) + 444/(-78). Is o < 0?
False
Let m = 170249/2590 + -7/370. Which is smaller: m or 65?
65
Let h = 17.63 - -23.17. Are h and 2 equal?
False
Suppose -10*v - 1783 = 6*v - 39. Which is smaller: -137 or v?
-137
Let k(m) = -184*m + 168. Let x be k(2). Are 7 and x nonequal?
True
Suppose 0 = -m - 5*p + 21, 3*m - 4*p + 5 = -8. Let w(n) = 9*n**3 - n**2 - 2*n + 3. Let s be w(m). Suppose f = 2 - 0. Which is smaller: f or s?
f
Let p = -8 + 10. Suppose 4*h - p*d + 192 = 0, h + h + 104 = -3*d. Let m(f) = -21*f + 77. Let b be m(6). Are b and h unequal?
False
Let h(n) be the third derivative of -n**5/60 - 7*n**4/24 + 17*n**3/6 - 31*n**2. Let q be h(-9). Let l be q + 5 - 6*6/9. Which is greater: l or -4/7?
l
Suppose q - 11*u - 114 = -8*u, u - 2 = 0. Let s be 5 + -4 - ((4 - 2) + -121). Is s equal to q?
True
Let d be (-15 - -16)*1/(-4). Let p(s) = -2*s**3 + 9*s**2 - 24*s + 15. Let i be p(2). Which is smaller: i or d?
i
Let g(q) = 5*q**2 + 139*q + 12. Let z be g(-31). Let d = z + -573. Which is greater: -329/5 or d?
d
Let k = 359.217 - 0.217. Let b = 357.47 - k. Let t = -0.53 - b. Which is smaller: t or 3.3?
t
Let t = 3901 + -26818/7. Suppose -5*c = 4*a - 370, -275 = -3*c + a - 70. Let n = c - t. Is n smaller than -6?
False
Let p = 30 - 32. Let o be 56/(-4)*p/4. Suppose -5*g + 25 = -5*y, 2*g - 3*y = -o*y - 14. Which is smaller: g or 8/9?
8/9
Let j be (-2 - -5) + (-8872)/3540 - (-1)/(-5). Which is smaller: 1 or j?
j
Let a be 2/4 - (-84)/24. Let q be (-22)/(-33)*(-26)/a. Let k = -136 + 131. Which is greater: q or k?
q
Suppose 9 = 3*u + 150. Is u greater than -1092/23?
True
Let w = 0.1016 - 20.9516. Let k = w - -20.7. Is 1/4 != k?
True
Let n be ((-55)/(-25) - 1)*(-30)/(-9). Suppose -3*v - 13 = 5*p, 8*p = -3*v + n*p - 14. Let l be 4/v*(-9)/(-6). Are 0.041 and l equal?
False
Let o be 5*(-3)/12*-4. Suppose -550 = -o*k - 190. Suppose -4*m = -h + 93, 8*h = 9*h - 5*m - 98. Which is smaller: h or k?
k
Suppose -191 + 35 = 6*z. Let s = z - -32. Suppose -s*c = -102 - 114. Which is smaller: 35 or c?
35
Suppose 672 = 3*z - 4*i + 3*i, 5*z - 2*i - 1119 = 0. Let x = 213 - z. Are -5 and x equal?
False
Let d = -1.36 - 17.14. Let s = 19.5 + d. Let k = 14 + 9. Is s <= k?
True
Let s = -58991 + 414014/7. Is 155 at most as big as s?
False
Let u be 1 - (-5)/(-14)*2. Suppose 26*r - 25*r - 1000 = 0. Let j = 1000 - r. Is u at least as big as j?
True
Let d be 52/16*4/(-8). Let i(r) = 15*r + 102. Let g be i(-7). Is g at most d?
True
Let j be 2/8*70/(-4). Let h = -81988/5 - -655601/40. Let q = h - j. Which is smaller: -2 or q?
q
Let g = -7 + 4. Let q be ((-124)/6)/((2/g)/1). Let d be 0 + (-63)/q - -2. Is d greater than or equal to 1?
False
Let t(x) = -x + 2. Let p be t(-6). Suppose -19 - 37 = p*d. Let m(f) = f**3 + 7*f**2 + f + 8. Let l be m(d). Is l smaller than 7/4?
True
Let d = -50.4647 + -0.0353. Let p = d + 53.5. Let i = -3 - -3.18. Which is bigger: i or p?
p
Let h(o) = -2*o**2 + 31*o - 29. Let z be h(14). Suppose -77 + z = -16*w. Is w at most 4?
True
Let a be (-8)/(-318)*(-63)/(-28)*2. Suppose -2*r - 5*u = -25, 2*r - 6*r + u + 39 = 0. Suppose -r = -5*y, -4*m = -0*y - 3*y + 6. Which is bigger: m or a?
a
Let c = 107.3936 - 107.89. Which is smaller: 2/7 or c?
c
Let o = -0.055022 - 1.944978. Let w = 0.379 - 0.009. Let u = -0.07 + w. Is u < o?
False
Let p = -44.085 - -0.085. Let h = 76 + p. Let v = h + -34. Is v at most as big as 0.2?
True
Suppose -3 = 5*h + 887*c - 889*c, 5*h = -2*c + 13. Is h smaller than -36/425?
False
Let n be 60/14 + ((-16)/7 - -2). Suppose -3*m + 3*t - n = -34, 0 = -4*t + 8. Suppose -2*l = 2*l - m, 0 =