+ 10. Let t = -2/5 - -2/3. Which is greater: t or h?
t
Let a = 6488786/79715 + 3/15943. Let f = -82 + a. Let r be 18/(-14) - (-6)/21. Which is smaller: f or r?
r
Suppose 0 = -50*c - 50 - 50. Is c at most as big as -1.1?
True
Let d(q) = -q**3 + 7*q**2 - 8*q + 11. Let x be d(6). Let k be x/4 - 148/(-48). Let g be (-4 - 119/(-28)) + 11/4. Is k equal to g?
False
Let z be (-38)/95 + 948/(-9405)*-4. Are 1 and z equal?
False
Let x = -64 - -65. Suppose 4*u + x = 4*j - 39, j = 3*u + 34. Is u bigger than -90/7?
True
Suppose -97*l = -89*l + 632. Is l bigger than -77?
False
Let k(b) = 13*b**2 - 16*b + 28. Let a be k(2). Which is bigger: a or 46?
a
Let s be 338/(-3) + -1 + 4/6. Is s smaller than -115?
False
Let w be -4 - ((-768)/(-44) + 2). Are w and -24 unequal?
True
Let o = 0.062 + -39.062. Let j = 308 - 308.1. Is j less than o?
False
Let p be 7/189 - (-2)/(-6). Let u = p + 256/135. Suppose 4*m + 2*y - 8 = 0, -3*y + y = -m + 7. Is m >= u?
True
Let j be 0/(-1) + (-3 - -2). Suppose 58*o + 812 = 54*o. Let m = o + 4265/21. Is m at least as big as j?
True
Let q = -0.2 - -0.3. Suppose 228 = -c - 2*c. Let l be -2 + c/(-24) + -1. Is q <= l?
True
Let z be 5*9/(-45) + 117/57. Which is greater: 2 or z?
2
Suppose 0 = 3*v - 9, -42*a = -44*a - 3*v + 79. Is a equal to 35?
True
Let h = -75 + -39. Do h and -114 have different values?
False
Let k = 305 + -307.3. Let u = 15 - 13.4. Let p = u + k. Which is smaller: p or 2?
p
Let i = -133 - -132. Which is bigger: i or -2/13?
-2/13
Let m = -1.15 + 1.05. Let u = 16.7 + -18. Let w = u + 0.3. Which is greater: m or w?
m
Let i be 147/70 - 6/10. Let k be (4 + -1 + -1)/1. Suppose -1 = -3*l + k. Is l greater than i?
False
Let w be 2/6 - (-39)/(-9). Let l = w + 4. Let b be ((-12)/680)/(5*(-15)/(-100)). Does l = b?
False
Let u = -47 + 46.94. Do u and 0.15 have the same value?
False
Suppose -2*u + 26 + 20 = 0. Which is smaller: 15 or u?
15
Let g be (-580)/(-14) + (-20)/(-35). Let k = 39 - g. Suppose 3 = -2*t + t. Is t at least as big as k?
True
Let a = -8.4 + 3.4. Is a >= 2/59?
False
Let t be (-1 + 0)/((-1)/18). Suppose -3*w - 8 - 7 = 0, -3*d + w = 247. Let f be (2 - -1)/(t/d). Which is greater: -15 or f?
f
Let y = -9 - -9.09. Let g = 0 - y. Let h = g + 0.09. Is -1 smaller than h?
True
Let a be 27 + (-1)/(1/(42/6)). Is 139/7 not equal to a?
True
Let h be (-1)/(((-36)/54)/(6/45)). Which is greater: h or -17?
h
Let v be (-6)/8 + (233/(-36) - -7). Let m = 5 + -1. Is v at most m?
True
Let s = 3.94 - 2.14. Is 2/45 >= s?
False
Let f = -10.12 - -9.12. Let t = 2 + 2. Suppose -l + t = l. Is f greater than l?
False
Let r be (58/87)/(8/(-6)). Which is greater: 51 or r?
51
Let f = -247 - -176. Let t = f - -100. Which is smaller: 28 or t?
28
Let p(l) = -17*l - 87. Let n be p(-6). Is 9 equal to n?
False
Suppose 6501 = 38*v + 17901. Which is smaller: -301 or v?
-301
Let z = 2781553/139 + -20011. Let q = 2242/14595 - z. Which is greater: 1 or q?
1
Let k = -42 + 39.7. Let w(g) = -g**3 + 11*g**2 - 10*g. Let a be w(10). Is k at least as big as a?
False
Let j = 83 - 83.2. Which is smaller: j or -1/24?
j
Let c = 555287/204 - 2722. Let t = 89/51 - c. Suppose 0 = -w + 2 - 0. Is w at most t?
False
Let d(y) = y**3 + 46*y**2 - 48*y - 198. Let x be d(-47). Is -151 at most as big as x?
True
Let z be 8 + (-7)/(21/9). Suppose -g + 3 = -y + 4, 4*y - 1 = z*g. Let s be 7/6 + y/12. Do 1 and s have different values?
True
Suppose -a = 2*a - 6. Let t be ((-4)/(-8))/(a/(-4)). Is t equal to -4/7?
False
Let r(p) be the second derivative of -p**4/12 + 10*p**3/3 - 16*p**2 + p. Let j be r(18). Let f be -5*(1 - 3/2). Is f bigger than j?
False
Let h = -471/950 + -2/475. Which is bigger: 71 or h?
71
Let h(b) = b**3 + 11*b**2 + 10*b + 15. Suppose -5*x = -3*g - 40, -4*g + 2*x + 36 = -8*g. Let a be h(g). Suppose n + 4*n + a = 0. Which is smaller: n or -4?
-4
Let j(g) = g**2 + 4*g + 4. Let q be j(-4). Suppose -3*o = -q*o + 14. Which is greater: o or 15?
15
Let g(i) = 2*i**2 + 2*i - 5. Let s be (-2)/(-3) + 110/(-30). Let q be g(s). Is q less than 38/5?
True
Suppose -7*j + 40*j = -5544. Are -502/3 and j equal?
False
Suppose -5*a = 5, -2*m - a + 5*a = -128. Let n be m/5 + (-6)/15. Suppose 0 = 3*b + 6 - n. Which is smaller: 0 or b?
0
Let m be 0/((3 - 5)/2). Let o = -14 + 32. Let r be 3 - 1/(o/51). Is r greater than m?
True
Let u = -9.2 + 8. Let z(a) = -a**2 - 19*a - 40. Let l be z(-16). Suppose -2*x + 5*k = l, 5*x - 11 = -3*k - 0*k. Which is smaller: u or x?
u
Let x = -18 - -17. Suppose -5 = -2*a + 1. Let b be a - (-2 + 5/1). Is x at most as big as b?
True
Let t be ((-4)/(-3))/((-10)/(-225)*10). Let b be -5 + 145/15 - t. Is b at least -4?
True
Suppose 2*h = 4 - 6. Which is smaller: h or 1/94?
h
Let i = 45 + -40. Suppose l + 5 = -4*l, -l = -2*q + i. Which is smaller: -7/3 or q?
-7/3
Let s(l) = -l - 10. Let p be s(2). Let d(g) = g + 3 - 9 + 4. Let k be d(-9). Which is smaller: p or k?
p
Suppose -3*d + 6 = -r, 0*r - r - 3 = 0. Let v be (-5 - 28) + (-3)/(3/2). Let q be ((-1)/2)/(v/(-30)) - 0. Is d smaller than q?
False
Let r = -19 - -109. Suppose u - 33 = 2*i, 5*i - u = 3*u - r. Let z be (-2 + (3 - -1))/6. Which is greater: i or z?
z
Let l = 1002 - 1004. Let q = -17/11 + 10/11. Which is bigger: l or q?
q
Let h be (4/6)/(33/(-22374)). Let z be ((h/18)/(-2))/(5/15). Is 39 at least as big as z?
True
Let y(a) = 5*a - 2. Let u(l) = -11*l + 5. Suppose 2*o - 3*q - 10 = q, 0 = 2*q - 4. Let s(f) = o*y(f) + 4*u(f). Let h be s(-7). Which is smaller: -7 or h?
-7
Let c = 0.015 + -0.043. Let j = c + -0.012. Let u = 0.1 + -0.1. Which is bigger: j or u?
u
Let k = -865/92 - -105673/828. Let l = 118 - k. Let y = 20 + -16. Is l at least as big as y?
False
Let n be ((-1)/8)/(-3*9/(-54)). Which is smaller: n or 135?
n
Let y = 31.8 + -31.9. Which is smaller: y or 92/9?
y
Suppose -5*w = 6*w - 4*w. Is -2/2145 smaller than w?
True
Suppose -15 = 4*i - 11. Is -4/69 at most as big as i?
False
Let x = -7.01 + 0.01. Let w = x + 10. Let s = w - 9. Is s at most as big as 1?
True
Suppose 0 = -2*m - 4*c, -1 + 0 = -c. Let u = 2.6 - 2.55. Which is smaller: u or m?
m
Let w = 0.041 + -0.028. Which is greater: -0.1 or w?
w
Let m = 0.033 + 0.107. Which is smaller: m or 1/15?
1/15
Suppose -44 = 4*u - 4*v, -4*v - 6 - 4 = 5*u. Does u = 3?
False
Let l(r) = 57*r + 234. Let w be l(-4). Suppose 0 = 2*g + 22 - 2. Let n be (g - -1)*(-8)/12. Are n and w equal?
True
Suppose -56 - 10 = h. Suppose 314*l - 313*l + 65 = 0. Which is smaller: l or h?
h
Let m be 6/(-22) + 12763/11 + 2. Which is bigger: 1163 or m?
1163
Let h = -56617/38 + 1490. Is h bigger than 0?
True
Let w(a) = 11*a**2 + 5*a - 7. Let f be w(3). Suppose 5*j = -f - 68. Let u = j - -106/3. Is u greater than 6?
False
Let r = 1060 - 169603/160. Which is smaller: r or -1?
-1
Let v = -7 + 7. Which is smaller: v or -4?
-4
Suppose 20 = -0*q + 5*q. Let y be q/(-58)*(3 + -4). Are y and 0 equal?
False
Let h be (-1 - -52)*(-92)/(-138). Which is smaller: h or 36?
h
Let b = 0.0328 - -0.0472. Is -2 at least as big as b?
False
Let n = -29.05 - -29. Let h be (1/(-3))/(3/210). Let u = h + 24. Is n at most as big as u?
True
Let w = -14 + 16. Suppose -w*u = 2*u. Let j be 8/52 + 0 - u. Do j and -1 have the same value?
False
Let h = -11949/4 + 2955. Is -33 equal to h?
False
Let o(s) = 2*s**2 - 5*s + 9. Let q be o(6). Let j be 141/611 + (-673)/(-13). Which is smaller: q or j?
q
Let n be 1 - 5/7*1. Let k(t) = t**3 - 14*t**2 + 4. Let w be k(14). Suppose 0*c - w = 4*c. Are c and n equal?
False
Let m = 85 - 84.76. Is m equal to 6/7?
False
Let b = 8.93 - 11.93. Is -4.8 < b?
True
Let k = -96 - -66. Let p = -18 - k. Let l = p - 21. Is l < -3/5?
True
Suppose 401*z - 398*z - 3 = 0. Is 393 smaller than z?
False
Let x(o) = 2*o**2 + 4*o + 10. Let n be x(-5). Is 40 <= n?
True
Let v be 40/(-90) - (-43)/90. Are -1 and v non-equal?
True
Let j be 50/14 + (9 + 19)/(-7). Are j and -13/2 non-equal?
True
Let l(p) = p - 1. Let c(f) = -2*f - 13. Let b be c(-8). Let x be l(b). Suppose 6 = i + x*s, -s + 3*s = 6. Which is greater: 1 or i?
1
Let a = 3 + -3. Suppose 74 = -2*j + 2*t, a = 4*j - 5*t + 29 + 121. Let s be 357/j - 2/(-10). Is s at most as big as -10?
True
Let p = -3346 - -93663/28. Let o = p - -8/7. Let v = -197/3 + 65. Is v not equal to o?
True
Let j be (-2)/4 + 15/(-2). Suppose -g = -v + 11, 3*v - 42 = 48*g - 44*g.