). Which is bigger: t or 84/97?
84/97
Let x be 17 - 9*8/12. Suppose l + 13*f + 20 = x*f, -5*l = 3*f + 86. Which is bigger: -19 or l?
l
Let z = 1643 + -1459. Do -0.06 and z have the same value?
False
Let v be (-2)/(-2) - (1 + -226). Let m = -283990 + 284215. Does m = v?
False
Suppose -283 + 263 = 4*n, 4*n + 20 = 5*x. Which is smaller: x or -3/4333?
-3/4333
Let d = 2.18 + -2.2. Let q = d - -0.11. Which is bigger: q or 2?
2
Let x = -236 + 215. Let f(q) = -q**2 - 17*q + 2. Let v be f(-17). Which is greater: x or v?
v
Let d be (-69)/(-126) - (-10)/35. Let c = 42 + -38. Suppose -c*q + 6 = 6. Which is smaller: d or q?
q
Let l = -35650 + 35648. Which is smaller: -61/38 or l?
l
Suppose 4*g - 18 = -2*l, 2*g + 0*l = -4*l + 18. Suppose 3*h - u - 13 = 27, -g*h - 2*u = -46. Which is bigger: h or 15?
15
Let k(d) be the second derivative of -d**4/12 + 10*d**3/3 - 17*d**2/2 - 16*d. Let p be k(19). Suppose 17 = -p*u + 3*a - 8, 0 = -5*u - 5*a. Does u = -5?
True
Let d = 36 + -83. Suppose -15*m + 1068 = 348. Let l = d + m. Which is smaller: 3 or l?
l
Suppose 2*q = -q - 15. Let v be 588/(-35) - (-1)/q. Suppose -146 - 16 = 9*n. Is v at least n?
True
Let u be (7 + -8)/((-2085)/140). Is u not equal to 0?
True
Let q = 292959437/437408741 - 2/811519. Let f = q - 15/49. Let z(m) = -m**2 + 4*m + 21. Let n be z(-3). Is f at least n?
True
Let a be ((0 - 2)*1)/(26/13). Let b = -315593/494028 - 1/13723. Let l = 523/1044 + b. Which is smaller: a or l?
a
Let t = 2.6583 - 0.0283. Let y = 113.37 + t. Let f = 115 - y. Is -0.049 <= f?
False
Let f = -72 + 76. Let j = 157 - 73. Let l be f*-1 - (-264)/j. Are l and -1 equal?
False
Let c = 0.038 + -0.141. Let i = -1459 + 1458. Which is smaller: c or i?
i
Let u = 20558 - 103258/5. Let r be (-2 - -3)/((-3)/6) + -91. Which is smaller: u or r?
u
Let m(a) = -2*a**3 + 2*a**2 + 3*a - 4. Let r be m(4). Let p = r + 2554/29. Let z be 21/(-7) + (-27)/(-4 - 5) - -1. Which is smaller: z or p?
p
Let m be (-1)/(((-812)/16)/7). Suppose t = 2*t + 3. Let l be (-4)/t - (-6)/(-18). Are l and m unequal?
True
Let j be 2/(-4)*(-6)/(-1) + -108. Let k = -109 - j. Suppose -8 = -0*r - 2*r + k*q, -5*r - 2*q = 1. Which is smaller: 2/11 or r?
2/11
Suppose -6*c + 47 = -37. Let j = 88 + c. Let y = 143 - j. Is y equal to 41?
True
Let v be (6 - 1)*(-24)/30. Let h = -81347/17592 + -2/2199. Is h bigger than v?
False
Let a be (-1 + 1)/((-616)/(-308)). Let p be (-260)/(-6) - 2/6. Let n be (0 - 1) + 42/p. Which is smaller: a or n?
n
Let w = -7.3 + 7.2. Let g = w - 0.9. Is g at most as big as -5?
False
Let l be 46 + 18360/(-400) - 82/(-7520)*-6. Do 0 and l have different values?
True
Suppose 5*c + 3910 - 480 = 5*b, 5*c - 3*b + 3434 = 0. Are c and -690 non-equal?
True
Let x = -3586 - -1342. Do -2243 and x have the same value?
False
Let w = 84/1457 + 5384513/34968. Let k = -154 + w. Suppose 0 = -0*g - g + 1. Is k > g?
False
Let m(c) = 2*c**2 + 7*c + 1 + 2*c - 7*c. Let a be m(-1). Let n = 3552 - 31964/9. Which is smaller: n or a?
n
Let h(c) = -c**3 - 16*c**2 - 14*c + 24. Let l be h(-15). Let o = -9 + l. Which is smaller: -6 or o?
-6
Let l = -4711/25854 - -2/417. Let j = 3351/682 - l. Is 6 greater than or equal to j?
True
Let s = -20196 - -20886. Are s and 703 equal?
False
Let d be (((-1)/(-95)*5)/2)/(30/(-220)). Is d > 1?
False
Let q = 39002/3 + -12981. Is 6/17 equal to q?
False
Suppose -3*f + 257 = -2*p, 4*f - 57*p - 336 = -56*p. Let j = 75 + 7. Do j and f have the same value?
False
Let x = 0.05 - 3.12. Let a = -2.87 - x. Which is smaller: 0.1 or a?
0.1
Let b = -784.64 + -9.36. Let c = b - -797. Which is greater: c or -0.4?
c
Let o = -108.43 + -2.57. Let p = o - -43. Let n = p - -70. Is n less than or equal to -0.5?
False
Let g = 24 + -24. Suppose -8*m + 4*m - 20 = g. Let t(w) = w**2 + 3*w - 10. Let b be t(m). Which is greater: b or -4/25?
b
Let n = 0.329 + 0.171. Which is bigger: n or -417?
n
Let q = -7805 - -132683/17. Which is smaller: -24/41 or q?
-24/41
Let n be (372/76 - (-8)/76)*704/(-55). Is -694/11 greater than n?
True
Suppose -24 = -8*p + 16. Suppose r - 360 = 4*m, -153 = 3*m - p*r + 100. Is 2/3 at least m?
True
Let r = -72 - -130. Let o = 0.117 + -59.117. Let b = r + o. Is 0 > b?
True
Suppose -4*p = 16, -27*u + 22*u - 5872 = -2*p. Are u and -1176 equal?
True
Suppose -v - 6 = -2*t - 2*v, v = 2*t - 6. Suppose -t*n = -n. Let q = -11/200 + -1/200. Are n and q equal?
False
Let y = -252.5 - -254.874. Let z = y - 0.384. Let f = z - -7.71. Do f and 1 have the same value?
False
Let a = -1.61 - -0.21. Let d = a + 1.8. Let q = -0.5 + d. Is 16 at most q?
False
Let b(k) = -35*k**2 + 5*k - 35. Let t be b(3). Let q = 344 + t. Is q <= 23?
True
Let h = -107.4 - -110. Let u = -2.6 + h. Suppose -3*x = 5*n + 29, -4*n = -2*n - 2*x + 18. Which is greater: u or n?
u
Let t be ((-91)/728)/((-1)/40). Suppose -w + 2*x - 4*x = 0, -t*w + 2*x + 12 = 0. Is 5/6 greater than w?
False
Suppose -25 = -5*n - 3*i - 0*i, -37 = -4*n + i. Let p be (n/12)/((-20)/1548). Let k = 7467/145 + p. Which is smaller: -1 or k?
-1
Let w = 888 - 23091/26. Let y = 436 + -436. Are y and w unequal?
True
Suppose 0 = s + n + 518, 5*s + 5*n = 2*s - 1564. Let q = s + 1538/3. Which is greater: 0 or q?
0
Let w(i) be the third derivative of -i**4/6 - 6*i**3 - i**2. Let o = 13649 - 13658. Let a be w(o). Which is smaller: a or -7/8?
-7/8
Let r = -1779 + 1767. Which is smaller: 3/37 or r?
r
Let q be 154/22 - 543/(-3). Let y be 1/4 - 9060/(-48). Are y and q equal?
False
Suppose -1723 = 29*k - 882. Which is greater: k or 10?
10
Let y(p) = -3*p + 4. Let o be y(-3). Suppose 0 = o*u + 453 + 860. Is -102 < u?
True
Let f be 16051/(-637) + 9/21. Is -24 != f?
True
Let p = -20.952 - -2.952. Which is smaller: p or 0.17?
p
Suppose -3 = -2*b + 2*c + 1, -5*b - 6 = 3*c. Let q be (2/(-12))/((-40)/(-280)). Let x = 101/102 + q. Which is smaller: b or x?
x
Let s = -1/4803 + -1579/105666. Which is bigger: 1 or s?
1
Let y(b) = -3*b**3 - 145*b**2 - 26*b + 160. Let x be y(-49). Which is bigger: x or 2/11?
x
Suppose -2*g - 59 = -5*s, 0*g - 4*s - 48 = 4*g. Let q(r) be the second derivative of r**3/2 - r**2 - 13*r. Let d be q(-5). Is d equal to g?
True
Suppose c = 5*z - z + 16, -2*c = 3*z - 21. Suppose -17*l + 28 = -2*o - 18*l, 2*l = -3*o - 41. Let f be (-24)/33*o/c. Which is bigger: 0 or f?
f
Let w = -7.92948 - 0.07052. Are -330/13 and w unequal?
True
Let d be -7 + (-19)/171 + 52340/7362. Which is smaller: -2/7 or d?
-2/7
Let n be (-39)/18 - (-44)/(-24). Do n and -81/17 have the same value?
False
Let m be ((-1)/(-7))/(1/17). Let p be ((-272)/(-544))/(((-2)/(-1))/4). Is p greater than or equal to m?
False
Suppose -6 = t - 6. Suppose 12*c + 26 - 2 = t. Let s be (-1)/((-7)/105)*c/(-2). Are 15 and s equal?
True
Let z be (320/(-1680))/(-1*(-1)/3711). Which is greater: z or -707?
z
Let l = 196 + -550. Let n = -359 - l. Let x = 1.3 - 1.4. Is x greater than or equal to n?
True
Suppose 3*x - 3*n + 4*n - 1597 = 0, 3*x - 5*n - 1591 = 0. Suppose -4*s - 592 = -x. Are -14 and s nonequal?
True
Let c = -1 - -0.5. Let y = 27862 - 27881. Is c greater than y?
True
Let y be (20 - 20)/(2 - 0). Suppose c + 4 = -2*d - y, d + 5 = -2*c. Let i be (c/(-4))/((-2)/1). Is i > 8?
False
Suppose -205 = -28*l + 145*l + 3188. Are l and -241 nonequal?
True
Suppose 39*s - 8163 = -41*s + 2717. Are s and 140 unequal?
True
Let s = 59.3 - 5.3. Let q = -53.8 + s. Let c(l) = -l - 11. Let b be c(9). Is q greater than or equal to b?
True
Let g = 0.1767 - -0.4533. Let p = -0.855 + 0.125. Let d = g + p. Is -4.5 less than d?
True
Let z = -3640 - -3635. Is z greater than 43?
False
Suppose 0 = -f + 2*f + 41. Let i(g) = g**3 + 9*g**2 - 7*g - 12. Let z be 0/1 + -15 - (-5 + 0). Let m be i(z). Is m < f?
True
Let t = 11571283/841029 + 4/29001. Which is smaller: 13 or t?
13
Suppose k - 34 = 2*k + 3*t, 4*t + 39 = -k. Let n = 2397 + -2419. Is k >= n?
True
Let f = 1540 - 1073. Suppose f = -2*w + 575. Is w at least 53?
True
Let l be 1455/10890 - 2/12. Suppose 0 = -x + 3, 0 = 4*i + i + 4*x - 12. Is l at most i?
True
Suppose n = 5*g - 424 - 271, 2*g + 2*n = 278. Let l = g + -142. Let f(r) = -3*r**2 + 5*r - 1. Let o be f(l). Which is greater: -42 or o?
-42
Suppose -205*j - 46156 - 33794 = 0. Is -393 bigger than j?
False
Suppose 0 = -w + 5*v - 151 - 23, 5*v + 174 = -w. Let n = -187 - w. Let k be 74/(-6) + 6/(-9). D