3. Which is smaller: r or h?
r
Suppose 31*f + 44 = -4*w + 35*f, 4*w + 9 = -3*f. Let z = 2 - 0. Suppose 0 = z*s + s + 21. Is s at most as big as w?
True
Let x = 732 + -2929/2. Which is smaller: -733 or x?
-733
Suppose 56*m = 51*m. Suppose m = 11*c - 73*c + 124. Let d = -2904/7 + 416. Is c smaller than d?
False
Suppose -9*l = 1076 + 616. Let x = l + 211. Are 19 and x unequal?
True
Let x = -3228 - -3356. Which is smaller: x or 124?
124
Suppose 5*x + 4*u = -51, -5*x - 48 = -4*u - 29. Is x at most -33?
False
Let g be (-4)/(-26) + (-222)/(-78). Suppose 2*w - 5 = -g*c + 3*w, 4*c - 4*w + 4 = 0. Let q be (1/(c/9))/(-5). Which is smaller: q or 6?
q
Let l be (546/18)/((-7)/(-546)) + 2. Is l greater than 2368?
False
Let b = -2/169 + 173/338. Which is smaller: b or 24?
b
Let f = -329126 + 3647045209/11081. Is 1 >= f?
True
Let m be 4/1*6/8. Let z be (18*3/63*2)/((-26)/(-2093)). Suppose 4*p + 6*b + 214 = 4*b, m*p - 3*b + z = 0. Is -51 at most as big as p?
True
Suppose 5*m = m + 132. Let g = -9 - m. Let i = g - -68. Do 26 and i have different values?
False
Let z = 17311 - 79024713/4565. Which is smaller: z or 1?
z
Suppose 23*s = -80*s - 37286. Is -4692/13 smaller than s?
False
Let y = -51189 + 280157395/5473. Let q = y - 311945/43784. Is q greater than or equal to -7?
False
Suppose -x - 12 = 4*z + 3*x, -4*x = 3*z + 14. Suppose -o + p - 27 = 0, -z*p + 4 = 2*o + 58. Let j be (-4)/(9/(o/(-6))). Which is greater: -1 or j?
-1
Let u = -0.31 + 0.07. Let f = 0.782 - -1.278. Let c = f - u. Which is greater: 0.2 or c?
c
Let r be 240/14 + -17 + 998/(-7084). Which is greater: 0 or r?
r
Let h = 273.547 - -0.453. Let j = h + -274.42. Which is bigger: j or 4?
4
Let s(n) be the first derivative of -n**4/4 + 11*n**3/3 - 9*n**2 + 2*n + 21. Let t be s(9). Suppose 7 = -t*a + 3. Is a > -5/8?
False
Let m be (-2)/4 + 1468/(-8). Let q = m - -214. Is q <= 30?
True
Suppose -3*r + 0*r - 9 = 3*a, -a + 13 = 5*r. Let z(n) = -n**3 - 8*n**2 - 9*n + 8. Let w be z(a). Suppose 14 = 4*x - w. Which is smaller: x or 1?
1
Let n = 509.3 - 445. Let k = n + 14.7. Which is smaller: -0.1 or k?
-0.1
Let o = 55 - 319. Let n = o + 154. Which is greater: n or -2/7?
-2/7
Let z be 2/9 + 7144/26334. Which is bigger: z or 1?
1
Let b = -49401 - -4100233/83. Let g = 4996/249 - b. Is g greater than 21?
False
Let k = 4.9 + 16.1. Let r = 21.375 - k. Let b = r + -0.075. Which is smaller: 0 or b?
0
Let b = 1923.8 + -1925.8. Which is smaller: 1/3 or b?
b
Let i(g) = -g**3 - 3*g**2 - 4*g - 2. Let a be i(-1). Suppose -21*x - 340 - 542 = a. Is x < -42?
False
Let g be (3771/(-24))/((-6)/(-8))*-2. Let m = -598 + g. Which is bigger: m or -180?
m
Suppose -4*g = 7*g + 44. Let x be (-4)/(-63) - g/18. Which is greater: x or 15?
15
Let b(f) be the third derivative of f**5/24 - 11*f**4/24 + 23*f**3/6 - 4*f**2. Let g(t) be the first derivative of b(t). Let c be g(13). Is c at least 55?
False
Let a(o) = -21*o + 5. Let j be a(6). Let d = -1565/13 - j. Suppose -2*l = -7*b + 3*b + 14, 4*l = 4*b - 12. Which is greater: d or l?
l
Let z = 501.15 - 10.15. Let m = z + -483. Which is smaller: m or 1/3?
1/3
Let l(c) = -7*c**3 - 62*c**2 + 12*c - 20. Let t be l(-9). Is t at most as big as -29?
True
Let l be 1/(-3 - 2)*(-344185)/266. Let m(c) = -37*c - 37. Let h be m(-8). Let f = l - h. Is f greater than or equal to 0?
False
Suppose 354*p - 1419 + 3 = 0. Which is bigger: p or 181/63?
p
Suppose -7*o - 24 = -4*o. Suppose -4370*l + 4344*l = -182. Let f be (-72)/l - -1 - o/28. Is -11 != f?
True
Let z(s) be the first derivative of 2*s**2 + 56*s + 6. Let q be z(-14). Suppose q = 3*c + 5*c + 8. Is c less than or equal to -1/67?
True
Let a = -4399 + 35193/8. Which is smaller: -7.08 or a?
-7.08
Suppose -n + 3*r + 0 = -0, 0 = 2*n - r. Is n > 3/677?
False
Let b = 7237 - 7195. Which is bigger: 18/11 or b?
b
Let b(m) = -2*m**3 - m**2 + 3*m + 4. Let g(k) = -k**2 - 6*k + 18. Let s be g(-8). Let d be b(s). Suppose 2*x + 3*p + 0*p = -14, x + 5*p = 7. Is x > d?
False
Let v be ((-1)/5*-5)/((-2)/(-4)). Suppose -2*m + 5*i - 18 = 0, -v*m - 3*i + i + 10 = 0. Is m not equal to -6?
True
Let i be 6/4*(-38)/(-3). Suppose -3*c = -b - 71, -2*c + i + 35 = -2*b. Let r = -68/3 + c. Does r = -2?
False
Let p = -4190 - -5207. Which is smaller: 1 or p?
1
Suppose -420*u + 424*u - 58 = 2*c, 19 = 3*u - 5*c. Is 10 greater than u?
False
Let r = -113 - -76. Let z be ((-12493)/(-14508))/(22/(-16)) - (-12)/27. Which is greater: z or r?
z
Let p = -10096 + 10108. Are p and -11/17 unequal?
True
Let s = 0.06 + -1.06. Let b be ((-390)/5)/(-13) + 107. Which is smaller: s or b?
s
Let f(l) = 312*l - 1067. Let z be f(15). Which is bigger: z or 3615?
3615
Suppose 4*l + 85*m - 475 = 80*m, -2*l + 230 = 4*m. Suppose -54 = -5*a - h + 575, -5*h - 355 = -3*a. Is a < l?
False
Let b(c) = -c**3 + 3*c**2 + 6*c - 6. Let w be b(5). Let q = w - -39. Suppose 5*x - 2*h = 52, 0 = -3*x + h + 56 - 24. Which is greater: x or q?
q
Let n(l) = -l**3 + 6*l**2 + 8*l - 63. Let y be n(5). Let t = -0.156 - 122.844. Which is bigger: t or y?
y
Suppose -2*f = g - 891 + 6, -886 = -2*f - 2*g. Which is bigger: f or 443?
443
Suppose -l + 121 = 4*w, -58 = -2*w - l + 3. Is -28 less than w?
True
Suppose 12 = 22*d - 26*d. Let k be (36/(-24))/(d/(-4)). Let t be 36/63*(-1)/k. Are -0.45 and t unequal?
True
Let s be (20 - 0)*(-10 - -40). Suppose 0 = 2*c - 14*c + s. Do 47 and c have different values?
True
Let l be ((-84)/76 - (-6)/57) + 18/12. Which is smaller: l or -1860?
-1860
Let t = -105 + 149. Let u = t - 26. Let g = u - 18. Which is greater: g or 8/3?
8/3
Suppose -64*t = -68*t + 12. Suppose -3*a = -3*a + t*a. Is 2/5 at least as big as a?
True
Suppose -167*a = -129*a + 16112. Which is greater: -423 or a?
-423
Let t be 38/(-14) - (32 - 35). Let a = 7 - 6. Let s be a - 0/2 - 0. Which is bigger: s or t?
s
Let c = 2 + -0.6. Let u be ((-377)/6032)/(9/(-48)). Which is bigger: c or u?
c
Let b be 1 - (1*12/(-6))/((-20)/(-8)). Let k be (-90)/(-27) + (-1)/3. Are b and k non-equal?
True
Let i be -1 - 1 - 135/12. Let o = -47/4 - i. Are 67 and o equal?
False
Suppose -3*v - 5*d = -v - 296, v - 146 = -3*d. Let z = v - 157. Is z != -4/31?
True
Let b = -29129 - -99075/4. Let k = b - -88817/20. Let x = k - 81. Which is smaller: -8 or x?
-8
Suppose 0 = -1898*r + 1800*r + 178654. Which is smaller: 1822 or r?
1822
Suppose 0 = s - p - 1449, -5*s - 4*p + 1712 + 5533 = 0. Is 1449 less than s?
False
Let j = -492 - -616. Let k = 114 - j. Let m = -3.1 - -3. Which is smaller: m or k?
k
Let f be 4/15*100/(-8). Suppose 0 = 6*v + 17 + 7. Is v greater than or equal to f?
False
Suppose 30*p - 369 = 33*p. Let r = p + 195. Suppose -18*o - r = -17*o. Are -73 and o nonequal?
True
Let j(w) = 2048*w - 3954. Let i be j(2). Which is smaller: i or 17?
17
Let y be ((-45)/18)/((-20)/8). Which is smaller: y or -1/538?
-1/538
Let l be (40/10 - 5)*-1. Which is smaller: -5/253 or l?
-5/253
Let i(t) = t**2 + 17*t + 46. Let f be i(-14). Let x be (-18 + -10)/(f*2/12). Is x at least -40?
False
Let t be 2/((-108)/100 + 1 + 5905/72250). Which is greater: 2 or t?
t
Let p(o) = 26*o - 2. Let y be p(2). Suppose -5*s + y = 5*c, 4*s - 37 = -5*c + 2*c. Let j be (-4)/s + 1836/420. Is j < 3?
False
Let m(a) = -2*a + 9*a + 32 + 3*a. Let t = 428 - 432. Let i be m(t). Which is greater: -43/5 or i?
i
Let m be (-1)/(((-20)/16)/5). Let q be ((210/m)/7)/((-78)/(-8)). Does q = 0?
False
Suppose b + 615 = -4*b. Suppose 5*p + 404 = 4*v - 211, -p - 5*v = 123. Is b at most p?
True
Let c be (-90)/((-4)/(-10) + (-105)/75). Let g be c/(-44)*24/10*1. Is -6 < g?
True
Let v = -3 + -2. Let q = 44 - 45.1. Do q and v have the same value?
False
Suppose 3*n - 14481 = -4*l + 9*l, 2*n - l = 9661. Which is bigger: n or 4833?
4833
Let x = 305 - 221. Let r = 128 - x. Is r smaller than 37?
False
Suppose -2*k - 721 + 703 = 0. Let l be 39/k + 4 - 797/(-6). Which is greater: 133 or l?
133
Suppose 0*s - 26 = 2*s. Suppose -23 = 3*h - 20. Let u be ((-9)/(9/(-14)))/h. Which is smaller: u or s?
u
Let h = -249 - -261. Suppose -2*s + 109 = 3*n, -61 = -2*n + 5*s + 37. Let k = n + -27. Does k = h?
True
Let c be (3/2)/(49/28). Let o = 186 + -187. Let l be o/((-3)/((-36)/42)). Which is bigger: c or l?
c
Suppose 0 = 1351*l - 1366*l + 48120. Which is greater: l or -0.4?
l
Let c = 4781 + -4782. Is 12/1753 greater than c?
True
Suppose 149*d