n 25?
True
Suppose -6*k + 443 + 151 = 0. Let t be (-40)/22 - 18/k. Let o be ((-120)/(-175))/((-4)/10). Which is bigger: o or t?
o
Let c(z) = 5723*z + 2140. Let v be c(-3). Which is smaller: -15028 or v?
v
Let l = -0.0199 - 9.9801. Suppose 4*w = -5*a + 89 - 26, 33 = 4*w - 5*a. Which is greater: w or l?
w
Suppose -3*m - 2*p = -367, 477 = 5*m + 2*p - 136. Suppose -14*g = m - 11. Is 3 at least g?
True
Suppose -5*b + 561 = 1441. Let g = -172 - b. Let a be 8/5 + 2/2. Is g at least as big as a?
True
Suppose 714*u - 21550 = 739*u. Which is smaller: -860 or u?
u
Let p(h) = -136*h + 231. Let w be p(7). Is w at least as big as -721?
True
Let s = 0.061 - -0.016. Let p = 0.277 - s. Is p less than or equal to 4/7?
True
Let i = 98055/56 + -3501/2. Is 1 greater than or equal to i?
True
Let y = 31 + -13. Let i = y - 33. Let j be -2 + (1 - (18/i)/1). Is j equal to -19?
False
Let d = -724 + 1145. Which is greater: d or 418?
d
Let f = -9.80494 - 0.19506. Let j = -10.3 - -10. Do f and j have the same value?
False
Suppose -5*j - 65 = 2*d, 2*d = -3*j + 2*j - 77. Let b be 189*(4/36)/((-3)/(-9)). Let q = b + d. Is 23 at most as big as q?
True
Let w = -1 - -3. Suppose 0 = 4*i - 3*v + 34, -w*i - 8 = v + 4. Let o = 27.7 + -28. Which is smaller: i or o?
i
Let x = 30/799 - 46/47. Suppose -b + 556*n - 539*n = -253, 0 = -5*b + 4*n + 50. Is b greater than x?
False
Let z be (75/2)/((-4)/8). Let f be 91/z + -4 + (-39)/(-9). Is -1 != f?
True
Let n be (340/(-132) - -2) + 15/(-165). Which is bigger: n or 3.666?
3.666
Let y = -0.069 + -0.021. Which is smaller: -107 or y?
-107
Let j be (-4)/(88/(-11) - -12). Is j smaller than 5/137?
True
Suppose -15*h = 306 - 36. Suppose 2*o + 6 = 44. Let c = o + h. Which is greater: -4/19 or c?
c
Let j = -0.039 + -66.961. Let f = 67 + j. Let d be 0/(-3) - 1/43. Do f and d have different values?
True
Suppose 0*z + 5*i = 4*z + 3, -i = -5*z - 9. Let j = 62.275 + -63. Let r = j - -0.025. Which is smaller: z or r?
z
Let n be 678/(-8)*(1545/(-45) - -13). Which is smaller: n or 1811?
n
Suppose 2*l - 10 + 4 = 0. Let c be (l + (2 - 4))*-1. Let b be (-4 + (-12)/(-4))*c. Is 2/97 > b?
False
Let m = 291 + -230. Suppose -m*b + 69*b - 2360 = 0. Which is smaller: 294 or b?
294
Let n = 3.14 + -7.14. Are 247 and n non-equal?
True
Let u = -9600.6 + 9601. Is u smaller than -1014?
False
Let x be ((-87)/232)/((-3)/(-6)). Which is smaller: -2/113 or x?
x
Let i = -8270 - -5867. Which is smaller: i or -2402?
i
Let g be 2*(-5)/150*(-770)/21. Which is smaller: 2 or g?
2
Let t(y) = 5*y**3 - 7*y**2 - 16*y + 16 + 2*y**2 + 2*y**3 - 6*y**3. Let x be t(7). Suppose -x*l + 4 = -6*l. Which is smaller: 2/61 or l?
l
Let k = -41/489 - 423635/3912. Let m = 107 + k. Is -2 less than or equal to m?
True
Suppose -5*z = -2*w - 15 - 1166, 0 = -4*z + 2*w + 946. Let q = -231 + z. Is q < 5?
True
Let i(h) = -h**2 - 12*h + 116. Let a be i(6). Which is bigger: a or 360/47?
a
Let y(n) = -8*n**3 + 2*n**2 + 5*n - 5. Suppose 5*t - f + 4 = 22, -6 = -t + f. Let g be y(t). Let m be -1 + (g/70 - (-6)/21). Is -4 less than or equal to m?
True
Let y = 16.3 + 0.7. Suppose 8*k + 106 = -94. Let l be 10/k + -6*8/180. Is l equal to y?
False
Suppose -2*u + 5*j = 15, -5 = -u + 2*u - 2*j. Suppose 12 + 8 = u*d. Suppose d*q + 32 = -4. Is -10 at most as big as q?
True
Let y(b) = 35 + 8 - 8*b + 10*b. Let m be y(-19). Let p(a) = a**2 - 6*a - 2. Let w be p(m). Which is smaller: -22/3 or w?
-22/3
Suppose 2*l + m - 15796 = -0*m, -5*m + 23694 = 3*l. Let s be l*(-1)/(-130) - 4. Let t = -284/5 + s. Which is bigger: 0 or t?
0
Suppose -2*n - 14 = g - 2, 0 = -n - 2*g - 3. Let v = -3 - n. Suppose -6 + v = -h. Which is smaller: 0.9 or h?
0.9
Let g = 3909 - 3908.9. Which is smaller: g or -0.0405?
-0.0405
Let a(x) = -3*x - 5*x + 15*x - 6*x. Let s be a(3). Let f be (-1 + s)*5/(-25). Which is greater: -11 or f?
f
Suppose 2*c - 2*h - 125 + 31 = 0, 4*h + 41 = c. Suppose -2*u - 2*u = -r + c, 4*r = -5*u - 35. Let s be (-32)/7*u/(-22). Is s at least as big as -0.1?
False
Let g be ((6 - 2) + 64/(-12))/(-2 + -1). Is g at least -1083?
True
Let i = 26 - -7. Let j = 57 - i. Let d = 8 + j. Which is smaller: d or 0.1?
0.1
Let j = -4 - -5. Let u = -35.28 + -1.72. Let p = u - -2. Which is smaller: p or j?
p
Let p = 1077 + -581. Which is greater: -1 or p?
p
Suppose -f + 4*d = 349, -26*d + 16 = -30*d. Let w = 826 + f. Which is smaller: 460 or w?
460
Suppose -2*u - 28 = -3*m, -48 = -m + 5*u - 56. Suppose -4913 - 979 = -m*r. Does 491 = r?
True
Let n(d) be the second derivative of -d**3/6 - d**2 + 24*d. Let u be n(-3). Let z be 0 + (u + -3 - -9). Are 7 and z nonequal?
False
Let w be 3/4*-1*-8 + -3. Suppose -g - 2*o = 2*g - 3, o + w = 0. Suppose -g*l = -11*l + 80. Is l less than 48/5?
False
Suppose -6*d + 6790 + 63742 = -28*d. Which is smaller: -3207 or d?
-3207
Suppose 0*m = -l + m - 14, 0 = 3*l - 5*m + 52. Let w(g) be the third derivative of g**5/60 - 3*g**4/8 + 5*g**3/6 + 2*g**2. Let r be w(7). Is r smaller than l?
False
Suppose 172*s + 4310 = -4806. Which is smaller: -1029/19 or s?
-1029/19
Let q = 0.14 + 0.19635. Let g = q + -20.41735. Let s = -0.081 - g. Which is greater: s or 1?
s
Let o = 330.11 - 329.51. Let b = -6 + 24. Which is smaller: b or o?
o
Let v = -81380323/4239 + 19198. Is v < 0?
True
Let y = -439/18 - -145/6. Let l = 637 + -1429. Let k be 4/(-18) - (-112)/l. Which is bigger: k or y?
y
Suppose -14*w + 3 = -13*w. Suppose -w*z - 3 = -4*c + 3*c, 0 = -3*z - 2*c + 6. Let s be z*(2 - 12/8). Which is greater: s or 3/22?
3/22
Suppose 293 + 103 = -11*x. Let n(y) = -2*y - 122. Let f be n(x). Is f at most -48?
True
Suppose 16*k - 499 = -223 + 364. Is -48 > k?
False
Let j be (-109)/(-3) - (-2)/3. Suppose -536*m + 23261 - 3965 = 0. Is m bigger than j?
False
Let r be -16*2130297/(-494360100) + (-1)/(29/2). Which is smaller: r or 1?
r
Let x be ((-5)/((-817185)/(-6)))/(12 - 14). Which is greater: x or -1?
x
Suppose o = 2*i - o - 86, 5*o = i - 59. Let g = 124 + -126. Is g less than i?
True
Let i(z) = 22*z + 145. Let d be i(0). Let b be 87/d*(-312)/9. Is b < -2?
True
Suppose -5*k + 4*p = -10, -102*p - 25 = 5*k - 99*p. Let f = 17/3 + -43/6. Which is smaller: f or k?
k
Let r = -67.228 - -73.228. Suppose 5*a - 3*a + 20 = 0. Which is bigger: r or a?
r
Let o(n) = -106*n**3 - 6*n**2 - 2*n + 3. Let i be o(-1). Suppose 0 = -2*s + j + 117 + 93, 4*j + 204 = 2*s. Is s equal to i?
False
Suppose -5*p + 212 = 2*q, -5*q + 156 = p + 3*p. Let y be (-2)/8 + p/(-16) + 3. Let j be 66/(-14)*(y + 6)/(-6). Which is smaller: 4 or j?
4
Let c(h) = -h + 17. Let v be c(17). Let n be -24 + (v/(-1) - 5). Is n > -29?
False
Let q be -10*6/(-270) + -2 + 762/459. Which is greater: -1/36 or q?
-1/36
Suppose 3*q - 3*s - 714 = 0, 0 = 5*q + 3*s + s - 1199. Let d = q - 242. Let h = -949 - -6616/7. Is h <= d?
True
Let r be (-1)/(-2)*(-9 - -9). Suppose -s = -4*s + 4*a + 32, -s - 5*a + 17 = r. Suppose -5*t + 2 - s = w, 0 = 3*t + 9. Is 5 at least as big as w?
True
Let v(p) = -6*p + 1. Let f be v(9). Let w = f + 14. Let b be 76*6/(48/(-4)). Which is greater: w or b?
b
Suppose 0 = -o + 73 - 68. Suppose -15 + 11 = -d. Suppose g + d*f = -10, -3*f + o*f = 0. Which is smaller: -7 or g?
g
Let v = 803/17 - 2426/51. Let b = 4 - 3.84. Which is bigger: v or b?
b
Suppose -3*g - 3*i = 390, -3*g + 5*i = 3*i + 380. Is g >= -116?
False
Let h = -1.1919 - 6498.8081. Which is bigger: h or -1?
-1
Suppose 19*m = -18*m - 42*m - 1303974. Is -16506 at least as big as m?
True
Let i be 38 + -3 + -9 + 2 + 10. Which is bigger: i or -1/7?
i
Let c = -6306 + 4940. Is -1366 at least c?
True
Let q(n) = -n**3 + n**2 - 4*n + 2. Let f be q(0). Let x be 90/f - (-2 - 2). Which is bigger: x or 0?
x
Suppose 152884 = -161*i + 198*i. Is i smaller than 12392/3?
False
Let f be 9/1*116/(-3). Let m be (f/18)/((-2)/3). Suppose j - 3*t = 37, -3*t = 4*j - 12 - 91. Which is bigger: j or m?
m
Let t = -154.52 + 145.52. Let y = -9.2 + 0.2. Is y > t?
False
Let x(p) = -3*p**3 + 8*p**2 - 6*p + 5. Let o(g) = 26*g - 205. Let b be o(8). Let l be x(b). Is -15 <= l?
False
Let f = -400.024 - -339. Let o = 0.024 + f. Let c = o - -61.2. Which is bigger: c or -6?
c
Suppose 43*b = -88*b + 73*b + 58. Is b at most as big as -510?
False
Let a be (4/1 - (-2862)/(-742))*(-4151)/(-6). Which is smaller: 99 or a?
a
Let k(x) = 20*x**2 + 9*x - 21. Let q(t) = 10*t**2 + 