 m*t + 157, -2*t + 4*a - 3 - 115 = 0. Which is smaller: t or 1?
t
Let y = 37 + -80. Suppose 9*d = -2*j + 12*d - 32, 0 = -3*j - d - 37. Which is smaller: y or j?
y
Let h = 85 + -138. Suppose 0 = -31*p + 418 - 2092. Is p > h?
False
Let u = -27.5 - -5.5. Let l = -23.5 - u. Let h = l - -1.7. Is 43 less than h?
False
Suppose 2079 = -6*j - s, -22*j + 3*s - 1698 = -17*j. Is 16 less than or equal to j?
False
Let o = -140.761 + -0.239. Let b = -140.9 - o. Let a(d) = 4*d - 6. Let j be a(-4). Which is greater: j or b?
b
Suppose 5*z = a - 0*a - 1, a = 6. Which is bigger: -1/3488 or z?
z
Let v = -21/67 + 416/1541. Suppose -4*o + 3 + 11 = -3*y, 0 = -5*o + 25. Suppose y*d - 7*d = 0. Which is greater: v or d?
d
Suppose -4*k + 7009 = 5*o, -5*o - 214*k + 7002 = -217*k. Is o less than 1401?
False
Let z be -11*(1 - (0 - -2)). Suppose 34*b - 33*b = 4. Suppose -q - 2*m = z, -4*q - b*m - 8 = 16. Is -2/159 greater than q?
True
Suppose 4 = -21*u - 36 - 23. Is u smaller than 392/5?
True
Let n(x) be the first derivative of -x**4/4 - x**3/3 - 3*x**2 + 14*x + 66. Let a be n(0). Is -1 less than or equal to a?
True
Suppose 0 = -4*v + 10*r + 30, 0 = -4*v - 3*r + 2*r - 3. Is v smaller than 227?
True
Let g(y) = -y**2 - 14*y - 21. Let d be g(-12). Suppose d*z = -8*z + 22. Let p be (52/(-12))/(z/(-12)). Is p less than 25?
False
Let n be 4 + 1*(-1 + 0). Let c = 63239/42162 - -2/21081. Is c smaller than n?
True
Let m be (1/(-60))/((-2)/28*(-18)/9). Which is bigger: 5 or m?
5
Let n = -109 - -97. Let k be -3*4/n*5. Let o be (-1 - -5)/(-2*k/(-5)). Which is bigger: o or -2?
o
Let c be (-1 + -41)/(-6) + 18705/29. Is 650 != c?
True
Let y(x) = 230*x - 227. Let o be y(1). Which is smaller: 7 or o?
o
Let k(o) = o + 13*o - 10965 + 10946. Let l be k(5). Which is greater: l or 50?
l
Let a = -22129 - -243422/11. Which is greater: -266 or a?
a
Let r = -4424/6717 - 18/2239. Which is smaller: r or 1976?
r
Suppose -5*u + 7142 = 4*m, 20*u - 16*u = m - 1796. Suppose 8*h = -m + 492. Is -162 bigger than h?
False
Let q = -219.21 - -217. Let y = 0.31 + q. Let u = y - 10.1. Is 0.2 > u?
True
Let f(a) = -a**3 - 15*a**2 - 16*a + 31. Let u be f(-14). Suppose u - 53 = v. Suppose 4 = -2*o + 4*y + v, -o + 3 = -4*y. Is -2/13 at most as big as o?
False
Let w be 13/130 + 6*(-2)/20. Is 45 < w?
False
Let b be ((-20)/(-135))/((-2)/3). Let t = 70 + -69.87. Let h = 0.33 - t. Which is smaller: h or b?
b
Let d = 391 + -390.822. Let c = d - 0.178. Does c = -0.5?
False
Let f = 1.04 + 77.96. Let b = f + -80. Let k = -0.057 - -0.297. Is k less than b?
False
Let t = 1.113 - 0.113. Does t = -2.46?
False
Suppose 11*q - 19*q + 45312 = 0. Let f = 254906/45 - q. Are f and 2 unequal?
True
Suppose 126*n + 5842 = 150 - 1112. Let s be (-1467)/(-6)*2/6. Let y = s + n. Which is greater: y or 27?
y
Let y = 26 - 32. Let f(b) = b + 8. Let h be f(y). Suppose 0 = -t - 3*m - 9, -h*t - 3*m - 9 = 3*t. Is t greater than or equal to -1/7?
True
Let o(t) = 2*t**2 - 892*t - 893. Let n be o(-1). Let h = 11/137 - 19/8768. Which is smaller: h or n?
h
Let y = 168.295 + -171.8. Which is smaller: 2 or y?
y
Let x = 7 + -6.7. Let t = 1274080.1 - 1274070. Is x not equal to t?
True
Let g be 35/(5 - 12)*1145 + -1 + 1. Is -5724 < g?
False
Let g be -12*(-20)/360*(54/(-13) + 0). Do -10 and g have the same value?
False
Let y = 3388.7 + -3388.695. Let u be 0 + 2/7*-1. Is u < y?
True
Suppose -d - 6*x + 3*x + 13 = 0, -3*d = 4*x - 29. Let n = -212 - -211. Let s be n + (-4 - (-178)/14). Is d at least as big as s?
False
Suppose -13*u = -18*u. Let h be (-1 - (-2 - 3)) + (-238)/58. Is u != h?
True
Let h be -2*(1/(-11) + 0). Let i be 10/(-4)*9/(-90). Let u = i + 1/2. Is h greater than or equal to u?
False
Suppose 10*x + 0*x = 20. Suppose 87 = -x*r + c - 7, -4*c - 29 = r. Let l be 2 + 80/(-44) - r/(-66). Does l = -17?
False
Let b be (-30)/135 + ((-3448)/(-342))/4. Let t be 3/(1 - 69/12). Let p = b + t. Is p at least as big as 1?
True
Suppose 136*r = -230*r + 19075 - 7363. Which is smaller: r or 484/15?
r
Let t = -21 + 26. Suppose t*a - 203 - 43 = p, 1009 = -4*p - 5*a. Are -250 and p non-equal?
True
Let s(j) = -4*j**2 - 70*j - 503. Let x be s(-12). Which is smaller: x or -2387/10?
x
Let g = 27 + -323. Let y = -297 - g. Which is bigger: 2/135 or y?
2/135
Suppose -2*u = -2*f + 26 + 8, -f - 2*u + 2 = 0. Suppose 6*r - 48 = f*r. Let x be (-1550)/(-18) - r/(-72). Do 86 and x have different values?
False
Let v = 3.88 - -17.32. Let t = 274.2 - v. Which is greater: t or 1?
t
Suppose -3*o - c - 11 = 3, 2*c = -10. Let f be ((-6)/o - 4) + (-2 - -1). Which is smaller: f or 6?
f
Suppose 2992 - 77 = -5*m - 2810. Is -1146 equal to m?
False
Let a be 4 - 1 - (-1)/(-3). Let g = -0.02 + -0.038. Let i = -0.258 - g. Do i and a have the same value?
False
Let d = -2180906/18955 + 1956/17. Let r(h) = -3*h**3 + 3*h**2 - 26*h + 25. Let l be r(1). Does d = l?
False
Let h(a) = -a**3 - 20*a**2 - 52*a - 14. Let j be h(-17). Let g be ((-6)/195)/(j + (-302)/100). Suppose 2*x + 8 = 0, -3*w + 3 = -x - 4. Which is smaller: g or w?
w
Let z = 208 - 141. Suppose -z = 10*w + 3. Does -3 = w?
False
Let x = -2718.01 + 2642. Let v = 76 + x. Let m = v - -0.01. Is m < -4/9?
False
Let r = -24987514/70329 - -6040/17. Are 0 and r equal?
False
Let a be 9/15*((-1820)/532413)/(-26). Is 1 < a?
False
Suppose -2*w + 9816 = 3*k, -w + 52*k = 49*k - 4917. Which is smaller: w or 24554/5?
24554/5
Let t be (-90402)/9399 - (-2 - 8). Is t at most as big as -1?
False
Let o be (0 + (-3 - -2))*-1. Let j(b) = 5*b**2 - 18*b - 51. Let c(u) = -3*u**2 + 17*u + 49. Let k(y) = 3*c(y) + 2*j(y). Let d be k(-11). Is o greater than d?
False
Let m be (5/(-2))/(2/(-4)). Let l be (9713/(-5115) + 1/m)*-3. Let s = -3312/589 + l. Is -2 greater than s?
False
Suppose i - 2*m = 9, -m = -i + 3*m + 17. Let s be (15/(1 - -2))/i. Let a be s/20 + (-1)/(8/306). Is -37 < a?
False
Let p be 125/388 + ((-209)/(-44) - 5). Is p at least as big as 0.4?
False
Suppose 4*f - 4*f - 2*f = 0. Suppose f = 7*p - 244 + 97. Is p less than or equal to 0?
False
Let x be (8/(-6))/((736/87252)/(-4)). Let v = x - 632. Let w(m) = m**2 - 6*m - 8. Let a be w(7). Which is smaller: v or a?
a
Let p = -2.4 + -27.6. Let k = -68.5 + 1.5. Let d = 67 + k. Which is smaller: p or d?
p
Let f(l) be the first derivative of l**4/2 - 2*l**3/3 + 5*l**2/2 - 2*l + 40. Let c be f(2). Let i be (-432)/(-10) + c/20. Which is smaller: 45 or i?
i
Let l = 7.2965 - 0.0365. Let u = l - -2.74. Is u greater than 1?
True
Let z be (-409)/10 + (-4)/(-10). Let h be (-2)/(-7) - (-357236)/154 - 0. Suppose -54*d = 4*d + h. Are z and d equal?
False
Let y(s) = s + 7. Let q be y(-5). Suppose -3*z = 3*x + 2986 + 773, 2*z = q*x + 2498. Let w be 9/x*(1 + 1). Are -1 and w equal?
False
Let u = -235/4 - -107/2. Let q = 1548 + -1548. Is q greater than u?
True
Let t be 9/18*2 - 190. Is -173 greater than t?
True
Let n = -55084505 + 55058957.001. Let h = -25564 - n. Let g = h + 0.001. Which is smaller: g or -2?
g
Let a be (21/(-2))/((-150642)/(-243) - 4/(-54)). Are 1 and a equal?
False
Let a be (2712 - 2712)*((-2)/8 - (-2)/(-8)). Is a > 4/5359?
False
Suppose 17*y + 4 = 21*y - 4*m, 3*y + 13 = -5*m. Is -3/620 != y?
True
Let o be 0/(-1*(-4 - 9/(-3))). Let u be 9/366*(0 + 2). Is u less than or equal to o?
False
Let a be (-18)/14 + -18 + (-2304)/(-126). Is a less than 6/691?
True
Let h = -480001/192 + 2500. Which is smaller: h or -1.5?
-1.5
Let p = 20876 + -20877. Which is greater: -73/84 or p?
-73/84
Let s be ((-2)/124)/(8/(-7 + -185)). Let g = 2 - 3. Which is smaller: s or g?
g
Let x be 5/(1 - (-3)/(-4)). Let i = -33 - -33. Suppose -3*u - 5*c = -63, 5*u + i*u - 105 = -3*c. Which is greater: x or u?
u
Let s = 2/147 + -100/147. Suppose -67 + 51 = -8*o. Let t be (24/30)/(o/(-5))*-46. Which is smaller: t or s?
s
Suppose 7*w + 41 = -106. Let i be 3*((-4)/(-14) + 34/w). Let j be i/(-6) + ((-572)/48 - -2). Is 2/3 at least as big as j?
True
Let l be 8/(-12)*(-18)/4. Let g be (1 - -11)/2 - l. Suppose -s - g = -4. Which is bigger: 4 or s?
4
Let i be (-5)/(-25) - (-222)/15. Suppose 4*h + 3*t = -254, 4*h - 5*t + 345 = 107. Let g = i + h. Is -47 < g?
False
Suppose -5*z = -6*z - 2*u + 792, -5*u = 4*z - 3186. Which is bigger: z or 812?
812
Let h = 2120/3189 + 2/1063. Is -0.036 at most h?
True
Let w be ((-2)/(-4))/(8/(-208)). Let c be (-4 + w/(-4))*-1