Let l = -3468.58 - -3469. Let x = 0.131 - 0.941. Let j = x + l. Which is smaller: j or -0.1?
j
Let r(s) = s**3 + 31*s**2 + 36*s + 184. Let c be r(-30). Which is smaller: c or -267?
-267
Let d be ((-149)/2)/((2/136)/(55/(-110))). Which is greater: d or 2535?
2535
Let b be 1 + (-2)/3 + 1810/(-30). Let t = 44 + b. Is -2 < t?
False
Let k(y) = 5*y**2 - y - 4. Let f be k(0). Let c be (-84)/539 + (36/(-21))/f. Is -1 at least as big as c?
False
Let g be (-2 - 0) + 33 + -37. Let h be g - 2 - (5/5 + 4). Is -3 smaller than h?
False
Let o be ((-4)/(-10) - 248062/(-620))*(-57)/(-18). Is o less than or equal to 1267?
False
Let x be ((-9)/(-4) + -2)/(549625/22900 - 24). Which is bigger: 12 or x?
x
Let k(j) = -j**3 + 22*j**2 + 46*j - 73. Let n be k(22). Let s = -492 + n. Do s and 446 have the same value?
False
Let t be (25128/150)/(-12) + -6 - 5. Is t greater than or equal to -25?
True
Let s be (-4)/14*-7 + 532/(-267). Let m = s - -176/267. Is m less than -0.06?
False
Let b = 1238 - 1342. Is -106 >= b?
False
Let q be 5 - (1093/(-24))/((-12)/(-12)*-9). Is q equal to 1?
False
Let g = 307979/20 - 15399. Which is smaller: g or 19/4?
g
Suppose -49 = 3*p - 5*w + w, 2*w = 4*p + 82. Suppose 3*h + 133 = -5*j, 3*j - 326 = -5*h - 425. Is p > j?
False
Suppose 19*t - 1562 = -7*t - 1588. Which is greater: -13/1254 or t?
-13/1254
Let b(t) = -40*t - 191. Let h(o) = 20*o + 96. Let l(d) = -3*b(d) - 7*h(d). Let i be l(-5). Which is smaller: 4/39 or i?
4/39
Let k be 6/(-8) - -99*1/4. Suppose k = 2*i + 4. Is 62/7 < i?
True
Let o be (8 - 600/84)/(9/84)*-235. Which is smaller: o or -1876?
o
Let c = 2 + -2. Let m be (-2212)/3220 - (-1 - -5). Let n = 23/5 + m. Which is greater: c or n?
c
Let d be 4 + (-6)/(-18)*1*-9. Suppose -b = 0, 4*u + 4*b = -6 + 390. Let c be (9/78)/(9/u). Which is greater: c or d?
c
Let d = -41993 - -41986. Are d and -203/30 non-equal?
True
Let f = 15.76052 - -0.23948. Which is smaller: 22/21 or f?
22/21
Suppose -14*k = -9*k - 80. Suppose -2*x + i = 5 + 1, k = -4*x + 4*i. Are x and 71 equal?
False
Let t = 260 - 259. Do t and 30/781 have the same value?
False
Suppose 5*t - 164*y = -167*y - 2671, -5*y + 2695 = -5*t. Which is smaller: 1/2 or t?
t
Let r = 387 - 794. Let d = r + 431. Is d bigger than 24?
False
Let d = 20.6 + -521.6. Let l = 551.1 + d. Let z = l + -50. Is z equal to 5?
False
Let r(g) = -g + 145. Let z(t) = -t + 72. Let n(b) = 3*r(b) - 7*z(b). Let x be n(20). Let s be (x - 6) + (-67)/8. Is s greater than -3?
False
Suppose 17*i - 769 = -6090. Let v = 278 + i. Is v > -39?
True
Let d = -29125.9437 + 29126. Is 32 > d?
True
Let n(d) = -29*d + 22. Let w be n(6). Let u = -165 - w. Which is smaller: -15 or u?
-15
Let c(v) = v**3 + 6*v**2 - 39*v + 7. Let a be c(-10). Let z be ((-28)/42 - 14/a) + -5. Is z at most 3/38?
True
Suppose j - 5*u + 2 + 12 = 0, 5*j - 5*u + 10 = 0. Let v be (26 - -3 - 3)*j. Suppose 3*t - 3*n + 36 = 0, 5*t - n = 2*t - v. Which is smaller: -2 or t?
t
Let z be ((-713)/351 - -2)*-15. Let m be (-13386)/(-2691) + (-2 - 4 - -1). Let n = z + m. Which is smaller: n or 1?
n
Let c = 3.333 - 3.309. Which is greater: c or 5?
5
Let d = -152 + 156. Suppose 3*z + 33*n = 30*n - 36, -d*z - 5*n = 53. Which is greater: -18 or z?
z
Let w = 5 - 5. Let l be 35*(441/14)/(-9). Are l and w equal?
False
Let o = -9912 + 9910. Is o at most -4/773?
True
Let t = -0.179 - 733.821. Let i = -617 - t. Which is bigger: i or 2?
i
Let t = 6549 + -6391. Which is smaller: t or -0.1?
-0.1
Let r = 83 - 58. Suppose -11*d + 2382 = 281. Let c = d + -168. Is c greater than or equal to r?
False
Let t = -164.87 - -163. Let p = t + 4.87. Suppose -5*u - 7 + 2 = 0. Do u and p have different values?
True
Let w = -2312 + 2312.663. Which is bigger: w or -1?
w
Suppose x = 3*x - 404. Let n = x - 312. Let v be ((-30)/n)/(6/8). Are -1 and v nonequal?
True
Suppose 0 = -2*m - 2*h + 6, 0 = 3*m + m - 3*h + 2. Let n(r) = 330*r - 6. Let l be n(m). Let d be 3/4 - 225/l. Are d and 0 unequal?
True
Let a = 67 - 68. Let p be (-32)/(-12) - 1/(-6)*a. Is p at most 3?
True
Let s(i) = i + 12. Let x be s(0). Let p be 66/15*20/8. Let l = p + 5. Do x and l have the same value?
False
Suppose 483 = 37*r - 405. Let b be 9/(-12)*(-9 + 184/r). Which is greater: b or -1/139?
b
Let d(y) = 8*y - 208. Let v be d(26). Let n = 7 + -4. Suppose -q + 5*q + p + 85 = v, 2*q + n*p + 45 = 0. Is -19 greater than q?
True
Let n(v) = 590*v - 817. Let w be n(7). Does 3315 = w?
False
Let w = 8301/13 + -639. Is w greater than 22?
False
Let g = -3108 - -2901. Which is greater: -195 or g?
-195
Suppose 542 = -155*h + 157*h. Suppose 3*l = -15, -8*l = b - 3*l + h. Is b not equal to -248?
True
Let r = 6018.02 - 6018. Is r greater than -491?
True
Suppose o = 2*t - 21, -o - 4*o = 5*t + 105. Let y be ((-10)/(-3))/2*(-14)/(210/135). Which is greater: o or y?
y
Let j = 68.07 + -69.27. Which is smaller: j or 0.0042?
j
Let b = -9 + 9. Suppose b*h = -2*h + 72. Suppose 6*v - 2 - 236 = -v. Is v at least as big as h?
False
Let c be (13 + (-642)/44)*12/(-7). Which is smaller: 2 or c?
2
Let s(p) = -p**2 + 46*p + 36. Suppose 1583 = 36*d - 37. Let i be s(d). Is i at least 82?
False
Let p be (-856)/(-20) - 4 - 6. Let t = 152 + -118. Is p bigger than t?
False
Let q be (24/30*-2)/(2/5). Let u be (-10)/(q - (-5 + -1)). Which is greater: u or -13/3?
-13/3
Let d be (-17)/((-85)/(-6))*45/(-2). Suppose 3 = -24*n + d. Let u(i) = -i**3 + 5*i**2 - 3*i + 3. Let x be u(3). Which is smaller: x or n?
n
Let m = -1/3820 - 22241/2593780. Let r = m - 655/2716. Let k = -1/93 - -44/1209. Which is smaller: k or r?
r
Let g = -202 - -205. Let y = 2/81 - 583/648. Is y > g?
False
Suppose 0 = 18*j - 4*j. Suppose j = 4*h + 5*d + 13 - 2, h + 11 = -4*d. Are h and 1/49 equal?
False
Let y be 9/(((-3)/1)/(-3)). Let v = y + -53/6. Suppose -11*u + 0*u = 12*u. Is v less than or equal to u?
False
Let f = 533.19 - 135.1. Let m = f - 400. Let y = 1.09 - m. Is y less than 0.2?
False
Let m be (18/4)/((-1)/12). Let u be ((-6)/m)/(4/36). Is u smaller than 3/7?
False
Let d(u) = 3*u**3 + 268*u**2 - 182*u - 180. Let x be d(-90). Which is greater: x or 1/420?
1/420
Let r(j) = j**2 - 32. Let x be r(6). Let v be (-2 + (-19)/(-8))/((-7)/x). Is 0.4 greater than v?
True
Let a(w) = -4*w - 8. Let c be a(6). Let i be -4*-50*(-4)/c. Let o be (-4)/(-1) + i/15*3. Is o != 12?
True
Let i = -1224631/66 - -18555. Which is smaller: i or 0?
i
Let o = 14 - -30. Suppose 3*b + 3*f = 129, 4*b = 2*f + 139 + 51. Suppose -b*p = -o*p. Is p less than 10/13?
True
Let h = -25.8939 + -0.0061. Let b = -26 - h. Let f be (-2)/(-13) + 10/78*69. Is f < b?
False
Suppose 99*b = 82*b + 10608. Is 615 < b?
True
Let j = -16403 - -16949. Which is greater: j or 543?
j
Suppose -k = -4*r - 676, 3*r = -12*k + 15*k - 2055. Which is smaller: k or 692?
k
Let p = -281 - -304. Suppose 15*r - p*r + 880 = 0. Does 110 = r?
True
Suppose -3*t + b = -2*t + 17, 4*t = -5*b - 104. Let v = -72 - -72. Suppose v = -3*p + 4*f + 5 - 63, 5*f = -p - 32. Is t < p?
False
Let k be -21 - 9615/(-12) - 6/(-8). Is k greater than 2?
True
Let v(s) = -8*s**2 + 81*s + 641. Let h be v(41). Which is bigger: h or -18971/2?
-18971/2
Suppose -4*n + 2*n + 250 = 0. Suppose -26*b + 931 = -b - 2219. Is n at least b?
False
Let p be 11/198*-9*(-382)/(-134). Which is bigger: p or -2?
p
Let v be 20/(4*(-2)/(-4)). Let n be 4/v - (-670)/(-300). Which is smaller: n or 1/2?
n
Let p = 166 - 165.175. Let r = p - -0.175. Which is bigger: -84 or r?
r
Let i(m) = 2*m**2 - 8*m + 7. Let l be i(1). Let f be 22420/12464 - 7/4. Which is greater: l or f?
l
Let m = -5852 + 5851. Which is greater: m or -3/9194?
-3/9194
Let w = 27581.26 + -27583. Is -7.2 <= w?
True
Let i = 48 - -42. Suppose -i = -6*r + r. Let s be (-1376)/258*(-18 - -15). Is r greater than or equal to s?
True
Let k(s) = -3*s**3 - s**2 - 2*s - 13. Let d = 54 - 54. Let c be k(d). Suppose -2*i + 4 - 34 = 0. Which is smaller: c or i?
i
Let h be -8 - 7/(365092/(-417261)). Which is bigger: -1 or h?
h
Let o(u) = -35*u**2 - 4*u + 5. Let q = 81 - 84. Let t(g) = -36*g**2 - 3*g + 4. Let h(d) = q*o(d) + 4*t(d). Let p be h(-1). Is p at most as big as -37?
True
Let u = -24.044 - -24. Let p = 92.544 + u. Let k = -94 + p. Is 2 at least as big as k?
True
Let v = -5568 - -3941. Is v <= 0.1?
True
Let t = -13639 + 10493. Is t at most as big as -3145?
True
Let