i or -15?
-15
Let y = -0.9 - -1.18. Let g = -0.02 - y. Let v = g - -0.1. Which is bigger: v or 0.1?
0.1
Let y = 73 - 74. Which is greater: y or -9/16?
-9/16
Let w be (1 - 6/2)/(-2 - 1). Which is smaller: 3 or w?
w
Let q = 6 - 3.1. Let m = -3 + q. Are m and 1/2 unequal?
True
Let l(a) = a**3 + 2*a**2 - 2. Let g be l(-2). Let c(d) = d + 3. Let h be c(g). Let n(z) = 2*z**2 - 4*z + 2. Let k be n(2). Is h greater than or equal to k?
False
Let d = -2 - -1. Let k be 0/3*1/2. Is k equal to d?
False
Suppose 4*f = -0*o - 2*o, 21 = -3*o + f. Suppose 4*b + 52 = -5*d, 3*b - 5*b - 4 = -3*d. Which is greater: b or o?
o
Let o be 0/(0/1 + 1). Suppose 2*u + 0 - 2 = o. Let x be (-11)/9 + (u - 0). Which is greater: -1 or x?
x
Suppose 5*c = -16 + 11. Which is greater: c or -2/317?
-2/317
Let t = -422 - -616. Let f = t + -1367/7. Is 0.1 > f?
True
Suppose 4*d + 3*x = 17, 2*d - x - 6 = d. Suppose -d*j + 6 + 4 = 0. Let y be (-5)/85*j/(-1). Which is smaller: -1 or y?
-1
Suppose 22 = 3*t - 4*w, -t + 2*t - 5*w - 22 = 0. Suppose 0 = 2*o - 3*n - 4 + 1, 0 = 5*o - t*n - 2. Is o < 0?
False
Let a be ((-18)/(-15))/(3/10). Suppose a*q - 3*q = 3. Let x = -2 + q. Is 0 <= x?
True
Let t = 11 + -21. Which is smaller: 0 or t?
t
Let g = 0.03 - -0.07. Suppose 4*w + 0*w - 4*k = 0, 0 = -4*w + k - 3. Is w > g?
False
Let d = -114 - -112. Suppose -6 = -4*m + m. Which is bigger: d or m?
m
Let m(d) = d**3 + 4*d**2 - 5*d + 4. Let b be m(-5). Suppose -h = 2 - b. Let u be (9/(-6))/(-1 - 0). Which is bigger: h or u?
h
Let p(h) = 2*h**2 - h - 2. Let k be p(2). Suppose k*a + 5*c = 29, -3*a + 7*a = -2*c + 14. Is -5 >= a?
False
Let w be 12/15 - (-236)/(-20). Is w < 0?
True
Suppose 4*h - f + 7 = 0, 5*h + 6 = f - 2. Suppose -3*a + 2*k - 33 = 4*k, -5*a = -k + 42. Let t = 7 + a. Which is greater: h or t?
h
Suppose 62 = -2*s - 2*n, 3*n - 7 = s + 20. Is s at least -31?
True
Suppose -3*b = -5*b + 4. Let y be 1*((b - 2) + 0). Suppose y = 2*r - 0*r. Is r at least as big as 3/5?
False
Let q be 7/2 - 9/18. Do q and 3 have the same value?
True
Let b = 5.1 + 0.9. Let h = 6.04 - b. Let j = h - 1.04. Is 1 less than j?
False
Suppose 0*p = 5*p - 15. Let f(o) = -o**2 + o. Let u be f(-2). Let b = u + p. Does b = -4?
False
Let f = -28 + 76. Suppose 7*d - f = -6. Which is greater: 7 or d?
7
Let x = 188 - 375. Which is bigger: 0.1 or x?
0.1
Suppose 5*a + 6 = -4. Let d(z) = z**3 - 7*z**2 + 4*z + 8. Let m be d(6). Do m and a have the same value?
False
Let f = -9 - -6. Let a be -6*(3 + (-55)/20). Is f equal to a?
False
Suppose 5*v - 15 = -0. Let s = v - 2. Let f be -1 - 1/(-7)*10. Is f greater than s?
False
Let d(y) = -y + 1. Let p be d(-2). Let w = p + -3. Let u be w*3/9*3. Is -2 at least u?
False
Let j = 5 - 3. Suppose -j*n + 40 = -n. Let k be 5/n + 0/1. Which is greater: k or -1?
k
Let j = 170 + -61. Is j smaller than 109?
False
Let a = -26 + 28. Which is greater: -0.2 or a?
a
Let r = 5 - -4. Let x be (2/(-6))/(r/(-2841)). Let i = 105 - x. Which is bigger: -1 or i?
i
Let t(z) = z - 2. Let f be t(0). Let o = f - -3. Which is greater: 2/15 or o?
o
Let a = 0.11 - 0.02. Which is smaller: 0.1 or a?
a
Let n(g) = g**3 - 5*g**2 - 7*g + 5. Suppose -3*j - j = y - 82, -76 = -4*j + 2*y. Let r be 116/j + 1/5. Let p be n(r). Is p not equal to -4?
True
Let x be (2/(-15))/(4/(-20)). Let l = 3 + -2. Let r(m) = -m**2 + 2*m - 1. Let p be r(l). Which is greater: x or p?
x
Suppose -8*h = -3*h + 20. Is -3 greater than h?
True
Let r(p) = -p + 7. Let f be r(5). Suppose -3*n = -5*i + 8, f*i - 3*n - 5 = -0. Which is greater: 2 or i?
2
Let t = -0.1 + 3.6. Let m = -3 + t. Let w = 0.1 - m. Which is greater: 0.1 or w?
0.1
Let i be (2/3 + -1)*3. Let t be (2 + (-2)/2)/1. Let b be (-1 + (3 - t))*-2. Is i greater than b?
True
Let y = 2 - -7. Let m be ((-4)/(-10))/(y/180). Let t = m + -39/5. Which is smaller: t or -1?
-1
Let y(l) = -l - 10. Let p be y(-7). Let z(v) = -v**3 - 3*v**2 - v - 4. Let f be z(p). Which is bigger: f or -2?
f
Let h be (-1 - (-9)/6)*-18. Let m = -5 - h. Suppose 16 + 0 = -m*t. Which is bigger: t or -5?
t
Suppose 0 = 5*r - 3*r + 34. Let w = r + 151/9. Suppose 3*l + 2 = l. Which is smaller: w or l?
l
Let f be 140/(-603) - 0/(-7). Let z = f + 2/201. Is z <= 0?
True
Let t be 4/(-6)*18/12. Let c = 2 + t. Is c greater than -2/11?
True
Let n = -2.95 - 2.05. Let f = 0 - -1/3. Which is smaller: f or n?
n
Let g(y) = y**3 - y**2 + y. Let t be g(0). Let h be ((-6)/(-4))/((-6)/2). Are h and t equal?
False
Let r(x) = -2*x**3 - 1. Let k be r(-1). Let v be (2/5)/(2/20). Let l be (v/6)/((-1)/(-3)). Which is smaller: l or k?
k
Let r(u) = 5*u - 1. Let g = -6 - -7. Let k be r(g). Is k < 3?
False
Suppose 0 = -3*p - 3*w + 17 + 10, -3*w - 71 = -4*p. Let o be 33/77 + (-20)/p. Let g = -148 - -3994/27. Is o at least g?
False
Let b be (-2)/((-2)/(-2 - -22)). Let z be 14/10 + (-8)/b. Which is greater: z or 0?
z
Let q(k) = -5*k**2 - 2*k - 2. Let m be q(-2). Let g = 8 + m. Let p = 119/12 + g. Which is smaller: 1 or p?
p
Let f(u) = -3*u - 1. Let b be f(-2). Suppose r = b*r. Which is smaller: r or 1?
r
Let d = 0.9 + -2.9. Which is smaller: 28 or d?
d
Let x = -11.3 - -2.3. Let l = x - -9.1. Is 4 bigger than l?
True
Let l = 15 + -21. Which is bigger: -7 or l?
l
Let n = 16 + -16. Which is greater: -2/7 or n?
n
Suppose -2*w - 2*q - 20 = 3*w, 0 = 3*w + 5*q + 12. Which is greater: w or -6?
w
Let w be 1 - (1 - (1 + -1)). Let g be (-9)/12 + 6/(-24). Is g >= w?
False
Let k(r) = r**2 + 18*r - 21. Let g be k(-18). Is g > -21?
False
Let v(b) = -b. Suppose 6*k = k. Let x be v(k). Is -2 bigger than x?
False
Let g = 52/3 - 1667/96. Which is smaller: -1 or g?
-1
Let p = 11 + -14. Let v = 3 - -2. Let l = 3 - v. Do l and p have different values?
True
Let j(s) = -s**2 + 4*s + 5. Let m be j(5). Let o = 3 + -7/3. Is m > o?
False
Suppose -2*a - k - 8 = 0, 5*a + 0 + 14 = -k. Which is greater: a or 7?
7
Suppose 0 = 4*g + o + 2*o - 47, 0 = -g - 5*o + 33. Is g greater than 8?
False
Let y = 1 - 6. Let i = -4 - y. Do i and -5 have the same value?
False
Let o = 12 + -11. Let w = -403/231 - -29/21. Which is smaller: o or w?
w
Let w = -0.78 + -2.24. Let c = w - -0.02. Let h = c - -2. Is h >= -2/7?
False
Suppose 5*l = -3 + 8. Which is bigger: -1.4 or l?
l
Let i be 1 - 15/11 - 0. Let k(t) = -t**2 + 9*t + 9. Let x be k(10). Which is bigger: i or x?
i
Let s be (-3 - -4)*(-2)/(-8). Let j(q) = -q**2 - 6*q + 3. Let k be j(-6). Suppose 2*t - 5*b + 24 - 7 = 0, 3*t - k*b + 12 = 0. Which is bigger: s or t?
s
Let b be (-8)/4 - (-48)/21. Which is smaller: -2 or b?
-2
Suppose 3*w = 3*l + 1 - 19, 0 = -5*l - 4*w - 15. Which is bigger: -1/36 or l?
l
Let k = -0.25 + -0.09. Let f = 0.04 + k. Let o = 0.7 - f. Which is smaller: 2/5 or o?
2/5
Let l be 4/(-14) - (-60)/14. Suppose l*o - 88 = -2*c, -2*c = -0*o - 4*o - 72. Let s = c - 159/4. Does s = -2?
False
Let j be 0 - (-4)/2 - -20. Let h = 21 - j. Which is bigger: h or 2/65?
2/65
Suppose 147 + 133 = 4*v. Is -1 greater than or equal to v?
False
Suppose 4*a + 16 = 0, -a - 4*a - 26 = -3*q. Let r be (-1 + 6/8)*-3. Which is smaller: q or r?
r
Let c = 0.9 - -0.1. Suppose -5*t - 5*m + 3 = -2, 4*t + 5*m = 4. Is t less than c?
False
Let u = -8 + 12. Suppose 0 = -u*d - d + 10. Is d not equal to 3/4?
True
Suppose 2*g + g - 5*h - 100 = 0, -2*h - 152 = -4*g. Which is bigger: 0.1 or g?
g
Let m be 119/(-35) + 3 + (-16)/10. Is -28/9 > m?
False
Suppose 0 = -5*r - 3*m, r + 5*m + 16 = -2*r. Let k(q) = -q**2 + 2*q + 4. Let j be k(r). Which is smaller: -1/10 or j?
-1/10
Let q be (-3 + 0)*(-29)/(-1). Which is greater: -86 or q?
-86
Let j = -21 - -35. Let h = -10 + j. Let l = -5 + h. Which is smaller: l or 0?
l
Let b = 21 + -2. Is -0.1 greater than b?
False
Suppose 87 = -r - 3*r - 5*d, 15 = -5*d. Let k be (1/4)/((-9)/r). Is k greater than 2?
False
Let t = -5 - -11. Let m = 8 - t. Let v = 5 + -8. Is v at most m?
True
Let c(s) be the third derivative of s**6/120 - s**5/30 - s**4/12 - s**3/3 + 3*s**2. Let y be c(3). Suppose 0 = 3*t + y + 2. Is t at least -4/5?
False
Suppose 0*j = -j - 4, 4*j = 4*c - 56. Does 10 = c?
True
Let a = -24 - -24. Let x be ((-3)/(-9) - a)*3. Which is greater: 2/5 or x?
x
Let u be (-2)/(-8) + (-10)/8. Let l be ((-70)/33 - -2)*(-4 + 7). Are l and u nonequal?
True
Let y = -47 + 234/5. Suppose 43*s - 66 = -23. Which is smaller: s or y?
y
Suppose -17*y + 22*y + 15 = 0.