 Let t be (7 - (-850)/290) + (3 - 13). Which is smaller: h or t?
t
Let b = -4.9 + 4.691. Let w = -0.205 - b. Which is smaller: w or 0?
0
Let d(p) = 175*p**2 + 190*p + 574. Let h be d(-3). Are 1579 and h equal?
True
Let o be 2854 + (-62)/(-12) + (-60)/(-72). Is o at least as big as 2856?
True
Let u = -17 + 25. Let v be -2*3/120 + 1/(-2). Let a = 527/60 - v. Is a greater than u?
True
Suppose 0 = -2*c + 1175 + 1789. Let y be -1 - (4 - c/288). Is -1 >= y?
False
Let b = -14015 - -14021. Which is bigger: -59.8 or b?
b
Let y = 5/294 + -1241/3822. Which is smaller: -69 or y?
-69
Let h = 22241 + -22281. Is -598/15 at least h?
True
Let g = 2469 + -4507. Which is greater: g or -2037?
-2037
Let h be (-282)/(-48) - 6 - 75/(-24). Are 14 and h unequal?
True
Let o(r) = 4*r**3 + 43*r**2 - 20*r - 45. Let l(y) = -2*y**3 - 22*y**2 + 10*y + 23. Let q(n) = -5*l(n) - 3*o(n). Let g be q(-10). Is g > 24?
False
Let n(p) = -p**3 - 6*p**2 - 5*p - 1. Let w be n(-5). Let s be 2/6 - (32602/49)/1. Let k = s - -665. Is k < w?
False
Let f = 796 - 801. Let l be f/15 - 9/(-27). Which is greater: -6 or l?
l
Let r = 137 + -47. Let l = 48 - r. Let z be (-15)/35 - (-94)/l. Which is smaller: z or -4?
-4
Let b = 0.034 + -0.934. Let s(w) = -w**3 - 9*w**2 + w + 11. Let q be s(-9). Suppose q = -6*p + 4*p. Is p < b?
True
Let k(h) = 13*h**2 + 15*h + 41. Suppose -c = -5*g - 16, 4*g - 4*c = -0*g - 16. Let b be k(g). Which is smaller: 111 or b?
111
Let d be (-8)/(-2)*1/210. Let m = -672 - -413. Let z = -258 - m. Is z less than d?
False
Let d be 50 - (-10)/5*2. Suppose 0 = 3*p + d - 60. Which is smaller: p or -177?
-177
Let z be (60075/(-11610))/(5/(-12)). Which is smaller: z or 12?
12
Let i(j) = 5*j + 49. Let l(c) = -2. Let g(m) = i(m) - l(m). Let y be g(-10). Which is greater: y or -5/32?
y
Let v = -4869186/11 - -442353. Are -301 and v unequal?
True
Suppose -211*o = 478*o + 689. Which is bigger: o or 3/2455?
3/2455
Let l(d) = -d + 1. Let n be l(-2). Suppose 5 - 35 = n*q. Let j(h) = -2*h**2 + 11*h - 16. Let c be j(5). Does c = q?
False
Let y be (-3278)/(-209) - -2*(-4 + 0). Are y and 0.1 equal?
False
Let i be 100/135*36/24. Is 49 not equal to i?
True
Suppose 11774 = 4*s - 3*z, s = -3*s + 5*z + 11778. Is s >= 2941?
True
Let j(c) = -67*c + 807. Let i be j(20). Which is smaller: i or -537?
-537
Let p = 2/75859 + -125319078/379295. Is p greater than or equal to -331?
True
Let n be (-9 + 6)/(-387876)*-8*(-1 - 0). Which is bigger: n or -1?
n
Let r = -7611 - -7612. Which is bigger: -4/1065 or r?
r
Let q = -74081/12 - -6168. Suppose 775*i + 2111 = 2006*i + 7035. Is q at most i?
True
Let f = 9485 - 6088. Is 1 < f?
True
Suppose 9*a - 863 - 1090 = 0. Let x = -150 + a. Do 66 and x have different values?
True
Let t = -2233 + 1002. Is -1230 >= t?
True
Suppose 5*a + 2 = p, -a + 381*p - 384*p - 10 = 0. Which is greater: a or -14/517?
-14/517
Let k(b) = b**3 + b**2 + 24*b + 569. Let p be k(0). Are p and 570 equal?
False
Let p = -195 - -134. Let a(l) = 2*l - 47. Let n be a(-6). Which is bigger: p or n?
n
Suppose 0 = -3*d - 5*m + 21 + 220, 2*d + 4*m = 160. Let h = 49 - d. Let t be 4/6 - h/(-45). Is -1 less than or equal to t?
True
Let r = -6409318/71 + 90272. Suppose 3*x = 4*j + 9, -3*x - 10 = j - 4. Is x less than or equal to r?
True
Suppose 34 = 3*w + 5*s, -7*s + 4*s + 6 = 0. Let x be (-37)/(-333)*w*2/(-14). Which is bigger: 0 or x?
0
Let s be 9500/1892 + -5 - 2/22. Which is smaller: -1.5 or s?
-1.5
Let v(t) = 3*t - 5. Let m be v(3). Suppose -4*k + 3*k - 3*i + m = 0, -24 = -3*k - 5*i. Let x be k/12 + (-4)/6. Is x != 1?
True
Let p be -2 + (-15)/(-12) + (-13545)/180. Which is bigger: p or -79?
p
Let k = 11 - 8. Let c = -9.682 - -8.84. Let i = 0.722 + c. Is k bigger than i?
True
Let u = 33.2 - 37. Let t = u + 4. Let s = 53.9 - 53.82. Which is smaller: s or t?
s
Suppose 21*p + 13*p = -187578. Is p greater than -5517?
False
Let i be -6 - ((-12 - -4) + 1). Let f be (60/(-66) + i)*2*1. Is f <= -54?
False
Let b = 741/23 - -12525/46. Let m = -519 - -824. Which is bigger: m or b?
m
Let i(g) = -g**3 + 27*g**2 - 47*g - 75. Let a be i(25). Which is smaller: a or 4/1441?
a
Let o be (-7)/(175/(-10)) + (-8)/(-5). Suppose -2*f - 1 = 5*g, 0*f + o*f - 4 = 0. Are g and -6/13 nonequal?
True
Let c = 787/130 + -20254759/3345810. Which is smaller: 0 or c?
0
Let g = -522 - -1018. Let k = g + -527. Which is greater: -0.7 or k?
-0.7
Suppose -3896 - 8788 = 42*h. Is h at most -5110/17?
True
Let n = 62206/11 - 5570941/990. Let f = -268/9 + n. Which is greater: f or -1?
-1
Suppose q = -p + 6*p + 11, -4*p = 3*q - 14. Is p greater than or equal to 27/307?
False
Suppose -74*j - 12 = -72*j + 4*t, -6 = -4*j + 2*t. Is j at most as big as -20/3771?
False
Let r(y) = y**2 + 14*y - 76. Let p be r(-10). Which is smaller: -111 or p?
p
Suppose 0 = -3*d - 5*q - 730 + 735, -5*q + 5 = -3*d. Which is smaller: 2/967 or d?
d
Let u = -85.1 + 85. Which is greater: 100.84 or u?
100.84
Let z(n) = 4*n**2 - 133*n - 469. Let q(w) = 3*w**2 - 89*w - 314. Let u(s) = 7*q(s) - 5*z(s). Let g be u(-36). Which is smaller: g or -72?
-72
Let x be (53/(-7) + -1)/((-5352)/(-168) - 32). Which is smaller: 77 or x?
x
Let v(y) be the first derivative of -y**3/3 - 4*y**2 + 19*y - 6. Let q be v(-10). Let r = 10/327 + 3040/7521. Is q < r?
True
Let h be 4*(-613)/(-20) + (-4)/(-10). Suppose 0 = -6*y - 15 + h. Let k be (5/(-6) + 9/y)/5. Which is smaller: -1 or k?
-1
Let d be 2 + (-7)/((-28)/60). Let l = d - 49/3. Let y be (42/(-12) - -3)*(-3 - -1). Is y at least l?
True
Let s(q) = q**3 + 35*q**2 + 7*q + 36. Let o be s(-36). Let d be 772/o - (-4)/(-16)*-2. Which is bigger: d or -1?
d
Suppose -252*h - 1650 = -202*h. Is 223 < h?
False
Suppose -d = 2572 - 74. Let m = d + 192352/77. Is 1 less than m?
False
Let v(j) = j**3 + 12*j**2 + 21*j + 7. Let t be v(-10). Let c(l) = -5*l - 37. Let w be c(t). Is -24 less than or equal to w?
True
Let g = 163 + -159. Suppose -b + 203 = -5*w - 182, -g*w = -3*b + 297. Which is bigger: w or -79?
w
Let c(i) be the second derivative of i**5/20 - i**4/12 + i**3/6 + 46*i**2 - 86*i + 1. Let f be c(0). Which is smaller: f or 2?
2
Let l = 1.45 + -45.95. Let v = l - -8.5. Let r = -36.08 - v. Which is smaller: r or -3?
-3
Let j = 16169 - 202931/13. Is 560 greater than j?
True
Let d = 63505 + -64309.02. Let o = d + 774. Let q = o - -0.02. Which is smaller: q or 0?
q
Suppose -228*n = -223*n + 4*g + 29, 0 = -5*n + 3*g + 13. Do -1/4380 and n have different values?
True
Let t be 18/117 + 16800/(-26). Let h = t + 10988/17. Which is smaller: h or -1?
-1
Let l be 17/3 - (-14)/(-21). Suppose -8*b = -l*b - 240. Let q = 89 - b. Do q and 4 have different values?
True
Suppose -19 = -6*n + 53. Let l(z) = -z**3 + 11*z**2 + 12*z - 19. Let o be l(n). Is -17 >= o?
True
Let b = -3143 + 28255/9. Let i(v) = -v**2 + 3*v + 15. Let n be (2/(-5))/(5 + (-456)/90). Let c be i(n). Is b > c?
False
Let i(f) = 3*f**3 + 34*f**2 + 57*f - 71. Let j be i(-9). Is 16 smaller than j?
False
Suppose -9*c + 1020 = -7*c. Let z be (-2 + 8/(-5))/(c/(-100)). Is z at most as big as -1?
False
Suppose 5*s + 1126 = 3*d - 48, 3*s + 714 = 5*d. Let y = s + 226. Which is bigger: y or 2/19?
2/19
Let y be (2737/483 + (-2)/(2/5))*-5037. Which is smaller: y or -3360?
-3360
Let v be 8 + (-2548)/(-13) - -1. Is v greater than 1/4?
True
Let h = -42.657 - -42.757. Is h less than or equal to -5989?
False
Let y(u) = 5*u + 22. Let p(f) = f**2 - 5*f + 2. Let g be p(3). Let x be y(g). Suppose 0*d = 2*l - 2*d + x, -7 = -l + 5*d. Is -10 at most l?
True
Let v(w) = -17*w - 290. Let f be v(-17). Let k be 4/14 - (-9)/(-7). Let h be (-66)/(-390) + k/5. Is h greater than or equal to f?
True
Let x = 56 - 617/11. Let c = -1 - -7. Suppose 3*v - 3 = c*v. Is x >= v?
True
Let f = -13 - -11. Let j be f/174*(-72)/8. Let w(x) = -2*x**3 + 72*x**2 - 73*x + 105. Let p be w(35). Which is bigger: p or j?
j
Let s be 3/6*-8*(-1)/(-2). Let w be -12 + 9 - 1/(1/s). Is w greater than or equal to -9/11?
False
Let x = -2327/1197 - 10/1197. Which is greater: 0 or x?
0
Let z = -138/11 + 3141/253. Suppose -4*v = 5*j - 177, 4*j - 2*j = -2*v + 88. Let o = -44 + v. Which is greater: z or o?
z
Let h = 10417 - 10390. Which is greater: 92 or h?
92
Let v(m) = 2*m**2 + 13*m - 1. Let u be v(-7). Let r = -6 + 11. Is r > u?
False
Let a = -1/3 + 7/12. Suppose 5*k = 8*k + 4