 0 = r + 3*r + t. Is -79 at most r?
True
Let c = 457775857357687/334 - 1370584443532. Let y = c - 1955741. Let u = y - 2/167. Which is smaller: 3 or u?
u
Let a = 2.53 - 6.17. Let i = -0.36 + a. Is i less than -2/63?
True
Let d(c) be the second derivative of -c**3/3 + 22*c**2 - 9*c. Let v be d(22). Suppose 4*u + v*u = 0. Which is bigger: -2 or u?
u
Let s be (-21 - -17)/((-2)/9). Let a be (28/(-18767))/(s/21). Is a at least as big as 0?
False
Suppose 271*f - 61 + 169 + 163 = 0. Which is smaller: 18/1093 or f?
f
Let p = 16 + -16.09. Let d be 30/3 - (4 + -3). Suppose 7*j = d*j - 2. Which is smaller: j or p?
p
Suppose 0 = -2*t - 175 - 335. Suppose 4*u - 4*d = -1012, -2*u + 4480*d = 4482*d + 518. Which is bigger: u or t?
t
Let x be (-1 + 5/15)*(-37982)/12. Let o = x + -2099. Which is greater: o or 10?
o
Suppose w - 5*x = -11, -3*w + 2*x - 3 = -4*w. Let p be (784/(-992) - (-2)/4)*w. Is 0 greater than or equal to p?
False
Let d = -10.13 - -0.83. Let r = d + 21.3. Let x = r + -12.3. Is 0 bigger than x?
True
Suppose y + 21 = 149. Let c be (-12)/3 + 496/y. Is 1 > c?
True
Suppose 0 = -3*w + 3*p - 8*p + 40, -3*p + 68 = 4*w. Suppose -w = o - 14. Let r be ((-4)/o*-1)/((-36)/27). Are r and -0.04 equal?
False
Let i(w) = w**2 - 24*w + 46. Suppose -76 = 23*b - 21*b. Let z = b - -60. Let o be i(z). Which is smaller: o or 12?
o
Let l(i) = -7*i + 71. Let m be l(6). Suppose -m*j = -40*j + 11. Let n = -9371/27 - -347. Is n smaller than j?
True
Suppose d + 97 = 5*l, -2*l + 3*l + 5*d = 9. Suppose 4*p = -l + 11. Let t be -4*((-5)/2 - p). Do t and 12/17 have the same value?
False
Let p = 419 + -420.5. Let h = p - -1.6. Which is smaller: h or -0.21?
-0.21
Let t be -2 + 2 + -1 + -4. Let v = -3 - t. Let a = -503/1046 - 10/523. Is v less than or equal to a?
False
Let h = 110 - 110. Let c be (3 + h)/(-3 + (-4)/(-1)). Let j = -4 + 5. Is j at most as big as c?
True
Suppose 4*d = -28, -11*d + 28 = 5*w - 15*d. Which is smaller: w or 2/15475?
w
Suppose -x = -4*m - 103, 65 - 374 = -3*x + 2*m. Let c be (20808/16)/17*4/3. Are c and x equal?
False
Let k = 142 + -189. Let x = -47 - k. Which is smaller: -115 or x?
-115
Let d be (588/73)/(-4) + 2. Suppose -10*f - 176 = -f - 167. Which is greater: d or f?
d
Let u = 957049/46 - 20808. Is -4 <= u?
True
Let t be (-156)/72*1/4. Let r be 59/168 + (-4)/(-14). Let x = r + t. Is x greater than or equal to 0?
True
Let y = -39.3 - -39.21. Let g(t) = 3*t - 10. Let a be g(4). Suppose -4*w - 36 = 4*l - 0, 3*l - 8 = a*w. Which is greater: y or w?
y
Let l = 498 + -18925/38. Suppose 16*i - 18 = 46. Let b(y) = -y**3 + 16*y. Let s be b(i). Which is greater: l or s?
s
Let w be (4/8)/((-6)/(-936)). Suppose -w - 19 = -h. Let i = 97 - h. Does i = -1/2?
False
Let x = 806881/7 - 115471. Is -201 less than or equal to x?
False
Let z be (2/15 + 1276/(-870))/(150/(-549)). Is z smaller than 6?
True
Let y = -11146.7 + 10659. Let o = -488 - y. Which is greater: -0.14 or o?
-0.14
Let t = -6107 - -5665. Which is smaller: -438 or t?
t
Let s = -0.03 - -2.03. Let j = 468084 - 468068. Which is greater: j or s?
j
Let i = 36/485 - -101911/485. Does 209 = i?
False
Let g be 9/((-576)/(-48104)) - 12/(-32). Which is bigger: g or 753?
753
Let h = 481.2 - 523. Let y = h + 42.8. Which is smaller: 43/8 or y?
y
Let x = -127.857 + 128. Let m = x + -0.143. Let f = 20706/31 - 668. Which is bigger: f or m?
m
Suppose 9 = 9*d + 45. Let n be d - 6/(180/(-65)). Are n and 0 equal?
False
Suppose 5*a + 90*r - 446 = 88*r, 5*a = r + 452. Which is smaller: a or 83?
83
Let b = 438 - 448. Let i = 84 - 76.7. Let a = i + -7. Is b at most as big as a?
True
Let i be (-3 - -5)*-1 - 370. Let a = 277 + i. Is a < -97?
False
Let q = 48 - 63. Let s = 6 + q. Let u be 1*((-45)/10)/s. Are 2/5 and u equal?
False
Let r = -1618 + 2651. Which is smaller: r or -2?
-2
Let k = 0.5995 + -0.3995. Which is smaller: -26/27 or k?
-26/27
Let d = 11644 + -1350. Which is bigger: 10292 or d?
d
Let t = -124047/2 + 4137711733/66712. Which is smaller: 1 or t?
t
Let f be 0/3*(-2)/4. Suppose -3*l = l - 2*j + 122, f = -5*l - 2*j - 157. Let o = 29 + l. Which is bigger: o or 2?
2
Suppose -1278*j = -9*j + 90099. Let i be 2 - (-2 - 44/(-10)). Which is smaller: j or i?
j
Let u(c) = c**2 + 10*c + 11. Let w be u(-9). Let j be -6*(w/18 - -2). Suppose k = 3*r - 24, 3*k + 4*r = -2*k - 44. Is k less than j?
False
Let c = -1778955720157238379/312044 - -5700977170407. Let n = -64025/2172 + c. Let q = 3/431 + n. Which is smaller: -13 or q?
-13
Let n = -0.32 + 1.634. Let d = 0.086 + n. Suppose 5*b = -3*c + 2*b, -27 = 5*c - 4*b. Do d and c have the same value?
False
Let r be (3/29)/((-648)/(-18792)). Which is greater: 144/43 or r?
144/43
Let s = 15417 + -15417.035. Is s >= -12?
True
Let f(n) = -n**2 + n + 24. Let r be f(5). Let w = 20 + -17. Are w and r non-equal?
True
Let h = 4164 + -4296. Is -10 > h?
True
Let j = 788439/20 - 39423. Let f(k) = -k + 6. Let r be f(7). Do j and r have the same value?
False
Suppose 4*w = 4*y - 22 - 2, 0 = -y - 2*w - 12. Are -2/5047 and y unequal?
True
Let k = 1373 + 5675. Is k >= 7049?
False
Let a(q) = -21*q - 88. Let v be a(-4). Let o(c) = -43*c - 164. Let k be o(v). Is k equal to 6?
False
Let r(a) = 4*a**3 + 7*a**2 + 7*a - 4. Let d be (-1)/((-10)/(-15))*2. Let o be r(d). Let c = 83 + o. Is c < 13?
False
Suppose -5*s + 122 = -5*u + 557, -5*u = 3*s + 221. Let p = s + 84. Suppose m = 5*v - 23, -4*m + p*v + 3 = 5. Which is smaller: m or 15/11?
15/11
Let f(s) be the second derivative of -s**4/6 + 14*s**3/3 - 9*s. Let l be f(14). Let m be ((-168)/(-16) + -11)*(-12)/94. Which is greater: l or m?
m
Let u be (-2348)/(-14) + 2/7. Let m = -42418 + 42587. Are m and u equal?
False
Let f = -1/1356 + -75/452. Which is smaller: 5/51 or f?
f
Suppose -1340 = 12*y + 1720. Let c(b) = b**3 - 25*b**2 + 37*b - 47. Let m be c(23). Is m at least as big as y?
True
Let b(u) = 6*u + 11. Let y(q) = 9*q + 11. Let p(l) = -6*b(l) + 5*y(l). Let n be p(3). Which is bigger: n or 1?
n
Let x be (805/(-75) + 6)*-63. Which is greater: x or 0.1?
x
Let j = -15.23 - -18.23. Which is smaller: -172 or j?
-172
Let b(m) = -30*m + 33. Let g be b(-2). Are g and 6 non-equal?
True
Let l(g) = -23*g + 14. Let u be l(11). Let j = 227 + u. Suppose -2*n = 3*n - 4*d + 58, -5*d = -4*n - 41. Is n at most as big as j?
True
Let l = 4019469/1006 + -7991/2. Let p = 1535/6539 + l. Let y be (-2)/(90/145) + (0 - -3). Which is smaller: y or p?
y
Let u = 9 - 1. Suppose -4*z = -u*z + 156. Let w be ((-112)/42 - -3)/(-2*(-1)/(-6)). Is w at least z?
False
Let m = -108 + 150. Let j be (-15)/(-24)*(-4 + 72/20). Which is smaller: m or j?
j
Let x be (-3)/(-4) - 12/144*21. Let b be 213/(-1407) + -2 + 48/21. Which is bigger: b or x?
b
Let n = -10.1636 + 10.0636. Let r be (18/(-5))/((-2)/20). Suppose 4*f = -2*j + 18, -f - f - r = -2*j. Is n != j?
True
Let q(t) = 2*t**2 - 54*t + 216. Let m be q(6). Let k be (-1)/(-20)*-34*22. Are m and k nonequal?
True
Let z = -17473 - -17342. Which is greater: -144 or z?
z
Suppose -82*d + 284*d + 82*d + 602648 = 0. Do d and -2124 have different values?
True
Suppose -337*p - 222*p + 196*p = 126*p. Suppose t = 4*b - 90, -2*t - b = b + 150. Which is smaller: t or p?
t
Let d(t) = 5*t**2 - 141*t + 2662. Let y be d(15). Is y at least as big as -0.2?
True
Let n = 192.9 + -138. Let p = -99 - -154. Let f = p - n. Do -10 and f have different values?
True
Let i = -2709 + 3030. Is i smaller than 323?
True
Let m be (-24)/(-14) - 6/(-21). Suppose -g + 2*v = 22, -m*g - g - 4*v = 56. Suppose -2*b + 14*x - 44 = 12*x, -4*x = -5*b - 108. Is b <= g?
True
Suppose -3 = 3*u - 15. Let q = 85.23 - 86. Let g = -0.77 - q. Which is bigger: g or u?
u
Let b = 341 - 342. Let t be -1*1/b - 6/(-3). Is t at most as big as 13?
True
Suppose -3*k + 6*k + 67 = 4*x, 4*x + 5*k - 27 = 0. Suppose x*u = -2*u + 180. Is 1 bigger than u?
False
Let n = 35966 + -35882. Which is greater: n or -0.007?
n
Let p = 6459/494 + -171/13. Suppose 0 = -6*q + 2*q - 2*r - 6, q + 5*r = -6. Is p less than q?
False
Suppose 4*f + 41309 = -6147. Is -11865 equal to f?
False
Let c = 7/2 - 4. Let p be 4 + -3 - 305/255. Let z = p - -376/357. Which is bigger: c or z?
z
Let o(f) = 21*f - 2. Let d be o(-3). Let j(s) = s**2 - 50*s + 442. Let b be j(41). Let i = b + d. Which is smaller: i or 2?
2
Let j(z) = -z**2 - 1173*z - 20783.