2*r - 8 + 7. Which is smaller: m or -1/26?
m
Let q be (-17)/(-8) + (-1 - 1). Suppose 0 = -j + 5. Suppose d - 4 = 4*o, 0 - 1 = o - j*d. Is q equal to o?
False
Suppose -5*t - 18 = -3. Let x be 2/3 + t/3. Which is smaller: 1 or x?
x
Let v be -2 + (3 - (2 - 1)). Suppose v = -3*g - 5*r + 7 + 6, -4*r - 4 = 0. Suppose -g*k + 3*k + 3 = 0. Is 1/2 greater than k?
False
Let u(b) = -b**2 - 3*b + 2. Let q be u(-7). Is -27 at most as big as q?
True
Suppose m - 5*z - 21 - 4 = 0, -5*m - 3*z = 15. Suppose -2*w + m*w = -4. Let a be (-3)/w*(-4)/3. Is a >= 2?
True
Suppose -4*z + 11 = -3*z. Let o be z/(-15) - (-2)/6. Which is smaller: -1 or o?
-1
Let b be (-1 + 0)*(-8 + -1 + 10). Let a = -2/579 + -1727/2895. Is a < b?
False
Let g be (90/(-12))/((-3)/4). Is 9 less than or equal to g?
True
Suppose 0 = -6*w - 1 - 5. Is -1/39 at least as big as w?
True
Let l be 1/2 - (-95)/10. Let g = l + -8. Which is bigger: 1 or g?
g
Suppose -5*o - 14 = -m - 5, -2*m = o - 7. Which is smaller: o or -2?
-2
Suppose 0 = -k + 5*k. Suppose k = -4*s + 8, 2*g - 5*s - 1 = -9. Is g at least -1/3?
True
Let d = 2019 - 70671/35. Which is smaller: d or -1?
-1
Suppose 8 = 4*i, d + i + 10 = 3*d. Suppose 0 = -2*p - p - d. Let j = -4 + 1. Which is smaller: p or j?
j
Let i be 11/8 - 2/2. Which is smaller: -1 or i?
-1
Let v = 3.17 - 0.47. Let d = -4.74 + v. Let k = d + 0.04. Which is smaller: k or 1?
k
Suppose 2*w - p = -3*p - 4, 16 = -2*w + p. Let a = 5 + w. Which is smaller: a or 1/7?
a
Let a be (2/(-3))/((-20)/90). Is a at least 3?
True
Let z(q) = q**3 + 9*q**2 - 11*q - 6. Let k be z(-10). Suppose -5*w - 1 = -5*a + k, -5*a - 7 = w. Is a at least -1?
True
Suppose -4*p + 7 = 3*y - 0, -2*y = -2*p. Suppose 2*w + 2*d = 10, -4*w + 3*d + 0*d + 13 = 0. Let n be w/(-11) + 2/11. Which is smaller: y or n?
n
Let q = 4 + -3. Let y = -3 - q. Let d = y - -4. Is 0.2 at least as big as d?
True
Let d = -0.7 + -4.3. Which is smaller: d or -1/3?
d
Let j(t) = -2*t + 6. Let p be j(-5). Let b be (-4)/p + 14/(-8). Is -2 less than or equal to b?
True
Let j be (-2 - -3)*-1*3. Let t = 1 - j. Suppose -4*f = v - 5*f - 5, 2*f = v - 7. Which is smaller: v or t?
v
Suppose -p = -6*p - 15. Suppose 9 = -5*b + 2*u, -4*b - b - 3*u - 24 = 0. Are b and p equal?
True
Suppose -x - 20 - 6 = 5*c, 4*c - 5*x + 44 = 0. Let h = 4 + -11. Which is bigger: c or h?
c
Let n = -5 - 6. Let y(j) = -2*j**2 + 8*j - 10. Let f be y(4). Is n at most as big as f?
True
Let s be (-32)/(-6) - (1 + (-2)/6). Which is smaller: s or 5?
s
Let g be ((-7)/140)/(-3*(-2)/16). Which is greater: g or 0?
0
Suppose 55 = -0*w + w. Suppose -2*p - w = 3*p. Is p equal to -11?
True
Let x = -484.93 - -483. Let j = -0.07 + x. Which is smaller: j or -0.1?
j
Let l(q) = q**2 + q. Let z be l(-1). Let i = -0.11 + 0.24. Let s = i + -0.13. Do z and s have the same value?
True
Let f be 2/(2/6 - 1). Let y be 4/f + 2/6. Let d = -1387/8 + 173. Which is smaller: y or d?
y
Let k(m) = -m**3 - 4*m**2 + 8*m + 1. Let g be k(-6). Do 25 and g have different values?
False
Suppose -t - 128 - 182 = 0. Let q = 2477/8 + t. Are 1 and q equal?
False
Let r(t) = 3*t**3 + t**2 - 3*t + 2. Let p be r(2). Let u be (2/(-6))/(8/p). Is 0 bigger than u?
True
Let i = 3.06 + -3. Let g = i + -0.16. Let a = 26 - 26.5. Which is smaller: a or g?
a
Let x = 0.4 + -0.3. Let l = -11 - -6. Let m be (-12)/30*l/(-4). Which is greater: x or m?
x
Let r(d) = d + 1. Let h be r(1). Suppose -18 = -4*t + h*s, -t + 2 = 3*s + 1. Suppose -4 + 0 = 2*k - g, -k + t*g - 9 = 0. Which is greater: 0 or k?
0
Let x = -4 + 8. Let j = x + -3. Let y = j + -4. Which is bigger: y or -1?
-1
Let u be -34 + (-10)/15*9/(-6). Is -33 < u?
False
Let k = 4 - 4.1. Let w = k + 0. Are w and 0.3 non-equal?
True
Suppose 22*q = 16*q + 438. Is 73 greater than or equal to q?
True
Suppose 2 = -0*r + r. Suppose -u + r*u = 21. Suppose 6 = -2*k, -4*z + 3*k = -0*z - u. Is 1 >= z?
False
Let l be ((-8)/42)/(12/14). Suppose 4*s - 3*s - 5*i + 29 = 0, -5*s - 15 = i. Which is smaller: s or l?
s
Let t = 10 + -16. Let b be ((-1)/(-2))/((-2)/18). Which is bigger: t or b?
b
Let d = -6 + -6. Is -12 at most as big as d?
True
Let a = 41.48 + -0.48. Let d = a - 46.1. Let y = -5 - d. Which is greater: y or 2/3?
2/3
Let c = 0.94 + 0.06. Let g = 31 - 23. Are c and g non-equal?
True
Let s = 6 - 6.08. Suppose 0 = o - 0*h - 2*h - 3, -5*h = -o + 9. Is o less than s?
True
Suppose -y - 2 = y. Let d = 12/55 - 14/165. Let n = d + -4/5. Which is greater: y or n?
n
Let h = -16 + 31. Suppose 2*j + 3*s = h, -4*j + 10 = -j + 2*s. Suppose 3*n = m - 2, -m + 8 = 3*n - 0*m. Is j <= n?
True
Let y = -22341 + 89929/4. Let w = y + -142. Which is bigger: w or 0?
0
Suppose -2*x + 2*j + 28 = 2*x, 3*j + 37 = 5*x. Let s(r) = r**3 - 4*r**2 - 7*r + 5. Let d be s(x). Is d greater than -4?
False
Let s be -1 - (12/4 - 7). Which is smaller: s or 4?
s
Let p(o) = -11*o**3 + 3*o**2 - 4*o - 12. Let d be p(-8). Let j be 2/6 + d/(-63). Let s = 92 + j. Which is greater: 0 or s?
0
Let y(n) = n - 4. Let l be y(5). Suppose -k - 4*p - 1 = 4, 0 = 3*p + 6. Suppose 4 = f + k*f. Is f <= l?
True
Suppose 5*s = -3 + 63. Which is smaller: 11 or s?
11
Let a = 27/13 - 984/455. Let b = -18/35 - a. Is -1 <= b?
True
Let s(d) = -d**2 + 3*d - 1. Let p be s(2). Suppose a = 2 - p. Is 3/4 <= a?
True
Let h(o) = o + 7. Let m be h(-7). Suppose m = -0*q - 5*q + 10. Suppose q*b + 9 = -j - 0*b, -2*j + 18 = -5*b. Is j less than or equal to 0?
True
Let o(r) = r. Let x = 17 - 16. Let w be o(x). Is w less than -3?
False
Let r = -47/425 - -3691/1275. Let d = 2/17 - r. Which is smaller: -2 or d?
d
Let x = -2 + 3. Let m = 14.2 + -15. Let g = -1.1 - m. Is g < x?
True
Let h = -0.4 + -0.6. Let f = -31/3 + 214/21. Which is bigger: f or h?
f
Let j = 2/23 - -19/46. Is 1 bigger than j?
True
Let c = 195 - 194.99. Is c equal to 4?
False
Let x = -0.7 - -0.7. Let q = 0.1 - x. Let o = -0.4 - q. Which is smaller: 0 or o?
o
Let y = 44/7 + -374/35. Is y at most as big as -5?
False
Let l be (-8)/(-14)*(-21)/(-6). Suppose -5*g = 3*u - 18, -l*g + 4 + 7 = 5*u. Which is smaller: u or -3/8?
-3/8
Suppose 0 = -3*h - 0 + 6. Suppose -h*r - 2 - 2 = 0. Let i be (-1 - (r - 1))/(-2). Is i at most as big as 1/4?
True
Suppose 5*j + 22 = 4*r, 3*r = 4*j + 10 + 7. Suppose -i = 3*p + 6, 3*p - r + 9 = -3*i. Let d(c) = c**2 + 2*c - 1. Let m be d(-2). Is m not equal to p?
True
Let r be ((-3)/23)/((-6)/8). Is r greater than or equal to 1?
False
Let j = -6 - -3. Let f = 0.1 + 0.1. Let n = f - -0.8. Which is smaller: j or n?
j
Let v be (1 - 0 - 0)/(-1). Let m be 3/12*4 + 1. Suppose m*c + 6 = -g, -5*c + 4*g = -1 + 3. Is v at least c?
True
Let r = 311/24 + -13/8. Let n = r - 188/15. Suppose -2*p - 2*p = 0, 4*p + 2 = -j. Which is smaller: j or n?
j
Let g = -0.7 + 2.6. Let i = g + -2. Which is smaller: i or 2?
i
Let d = 6 + -11. Which is smaller: d or 2?
d
Let s = -0.076 - 0.924. Is -56 > s?
False
Let n = 3.1 - 3. Let m = n - 0. Let f = m + -0.2. Which is smaller: -0.2 or f?
-0.2
Let p be ((-6)/(-18))/((-1)/(-45)). Let a be 24/p + 2 + -3. Let x = 1.2 - 0.2. Is x less than a?
False
Suppose 24 = 4*z + z - 3*o, 2*o = -4*z + 28. Is z at most as big as 7?
True
Suppose 0*y = -y + 1. Is y less than or equal to -1/5?
False
Let q = 0 - 8. Let v = 3 + q. Let g = v + 3. Are g and 0.2 equal?
False
Suppose 4*j + 3*z = -17, -j + 4*z = j - 8. Suppose 7 = 3*m + 4*x, 5*m + x = -2*x + 8. Suppose 0 = 2*w - 3*h + m, -5*w = h - 5*h + 6. Is j > w?
False
Let z = 377/5 - 75. Let f = 0 - 0.4. Let u = f - -0.5. Is z equal to u?
False
Let i = 8 + -4. Suppose -2*k - 111 = -5*t, 0 = -k - k + i. Let r be t/(-60) - 3/(-12). Which is bigger: 0 or r?
0
Let q be (-12)/48 - (-1)/4. Is 4/5 equal to q?
False
Let r = 9.96 - 10. Let c = r - -0.11. Suppose -5*b + 3*d + 8 = -0*d, -7 = -3*b + 4*d. Is c >= b?
False
Suppose -c + 4*c + 552 = 0. Let g = c - -2026/11. Which is greater: -1 or g?
g
Suppose -2*m = 3*y - 3, 0*m + 3*y = 4*m - 33. Suppose x + 5*i - 8 = 4*i, -i = -3*x + 12. Which is greater: m or x?
m
Let o be ((-21)/(-18) - 1) + 110/(-732). Is 1 bigger than o?
True
Let z = 0.25 + 0.05. Let l = -0.2 - 0. Let r = l + -1.8. Is z > r?
True
Suppose -9*i = -10*i. Which is greater: 1/10 or i?
1/10
Suppose -4*b + b + 6 = 0. Suppose -g - 5*c + 14 = 33, 4*g - b*c = 12. Which is smaller: 1/3 or g?
1/3
Suppose 0 = -0*y + 3*y + 12. Let c = -4 - y. Do