se
Suppose -6*b + 2 = -5*b. Suppose 0*d = b*d - m - 1, m = 3*d. Which is greater: d or 2/5?
2/5
Let a(z) = 3*z**2 + z + 20. Let c(n) = -n**2 - 7. Let l(b) = 6*a(b) + 17*c(b). Let f be l(-6). Let q = 43 - 43. Is f at least q?
True
Let k = -3837/10 - -384. Which is greater: 2/7 or k?
k
Let l be 1 + 2 - 25/6. Let n = l + -7/12. Is -3 less than or equal to n?
True
Let b(u) = u**2 - 4*u - 2. Let i be b(4). Does i = -6/11?
False
Let l = 5 + -4. Let w be l/4 - (-86)/24. Let o = -7/3 + w. Which is greater: o or 2?
2
Suppose -5 = 8*a + 3. Let y be 1/(-3) + (-2)/(-6). Which is smaller: a or y?
a
Suppose -q - 8 + 4 = 0. Let v(d) = -6*d + 1. Let j be v(1). Let w = j + 2. Which is smaller: w or q?
q
Let n = 81/5 - 89/5. Let y(f) = -f**2 - 5*f + 4. Let w be y(-6). Which is greater: n or w?
n
Let b be (0/(-1))/(4/(-4)). Suppose b = 3*g - g - 4*q - 14, -3*q + 3 = 0. Is 9 > g?
False
Let w(y) = -y**2 - 15*y + 1. Let m be w(-15). Let r be 4/6*12/(-32). Which is bigger: m or r?
m
Let c be 0 - 16/(-4) - 1. Which is greater: c or 2?
c
Suppose -5*k = 2*x - 15, 4*x + 3 = k + 7*x. Suppose k*m - 12 = m. Is 6 != m?
False
Let b = -705/8 - -88. Which is smaller: b or 0?
b
Let g(v) = v**3 - 6*v**2 + 2*v - 5. Let q be g(6). Let w be 0/1*q/(-14). Is 1/3 < w?
False
Let d = 15 - 15. Are d and -2 equal?
False
Let h be (-7)/9 + 4/(-18). Let z be (h/(-3))/(4/12). Let p be (2 + -3)*(-4 - -3). Is z less than or equal to p?
True
Let r be -5*-1*(-12)/3. Let x be (-26)/10 + (-12)/r. Is x < -2?
False
Let z = -97 + 138. Let b = z - 122/3. Do b and 1 have the same value?
False
Suppose 0*v = 5*v - 20. Suppose 0 = -c - v*c + 15. Suppose 21 - 6 = -2*g + c*p, 3*p - 15 = -5*g. Which is smaller: 2 or g?
g
Let z = -9 - 7. Does z = 0.1?
False
Suppose 4*f - f + 16 = s, 3*f + 12 = 0. Which is greater: 3 or s?
s
Let o be 56/(-2)*(-130)/48. Let v = o - 76. Suppose -3 + 0 = 3*n. Is n smaller than v?
True
Suppose 3 = 2*t + t. Which is bigger: -3 or t?
t
Let z be (-5)/(225/(-6))*3. Is 0 smaller than z?
True
Let m be 49/(-45) + (-4 + 8)/20. Let l = -2 + 0. Is l bigger than m?
False
Let g = -2/59 - -63/118. Let b = 10 + -6. Let h be (6 + -5)/(2/b). Is g at least h?
False
Let u be -1*(-1 + 3/7). Are 0 and u nonequal?
True
Let q(b) = 13*b - 1. Let u be q(1). Suppose -5*s + 2*h = u, 2*h + 6 = -5*s - 2*h. Is -8/9 at least s?
True
Suppose 8*a - 13*a = 0. Suppose 6 = -0*h - h. Let u(m) = -m - 8. Let l be u(h). Is a < l?
False
Let r be -1 + -2 + (-30)/(-4). Let p be -4 + 2 + 13 + -6. Is p at most as big as r?
False
Let p be (1 + 25/(-20))*4. Are 2/413 and p non-equal?
True
Let k = 0.6 + 0.4. Let n be 1/((3 + -2)/1). Are n and k non-equal?
False
Suppose 2*o + 4*l - 11 = 5*l, 0 = -l - 1. Is 5 less than or equal to o?
True
Let r = -6 - -9. Let i = r + -2.98. Which is smaller: i or -1?
-1
Let y = 0.0806 + -9.8706. Let q = y + -0.21. Let w = -16 - q. Which is bigger: -0.1 or w?
-0.1
Let z = 16 + -16.5. Which is smaller: 1/2 or z?
z
Let t = -1.5 - -1.35. Let i = -0.07 + t. Are -1 and i equal?
False
Let j(w) = -w**3 - 4*w**2 + 3*w - 2. Suppose -2*f = 4*r - 13 + 3, 20 = -2*f + 2*r. Let u be j(f). Let y be ((-6)/(-8))/((-10)/u). Which is smaller: y or 0?
y
Suppose 5*m = 4*k + m + 48, k - 4*m + 18 = 0. Let t = 8 + k. Which is smaller: -1 or t?
t
Suppose 5*v + 3*s - 5 - 10 = 0, 5*v - s = 15. Suppose 0 = g - 2. Let i = 0 + g. Which is bigger: i or v?
v
Suppose -3*g = -0*g. Suppose 3*z + g*z = 2*s - 4, -5*s + 2*z - 1 = 0. Which is smaller: s or 3?
s
Suppose 0 = 2*y - 3*i + 3, -5*y + 5 = 9*i - 4*i. Let k be 4/(-10) + 14/10. Does y = k?
False
Let n be (-18)/12*(-4)/3. Suppose -3*u + 4 = -n. Suppose 2*b = j + b, 0 = 5*j - 4*b - u. Is 2/3 bigger than j?
False
Let i(j) = -j**2 + j + 5. Let k be i(3). Let x be ((-16)/(-6) - 2)*-3. Which is smaller: x or k?
x
Let g = -5 + 11. Let y = 5.9 - g. Which is smaller: y or -0.03?
y
Let j be -1 - (2 + (-33)/9). Which is greater: 0.2 or j?
j
Let t = -889/12 + 74. Let o(w) = -w**2 - 7*w + 9. Let u be o(-8). Are t and u nonequal?
True
Let n = 8 - 7. Let m = 2/3 - n. Is 0 > m?
True
Suppose 0 = -4*l - z + 4, -z - 12 = -3*l - 4*z. Which is smaller: 6/17 or l?
l
Suppose 13 = 4*t + 17. Let x = 4/27 + -74/135. Is x less than t?
False
Let r = 58 - 178. Let j be -2 + (-561)/r - 3. Let d = 1/8 + j. Does -2/3 = d?
False
Let b = -8 - -12. Suppose b*w = -1 - 3. Is w not equal to 1/27?
True
Let u = 3/4 + -13/12. Suppose z - 17 = -3*k, -3*z = -3*k - k + 14. Suppose 0 = -0*b + k*b. Which is bigger: b or u?
b
Let z = -0.77 - 8.33. Let h = -9 - z. Let x = 0.1 + -0.2. Is x at least as big as h?
False
Let g = -8.1 - -7.9. Which is bigger: -12 or g?
g
Suppose -3*m + 5 = -16. Let k = 7 - m. Which is bigger: k or -3/8?
k
Suppose 5*q + 0*t + 36 = -t, -16 = -4*t. Let m = q - -5. Is m smaller than -3?
False
Let q = 6 - -1. Let b(y) = y - 2 + 0*y - 5 - 3. Let d be b(q). Is d >= -3?
True
Let a be 8/(-27)*18/408. Which is smaller: 0 or a?
a
Let u(t) = -t**3 + 8*t**2 - 6*t. Let d(h) = -3*h**3 + 24*h**2 - 18*h - 1. Let f(y) = -3*d(y) + 8*u(y). Let q be f(7). Is -2 bigger than q?
True
Suppose -2*o + 22 = 4*s, 5*o - 33 = -2*s - 2. Suppose -o*h - 5 = -0*h. Is h at most as big as 1?
True
Let p = -23 - -26. Is 0 at most as big as p?
True
Let c = 11.1 - 11. Is c > 2?
False
Let x = -1/61 + 131/549. Let y(t) = 7*t - 13. Let z be y(2). Are x and z non-equal?
True
Let u(w) = -w**3 + 11*w**2 - 6. Let l be u(11). Is l at least as big as -6?
True
Suppose 3*d - 2 = 2*d. Let g = 5 + -2. Is d > g?
False
Let w = -0.02 + 0.12. Let y = w + 0.9. Which is bigger: -1/2 or y?
y
Let q be (-5)/(-4)*2/(-23). Let d = -37629023/322 + 116860. Let s = q + d. Which is smaller: 0 or s?
s
Let r(q) = q**2 - 8*q + 8. Let n be (-1)/(-3)*(23 + -2). Let v be r(n). Suppose -3*h = 2*g - 10, 0*g + 4*g - 18 = -5*h. Which is smaller: g or v?
v
Let r = 2 - -8. Let t = r + -10. Let n = 1339/56 - 170/7. Which is greater: t or n?
t
Suppose -y + 3*n + 5 = -0*y, 7 = -5*y - n. Which is smaller: y or -2/33?
y
Let x be (-55)/(-3)*4/10. Let j be 1/((-4)/56*-30 - 2). Does j = x?
False
Let a = 28 - 27.77. Let q = a - 0.23. Which is bigger: 15 or q?
15
Let s = 14.8 - 16.9. Is s < 2?
True
Let b = 0.2 - 0.3. Let s(v) = -v**3 - 2*v**2 + 3*v - 2. Let l be s(-3). Which is smaller: l or b?
l
Suppose -3 = 3*q - 15. Let h = 10 + q. Do 13 and h have the same value?
False
Let w = -234/7 + 2532/77. Let m = -142 + 427/3. Is m != w?
True
Suppose 0 = 2*x - 3*x - 4*p - 12, 2*x + 4*p = -20. Let j be x/(-30)*(-6)/(-4). Is j less than or equal to -1?
False
Let b be ((-2)/(-5))/((-4)/(-60)). Let l be 4/(-3)*b/(-52). Is 0 greater than or equal to l?
False
Suppose 5*q - 16 = -5*r + 4, -2*q + 8 = 0. Do r and -6 have the same value?
False
Let v be (0 + (-3)/(-6))*0. Do v and 1/11 have different values?
True
Suppose 0 = 6*q - q - 4*y - 281, -q + 52 = -5*y. Which is smaller: q or 55?
55
Let h be (-1)/(1*(14/(-5) + 3)). Does -6 = h?
False
Let i = 43 + -44. Is i <= 2?
True
Suppose l = -5*o - 1 - 0, 4*o + 3*l - 8 = 0. Let u be -1 + o - (0 - 1). Is -1 >= u?
True
Let a = 4 + -10. Which is smaller: 0.1 or a?
a
Let q = 0.8 + 0.2. Let m = q - 0.9. Let h = -209/5 - -42. Which is bigger: m or h?
h
Suppose -2*l - 3*v + 15 = 0, 0 = -l + v - 3*v + 10. Suppose -d + 6 = -l*d. Is 7 greater than d?
True
Let i be 6/(-16) + 63/(-24) - -2. Let m be ((-1)/1)/((-29)/2). Does i = m?
False
Let j = -171 + 1537/9. Let b be (-12)/66 - (-4)/22. Is b greater than or equal to j?
True
Let f = -0.41 - -0.2. Let x = f - -0.01. Which is smaller: x or -3?
-3
Suppose 5*v + 4*b = -17, -4*b = b + 15. Let z = -1 + v. Let s be (2 + 0/2)/z. Which is smaller: 0.01 or s?
s
Let x be (-2 - -2 - -1)*2. Suppose 5*h - 7 = -y, -5*y + x*y - 3*h + 21 = 0. Suppose 3*b = -4*i - y, 0*i + 2*i + 2*b + 6 = 0. Is 1 greater than i?
False
Let i(n) = n + 6. Suppose -3*a + 3*g = 15, -4*a + 2*g - 4*g = -10. Let p be i(a). Which is bigger: 7 or p?
7
Let q(j) = -j - 4. Let m be q(-4). Which is bigger: m or -2/5?
m
Let j = 31 - 26. Which is greater: j or 4?
j
Suppose 0 = i - 4*i + 12. Let b be (i - 1 - -3)*1. Are b and -3 equal?
False
Suppose 4*r = 4*s + 4, -s - 3*r - 9 = 2*s. Is s smaller than -3?
False
Let u(w) = w**3 - 4*w**2 + 4*w - 4. Let r be u(3). Let o(v) = -11*v + 1. Let h be o(r). Let g be (-3)/9 + 10/h. Which is greater: 2 or g?
2
Suppose 0 = 2*x + 5