rue
Let d(j) = -4*j + 1. Let p be d(-1). Let r be -3 + 1 - p/(-4). Let s = 2 - 1. Is s equal to r?
False
Let n be (-77)/(-33)*(-12)/(-777). Which is bigger: -1 or n?
n
Suppose v + 3*v + 5*b - 22 = 0, -2*v - 5*b + 16 = 0. Suppose -2*d + 60 = 3*d. Suppose q = 4*m - d, -2*m - q = m - 16. Which is smaller: v or m?
v
Suppose -3*h = -8*h + 30. Let u = -10 + 18. Which is greater: h or u?
u
Let g be 2 + 215/(-315) + 3/(-7). Is g > 2?
False
Let r = 0.7 - 1.7. Which is bigger: -0.2 or r?
-0.2
Suppose r + 0 = 2*n + 9, r + 3*n = -1. Suppose 6*c - c = r. Is -3/13 > c?
False
Suppose 3*l - 3 = 30. Let v be 8/12 + l/6. Is v <= 3?
True
Let o = -886 + 4447/5. Which is greater: o or 3?
o
Let m = -0.038 - 3.062. Let a = m + 3. Is -2 greater than or equal to a?
False
Let x = 0.07 + -0.77. Let k = -0.8 - x. Let o = 0.83 + -0.9. Are o and k nonequal?
True
Let g = -23 + 15. Which is smaller: -7 or g?
g
Let f(l) = l**2 + 11*l - 2. Let h be f(-11). Let a = h - -2. Which is greater: a or 2?
2
Let h be (3 + (-71)/23)*1. Let l be -2 + -1 + -1 - 2. Let r = -6 - l. Which is smaller: r or h?
h
Let v = -0.48 - -0.18. Let t = -0.2 - v. Is t greater than or equal to 2/11?
False
Let w = -2135 - -164391/77. Let m = 507/616 - w. Which is smaller: 0 or m?
0
Let r be (-30 - -5)*(-1 + 0). Let m = r + -16. Are m and 10 nonequal?
True
Let q = 1172/7 - 168. Which is greater: q or -0.1?
-0.1
Let k = -16 + 12. Let f be (1*(k - -3))/(-8). Which is bigger: f or 1?
1
Suppose 6*h - 2*h + 280 = 0. Let n be 85/h + 3/2. Are 7 and n equal?
False
Suppose 3*g + 4*y = 7, 3*g + 0 + 2 = 5*y. Let i = g - 0. Suppose -26 + 6 = -20*w. Is i greater than w?
False
Let y(t) = t + 2. Let a be y(2). Suppose 0 = 2*s + 3*c + 8, -13 = -0*s + 5*s + a*c. Let d = 1.13 + -0.13. Does s = d?
False
Suppose 13*m + 4 = 9*m. Is -4/9 bigger than m?
True
Let x = -9.09 + 0.09. Let g = 6 + x. Let r = -3 - -2. Which is smaller: r or g?
g
Let a = 0.38 + 0.02. Let k = -0.4 + a. Let v = 187/4 + -47. Is k < v?
False
Let d(i) = -2*i**2 - 10*i + 8. Let a be d(-8). Let u be (30/a)/(138/(-16)). Which is smaller: u or 1?
u
Let f = 140 + -267/2. Let t be 257/(-42) - (-2)/7. Let c = t + f. Is c < -2/9?
False
Suppose 0 = -5*x - 2*p + 28, -3*p - 6 + 2 = -4*x. Is x greater than or equal to 1?
True
Let g = -22 - -2. Which is smaller: -19 or g?
g
Suppose 9*r - 14*r + 5 = 0. Is 1/3 greater than or equal to r?
False
Let v = -11 + 11. Which is greater: -1.1 or v?
v
Let y = -8.2 + 8. Which is smaller: y or 6?
y
Let p = 159/7 - 23. Let q = -40 - -39. Is q >= p?
False
Let u(s) = -4*s + 1. Let m(h) = 5*h - 1. Let j(z) = -2*m(z) - 3*u(z). Let y be j(1). Let n(v) = -v**3 + 4*v**2 - 4*v + 4. Let q be n(3). Is y equal to q?
True
Let q be 8/(-70)*(-90)/(-12). Which is smaller: q or -1?
-1
Let p be ((-4)/6)/((-1)/(-3)). Suppose 8*l + 11 = -3*l. Is p <= l?
True
Let z = -911/4598 + -3/242. Let a = 3/76 - z. Do -7 and a have the same value?
False
Let p be (-2)/11 - (-574)/11. Let u be p/(-3) + 1/3. Is 1/2 less than or equal to u?
False
Let t = 10537399/168 - 62722. Let r = -3/56 - t. Is r equal to -1/5?
False
Let j(v) = 189*v - 2. Let w be j(-2). Suppose 2*f = -2*d + 8, -1 = -d - 3*f + 1. Let k be 2/d + 112/w. Is 0 smaller than k?
True
Suppose -4*l - b = 11, -21 - 3 = l - 4*b. Which is greater: -5 or l?
l
Let n be (-3 - -2) + 2 - -2. Is 2 < n?
True
Let p(y) = y**3 + 10*y**2 + 3*y + 11. Let w be p(-10). Let z = -4 - w. Is z not equal to 15?
False
Let r = -8 + -4. Is -12 less than r?
False
Let z(m) = -m**2 - 7*m + 7. Let q(p) = -2*p + 14. Let c be q(11). Let d be z(c). Is d <= 1?
True
Let r be ((1 + -1)/2)/((-10)/(-10)). Does r = 2?
False
Let v be 68/(-140) - (-2)/7. Let r = 4 - 2. Let l = r - 1.9. Which is smaller: l or v?
v
Let t = 1.1 - 0.9. Do t and 0.2 have the same value?
True
Let g = 4 - 3.92. Let v = -0.62 - g. Let i = v + 0.7. Which is smaller: i or 0.3?
i
Let w(d) = -d**3 + 4*d**2 + 1. Let r be w(4). Is -2/67 > r?
False
Let m be 44*(-3)/(-147) + -1. Do m and 0 have different values?
True
Let j = -3 - -4. Let i = 200 + -595/3. Which is smaller: j or i?
j
Let m = -26 - -27. Which is bigger: m or 1/20?
m
Let c = 187/4 + -1685/36. Which is bigger: c or -1?
c
Let b be (-328)/(-20) + (-4)/10. Suppose 0*u + 8 = 2*u, -4*u + b = -3*x. Is 2/9 less than x?
False
Let a be (-12)/(-38)*(-16)/48. Which is greater: 0 or a?
0
Let z(i) = -4*i + 41. Let p be z(10). Are 4/3 and p equal?
False
Let u = -15.2 + 14. Let g = 1 + u. Which is bigger: g or 0?
0
Let q = -79 - -78. Let z = 0.1 - -0.1. Is z greater than q?
True
Suppose 15 = 5*m + 5*k, 3*m + 2*k - 8 = -0*k. Suppose 0 = y - 3, -m*u + 4*y - 2 = 3*u. Let q be (u/3)/(3/(-9)). Is q less than or equal to -4/3?
True
Let n = -7 - -8. Which is bigger: n or 0.05?
n
Suppose -4*y = -0*y + 2*u + 66, 4*y + 86 = 2*u. Let l be y/14 - 1/(-2). Which is greater: l or 0?
0
Let p = -0.3 + 1.3. Let u = -0.1 + 0.03. Let k = -3.07 - u. Which is bigger: k or p?
p
Let i = 0.76 - -1.24. Is i <= 0.5?
False
Suppose -3*v - 3*h = -18, 3 = -v - 2*h + 13. Let k be (-1)/(2/(-4)) + -2. Let m = 2 + k. Is m >= v?
True
Suppose -3*z - 6 = -4*d + 9, -3*d + 10 = -2*z. Suppose 2*s + 0*s - 2 = 0. Is d >= s?
False
Let q(l) = -8*l - 1. Let t be q(2). Let p = t + 24. Let i be (-22)/(-4) + (-2)/(-4). Which is smaller: p or i?
i
Suppose 0 = 5*m - 4*m + 1. Let x = 294899/13611 + 2/4537. Let c = x - 22. Which is smaller: m or c?
m
Let v = 0.3 + -0.4. Let d = v - -0.2. Is d at most as big as -3/2?
False
Suppose 2*r = -4*t - 16, 0 = -4*r - 8. Let h be (-5 + 3)/(2/4). Is h < t?
True
Let k = -0.7 + 0.4. Let o = -0.01 - 0. Let n = o - -0.01. Which is smaller: k or n?
k
Let b(k) = -k - 13. Let c be b(-12). Is c smaller than 1/11?
True
Let h be 4 - (2 - (-2)/(-1)). Suppose -3*m + 1 = h. Is -2/13 bigger than m?
True
Let d(n) be the third derivative of -n**6/120 + n**5/15 + 5*n**4/24 - n**3/6 - n**2. Let g be d(5). Let a be (6/14)/((-3)/2). Which is smaller: g or a?
g
Suppose 7*b - 3*b = 4. Let s = 2 - b. Suppose 6*f = 2*f. Which is greater: s or f?
s
Let x = 4 + -3.88. Let z = 0.88 + x. Is -15 less than z?
True
Let u = -2.5 - 0.5. Let c = 4.4 + -1.4. Let j = c + u. Are j and 2 equal?
False
Let v(h) = -1 + 9 - 2*h + h + 0. Let m be v(8). Which is bigger: -3 or m?
m
Let y be 6*(-2)/3*(-11)/(-4). Is y at least as big as -43/4?
False
Let d be 3/6*4 - -3. Suppose -2*r - 2 = -4*x + 6, -d*r + x = -16. Do r and 14/5 have the same value?
False
Suppose -7 = -2*o + 5. Is o smaller than 6?
False
Let s = -1 + -1.8. Which is bigger: s or 1?
1
Let v = 9 + -12. Is v greater than or equal to -0.03?
False
Let r = -90 + 3. Which is smaller: r or -0.1?
r
Let p be 0/((-1)/4*-4). Let d be ((-2)/(-9))/(1/(-3)). Which is smaller: d or p?
d
Let y(h) = h**3 + 7*h**2 + 6*h - 2. Let l be y(-6). Let u be 8/(-4)*3/l. Are u and 3 nonequal?
False
Let m be ((-32)/(-10))/((-4)/(-20)). Let r be 4/m + (-5)/4. Is -2/7 >= r?
True
Suppose -1 - 11 = 2*k. Let p be 27/k*4/(-6). Suppose 5*n = 5*u + 5, p*u - 8*n + 3*n = -5. Which is smaller: 2 or u?
u
Let g = -3 + 4. Let l(i) = i**3 - 9*i**2 + 2*i - 8. Let z be l(9). Let c be 2/3*z/4. Which is smaller: c or g?
g
Let y(m) = m**2 - 6*m + 6. Let w(i) = 5*i**2 - i. Let a be w(1). Let s be y(a). Which is greater: -1 or s?
-1
Let v be 1 + -1*21/27. Let x be 1/2 - (-10)/20. Which is bigger: v or x?
x
Let o = 0.1 + -1.1. Let l = 0.8 + o. Let k = 0 + l. Is 1 at least as big as k?
True
Let d = -3 + 8. Let i = 22 + -16. Which is smaller: d or i?
d
Let u be (-102)/45 + (-6)/(-10). Suppose 3*s = 4 + 8, -3*d + 3*s = 18. Which is smaller: d or u?
d
Let x = -17 - -19. Is 2 != x?
False
Let m(l) = -l**3 - 6*l**2 + 2. Let a be m(-6). Let d be (a/6)/((-4)/(-12)). Let i = 0.05 - -5.95. Which is bigger: i or d?
i
Suppose -3*i - 2*i - 5 = 0. Let c = 16/13 - 73/91. Which is smaller: i or c?
i
Let y be (128/12)/((-4)/6). Are y and -18 nonequal?
True
Let k(x) = x**2 - 6*x + 6. Let o be k(4). Is o at least -8?
True
Let w be -3 - -2 - (-4 + 2). Is w at least -1?
True
Let p = 2 + -1. Let b = -1 - p. Let k = b - -1.9. Is k at least as big as -4?
True
Suppose -5*c = -4 - 6. Let a = -2.05 - -0.05. Is a bigger than c?
False
Let x be (16/8)/(-5 + -2). Which is greater: x or 0.1?
0.1
Let r = -1 + 1.2. Let c = r - 0.1. Let l = -3.941 - 0.059. Which is bigger: c or l?
c
Suppose -x - x - 110 = 0. Le