t p be ((-2)/(-21))/(1/(-764481)). Let z = p + 72626. Let q = z - -182. Is q < -19?
False
Let d = -18349/3366 + 60/11. Let i be ((-3 - -4)*0)/(-16 + 15). Which is smaller: i or d?
i
Let o = 1417 + -725. Let t = o - 692. Is t at most as big as 20/41?
True
Let t(d) = -43*d - 171. Let l be t(-4). Which is bigger: l or 2/5975?
l
Let y = -6/449 + -48390/7633. Is -6 at most as big as y?
False
Let s = -19783/23 - -860. Let i = -110/667 - s. Is i at most as big as 0?
True
Let m = -8944926347/18651 - -479595. Which is smaller: 0 or m?
m
Let j be 159/((-1)/(60/(-198))). Let m = 589/33 - j. Which is bigger: -29 or m?
-29
Suppose j + 588 = 5*q, 39*j + 2961 = 34*j + 4*q. Is -593 != j?
False
Let r(i) = i**2 - 91*i - 5. Let j be r(6). Is -2061/4 less than or equal to j?
True
Let t = -9.83 - 4.17. Which is smaller: t or 145?
t
Let o = 10 + -7. Let v(b) = -3*b - 4. Let j be v(o). Suppose 4*l = -29*l - 462. Do l and j have the same value?
False
Let n be (28 + (-17 - 16))*(2617 + 0). Which is greater: 0 or n?
0
Let u be -6 - (24/40 + (-47226)/10). Do u and 4716 have the same value?
True
Let o = 50 - 47. Suppose -5*m + o*m = -18. Let q be 2 + (45/(-2))/m. Is 24 at least q?
True
Suppose 4*b + 124 + 192 = 0. Let l(r) = -1170*r + 32683. Let x be l(28). Which is smaller: b or x?
b
Let w(c) be the third derivative of -c**6/120 + 11*c**5/60 - 7*c**4/24 - 13*c**3/2 + 96*c**2. Let f be w(8). Is f equal to 95?
False
Let v = 0.39 + -0.03. Let j = -580 - -571.64. Let f = j + v. Is f bigger than 6?
False
Let j = 1559938563/325 - 4799798. Let s = -201/25 + j. Which is smaller: 5 or s?
s
Let z be (18/(-5))/(20196/540). Which is bigger: 1 or z?
1
Let a = 1571 + -1580. Do -228 and a have the same value?
False
Let m be (4/5)/(-4) - 68/(-40). Suppose -3*y + 6*y - 6 = s, 3*y = 4*s + 6. Does m = y?
False
Let c = -2 + 1. Suppose -72*s + 2596 = -5*r - 69*s, -2*r + s = 1035. Is r greater than c?
False
Let k = 0.25658 - -7153.74342. Which is smaller: k or -2/7?
-2/7
Suppose 30 = -3*p + 3*g, 0 = -5*g + 20. Let w = -1647/2 - -806. Let t = w + 18. Is t less than or equal to p?
False
Let u(t) = 462*t**3 - t + 1. Let k be u(1). Let y = -463 + k. Let o = -71/649 + -15/59. Is y greater than or equal to o?
False
Let b = -87 - -209. Let n = 52.35 - 52.45. Which is smaller: b or n?
n
Let u = -217/163 + 45359/31133. Which is bigger: u or 0?
u
Suppose -53*s + 74*s - 1234 + 5035 = 0. Which is smaller: 5 or s?
s
Let p be (-14)/(-49) - (1840/84)/10. Which is smaller: p or -3?
-3
Let a = -184 - -181. Let l be a/6 - (-261)/18. Which is smaller: l or 12?
12
Let t be 4/14 + (-156)/56. Let z be 135/9 + -25 + (1185/(-40))/(-3). Is t at least z?
False
Let w be -5*(12/(-20) + -1). Suppose -w*a + 5*a = -213. Suppose -a = i + 16. Which is smaller: i or -86?
i
Suppose -105*j + 3426 + 3310 = -3344. Which is smaller: 91 or j?
91
Let b = 77 + -343. Let v = b - -264. Which is smaller: v or 65?
v
Let v be (-3144)/10 + 5/(-75)*3. Let z = v + 322. Is z < 8?
True
Let j = 427220/79 + -5408. Which is smaller: j or 9?
j
Suppose -1412*c + 286660 = -1368*c. Is c at most as big as 6515?
True
Let f be -99 + (0 - 1 - -2). Let o be 195/(-2) + (-10)/4 + (-17 - -20). Is f greater than o?
False
Let r = 2605/5841 + -1/649. Is 1 greater than or equal to r?
True
Let s = -0.2 - -0.1. Let l = -111196 - -1667942/15. Which is greater: l or s?
l
Let s = -6 + 5.4. Suppose 6*b = 31*b + 50. Let u be ((-8)/(-12)*b)/1. Is s <= u?
False
Let d = -0.0719 + 21.0719. Let k = -14 + d. Which is greater: 5 or k?
k
Suppose -11*g + 16*g = 1945. Let y be (-2)/14*g - -3. Let j = y - -53. Is -1 at least j?
False
Let v = -3.977 - -169.877. Let j = -166 + v. Which is smaller: -374 or j?
-374
Let l = 1486 - 3517. Which is smaller: -2032 or l?
-2032
Suppose 0 = 18*h + 171 - 63. Let w be (h - -2 - -5) + -2. Which is smaller: w or 18?
w
Let k = 0.04 - -0.36. Let x = 71497/2 - 35740. Does x = k?
False
Let k = 1158 - 1202. Is -39 >= k?
True
Let u be -3 - ((-12)/48 + (-442)/(-72)). Which is smaller: -9 or u?
-9
Let h = -94 - -112. Let w = 122 - h. Let g = 104 - w. Is g at most -2/71?
False
Let u(n) = -740*n + 395. Let k be u(7). Is -4784 < k?
False
Suppose -5*j + 2*t - 498 = -331, 0 = 5*t + 20. Which is bigger: j or -38?
j
Let n = 16202 + -16433. Which is smaller: -194 or n?
n
Let p be 10/(-45)*(124/(-44) + 2). Which is greater: 3 or p?
3
Suppose 56 = -4*z + 18*z. Suppose -5*d = z*d - 162. Is d bigger than 18?
False
Let l = -0.0132 - 236.9868. Is 1 > l?
True
Let f = 46955/21 + -2235. Let r = -13/21 + f. Is r smaller than -1?
False
Suppose -v + 9*v = 16. Suppose v*u - 3*b = 4, u = -3*b - 2 - 5. Let h = u - 8. Which is bigger: 0 or h?
0
Let x(u) = -u**2 - 55*u + 844. Let g be x(14). Is -126 greater than g?
False
Let m = -33.913 - -3221.813. Is 2/3 >= m?
False
Let z = 83 - 6. Let d = 84 - z. Is 3 at most as big as d?
True
Suppose -w = -3*o + 2, 0 = -2*o - 4*w + 9 + 11. Let r be 92/6*12/16*o. Let y = r - 55. Is -32 at least as big as y?
True
Let q = -2.2 - 28.7. Let w = q + 30.76. Suppose -3*t + 2 = 5. Is w greater than or equal to t?
True
Let x = 3145 - 2957. Do x and 947/5 have the same value?
False
Let r be 2 + 0 + -2 + 38. Let j = r + -4. Let w be (4776/(-720) + 1/(-6))*-5. Is j smaller than w?
False
Suppose -5*p + 5*h = 4575, 3*p - 609*h = -605*h - 2740. Which is smaller: p or -921?
-921
Let h = 4 + -7. Let x be (8/(-2))/(14/(-7)). Let l be 1/x + 5/(-30). Is l >= h?
True
Let m be 6/39 - ((-5918)/234 - (-184)/414). Which is greater: m or -485?
m
Let v(r) = 2*r**3 - r**2 - 66*r - 18. Let p be v(-7). Which is greater: -296 or p?
p
Let g = 2.52 + 0.48. Let w = 90718/105 + -864. Let v = w + 41/315. Which is bigger: g or v?
g
Let g = -23882 - -25129. Which is bigger: g or -5?
g
Suppose -12 = -31*n + 25*n - 90. Is -15 greater than or equal to n?
False
Let u = 4441 - 4926. Is -3394/7 bigger than u?
True
Suppose -2*v = -3*r + 1766, -v = 26 - 28. Which is smaller: r or 588?
588
Suppose 43*b - 39*b - 24075 - 17077 = 0. Which is smaller: 2/3 or b?
2/3
Suppose n = -12*j - 134031, 3*n = -14 + 5. Which is smaller: -11168 or j?
j
Let o be (-12)/36 - (5 - (-114)/(-18)). Is o at most as big as 2/46547?
False
Suppose -3*a + 2 = b, b - 2 = -3*a + 2*a. Let t be (-221)/1020*44 - (-72)/8. Which is bigger: t or a?
a
Let y(c) = 130*c - 651. Let s be y(5). Is 13/184 < s?
False
Let u be -80*(152/(-36) - -4). Let z = -1325/72 + u. Which is greater: 1/5 or z?
1/5
Let s(z) = -z**2 + 22. Let n be s(0). Suppose -b = -3*f - 43, 2*f - 5*b = -3*b - n. Let a = 15 + f. Which is greater: a or 2/77?
2/77
Let u = -31 + 31. Let m = -22/79 + 4673/17064. Which is smaller: m or u?
m
Let o(b) be the second derivative of b**4/12 + 8*b**3/3 + 21*b**2/2 + 45*b. Let c be o(-15). Let l = c - 23. Is l greater than or equal to -81/5?
False
Let l = 1765 - 1748.69. Let m = 16.1 - l. Which is smaller: m or 23?
m
Let j be (1899/(-189) + 10)*21. Let l be (1 - (-26)/(-22))/41. Are j and l non-equal?
True
Suppose -4*v + 3*z - 67 = 0, -2*v + 3*z = 5*z + 16. Let x be 19/6 - (13/(-6))/v. Which is smaller: 23/8 or x?
23/8
Let w(a) = a**3 - 7*a**2 + 39*a - 135. Let x be w(14). Is x greater than or equal to 1783?
True
Let o(r) be the first derivative of -r**4/4 - 5*r**3/3 + 3*r - 102. Let w be o(-2). Which is smaller: -41/4 or w?
-41/4
Let x(i) = -5*i**2 - 39*i - 66. Let u be x(-3). Is 678 at least u?
True
Suppose -z - 15 = 4*d + 49, -z - 3*d - 62 = 0. Which is greater: z or -35?
-35
Let s = -14 + 29. Suppose 13*f = s*f - 148. Is 74 < f?
False
Let o(z) = -6173*z + 55556. Let g be o(9). Let y be 199/202 - (-1 + 2). Which is smaller: y or g?
g
Let o = 2199/4060 - 63/145. Which is bigger: o or -6?
o
Suppose 0 = -5*o + 10. Suppose 4*x - 28 = 2*u, 0 = -o*u - 3*u - 20. Suppose -h + x*h + 8 = 0. Is h at least as big as -2?
True
Let h = -283 + 294. Suppose 41 = 4*v + 5*f, 0 = 5*v - 0*f - 3*f - 5. Let u be ((-1)/v)/(h/143). Which is smaller: 1 or u?
u
Let q = 3.61 - 152.61. Let y = q + 207. Which is bigger: y or -1/6?
y
Let h be (-4 + 5)*(4 - 1). Let q be h/9 - (-137)/(-429). Let m be 0*(6/16)/(39/(-52)). Is m smaller than q?
True
Suppose -a + 91 - 95 = 0, -a = -2*k - 224. Which is greater: k or -67?
-67
Let y be (-8)/(0 + (-6)/5). Let v(s) = 112*s - 442. Let l be v(4). Which is bigger: y or l?
y
Suppose 14*q + 1953 = 45*q. Suppose 