121. Which is smaller: d or 0?
0
Let k = 7/26 - 151/754. Which is greater: 0 or k?
k
Let y(x) = -x**3 - x**2 - x + 2. Let i be y(0). Let k be i/(-2 - (-17)/8). Suppose o = 2*o + p - 2, 5*o - k = p. Is o greater than or equal to 2?
True
Let r = 0.7 - -0.3. Let b = 4 + -9. Let o = b + 6. Is r equal to o?
True
Let u = 25/62 + 3/31. Is -3/14 at most as big as u?
True
Suppose 0 = -3*q + q + 8. Suppose 5*r - r - q = 0. Is 2 equal to r?
False
Suppose 2*h + 2*h = -r - 5, 2*h = 4*r + 20. Suppose h*b + 4*b = 56. Let i be -2 + 46/b - 1. Which is bigger: i or -1?
i
Let v = 905/7 + -129. Let l = 3 - 2. Are l and v equal?
False
Let a = 0.008 - -1.992. Which is smaller: -3 or a?
-3
Let r be (-3)/(-6)*(-4)/(-8). Which is bigger: 1/3 or r?
1/3
Let c be 4/10 - (-2)/(-5). Let s = c - 1/3. Is -1 >= s?
False
Let f = -5 - -10. Suppose 0 = q - f*q. Suppose 0 = -q*t - 2*t. Is t >= -1?
True
Suppose 11 = 4*j - w, -w + 5*w + 12 = 0. Suppose -d - j*d = 0. Is d at least as big as -0.2?
True
Let m = 0 + 4. Suppose w - 3*a + m*a = -4, 0 = 5*w + a + 28. Let t be w/(3 - 0) + 0. Which is bigger: -0.2 or t?
-0.2
Let h be (-1 - 1)*(0 + -1). Let y be (-1 - h)*4/(-6). Let s = 1 + y. Which is bigger: 0 or s?
s
Let w = 108 + -112. Is -31/6 bigger than w?
False
Suppose -4 = -4*k - 0*k. Let v(c) = -c + 10. Let s be v(8). Let h be (-33)/15 - (0 - s). Are k and h non-equal?
True
Let i be ((-12)/18)/((-1)/6). Suppose i*j = 2*j - 2. Let l = 1 - 4. Is j less than or equal to l?
False
Let i be (3 - 6)*(-4)/6. Let f be 5/(-6) - i/3. Which is smaller: f or -1?
f
Let i be 28/(-21)*(-6)/2. Suppose 2*n + 5*p - 27 = 0, n = p - i*p + 15. Suppose 4*l - 2 = -n. Which is greater: -2/5 or l?
-2/5
Let q = -67/3 + 22. Let a(h) = -h**3 - 3*h**2 + h + 1. Let r be a(-3). Is q at least r?
True
Let c be 2 - (-4)/((-60)/27). Let u = c - 0. Let a = 2 + -1. Which is bigger: u or a?
a
Let x be (3/1 - -2)/1. Suppose x*h - 2 = -2*r - 12, 5*r = 5*h + 10. Let o = 374/5 - 75. Are o and r equal?
False
Let j be (21/12 - 2)*-4. Is j less than 6/5?
True
Let g = 55 + -39. Suppose 2*h - 5*h = 4*o - 60, -4*o = 4*h - 76. Is g greater than h?
False
Let b(y) = -10*y**2 - 2*y + 14. Let z = -5 - -10. Let a(d) = 7*d**2 + d - 9. Let r(t) = z*b(t) + 7*a(t). Let w be r(-5). Is -2 less than w?
False
Let s = -0.2 - -4.2. Let j = -4 + 6. Let u = j - s. Do -2 and u have different values?
False
Let c be (6/3 - 1)*1. Suppose 4*w + 3 = -c. Which is smaller: w or 3?
w
Let p = 9.7 + -9. Let w = -1.2 + p. Are -2 and w equal?
False
Suppose 59 = -5*v + 4*n, v - 3*n - 2 + 16 = 0. Suppose 2*x + 18 = x. Let z = x - v. Are z and -7 non-equal?
False
Suppose 5*w = 17 - 2. Suppose s = -2*s + 3, 0 = 2*v - w*s + 3. Which is smaller: v or -1/2?
-1/2
Let r = -4 - -7. Suppose 0 = 5*u - 2*u + r. Which is smaller: u or 0?
u
Let s be 1/9 + 1078/(-63). Do s and -35/2 have different values?
True
Let j(v) = -v**2 + 8*v - 13. Let k be j(6). Let d(r) = -r**2 + 9*r + 10. Let n be d(10). Is k less than or equal to n?
True
Let u = -291 + 2041/7. Are u and 2 equal?
False
Suppose 3*b + 2*v = 15, -4*v + 15 = 3*b - 3*v. Which is greater: 4 or b?
b
Suppose -2*u + 5 = 3*u. Let i be 3*5/(15/148). Let h = i - 1330/9. Is h <= u?
True
Let i(x) = 11*x**3. Let c be i(1). Suppose -c = 3*d + 1. Let t be (-14)/4 - 1/2. Are t and d non-equal?
False
Let y = 0.01 + 0.08. Let p = -0.91 - y. Which is smaller: p or -2/3?
p
Suppose -m = -3*p + 2*p + 10, -5*m = 2*p + 36. Let u = -7 - m. Which is smaller: u or 1/5?
1/5
Let f(o) = -o**2 + 5*o + 2. Let s be f(3). Let r(x) = -x**2 + 8*x + 1. Let k be r(s). Let q be ((-2)/(-4))/((-2)/(-4)). Is q greater than or equal to k?
True
Let k be (100/3)/(-1) - 0. Let u = 33 + k. Is u smaller than 0?
True
Suppose 0 = 3*v + v. Suppose -3*j + 2*j = v. Let m be (j - (2 - 2))/(-1). Which is smaller: m or -1?
-1
Let u(z) = z**2 - 7*z + 5. Let f be u(6). Do f and -2 have different values?
True
Let o = 281/10 + -28. Suppose 6*s = 5*s. Which is smaller: s or o?
s
Suppose 0 = 3*y - 3 - 3. Suppose 4*r = 3*w - 20, -2*r = 2*w + r - y. Suppose 0 = -w*a + 2*a. Is a at most as big as -2/3?
False
Let b = 5 + -1. Suppose 7 = -b*k - f, 3*k + f = 2*f. Do k and 1/3 have different values?
True
Suppose 4*a = 2*n, -5*n - 2*a - 14 = 2*a. Is n greater than or equal to 16?
False
Let s = -8359 - -50443/6. Let v = 3119/66 - s. Is v smaller than 0?
True
Let h be (-45)/12 - 1/4. Let c(g) = -g**3 + 9*g**2 - 3. Let n be c(9). Which is greater: n or h?
n
Let x = 2/45 + -503/180. Which is bigger: x or -2?
-2
Let a = -0.89 - -0.79. Which is smaller: 10 or a?
a
Let t be (94/(-30))/((-552)/(-20)). Let u = t + -5/46. Which is greater: u or -1?
u
Let w be -8 - (2 - 0) - -1. Let u be ((-1)/(-3))/(w/459). Which is greater: u or -16?
-16
Let z be -1 - ((-54)/28 - -2)*-18. Which is greater: 1 or z?
1
Let i be (-8 - -1)*170/(-238). Which is greater: 14/3 or i?
i
Let t be -5 + 4/(12/9). Let d be (-3 + 2)/(-3 - t). Which is smaller: 2 or d?
d
Let w be (3 - 2) + (-4)/1. Let c(y) = -y**2 - 4*y - 2. Let g be c(w). Are g and 1/2 non-equal?
True
Let q = -2.1 + 2. Let s = 1 - 1.4. Let t = -0.3 - s. Which is smaller: t or q?
q
Let t be 97/18 + 6/48*-4. Is 6 < t?
False
Let q(r) = r**2 + 9*r - 8. Let k be q(-9). Let y = k - -8. Which is bigger: 1 or y?
1
Let t(h) = -3*h + 15. Let n be t(5). Which is bigger: -6 or n?
n
Let c = -1/669 - 2452/669. Which is bigger: c or 0.2?
0.2
Suppose -1 = -5*k - 4*r + 16, r = 3*k. Suppose -4*b - 20 = -2*a - 3*a, -b = 5. Let y = a + k. Which is smaller: y or 1/5?
1/5
Let q be ((1 - 3) + 2)/(-3 + 4). Which is smaller: -9/19 or q?
-9/19
Let s be 1/(-1*(1 - 2)). Let c(l) = -l**2 + 2*l - 1. Let p be c(1). Let w = s + p. Is -1/3 greater than w?
False
Suppose 4*d - 15 = d + r, 3*d - 5*r = 3. Suppose 0 = 4*t - t - 30. Suppose -y + t = -d*y. Which is bigger: -1 or y?
-1
Let x be (-1)/((-10)/45) + -4. Let l be ((-3)/4)/(6/4). Is x at least as big as l?
True
Let o = 54 + -50. Is o less than or equal to 4?
True
Let p = 69.9 + -70. Which is smaller: 28/3 or p?
p
Let v = 1 - 3. Let x = -1 + v. Let p(y) = -y**3 - 2*y**2 + 4*y + 2. Let i be p(x). Is i equal to -4/3?
False
Let z be (1/245*-2)/(8/(-30)). Are z and 0 unequal?
True
Let t be (-5 + 1)*(-10)/(-32). Is 2/3 at most as big as t?
False
Let r = 1.92 - 1.9. Let t = 0.07 - 0.07. Do r and t have the same value?
False
Let i be 0 - 3 - (-237)/90. Let g = 1143/10 - 114. Let j = g - i. Which is smaller: 5 or j?
j
Let g = 29 + -28. Suppose 0 = -8*h + 3*h + 10. Is h smaller than g?
False
Let q = -15 - -13. Let j be (14/4 + -1)*2. Let g = j + q. Which is bigger: 2 or g?
g
Suppose -23*p = -20*p - 57. Which is greater: 18 or p?
p
Let l(n) = n**3 - 12*n**2 - 13*n - 11. Let r be l(13). Is -1/3 not equal to r?
True
Let l = 322 - 967/3. Let r = 8 - 12. Which is smaller: r or l?
r
Let g be 7/14 - 6/4. Let x = -0.6 + 0.4. Which is bigger: g or x?
x
Let j(q) = -q**3 - 8*q**2 - 10*q - 3. Let k be j(-7). Let l be (-6)/k*(0 - -3). Which is smaller: l or 3/8?
l
Let b be 0 + (3 - (-3 + 4)). Let w be b/6 + (-62)/6. Are -9 and w equal?
False
Let z = -60 + 243/4. Let i = 33 + -23. Suppose 0 = -i*q + 5*q. Which is smaller: z or q?
q
Let j be 12/(-42) - (-5)/(-7). Let k be (-4 - j)/((-9)/6). Let p be 0 + 0 - 3/k. Is -1 > p?
True
Let l = 47 + -47.21. Let g = l + 0.11. Do -2/3 and g have the same value?
False
Let r = -8 + 6. Is r at most as big as -1?
True
Suppose q + 0*q = 0. Suppose -4 = -0*r + 4*r. Which is greater: q or r?
q
Let m = 1 - 3. Let t = -3 - m. Which is bigger: 1 or t?
1
Let p = 14 - -1. Let i = -10 + p. Which is greater: -0.1 or i?
i
Let f = 4.4 + -5. Let m = 0.4 - f. Is m at least as big as -2/15?
True
Let r = 8502/25 - 340. Let v = -1 - -2. Which is smaller: v or r?
r
Let v = 1 - 2. Let y = -2125/12 - -177. Is v <= y?
True
Let j(r) = -r**3 - 5*r**2 - 4*r - 6. Let u be j(-4). Let g be (-10 - u) + 42/11. Which is bigger: g or 0?
0
Let i(g) = -g**2 + 9*g - 14. Let p be i(6). Is p at least as big as 2/5?
True
Suppose -4*u = -4*x - 8, 2*u - u - 2*x - 4 = 0. Let o = u + -1. Let m be (-50)/(-35) + -2 + 1. Is o greater than m?
False
Let o = 2.1 - 2.2. Which is smaller: -11 or o?
-11
Suppose -x - 3*x + 240 = 4*m, 3*m - 181 = -2*x. Which is smaller: 63 or m?
m
Let m(f) = -f**2 + 3*f + 3. Let q be m(-2). Is -8 < q?
True
Let h be (-4)/14 - 30/875. Is -1 > 