*m = -r - 7, 3*m - 5 = 5*r + 7*m. Suppose r*u = -27 - 0. Is u <= -26/3?
True
Let d(s) = -18*s**2 - 188*s + 18. Let t be d(-11). Let n be (t/(-184))/(0 + (-2)/4). Is 6/329 < n?
False
Let x(h) = -h**2 + 7*h - 9. Let t be x(6). Let y(a) = -a**2 + a - 4. Let o be y(3). Is o > t?
False
Suppose 3751*k = 3787*k + 45252. Which is bigger: k or -1?
-1
Let x(k) = 6*k**2 + 23*k - 3. Let u be x(-4). Let f be (((-216)/(-4380))/(6/20))/(-2). Is u bigger than f?
True
Let d = -1338 + 40159/30. Let p(y) = 4*y**2 - 889*y + 23877. Let r be p(191). Is d smaller than r?
True
Let h be 66/(-33)*((-13738)/(-16) + 0). Is h bigger than -1716?
False
Let u = 140 + -99. Let f = u - 31. Let m(h) = -11*h + 42. Let g be m(f). Which is smaller: -67 or g?
g
Let d(c) = -c**2 - c + 1. Let r(f) = f**3 + 21*f**2 - 59*f - 23. Let m(q) = 4*d(q) - r(q). Let s be m(-27). Are s and 2/25 equal?
False
Let y be 60/(-4) + 3/(-1). Let v = 558 - 577. Which is bigger: v or y?
y
Suppose -327 + 327 = 4*k + k. Which is smaller: k or -29/281?
-29/281
Let r(y) = 2*y**2 - 9*y + 18. Let u(g) = -g**2 + 4*g - 9. Let m(t) = 2*r(t) + 5*u(t). Let l be m(0). Let w be 2/l - 3/108. Is w equal to 0.22?
False
Let k = -462765.797 - -462975. Let i = k + -209. Which is greater: i or 0.1?
i
Let n = 2/102041 + -160925/3004291122. Is -1 less than n?
True
Let w be -3*(-2)/6 + 120. Suppose 2*v - 608 = -5*y, -v + 2*v = -3*y + 364. Which is smaller: y or w?
y
Let p = 393 - 399. Let n be 76/8 - (-6)/(-4). Let i be -1 + (-4)/(n/6). Which is bigger: p or i?
i
Let j be (-1452)/(-320) - ((-15)/(-48))/(-5). Suppose -5*k + 6 = -4*k. Which is bigger: j or k?
k
Suppose -46 = -r - 2*p, 3*r - 3*p = -0*p + 120. Let j = -127/3 + r. Let n = -330 - -315. Is j > n?
True
Let m = -13 + 14. Suppose 0 = 4*t + 2*v + 6, 4*t + 6*v - 3*v + 3 = 0. Let b be m/(4 - 4 - 3/t). Which is smaller: b or 2/107?
2/107
Let j = -749 - -494. Which is smaller: j or -248?
j
Suppose 0 = -q + 2*d + 14056, -70175 = 64*q - 69*q - 5*d. Is 14042 != q?
False
Let f(q) = -17*q + 92. Let d be f(5). Let w = 353 + -1387/4. Which is bigger: w or d?
d
Let h = -25836 + 25424. Which is greater: h or -7?
-7
Suppose -1099*h = -1132*h + 45606. Does h = 1382?
True
Let d be 21*(875/987 - (-4)/(28/(-7))). Is d greater than -3?
True
Let a be (8/2 - -1) + 8658. Is 8662 less than or equal to a?
True
Let k be (-1 + -3)/((-44)/15 - -3). Suppose -80*t + 76*t = -112. Suppose t*o - 38*o - 590 = 0. Is o greater than k?
True
Let s = -4373 - -3693. Which is bigger: s or -677?
-677
Let a = -439 - -435. Is a not equal to 2/69?
True
Let h = -287 - 244. Let w = -531.06 - h. Is -0.03 at least w?
True
Suppose 10092 = -3*w - 2*a + 28563, -5*a = -w + 6157. Which is smaller: w or 6156?
6156
Let i be (-3)/15 - 282/(-10). Let h be (87/(-12))/(2/8). Let q = h + i. Which is bigger: -2/175 or q?
-2/175
Let j = -19/615 - -5053/4305. Suppose -m - 4*m = z - 5, -3*z = -4*m + 4. Let i be -2*(3 + -4)*m. Which is greater: i or j?
i
Let z(g) = 2*g**2 + 15*g + 17. Suppose 4 = 3*f - 86. Suppose 5*c = -0*c - f. Let w be z(c). Which is smaller: 6 or w?
w
Let l = -30163 + 30404. Is l < 225?
False
Let d = 80.7 - 75.32. Let p = 2.04 - d. Is -0.1 not equal to p?
True
Let l(k) = -k**3 - k**2 - k + 1. Let s be l(-1). Let w be (s/(-8))/(((-90)/(-48))/5). Let h be 5/4 + (-25)/20 - -10. Is w equal to h?
False
Let o = -9153183/1234 - -14835/2. Which is smaller: -2/5 or o?
-2/5
Suppose -22*s + 4704 = 14*s - 38*s. Is s greater than -2350?
False
Suppose -d = -3*g - 92, -3*g - 9913 + 9851 = 5*d. Is -79 less than g?
True
Let y be 308 - (11 - (25 + -4)). Is y at most as big as 320?
True
Let b = -96024 + 1825324/19. Which is greater: b or 47?
47
Suppose 21*v - 66*v = -270. Is v smaller than 13?
True
Suppose -17*z - 5011 = 2267 - 597. Which is smaller: z or 3?
z
Let g(t) = 3*t + 158. Let u be g(0). Suppose u = d + 60. Let m be 3 + 12/(-18) + d/(-6). Which is greater: m or -12?
-12
Let l be -3 + 3*(-25736)/(-25656). Is l at most 0?
False
Let z be ((-1926)/(-108) - 18)*-44046. Are 7341 and z non-equal?
False
Let a be ((-7)/(-14) - 0)*-4. Let v be 1/((-7 - -6)*a/(-146)). Which is smaller: -72 or v?
v
Let g be ((-9027)/(-408) - 22)/(-1 + (-541)/(-12)). Which is smaller: -1 or g?
-1
Let q = -111 + 114. Let p be ((-60)/16)/(q/40). Is -50 >= p?
True
Suppose 0 = -46*p + 34*p + 408. Suppose 0 = 2*j - p - 30. Let i(q) = q**2 + 2*q - 5. Let d be i(-4). Are j and d equal?
False
Suppose -4*w + 20 = 0, 21 = -7*f + 3*f + 5*w. Suppose 96 + 39 = -9*g. Let q be (g/(-20))/(6/4). Which is smaller: f or q?
q
Let k = -660480/191 - -3458. Let m be (-3 - (3 - 4))/(52/26). Is k greater than or equal to m?
True
Suppose r = -2*o - 2*o + 17, -2*o + r = -7. Suppose -5*l = -k - 2*k - 166, 79 = 2*l + 3*k. Suppose 4*t - l = v - 11, -t + 23 = o*v. Which is smaller: t or 8?
t
Suppose 0 = 12*n - 13*n + 213. Let f = n - 219. Is 8 less than f?
False
Let h = 29 + -35. Let a(y) = -y**3 - 5*y**2 + 6*y + 2. Let z be a(h). Suppose l - 3 = -g, l - 4 - 2 = -z*g. Which is smaller: l or -4/13?
-4/13
Let t(g) = -g**3 + 32*g**2 - 83*g + 46. Let z be t(23). Is 2899 less than z?
False
Let z = 35317 + -1518531/43. Is z bigger than 3?
False
Let m be (-594)/(-726) + (-4)/(-22). Let j be -4*m + (-32)/16. Which is greater: j or -23?
j
Let m be (-2)/74*(-2 + 4)/2. Let q(d) = 41*d + d**2 + 52*d - 78*d + 13. Let a be q(-14). Which is smaller: m or a?
a
Let s be (6 - (-1035)/(-175))*152/6. Let z = s - 164/15. Let i = z + 66/7. Which is bigger: i or -3?
i
Let i = 444 + -432. Let h be i/9*(-7 - -10)*-2. Is -13 at most h?
True
Let n = 37 - 32. Suppose -4*d - d = -n. Which is smaller: -3/52 or d?
-3/52
Let p(g) = -g**3 + 29*g**2 + 31*g - 30. Let n be p(30). Let q be 2/10 - 5566/5. Let i = -63443/57 - q. Which is smaller: i or n?
i
Let h(y) = -64*y - 4709. Let o be h(-72). Which is bigger: -115 or o?
o
Let t(f) = -6*f + 40. Let d be t(5). Let o be 4/((-40)/78) + d/(-50). Is 18/5 > o?
True
Let v(g) = -376*g - 4. Let a be v(8). Let c be ((-3020)/a - 1)*18/4. Is c not equal to -1?
True
Suppose -14598 = -2*v + 113*s - 112*s, v - 7321 = -5*s. Is v at least -2/7?
True
Suppose 0 = -2*v + 18 - 8. Let j(w) = -3*w**2 - 9*w - 15. Let z(a) = -a**2 - 1. Let t(h) = v*z(h) - j(h). Let b be t(5). Are 2 and b equal?
False
Let t(v) = 89*v**3 + 2*v + 1. Let i be t(-1). Let u be ((-356)/(-20))/(5/(-25)). Which is smaller: u or i?
i
Suppose -2*d + 11 = g + 3, -4*d = -g - 4. Suppose 0 = 4*n + g*z - 40, 2*n + 5*z = 2 + 3. Suppose -10 = 25*l - n*l. Is l != -2/31?
True
Suppose 582 = 130*p - 33*p. Let h be (-2)/10 + 84/70. Is h > p?
False
Let i = 67.64 - 5.4. Let u = -62 + i. Let h = 0.3 - 0.2. Which is smaller: h or u?
h
Let c = 2.587 - 2.78. Let n = c + -21.807. Let h = 1.9 + -2. Which is greater: n or h?
h
Let v = 87.3 - 87.4. Is v < 12.42?
True
Let r(p) = 37*p**2 - 1278*p + 103. Let s be r(34). Is -596 not equal to s?
True
Let l = -87617/14 + 6255. Let x = 5/2 + l. Let f(t) = t**2 - 5*t + 4. Let s be f(3). Which is bigger: x or s?
x
Let n = -33.3 + -26.5. Let o = n + 66.8. Which is smaller: -23 or o?
-23
Let t be ((-7)/(-63))/((-4)/(-36)). Is t at least 81/250?
True
Let h = -114 - 742. Let u be h/(-112) - -1 - (-6)/(-4). Are u and 6 non-equal?
True
Let z = 311.4 - 304.4. Let y = 0.3 - 0.3. Let v = 3 + y. Does v = z?
False
Let w = -6455/2 + 3560. Which is greater: w or 333?
333
Let n = -38130061/60440 - -5047/8. Is n less than -1?
False
Let p = 21139 + -78510245/3714. Is p at most 0?
False
Let i be (((-5)/(-2))/5)/3. Suppose 11*d + 8*d + 5206 = 0. Let h = d - -274. Which is bigger: i or h?
i
Let y = -4200 + 4214. Which is smaller: y or 31?
y
Let m be 3 + 1 - (-8)/(-2). Let u = -8943501/775 - -11540. Are m and u nonequal?
True
Let v = 81.47 + -81.37. Is 84 at most v?
False
Let v be (-7406)/42 - (-2)/6. Let l = 240 + v. Is 59 < l?
True
Let s = -8.5 - -6. Suppose -325*v - 880*v + 562*v - 1379*v + 20220 = 0. Which is smaller: v or s?
s
Let g = 4.91 + 0.09. Let y = g + 4. Let a = 0.8308 + 0.1692. Which is bigger: a or y?
y
Let r = -5 + 1. Let c(n) = -n**3 + 5*n**2 - 6*n - 1. Let k be c(r). Suppose -4*l + 77 = -k. Is 60 bigger than l?
False
Let h be (-26)/(-56) + -2 + 11*(-18)/(-693). Which is smaller: -0.23 or h?
h
Let d be (4*13)/(-1)*(-2)/44. Let u = 52/11 - d. Suppose -3*f + 6 = -0*f. Which is greater: u or f?
u
Let 