- 27 = 0. Which is bigger: m or -0.1?
-0.1
Let h = 4.1 - 2.5. Let d = -1.5 + h. Which is smaller: 1/14 or d?
1/14
Suppose 0 = -6*i + 3*i + 33. Is 11 not equal to i?
False
Let l(v) = -v + 2. Let n be l(2). Let x = -6 + 8. Suppose -5 = 3*f - x. Is n smaller than f?
False
Let y be -1 - (0 + -1) - -1. Let q(i) = 0*i**2 - 5*i**2 - 3*i**3 + 2*i**3 - y + 6*i. Let d be q(-6). Is 1 at most as big as d?
False
Let c = 3 + -2. Let f = 7 - 6. Let n be f + c + (-27)/12. Is 1 equal to n?
False
Let v(k) = 197*k + 2. Let l be v(2). Let m be (-2)/(-7) + l/(-14). Let h be 2 + -4 + m/(-15). Are h and 0 non-equal?
True
Let o = 26199/7 + -3750. Let j be 18/(-28)*268/(-22). Let y = j + o. Do y and 2 have different values?
True
Let w = 2.09 - 2. Let l = -4.9 - -5. Is w at least l?
False
Let k = 11 + -14. Let n = 4 + -4. Is n != k?
True
Let w(y) = 25*y**3 - 3*y**2 + 2*y + 1. Let p = 4 - 2. Let q be w(p). Let m = -1355/7 + q. Which is smaller: m or -1?
-1
Let f = 20 + -17. Let m = 5/7 - 29/21. Is m >= f?
False
Let z(b) = -b**2 + 5*b + 2. Let x be z(5). Suppose 3*n + 4*j + 10 = 0, -x*n - 2*n - j = 9. Suppose -3*h + 4 = -5*h. Are n and h equal?
True
Let w = 18 - 56/3. Let c = -15 - -15. Is w less than or equal to c?
True
Let d be 1/4 - 14/(-8). Let o = d + -4. Which is smaller: -1 or o?
o
Let f = 68 + -115. Let d = f + 66. Suppose -2*l - 3*r = l - 12, -4*l + 3*r = d. Which is bigger: 0.2 or l?
0.2
Let f = 22/25 - 2/25. Let g(k) = -k - 1. Let s be g(-7). Let h = -4 + s. Which is bigger: f or h?
h
Let m(n) = -n**2 + 2*n + 4. Let v be m(3). Let r be (-1*1)/((-3)/501). Let a = r - 671/4. Which is greater: v or a?
v
Let c(m) = -m - 4. Let s be c(-3). Let i be s/3*(0 + -1). Let q = i + -5/6. Is -3 at most as big as q?
True
Let h be (-4)/22 - ((-2523)/(-825) - 3). Which is smaller: 1 or h?
h
Suppose -y + 44 - 3 = 0. Which is bigger: 42 or y?
42
Let r = -0.535 - -0.035. Is r smaller than -1/2?
False
Let n be (-8)/64 + 1/(-4). Suppose 2*w = -2*d - 2, -2*w - 2*d = -7*w + 9. Is n less than w?
True
Suppose -3*z - 2*z = 0. Let s = z + 0. Let t = -40 + 41. Do t and s have different values?
True
Suppose 9*s - 8 = s. Is 7/19 smaller than s?
True
Suppose 5*d = 3*a + 31, 5*a - 2*a = -4*d + 14. Let h = a + 0. Let s be h/7 - 26/(-42). Which is smaller: 0 or s?
0
Let i = -8.9 - -9. Let h = -52.7 - -60. Let w = 7 - h. Is i at least as big as w?
True
Let g be (8 - -17)*(-1)/(-1). Which is greater: g or 24?
g
Let z be 242/156 - ((-21)/2)/(-7). Is 0 > z?
False
Let l be (-1 + 0/(-1))*-2. Let m be (-34)/(-16) + -1*l. Which is bigger: m or -1/4?
m
Suppose 2 = -2*c + 4*c. Which is smaller: c or 31?
c
Let z = 30 + -25. Is 1/2 > z?
False
Let c = 608/921 + 2/307. Let o(k) = 8*k**2 + 4*k - 4. Let r(u) = -7*u**2 - 3*u + 3. Let a(f) = -6*o(f) - 7*r(f). Let y be a(2). Is c <= y?
True
Suppose -2*p + 0*p + 2 = 0, 2*p + 38 = -5*v. Which is smaller: -39/5 or v?
v
Let a = -9.6 - -10. Does a = -0.4?
False
Suppose -63*t + 6 = -65*t. Which is smaller: t or -17/7?
t
Suppose 0 = -n + 2*n - 3*h - 9, 15 = 3*n + 3*h. Suppose 3*m = 26 - 71. Let i be 2*(2 + m/n). Is 2/15 < i?
False
Let t be -1*(-5 - -1)*(-14)/(-182). Is 1 at least as big as t?
True
Let n = -11044/21 - -526. Let a be 6/3 + -2 + -1. Which is bigger: a or n?
n
Suppose 3*v + 0*v = -4*i - 57, -4*v = i + 24. Suppose -4*x = 18 + 30. Are x and i equal?
True
Let h be 8 + -6 + (-2)/2. Let v = -5/16 + -13/112. Which is smaller: h or v?
v
Let q = -0.24 + -2.46. Is 1 <= q?
False
Let j = -45 - -32. Let t = 19 + j. Which is smaller: t or 1?
1
Let q = -703/9 + 78. Which is greater: -0.1 or q?
-0.1
Let l be (-1)/(292/4 - 0)*1. Which is greater: 0 or l?
0
Let x be (4/16)/((-78)/16 - 0). Which is smaller: 0 or x?
x
Let a = 70 + -45. Which is bigger: a or 24?
a
Let j be 1 - 2/(-2 - -1). Let z be (-51)/(-119) - (-78)/14. Are j and z equal?
False
Suppose 4*f = -s + 5 - 3, 0 = 4*f - 4*s - 12. Let z be f/(-1)*12/(-9). Is z at least 2?
False
Suppose -f = -3*f + 6. Suppose f*h + 5*n - 23 = h, -4*n + 4 = -2*h. Which is greater: h or 2?
h
Let d be 7/(14/(-24))*(-4)/54. Which is bigger: d or 0?
d
Let x(u) = u + 4. Let s be x(-3). Which is smaller: s or 1/17?
1/17
Let i = 3960454/21 - 188627. Let t = -101/3 - i. Which is smaller: t or 1?
t
Suppose -2*k - 9 - 41 = 0. Let w be (-10)/k - 54/10. Suppose i - 10 = 3*i. Is w not equal to i?
False
Let p be (-57)/21 + 3 - 2/7. Which is greater: -8/9 or p?
p
Let x = -4 + 3. Is -3/8 greater than x?
True
Let r be 5/20 - 14/(-8). Is -1 < r?
True
Let x be (-16)/(-10) - (-12)/30. Let a be 5 + 2/x + 2. Suppose 0 = -m - 0*q + 2*q + a, -m = -3*q - 12. Which is smaller: 2/7 or m?
m
Let q = 3 + -7. Is -3 > q?
True
Let g be 2/(-9) - (-9434)/(-72). Let i = g + 132. Which is bigger: i or 0?
i
Let h = -2 + 1. Let x(s) = 2*s. Let u be x(1). Let n be ((-7)/((-21)/(-2)))/u. Is h > n?
False
Let j = 5/9 + -19/18. Which is greater: -0.3 or j?
-0.3
Let c = 6 - 8. Which is smaller: -3 or c?
-3
Let b be (-141)/(-20) - 2 - (-29)/(-116). Which is bigger: 5 or b?
5
Let y = 2 + -3. Let o = 3 - -4. Let p be (-75)/140 + 2/o. Is y equal to p?
False
Let n be 12/(-36) - 23/3. Let z = -9 - n. Is z at most as big as -2/39?
True
Let q = -23 - 1. Is q < -23?
True
Let j = -1.2 - -1. Let d be 10/(-35)*7/3. Which is smaller: d or j?
d
Let i be 2 - (-5)/((-20)/8). Do i and 23 have the same value?
False
Let b be 8/20 + (-4)/110. Is -1 at least b?
False
Let l be (1 + 8)*(4 - 5). Suppose 3*y = -38 + 8. Is l != y?
True
Suppose -65 = 4*x + x. Let f = -23 - x. Let l be 2/f*-8 + -1. Do 0.1 and l have different values?
True
Suppose -3*z - 10 = 62. Let r = z + 12. Let f be (-3 - -4) + r + 1. Is -9 <= f?
False
Let w be (-1)/(-3) - 11/15. Let a = 92/45 + -21/10. Let d = 7/18 + a. Is w < d?
True
Let b be (-3 - (-3 - 1))/(-1). Is b greater than 3/8?
False
Suppose -o + 4*o = -3*l + 9, 4*o = 12. Let f = -881 - -5911/7. Let p = 37 + f. Which is greater: p or l?
p
Let i = 14 + -14. Which is greater: i or -2?
i
Let d(s) = s - 7. Let j be d(9). Let t(x) = x**2 - 4*x. Let y be t(j). Let q = 3 + y. Which is smaller: -1/4 or q?
q
Let i(l) = 13*l - 88. Let n be i(6). Are n and -43/4 non-equal?
True
Suppose 3*k + c + 3*c - 11 = 0, 4*k - 14 = -5*c. Suppose -2*m - 2*m - 4*d = -24, -2*m = -3*d + 8. Let i be (2 - m) + (-1)/7. Which is greater: k or i?
k
Let j = 12 - 9. Is 8/5 >= j?
False
Let n = -8.464 + 0.164. Let t = n - -8. Let f = -1.1 + 1. Is t less than or equal to f?
True
Let x be 1/4 - (-3)/4. Suppose -4*m = m. Let o be m/((-3)/(-3 - 0)). Which is greater: o or x?
x
Suppose 4*u - u = -18. Let r be (20/(-12))/(2/6). Which is bigger: r or u?
r
Let h = 43 - 21. Which is smaller: h or -2/5?
-2/5
Let c = 42.4 - 46. Let t = c - -0.6. Let z = 2 + t. Does z = -0.1?
False
Suppose 2*x - 5 = -3*x. Let b be (-2)/8 + (-36)/(-80). Is x not equal to b?
True
Let y(u) = u**3 - 3*u**2 - 5*u - 9. Let p be y(5). Suppose p*m = 17*m - 10. Which is smaller: m or 9?
9
Let n = 34 + -20. Let m be (-6)/21 + n/49. Let k be (-18)/4*(-2)/(-12). Which is bigger: m or k?
m
Let b = -7 - -16. Which is smaller: b or 10?
b
Suppose 7 = -4*m - 1. Is -2 less than or equal to m?
True
Let a = 12 + -12. Are a and 2 equal?
False
Let b = 3/16 + -47/80. Let i = -21 - -15. Let n be (-8)/(-6)*9/i. Which is greater: b or n?
b
Suppose -3*s - s - 20 = 0. Let u(q) = -q**3 - 5*q**2 + q + 5. Let d be u(s). Suppose d = -0*v + 5*v. Are -4 and v equal?
False
Suppose -i = -1 + 4. Let t be (-5)/(-15) + (-2)/i. Let o = t - 5. Is o less than or equal to -3?
True
Let f(x) = x**3 + x**2. Let q(c) = 2*c**3 - 2*c**2 + c. Let k(v) = -3*f(v) - q(v). Let p be k(-1). Is 5 bigger than p?
False
Let u = -2/37 - -45/148. Is u < 3?
True
Let m be (-4)/(4 - 0) - (15 - -2). Is m at most -19?
False
Let o be 15/(-20) - 1/4. Is -2 at least as big as o?
False
Let y = 47/5 + -497/55. Which is greater: y or 1?
1
Let k = 1/568 + -433/3976. Let x = 1/7 - k. Let g = -1883/9 - -209. Is g greater than or equal to x?
False
Suppose -2*v = -0*i - i + 9, 3*v + 3*i - 9 = 0. Is -10/9 less than v?
False
Let q = 1/33 - 2/33. Is 1 <= q?
False
Let b(a) = -a**3 + 2*a**2 + 2*a - 1. Let o be b(2). Let m be 2/o - (-22)/(-33). Is 3/8 <= m?
False
Suppose 2*k - 9 = -3, 3*u = -k + 15. Suppose -3*i + 1 = -u*i. Let d = -90 + 448/5. Which is bigger: d or i?
d
Suppose 4*n = -2 + 6. Which is smaller: 2/33