*m + 7*m - 7 = 0. Which is bigger: m or o?
m
Suppose 1334 = -35*f - 207 - 3079. Which is bigger: f or -0.2?
-0.2
Let r be 6 + (1 - (-3 - -1)). Suppose 0 = -7*z + 2*m + 167, -4*z + 25*m + 77 = 30*m. Which is bigger: z or r?
z
Suppose -1679*i = -1672*i + 1302. Which is bigger: i or -147?
-147
Suppose 5*d - 604 - 319 = 4*w, 0 = -2*d + 4*w + 362. Let z = -141 + d. Do z and 46 have the same value?
True
Let j be 10/35 + 152/(-336) - (-6243)/(-18). Is j less than or equal to -346?
True
Let m = -5/6423 - 2281/13571799. Let c be (0*(-4)/(-20))/3. Is m at most as big as c?
True
Let d be 89 - (1 + -4)*1. Let w = d - 87. Suppose -3*o - w*t = 17 - 0, -t = o + 3. Which is bigger: o or -2/161?
o
Suppose 0 = 3*m - 3, 3*m = 4*l + 8*m + 3. Let w = 180495 - 1266010/7. Let q = w - -363. Which is smaller: q or l?
l
Let p be (9 - (9 - 6)) + (-166)/3. Which is greater: p or 11?
11
Let q = -9.4 - -1.5. Let v = -44.1 + q. Let c = 52 + v. Is c > -17?
True
Suppose 5*w + 0*w = -r - 27, 4*r - 2*w = 2. Let s be (r/6)/(1/(-3)). Let h = -217 - -240. Do h and s have different values?
True
Let a(k) = -256*k + 195. Let u be a(-6). Which is smaller: 1734 or u?
u
Suppose 4*v - l - 605 = 0, -15*v = -17*v + 3*l + 295. Let z be (-5)/((-5)/2) + 9. Suppose v = -8*o - z*o. Which is smaller: -14 or o?
-14
Suppose 35 - 5 = -5*n, 3*f + 5*n = -3162. Is f at most -1044?
True
Let l(v) = 3*v - 3. Let o = 27 - 21. Let s be l(o). Suppose -s = -3*b + j, -10 = -2*b + j - 0. Is b bigger than 4?
True
Let u = -64 + 64. Suppose 3*k = 12, u*y + y - k = -4. Let o be (3/1)/(-15 + 2). Which is smaller: y or o?
o
Let g = 13 + -36. Let q = g + 19. Let r(s) = -s**2 - 5*s - 4. Let h be r(q). Is h less than -1/67?
False
Let a = 1.0548 + -0.0548. Is 3361 equal to a?
False
Let l be (((-2)/26)/1)/(2 - 3). Let a(b) = 8*b - 19. Let z(k) = -23*k + 57. Let p(y) = 8*a(y) + 3*z(y). Let w be p(4). Which is bigger: w or l?
l
Let p(c) = 59*c**3 - 4*c**2 - c - 1. Let l be p(2). Is l greater than or equal to 452?
True
Let q = 7836 - 7838. Which is bigger: 277 or q?
277
Let p(m) = -283*m - 4812. Let f be p(-17). Is f < 18/1303?
True
Let z be 683280/(-16632) - (-2)/(-33). Is -41 bigger than z?
True
Suppose -24*v = -27*v + 5*f + 25, 4*v = 5*f + 20. Let k = 10.73 + 0.27. Is v > k?
False
Let b = 125 - 123. Suppose b*j - 11 + 37 = 0. Let i be (10/5 + 0)/((-2)/j). Which is greater: 6 or i?
i
Let i = -284 + 438. Let g = i - 320. Which is greater: g or 2/9?
2/9
Suppose -23*i - 18 = -10*i - 16*i. Which is greater: i or -1/11?
i
Suppose -2*z = 4*n - 43 - 5, 5*n - 3*z = 49. Suppose 5*c - 2*t - 2*t = n, 5*c - 20 = -5*t. Suppose c*w + 1 = -5*u - 10, u = 5*w + 9. Are w and 0 non-equal?
True
Let h(p) = -430*p**2 + 32 + 214*p**2 + 28*p + 214*p**2. Let j be h(15). Is j at least 2/3?
True
Let b = 5.38 + -5.571. Is -5 at most as big as b?
True
Let z(x) = 6*x - 110. Let r be z(17). Let g be 1092/9765 - r/(-60). Is g greater than or equal to 1?
False
Let t = -1014.43 + -64.57. Which is smaller: t or 1/3?
t
Let n be (-10)/((-296760)/7371) - (30/(-8) + 4). Is -1 equal to n?
False
Let k be (13/(-15))/((-325)/650). Do 3 and k have different values?
True
Suppose -2*h = -4*y, 5*y - 1 = h + 2. Let c be 11/h*(-196)/(-539). Is 28/9 greater than c?
True
Let j be (-1)/(-7 + 12 - 4). Is 21/131 >= j?
True
Let c be (-2040)/144*(11 + -23). Is c greater than or equal to 172?
False
Let l be (1228/(-246) + (9 - 4))/(10/(-6)). Which is greater: -1 or l?
l
Let q = 24098.798 - 24097. Is -3 greater than or equal to q?
False
Suppose -209*i = -219*i + 11690. Which is bigger: i or 1168?
i
Suppose 0 = -25*o + 283 + 82 - 65. Let l = -4/805 - -171/66815. Let f = 15358/1245 + l. Is o at most as big as f?
True
Let p = 294 - 269. Suppose -4*u + 3*u + p = 5*w, 5*u + 3*w - 15 = 0. Is -6/85 at most as big as u?
True
Let x(z) = -z**2 + 217*z - 8413. Let b be x(140). Which is smaller: b or 2363?
2363
Suppose 6*g = -v + 2*g + 32, 214 = 5*v + 2*g. Let f = v - 41. Let q be (99/(-12))/(f/(-2)). Which is smaller: q or 7?
q
Let a = -27 - -2. Let l = 25.13 + a. Let j = l - 0.03. Is -6 <= j?
True
Let n(q) = -q**2 + 10*q + 1. Let a be n(8). Let t = -17 + a. Suppose -3*l + d - 46 = t, -l - 5*d - 7 = 3. Are l and -13 non-equal?
True
Let u be (30/80)/(5 + -29*(-259)/(-1498)). Is 26 less than or equal to u?
False
Let n(k) = k**3 + k**2 - 106. Let r be n(0). Suppose -5*q - 4*l = -1222 + 1796, 5*l = -2*q - 250. Which is greater: q or r?
r
Suppose 121*f = -154 + 33. Which is smaller: -1/624 or f?
f
Let c = -5578.289 - -5585. Which is bigger: 2 or c?
c
Let t be 2717/392 + ((-11)/(-8) - 1). Let f = t + -120499/16513. Which is bigger: f or 1?
1
Let o = 9.32 - 6.49. Let r = -187.83 + 188. Let n = o + r. Which is smaller: n or 1?
1
Let p = -0.1809 + 492.1809. Is -0.8 <= p?
True
Let c be (-747)/2988 - 1/(-4). Let q = -682937/7976 + 685/8. Are c and q equal?
False
Let k(q) = -28*q**3 - 21*q**2 + 50*q - 26. Let b be k(2). Which is bigger: -249 or b?
b
Let y = 8217/4 - 2070. Are y and -1/2 non-equal?
True
Let m(k) = 596*k - 1805. Let u be m(3). Which is smaller: 188 or u?
u
Let a(b) = -b**3 - b**2 + 3*b. Let w be a(-2). Let g be (w + 40/16)*-1. Which is smaller: -257 or g?
-257
Let j be 28/36 + (-4)/(-18). Let b be j + (-44)/12*-1. Suppose -4*z = 16, -5*i + 40 = -0*i - 5*z. Which is bigger: i or b?
b
Suppose 7*z = -3*z + 240. Let f be ((-20)/z)/((4/1)/8). Are -2 and f equal?
False
Let u = 4 - 175. Let v = 170 + u. Which is smaller: v or -6?
-6
Suppose -10*g + 1792 = -28. Which is smaller: g or 187?
g
Let c(o) = -210*o**3 + o**2 + 3*o + 3. Let u = 55 + -56. Let i be c(u). Which is bigger: i or 213?
213
Let p be (-3 + (-44)/(-14))*-24. Suppose -13 = -v - 2. Suppose v*j + j + 48 = 0. Which is bigger: j or p?
p
Let q be 71/(-426) + 28436/170328. Is 0 != q?
True
Let q = 408 - 409. Let w be 12/(-6) - (q - 6). Suppose r = 5*r - 8. Which is smaller: w or r?
r
Suppose x + 2 = 2*s, -4 - 9 = -4*x + s. Suppose -x*w + w = -132. Is 44 equal to w?
True
Let x = -213.501 + -0.499. Let h = 214.1 + x. Does h = -74?
False
Suppose 5*t - 163 = 2*s, 3*s = t - 135 - 103. Is s != -78?
True
Suppose 3*f + 10 = -5*o, -514*o + 15 = -519*o - 4*f. Which is bigger: o or 2/755?
o
Let z(g) = -16*g**2 + 325*g + 3295. Let t be z(-10). Is t < -1555?
False
Suppose 0 = -2*w - 3*y + 3612, 24*w + 5407 = 27*w - y. Let q = -9108/5 + w. Are q and -18 equal?
False
Let c(v) = 39*v - 12. Let j be c(5). Let w = j - 4574/25. Suppose -3*u = 5*u + 5*u. Is u at least as big as w?
False
Let v = -13825 + 2751181/199. Let z be (-5)/((-75)/45*3). Is v greater than or equal to z?
False
Suppose 9*h - 4*a + 141 + 907 = 0, -2*h = -2*a + 234. Which is smaller: -157 or h?
-157
Suppose -21*k + 19*k + 3*g = 3673, -5*k = 5*g + 9170. Is -1835 less than k?
False
Suppose -2175 = -2*d + 3*o, -4793 = -3*d - 4*o - 1471. Is d at most as big as 1099?
True
Let t be (-4)/(-2 - -6) - (-1 + -57). Suppose 29 = -4*m + t. Let u be (8 - (-42)/(-7))*m/2. Is u at least as big as 9?
False
Suppose 7*y - 4*w - 24 = 3*y, -3*w = -y + 10. Let t(z) = -z + 11. Let r be t(y). Let q be (6/r)/(1/(-28)). Is q greater than -25?
True
Suppose -3*g - 2*u = 10, -6*g - 2*u = -10*g + 10. Is -5/884 > g?
False
Let i(j) = -6*j + 66. Let n(u) = u**3 - 5*u**2 - 2*u + 21. Let o be n(5). Let l be i(o). Which is smaller: l or -2?
-2
Let j = 16.93 + -17. Let z = j + -0.09. Let a = 8832 + -8831.9. Which is smaller: a or z?
z
Let c = -3474 - -664. Which is bigger: c or -2811?
c
Suppose 16*s = s + 45. Let q be (-1)/(-6)*2*s. Which is greater: 2/25 or q?
q
Let j(s) = -27*s**2 + 45*s - 123. Let h be j(3). Is -16 greater than h?
True
Let n(m) = -m**2 + 27*m - 181. Let v be n(10). Let s(j) = 7*j**2 + 76*j - 10. Let u be s(v). Is u less than 1/2?
False
Let y be 29/(-1) + -4 - 3. Let q be y/(-15) - ((-110)/(-25) - 4). Suppose 3*s = -3*w + 4*w - 6, -2 = q*w + s. Which is bigger: 3/26 or w?
3/26
Let q = 4529 - 4544.7. Which is smaller: 0.3 or q?
q
Let a = -7331.8 - -7066. Is 0 equal to a?
False
Suppose d = 1688 + 2893. Is 4581 greater than d?
False
Let d = 1255/3213 - 11/27. Let v be ((-69)/(-9))/((-2)/(-12)). Let x = -45 + v. Which is smaller: d or x?
d
Let a be -1*(328/246 + (-2)/6). Is a >= 2/83063?
False
Let h = -69.4 - -98.4. Which is bigger: h or 66?
66
Let x be ((-130)/35)/(44/(-154)). Let a(b) = 3*b**3 - 2*b**2