hich is bigger: -7/1019 or d?
-7/1019
Suppose r - 4*r - 348 = 0. Let q = -20533 + 20416. Is r greater than q?
True
Let v = -7411 - -6983. Is v bigger than -432?
True
Let i be 0 - ((-7189)/18135 + 2/5). Let r = i - 829/2232. Which is greater: 11 or r?
11
Suppose 2*y - 1291 = -3*r, 5*r + y + 993 - 3154 = 0. Which is greater: r or 434?
434
Let k = 68027/5 + -1158509/85. Is k less than -24?
True
Let k(b) = -b**2 - b + 1. Let i(o) = 4*o**2 + 2*o + 4. Let r(z) = -i(z) - 5*k(z). Let y be r(-26). Which is smaller: 590 or y?
y
Let w be (-4200)/(-3300) - 3/11. Is w at most as big as -9571?
False
Let l be ((0/1)/1)/(-1). Let h be ((-180)/(-53520))/((-36)/(-32)). Is h less than l?
False
Let q(u) = u**2 - 16*u - 73. Let c be q(21). Which is smaller: 411/13 or c?
411/13
Let t = 7304 + -29217/4. Is -162.3 not equal to t?
True
Let l(y) = 41*y - 210. Let n be l(6). Suppose 0 = -32*p + n*p - 2*r + 910, 2*p + 3*r + 467 = 0. Which is smaller: -227 or p?
p
Let x = 0.06 + 28.94. Let a = x - 29.9. Let z = 6 - 5.8. Is z bigger than a?
True
Let y be (-4)/(-10)*(-3)/(-6). Let p = -0.147 + -0.073. Which is smaller: p or y?
p
Suppose 4*l = 20, 4*b - 17*l = -21*l + 16. Which is smaller: b or -236/111?
-236/111
Let r(t) = t**3 - 6*t**2 - 11*t + 29. Let n = -66 + 73. Let q be r(n). Is q != 66/17?
True
Let w = -914.295 + -0.705. Let x = -912 - w. Which is greater: x or 21/2?
21/2
Let h be (6/7)/(4/28). Let z be 9/h + 73/(-50). Let n(x) = -x**2 + 16*x + 81. Let c be n(-4). Are z and c nonequal?
True
Let g(s) = -3*s + 2. Let t be g(2). Let z = t + -1. Let i(j) = -400*j - 8411. Let o be i(-21). Which is smaller: z or o?
o
Let a be (-2016)/(-4896)*2/(-34). Is -1 bigger than a?
False
Let n = -6812 - -5635. Is -1177 at least as big as n?
True
Suppose 0 = -2*b + 5*r - 0 - 3, -21 = -5*b + 3*r. Let s be b/10 + 152/(-20). Let h be (-1 - (s - -4))/(-4). Is h greater than -1?
True
Let m = -30063 + 54612. Which is smaller: m or 24550?
m
Let z = 114539 - 114700. Let i(k) = -32*k + 1. Let m be i(5). Which is greater: m or z?
m
Let o be (-8 - 3360/(-110))*39/(-6). Which is smaller: o or -147?
-147
Let c = -143 + 143. Suppose z + 4 - 3 = c, -4 = v + 3*z. Which is smaller: -3 or v?
-3
Suppose -2*d - 312 = -28*d. Suppose 18 = d*l - 15*l. Which is smaller: 1 or l?
l
Let j(x) = -x**3 - 5*x**2 + 6*x + 1. Suppose -o = -5*o, 2*t + 12 = o. Let u be j(t). Let q be 8*(-28 + (-3791)/(-136)). Is u less than q?
False
Let c = 354 + 49. Let y = -403.1 + c. Is -32 at most as big as y?
True
Let c be 2/(-6)*(12 + -9). Let u be -2*(c + (-7209)/(-7218)). Is u at least -2?
True
Let l = -35.9 - -34. Let c = l + 15.9. Let q = c - 14.1. Which is bigger: 11 or q?
11
Let y = -413 - -395. Let u be (y/(-8))/(0 + (-1)/12). Which is bigger: 5 or u?
5
Let u = -44.1 + 44. Let m = 474 + 462. Suppose 2*t + 11*t = m. Which is greater: t or u?
t
Suppose 0*v = 5*t - 4*v - 3, -2*t + 2*v = 0. Suppose 0*u = 5*u + q - 30, -u = t*q + 8. Which is greater: u or 58/9?
u
Let p be (-20)/3*27690/(-104). Suppose 0 = 12*m + p - 467. Which is greater: -108 or m?
-108
Let h = -387 + 432.56. Let z = h + -43.4. Is 2 greater than or equal to z?
False
Let d(t) be the first derivative of -3*t**2/2 - 13*t - 1. Let s = -2490 - -2484. Let y be d(s). Which is bigger: y or 51/8?
51/8
Let c(k) = 5*k. Let f be c(4). Let u be (-13)/f + (-4)/16. Let p = 367974 + -367976. Are p and u unequal?
True
Let l = 27 + -389. Let g = -504 - l. Is g smaller than 0?
True
Let q = -22 + -17. Suppose 0 = m + m - 80. Let v = q + m. Which is greater: 21 or v?
21
Let l be (-11 - 315/2277 - -11)*-1. Which is bigger: l or -1?
l
Suppose 539 = 2*t + 73. Suppose 19*z + t = -71. Which is bigger: z or -18?
z
Let n be 4 + 3/9*(-5 - -8). Suppose 3*b = 4*b + 4*z + 7, n*b = -5*z - 5. Which is greater: 1/20 or b?
b
Let q(d) be the second derivative of d**5/20 - 3*d**4/2 - 7*d**3/2 + 9*d**2/2 - 60*d. Let x be q(19). Which is smaller: x or -28?
x
Suppose -4*j + 4*s = 20, 107*j - 106*j = 4*s - 2. Suppose -6 = 2*l - 5*l. Let f be (-6)/4 - (2 + l). Is f less than j?
False
Suppose 0 = -3*c + 5*q - 9 + 39, -12 = 4*q. Let s be 57/7 - c - 4. Is s equal to -15?
False
Let z = -102549 - -922939/9. Let u = -75 + 36. Do z and u have the same value?
False
Let y = 4 - 5. Let s = 0.030587 - 339.030587. Which is greater: s or y?
y
Let m = -122 - -246. Let y = 112.1 - m. Let h = y - -19.9. Is -2/15 greater than or equal to h?
False
Let b = -431 + 173. Let p be 2 + (-296 - 1944/(-54)). Is b bigger than p?
False
Let i(o) = -o**2 - 998*o + 1999. Let m be i(2). Are m and 10/5499 equal?
False
Suppose -171*f + 118*f = 0. Do f and 1/3008 have different values?
True
Let r be ((-5)/3 - -2)*(-6)/(-8). Let c = -42727307/45790 - -783/2410. Let f = -933 - c. Are f and r equal?
False
Let o(c) = 9*c**2 + 111*c - 440. Let p be o(4). Which is smaller: 10 or p?
10
Suppose 0 = -5*r + p - 331, -r = r + 2*p + 142. Let d(o) = -o**3 - 6*o**2 + 15*o - 9. Let x be d(-8). Is r greater than x?
False
Let d be -21*((-30)/(-5))/2. Let g = -79 - d. Let f be -12 + 2/((-8)/12). Is f != g?
True
Suppose -7*p + 93 = 37. Let s be -3 + -2 + (5 - p/(-312)). Which is bigger: -1 or s?
s
Let u be ((-6)/(-4))/(165/22). Is u less than -280?
False
Let k be ((-3)/(-3))/(-2 + (-22)/(-10)). Suppose -2*n - 3*y + 152 = 0, -k*n - 4*y + 132 = -241. Let f be (1 - 0) + 70 + 3. Is n equal to f?
False
Let y = -485427.2 - -485427. Let f = 2 - 1.957. Let l = 36.957 + f. Does l = y?
False
Let g be (-1315)/7 + (-120)/(-140). Let o = g - -167. Is -17 greater than o?
True
Suppose -9*i + 2318 = 29*i. Which is smaller: i or 67?
i
Suppose k = -2*r - r - 9, -2*r - 23 = -5*k. Suppose v = 2*m - 12, -k*v - 2*m - 35 = 1. Let i = 5 + -15. Is v greater than or equal to i?
False
Let g = -47557/18 + 2642. Is -120 greater than g?
False
Let y = 83 - 81. Let q be 0 + y - (-1896)/32. Which is bigger: 61 or q?
q
Let a be (4 - -10)/((-54)/(-243)). Which is smaller: a or 7?
7
Let s be 0/(-181) + ((-1)/2)/((-2)/(-1044)). Is -249 at most as big as s?
False
Let q = 2073 + -2349. Which is bigger: -1382/5 or q?
q
Let g = -9 + 8.87. Let n = 26.13 + g. Let y(c) = c**2 + 76*c - 236. Let b be y(3). Is b less than n?
True
Let i be ((0 - -2) + -12)*(738/36 - 21). Is -1648 smaller than i?
True
Let s be (89/178)/(-1 - 1250/(-1252)). Let n = -1567/5 - s. Suppose 2*d + 6 = 0, -4*w = -0*d + d + 43. Which is smaller: w or n?
w
Let r be 69/6 + (-2)/(-4). Suppose -6 + r = 2*d. Suppose 2*v = d*v - 4. Which is greater: 6 or v?
6
Let g(j) = j**3 - 11*j**2 + j - 14. Let y be g(11). Let k = -68 + 58. Let m be (-2)/((-3)/k*112/60). Is y greater than m?
True
Suppose 4*s = 2*j - 3422, 4*s + 63 = 83. Is 1721 >= j?
True
Let b = -30502/77 - -3996/11. Which is smaller: 0 or b?
b
Let h be 3 - (1028/8274)/((-64)/2136). Let o = 38401/9672700 - 2/12275. Let f = o - h. Which is smaller: f or -8?
-8
Let m(i) be the first derivative of 2*i**2 - 22*i - 256. Let o be ((-16)/10)/((-4)/10). Let j be m(o). Which is bigger: j or -60/13?
-60/13
Let z be ((-3675)/1008 - (2 + -10 + 4))*-9. Let t be (-2)/(-2)*(-3 - -1). Which is greater: t or z?
t
Let q(x) = -x**2 - 12*x + 4. Let a be q(-12). Let n be -2*(1 + a/(-8)). Let w = -876 - -8747/10. Which is bigger: w or n?
n
Let g be (210/(-15))/(1*2*-1). Let x = 17 + g. Suppose 21*i - 99 = x*i. Which is bigger: i or -32?
-32
Let j = 16878 - 15948. Does 8366/9 = j?
False
Let x = 2.1 - 49.1. Let a = -45.942 - 2.258. Let z = x - a. Are 4 and z equal?
False
Let n = -244.7 + 224. Let f = 11.7 + n. Let t = -0.4 - -0.3. Is f greater than or equal to t?
False
Let v(n) = 8*n**3 - 3*n**2 - 13*n + 24. Let h be v(3). Is h less than 155?
False
Suppose -8 = o - 22. Suppose 29*k = o*k. Let s = 2/2733 - 21878/19131. Is s at most as big as k?
True
Let i = -8092 - -56640/7. Are i and 7 unequal?
True
Let a(m) be the third derivative of -7*m**4/24 - 14*m**3/3 + 30*m**2. Let f be a(-4). Let w be 132/735 + 1/(-5). Is w equal to f?
False
Suppose 1133 + 386 = 7*m. Suppose -5*q = 4*n - n - 617, 0 = -2*n - 2. Let k be (-10)/(-7) + -1 + q/m. Is k bigger than 1?
False
Let p(x) = x - 34. Let d be p(19). Let s be 2 - (-417)/15 - 3/d. Let a = s - 29. Which is smaller: -1 or a?
-1
Let o = -4437 + 4565. Is o greater than -1.7?
True
Let f = -45 - -47. Suppose -j + 4*v = 4, -4*j + 4 = -f*v - 8. Suppose 4*k = -5*b - 