6. Let f be r(-59). Is 6524 < f?
False
Suppose 9*o + 2*d = 11*o + 8, -3*o + d = 16. Which is bigger: o or -0.12?
-0.12
Let d be ((-6)/(-270))/((-22)/99) + (-1)/10. Are d and 251 non-equal?
True
Let p = -160 + 173. Suppose -2*b = 4*j + 56, -p*j - 85 = 4*b - 14*j. Which is smaller: b or -21?
b
Let l = -83 + 149. Suppose -33 - l = -11*t. Which is smaller: t or 100/13?
100/13
Let n be (-3)/18*-4*-3. Let k(r) = 4*r + 4. Let o be k(n). Let y be o/(-5) - (-56)/(-20). Are y and -1 unequal?
True
Let t be 4/(-24)*0 + (-2)/(-2). Let h be t*(30/45 - 2/(-42)). Which is smaller: 2 or h?
h
Let c = 190 + -133. Let s = c + -36. Let d = s - 31. Which is bigger: 1 or d?
1
Let l be ((-30)/(-9))/(70/105). Let p(b) = -b + 1. Let f be p(-6). Is l less than f?
True
Let m = 88 + -83. Let z(w) = 2*w**3 - 10*w**2 + 3*w + 7. Let y be z(m). Let f = y + -22. Which is smaller: f or -2/33?
-2/33
Let j(b) = b**3 + 56*b**2 + 139*b + 184. Let r be j(-51). Is r <= 6101?
True
Let w be ((-12)/5)/((-2)/25). Suppose 4*g + 810 = 31*g. Let o = w - g. Which is bigger: 9/10 or o?
9/10
Let n = 26 - -10. Let v = -4 + n. Suppose 0 = 2*i + v + 24. Is i greater than or equal to -29?
True
Let t be (-279)/(-62) - (2 - (-21)/(-6)). Let o(h) = -h + 6. Let x be o(6). Let m = 1 - x. Which is bigger: m or t?
t
Let u = 514 - 503. Let i = 7/65 + 3/65. Which is greater: u or i?
u
Let o = 4818 + -1006959/209. Let p = o - -2493/1045. Let f = 6 + -5. Is f at most p?
True
Suppose b - 13*x - 20 = -11*x, -3*x = -4*b + 85. Let y = 428 - b. Are 406 and y equal?
True
Let w(h) = -61*h + 767. Let s be w(24). Which is smaller: -700 or s?
-700
Let f = -13966 + 13964. Are f and 746 nonequal?
True
Suppose o + 70 = 2*o + 5*k, 4*o - 212 = -3*k. Let r be 34/(0 + 0 + 1). Suppose r = -3*a + 7*a - z, 5*a - 5*z - o = 0. Which is smaller: 7 or a?
7
Let r be (-9)/(-4)*48/(-22). Let i = r + 1641/341. Let t = i - -113/527. Is 0 not equal to t?
True
Let s(m) = -4*m - 32. Let f be s(-9). Suppose -4*x = -2*x - f. Suppose -18 = -x*r + 4*w - 0*w, 0 = 3*w + 9. Are r and 5 non-equal?
True
Let x(i) = -i**3 - 62*i**2 + 62*i - 63. Let h be x(-63). Is 3/215 > h?
True
Suppose 2*q + 2*v + v - 27 = 0, -q - 3*v + 21 = 0. Suppose -q*i + 9*i - 489 = 0. Suppose -5*a = -c - 213, 3*c + i + 56 = 5*a. Is 41 < a?
True
Suppose -2*z - 5 + 1 = 0, -4*s + 5*z + 690 = 0. Suppose s = -6*p + 80. Do p and -14 have the same value?
False
Let v = -1473415.9609 - -1473513. Let a = 0.0391 - v. Is -3 bigger than a?
True
Let b be ((-14)/(-56))/((-1)/(-12)). Suppose 5*x + 3 = s, -2*s = -6*x + b*x + 1. Let a be 20/(-15)*9/19. Are a and s equal?
False
Let t = -20364 + 1730936/85. Let o(j) = j**2 + 6*j - 1. Let d be o(-6). Which is smaller: t or d?
d
Suppose -30*b - 11*b + 235 - 153 = 0. Which is smaller: 8/21 or b?
8/21
Let p = -81459/13810 - 2/1381. Let q = -13/2 - p. Is -76 greater than q?
False
Let q(h) = -h**3 - 10*h**2 + 57*h + 18. Let u be q(6). Which is bigger: -211 or u?
-211
Let k = -1983.8 + 1721. Let x = 262 + k. Is x at least -14?
True
Let g be 8*10365/180*9/(-6). Is g less than or equal to -684?
True
Let j(c) = 2*c**2 + c - 4. Let u be j(-7). Let w(p) = 59*p + 1090. Let f be w(-17). Is u bigger than f?
False
Let f(g) = -g + 6. Let z be f(8). Let l be (-24 - -21)/(z - -1). Suppose 22 = -l*w + 19. Which is smaller: -15/8 or w?
-15/8
Suppose -4267 - 5729 = 91*g - 74*g. Is -578 > g?
True
Let g be 24 - 27 - (2*-1)/2. Let b be (g + 4 - 0)*-1. Let s be -2*2/18*b. Is -0.1 at most as big as s?
True
Suppose 6*n - 4*g - 1494 = 0, -5*g + 10*g = -15. Which is greater: 248 or n?
248
Let i be ((-3)/((-48)/(-32)))/(3 + -5). Let u = 484 - 689. Is i smaller than u?
False
Let n = 3.8 + 14.2. Suppose 230 = -31*h + 261. Are n and h equal?
False
Let p(g) = g**2 - 38*g + 77. Let m be p(37). Let r be 1/(-15) + -1 + m/60. Which is smaller: -3/65 or r?
r
Let s = -181753284/2629 + 69134. Is 1 at least s?
True
Let j = 881.4537 - -1.7463. Which is smaller: j or 1?
1
Let w(r) = 2*r + 14. Let b(v) = -4*v - 28. Let y be (1 + 3)*8/(-32)*4. Let u(h) = y*b(h) - 7*w(h). Let g be u(-7). Is -1/24 bigger than g?
False
Let n(z) = 4*z - 25. Let q be n(7). Suppose -5*r + 2*v - 3*v + 10 = 0, r = q*v + 18. Suppose r*p - 2*p = -3*p. Is p < 1?
True
Suppose -4*s = -7*s. Suppose 2*u - 6 = s, -u - u = -4*l + 30. Suppose 6*n = 7*n + l. Is -8 greater than n?
True
Let s = -2.8 + 3. Let z = -0.1 + s. Let x = -92019 + 92018.8. Which is greater: z or x?
z
Let s = -46.383 - 0.617. Let d = 4.5 - -37.5. Let r = d + s. Is 3 less than or equal to r?
False
Let t be -3 + ((2688/(-9))/1 - -5). Let b = t - -296. Which is greater: 11.9 or b?
11.9
Let g = 5170 + -6118. Which is smaller: g or -947?
g
Let f = 1995 + -1998. Let i = 116/3 - 39. Is f > i?
False
Let k = -582671/426039 - -242/177. Which is greater: k or -1?
k
Let y(n) = -5*n**2 + 23*n - 56. Let m(i) = -3*i**2 - i - 1. Let t(z) = 4*m(z) - 2*y(z). Let b be t(-27). Which is smaller: -2 or b?
-2
Let b be (-4635)/777 + 4 + 2. Which is greater: b or 0?
b
Let o = 18.52 + -19.3. Let v = 0.88 + o. Which is bigger: v or -43?
v
Let a = 9 - -11. Suppose 21*h = a*h + 22. Suppose 6 = 2*t, -2 = 4*y - 4*t + h. Which is smaller: y or 1?
y
Let m = -3435/28 - -397/4. Let c(y) = -22*y**2 + 2*y + 1. Let t be c(-1). Which is smaller: m or t?
m
Suppose -3*w + 51 = -60. Suppose -5*x = 554*m - 572*m + 609, 4*m - 5*x = 77. Which is greater: w or m?
m
Let k = 40 - 8.5. Let w = -2.5 + k. Let h = 4278 - 4278. Does h = w?
False
Let a(j) be the first derivative of 25*j**2/2 - 6*j - 7. Let y be a(-2). Let k = y - -57. Is k < -4/23?
False
Let y = -48 + 172. Let g = y - 123.9. Which is bigger: g or -78?
g
Let y = -24.38 - -72.72. Let h = y - 48.5. Which is greater: -0.15 or h?
-0.15
Let q be (3 + 0)*(-2)/15. Suppose 248 = -y - 3*u, 0 = -2*y - 5*u + u - 498. Let m = 247 + y. Which is smaller: m or q?
m
Suppose 14*n + 558 = 3*r + 11*n, -r = -5*n - 198. Let z = -243 + r. Which is smaller: z or -59?
z
Let w = -8808268486/17951 + 490684. Is 1 at least as big as w?
True
Let r = 9 + 1. Suppose 3*b - 12 = -q, -4*b + 6 = -0*q - 2*q. Suppose -2*u = q*d - 23, 2*d - 3*u - 16 - 21 = 0. Are d and r unequal?
True
Let i be (2 - 17399) + (5/(-110) - 13/(-286)). Which is bigger: -17398 or i?
i
Let l(k) be the second derivative of -2*k**3 + 21*k**2/2 - 16*k. Let r be l(17). Let j be (2 - r/(-75))/(2/5). Which is smaller: j or -1?
j
Let j = 141.258 + -141. Let o = -225.742 - j. Which is smaller: o or -1?
o
Let i = 37 + 5. Suppose -6*s - i + 54 = 0. Let c be (2478/(-495) - -5)*3/s. Is c >= 1?
False
Let v = -75 + 76. Let r(x) = 8*x + 3 + x - 13*x - 48*x**2. Let p be r(v). Which is bigger: p or -1?
-1
Let o be (-140)/(4/(-12170)*-5). Let t be o/36 + 10/(-20). Let h = -2370 - t. Are h and -3 non-equal?
True
Let s = 4198 + -4173. Which is smaller: s or 12?
12
Let p = 4863 + -4861. Which is bigger: p or -1120?
p
Let m = 7755.04743 - 7755. Which is greater: -2 or m?
m
Let s(z) = -z**3 + 7*z**2 - 30*z + 145. Let b be s(6). Which is smaller: -1049 or b?
-1049
Suppose -g + 2*g - 5 = 0. Let s be 5 - g/(2 - -13). Which is greater: 6 or s?
6
Let g = -78 + 56. Let i be ((-2)/(-1))/2*(-8 + -14). Are g and i nonequal?
False
Let z = 5.9 - -0.1. Let p = 796.8569 + 0.1431. Let l = p - 797.07. Is l smaller than z?
True
Let l(n) = -62*n - 2781. Let d be l(-56). Are 696 and d nonequal?
True
Suppose 0 = -4*u + 8645 - 1477. Are u and 1792 nonequal?
False
Let q be (3/(-7))/((-8)/(-14))*-12. Let i be ((-3)/q)/(2/(-12)). Suppose i*z = 5*x - 3*z - 5, -4*z + 16 = 0. Is x equal to 0.5?
False
Suppose 31 = 4*d - 13. Let q be ((-14)/35)/((-1)/(-5)). Let x = 12 + q. Is d >= x?
True
Let s = -0.0424 + 0.0064. Let o = s - -0.104. Which is bigger: -2 or o?
o
Let b(r) = 9*r**2 - 148*r + 19. Let t be b(16). Is t >= 102?
False
Suppose 0 = 9*q - 6*q - 33. Let u(h) = -2*h + q*h - 6*h**2 - 6 - 2*h**2 + h**3 - h. Let p be u(7). Which is smaller: p or 23?
p
Suppose -4*k = 4*x - 12, -5 = -2*x + 7*x. Let v(r) be the third derivative of 3*r**4/8 + 2*r**3/3 + 9*r**2. Let g be v(-2). Is g < k?
True
Let g(o) = o**3 + 42*o**2 + 40*o - 42. Let w be g(-41). Let h be (20 - (w - -2))/((-836)/76). Is -3 less than h?
True
Suppose 9 = 5*f - 71. Let y be f/(-6)*18/12 + 5. Let l be (-32)/(-84) - (-2)/7. Which is smaller: l or y?
l
Let i be ((-129)/(-18) + -7)/(4/180). 