1*x - 8. Let v = -3 - -13. Let t be i(v). Let n be m(t). Are -49 and n equal?
True
Suppose 2*z + 7*f - 4*f + 19 = 0, z + 5*f = -27. Let r(p) = -p - 6. Let b be r(z). Let u be b/(-22) - 35/(-110). Which is smaller: 0 or u?
0
Let l be (9 + -7)*((-2)/274)/(-1). Suppose 4*d + 3*d = -98. Let f be (3 + -3)/((-7)/(d/4)). Which is smaller: l or f?
f
Let m = 4090 - 3740. Is m < 350?
False
Suppose -2*k = 2*r - 628, 9*r = 4*r - 20. Let a be 3 - 6/k*157. Is 1 equal to a?
False
Suppose -3*r + 1990 = 2*a, -a - 14*r = -19*r - 982. Which is greater: a or 994?
994
Let c be 4/2 - (13 - -2). Suppose -5*v + 2*b = 53, -43 = v - 2*b - 34. Which is smaller: v or c?
c
Let m be ((-4)/30)/(4614/1152 - 4). Let r = m + 2303/90. Is 1 > r?
True
Let g = -63 + -66. Let k = 1491 + -2001. Let m be (4 - k/g)/1. Is m greater than 0?
True
Suppose 2*s + f + 3 = 0, s - 4*f = 9 - 6. Is s less than -2/11137?
True
Let f be (64/14 - 28/49)*46/60. Which is smaller: -0.3 or f?
-0.3
Let g = 620 + -622.9. Let f = 4.4 - 7.3. Let y = g - f. Do -24 and y have the same value?
False
Let a(t) = -t**3 - t**2 - t + 274. Let k be a(0). Let d = k - 263. Are 12 and d unequal?
True
Let v(i) = 10*i - 1. Let h be v(2). Suppose -4*d = 5*c - 69, 2*c - 3*d - 27 = h. Let x be -1*3*(-112)/21. Which is greater: x or c?
c
Let t = -8 - -2. Let w = 123638.07 + -123638. Which is smaller: w or t?
t
Let h = -380 + 386. Suppose -461 = h*y - 539. Let a(k) = k + 8. Let q be a(7). Is y bigger than q?
False
Let x = -24531 - -24561. Do x and 329 have the same value?
False
Let p = 1900.2 + -1900. Which is smaller: 101/2 or p?
p
Let n be 0/(-21) + (-1)/14. Let d = 11/7 + n. Are d and 1.25 unequal?
True
Suppose -33 = 5*d - 3*v, 3*d + 9 + 6 = -3*v. Let k be ((-2)/d)/(12/(-36)). Is k smaller than 2/235?
True
Let c = -4 - -13. Let f(x) = 2*x**2 + 11*x + 2. Suppose -7*y - 54 = 2*y. Let q be f(y). Is c < q?
False
Let p be 0 + -1 + -4 + 10. Let h(i) = i**2 - 4*i + 1. Let d be h(p). Suppose 2*m = 4*o - d, 0*o = 2*o + m - 9. Which is smaller: 2/17 or o?
2/17
Let f be ((15/36)/(-5))/(17949/2728 + -7). Let g = 0 + 1. Are f and g unequal?
True
Let u = -33/373 + 81195/7087. Are u and 12 equal?
False
Let h = 48.34 - 48.34. Let y = 0 + -18. Which is smaller: h or y?
y
Let z be 1/((-15)/10 + 2). Let b = 1 + z. Let t = -8/3 + b. Is 0 > t?
False
Let r = -1404/119 - 149941/595. Let m = 265 + r. Which is smaller: m or 13?
m
Let y = 2111801201/767 + -2753336. Let d = y + 15/59. Is d less than -9?
True
Let y = 1599 + -1598. Which is bigger: y or -1.8937?
y
Let b be (1/2)/((-3)/6) - 2372497/(-2373389). Is 0 at least as big as b?
True
Suppose 6*x + 35 = x. Suppose 3 = 3*k + 6*r - 3*r, 15 = 3*k - r. Suppose -6 = -k*l - 22. Which is greater: l or x?
l
Let b = 250 - 461. Let c = 214 + b. Is c at most as big as 16?
True
Let b(v) = 225*v - 4301. Let r be b(18). Is r at most as big as -245?
True
Let a = 80.036 - 80. Let y = 14.964 + a. Let s = y + -15.4. Is s greater than -0.4?
False
Let g be (3 - 1)/((-675)/170 - -4). Let o = g + -43. Suppose 0 = 23*m - o*m + 74. Which is bigger: m or 36?
m
Suppose -2980*d - 2790 = -2995*d. Is d smaller than 184?
False
Let f be 69/(-99) + 184/506. Is f at least -69/14?
True
Let j(z) = -z**2 - 107*z + 9979. Let w be j(-167). Let k = -0.9 - 0.1. Which is smaller: w or k?
w
Let g = -1297/5341 + 11/49. Is 1 greater than g?
True
Let f(r) = -r**3 - 68*r**2 - 67*r. Let o be f(-1). Which is smaller: o or -4/3549?
-4/3549
Let k = -45/301 - -128887/2408. Let d = k - 191707/3592. Which is smaller: d or 1?
d
Suppose 7*y = -12*l + 4*y - 159, -y + 31 = -2*l. Let x = -5266 - -31519/6. Is l at most x?
True
Let b = -5084 - -4960. Which is greater: b or -13?
-13
Let x be -4*(0 - (-1 - -9 - 3)). Let h be -4 - ((-52)/(-5))/((-8)/x). Is 1 bigger than h?
False
Suppose 9*o = 8*o + 84. Let m be (o/(-9))/(520/(-6852)). Let n = m - 123. Is 0 at most as big as n?
False
Suppose -3*i + 83012928 = 2*t + 2*t, -3*i = -12. Let d = t + -86354185103/4161. Let c = d + -16/73. Which is bigger: -1 or c?
c
Let o = 5 + -1. Let a be -2 + 0 + 4/o. Let h be 187/99 - (a + 3). Is h greater than 0?
False
Let m = -160.91 + 157. Let c = 2.09 - m. Which is smaller: c or 0.32?
0.32
Let m = -1979 + -6146. Which is bigger: m or -8126?
m
Let g = -573 + 1109. Let q = g + -318. Which is smaller: -1/4 or q?
-1/4
Let r = 0.099 - 0.199. Suppose 20 + 0 = -4*f. Which is smaller: f or r?
f
Suppose -8*r + 14 = -210. Let g = 58 + -59. Is r less than g?
False
Suppose 35*q - 6*q = -51272. Which is smaller: -1769 or q?
-1769
Let g(x) = -16*x - 22. Let f be g(-3). Let z be (f/(-5) + 2)*(-5)/2. Is z equal to 7?
False
Let m be (-1)/4 - 270/(-120) - (-3 + -4). Is -83 < m?
True
Let t(j) be the first derivative of j**3/3 + 18*j**2 - 54*j + 29. Let g be t(-36). Is -52 equal to g?
False
Let u be -3 + (2 - (-507)/315). Let z be 244/70 - (8 + -4). Let x = u + z. Is x <= 0?
False
Let i = -388 - -380.7. Let w = -7 - i. Which is smaller: -0.03 or w?
-0.03
Let n = 48866 - 48867. Is n less than 112/879?
True
Let b be (1684/8)/(6/3). Let t = -105 + b. Which is smaller: 2 or t?
t
Let f = -2588 - -2588. Suppose 0 = 3*b - 2*b + l + 131, 5*l + 259 = -2*b. Is b at most f?
True
Suppose -250*b = -242*b + 4112. Let j = b + 5669/11. Is j less than or equal to 1?
False
Let k = 6895 + -6876. Does k = 131?
False
Let b = -10007 - -6924. Which is greater: -2 or b?
-2
Let y be ((-564)/5)/((-9)/(-21)*(-10)/(-75)). Is -1975 != y?
True
Suppose 36*d - 1954 = -406. Which is smaller: 474/11 or d?
d
Let m be 220/(-678) - (-1)/3. Suppose 113 = -3*q - 0*q + 113, 3*i - 2*q = 3. Which is bigger: i or m?
i
Suppose 8*k + 4*k - 2242 = 38. Is k at most 192?
True
Let p = 9 - 18. Let o = 619 + -16. Let m = -604 + o. Which is bigger: p or m?
m
Let x be -1 - ((-225)/(-6) + 0). Suppose 0 = -5*u - 214*n + 219*n - 225, u + 3*n + 21 = 0. Is u at most as big as x?
True
Let s be 4114/(-14) - 19/133. Let j = -322 - s. Are j and 2 equal?
False
Let v be (374/(-99))/(-17) - 327/54*-50. Which is smaller: v or 305?
v
Let h(t) = 11*t**2 + 25*t + 49. Let w be h(-13). Is w >= 1584?
False
Suppose -4*d + 6 + 2 = 0. Let w = 4227 - 4231. Let f be ((-63)/w)/(-7) + d - -1. Is 2 greater than f?
True
Let v be ((-87)/(-2))/((-1416)/(-944)). Suppose 3*s = -5*o + 151, 2*o - 6 = -3*s + 130. Let l = -14 + s. Which is smaller: l or v?
l
Let d = -386334/721 - -3750/7. Let w = 2350/721 + d. Suppose 62*s - 69*s = -14. Do s and w have the same value?
False
Let r = 7991/11 + -726. Let m = -229 + 229. Which is smaller: m or r?
m
Let s be -4 - 280/((-15)/3). Let z = 55 - 0. Suppose s*w - 192 = z*w. Is w equal to -65?
False
Suppose -2*q + 13*q = 769 - 758. Are q and -1/224 nonequal?
True
Suppose 50631 - 25040 = -209*n - 68668. Is -454 greater than or equal to n?
False
Suppose 2*k = -2*v + 2644, 3*k + 5455 + 1179 = 5*v. Which is bigger: v or 1323?
v
Let m be 20/482*95/730. Let b = 2/241 + m. Which is smaller: 1 or b?
b
Let l = 204 - 170. Suppose -23*k - 104 = l. Is k at most as big as -4?
True
Let w = 6562 + -7324. Which is greater: -765 or w?
w
Let q = 283661/6 + -47582. Suppose 5*h + 2 + 1518 = 0. Let x = h - q. Is x less than or equal to 3/2?
True
Let l = -320 - -512. Let b = 80 - l. Which is bigger: b or 0.2?
0.2
Let l be 4/(-1) - 2 - (3929 - (-4 - -15)). Which is greater: l or -3923?
-3923
Let a = -5745 - -5889. Which is smaller: a or 157?
a
Suppose 0 = -607*i + 386975 + 368740. Does 1242 = i?
False
Let a be (-20)/60*6*-1. Let x be -2 + 36/(-14) + a + 2. Suppose 0 = -n - 5*n - 6. Is x > n?
True
Let z = 48573 - 87479975/1801. Are -1 and z non-equal?
True
Let l be (6*5/(-10))/1. Let s be (6/432*-2)/(l/12104). Let t = 112 - s. Which is bigger: -1 or t?
t
Let b be (28/(-21)*(-36)/32)/(82677/(-124)). Let p(u) = -u**2 - 6*u - 1. Let t be p(-6). Which is bigger: t or b?
b
Let v = -33.1 + 72.1. Let j = 39.4 - v. Is j at most -0.08?
False
Let g(q) = -2*q**3 - 46*q**2 - 10*q - 8. Let h be g(-25). Is h greater than 2742?
False
Suppose 168 = w - 122. Suppose -246*n = -251*n - w. Is n > -58?
False
Suppose 4*i + 5 = -u - 10, 4*i = -12. Let o = -22612 + 22610. Which is greater: u or o?
o
Let r = 0.98 + -0.59. Let v = -74.21 - -76. Let f = r - v. Is 2 <= f?
False
Let w = -13619 + 11818. Is w greater than -1/4?
False
Suppose 2*n + 56 - 8 = 0. Let a be (-352)/(-14) - n/(-168).