.93 + 0.93. Let r be 1*3 - 32/8. Let m be r/(-3)*2/4. Which is greater: m or t?
m
Let d be (1369 + (-10 - 0))/((-66)/44). Which is bigger: -913 or d?
d
Suppose -9*g - 275 = -4*g. Let n be (-2)/((-20)/49*(-42)/468). Which is bigger: n or g?
n
Suppose 2*f + 65 = -75. Let t be (-3 - -2)*(-7 + 18). Let n(p) = -p - 80. Let x be n(t). Is f > x?
False
Suppose 2*v + 20 = -3*v, -4*q + 44 = 2*v. Let j be q + (-1)/3 + (-1)/(-3). Is j at most 14?
True
Let n = 15 + -9. Let c be ((-3)/423)/((-1)/n). Let m = -9612 + 9611.8. Is m equal to c?
False
Suppose 0 = -3*y - 4*b + 7, -4*y + 20*b - 22*b = -16. Suppose -9 - 297 = 2*a + 4*u, -u = -y*a - 754. Which is bigger: -152 or a?
a
Let m = 30751.6 - 30751. Which is smaller: m or 11/160?
11/160
Let o be (-126)/(-105)*((-340)/(-3))/(-2). Let i be ((-574)/123)/(o/9). Are i and 2 non-equal?
True
Let v = -118897/13 - -9155. Is 8 at most v?
True
Suppose 0 = 5*f + 6*k - k - 275, f - 49 = 5*k. Let s be 633/f + 3/(-18). Does 12 = s?
False
Let b be 650/15 + 3 + 21/(-9). Let v = -38 + b. Suppose 15 = 3*w - h - 1, -25 = -4*w + 5*h. Is v bigger than w?
True
Let c(d) = 57*d**2 + 4*d + 48. Let i be c(9). Suppose -637 - i = 34*x. Is x at most -158?
False
Let b be 41103192/(-9) - -6*4/(-36). Let x = -671464138/147 - b. Let d = x - -2284/3. Is 1/2 greater than or equal to d?
True
Let w be (-1 + -2)/(18/(-2832)). Is 472 less than w?
False
Let j = -283 + 283.91. Let s = j - -0.09. Which is smaller: s or 23?
s
Let h be (-38 + 0)*((-3)/(-12) + 252/(-576)). Let m = -4.1 + 4. Is h smaller than m?
False
Suppose 0 = -8*r + 94 - 46. Let y be 0 + ((-44)/(-4) - r). Is y smaller than 12?
True
Let h be 0/(-2) - -8*(-32)/1024. Are 3185 and h nonequal?
True
Let z(u) = 100*u - 6. Let f be z(3). Let h = 207 - f. Let x = h + 259/3. Is -9 >= x?
False
Suppose 27862*x = 27871*x - 7659. Is x <= 851?
True
Let c = 2.055 + -289.055. Which is greater: c or 0.3?
0.3
Let t = -4808.2 - -4798. Which is greater: t or 0.2?
0.2
Let w = 24 - 103. Let q = 78.09 + w. Let o = q - -0.71. Is o at least -18?
True
Let d(o) = o**2 - 9*o + 2. Let j be d(6). Let b be (j - -1)*(0 + 1). Let i be (-29304)/12210*(-50)/(-8). Is b greater than i?
False
Let d(z) = 518*z + 4075. Let a be d(-9). Which is greater: -599 or a?
a
Let b = -2020.9177 + 2021. Let g = -0.0393 + b. Is g < -0.1?
False
Let h(b) = -b**3 - 33*b**2 + 36*b + 93. Let v be h(-34). Let l = 4 - 6. Let p be 153/6 + 1/l. Is v greater than or equal to p?
True
Let s = 6 - -83. Suppose 2*f - 3*f - s = 0. Suppose 0 = 1479*b - 1478*b + 3*g + 108, 3*b + 288 = -3*g. Is f smaller than b?
False
Let x(t) = -35*t - 540. Let v be x(-15). Are v and -238 non-equal?
True
Let x(n) = -4*n**2 + 16*n - 5. Let r(s) = -2 + 4*s**2 - 23*s + 7 + s**2 + 6*s. Let i(b) = 3*r(b) + 4*x(b). Let t be i(11). Is 18 greater than t?
True
Let f(d) = -133*d**2. Let q be f(1). Let g be 684/(-7) - (-38)/q. Let h = 488/5 + g. Are 2/17 and h equal?
False
Let t(q) = 347*q - 5205. Let o be t(15). Is -145/114 at least o?
False
Let v(h) = 765*h**3 + 4*h**2 - 2*h + 1. Let y be v(3). Let f = y + -1427363/69. Let q = 2/23 + f. Which is bigger: q or 9?
9
Let o = -0.33 + -24.67. Let d = -25.2 - o. Let s = -42.3 + 42. Is s at least as big as d?
False
Let g be 12/28 + (3 - 30/21). Let r be -87*4/(-8)*g. Is r less than 88?
True
Suppose 3270 = 121*n - 88572 - 22140. Is 4706/5 <= n?
True
Let r(s) = -2*s - 16. Let n be r(-8). Let h be (-8)/(-8) - (n + -13). Let z be (-92)/(-6) + 20/(-30). Is h greater than z?
False
Let b(r) = 4*r**2 + 11*r + 10. Let x(o) = 3*o**2 + 12*o + 9. Let m(q) = 2*b(q) - 3*x(q). Let i be m(-8). Let t = i + -42. Which is smaller: -2 or t?
-2
Let b = -27 - -31. Let d be ((-8)/(-6))/b*6/(-20). Let m(t) = t**2 + 7*t. Let a be m(-7). Which is greater: a or d?
a
Let i = -22438 - -22504. Is 738/11 != i?
True
Let q = -168 - -217. Let d be (-5)/2 + q/(-2). Are d and -27 equal?
True
Let u(m) = m + 3*m + m - 6*m. Let k = -803 + 805. Let n be u(k). Is -8/3 at least n?
False
Suppose -5*x = -4*i - 10, x - 5 + 14 = 3*i. Suppose 9*u + 111*u - 1744 = 11*u. Suppose -x*d + 10 = -u*d. Is d greater than or equal to -1/24?
False
Suppose 83*d + 83*d = 64574. Which is smaller: d or 387?
387
Let a(u) be the third derivative of -1/8*u**4 - 6*u**2 - 1/6*u**5 + 0*u - 5/2*u**3 + 0 - 1/120*u**6. Let s be a(-10). Which is smaller: 14 or s?
14
Let t be (-1 + 7)/(807/(-204) - -4). Let i = 120 - t. Is -46 at most i?
True
Let r(i) = 3*i - 60. Let j(s) = s**2 + 3*s - 10. Let p be j(-7). Let u be r(p). Let h be 1/(-13)*u/3. Is 1 < h?
False
Let d = 13 + -23. Suppose 0 = 3*g - 2*b + 36, -3*g - 25 - 8 = -b. Is g at most d?
True
Let y = 14230 + -13479. Which is bigger: y or 2251/3?
y
Let a = -8 + 13. Let d = -30340 + 30354. Which is bigger: a or d?
d
Suppose -k - 220*d = -223*d + 284, 3*d = -4*k - 1211. Is -299 equal to k?
True
Let b(d) = d**2 - 59*d - 6659. Let z be b(-57). Let w be (25/(-3))/(2/12). Is z < w?
False
Let y = -8850.889 + 8838. Let b = -0.111 + y. Which is smaller: b or 2?
b
Suppose -2*s + 182 = 5*d - 6*s, 0 = -d - 5*s + 48. Suppose d*f - 31*f = 42. Suppose 2*i + 2*u - f*u = -2, 3*u + 4 = -4*i. Are i and 2/35 non-equal?
True
Suppose -i - c = 1061, -3*i - 12*c - 3191 = -13*c. Is i >= -1061?
False
Let y be 3*(-9758)/(-63) - 7. Let t = -460 + y. Which is smaller: t or -2?
t
Let n(x) = x**3 + 82*x**2 + 66*x - 1214. Let i be n(-81). Is i at most as big as 14/85?
False
Let p = -16044698749467235/295561569357824 - -2/10308369467. Let a = p - 1/4096. Is -53 less than or equal to a?
False
Let i = -111.8 - 26.2. Let h = 137.97 + i. Which is smaller: 0.04 or h?
h
Suppose 3*z = 8*z + 5. Let f be (-3)/(-2) + 237250/1100. Let j = -217 + f. Is z at least as big as j?
False
Let y be (-201)/51 - (-4)/1. Suppose 0 = -z - 5*o - 0*o - 9, -2*z - 5*o - 8 = 0. Suppose 4*d + 2*r + 2 = -0, 3*r + z = -4*d. Which is smaller: y or d?
d
Let q(z) = 14*z**2 - z + 17. Let l be q(-4). Suppose 0 = 14*i + 35 - l. Is 9 less than or equal to i?
True
Suppose 5*i - 3879 = -n, -4*i + 2*n + 3867 = i. Let a = -19369/25 + i. Suppose -2*u - 517*c = -516*c + 4, 0 = 3*u + 4*c + 16. Which is smaller: a or u?
u
Let o = -6501 + 6508. Let f = -2.8 + -13.2. Are o and f nonequal?
True
Suppose 0 = 15*b - b + 154. Which is bigger: 25 or b?
25
Let p be (-5)/3 + 4/6. Let h be (-5*(-4)/(-150))/((-2)/(-4)). Which is smaller: p or h?
p
Suppose -5*j - 3*v = v - 944, 3*v = 4*j - 780. Is 192 bigger than j?
False
Let b be -1 - 0*(-4)/(-16). Let d be b/((-4)/(-8))*(-2 - -1). Let y be 3 + d/2*6. Is y at least 12?
False
Let h(z) = 19*z**2 - 339*z + 63. Let i be h(22). Which is greater: i or 1796?
i
Let k(b) = -b**3 + 6*b**2 + 16*b - 97. Let t be k(5). Is t equal to -298?
False
Let w be 2136/(-18)*(-30)/4. Let k be ((-25312)/w)/(-4)*(-2)/(-4). Let y = k + 4/89. Is 4 greater than y?
True
Let l = -404 + -8910. Which is smaller: -9313 or l?
l
Let i(d) = d**2 - 490*d + 2901. Let q be i(6). Are 846 and q unequal?
True
Let a = -226423/115962 - -1/5522. Let b = a + 5/3. Which is greater: 3.6 or b?
3.6
Let j = -754 - -85. Let k = -665.49 - j. Let y = k - 0.11. Which is smaller: 0.1 or y?
0.1
Let s be 0 + ((-8)/(-6) - 2). Let h(n) = n**2 - 219*n + 3617. Let u be h(18). Is s equal to u?
False
Let b = -34109 + 34110. Let f = -3952 + 754836/191. Is b >= f?
True
Let x = -3 + 1. Let a = -0.3259 - 0.1188. Let n = -0.0653 + a. Is n equal to x?
False
Let g = -176518/115 + 1535. Let l = -12751/230 - g. Is l smaller than 0?
True
Let h(l) = -1031*l + 132. Let s be h(-3). Is s at most as big as 3224?
False
Let x = -0.201 - 0.889. Let q = -26.91 + x. Is q at most -1?
True
Let w(s) = 3*s + 71. Let p(r) = 11*r + 213. Let a(h) = -3*p(h) + 8*w(h). Let j be a(5). Is j less than -115?
True
Let x = -231.86 - -231.17. Which is smaller: x or -0.039?
x
Let y be (-1)/(-5) - ((-33384)/1980 - -17). Which is greater: y or 3/8?
3/8
Let o = -174 + 106. Let n be 1253/18 + 16/72. Let p = n + o. Which is smaller: 1/3 or p?
1/3
Let y(t) = -2*t**2 + 2*t + 2. Let m = 4 + -2. Let s be y(m). Let n be (-125)/(-65)*-1 - s. Is n greater than or equal to -1?
True
Suppose -2*v + 350 = 2*k - 7010, 4*v = 8. Which is greater: 3675 or k?
k
Let q = -57 - -57. Suppose -3*p - 5*x - 483 = q, -5*p - 805 = -0*p - 2*x. Which is smaller: -162 or p?
-162
Suppose -31*a - 3*a = 25*a. Which is smaller: a 