(-6). Which is greater: 0 or m?
m
Let y(v) = v + 3. Let s be y(-4). Let t = 137/1170 + -2/117. Which is greater: t or s?
t
Let i = -1 + 8. Let d = 199 - 193. Is i at most as big as d?
False
Let p be (4/12)/((-123)/(-18)). Which is smaller: p or -1?
-1
Let q = 40.28 + -33.3. Let w = -0.02 - q. Let g = 7 + w. Which is bigger: 2/11 or g?
2/11
Let x be (40/(-15))/(4/6). Is x <= -1?
True
Suppose 4*n - 13 = -5*s, 3*s + 0 - 3 = 0. Suppose 0 = n*u - 5*u. Let g be (-3 - -1)*8/(-4). Which is smaller: g or u?
u
Suppose -2*l + l = 0. Suppose -2*h = -l*h + 8. Suppose 0 = -4*a + 2*a - 6. Which is smaller: h or a?
h
Let z = 7.83 + 0.17. Let p = 46 - 183/4. Which is bigger: p or z?
z
Suppose 0 = -4*n - 8, -3*s - 4*n - 2 - 6 = 0. Let i(p) = -p + 1. Let l be i(s). Which is greater: 2/7 or l?
l
Let f = 301 - 617/2. Let o = 38 + -46. Is f greater than o?
True
Let u(m) = -m**2 - 18*m - 17. Let n be u(-17). Which is bigger: n or -2/129?
n
Suppose -4*v + 6 = -6. Let u be ((-4)/(-8))/((-2)/(-16)). Which is bigger: u or v?
u
Let l = 103596265/462366 + -33/25687. Let u = 224 - l. Which is smaller: u or -1?
-1
Let c = 4.5 + -6.5. Which is greater: c or 2/27?
2/27
Let g be 3/(((-30)/14)/(-5)). Suppose -5*i - 2 = -g*i. Which is bigger: 5/3 or i?
5/3
Let i be (-4)/12 - 11/3. Let q be (6/i)/((-114)/8). Suppose -m = -6*m. Which is bigger: m or q?
q
Let w = 14 + -10. Suppose -8 = 4*c - w. Let z = -6 - -5. Is c equal to z?
True
Let c = -9 - -9. Let r be c + 1 + (-6)/8. Is 0.3 >= r?
True
Let t be -2*(3 + 2312/(-772)). Let p = t + 400/1351. Do p and -8 have the same value?
False
Suppose 4*y + 2 = -2*f, -2*y = -0*f + 3*f + 7. Let k be (-1)/(-70)*12/(-9)*1. Which is smaller: k or y?
k
Let d be (-1)/((-6)/60) + 1. Suppose -k = -0*k - 11. Is d > k?
False
Let n = -79 - -65. Is -15 at least as big as n?
False
Let m(g) = -g. Let v be m(0). Is v less than or equal to -8/9?
False
Suppose -5*c = -5*k + k - 346, -137 = -2*c + 3*k. Is c < -0.1?
False
Suppose -5*j = -2*a - 4*j + 12, -5*a = -4*j - 24. Let f(p) be the first derivative of p**3/3 - 9*p**2/2 + 10*p - 1. Let z be f(a). Are z and 2 equal?
True
Let g = 1.064 + -0.064. Is -14/13 less than g?
True
Let s be (-12)/(-8)*150/9. Which is greater: 23 or s?
s
Let d = -12 + 22. Suppose k - d = -b, -b - 3*b + 58 = -2*k. Suppose -2*j + 5*j - 5*z = 0, 0 = -2*j - z + b. Which is smaller: j or 1?
1
Let r be (27/15 - 3) + 1. Suppose -5*d = -0*d. Is d at least r?
True
Let f = -3/8 + 5/8. Let d = -0.08 + 0.68. Let p = 0.6 - d. Which is smaller: p or f?
p
Let z be (-1*(-2 - -2))/1. Let b be ((-1)/2)/(9/(-6)). Is z less than b?
True
Suppose 2*q - 5*q + 18 = 0. Let d(k) = -k**3 + 7*k**2 - 7*k + 7. Let u be d(q). Which is greater: -2/5 or u?
u
Let m = 63 + -62.9. Which is bigger: -0.9 or m?
m
Suppose h = -0*h + 5. Let g be (2/h)/(54/30). Is 0 equal to g?
False
Let z(n) = n + 7. Let k(x) = x**3 - 3*x**2 - 12*x + 3. Let f be k(5). Let v be z(f). Is v less than -2/15?
False
Let h be 4/56*-4 - 0. Which is greater: h or -19?
h
Let w = 15 + -11. Let f = -2 + w. Suppose 5*o - 3 = f. Is 2/7 < o?
True
Let j(h) = -h**2 - 4*h + 1. Let u be j(-3). Suppose -5*c + 8 = -3*c. Suppose -m - v - 2*v + u = 0, 5*m = v + c. Which is smaller: m or 0?
0
Suppose 25 = -5*d + 60. Which is smaller: d or 2/7?
2/7
Let v(p) = -p - 2. Let f be v(6). Let k be f/(-12)*6/22. Which is greater: k or -1?
k
Let d(o) = o**3 + 4*o**2 + 4*o + 4. Let w be d(-3). Is 7/4 != w?
True
Let l = 65 - 23. Let b be 9/l + 4/(-14). Which is greater: -1 or b?
b
Let z be (-1 + 0 + -2)*-1. Let j(x) = 2*x**3 - x**3 + 8*x + 9*x**2 - 3 + 0*x**z. Let f be j(-8). Are f and -3 non-equal?
False
Let w(q) be the third derivative of q**5/60 + 7*q**4/24 - q**3/6 + 2*q**2. Let j be w(-7). Let s be 2/12*(-63)/14. Which is bigger: s or j?
s
Let l = 4444/5 + -884. Is l at least as big as 5?
False
Let i(r) = -3*r + 38. Let p be i(13). Which is greater: p or -2/329?
-2/329
Suppose 2*o - 3*o = -2*j + 3, j + 4*o + 3 = 0. Which is greater: -2/5 or j?
j
Let s = -44 + 130/3. Let b = -15 - -11.9. Let v = b + 3. Are v and s unequal?
True
Let w = -334 + 1664/5. Suppose 19*n = 17*n. Suppose n = 3*f - f. Do w and f have different values?
True
Let u = 725 - 5067/7. Does u = -0.1?
False
Let w be ((-1)/(-98))/((-3)/12). Is 0 != w?
True
Let w = -0.06 + 0.46. Let q = w + -0.4. Let s = 0.1 + q. Is s <= 0?
False
Let q = 0 + 0.1. Let x = q - 0.2. Let i = -31 + 28. Which is smaller: i or x?
i
Suppose -12*z - 36 = -15*z. Is 9 smaller than z?
True
Suppose 28 = -13*f - 11. Suppose -h + 0*v - 12 = -2*v, -2*h = 3*v - 11. Is h greater than f?
True
Let p be 9/(-15) - 16/(-20). Let r(d) = d**3 - 7*d**2 + 6*d + 3. Let s be r(6). Let q be (-1)/(-3) - (-2)/s. Which is smaller: q or p?
p
Suppose 3*w = 4 - 424. Let u be (-1)/5*w/8. Which is bigger: 4 or u?
4
Suppose -3*r - 18*r = 21. Which is greater: -13 or r?
r
Suppose v = -v - 78. Let p = -387/10 - v. Is p < 1?
True
Suppose -3*f + 6*f + 23 = -x, -64 = 5*x - 2*f. Which is smaller: x or -15?
-15
Let g be ((-2 + 1)*0)/(-1). Let u = g + 0. Let v be (2/3)/(-3 + 3/2). Which is greater: v or u?
u
Let u = 0.6 + 0.4. Let c = 0.2 - -0.3. Is c > u?
False
Let z = -2/13699 - -6931712/123291. Let w = -56 + z. Let b(o) = o**2 - 6*o + 5. Let i be b(5). Is i >= w?
False
Let w = -32.1 - -32. Which is greater: w or -2/21?
-2/21
Suppose z + 4*c + 3 = -0, 4*z = 4*c - 32. Is -7 bigger than z?
False
Suppose i - 18 = 13. Suppose 5*x - 5*s = 3*x + i, 0 = -2*s - 10. Suppose 3*k + x = -0. Is k < -2?
False
Let b be -3 - (4 - (-83)/(-12)). Do b and 2 have the same value?
False
Suppose -3*l = -4*y - 0 + 14, -5*l = y + 8. Which is greater: y or 5?
5
Suppose a = -2*a - 4*k + 24, -3*a = k - 15. Suppose -10 = -a*h + 14. Suppose -4*b + 2 + h = 0. Which is bigger: 1 or b?
b
Suppose -9 = 9*l - 18*l. Is l greater than -7/25?
True
Let c = -10 - -9. Is 3 less than c?
False
Let x be 82/(-50) + -1 + -29 + 31. Which is bigger: 0 or x?
0
Suppose -4*d + 5*y + 55 = 0, -y = d + 2*y - 1. Let u(l) = 13*l + 75. Let w be u(-5). Is d smaller than w?
False
Let j = 32 - 47. Which is greater: j or -14?
-14
Suppose 7*a + 215 + 79 = 0. Is a at most as big as -42?
True
Let v = -3 + 2. Let s = -1 - v. Suppose -18 = 2*x + 5*b, -3*x + 4*x + b + 3 = s. Is 3 greater than x?
True
Suppose -4*d = p + p - 14, 4*d + 4*p = 16. Let i = 6 + -4. Is i at most d?
True
Let v(l) be the second derivative of l**3/6 - 3*l**2/2 - l. Let g be v(2). Let n = 48 + -526/11. Which is bigger: g or n?
n
Let d = 0.06 + 0.05. Let l = d - -0.89. Are l and -4 non-equal?
True
Suppose -4*r = 4*q - 196, -3*r + 151 = -4*q - 24. Which is bigger: r or 52?
r
Let b(o) = -o**2 + 6*o - 4. Let n be ((-1)/1 - -2) + 2. Let z be b(n). Suppose z*i + 18 = 3. Is -1/4 != i?
True
Let l be 1/(8/(-12))*18. Is -1/4 at most l?
False
Let j(x) = -x - 11. Let y be j(-12). Does y = 5/4?
False
Let x = -0.14 + -0.16. Let o = x - -0.2. Do 2/15 and o have the same value?
False
Let w = 0.37 - 0.27. Are w and 3 nonequal?
True
Let x = -7 + 5. Let c be x/6 - (-2)/6. Let w = -109/520 - -1/104. Do w and c have different values?
True
Let h = 1 + -1. Suppose -5*t = -2*i - 9, -t - 3*t - 2*i = h. Suppose 2*v + 3*g = -g - 8, g = -v. Which is greater: v or t?
v
Let i = 170 + -156. Do 15 and i have different values?
True
Let c be (0/2)/(-3)*1. Let y = c - 0. Let g = y + -1. Is g bigger than -1/7?
False
Let d = 27725/2584 - 204/19. Let w = d + 279/952. Is w less than -1?
False
Let k(x) = -x**3 - 4*x**2 + x. Let q be k(-5). Suppose 0 = 2*i + 3*i - q. Suppose -i = -2*j + 3*r, 5*j + 4*r + r + 15 = 0. Which is smaller: j or 1?
j
Suppose -42 - 123 = 5*z. Is -34 <= z?
True
Suppose 0 = 3*r - 3. Let p be (-6)/(-21) + 0/3. Is r less than p?
False
Let v = 0.11 - -0.89. Let o = -2 - -1. Let g = o - v. Which is smaller: g or -1?
g
Let u = -1.7 + 2.1. Which is bigger: 2 or u?
2
Let s = -76 + 77. Which is bigger: s or 1/49?
s
Let u be (12/1)/(3 - (-68)/(-20)). Which is smaller: -0.2 or u?
u
Let r = 105 + -106. Is 0 greater than or equal to r?
True
Let w be (-1)/(-4) + (-5)/4. Let z = 30 - 59/2. Is z less than w?
False
Let q = -1 + 1.1. Let k = 0.38 - 0.48. Let w = k + q. Which is smaller: -1/4 or w?
-1/4
Let u be (-5)/(-6) + -1 + 0. Suppose -2*m - 2*m - 19 = 3*i, -3*m - 23 = 4*i. Is u at least m?
True
Let g be (5 - -1) + 1 + 1. Let a = g - 6. Suppos