t s = 44 + -133/3. Let y = -2 - -2. Which is smaller: s or y?
s
Let j = 6 + -5. Is j less than or equal to 10/7?
True
Let z(c) = c**2 - 20*c + 23. Let h be z(19). Which is greater: h or 1/2?
h
Let a = 6/77 + 432/385. Which is bigger: a or 1?
a
Suppose 15 = 6*y - 3*y, 0 = -z - 4*y + 24. Let u(w) = w**2 + w - 2. Let q be u(0). Let m = 9/2 + q. Are m and z nonequal?
True
Let n = -5 + 35. Suppose 5*d - n = -2*t - 3*t, -5*t + d = -6. Let q be (1 - t)/(1/3). Is -4 not equal to q?
True
Let i = -1.2 + 0.2. Let j be (-1 - 0) + (-10 - -36). Let v be j/(-20) - (-2)/1. Is i >= v?
False
Let x = -31 + 59. Let v = x + -31. Which is smaller: v or -1?
v
Let i = -1 + 2. Let x = 2 - 0. Suppose p - x*u - 7 = -0*p, 0 = -3*p - u. Is i < p?
False
Let u = -4 - -3. Let q be 9/21 - u/63. Is q < 1?
True
Let p(x) = -x - 1 + 0*x - 5*x - x**2. Let n be p(-6). Is n at least -2?
True
Suppose 22 = 5*o - 4*b, 1 - 6 = 2*o + 3*b. Which is bigger: 0.1 or o?
o
Let v = -0.48 + 0.08. Which is greater: 4 or v?
4
Let n = 1 + -1. Let h = 0.56 + -0.48. Which is smaller: n or h?
n
Suppose 4*d = 45 - 9. Suppose n = 2*p + 15, -2*n - p - 4*p = -3. Is n at least d?
True
Let h = -648806371/3645 - -177999. Let x = -300329/51030 - h. Let z = 40/7 + x. Which is bigger: 1 or z?
1
Let c be (-4)/(-8)*2*4. Suppose 1 = i - 4*p + 3, 0 = -5*i - 5*p - 35. Let q = c + i. Is -1 <= q?
False
Let x(d) = -d**2 + 11*d + 10. Let m be x(12). Which is bigger: m or -3?
m
Let k = -363959/51 - -7136. Let b = k - -1/3. Suppose q = 2*x - 5 + 3, 2*q = 5*x - 4. Which is smaller: x or b?
b
Suppose k - 8 - 7 = -4*h, -14 = -2*k - 4*h. Let a be 0 - (k/18 - 0). Which is smaller: 0 or a?
0
Let o be (-4)/(-20)*(-5)/(-8). Which is smaller: 1 or o?
o
Let a(k) = -k. Let z be a(1). Let m be (0 - 3)/(2/(-6)). Let g be (-4)/(-9) + (-2)/m. Are z and g non-equal?
True
Let c be (3 + 188/(-60))*-3. Which is smaller: c or -1?
-1
Let b = -0.75 + 1.1. Let u = 0.4 - b. Let t = u + -2.05. Which is smaller: 2/3 or t?
t
Let o be (-8)/(-20)*(-5)/(-1). Let x = 60 + -34. Let n be 2 + -4 + x/8. Is n bigger than o?
False
Let g be 1*(0 - 2) - 30. Let i be (-10)/5 + g/(-14). Let p = -1 - 0. Which is bigger: p or i?
i
Suppose -28 = 4*r + 3*u, 2*r - 4*r = -2*u. Let p be r/4 - (-2)/6. Which is greater: p or -1?
p
Let r = 0.4 - 4.4. Let z = -3 + r. Let f = 7.3 + z. Which is bigger: 1 or f?
1
Let f = 0.16 - 1.16. Which is smaller: f or 3/10?
f
Let j be (3/4)/((-2)/8). Let r be 1/(-3)*(j + 1). Let l = 1 + -1. Which is smaller: l or r?
l
Suppose -l - 2*l = 0. Is -2/75 greater than or equal to l?
False
Let o(c) be the first derivative of c**3/3 + 5*c**2/2 - 3*c + 12. Let a = 13 + -18. Let q be o(a). Which is smaller: -4 or q?
-4
Suppose -6*a + 4*a = -4*c - 4, 0 = 4*c - 4*a + 8. Let w = -361/12 - -30. Which is bigger: w or c?
c
Let d = -1.1 - 9.9. Let f = d + 10.9. Which is smaller: f or -0.3?
-0.3
Let j = 11 + -6. Suppose -j*s + s = 0. Do -1/8 and s have the same value?
False
Let a(x) = -x**3 + 8*x**2 - 9*x - 3. Let g be a(5). Is 29 >= g?
True
Let q = 6 + 7. Is 14 less than or equal to q?
False
Let n = 7 + -7. Suppose n = u - 0*u + 1. Let j be 4 - u - (-1 - -2). Which is bigger: 6 or j?
6
Let n = -3 + 7. Suppose -2*w + y = 3*w + 62, -4*y + 68 = -5*w. Let b be w/(-8)*n/33. Which is smaller: 1 or b?
b
Let c = 6 + -11. Suppose -4*w - 147 = 2*r - 9, 3*w + 135 = -2*r. Let x be r/(-245) + 2/14. Is x > c?
True
Let d = -64/15 + 23/5. Is d equal to 0?
False
Let i be (-10)/15*(-35 + -1). Let l be (2/i)/(63/(-27)). Let q = 3/14 - l. Is 2 >= q?
True
Let m be (852/(-8))/((-24)/2). Let k = 9 - m. Is 1 smaller than k?
False
Let o(p) = p + 3. Let u be o(2). Suppose 35 = 4*f - 5*t, -2*t - 3*t - u = 2*f. Is 4 greater than or equal to f?
False
Let c be ((-1)/2)/(14/(-8)). Let x be ((-6)/(-5))/(6/(-20)). Let d = 4 + x. Is d >= c?
False
Let x be 7/(-3)*(-14)/(-49). Which is smaller: 2/3 or x?
x
Suppose 3*l - y - 2 = 0, 2*y + 1 = -4*l + 17. Suppose 3*d + 3*q - 15 = 0, q = -2*d + 3*q + 2. Which is smaller: l or d?
l
Let f = -1/26 - -55/78. Is f greater than 17?
False
Let t be (1/(-1))/(0 - 1). Let l be 1*(2 + -6 + 3). Let o be 7/(-9) - (l + 0). Do t and o have the same value?
False
Let f = 8/89 + -871/10680. Which is smaller: f or 0?
0
Suppose 2 + 2 = 4*k. Let m(s) = -s**3 + 14*s**2 + 15*s. Let y be m(15). Do k and y have different values?
True
Suppose -3*u = -2*u - 4, 3*w - 3*u = -516. Is -169 at least w?
False
Let w be (-1 - 0 - -2)/1. Suppose -4*u - u + 10 = 0. Which is bigger: w or u?
u
Let k be (-6)/(-15)*((-5)/(-2) - 3). Which is greater: k or 2?
2
Let g be 52/5 - (-12)/20. Which is smaller: g or 10?
10
Let i = 2 + 1. Let g = -2 + i. Is g not equal to -1/6?
True
Let l be (-64)/(-20)*((-30)/4)/(-3). Are 7 and l nonequal?
True
Let v(r) = 2*r**2 - 5*r + 7. Let n(g) = 5*g**2 - 15*g + 22. Let y(t) = -3*n(t) + 8*v(t). Suppose -4 = 4*p + 24. Let m be y(p). Which is smaller: m or 7/2?
7/2
Let h be 4/14 + (-340)/(-35). Suppose n + 3*n - 36 = 0. Is n >= h?
False
Suppose -8 = 5*m - 3. Let x be (-2 - m)/(1/59). Let n = 175/3 + x. Which is greater: -2 or n?
n
Suppose -3*r = -19 - 2. Suppose 4*f - 4*n - 8 = 0, 3*f + n + 7 = -r. Which is greater: f or -1?
-1
Suppose a - 73 = 4*c - 0*a, -c = -3*a + 21. Which is greater: -19 or c?
c
Let h be 15 - ((-4)/1)/(-4). Let n be (10/(-8))/(h/28). Is -2 bigger than n?
True
Let k = -92 - -84. Is 0 at least as big as k?
True
Suppose 12 = 3*k + k. Suppose -s = -k*s + 14. Is 6 > s?
False
Let n = -467/5 + 93. Which is smaller: n or 0.02?
n
Suppose 2 = -w + 2*f + 5, -2*f = 0. Let v be (32/12)/4 - 1. Which is smaller: w or v?
v
Let u = -0.034 + 0.434. Which is bigger: -9 or u?
u
Let c be 6/(-2 - 0) + -3. Let l be 99/9 - c/(-2). Is l bigger than 9?
False
Let v(h) = 2*h. Let g be v(1). Let l be 18/27 + 0/g. Which is smaller: l or -0.05?
-0.05
Suppose 0 = -4*g - 0*g. Suppose w = -g*w. Is 2/5 < w?
False
Suppose -3*c + 4*c - 17 = -5*u, 0 = -2*u - 4*c + 14. Suppose -7*n + u*n - 16 = 0. Which is bigger: -2 or n?
-2
Let o be (-2)/(-3)*(-36732)/160. Let g = -153 - o. Is g < 0?
False
Suppose 0*y = -2*y + 8. Suppose 5 = y*h - 3*h. Suppose -4*k + 0*r - r - 1 = 0, 3*r = -h*k + 4. Is -2/3 not equal to k?
True
Let u be ((-6)/(-448))/(1/6). Let l = -1/16 - u. Let i(k) = -10*k + 199. Let a be i(20). Which is smaller: a or l?
a
Let l(r) = -r**2 + r + 2. Let p be l(-3). Let f be ((-18)/(-135))/((-6)/p). Let q = 1 + -1. Is q at least f?
False
Let a be -3 + 4/(-3) + 4. Are -0.1 and a nonequal?
True
Let x(i) = -i - 5. Let p be x(-6). Is 2 less than p?
False
Suppose 4*f + n + 2 = 0, -4*n = f - 5*f + 8. Let v = 198 - 193. Is f smaller than v?
True
Let b = 23847/70 - 681/2. Let p = b - -52/105. Let s(i) = i**2 + 3*i. Let r be s(-3). Is p > r?
True
Let t(w) = 3*w - 4. Let m be t(3). Let b(a) = a**3 - 6*a**2 + 6*a - 6. Let l be b(m). Let y be (l/(-1))/(3/(-2)). Do y and 0.1 have different values?
True
Let j be 12*(4/(-6) + 0). Let a = 7 + j. Let o(u) = u**2 - 4*u - 6. Let b be o(5). Does a = b?
True
Let s be (3 - 69/18) + -1. Let o = 3/2 + s. Which is smaller: -1 or o?
-1
Let s be 128/(-224) - (-8)/14. Is s bigger than -5/11?
True
Let t = -1 + 3. Let p = -2 - t. Is p less than -3?
True
Suppose 10 + 5 = 5*w. Suppose 4*b - 2*q = -0*q - 34, w*b = -5*q - 45. Which is smaller: -8 or b?
b
Let g = -51 + 79. Which is bigger: g or 26?
g
Suppose d = -3*p - 19, -d - p = 4*d + 67. Let z be d/52*(-1 - 11). Which is bigger: z or 3/2?
z
Let j = -3 - -2. Suppose -2*g = -8 - 4. Let o be 2 + (-26)/g + 2. Is o greater than j?
True
Let f = -345/4 - -86. Is f greater than 4?
False
Let m = 78 + -32. Are 46 and m unequal?
False
Suppose 0 = -4*c + c - 39. Let k be 63/c - 2/13. Is -4 at most k?
False
Let x = -0.03 + -3.97. Let k = 3 + x. Is -0.9 bigger than k?
True
Let l = 3 - 4. Let a = 8 - 12. Which is smaller: a or l?
a
Let y = 0 + 1. Let c = -0.1 - -0.4. Let o = 1.3 - c. Is y <= o?
True
Suppose 5*s - 2*w = 5, -2*s + 4*w - 14 = -0*s. Suppose 2*k + 15 = -s*k. Let d be (1/k)/((-2)/(-6)). Is 2/21 less than d?
False
Let p(b) = -13*b - 3. Let u(x) = 6*x + 1. Let l(c) = -4*p(c) - 9*u(c). Let a(r) = -3*r - 1. Let i be a(-1). Let f be l(i). Is -2 < f?
True
Let f(k) = -6*k**2 - k. Let w be f(-1). Let n be 14/40 - (-3)/w. Which is bigger: n or 1?
1
Let s be 8/(-10)*45/6. Let y = s + 9. Is y <= -3?
False
Let z b