7 or h?
h
Let z be (-698)/(-78) - (48/(-16))/(-2 + 1). Is z less than or equal to 6?
True
Let w = 471.955 - 471. Let m = 0.045 + w. Which is smaller: m or -2.3?
-2.3
Let l(g) = -3*g**2 - 3*g + 3. Let h be l(-4). Let x = 191.51 - 189.51. Do h and x have different values?
True
Suppose -4*h - 5*i = -200, 4*h = 2*i - 36 + 264. Let y be ((-22)/h)/(16/(-300)). Is y smaller than -2/3?
False
Let h = -5.12 - -5.1082. Let d = h + 0.1118. Which is smaller: -3 or d?
-3
Suppose 4*k + 53*x - 56*x - 16 = 0, 5*x = 2*k - 22. Which is bigger: 8/2407 or k?
k
Let m = 112.49 + 0.51. Let y = -112.912 + m. Let g = y - -3.912. Is g smaller than -1.3?
False
Let u(f) = 173*f + 15023. Let j be u(-87). Which is smaller: -1000/37 or j?
j
Let w = 3/55 + 1201/165. Suppose -6*k - 180 = -3*k. Let n be (-11)/44 - 5/(k/99). Do n and w have the same value?
False
Let b(f) = 2*f**3 + 57*f**2 - 33*f - 114. Let c be b(-29). Which is bigger: 56/25 or c?
56/25
Let u = 52 + -46. Let z be 84/(-189)*(0 + (-9)/u). Is z greater than 42?
False
Let h be 3/(3/(-1)) - -8. Suppose -4*u - o + 158 = 0, 4*u + 2*o - 146 = h*o. Let m = 23 - u. Is m bigger than -14?
False
Let m = 96 + -97. Let k be -4 - m - (-4 - (3 - 6)). Which is greater: 0.08 or k?
0.08
Let n = -18891 - -12404. Which is bigger: 2 or n?
2
Suppose -86 + 7 = -5*z + 4*j, 0 = 5*z + 4*j - 71. Suppose 2*g = -3*g + z. Suppose -g*o = 5*q - 76 - 140, -3*o = -5*q + 234. Which is smaller: 44 or q?
44
Let g(j) = j**3 - 41*j**2 - 46*j + 95. Let u be g(44). Which is smaller: u or 3878?
3878
Let j = -962125979/1178457 + 2/168351. Let d = -815 - j. Is d less than or equal to -3?
False
Let l(a) = 9*a + 69. Let r(d) = -19*d - 139. Let m(n) = -5*l(n) - 2*r(n). Let b be m(-12). Is b equal to 17?
True
Let n(m) = -2*m**3 - 5*m**2 + 7*m - 6. Let t be n(-4). Suppose 38*h - 11*h = -t*h. Is h > 7/43?
False
Let q = -3.2 - -3.9. Let w = -10.3 - q. Let h = 29 + w. Which is smaller: h or -1?
-1
Let s(z) = -3*z + 1. Let n be s(2). Suppose -5*y - 23 = -d + 5, 2*y + 25 = 5*d. Let w = 1 - d. Which is greater: w or n?
w
Suppose 26*x - 238 + 79 = -27*x. Is x at least as big as 57?
False
Let v = -1.02 + 0.43. Let k = v - 0.41. Let s = k + 1.8. Is -0.3 greater than or equal to s?
False
Let p = 0.05 + -0.02. Let q = 526.01 - 526. Let c = 0.06 - q. Which is greater: p or c?
c
Suppose -4*t - x + 12 = 0, 68*x - 72*x = -2*t - 30. Is t > -104/235?
True
Suppose 5*c + 8 = 9*c. Let z be (-4*(-2)/20)/(c/5). Suppose -4*o + 0*s - s + 8 = 0, -3*o + s - z = 0. Which is bigger: o or 6/31?
o
Suppose -27*c = 499 - 8032. Which is smaller: c or -3?
-3
Let k = 0.098 + -63.098. Let t = k + 33. Which is smaller: 2 or t?
t
Let i(b) = 246*b**2 + 181*b - 542. Let j be i(3). Is j smaller than 2213?
False
Suppose 576*q - 580*q + 234 = -3*t, -t - 98 = 2*q. Which is smaller: 35 or t?
t
Let j = -10565 + 10563. Is j greater than or equal to -1/54?
False
Let o = -5066.4 + -111.6. Which is smaller: 0.1 or o?
o
Suppose 13*x = 40*x + 4725. Is x less than -124?
True
Suppose l - 2*l - 3*p = 14, -4*l + 5*p + 29 = 0. Let j be (l/(-2))/(-2*5/840). Let a = j - 55. Which is bigger: a or -12?
-12
Let m = -269 + 110. Let q = m - -160. Is 12 at most q?
False
Let q be ((1/(-2))/(75/675))/(11/788). Which is greater: q or -1?
-1
Let k be (-90)/(-102) - 7/((-595)/10). Is k equal to -4/91?
False
Let g = 21796 + -21798. Does 1/318 = g?
False
Let h(n) = -n**3 + 16*n**2 - 55*n + 326. Let r be h(13). Which is smaller: 165 or r?
r
Suppose 19*l - 630 = 10*l. Let t be 102/21 - (-10)/l. Which is greater: t or -0.46?
t
Let g = 68 - 95. Let l be (-24)/20*1/g. Let k(u) = -19*u + 189. Let d be k(10). Which is bigger: l or d?
l
Let g = 4674533/186087 + -829/33. Which is smaller: 1 or g?
g
Suppose -2*y + 4*o = -92, -2*y - 23 = -6*o - 123. Suppose 5*a + 5 = 0, 2*w - 5*a + 59 = -22. Let d = w + y. Which is smaller: d or -17/3?
-17/3
Let p be (24/40)/(3/(-15)). Let x be (0/((-3)/(-3)))/(3/p). Let t = -33.049 + 0.049. Is t greater than or equal to x?
False
Let x = 25.967 - -0.033. Let f = 3.064 - 34.064. Let j = x + f. Which is smaller: j or 2?
j
Let q = -601 - -317. Let p = 414 + q. Which is smaller: -1 or p?
-1
Suppose 0 = 2*y - 4*y + 14. Let s = -10 + y. Let t be (s + (-22)/24*-3)*-1. Which is smaller: t or -2?
-2
Let z = -172724 + 172729. Suppose 0 = -4*j + 3*w - 41, 3*j - w + 12 = -5*w. Which is smaller: z or j?
j
Let i(h) = -h**3 + 4*h**2 + 60*h + 1. Suppose 47 = 4*u + 71. Let o be i(u). Which is bigger: o or -1/964?
o
Let h be (4 + (-2253522)/(-12))*1/(-60). Let s = 3133 + h. Let y = -8/3 + s. Which is bigger: 1 or y?
1
Suppose 12*m - 35*m = -7406. Suppose 17*x + 339 = m. Is x not equal to -11/34?
True
Let m(z) = z**2 + 5*z + 2. Let o be m(-5). Suppose -5*t + 17 = -o*h - 11, h + 2*t - 4 = 0. Let f be h/6 + (-2 - 85/(-15)). Which is smaller: f or 24/11?
24/11
Let h = 79489/53095930 + -7/7526. Which is bigger: h or 1?
1
Suppose -d = m - 7, 0 = -5*d - 3*m + 5*m + 21. Suppose 2*j - f - d = -15, 12 = -j + 4*f. Is -5 greater than j?
False
Let s = -18 + 22. Let f = 9 + -12. Let b(d) = d**3 + 4*d**2 + 4*d + 4. Let u be b(f). Is s bigger than u?
True
Let l = -313 + 318. Suppose -4*y - l = -9*y. Is -10.3 < y?
True
Let d = 20940/19 - 54088172/49077. Which is smaller: d or 1?
d
Let a be (-2)/(-4) - (-29)/38. Suppose -2*l + 162*r = 158*r + 20, 3*r - 22 = -2*l. Which is smaller: a or l?
a
Let b = -1.258 - -1.24. Let u = b + 0.818. Which is smaller: 0 or u?
0
Let h be (-686)/42 - (1 - 17). Let o = 0.02 - 3.02. Is h equal to o?
False
Let y be 76/6 - (-6 - (-85)/15). Let a be -1 - (-52)/14 - (-10 + y). Let x = 5 - 9. Is x greater than a?
False
Let j = -4897 + 4175. Which is smaller: j or -723?
-723
Let y = 18801 - 18221. Which is bigger: y or 579?
y
Let k = 30 - -136. Let v = k + -193. Which is bigger: v or 1/3?
1/3
Suppose 10135 = -5*k - 8*x + 3*x, -5*k = -5*x + 10165. Is -2030 bigger than k?
False
Let c = -12004 + 48245/4. Let w = c - 107/2. Which is smaller: w or 3?
3
Let z be (1 - 17141 - 15)*(-2)/(-5). Which is bigger: -6861 or z?
-6861
Let d = 829.44 + -10.44. Let p = 818.646 - d. Does p = 0.1?
False
Let q be (-8816)/174*6/8. Which is smaller: q or -20?
q
Let s(r) = r**3 - 10*r**2 - 6*r - 3. Let a be s(6). Let h = 187 + a. Is h at most as big as 6?
True
Let k be (3 + 1)*-2*1/(-2). Suppose -l = 3*m + 2*l + 27, k*m - 5*l = -54. Let o(x) = x + 10. Let p be o(m). Which is smaller: p or -7/17?
p
Let s = 42 - 36. Let d be (4/1 + 0)*s/24. Is 2/13 at least d?
False
Let u = 161 + -137. Suppose 78 = -22*a + u*a. Is a greater than 37?
True
Let t = -30 + 29.924. Let z = 9.676 + t. Let q = z + -10.6. Is 1.3 at most q?
False
Let a = 379 + -5303/14. Let t be ((-8)/7)/4 + 7910/(-98). Let c be 144/t + (-2)/9 - -1. Is c <= a?
True
Let c = -226 - -207. Let f = 5 + c. Which is smaller: f or -0.15?
f
Let f be 30/65*286/(-33). Which is bigger: f or -1471?
f
Let t be (-75)/(-2) - (126/28 + -4). Suppose 5*d = 2*w - 444, w - 410 - t = 5*d. Is -90 less than d?
False
Let j = 5087 + -45706/9. Which is smaller: 8 or j?
8
Let w be ((-324)/540)/(6/(-320)). Let h be -3*(-1 + 58/(-6)). Is h smaller than w?
False
Let a(x) be the second derivative of -x**6/720 - x**5/60 + 11*x**4/12 + 4*x. Let l(d) be the third derivative of a(d). Let g be l(-3). Does 4/9 = g?
False
Let p(t) = -26*t - 8. Let a be p(-3). Suppose -5*i + a = 5*g, g = -0*i + i - 12. Is i at least as big as 15?
False
Let a be 6*1*(-1)/(-3)*-2. Let k be -1 + (-3)/a + (-36778)/(-5250). Let r = k - 2/375. Is 8 <= r?
False
Let k be (240/720 - 1/(-15))*10/(-4). Let p be (-4986)/(-20) - 15/(-10). Let l = -252 + p. Which is smaller: l or k?
l
Let j(d) = -672*d - 75. Let b be j(-19). Let m = b + -63269/5. Which is smaller: -1 or m?
-1
Let s(x) = -x**2 + 11*x - 9. Let d be s(10). Let o be 0 + -3 - d/(-1). Let k = -207/40 - -27/8. Which is smaller: k or o?
o
Let d = 2072 + -2953. Which is bigger: -880 or d?
-880
Suppose -4*q + 20 = -32. Let x(g) = 154*g - 8761. Let s be x(57). Which is smaller: q or s?
q
Let g be 1592/36 + 10/135*-3. Suppose g = 24*t + 20*t. Let r be (-2)/(-3) + 131/(-192). Which is smaller: r or t?
r
Let j = 14093 - 14101. Are -8 and j nonequal?
False
Let c be 61 + 9/((-27)/6) + -4. Let q be c/(-11) + (-1 - -2 - -1). Which is smaller: q or -7/4?
q
Let x = 10 - -8. Suppose 79 = -10*g - 1. Let y = g +