q be -4 + 0 + (-2)/f. Which is greater: -2 or q?
-2
Let t be (-9)/810*5*-6. Let u be (4/(-6))/(4/(-6)). Is u greater than or equal to t?
True
Let c be 48/(-1761)*((-455)/(-52) + -9). Is c equal to 1?
False
Let u = -35.3 + 35.29. Which is smaller: u or 3?
u
Let k be (46/32)/((-2)/(-4)). Let c = 85/24 - k. Let j = 25 + -24. Is j < c?
False
Let m(c) = -c**3 + 6*c**2 + 7*c - 1. Let y be m(7). Let v(g) = -g**2 + 15*g - 58. Let o be v(9). Which is bigger: y or o?
y
Let t = 60814 - 134946268/2219. Which is bigger: 1 or t?
1
Let i = 9 + -30. Let k = i + 20.9. Do -0.23 and k have the same value?
False
Suppose -5*z = 3*c + 2314, 3*z + 3*c + 541 = -851. Let s be ((-12902)/(-10))/(84/(-30)). Let p = s - z. Is -1 < p?
True
Let o = -18 + -5. Suppose d - 4*y = -0*y - 2, 2*y = 4*d + 78. Is o at least d?
False
Suppose -l - 2 = a, -2*l = -a - 0*l + 10. Let v be 5 - (a - (1 + -3)). Which is smaller: -2/9 or v?
-2/9
Let r be 1 + (-9462)/70 + 20/(-50). Which is bigger: r or -135?
r
Let c be ((-42)/693)/((-2)/12). Which is greater: c or 2?
2
Suppose -97 = -3*x + 5*k - 35, 5*k = 10. Which is bigger: x or 76/3?
76/3
Suppose -3*k = -13 - 14. Let c(j) = 18*j**2 - j. Let x be c(1). Suppose -5 = -4*l - x, -h - 5*l = 6. Is k > h?
False
Suppose 8 = -v - 7. Let f(p) = p**3 + 16*p**2 + 14*p - 18. Let j be f(v). Let a = -3 + 2. Is a < j?
False
Let t be (4/42)/(3/(-1395)). Let x = -298/7 - t. Let l = 1/28 + x. Which is smaller: l or 3?
l
Suppose 5*f = -b - 3*b + 11, -f - 17 = -4*b. Let v be 5/(-10)*0/f. Suppose -c + 5*w - 24 = -4*c, v = 2*c - w - 16. Is c smaller than 7?
False
Suppose -27*o - 11*o = 1862. Which is smaller: o or -51?
-51
Let v = -930 + 1322. Let x be (-56)/v + (-1 - 31/(-21)). Let g(b) = -b**2 - 4*b + 2. Let w be g(-4). Is x at most as big as w?
True
Let r(l) = -4*l - 6. Let c be r(-3). Let d be (6/4)/(c/(-88)). Is -21 greater than d?
True
Let v be (-1)/(-4 - (-3 - 0)). Let c(u) = u**3 - 11*u**2 - 12*u + 4. Let t be c(12). Let j be 27/(-18) + t/2. Is v at least j?
True
Let r(y) = y**3 + 6*y**2 - 4*y + 21. Let t be r(-7). Suppose t = 7*o - 11*o. Let i = 212/5 + -43. Is i < o?
True
Let r be (-1*2*-11)/(396/(-594)). Is -0.1 <= r?
False
Suppose f - 8*f + 63 = 0. Suppose z + 2 - f = 0. Which is greater: z or 0?
z
Let y be 3/((-12)/(-64)) + 7. Which is smaller: -1/5 or y?
-1/5
Let z = 50 + -55. Let c = z + 8. Is c at least as big as 1?
True
Let r be (-13608)/(-70) + 2/(-5). Are 1 and r equal?
False
Suppose 4*u + 30*a - 25*a = -16, 2 = -2*u - a. Let i be 55/(-4) - 2/8. Let m be (-6)/21 - 32/i. Which is greater: m or u?
m
Let k(o) = o + 8. Let a be k(-3). Suppose -a*d = -25 - 0. Suppose 0 = 5*y - 20 + d. Which is bigger: 4 or y?
4
Let w = -3 + 4. Let u(o) = -o**2 + 3*o + 1. Let g be u(5). Let m be g/(-5) - (-5)/25. Which is greater: m or w?
m
Let s = 188/103 + -19819/7416. Let v = s - -1/72. Which is bigger: v or 3?
3
Let m be (-23)/46*(-1)/359. Is m at least as big as 1?
False
Suppose 20*b = 37*b - 527. Which is smaller: 123/4 or b?
123/4
Let l(i) = -i**3 + 9*i**2 + 3*i + 44. Let k be l(10). Is -21 equal to k?
False
Let u be 9/117 - (1 + -1). Let p = u + 9/52. Let w = -4 + 14/3. Which is greater: p or w?
w
Let a = 4618/3 - 87733/57. Let r(c) = c + 7. Let l be r(-6). Are a and l equal?
False
Let k = -49/160 - -9/160. Which is smaller: 1/87 or k?
k
Let a be -24 + 20 + (-24)/(-1). Suppose -5 = -5*m + a. Which is bigger: m or 8?
8
Let l = -1/3 - 0. Let z be 0 - (-3 - -1)/2. Let d be (-24)/12 - -2*z. Which is bigger: l or d?
d
Suppose 2*f + 83 = 3*p, -80 = -4*p - 4*f - f. Let l(y) = 4*y**2 - 10*y + 3. Let u be l(4). Is u greater than p?
True
Let t = -18.9 - -11.9. Which is smaller: 1.8 or t?
t
Let s = -26 + 30. Which is smaller: 5 or s?
s
Let b be 2/(-7) + 12/(-7). Suppose 0 = -p - 4*n + 4, p - n - 3*n - 4 = 0. Suppose -p = -4*l + 5*l. Does l = b?
False
Let j = -0.183 - -2.183. Which is smaller: 0.042 or j?
0.042
Let n = -40.6 + 40.4. Are -15 and n equal?
False
Suppose 0 = 5*x + 3 - 8, 4*y = -5*x + 9. Which is greater: 1/4 or y?
y
Let i = 3/10 + -41/70. Let h be ((-4)/12)/(-1 - -2). Is i greater than h?
True
Let x be (10/(-15))/(4/1446). Let q be 47710/198 + 2/9. Let d = x + q. Which is smaller: 1 or d?
d
Let t = -25721/4 + 6430. Let o(s) = -3*s**3 - s**2 + 1. Let x be o(-1). Is x equal to t?
False
Suppose 2*p = 6 + 4. Suppose 0*q - 65 = p*q. Let x be (-3)/q*(0 - -1). Is x greater than or equal to -1?
True
Let y be -73 - (-1 - 7)/(-2). Let q = 25766/345 - -215/69. Let f = q + y. Is f >= 2?
False
Let m(z) = -z**2 - 6*z - 4. Let v be m(-2). Let c be 6174/77 + v/(-22). Let x be 5/(175/c) - 4. Is x != -1?
True
Let k = 12.63 - 0.63. Let d = 0.1 - 1.1. Is d < k?
True
Suppose -j - 10 = j. Let z(h) = -h**3 - 4*h**2 + 5*h + 7. Let t be z(j). Is 4 at most t?
True
Let w be 1/(-35)*(12 + (-438)/4). Is w < 3?
True
Suppose -20 = -q - 3*q. Let l be (-9)/(9/(-4))*2. Let c = -4 + l. Which is smaller: q or c?
c
Let m be (7 - 6)*3044/758 + -4. Is 0 greater than m?
False
Suppose 3*d - 18 = 9. Let c be (4 - 1)*(1 + (-24)/(-9)). Do d and c have the same value?
False
Let t(b) = 44*b + 660. Let x be t(-15). Let c = 1513/77 + -135/7. Is x at most as big as c?
True
Let r = 2.69 - 2.722. Which is smaller: r or 0.04?
r
Let b = 233 + -234. Which is greater: b or 3/16?
3/16
Suppose 5*i - 56 = 89. Is 29 at most i?
True
Let b = 202.05 - 198. Let o = 0.05 - b. Let f = o + 6. Is f >= 6?
False
Let y = -12221/7 - -1737. Which is smaller: -10 or y?
-10
Suppose 5*s = c + 83, 4*c = 8*c + s + 332. Let p = c - -83. Which is greater: -6/5 or p?
p
Let f = 0.05 - 0.02. Suppose 3*s = 4*s - 3. Suppose 0 = s*z + 6, 5*i + z + 0*z = -2. Does f = i?
False
Let f(m) = m**2 - 6*m - 10. Let x be f(5). Let y be (-1*1)/(33/x). Which is smaller: -1 or y?
-1
Let l = 15.05 + -0.05. Let d = 25.968 + 0.032. Let v = d - l. Which is bigger: v or 1?
v
Let u be 16/(-70) - 11/(539/(-14)). Is u <= -9?
False
Let c be 5 - -34 - (3 - -6). Is c > 29?
True
Let s(z) = -z - 3. Let w be s(-3). Let x = 3454 - 58726/17. Which is smaller: w or x?
x
Suppose 4*r = -0*r + 4. Let d be (1 + -1 + 0)/r. Suppose d = -0*g - g. Do -2 and g have the same value?
False
Let v = -76 + 122. Let j = v + -44. Is -29 smaller than j?
True
Let c be -4 + 3 + 2 + -1. Suppose 0*z + z + 5 = c. Which is smaller: -7 or z?
-7
Let p = 863 - 6051/7. Let f(h) = h**3 + 5*h**2 + 3*h - 4. Let t be f(-3). Let l(o) = -o**2 + 2*o + 13. Let x be l(t). Which is greater: p or x?
p
Suppose 27*p + 35*p - 26598 = 0. Which is smaller: p or 431?
p
Let t be (1 + 5/10)*88/3. Let m be ((-20)/6)/(t/(-33)). Which is greater: m or 3?
3
Suppose 13*l = 8*l. Let a = 72 + -212/3. Which is smaller: a or l?
l
Let a = -265 - -2117/8. Let x be (4/(-3))/(1/6). Let h(k) = -k**3 - 7*k**2 + 7*k - 9. Let n be h(x). Which is smaller: n or a?
n
Let p be 3 + 1 + 0/(-2). Suppose -3*k + 11 = -p*y, 3*k + y + 2 - 3 = 0. Are 1/14 and k non-equal?
True
Let q(y) = -3*y - 1. Let g be q(-1). Suppose 4*c = g*c - 2. Let p be (864/52)/(-4) - -4. Which is smaller: c or p?
c
Suppose -h = -4*p + 46, -5*h - 146 = p - 21. Let o be 1/(-5) + h/(-130). Is o <= 1/35?
True
Let b be ((-3900)/175)/(3/(-168)). Which is smaller: b or 1249?
b
Let q(v) be the third derivative of 0*v - 10*v**2 - 1/8*v**4 + 1/3*v**3 + 0. Let m be q(-2). Which is bigger: m or 0?
m
Suppose 0 = -4*b, -2*b = -2*w + 3*w + 5. Let s be (w/6*-3)/((-3)/6). Is -6 greater than or equal to s?
False
Suppose -26*o + 4*w + 70 = -29*o, o - w = -14. Suppose -2*v + 70 = -3*n, -5*n - v = 3*v + 80. Is o > n?
True
Let m be 30*((-15)/20)/(3/10). Is -76 <= m?
True
Let q = -0.41 + -2.59. Is q at least -11?
True
Suppose l + 60 + 1 = -5*t, -4*l - 23 = 3*t. Which is smaller: t or -8?
t
Let u = -3 - 1. Let c(p) = p**2 + 37*p + 40. Let x be c(-36). Which is bigger: x or u?
x
Suppose 3*k = -i + 44, -150 = -5*k - 130*i + 136*i. Let c(v) = 13*v**2 - 2*v - 2. Let w be c(2). Suppose -49 = -5*r + w. Are r and k nonequal?
True
Let h = -233 + 232.9. Let v = -59 + 121. Is h > v?
False
Let z(l) = -42*l - 425. Let o be z(-10). Is -53 less than or equal to o?
True
Suppose 0 = 7*w - 3*w. Suppose j + j - 68 = w. Let p be 4 - (0 + j/10). Which is smaller: p or 1?
p
Let v = 1116 - 750. Which is bigger: 367 or v?
367
Let k = 23401/9 + -2597. Let u = 65/9 + k. Let h = u + -9. Which is smaller: h or 2?
