). Which is greater: i or 0?
i
Let a = -3 + 5. Suppose -d + a*d = 7. Let g = 8 - d. Is g less than 4?
True
Let b(g) = 31*g - 3. Let x be b(2). Do 59 and x have the same value?
True
Let a be (-24)/9 - (-6)/9. Let m be (-9)/18 - 7/a. Suppose 0 = 5*z - 5*o + 5, -o = 3*z + m*o + 31. Which is greater: z or 0.1?
0.1
Let o be (-6)/(-4)*(-65)/9. Let z = o - -193/18. Which is smaller: 0 or z?
z
Let f be 1 - (-5)/(15/(-6)). Which is bigger: 4/11 or f?
4/11
Let c be 1/2*(-32)/(-488). Is c bigger than -1?
True
Let k = 365 - 10583/29. Which is greater: 0 or k?
k
Let r be (0 + -1)*-3 + 1. Suppose -4*u + 4*m + r = 0, 3 = u - 3*m - 6. Which is greater: u or -2?
-2
Let f(g) be the third derivative of -g**2 - 1/4*g**4 + 0*g + 0 - 1/60*g**5 + 2/3*g**3. Let r be f(-6). Is r less than or equal to 3?
False
Let v = -5 + 4.6. Let f = 0 + v. Let t = f + 0.2. Which is bigger: t or -2/3?
t
Let d(k) be the second derivative of -k**5/20 - 7*k**4/12 - 4*k**3/3 - 4*k**2 + 2*k. Let i be d(-6). Let r = i + -2. Which is greater: r or 3/4?
r
Let m = -4 + 1. Let h(a) = -2*a - 3. Let y be h(m). Which is bigger: y or 3/2?
y
Let l = 1 - 0. Let r be (-8)/6 + 3965/3111. Is r at most as big as l?
True
Let m be (8/(-14))/((-6)/21). Is 2 bigger than m?
False
Let z = -19 + 27. Which is smaller: z or 0?
0
Let y = 4 + 6. Suppose 6*h = h + y. Suppose -3*n + h*n + 1 = 0, t + 2*n = 0. Which is bigger: 0 or t?
0
Let q = -2.1 + 1.7. Let m = 1.3 + q. Which is bigger: m or -0.2?
m
Let b = -4 - -8. Let n be 4/b*-7 + 1. Which is smaller: n or -5?
n
Let o be (30/4)/((-2)/4). Let l = -9 - o. Let j be 14/8 + l/(-8). Do 6/5 and j have different values?
True
Let n be 2/(-120)*48/(-9). Let l = -8/9 + n. Is l smaller than 1?
True
Let s(w) = 9*w**3 + w**2 - 2. Let z be s(-1). Which is smaller: 0 or z?
z
Let w = -29 + 119/4. Let b be -2 + 3 + -3*(-4)/(-12). Is w greater than or equal to b?
True
Let l = -3.04 - -3. Let d = l + -0.06. Is d bigger than 0?
False
Let d(r) = r**2 + 2*r - 5. Let c be d(-4). Suppose -h + 0*z - 4*z = -5, 5*h = -c*z + 25. Is 6 at least h?
True
Suppose -5*j = 3*g - 16, 2*j - 1 = 3. Suppose 0*l + g = -l. Let q(k) = -k**2 - k + 4. Let u be q(-3). Are l and u equal?
True
Let k = 14 - 14. Let x be (-7)/(-2) + 1 + -3. Which is bigger: x or k?
x
Let w(n) = -n**2 + 8*n - 9. Let s be w(7). Let h be (-2)/(0 - (s + 3)). Let j(q) = q - 1. Let k be j(2). Is h less than or equal to k?
False
Let w = 11 + -7. Let t(g) = -g**3 + 10*g**2 - 8*g - 3. Let d be t(9). Which is bigger: w or d?
d
Suppose 51*h - 135 = 48*h. Is h < 44?
False
Suppose 5*a + m - 23 = 0, 5*a - 5 = 2*a - 5*m. Let c be (13 + -19)*(-2)/4. Suppose 1 + 11 = 2*b + 4*g, a*b - g = -c. Is b bigger than 2/7?
False
Let t be (-112)/6 - (-2)/3. Let l be 6/(-8) + t/(-12). Which is bigger: l or -1/4?
l
Let t(b) = b**3 - 7*b**2 - 9*b + 6. Let m be t(8). Let o(u) = -u**3 + 4*u**2 - 2*u. Let d be o(3). Let x be d/m*4/(-6). Is x bigger than -1/8?
True
Let q be -2*(-1)/(-9)*-2. Are 1 and q nonequal?
True
Suppose -s + 2*d = -2*s + 4, 0 = s - 3*d - 9. Let r = s - 13. Is -5 >= r?
True
Let m(f) = f**2 + 12*f + 11. Let d be m(-11). Is d at most as big as 0?
True
Let h = -0.22 - -0.02. Which is bigger: h or -5/3?
h
Let b = 113 + -115.42. Let r = -2 - b. Let o = 0.4 - r. Which is greater: o or 0?
0
Suppose -14 = -5*t + w - 0, -2*w = 8. Let y be -4 + (3 - (t + 5)). Is -8 at most as big as y?
True
Let j = -2.2 + 2. Let x = j + 0.3. Let t = 11 - 14. Which is smaller: t or x?
t
Let r = -2.05 + 0.35. Let h = -0.7 - r. Is 4 at most h?
False
Let v be (-14)/(-12) - -1*2/6. Which is greater: 3 or v?
3
Let q be (-4)/2 - 0/(-2). Is -5/6 not equal to q?
True
Let j(u) = -u**3 - 7*u**2 - 7*u - 4. Let c be j(-6). Is c at least -1?
True
Let i be (-15)/21 - ((-19)/7 - -3). Is i >= 0?
False
Let v = 2.1 - 2. Let q = 0.4 - 1.4. Let j = 0.9 + q. Are j and v unequal?
True
Suppose 0 = q, 3*g - g + 4*q + 36 = 0. Is -55/3 != g?
True
Let d = 5 + -3. Suppose 0 = 5*z + i - 16, -3*z = -d*z + 2*i + 4. Suppose -z*k + 3*k = -1. Which is smaller: k or 2?
k
Let i be 0 + -1 + (-11)/(-13). Let a = 16 + -36. Let b be 1/(-3) - a/15. Is b at most i?
False
Let b = -1/199 - -421/4577. Suppose 4*p - 1 + 5 = 0. Which is greater: b or p?
b
Let v = -57 - -514/9. Suppose 4*w = 2*h - 18, -1 - 9 = 2*h + 3*w. Which is smaller: h or v?
v
Let l(s) = -s**3 - s**2 + s + 4. Let c be l(0). Let z = 70 - 65. Is z >= c?
True
Suppose -5*a + 3*q - 88 = 172, 0 = -a + 5*q - 52. Let d be (-9)/a*(-24)/(-9). Which is smaller: d or -1?
-1
Let g(i) = i**2 + i - 4. Suppose 10*h - 5*h = -3*v - 3, -h = -2*v - 2. Let o be g(h). Which is greater: o or -3?
-3
Suppose b + 8 = -x, -x - 4*x - 2*b = 25. Let a(t) = -t + 3. Suppose -2*z = -5*o + 24, -3*z - 2 = 2*o + 2*z. Let j be a(o). Which is smaller: x or j?
x
Let n be (-2)/4*(-32)/(-6). Is -4 less than n?
True
Suppose 4*u + 1 = -19. Which is smaller: -1 or u?
u
Suppose 2 = 4*y + 2*f, 0*f = -y - 5*f + 14. Let d = -3 - -3. Let a = -1 + d. Is a at most as big as y?
True
Let w = 11 + -13. Let u = w + 1. Is -0.7 less than u?
False
Let m = -19 - -19. Which is smaller: 2/33 or m?
m
Let n = 5 - -6. Let z = -13.2 + n. Let h = z - -0.2. Which is bigger: h or 2?
2
Let b be 31/2*(-28)/(-6). Let g be 2/(-5) + 1468/20. Let y = b - g. Is y bigger than -3/4?
True
Suppose 3 = -x - l, -x - 7 = -3*l - 24. Let o = x + -87. Let r = o - -427/5. Which is smaller: 1 or r?
r
Let z = -4 + 7. Suppose -2*y - 2 = 5*v, -5*v + 3 = -2*v - z*y. Suppose -2*b = -0*b - 3*o + 9, 0 = 3*b - 5*o + 15. Is v at most b?
True
Let m be -4*(3 - (-34)/(-4)). Which is bigger: 24 or m?
24
Let w be (-78)/(-5) - (-6)/15. Let m = -8 + w. Suppose 3*b = -4 - m. Is b != -3?
True
Suppose -u - 3*u - 5 = v, 0 = -5*u + v - 13. Suppose 0 + 4 = -4*d. Let f = d - u. Which is smaller: f or 1/11?
1/11
Let s be 4/2 - 1 - 1. Let j be -2 - (35/15 - 3). Which is smaller: s or j?
j
Let j = 9 + -10. Let r be j/(1 + (-1 - -1)). Which is smaller: 0 or r?
r
Let x = -7269/7 - -1041. Which is smaller: x or 1?
1
Let f(q) = -q**3 + 15*q**2 + 28. Let b be f(15). Which is greater: 29 or b?
29
Let m = 0.37 + -0.07. Let h = m + -0.5. Let o be 0*(-2 - -1 - -2). Which is bigger: h or o?
o
Let j(p) = p**3 - 5*p**2 - 5*p - 8. Let g be j(6). Let k = 0 + g. Which is smaller: k or -5/6?
k
Let q(r) = -r + 4. Let f(j) = -2*j**3 - 2*j - 1. Let k be f(-1). Let s be q(k). Which is smaller: 2/3 or s?
2/3
Let m be 507/(-102) + (5 - 0). Is 1 at most as big as m?
False
Let z = -0.3 - 1.4. Let n = z - -0.7. Are -1/7 and n unequal?
True
Suppose 5 = u - 2. Suppose -2*g = -y + 3, 5*g + 0*g + u = 3*y. Is -5 < g?
True
Let h = 1.2 + -1. Suppose 0 = 4*p - 0*q - 2*q - 2, 4 = -3*p - 4*q. Suppose -2*v - 5*g + 18 = p, 5*g - 20 = -0. Which is greater: h or v?
h
Suppose 3*d - t = -d + 1, -4*t = 3*d + 4. Let b = -2 + d. Let n be (b/(-6))/(10/(-6)). Is n bigger than 0?
False
Suppose -v - 3*v = -4. Let g = -6 + 6.02. Let n = -0.02 + g. Do n and v have the same value?
False
Suppose -6*o = 3*o + 45. Which is smaller: o or -2?
o
Suppose 5*t + 4*u = -30, 2*u = -2*t - 0 - 14. Let r = -48 - -332/7. Which is smaller: t or r?
t
Let s be ((-1)/2)/((-3)/(-2)). Let y = -20 + 19. Which is bigger: s or y?
s
Let p = 286369/33471 - 2/11157. Let l = p - 25/3. Suppose 3*m = -m. Which is smaller: l or m?
m
Let h = 1630 + -8106/5. Let r = 1442/165 - h. Let p(y) = y**3 + y**2 - y + 1. Let b be p(-2). Which is greater: r or b?
r
Suppose 0*w = -4*w - 28. Is -8 smaller than w?
True
Let t be (-660)/(-9)*5/40*-4. Which is smaller: -37 or t?
-37
Let h = -7 + 8. Let y = -0.98 + h. Which is greater: -0.2 or y?
y
Let n = -13 - -15. Which is greater: n or -2/3?
n
Let g be 0/1 + (-11 - -11). Let s be (54/5)/(2 + 0). Let i = s + -179/35. Do g and i have different values?
True
Let t(b) = -2*b**2 + 4*b - 2. Suppose 2*s - 2 - 2 = 0. Let x be t(s). Let o be -2*x*(-1 - -2). Is o equal to 4?
True
Let u be (-6)/(-10)*(0 + 5). Suppose -5*b + u = -2*b. Let g be -3*((-15)/9 - -1). Is g equal to b?
False
Suppose 6*w = 4*w + 8. Suppose -w*q = -0*q. Let v be (1 - 0)*(3 + -1). Which is smaller: v or q?
q
Suppose -c + 6*c - 5 = 0. Suppose 0 = -5*s - 7 + 22. Which is bigger: c or s?
s
Let n = 6.98 + -6.9. Is n at most 4?
True
Let y = -45937003/241559415 + 2442/20567. Let p = -1/405 - y. Which is smaller: -1 or p?
-1
Let a be (8/20)/(4