 2*f + 10. Let q be l(-2). Which is smaller: q or -15?
-15
Let s be (1299/4 + -6)*4. Is 1274 < s?
True
Let q = -2.39 + 1.986. Let k = 0.304 + q. Which is smaller: 0.029 or k?
k
Suppose -3*w + 12 = 2*k, -w + 3*k = w + 5. Suppose 0*r = -w*f - 2*r + 10, 0 = 5*f + 4*r - 26. Suppose -p + f = -4*p. Are p and -5/7 equal?
False
Let h = 1621 + -501. Suppose 13*o = -o - h. Let n = o + 54. Which is smaller: -27 or n?
-27
Let s be ((-6)/(-7))/((-1)/7). Let r(m) = m**3 + 5*m**2 - 7*m + 8. Let u be r(s). Suppose 7*x - 5*x + 1 = -o, -4*o + 8 = -4*x. Which is smaller: u or o?
o
Suppose -s = -16*v + 11*v - 110, -4*s - 5*v + 390 = 0. Suppose -2*q - 4*u + 26 = 0, 4*u = q + 3*q - s. Which is bigger: 19 or q?
q
Let f = 115 - 183. Let d = -0.0606 + 0.2606. Is f bigger than d?
False
Let m(s) = -s**3 - 9*s**2 + 24*s - 146. Let j be m(-12). Is j greater than or equal to -13/9?
False
Let y = -27634 + 27031. Does y = -606?
False
Suppose -2*h + 1356 = 4*m, 4*m - 379 - 985 = 2*h. Let i be 1751/m - (6/8)/(-3). Let l be (-11)/(-2) - (-1)/2. Which is bigger: l or i?
l
Let u be (-2)/20 - (-15)/25. Let h(t) = -t - 18. Let q be h(-15). Let j be ((-5)/10)/(q/12). Is u at most as big as j?
True
Let p(r) = -r**2 + 3*r + 97. Let f be p(-8). Let a be (f/(-21) - 187/21)/6. Is -0.1 greater than a?
True
Let z be -1470 - (-4 - (-84)/(-28)). Does -1463 = z?
True
Let j = 3748 - 3750. Which is bigger: j or -52/35?
-52/35
Suppose -4*r = -36 - 12. Suppose -16 + 12 = -2*n. Let a be (n/3)/(56/r + -4). Which is smaller: a or -1/125?
-1/125
Let j = 4474 + -4475. Which is greater: j or -72/17?
j
Suppose 52*b = -4*c + 51*b + 65, 3*b - 67 = -4*c. Let k = 35 + -13. Suppose k + 23 = 3*a. Which is greater: c or a?
c
Let h = -187 - -188. Let v be (59/(-15) - (-4)/h)/(-2). Which is greater: 1 or v?
1
Let n(z) = -3*z**2 - 32*z - 65. Let w be n(-8). Let f be 9/111*(-4)/(-78). Do f and w have the same value?
False
Let q(f) be the third derivative of f**5/60 - f**4/2 + f**3/3 + 5*f**2. Let t be q(8). Are t and -28 unequal?
True
Suppose 0 = 9*u - 161*u. Which is smaller: 2/6753 or u?
u
Suppose 0 = f - 5 + 1. Let v be 24/(-15) + f/(-10). Let x be (8/12 + (2/(-6))/1)*-8. Which is greater: v or x?
v
Let c = -2/3043 - -6820/1116781. Which is bigger: c or -1?
c
Let k(c) = c**2 - 2*c - 148. Let l be k(-11). Let g be 3/7 + (-660)/168. Is l < g?
True
Let y = -124 + 31. Let a = y + 93. Is -37 less than or equal to a?
True
Let a = -3 - -5. Let y(j) = 2 + 16*j**2 - 8*j**a + 2*j - 10*j**2. Let h be y(4). Does 0 = h?
False
Let q = -46607/29 + 1607. Is -0.14 bigger than q?
False
Let o = -4385/18 + 244. Let y(z) = z**3 - 17*z**2 - 18*z. Let b be y(18). Which is smaller: o or b?
b
Suppose -5*r + m = -844 - 337, 0 = -3*r - m + 715. Let p(y) = -236*y**3 - y**2 + 2*y + 3. Let d be p(-1). Is r greater than d?
True
Let g be ((-156)/16)/((-6)/4)*226. Which is bigger: 1471 or g?
1471
Let t(l) = -22*l**2 + 1012*l - 2. Let s be t(46). Which is smaller: -17/28 or s?
s
Suppose 352 - 3 + 67 = -13*r. Is r < -23?
True
Let d be 16/14 + 50/(-154) + (-120)/(-660). Are -14/1041 and d nonequal?
True
Let i = -1088799/4 + 270221. Which is smaller: i or -1980?
-1980
Let l be (-19)/(-2)*-5*12/(-30). Suppose l*s = -52 + 14. Which is bigger: -8/9 or s?
-8/9
Let v(u) = u + 5. Let g(h) = h**2 - 7*h + 23. Let o be g(4). Let w be v(o). Suppose 4*y + 57 - 149 = 4*c, -3*c - 15 = 0. Are y and w equal?
False
Let o = 154 - 18. Let b = -137 + o. Which is bigger: 1/66 or b?
1/66
Let t = 694.92 - 713. Let l = -26.5 - t. Let y = l + 8.4. Is y not equal to 1/2?
True
Let m(r) = 2*r - 26. Let p = 60 - 75. Let x = p - -29. Let n be m(x). Which is smaller: -1 or n?
-1
Suppose -j + 69*h + 165 = 66*h, 2*j = -4*h + 260. Which is greater: 1286/9 or j?
j
Let o(l) = l**3 + 6*l**2 - 7*l + 4. Let n be o(-7). Let s(d) = -d**2 + 7*d - 10. Let f be s(n). Suppose -f = 7*i - 2. Which is bigger: -2 or i?
i
Let b = 10.1 - 9.11. Let x = b - 0.35. Let z = 0.64 - x. Which is smaller: z or 3/13?
z
Let k be 3/(-2)*(-4)/3. Suppose 2*o = 4*o + k. Let h be 2/(-5) + (-19)/(-35) - (-1128)/(-1974). Which is smaller: h or o?
o
Let z = -3446.05344 - -0.05344. Which is smaller: z or -1?
z
Let j(d) = -22*d**2 - 2*d - 6. Let w be j(-3). Let p = 198 + w. Are -3/56 and p unequal?
True
Suppose j = 5*y - 378, -25*y + 27*y + 684 = -2*j. Which is greater: 0.1 or j?
0.1
Let w be (-12 - -15)/(0 - (-7)/(-21)). Is 9 smaller than w?
False
Let f(m) = 430*m - 3676. Let v be f(40). Which is smaller: 13523 or v?
13523
Let a be (-6)/(-4) + 483/(-2). Let o be a/(-8)*33/(-5). Is o < -196?
True
Let u = -120.877 - -121. Let x = -0.123 + u. Which is smaller: 20 or x?
x
Let s be (-2)/3*(-18 - -6). Let x be (16/14)/(((-64)/(-28))/s). Suppose j - 24 = -x*m, 0*m + 26 = 2*j - 3*m. Is 18 bigger than j?
True
Let j = 0 - -2. Suppose -5*k = 2*p + j*p - 9, -5*k = -5*p. Let q(z) = -z**2 + 29*z - 214. Let r be q(15). Is r greater than p?
False
Let v = 1/3155 + 9373/290260. Which is bigger: 1 or v?
1
Let j be (3080/560)/((-2)/(-84)). Is j smaller than 237?
True
Let l(s) = -s**3 + 22*s**2 + 25*s - 89. Let t be l(13). Which is greater: t or 1755?
t
Suppose -11*b = 15950 - 4213. Let j = 66151/62 + b. Is j < 0?
True
Let x = -6912 + 7117. Is 187 less than or equal to x?
True
Let n = -58311/2140 + -1/535. Let v be 4/(-12) + (-80)/3. Is v smaller than n?
False
Let l be 4*7/(-112) - (-50)/8. Suppose c + 14 = -t, l*c - 12 = 3*t + 3*c. Is t < -8?
True
Let w = -13869 + 41605/3. Is w > -1/30?
False
Suppose -5*l + w = 7*w - 3300, -l = -5*w - 629. Let k = l + -1979/3. Suppose 29 = -5*d - 6. Is d > k?
False
Let s be 22144/256*(2 - 96). Is -8132 at most as big as s?
True
Let c(g) = 2*g**3 - 4*g**2 - 2*g + 7. Let y be c(3). Suppose 0 = -0*u - y*u + 228. Suppose 120 = u*i - 72. Which is greater: i or 15?
i
Let y(s) be the second derivative of s**4/12 - s**3/2 - s**2 - 25*s. Let n be y(4). Suppose 4*w + 17 = -5*b, -1 = 5*b - n*w - 2. Is b <= -2/45?
True
Suppose 12 = 3*g, -4*g + 2*g = -5*f - 18. Let o be -5 + 6 + (1 - -1). Suppose -30 = o*h + 5*y, -2*h + 3*y = -y - 2. Is f at most h?
False
Let g be (-12)/(-18)*((-930)/5 - -3). Let u = g + 138. Let f = 1 - -14. Which is greater: f or u?
u
Let w be (-156)/(1*-2) - 0. Suppose -12*g = 399 + 465. Let l = w + g. Is l less than 6?
False
Suppose 2*m + 11318 = 5*i, -9*m + 4*m = 2*i + 28237. Let b = m - -39468/7. Is b bigger than -10?
False
Let i = 29 - 10. Let h(k) = -k**3 + 9*k**2 - 11*k + 7. Let u be h(6). Suppose u*l = 54*l + 5. Which is smaller: l or i?
l
Let g = -22031876/247 + 89198. Which is smaller: 0 or g?
0
Let s = 0.231 - 1.371. Let z = s - -1.24. Is z >= 2/33?
True
Let a(g) = -5 - 3 + 0 + 26*g - 21*g. Let k be a(30). Is 143 at most as big as k?
False
Let p be 29*(-6)/(-3936) + 0. Let q = p + -71/41. Which is greater: -1 or q?
-1
Let r(q) = -q**2 + 16*q - 36. Let y be r(14). Let f be (6/(-4))/((-3)/y). Is f equal to -2?
False
Suppose 2*g = -g. Suppose -b = 40 - 43. Let u be (420/1248 - b/8)*1. Is g > u?
True
Suppose 3*o - 3*z = 15, 5*o - 3*o + 25 = -5*z. Let r(w) = 8*w - 15. Let h(c) = 2*c - 2. Let y(p) = 6*h(p) - r(p). Let d be y(o). Which is greater: 6 or d?
6
Let m = -9121 - -9122. Which is greater: m or -3954?
m
Let a be -3 - (2/10 - (-496)/(-80)). Let t be -5*(-2 - 1) + a. Let v be (-3)/((2 + 1)/t). Is v > -19?
True
Suppose 41*f - 54*f = -0 - 13. Do -3944 and f have the same value?
False
Let r be (2 + 13/(-5))/((-5)/25). Suppose 4*q = q + r*x + 9, 5*q - 51 = -4*x. Suppose -o = q*o + 352. Is o at least -43?
False
Let v(z) = 2*z + 2. Let a be v(2). Let o = -27 - -65. Suppose 2*g + 14*u - 18*u - o = 0, 4*g = 3*u + 51. Which is greater: a or g?
g
Let x be 1/3 + (-1)/2. Let d = 59 + -183. Let i = 121 + d. Is x less than or equal to i?
False
Suppose 0 = 2*f - 0*f. Let c be (10 + -5 - 0)*12/(-20). Let w be 7 + -12 + c + 0. Is w < f?
True
Let r = -15 - -13.9. Let s = -0.023 - -0.923. Let f = s + r. Is f smaller than -0.2?
False
Suppose -3*o - 752 = -2*d + 99, -4*d = -3*o - 859. Are 5 and o unequal?
True
Let s = 53.926 + 0.074. Let a = 8 - s. Let b = -10/111 - 71/444. Are b and a unequal?
True
Let q(j) = j**2 + 4*j. Let y be q(-4). Let o be (5/(-96))/(-28 - 6402/(-264)). Which is smaller: o or y?
y
Let k be 2*1/4*(28 - -18 - 4). Let t(b) = -19*b**3 - 2*b**2 - b. Let j be t(-1). Which is smaller: 