 -2*u = 2*u - r - 237. Suppose 0 = -6*i + 1445 - 1097. Is u greater than i?
False
Let f = 19.37 + 103.73. Let t = 125 - f. Is t at least -0.3?
True
Let a(u) = u**3 + 8*u**2 - u - 7. Let b(g) = -g**2 - 12*g + 21. Let z be b(-14). Let d be a(z). Let t be (-429)/(-9) + (-5)/(-15). Which is bigger: t or d?
d
Suppose 0 = -5*a + 15, -14*l = -13*l - 5*a + 15. Are -53/40 and l unequal?
True
Let m = 227873662/805 - 4616676/23. Let v = 82354 - m. Let u = -71426/11585 + v. Is u at least -1?
True
Let h(t) = -166*t - 1476. Let k be h(-11). Are 348 and k nonequal?
True
Suppose 11*h = 4*h + 7. Let f be h/4*(-6)/(-24) + 0. Is f at least as big as -1/4?
True
Let u(y) = -15*y + 3. Let x = -69 + 71. Let n be u(x). Is n smaller than -26?
True
Let a = -232.5 + 134.8. Let x = a - -95.7. Which is smaller: x or 0.07?
x
Let k be (24108/14)/(-7) - (0 + 12/2). Is -252 < k?
False
Let o(f) = -2*f + 16. Let x be o(8). Let t be (0 - x)/(6*(-1)/(-6)). Suppose t*n = -w + 3*n + 4, -4 = -2*w + 5*n. Which is bigger: w or -5?
-5
Suppose 38 = 14*v + 66. Let m = 3.6 + -25.6. Which is smaller: m or v?
m
Let l(d) = -d**3 + 46*d**2 + 24*d - 1118. Let c be l(46). Is c less than -127?
False
Let x = 28.168 - 0.068. Let a = x - 29.1. Which is smaller: -22/13 or a?
-22/13
Suppose 0*o = -t - o + 123, 5*t = 5*o + 585. Suppose -4*i - 20 = 2*u + 130, u = 3*i + t. Let c = i + 38. Which is greater: -5/6 or c?
-5/6
Let b(k) = 5*k - 9. Let i be b(-9). Let p = 58 + i. Suppose 5*s + 4 + 1 = -p*w, -w - 20 = -5*s. Which is smaller: 12/5 or s?
12/5
Let v be ((-8)/(-20))/((45/175)/(-9)). Let l(j) = -5*j - 37. Let n be l(-9). Is v greater than n?
False
Let m = -166 - -160. Let h be (20/(-96)*m)/((-1)/4). Let i be (-2)/6 - (-91)/(-15). Which is bigger: i or h?
h
Let v be 1 + (-242)/44*(-11)/(-106). Is v > -1?
True
Let p = -366 + 446. Let r be 8 + -5 - -2 - (1 - p). Suppose -249 = -6*d + 3*d. Which is greater: d or r?
r
Suppose -12549 = -22*c + 27*c - 2*t, -3*t = c + 2520. Which is greater: c or -2510?
-2510
Suppose 2*n = 16*d - 13*d - 135, 5*d = 3*n + 224. Which is smaller: d or 49?
d
Let k be 6/(-4)*44204/(-129). Suppose 4*m + 374 = 4*y - 34, 5*m + k = y. Is m >= -103?
True
Let a = 4975 + -5006. Which is bigger: -0.06 or a?
-0.06
Let m = -7923 + 9532. Is m <= 1610?
True
Let u(i) = 3*i**2 - 11*i + 49. Let d(r) = 2*r**2 - 8*r + 33. Let p(t) = 8*d(t) - 5*u(t). Let y be p(6). Which is bigger: y or -2/21?
y
Suppose -870 = 9*q - 3543. Let s = 293 - q. Is -3 not equal to s?
True
Suppose 0 = -l + 4*o + 12, 3*l + 566*o + 15 = 561*o. Let u = 3.06 - -123.94. Which is greater: u or l?
u
Suppose -9*m - 4 = -31. Let t be ((-8)/(-110))/(11/330). Which is greater: m or t?
m
Let g = -136/795 - -6853967/1590. Is 4312 equal to g?
False
Let k(l) = 7*l**3 - 2*l**2 + 1. Let d be k(1). Let o be (3/d)/(3*2/(-12)). Let c be (-20)/42*(2 - o). Is 0 greater than or equal to c?
True
Let o = -299.612 - 0.388. Let y = o + 298. Which is smaller: -1/30 or y?
y
Let p(c) = 0*c - c - 11 - 2*c. Let t be p(-2). Let l = 2/1003 - 23077/4012. Is t bigger than l?
True
Let r = 6441 + -6327. Is r > 116?
False
Suppose 21*l - 29*l - 16 = 0. Let i be ((-40)/(-8) - 4)/(479/l). Is -1 > i?
False
Let i(u) = u + 10. Let o be i(-9). Suppose 2*h + 2*z - 90 = 0, 0 = 5*h - 3*h - z - 75. Let n be 44/h + (-3)/3. Is n > o?
False
Let r be (-46)/(-69) + 128/6. Let p be 120/550 + 4/r. Which is bigger: p or 0?
p
Let w = 21.74 - 22. Let b = -531 + 531.16. Let f = b + w. Does -2.2 = f?
False
Let g be (-1)/((-1)/(5/5)). Suppose 5*j = 2*u + 1, j = u - 0*u - g. Are 1/28 and j equal?
False
Let q be 8/((-4 - -5) + -2). Let y be q/5*(-30)/4. Suppose -2*x + 3 = 5*t - 11, -y = -t - 5*x. Is t at most as big as 6/11?
False
Let y = -4/967 + -115061/2901. Is 0 >= y?
True
Let d = 0.056 + -58.056. Let m = 58.3 + d. Let f = -9 - -8. Is f <= m?
True
Let d(u) = -u**3 + 6*u**2 + u - 9. Let g be d(4). Suppose -3*y + 196 = 46. Let x = g - y. Which is bigger: -67/3 or x?
-67/3
Suppose 558*h - 5 = -8 + 3. Which is greater: h or 42/599?
42/599
Let m = 18.7 + 93.3. Let s = m - 111.33. Let x = -1.67 + s. Which is greater: x or -8/7?
x
Let z = -34708155/3298 - -10524. Is -1 <= z?
True
Suppose 3962 = 4*g + x, 2*x + 4959 = -7*g + 12*g. Is g greater than or equal to 991?
True
Let p = -332441/128 + 12986/5. Is -1 < p?
True
Let x be (-7 + 247 + 26 + (-6)/2)*29. Which is smaller: x or 30511/4?
x
Let l be (-3)/(75/4250*5/9). Let p be 2/17 - 10232/l. Is 35 less than p?
False
Let k be (-6)/4 + -6 + (-15)/(-2). Suppose -2*q + 2 = k, 6*l = 7*l - 4*q - 115. Which is smaller: 120 or l?
l
Let t be (366/(-305))/(24/180). Is t at most -455?
False
Let t = -0.36 - -2.36. Let c = -27 - t. Let a = 29 + c. Is 2/7 at most a?
False
Let m(u) = 59*u - 4. Suppose -45*i + 49*i + 4 = 0. Let r be m(i). Which is bigger: -62 or r?
-62
Let d = 2110 - 1230. Let n = d - 797. Which is greater: 86 or n?
86
Let i be 2 + -14 + 9787 - -14. Is i at most as big as 9789?
True
Suppose 16 - 38 = -2*a. Let k = a + -20. Suppose -14 = 9*o - 5*o + 2*d, -o = -3*d + 21. Which is smaller: k or o?
k
Let o = 2.18 + -0.89. Let z = -1.29 + o. Which is smaller: z or -0.6?
-0.6
Let p(i) = i**3 + 36*i**2 - 318*i + 109. Let d be p(-36). Which is smaller: 11555 or d?
11555
Let s(u) = u + 10. Let l be s(-15). Suppose 0 = 5*v - 2*k, -2 = -4*v - 0*k + 2*k. Let i be (v + 4/(-8))*2. Is l equal to i?
True
Let t = 3.2 - 3. Let p be 6/10 + 13927/(-95). Let b = 154 + p. Which is smaller: b or t?
t
Suppose 5*u - 3*x + 3414 = 0, 4*u - 275*x + 2738 = -276*x. Which is greater: -685 or u?
u
Let l be 0/(4/(-20)*-5). Suppose 0 = 2*z + 3*j - 173, 5*z - 420 = -l*z + 5*j. Let q = -84 + z. Is -4 not equal to q?
True
Let w(m) = -3*m**2 - 17*m + 10. Let h = -15 + 3. Let x be w(h). Let z be x/(-10) + (28/(-10) - -3). Which is smaller: -1 or z?
-1
Let z(j) = -j**3 + 17*j**2 - 17*j + 14. Let b be z(16). Let l be -2 - (-39)/5 - b/10. Let v be (-7 + l - (3 + 0))/1. Is -2 != v?
True
Let m be (684/(-12) + (0 - 5))/1. Let r = m - -58. Is 17 at most as big as r?
False
Let h = 671 - 1060. Let c = 485 + h. Is 96 bigger than c?
False
Let b = -179338/13 - -13803. Is b bigger than 8?
False
Let m be (-123)/(-2) - -1 - (-2)/4. Suppose 0 = -2*f + h - 2*h + m, -2*f + 4*h + 78 = 0. Let b = f - 49. Which is smaller: -18 or b?
-18
Let w(u) = 2*u + 3. Let q(c) = 2*c + 2. Let i(x) = 3*q(x) - 2*w(x). Let m be i(5). Suppose -7*t + 4*t + m = 4*v, t = -4*v + 6. Does 16/9 = v?
False
Suppose 23*s - 50*s - 1616 + 455 = 0. Which is smaller: -382/9 or s?
s
Suppose 66 = -c + 72. Suppose 0 = g - c*g + 60. Let y(k) = 2*k**2 - 4*k - 5. Let h be y(4). Which is bigger: g or h?
g
Let t = -7.4 + -9.7. Let q = 103.1 + t. Let m = q + -75. Which is bigger: 0 or m?
m
Let q be 21/7 + -6 + (-279648)/(-93208). Which is bigger: q or 0?
q
Let y be 126132/(-8878) + 24/(-1 + 4) - -6. Which is smaller: -1 or y?
-1
Let q = 1384 + -1328. Which is smaller: q or 329/6?
329/6
Suppose 6676 + 10166 = 25*n + 214192. Which is greater: -7895 or n?
n
Let z = 1.0468 - 17.0468. Which is smaller: z or -103?
-103
Let f(b) = -7*b**2 - 14*b - 37. Let n be f(-4). Let r = 174 + -267. Is r smaller than n?
False
Suppose 0 = 76*v - 372*v - 3618 - 4670. Do v and 153 have different values?
True
Let b(l) = l**3 - 4*l**2 + 61*l - 335. Let w be b(5). Is w < -126/25?
False
Let g = 8 - 3. Let y = 11767/2 - 5879. Is y at least as big as g?
False
Let p(g) be the third derivative of -g**5/60 + 25*g**3/6 + g**2 + 4. Let j be p(-5). Is j at most -3/8?
False
Suppose 0 = 2*q + 3*m + 1634, -5*q - m - 5660 = -1549. Is q equal to -823?
True
Let m(x) = 8*x + 38. Let l be m(-5). Let u be ((-1)/l)/((-290)/(-9164)). Is 16 less than or equal to u?
False
Let p be -10*(-37)/(-740)*6/(-5). Is p at most as big as 0.039?
False
Let v = 901.73 - 894. Let t = -0.27 - v. Is t >= -6?
False
Let l be (-3)/(-2)*1268/6. Let b be ((-2 + 32)/(-1))/(263 - 266) + 307. Is l smaller than b?
False
Let j = -338 - -352. Let s be -6 + 1 - (7 + j - -7). Suppose -2*q - 3*q + o - 160 = 0, -3*q = -5*o + 96. Is q > s?
True
Let g(k) = -29*k - 98. Let o be g(-4). Let m be (-8 - (-16 + 9))*o. Suppose 0 = 3*w + 51 + 6. Is w at least m?
False
Let n(p) = -p**2 + 22*p + 76. Let r be n(25). Let w be ((-7)/49)/(r - -2). Let a = 1 + -1. Is a smaller than w?
False
Let w = -12 + 3. Let f be 1*(w/39 + 0)