ler than z?
True
Let m be -1 - (-3 + 21/15). Which is greater: m or 3?
3
Let c(s) be the second derivative of -s**5/20 + s**2/2 - 5*s. Let f be c(-1). Which is bigger: -0.4 or f?
f
Let d = -45.05 + 47. Let c = 0.05 + d. Is -0.1 at most as big as c?
True
Let t = -4/2882765549 + -5781334418738510/798526057073. Let b = 7240 + t. Let x = 536/2493 - b. Which is smaller: -1 or x?
-1
Let t = 17 - 17.2. Which is smaller: -0.04 or t?
t
Let f = -33.8 - -38. Do f and 1 have different values?
True
Suppose 5*p = -3*b - 37 - 224, -b - 2 = 0. Do p and -50 have the same value?
False
Let d = -1 + 1.03. Let k = 0.27 + d. Let h = -0.1 + 0.1. Is h at least as big as k?
False
Suppose 5*i - 52 - 43 = 0. Which is smaller: 18 or i?
18
Let c be 4 - 2 - (-20356)/(-10034). Let p = -1/173 + c. Which is smaller: 0 or p?
p
Let f(j) = -5*j + 3. Let r be f(-1). Is r less than or equal to -2?
False
Let a = 9.3 - 10.3. Which is smaller: a or -0.085?
a
Let g = 189 + -761/4. Suppose 10 = -w - 4*w. Which is smaller: w or g?
w
Let v be (-2 + 1)*(13 - 5). Let x(f) = f + 9. Let y be x(v). Is y smaller than -1/6?
False
Suppose 4*a = -y + 25, 0 = 5*y - 8*y + 3*a. Suppose 0 = y*p - 2*v - 5, p + 5*v - 20 - 8 = 0. Is 3 > p?
False
Let y = 0 + -0.01. Let a = -0.29 - y. Let g = a + -0.02. Which is smaller: g or -1?
-1
Suppose -17*p = -21*p + 272. Which is bigger: 1 or p?
p
Let c = 8 - 7. Suppose m - 2 = c. Suppose -m*l + 5*l - 12 = 0. Are 6 and l equal?
True
Suppose -4*d = -i - 15, 5*i + 0*d + 3*d = 17. Which is bigger: 6/11 or i?
i
Suppose -k + 0 = 5. Are k and -6 non-equal?
True
Suppose 0 = 7*t - 0*t + 35. Which is bigger: t or 1?
1
Let u be ((-12)/(-10))/((-9)/(-30)). Let l = -6 + u. Let a be l/(-5)*15/12. Is -0.1 < a?
True
Let w(j) = -j**2 + 2*j + 4. Let t be w(3). Let n = -1 - 1. Let y be -2 + n + (-3)/(-1). Is y less than t?
True
Let f(c) = -2*c**2 + 8*c + 10. Let p be f(5). Are p and 11/20 nonequal?
True
Let a = -52 + 49. Do a and -2/7 have the same value?
False
Suppose 6*h - 3*h = -b - 5, -b - 4*h - 8 = 0. Let o be b/(-10) - (-35)/25. Which is bigger: -2/33 or o?
o
Let q = 3.8 + -1.8. Do q and 1 have the same value?
False
Let o(y) = y**2 + y - 2. Let f be o(2). Suppose l - 4*t + 5 = t, l + f*t - 22 = 0. Suppose -5*g + l = -0. Is g less than 3/2?
False
Let m(d) = -d**2 + 6*d - 2. Let y be m(5). Suppose x - y = -2. Is 3 != x?
True
Let x be (-9)/7 - 1*-1. Let g = 0.13 - 1.13. Let a = -1.4 - g. Which is smaller: a or x?
a
Let v = -0.5 + 0. Which is smaller: 1/5 or v?
v
Let k(w) = -w**2 - w + 6. Let x be k(0). Let q = 6 - x. Suppose -2*r + 3 - 5 = q. Which is greater: -8/5 or r?
r
Let y = 15.11 + -15. Let w = y + -0.01. Is 6 > w?
True
Let j = 1297/22 - 59. Which is bigger: j or 1?
1
Let a = 4.25 - 6.24. Let r = a + -0.01. Let w = -1 - r. Which is greater: 0.2 or w?
w
Let m(t) = -t**2 + t. Let b(d) = -5*d**2 - 2*d + 6. Let r(g) = b(g) - 6*m(g). Let f be r(7). Let w = 2 - 3. Is w at least f?
True
Let y = 12648/55 + -230. Which is smaller: 1 or y?
y
Let s = 1.6 + 8.4. Let g = s - 10. Which is smaller: g or -1.1?
-1.1
Let h = -2 - -4. Let y be ((-9)/18)/(h/4). Is -2/31 bigger than y?
True
Let f be (-20)/70 + 10/(-14). Is f > -1/41?
False
Let g be 0*1*(-1)/2. Which is greater: g or 1/20?
1/20
Let d = -9 + 7. Which is smaller: d or -10/9?
d
Let l = -0.05 - 0.15. Let k = 0.3 - 0.1. Is k greater than or equal to l?
True
Let h = 0.07 + -0.27. Suppose -2*u = -0*u + 12. Which is smaller: h or u?
u
Let h(k) = k**2 - 5*k - 7. Let f be h(7). Let i = f - 0. Which is smaller: i or 6?
6
Let h = 4241/11 - 385. Is h equal to 0?
False
Suppose 3 = -2*s + 3*p + 30, -4*s + 2*p = -66. Which is smaller: s or 17?
17
Let a be ((-2)/26)/(10/(-4)). Is -1 equal to a?
False
Let l(j) = -j**3 - 8*j**2 - 7*j + 6. Let d be l(-7). Suppose -4*n = -0*n - 28. Which is smaller: n or d?
d
Let y be ((-430)/(-195) - 2)*(-12)/2. Which is greater: y or 0?
0
Suppose 0 = 5*z + 26 + 24. Let x(q) = q**3 + 11*q**2 + 9*q - 5. Let j be x(z). Are 5 and j equal?
True
Let v = -790/9 + 26863/306. Which is bigger: 1 or v?
1
Suppose 0 = 4*z - 2*z - 14. Is z at least 0.3?
True
Let s be 0 + 2/(-2) + 0. Let x be (s/1)/(4/(-20)). Suppose -x*g = -16 + 1. Do g and 3 have the same value?
True
Suppose 0 = -4*d - n - 7, 2*d + 2*n + 1 = -n. Let a = 20839/5 - 4155. Let l = 182/15 - a. Is l bigger than d?
True
Let s be ((-3)/2)/(9/(-24)). Suppose 5*d - d - 8 = 0. Which is smaller: s or d?
d
Let h(g) = 3 + 2 + g**2 + 1 - 9*g. Let d be h(8). Is -5/6 at most as big as d?
False
Let p = -39 + 57. Let x = 19 - p. Which is bigger: -1/16 or x?
x
Let i = -1 - -1.13. Let l = i - 0.03. Is l at most as big as -5?
False
Let v = 48 - 47.83. Which is bigger: v or -1?
v
Let r(f) = 5*f + 5. Let v be r(5). Suppose 0 = -5*j - 4*h + v, -j + 30 = 4*j - 3*h. Let s be (3 + -1)/(j + -4). Is -1 smaller than s?
True
Let b(s) = -2*s - 4. Let x be b(-3). Let l be x + -2 + 4 + -6. Let u be (-4)/(-5)*l/(-8). Which is smaller: u or 0.1?
0.1
Let f = -54.6 - -55. Which is smaller: f or 1/7?
1/7
Let j be (-32)/24 + (-44)/(-6). Is 9 at most as big as j?
False
Suppose -p + 2*j = -4, 4*j - 3*j = 4*p - 16. Suppose 3 = p*b - 13. Let w(g) = 2*g - 6. Let f be w(b). Which is smaller: f or 1?
1
Let w be (-2 - 0)/(6/3). Which is greater: -2/27 or w?
-2/27
Let f be (-6)/27 + (-56)/(-9). Let c(h) = -h**3 + 5*h**2 + 5*h + 8. Let s be c(f). Let r = 3 - 1. Is s < r?
False
Let k = -3 - -2. Is -0.7 smaller than k?
False
Let a = 1999 - 6047/3. Which is smaller: a or -16?
a
Let i = -0.29 + -5.71. Does 8/5 = i?
False
Suppose 7*g + 21 = 77. Let a = 7 - 15. Let b = a + g. Do -1 and b have the same value?
False
Let p = 55.058 + -0.058. Which is greater: p or 2/5?
p
Let y = 0.3 - 0. Let x = 15 + -15. Is x greater than y?
False
Suppose 0 = 3*n + 4*j - 3, -n - 6 = -3*n - 4*j. Let g be (-9)/(-4) + n/12. Which is smaller: g or 3?
g
Let c = -16891/75 + 676/3. Which is bigger: -1 or c?
c
Let m(c) = c - 13. Let a(y) = 2*y**2 - y + 2. Let k be a(-2). Let n be m(k). Is -1 > n?
False
Let x(r) be the second derivative of -r**3/3 - r**2/2 - 2*r. Let s be x(-3). Suppose 4*a + 57 = 77. Is s less than a?
False
Let v = 12.09 - 12. Let y = v + 0.91. Are -0.6 and y equal?
False
Let b be 3/(-4) - (-8)/(-32). Which is smaller: b or -12/7?
-12/7
Let a(i) = i**2 - 6*i - 3. Let d be a(5). Let w = -6 - -5. Let r be -3*w/d*2. Which is smaller: -1 or r?
-1
Let w = -4339/35 + 124. Which is bigger: w or 0?
w
Let c = 0.1 - -20.9. Is -1/3 <= c?
True
Suppose 0 = z - 2 + 1. Is 3/11 equal to z?
False
Let n(b) be the first derivative of -b**2/2 + 8*b - 8. Let z be n(9). Let q = -167/90 + 9/5. Which is smaller: q or z?
z
Suppose 3*z + 0 + 6 = 0. Let n(d) = -d**2 + 2*d + 3. Let j be n(-2). Let q = j - -3. Is z at least as big as q?
True
Let x be 4 - (2 + 3) - 0. Suppose 2*n + 3*n = 0. Are n and x unequal?
True
Let f = -69 - -68.9. Which is smaller: -52 or f?
-52
Let h(i) = -i**3 - 4*i**2 + 5*i + 4. Let v be h(-5). Suppose -3*o + 8 = o - 4*c, -v*o = -c - 8. Suppose o*t = 3*t. Is -1 at least as big as t?
False
Let h be 24/(-160) + (-2)/(-5). Which is smaller: -0.1 or h?
-0.1
Let c = -3.7 + 3.8. Let h be (-3 + 1/1)/7. Is c less than h?
False
Let j = 0.2 - -1.8. Let i = -1 - 1. Let w = i - -2. Is w >= j?
False
Let a be (-62)/(-102) + 2/(-3). Let x = 5378 + -639992/119. Let l = x + a. Which is bigger: -1 or l?
l
Let b = 2 + -2. Let v = -35 + 456/13. Is b at most v?
True
Let j(h) = h**2 + 2*h + 3. Let q be j(-3). Let w be (6/(-12))/(2/q). Let a = 3 + -6. Is w smaller than a?
False
Suppose 6 + 150 = 3*k. Suppose -2*j - 2*j - k = 0. Is j equal to -13?
True
Let p = -3 + 5. Suppose p = -5*z - 3. Is 1 not equal to z?
True
Let s = 12 + -8. Let r = s + -5. Which is greater: 0.4 or r?
0.4
Suppose 256 = t - 0*t. Let b be t/690 - 6/15. Let r = 152/483 + b. Which is bigger: r or 1/2?
1/2
Suppose 0 = -x - 3*x. Is 2 < x?
False
Let d = -38 + 113/3. Let m = 1 + 2. Suppose -f - m*k - 3 = -4*k, 13 = -3*f + 5*k. Which is smaller: d or f?
f
Let b = -3 + 4. Let c = b + 0. Let a = 0 - c. Which is bigger: a or 0?
0
Let y = -39 + 38. Suppose 6 = 2*g - 4*h, 4 + 3 = -g - 3*h. Is g at most y?
True
Suppose 3*j - 4 + 10 = 3*u, u = -5*j + 14. Which is greater: j or 5?
5
Let x = 0.02 - -1.98. Let z = 41.9 + -44. Let r = z + x. Is r smaller than -2/3?
False
Suppose 0 = -q - 0*q. 