m = 5086883/122787 - i. Which is smaller: m or 41?
41
Let o = 4.19 + -26.19. Let c(b) = 2*b**3 + 19*b**2 - 10*b + 1. Let r be c(-10). Is o at most as big as r?
True
Suppose -3*u = 3*o - 6, -2*u - o + 48 - 46 = 0. Which is smaller: 45/448 or u?
u
Let h be (-1173)/(-60) + (-2)/(-8). Let w = 166284/5 + -33257. Which is smaller: w or h?
w
Let w = -3090 + 3090. Let j = 106 - 178. Let h be (-2)/(-3) - 16/j. Does h = w?
False
Let m = 38 + -34. Let z be 1 + -16 + -5 - m/2. Is -21 bigger than z?
True
Let g = -0.108 - -1.148. Let n = g - 4.04. Which is greater: 17 or n?
17
Let t be (-1 - -5)*(-5)/(-4). Let o = 118 - 117. Suppose l + t = o. Is l greater than or equal to -30/7?
True
Let f(b) = -6*b**2 + 0*b**2 - 3*b - 76 + 67 + 17*b + 2*b**3 + 4*b**2. Let z be f(4). Is 143 smaller than z?
False
Let r(l) = -13*l - 2*l**2 + l**2 - 11 - 7*l - 28. Let a be r(-15). Is 37 at least as big as a?
True
Suppose 0 = 41*k - 48*k + 1281. Let h be (-18)/48 - k/(-360). Let g be (1/2)/(5/(-10)). Is g < h?
True
Let k be 243/(-210) - (236/(-20) - -11). Suppose -a + 7 = a + w, -5*w = 5*a - 15. Suppose -6*c = -a*c. Which is bigger: k or c?
c
Suppose 4*v + 2*m - 6 = 0, -v - 23 = 1078*m - 1074*m. Let i(c) = c**3 - c**2 - 3*c - 3. Let p be i(3). Which is bigger: v or p?
p
Let g be (42135/(-480))/(1/(-4)). Let l = -351 + g. Which is greater: -0.03 or l?
l
Let q = 7.53643 - 0.03643. Which is smaller: q or -0.087?
-0.087
Let b(d) = -13*d**3 - d**2 + d + 2. Let m be b(-1). Let n(l) = 32*l + 19. Let v be n(m). Let z = v + -847/2. Which is smaller: 13 or z?
z
Let c be 2/(-6) + ((-24063)/18)/(-13). Let a = -94 + c. Let u be 0/(-2) + 2/13. Which is greater: a or u?
a
Let j be (-40 + 2)/((-11)/(484/(-11))). Which is smaller: -161 or j?
-161
Let y = 8.58 + -10.5. Let x = 0.92 + y. Which is smaller: x or -16?
-16
Let v be 4 - 65/39*(6 + 15)/7. Are v and -1/1926 equal?
False
Suppose 2*z + 87 = -97. Let x = 85 + z. Is -7 >= x?
True
Let l = -138 - -148. Let k be (-17)/12 - (-1 - l/(-40)). Which is bigger: 57 or k?
57
Let z = 2145/1084 + 1942721/2710. Suppose s + 1140 = 421. Let t = z + s. Which is smaller: t or 0.1?
t
Let a = 182.1 + -199. Let t = a + 14.6. Let x = -1 + 0.6. Is t <= x?
True
Let y = -9 - -9. Suppose -12 = -3*d - y. Let s = 78 - 74. Is d equal to s?
True
Let k = -2212 - -2210. Which is greater: k or -60/101?
-60/101
Let v(f) = -f**3 + 3*f**2 + 3*f - 3. Let u be v(3). Let d = -100.43 - -100. Let b = -0.63 - d. Is b >= u?
False
Suppose 6025 = 14*c - 9*c + 5*t, -4*c = -2*t - 4790. Is c at most as big as 1199?
False
Let v = 8.25 + -7.2. Let g = -1.1 + v. Which is bigger: g or -2/3?
g
Let v = 76.096 + -76. Let m = v + 0.004. Which is smaller: m or -27?
-27
Let m = -64 + 65. Let o(g) = -g + 12 - 6 - m. Let t be o(4). Which is greater: t or 1/35?
t
Suppose -t + 3*g + 7 = 0, 2*t - g = 5*t - 1. Which is greater: t or 1/2409?
t
Let u = -531 + 533. Suppose -8*g = -4*c - 3*g - 1847, -2*c + u*g - 922 = 0. Is 1 <= c?
False
Let s = 145 - 115. Let d be (-2074)/(-255) - 4/s. Which is smaller: d or 9?
d
Let t(l) = 192*l + 1727. Let c be t(-9). Is 2/1827 greater than c?
True
Let r = 7554 + -67985/9. Let n = 3 - 0. Which is greater: n or r?
n
Suppose 0 = 6*b - 4*b - 22. Suppose -3*u = b + 58. Suppose 9*q - 6*q = -4*z - 87, 4*q = -4*z - 88. Do u and z have different values?
True
Let z(a) = a + 4. Let c be z(6). Let y be 2/c + (-21)/5. Let u(k) = 371*k - 2969. Let j be u(8). Which is bigger: y or j?
j
Let k = -2515/16 - -157. Suppose -190*w - 48*w + 140 = -98. Which is bigger: k or w?
w
Let h be (-6 + 2)/2*(2 - 201). Suppose -4*a = 2*j - h, -a - 2*j + 104 = 3*j. Do 99 and a have the same value?
True
Let k = -14.035 - -14. Let c = 60.965 - k. Let h = c - 62. Which is smaller: -3/7 or h?
h
Let o be (3*(-1)/27)/((-9)/135081). Let r = 148423/89 - o. Which is greater: r or 1?
1
Let a = 169 + -250. Let j = 82 + a. Let m = 7 + -11. Is j bigger than m?
True
Let o be (-1568)/(-104) - 6 - 4. Let w = 67 - 62. Which is bigger: w or o?
o
Let w = -21 + 20.57. Let s = w - 0.67. Let j = s + 1.2. Are 6 and j non-equal?
True
Suppose 0 = -3*k + 2*k + 3. Suppose 0 = i + t - 4*t - 34, k*t - 86 = -2*i. Let g be (-6)/(-8) - (-410)/i. Is g smaller than 11?
False
Let h(t) = -2*t + 10. Let r be h(7). Let b(d) be the first derivative of -d**2 - 8*d + 1632. Let k be b(r). Which is smaller: 10/27 or k?
k
Suppose 1 - 9 = -2*o. Suppose o*m = 2*n - 42 + 828, m - 2*n = 192. Let d be (-14)/2*m/77. Is -18 >= d?
True
Let q(v) = -v**3 + 7*v**2 + 6*v - 6. Let g be q(8). Let r(j) = -j + 32. Let o be r(g). Let i = o - 50. Which is smaller: i or 0?
0
Let x = 26332898/631 + -41732. Which is smaller: x or -1?
-1
Suppose -17*s + 15 = -12*s. Suppose -w + 5*a = -19 - s, 0 = -3*w + 5*a + 36. Let h be 31/w - 4 - 779/1785. Is h at least 1?
False
Suppose 6*j + 4 = 4*j. Let v be 16/(-1 + -2*3/j). Let f be 22/(-40) + 6/v. Is f at most as big as 7?
True
Let a = 6549 - 58883/9. Let r = a - 34/9. Suppose 5*p + q - 20 = 0, -p + 5*q + 4 = 3*q. Is p greater than r?
True
Let m(y) = 679*y + 529. Let j be m(5). Is j greater than or equal to 3923?
True
Suppose 2*q + 3*w - 8 = -4, 4 = 2*q + 2*w. Let n be 5 - (q + 5)/1. Is n at least -80?
True
Suppose 20*p - 68 = 24*p. Let b = p - -16. Let v be ((-5)/260*-4)/b. Which is smaller: 1 or v?
v
Let p = 179.04 + -16.24. Let n = p + -141. Let k = n + -22. Which is smaller: k or -22?
-22
Suppose 0 = 59*j - 31*j - 308. Suppose 2*m = 3*v - 9, -5*v + 4 = -3*m - j. Let p be 6/9*2/(-20). Which is greater: p or m?
m
Let q be 0/(-3 - (3 - 4)). Let u be (129/6 - -4)*22. Let c = u + -92563/165. Which is greater: q or c?
c
Let d = -289 + 384. Suppose 143 - d = 2*f. Which is smaller: 2/7 or f?
2/7
Let h be 33105/(-10)*(0 + 12/(-18)). Suppose h + 943 = -15*a. Does -212 = a?
False
Let l = -46 + 102. Suppose 36 - l = -5*r. Which is smaller: -3 or r?
-3
Let o = -130 + 131. Is -1/2196 equal to o?
False
Let p be (-1)/(-4)*-894*(-4)/(-6). Let b = 156 + p. Is b bigger than 5/12?
True
Let j = 45 + 125. Let u = -169 + j. Which is smaller: u or 14?
u
Let w = -1 + 95. Let l(a) = 97*a**2 - 670*a - 676. Let v be l(-1). Which is bigger: v or w?
w
Suppose -1319*a - 2522 = -1332*a. Is 1754/9 less than or equal to a?
False
Let u = 2820 - 2953. Is u equal to 11/2?
False
Let o = -51.897 - -52. Let w = -0.003 + o. Let y be 2/10 + (-3)/(-35). Is w smaller than y?
True
Let l be ((-11)/((-363)/1067))/(2*(-6)/(-36)). Which is smaller: -0.3 or l?
-0.3
Let g(m) = -m**3 + 13*m**2 - 6*m + 22. Let l be g(9). Let d be (-586)/(-3)*3/2. Is l greater than d?
False
Let a = 2/515 + 40/309. Let u = -878 - -877.8. Do u and a have different values?
True
Let x = 19.6 + -19.7. Let g = -30 + 27.2. Let l = g - -4. Which is smaller: x or l?
x
Let b = 0.21833 + 9.28167. Is b bigger than 0.115?
True
Let u = -5.58 - 5.39. Let r = 1.97 + u. Is -0.7 > r?
True
Suppose q - 4 = 0, 7*v - 3*q = 4*v - 27. Suppose -3*c + 77 = -14*c. Let g be 5/c + -1 + v/(-7). Which is greater: -3/5 or g?
-3/5
Let v be 3/(((-3)/(-5))/(5/25)). Let k be (6 - 13) + -49 + v + 0. Is -2 > k?
True
Suppose -4173 = 5*y + 2*t, 0 = -2*y + 19*t - 17*t - 1686. Is y greater than -835?
False
Let w = 340 - 294.9. Let s = -46 - -1. Let r = w + s. Which is bigger: r or 33?
33
Let s = 336 - 399. Let d = s - -56. Let y(c) = 4*c - 1. Let v be y(-2). Which is smaller: d or v?
v
Let a be 36524/12 + 2/9*-3. Is a at most 3043?
True
Let m = 5.42 - -244.58. Let d = m + -249.7. Is -36 less than or equal to d?
True
Let j be 9/(225/10) - (-32536)/110. Let o = 296 - j. Let k be ((-2)/(-20))/(18/(-45)). Which is smaller: k or o?
k
Let f = 4.4 + -1.9. Let u = -2.64 + f. Let x = u + 1.14. Is x equal to -0.13?
False
Suppose 5*l - 43 = 4*p, -p - 5 = p + 3*l. Let q = 2755 + -2763. Is q smaller than p?
True
Suppose 43 - 15 = -28*u. Is u greater than or equal to 4?
False
Let c = -1532 + 1564. Let d = 9/7 - 39/14. Is c at least as big as d?
True
Suppose 515 = 5*l + 4*q, 218 = 2*l - 0*l + 4*q. Suppose -71 = 2*o - 267. Which is greater: l or o?
l
Suppose -3*s + 17 = u, 7*s - 11*s + 20 = 0. Let m be (-12)/3*(u - (-3 + 4)). Is m > -29/6?
True
Let z be 1 - 3/((-84)/(-34)). Suppose 4*y - 713 = -0*q - q, -4*y + 20 = 0. Suppose 2*i + q = 695. Are z and i non-equal?
True
Suppose -4*k = 12*w - 7*w + 49, 4*k = 3*w - 41. Let v = k + 10. Which is big