. Which is greater: -2/5 or d?
-2/5
Let s be (8/(-6))/((-18)/27). Is s bigger than -1?
True
Let j(b) = -b**2 - 3*b - 4. Let k be j(-3). Let n be k + 2 + (-419)/(-33). Let q = 31/3 - n. Is 1 at least q?
True
Let z be 50/(-18) - 8/36. Let c be 1 - -1*(3 + z). Let g be 4*-1*1/(-7). Which is greater: g or c?
c
Let w = -11 - -13. Let k = -0.1 - -0.1. Let n = k - -1. Is n at least as big as w?
False
Suppose 0 = -3*n - n + 8. Let l be 0 + (1 - (3 - 13)). Let o be (l + -2)*(-1)/(-3). Is o smaller than n?
False
Let i be -2 - (-21)/(-138)*-14. Is i less than 1?
True
Suppose -2*f + 2 = 0, -5*p + 3*p + 4*f = 0. Suppose p*h - 1 + 0 = -s, -4*h - 1 = -s. Do 1/4 and s have the same value?
False
Let i = 2/441 + 832/11025. Is i at most as big as 3?
True
Let y = -7.5 + 7. Let t = 0.5 - y. Does t = 1?
True
Let x = -40 - -22. Is x greater than or equal to -19?
True
Suppose 3*j + 2 = y, 5*j - y - 3*y - 6 = 0. Let g be 4/5 - j/10. Let x = -289/5 + 58. Is x != g?
True
Let r be (-4)/(-64)*-2*3. Suppose -3*g = 5*m - 0*m - 25, 5*m - 15 = -g. Suppose m*b + 14 = 4*u, b + 3*u = -b + 14. Is r at most b?
True
Let p = 10 - 7. Let g be (-57)/18 + 0 + p. Are g and 0 non-equal?
True
Let x = -0.7 + -1.3. Let w = x + 1.8. Are w and -1/4 equal?
False
Let z be (20/(-8))/(1/4). Let f be (22/(-6))/(14/42). Which is smaller: z or f?
f
Let a(l) = -l**3 - 6*l**2 + 7*l + 3. Let w be a(-7). Suppose -2*v + 234 = 5*n - 229, -w*n + 4*v + 283 = 0. Let m = -557/6 + n. Which is greater: m or -1?
m
Suppose 3*s - 2*s - 153 = -5*n, -4*s + 102 = 3*n. Suppose 2*j - 24 = -4*f, 5*f + 0*j = -4*j + n. Let p be ((-3)/(-2))/(f/(-5)). Which is smaller: -2 or p?
-2
Let t = -14 + 0. Let r = t - -14.3. Are r and 1 equal?
False
Let d = 47 + -46.2. Which is greater: d or -0.1?
d
Suppose -4 = -l + 2*f, -4*l - f - 2 = -0*f. Which is greater: 1/6 or l?
1/6
Let f = 0.62 + -0.72. Is f greater than or equal to 0.4?
False
Suppose -s - 28 = -4*q + 4, -61 = -5*q - 4*s. Which is greater: 3 or q?
q
Let y be 55/2 + (-8)/(-16). Let n = y + -51/2. Which is smaller: n or 2/5?
2/5
Let j be (-2)/4*(-24)/(-60). Which is greater: j or -1?
j
Suppose -2*c - 2*c + 8 = 0. Is 8/7 <= c?
True
Let f = -0.18 - 0.04. Let x = f - 0.88. Is 2/7 >= x?
True
Suppose 4*b = 5*h - 37, 3 = h + 3*b + 7. Suppose -t = -h*u - 6 - 0, 4*t = -u + 3. Suppose 2 + 3 = 5*g. Which is smaller: g or u?
u
Suppose -3*s + s - 5*t + 28 = 0, t = 2. Let q = 12 - s. Which is greater: 0 or q?
q
Suppose -2*s + s + 87 = 0. Let y be 4/6 + s/(-9). Let h = -8 - y. Which is bigger: -2/11 or h?
h
Let x be (-784)/(-26) - 3/(-39)*-2. Is 30 greater than x?
False
Let r = 5.6 + -0.4. Let h = r - 5. Is h at least -2?
True
Suppose -2*k - 16 = 4*j, 5*k + 8 = k. Let h be 2 + (2/2 - 4). Is j > h?
False
Let w = 0.08 + -0.26. Let c = -0.35 + -8.83. Let d = w - c. Which is greater: d or 0?
d
Let n(g) = -g**3 + 7*g**2 - 4*g - 2. Let b be n(7). Let o be (-2)/(-10) + (-114)/b. Let y = -4 + o. Which is smaller: y or -2?
-2
Let w = 10640/19547 + 2/1777. Are w and 2 non-equal?
True
Suppose 0 = -2*q - q. Suppose q*c = 5*c + 20. Let r(m) = -m**3 - 5*m**2 - 4*m + 1. Let i be r(c). Is i greater than 4/3?
False
Suppose -4*p + 24 = -3*l, 3*p + 4*l - 3*l - 31 = 0. Are 12 and p non-equal?
True
Suppose 4*n = j + n + 14, 5*j - 4*n + 15 = 0. Is 5 at most as big as j?
False
Let s = -1450433/6327 - -8505/37. Let p = -16/19 + s. Which is smaller: p or 1?
p
Let k = -4 + 7. Suppose 3*l + 0 - k = 0. Is 1 at least l?
True
Let b be (-4 - -2)/(110/(-2155)). Let f = b - 39. Which is smaller: f or 0?
0
Let s(b) be the third derivative of b**4/24 + b**3/3 - b**2. Let n be s(-5). Suppose x - 5 = -8. Does n = x?
True
Let i be (-2 + (-30)/(-8))*2/4. Which is smaller: i or 0?
0
Suppose -2*j = -3 - 1. Suppose j*k + 6 = -k. Which is smaller: -3/5 or k?
k
Let f be (-2 - -1)/(1/(-3)). Let u be (-9)/3 - (f + -1). Is -5 bigger than u?
False
Let m be ((220/(-25))/(-2))/((-2)/10). Which is greater: m or -20?
-20
Let u = 191/1157 - 1/89. Is u at least as big as 13?
False
Let l(y) = -6*y**3 - y**2 + y. Let s be l(1). Let u be (-3)/(-63) - (-2)/s. Suppose -2*b = -0 - 8. Is b at most as big as u?
False
Suppose -2*v - 15 = -5*v. Suppose 38 = v*n - 7. Is 9 bigger than n?
False
Suppose 5*z + 4 = -3*b, 0 = 5*z - 8 - 12. Let l be 0/b - (0 + -4). Let j be l/6*(-9)/(-6). Which is bigger: j or 1/5?
j
Let z = 49 - 149/3. Let a = -0.5 + -0.5. Which is smaller: a or z?
a
Suppose -2*i + 16 = -n + 395, 3*n = -3*i - 564. Let h = i - -562/3. Which is smaller: h or -1?
h
Suppose -2*v = -2*w + 2 + 12, 0 = -v - 3*w - 27. Is v > -13?
True
Let d(q) be the third derivative of -q**6/120 - q**5/30 + q**4/24 + q**3/6 + 3*q**2. Let p be d(-2). Which is greater: 1 or p?
1
Suppose l = 4*l - 42. Suppose -4*i = -z - l, 2*i - 3*i = -5*z + 6. Let b be (z - 20/2) + 3. Are -5 and b unequal?
False
Let k = 0 + 0.2. Is 2 > k?
True
Let h be (-68)/20 - (-4)/10. Let v = h + 4. Is v <= 1?
True
Suppose 1 = -2*m - 3*m + 3*n, 2*m = -5*n - 19. Let d = 368/5 + -74. Which is greater: d or m?
d
Let u = -5 - -4. Suppose -2*d = -5*d. Is d < u?
False
Let u = -7559/27 + 280. Let q = -10/27 + u. Which is smaller: q or 1?
q
Suppose 3*f + o + 3 = 2*o, 0 = -5*f + 2*o - 6. Suppose 10*r - 5*r = 10. Suppose r*i = -i - 3. Which is greater: f or i?
f
Let w(a) = 9*a**2 - 2*a - 3. Let x be w(3). Suppose -x = 5*q - p + 12, 2*q + 36 = p. Which is smaller: q or -17?
-17
Let u be (-15 - -13)*2/(-2). Is 5 equal to u?
False
Let v be 1 - ((1 - -6) + (-18)/6). Which is bigger: v or -11/6?
-11/6
Suppose 0 = v + 2*v - 6. Suppose -v*z + 5 = -3*z. Is z less than or equal to -7?
False
Let m = -3.5 - -0.5. Let w = 3 - 1. Let y = w + -2.1. Is m greater than or equal to y?
False
Suppose 0 = -5*g - 0*g + 15. Let z(w) = -5*w - 7*w + g - w + 12*w**2 - 11*w**2. Let u be z(13). Does u = 1?
False
Let b = -52 + 52.06. Is b greater than or equal to 0.01?
True
Let i be (3 - -2)*(3 + -2). Is 7/2 >= i?
False
Let h = -41/4 + 689/68. Is h not equal to -1?
True
Let h = -10 - -4. Suppose i - 3*j - 7 + 6 = 0, 2*i + 7 = -3*j. Which is smaller: h or i?
h
Let c be 9/(-15) + 286/10. Let z be 16/c - 4/14. Let p = 0 + 0. Which is greater: p or z?
z
Suppose 4 = 3*v + 1. Suppose -3*f - 5 = -20. Suppose 0*p = f*p - 5. Is v greater than p?
False
Suppose -10*l - 267 = -27. Which is bigger: -25 or l?
l
Let b be 12/16 + (-3)/(-12). Let k be 3*b + (-10)/1. Which is greater: 0 or k?
0
Let o = 16/23 - 251/460. Let k = -9/35 + o. Let w = -13/140 + k. Is w at least as big as 1?
False
Let a be 16/(-120) - 62/(-15). Suppose -6*n + a*n - 2 = 0. Does -1 = n?
True
Let n(r) = -7*r. Let u be n(0). Which is smaller: -6/19 or u?
-6/19
Suppose 12 = -4*q - 4. Which is smaller: q or -1?
q
Let k = -150986/1057 + 1000/7. Is 0 greater than k?
False
Let f = -7 - -12. Suppose -2*a + 1 = -0*w - w, -5 = f*a - 4*w. Let i be (1/a)/(50/12). Are -1 and i nonequal?
True
Let c = 134 - 142.7. Which is smaller: 0 or c?
c
Let w = 648.93 + -660. Let a = w + 11. Let t = a - 0.03. Is t > -0.5?
True
Let p = -16 + 16.2. Is p <= 0?
False
Suppose -4*q + 3*q + p + 6 = 0, 0 = 5*q + 3*p - 38. Is q != 6?
True
Let z be 1 + 1 + 6/2. Suppose -z = 5*p - b - 0*b, -4*b + 20 = 0. Suppose -s + 4*s = -3*k + 12, -3*s = -12. Is k less than or equal to p?
True
Let o be (-52)/(-12) + 1/(-3). Let r(u) = -4 - 4*u + u + 3*u**2 - 2*u**2. Let j be r(o). Which is greater: 0.2 or j?
0.2
Let c = 2 + -5. Let i = -28.1 + 31. Let r = i + c. Is -2/5 < r?
True
Let z be (-2)/(-5) - 72/(-45). Is 2 at most z?
True
Let u be 125/10*(-8)/10. Which is bigger: -11 or u?
u
Suppose -2*r + 3*r - 9 = 2*v, -2*r = 2*v + 12. Let m be 36/14 - (1 - r). Are 2 and m nonequal?
True
Let z = -64 - -65. Which is smaller: -2/189 or z?
-2/189
Suppose 5*h - p + 1 - 7 = 0, 4*h = 5*p - 12. Let s(t) = 4 + 2*t**3 + 5 - 9*t**h - t**3 - t. Let u be s(9). Is 0 <= u?
True
Suppose 4*n = -13 - 27. Let c = -6 - n. Let h(v) = v - 3. Let p be h(c). Are p and -1 equal?
False
Suppose -2*p + 2*h = -3136, p + 3134 = 3*p - 4*h. Let l = -4664/3 + p. Let t = -14 + l. Which is greater: t or 3?
3
Let b = 1.7 + -12.7. Let h = 17 + b. Which is smaller: 1 or h?
1
Let r = 2 + 0. Let b = 17 + -12. Let p = -4 + b. Which is greater: p or r?
r
Let j(c) = -c - 1. Let g be j(1). Let i be ((-4)/(-2) + g)/(-1). Let t be 96/(-52) + 1 + 0 + 1. Does i = t?
False
Let