)/(-56)*((-24)/(-26) - 1). Is -0.018 >= u?
True
Let k be 3/(-24) + 957/(-24). Is k at most -35?
True
Let i = 2 + -2. Let r = 810 + -63988/79. Are i and r equal?
False
Suppose 0 = 4*t - 0*u - 4*u - 344, -3*u - 432 = -5*t. Let o be -9*(2436/(-18))/14. Is t at least as big as o?
True
Let o(q) = -q**2 + q + 3. Let y be o(-3). Let t = 1318 - 1326. Which is bigger: y or t?
t
Let v be (13/(1183/(-42)))/(3/(-82)). Which is greater: 14 or v?
14
Let o be ((-44)/10)/((-8)/(-40)). Let u = o + 29. Let k = -1 + 0.9. Is u smaller than k?
False
Suppose -25*k = -20*k - 545. Let t = -203 + k. Is t bigger than -95?
True
Let i(q) = 3*q - 77. Let o be i(29). Let c be 4/o*(-4 + 5). Which is smaller: c or 18?
c
Let x = 31 + 1. Let w = -31.8 + x. Which is greater: w or 4/7?
4/7
Let h = 9 + -13. Let k be (-6)/h + (-8)/(32/18). Is k greater than or equal to -1/3?
False
Let u = -22 - -184/5. Which is smaller: 15 or u?
u
Let s = -2877 - -2864. Let d(n) = -n**2 - n + 5. Let q be d(4). Is s less than or equal to q?
False
Let t = 84 + -80. Is t < 16?
True
Let y(q) = 2*q**2 + 8*q - 16. Let b be y(-5). Let w = 2 + -8. Is b less than w?
False
Let s(f) be the first derivative of 9*f - 4*f**2 + 5*f - 13*f + 5. Let q be s(-1). Are q and 9 non-equal?
False
Let s = -5 + 27. Let o = 20 - s. Are o and -32 nonequal?
True
Let y = -397799/11 - -36131. Is -2/3 < y?
False
Let t = -45/2 + 229/10. Let u be -15*(-2 + (6/1)/2). Which is greater: u or t?
t
Suppose -5*h = t - 128, 29 - 1 = h + t. Which is bigger: 26 or h?
26
Let w(o) = 5*o**2 + 5*o + 3. Let r be w(4). Let p = 1688 + r. Let d = -16093/9 + p. Which is greater: d or 2?
d
Let c = -93/143 - -8/11. Suppose -30 = 5*l - 4*k, -4*l = 2*k - k + 45. Let v be l/30*(5 + -2). Which is bigger: v or c?
c
Let g = 916 + -916. Is 17/12 < g?
False
Suppose -5*l + 20 = 0, -3*c + 14 = -0*c + 2*l. Suppose 3*t = -4*q + 4*t - c, -1 = -5*q + 3*t. Let m = -1284/13 + 99. Is m < q?
False
Let g = 17 - 12. Suppose 0 = -j - 2*i + 7 + 3, 0 = 4*j + g*i - 25. Let k = -7 + 6. Is k != j?
True
Let x be 5 - (-1)/(-2)*0. Suppose x*v = v + 4. Let w = -55/3 + 1369/75. Which is smaller: v or w?
w
Let l = 0.46 - 0.06. Let u = l - 2.4. Let h = 10 + -17. Are h and u unequal?
True
Let n be 1/(-21)*-2*30/16. Let z be -4 - (-304)/72 - 4/18. Which is smaller: n or z?
z
Suppose 3*x + 4*t - 202 = 338, -4*x + 5*t = -720. Let f be (-2)/4 - x/(-40). Is f equal to -7?
False
Let b(r) = r**2 - 8*r + 1. Let i be b(9). Let q(g) = -g**2 - 9*g + 18. Let c be q(-10). Which is smaller: c or i?
c
Let s(n) = -6*n + 20. Let p be s(4). Let o be (-18)/24*p/7. Is -0.1 greater than or equal to o?
False
Suppose 2*q + 2*x = -272, -2*q + 0*q - 266 = -4*x. Which is smaller: -138 or q?
-138
Let r(o) = 2*o**2 + 22*o - 19. Let t be r(-12). Suppose 3*y - 4*a + 11 = 0, 5 = 2*y - t*y + a. Which is bigger: 0.25 or y?
0.25
Let b = -4499/18 - -250. Let a(s) = 2*s**2 - 4*s + 15. Let r be a(9). Let w = -985/7 + r. Is w less than b?
False
Suppose 312 + 60 = 6*l. Suppose 0 = 5*k + 10, 9*q + l = 10*q + 5*k. Are q and 72 unequal?
False
Let t = 1069 + -2938/3. Let q = -89 + t. Is -0.064 > q?
False
Let w(o) = 4*o**2 - 2*o - 1. Let a be w(-1). Let b be ((-2)/3)/(1/(-9)). Suppose b = -a*j - 44. Which is smaller: -11 or j?
-11
Let l(a) = -13*a - 4 + 10*a - 2*a. Let x be l(4). Are x and -23 nonequal?
True
Suppose 3*r - 19 = -2*t, 2*r = 4*t + 3*r - 13. Is t greater than 94?
False
Suppose -3*a + 10 = 4*o, 2*o - 13 = -o - 5*a. Let u be ((-13)/(-286))/(o/(-2)). Let w(r) = 2*r**2 - 11*r - 5. Let p be w(6). Does u = p?
False
Let t be -6 + (4 - 30/7). Suppose -5*l = -4*w + 50, -5*l + 2*w + 3*w = 55. Is t bigger than l?
False
Let w = 9 - 0. Let f = w - 7. Let p be (2/(-3))/(((-150)/9)/10). Which is smaller: f or p?
p
Let f = 912 + -966. Suppose 2*v + 129 = 19. Which is smaller: v or f?
v
Let r = -35 + 18. Let a = 9 + r. Let c be (-28)/(-104)*a + 2. Are c and 1/4 nonequal?
True
Let u = -1615113 - -184125763/114. Let m = u - 151/6. Let d(z) = -z**3 - 51*z**2 - 147*z - 144. Let f be d(-48). Which is bigger: m or f?
m
Suppose -60 = 2*i + 4*n, 0*i - 2*i = n + 66. Which is smaller: i or -20?
i
Suppose -3*h - 9 = -4*l, 7*l - 4*l = -4*h + 13. Let m be (1/5)/(24/30). Is m at most as big as h?
True
Let t = 80 - 90.7. Let r = -10 - t. Let h = 0.3 + r. Which is smaller: -8/7 or h?
-8/7
Let v = -1245 + 1242. Is -128/33 greater than v?
False
Suppose 3*r + 241 = -5*a, 5*r + 375 = -0*r - 3*a. Which is smaller: r or -73?
-73
Suppose 6 - 2 = 2*o, 3*o - 363 = -3*x. Let a = -103 + x. Which is smaller: a or 15?
15
Let g = 384 + -368. Let u = -42 - -64. Let p = g - u. Which is smaller: 0.2 or p?
p
Let p = 977 - 737. Is -1/2 greater than p?
False
Suppose -2 = 4*y - 6. Let w be (2 + (4 - -1))*y. Let n be 144/70 + (5 - w). Which is bigger: 0 or n?
n
Let r be (-4)/(-3)*27/(-54). Do 1.26 and r have different values?
True
Suppose 0 = -5*o - 0*h + h + 79, 5*o - 75 = 5*h. Which is bigger: o or 18?
18
Let o = 23 + -32. Let s = o - -13. Suppose -s*v + 8*v = 0. Which is smaller: -2/7 or v?
-2/7
Let z(i) = -5*i**2 + i - 3. Let u be z(3). Let l = u + 68. Let j = l + -23. Which is smaller: j or -2/23?
-2/23
Let z = -18 + 18. Suppose z*r + 12 = r. Which is smaller: r or 13?
r
Let r = -477 - 994. Let b = 16169/11 + r. Let h = 3 + -5. Which is smaller: h or b?
h
Let a = 46 - 51. Let v(n) = n**3 + 4*n**2 - 3*n + 10. Let b be v(a). Which is bigger: -3/22 or b?
b
Suppose i = -122 + 129. Suppose -4*q = -9*q + 15. Suppose 42 = 5*r - q*y, 2*y - 6*y - 16 = 0. Is i smaller than r?
False
Let f(l) = 4*l**3 + l**2 - l. Let s be f(1). Let x = 21 - -9. Let a be (-3)/(-5) + 132/x. Which is bigger: a or s?
a
Suppose 5*r - 26 = 4*u, 2*u + 0 - 2 = -5*r. Suppose -3*w = 3*b - 25 - 89, -r*b - 4*w = -66. Which is smaller: 44 or b?
b
Suppose 3*t = -2*g - 376, 0*t + 6 = -3*t. Let x = -118 - g. Does x = 67?
True
Let w = -6 - -3. Let f = -17/20 + 5/4. Is w greater than f?
False
Suppose 4754 = -16*d - 6654. Which is bigger: d or -712?
-712
Let b = -79 + 81. Is b less than or equal to 2?
True
Suppose -b + 5*f + 8 + 17 = 0, 1 = b + f. Suppose b*j - 4*z + 47 = 0, 2*j + 29 = 2*z + 3*z. Which is greater: j or -3?
-3
Suppose 18 = 18*b - 108. Let p = 11969/9 - 1323. Which is smaller: b or p?
p
Let b = -6 - -2. Let w = -23 + 12. Let f(t) = t + 8. Let s be f(w). Which is smaller: s or b?
b
Let x(k) = -24*k**2 - 3 - 7 + 25*k**2 + 2*k. Let i be x(-5). Suppose 0 = -3*h - i - 10. Which is greater: -7 or h?
h
Suppose -2*i - 2*o - 4 = 2*i, -i - 5*o - 10 = 0. Suppose -3*x + 28 = 16. Let u be 5 - x - (22/26 - 0). Which is smaller: i or u?
i
Let x = 82 - 78. Suppose 30 = -h + x*v, -3*h - 70 = -v - v. Which is greater: -23 or h?
h
Let l = -385/9 - -2539/36. Is l less than 29?
True
Let v be 260/(-42)*(-6)/(-2). Let m = v + 1240/63. Let i = 16/9 - m. Is i equal to 3?
False
Let c = 2415 + -181111/75. Let h = c + 1084/1425. Which is bigger: -2/7 or h?
h
Let k = 9 - 6. Suppose 0 = p - 0 - k. Suppose 5*v = -2*r + 1 - 6, -2*v = -r + 2. Are v and p unequal?
True
Let d = -78 + 77.8. Let i = 2536/1677 - 54/43. Let v = i + -56/117. Is d smaller than v?
False
Suppose -4*u + 10 + 5 = -c, 20 = 5*u. Let o be (-8)/(-24)*3726/(-4). Let x = -3721/12 - o. Are x and c equal?
False
Let k be 12/(-30) + (-132)/(-5). Is k greater than or equal to 20?
True
Suppose -47*v - 961 = 684. Which is smaller: v or -32?
v
Suppose 20 = 4*w, -3*v + 2*w - 2 = w. Let o be 9/9 + (1 - 4). Let k be (-4 + 2 - o)/2. Which is bigger: k or v?
v
Let r = 751.9 + -728. Are -0.3 and r unequal?
True
Suppose b - 35 + 24 = 0. Which is smaller: 8 or b?
8
Let b(h) = -h**3 - 9*h**2 + 12*h + 16. Let q be b(-9). Let t = q - -92. Which is smaller: t or 4/7?
t
Let p be (2/8)/((-99)/330)*146. Is p > -0.1?
False
Let t = 0.16 + 0.54. Let w = 0.05 - 0.35. Let a = w - t. Which is smaller: -2 or a?
-2
Let q = -8.6 + 11. Let l = 2.4 - q. Which is smaller: l or 6?
l
Let y be (-18)/30 - (-6)/10. Suppose -2*i + 4*u = -10, -3 = -i - 3*u + 7*u. Which is smaller: y or i?
y
Let p = 17 - 9. Let y be -3 - (-1 + 5 - p). Which is bigger: -2 or y?
y
Suppose -5*m = g + 2244, -4*m + 460 = -5*m - 3*g. Which is smaller: m or -449?
-449
Suppose -x - 3 = 2*m - 6, -4*x = 20. Suppose 4*u = -12, -2*u - m + 2 = 4*n. Let t = 1/103 + -527/1236. Which is smaller: t or n?
t
Suppose -5*h + h - 3*t + 2