. Which is greater: d or 1?
1
Let y(n) = n**2 + 2*n + 14. Let i be y(7). Let a(x) = x**3 + 17*x**2 - 45*x - 58. Let s be a(-19). Is i smaller than s?
False
Suppose 20*z = 16*z + 3848. Suppose z = 12*c + 86. Is c less than or equal to 73?
True
Let x be (-4 - (-84)/35)/(1/30). Suppose 0 = -4*f + 5*f + z, 2*f - 8 = -4*z. Let s be 12*-3*f/(-3). Are x and s equal?
True
Let p = 2.8 - 1.1. Let w = p - 1.5. Suppose -l = y - 13, -7 = 2*y - 5*y + 5*l. Which is bigger: w or y?
y
Let o = -17502 + 17529. Suppose -5*n - 2*l + 145 = 0, 12 = n - l - 2*l. Do o and n have the same value?
True
Suppose 0 = -17*t + 47 - 81. Which is smaller: -22/17 or t?
t
Let m = 0.3 - 0.31. Let u = 292446 + -292408. Which is greater: m or u?
u
Let f = -4503.17 - -4503. Is -1/25 bigger than f?
True
Let m be 5 + 2 - (2 + 0). Let p be ((-3)/11)/(4/72). Let u = p + m. Which is bigger: u or 1?
1
Let x = -38 + 89. Let d be 2*(-4)/16 + x/6. Suppose 0*i - 16 = -d*i. Is i less than or equal to 4?
True
Let q = 116 + -96. Suppose q*x - 11*x - 18 = 0. Which is greater: 1 or x?
x
Let p(t) = 21 + 9 + 19*t + 57 - 8*t. Let a be p(-7). Which is greater: 3 or a?
a
Let s = 24 + -18. Let t(j) = 4*j - 26. Let o be t(s). Let q be (o/(-15))/((-13)/(-65)). Which is bigger: -0.8 or q?
q
Let j = 3838 - 3837.9. Are j and 520.3 equal?
False
Let j = 1966 - 1158. Let f be j/(-18) - 1/9. Which is smaller: f or -7?
f
Let b be 12/18*(0 - (-45)/18). Which is smaller: 8 or b?
b
Let w be 2/(-62)*-2 - 613542/7538890. Which is greater: w or 1?
1
Let g be ((-4)/14)/((-744)/5465796). Is 2101 bigger than g?
True
Let h(c) = 2*c**2 - 3*c + 153. Let m be h(-18). Is m bigger than 855?
False
Let q be 9/2*4/6. Suppose -2*z = 4*v + 16, -q*v + 1 = -3*z + 4. Let i be z/(-4)*(5 - 7). Which is smaller: -4/5 or i?
i
Let d be 12 - (1 + -10 + -138). Let f = -0.081 + 1.081. Which is greater: d or f?
d
Suppose -57*g + 774 = -63*g. Let b be 2/(-4) - 1 - g/86. Is 10/53 equal to b?
False
Let k = -357 - -362. Suppose 0 = -k*z - 6*d + 10*d + 2920, -2*z = 5*d - 1135. Which is bigger: z or 581?
581
Let v be (-15)/(-12)*(-4)/(-1)*53. Let y = v + -154. Is y at least 110?
True
Suppose -2*q - 15*z + 103 = 0, -43*z + 44*z = -q + 6. Does q = -2/123?
False
Let u(t) be the first derivative of -t**3 - 13*t**2 - 12*t + 22. Let n be u(-8). Is n > 19/6?
True
Let o = -248 + 406. Let b = o + -158.1. Which is bigger: b or -74?
b
Let g(v) = -v - 17. Let y be g(-7). Let j be (-513)/(-7) - y/(-35). Let u(a) = -2*a**3 - 9*a**2 - 11*a - 7. Let k be u(-5). Is k smaller than j?
False
Let p = -505 + 503.96. Is 0.1 less than or equal to p?
False
Let o = 734.4 + -735.4. Is -5829 < o?
True
Let y(z) = -z**2 + 11*z + 12. Let c be y(10). Let f = -31 + c. Let n be 2*f/(18/(-4)) + -8. Which is greater: n or 0.04?
0.04
Suppose 14*i = 20*i + 1380. Let j = -121 - i. Is j < 1?
False
Let p = 25184/51 + -8400/17. Let s be -2*1/(-2) + -2. Are p and s equal?
False
Let a = -0.1 + 0.1. Let n = -0.076 - -0.349. Let j = -0.127 - n. Is j bigger than a?
False
Let z(i) = 12*i + 421. Let m be z(-41). Which is smaller: m or -81?
-81
Let g = 18.43 + -18.33. Let t be -16 + 20 + -1 + 124. Is t less than or equal to g?
False
Suppose 4*g - 102 = -2*m, 2*g = -m + 6*g + 57. Let j = -13516 + 13517. Suppose j + m = -6*b. Do b and -11 have different values?
True
Suppose -3*j = -j - 30. Suppose 19 = -q - 5*h, 2*q + 2*q - 5*h - 24 = 0. Let g be 2 - -12 - (2/q + -3). Is g bigger than j?
False
Let i be ((-74)/(-5))/((-6)/(-5)). Let g = 335 + -331. Let v be 1/1*g*(-77)/(-28). Which is greater: v or i?
i
Let j = 2969 - 2968.7. Which is bigger: j or 3/1720?
j
Let w be -3 - 3/(1638/5878). Let o = w + 96/7. Suppose 0 = 14*i - 9*i + 5. Which is smaller: o or i?
i
Suppose -4*z = -g + 51453, 23*z - 25*z + 3*g - 25719 = 0. Is -12863 smaller than z?
False
Let d = 3086 - 3009. Let p be 79 + 6/9*-3. Is p > d?
False
Let v = -1.766 + -0.034. Let o = 1.9 + v. Let p = -6.57 - -0.07. Is o >= p?
True
Let l = -6.6 + 6.559. Let h = l + -0.969. Let j = h - -2.01. Is j > -70?
True
Let y be 65 - (-35 + 27 + 31). Let r = -99 + 144. Is y < r?
True
Suppose 4*h - 332 = -0*h. Suppose 15*o + 2*o - 63*o + 3198 = -7*o. Which is smaller: h or o?
o
Suppose 46*k - 49*k + 81 = 0. Suppose 22*u - k*u - 340 = 0. Let c = 69 + u. Which is bigger: -3/17 or c?
c
Suppose h - 8*d + 4*d = 3, -3*h - 4*d + 57 = 0. Let b be (4 + (-20)/(-6))*3. Let n = b + -8. Which is smaller: n or h?
n
Let r be (3 - 3) + 5 + 2. Let m be (-2 + r)/(-15 + 14). Let h = -67 - -61. Is h at least m?
False
Let b = -434.6 + 434.19. Which is smaller: b or -12/11?
-12/11
Let r be (-1)/(-5) - (-236)/20. Let p = r + -8. Suppose 3*d = p*d + 5*q - 7, -7 = -d + q. Are d and 8 equal?
False
Let v(g) = 10*g**2 - 42*g + 238. Let q be v(6). Which is bigger: 1736/5 or q?
1736/5
Suppose 0 = -527*k + 46354 - 13153. Which is smaller: 4 or k?
4
Suppose 0 = 36*f + 2283 + 2001. Is -117 at most f?
False
Let i = 276 + -2251. Which is greater: i or -1976?
i
Let f = -313.8 + 390.7. Is -1 at least f?
False
Suppose 2*p = l + 3*l + 140, -5*l + 4*p - 169 = 0. Let s be (-3)/42 - 3/(-42) - 39. Which is smaller: l or s?
s
Let y(p) = -p**2 + 14*p. Let g be y(11). Let v be 22/g*30/35. Which is smaller: 0 or v?
0
Let q be 4 - (-1)/((-4)/12). Let s = -1858 + 14877/8. Are s and q equal?
False
Let g(t) = 4*t**2 + 3*t + 2. Let s be g(-1). Let l be (s/(-18))/(16/300). Suppose -3*a = 5*b + 32, 4*a + 4*b + 24 + 8 = 0. Is a less than l?
True
Let z be 3*((-644)/(-210))/23. Is z less than or equal to 3837?
True
Let h = 13999/60 + -698/3. Let q(t) = t**3 - 2*t**2 - 10*t + 10. Let f be q(4). Which is smaller: f or h?
h
Let j = 571521 + -571578. Let p be (-5)/(-3) - 1/(-3). Let n be 0*(-1)/p - 58. Which is smaller: j or n?
n
Suppose 10450 = -3*f - 8*f. Let q = -35138/37 - f. Which is bigger: q or -1?
q
Let y(c) = -c**3 - 9*c**2 + 15*c - 38. Let s be y(-11). Suppose -123*z + 1517 = -82*z. Which is smaller: z or s?
z
Let c = 63.3 - 55.3. Let i = -10 + 7. Let t = i - -2.9. Which is smaller: c or t?
t
Suppose -97*h + 102*h = 30. Suppose -5*s = l, -h*l + 3*s = -5*l. Suppose 0 = -2*p - 3*p - 240. Is l at most as big as p?
False
Suppose -6*y = 7*y - 26. Let a(f) = -8*f + 16. Let x be a(y). Is x equal to 14/17?
False
Let g = 6 - 6. Suppose 3*b = -g*b + 6. Let i = -3313/45 + 377/5. Which is smaller: i or b?
i
Let w(g) = -134*g**3 - 3*g**2 - 51*g + 112. Let z be w(2). Which is bigger: 0.6 or z?
0.6
Suppose -5*p = -4*r - 10676, -4*p + 5*r - 3191 = -11730. Is 2136 at least as big as p?
True
Let j be (-12)/(-8)*(-2650)/15. Let r = -233 - j. Which is smaller: r or 166/5?
r
Let s = -17806 - -124643/7. Which is smaller: 461 or s?
s
Let a(p) = -p**3 + 12*p**2 - 22*p + 2. Suppose -67*c = -47*c - 120. Let f be a(c). Which is smaller: 428/5 or f?
428/5
Let j be ((-102)/(-180) - (-5)/(-75))*(2 - 2). Let i be ((-2)/(-4))/((-68)/(-24)). Which is smaller: j or i?
j
Let p be 1*4*(-9079)/98*-7. Is p <= 2594?
True
Let o = -172 + 179. Suppose -o*s + 117 = 2*s. Do s and 53/4 have the same value?
False
Let o(f) = 46*f - 7. Let h(s) = s**2 - 48*s + 5. Let r(n) = 5*h(n) + 6*o(n). Let b be r(-7). Let q = 35 - 61. Is b at most q?
False
Suppose 0 = 5*f - 3228 - 8522. Let r = 726152/309 - f. Let j = r + 911/2472. Which is bigger: j or 0?
j
Suppose 62 = -38*t + 36*t. Suppose -115 = 5*s + 45. Is s < t?
True
Let b = 5.137 - 5.337. Is 0.551 > b?
True
Suppose -v - 65 = -47. Suppose -2*y = 4*p - 6, -5*p + 2 + 3 = 2*y. Let g be 21/(-18) - p - 107/6. Is v less than or equal to g?
True
Let m be (-6 - -92)/(393 + -2). Let y be (-9)/(-69)*(-3)/18*-2. Let r = y - m. Which is greater: r or 0?
0
Let i(w) = w**2 + 11*w - 24. Let s be i(2). Suppose 2*d = 2*m + 10, 5*d + s*m = 17 - 6. Let t be (1 - d)*80/(-32). Is t at least 2?
True
Let s(d) = -261*d + 1827. Let n be s(7). Is 1/8689 > n?
True
Let g(u) be the first derivative of -u**4/4 - u**3 - 11*u**2/2 - 36*u + 18. Let s be g(-3). Do s and -34/15 have the same value?
False
Let o(l) = -18*l**3 - l**2 + 11*l - 1. Let g be o(2). Let x = g - -636/5. Which is greater: x or -0.52?
x
Let d be 5*2*(-2)/(-4). Let j(u) = -176 - 166 + 14*u - u**2 - 7*u + 331. Let p be j(d). Which is smaller: p or -15?
-15
Suppose 0 = 2*s - 12*s + 20. Suppose 4*h + s*h + 324 = 0. Is -55 smaller than h?
True
Suppose -2*t - 35853 = -36447. Is 3