r: -3 or b?
-3
Let v(y) = 2*y**2 - 30*y - 69. Let g be v(17). Let x be g - -102 - (-252)/(-28). Which is smaller: -0.5 or x?
-0.5
Let h = -229.3 - -229.46. Which is smaller: -1/22 or h?
-1/22
Let b = 0.0004 + -0.0004. Is 11.72 at least b?
True
Let r = 2792.538 + -2792. Which is smaller: r or -2/5?
-2/5
Let f(t) = -t**2 - 5*t + 40. Let o be 9/54 + 55/(-6). Let m be f(o). Are m and 25/6 nonequal?
True
Let o be -235*(2 - 4 - -1). Let w = -225 + o. Let i be (-84)/(-18)*(-54)/(-21). Are i and w equal?
False
Suppose 176*v = -178 + 31 - 29. Let m be (6/1143)/((-2)/(-3)). Is m >= v?
True
Let v = -702 + 703.923. Does v = 1?
False
Let g be 2/(-7) - (-4641354)/3542. Let t = -1309 + g. Suppose -4*l + 1 = -3*l. Which is smaller: t or l?
l
Suppose 132 = -2*y - 4*s, 80*s = 5*y + 78*s + 414. Is y greater than -1516/19?
False
Let s(y) = 4*y + 3. Let o be s(-4). Let r = -199 + 186. Is o < r?
False
Suppose -5*m + 3*m = 72. Suppose 217*v - 129*v - 1558 = 129*v. Which is greater: m or v?
m
Suppose -2*c - 2*a = 0, c + a = 4*a - 4. Let d(n) = -33*n**2 + n + 2. Let s be d(c). Let p be ((-1)/2)/((-963)/(-192) + -5). Is s < p?
False
Suppose -167*s + 57*s - 16205 = -82425. Is s at least as big as 609?
False
Let k be 0*1*(-20)/(-80). Let m(n) = n**3 + 6*n**2 + 5*n + 1. Let u be 1*(3 - (2 - -6)). Let c be m(u). Is k smaller than c?
True
Suppose -7 + 5 = v, 5*n + 7 = -v. Which is greater: n or -2/1817?
-2/1817
Let s(l) = -14 + 16 - 9 + 9*l + 88. Let g be s(-9). Does g = 2/651?
False
Suppose 0 = 2*l + 5*c - 4, l + 18*c - 17*c - 5 = 0. Suppose -26*b = -19*b - l. Is -7 bigger than b?
False
Let i(w) = 25*w - 249. Let y be i(11). Which is greater: y or 223/9?
y
Let y = -36 - -38. Let a be -1918*(-2)/(-6) - 1/y. Let w = 644 + a. Is 3 at most w?
True
Let t be -4 + (-91)/(-7) + 3. Suppose 39*p - 4293 = t*p. Is 159 not equal to p?
False
Let x(i) = 21 - 340*i - 13 + 9 + 10 + 341*i. Let w(z) = -3*z - 2. Let f be w(7). Let g be x(f). Is g smaller than 8?
True
Let k = -37898 + 21671. Which is greater: -16226 or k?
-16226
Suppose -d - 7 = -5*j - 19, -2*j - 2 = 0. Suppose 3*k - 16 + d = 0. Suppose -l = 2*i - 4*l - 17, 0 = -k*i - 3*l + 18. Is i bigger than 7?
False
Let n = 1.459 - -0.541. Is n at least -221?
True
Let a = 144 - 133. Let j be 6/(-396) + (13/a - 1). Is 4 > j?
True
Let k be 37/9 - (-3)/(-27). Suppose 4*w + l = -87, 2*w - 6*l + 46 = -k*l. Which is smaller: -25 or w?
-25
Let a be 1388/(-4322) + (0/(-3))/(-3). Let x = -1974669/196651 + a. Let h = 72/7 + x. Is 0 at most h?
False
Let k = -657 - -978. Let o = -320 + k. Does o = 2?
False
Suppose 4*v = v + 90. Let c = v + -33. Let s be (-10)/75*c - 1/2. Is s greater than or equal to -2/7?
True
Let m = 95 + -98.29. Let i = 189.29 + m. Let k = i + -185.919. Is 0.1 at least as big as k?
True
Let u = 15 + -149. Let j = u - -203. Is j <= 0?
False
Let y be (3458/(-4))/(127 - 131). Which is greater: y or 215?
y
Let c = 61/344 + -104549/583768. Which is smaller: c or 0?
c
Let g = 1 - -0.08. Let r = g - -89.92. Is r smaller than -0.2?
False
Let g be (54/12 - 5)/(1/(-12)). Let l be (-1)/(-2) - (849/(-6) + g). Let w be ((-4)/l)/((-1)/(-3)). Which is greater: w or -1?
w
Let b(k) be the first derivative of k**2/2 - 17*k + 2. Let v = -155 + 173. Let h be b(v). Which is bigger: 6/13 or h?
h
Let i = -10117 - -12170. Is i != 0?
True
Let k = 55.43 - 56. Let l = -136.57 - k. Let d = l - -94. Is -1/2 greater than or equal to d?
True
Let p be ((-3)/2)/((80010/(-40))/7). Which is bigger: p or 0.02?
0.02
Let z be (420/(-175))/((-1478)/(-40))*(-42)/(-24). Are 1 and z equal?
False
Let j = 5418 + -27086/5. Which is bigger: j or 371?
371
Let t = 2/691 + 2039/11747. Let m = 4 + -2. Let s = m - 2. Is s smaller than t?
True
Let q(m) = m**3 + 13*m**2 - 6*m + 91. Let x be q(-9). Is 467 > x?
False
Let w(a) = a**3 + a**2 - a - 5. Suppose 4*c - 6*c = 0. Let r be w(c). Let q be (-140)/24 - (-25)/(-150). Which is greater: r or q?
r
Let o(n) = -5*n**2 + 4. Suppose 13 - 1 = 3*s, 5*j + 5*s - 5 = 0. Let p be o(j). Suppose -2*t - 4*h - 104 = 0, 67*t + 5*h = 60*t - 319. Which is smaller: t or p?
t
Let j = -9 - -12. Suppose -4*y = -4*c + 10 + 2, -j*y + c = 5. Let a = -187272/19 - -9856. Which is bigger: a or y?
a
Let f = 11035 + -11213. Is -178 at most f?
True
Suppose 0 = 26*n - 24*n + 150. Let r = n - 13. Is r <= -88?
True
Let g = -183 - -295. Let d be (-222)/g + (-4 + -1 - -7). Which is smaller: d or 2/5?
d
Let r = -20764544/7 - -2972477. Let h = 6269 - r. Let a = -10282/63 + h. Which is bigger: -7 or a?
-7
Suppose -2*r = -2*l + 16, 0 = r - 0*r + 5*l - 22. Let y be 3 + 1 + 0 + r. Let m be (y/(-4))/(((-45)/(-4))/(-5)). Which is smaller: 1 or m?
m
Let b = -79/15 - -17/3. Suppose -c = -20 + 4. Let h be (c/(-6) - -4)*2/6. Which is bigger: b or h?
h
Let g = 256 + -179. Suppose -4*r = -g + 233. Suppose 0 = 46*x - 37*x + 369. Is x bigger than r?
False
Let o be ((-18)/(-12))/(6/1352). Let n = -7414 - -7752. Is n at least as big as o?
True
Suppose 522*o = 493*o. Are 8/3297 and o nonequal?
True
Let n(f) = -f**2 + 25*f - 160. Let j be n(14). Which is smaller: j or -16/3?
j
Suppose 2 = z + z, 3*w = -3*z + 27. Let h be (-39)/(2/(w/6)). Let j(n) = -1181*n**2 + 9444*n + 6. Let k be j(8). Is k bigger than h?
False
Let t = -18/49 - -7457/20433. Let p be 2/9 - 4/18. Which is smaller: t or p?
t
Let c = 141/427 + -2041241/6186803. Is -1 <= c?
True
Let y = -0.06 - -3.06. Let k be (20/25)/(18/45). Let n be (-1 - 72/(-20)*k) + -6. Which is greater: n or y?
y
Suppose 0 = 9*g - 2967 + 735. Let n = 228 - g. Which is greater: n or -19?
-19
Let j be 1 + (-16)/(-6)*9/6. Let c be ((-15)/(-12))/((-10)/4 + j). Let s = 0.018 - -66.982. Which is greater: s or c?
s
Let f(j) = -j**2 + 14*j - 41. Let i be f(9). Let t be 20/i*(-6)/10 + 109. Is t at least 107?
False
Let x(c) = -856*c**2 - c. Let t be x(-1). Let i = 4992486 + -189746955/38. Let a = i - t. Are 0 and a unequal?
True
Let o = 65 - -34. Let y = o - 95. Suppose 9*v = 12*v + 9. Is y at most v?
False
Let r be (-2)/(-3) - -42*(-74)/4662. Let i be (-1)/(-3) + 220/(-687). Is i >= r?
True
Let d(r) = -r**2 + 100*r + 7. Let w be d(100). Which is bigger: w or 200/31?
w
Let n be (88/20 + -2)*(-25)/(-2). Suppose -24*v + n*v = 12. Which is bigger: v or 22/27?
v
Let w(l) = -699*l**2 + 8*l + 9. Let y be w(-1). Let r(o) = o**3 + 2*o**2 + o - 698. Let q be r(0). Is q less than or equal to y?
True
Let u = -1.96 - 0.04. Let c = -808.77 + 812. Let a = 8.23 - c. Which is smaller: a or u?
u
Let a = -74 + 72. Let g be ((-4)/20*4)/(a/65). Is -1 bigger than g?
False
Let a = -477491/4650 + 9574/93. Let r(v) = -2*v - 1. Let w be r(-1). Is w less than a?
False
Suppose 8*o - 144 = 5*o. Suppose -3*d - 194 = 5*x - x, -x - o = d. Are -50 and x non-equal?
False
Let r = 17.64 - -0.36. Let w = -0.50186 - -0.80186. Is r bigger than w?
True
Suppose -p = -3*c + 19, 2*c + p = 7*c - 29. Let z = -3797 - -3808. Suppose c = -6*y + z. Which is smaller: y or 12?
y
Let o be ((-4)/6)/(24/(-265788)*-3). Let y = 228865/93 + o. Which is smaller: y or 1?
y
Suppose 2*w + 8 - 18 = -2*f, 2*f = -4*w + 20. Let n = 30 + -74. Let b = w - n. Which is smaller: 48 or b?
48
Let y = -2 + -217. Let u = y + 219. Which is smaller: -22/17 or u?
-22/17
Let c(x) = 2*x + 13. Let l be c(-6). Let j(n) = 13*n + 8. Let d be j(l). Is d at most as big as 24?
True
Let w(g) = g**2 - 23*g + 1. Let r be w(21). Let k be (-12)/(-15)*(r/(-2) + 2). Is k < 5?
False
Let j(h) = -35*h - 52. Let d be j(-30). Let c be d/(-6) - (-10)/30. Which is smaller: c or -165?
c
Suppose -122*m - 96778 = 118*m - 218*m. Is m != -4400?
True
Let r be 12/(-2) + 0 + -1. Suppose 6*v + 3*v = -207. Let i = 14 + v. Is i <= r?
True
Let y = -0.7 + -2.3. Let b = 141 + -119.52. Let u = b - 21.4. Which is smaller: y or u?
y
Let k be 8*-4*9/(-24). Let v be 74/(-26) - k/78. Let u be 3/3 - (-119)/(-42). Which is smaller: v or u?
v
Let q be 4/((-660576)/660580) + (-44)/(-13 - -2). Is q >= -1?
True
Let l be (-14)/(-273) + (-52360)/(-1092). Suppose 243 = 5*n - 2. Are l and n nonequal?
True
Let y = 1/322 - -13/46. Let n = 0.08 - -6.92. Let u = -7.09 + n. Which is smaller: u or y?
u
Let f(r) = -1356*r - 1372. Let u be f(-2). Which is smaller: 1345 or u?
u
Let u(z) = -z + 4. Let f be u(8). Let q = 19 + f. Let y be (-38)/(-24)*(-2 - 11/(-1)). Is q greater than or equal to