 = -4.06 + 4. Let k = 0.24 - j. Let q = -57.821 - -57.721. Which is smaller: k or q?
q
Let j = 18193 - 18203. Let k be (27 + 1)*2/(-6). Which is smaller: j or k?
j
Let f(n) = -n - 4. Let b be f(4). Let c be 627/(-2604) - 2/b. Suppose 3*m + 1 = 68*k - 69*k, -3*m = 5*k + 5. Which is bigger: m or c?
c
Let l = 49 + -44. Let d = 6 + -1. Suppose d*a = 2*m + l, -3 = -5*m - a - 2*a. Which is greater: -3/23 or m?
m
Suppose 0 = 3*q - 2*u - 9, -3*q + 7 = q - u. Let g be (-460)/(-15) - -3 - (-2)/(-3). Let m = 33 - g. Which is bigger: q or m?
q
Let b = -0.07 + -0.23. Let g = b - -0.2. Let o = -4972/45 - -1654/15. Is g not equal to o?
True
Let b(r) = r**3 + 78*r**2 - 79*r - 7. Let c be b(-79). Let x be 6/15 - 234/35. Which is bigger: x or c?
x
Let h be (-6)/(-4) - ((-419)/842 - -2). Which is greater: h or -0.1?
h
Let t = 11952 + -11935. Do -0.36 and t have the same value?
False
Let j = -603/493 + 2249/3451. Let b = 0.021 + -4.821. Is b < j?
True
Let a be (32/(-48))/(1/3). Let w be ((-16)/(-6))/((-26)/(-12) + a). Suppose -i = i - 32. Is i greater than w?
False
Let s(q) = -q**3 + 2*q**2 + 34*q + 12. Let o be s(7). Let z be 1/(o/2 - 2). Is z not equal to -3?
True
Let n = -1.71 - -279.81. Let w = n + -261. Is -1 <= w?
True
Let t be (-2746)/(-7) + 1/1. Let y = t + -392. Let k = -1497 + 1498. Which is smaller: k or y?
k
Suppose -4*q + 12 = -3*c, -8 = 2*c - q + 2*q. Let w be (-100)/(-3) - c/(-12). Which is bigger: 163/5 or w?
w
Let f be (-21)/(557/79 - (-19 + 104/4)). Is f smaller than -414?
True
Let k = -141577/1155 + 858/7. Let u = -145/2 + 72. Which is smaller: k or u?
u
Let v = 101 + -83. Let h be (3/(-2))/(27/v). Let a = 515/7 + -81892/1113. Which is smaller: h or a?
h
Suppose -133*n + 832 = 4*w - 129*n, -5*n + 832 = 4*w. Is w greater than 235?
False
Let y be (-1204)/(-16) - 2/8. Let n = -78 + y. Let w be -26 + (n/(-1) - -3 - 2). Is -22 greater than or equal to w?
True
Let a = 185 - 171. Suppose -a + 15 = k. Do -2 and k have different values?
True
Suppose 0 = 8*f + 4 + 12. Let n = 98 + -71. Let s = n + f. Is s > 25?
False
Let x be (-4)/(-8) - 14432/55. Which is smaller: x or -262?
-262
Let a = 2347/1892 - 57/172. Let x = -29 + 29. Which is greater: x or a?
a
Let p be 2472/6525 + -10 + 1488/150. Is 1 bigger than p?
True
Let g(f) be the first derivative of -f**2/2 + 8*f + 1. Let w be g(9). Let u be 464/(-144) + 1 + 2 - 0. Is w smaller than u?
True
Let f(l) = -l**3 + 14*l**2 - 11*l - 23. Let z be f(13). Suppose z*r + 7 = -x, 0*r = -r + 2. Let j be 6/(4/4*-1). Is x greater than or equal to j?
False
Let o be (6/(-33) - (-102)/198)*18. Suppose -o*w = -14*w + 16. Let n = -3 + w. Is -4 != n?
True
Let x = 1/1982 + -4465/10901. Let f = -239020/7 + 34146. Which is greater: f or x?
f
Suppose -2*g + d = 5*d - 4, 3 = 2*g + 3*d. Let u = -5 - -1. Let s be 110/(-234) + u/18. Do g and s have different values?
True
Let w(x) = x**2 + x + 1. Let m be w(3). Let b(h) = h**2 - 17*h + 34. Let p be b(13). Let c = m + p. Is c at least -3?
False
Suppose -26*g + 46 = -58. Suppose -4*i - 2*f = 0, -i - 3*f = -g*i. Is 4/25 <= i?
False
Let b(u) = -u**2 + 8*u + 14. Let l be b(10). Let y be -6*((-8)/l + (-2)/3). Let f be (-2401)/364 - y/(-26). Which is smaller: f or -6?
f
Suppose -2*z = -5*s - 29, -2*z - z + 5*s + 36 = 0. Let j be 3 + (-81)/z - (-4)/7. Let u be (-1673)/105 - (j/5 - -2). Which is greater: -15 or u?
-15
Suppose -3*f - 185 = 4*y + 47, 0 = 3*y - 5*f + 174. Suppose -2*k - v + 2 = 0, 5*k - 2*v - 11 = 12. Suppose -92 = k*r + 85. Which is greater: r or y?
y
Let b = 63 + -65. Let m be (3 + 28/(-8))*148. Let u = 661/9 + m. Is b bigger than u?
False
Let j be 3/36 + 83/12. Suppose -3*g = j*g + 10. Which is smaller: g or 6/53?
g
Let w = -9116 + 36645/4. Let s = -47 + w. Let c = 43 - 45. Is c less than s?
True
Suppose 53*q - 49*q - 84 = 0. Suppose -4*v + 88 = -3*x + 28, 5*v - 2*x - 68 = 0. Is v > q?
False
Let r be 6 + -4 + -9 - (-7 + -1). Does r = 2/12893?
False
Let h = -5.087 + 4.987. Suppose 2*a - 3 = 4*z - z, 14 = 5*z + 3*a. Let d be (-39)/(-6) - 0 - z. Which is bigger: d or h?
d
Let d = -1 - 4. Suppose -3 = 6*z - 3. Suppose -3*j + o + 5 = 0, z*o + 2*o = -3*j - 10. Which is smaller: d or j?
d
Let v be (-1)/(-5) + 5 + 786/(-30). Let u be 14/v*-3 - -42. Is u equal to 43?
False
Let g be (-186)/(-910) + (-11)/77. Let x = -321 - -320. Which is smaller: x or g?
x
Let o(a) = a**3 + 4*a**2 - 7*a - 5. Suppose 4*d - 6 = -22. Let p be o(d). Which is greater: 25 or p?
25
Suppose 0 - 36 = -12*j. Suppose 0 = -3*v + j, v = -5*p + 5*v + 1. Let r be (-1 + 26/22)/(-2). Is r equal to p?
False
Suppose 0 = -z - 43*y + 40*y - 1908, 5*z - 3*y = -9558. Is -1908 less than z?
False
Let i be (((-20)/6)/5)/((-5)/(-15)). Suppose 0 = 13*b - 10*b - 18. Suppose 0 = 6*r - b. Does i = r?
False
Let u(h) = h**3 - 14*h**2 + 63*h - 401. Let f be u(11). Is f bigger than 14?
False
Let f be (3/(-2))/(-3*(-7)/(-28)). Suppose 0 = 2*j - 3*j - f*x - 18, 0 = 2*j - 3*x + 57. Is j at least -22?
False
Let z = -258 - -234. Let q = -267/2695 + 2/245. Is q smaller than z?
False
Let f = -5398 + 5177. Which is smaller: -1 or f?
f
Let o = 489 + -67. Let m = o - 422. Which is smaller: 215 or m?
m
Let m = -61809/7 - -8807. Suppose 11*j + 672 = -17*j. Is j at least m?
False
Let f be 1546*-1*(-12)/(-336)*14. Let y = -771 - f. Which is smaller: 56/39 or y?
56/39
Let t = 14/1279 + -126219/11647853. Is 0 > t?
False
Let k = 387 - 366. Let j = 21 - k. Is j >= -55?
True
Let j be 12/18 - 1/3. Let k = 0.02003 - 2.51303. Let a = k - 0.007. Is j less than a?
False
Let b = -16 + 24. Suppose -b*y = 174 + 114. Let c be 14/y - 6/(-15). Which is bigger: -1 or c?
c
Let f(c) = -3*c + 15. Let j be f(7). Let o = 1.9 + 244.1. Let a = -244 + o. Which is smaller: a or j?
j
Let p(n) = 2*n - 106. Let v be p(43). Suppose 3*a = -57 - 21. Is v at most a?
False
Let k = 3.12 - -0.08. Let p = 12.8 + k. Let q = p - 4. Which is smaller: 1 or q?
1
Suppose 3*g - 19 + 6 = 5*i, 5*g - 2*i = 28. Let t be (-5)/(-206)*(g + (-140)/25). Which is greater: -1 or t?
t
Let o = 1179 - 1575. Is -395 smaller than o?
False
Let m(j) = -40*j**3 - 8*j**2 + 24*j - 32. Let l be m(3). Which is greater: -1106 or l?
-1106
Let t = -31 + 87. Let v = t + -55. Suppose -3*g = -l, -2*g + 0*l = -l + v. Is g <= 2/83?
False
Suppose -3*o + 4*i = 10 + 13, -4*o + i = 22. Is o at least as big as -101/19?
True
Suppose 97*f = 6774 + 3314. Suppose 5 = -m, -5*r + 2*m + 656 = 131. Which is greater: r or f?
f
Let s be (4 - 3) + (3 - 6) + -43. Let g = s - -52. Let h(a) = -a**2 + 6*a + 24. Let q be h(g). Are 16 and q equal?
False
Let b = 346/5 + -31827/460. Let o = -103/46 - b. Let y = -19027/5 - -3805. Which is smaller: y or o?
o
Suppose 22 = p + 5*a + 34, -5*p + 4*a - 31 = 0. Let c = 981 + -981.3. Is c greater than or equal to p?
True
Let s(t) = -t**2 + 22*t - 70. Let i be s(16). Suppose i*x - 100 = -1036. Is -36 < x?
False
Let h(o) = -2*o**3 - 6*o**2 + 150*o + 13. Let v be h(-10). Is v bigger than -88?
True
Let x = -129 + 149. Let w = 142/7 - x. Is -16 >= w?
False
Suppose -249207 - 36529 = -44*i. Is i at most as big as 6494?
True
Let t be (-3 + 12/4)/(-1). Suppose -11*w + 16*w + 205 = t. Let r = w - -23. Is 0 bigger than r?
True
Let d = 20 + -28. Let h(p) = -p**2 - 17*p + 1. Let s be h(d). Let n be 5 + 2 + s/(-13). Which is greater: n or 0?
n
Let h = 27.88 + -3.88. Is 17 bigger than h?
False
Let d(o) = -226*o - 679. Let k be d(-3). Is k greater than or equal to -0.06468?
False
Let u(f) = -3*f - 17. Let c be u(-7). Suppose 12*g - 34*g + 795 = 31*g. Which is greater: c or g?
g
Let t = 9494/3 + -2269012/717. Is t at least as big as -1?
True
Let a be 3/6*23 + 2/(-4). Suppose -a*r = -47*r + 180. Which is smaller: 0.2 or r?
0.2
Let n = -20.018 - -18.018. Let o(g) = -23*g - 1. Let k be o(1). Which is smaller: n or k?
k
Suppose 11*m + 60897 - 8534 = 6900. Which is greater: -4134 or m?
m
Let j be (19/684 - 4/16) + (-2)/(-9). Let z = 465 + -5. Let a = 15641/34 - z. Which is smaller: j or a?
j
Suppose 0 = -3*j - 2*o + 3 + 28, 4*j + 2*o - 38 = 0. Let n be 127490/15939 - (15 - j). Which is smaller: n or 1?
n
Suppose 3*t + 42 = 3*m, 5*m - 3*t + 28 = 98. Suppose m*a = 29*a - 15. Which is smaller: -1/32 or a?
-1/32
Suppose n - 4*m - m - 2 = 0, 2*m = -4. Let s(r) = -17*r + 17 + 14 + 24 - 12*r. Let y be s(2). Which is greater: n or 