 + 894 = -13370*d + 13372*d, 8*d - 3756 = -4*u. Which is smaller: y or d?
d
Let b(r) = -r**3 - 19*r**2 + 4*r + 16. Let x be 3 + -19 + 1*(-4 + 1). Let l be b(x). Suppose -4 = w + 3*w. Is l less than w?
True
Let c = -2547818/3805 + 3348/5. Which is smaller: c or -1?
-1
Suppose -3*w - 330 = 4*m + 2*w, 4*m - 3*w + 346 = 0. Let s = -82 - m. Suppose -6 = -8*r + 10*r, 0 = 2*k + r + s. Is 0 greater than k?
False
Suppose 0 = -5*o + 719 + 841. Let x be 41 + 16 + 5577/(-99). Is o less than x?
False
Let v(u) = -181*u + 1036. Let b be v(-45). Is b less than 9180?
False
Suppose -5*x + 39 = -4*f, 2*f + 2*x + 61 - 19 = 0. Let s be (14848/(-1404))/f - 4/6. Which is smaller: s or -1?
-1
Let f = 2870 + -2913. Are f and -8 equal?
False
Let z(s) = -s**2 + 3. Let d be z(2). Let x be (d/((-2108)/(-4776)))/110. Let m = 1/341 - x. Is m at least as big as 0?
True
Suppose 2*i + 2*x = -74, 0 = -2*i - 0*x + 4*x - 68. Let o be (-414)/((-9)/(i/(-8))). Are o and 207 unequal?
False
Let t(s) = s**2 + 6*s + 5. Let q be t(-5). Let c = 1215 - 567. Let h be c/756 - (-30)/(-28). Is h at least as big as q?
False
Let t = -298 + 304. Let h be 1 + 6 - (-40)/((-48)/t). Which is bigger: 43 or h?
43
Suppose c = 5*j - 1, -2*c = -4*j + 86 - 84. Let b be (1/20)/((-158)/(-5)). Is b smaller than j?
False
Let v = -1407/22 + 329567/5170. Which is greater: v or 0?
0
Suppose -185*k + 148*k - 75563 = -25021. Does -1365 = k?
False
Let q be (-8 - -9)/(1/55). Let r be 2/(-3) + (256/(-320))/(3/(-205)). Which is greater: q or r?
q
Let m = 0 - 0. Suppose -2*i - 10 = -5*j + 9, -j + 7 = -2*i. Let c be ((-89)/1246)/(2/16*i). Which is smaller: m or c?
m
Suppose 0 = 3*w - 3, 4*r - 3*w = -0*r - 51. Let y be 1*(-2)/3 - 68/r. Suppose -i = -x + 47, 0*i = -y*i + x - 231. Which is greater: 1 or i?
1
Let u(c) be the second derivative of 0 - 15/2*c**2 + 35*c + 1/6*c**3. Let f be u(13). Which is smaller: -9/13 or f?
f
Suppose 38*w - 25 = 42*w - 5*d, -5*w = -5*d + 25. Is 188/131 less than or equal to w?
False
Let o = -4000 + 3512. Which is bigger: o or -1947/4?
-1947/4
Let r(t) = -t**3 + 8*t**2 - 12*t + 25. Let g be r(6). Let c(y) = -y**3 + 26*y**2 - 23*y - 33. Let u be c(g). Is u equal to 14?
False
Suppose -4*l = -15*l + 605. Suppose p - l = -30. Which is greater: p or 19?
p
Let d = 6150 - 6373. Which is greater: -214 or d?
-214
Let m(i) = 406*i - 9327. Let y be m(25). Which is bigger: y or 842?
842
Let l = -45.169549 - -0.169549. Let n = -1 + 1. Is n smaller than l?
False
Let i be (-2418)/(-4433) - (8/110)/((-4)/(-30)). Which is greater: i or 2/2379?
2/2379
Let w(f) = -6*f**2 + 2*f - 1. Suppose 7*h - 9 = -2*h. Let r be w(h). Is r at least -20?
True
Let r(k) = -k**2 - 7*k + 22. Let w be 33/(-6) + -4 - 3/(-6). Let j be r(w). Suppose 2*h = -j*p + h + 18, -4*h - 8 = 0. Which is bigger: p or 29/5?
29/5
Let h be 78/(-546) + (-12518)/(-14). Which is smaller: h or 891?
891
Let r be (-2 + 3)/(7/(-877)) + 64/224. Is -122 greater than r?
True
Let x be 526/(-24) + -4 + 611/156. Let y = -190/9 - x. Which is bigger: y or -0.1?
y
Let b = -109 - 15. Let g = b - -123.949. Which is greater: -0.1 or g?
g
Let g(o) = 2*o**3 - o**2 + 2. Let s(r) = 5*r**3 - 5*r**2 - 5*r - 2. Let u(j) = 2*g(j) - s(j). Let m be u(4). Is m at least as big as 1/9?
True
Suppose -3*l = 2*s - 398, 0 = -4*s - 23 - 9. Is 124 greater than or equal to l?
False
Suppose 31*h + 4734 = 13*h. Let u = 262 + h. Is u < 3/430?
True
Let t = 44 - 32. Let r(k) = -2*k**2 + 13*k + 8. Let z be r(0). Which is bigger: z or t?
t
Suppose -26*a - 5*a - 93 = 62*a. Is -1/5943 less than or equal to a?
False
Suppose 2*d = -2*t + 496, 6*t + 35*d = 40*d + 1521. Which is smaller: t or 1752/7?
1752/7
Let k = 52888.77 - 49765.8. Let c = 3146 - k. Let l = c - 23. Which is smaller: l or -1?
-1
Let v be (2/(-16))/(-15*26/3120). Which is smaller: 4/7071 or v?
4/7071
Suppose 2*g = -3*l + 937, 3*g = 4*l + 678 + 685. Let s = g - 462. Is 2/65 bigger than s?
True
Let m = -50.85 + -0.15. Let q = -51 - m. Let g = q + 1.6. Is 2/5 at least as big as g?
False
Let m(v) = -1201*v - 2424. Let w be m(-2). Suppose 3*h - 5*r = -45, 3*h + h + 3*r + 89 = 0. Which is bigger: w or h?
h
Let y = -9/202 + 9347/101. Is 92 bigger than y?
False
Let s be 16/(-416) - (-100)/65. Is -1003 greater than s?
False
Let u(f) = -10*f**3 + 38*f**2 + 4*f + 15. Let o be u(4). Which is greater: o or -1/19028?
-1/19028
Let a be ((-8)/5 - 89872/(-2870)) + (-3 - -1). Is 27 equal to a?
False
Suppose 2*k - 2*k = 11*k. Let z be k*(12/9)/4. Which is bigger: -1/504 or z?
z
Let y(r) = r**3 - 2*r**2 - 3*r + 2. Let c be y(3). Let l be (-1)/(-4)*c*136. Suppose -6*g + 146 + 268 = 0. Which is smaller: l or g?
l
Let r be (1015/435)/(6/(-60)). Let t be 2/(-8) + (-95)/4. Which is bigger: t or r?
r
Let s be -2 + (-53)/(-14) + -2. Let n(o) = -113*o - 3502. Let m be n(-31). Which is smaller: m or s?
s
Suppose -3*b + 8*k + 7363 = 6*k, 0 = 3*b + 4*k - 7333. Is 2452 greater than b?
True
Let k = -51 - -1477/29. Suppose -6*u - 22 = -4. Let v be u*(-1)/(-9)*3. Is v at most k?
True
Let i = -0.401 - -0.778. Let o = i + -1.377. Which is smaller: o or 22?
o
Let l = 1696782263/8263 - 205347. Which is bigger: l or 1?
1
Suppose 5048*d - 3773 = 5055*d. Which is bigger: d or -538?
-538
Let r(d) = -d**3 + 22*d**2 - 39*d - 14. Let o be r(20). Suppose -2*b - o + 3 = -g, 0 = b + 2. Which is smaller: -12/5 or g?
-12/5
Let a(z) = -62*z - 994. Let l be a(-15). Which is greater: l or -781/12?
l
Let x(v) = 2*v**2 - 10*v - 141. Let g be x(-18). Is 685 bigger than g?
False
Suppose g + 30*g - 10*g = 0. Suppose 2*z + 2492 = -2*z. Let r = z - -14339/23. Is g > r?
False
Let k = 2 - 3. Let f(u) = -u**3 - 6*u**2 - 6*u + 7. Let i = 120 - 124. Let o be f(i). Is k smaller than o?
False
Suppose -1713*h + 78045 = -1834*h. Which is smaller: h or -643?
h
Suppose 0 = -3*o - 3*h + 1836, -3*h = -2*o + 1474 - 230. Which is smaller: o or 4?
4
Suppose -4*k = -3*u + 2*u + 16, 5*k + 20 = -2*u. Suppose 21*c = 20*c + 2442. Let z be 840/c + 10/(-55). Which is greater: z or u?
z
Let c be (8/156)/((-4)/(-6)). Let k = c - -15/143. Is k at least 0?
True
Suppose 8658 - 114954 = 30*f + 2334. Is f greater than -3621?
False
Let w = -7.41 + 7.31. Is w greater than or equal to -38.8?
True
Let s(a) = 23*a - 89. Let q be s(-7). Let i = 249 + q. Which is smaller: i or 0.7?
i
Let m = -8115 - -8115. Which is smaller: m or 5/84?
m
Suppose 5*z + 121 = 2*i, 15*z = 17*z - 2*i + 58. Is -491/22 >= z?
False
Let d be (-59)/(-8) - (-115)/(-46). Let z = -39 + 44. Which is bigger: d or z?
z
Suppose -5*b = -2*f + 3059, 0*f + 3068 = -5*b - f. Let x be 422600/(-690) - (-6)/(-9). Let p = b - x. Which is greater: 1 or p?
1
Let z be 6 - (-308)/760 - 2/(-10). Is z less than 8?
True
Let s be ((-123)/369)/(1/(-1359)). Which is smaller: 454 or s?
s
Suppose -1758 = 4*f + 2*b, -f + 4*b = 688 - 217. Which is smaller: f or -444?
-444
Let n be (-12 + (-7856)/(-656))*(0 - 21). Are 1 and n non-equal?
True
Let s = -4060.43 + 4166. Let w = s - 106. Let r = w - -0.53. Which is smaller: 24 or r?
r
Suppose 0 = 74*f + 114*f + 313330 + 55902. Is f equal to -1960?
False
Let h = -3054 - -3053. Is -3/2281 greater than h?
True
Suppose -12*i = -3021 - 6867. Is i greater than 824?
False
Let x be (-8 + 10)*(-3 - -1)*-2. Suppose 7*n - x*n = -40. Let b be 6/(-33) + 453/11. Is n bigger than b?
False
Let g = 101 - 93. Suppose 7*i - 4 = g*i. Which is smaller: 2 or i?
i
Let g(z) = 137*z - 64. Let a(q) = -68*q + 32. Let f(n) = 9*a(n) + 4*g(n). Let l be f(3). Do -160 and l have the same value?
True
Let x = -0.4506 - 0.5494. Is -4/2447 at most as big as x?
False
Let l(d) = -2*d - 3. Let c be l(-2). Suppose 0 = f - i - 5, -9 = f + 4*i + c. Let a be (-468)/(-60) - (-24)/(-4). Are a and f equal?
False
Let v = -145.57 + -7.43. Let i = 277 + v. Which is greater: 2/11 or i?
i
Let k = 3664 - 3678. Is k less than -18?
False
Suppose 259 = 5*u + 219. Suppose 3*i = -q - 2, -4*q + u*i = 3*i - 9. Is q not equal to 2/83?
True
Let n = -17 + 12. Let c = -166 - -222. Let w = -60 + c. Which is smaller: n or w?
n
Let q(b) = b**3 - 6*b**2 + 4*b - 25. Suppose -3*i + 9*i = 36. Let p be q(i). Which is greater: -5/7 or p?
-5/7
Let k be (((-15)/(-300))/1)/((-29)/4). Which is smaller: -0.4 or k?
-0.4
Let d be (-6362211)/10613440 - ((-3)/5 + 0). Which is smaller: -1 or d?
-1
Suppose -38*i - 15 