ller than m?
False
Let d(x) = 15 - 2*x + 4*x + 6*x + x**2. Let t be d(-6). Suppose -t*j + 6 = -5*j. Does j = -9?
False
Suppose -4*n + 2*n = -42. Let g = 23 - n. Let h be -2 + (1 - -1 - 0). Is g greater than h?
True
Suppose -4*h - 150 = -18. Suppose -4 = -t - 0*t, m + 24 = -2*t. Which is smaller: m or h?
h
Let x be 1/(-1) - (6 - 9). Suppose -5 - 3 = x*g. Let h be 1 + g + -2 + 1. Which is smaller: h or 1?
h
Let h = -257 + 255. Let b = -4 - -6. Let d = b + h. Is -3/5 > d?
False
Suppose 1 = 43*x + 87. Is 233 at least x?
True
Let b = 257/265 + -9/53. Let n(z) = 3*z**2 - 2 - 4 - 4*z**2 + 6*z. Let c be n(4). Is c greater than b?
True
Let w = 5517/4 - 2757/2. Let j = 0 - 0. Is w smaller than j?
False
Let f be 7 - (4 - (-4 - -4)). Let t be 8 - f - (1 + (2 - 1)). Let q(s) = -s**3 + 8*s**2 + 2*s - 6. Let i be q(8). Which is smaller: t or i?
t
Let i = 3/26 - -57/13. Is i < 5?
True
Let m be ((-80)/6)/(-2*1/24). Suppose 0 = -6*q + 50 + m. Which is smaller: 33 or q?
33
Let x = 76.9 - 77. Let d = -4 - -4. Let k = d + 0.4. Which is smaller: x or k?
x
Let u = -0.9 + 2.9. Is u less than -3.9?
False
Let b = -150244/11 - -13991. Let g = -333 + b. Let d = -17.375 - -16.975. Which is bigger: d or g?
d
Suppose 2*f + 0*f = 0. Let b = 2954 + -11929/4. Let v = -28 - b. Which is greater: v or f?
v
Suppose 0 = 3*i - s - 83 + 14, 2*i + 3*s = 57. Suppose -27*d + 29*d = i. Which is smaller: d or 11?
11
Let o = 3 + -16. Let q = o + 10.8. Let s = q - -0.2. Which is smaller: 0.3 or s?
s
Let k be (-20)/(-30) + 32/132. Is 2 smaller than k?
False
Let t(p) = p**3 + 8*p**2 + 12*p + 9. Let a be t(-6). Let v = -5 - -9. Suppose 0 = -m - 5, -v*u + 2*m - 3*m - a = 0. Is u less than -1?
False
Let l = -31 - -21. Let c = -8.2 + 8. Let s = -0.2 - c. Which is smaller: l or s?
l
Let i(l) = -l**3 - l. Let d(b) = 2*b**3 + 16*b**2 + 19*b + 22. Let v(f) = -d(f) - 3*i(f). Let o be v(17). Let k = 8 + o. Is k greater than 2?
True
Suppose z - 4*u - 18 = -52, -5*z + 5*u = 200. Which is smaller: z or -44?
-44
Suppose 0 = -15*s + 19*s + w - 7, -5*w = -15. Does s = 2/383?
False
Let z be 4/(-10) + (-24)/40. Let g = -73/520 - -1/65. Which is smaller: g or z?
z
Let u = -0.4 - 7.6. Let y = u + 7.7. Let q = 26.4 - 26.5. Which is bigger: q or y?
q
Suppose 0*f + 96 = 6*f. Suppose -20*w + 336 - f = 0. Is w < 1?
False
Let o = 8/5 + -46/35. Which is smaller: o or -6?
-6
Let g = -3200 - -9325/3. Which is greater: -91 or g?
-91
Let r be (26/2)/((-12)/48). Let o be 1 + -4 + r/(-28). Which is bigger: 0 or o?
0
Let k be (-1)/55*10/4. Let n = -276.9 + 277. Is n less than or equal to k?
False
Suppose 6*t = 43 + 77. Let a = t + -20. Which is smaller: -2/9 or a?
-2/9
Let h be 0/2 - (-4)/18. Let a = -65 + 55.1. Let z = -10 - a. Which is smaller: h or z?
z
Let j be (5 + 0)*(-100 - 23). Is j bigger than -616?
True
Suppose -4*i + 18 = -2. Suppose -4*k + 290 = 2*p, k = -k + 3*p + 133. Let w = 77 - k. Is w greater than i?
True
Suppose 5*j + 8 = 3. Let u be 4 + (-1 + j - (-48)/(-27)). Which is smaller: u or 12?
u
Suppose -w - 8 = 3*y - 88, 2*y - 5*w = 42. Let l = y - 36. Let r be (-5)/3*1/l. Do -1 and r have the same value?
False
Let f = 0.12 + 2.88. Is f at least 58?
False
Suppose 0 = -0*b + 7*b - 4*b. Which is smaller: b or 5/37?
b
Let i be 46/((10/3)/5). Let m = -101 + i. Let w be (-284)/m + 2/16. Is 9 at most w?
True
Suppose r = -3*r + 4*x - 24, -4*r - 24 = 2*x. Let l be r/(-3 - -1) + -4. Let y be (3/(-9))/(l/(-3)). Which is bigger: y or -2/19?
-2/19
Let r = -373/5 + 75. Let f(m) = 6*m - 1. Let g be f(0). Which is smaller: g or r?
g
Suppose -10*q + 20 = -0. Suppose q*f - 3*x + 166 = 0, 8*x = 5*f + 9*x + 381. Is f > -78?
True
Let t = 228 - 324. Let f = 85 + t. Which is greater: 0.2 or f?
0.2
Let b = -929 + 931. Let w(g) = -g**3 - 4*g**2 - 7*g - 4. Let o be w(-4). Which is greater: b or o?
o
Suppose -2*f + 5*z = 26, 5*f = 3*f - z - 26. Let o = f - -15. Let i = o + 0. Which is greater: i or 9/4?
9/4
Let k be 1/(5/15) + 207/(-21). Let f = 617/91 + k. Which is smaller: f or 0.1?
f
Let v = 36.967 - 37. Let l = 0.167 - v. Which is smaller: -0.02 or l?
-0.02
Suppose -3*v + 11 = -2*f, -v - 8 = f + 5. Which is smaller: f or 4/13?
f
Let s be (-3)/(-18) + 188/24. Suppose -4*d = 4*m + s, 4*m + d + 4 = -1. Is m at least -3/8?
False
Let k be 84/(-12) - 3/(-12). Is k >= -8?
True
Let b(a) be the third derivative of -a**5/60 + a**4/4 + 3*a**3 + 12*a**2. Let o be b(8). Suppose -12*s - o = -11*s. Is -3/5 greater than s?
True
Let s = 65 + -64. Is 2/59 less than or equal to s?
True
Let k = 358/117 + -34/13. Suppose b - 4*o = -0*b + 16, -2*o = 6. Let j(x) = x**2 - 5*x + 4. Let n be j(b). Are n and k unequal?
True
Let o = 9.9 + -11. Let y = 0.93 - -0.07. Let f = o + y. Which is bigger: f or 4?
4
Let s = 317/290 - 23/29. Which is bigger: -18 or s?
s
Let z = 719.371 + -0.371. Is 0 bigger than z?
False
Let w = -3220849/953610 + 2488/717. Let u = -2/95 + w. Let l be 50/18 + (-558)/186 - (-14)/(-18). Which is bigger: u or l?
u
Let x = 17 - 6. Let w = x - 71. Let f be -2 - (w/21 + 1). Is 1 >= f?
True
Suppose 27 = -100*n + 109*n. Which is bigger: n or 102/23?
102/23
Let v = 0.3 + -0.11. Let c = -0.16 + v. Suppose -7 + 1 = 6*b. Does b = c?
False
Let s be (-158)/(-6) + -4*5/60. Let v = s + -76/3. Let o = 15 + -9. Which is smaller: o or v?
v
Suppose h + 4*h = 0. Let r be ((-1)/(-2))/((-5)/520). Let s be 2/r*56/(-42). Which is bigger: s or h?
s
Suppose 4*b + 39 = b. Let q = b - -17. Suppose -20 = -q*i - i. Are i and 9/2 equal?
False
Let t = 9.08 + -0.08. Let k = t - 9.01. Let h = -0.01 - k. Which is smaller: -15 or h?
-15
Let b(u) = -25*u - 114. Let l be b(-5). Let i = 3 - 2.7. Do i and l have different values?
True
Let v = -47.02 + 46.8. Is v at least -0.2?
False
Let w = 221 + -227. Suppose -2*r + 6 = -4*s - 10, s - 2*r + 4 = 0. Is s greater than or equal to w?
True
Let h = 43 + -38. Suppose 2*d - 22 = -3*q, 0 = -3*d - 0*d - h*q + 35. Is d > 5?
False
Suppose 0 = -7*i + 3*i - 12. Let j be (2 - 12) + (-2 - i). Which is smaller: j or -8?
j
Let i(k) = k + 3. Let q be i(-7). Let y(x) = -x**3 - 5*x**2 - 3*x. Let s be y(q). Is -7 smaller than s?
True
Let f be 4 + 4/6 + (-7453)/87. Which is bigger: f or -80?
-80
Let a = 1.88 - -0.42. Let g = a + 9.7. Let p = -12.4 + g. Which is bigger: p or 0?
0
Let f be (3 + -2)/((-1)/(-28)). Let u be (2 - 1)/(-2 + f/12). Let b = -5 - -8. Do u and b have the same value?
True
Let t = 8391 + -8391. Let s be -1 + 1 - 5/(-18). Which is greater: t or s?
s
Let z = -50.8 + 35.8. Do -0.09 and z have the same value?
False
Let a = 111 - 112.6. Which is greater: -2/11 or a?
-2/11
Let r be -1264 - (0/(-3))/4. Let m be 3/(-15) + r/(-20). Let t = 442/7 - m. Is t at most -2?
False
Let z be (-24)/(-10)*(63/42 - 3). Which is bigger: 0.4 or z?
0.4
Let p be 17 - (3 + -2)/((-4)/(-16)). Suppose 12 = s + p. Is s < 1/17?
True
Suppose 0 = -68*z + 39*z - 58. Suppose m + 4*t + 6 = 0, 3*m + 5*t = -0*m - 4. Suppose m*d - 3*f + 18 = 2*f, -24 = 4*d - 4*f. Is d bigger than z?
False
Let c = 4.59 + -4.99. Is -46 < c?
True
Let g(u) = 9*u - 73. Let q be g(8). Which is greater: -14/15 or q?
-14/15
Let m be (-10)/(0 - (2 - 1)). Let t = -41 + 38. Let x be 17/(-10)*-5 + t/(-2). Is m equal to x?
True
Let q = -20.3 - -20. Let o = q + -2.3. Let n = 1.6 + o. Is n less than or equal to 2?
True
Let r = -8/3 - 59/6. Let f = -18 - -30. Let p = f + r. Is p not equal to -4?
True
Suppose 53*x - 5687 = 6*x. Let l(t) = 13*t - 9. Let u be l(10). Is x smaller than u?
False
Let s = 0.276 - 0.176. Is 765 at most as big as s?
False
Suppose 0 = -4*z + 31 + 5. Let t be ((-12)/9 + 3)/(3/9). Let b be 6/18 + t/z. Which is smaller: b or 1?
b
Let v = 0.0024 + -16.0024. Which is smaller: v or 21?
v
Let t(p) = 2*p. Let n be t(6). Let s = -694 + 706. Do s and n have the same value?
True
Let a = 0.05 + -0.55. Let z = -36 + 35.4. Let p = a - z. Which is bigger: p or 1?
1
Let s = 408 + -4073/10. Which is smaller: s or 1?
s
Suppose -6*h + 75 = -h. Suppose 0 = -15*v + 141 + 99. Which is smaller: h or v?
h
Let x = 1133/4 + -2243/8. Let k = x - 11/40. Is k >= 2?
True
Let b = -232 + 250. Let p be (-549)/(-30) + (2/10 - 0). Is p not equal to b?
True
Let u = -330 - -337. Let n = 12 - 8. Are n and u nonequal?
True
Let w be (-6 - (-57)/9)*-429. Which is smaller: w or -141?
w
Let r = -225 - -3377/15. Let v 