47.82. Let k = t + 0.04. Let q = -83 - k. Which is greater: -2/7 or q?
-2/7
Let q = 18285 - 18296. Let p = 0.08 + 17.92. Does p = q?
False
Let x = -31.83 - -32. Let t(r) = 6*r**2 + 747*r + 1092. Let c be t(-123). Which is greater: x or c?
x
Let c be 0 + (1944/33)/3. Let o be (72/(-30))/((-39)/325). Is o greater than c?
True
Suppose 14*o - 6*o = 832. Let n = 134 - o. Let v be ((-4)/n)/((-10)/195). Is 4 <= v?
False
Let m be 285/21*(5 - 1 - 1283). Let j = 17309 + m. Which is smaller: -50 or j?
-50
Suppose 87*o = -2342 + 483 - 1447. Let r = -18 - -8. Is o greater than r?
False
Suppose 4*j + 3*d + 5461 = 0, -5*d = -4*j - 3*d - 5466. Are j and -1369 unequal?
True
Let p be (-54672)/(-884) + ((-22)/26 - -1). Suppose -44 = -4*s + 204. Let h = p - s. Which is smaller: 47 or h?
h
Suppose -4*f = 5*x - 632, 0 = 2*x - 10*f + 7*f - 262. Let d(k) = -3*k + 38. Let g be d(-30). Is g <= x?
True
Let h be 4/(-1) + (-1)/(2/(-79)). Suppose -46*n - 36 = -47*n. Is n greater than h?
True
Suppose -2*q - t = 332 + 19, -2*q + 4*t = 386. Do -213 and q have the same value?
False
Let g = 0.307622 + 515.696378. Let p = 515 - g. Let q = -0.004 - p. Which is smaller: 2/181 or q?
2/181
Let t = -376 - -1130/3. Let a = -4.1 + 4.5. Let p = a + -0.343. Which is smaller: t or p?
p
Let q(c) = 2*c + 38. Let t be q(-10). Let r = -103 + t. Are r and -0.1 nonequal?
True
Let b = -61 - -87. Suppose -22*f + 36 = -b*f. Suppose 8*q = -39*q + 5*q. Which is smaller: q or f?
f
Let o(a) = 1028*a**3 + 3*a**2 - 7*a + 5. Let j be o(1). Are j and 1030 unequal?
True
Let v(s) = s**3 + 52*s**2 + 41*s - 7. Let g be v(-51). Which is bigger: 497 or g?
g
Let w be 32/(-12) + 3 + 8/(-24). Suppose w = -4*r - 69 - 51. Is r < -29?
True
Suppose p - 9 = -2*p - 3*u, p - 9 = -3*u. Let q be (-1529)/(-5412)*6 - (-9)/(-6). Is q less than or equal to p?
False
Let v be (0 - (-2)/165) + 0. Let x be ((-4)/(4 - 180))/(16/((-4992)/(-90))). Let r = x + v. Which is smaller: r or 1?
r
Let a = 1084.6 + -1083.6. Is 11976 < a?
False
Let v(h) = h**3 + 69*h**2 + 1181*h - 59. Let t be v(-32). Which is smaller: 106 or t?
t
Let a be 3143/4403 - 15/9. Let h = 44/51 + a. Is h greater than -1?
True
Let l(b) = 5*b**2 - 181*b + 209. Let v be l(35). Is -3/2776 equal to v?
False
Let l be 2/9 + 436/(-45). Let x = 39/35 + -544/105. Let j = l - x. Is j equal to -4?
False
Let t(h) = h**3 + 6*h**2 - 6*h - 55. Let u be t(-4). Is -1/1242 greater than or equal to u?
False
Let t = 75 + -166. Suppose -2895 = 77*d + 3881. Which is smaller: d or t?
t
Let w = -30812 + 30900. Is w > 57?
True
Let p = -727 + 1163. Let a = p + -14825/34. Suppose -5*i - 19 = o, 3*i = -6*o + 3*o - 9. Which is bigger: o or a?
o
Suppose 0 = -5*c - 2*d - 117, 0 = -5*c + 7*d - 5*d - 113. Let s = -28 + 29.5. Let a = 2.5 - s. Is c greater than a?
False
Let a be (-4)/10 - 41664/(-279040) - 4/(-16). Which is smaller: -1 or a?
-1
Suppose -142*q + 147*q - 1240 = 0. Suppose 4*y - 244 = -q. Which is smaller: -8/91 or y?
y
Suppose 16 = 3*k - 4*x + 9, k - 9 = -2*x. Let p be k/5*81*6/3. Does p = 162?
True
Let y(s) = 10*s + 41. Let v be y(23). Let i = 0.633 - 0.533. Which is bigger: v or i?
v
Let d = -74.3968 - -1.3968. Are d and -109 equal?
False
Let u = 0.583 - 315.583. Let w = u + 312.4. Are -0.1 and w non-equal?
True
Let u be (6623/(-1790))/((-1)/(-48)*1). Which is bigger: -177 or u?
-177
Let i be (-2)/(-6) - 268/(-6). Let t(v) = -v**3 - 105*v**2 + 220*v + 688. Let w be t(-107). Which is smaller: i or w?
i
Suppose a + 24*l - 19*l = -1054, 4*l = 2*a + 2136. Let x = 1575 + a. Which is smaller: x or 512?
x
Let p = -26408 - -26026. Are p and -382 equal?
True
Let v = -13/6161 + -255513749/665388. Let f = -384 - v. Let c = -81 + 82. Is c at least as big as f?
True
Let j(a) = -29*a**3 - 11*a**2 - 15*a + 1. Let q(b) = 13*b**3 + 5*b**2 + 7*b. Let m(p) = -4*j(p) - 9*q(p). Let y be m(-1). Let t = 0 + -4. Is t equal to y?
False
Let n = 428.2 - 469. Let c = -302.8 - n. Is 0.1 equal to c?
False
Let v = -54053605513/19684266 + 965/165414. Let p = v + 2746. Is p at most as big as 1?
True
Let k = 4393 - 4391. Let r be (-2 - -2) + 1 + 17. Suppose 2*f - 8 - r = 0. Which is smaller: k or f?
k
Let t = 37 + 136. Let f = -4937/2 - -2640. Which is smaller: f or t?
f
Let a = -337.23 - -342. Let r = 1.77 - a. Which is greater: r or 27?
27
Let g = -1260 + 1458. Is g >= 195?
True
Let v(u) be the first derivative of u**3/3 - 5*u**2 - u - 7. Let k(b) be the first derivative of v(b). Let x be k(2). Are x and -2/11 unequal?
True
Let i = -22696 - -34110. Which is bigger: 0 or i?
i
Let b be (-22065)/40 - 9/24. Let i be -4 + (5 - (-1 - -1)). Which is greater: b or i?
i
Let b(g) = 36*g + 288. Let i be b(-8). Suppose i = 89*q - 83*q. Which is greater: -5/8 or q?
q
Suppose -q = -2*r - 29, -32*r = -29*r + 12. Suppose h = -y + 35, -24*y = -h - q*y + 23. Is 37 greater than h?
True
Let h(z) = -10 + 0 + 16 + 7*z - 41. Let v be h(5). Suppose 46*j - 45*j + 38 = v. Is -38 at most as big as j?
True
Suppose 0 = 2*u - l + 2, 58*u - 5*l + 2 = 56*u. Suppose -3*a - 211 = -2*x, 0 = -4*a + a + x - 209. Let z = -919/13 - a. Is u bigger than z?
True
Let x(g) = 7*g**2 + 35*g + 2. Let v be x(-5). Suppose -2*o + 5*o - 672 = -v*h, -h - 2*o + 338 = 0. Which is greater: 0 or h?
h
Suppose -54*o + 20 = -50*o. Suppose 4*u = o*r - 253, -3*r + r = 4*u - 118. Which is bigger: r or 52?
r
Suppose 4 = -7*f + 6*f + 2*g, 5*g = -2*f - 8. Let s = 3 - 7. Let t = s + -2. Which is smaller: t or f?
t
Let v be ((6 + (-144)/32)*(-4)/(-207) + 0)*33. Suppose 2*i + 4*r = -14 + 2, -12 = 3*r. Is i at least as big as v?
True
Let d = 149 - 151. Let i be 468/120 - (-3)/d. Let t = -1 - -3. Is i < t?
False
Suppose -2464*g - 2 = -2*d - 2467*g, g + 4 = 4*d. Which is smaller: 1/4332 or d?
1/4332
Let b = -1817 - -1249. Is b less than -2833/5?
True
Let r = -316826 + 2530979/8. Let o = r + 453. Let w = o - -19/56. Is w smaller than 5/4?
True
Let n be 1/2 + (-59)/30. Suppose -21 = 3*i, -41*k = -44*k - i - 13. Which is smaller: k or n?
k
Let t be (60/(-11))/(21/14) + -1. Let f = t + 1359/286. Suppose s + 2*o + 5 = 0, -4*s + o - 5*o = 12. Is s <= f?
True
Suppose b - 4 = 0, 2*f + f + 5*b - 20 = 0. Suppose 185 = 5*c - 4*r, c + 2*c - r - 111 = f. Suppose 1150 - 86 = 28*n. Is c < n?
True
Let i(v) = v**2 + 5*v + 6. Let y be i(-5). Let h = -741.5 - -741.56. Is y < h?
False
Let j = 399 - 380. Is j <= -2?
False
Let d = 7692 - 6356. Is 1336 smaller than d?
False
Let z = 143.21 - 143.09. Do z and 75 have the same value?
False
Let l = -76043/10 - -7669. Are l and 66 equal?
False
Suppose 0 = -9*u + u - 184. Let x = 205/9 + u. Which is smaller: x or 5/2?
x
Suppose 2*m + f - 22 = 0, -6*f = 5*m - 3*f - 57. Suppose 0 = 2*q - m + 5. Let y = -6 - q. Which is smaller: -20/3 or y?
y
Suppose -17*u = -5*u - 24. Let n be 4/18 - -4*u/(-36). Suppose 4*h + 39 + 57 = n. Which is smaller: -25 or h?
-25
Let u = 3988 + -3960. Is u < 0.068?
False
Let b = -2777210/271 - -10248. Suppose 0 = 5*j + 1 + 4. Which is smaller: j or b?
j
Let o be ((-8)/(-32))/(142/(-8)). Let h(x) = 41 - 23 - 17 + 2*x. Let l be h(-1). Is o smaller than l?
False
Let a = -0.1 + 0.1. Let c be ((-72)/6288)/((-1)/2). Let h = -491/1441 - c. Which is smaller: h or a?
h
Let v(c) = c**3 + 2*c**2 - 6*c - 7. Let t be v(-3). Suppose t*m + 3*j - 30 = 0, 2*j - 44 = 2*m - 6*m. Suppose 0 = 24*l - m*l - 990. Which is smaller: 67 or l?
l
Let m = -131 - -165. Let k = 42 - m. Which is bigger: -0.1 or k?
k
Let x = 580 + -574. Suppose -2*o - p - 3*p + 18 = 0, -x = -4*o - 2*p. Is 1/101 at least o?
True
Let p = -204561/11 + 18577. Which is greater: -20 or p?
p
Let g(j) = 928*j - 22. Let d be g(4). Suppose 0 = -37*h + 7*h + d. Which is smaller: 122 or h?
122
Suppose 0*z = -z + 2. Let s = 8.75 + -364.75. Let m = 356 + s. Which is smaller: m or z?
m
Let y = 0.2 - 0.3. Let q = -40543 + 40341.91. Let g = 201 + q. Is g greater than or equal to y?
True
Suppose 12*q - 5*s = 10*q - 5, -2*q - 2*s = -2. Is -1/607 < q?
True
Let p be 4 + -2 + -4*21. Let z = 86 + p. Let f be ((-964)/238 + z)*-21. Are 0 and f equal?
False
Let a = 26504 + -26503. Let z = -6 - -13. Suppose 5*j + 21 = -f - 2, -z = 4*f + 3*j. Is a bigger than f?
False
Suppose 0 = -731*b + 707*b + 7416. Which is greater: b or 307?
b
Let z = 1361 + -2388. Is -1029 equal to z?
False
Suppose 297 = -7*a - 48 - 313. Suppo