er than or equal to r?
True
Let u = 6 + -11. Let m be ((-28)/(-6))/((-16)/(-192)*-8). Is u at most as big as m?
False
Let f(b) = -b**3 + 13*b**2 + 356*b + 13. Let j be f(27). Do j and -582 have different values?
True
Let y = -36 - -82. Suppose -2*w + v + 587 + 594 = 0, -w - 3*v + 594 = 0. Let p = w + -2363/4. Which is smaller: y or p?
p
Let w(a) = -5*a**3 + 49*a**2 + 9*a + 10. Let u be w(10). Let s(k) = -k**2 + 23*k - 43. Let f be s(21). Let d be 1*(6/9 + f). Which is smaller: d or u?
d
Let x = 1245 + -1185. Suppose 20 = f - 39. Is f > x?
False
Let k be ((-110)/121)/((3 - 0)/(-6972)). Let z = 2111 - k. Is -1 bigger than z?
True
Suppose -2*m + 311*v + 6 = 307*v, 5*m - 4 = -v. Is m smaller than -0.1704?
False
Suppose -r = -5*v - 25, -r + 3*v - v = -10. Suppose 103 = l - y, -4*y = -2*l - r*l + 206. Do l and 103 have different values?
False
Let y(r) = -12*r**3 - r**2 + r + 2. Let q be y(-1). Suppose 29 - 45 = -3*w + 4*m, 3*m + q = w. Let t be ((-5)/(-18))/(4/(-12)). Which is smaller: w or t?
t
Let s(t) = -t**2 + 140*t - 3007. Let q be s(109). Which is smaller: 377 or q?
q
Let v(y) = -2*y**3 + 178*y**2 + 366*y - 186. Let a be v(91). Let z(g) = 7*g + 0*g + 2*g - 27. Let m be z(a). Is -63 equal to m?
True
Suppose -2*l = 5*x - 75, -160 = 53*l - 56*l + 2*x. Which is smaller: 56 or l?
l
Let h = 92828 - 156782. Let j be 3/(54/(-8)) + (-26372)/h. Which is smaller: -1 or j?
-1
Let f(x) be the third derivative of -3*x**4/8 - 10*x**3 - 14*x**2 + 4*x. Let u be f(-7). Is 1 greater than or equal to u?
False
Let t = -580.7 - -580.678. Which is smaller: t or -2/3?
-2/3
Let q(d) = d**2 + 75*d - 1920. Let n be q(-95). Which is smaller: n or -890/47?
n
Suppose 210 = 30*j - 0*j. Suppose j*o + 6*o = 20*o. Let i be (-1)/(-2) + 78/(-44). Which is bigger: i or o?
o
Let y = 2.7323 - 2.8323. Let v = 0.052 + 59.948. Which is bigger: v or y?
v
Let f be (10/(-25))/((-112)/(-5250)). Which is smaller: f or -20?
-20
Let g(n) be the third derivative of -3*n**4/8 + 20*n**3/3 + 4*n**2 + 2. Let l be g(5). Which is greater: 6 or l?
6
Let u = -7831/20015 + -35/4003. Let g = -60 - -133. Which is smaller: u or g?
u
Suppose 4*t - 12 - 8 = 0, 0 = -y - 4*t + 18. Let d = 365 - 270. Suppose 0 = -16*p - d - 33. Which is bigger: y or p?
y
Let l(k) = 3*k + 7. Let q(y) = y**3 - 7*y**2 + 5*y + 12. Let n be q(6). Let t be ((-8)/n)/((-30)/(-45)). Let g be l(t). Which is smaller: g or 5/7?
5/7
Let m = 521 - 5725/11. Let y = 0.84 - -15.66. Let l = y - 17. Is l greater than m?
False
Suppose 5*r - 10 = 0, -17*b - 5*r + 14 = -13*b. Let k be (b + -3 - -141) + -18 + 12. Which is greater: 132 or k?
k
Let g be (126/(-32) - -3)/(-1 - 91/(-140)). Which is bigger: -2 or g?
g
Let c(h) = 16*h + 13. Let p be c(3). Let t = p + -62. Is t at least 2/145?
False
Let u be (28 + -1134)*2/(-7). Let d = 235 - u. Which is bigger: -80 or d?
-80
Let h = -158.0655 + 158. Let t = -341.9345 + h. Which is smaller: t or 2/5?
t
Suppose 4*r + 17 - 49 = 0. Suppose i - 4 + r = 0. Let p be ((-3)/24)/(i + 74/8). Which is greater: 1 or p?
1
Suppose -50*f + 52*f - z = 579, 2*f + 2*z = 576. Are -2 and f equal?
False
Let x = -1827/11 + 49384/297. Which is smaller: x or -25?
-25
Let q = -224 + 318. Let s be q/188*-1*(-438)/(-7). Which is smaller: s or -31?
s
Let y = -23 - -25. Suppose -4*l - 22 = -2*r, -r + y*r - 19 = -2*l. Suppose 5*f - 55 = 5*g, 0*g - 3*g = 5*f - r. Which is smaller: f or 5?
5
Let s = -95 - -94. Let d be ((-3)/(-4))/(35/28). Which is greater: d or s?
d
Let p = -56 + 61. Suppose -20 = -p*f, 2*f - 10 = -3*v + 7. Suppose -147 = v*y - 7*y + w, 4*w = -12. Is y > 0.1?
True
Let d(o) = 10*o - 6. Let w = 12 - 24. Let i be d(w). Let z be (-147)/i*2/(-14). Which is smaller: 1 or z?
z
Let i = 8/3871 + 1002317/131614. Which is smaller: i or 7?
7
Suppose 7*p + 11*p + 10134 = 0. Let a be (-4)/(-10) + 28166/(-50). Let x = p - a. Which is smaller: x or -1?
-1
Let m be ((6 - -11)/(-1156)*24/(-34))/53. Which is smaller: m or -1?
-1
Let k(u) = u**2 - 29*u - 55. Let c be k(54). Which is smaller: 1296 or c?
c
Let k be ((1/(-4))/((-21)/(-84)))/(2/2). Let v be (-20395)/(-17005) + (-1 - 0). Let d = v + 2/179. Which is smaller: d or k?
k
Let b = -16274.15 - -16274. Is b != 0.29?
True
Let p = -14867/4 + 3717. Which is greater: 550 or p?
550
Let u be 2 - 406265452/380 - (-8)/20. Let r = 1069798 + u. Let k = 681 - r. Do k and -1 have the same value?
False
Let h = 6.603 + -33.592. Let f = h + -0.011. Let a = f + 25. Which is bigger: 4 or a?
4
Let y = -539.4 + 548.4. Which is bigger: -53/2 or y?
y
Let d = -541 - -540. Let u = 75392/29 - 2600. Does u = d?
False
Let m = -160 - -293. Let h = m + -126. Let x be (22 - 12)*5/h. Which is bigger: 8 or x?
8
Suppose 270*w - 266*w + 15 = 3*q, 0 = 4*w + 5*q - 25. Is w at least as big as 2876?
False
Let k be (-16)/(-76) - 1*(11 - 13). Let y(h) = 3*h - 6. Let c be y(3). Is c greater than or equal to k?
True
Let x = 522 - 515. Suppose x*w - 24 = 53. Is 13 smaller than w?
False
Let o be 122992/546 - (-2)/(-7). Let x(m) = 2*m**3 + 20*m**2 - 43*m - 6. Let l be x(-11). Let u = l - o. Are u and 0 nonequal?
True
Let t = 35633 + -67973/2. Which is smaller: 1648 or t?
t
Let w = 1704.99 + -1705. Let x = 33 - 32.986. Which is bigger: w or x?
x
Let d = 6947 - 6947.1. Does d = -2463?
False
Let f be 323/(-1035) - (-80)/(-1840). Is 1 not equal to f?
True
Suppose 4*g + g = 55. Let d = -7 + g. Suppose -4 = -d*h - 0. Is h < -2/71?
False
Let m = 238.373 + 11.627. Which is smaller: 1/6 or m?
1/6
Let g be 276/10 + (-3 + 11 - 14). Is g > 21?
True
Let a be 52/(-12) + 2/6. Let u(v) = -3*v**2 - 4*v - 1. Let w be u(a). Let l = 827/3 + -276. Is l at most as big as w?
False
Let p(i) = i + 2. Let n be p(-6). Let g be (3 + n + 0 - -2)*-4. Let q be (-3 - g)*(-2)/(-50). Do 1 and q have the same value?
False
Let l = 156168/7 - 22365. Suppose 10 = -2*u, u + 159 = 2*t + 44. Let o = l + t. Are -15 and o unequal?
True
Let a(s) = -37*s**2 - 13*s. Let y be a(3). Let p = y + 373. Are p and 16/73 nonequal?
True
Let y = -1 - -1. Let x = -2880/1807 + 21/13. Let z = -1417/1251 + x. Is z bigger than y?
False
Let h = 0 + 0.1. Let u = 254 - 248. Let d be 6/u + 31/(-32). Is d <= h?
True
Let c(f) = -226*f - 48. Let k be c(-1). Let h = 178 - k. Is 1/349 greater than h?
True
Suppose -888 = k - 3*b, 97*k - 93*k - 4*b = -3552. Is -896 at least as big as k?
False
Let t(d) = -8*d**2 - 331*d - 47. Let i be t(-36). Are i and 1501 equal?
True
Let g = -4890 + 4708. Are g and -550/3 non-equal?
True
Let l(m) = m**3 + 23*m**2 - 36*m - 73. Let v be l(-24). Let o = v + -214. Which is smaller: o or 285?
o
Let r = 11000 - 10998. Let d be 32/9 + (-4)/6. Is d equal to r?
False
Suppose -28 = -3*x + 5*w - 3*w, -2*x + 21 = w. Let u be (5*(-6)/825)/((-6)/x). Is u less than 1?
True
Let x = -6207 - -6209.2. Which is greater: -9 or x?
x
Let t(w) = -5*w**2 + 107*w - 43. Let i be t(21). Is -1/1951 less than i?
False
Let l = -7901/6 - -1314. Suppose 0*z = -5*z + 105. Let c(x) = x**3 - 22*x**2 + 20*x + 19. Let n be c(z). Which is smaller: l or n?
l
Let y(a) = -a**3 - 6*a**2 - a + 4. Suppose -n + 23 = -5*g, -n = -g - 7 - 0. Let d be y(g). Which is smaller: -20 or d?
d
Let t be (-13)/(182/(-4)) + 48/(-315). Let h = -13028/15 - -869. Let x = h - t. Do x and -5 have the same value?
False
Let l(g) = g - 9. Let d be l(12). Suppose d = -2*p + 1, 5*p = 2*w - 273. Let n = -111 + w. Is n less than or equal to 67/3?
False
Let i be -1 - (-106 - (-12)/(-4)). Let t = 523 + -196. Suppose 67*g = 70*g - t. Is g smaller than i?
False
Let s(g) = 2*g**2 - 25*g + 22. Let c(f) = f**2 - 2. Let k(r) = -c(r) + s(r). Let q be k(24). Are q and 5/16 nonequal?
True
Let g(u) = 20*u**2 + 45*u. Let a be g(-2). Which is smaller: a or -6?
a
Let t = 173/96 + -1/480. Let z(n) = -n + 1. Let i be z(-4). Suppose i*g - 28 + 18 = 0. Which is smaller: g or t?
t
Let w = 19 - 2. Let q = -86 + w. Let f = 23 + q. Is f <= -44?
True
Let k = -35018/3 - -11675. Which is bigger: k or 47?
47
Suppose -414*g + 416*g - 62 = 0. Let i(k) = k**3 + 8*k**2 + k + 8. Let d be i(-8). Suppose d = 5*o + 79 + g. Which is bigger: -23 or o?
o
Let u be (((-2)/(-1))/10)/((-224)/40040). Is u >= -37?
True
Let l be (-10242)/4698 + (-124)/(-468) + 2/(-13). Suppose -3*j = -j + 2. Which is smaller: j or l?
l
Let x(s) = -237*s - 17064. Let g be x(-72). Let u be (-