t as big as 3.3?
False
Let o be (-81)/(-480) + (-3)/15. Let a(g) = -g**3 - 11*g**2 - 2*g - 20. Let l be a(-11). Let y be (-24)/(-16) - 3/l. Is y < o?
False
Let f = 6211.9 + -6212.7. Let z = -790/9 - -88. Is f greater than z?
False
Let f(i) = -7*i - 128. Let w be f(-19). Suppose 3*k + 4*a - 39 = 0, -2*k - 66 = -5*k + w*a. Which is greater: 23 or k?
23
Let q = 1393 + -1278.9. Let p = q - 7.1. Is 2 != p?
True
Let a = -251.9433 + -0.0567. Let q = 253 + a. Which is smaller: q or 1/26?
1/26
Let v = 95 + -51. Let q = -4 - -8. Suppose 3*j + q*r = 38, 4*j + 7*r - v = 3*r. Which is greater: j or 34/5?
34/5
Let i(j) = -2*j**2 + 28*j - 93. Let p(n) = -n**3 + 6*n**2 + 8*n - 1. Let d be p(7). Let v be i(d). Let s be (-1)/(-3) + (-2)/6. Which is smaller: v or s?
s
Let s be 249/(-85)*(-5)/(-50). Let d = -301/5 + 3013/50. Let x = d - s. Is 1 smaller than x?
False
Let r = 6637 - 6637. Which is greater: 39/134 or r?
39/134
Let z(s) = s**3 + 33*s**2 + 107*s + 18. Let n be z(-7). Which is smaller: n or 550?
n
Suppose 10 - 88 = -6*m. Suppose 0 = m*u - 8*u - 270. Suppose -4*p + 4*k - 24 = 0, -5*k = 5*p + 6 + u. Which is greater: p or -12?
p
Let q = -10963379/60 - -182794. Let r = -71 + q. Let j = -64/273 - 2/39. Is j < r?
True
Let j = 2877 + -23061/8. Let y be ((-14)/((-140)/30) - 14) + 6. Which is bigger: j or y?
y
Suppose -3*f = 6*n + 6, 1521*f + 2*n - 22 = 1516*f. Is f equal to -0.55?
False
Suppose 0 = 5*i - 5*n - 10, -3*i = -2*n + n - 12. Suppose 3*f = -x + 64, 4 = i*x - x. Do f and 41/2 have the same value?
False
Let o(k) = 19*k**3 - 6*k**2 + 6*k - 2. Let w(x) = -39*x**3 + 13*x**2 - 14*x + 5. Let a(z) = 7*o(z) + 3*w(z). Let t be a(1). Which is smaller: t or 13?
13
Suppose 0*f = 3*t + 4*f - 13, -8 = -3*t + f. Let n = 1/71 + -171/2059. Are t and n non-equal?
True
Let i(h) = 35*h - 1. Let a be i(-1). Suppose 65*u = -453 - 67. Let w be (-21)/6 - -2 - a/u. Which is smaller: w or -9?
-9
Suppose -4*p = 4*u + u + 20, 0 = -2*u - 8. Let k(i) = -9*i - 73. Let o be k(-8). Let c be 32/3904*(-5 - (o + 0)). Do p and c have the same value?
False
Let i = 170.5 + -170.6. Which is greater: -380 or i?
i
Suppose -5 + 10 = -5*i. Let h = -263627/125 - -2109. Which is greater: h or i?
h
Let q be (27/(-12))/(2/(-8)). Suppose 373 = -13*r + q. Which is smaller: -30 or r?
-30
Suppose 2*r + 0*r - 3*j + 7 = 0, 2*r + 4*j = 28. Let w(g) = g**2 - 3*g - 3. Let z be w(r). Suppose -v - 1 = 0, 2*v + 0 = -5*y - 2. Does y = z?
False
Let x(p) = -4*p**2 + 2*p. Let j be x(-2). Let d be 13 + 504/(-40) + 482/(-5). Let u be -14 + 1 - d/(-16). Is u > j?
True
Let i(x) = -x**3 - 3*x**2 + 14*x - 3. Let u be i(2). Suppose -2*z - 4 = -3*n + 8*n, 0 = -3*z - u*n - 6. Let v be 2/(z - 20/(-11)). Is v > -8?
False
Let j = 0.01493 - 1434.01493. Is j > 0?
False
Let l be 350/280 - (-22475)/4. Do 5618 and l have the same value?
False
Let i = -174.11 + 173. Let v = 1.96 + -3.07. Let l = i - v. Which is bigger: l or -0.2?
l
Let p = 1628.268 + 0.732. Which is bigger: p or 2?
p
Let r = 2860.9 - 2861. Are r and -425 non-equal?
True
Let s be 10*-1*(1 + -2*22/40). Do s and -37/92 have different values?
True
Let p be (14 - 21)*(-1 + 0). Suppose p*b - 8*b = -3. Let w be 1*0*1/b. Are 6/7 and w equal?
False
Let j = -6.07 + 5.96. Is -14 equal to j?
False
Let w = 701621/88 - 7973. Which is bigger: w or 4?
4
Suppose -11*a - 6 = -8*a, 4*m = 2*a + 4. Which is greater: m or -1/10483?
m
Let q = -1/7220 - -3478237/14440. Are 240 and q nonequal?
True
Let g = 4393 + -4507. Let k = 175 - 290. Let u = g - k. Is -3/22 at least as big as u?
False
Let j be -1*(11/(-22))/(3/6). Which is smaller: j or 108/199?
108/199
Let w = -237189/35 - -6777. Which is bigger: -8 or w?
w
Let z(b) = b**3 + 19*b**2 + b + 27. Let r be z(-19). Suppose r*n = n + 105. Suppose 0 = -i - i + 30. Is i less than n?
False
Let w = -48548 + 46236.34. Let t = -2364 - w. Let g = t + 0.34. Which is smaller: g or -0.1?
g
Let b = -418903/145 + 2889. Let v be (-30)/(-26) - 3/(195/10). Which is smaller: v or b?
b
Let n(u) be the third derivative of -u**4/12 + 7*u**3/2 - 6*u**2 + 27*u. Let c be (-2)/3 - (-8)/12. Let t be n(c). Is 1 at least t?
False
Let m = 4834 - 4909.18. Let j = m - -77. Let a = 1.18 + j. Is a at most -1?
False
Let r(h) = 7 + h**2 - 2*h - 9*h + 4. Let d be r(10). Let s be (-2)/(-5)*(-45)/999. Which is smaller: d or s?
s
Let r = -1253 - -1253. Which is smaller: r or -4/331?
-4/331
Let q = 4744 + -4752. Is 236 >= q?
True
Suppose 0 = 4*l + 4*i + 7832, -3548 = 2*l + 4*i + 366. Which is smaller: l or -1960?
-1960
Let h(k) = k + 8. Let p be h(9). Suppose g - 2*c = 8, -c + p = g - 0*c. Suppose -4*u - 3*u - g = 0. Is u less than -3/5?
True
Let z = 224 - 103. Let i = 142 - z. Which is smaller: 23 or i?
i
Let g be (285/30 - 2)*(-2)/(-136). Is -1 bigger than g?
False
Suppose -5*c = -w - 324, -4*c - 135 - 471 = 2*w. Let g = w + 145. Is -162 less than or equal to g?
False
Let o be (-18)/(-14) + 2/(-7). Suppose -b = -2*b - 100. Let j be o/(-6) - b/(-120). Which is greater: j or 2/43?
2/43
Let u be (-5)/2*(-567)/(-90). Suppose -270 = -5*j - j. Let y = j - 60. Is y >= u?
True
Let w be (-8722)/3458 - -2 - (-4)/26. Which is smaller: 0 or w?
w
Let f = 1702.9 - 1690.9. Let p(r) = 4*r**2 + 2*r + 1. Let w be p(2). Let v be 2/6 - 19/w. Is v bigger than f?
False
Let z be 44 + -6 + 11 + -10. Suppose -376 = -23*j + 475. Which is greater: z or j?
z
Suppose -6 = 4*z - 14. Let m be 16/(-860)*5/z. Let c be 1 + -3 + 5 + -2. Do c and m have the same value?
False
Suppose -4402 = -5*m - 2*f, -1864 - 770 = -3*m - 3*f. Let h be (-32)/(-6)*m/12. Let u be (-378)/h + (-2)/(-2). Which is greater: 0 or u?
u
Let d = -542 + 531. Let l(y) = y**3 + 5*y**2 - 5*y - 4. Let o be l(-6). Which is greater: o or d?
o
Let m = 0.1 + -1.1. Suppose q = 5, -16*q - 7 = -j - 18*q. Let y be j + 1 + (1 - 2/(-10)). Is m greater than or equal to y?
False
Let g = 797 + -810. Suppose 0*h + 4*h = -116. Let u = 17 + h. Do u and g have different values?
True
Let v = 3 - 1. Let p(i) = -i**3 + 25*i**2 + 2*i - 46. Let m be p(25). Suppose -v*f = -f - m*a + 32, 0 = 4*f - 3*a + 154. Is f equal to -40?
True
Let c be ((-18)/1185)/((-138)/9200). Is 0 at least as big as c?
False
Let c = 14344 - 14167. Which is greater: c or 1594/9?
1594/9
Suppose -3*o - 19 = -10. Let v be (o/15)/((-102)/(-595)). Is -2 < v?
True
Let q be (-2924)/(-1900) + 8/(-4) + -1. Let b = -6/475 + q. Does -2 = b?
False
Let i = -131 + 221. Let o = i + -86. Suppose 3*z - 6*z + 3 = 3*d, -z + o*d - 9 = 0. Is -5/4 bigger than z?
False
Let a = 11 + -8. Let w be (a/(-10))/((-12)/(-5)). Suppose 0*c + 15*c + 5*c = 0. Which is smaller: c or w?
w
Let u = 1.51 + 91.49. Let a = 32 - u. Let d = a - -61. Is d bigger than -7?
True
Let q = -0.267 - -142.267. Let g = 143 - q. Is 91 not equal to g?
True
Let t = 7694 - 7694.5. Which is smaller: t or -1674?
-1674
Let y(r) = -r**3 + 4*r**2 + 6*r - 25. Suppose 9 = -h + 13. Let l be y(h). Is l < 2/337?
True
Let i be (-273706)/(-1177) - (-12)/(-22). Let t be 0/2 + (236 - 5). Do t and i have the same value?
False
Let s = 0.5 + -1.4. Let n = s - -0.7. Suppose 3*j + 8 + 9 = p, -2*p + 14 = -j. Does j = n?
False
Let o = -49 + 107. Let f = 80 - o. Which is bigger: f or 20?
f
Suppose 2*t = -2*g + 50, 4*g + 4 = -4. Let i = -559821 + 559848. Is i greater than t?
False
Let w(v) = 5*v**2 - 5*v + 9. Let o(j) = -4*j**2 + 5*j - 9. Let l(k) = -4*o(k) - 3*w(k). Let r be l(3). Let g be r - ((2 - -2) + (0 - 1)). Is g > -3/34?
True
Let y be (-1)/5*(-237)/(-3). Let z = 6911 - 6926. Is y != z?
True
Let q(r) = -r**3 + r**2 - r + 3. Let h be q(0). Suppose 3*c - 6 = 0, h*b - 2*c = 4*b + 18. Which is smaller: -21 or b?
b
Let i = -41 + 39. Let l be ((3 - 4)*65)/(i/30). Let t = -8785/9 + l. Which is greater: t or -2?
t
Let u be (-40)/(-10 - -5) + -8. Which is greater: 5/53 or u?
5/53
Let m be -4 - 31 - (1 + -9) - -5. Let f be (9/(-6))/(3/(-6)). Is f smaller than m?
False
Let g(h) = -57*h - 4. Let q be g(-7). Let j = -276868 + 277264. Is j > q?
True
Let o(d) = -d**3 + d**2 + d + 4. Let k be o(0). Let g(u) = u**3 + 13*u**2 - 89*u + 9. Let b be g(5). Suppose 0 = -k*m - 14 + b. Which is bigger: m or -2/69?
m
Suppose 0 = y - 2*b + 6, 5*b = -2*y + 2 - 14. Let z(g) = -6*g - 13. Let k be z(y). Let i be (-6)/9 + 77/3. Which is smaller: k or i?
k
Suppose -1220*g + 23 = -1219*g. S