 -5*x + 2. Let b be n(-4). Let f = -29 + b. Suppose -4*r = 0, 4*h - h + 24 = r. Do f and h have different values?
True
Suppose 25*z = 24*z. Let h = 2 + z. Suppose -3*f - 8 = 4*c - 2*c, 4*f - 8 = h*c. Which is smaller: -1/12 or f?
-1/12
Let x be (-4 - 5967/(-1494))*-3. Suppose -4*m + 12 = -4*k, 0 = 3*k - k - 4*m + 10. Is k greater than x?
False
Let i = 15437 + -15858. Is i at least -2108/5?
True
Suppose -4*r + 150*g - 36 = 146*g, -2*r + 4*g = 28. Which is smaller: r or -28/11?
r
Suppose 0 = 18*m - 275 - 85. Suppose m = -s + 11*s. Are s and -0.06 non-equal?
True
Let v(f) = 19*f**2 + 344*f - 2. Let l be v(-17). Is -364 less than l?
True
Suppose 240 = 5*z - z. Let s(n) = -n**3 + 12*n**2 - 179*n + 515. Let l be s(3). Do z and l have the same value?
False
Let v(b) = 4*b + 19. Let c be v(-13). Let m be 3*((-76)/3 - -6). Let q = c - m. Is 23 less than q?
True
Let v = -233.2 + 260. Let t = v + -4.8. Which is smaller: t or -3?
-3
Suppose 96 = 56*s - 44*s. Suppose 2*t - 3 = -4*q - 13, 3*q + 5*t = 3. Which is greater: q or s?
s
Let q = -881 + 920. Do 22 and q have the same value?
False
Let g be (-22025)/(-246675) + (-2)/23. Let v(y) = y**2 + 2*y - 23. Let r be v(4). Which is greater: g or r?
r
Let d(c) = 167*c + 2224. Let f be d(-13). Are f and 64 equal?
False
Let n(g) = -g**2 + 3*g - 1. Let y be n(0). Let t be -5 - (23/2)/((-1)/y). Let o(i) = -3*i**3 + i**2 + i + 2. Let v be o(2). Is t at least v?
False
Let z = 75 + -167. Let c = -564 - z. Which is smaller: c or -0.1?
c
Suppose 0 = -3*y + 3*j - 6, -8 = -433*y + 429*y - 4*j. Is y at least -8/4731?
True
Let v = 312 + -601. Let u = v - -288.91. Which is smaller: 1.2 or u?
u
Let j = -3 - -19. Let w(v) = -97 - 92 - 15*v + 6 - 25. Let x be w(-15). Which is smaller: j or x?
j
Let d be (-4 + 172/24)*(-2682)/(-22). Let j = -386 + d. Let i be (4 - 2) + (0 - 1). Which is greater: j or i?
i
Let g = 149 + -105. Suppose -9 = -3*t - 4*r, 399*t - 2*r - 34 = 395*t. Let y be (0 - g/t)/(2/(-7)). Is y less than or equal to 22?
True
Let q = 15594 + -61861/4. Suppose -b + 643 = 5*l, -5*l - 3*b + 423 = -216. Which is smaller: l or q?
q
Let d(h) = 13*h**2 + 78*h - 246. Let j be d(-19). Is j equal to 0.1?
False
Let j be (-212)/(-10)*3/2. Let v be ((-32)/10)/(8372/(-520) - -16). Is v at least as big as j?
True
Let s be 436/981*(-3)/(-4). Suppose -3*h + 406 + 104 = 0. Is s greater than h?
False
Suppose 16354 = 3*p + 4*z - 6549, 5*z = -25. Which is greater: 7643 or p?
7643
Let b be 5833 + 80/12 + 16/(-6). Which is smaller: b or -0.1?
-0.1
Suppose -65 + 255 = -5*k. Let j = k - -54. Let y = -967.2 - -967. Is y greater than or equal to j?
False
Suppose -63 = 3*g + 2*w, -g + 2*g + w + 20 = 0. Suppose 0 = 8*x - 13*x + 480. Suppose 0 = -17*y + 21*y + x. Which is smaller: y or g?
y
Let j = -352 - -354. Suppose j*n - 2*k = -690, n + 0*n = -k - 341. Is -343 less than or equal to n?
True
Let o = -821 + 823. Suppose -5*k = 3*f + 88, 0 = -o*f - 22*k + 25*k - 27. Is 10 >= f?
True
Suppose 131*y = 133*y - 2. Is y less than 2/1745?
False
Let z = -264.8 - -199. Let b = 54 + z. Let m = -13 - b. Which is bigger: m or 0.1?
0.1
Let s(g) = g**2 - 2*g + 736. Suppose 0*o = -o. Let w be s(o). Let i = -2230/3 + w. Which is smaller: i or -6?
i
Let n be 2*(-2 - (-60)/8). Let g be (n + (-14)/4)/((-1)/36). Is g at least -270?
True
Let f(r) = -5226*r + 52217. Let c be f(10). Let w be 1885/(-45) + (-4)/(-18). Are c and w non-equal?
True
Let w be 3/6 - 3/(-6). Let f be -5*w - -5*(-2)/(-5). Is f at most 8?
True
Let v = 766 + -766. Suppose 2*q + 4*m + 14 = 0, m + 7 = -q - 0*q. Is v at most as big as q?
False
Let x = -203 + 202.73. Let m = x + 2.17. Which is smaller: 0 or m?
0
Let n(g) = 17*g**2 + 21*g - 77. Let t be n(4). Is t <= 1679/6?
True
Let d = 79019 - 423936933/5365. Let w = 584789/10730 - d. Which is bigger: w or 56?
56
Let k(f) = -6*f + 5. Let i(p) be the third derivative of -13*p**4/24 + 3*p**3/2 - p**2. Let q(r) = 2*i(r) - 5*k(r). Let y be q(2). Which is smaller: y or -2/89?
-2/89
Suppose 680 = c - 35. Let f be c/(-99) + 2/9. Let i = 582.6 + -582.5. Are i and f nonequal?
True
Let t = 14/117 - -4/39. Is t bigger than -554?
True
Let u = 177 - 268. Let c = u + 107. Let n = c - 27. Is n < 4?
True
Let a(b) = 2*b**2 - 8. Let m be a(-8). Suppose 138*x - 142*x + 8 = 0. Suppose -x*l - 3*l = m. Is l at least as big as -23?
False
Let k(t) = -33*t - 264. Let p be k(-8). Suppose p = 6*i + 42. Which is smaller: -17 or i?
-17
Let c = 11.167 - 60.367. Do c and -0.06 have the same value?
False
Suppose 24*u - 1716 - 1332 = 20*u. Is 759 bigger than u?
False
Suppose -w = 2*m - 8, 4*m + 13 = w - 13. Suppose w*o + 40 = -100. Let i be 1/4 - (-82)/(-8). Is o < i?
False
Let w be (909/45 + -20)*-2135. Is -413 at least as big as w?
True
Let x = 89039/13 + -6851. Which is greater: 37 or x?
37
Suppose -2*t + 36 = -5*g, 2*g + 3*t + 3 + 0 = 0. Suppose -2*v = -3*v - 3*m + 3, 5*v = 5*m - 65. Let d be ((-95)/(-10) + v)/((-2)/12). Is d > g?
True
Suppose 0*y + 175 = -5*y. Suppose 11 = 30*s - 101 + 22. Let h = s - y. Which is greater: h or 39?
39
Let d = -2 - -3. Let z = 67 + -115. Let g be (z/660)/((-12)/10). Which is smaller: d or g?
g
Suppose p - 12 = -2*m + 32, 0 = -5*m - 3*p + 108. Let i be (8/(-42)*-3)/(12/42). Suppose 6*z = i*z + m. Which is smaller: 5 or z?
5
Suppose 15*r - 13*r = -5*x - 1331, 5*x + 1994 = -3*r. Let p = -679 - r. Is p < -16?
False
Let p = -8974 - -2701180/301. Let s = -649/17458 + p. Is 1 at most s?
False
Suppose 3*o - 2 = -8. Let i be (-2)/36*-2*-15*(-299)/(-260). Is i at most as big as o?
False
Suppose -2*d = -3*x - 17988, -4*x = -d - 0*x + 9009. Which is bigger: 8986 or d?
8986
Let k = -1285783/424 + 6065/2. Let x = -10 - -11. Which is smaller: k or x?
k
Let a(r) = -80*r**2 + 22*r - 220. Let p be a(10). Which is greater: p or -7999?
-7999
Let m(f) = f**2 - 3*f - 207. Let p be m(16). Which is bigger: 0 or p?
p
Let q(d) = 5*d + 9. Let i be q(-7). Let v(y) = -7*y - 5. Let x be v(3). Is i greater than or equal to x?
True
Suppose 4*j + 4*a = -300, a + a - 78 = j. Let t = -75 - j. Is -7/26 greater than t?
False
Let l be 30/24 - (3/4)/(-1). Suppose 0*s = 5*c - s - 211, l*c - 106 = -5*s. Suppose 45*o = c*o + 180. Is o at least 89?
True
Let j = -119 - -118. Let w = -10 + j. Is w greater than -11?
False
Suppose 388*k + 15930 = 383*k. Which is smaller: k or -3187?
-3187
Let a = 46675 - 46705. Let u = -2245/78 - -11/39. Which is smaller: u or a?
a
Let q = 24 + -24.09. Let b = 4.21 - q. Let z = b + -5.1. Which is smaller: z or 2?
z
Let y = 8185 + -8141. Is 20 equal to y?
False
Let n = -93 + 99. Suppose 3*m = n*m. Which is smaller: m or -4/31?
-4/31
Suppose -12 = 7*z - 89. Suppose 5*y - z*y = 0. Is y at most as big as -4/193?
False
Suppose 0 = -3*k - 4*f + 19, -4*k + 3*f = -37 - 5. Suppose 0 = 12*m - 3*m - k. Let d be (11 - (-2 + 8))*(m - -1). Is d not equal to 7?
True
Let p = -12782 - -12746. Suppose -4*l = -8*l + 40. Let u be (-4)/l + 178/(-5). Is u bigger than p?
False
Let v = -37160 - -37125. Let u = -0.2 + 0.1. Which is greater: u or v?
u
Let x be (-5)/((-1050)/791)*((6 - 0) + -10). Is -0.1 >= x?
True
Let f = 12/93275 + -110464262/93275. Which is greater: -1183 or f?
-1183
Suppose 0 = -5*t - 5*b + 90, 9*b - 20 = 14*b. Suppose -39 = -5*l + 4*l. Suppose 3*w + 5*x - l = 28, -4*w - 4*x = -84. Is t equal to w?
False
Let m be (7/((-28)/40))/2 - (-34257)/6840. Which is bigger: m or 22?
22
Let i = 13535 + -13536. Is i less than or equal to 12/2477?
True
Let j = 10.3 + -10.066. Let t = -1379.966 + 1380. Let x = t - j. Which is greater: 18 or x?
18
Suppose -8*p + 884 = 23*p - 27*p. Which is greater: p or 243?
243
Let s = -9080 - -9083. Which is smaller: s or -1?
-1
Let j = -0.8615 + -4.1385. Let c = 1/6 + -2/3. Is c not equal to j?
True
Let x = 2289 - 2284. Which is smaller: x or 75/13?
x
Let m = 5610.9 + -3959.9. Is m <= 4?
False
Let v be -115*6*2/(-20). Let i(c) = -c**2 + 41*c + 1629. Let k be i(-24). Is k <= v?
True
Let h(o) = o**3 - 32*o**2 - 167*o - 48. Let v be h(37). Which is bigger: 615 or v?
v
Let q = 1.6 + -1.6. Let n = 3798.1 + -3786. Is q greater than or equal to n?
False
Let o = 237 - 220. Let u(k) = -15*k + 82. Let s be u(o). Is s >= -174?
True
Let b = -23 + 173. Let y be (-4 - b/(-12))/(-2). Is y at most -4?
True
Let l be (3 - (-10)/(-3))/(9/108). Let g be ((-24)